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-fir09_area_opers.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-fir09_area_opers.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1812
o 1811
o 1810
o 1809
o 1808
o 1807
o 1806
o 1805
o 1804
o 1803
o 1802
o 1801
o 1800
o 1799
o 1798
o 1797
o 1796
o 1795
o 1794
o 1793
o 1792
o 1791
o 1790
o 1789
o 1788
o 1787
o 1786
o 1785
o 1784
o 1783
o 1782
o 1781
o 1780
o 1779
o 1778
o 1777
o 1776
o 1775
o 1774
o 1773
o 1772
o 1771
o 1770
o 1769
o 1768
o 1767
o 1766
o 1765
o 1764
o 1763
o 1762
o 1761
o 1760
o 1759
o 1758
o 1757
o 1756
o 1755
o 1754
o 1753
o 1752
o 1751
o 1750
o 1749
o 1748
o 1747
o 1746
o 1745
o 1744
o 1743
o 1742
o 1741
o 1740
o 1739
o 1738
o 1737
o 1736
o 1735
o 1734
o 1733
o 1732
o 1731
o 1730
o 1729
o 1728
o 1727
o 1726
o 1725
o 1724
o 1723
o 1722
o 1721
o 1720
o 1719
o 1718
o 1717
o 1716
o 1715
o 1714
o 1713
o 1712
o 1711
o 1710
o 1709
o 1708
o 1707
o 1706
o 1705
o 1704
o 1703
o 1702
o 1701
o 1700
o 1699
o 1698
o 1697
o 1696
o 1695
o 1694
o 1693
o 1692
o 1691
o 1690
o 1689
o 1688
o 1687
o 1686
o 1685
o 1684
o 1683
o 1682
o 1681
o 1680
o 1679
o 1678
o 1677
o 1676
o 1675
o 1674
o 1673
o 1672
o 1671
o 1670
o 1669
o 1668
o 1667
o 1666
o 1665
o 1664
o 1663
o 1662
o 1661
o 1660
o 1659
o 1658
o 1657
o 1656
o 1655
o 1654
o 1653
o 1652
o 1651
o 1650
o 1649
o 1648
o 1647
o 1646
o 1645
o 1644
o 1643
o 1642
o 1641
o 1640
o 1639
o 1638
o 1637
o 1636
o 1635
o 1634
o 1633
o 1632
o 1631
o 1630
o 1629
o 1628
o 1627
o 1626
o 1625
o 1624
o 1623
o 1622
o 1621
o 1620
o 1619
o 1618
o 1617
o 1616
o 1615
o 1614
o 1613
o 1612
o 1611
o 1610
o 1609
o 1608
o 1607
o 1606
o 1605
o 1604
o 1603
o 1602
o 1601
o 1600
o 1599
o 1598
o 1597
o 1596
o 1595
o 1594
o 1593
o 1592
o 1591
o 1590
o 1589
o 1588
o 1587
o 1586
o 1585
o 1584
o 1583
o 1582
o 1581
o 1580
o 1579
o 1578
o 1577
o 1576
o 1575
o 1574
o 1573
o 1572
o 1571
o 1570
o 1569
o 1568
o 1567
o 1566
o 1565
o 1564
o 1563
o 1562
o 1561
o 1560
o 1559
o 1558
o 1557
o 1556
o 1555
o 1554
o 1553
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
Killed
1979.575u 0.125s 33:13.59 99.3%	0+0k 0+0io 6pf+0w