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-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-5.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 542 c lw 1651 c lw 3087 c lw 4163 c lw 5508 c lw 5642 c lw 6369 c lw 6871 c lw 7334 c lw 8117 c lw 8203 c lw 8954 c lw 8980 c lw 9298 c lw 9375 c lw 9552 c lw 9739 c lw 9746 c lw 9982 c lw 10368 c lw 10378 c lw 11501 c lw 12101 c lw 12188 c lw 12505 c lw 12568 c lw 12815 c lw 13010 c lw 13225 c lw 13340 c lw 13345 c lw 13355 c lw 13691 c lw 13736 c lw 13741 c lw 13746 c lw 13941 c lw 14016 c lw 14041 c lw 14054 c lw 14395 c lw 14408 c lw 14419 c lw 14482 c lw 14499 c lw 14515 c lw 14575 c lw 14580 c lw 14585 c lw 14590 c lw 14592 c lw 14959 c lw 15462 c lw 15490 c lw 15722 c lw 15790 c lw 15850 c lw 16143 c lw 16268 c lw 16382 c lw 16570 c lw 16832 c lw 16955 c lw 17019 c lw 17046 c lw 17075 c lw 18713 c lw 18730 c lw 18964 c lw 18988 c lw 18989 c lw 18991 c lw 18993 c lw 18998 c lw 19000 c lw 19005 c lw 19006 c lw 19016 c lw 19021 c lw 19023 c lw 19026 c lw 19028 c lw 19030 c lw 19032 c lw 19033 c lw 19038 c lw 19041 c lw 19133 c lw 19220 c lw 19221 c lw 19228 c lw 19316 c lw 19326 c lw 19336 c lw 19346 c lw 19371 c lw 19477 c lw 19512 c lw 19627 c lw 19646 c lw 19652 c lw 19678 c lw 19688 c lw 19703 c lw 19704 c lw 19707 c lw 19710 c lw 19719 c lw 19720 c lw 19730 c lw 19735 c lw 19743 c lw 19765 c lw 19778 c lw 19782 c lw 19787 c lw 19789 c lw 19792 c lw 19794 c lw 19796 c lw 19798 c lw 19799 c lw 19806 c lw 19819 c lw 19826 c lw 19827 c lw 19828 c lw 19838 c lw 19840 c lw 19843 c lw 19846 c lw 19851 c lw 19856 c lw 19858 c lw 19859 c lw 19863 c lw 19864 c lw 19872 c lw 19882 c lw 19886 c lw 19899 c lw 19965 c lw 19966 c lw 19968 c lw 19973 c lw 19975 c lw 19978 c lw 19981 c lw 19984 c lw 19985 c lw 19986 c lw 19987 c lw 19989 c lw 19991 c lw 19993 c lw 19994 c lw 19996 c lw 19998 c lw 20003 c lw 20005 c lw 20006 c lw 20008 c lw 20010 c lw 20011 c lw 20012 c lw 20013 c lw 20016 c lw 20018 c lw 20019 c lw 20022 c lw 20023 c lw 20024 c lw 20028 c lw 20029 c lw 20030 c lw 20031 c lw 20032 c lw 20035 c lw 20037 c lw 20038 c lw 20040 c lw 20042 c lw 20044 c lw 20049 c lw 20050 c lw 20052 c lw 20054 c lw 20059 c lw 20060 c lw 20061 c lw 20062 c lw 20063 c lw 20064 c lw 20065 c lw 20066 c lw 20067 c lw 20068 c lw 20069 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 o 20069 s OPTIMUM FOUND c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-5.net.wcnf 20069 92.820u 0.310s 1:33.37 99.7% 0+0k 0+0io 0pf+0w