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_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0002.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 110426 o 99611 o 99429 o 99150 o 98968 o 98945 o 98881 o 98699 o 98676 o 98495 o 98472 o 98400 o 98377 o 98372 o 98349 o 98306 o 98283 o 98278 o 98255 o 98251 o 98232 o 98187 o 98005 o 97982 o 97801 o 97778 o 97706 o 97683 o 97678 o 97655 o 97592 o 97569 o 97497 o 97474 o 97469 o 97446 o 97361 o 97338 o 97266 o 97243 o 97238 o 97215 o 97183 o 97160 o 97155 o 97132 o 97069 o 97046 o 96974 o 96951 o 96946 o 96923 o 96919 o 96896 o 96860 o 96837 o 96765 o 96742 o 96737 o 96714 o 96651 o 96628 o 96556 o 96533 o 96528 o 96505 o 96337 o 96314 o 96242 o 96219 o 96214 o 96191 o 96128 o 96105 o 96033 o 96010 o 96005 o 95982 o 95978 o 95907 o 95884 o 95879 o 95856 o 95779 o 95756 o 95684 o 95661 o 95656 o 95633 o 95465 o 95442 o 95370 o 95347 o 95342 o 95319 o 95256 o 95233 o 95161 o 95138 o 95133 o 95110 o 95069 o 95046 o 95041 o 95018 o 94997 o 94992 o 94969 o 94928 o 94905 o 94900 o 94877 o 94872 o 94849 o 94823 o 94800 o 94731 o 94708 o 94699 o 94675 o 94652 o 94545 o 94522 o 94444 o 94421 o 94349 o 94326 o 94208 o 94185 o 94183 o 94160 o 93982 o 93937 o 93755 o 93732 o 93660 o 93637 o 93519 o 93496 o 93474 o 93451 o 93450 o 93427 o 93416 o 93338 o 93314 o 93291 o 93287 o 93264 o 93261 o 93257 o 93234 o 93162 o 93139 o 93068 o 93045 o 93021 o 92998 o 92997 o 92974 o 92973 o 92962 o 92930 o 92907 o 92858 o 92835 o 92824 o 92818 s OPTIMUM FOUND c Optimal Solution = 92818 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 c Program terminated in 9.370 seconds. 9.378u 0.000s 0:09.40 99.6% 0+0k 0+0io 0pf+0w