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_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0007.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 91 778 72561 WARNING: Ubcsat not found. o 72561 o 63087 o 62950 o 62939 o 62882 o 62871 o 62772 o 62635 o 62624 o 62567 o 62556 o 62554 o 62543 o 62486 o 62475 o 62400 o 62263 o 62252 o 62195 o 62184 o 62182 o 62171 o 62114 o 62103 o 62089 o 62078 o 62021 o 62010 o 61911 o 61774 o 61763 o 61706 o 61695 o 61693 o 61682 o 61625 o 61614 o 61539 o 61402 o 61391 o 61334 o 61323 o 61321 o 61310 o 61253 o 61242 o 61222 o 61141 o 60991 o 60850 o 60769 o 60728 o 60717 o 60660 o 60649 o 60647 o 60636 o 60579 o 60568 o 60548 o 60467 o 60317 o 60176 o 60095 o 60073 o 59923 o 59782 o 59701 o 59613 o 59472 o 59391 o 59339 o 59338 o 59322 o 59272 o 59257 o 59191 o 59142 o 59091 o 58994 o 58993 o 58939 o 58921 o 58908 o 58842 o 58739 c Learned clauses = 0 c NB_MONO= 866841, NB_BRANCHE= 707932, NB_BACK= 410503 s OPTIMUM FOUND c Optimal Solution = 58739 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 0 6.369u 0.008s 0:06.38 99.6% 0+0k 0+0io 0pf+0w