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_110_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0004.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 110 916 70924 WARNING: Ubcsat not found. o 70924 o 59948 o 59937 o 59836 o 59825 o 59724 o 59713 o 59612 o 59601 o 59580 o 59569 o 59468 o 59457 o 59356 o 59345 o 59244 o 59233 o 59200 o 59189 o 59163 o 59152 o 59051 o 59040 o 58939 o 58928 o 58895 o 58884 o 58875 o 58864 o 58831 o 58820 o 58795 o 58784 o 58765 o 58754 o 58729 o 58718 o 58716 o 58705 o 58697 o 58692 o 58683 o 58672 o 58639 o 58628 o 58603 o 58592 o 58573 o 58562 o 58537 o 58526 o 58524 o 58513 o 58505 o 58496 o 58483 o 58475 o 58470 o 58450 o 58406 o 58370 o 58340 o 58304 o 58291 o 58283 o 58277 o 58268 o 58257 o 58224 o 58213 o 58188 o 58177 o 58175 o 58164 o 58156 o 58140 o 58129 o 58096 o 58085 o 58076 o 58065 o 58032 o 58021 o 57996 o 57985 o 57983 o 57972 o 57964 o 57955 o 57942 o 57934 o 57907 o 57863 o 57843 o 57799 o 57763 o 57750 o 57742 o 57674 o 57630 o 57594 o 57581 o 57573 o 57568 o 57555 o 57514 o 57478 o 57465 o 57457 o 57452 o 57439 o 57430 o 57393 o 57357 o 57349 o 57331 o 57322 o 57290 o 57246 o 57202 o 57189 o 57184 o 57171 o 57130 o 57086 o 57073 o 57068 o 57055 o 57009 o 56973 o 56965 o 56947 o 56938 o 56931 o 56896 o 56883 o 56874 o 56849 o 56836 o 56827 o 56823 c Learned clauses = 0 c NB_MONO= 14920969, NB_BRANCHE= 13114108, NB_BACK= 7242520 s OPTIMUM FOUND c Optimal Solution = 56823 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 0 115.181u 0.005s 1:55.39 99.8% 0+0k 0+0io 0pf+0w