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_120_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 122 1625 79715 WARNING: Ubcsat not found. o 79715 o 70600 o 70545 o 70394 o 70339 o 69921 o 69866 o 69715 o 69660 o 69513 o 69458 o 69417 o 69307 o 69252 o 69211 o 69193 o 69046 o 68991 o 68950 o 68840 o 68785 o 68744 o 68740 o 68725 o 68670 o 68630 o 68575 o 68534 o 68523 o 68468 o 68427 o 68407 o 68352 o 68311 o 68266 o 68211 o 68064 o 68009 o 67968 o 67949 o 67894 o 67854 o 67799 o 67758 o 67747 o 67692 o 67651 o 67631 o 67576 o 67535 o 67517 o 67469 o 67451 o 67386 o 67309 o 67271 o 67176 o 67069 o 66953 o 66924 o 66906 o 66841 o 66823 o 66726 o 66708 c Learned clauses = 0 c NB_MONO= 19568578, NB_BRANCHE= 19631948, NB_BACK= 11542958 s OPTIMUM FOUND c Optimal Solution = 66708 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 0 195.458u 0.008s 3:15.88 99.7% 0+0k 0+0io 0pf+0w