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_KnotPipatsrisawat_random-net-20-2_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-10.net.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 47 269 444616 WARNING: Ubcsat not found. o 444616 o 49108 o 48287 o 46717 o 45320 o 43488 o 41948 o 41630 o 41487 o 40090 o 39987 o 38590 o 38464 o 37735 o 37592 o 36195 o 35660 o 34337 o 33802 o 32837 o 32302 o 32189 o 31654 o 31638 o 31475 o 30689 o 30154 o 29859 o 29702 o 29324 o 29228 o 28693 o 28308 o 27370 o 26835 o 26808 o 25870 o 25335 o 25238 o 25228 o 25216 o 25192 o 24657 o 24560 o 24512 o 24053 o 23115 o 23105 o 23093 o 22437 o 22264 o 22167 o 21547 o 20722 o 20712 o 20700 o 20044 o 19749 o 19193 o 19171 o 19077 o 18789 o 18601 o 18579 o 18576 o 18556 o 18546 o 18534 o 17898 o 17878 o 17359 c Learned clauses = 0 c NB_MONO= 2919, NB_BRANCHE= 15746, NB_BACK= 7989 s OPTIMUM FOUND c Optimal Solution = 17359 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 0 0.660u 0.006s 0:00.67 98.5% 0+0k 0+0io 0pf+0w