stage_solver_xcheck: random triangle instances=300, milp=maxsat on all 300, bb checked on 179; time=0.6s
