Possible Bug - Failure to terminate

[svigerske]

Issue created by migration from Trac.

Original creator: sobersoup

Original creation time: 2016-01-21 07:13:08

Assignee: @tkralphs

Version: 5.6.13

I might have a bug to report for SYMPHONY-5.6.13-src compiled on both Debian and Cygwin. Using default commands:
tar -xf http://www.coin-or.org/download/source/SYMPHONY/SYMPHONY-5.6.13.tgz
cd SYMPHONY-5.6.13
./configure
make
make install

My model is relatively simple and small (attached as hang.lp); it has also been proven to be solvable using CPLEX-12.3, CBC-2.8.8, and SYMPHONY-5.6.1 in a very short period of time (1-3 seconds).

However, using SYMPHONY-5.6.13, my model does not terminate (its objective LB gets stuck at the optimal value). Tried leaving it for half an hour with no change in its objective value or results.

I don't know where to start in solving why SYMPHONY-5.6.13 does not terminate immediately.

[svigerske]

Attachment hang.lp by sobersoup created at 2016-01-21 07:13:42

Model to test