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_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2141
o 2138
o 2123
o 2119
o 2117
o 2116
o 2111
o 2110
o 2107
o 2101
o 2100
o 2095
o 2094
o 2090
o 2088
o 2084
o 2083
o 2078
o 2077
o 2076
o 2075
o 2070
o 2069
o 2064
o 2063
o 2062
o 2058
o 2057
o 2053
o 2051
o 2046
o 2042
o 2041
o 2040
o 2036
o 2034
o 2032
o 2028
o 2023
o 2021
o 2019
o 2018
o 2017
o 2015
o 2007
o 2005
o 2000
o 1999
o 1998
o 1991
o 1990
o 1989
o 1984
o 1982
o 1981
o 1980
o 1978
o 1975
o 1974
o 1972
o 1971
o 1970
o 1969
o 1968
o 1967
o 1965
o 1964
o 1962
o 1960
o 1956
o 1955
o 1954
o 1952
o 1951
o 1950
o 1948
o 1947
o 1946
o 1935
o 1931
o 1928
o 1926
o 1925
o 1923
o 1922
o 1913
o 1912
o 1910
o 1901
o 1898
o 1896
o 1895
o 1884
o 1881
o 1878
o 1877
o 1867
o 1866
o 1865
o 1862
o 1860
o 1858
o 1857
o 1851
o 1847
o 1846
o 1842
o 1841
o 1838
o 1837
o 1835
o 1834
o 1830
o 1828
o 1824
o 1822
o 1819
o 1818
o 1817
o 1816
o 1815
o 1813
o 1811
o 1810
o 1809
o 1807
o 1802
o 1788
o 1782
o 1781
o 1774
o 1765
o 1762
o 1760
o 1759
o 1755
o 1751
o 1749
o 1741
o 1731
o 1726
c 869 branches 5558 propagates
c total generalized unit propagation = 6907, success = 6.95%
s OPTIMUM FOUND
c Optimal Solution = 1726
v -105 25 -76 -73 -15 123 -89 -122 -43 -30 95 77 -47 110 -12 99 -63 -53 -42 -139 100 56 -137 -71 -7 -16 85 101 44 93 138 -41 51 -113 4 9 -87 145 -106 34 21 -119 -114 -82 -121 -29 88 -69 -37 -103 135 -104 6 150 -48 -8 133 3 -127 -86 -45 -70 -107 -149 -78 -142 -118 -13 66 -98 75 -1 108 65 2 -62 -40 126 -144 -129 79 -54 91 96 130 -33 -38 -18 -28 60 55 -125 19 -23 14 -120 -20 -26 128 140 136 22 72 35 -58 146 131 -148 -61 57 64 -124 -32 -109 39 -59 -24 134 36 49 -111 84 -68 -52 -97 -102 -132 46 80 -31 -27 -17 90 116 10 67 83 50 115 -5 81 -112 141 -92 117 143 -11 -147 94 74
3.924u 0.002s 0:03.93 99.7%	0+0k 0+0io 0pf+0w