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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2121
o 2115
o 2114
o 2113
o 2110
o 2109
o 2105
o 2104
o 2103
o 2102
o 2100
o 2096
o 2094
o 2086
o 2082
o 2079
o 2077
o 2076
o 2074
o 2070
o 2069
o 2066
o 2065
o 2064
o 2062
o 2058
o 2057
o 2050
o 2049
o 2046
o 2044
o 2041
o 2039
o 2038
o 2036
o 2035
o 2031
o 2029
o 2028
o 2026
o 2025
o 2021
o 2019
o 2018
o 2016
o 2011
o 2010
o 2007
o 1998
o 1996
o 1995
o 1988
o 1987
o 1986
o 1984
o 1983
o 1981
o 1978
o 1977
o 1976
o 1974
o 1973
o 1972
o 1970
o 1969
o 1966
o 1961
o 1960
o 1959
o 1954
o 1953
o 1951
o 1949
o 1945
o 1943
o 1942
o 1940
o 1936
o 1934
o 1932
o 1928
o 1927
o 1926
o 1925
o 1921
o 1919
o 1916
o 1902
o 1898
o 1896
o 1892
o 1891
o 1887
o 1884
o 1880
o 1879
o 1876
o 1872
o 1866
o 1865
o 1864
o 1853
o 1844
o 1843
o 1837
o 1836
o 1834
o 1833
o 1830
o 1821
o 1820
o 1817
o 1808
o 1806
o 1797
o 1795
o 1790
o 1780
c 628 branches 3979 propagates
c total generalized unit propagation = 4912, success = 6.21%
s OPTIMUM FOUND
c Optimal Solution = 1780
v -54 -1 -104 -2 -91 86 146 -140 5 -46 -107 -25 -125 -130 -110 60 -62 -63 71 149 -67 100 -105 -126 -6 22 -131 -89 32 -84 -95 -147 42 -16 141 -8 -96 134 -23 -101 -114 -3 -145 33 -117 102 -90 -103 -132 -77 73 -150 -112 28 129 128 -79 -24 -85 61 7 -122 121 87 -133 115 -35 53 92 26 34 -14 -138 48 82 -49 113 -50 124 111 78 -21 -20 -119 9 58 -44 39 64 135 27 18 -29 30 -15 -45 -109 143 55 -116 11 137 -66 -94 -144 -57 12 -13 -43 -83 -17 -10 -56 148 142 -76 68 -4 99 -31 52 -72 127 -108 -120 70 98 81 47 -51 -80 41 38 -97 -88 -69 -40 -19 -74 -36 -123 59 93 -106 65 75 -139 -37 118 -136
7.137u 0.003s 0:07.14 99.8%	0+0k 0+0io 0pf+0w