Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C2000_H150_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_0.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 11034
o 2094
o 2091
o 2089
o 2086
o 2083
o 2080
o 2077
o 2067
o 2064
o 2060
o 2058
o 2056
o 2053
o 2050
o 2049
o 2047
o 2046
o 2043
o 2041
o 2040
o 2039
o 2038
o 2032
o 2031
o 2030
o 2028
o 2026
o 2024
o 2022
o 2020
o 2015
o 2013
o 2010
o 2009
o 2004
o 2003
o 2000
o 1999
o 1996
o 1993
o 1991
o 1990
o 1988
o 1987
o 1986
o 1984
o 1978
o 1977
o 1975
o 1974
o 1964
o 1958
o 1954
o 1952
o 1948
o 1942
o 1941
o 1936
o 1932
o 1926
o 1924
o 1920
o 1918
o 1913
o 1912
o 1908
o 1900
o 1899
o 1898
o 1896
o 1892
o 1890
o 1887
o 1886
o 1885
o 1884
o 1877
o 1871
o 1869
o 1865
o 1862
o 1858
o 1856
o 1852
o 1850
o 1844
o 1842
s OPTIMUM FOUND
c Optimal Solution = 1842
v -1 2 3 -4 5 -6 7 -8 9 10 11 -12 -13 14 15 16 17 -18 19 -20 -21 22 -23 24 25 26 27 -28 -29 -30 -31 32 33 -34 35 -36 -37 -38 39 -40 -41 42 -43 -44 45 46 47 -48 -49 -50 51 -52 -53 54 -55 -56 -57 58 59 60 -61 62 -63 64 -65 66 67 68 69 70 -71 -72 -73 74 75 76 77 -78 79 80 81 -82 83 84 -85 -86 -87 -88 -89 -90 91 92 93 -94 -95 -96 97 98 -99 100 -101 -102 -103 -104 -105 -106 107 108 109 110 -111 112 -113 114 -115 -116 -117 -118 119 -120 121 122 123 124 -125 126 -127 128 -129 -130 131 -132 -133 134 135 136 -137 138 -139 140 141 -142 143 144 145 -146 147 -148 -149 -150
c Program terminated in 5.220 seconds.
5.225u 0.003s 0:05.23 99.8%	0+0k 0+0io 0pf+0w