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-220-1_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-2.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1946 c lw 2410 c lw 4303 c lw 5830 c lw 7058 c lw 7957 c lw 9428 c lw 11198 c lw 11324 c lw 12498 c lw 13553 c lw 13642 c lw 15389 c lw 16772 c lw 18283 c lw 20131 c lw 20623 c lw 21794 c lw 22024 c lw 23255 c lw 23361 c lw 24087 c lw 24756 c lw 25266 c lw 25861 c lw 26769 c lw 27678 c lw 28353 c lw 28826 c lw 29840 c lw 30082 c lw 31538 c lw 32312 c lw 33246 c lw 33254 c lw 33388 c lw 33744 c lw 33826 c lw 34758 c lw 35422 c lw 35865 c lw 36227 c lw 36593 c lw 36743 c lw 37050 c lw 37278 c lw 38332 c lw 39345 c lw 39396 c lw 39723 c lw 40122 c lw 40414 c lw 40774 c lw 40993 c lw 41165 c lw 41864 c lw 42129 c lw 42615 c lw 43056 c lw 43570 c lw 44052 c lw 44667 c lw 44701 c lw 44874 c lw 45746 c lw 46669 c lw 46703 c lw 47326 c lw 48121 c lw 48454 c lw 48637 c lw 48691 c lw 48976 c lw 49029 c lw 49331 c lw 49496 c lw 49727 c lw 50015 c lw 50082 c lw 50100 c lw 50259 c lw 51073 c lw 51314 c lw 51416 c lw 51901 c lw 52346 c lw 52619 c lw 52922 c lw 53267 c lw 53913 c lw 54029 c lw 54039 c lw 54436 c lw 54703 c lw 54729 c lw 54758 c lw 55197 c lw 55871 c lw 56152 c lw 56347 c lw 56738 c lw 57137 c lw 57210 c lw 57497 c lw 57716 c lw 57888 c lw 57920 c lw 58361 c lw 58407 c lw 58852 c lw 58855 c lw 59330 c lw 59665 c lw 59699 c lw 59880 c lw 60343 c lw 60443 c lw 60742 c lw 60761 c lw 61094 c lw 61128 c lw 61241 c lw 61645 c lw 62016 c lw 62287 c lw 62419 c lw 62679 c lw 62684 c lw 62977 c lw 63259 c lw 63709 c lw 63786 c lw 64611 c lw 64807 c lw 65348 c lw 66013 c lw 66048 c lw 66162 c lw 66648 c lw 66652 c lw 66781 c lw 66866 c lw 66919 c lw 67039 c lw 67221 c lw 67386 c lw 67617 c lw 67644 c lw 67905 c lw 67972 c lw 67990 c lw 67998 c lw 68149 c lw 68186 c lw 68499 c lw 68806 c lw 69137 c lw 69154 c lw 69175 c lw 69224 c lw 69410 c lw 69734 c lw 69750 c lw 70252 c lw 70526 c lw 70658 c lw 71282 c lw 71290 c lw 72025 c lw 72304 c lw 73031 c lw 73622 c lw 74159 c lw 74504 c lw 74793 c lw 75014 c lw 75270 c lw 75533 c lw 75649 c lw 75769 c lw 75798 c lw 75824 c lw 75853 c lw 76048 c lw 76176 c lw 77344 c lw 77415 c lw 77695 c lw 77716 c lw 77862 c lw 78045 c lw 78055 c lw 78442 c lw 78965 c lw 79286 c lw 79539 c lw 79671 c lw 80037 c lw 80607 c lw 80950 c lw 81230 c lw 81317 c lw 81432 c lw 81509 c lw 81581 c lw 81659 c lw 81995 c lw 82147 c lw 82322 c lw 82613 c lw 82980 c lw 83161 c lw 84120 c lw 84274 c lw 84478 c lw 84923 c lw 85388 c lw 85935 c lw 86148 c lw 86225 c lw 86241 c lw 86519 c lw 86530 c lw 86942 c lw 86947 c lw 86971 c lw 87090 c lw 87106 c lw 88012 c lw 88065 c lw 88078 c lw 88210 c lw 88299 c lw 88530 c lw 88532 c lw 88584 c lw 88696 c lw 88797 c lw 88955 c lw 89311 c lw 89435 c lw 89535 c lw 90077 c lw 90312 c lw 90540 c lw 90907 c lw 90915 c lw 91271 c lw 91298 c lw 91362 c lw 91609 c lw 91720 c lw 92154 c lw 92408 c lw 92973 c lw 93006 c lw 93035 c lw 93363 c lw 93508 c lw 93626 c lw 93632 c lw 93672 c lw 93908 c lw 94677 c lw 95126 c lw 95279 c lw 95531 c lw 95617 c lw 95727 c lw 96380 c lw 96795 c lw 96915 c lw 97188 c lw 97212 c lw 97581 c lw 98395 c lw 98427 c lw 98879 c lw 98922 c lw 99497 c lw 99552 c lw 99597 c lw 99613 c lw 99729 c lw 99993 c lw 100018 c lw 100408 c lw 100965 c lw 100988 c lw 100990 c lw 101001 c lw 101016 c lw 101081 c lw 101117 c lw 101329 c lw 101486 c lw 101589 c lw 102566 c lw 102602 c lw 102662 c lw 103187 c lw 103237 c lw 103326 c lw 103351 c lw 103359 c lw 103386 c lw 103387 c lw 103441 c lw 103523 c lw 103583 c lw 103714 c lw 103808 c lw 103848 c lw 103868 c lw 104052 c lw 104094 c lw 104766 c lw 105181 c lw 105250 c lw 105479 c lw 105882 c lw 106141 c lw 106150 c lw 106503 c lw 106528 c lw 106955 c lw 107468 c lw 107778 c lw 107873 c lw 107885 c lw 108131 c lw 108546 c lw 108624 c lw 109219 c lw 109239 c lw 109429 c lw 109531 c lw 110040 c lw 110095 c lw 110154 c lw 110202 c lw 110214 c lw 110304 c lw 110439 c lw 110613 c lw 111683 c lw 112044 c lw 112169 c lw 113233 c lw 113638 c lw 113996 c lw 114058 c lw 115007 c lw 115377 c lw 115477 c lw 115564 c lw 116672 c lw 116835 c lw 116997 c lw 117728 c lw 117732 c lw 118069 c lw 118366 c lw 118382 c lw 118452 c lw 118471 c lw 118584 c lw 118604 c lw 118754 c lw 118822 c lw 118867 c lw 118886 c lw 118898 c lw 118946 c lw 119001 c lw 119005 c lw 119077 c lw 119248 c lw 119291 c lw 119626 c lw 119815 c lw 120031 c lw 120159 c lw 120211 c lw 120326 c lw 121088 c lw 121352 c lw 121570 c lw 121578 c lw 121595 c lw 121597 c lw 121640 c lw 121659 c lw 121663 c lw 121692 c lw 121722 c lw 121736 c lw 121762 c lw 121774 c lw 122238 c lw 122755 c lw 122916 c lw 122974 c lw 124534 c lw 124555 c lw 125807 c lw 126392 c lw 126446 c lw 126468 c lw 126895 c lw 127009 c lw 127054 c lw 127067 c lw 127129 c lw 128073 c lw 128199 c lw 128238 c lw 128761 c lw 128771 c lw 129737 c lw 129823 c lw 129950 c lw 130307 c lw 130314 c lw 130383 c lw 130916 c lw 131011 c lw 131119 c lw 131124 c lw 131265 c lw 131815 c lw 132000 c lw 132183 c lw 132828 c lw 132857 c lw 132878 c lw 133056 c lw 133229 c lw 133238 c lw 133502 c lw 133906 c lw 133967 c lw 134436 c lw 134581 c lw 134671 c lw 135258 c lw 135520 c lw 135739 c lw 135853 c lw 136509 c lw 136678 c lw 136802 c lw 137008 c lw 137212 c lw 137216 c lw 137465 c lw 137785 c lw 137885 c lw 137888 c lw 137938 c lw 137956 c lw 137962 c lw 138053 c lw 138413 c lw 138504 c lw 138700 c lw 138762 c lw 139095 c lw 139147 c lw 139674 c lw 139953 c lw 140139 c lw 140754 c lw 141296 c lw 141450 c lw 141505 c lw 141536 c lw 141559 c lw 141623 c lw 141907 c lw 141972 c lw 141989 c lw 142237 c lw 142255 c lw 142336 c lw 142353 c lw 142369 c lw 142414 c lw 143039 c lw 143126 c lw 143976 c lw 144001 c lw 144106 c lw 144871 c lw 144977 c lw 145064 c lw 145186 c lw 145493 c lw 145503 c lw 145508 c lw 145656 c lw 145738 c lw 145858 c lw 145899 c lw 145981 c lw 145988 c lw 146063 c lw 146291 c lw 146318 c lw 146338 c lw 146354 c lw 146390 c lw 146755 c lw 146930 c lw 146942 c lw 147023 c lw 147639 c lw 147696 c lw 147704 c lw 147720 c lw 148407 c lw 148798 c lw 149037 c lw 149072 c lw 149102 c lw 149947 c lw 149986 c lw 150299 c lw 150385 c lw 150569 c lw 150599 c lw 150602 c lw 150621 c lw 150650 c lw 150919 c lw 150941 c lw 150959 c lw 151038 c lw 151086 c lw 151173 c lw 151263 c lw 151275 c lw 151323 c lw 151424 c lw 152337 c lw 152785 c lw 153331 c lw 153474 c lw 153605 c lw 153784 c lw 154061 c lw 154108 c lw 154231 c lw 155291 c lw 155579 c lw 155707 c lw 155882 c lw 156749 c lw 157289 c lw 157353 c lw 157667 c lw 157777 c lw 158278 c lw 158393 c lw 158405 c lw 158465 c lw 158604 c lw 158711 c lw 158910 c lw 158945 c lw 159026 c lw 159429 c lw 159430 c lw 159537 c lw 159751 c lw 160167 c lw 160204 c lw 161056 c lw 161113 c lw 161128 c lw 161174 c lw 161656 c lw 161685 c lw 161845 c lw 162471 c lw 162865 c lw 162869 c lw 162941 c lw 163015 c lw 163097 c lw 163144 c lw 163247 c lw 163482 c lw 163703 c lw 163716 c lw 163780 c lw 163859 c lw 163888 c lw 163938 c lw 164009 c lw 164041 c lw 164088 c lw 164175 c lw 164190 c lw 164468 c lw 164538 c lw 164551 c lw 165099 c lw 165246 c lw 165425 c lw 165616 c lw 165630 c lw 165635 c lw 165637 c lw 165717 c lw 165723 c lw 165760 c lw 165767 c lw 165781 c lw 165787 c lw 165984 c lw 165991 c lw 165998 c lw 165999 c lw 166005 c lw 166015 c lw 166028 c lw 166029 c lw 166034 c lw 166035 c lw 166117 c lw 166199 c lw 166208 c lw 166662 c lw 167385 c lw 167558 c lw 167781 c lw 167783 c lw 167848 c lw 167882 c lw 167938 c lw 167997 c lw 168023 c lw 168025 c lw 168027 c lw 168122 c lw 168333 c lw 168442 c lw 169056 c lw 169070 c lw 169098 c lw 169166 c lw 170068 c lw 170515 c lw 171008 c lw 171432 c lw 171530 c lw 171569 c lw 171585 c lw 171608 c lw 171617 c lw 172413 c lw 172778 c lw 172920 c lw 173048 c lw 173202 c lw 173231 c lw 173574 c lw 173610 c lw 174975 c lw 175574 c lw 175656 c lw 176083 c lw 176120 c lw 176557 c lw 176984 c lw 177470 c lw 177764 c lw 178022 c lw 178320 c lw 178456 c lw 178458 c lw 178708 c lw 179041 c lw 179044 c lw 179116 c lw 179118 c lw 179123 c lw 179126 c lw 179147 c lw 179151 c lw 179207 c lw 179209 c lw 179228 c lw 179248 c lw 179251 c lw 179269 c lw 179340 c lw 179643 c lw 181083 c lw 181115 c lw 181243 c lw 181402 c lw 181463 c lw 181904 c lw 181907 c lw 182073 c lw 182208 c lw 182432 c lw 182533 c lw 182545 c lw 182658 c lw 182676 c lw 182732 c lw 183066 c lw 183171 c lw 183172 c lw 183412 c lw 183569 c lw 184069 c lw 184863 c lw 184877 c lw 184994 c lw 185042 c lw 185060 c lw 185067 c lw 185076 c lw 185158 c lw 185203 c lw 185205 c lw 185259 c lw 185261 c lw 185262 c lw 185275 c lw 185382 c lw 185489 c lw 186518 c lw 186742 c lw 186776 c lw 186842 c lw 187192 c lw 187201 c lw 187417 c lw 187725 c lw 187975 c lw 188167 c lw 188552 c lw 188595 c lw 188596 c lw 188599 c lw 188602 c lw 188603 c lw 188604 c lw 188607 c lw 188793 c lw 189386 c lw 189688 c lw 189876 c lw 190729 c lw 190742 c lw 190752 c lw 190753 c lw 190840 c lw 190857 c lw 190864 c lw 191596 c lw 191602 c lw 192993 c lw 193776 c lw 194586 c lw 194744 c lw 194815 c lw 194875 c lw 195097 c lw 195320 c lw 195565 c lw 196221 c lw 196373 c lw 196461 c lw 196529 c lw 196560 c lw 196715 c lw 196998 c lw 197256 c lw 197299 c lw 197411 c lw 197496 c lw 197566 c lw 198119 c lw 198227 c lw 198327 c lw 198344 c lw 199030 c lw 199501 c lw 199524 c lw 199637 c lw 199652 c lw 199665 c lw 199679 c lw 199695 c lw 199744 c lw 199848 c lw 199852 c lw 199854 c lw 199856 c lw 199866 c lw 199882 c lw 199941 c lw 199942 c lw 199998 c lw 200005 c lw 200016 c lw 200073 c lw 200087 c lw 200102 c lw 200115 c lw 200117 c lw 200119 c lw 200123 c lw 200130 c lw 200928 c lw 200932 c lw 201398 c lw 201655 c lw 201669 c lw 201676 c lw 201683 c lw 201691 c lw 201696 c lw 201712 c lw 201715 c lw 201722 c lw 201724 c lw 201727 c lw 201735 c lw 201743 c lw 201776 c lw 201857 c lw 203044 c lw 203125 c lw 203180 c lw 203641 c lw 203667 c lw 203747 c lw 203765 c lw 203767 c lw 203879 c lw 203903 c lw 204674 c lw 204683 c lw 205010 c lw 206216 c lw 206328 c lw 206368 c lw 206370 c lw 206389 c lw 206400 c lw 206463 c lw 206573 c lw 207170 c lw 207226 c lw 207253 c lw 207285 c lw 207377 c lw 207379 c lw 207489 c lw 207492 c lw 208480 c lw 208602 c lw 208984 c lw 209035 c lw 209666 c lw 210286 c lw 210536 c lw 210834 c lw 210892 c lw 210928 c lw 210957 c lw 211042 c lw 211098 c lw 211152 c lw 211179 c lw 211181 c lw 211182 c lw 211183 c lw 211184 c lw 211185 c lw 211186 c lw 211187 c lw 211188 c lw 211189 c lw 211190 c lw 211191 c lw 211192 c lw 211194 c lw 211197 c lw 211198 c lw 211202 c lw 211205 c lw 211206 c lw 211207 c lw 211209 c lw 211210 c lw 211212 c lw 211213 c lw 211216 c lw 211224 c lw 211225 c lw 211226 c lw 211232 c lw 211233 c lw 211234 c lw 211235 c lw 211236 c lw 211237 c lw 211238 c lw 211239 c lw 211240 c lw 211241 c lw 211242 c lw 211243 c lw 211244 c lw 211245 c lw 211248 c lw 211249 c lw 211250 c lw 211251 c lw 211252 c lw 211253