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_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0004.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 115468 o 107021 o 107011 o 106956 o 106946 o 106777 o 106767 o 106712 o 106702 o 106674 o 106664 o 106495 o 106485 o 106430 o 106420 o 106411 o 106242 o 106232 o 106177 o 106167 o 106139 o 106129 o 105960 o 105950 o 105895 o 105885 o 105839 o 105829 o 105727 o 105717 o 105662 o 105652 o 105643 o 105474 o 105464 o 105409 o 105399 o 105371 o 105361 o 105192 o 105182 o 105127 o 105117 o 105071 o 105061 o 105051 o 105041 o 104928 o 104918 o 104863 o 104853 o 104807 o 104797 o 104794 o 104762 o 104752 o 104650 o 104640 o 104585 o 104575 o 104566 o 104397 o 104387 o 104332 o 104322 o 104294 o 104284 o 104115 o 104105 o 104050 o 104040 o 103994 o 103984 o 103974 o 103964 o 103851 o 103841 o 103786 o 103776 o 103730 o 103720 o 103717 o 103712 o 103666 o 103656 o 103653 o 103594 o 103584 o 103529 o 103519 o 103473 o 103463 o 103456 o 103446 o 103443 o 103330 o 103320 o 103265 o 103255 o 103209 o 103199 o 103191 o 103145 o 103135 o 103116 o 103106 o 103051 o 103041 o 102995 o 102985 o 102973 o 102963 o 102908 o 102898 o 102852 o 102842 o 102834 o 102788 o 102778 o 102719 o 102709 o 102706 o 102654 o 102644 o 102641 o 102598 o 102588 o 102585 o 102455 o 102445 o 102442 o 102390 o 102380 o 102377 o 102334 o 102324 o 102321 o 102316 o 102313 o 102270 o 102260 o 102257 o 102241 o 102231 o 102228 o 102176 o 102166 o 102163 o 102120 o 102110 o 102107 o 102079 o 102069 o 102001 o 101991 o 101936 o 101926 o 101872 o 101862 o 101747 o 101737 o 101682 o 101672 o 101669 o 101483 o 101473 o 101418 o 101408 o 101405 o 101354 o 101344 o 101341 o 101269 o 101259 o 101204 o 101194 o 101191 o 101148 o 101138 o 101135 o 101106 o 101096 o 101051 o 101041 o 101022 o 101012 o 100957 o 100947 o 100901 o 100891 o 100884 o 100874 o 100828 o 100818 o 100810 o 100764 o 100754 o 100735 o 100725 o 100670 o 100660 o 100614 o 100604 o 100583 o 100573 o 100570 o 100499 o 100489 o 100434 o 100424 o 100421 o 100378 o 100368 o 100365 o 100336 o 100326 o 100252 o 100242 o 100187 o 100177 o 100131 o 100121 o 99965 o 99955 o 99900 o 99890 o 99844 o 99834 o 99829 o 99774 o 99764 o 99718 o 99708 o 99692 o 99682 o 99677 o 99622 o 99612 o 99566 o 99556 o 99497 o 99441 o 99432 o 99266 o 99201 o 99145 o 99114 o 99049 o 98993 o 98988 o 98923 o 98867 o 98815 o 98789 o 98783 o 98727 o 98719 o 98663 o 98639 o 98634 o 98569 o 98513 o 98461 o 98396 o 98340 o 98256 o 98191 o 98135 o 98130 o 98065 o 98009 o 97995 o 97987 o 97931 o 97925 o 97869 o 97861 o 97805 o 97781 o 97776 o 97711 o 97655 o 97451 o 97325 o 97311 o 97247 o 97185 o 97121 o 97097 o 96971 o 96925 o 96861 o 96711 s OPTIMUM FOUND c Optimal Solution = 96711 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 2.270 seconds. 2.275u 0.009s 0:02.29 99.1% 0+0k 0+0io 0pf+0w