<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Will look at it.<br>
<br>
John Forrest<br>
On 09/01/17 17:20, Haroldo Gambini Santos wrote:<br>
</div>
<blockquote
cite="mid:dbbaf084-444c-a65d-24d5-ce31d9595d4d@gmail.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html;
charset=windows-1252">
<p>Hi All,</p>
<p>I confirm this bug, happens in the stable branch with this
problem:<br>
</p>
<p>cbc: ClpSimplex.cpp:550: int
ClpSimplex::gutsOfSolution(double*, const double*, bool):
Assertion `nonLinearCost_' failed</p>
<p>the backtrace is:</p>
<p>#0 __GI_raise (sig=sig@entry=6) at
../sysdeps/unix/sysv/linux/raise.c:58<br>
#1 0x00007ffff6c443ea in __GI_abort () at abort.c:89<br>
#2 0x00007ffff6c3abb7 in __assert_fail_base (fmt=<optimized
out>, assertion=assertion@entry=0x7ffff66c6842
"nonLinearCost_", <br>
file=file@entry=0x7ffff66c65f4 "ClpSimplex.cpp",
line=line@entry=550, <br>
function=function@entry=0x7ffff66c77e0
<ClpSimplex::gutsOfSolution(double*, double const*,
bool)::__PRETTY_FUNCTION__> "int
ClpSimplex::gutsOfSolution(double*, const double*, bool)") at
assert.c:92<br>
#3 0x00007ffff6c3ac62 in __GI___assert_fail
(assertion=assertion@entry=0x7ffff66c6842 "nonLinearCost_",
file=file@entry=0x7ffff66c65f4 "ClpSimplex.cpp", <br>
line=line@entry=550, <br>
function=function@entry=0x7ffff66c77e0
<ClpSimplex::gutsOfSolution(double*, double const*,
bool)::__PRETTY_FUNCTION__> "int
ClpSimplex::gutsOfSolution(double*, const double*, bool)") at
assert.c:101<br>
#4 0x00007ffff663e0b3 in ClpSimplex::gutsOfSolution
(this=this@entry=0x555555784970,
givenDuals=givenDuals@entry=0x0,
givenPrimals=givenPrimals@entry=0x0, <br>
valuesPass=true) at ClpSimplex.cpp:550<br>
#5 0x00007ffff668e8a5 in
ClpSimplexPrimal::statusOfProblemInPrimal
(this=this@entry=0x555555784970, lastCleaned=@0x7fffffff49bc: 0,
type=type@entry=0, <br>
progress=progress@entry=0x555555784f00,
doFactorization=doFactorization@entry=true,
ifValuesPass=ifValuesPass@entry=1, originalModel=0x0)<br>
at ClpSimplexPrimal.cpp:1363<br>
#6 0x00007ffff6692243 in ClpSimplexPrimal::primal
(this=this@entry=0x555555784970,
ifValuesPass=ifValuesPass@entry=1, <br>
startFinishOptions=startFinishOptions@entry=2) at
ClpSimplexPrimal.cpp:361<br>
#7 0x00007ffff662efaa in ClpSimplex::dual
(this=this@entry=0x555555784970,
ifValuesPass=ifValuesPass@entry=0, startFinishOptions=2, <br>
startFinishOptions@entry=0) at ClpSimplex.cpp:5656<br>
#8 0x00007ffff66a2920 in ClpSimplex::initialSolve
(this=this@entry=0x555555784970, options=...) at
ClpSolve.cpp:1881<br>
#9 0x00007ffff75a8044 in OsiClpSolverInterface::initialSolve
(this=0x555555783ef0) at OsiClpSolverInterface.cpp:731<br>
#10 0x00007ffff78639fe in CbcModel::initialSolve
(this=this@entry=0x7fffffffd730) at CbcModel.cpp:5359<br>
#11 0x00007ffff7b6dc31 in CbcMain1 (argc=<optimized out>,
argv=<optimized out>, model=..., callBack=<optimized
out>, parameterData=...)<br>
at CbcSolver.cpp:3669<br>
#12 0x0000555555554c4d in main (argc=2, argv=0x7fffffffdd58) at
CoinSolve.cpp:336<br>
</p>
<br>
<div class="moz-cite-prefix">Em 09/01/2017 14:25, Luís Borges de
Oliveira escreveu:<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=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=094IZaNMengJ9eeuVPgqbxlGj4L26TDNRKmRuNmk-xs&s=WQ1fraBYgLZIqgjvcvgEdALiXBVgQzWNSjJ5tAbgJTg&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=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=094IZaNMengJ9eeuVPgqbxlGj4L26TDNRKmRuNmk-xs&s=ukkY4q-PJ8T7GzvmD7n6OfD97Q3B6mqBWQXXK8MFTn0&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=094IZaNMengJ9eeuVPgqbxlGj4L26TDNRKmRuNmk-xs&s=ukkY4q-PJ8T7GzvmD7n6OfD97Q3B6mqBWQXXK8MFTn0&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>
<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="http://list.coin-or.org/mailman/listinfo/cbc">http://list.coin-or.org/mailman/listinfo/cbc</a>
</pre>
</blockquote>
<p><br>
</p>
</body>
</html>