Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-fir_normalized-f20c10b_015_area_delay.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_015_area_delay.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1252
o 1251
o 1250
o 1249
o 1248
o 1247
o 1246
o 1245
o 1244
o 1243
o 1242
o 1241
o 1240
o 1239
o 1238
o 1237
o 1236
o 1235
o 1234
o 1233
o 1232
o 1231
o 1230
o 1229
o 1228
o 1227
o 1226
o 1225
o 1224
o 1223
o 1222
o 1221
o 1220
o 1219
o 1218
o 1217
o 1216
o 1215
o 1214
o 1213
Killed
1979.618u 0.080s 33:02.24 99.8%	0+0k 0+0io 6pf+0w