sh: line 1: 28505 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.r.wcnf > "/tmp/akmaxsat 28502 normalized-bench1.r.wcnf/normalized-bench1.r.wcnf"