[Scip] free() invalid pointer
anthony@resolution.com
anthony at resolution.com
Fri Dec 11 05:28:36 MET 2009
Hi all!
We're giving scip a try again (currently using Cbc). I installed the full
ZIB suite on a CentOS 5.3, 64-bit machine, and it compiled fine (running
make).
When running the 'make test', I got a lot of:
(node 39) unresolved numerical troubles in LP 0
(node 40) unresolved numerical troubles in LP 0
(node 41) unresolved numerical troubles in LP 0
...
This went on into the thousands before I quit it.
I then tried running scip on a particular MPS file, and immediately get
the following output:
presolving:
(round 1) 327 del vars, 7601 del conss, 235 chg bounds, 0 chg sides, 0 chg
coeffs, 0 upgd conss, 33808 impls, 0 clqs
(round 2) 792 del vars, 26718 del conss, 274 chg bounds, 0 chg sides, 0
chg coeffs, 0 upgd conss, 33808 impls, 0 clqs
(round 3) 792 del vars, 26718 del conss, 274 chg bounds, 0 chg sides, 0
chg coeffs, 55880 upgd conss, 33808 impls, 0 clqs
(1.1s) probing: 1000/2400 (41.7%) - 0 fixings, 0 aggregations, 2853
implications, 0 bound changes
(1.3s) probing: 2000/2400 (83.3%) - 0 fixings, 0 aggregations, 5853
implications, 1 bound changes
(1.3s) probing: 2001/2400 (83.4%) - 0 fixings, 0 aggregations, 5856
implications, 1 bound changes
(1.3s) probing aborted: 2000/2000 successive useless probings
presolving (4 rounds):
792 deleted vars, 26718 deleted constraints, 275 tightened bounds, 0
added holes, 0 changed sides, 0 changed coefficients
39664 implications, 0 cliques
presolved problem has 2477 variables (2400 bin, 0 int, 38 impl, 39 cont)
and 56031 constraints
151 constraints of type <linear>
55880 constraints of type <logicor>
Presolving Time: 1.15
time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols
|rows |cuts |confs|strbr| dualbound | primalbound | gap
t 1.3s| 1 | 0 | 0 | 73M| 0 | - |2477 | 56k| 56k| 0 |
0 | 0 | 0 | 0 | -- | 6.418278e+06 | Inf
*** glibc detected *** ./scip: free(): invalid pointer: 0x00000000060ea2e0
***
======= Backtrace: =========
/lib64/libc.so.6[0x3d28a71834]
/lib64/libc.so.6(cfree+0x8c)[0x3d28a74e7c]
./scip[0x59ef64]
./scip[0x5d4cc8]
./scip[0x5e0b34]
./scip[0x5e3ac8]
./scip[0x599821]
./scip[0x591720]
./scip[0x47ee2d]
./scip[0x482edf]
./scip[0x485870]
./scip[0x42ed17]
./scip[0x4311c0]
./scip[0x41cd9b]
./scip[0x41e3c4]
./scip[0x41e5cb]
./scip(__gxx_personality_v0+0x23e)[0x405206]
/lib64/libc.so.6(__libc_start_main+0xf4)[0x3d28a1d8b4]
./scip(_ZNSt15basic_streambufIcSt11char_traitsIcEE6xsputnEPKcl+0x81)[0x405149]
======= Memory map: ========
00400000-0069c000 r-xp 00000000 fd:00 1967527
/tmp/ziboptsuite-1.2.0/scip-1.2.0/bin/scip-1.2.0.linux.x86_64.gnu.opt.spx
0089b000-0089c000 rw-p 0029b000 fd:00 1967527
/tmp/ziboptsuite-1.2.0/scip-1.2.0/bin/scip-1.2.0.linux.x86_64.gnu.opt.spx
0089c000-0089f000 rw-p 0089c000 00:00 0
02162000-0a45d000 rw-p 02162000 00:00 0
3d28600000-3d2861a000 r-xp 00000000 fd:00 393218
/lib64/ld-2.5.so
3d2881a000-3d2881b000 r--p 0001a000 fd:00 393218
/lib64/ld-2.5.so
3d2881b000-3d2881c000 rw-p 0001b000 fd:00 393218
/lib64/ld-2.5.so
3d28a00000-3d28b4a000 r-xp 00000000 fd:00 393221
/lib64/libc-2.5.so
3d28b4a000-3d28d4a000 ---p 0014a000 fd:00 393221
/lib64/libc-2.5.so
3d28d4a000-3d28d4e000 r--p 0014a000 fd:00 393221
/lib64/libc-2.5.so
3d28d4e000-3d28d4f000 rw-p 0014e000 fd:00 393221
/lib64/libc-2.5.so
3d28d4f000-3d28d54000 rw-p 3d28d4f000 00:00 0
3d28e00000-3d28e02000 r-xp 00000000 fd:00 393228
/lib64/libdl-2.5.so
3d28e02000-3d29002000 ---p 00002000 fd:00 393228
/lib64/libdl-2.5.so
3d29002000-3d29003000 r--p 00002000 fd:00 393228
/lib64/libdl-2.5.so
3d29003000-3d29004000 rw-p 00003000 fd:00 393228
/lib64/libdl-2.5.so
3d29200000-3d29282000 r-xp 00000000 fd:00 393232
/lib64/libm-2.5.so
3d29282000-3d29481000 ---p 00082000 fd:00 393232
/lib64/libm-2.5.so
3d29481000-3d29482000 r--p 00081000 fd:00 393232
/lib64/libm-2.5.so
3d29482000-3d29483000 rw-p 00082000 fd:00 393232
/lib64/libm-2.5.so
3d2a200000-3d2a214000 r-xp 00000000 fd:00 2037559
/usr/lib64/libz.so.1.2.3
3d2a214000-3d2a413000 ---p 00014000 fd:00 2037559
/usr/lib64/libz.so.1.2.3
3d2a413000-3d2a414000 rw-p 00013000 fd:00 2037559
/usr/lib64/libz.so.1.2.3
3d2aa00000-3d2aa35000 r-xp 00000000 fd:00 2037072
/usr/lib64/libreadline.so.5.1
3d2aa35000-3d2ac34000 ---p 00035000 fd:00 2037072
/usr/lib64/libreadline.so.5.1
3d2ac34000-3d2ac3c000 rw-p 00034000 fd:00 2037072
/usr/lib64/libreadline.so.5.1
3d2ac3c000-3d2ac3d000 rw-p 3d2ac3c000 00:00 0
3d2b600000-3d2b60d000 r-xp 00000000 fd:00 393234
/lib64/libgcc_s-4.1.2-20080102.so.1
3d2b60d000-3d2b80d000 ---p 0000d000 fd:00 393234
/lib64/libgcc_s-4.1.2-20080102.so.1
3d2b80d000-3d2b80e000 rw-p 0000d000 fd:00 393234
/lib64/libgcc_s-4.1.2-20080102.so.1
3d2ba00000-3d2ba4e000 r-xp 00000000 fd:00 2039370
/usr/lib64/libncurses.so.5.5
3d2ba4e000-3d2bc4e000 ---p 0004e000 fd:00 2039370
/usr/lib64/libncurses.so.5.5
3d2bc4e000-3d2bc5c000 rw-p 0004e000 fd:00 2039370
/usr/lib64/libncurses.so.5.5
3d2bc5c000-3d2bc5d000 rw-p 3d2bc5c000 00:00 0
3d2c600000-3d2c6e6000 r-xp 00000000 fd:00 2036083
/usr/lib64/libstdc++.so.6.0.8
3d2c6e6000-3d2c8e5000 ---p 000e6000 fd:00 2036083
/usr/lib64/libstdc++.so.6.0.8
3d2c8e5000-3d2c8eb000 r--p 000e5000 fd:00 2036083
/usr/lib64/libstdc++.so.6.0.8
3d2c8eb000-3d2c8ee000 rw-p 000eb000 fd:00 2036083
/usr/lib64/libstdc++.so.6.0.8
3d2c8ee000-3d2c900000 rw-p 3d2c8ee000 00:00 0
3d2f200000-3d2f238000 r-xp 00000000 fd:00 2044422
/usr/lib64/libgmp.so.3.3.3
3d2f238000-3d2f438000 ---p 00038000 fd:00 2044422
/usr/lib64/libgmp.so.3.3.3
3d2f438000-3d2f439000 rw-p 00038000 fd:00 2044422
/usr/lib64/libgmp.so.3.3.3
2abe8f5ff000-2abe8f601000 rw-p 2abe8f5ff000 00:00 0
2abe8f611000-2abe8f616000 rw-p 2abe8f611000 00:00 0
2abe8f617000-2abe8feb6000 rw-p 2abe8f617000 00:00 0
2abe8fee1000-2abe90043000 rw-p 2abe8fee1000 00:00 0
2abe90077000-2abe90148000 rw-p 2abe90077000 00:00 0
2abe90186000-2abe902e8000 rw-p 2abe90186000 00:00 0
2abe90332000-2abe90645000 rw-p 2abe90332000 00:00 0
2abe9065e000-2abe90891000 rw-p 2abe9065e000 00:00 0
2abe908fc000-2abe90c40000 rw-p 2abe908fc000 00:00 0
2abe90cc0000-2abe91004000 rw-p 2abe90cc0000 00:00 0
2abe9109d000-2abe91523000 rw-p 2abe9109d000 00:00 0
2abe91523000-2abe915db000 rw-p 2abe8feb6000 00:00 0
2abe915db000-2abe918ef000 rw-p 2abe915db000 00:00 0
2abe919c0000-2abe922f8000 rw-p 2abe919c0000 00:00 0
2abe928ee000-2abe92aef000 rw-p 2abe928ee000 00:00 0
2abe92bf0000-2abe92df2000 rw-p 2abe92bf0000 00:00 0
2abe931f6000-2abe941a4000 rw-p 2abe931f6000 00:00 0
2abe98000000-2abe98021000 rw-p 2abe98000000 00:00 0
2abe98021000-2abe9c000000 ---p 2abe98021000 00:00 0
7fff1b496000-7fff1b4ab000 rw-p 7fff1b496000 00:00 0
[stack]
ffffffffff600000-ffffffffffe00000 ---p 00000000 00:00 0
[vdso]
Aborted
Any ideas?
Thanks!
--
Anthony
More information about the Scip
mailing list