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_028_area_delay.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_028_area_delay.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 568
o 567
o 566
o 565
o 564
o 563
o 562
o 561
o 560
o 559
o 558
o 557
o 556
o 555
o 554
o 553
o 552
o 551
o 550
o 549
o 548
o 547
o 546
o 545
o 544
o 543
o 542
o 541
o 540
o 539
o 538
o 537
o 536
o 535
o 534
o 533
o 532
o 531
o 530
o 529
o 528
o 527
o 526
o 525
o 524
o 523
o 522
o 521
o 520
o 519
o 518
o 517
o 516
o 515
o 514
o 513
o 512
o 511
o 510
o 509
o 508
o 507
o 506
o 505
o 504
o 503
o 502
Killed
1979.639u 0.062s 33:03.34 99.8%	0+0k 0+0io 6pf+0w