Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-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/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2000 10802
WARNING: Ubcsat not found.
o 10802
o 2175
o 2171
o 2159
o 2157
o 2147
o 2146
o 2144
o 2138
o 2136
o 2134
o 2133
o 2131
o 2130
o 2129
o 2126
o 2121
o 2120
o 2119
o 2118
o 2117
o 2116
o 2108
o 2107
o 2103
o 2102
o 2092
o 2091
o 2088
o 2087
o 2085
o 2082
o 2079
o 2078
o 2077
o 2071
o 2069
o 2068
o 2066
o 2062
o 2057
o 2054
o 2052
o 2046
o 2043
o 2042
o 2039
o 2038
o 2037
o 2036
o 2032
o 2031
o 2030
o 2028
o 2022
o 2021
o 2015
o 2013
o 2012
o 2009
o 2008
o 2006
o 2005
o 2003
o 2000
o 1999
o 1996
o 1995
o 1994
o 1993
o 1992
o 1990
o 1988
o 1986
o 1985
o 1984
o 1983
o 1981
o 1980
o 1978
o 1977
o 1976
o 1975
o 1973
o 1972
o 1969
o 1966
o 1965
o 1964
o 1963
o 1962
o 1961
o 1960
o 1959
o 1954
o 1953
o 1952
o 1944
o 1942
o 1941
o 1940
o 1932
o 1928
o 1926
o 1925
o 1919
o 1915
o 1914
o 1913
o 1912
o 1908
o 1898
o 1896
o 1892
o 1891
o 1888
o 1879
o 1876
o 1872
o 1866
o 1865
o 1864
o 1845
o 1844
o 1843
o 1837
o 1836
o 1834
o 1833
o 1830
o 1817
o 1809
o 1808
o 1806
o 1797
o 1795
o 1790
o 1785
o 1780
c Learned clauses = 0
c NB_MONO= 871, NB_BRANCHE= 1567, NB_BACK= 778 
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 0
3.623u 0.009s 0:03.64 99.4%	0+0k 0+0io 0pf+0w