[Coin-discuss] Crash in OsiClpSolverInterface::getBInvARow

[Kim Hansen]

Hi,

I get this crash on a single problem, I can't reproduce it when I use
the cbc program but a simple solver that is based on cbc crashes. Can
someone tell if this is a problem in coin or my code, and where I
should start looking for it.

Thanks,
Kim Hansen


kim at raph:~/orion/svn/trunk/solver/functions/lp/coin$ gdb main
GNU gdb 6.6-debian
Copyright (C) 2006 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "i486-linux-gnu"...
Using host libthread_db library "/lib/i686/cmov/libthread_db.so.1".
(gdb) run ~/crash-OsiClpSolverInterface\:\:getBInvARow.mps
Starting program:
/mnt/crypt/orion/svn/trunk/solver/functions/lp/coin/main
~/crash-OsiClpSolverInterface\:\:getBInvARow.mps
Coin0001I At line 1 NAME          BLANK
Coin0001I At line 2 ROWS
Coin0001I At line 17710 COLUMNS
Coin0001I At line 40217 RHS
Coin0001I At line 49063 BOUNDS
Coin0001I At line 50912 ENDATA
Coin0002I Problem BLANK has 17706 rows, 1936 columns and 43920 elements
Coin0008I BLANK read with 0 errors
Cgl0006I 42 SOS (336 members out of 1848) with 1512 overlaps - too
much overlap or too many others
Cgl0003I 0 fixed, 72 tightened bounds, 0 strengthened rows, 0 substitutions
Cgl0004I processed model has 17640 rows, 1876 columns (1804 integer)
and 43172 elements
Analyze changed model? false
Illegal index 17640 in OsiClpSolverInterface::getBInvARow
terminate called after throwing an instance of 'CoinError'

Program received signal SIGABRT, Aborted.
0xffffe410 in __kernel_vsyscall ()
(gdb) bt
#0  0xffffe410 in __kernel_vsyscall ()
#1  0xb7968791 in raise () from /lib/i686/cmov/libc.so.6
#2  0xb796a008 in abort () from /lib/i686/cmov/libc.so.6
#3  0xb7b64994 in __gnu_cxx::__verbose_terminate_handler () from
/usr/lib/libstdc++.so.6
#4  0xb7b623b5 in ?? () from /usr/lib/libstdc++.so.6
#5  0xb7b623f2 in std::terminate () from /usr/lib/libstdc++.so.6
#6  0xb7b6252a in __cxa_throw () from /usr/lib/libstdc++.so.6
#7  0xb7baf91b in indexError (index=<value optimized out>,
methodName=<value optimized out>) at OsiClpSolverInterface.cpp:622
#8  0xb7bb09ff in OsiClpSolverInterface::getBInvARow (this=0x900f5d8,
row=17640, z=0xa101360, slack=0xa2cb3c8) at
OsiClpSolverInterface.cpp:3282
#9  0xb7c7a511 in CglRedSplit::generateCuts (this=0xbfc3e974,
cs=@0xbfc3ef14) at CglRedSplit.cpp:1626
#10 0xb7c7b1ca in CglRedSplit::generateCuts (this=0xbfc3e974,
si=@0x900f6cc, cs=@0xbfc3ef14, info=@0xbfc3ea84) at
CglRedSplit.cpp:1276
#11 0xb7c7b25e in CglRedSplit::generateCuts (this=0x92b9640,
si=@0x900f6cc, cs=@0xbfc3ef14, info=@0xbfc3ebac) at
CglRedSplit.cpp:1235
#12 0xb7cdf36c in CbcCutGenerator::generateCuts (this=0x9307c20,
cs=@0xbfc3ef14, fullScan=true, node=0x0) at CbcCutGenerator.cpp:204
#13 0xb7cfe0f1 in CbcModel::solveWithCuts (this=0x8567bf0,
cuts=@0xbfc3f304, numberTries=99, node=0x0) at CbcModel.cpp:3861
#14 0xb7d04cf5 in CbcModel::branchAndBound (this=0x8567bf0,
doStatistics=0) at CbcModel.cpp:858
#15 0x08053d0d in CoinSolveCbc5::run (this=0x8062aa8) at CoinSolveCbc5.cc:753
#16 0x0804cb90 in main (argc=Cannot access memory at address 0xb78
) at main.cc:197
(gdb)

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