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_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2057
o 2055
o 2046
o 2015
o 2012
o 2010
o 2007
o 2004
o 2003
o 2000
o 1993
o 1990
o 1989
o 1984
o 1981
o 1974
o 1973
o 1970
o 1969
o 1964
o 1960
o 1956
o 1952
o 1948
o 1945
o 1939
o 1938
o 1936
o 1935
o 1931
o 1927
o 1922
o 1918
o 1916
o 1913
o 1911
o 1905
o 1898
o 1897
o 1893
o 1891
o 1888
o 1884
o 1880
o 1878
o 1877
o 1873
o 1870
o 1867
o 1864
o 1861
o 1856
o 1855
o 1851
o 1846
o 1844
o 1834
o 1831
o 1829
o 1825
o 1812
o 1811
o 1807
c 683 branches 3554 propagates
c total generalized unit propagation = 4786, success = 11.47%
s OPTIMUM FOUND
c Optimal Solution = 1807
v 133 -14 -146 138 -141 87 -26 -56 -75 -13 -115 -60 -148 -35 -103 -49 -32 112 -99 100 71 9 96 139 83 -104 21 -128 -18 27 97 58 -76 3 48 -109 90 110 -36 -137 -33 -22 54 130 -93 -114 42 -77 88 63 -136 -121 40 -74 -59 145 -23 -7 -80 68 -50 17 94 143 134 -46 147 124 34 113 -57 -95 -41 -122 -10 -44 101 107 -118 -47 -31 29 92 102 53 64 108 -24 -55 -140 73 -19 -89 -72 -123 45 -131 -6 -125 -25 30 -142 -39 135 -52 -51 144 -20 91 106 111 -98 -126 117 -65 -69 -5 -127 -120 1 12 -116 -66 81 149 2 -11 -86 4 -62 -67 -37 -150 85 -61 -16 -119 -38 -79 82 -105 129 -43 132 -15 8 70 28 -84 -78
12.036u 0.004s 0:12.04 99.9%	0+0k 0+0io 0pf+0w