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_002_area_delay.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_002_area_delay.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1021
o 1020
o 1019
o 1018
o 1017
o 1016
o 1015
o 1014
o 1013
o 1012
o 1011
o 1010
o 1009
o 1008
o 1007
o 1006
o 1005
o 1004
o 1003
o 1002
o 1001
o 1000
o 999
o 998
o 997
o 996
o 995
o 994
o 993
o 992
o 991
o 990
Killed
1979.635u 0.063s 33:13.17 99.3%	0+0k 0+0io 6pf+0w