[Cbc] abort in cbcModel.cpp:2038 (version 915)

[Tuomo Takkula]

Hi,

In an application linked to cbc we have an instance running into an assertion at CbcModel.cpp:2083
(closest comment: // add cuts found to be infeasible (on bound)!).

Unfortunately the stand-alone version of cbc solves the instance just fine. Commenting out the
abort() instruction also works and valgrind shows no problem either.

So the question is: is it ok to ignore the assertion? What does it really mean? Is one of the cut
generators generating invalid cuts, or is the assertion some indication that we botched the call to cbc?


Cheers
Tuomo

-- 
__
Dr. Tuomo Takkula
Geschäftsbereich Systeme Logistik
INFORM GmbH,     Pascalstraße 23,    52076 Aachen
Telefon: +49-2408-14589-17, Fax: +49-2408-9456-45
tuomo.takkula at inform-ac.com,    www.inform-ac.com
Registered AmtsG Aachen HRB1144 Gfhr. Adrian Weiler