Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_130_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 94257 o 80178 o 80168 o 80154 o 80144 o 80136 o 79909 o 79885 o 79877 o 79856 o 79848 o 79598 o 79588 o 79574 o 79564 o 79556 o 79329 o 79305 o 79297 o 79276 o 79268 o 79093 o 79069 o 79061 o 78914 o 78890 o 78882 o 78861 o 78853 o 78603 o 78593 o 78579 o 78569 o 78561 o 78334 o 78310 o 78302 o 78281 o 78273 o 78098 o 78074 o 78066 o 78010 o 77986 o 77978 o 77972 o 77745 o 77721 o 77713 o 77692 o 77684 o 77509 o 77485 o 77477 o 77421 o 77397 o 77389 o 77335 o 77311 o 77309 o 77247 o 77223 o 77221 o 77217 o 77215 o 76982 o 76958 o 76956 o 76953 o 76929 o 76927 o 76746 o 76722 o 76720 o 76658 o 76634 o 76632 o 76618 o 76594 o 76592 o 76587 o 76563 o 76561 o 76499 o 76475 o 76473 o 76464 o 76462 o 76448 o 76424 o 76422 o 76400 o 76376 o 76374 o 76312 o 76288 o 76286 o 76277 o 76275 o 76261 o 76237 o 76235 o 76212 o 76210 o 76202 o 76200 o 76188 o 76186 o 76177 o 76175 o 76158 o 76134 o 76123 o 76109 o 76098 o 76094 o 76083 o 76069 o 76058 o 76025 o 76023 o 76000 o 75998 o 75905 o 75903 o 75838 o 75836 o 75813 o 75811 o 75803 o 75801 o 75778 o 75776 o 75684 o 75659 o 75640 o 75624 o 75611 o 75599 o 75564 o 75562 o 75529 o 75527 o 75504 o 75502 o 75420 o 75418 o 75385 o 75383 o 75360 o 75358 o 75266 o 75241 o 75210 o 75208 o 75179 o 75162 o 75091 o 75070 o 74975 o 74973 o 74940 o 74938 o 74915 o 74913 o 74831 o 74829 o 74796 o 74794 o 74771 o 74769 o 74677 o 74652 o 74648 o 74646 o 74613 o 74611 o 74588 o 74586 o 74582 o 74557 o 74494 o 74469 o 74467 o 74444 o 74442 o 74438 o 74413 o 74350 o 74325 s OPTIMUM FOUND c Optimal Solution = 74325 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 c Program terminated in 0.770 seconds. 0.769u 0.003s 0:00.77 98.7% 0+0k 0+0io 0pf+0w