Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-IncWMaxSatz-weighted_random-_home_jplanes_evaluation_benchmarks_weighted_random_wmax3sat_hi_file_rwms_wcnf_L3_V70_C800_5.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax3sat/hi/file_rwms_wcnf_L3_V70_C800_5.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 4446 o 254 o 249 o 247 o 242 o 241 o 233 o 231 o 229 o 224 o 222 o 220 o 219 o 212 o 211 o 209 o 208 o 206 o 203 o 202 o 197 o 196 o 193 o 192 o 191 o 189 o 182 o 181 o 174 o 169 o 165 o 161 o 159 o 158 o 157 o 155 o 153 o 151 o 148 o 147 o 146 o 144 s OPTIMUM FOUND c Optimal Solution = 144 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 c Program terminated in 190.460 seconds. 190.439u 0.013s 3:10.87 99.7% 0+0k 0+0io 0pf+0w