sh: line 1: 20206 Segmentation fault      ./ubcsat -alg irots -w -seed 0 -runs 10 -cutoff 92300 -r bestsol -r out /dev/null -inst /home/maxsat/benchmarks/pms_industrial/bcp-syn/normalized-bench1.pi.wcnf > "/tmp/akmaxsat 20203 normalized-bench1.pi.wcnf/normalized-bench1.pi.wcnf"