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_wpmax3sat_hi_file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 4465 o 335 o 332 o 327 o 326 o 321 o 319 o 318 o 317 o 315 o 313 o 312 o 311 o 310 o 305 o 302 o 301 o 299 o 297 o 295 o 291 o 289 o 286 o 284 o 283 o 280 o 277 o 276 o 274 o 273 o 267 o 265 o 264 o 262 o 258 o 255 o 253 o 251 o 250 o 248 o 247 o 246 o 238 o 236 o 234 o 233 o 232 o 228 o 226 o 224 o 218 o 213 o 212 o 211 o 209 o 204 o 200 o 195 o 192 o 189 o 186 o 184 o 181 o 178 o 175 o 174 o 170 o 168 o 167 o 166 o 165 o 159 o 154 o 151 o 150 o 146 o 145 o 140 o 138 o 136 o 134 o 132 o 129 o 127 o 126 o 120 o 119 o 117 o 114 o 113 o 112 o 108 o 107 o 105 o 103 o 99 o 98 o 93 o 92 o 91 o 90 o 88 o 87 o 85 o 82 o 80 s OPTIMUM FOUND c Optimal Solution = 80 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 c Program terminated in 82.880 seconds. 82.873u 0.003s 1:27.04 95.2% 0+0k 0+0io 0pf+0w