Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-pwbo1.0-pms_industrial-_home_maxsat_benchmarks_pms_industrial_pbo-mqc_nencdr_10tree230p.wcnf Job file: /home/maxsat/benchmarks/pms_industrial/pbo-mqc/nencdr/10tree230p.wcnf Job solver: /home/maxsat/solvers/pwbo1.0/pwbo1.0 o 154 o 152 o 130 o 125 o 113 o 104 o 101 o 99 o 96 o 94 o 87 o 85 o 80 o 67 o 66 o 63 Killed 1973.732u 5.995s 31:16.50 105.5% 0+0k 0+0io 0pf+0w