[Cbc] Segfault on current cbc trunk

ycollette.nospam at free.fr ycollette.nospam at free.fr
Fri Jan 6 07:27:13 EST 2017


Hello,

I found some segfault on the current trunk of cbc.
The command I used to launch these tests:

cbc exmip1.mps -solution exmip1.out -solve

cbc has been compiled using cmake under linux fedora 64.

exmip1, nw460, scOneInt, p0033, pack1 (from samples), lseu (from miplib3):

#0  0x0000000000abdc18 in idamax_ (n=0x7fffffff1e90, dx=0xe344b8, incx=0xdd4de0 <c__1>) at /home/artelys/repository/coin/Cbc/build/Dependencies/Lapack/src/EP_Lapack/BLAS/SRC/idamax.c:84
#1  0x0000000000abc01d in dgetf2_ (m=0xe4fc6c, n=0xe4fc6c, a=0xfffffff800e344b0, lda=0xe4fc6c, ipiv=0xe34728, info=0x7fffffff1fa8) at /home/artelys/repository/coin/Cbc/build/Dependencies/Lapack/src/EP_Lapack/SRC/dgetf2.c:147
#2  0x0000000000ab8d2d in dgetrf_ (m=0xe4fc6c, n=0xe4fc6c, a=0xfffffff800e344b0, lda=0xe4fc6c, ipiv=0xe34728, info=0x7fffffff1fa8) at /home/artelys/repository/coin/Cbc/build/Dependencies/Lapack/src/EP_Lapack/SRC/dgetrf.c:148
#3  0x00000000009e90a9 in CoinDenseFactorization::factor (this=0xe4fc40) at /home/artelys/repository/coin/Cbc/CoinUtils/src/CoinDenseFactorization.cpp:204
#4  0x0000000000817b59 in ClpFactorization::factorize (this=0xe4fbe0, model=0xe60550, solveType=0, valuesPass=false) at /home/artelys/repository/coin/Cbc/Clp/src/ClpFactorization.cpp:1898
#5  0x000000000088fef7 in ClpSimplex::internalFactorize (this=0xe60550, solveType=0) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplex.cpp:2010
#6  0x00000000008b0171 in ClpSimplex::startup (this=0xe60550, ifValuesPass=0, startFinishOptions=7) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplex.cpp:8949
#7  0x00000000008bfe4b in ClpSimplexDual::startupSolve (this=0xe60550, ifValuesPass=0, saveDuals=0x0, startFinishOptions=7) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplexDual.cpp:243
#8  0x00000000008c10ba in ClpSimplexDual::dual (this=0xe60550, ifValuesPass=0, startFinishOptions=7) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplexDual.cpp:626
#9  0x00000000008a215c in ClpSimplex::dual (this=0xe60550, ifValuesPass=0, startFinishOptions=7) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplex.cpp:5572
#10 0x00000000007ccb28 in OsiClpSolverInterface::crunch (this=0xe4ef70) at /home/artelys/repository/coin/Cbc/Clp/src/OsiClp/OsiClpSolverInterface.cpp:7725
#11 0x00000000007b05ff in OsiClpSolverInterface::resolve (this=0xe4ef70) at /home/artelys/repository/coin/Cbc/Clp/src/OsiClp/OsiClpSolverInterface.cpp:1137
#12 0x000000000053bca8 in CbcModel::resolve (this=0xe250a0, solver=0xe4f218) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcModel.cpp:14479
#13 0x000000000052cdbf in CbcModel::resolve (this=0xe250a0, parent=0x0, whereFrom=0, saveSolution=0x0, saveLower=0x0, saveUpper=0x0) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcModel.cpp:10327
#14 0x000000000050b0e9 in CbcModel::branchAndBound (this=0xe250a0, doStatistics=0) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcModel.cpp:2063
#15 0x0000000000592da1 in CbcMain1 (argc=3, argv=0x7fffffffdc08, model=..., callBack=0x57856f <dummyCallBack(CbcModel*, int)>, parameterData=...) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcSolver.cpp:7020
#16 0x0000000000578f9b in CbcMain1 (argc=3, argv=0x7fffffffdc08, model=..., callBack=0x57856f <dummyCallBack(CbcModel*, int)>) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcSolver.cpp:1300
#17 0x0000000000578c72 in CbcMain1 (argc=3, argv=0x7fffffffdc08, model=...) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcSolver.cpp:1168
#18 0x00000000005031ee in main (argc=3, argv=0x7fffffffdc08) at /home/artelys/repository/coin/Cbc/Cbc/src/CoinSolve.cpp:336

Best regards,

YC


More information about the Cbc mailing list