<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>Oops, my bad, recompiled and the crash did not happened.</p>
<p>Everything is fine in rev 2322.</p>
<p><br>
</p>
<br>
<div class="moz-cite-prefix">Em 10/01/2017 07:35, John Forrest
escreveu:<br>
</div>
<blockquote
cite="mid:8ea32610-576a-7a9a-c824-e61d05a6ed1c@fastercoin.com"
type="cite">
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
<div class="moz-cite-prefix">Haroldo,<br>
<br>
Unable to reproduce error. When I get to line 550,
nonLinearCost_ has just been used successfully so if now NULL
there must be something seriously wrong.<br>
<br>
What configure options and compiler?<br>
<br>
John<br>
On 09/01/17 20:34, Haroldo Gambini Santos wrote:<br>
</div>
<blockquote
cite="mid:e71a8489-2fcd-7622-8904-aee23f131b81@gmail.com"
type="cite">
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
<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 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=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 moz-do-not-send="true" class="moz-txt-link-freetext" href="http://www.decom.ufop.br/haroldo/">http://www.decom.ufop.br/haroldo/</a></pre>
</blockquote>
<p><br>
</p>
</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>