Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-WMaxSatz-1.6-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_150_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 150 2219 133707 WARNING: Ubcsat not found. o 133707 o 118187 o 118160 o 117994 o 117967 o 117640 o 117613 o 117447 o 117420 o 117332 o 117305 o 117248 o 117221 o 117055 o 117028 o 116701 o 116674 o 116508 o 116481 o 116393 o 116366 o 116344 o 116322 o 115995 o 115968 o 115802 o 115775 o 115687 o 115660 o 115638 o 115517 o 115490 o 115402 o 115375 o 115353 o 115351 o 115263 o 115236 o 115214 o 115203 o 115176 o 115154 o 115041 o 115014 o 114926 o 114899 o 114877 o 114756 o 114729 o 114641 o 114614 o 114592 o 114583 o 114556 o 114534 o 114502 o 114475 o 114453 o 114444 o 114417 o 114395 o 114384 o 114357 o 114335 o 114250 o 114223 o 114135 o 114108 o 114086 o 114077 o 114050 o 114028 o 114021 o 114010 o 113983 o 113961 o 113958 o 113722 o 113695 o 113673 o 113666 o 113553 o 113531 o 113495 o 113473 o 113435 o 113413 o 113400 o 113373 o 113351 o 113349 o 113261 o 113234 o 113212 o 113201 o 113174 o 113152 o 113005 o 112890 o 112868 o 112830 o 112808 o 112683 o 112635 o 112440 o 112265 o 112262 o 112211 o 112036 c Learned clauses = 0 c NB_MONO= 32381231, NB_BRANCHE= 35185889, NB_BACK= 20495474 s OPTIMUM FOUND c Optimal Solution = 112036 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 -145 146 -147 -148 -149 150 0 586.462u 0.149s 9:47.59 99.8% 0+0k 0+0io 0pf+0w