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_012_area_delay.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_012_area_delay.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1552
o 1551
o 1550
o 1549
o 1548
o 1547
o 1546
o 1545
o 1544
o 1543
o 1542
o 1541
o 1540
o 1539
o 1538
o 1537
o 1536
o 1535
o 1534
o 1533
o 1532
o 1531
o 1530
o 1529
o 1528
o 1527
o 1526
o 1525
o 1524
o 1523
o 1522
o 1521
o 1520
o 1519
o 1518
o 1517
o 1516
o 1515
o 1514
o 1513
o 1512
o 1511
o 1510
o 1509
o 1508
o 1507
o 1506
o 1505
o 1504
o 1503
o 1502
o 1501
o 1500
Killed
1979.613u 0.086s 33:14.59 99.2%	0+0k 0+0io 6pf+0w