*** glibc detected *** /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls: free(): invalid next size (normal): 0x0000000009ffb380 *** ======= Backtrace: ========= [0x4879e2] [0x48c177] [0x401802] [0x46d619] [0x401231] ======= Memory map: ======== 00400000-00524000 r-xp 00000000 00:18 88327054 /home/maxsat/solvers/akmaxsat_ls/akmaxsat 00723000-00726000 rw-p 00123000 00:18 88327054 /home/maxsat/solvers/akmaxsat_ls/akmaxsat 00726000-0073e000 rw-p 00726000 00:00 0 09feb000-0a030000 rw-p 09feb000 00:00 0 [heap] 2b92efe9a000-2b92eff8a000 rw-p 2b92efe9a000 00:00 0 2b92f0000000-2b92f0021000 rw-p 2b92f0000000 00:00 0 2b92f0021000-2b92f4000000 ---p 2b92f0021000 00:00 0 7fffae55b000-7fffae570000 rw-p 7ffffffea000 00:00 0 [stack] ffffffffff600000-ffffffffffe00000 ---p 00000000 00:00 0 [vdso]