Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-inc-maxsatz-maxsat_random-_home_jplanes_evaluation_benchmarks_maxsat_random_max2sat_100v_s2v100c1600-7.cnf Job file: /home/jplanes/evaluation/benchmarks/maxsat_random/max2sat/100v/s2v100c1600-7.cnf Job solver: /home/jplanes/evaluation/solvers/HanLin/inc-maxsatz o 279 o 278 o 276 o 273 o 272 o 271 o 270 o 269 o 268 o 267 o 266 o 265 o 264 o 263 o 262 o 261 o 260 o 259 o 258 o 257 o 256 o 255 o 254 o 253 o 252 o 251 o 250 c Best Solution=250 c Program terminated in 240.040 seconds. o 250 s OPTIMUM FOUND 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 240.003u 0.021s 4:00.54 99.7% 0+0k 0+0io 0pf+0w