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-160-1_network-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-5.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1130 c lw 3317 c lw 4356 c lw 5117 c lw 6389 c lw 7298 c lw 8558 c lw 8848 c lw 9807 c lw 9883 c lw 10983 c lw 11527 c lw 12304 c lw 13059 c lw 14044 c lw 15074 c lw 15790 c lw 17564 c lw 19225 c lw 20011 c lw 21285 c lw 23012 c lw 23841 c lw 25298 c lw 25530 c lw 26163 c lw 26227 c lw 26451 c lw 26994 c lw 27047 c lw 27127 c lw 27470 c lw 28056 c lw 28258 c lw 28591 c lw 29304 c lw 29508 c lw 29696 c lw 30453 c lw 31516 c lw 32316 c lw 33072 c lw 33593 c lw 33819 c lw 34054 c lw 34248 c lw 34838 c lw 34883 c lw 35236 c lw 35723 c lw 36701 c lw 36807 c lw 36876 c lw 36961 c lw 37359 c lw 37636 c lw 37680 c lw 37728 c lw 37754 c lw 38268 c lw 38423 c lw 38427 c lw 38902 c lw 38966 c lw 39424 c lw 39589 c lw 39666 c lw 40221 c lw 40301 c lw 41019 c lw 41283 c lw 41780 c lw 41912 c lw 42033 c lw 42410 c lw 43049 c lw 43330 c lw 43575 c lw 43988 c lw 44052 c lw 44276 c lw 44780 c lw 45151 c lw 45399 c lw 46253 c lw 46358 c lw 46728 c lw 47657 c lw 48073 c lw 48115 c lw 48280 c lw 48344 c lw 48935 c lw 49249 c lw 49379 c lw 49488 c lw 49603 c lw 49630 c lw 50865 c lw 51027 c lw 51475 c lw 51596 c lw 51604 c lw 51853 c lw 52119 c lw 52213 c lw 52311 c lw 52469 c lw 53239 c lw 53269 c lw 53727 c lw 53755 c lw 53859 c lw 54342 c lw 54380 c lw 54606 c lw 54841 c lw 55048 c lw 55337 c lw 55544 c lw 55585 c lw 55599 c lw 55985 c lw 55995 c lw 56040 c lw 56393 c lw 56880 c lw 57354 c lw 57548 c lw 57610 c lw 57616 c lw 57728 c lw 57802 c lw 58218 c lw 58499 c lw 59367 c lw 59376 c lw 59611 c lw 60368 c lw 60514 c lw 60599 c lw 60997 c lw 61011 c lw 61037 c lw 61561 c lw 61937 c lw 61982 c lw 62059 c lw 62569 c lw 63053 c lw 63140 c lw 63348 c lw 63875 c lw 64164 c lw 64456 c lw 64530 c lw 64604 c lw 64684 c lw 64824 c lw 64878 c lw 65225 c lw 65422 c lw 65884 c lw 65988 c lw 66087 c lw 66131 c lw 66353 c lw 66511 c lw 66708 c lw 66752 c lw 66776 c lw 66780 c lw 66807 c lw 66969 c lw 67016 c lw 67084 c lw 67781 c lw 67828 c lw 67833 c lw 67855 c lw 67904 c lw 67906 c lw 68228 c lw 68381 c lw 68519 c lw 69152 c lw 69304 c lw 69629 c lw 69737 c lw 69999 c lw 70151 c lw 70251 c lw 70683 c lw 71163 c lw 71246 c lw 71601 c lw 72382 c lw 72857 c lw 73160 c lw 73373 c lw 73814 c lw 74130 c lw 74233 c lw 75223 c lw 75479 c lw 75703 c lw 75875 c lw 76234 c lw 76303 c lw 76390 c lw 76491 c lw 76713 c lw 76737 c lw 76888 c lw 76936 c lw 76969 c lw 77146 c lw 77234 c lw 77532 c lw 77539 c lw 78164 c lw 78928 c lw 79523 c lw 79982 c lw 80150 c lw 80350 c lw 80630 c lw 81023 c lw 81682 c lw 82264 c lw 82641 c lw 83806 c lw 83887 c lw 84093 c lw 84145 c lw 84378 c lw 84914 c lw 85679 c lw 85886 c lw 85981 c lw 86163 c lw 86281 c lw 86365 c lw 86476 c lw 86533 c lw 86559 c lw 86688 c lw 86757 c lw 86783 c lw 86840 c lw 87042 c lw 87424 c lw 87485 c lw 87603 c lw 87812 c lw 87850 c lw 88005 c lw 88075 c lw 88602 c lw 88679 c lw 88770 c lw 89308 c lw 89406 c lw 89445 c lw 89925 c lw 89953 c lw 91010 c lw 91105 c lw 91173 c lw 91257 c lw 91371 c lw 91466 c lw 91549 c lw 91680 c lw 91701 c lw 91811 c lw 92053 c lw 92397 c lw 92829 c lw 92970 c lw 92987 c lw 93716 c lw 94067 c lw 94753 c lw 95112 c lw 95342 c lw 95368 c lw 95390 c lw 95493 c lw 95792 c lw 96172 c lw 96210 c lw 96252 c lw 96291 c lw 96324 c lw 96409 c lw 96610 c lw 97702 c lw 97767 c lw 98269 c lw 98375 c lw 98440 c lw 98623 c lw 98831 c lw 98839 c lw 98904 c lw 98935 c lw 99544 c lw 99722 c lw 99842 c lw 100026 c lw 100439 c lw 100705 c lw 100923 c lw 100934 c lw 101024 c lw 101094 c lw 101549 c lw 101583 c lw 101807 c lw 101846 c lw 102162 c lw 102547 c lw 102650 c lw 103009 c lw 103214 c lw 103268 c lw 103492 c lw 103633 c lw 103656 c lw 103670 c lw 103817 c lw 103876 c lw 104002 c lw 104021 c lw 104098 c lw 104135 c lw 104571 c lw 105314 c lw 105368 c lw 105691 c lw 105801 c lw 106303 c lw 106448 c lw 106535 c lw 106538 c lw 106562 c lw 107180 c lw 107810 c lw 107983 c lw 108348 c lw 108627 c lw 109071 c lw 109208 c lw 109313 c lw 109532 c lw 110092 c lw 110421 c lw 110652 c lw 110690 c lw 111018 c lw 111557 c lw 111866 c lw 111918 c lw 112704 c lw 113212 c lw 113865 c lw 114207 c lw 114227 c lw 114761 c lw 114767 c lw 114823 c lw 114867 c lw 114878 c lw 114889 c lw 114900 c lw 114922 c lw 114937 c lw 115130 c lw 115455 c lw 116053 c lw 116638 c lw 117475 c lw 117663 c lw 117704 c lw 117710 c lw 117729 c lw 117865 c lw 117870 c lw 117915 c lw 117926 c lw 117945 c lw 117947 c lw 117950 c lw 118018 c lw 118065 c lw 118181 c lw 118314 c lw 118358 c lw 118917 c lw 119471 c lw 119503 c lw 119523 c lw 119540 c lw 119552 c lw 119733 c lw 119798 c lw 119873 c lw 119938 c lw 119953 c lw 119976 c lw 120407 c lw 120515 c lw 120684 c lw 121381 c lw 121514 c lw 121563 c lw 121614 c lw 122036 c lw 122290 c lw 122428 c lw 122890 c lw 123104 c lw 123113 c lw 123124 c lw 123137 c lw 123152 c lw 123168 c lw 123256 c lw 123259 c lw 123299 c lw 123517 c lw 123620 c lw 123696 c lw 123725 c lw 124453 c lw 124463 c lw 124472 c lw 124504 c lw 124514 c lw 124532 c lw 124618 c lw 124640 c lw 124832 c lw 125146 c lw 125595 c lw 126333 c lw 126374 c lw 126384 c lw 126406 c lw 126411 c lw 126536 c lw 127024 c lw 127237 c lw 127242 c lw 127247 c lw 127255 c lw 127265 c lw 127283 c lw 127289 c lw 127328 c lw 127402 c lw 127413 c lw 127438 c lw 127477 c lw 127491 c lw 127540 c lw 127552 c lw 127557 c lw 127652 c lw 127664 c lw 127713 c lw 127727 c lw 127753 c lw 127836 c lw 127841 c lw 127865 c lw 127868 c lw 127873 c lw 127878 c lw 127886 c lw 127891 c lw 127895 c lw 127896 c lw 127900 c lw 127906 c lw 127912 c lw 127914 c lw 127920 c lw 127923 c lw 127924 c lw 127926 c lw 127932 c lw 127934 c lw 127937 c lw 127940 c lw 127942 c lw 127943 c lw 127946 c lw 127948 c lw 127950 c lw 127951 c lw 127954 c lw 127955 c lw 127956 c lw 127960 c lw 127962 c lw 128229 c lw 128564 c lw 128567 c lw 128758 c lw 128764 c lw 128803 c lw 129195 c lw 129914 c lw 130165 c lw 130169 c lw 130177 c lw 130188 c lw 130198 c lw 130199 c lw 130214 c lw 130219 c lw 130229 c lw 130231 c lw 130240 c lw 130242 c lw 130279 c lw 130282 c lw 130288 c lw 130308 c lw 130464 c lw 130707 c lw 131322 c lw 131335 c lw 131372 c lw 131520 c lw 131589 c lw 131803 c lw 132028 c lw 132155 c lw 132258 c lw 132279 c lw 132289 c lw 132294 c lw 132295 c lw 132605 c lw 132608 c lw 132611 c lw 132613 c lw 132616 c lw 133550 c lw 133560 c lw 133607 c lw 133653 c lw 134968 c lw 134978 c lw 134985 c lw 134990 c lw 135057 c lw 135058 c lw 135060 c lw 135061 c lw 135063 c lw 135064 c lw 135065 c lw 135068 c lw 135069 c lw 135073 c lw 135080 c lw 135089 c lw 135093 c lw 135094 c lw 135095 c lw 135099 c lw 135101 c lw 135103 c lw 135105 c lw 135106 c lw 135107 c lw 135109 c lw 135110 c lw 135177 c lw 135380 c lw 135845 c lw 136048 c lw 136654 c lw 136782 c lw 138314 c lw 138317 c lw 138926 c lw 138964 c lw 139883 c lw 140001 c lw 140349 c lw 140383 c lw 141440 c lw 142384 c lw 142431 c lw 143118 c lw 143361 c lw 143692 c lw 143900 c lw 144468 c lw 144884 c lw 144989 c lw 145033 c lw 145034 c lw 145054 c lw 145288 c lw 145519 c lw 146053 c lw 146455 c lw 147265 c lw 148049 c lw 148094 c lw 149138 c lw 149158 c lw 149338 c lw 149341 c lw 149342 c lw 149344 c lw 149345 c lw 149346 c lw 149347 c lw 149348 c lw 149349 c lw 149350 c lw 149351 c lw 149352 c lw 149353 c lw 149354 c lw 149355 c lw 149365 c lw 149366 c lw 149368 c lw 149370 c lw 149371 c lw 149372