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
c first lower bound: 21
o 734
o 733
o 732
o 731
o 730
o 729
o 728
o 727
o 726
o 725
o 724
o 723
o 722
o 721
o 720
o 719
o 718
o 717
o 716
o 715
o 714
o 713
o 712
o 711
o 710
o 709
o 708
o 707
o 706
o 705
o 704
o 703
o 702
o 701
o 700
o 699
o 698
o 697
o 696
o 695
o 694
o 693
o 692
o 691
o 690
o 689
o 688
o 687
o 686
o 685
o 684
o 683
o 682
o 681
o 680
o 679
o 678
o 677
o 676
o 675
o 674
o 673
o 672
o 671
o 670
o 669
o 668
o 667
o 666
o 665
Killed
1979.673u 0.025s 33:11.31 99.4%	0+0k 0+0io 0pf+0w