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-200-1_network-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-7.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 725 c lw 1340 c lw 3071 c lw 4556 c lw 5805 c lw 6476 c lw 7616 c lw 8704 c lw 9910 c lw 11467 c lw 11644 c lw 12088 c lw 12353 c lw 12566 c lw 13720 c lw 15696 c lw 17338 c lw 18491 c lw 19281 c lw 20749 c lw 21822 c lw 23959 c lw 24949 c lw 25691 c lw 25871 c lw 26013 c lw 27138 c lw 28129 c lw 30028 c lw 31138 c lw 31273 c lw 32400 c lw 32751 c lw 32951 c lw 33579 c lw 34443 c lw 34503 c lw 34658 c lw 34767 c lw 35318 c lw 35756 c lw 36845 c lw 37012 c lw 37078 c lw 37140 c lw 37680 c lw 37789 c lw 37836 c lw 38641 c lw 39324 c lw 39381 c lw 39456 c lw 39884 c lw 40146 c lw 40296 c lw 40770 c lw 41825 c lw 42314 c lw 42735 c lw 43234 c lw 43303 c lw 43653 c lw 43786 c lw 44010 c lw 44038 c lw 44108 c lw 44185 c lw 44324 c lw 44602 c lw 44971 c lw 44985 c lw 45590 c lw 45746 c lw 46484 c lw 46971 c lw 47025 c lw 47160 c lw 47294 c lw 47298 c lw 47300 c lw 47431 c lw 48176 c lw 48278 c lw 48757 c lw 49012 c lw 49534 c lw 49978 c lw 50015 c lw 50673 c lw 50704 c lw 50867 c lw 51151 c lw 51592 c lw 51684 c lw 52172 c lw 52223 c lw 52390 c lw 53527 c lw 53537 c lw 53660 c lw 53811 c lw 54549 c lw 55298 c lw 55402 c lw 55745 c lw 55977 c lw 56271 c lw 57383 c lw 57810 c lw 58611 c lw 58687 c lw 58779 c lw 58824 c lw 59614 c lw 59680 c lw 59816 c lw 59880 c lw 59882 c lw 59950 c lw 60832 c lw 61024 c lw 61258 c lw 61322 c lw 61397 c lw 61825 c lw 62087 c lw 62237 c lw 62373 c lw 62475 c lw 62557 c lw 62874 c lw 62978 c lw 63034 c lw 63038 c lw 63103 c lw 63142 c lw 63173 c lw 63499 c lw 63529 c lw 63612 c lw 64088 c lw 64336 c lw 64404 c lw 64437 c lw 64538 c lw 65029 c lw 65562 c lw 65674 c lw 65796 c lw 65818 c lw 65887 c lw 66197 c lw 66307 c lw 66403 c lw 67615 c lw 67627 c lw 67886 c lw 68004 c lw 68363 c lw 68520 c lw 68651 c lw 69094 c lw 69326 c lw 69620 c lw 69983 c lw 71206 c lw 71252 c lw 71354 c lw 71440 c lw 71504 c lw 71949 c lw 72128 c lw 72150 c lw 72161 c lw 72162 c lw 72552 c lw 72616 c lw 72762 c lw 72837 c lw 73542 c lw 74010 c lw 74692 c lw 74781 c lw 75381 c lw 76010 c lw 76146 c lw 76248 c lw 76287 c lw 76413 c lw 76808 c lw 77130 c lw 77930 c lw 78055 c lw 78247 c lw 78945 c lw 79619 c lw 79911 c lw 80504 c lw 80522 c lw 80602 c lw 80861 c lw 81080 c lw 81113 c lw 81132 c lw 81156 c lw 81173 c lw 81516 c lw 81923 c lw 81948 c lw 82605 c lw 82639 c lw 82652 c lw 82732 c lw 83236 c lw 83467 c lw 83949 c lw 84311 c lw 84450 c lw 84728 c lw 84809 c lw 84904 c lw 85532 c lw 85848 c lw 86119 c lw 86250 c lw 86305 c lw 86314 c lw 86602 c lw 86646 c lw 86669 c lw 86772 c lw 87006 c lw 87061 c lw 87456 c lw 87623 c lw 87671 c lw 87796 c lw 88119 c lw 88391 c lw 88717 c lw 88822 c lw 89022 c lw 89084 c lw 89109 c lw 89193 c lw 89293 c lw 89837 c lw 90137 c lw 90738 c lw 91059 c lw 91150 c lw 91382 c lw 91526 c lw 91586 c lw 91688 c lw 92133 c lw 92140 c lw 92187 c lw 92380 c lw 92857 c lw 93183 c lw 93231 c lw 94221 c lw 94662 c lw 94676 c lw 95256 c lw 95569 c lw 95754 c lw 96349 c lw 96472 c lw 96872 c lw 96917 c lw 97050 c lw 97270 c lw 97889 c lw 98047 c lw 98761 c lw 98815 c lw 98956 c lw 98963 c lw 99159 c lw 99634 c lw 99697 c lw 100617 c lw 100803 c lw 100835 c lw 100869 c lw 100988 c lw 101754 c lw 101791 c lw 101797 c lw 101826 c lw 101933 c lw 102160 c lw 102715 c lw 102721 c lw 104053 c lw 104147 c lw 104174 c lw 104543 c lw 104571 c lw 104812 c lw 105439 c lw 105605 c lw 105678 c lw 105743 c lw 105864 c lw 106312 c lw 106531 c lw 106640 c lw 106699 c lw 106862 c lw 107095 c lw 107103 c lw 107141 c lw 107332 c lw 107345 c lw 107882 c lw 108209 c lw 108219 c lw 108313 c lw 108410 c lw 108418 c lw 108652 c lw 108707 c lw 109495 c lw 109619 c lw 109751 c lw 110005 c lw 110105 c lw 110419 c lw 110477 c lw 110636 c lw 110643 c lw 110720 c lw 110964 c lw 111589 c lw 111806 c lw 112572 c lw 112741 c lw 112895 c lw 113091 c lw 113484 c lw 113706 c lw 114000 c lw 114014 c lw 114041 c lw 114530 c lw 114575 c lw 114615 c lw 114636 c lw 115181 c lw 115200 c lw 115204 c lw 115261 c lw 115290 c lw 115327 c lw 116112 c lw 117087 c lw 117642 c lw 117659 c lw 117692 c lw 118250 c lw 118391 c lw 118468 c lw 118485 c lw 118698 c lw 118748 c lw 118876 c lw 118932 c lw 118981 c lw 119638 c lw 119803 c lw 120024 c lw 120037 c lw 121327 c lw 121496 c lw 122318 c lw 122322 c lw 122399 c lw 122417 c lw 122792 c lw 122812 c lw 122831 c lw 122957 c lw 122970 c lw 123011 c lw 123072 c lw 123169 c lw 123173 c lw 123182 c lw 123186 c lw 123250 c lw 123580 c lw 123688 c lw 123700 c lw 123823 c lw 124240 c lw 124283 c lw 124658 c lw 124961 c lw 125527 c lw 125983 c lw 126246 c lw 126287 c lw 126844 c lw 126895 c lw 127404 c lw 127754 c lw 127860 c lw 128127 c lw 128128 c lw 128240 c lw 128241 c lw 128260 c lw 128293 c lw 128588 c lw 128647 c lw 128991 c lw 129443 c lw 129983 c lw 129991 c lw 130016 c lw 130032 c lw 130071 c lw 131218 c lw 131263 c lw 131265 c lw 131565 c lw 131686 c lw 131693 c lw 131723 c lw 131743 c lw 131755 c lw 132340 c lw 132384 c lw 132398 c lw 132529 c lw 132538 c lw 132580 c lw 132688 c lw 132982 c lw 133477 c lw 133988 c lw 134447 c lw 134464 c lw 134495 c lw 135582 c lw 135864 c lw 135961 c lw 136004 c lw 136088 c lw 136177 c lw 136502 c lw 136697 c lw 136741 c lw 136902 c lw 137767 c lw 137844 c lw 138207 c lw 138256 c lw 138401 c lw 138687 c lw 138785 c lw 139454 c lw 140669 c lw 140709 c lw 140936 c lw 141056 c lw 141126 c lw 141161 c lw 141560 c lw 141568 c lw 141929 c lw 141978 c lw 142544 c lw 143040 c lw 143255 c lw 143420 c lw 143536 c lw 143574 c lw 144506 c lw 144678 c lw 145180 c lw 145243 c lw 145444 c lw 145701 c lw 145862 c lw 145957 c lw 145960 c lw 146075 c lw 146151 c lw 146259 c lw 146571 c lw 146696 c lw 146776 c lw 146804 c lw 146919 c lw 147438 c lw 147522 c lw 147557 c lw 147749 c lw 147908 c lw 148225 c lw 148253 c lw 148257 c lw 148831 c lw 149055 c lw 149217 c lw 149279 c lw 149318 c lw 149329 c lw 149638 c lw 149660 c lw 149663 c lw 149669 c lw 149686 c lw 149707 c lw 149725 c lw 149737 c lw 149750 c lw 149772 c lw 149853 c lw 149863 c lw 149869 c lw 149944 c lw 149954 c lw 149955 c lw 150515 c lw 150528 c lw 150532 c lw 150533 c lw 150536 c lw 150557 c lw 150566 c lw 150567 c lw 150576 c lw 150577 c lw 150674 c lw 150687 c lw 150694 c lw 150707 c lw 150737 c lw 150939 c lw 151021 c lw 151292 c lw 151822 c lw 151978 c lw 152002 c lw 152007 c lw 152083 c lw 152088 c lw 152090 c lw 152099 c lw 152913 c lw 153188 c lw 153209 c lw 154061 c lw 154086 c lw 154186 c lw 154196 c lw 154213 c lw 154250 c lw 154334 c lw 154349 c lw 154372 c lw 154377 c lw 154816 c lw 155183 c lw 155790 c lw 156147 c lw 156258 c lw 156684 c lw 157258 c lw 157259 c lw 157264 c lw 157267 c lw 157268 c lw 157289 c lw 157333 c lw 157349 c lw 157350 c lw 157355 c lw 157368 c lw 157380 c lw 157382 c lw 157427 c lw 157453 c lw 157470 c lw 157472 c lw 157477 c lw 157482 c lw 157491 c lw 157515 c lw 157559 c lw 157709 c lw 157721 c lw 157727 c lw 157732 c lw 157734 c lw 157735 c lw 157739 c lw 157740 c lw 157743 c lw 157745 c lw 157746 c lw 157751 c lw 157765 c lw 157810 c lw 157827 c lw 157850 c lw 157901 c lw 157906 c lw 157909 c lw 157913 c lw 157915 c lw 157918 c lw 157926 c lw 158008 c lw 158200 c lw 158222 c lw 158228 c lw 158231 c lw 158232 c lw 158236 c lw 158237 c lw 158239 c lw 158241 c lw 158242 c lw 158243 c lw 158248 c lw 158249 c lw 158259 c lw 158260 c lw 158271 c lw 158280 c lw 158281 c lw 158286 c lw 158292 c lw 158296 c lw 158297 c lw 158301 c lw 158302 c lw 158312 c lw 158313 c lw 158318 c lw 158323 c lw 158324 c lw 158327 c lw 158332 c lw 158333 c lw 158334 c lw 158335 c lw 158339 c lw 158340 c lw 158341 c lw 158342 c lw 158343 c lw 158344 c lw 158345 c lw 158346 c lw 158347 c lw 158348 c lw 158349 c lw 158350 c lw 158351 c lw 158352 c lw 159098 c lw 159179 c lw 159551 c lw 159888 c lw 160153 c lw 160843 c lw 160872 c lw 161392 c lw 161649 c lw 161685 c lw 161874 c lw 161928 c lw 162034 c lw 162162 c lw 162301 c lw 162363 c lw 162910 c lw 163849 c lw 164333 c lw 164363 c lw 164710 c lw 165198 c lw 165516 c lw 165556 c lw 165616 c lw 165653 c lw 165750 c lw 165876 c lw 165922 c lw 165945 c lw 165950 c lw 165959 c lw 165976 c lw 165987 c lw 166012 c lw 166016 c lw 166019 c lw 166021 c lw 166024 c lw 166044 c lw 166046 c lw 166050 c lw 166051 c lw 166053 c lw 166172 c lw 166173 c lw 166203 c lw 167398 c lw 167552 c lw 168505 c lw 168506 c lw 169032 c lw 169528 c lw 169889 c lw 170073 c lw 170473 c lw 170671 c lw 170687 c lw 170995 c lw 171721 c lw 171742 c lw 172303 c lw 172548 c lw 172875 c lw 173697 c lw 175164 c lw 175401 c lw 175513 c lw 175587 c lw 176057 c lw 176073 c lw 177541 c lw 177556 c lw 177744 c lw 177800 c lw 177801 c lw 177802 c lw 177803 c lw 177842 c lw 177887 c lw 178020 c lw 178087 c lw 178143 c lw 178583 c lw 178585 c lw 178660 c lw 178774 c lw 178781 c lw 178803 c lw 178832 c lw 178846 c lw 179355 c lw 179424 c lw 179426 c lw 179438 c lw 179446 c lw 179467 c lw 179513 c lw 179535 c lw 180631 c lw 180704 c lw 180750 c lw 181125 c lw 181131 c lw 181140 c lw 181170 c lw 181172 c lw 181174 c lw 181179 c lw 181182 c lw 181186 c lw 181188 c lw 181191 c lw 181208 c lw 181226 c lw 181235 c lw 181237 c lw 181239 c lw 181243 c lw 181244 c lw 181245 c lw 181246 c lw 181248 c lw 181250 c lw 181251 c lw 181252 c lw 181253 c lw 181258 c lw 181259 c lw 181262 c lw 181265 c lw 181269 c lw 181426 c lw 181480 c lw 181614 c lw 181649 c lw 181939 c lw 182030 c lw 182102 c lw 182704 c lw 182715 c lw 182720 c lw 182721 c lw 182722 c lw 182724 c lw 182725 c lw 182726 c lw 182728 c lw 182729 c lw 182730 c lw 182731 c lw 182732 c lw 182733 c lw 182734 c lw 182735 c lw 182736 c lw 182737 c lw 182738 c lw 182739 c lw 182740 c lw 182741 c lw 182742 c lw 182743 c lw 182744 c lw 182745 c lw 182746 c lw 182747 c lw 182748 c lw 182749 c lw 182750 c lw 182751 c lw 182752 c lw 182753 c lw 182754 c lw 182755 c lw 182756 c lw 182757 c lw 182758 c lw 182759 c lw 182760 c lw 182761 c lw 182762 c lw 182763 c lw 182764 c lw 182765