coin-or / Cbc.old

This is a mirror of the subversion repository on COIN-OR
https://projects.coin-or.org/Cbc
Other
89 stars 30 forks source link

[Trac #77] cbc 2.2.2: Assertion fail in ClpSimplexDual::updateDualsInDual() #121

Open s-c-e opened 5 years ago

s-c-e commented 5 years ago

image

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

We run cbc 2.2.2 on linux. CBC is configured with --enable-debug, compiled with gcc 4.1.2. Starting cbc on miplib2003::arkin001.mps with "-rins on -import ~/arki001.mps -branchandC" we receive an assertion:

cbcd: ClpSimplexDual.cpp:1957: int ClpSimplexDual::updateDualsInDual(CoinIndexedVector, CoinIndexedVector, CoinIndexedVector*, double, double&, bool): Assertion `fabs(movement)<1.0e30' failed.

This occurs after about 112000 nodes.

I've attached a file containing screenoutput, call-stack and info about gcc and cbc

Let me know if you need more information

=====

from forrest:

Can get a different error with 2.3. I think it is fixed in trunk but will check