sh: line 1: 21276 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-exam.pi.wcnf > "/tmp/akmaxsat 21273 normalized-exam.pi.wcnf/normalized-exam.pi.wcnf"