[Cbc] Segfaults / wrong infeas

John Forrest john.forrest at fastercoin.com
Mon Oct 26 11:34:40 EDT 2015


Gleb,

I have managed to get an error on one of your models - I am hoping to 
track it down soon.

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