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
c first lower bound: 21
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
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
o 501
o 500
o 499
o 498
o 497
o 496
o 495
o 494
o 493
o 492
o 491
o 490
o 489
o 488
o 487
o 486
o 485
o 484
o 483
o 482
o 481
Killed
1979.665u 0.033s 33:06.83 99.6%	0+0k 0+0io 0pf+0w