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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1446
o 2228
o 2227
o 2226
o 2224
o 2223
o 2221
o 2220
o 2218
o 2216
o 2213
o 2211
o 2208
o 2205
o 2203
o 2201
o 2199
o 2194
o 2192
o 2190
o 2188
o 2187
o 2184
o 2183
o 2175
o 2172
o 2170
o 2169
o 2167
o 2165
o 2158
o 2153
o 2151
o 2147
o 2146
o 2136
o 2134
o 2126
o 2125
o 2124
o 2122
o 2116
o 2114
o 2113
o 2104
o 2103
o 2097
o 2094
o 2091
o 2090
o 2085
o 2082
o 2078
o 2072
o 2070
o 2066
o 2064
o 2058
o 2057
o 2048
o 2047
o 2043
o 2037
o 2033
o 2032
o 2030
o 2027
o 2026
o 2025
o 2020
o 2016
o 2008
o 2003
o 2002
o 1997
o 1983
o 1981
o 1974
o 1970
o 1967
o 1966
o 1964
o 1963
o 1956
o 1953
o 1952
o 1951
o 1949
o 1948
o 1947
o 1945
o 1943
o 1941
o 1939
o 1937
o 1936
o 1933
o 1931
o 1930
o 1929
o 1922
o 1918
o 1914
o 1913
o 1911
o 1905
o 1899
o 1895
o 1893
o 1891
o 1890
o 1889
o 1879
o 1877
o 1876
o 1871
o 1869
o 1863
o 1854
o 1851
o 1843
o 1838
o 1834
o 1832
c 506 branches 4942 propagates
c total generalized unit propagation = 2435, success = 6.86%
s OPTIMUM FOUND
c Optimal Solution = 1832
v -16 126 107 138 -96 -27 -105 60 3 131 -80 6 145 70 -102 -15 -83 -140 -63 -39 90 48 43 108 100 -24 -76 -114 128 -71 54 134 101 120 12 139 -88 17 92 -18 125 132 58 95 23 -104 -121 35 146 -31 -52 75 -74 61 -86 -112 99 -66 -87 91 -97 130 -127 38 -32 -82 -142 22 -93 -4 109 56 -40 47 36 -68 -45 106 -7 -129 -46 98 -28 -103 13 -53 -29 -42 -141 111 -62 -8 -115 -34 -133 -79 144 11 -5 116 149 2 124 94 51 41 143 122 -72 -81 117 26 118 -67 -20 -9 -113 -89 65 -57 148 -135 19 55 78 14 150 -137 64 -136 -69 110 49 59 44 85 50 21 -30 10 -123 37 -84 -119 -25 33 73 147 -1 -77
0.601u 0.003s 0:00.60 100.0%	0+0k 0+0io 0pf+0w