Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1988
o 1981
o 1979
o 1976
o 1971
o 1968
o 1967
o 1959
o 1956
o 1952
o 1950
o 1946
o 1934
o 1926
o 1924
o 1920
o 1917
o 1916
o 1908
o 1904
o 1901
o 1899
o 1896
o 1894
o 1891
o 1889
o 1888
o 1885
o 1877
o 1873
o 1870
o 1866
o 1863
o 1855
o 1852
o 1846
o 1840
o 1839
o 1836
o 1830
o 1823
o 1822
o 1821
o 1812
o 1811
o 1809
o 1805
o 1804
o 1799
o 1797
o 1795
o 1794
o 1791
o 1789
o 1785
o 1772
o 1766
o 1760
o 1758
o 1750
o 1744
o 1733
o 1731
o 1730
c 426 branches 2396 propagates
c total generalized unit propagation = 3080, success = 8.38%
s OPTIMUM FOUND
c Optimal Solution = 1730
v 147 -55 -29 -117 -70 -58 -89 22 23 115 67 93 128 146 88 60 35 84 2 -62 -132 15 -37 124 -18 110 -12 140 45 136 -20 82 144 -33 72 48 -46 -78 -135 -75 86 119 50 -43 -42 114 145 -139 3 -97 -142 41 11 -54 113 -91 5 137 44 -7 -106 81 -95 -127 -101 104 111 -149 -100 -121 32 76 99 59 -98 16 77 -25 -148 -74 64 105 -83 79 -6 63 -9 61 -68 125 103 -52 -129 -87 -34 141 -30 56 80 1 -130 66 27 96 51 -71 53 49 -28 -133 -14 21 -36 -112 73 57 -92 -47 -10 17 -26 -13 85 31 65 -69 4 -126 -107 -131 -94 -19 -8 40 -38 116 24 143 120 -118 109 90 39 -150 -138 -123 -102 108 122 -134
3.235u 0.005s 0:03.26 99.0%	0+0k 0+0io 0pf+0w