<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<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 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=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>
</body>
</html>