[Cbc] Segfaults / wrong infeas

John Forrest john.forrest at fastercoin.com
Mon Oct 26 16:09:07 EDT 2015


Gleb,

In the one I looked at the problem was an innocent (seeming) change.  It 
was in Clp.  If you update using svn or just use the ClpSimplexDual.cpp 
the problem should go away.  If it doesn't then tell me.

John Forrest


On 26/10/15 04:56, Gleb Belov wrote:
> 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
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc
>
>



More information about the Cbc mailing list