Pre-trained Mixed Integer Optimization through Multi-variable Cardinality Branching