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_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0002.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 89914 o 75630 o 75585 o 75500 o 75455 o 75136 o 75091 o 75006 o 74961 o 74928 o 74843 o 74798 o 74739 o 74694 o 74645 o 74600 o 74541 o 74496 o 74480 o 74474 o 74447 o 74389 o 74344 o 74317 o 74285 o 74240 o 74213 o 74191 o 74146 o 74119 o 74087 o 74042 o 74015 o 73997 o 73970 o 73938 o 73893 o 73866 o 73844 o 73799 o 73772 o 73740 o 73695 o 73668 o 73642 o 73597 o 73570 o 73538 o 73493 o 73466 o 73454 o 73422 o 73377 o 73350 o 73321 o 73294 o 73260 o 73233 o 73207 o 73162 o 73135 o 73103 o 73058 o 73031 o 73019 o 72987 o 72942 o 72915 o 72886 o 72859 o 72838 o 72811 o 72782 o 72755 o 72721 o 72694 o 72668 o 72623 o 72596 o 72564 o 72519 o 72492 o 72480 o 72448 o 72403 o 72376 o 72347 o 72320 o 72305 o 72278 o 72250 o 72223 o 72213 o 72186 o 72172 o 72145 o 72116 o 72089 o 72082 o 72068 o 72041 o 72012 o 71985 o 71978 o 71933 o 71923 o 71881 o 71836 o 71826 o 71817 o 71806 o 71761 o 71720 o 71709 o 71664 o 71661 o 71616 o 71605 o 71560 o 71538 o 71527 o 71482 o 71441 o 71430 o 71385 s OPTIMUM FOUND c Optimal Solution = 71385 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 -132 -133 -134 c Program terminated in 1.090 seconds. 1.096u 0.001s 0:02.00 54.5% 0+0k 0+0io 0pf+0w