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_140_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 111435 o 97613 o 97582 o 97539 o 97508 o 96824 o 96793 o 96750 o 96719 o 96701 o 96017 o 95986 o 95943 o 95912 o 95538 o 95464 o 95450 o 95376 o 95268 o 95194 o 95180 o 95106 o 95057 o 95026 o 94969 o 94938 o 94917 o 94903 o 94815 o 94800 o 94786 o 94698 o 94608 o 94523 o 94449 o 94435 o 94312 o 94281 o 94267 o 94210 o 94179 o 94158 o 94144 o 94041 o 94027 o 93939 o 93830 o 93816 o 93713 o 93699 o 93685 o 93679 o 93662 o 93648 o 93631 o 93617 o 93614 o 93597 o 93476 o 93459 o 93445 o 93408 o 93391 o 93377 o 93374 o 93357 o 93148 o 93131 o 93117 o 93106 o 93096 o 93082 o 93011 o 92994 o 92947 o 92936 o 92924 o 92913 o 92821 o 92807 o 92796 o 92795 o 92707 o 92696 s OPTIMUM FOUND c Optimal Solution = 92696 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 135 -136 -137 -138 -139 140 -141 -142 -143 -144 c Program terminated in 4.010 seconds. 4.014u 0.003s 0:04.02 99.7% 0+0k 0+0io 0pf+0w