<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
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 class="moz-txt-link-freetext" href="https://drive.google.com/open?id=0B4aZo5-t5mnHQUlFWU1BRHRMRDA">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>
</body>
</html>