Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-20-2_network-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-4.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1134 c lw 1545 c lw 2846 c lw 3216 c lw 3380 c lw 3544 c lw 4094 c lw 4506 c lw 4767 c lw 5215 c lw 5252 c lw 5869 c lw 6170 c lw 6390 c lw 6731 c lw 6805 c lw 7045 c lw 7107 c lw 7120 c lw 7180 c lw 7928 c lw 8512 c lw 8556 c lw 8577 c lw 8658 c lw 8801 c lw 8833 c lw 8835 c lw 8848 c lw 9470 c lw 9536 c lw 9577 c lw 9686 c lw 9713 c lw 9734 c lw 9754 c lw 9956 c lw 10004 c lw 10037 c lw 10126 c lw 10140 c lw 10150 c lw 10181 c lw 10391 c lw 10696 c lw 10735 c lw 10763 c lw 11025 c lw 11315 c lw 11746 c lw 11792 c lw 11883 c lw 11974 c lw 12036 c lw 12363 c lw 12368 c lw 12474 c lw 13307 c lw 13319 c lw 13370 c lw 13590 c lw 13685 c lw 14361 c lw 14411 c lw 14450 c lw 14539 c lw 14629 c lw 14637 c lw 14704 c lw 14712 c lw 14727 c lw 15039 c lw 15366 c lw 15829 c lw 15843 c lw 15996 c lw 16004 c lw 16011 c lw 16019 c lw 16049 c lw 16068 c lw 16085 c lw 16086 c lw 16091 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 o 16091 s OPTIMUM FOUND c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-4.net.wcnf 16091 2.938u 0.010s 0:02.95 99.6% 0+0k 0+0io 0pf+0w