[Trac #102] cbc stand-alone solver aborts unexpectedly

[s-c-e]

Attachment(s): https://github.com/s-c-e/cbc-trac-migration-attachments/blob/master/trac-ticket-102.zip

I try to solve a MIP with the cbc stand-alone solver (2.5.0, build Sep 7 2010), but it aborts unexpectedly with the following line:

cbc: CbcBranchDynamic.cpp:549: virtual int CbcBranchDynamicDecision::betterBranch(CbcBranchingObject, CbcBranchingObject, double, int, double, int): Assertion `distance >= 0.0' failed.

I'll attach the log and the mps input, hth.

[s-c-e]

I have unpacked the log file and can confirm the error as described in the ticket. I'm going to try to run this model under a more modern version and I will see if I can reproduce the behavior.

[s-c-e]

I used this version of CBC

Welcome to the CBC MILP Solver 
Version: 2.8.12 
Build Date: Feb 22 2016 

I used this command to run the model:

a@A:~/Documents/cbc-debug/trac-ticket-102$ cbc -import mkm_cbc.mps_data2 solve > log.log 2>&1

And I've attached the resulting log file here: https://gist.github.com/s-c-e/545a96e921f08115323f746828d4359a

Which ends like this:

Result - Optimal solution found

Objective value:                7079.00000000
Enumerated nodes:               1077
Total iterations:               133464
Time (CPU seconds):             54.50
Time (Wallclock seconds):       54.93

Total time (CPU seconds):       54.57   (Wallclock seconds):       55.03

[s-c-e]

@h-g-s and @tkralphs I think this ticket can be closed as resolved!