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_7.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_7.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 10802
o 2128
o 2123
o 2120
o 2115
o 2112
o 2110
o 2107
o 2103
o 2102
o 2100
o 2096
o 2094
o 2091
o 2090
o 2086
o 2082
o 2081
o 2074
o 2071
o 2069
o 2064
o 2061
o 2059
o 2057
o 2054
o 2052
o 2051
o 2050
o 2049
o 2044
o 2042
o 2041
o 2040
o 2039
o 2036
o 2030
o 2028
o 2025
o 2019
o 2018
o 2016
o 2011
o 2007
o 1998
o 1996
o 1995
o 1988
o 1986
o 1985
o 1982
o 1981
o 1979
o 1977
o 1976
o 1975
o 1972
o 1966
o 1965
o 1963
o 1961
o 1959
o 1954
o 1953
o 1951
o 1949
o 1944
o 1942
o 1940
o 1936
o 1934
o 1928
o 1926
o 1925
o 1921
o 1919
o 1916
o 1909
o 1902
o 1898
o 1896
o 1892
o 1891
o 1887
o 1884
o 1880
o 1879
o 1876
o 1872
o 1865
o 1864
o 1859
o 1853
o 1845
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 1793
o 1790
o 1780
s OPTIMUM FOUND
c Optimal Solution = 1780
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 3.830 seconds.
3.835u 0.002s 0:03.84 99.7%	0+0k 0+0io 0pf+0w