sh: line 1:  1993 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 1990 normalized-exam.pi.wcnf/normalized-exam.pi.wcnf"