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_009_area_delay.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_009_area_delay.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 609
o 608
o 607
o 606
o 605
o 604
o 603
o 602
o 601
o 600
o 599
o 598
o 597
o 596
o 595
o 594
o 593
o 592
o 591
o 590
o 589
o 588
o 587
o 586
o 585
o 584
o 583
o 582
o 581
o 580
o 579
o 578
o 577
o 576
o 575
o 574
o 573
o 572
o 571
o 570
o 569
o 568
o 567
o 566
o 565
Killed
1979.684u 0.014s 33:01.65 99.9%	0+0k 0+0io 5pf+0w