[raverbashing]

Gurobi probably has good heuristics and gives you a good enough answer instead of gnawing at a bone like every other MIP solver