I am confronting a problem that the solution obtained from CBC doesn't coincide with what I obtained from CPLEX. I actually tried two ways to code up the SOS2 formulation and they both return same values, with a claim that the search is complete and the solution is proven optimum. Yet I can see the solution is not optimum and is different from what CPLEX get. I wonder whether there is some internal problem inside the branch-and-bound. Thanks a lot.
Attached is
the problem formulation
the input data set
a piece of code that includes the function " PfofModel_OptimizeMaxParticipation" which I coded the SOS2 formulation and using branch and bound to solve it.
Sincerely, Yu-Ching
see function of "PfofModel_OptimizeMaxParticipation"
And by the way, isProvenOptimal() returns 0 yet status() and secondaryStatus() both return 0 (search completed).
Attachments: https://github.com/s-c-e/cbc-trac-migration-attachments/blob/master/trac-ticket-95.zip
Hello,
I am confronting a problem that the solution obtained from CBC doesn't coincide with what I obtained from CPLEX. I actually tried two ways to code up the SOS2 formulation and they both return same values, with a claim that the search is complete and the solution is proven optimum. Yet I can see the solution is not optimum and is different from what CPLEX get. I wonder whether there is some internal problem inside the branch-and-bound. Thanks a lot.
Attached is
the problem formulation the input data set a piece of code that includes the function " PfofModel_OptimizeMaxParticipation" which I coded the SOS2 formulation and using branch and bound to solve it. Sincerely, Yu-Ching
see function of "PfofModel_OptimizeMaxParticipation"
And by the way, isProvenOptimal() returns 0 yet status() and secondaryStatus() both return 0 (search completed).