sh: line 1:  5276 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 5273 normalized-pdc.r.wcnf/normalized-pdc.r.wcnf"