Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-WMaxSatz-2.5-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_90_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 92 758 60406 WARNING: Ubcsat not found. o 60406 o 51678 o 51652 o 51343 o 51317 o 51082 o 51056 o 50747 o 50721 o 50703 o 50677 o 50650 o 50624 o 50389 o 50363 o 50054 o 50028 o 50010 o 49984 o 49976 o 49950 o 49932 o 49906 o 49777 o 49751 o 49516 o 49490 o 49181 o 49155 o 49137 o 49111 o 49103 o 49077 o 49059 o 49033 o 49005 o 48979 o 48961 o 48935 o 48927 o 48901 o 48883 o 48857 o 48845 o 48819 o 48811 o 48785 o 48767 o 48741 o 48710 o 48689 o 48683 o 48665 o 48639 o 48611 o 48585 o 48561 o 48533 o 48507 o 48484 o 48458 o 48406 o 48380 o 48349 o 48328 o 48323 o 48297 o 48289 o 48263 o 48245 o 48219 o 48188 o 48167 o 48095 o 48069 o 48017 o 47991 o 47973 o 47947 o 47895 o 47869 o 47838 o 47817 o 47803 o 47780 o 47759 o 47728 o 47702 o 47681 o 47668 o 47616 o 47590 o 47559 o 47538 o 47524 o 47501 o 47480 o 47449 o 47423 o 47402 o 47401 o 47390 o 47364 o 47343 o 47312 o 47286 o 47265 o 47221 o 47189 o 47163 o 47111 o 47085 o 47083 o 47062 o 46986 o 46960 o 46908 o 46882 c Learned clauses = 0 c NB_MONO= 780422, NB_BRANCHE= 638769, NB_BACK= 364992 s OPTIMUM FOUND c Optimal Solution = 46882 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 0 6.068u 0.006s 0:06.09 99.5% 0+0k 0+0io 0pf+0w