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_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2155
o 2146
o 2140
o 2131
o 2128
o 2119
o 2116
o 2114
o 2113
o 2104
o 2092
o 2089
o 2087
o 2083
o 2077
o 2075
o 2072
o 2066
o 2065
o 2064
o 2052
o 2051
o 2049
o 2048
o 2045
o 2043
o 2039
o 2030
o 2028
o 2024
o 2020
o 2017
o 2015
o 2012
o 2010
o 2009
o 2006
o 2005
o 1998
o 1997
o 1996
o 1994
o 1993
o 1992
o 1991
o 1989
o 1988
o 1987
o 1986
o 1978
o 1972
o 1969
o 1968
o 1967
o 1966
o 1962
o 1961
o 1960
o 1959
o 1958
o 1954
o 1953
o 1952
o 1948
o 1946
o 1941
o 1940
o 1937
o 1932
o 1930
o 1929
o 1927
o 1924
o 1921
o 1920
o 1919
o 1918
o 1913
o 1912
o 1907
o 1905
o 1900
o 1898
o 1897
o 1896
o 1895
o 1892
o 1891
o 1888
o 1886
o 1884
o 1877
o 1875
o 1872
o 1870
o 1862
o 1860
o 1859
o 1858
o 1853
o 1851
o 1850
o 1847
o 1844
o 1835
o 1833
o 1832
o 1831
o 1827
o 1826
o 1825
o 1818
c 1681 branches 6859 propagates
c total generalized unit propagation = 9917, success = 13.89%
s OPTIMUM FOUND
c Optimal Solution = 1818
v -49 -10 61 -74 -146 -125 88 123 85 42 -54 -34 69 82 56 92 18 38 79 -1 78 120 84 -76 -145 89 143 21 -139 -26 -140 -29 68 -102 -113 27 86 25 -128 -75 133 64 -127 -58 -48 -115 -66 -147 6 -108 -72 135 -91 -55 -2 83 -60 17 -149 -106 -32 37 142 -117 81 -22 138 20 80 101 -126 -134 8 -131 -109 -98 70 148 31 100 119 129 4 -47 45 -41 63 39 124 -73 90 44 -93 -12 51 -94 -67 -136 -103 -16 104 -5 -40 -107 150 -28 -14 -3 105 95 62 111 -121 -77 -110 -57 -118 23 97 -114 112 137 -59 -11 71 7 -144 -141 130 -43 -52 122 9 -15 -96 -99 46 33 -53 65 -116 -24 -19 -36 -87 132 30 13 50 35
10.827u 0.006s 0:10.84 99.8%	0+0k 0+0io 0pf+0w