<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-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.<br>
<br>
John<br>
<br>
On 20/01/17 23:16, Haroldo Gambini Santos wrote:<br>
</div>
<blockquote
cite="mid:5f528e57-9996-17d6-da4c-0929f58e3376@gmail.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html; charset=utf-8">
<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::saveWeights
(this=0xb9989c0, model=<optimized out>, mode=<optimized
out>)<br>
at ClpPrimalColumnSteepest.cpp:3094<br>
#1 0x00007f46525f6513 in
ClpSimplexPrimal::statusOfProblemInPrimal
(this=this@entry=0xc3778b0, lastCleaned=@0x7fffa5be077c: 0, <br>
type=type@entry=1, progress=progress@entry=0xc377e28,
doFactorization=doFactorization@entry=true,
ifValuesPass=ifValuesPass@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=startFinishOptions@entry=0) at
ClpSimplexPrimal.cpp:361<br>
#3 0x00007f46525ac368 in ClpSimplex::primal
(this=this@entry=0xc3778b0, ifValuesPass=ifValuesPass@entry=1, <br>
startFinishOptions=startFinishOptions@entry=0) at
ClpSimplex.cpp:5971<br>
#4 0x00007f4652aeabd4 in OsiClpSolverInterface::initialSolve
(this=0x9d1acf0) at OsiClpSolverInterface.cpp:648<br>
#5 0x00007f46530e68d1 in CbcModel::branchAndBound
(this=this@entry=0x131c7b0, doStatistics=doStatistics@entry=0) at
CbcModel.cpp:5254<br>
#6 0x00007f46533e473d in CbcMain1 (argc=argc@entry=7,
argv=argv@entry=0x7fffa5be82d8, model=..., <br>
callBack=callBack@entry=0x7f46533c7b50
<dummyCallBack(CbcModel*, int)>, parameterData=...) at
CbcSolver.cpp:6817<br>
#7 0x00007f46533fba9a in CbcMain1 (argc=argc@entry=7,
argv=argv@entry=0x7fffa5be82d8, model=..., <br>
callBack=callBack@entry=0x7f46533c7b50
<dummyCallBack(CbcModel*, int)>) at CbcSolver.cpp:1295<br>
#8 0x00007f46533fbaac in CbcMain1 (argc=argc@entry=7,
argv=argv@entry=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="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>
</body>
</html>