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_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 93 790 85645 WARNING: Ubcsat not found. o 85645 o 70984 o 70934 o 70890 o 70840 o 70562 o 70512 o 70468 o 70418 o 70404 o 70073 o 70023 o 69979 o 69929 o 69651 o 69601 o 69557 o 69507 o 69493 o 69269 o 69175 o 69161 o 69135 o 69041 o 69027 o 68960 o 68866 o 68852 o 68826 o 68732 o 68718 o 68695 o 68601 o 68587 o 68561 o 68467 o 68453 o 68386 o 68292 o 68278 o 68252 o 68158 o 68144 o 68136 o 68113 o 68019 o 68005 o 67979 o 67885 o 67871 o 67804 o 67710 o 67696 o 67670 o 67576 o 67562 c Learned clauses = 0 c NB_MONO= 1252784, NB_BRANCHE= 1246700, NB_BACK= 728787 s OPTIMUM FOUND c Optimal Solution = 67562 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 0 10.320u 0.008s 0:10.35 99.7% 0+0k 0+0io 0pf+0w