mluipersbeck / dapcstp

GNU Affero General Public License v3.0
7 stars 8 forks source link

core dump #7

Open ghost opened 6 years ago

ghost commented 6 years ago

Hi

I tried to run one of the benchmark problems and it seemed to solve but then encountered an error:

~/dapcstp$ ./dapcstp sym_instances/crr/C01-A.stp --type stp -o C01-A.sol [ load ] [ 0.0 s ] n 500 m 1250 t 0 integer 1 asym 0 bidir 1.00 ( C01-A ) ( best: N/A )

[ prep ] [ 0.0 s ] ( 100.0 % )

              sol            best    time    

[ heur 1 ] [ 0.0 s ] ub 9223372036854775808

root lb ub n m gap memory --- no root remaining open [ root ] [ 0.0 s ] gap 0.0000 % 0/0/0 lb 9223372036854775808 ub 9223372036854775808 avgn 0.0 avgm 0.0

--- solved to optimality in root ( 0.0 sec. ) [ bb ] [ 0.0 s ] gap inf % lb 9223372036854775808 ub 0 bbnodes 0

bbnodes 0 ub 9223372036854775808 lb 9223372036854775808 rootub 9223372036854775808 rootlb 9223372036854775808 gap inf gapR 0.000 timeBest 0.0 time 0.0 matches 0 valid 0 lc 0 d1 0 d2 0 ma 0 ms 0 ss 0 nr 0 bb 0 STAT;C01-A;500;1250;0;inf;9223372036854775808.000000;0.000000;0.001;0;0;0 Error in `./dapcstp': double free or corruption (out): 0x00000000020a06d0 ======= Backtrace: ========= [0x52c731] [0x534c76] [0x538ca7] [0x409d02] [0x4234b3] [0x421cc6] [0x400d64] [0x5094b6] [0x5096aa] [0x4016c9] ======= Memory map: ======== 00400000-0062e000 r-xp 00000000 ca:01 4372694 /home/k/dapcstp/dapcstp 0082d000-00837000 rw-p 0022d000 ca:01 4372694 /home/k/dapcstp/dapcstp 00837000-0083d000 rw-p 00000000 00:00 0 0207b000-02100000 rw-p 00000000 00:00 0 [heap] 7f9304000000-7f930402b000 rw-p 00000000 00:00 0 7f930402b000-7f9308000000 ---p 00000000 00:00 0 7f930b6c5000-7f930b6c6000 rw-p 00000000 00:00 0 7ffca0e29000-7ffca0e4a000 rw-p 00000000 00:00 0 [stack] 7ffca0f35000-7ffca0f38000 r--p 00000000 00:00 0 [vvar] 7ffca0f38000-7ffca0f3a000 r-xp 00000000 00:00 0 [vdso] ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall] Aborted (core dumped)