Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-WMaxSatz-1.6-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-1.6 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 150 2000 10802 WARNING: Ubcsat not found. o 10802 o 2174 o 2173 o 2170 o 2168 o 2163 o 2162 o 2161 o 2160 o 2157 o 2156 o 2155 o 2154 o 2153 o 2151 o 2150 o 2148 o 2147 o 2143 o 2141 o 2138 o 2133 o 2131 o 2130 o 2129 o 2128 o 2127 o 2124 o 2122 o 2120 o 2118 o 2108 o 2107 o 2106 o 2102 o 2101 o 2092 o 2088 o 2087 o 2079 o 2074 o 2072 o 2071 o 2068 o 2067 o 2066 o 2065 o 2061 o 2058 o 2056 o 2055 o 2054 o 2051 o 2049 o 2048 o 2047 o 2046 o 2044 o 2043 o 2042 o 2041 o 2040 o 2038 o 2037 o 2033 o 2032 o 2031 o 2030 o 2028 o 2022 o 2021 o 2018 o 2015 o 2013 o 2010 o 2008 o 2006 o 2005 o 2003 o 2002 o 2000 o 1999 o 1998 o 1997 o 1996 o 1995 o 1994 o 1993 o 1992 o 1991 o 1990 o 1988 o 1987 o 1985 o 1984 o 1982 o 1980 o 1978 o 1977 o 1976 o 1974 o 1973 o 1972 o 1970 o 1969 o 1966 o 1964 o 1963 o 1962 o 1961 o 1960 o 1959 o 1958 o 1957 o 1953 o 1949 o 1945 o 1943 o 1942 o 1940 o 1936 o 1935 o 1932 o 1928 o 1926 o 1925 o 1921 o 1919 o 1913 o 1912 o 1908 o 1898 o 1896 o 1894 o 1893 o 1887 o 1881 o 1879 o 1874 o 1873 o 1870 o 1863 o 1856 o 1855 o 1853 o 1851 o 1842 o 1839 o 1837 o 1835 o 1834 o 1833 o 1827 o 1822 o 1820 o 1817 o 1815 o 1808 o 1806 o 1797 o 1795 o 1790 o 1780 c Learned clauses = 1 c NB_MONO= 969, NB_BRANCHE= 2267, NB_BACK= 1157 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 5.517u 0.010s 0:05.53 99.8% 0+0k 0+0io 0pf+0w