<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace;font-size:small">Working great now.<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-01-22 17:09 GMT-02:00 John Forrest <span dir="ltr"><<a href="mailto:john.forrest@fastercoin.com" target="_blank">john.forrest@fastercoin.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<div class="m_-996888535392503896moz-cite-prefix">Haroldo,<br>
<br>
Maybe not an infinite loop, but ... took several hours to finish.<br>
<br>
Can't see the use of entering that bit of code near
CbcModel.cpp:5254 as code expects problem to be infeasible and
does not do much with solution if solve finds to be feasible on
second try.<br>
<br>
So I have stopped solve.<span class="HOEnZb"><font color="#888888"><br>
<br>
John</font></span><div><div class="h5"><br>
<br>
On 20/01/17 23:16, Haroldo Gambini Santos wrote:<br>
</div></div></div><div><div class="h5">
<blockquote type="cite">
<p>Hi,</p>
<p>My tests with unitcal_7 from miplib are indicating a
problematic behavior with this instance. (compiled with Blas,
Lapack, -O2 -g, tested with G++ 6.2 and 6.3) <br>
</p>
<p>Running<br>
</p>
cbc unitcal_7.mps.gz seco 1000 heur off solve<br>
<br>
Makes CBC to enter an infinite loop at the end of the search.<br>
<br>
Cbc0020I Exiting on maximum time<br>
Cbc0005I Partial search - best objective 1e+50 (best possible
19567132), took 769793 iterations and 302 nodes (999.95 seconds)<br>
Cbc0032I Strong branching done 3706 times (218262 iterations),
fathomed 0 nodes and fixed 0 variables<br>
Cbc0035I Maximum depth 47, 0 variables fixed on reduced cost<br>
<b>[stays here forever]</b><br>
<br>
Checking which part of the code was executing, I found the
following backtrace:<br>
<br>
#0 0x00007f4652584414 in ClpPrimalColumnSteepest::<wbr>saveWeights
(this=0xb9989c0, model=<optimized out>, mode=<optimized
out>)<br>
at ClpPrimalColumnSteepest.cpp:<wbr>3094<br>
#1 0x00007f46525f6513 in
ClpSimplexPrimal::<wbr>statusOfProblemInPrimal
(this=this@entry=0xc3778b0, lastCleaned=@0x7fffa5be077c: 0, <br>
type=type@entry=1, progress=progress@entry=<wbr>0xc377e28,
doFactorization=<wbr>doFactorization@entry=true,
ifValuesPass=ifValuesPass@<wbr>entry=0, <br>
originalModel=0x0) at ClpSimplexPrimal.cpp:1636<br>
#2 0x00007f46525fa773 in ClpSimplexPrimal::primal
(this=this@entry=0xc3778b0, ifValuesPass=0, ifValuesPass@entry=1,
<br>
startFinishOptions=<wbr>startFinishOptions@entry=0) at
ClpSimplexPrimal.cpp:361<br>
#3 0x00007f46525ac368 in ClpSimplex::primal
(this=this@entry=0xc3778b0, ifValuesPass=ifValuesPass@<wbr>entry=1, <br>
startFinishOptions=<wbr>startFinishOptions@entry=0) at
ClpSimplex.cpp:5971<br>
#4 0x00007f4652aeabd4 in OsiClpSolverInterface::<wbr>initialSolve
(this=0x9d1acf0) at OsiClpSolverInterface.cpp:648<br>
#5 0x00007f46530e68d1 in CbcModel::branchAndBound
(this=this@entry=0x131c7b0, doStatistics=doStatistics@<wbr>entry=0) at
CbcModel.cpp:5254<br>
#6 0x00007f46533e473d in CbcMain1 (argc=argc@entry=7,
argv=argv@entry=<wbr>0x7fffa5be82d8, model=..., <br>
callBack=callBack@entry=<wbr>0x7f46533c7b50
<dummyCallBack(CbcModel*, int)>, parameterData=...) at
CbcSolver.cpp:6817<br>
#7 0x00007f46533fba9a in CbcMain1 (argc=argc@entry=7,
argv=argv@entry=<wbr>0x7fffa5be82d8, model=..., <br>
callBack=callBack@entry=<wbr>0x7f46533c7b50
<dummyCallBack(CbcModel*, int)>) at CbcSolver.cpp:1295<br>
#8 0x00007f46533fbaac in CbcMain1 (argc=argc@entry=7,
argv=argv@entry=<wbr>0x7fffa5be82d8, model=...) at CbcSolver.cpp:1163<br>
#9 0x0000000000400c4a in main (argc=7, argv=0x7fffa5be82d8) at
CoinSolve.cpp:336<br>
(gdb) <br>
<br>
<br>
<pre class="m_-996888535392503896moz-signature" cols="72">--
==============================<wbr>====================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
<a class="m_-996888535392503896moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.decom.ufop.br_haroldo_&d=CwMDaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=uSGYgLFwPSVUKHHW1cThA-Do8xOrEZ9A1VJvhOEj8bk&s=FFyxummybWJDj2MwNdgxmVT4LK4Ye5bAsZgGHmHY54Y&e=" target="_blank">http://www.decom.ufop.br/<wbr>haroldo/</a></pre>
</blockquote>
<p><br>
</p>
</div></div></div>
<br>______________________________<wbr>_________________<br>
Cbc mailing list<br>
<a href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a><br>
<a 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=uSGYgLFwPSVUKHHW1cThA-Do8xOrEZ9A1VJvhOEj8bk&s=exEqypjsa5bqQJ5GYVii_KJqMSKyoZ-Wnyh2WCLBxQE&e=" rel="noreferrer" target="_blank">https://urldefense.proofpoint.<wbr>com/v2/url?u=http-3A__list.<wbr>coin-2Dor.org_mailman_<wbr>listinfo_cbc&d=CwICAg&c=Ngd-<wbr>ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLx<wbr>WPA_2Wlc4&r=pLOfVNEEHf-xhIqn1-<wbr>uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=<wbr>uSGYgLFwPSVUKHHW1cThA-<wbr>Do8xOrEZ9A1VJvhOEj8bk&s=<wbr>exEqypjsa5bqQJ5GYVii_<wbr>KJqMSKyoZ-Wnyh2WCLBxQE&e=</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><span style="font-family:monospace,monospace">=============================================================<br>Haroldo Gambini Santos<br>Computing Department<br>Universidade Federal de Ouro Preto - UFOP<br>email: haroldo [at ] <a href="http://iceb.ufop.br" target="_blank">iceb.ufop.br</a><br>home/research page: <a href="http://www.decom.ufop.br/haroldo/" target="_blank">www.decom.ufop.br/haroldo</a><br><br><br>It has long been an axiom of mine that the little things are infinitely<br>the most important.<br> -- Sir Arthur Conan Doyle, "A Case of Identity"<br></span></div></div></div>
</div>