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_130_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0007.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 131 1754 91265 WARNING: Ubcsat not found. o 91265 o 80430 o 80425 o 80363 o 80358 o 80162 o 80157 o 80095 o 80090 o 80030 o 80025 o 79983 o 79978 o 79916 o 79911 o 79851 o 79846 o 79836 o 79831 o 79771 o 79766 o 79724 o 79719 o 79657 o 79652 o 79592 o 79587 o 79530 o 79525 o 79515 o 79510 o 79450 o 79445 o 79403 o 79398 o 79336 o 79331 o 79271 o 79266 o 79243 o 79238 o 79228 o 79223 o 79163 o 79158 o 79116 o 79111 o 79049 o 79044 o 78984 o 78979 o 78922 o 78917 o 78907 o 78902 o 78842 o 78837 o 78795 o 78790 o 78728 o 78723 o 78663 o 78658 o 78604 o 78599 o 78539 o 78534 o 78477 o 78472 o 78350 o 78345 o 78283 o 78278 o 78218 o 78213 o 78190 o 78185 o 78063 o 78058 o 77996 o 77991 o 77931 o 77926 o 77869 o 77864 o 77742 o 77737 o 77675 o 77670 o 77610 o 77605 o 77584 o 77579 o 77543 o 77538 o 77517 o 77512 o 77476 o 77471 o 77452 o 77447 o 77411 o 77406 o 77373 o 77366 o 77361 o 77299 o 77294 o 77234 o 77229 o 77172 o 77167 o 77045 o 77040 o 76978 o 76973 o 76913 o 76908 o 76887 o 76882 o 76846 o 76841 o 76820 o 76815 o 76779 o 76774 o 76755 o 76750 o 76714 o 76709 o 76676 o 76668 o 76642 o 76601 o 76577 o 76536 o 76529 o 76524 o 76462 o 76457 o 76397 o 76392 o 76362 o 76297 o 76170 o 76103 o 76038 o 76012 o 75971 o 75945 o 75904 o 75880 o 75839 o 75838 o 75812 o 75771 o 75611 o 75570 o 75544 o 75503 o 75495 o 75471 o 75430 o 75393 o 75363 o 75322 o 75314 o 75290 o 75249 o 75212 o 75185 o 75144 o 75136 o 75112 o 75071 o 75034 o 75032 o 74991 o 74983 o 74959 o 74918 o 74881 o 74851 o 74810 o 74802 o 74778 o 74737 o 74700 o 74673 o 74632 o 74624 o 74600 o 74559 o 74522 o 74509 o 74506 o 74481 o 74328 o 74315 o 74302 o 74261 o 74224 o 74222 o 74181 o 74153 o 74041 o 74000 o 73992 o 73968 o 73927 o 73890 o 73863 o 73822 o 73814 o 73790 o 73749 o 73712 o 73696 o 73671 o 73518 c Learned clauses = 0 c NB_MONO= 6820938, NB_BRANCHE= 6745476, NB_BACK= 4073053 s OPTIMUM FOUND c Optimal Solution = 73518 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 0 95.983u 0.014s 1:36.19 99.7% 0+0k 0+0io 0pf+0w