[Cbc] Cbc in infinite loop

[Kim Hansen]

Hi

I have the problem that cbc from stable/1.2 goes into an infinite loop
where its timeout does not work. I can not get a mps file that shows
the problem, it seems that it only happens if I run a lot of problems
in the same program. I have used gdb to get a stack trace after it has
gone into the loop, the frame that it never leaves is "0xb4fad5fd in
ClpSimplexPrimal::primal ()".

I have attached 5 stack traces taken from the same run, if you need me
to do anything else in order to debug this problem please tell me.

Regards,
Kim Hansen

-----------------------

#0  0xb4e123b6 in CoinFactorization::updateColumnTransposeRDensish ()
from /usr/lib/libCoinUtils.so.0
#1  0xb4e12940 in CoinFactorization::updateColumnTransposeR () from
/usr/lib/libCoinUtils.so.0
#2  0xb4e0fae7 in CoinFactorization::updateColumnTranspose () from
/usr/lib/libCoinUtils.so.0
#3  0xb4effee7 in ClpFactorization::updateColumnTranspose () from
/usr/lib/libClp.so.0
#4  0xb4f66e98 in ClpPrimalColumnSteepest::djsAndSteepest () from
/usr/lib/libClp.so.0
#5  0xb4f6898c in ClpPrimalColumnSteepest::pivotColumn () from
/usr/lib/libClp.so.0
#6  0xb4fa6d17 in ClpSimplexPrimal::primalColumn () from /usr/lib/libClp.so.0
#7  0xb4fad0f2 in ClpSimplexPrimal::whileIterating () from /usr/lib/libClp.so.0
#8  0xb4fad5fd in ClpSimplexPrimal::primal () from /usr/lib/libClp.so.0
[The following is cut out from all the other traces]
#9  0xb4f77abd in ClpSimplex::primal () from /usr/lib/libClp.so.0
#10 0xb4d210c1 in OsiClpSolverInterface::initialSolve () from
/usr/lib/libOsiClp.so.0
#11 0xb4db9675 in CglPreProcess::postProcess () from /usr/lib/libCgl.so.0
#12 0xb5144344 in CbcHeuristic::smallBranchAndBound () from /usr/lib/libCbc.so.0
#13 0xb514bc85 in CbcHeuristicLocal::solutionFix () from /usr/lib/libCbc.so.0
#14 0xb514d10f in CbcHeuristicLocal::solution () from /usr/lib/libCbc.so.0
#15 0xb51622bb in CbcModel::branchAndBound () from /usr/lib/libCbc.so.0


#0  0xb4e12959 in CoinFactorization::updateColumnTransposeR () from
/usr/lib/libCoinUtils.so.0
#1  0x103732a8 in ?? ()
#2  0xb4e0fae7 in CoinFactorization::updateColumnTranspose () from
/usr/lib/libCoinUtils.so.0
#3  0xb4effee7 in ClpFactorization::updateColumnTranspose () from
/usr/lib/libClp.so.0
#4  0xb4f66e98 in ClpPrimalColumnSteepest::djsAndSteepest () from
/usr/lib/libClp.so.0
#5  0xb4f6898c in ClpPrimalColumnSteepest::pivotColumn () from
/usr/lib/libClp.so.0
#6  0xb4fa6d17 in ClpSimplexPrimal::primalColumn () from /usr/lib/libClp.so.0
#7  0xb4fad0f2 in ClpSimplexPrimal::whileIterating () from /usr/lib/libClp.so.0
#8  0xb4fad5fd in ClpSimplexPrimal::primal () from /usr/lib/libClp.so.0
...


#0  0xb5e349b0 in __dynamic_cast () from /usr/lib/libstdc++.so.6
#1  0xb4f485da in ClpPackedMatrix::transposeTimes () from /usr/lib/libClp.so.0
#2  0xb4f60a31 in ClpPrimalColumnSteepest::transposeTimes2 () from
/usr/lib/libClp.so.0
#3  0xb4f66f6b in ClpPrimalColumnSteepest::djsAndSteepest () from
/usr/lib/libClp.so.0
#4  0xb4f6898c in ClpPrimalColumnSteepest::pivotColumn () from
/usr/lib/libClp.so.0
#5  0xb4fa6d17 in ClpSimplexPrimal::primalColumn () from /usr/lib/libClp.so.0
#6  0xb4fad0f2 in ClpSimplexPrimal::whileIterating () from /usr/lib/libClp.so.0
#7  0xb4fad5fd in ClpSimplexPrimal::primal () from /usr/lib/libClp.so.0
...


#0  0xb4fa934b in ClpSimplexPrimal::primalRow () from /usr/lib/libClp.so.0
#1  0xb4fac11e in ClpSimplexPrimal::pivotResult () from /usr/lib/libClp.so.0
#2  0xb4fad130 in ClpSimplexPrimal::whileIterating () from /usr/lib/libClp.so.0
#3  0xb4fad5fd in ClpSimplexPrimal::primal () from /usr/lib/libClp.so.0
...


#0  0xb4e10c91 in CoinFactorization::replaceColumn () from
/usr/lib/libCoinUtils.so.0
#1  0xb4f0015b in ClpFactorization::replaceColumn () from /usr/lib/libClp.so.0
#2  0xb4fac26b in ClpSimplexPrimal::pivotResult () from /usr/lib/libClp.so.0
#3  0xb4fad130 in ClpSimplexPrimal::whileIterating () from /usr/lib/libClp.so.0
#4  0xb4fad5fd in ClpSimplexPrimal::primal () from /usr/lib/libClp.so.0
...


-- 
Kim Hansen
Vadgårdsvej 3, 2.tv
2860 Søborg
Fastnet: 3956 2437  --  Mobil: 3091 2437