Hi,
I'm currently trying to modelize something in a MILP problem and want to check if my modelization is correct.
To do so, I generate a MILP system (system_test.lp) for which I know all solutions.
The variables in which I'm interested in this system are : a,b,m0,m1,m2,m3,n0,n1,n2,n3
I know that there are 720 solutions in those variables, listed in theoricSolution.txt, in the previous order.
However, when I try to search for all those solutions (Params.PoolSearchMode = 2 and Params.PoolSolutions = 720), Gurobi only find 691 solutions, listed in foundSolution.txt. The missing solutions are in missingSolution.txt.
I checked that each missing solution is however a valid solution of the model (by adding constrain like "a == value_of_a_in_a_solution") and check feasibility of the model.
Is there any reason why Gurobi would "miss" some solutions ? Did I forgot to set some parameters to a specific value ?
Thanks in advance for your answer,
Cheers,
Baptiste Lambin