*** glibc detected *** /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls: free(): invalid next size (normal): 0x000000000d8df6b0 ***
======= 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 
0d7df000-0e0c1000 rw-p 0d7df000 00:00 0                                  [heap]
2b857b7a5000-2b857b95a000 rw-p 2b857b7a5000 00:00 0 
2b857be7e000-2b857cc1a000 rw-p 2b857be7e000 00:00 0 
2b857da1d000-2b857ea1e000 rw-p 2b857da1d000 00:00 0 
2b8580000000-2b8580021000 rw-p 2b8580000000 00:00 0 
2b8580021000-2b8584000000 ---p 2b8580021000 00:00 0 
7fffba543000-7fffba558000 rw-p 7ffffffea000 00:00 0                      [stack]
ffffffffff600000-ffffffffffe00000 ---p 00000000 00:00 0                  [vdso]