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-140-1_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-10.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 316 c lw 1747 c lw 4160 c lw 4714 c lw 5754 c lw 6355 c lw 7460 c lw 8547 c lw 9234 c lw 10031 c lw 11238 c lw 11314 c lw 12746 c lw 14119 c lw 15034 c lw 16109 c lw 16433 c lw 16937 c lw 17560 c lw 18272 c lw 18691 c lw 18925 c lw 20129 c lw 20197 c lw 20400 c lw 20739 c lw 20962 c lw 21012 c lw 21025 c lw 21155 c lw 22060 c lw 22478 c lw 22674 c lw 22949 c lw 23110 c lw 23423 c lw 24325 c lw 24769 c lw 24815 c lw 25513 c lw 25881 c lw 26004 c lw 26224 c lw 26321 c lw 27293 c lw 28061 c lw 28425 c lw 29145 c lw 29364 c lw 29769 c lw 30216 c lw 30352 c lw 30369 c lw 31038 c lw 31171 c lw 31399 c lw 31576 c lw 31852 c lw 31883 c lw 32034 c lw 32301 c lw 32497 c lw 32772 c lw 32784 c lw 32974 c lw 33201 c lw 33333 c lw 33395 c lw 34146 c lw 34201 c lw 34560 c lw 35242 c lw 36182 c lw 36575 c lw 36597 c lw 36675 c lw 36761 c lw 36796 c lw 37698 c lw 38009 c lw 38417 c lw 38562 c lw 38737 c lw 39651 c lw 40184 c lw 40406 c lw 40493 c lw 40579 c lw 40589 c lw 41027 c lw 41070 c lw 41113 c lw 41477 c lw 41696 c lw 42101 c lw 42518 c lw 42866 c lw 42886 c lw 43359 c lw 43530 c lw 43582 c lw 43955 c lw 44189 c lw 44900 c lw 45019 c lw 45196 c lw 45523 c lw 45554 c lw 45768 c lw 46037 c lw 46044 c lw 46420 c lw 46594 c lw 46719 c lw 46965 c lw 47681 c lw 47806 c lw 48486 c lw 48885 c lw 48935 c lw 49286 c lw 49446 c lw 50045 c lw 50277 c lw 50438 c lw 50703 c lw 51016 c lw 51169 c lw 51570 c lw 51985 c lw 52045 c lw 52536 c lw 52602 c lw 52628 c lw 52896 c lw 53096 c lw 53639 c lw 53842 c lw 54080 c lw 54489 c lw 54506 c lw 54939 c lw 55072 c lw 55406 c lw 55432 c lw 55609 c lw 55626 c lw 55654 c lw 55696 c lw 55852 c lw 56131 c lw 56358 c lw 56581 c lw 56633 c lw 56726 c lw 56729 c lw 57535 c lw 57883 c lw 57925 c lw 58131 c lw 58317 c lw 58985 c lw 59055 c lw 59887 c lw 60185 c lw 60309 c lw 60367 c lw 60906 c lw 61432 c lw 61478 c lw 61546 c lw 62013 c lw 62272 c lw 62432 c lw 62441 c lw 62555 c lw 62603 c lw 63163 c lw 63423 c lw 64286 c lw 64545 c lw 64738 c lw 65074 c lw 65945 c lw 66085 c lw 66376 c lw 66602 c lw 67056 c lw 67311 c lw 67392 c lw 67471 c lw 67550 c lw 67732 c lw 67922 c lw 67947 c lw 67985 c lw 68131 c lw 68228 c lw 68374 c lw 68381 c lw 68410 c lw 68652 c lw 68781 c lw 69082 c lw 69258 c lw 69480 c lw 69540 c lw 69757 c lw 69805 c lw 69913 c lw 70038 c lw 70261 c lw 70323 c lw 70489 c lw 70877 c lw 70904 c lw 71360 c lw 71705 c lw 72410 c lw 72687 c lw 72745 c lw 73240 c lw 73522 c lw 73585 c lw 74216 c lw 74268 c lw 74273 c lw 74720 c lw 74751 c lw 74843 c lw 75494 c lw 75541 c lw 75750 c lw 76541 c lw 76829 c lw 77280 c lw 77403 c lw 77434 c lw 77441 c lw 77471 c lw 77658 c lw 77805 c lw 78181 c lw 78299 c lw 78685 c lw 78745 c lw 79636 c lw 79879 c lw 80101 c lw 80217 c lw 80667 c lw 81576 c lw 82663 c lw 82698 c lw 82827 c lw 83089 c lw 83124 c lw 83144 c lw 83328 c lw 83578 c lw 84022 c lw 84059 c lw 84080 c lw 84085 c lw 84285 c lw 84316 c lw 84337 c lw 84342 c lw 84423 c lw 84434 c lw 84445 c lw 84485 c lw 84498 c lw 84500 c lw 84503 c lw 84520 c lw 84559 c lw 84598 c lw 84615 c lw 84618 c lw 84644 c lw 84672 c lw 84675 c lw 84686 c lw 84690 c lw 85289 c lw 85298 c lw 85428 c lw 85845 c lw 86482 c lw 86552 c lw 86568 c lw 87029 c lw 87443 c lw 87679 c lw 88026 c lw 88197 c lw 89180 c lw 89215 c lw 89295 c lw 89451 c lw 89561 c lw 89799 c lw 90110 c lw 90633 c lw 90852 c lw 91358 c lw 91699 c lw 92118 c lw 92244 c lw 92284 c lw 92336 c lw 92531 c lw 92642 c lw 93103 c lw 93362 c lw 93376 c lw 94229 c lw 94380 c lw 94687 c lw 94690 c lw 94700 c lw 94990 c lw 95048 c lw 95271 c lw 95739 c lw 95742 c lw 95839 c lw 95897 c lw 96239 c lw 96243 c lw 96424 c lw 96603 c lw 96645 c lw 97088 c lw 97897 c lw 98010 c lw 98207 c lw 98216 c lw 98286 c lw 98294 c lw 98303 c lw 98402 c lw 98418 c lw 98438 c lw 98470 c lw 98579 c lw 98583 c lw 98897 c lw 99042 c lw 99082 c lw 99859 c lw 100052 c lw 100077 c lw 100090 c lw 100158 c lw 100221 c lw 100275 c lw 100296 c lw 100620 c lw 100937 c lw 100965 c lw 100991 c lw 101635 c lw 102228 c lw 102341 c lw 102677 c lw 102706 c lw 102861 c lw 103306 c lw 103589 c lw 103612 c lw 103867 c lw 103934 c lw 104494 c lw 104531 c lw 104546 c lw 104554 c lw 104569 c lw 104578 c lw 104594 c lw 105297 c lw 105513 c lw 106382 c lw 106762 c lw 107198 c lw 107462 c lw 107583 c lw 108088 c lw 108574 c lw 108776 c lw 108932 c lw 108934 c lw 108935 c lw 108945 c lw 108947 c lw 108960 c lw 108963 c lw 108966 c lw 108973 c lw 108987 c lw 109061 c lw 109077 c lw 109100 c lw 109180 c lw 109270 c lw 109369 c lw 109378 c lw 109386 c lw 109407 c lw 109508 c lw 109511 c lw 109514 c lw 109523 c lw 109527 c lw 109534 c lw 109537 c lw 109541 c lw 109546 c lw 109550 c lw 109563 c lw 109576 c lw 109585 c lw 109587 c lw 109596 c lw 109609 c lw 109610 c lw 109612 c lw 109613 c lw 109615 c lw 109645 c lw 109646 c lw 109648 c lw 109656 c lw 109658 c lw 109692 c lw 109738 c lw 110060 c lw 110082 c lw 110103 c lw 110117 c lw 110118 c lw 110136 c lw 110150 c lw 110171 c lw 110174 c lw 110304 c lw 110314 c lw 110315 c lw 110317 c lw 110318 c lw 110321 c lw 110374 c lw 110387 c lw 110432 c lw 110498 c lw 110555 c lw 110827 c lw 111096 c lw 111099 c lw 111100 c lw 111102 c lw 111103 c lw 111112 c lw 112408 c lw 112417 c lw 113101 c lw 113179 c lw 113254 c lw 113671 c lw 113768 c lw 113870 c lw 114591 c lw 114669 c lw 115866 c lw 116084 c lw 116142 c lw 116429 c lw 116633 c lw 117298 c lw 117570 c lw 117911 c lw 117934 c lw 118204 c lw 118656 c lw 118740 c lw 119640 c lw 119861 c lw 119926 c lw 120994 c lw 121033 c lw 121099 c lw 121174 c lw 121237 c lw 121252 c lw 121260 c lw 121277 c lw 121286 c lw 121288 c lw 121551 c lw 121954 c lw 122116 c lw 122162 c lw 122168 c lw 122188 c lw 122220 c lw 122233 c lw 122261 c lw 122262 c lw 122271 c lw 122279 c lw 122287 c lw 122289 c lw 122297 c lw 122298 c lw 122707 c lw 122958 c lw 122983 c lw 123050 c lw 123360 c lw 123818 c lw 124169 c lw 124463 c lw 124489 c lw 124544 c lw 124876 c lw 124900 c lw 124947 c lw 126186 c lw 126386 c lw 126665 c lw 126679 c lw 127211 c lw 127240 c lw 127301 c lw 127454 c lw 128240 c lw 128244 c lw 128298 c lw 128327 c lw 128329 c lw 128332 c lw 128333 c lw 128336 c lw 128337 c lw 128338 c lw 128339 c lw 128343 c lw 128344 c lw 128345 c lw 128347 c lw 128348 c lw 128351 c lw 128352 c lw 128354 c lw 128355 c lw 128356 c lw 128357 c lw 128358 c lw 128359 c lw 128360 c lw 128361 c lw 128362 c lw 128363 c lw 128364 c lw 128365 c lw 128366 c lw 128367 c lw 128368 c lw 128369 c lw 128370 c lw 128371 c lw 128372 c lw 128374 c lw 128380 c lw 128381 c lw 128382 c lw 128383 c lw 128384 c lw 128385 c lw 128391 c lw 128393 c lw 128394 c lw 128395 c lw 128396 c lw 128398 c lw 128403 c lw 128404 c lw 128406 c lw 128407 c lw 128408 c lw 128409 c lw 128410 c lw 128411 c lw 128412 c lw 128413 c lw 128414 c lw 128415 c lw 128416 c lw 128420 c lw 128421 c lw 128423 c lw 128424 c lw 128427 c lw 128429 c lw 128430 c lw 128431 c lw 128432 c lw 128433 c lw 128434 c lw 128435 c lw 128436 c lw 128437 c lw 128439 c lw 128440 c lw 128442 c lw 128443 c lw 128444 c lw 128445 c lw 128446 c lw 128447 c lw 128448 c lw 128449 c lw 128450 c lw 128451 c lw 128452 c lw 128453 c lw 128454 c lw 128455 c lw 128456 c lw 128457