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-180-1_network-6.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-6.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 752 c lw 2128 c lw 3186 c lw 4539 c lw 5648 c lw 7413 c lw 8735 c lw 8884 c lw 9476 c lw 10462 c lw 11281 c lw 13072 c lw 13512 c lw 13517 c lw 15075 c lw 16048 c lw 18814 c lw 20284 c lw 20671 c lw 20984 c lw 22317 c lw 22970 c lw 23033 c lw 23490 c lw 23607 c lw 23807 c lw 25738 c lw 25879 c lw 26765 c lw 27327 c lw 27537 c lw 27678 c lw 27783 c lw 28064 c lw 28130 c lw 28343 c lw 29205 c lw 29279 c lw 29345 c lw 29501 c lw 29736 c lw 30130 c lw 30280 c lw 30298 c lw 30808 c lw 31821 c lw 32094 c lw 32343 c lw 32581 c lw 32589 c lw 32598 c lw 32813 c lw 33074 c lw 33089 c lw 33241 c lw 33826 c lw 34077 c lw 34611 c lw 35168 c lw 36051 c lw 36352 c lw 36356 c lw 36671 c lw 36733 c lw 37242 c lw 37562 c lw 37748 c lw 37837 c lw 38210 c lw 38967 c lw 39035 c lw 39065 c lw 39088 c lw 39164 c lw 39170 c lw 39244 c lw 39787 c lw 39930 c lw 40025 c lw 40513 c lw 40866 c lw 41101 c lw 41495 c lw 41645 c lw 41663 c lw 42173 c lw 42342 c lw 42526 c lw 42699 c lw 42948 c lw 42956 c lw 42965 c lw 43727 c lw 43795 c lw 43827 c lw 44088 c lw 44091 c lw 44418 c lw 44679 c lw 44719 c lw 44795 c lw 44958 c lw 45114 c lw 45573 c lw 45648 c lw 46005 c lw 46557 c lw 46760 c lw 46877 c lw 46977 c lw 47433 c lw 47480 c lw 48626 c lw 48968 c lw 50116 c lw 50200 c lw 50567 c lw 50577 c lw 50725 c lw 50941 c lw 51003 c lw 51255 c lw 51318 c lw 51406 c lw 51477 c lw 52363 c lw 52386 c lw 52597 c lw 52985 c lw 53236 c lw 53709 c lw 53755 c lw 53821 c lw 53985 c lw 54024 c lw 54163 c lw 54277 c lw 54433 c lw 55185 c lw 55381 c lw 55395 c lw 56266 c lw 56378 c lw 57426 c lw 57500 c lw 57544 c lw 57556 c lw 57648 c lw 58155 c lw 58649 c lw 59254 c lw 59289 c lw 59425 c lw 59455 c lw 60211 c lw 60450 c lw 60539 c lw 60869 c lw 61334 c lw 61336 c lw 61773 c lw 61980 c lw 62046 c lw 62561 c lw 62815 c lw 62921 c lw 63598 c lw 64163 c lw 64169 c lw 64333 c lw 64585 c lw 64629 c lw 65160 c lw 65387 c lw 65402 c lw 65558 c lw 65615 c lw 65769 c lw 65823 c lw 65926 c lw 65992 c lw 66340 c lw 66692 c lw 66905 c lw 67139 c lw 67157 c lw 67410 c lw 67433 c lw 67477 c lw 68852 c lw 68917 c lw 68995 c lw 69392 c lw 69949 c lw 70279 c lw 70327 c lw 70329 c lw 70332 c lw 70823 c lw 71610 c lw 71889 c lw 72355 c lw 73262 c lw 73263 c lw 73320 c lw 73343 c lw 73349 c lw 73425 c lw 73501 c lw 73504 c lw 73509 c lw 73516 c lw 73539 c lw 73545 c lw 75028 c lw 75040 c lw 75066 c lw 75525 c lw 75679 c lw 75806 c lw 76002 c lw 76160 c lw 76626 c lw 76777 c lw 76779 c lw 76832 c lw 76842 c lw 77138 c lw 77198 c lw 77390 c lw 77529 c lw 78582 c lw 78796 c lw 78803 c lw 78948 c lw 79256 c lw 79294 c lw 79932 c lw 80475 c lw 81043 c lw 81483 c lw 81671 c lw 81851 c lw 81898 c lw 82030 c lw 82042 c lw 82103 c lw 82328 c lw 83178 c lw 83204 c lw 83478 c lw 83758 c lw 84309 c lw 84562 c lw 84625 c lw 84806 c lw 84898 c lw 85028 c lw 85258 c lw 85800 c lw 86063 c lw 86125 c lw 87031 c lw 87069 c lw 87303 c lw 87683 c lw 87827 c lw 88575 c lw 89395 c lw 89455 c lw 90031 c lw 90032 c lw 90136 c lw 90139 c lw 90336 c lw 90596 c lw 91091 c lw 91116 c lw 91272 c lw 91637 c lw 91900 c lw 91906 c lw 92502 c lw 93356 c lw 93379 c lw 93385 c lw 93386 c lw 93390 c lw 93392 c lw 93407 c lw 93581 c lw 94400 c lw 94561 c lw 94747 c lw 94864 c lw 95056 c lw 95231 c lw 95272 c lw 95444 c lw 96280 c lw 96882 c lw 96922 c lw 96957 c lw 97035 c lw 97077 c lw 97394 c lw 97511 c lw 97916 c lw 98097 c lw 98426 c lw 98855 c lw 98980 c lw 99275 c lw 99364 c lw 99400 c lw 99750 c lw 99898 c lw 99946 c lw 99950 c lw 100506 c lw 100559 c lw 100588 c lw 100689 c lw 100691 c lw 101063 c lw 101211 c lw 101564 c lw 102115 c lw 102130 c lw 103259 c lw 103707 c lw 103857 c lw 104463 c lw 104467 c lw 104468 c lw 104474 c lw 104478 c lw 104485 c lw 104509 c lw 104512 c lw 104654 c lw 104848 c lw 105140 c lw 105156 c lw 105166 c lw 105457 c lw 105523 c lw 105671 c lw 105673 c lw 105685 c lw 105708 c lw 105752 c lw 105841 c lw 105987 c lw 105999 c lw 106361 c lw 106628 c lw 106939 c lw 107548 c lw 107689 c lw 107721 c lw 107822 c lw 107871 c lw 108550 c lw 108563 c lw 109120 c lw 109825 c lw 109897 c lw 110130 c lw 110193 c lw 110226 c lw 110437 c lw 110623 c lw 110643 c lw 110910 c lw 111454 c lw 111877 c lw 112168 c lw 112836 c lw 113342 c lw 113826 c lw 114851 c lw 114872 c lw 115047 c lw 115151 c lw 115366 c lw 115390 c lw 115475 c lw 115524 c lw 115739 c lw 115781 c lw 115869 c lw 116486 c lw 117079 c lw 117095 c lw 117887 c lw 118386 c lw 118598 c lw 118662 c lw 118704 c lw 118796 c lw 118857 c lw 118900 c lw 118978 c lw 119025 c lw 119118 c lw 119974 c lw 120117 c lw 120323 c lw 120663 c lw 121611 c lw 121714 c lw 122717 c lw 122731 c lw 122883 c lw 122906 c lw 122964 c lw 123297 c lw 123635 c lw 124269 c lw 124358 c lw 125139 c lw 126447 c lw 126530 c lw 126543 c lw 126677 c lw 126901 c lw 126966 c lw 127048 c lw 127097 c lw 127286 c lw 127314 c lw 127464 c lw 127494 c lw 128089 c lw 128484 c lw 128671 c lw 129607 c lw 129768 c lw 130511 c lw 130538 c lw 130570 c lw 130597 c lw 130603 c lw 130611 c lw 131023 c lw 131036 c lw 131080 c lw 131282 c lw 131655 c lw 131813 c lw 132043 c lw 133298 c lw 133382 c lw 133476 c lw 133664 c lw 133728 c lw 134497 c lw 134501 c lw 134864 c lw 135033 c lw 135047 c lw 135065 c lw 135072 c lw 135079 c lw 135080 c lw 135112 c lw 135572 c lw 135894 c lw 136307 c lw 136518 c lw 136596 c lw 136657 c lw 137413 c lw 137426 c lw 137474 c lw 137478 c lw 137543 c lw 137551 c lw 137560 c lw 137619 c lw 137656 c lw 137658 c lw 137704 c lw 138635 c lw 138645 c lw 138833 c lw 138846 c lw 138881 c lw 138882 c lw 138890 c lw 139118 c lw 139179 c lw 139254 c lw 139264 c lw 139280 c lw 139330 c lw 139332 c lw 139339 c lw 139351 c lw 139364 c lw 139613 c lw 139642 c lw 139652 c lw 139668 c lw 139712 c lw 139726 c lw 139760 c lw 139802 c lw 139974 c lw 140235 c lw 140242 c lw 140243 c lw 140261 c lw 140262 c lw 140269 c lw 140276 c lw 140304 c lw 140322 c lw 140334 c lw 140341 c lw 140344 c lw 140350 c lw 140351 c lw 140353 c lw 140367 c lw 140373 c lw 140410 c lw 140419 c lw 140427 c lw 140437 c lw 140455 c lw 140464 c lw 140465 c lw 140466 c lw 140468 c lw 140518 c lw 140733 c lw 141082 c lw 141231 c lw 141291 c lw 141356 c lw 141684 c lw 141699 c lw 142296 c lw 142310 c lw 142312 c lw 142762 c lw 143053 c lw 143191 c lw 144055 c lw 144596 c lw 144651 c lw 144738 c lw 145826 c lw 145921 c lw 146018 c lw 146028 c lw 146049 c lw 146462 c lw 146623 c lw 146624 c lw 146625 c lw 146705 c lw 146764 c lw 146792 c lw 146807 c lw 146810 c lw 146813 c lw 146817 c lw 147130 c lw 147131 c lw 147132 c lw 147137 c lw 147141 c lw 147146 c lw 147148 c lw 147151 c lw 147152 c lw 147156 c lw 147160 c lw 147162 c lw 147163 c lw 147164 c lw 147167 c lw 147168 c lw 147697 c lw 147700 c lw 147701 c lw 147702 c lw 147703 c lw 147704 c lw 147758 c lw 147759 c lw 147768 c lw 147853 c lw 147995 c lw 149076 c lw 149083 c lw 149097 c lw 149101 c lw 149106 c lw 149113 c lw 149142 c lw 149203 c lw 149208 c lw 149209 c lw 149216 c lw 149306 c lw 149308 c lw 149314 c lw 149316 c lw 149562 c lw 150718 c lw 150752 c lw 150908 c lw 151127 c lw 151293 c lw 151384 c lw 151712 c lw 151986 c lw 152370 c lw 153141 c lw 153355 c lw 153368 c lw 153381 c lw 153471 c lw 154214 c lw 154383 c lw 154384 c lw 154385 c lw 154386 c lw 154387 c lw 154389 c lw 154391 c lw 154392 c lw 154397 c lw 154399 c lw 154407 c lw 154408 c lw 154409 c lw 154413 c lw 154420 c lw 154422 c lw 154437 c lw 154480 c lw 154532 c lw 154544 c lw 155252 c lw 155398 c lw 155421 c lw 156249 c lw 156437 c lw 156485 c lw 156616 c lw 156682 c lw 156703 c lw 157200 c lw 157793 c lw 158211 c lw 158729 c lw 159060 c lw 159837 c lw 160014 c lw 160497 c lw 160550 c lw 160563 c lw 160702 c lw 160704 c lw 160755 c lw 160782 c lw 161701 c lw 161785 c lw 162886 c lw 163292 c lw 163427 c lw 164788 c lw 165136 c lw 165141 c lw 165242 c lw 165267 c lw 165367 c lw 165623 c lw 166446 c lw 166715 c lw 166774 c lw 166848 c lw 167214 c lw 167219 c lw 167316 c lw 167338 c lw 167520 c lw 167525 c lw 168158 c lw 168954 c lw 169148 c lw 169162 c lw 169194 c lw 169214 c lw 169489 c lw 169512 c lw 169644 c lw 169726 c lw 169740 c lw 169745 c lw 169777 c lw 169791 c lw 169795 c lw 169893 c lw 169898 c lw 169907 c lw 169918 c lw 169930 c lw 170026 c lw 170405 c lw 170410 c lw 170415 c lw 170424 c lw 170490 c lw 170492 c lw 170495 c lw 170499 c lw 170506 c lw 170562 c lw 170567 c lw 170571 c lw 170575 c lw 170583 c lw 170585 c lw 170587 c lw 170588 c lw 170589 c lw 170590 c lw 170591 c lw 170592 c lw 170595 c lw 170597 c lw 170599 c lw 170600 c lw 170601 c lw 170602 c lw 170603 c lw 170604 c lw 170605 c lw 170606 c lw 170877 c lw 170882 c lw 170883 c lw 170884 c lw 170889 c lw 170891 c lw 170892 c lw 170896 c lw 171047 c lw 171545 c lw 171712 c lw 171926 c lw 172817 c lw 172891 c lw 173399 c lw 173840 c lw 173966 c lw 174222 c lw 174288 c lw 174326 c lw 174495 c lw 175427 c lw 175988 c lw 176224 c lw 176333 c lw 176394 c lw 176477 c lw 176713 c lw 176714 c lw 176715 c lw 176716 c lw 176718 c lw 176719 c lw 176720 c lw 176721 c lw 176722 c lw 176723 c lw 176724 c lw 176727 c lw 176729 c lw 176731 c lw 176732 c lw 176733 c lw 176734 c lw 176735 c lw 176736 c lw 176737 c lw 176738 c lw 176739 c lw 176740 c lw 176741 c lw 176742 c lw 176743 c lw 176744 c lw 176745 c lw 176746