sh: line 1:  6203 Segmentation fault      ./ubcsat -alg irots -w -seed 0 -runs 10 -cutoff 100000 -r bestsol -r out /dev/null -inst /home/maxsat/benchmarks/pms_industrial/bcp-syn/normalized-pdc.r.wcnf > "/tmp/akmaxsat 6200 normalized-pdc.r.wcnf/normalized-pdc.r.wcnf"
*** glibc detected *** /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls: free(): invalid next size (normal): 0x0000000016f93fe0 ***
======= 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 
16f71000-17072000 rw-p 16f71000 00:00 0                                  [heap]
2b3366c9f000-2b33686fa000 rw-p 2b3366c9f000 00:00 0 
2b336c000000-2b336c021000 rw-p 2b336c000000 00:00 0 
2b336c021000-2b3370000000 ---p 2b336c021000 00:00 0 
7fff9f9c0000-7fff9f9d5000 rw-p 7ffffffea000 00:00 0                      [stack]
ffffffffff600000-ffffffffffe00000 ---p 00000000 00:00 0                  [vdso]