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_bcp-hipp-yRa1_su_SU3__simp-genos.haps.60.wcnf Job file: /home/maxsat/benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.60.wcnf Job solver: /home/maxsat/solvers/pwbo1.0/pwbo1.0 o 139 o 138 o 137 o 131 o 130 o 129 o 128 o 127 o 126 o 125 o 124 o 123 o 122 o 121 o 120 o 119 o 118 o 117 o 116 o 115 o 114 o 113 o 111 o 110 o 109 o 108 o 107 o 106 o 105 Killed 1973.816u 5.927s 30:50.49 106.9% 0+0k 0+0io 0pf+0w