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_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0006.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 96171 o 83204 o 83066 o 83065 o 82972 o 82971 o 82892 o 82891 o 82699 o 82698 o 82560 o 82466 o 82386 o 82314 o 82313 o 82234 o 82233 o 82041 o 82040 o 81902 o 81808 o 81728 o 81725 o 81710 o 81709 o 81571 o 81477 o 81397 o 81394 o 81335 o 81332 o 81297 o 81203 o 81123 o 81120 o 81061 o 81058 o 81040 o 81037 o 81036 o 81033 o 80995 o 80992 o 80974 o 80971 o 80904 o 80824 o 80762 o 80724 o 80630 o 80550 o 80488 o 80467 o 80451 o 80445 o 80313 o 80233 o 80171 o 80150 o 80134 o 80129 o 80108 o 80067 o 80046 o 80030 o 80011 o 79911 o 79817 o 79737 o 79716 o 79700 o 79694 o 79500 o 79420 o 79399 o 79383 o 79316 o 79295 o 79279 o 79263 o 79069 o 78989 o 78968 o 78965 o 78885 o 78864 o 78803 o 78609 o 78529 o 78464 o 78270 o 78190 o 77991 o 77911 o 77864 o 77861 o 77858 o 77795 o 77715 o 77661 o 77581 o 77528 o 77474 o 77394 s OPTIMUM FOUND c Optimal Solution = 77394 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 c Program terminated in 2.160 seconds. 2.163u 0.001s 0:02.17 99.5% 0+0k 0+0io 0pf+0w