Solver Max
Results
12
comments of
Solver Max
Test model and further detail at https://github.com/SolverMax/Random/tree/main/HiGHS-testing/Presolve
It is an unusual model, so I suspect this isn't a common occurrence. By the way, the full data set has 1 million+ binary variables, which HiGHS solves to optimality...