sh: line 1: 31794 Killed                  ./ubcsat -alg irots -w -seed 0 -runs 10 -cutoff 100000 -r bestsol -r out /dev/null -inst /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.B.recomb1-0.01-3.wcnf > "/tmp/akmaxsat 31790 ped2.B.recomb1-0.01-3.wcnf/ped2.B.recomb1-0.01-3.wcnf"