[Scip] free() invalid pointer
Stefan Vigerske
stefan at math.hu-berlin.de
Fri Dec 11 10:30:12 MET 2009
Hi,
you could try the patch for Soplex provided at
http://soplex.zib.de/download.shtml
Also soplex does not seem to work well with older gcc compilers like
4.1.2. Add -O0 to the soplex compiler flags and see if that helps.
Stefan
anthony at resolution.com wrote:
> 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
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip
>
--
Stefan Vigerske
Humboldt University Berlin, Numerical Mathematics
http://www.math.hu-berlin.de/~stefan
More information about the Scip
mailing list