<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Hi Forrest,</p>
<p>It seems that it still crashes in revision 2322:</p>
<p><br>
</p>
<p>Welcome to the CBC MILP Solver <br>
Version: 2.9 <br>
Build Date: Jan 9 2017 <br>
Revision Number: 2322 <br>
<br>
command line - cbc infeasible.lp (default strategy 1)<br>
cbc: ClpSimplex.cpp:550: int ClpSimplex::gutsOfSolution(double*,
const double*, bool): Assertion `nonLinearCost_' failed.<br>
Abortado (imagem do núcleo gravada)<br>
</p>
<p><br>
</p>
<p><br>
</p>
<br>
<div class="moz-cite-prefix">Em 09/01/2017 16:21, John Forrest
escreveu:<br>
</div>
<blockquote
cite="mid:44ead7dd-ae61-661a-7283-c94c4b8cd7dc@fastercoin.com"
type="cite">
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
<div class="moz-cite-prefix">Had already made a change in local
copy of trunk (for a different reason) which fixes error.<br>
<br>
Hopefully fixed in stable and trunk<br>
<br>
John Forrest<br>
On 09/01/17 16:25, Luís Borges de Oliveira wrote:<br>
</div>
<blockquote cite="mid:5873B981.4040408@siscog.pt" type="cite">
Hello,<br>
<br>
We've come across an infeasible lp that causes CBC to segfault:<br>
<blockquote><tt>Welcome to the CBC MILP Solver</tt><br>
<tt>Version: 2.9</tt><br>
<tt>Build Date: Jan 5 2017</tt><br>
<tt>Revision Number: 2315</tt><br>
<br>
<tt>command line -
Z:\siscog\sc-cbc\coin-or-cbc\build\bin\cbc.exe infeasible.lp
(default strategy 1)</tt><br>
<br>
<tt>Program received signal SIGSEGV, Segmentation fault.</tt><br>
<tt>0x0000000000737f80 in
ClpNonLinearCost::checkInfeasibilities(double) ()</tt><br>
</blockquote>
An attempt to minimise the lp size made the problem go away, so
here is the full lp: <a moz-do-not-send="true"
class="moz-txt-link-freetext"
href="https://urldefense.proofpoint.com/v2/url?u=https-3A__drive.google.com_open-3Fid-3D0B4aZo5-2Dt5mnHQUlFWU1BRHRMRDA&d=CwMDaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=iozQ9OKrvb9wPclxXhYrd58gAiZa_F_xpncpIiISDj4&s=v7h_ZKwaYOFSyoY4osAzvBT-ag-qJpbyXZePdBeIrHY&e=">https://drive.google.com/open?id=0B4aZo5-t5mnHQUlFWU1BRHRMRDA</a>
(4.5 MB).<br>
<br>
In case it helps, the infeasibility stems from following
constraints and binary variables:<br>
<blockquote><tt>cnd(R51,16): + a(R51,16,D141) + a(R51,17,D1093)
+ a(R51,19,D513) <= 2</tt><br>
<tt>s_a(R51,16): + a(R51,16,D141) = 1</tt><br>
<tt>s_a(R51,17): + a(R51,17,D1093) = 1</tt><br>
<tt>s_a(R51,19): + a(R51,19,D513) = 1</tt><br>
</blockquote>
<br>
Cheers,<br>
Luís<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Cbc mailing list
<a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a>
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=iozQ9OKrvb9wPclxXhYrd58gAiZa_F_xpncpIiISDj4&s=vZBatNpuyxBZlcMLfvt1kGxA3pWqA9xzUCfRs64JR6c&e=">https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=iozQ9OKrvb9wPclxXhYrd58gAiZa_F_xpncpIiISDj4&s=vZBatNpuyxBZlcMLfvt1kGxA3pWqA9xzUCfRs64JR6c&e=</a>
</pre>
</blockquote>
<p><br>
</p>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Cbc mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=tijMMVTOV6quP22Hf_4jMxAjTsI-J-jW7VS-TLad0kI&s=EVxvUBuZRiQQVQRUmeEBSbDtyF-tf_IGuBQEv3brA-I&e=">https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=tijMMVTOV6quP22Hf_4jMxAjTsI-J-jW7VS-TLad0kI&s=EVxvUBuZRiQQVQRUmeEBSbDtyF-tf_IGuBQEv3brA-I&e=</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
<a class="moz-txt-link-freetext" href="http://www.decom.ufop.br/haroldo/">http://www.decom.ufop.br/haroldo/</a></pre>
</body>
</html>