I have a start solution for MIP (with some bilinear and MIN constraints). However, it seems the solver ignores it: I get User MIP start did not produce a new incumbent solution message. I wonder if it is a mistake in my provided feasible solution (either mathematical or just a programming typo somewhere, e.g., wrong indices or whatever). For that, it would be nice to see which constraints are NOT satisfied by my provided solution. Is there a way to check that with Gurobi?
At the moment, I am still testing my model on some small data, so the solver is anyway able to find an optimal solution. However, I will further run it on a much larger data, where - I guess - providing a feasible solution might be helpful.
Please sign in to leave a comment.