<div dir="ltr"><div><div><div><div>Hi again,<br><br></div>with revision 2228, there are less failures, and only 1 of them is a segfault, all others had a bad_alloc or were killed due to no response after 25 mins (although time limit was 5 mins). The one instance with segfault is FAILED__noPrepro/CostasArray but I could not reproduce it when reading from mps.<br><br>Among other instances, there are some contradictions in reported results:<br><br>----------------------------------------<br><span style="font-family:monospace,monospace">cntr STATUS: ('../challenge_2015/tdtsp', 'tdtsp.mzn', 'inst_10_34_00.dzn'): <br> OPTIMAL: []<br> FEAS: ['LOG__20151106_<a href="tel:130715" value="+61130715" target="_blank">130715</a>__CPLEX.res', 'LOG__20151106_<a href="tel:130555" value="+61130555" target="_blank">130555</a>__CBC_noPre.res']<br> INFEAS: ['LOG__20151106_<a href="tel:130618" value="+61130618" target="_blank">130618</a>__CBC.res']<br>cntr OPTIMAL VALUES: ('../challenge_from2012/mznc12-problems/mspsp', 'mspsp.mzn', 'medium_05.dzn'): {18.0: 'LOG__20151106_<a href="tel:130555" value="+61130555" target="_blank">130555</a>__CBC_noPre.res', 23.0: 'LOG__20151106_130618__CBC.res'}<br>cntr OPTIMAL VALUES: ('../challenge_from2012/mznc12-problems/ship-schedule', 'ship-schedule.cp.mzn', '5Ships.dzn'): {482480.0: 'LOG__20151106_<a href="tel:130618" value="+61130618" target="_blank">130618</a>__CBC.res', 483650.0: 'LOG__20151106_130555__CBC_noPre.res'}<br>cntr OPTIMAL VALUES: ('../challenge_from2012/mznc13-probs/league', 'league.mzn', 'model15-4-3.dzn'): {290.0: 'LOG__20151106_<a href="tel:130555" value="+61130555" target="_blank">130555</a>__CBC_noPre.res', 390.0: 'LOG__20151106_130618__CBC.res'}<br>cntr BOUNDS: ('../challenge_from2012/mznc2014_problems/ship-schedule', 'ship-schedule.cp.mzn', '6Ships.dzn'):<br> PRIM: [(607220.0, 'LOG__20151106_<a href="tel:130715" value="+61130715" target="_blank">130715</a>__CPLEX.res'), (607190.0, 'LOG__20151106_130618__CBC.res'), (607190.0, 'LOG__20151106_130555__CBC_noPre.res')],<br> DUAL: [(607265.0, 'LOG__20151106_<a href="tel:130715" value="+61130715" target="_blank">130715</a>__CPLEX.res'), (607190.0, 'LOG__20151106_130618__CBC.res'), (608250.0, 'LOG__20151106_130555__CBC_noPre.res')]<br></span><br></div>Again, I invoke Cbc from my code by callCbc("[-preprocess off] -solve -quit", model), creating the model in memory using OsiClpSolverInterface's addCols() and addRow(). The mps models of these and the failed instances are in the updated folder <a href="https://www.dropbox.com/sh/r0k9qony9z32a3k/AACvnaSVFUFBF1NScRkdkIOga?dl=0">https://www.dropbox.com/sh/r0k9qony9z32a3k/AACvnaSVFUFBF1NScRkdkIOga?dl=0</a><br><br></div>Thanks<br></div>Gleb<br><div><div><div><div><div class="gmail_extra"><br><div class="gmail_quote">On 28 October 2015 at 03:00, <span dir="ltr"><<a href="mailto:cbc-request@coin-or.org" target="_blank">cbc-request@coin-or.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Send Cbc mailing list submissions to<br>
<a href="mailto:cbc@list.coin-or.org" target="_blank">cbc@list.coin-or.org</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
<a href="http://list.coin-or.org/mailman/listinfo/cbc" rel="noreferrer" target="_blank">http://list.coin-or.org/mailman/listinfo/cbc</a><br>
or, via email, send a message with subject or body 'help' to<br>
<a href="mailto:cbc-request@list.coin-or.org" target="_blank">cbc-request@list.coin-or.org</a><br>
<br>
You can reach the person managing the list at<br>
<a href="mailto:cbc-owner@list.coin-or.org" target="_blank">cbc-owner@list.coin-or.org</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of Cbc digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
1. Re: Segfaults / wrong infeas (John Forrest)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Mon, 26 Oct 2015 20:09:07 +0000<br>
From: John Forrest <<a href="mailto:john.forrest@fastercoin.com" target="_blank">john.forrest@fastercoin.com</a>><br>
To: <a href="mailto:cbc@list.coin-or.org" target="_blank">cbc@list.coin-or.org</a><br>
Subject: Re: [Cbc] Segfaults / wrong infeas<br>
Message-ID: <<a href="mailto:562E8863.3020406@fastercoin.com" target="_blank">562E8863.3020406@fastercoin.com</a>><br>
Content-Type: text/plain; charset=windows-1252; format=flowed<br>
<br>
Gleb,<br>
<br>
In the one I looked at the problem was an innocent (seeming) change. It<br>
was in Clp. If you update using svn or just use the ClpSimplexDual.cpp<br>
the problem should go away. If it doesn't then tell me.<br>
<br>
John Forrest<br>
<br>
<br>
On 26/10/15 04:56, Gleb Belov wrote:<br>
> Hi,<br>
><br>
> I have a bunch of models where CBC 2.9.7 produces a segfault or gets<br>
> ulimit-killed after 25 minutes without any output. For 3 instances,<br>
> infeasibility is wrongly reported.<br>
><br>
> The models and solver outputs are here:<br>
> <a href="https://www.dropbox.com/sh/r0k9qony9z32a3k/AACvnaSVFUFBF1NScRkdkIOga?dl=0" rel="noreferrer" target="_blank">https://www.dropbox.com/sh/r0k9qony9z32a3k/AACvnaSVFUFBF1NScRkdkIOga?dl=0</a><br>
><br>
> Folder FAILED_noPrepro has the models where CBC fails when<br>
> "-preprocess off" is given to callCbc.<br>
><br>
> Would be good to have those cases corrected as we want to recommend<br>
> CBC as the default MIP backend in our toolchain<br>
><br>
> Gleb<br>
> _______________________________________________<br>
> Cbc mailing list<br>
> <a href="mailto:Cbc@list.coin-or.org" target="_blank">Cbc@list.coin-or.org</a><br>
> <a href="http://list.coin-or.org/mailman/listinfo/cbc" rel="noreferrer" target="_blank">http://list.coin-or.org/mailman/listinfo/cbc</a><br>
><br>
><br>
<br>
<br>
<br>
------------------------------<br>
<br>
Subject: Digest Footer<br>
<br>
_______________________________________________<br>
Cbc mailing list<br>
<a href="mailto:Cbc@list.coin-or.org" target="_blank">Cbc@list.coin-or.org</a><br>
<a href="http://list.coin-or.org/mailman/listinfo/cbc" rel="noreferrer" target="_blank">http://list.coin-or.org/mailman/listinfo/cbc</a><br>
<br>
<br>
------------------------------<br>
<br>
End of Cbc Digest, Vol 100, Issue 12<br>
************************************<br>
</blockquote></div><br></div></div></div></div></div></div>