[SCIP] Sub-optimal solution produced after upgrade to SCIP version 8.0.3

[Barry Hurley]

Hi, we were looking at upgrading from SCIP version 7 to version 8.0.3 but one of our unit-tests is catching a regression where SCIP appears to be producing a sub-optimal solution and claiming optimality. We are using SCIP via the LP file interface, the files to reproduce are attached. problem.lp is the original problem, and problem-forced-solution.lp extends this with an additional constraint called `FORCED_SOLUTION` to force the optimal solution. Also including the parameter settings used.

The solution should have an optimal objective value of 115, but SCIP version 8.0.3 is incorrectly producing a solution with objective value 120, even with gap zero. The solution is valid, just sub-optimal. There is one difference in the assignment, binary variable X_2__1_ has an objective coefficient of 15, but SCIP 8 is incorrectly assigning binary variable X_3__1_ to 1 instead even though its objective coefficient is higher at 20.

Would you have any advice if there is something we are using SCIP incorrectly, or if this is a legitimate bug? Other than the attached parameter settings, we are using the pre-built binaries on ubuntu x86. Many thanks in advance.

Regards,
Barry Hurley
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20230424/039d3d3f/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: scip8-suboptimal-bug.zip
Type: application/octet-stream
Size: 3316 bytes
Desc: not available
URL: <http://listserv.zib.de/pipermail/scip/attachments/20230424/039d3d3f/attachment.obj>