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_007_area_delay.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_007_area_delay.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1989
o 1988
o 1987
o 1986
o 1985
o 1984
o 1983
o 1982
o 1981
o 1980
o 1979
o 1978
o 1977
o 1976
o 1975
o 1974
o 1973
o 1972
o 1971
o 1970
o 1969
o 1968
o 1967
o 1966
o 1965
o 1964
o 1963
o 1962
o 1961
o 1960
Killed
1979.582u 0.117s 33:15.02 99.2%	0+0k 0+0io 8pf+0w