These are some good ideas!
Did you use the option
always_complete=1? Maybe if the ab initio model does not contain a start / stop codon it might be discarded in the final product.
It's always_complete=0 (and I get about 10% proteins without M, harder to check for transcripts since these contain UTRs)
The reason you might have fewer final proteins than you have ab initio predictions is because maker tries to create a consensus gene model based on all the evidence so multiple smaller evidence models can still result in one final gene model.
I think this is the best explanation, and that would explain why especially so many smaller GeneMark-ES models "disappeared" - they were just merged into bigger models!