Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-WMaxSatz-2.5-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_RAMSEY_ram_k5_n20.ra1.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k5_n20.ra1.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 190 20349 0 WARNING: Ubcsat not found. o 10159022 o 6411 o 6409 o 5701 o 5508 o 5239 o 4885 o 4692 o 4690 o 4641 o 4639 o 4362 o 4169 o 4167 o 4074 o 3927 o 3918 o 3916 o 3823 o 3811 o 3760 o 3753 o 3717 o 3710 o 3668 o 3661 o 3324 o 3256 o 3204 o 3197 o 3111 o 3104 o 3060 o 3053 o 2984 o 2977 o 2976 o 2969 o 2932 o 2918 o 2909 o 2907 o 2864 o 2785 o 2724 o 2561 o 2522 o 2483 o 2459 o 2348 o 2337 o 2330 o 2236 o 2216 o 2197 o 2025 o 1939 o 1934 o 1933 o 1909 o 1848 o 1825 o 1817 o 1749 o 1742 o 1697 o 1680 o 1564 o 1521 o 1496 o 1343 o 1240 o 1207 o 1168 o 1166 o 1101 o 1088 o 1033 o 968 o 817 o 797 o 749 o 744 o 699 o 698 o 646 o 599 o 550 o 473 o 434 o 357 o 315 o 292 o 239 o 216 o 193 o 169 o 98 o 76 o 0 c Learned clauses = 0 c NB_MONO= 2400, NB_BRANCHE= 1931, NB_BACK= 127 s OPTIMUM FOUND c Optimal Solution = 0 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 151 -152 153 -154 155 156 -157 -158 -159 -160 -161 162 163 -164 -165 -166 167 -168 -169 -170 -171 172 -173 -174 175 176 177 178 -179 -180 -181 -182 183 -184 -185 -186 -187 -188 189 190 0 21.442u 0.025s 0:21.51 99.7% 0+0k 0+0io 0pf+0w