[Cbc] Segfaults / wrong infeas

Gleb Belov gleb.belov at monash.edu
Mon Oct 26 00:56:41 EDT 2015


Hi,

I have a bunch of models where CBC 2.9.7 produces a segfault or gets 
ulimit-killed after 25 minutes without any output. For 3 instances, 
infeasibility is wrongly reported.

The models and solver outputs are here: 
https://www.dropbox.com/sh/r0k9qony9z32a3k/AACvnaSVFUFBF1NScRkdkIOga?dl=0

Folder FAILED_noPrepro has the models where CBC fails when "-preprocess 
off" is given to callCbc.

Would be good to have those cases corrected as we want to recommend CBC 
as the default MIP backend in our toolchain

Gleb


More information about the Cbc mailing list