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-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-6.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 622 c lw 1324 c lw 2756 c lw 3885 c lw 5282 c lw 5399 c lw 6308 c lw 6816 c lw 8477 c lw 9938 c lw 11122 c lw 12330 c lw 12845 c lw 13163 c lw 13929 c lw 14317 c lw 15081 c lw 16192 c lw 17497 c lw 18553 c lw 20051 c lw 21757 c lw 22653 c lw 24136 c lw 25253 c lw 26232 c lw 27123 c lw 27253 c lw 27300 c lw 27303 c lw 27743 c lw 27818 c lw 27846 c lw 27947 c lw 28341 c lw 28511 c lw 28548 c lw 28920 c lw 29654 c lw 30163 c lw 30605 c lw 30933 c lw 31622 c lw 32037 c lw 32223 c lw 33240 c lw 33461 c lw 34151 c lw 34374 c lw 34406 c lw 34662 c lw 34772 c lw 34972 c lw 35333 c lw 35464 c lw 35514 c lw 35907 c lw 36133 c lw 37039 c lw 37169 c lw 37572 c lw 37725 c lw 38597 c lw 38644 c lw 38870 c lw 39595 c lw 39933 c lw 40684 c lw 40858 c lw 41063 c lw 41144 c lw 41245 c lw 41290 c lw 41735 c lw 42704 c lw 42863 c lw 42910 c lw 43191 c lw 43775 c lw 43834 c lw 44528 c lw 45002 c lw 45124 c lw 45936 c lw 46139 c lw 46847 c lw 46881 c lw 46990 c lw 47163 c lw 47563 c lw 47653 c lw 47664 c lw 47829 c lw 47894 c lw 48237 c lw 48586 c lw 48787 c lw 48931 c lw 49101 c lw 49510 c lw 50481 c lw 50835 c lw 50980 c lw 51056 c lw 51279 c lw 51535 c lw 51596 c lw 52178 c lw 52532 c lw 52566 c lw 52711 c lw 52860 c lw 53757 c lw 53834 c lw 53991 c lw 54068 c lw 54199 c lw 54294 c lw 55129 c lw 55232 c lw 55235 c lw 55584 c lw 55628 c lw 55854 c lw 56633 c lw 57395 c lw 57491 c lw 58310 c lw 58518 c lw 59310 c lw 59461 c lw 59577 c lw 60004 c lw 60834 c lw 61239 c lw 61415 c lw 61466 c lw 61544 c lw 61591 c lw 61817 c lw 62135 c lw 62314 c lw 62549 c lw 63543 c lw 63587 c lw 63671 c lw 63960 c lw 64540 c lw 65192 c lw 65509 c lw 65532 c lw 65745 c lw 65803 c lw 65978 c lw 66647 c lw 66686 c lw 66720 c lw 67129 c lw 67814 c lw 67936 c lw 68326 c lw 68668 c lw 68850 c lw 68904 c lw 69759 c lw 70049 c lw 70524 c lw 70563 c lw 70652 c lw 70871 c lw 71456 c lw 71513 c lw 71522 c lw 72473 c lw 72595 c lw 73252 c lw 73948 c lw 74608 c lw 75194 c lw 75402 c lw 75566 c lw 76171 c lw 76284 c lw 76340 c lw 76416 c lw 76495 c lw 76530 c lw 76551 c lw 77025 c lw 77046 c lw 77143 c lw 77242 c lw 77376 c lw 77423 c lw 77703 c lw 78027 c lw 78242 c lw 78961 c lw 79631 c lw 79892 c lw 80961 c lw 81231 c lw 81366 c lw 81453 c lw 81563 c lw 81671 c lw 82537 c lw 82958 c lw 83163 c lw 83388 c lw 83488 c lw 83800 c lw 83965 c lw 84182 c lw 84390 c lw 84447 c lw 85071 c lw 85512 c lw 85799 c lw 86317 c lw 86399 c lw 86453 c lw 86564 c lw 86567 c lw 86773 c lw 86798 c lw 87325 c lw 87747 c lw 88208 c lw 88333 c lw 89202 c lw 89306 c lw 89646 c lw 89885 c lw 89922 c lw 89981 c lw 90379 c lw 90479 c lw 90610 c lw 90792 c lw 90946 c lw 91213 c lw 91470 c lw 91546 c lw 91606 c lw 91679 c lw 91809 c lw 91859 c lw 92221 c lw 92643 c lw 92690 c lw 92726 c lw 93068 c lw 93135 c lw 93309 c lw 93319 c lw 93476 c lw 93505 c lw 93763 c lw 93800 c lw 93882 c lw 93986 c lw 94005 c lw 94197 c lw 94500 c lw 95164 c lw 95208 c lw 95325 c lw 96100 c lw 96417 c lw 96680 c lw 96685 c lw 97436 c lw 97751 c lw 98798 c lw 99085 c lw 99113 c lw 99363 c lw 99374 c lw 99794 c lw 99944 c lw 100270 c lw 100710 c lw 100783 c lw 101113 c lw 101136 c lw 101170 c lw 101175 c lw 101176 c lw 101186 c lw 101212 c lw 101230 c lw 101384 c lw 102110 c lw 102153 c lw 102358 c lw 102359 c lw 102422 c lw 102441 c lw 102475 c lw 102670 c lw 102671 c lw 102672 c lw 102710 c lw 102717 c lw 102727 c lw 102767 c lw 102786 c lw 102795 c lw 102846 c lw 102875 c lw 102893 c lw 103216 c lw 103459 c lw 103460 c lw 103469 c lw 103484 c lw 103499 c lw 103508 c lw 103516 c lw 103517 c lw 103523 c lw 103533 c lw 103535 c lw 103537 c lw 103568 c lw 104068 c lw 105405 c lw 105593 c lw 105599 c lw 106206 c lw 106207 c lw 106388 c lw 106715 c lw 106762 c lw 106807 c lw 106811 c lw 107038 c lw 107118 c lw 107578 c lw 107604 c lw 107688 c lw 107744 c lw 107857 c lw 108440 c lw 108543 c lw 108844 c lw 109190 c lw 109437 c lw 109992 c lw 110127 c lw 110278 c lw 110554 c lw 110846 c lw 111588 c lw 112608 c lw 112786 c lw 112889 c lw 112964 c lw 113099 c lw 113320 c lw 113326 c lw 113602 c lw 114658 c lw 114761 c lw 115101 c lw 115275 c lw 115282 c lw 115297 c lw 115317 c lw 115548 c lw 115591 c lw 116033 c lw 116042 c lw 116299 c lw 116869 c lw 117127 c lw 117173 c lw 118556 c lw 118600 c lw 118603 c lw 119237 c lw 119318 c lw 119356 c lw 120292 c lw 120624 c lw 120782 c lw 120851 c lw 120852 c lw 121244 c lw 121294 c lw 121576 c lw 122407 c lw 122476 c lw 122631 c lw 123092 c lw 123229 c lw 123329 c lw 123396 c lw 123448 c lw 123535 c lw 124012 c lw 124695 c lw 124979 c lw 125149 c lw 125490 c lw 125660 c lw 125675 c lw 126271 c lw 126390 c lw 126460 c lw 126562 c lw 126578 c lw 126596 c lw 126622 c lw 126623 c lw 126628 c lw 126646 c lw 126652 c lw 126662 c lw 126685 c lw 126695 c lw 126722 c lw 126730 c lw 126797 c lw 126938 c lw 126972 c lw 126991 c lw 127001 c lw 127054 c lw 127055 c lw 127056 c lw 127060 c lw 127078 c lw 127081 c lw 127084 c lw 127094 c lw 127099 c lw 127459 c lw 127760 c lw 128177 c lw 129065 c lw 129121 c lw 129630 c lw 130774 c lw 130951 c lw 131261 c lw 132029 c lw 132633 c lw 132677 c lw 132781 c lw 132795 c lw 132825 c lw 133740 c lw 133946 c lw 133983 c lw 134383 c lw 134384 c lw 134421 c lw 134633 c lw 134741 c lw 135108 c lw 135483 c lw 136011 c lw 136158 c lw 136196 c lw 136200 c lw 136277 c lw 136448 c lw 136491 c lw 136492 c lw 136535 c lw 136653 c lw 136933 c lw 136972 c lw 136984 c lw 136995 c lw 136998 c lw 137019 c lw 137020 c lw 137024 c lw 137034 c lw 137045 c lw 137056 c lw 137110 c lw 137138 c lw 137154 c lw 137175 c lw 137186 c lw 137209 c lw 137216 c lw 137775 c lw 138203 c lw 138212 c lw 138556 c lw 138827 c lw 139005 c lw 139087 c lw 139153 c lw 139235 c lw 139353 c lw 139354 c lw 139355 c lw 139357 c lw 139360 c lw 139365 c lw 139371 c lw 139372 c lw 139380 c lw 139381 c lw 139391 c lw 139393 c lw 139402 c lw 139403 c lw 139404 c lw 139412 c lw 139415 c lw 139427 c lw 139428 c lw 139442 c lw 139443 c lw 139451 c lw 139456 c lw 139458 c lw 139460 c lw 139461 c lw 139462 c lw 139467 c lw 139468 c lw 139469 c lw 139471 c lw 139472 c lw 139609 c lw 139746 c lw 139762 c lw 139923 c lw 140122 c lw 140732 c lw 140733 c lw 140740 c lw 140853 c lw 140854 c lw 140862 c lw 140863 c lw 140865 c lw 140870 c lw 140919 c lw 140928 c lw 140980 c lw 141057 c lw 141062 c lw 141068 c lw 141072 c lw 141073 c lw 141094 c lw 141194 c lw 141256 c lw 141445 c lw 141941 c lw 142004 c lw 142068 c lw 142106 c lw 142113 c lw 142255 c lw 142257 c lw 142323 c lw 142681 c lw 142709 c lw 142721 c lw 142726 c lw 142737 c lw 142739 c lw 142755 c lw 142762 c lw 142824 c lw 142924 c lw 142943 c lw 142963 c lw 143001 c lw 143002 c lw 143016 c lw 143021 c lw 143025 c lw 143035 c lw 143054 c lw 143055 c lw 143056 c lw 143064 c lw 143065 c lw 143066 c lw 143067 c lw 143081 c lw 143091 c lw 143096 c lw 143097 c lw 143104 c lw 143109 c lw 143114 c lw 143119 c lw 143124 c lw 143134 c lw 143137 c lw 143140 c lw 143141 c lw 143142 c lw 143145 c lw 143148 c lw 143150 c lw 143151 c lw 143154 c lw 143158 c lw 143162 c lw 143163 c lw 143164 c lw 143168 c lw 143169 c lw 143170 c lw 143173 c lw 143178 c lw 143182 c lw 143185 c lw 143186 c lw 143190 c lw 143191 c lw 143192 c lw 143194 c lw 143195 c lw 143201 c lw 143203 c lw 143292 c lw 143782 c lw 144087 c lw 144274 c lw 144773 c lw 144862 c lw 144996 c lw 145969 c lw 146196 c lw 147348 c lw 147571 c lw 147598 c lw 147904 c lw 147915 c lw 147919 c lw 148012 c lw 148788 c lw 149241 c lw 149365 c lw 149705 c lw 150161 c lw 150426 c lw 150519 c lw 151355 c lw 151620 c lw 151644 c lw 151689 c lw 151722 c lw 152006 c lw 152278 c lw 152292 c lw 152550 c lw 153194 c lw 153416 c lw 153457 c lw 153736 c lw 153796 c lw 153834 c lw 153958 c lw 153960 c lw 153991 c lw 154034 c lw 154036 c lw 154063 c lw 154102 c lw 154140 c lw 154141 c lw 154284 c lw 154397 c lw 154413 c lw 154563 c lw 154890 c lw 155004 c lw 155060 c lw 155124 c lw 155134 c lw 155338 c lw 155909 c lw 156521 c lw 156679 c lw 156728 c lw 157065 c lw 157070 c lw 157075 c lw 157076 c lw 157080 c lw 157081 c lw 157087 c lw 157092 c lw 157098 c lw 157113 c lw 157118 c lw 157122 c lw 157124 c lw 157128 c lw 157404 c lw 158466 c lw 158514 c lw 159176 c lw 160014 c lw 160223 c lw 160577 c lw 160691 c lw 161441 c lw 161562 c lw 161623 c lw 161740 c lw 162078 c lw 162111 c lw 162218 c lw 162477 c lw 162640 c lw 162731 c lw 163015 c lw 164232 c lw 164279 c lw 164505 c lw 164948 c lw 165070 c lw 165824 c lw 166280 c lw 166567 c lw 166599 c lw 166603 c lw 167028 c lw 167142 c lw 167180 c lw 167492 c lw 167493 c lw 167495 c lw 167503 c lw 167504 c lw 167506 c lw 167508 c lw 167514 c lw 167536 c lw 167549 c lw 167561 c lw 167564 c lw 167572 c lw 167575 c lw 167984 c lw 167998 c lw 168021 c lw 168032 c lw 168042 c lw 168051 c lw 168053 c lw 168075 c lw 168096 c lw 168101 c lw 168127 c lw 168130 c lw 168132 c lw 168133 c lw 168135 c lw 168136 c lw 168137 c lw 168138 c lw 168140 c lw 168144 c lw 168145 c lw 168146 c lw 168156 c lw 168158 c lw 168159 c lw 168160 c lw 168161 c lw 168162 c lw 168163 c lw 168165 c lw 168167 c lw 168168 c lw 168169 c lw 168170 c lw 168171 c lw 168173 c lw 168176 c lw 168177 c lw 168178 c lw 168179 c lw 168180 c lw 168181 c lw 168182 c lw 168183 c lw 168184 c lw 168185 c lw 168186 c lw 168187 c lw 168188 c lw 168190 c lw 168191 c lw 168192 c lw 168197 c lw 168202 c lw 168203 c lw 168204 c lw 168205 c lw 168206 c lw 168207 c lw 168208 c lw 168209 c lw 168210 c lw 168211 c lw 168212 c lw 168213 c lw 168214 c lw 168215 c lw 168216 c lw 168217 c lw 168218 c lw 168219 c lw 168220 c lw 168221 c lw 168222 c lw 168223 c lw 168224 c lw 168225 c lw 168233 c lw 168234 c lw 168245 c lw 168259 c lw 168262 c lw 168281 c lw 168317 c lw 168341 c lw 168407 c lw 169268 c lw 170118 c lw 170124 c lw 170183 c lw 170201 c lw 170214 c lw 170830 c lw 171028 c lw 171354 c lw 171847 c lw 172199 c lw 172201 c lw 172211 c lw 172212 c lw 172217 c lw 173159 c lw 173711 c lw 174066 c lw 175107 c lw 176146 c lw 176836 c lw 177195 c lw 178231 c lw 179119 c lw 179455 c lw 179468 c lw 179474 c lw 179592 c lw 179593 c lw 179594 c lw 179595 c lw 179601 c lw 179603 c lw 179614 c lw 179620 c lw 179626 c lw 179637 c lw 179638 c lw 179642 c lw 179699 c lw 179701 c lw 179704 c lw 179705 c lw 179709 c lw 179712 c lw 179713 c lw 179722 c lw 179723 c lw 179728 c lw 179735 c lw 179737 c lw 179881 c lw 180357 c lw 180561 c lw 180562 c lw 180563 c lw 180564 c lw 180569 c lw 180572 c lw 180575 c lw 180576 c lw 180580 c lw 180581 c lw 180586 c lw 180589 c lw 180591 c lw 180592 c lw 180594 c lw 180597 c lw 180602 c lw 180603 c lw 180604 c lw 180605 c lw 180606 c lw 180608 c lw 180609 c lw 180610 c lw 180611 c lw 180615 c lw 180616 c lw 180618 c lw 180619 c lw 180620 c lw 180621 c lw 180626 c lw 180630 c lw 180634 c lw 180639 c lw 180643 c lw 180648 c lw 180653 c lw 180655 c lw 180656 c lw 180657 c lw 180658 c lw 180659 c lw 180660 c lw 180661 c lw 180662 c lw 180663 c lw 180664 c lw 180665 c lw 180666 c lw 180667 c lw 180668 c lw 180672 c lw 180673 c lw 180674 c lw 180675 c lw 180676 c lw 180677 c lw 180678 c lw 180679 c lw 180680 c lw 180681 c lw 180682 c lw 180683 c lw 180684 c lw 180686 c lw 180687 c lw 180688 c lw 180689 c lw 180690 c lw 180691 c lw 180692 c lw 180696 c lw 180697 c lw 180698 c lw 180699 c lw 180701 c lw 180702 c lw 180703 c lw 180707 c lw 180708 c lw 180709 c lw 180710 c lw 180711 c lw 180713 c lw 180714 c lw 180715 c lw 180716 c lw 180717 c lw 180718 c lw 180719 c lw 180720 c lw 180721 c lw 180722 c lw 180723 c lw 180724 c lw 180725 c lw 180726 c lw 180727 c lw 180728 c lw 180729 c lw 180730 c lw 180731 c lw 180732 c lw 180733 c lw 180734 c lw 180735 c lw 180736 c lw 180737 c lw 180738 c lw 180871 c lw 181602 c lw 181640 c lw 181941 c lw 181942 c lw 183222 c lw 183255 c lw 183275 c lw 183276 c lw 183277 c lw 183278 c lw 183355 c lw 183458 c lw 183539 c lw 183623 c lw 184096 c lw 184146 c lw 184189 c lw 184786 c lw 184904 c lw 185120 c lw 185184 c lw 185394 c lw 185478 c lw 185553 c lw 185563 c lw 185756 c lw 185800 c lw 185803 c lw 186438 c lw 187274 c lw 187387 c lw 187739 c lw 188192 c lw 188315 c lw 188824 c lw 189147 c lw 189294 c lw 189365 c lw 189407 c lw 189416 c lw 189666 c lw 190124 c lw 190184 c lw 190221 c lw 190230 c lw 190307 c lw 190311 c lw 190317 c lw 190333 c lw 190390 c lw 190392 c lw 191359 c lw 191697 c lw 191724 c lw 192590 c lw 192770 c lw 192849 c lw 192979 c lw 193735 c lw 193865 c lw 193868 c lw 193883 c lw 193917 c lw 193969 c lw 193970 c lw 193971 c lw 193979 c lw 194004 c lw 194022 c lw 194028 c lw 194102 c lw 194171 c lw 194357 c lw 195033 c lw 195258 c lw 196104 c lw 196334 c lw 196975 c lw 197420 c lw 197489 c lw 197511 c lw 197526 c lw 197549 c lw 197551 c lw 197560 c lw 197565 c lw 197566 c lw 197572 c lw 197576 c lw 197581 c lw 197603 c lw 197631 c lw 197632 c lw 197633 c lw 197634 c lw 197635 c lw 197636 c lw 197637 c lw 197638 c lw 197639 c lw 197640 c lw 197641 c lw 197642 Killed 1810.077u 9.685s 30:20.17 99.9% 0+0k 0+0io 0pf+0w