[Cbc] Segfault on current cbc trunk

[ycollette.nospam at free.fr]

Hello,

After all the changes commited to cbc, the following tests still make cbc hangs.

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

Best regards,

YC

----- Mail original -----
De: "ycollette nospam" <ycollette.nospam at free.fr>
À: "cbc" <cbc at list.coin-or.org>
Envoyé: Vendredi 6 Janvier 2017 13:27:13
Objet: [Cbc] Segfault on current cbc trunk

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
_______________________________________________
Cbc mailing list
Cbc at list.coin-or.org
https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=kY-tTJAFuHScYZHjojaaKVZZOEYVVkPpGiWUPr3h80U&m=En5ppX63vfqVB7XrRERZ2kp3g9OMQasXSoXhtWwqKz4&s=Bi6SrerJ2KkPxJM8zE6jwHSizFyAIixyaQelp15YCo4&e=