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_KnotPipatsrisawat_random-net-20-2_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-8.net.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 57 401 765832 WARNING: Ubcsat not found. o 765832 o 57492 o 55745 o 54765 o 54746 o 54423 o 52977 o 52676 o 51230 o 50250 o 49335 o 48197 o 47217 o 46839 o 46056 o 45076 o 44161 o 43023 o 42043 o 41665 o 40773 o 40395 o 40373 o 39235 o 38255 o 37877 o 36985 o 36607 o 36509 o 35563 o 34583 o 34205 o 33313 o 32935 o 32837 o 32473 o 32375 o 32086 o 31910 o 31194 o 30816 o 30640 o 30542 o 30184 o 29588 o 29210 o 29034 o 28936 o 28857 o 28479 o 28381 o 28341 o 28243 o 27786 o 27688 o 27514 o 27416 o 26959 o 26861 o 26516 o 26340 o 26249 o 26073 o 25785 o 25518 o 25380 o 25092 o 24825 o 24820 o 24729 o 24553 o 24265 o 23998 o 23903 o 23525 o 23349 o 23172 o 22794 o 22656 o 22643 o 22619 o 22101 o 22005 o 21829 o 21816 o 21792 o 21274 o 21227 o 21145 o 20534 o 20452 o 20418 o 19707 o 19625 o 19351 o 19069 o 18987 o 18873 o 18705 c Learned clauses = 0 c NB_MONO= 2935, NB_BRANCHE= 12171, NB_BACK= 6109 s OPTIMUM FOUND c Optimal Solution = 18705 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 0 1.066u 0.008s 0:01.07 99.0% 0+0k 0+0io 0pf+0w