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-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-2.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1198 c lw 1645 c lw 2768 c lw 3986 c lw 4938 c lw 7346 c lw 8767 c lw 10207 c lw 11701 c lw 11899 c lw 12606 c lw 13633 c lw 14675 c lw 16180 c lw 17390 c lw 17817 c lw 18513 c lw 18543 c lw 19239 c lw 20833 c lw 21439 c lw 22551 c lw 23167 c lw 23233 c lw 23258 c lw 23507 c lw 23546 c lw 23741 c lw 24629 c lw 25401 c lw 26255 c lw 26512 c lw 26722 c lw 27016 c lw 27215 c lw 27396 c lw 27605 c lw 28171 c lw 28467 c lw 29549 c lw 29560 c lw 29582 c lw 29859 c lw 30583 c lw 31444 c lw 31537 c lw 31584 c lw 31625 c lw 31690 c lw 31887 c lw 32003 c lw 32892 c lw 33210 c lw 33878 c lw 33904 c lw 34643 c lw 34903 c lw 35002 c lw 35202 c lw 35317 c lw 35451 c lw 35796 c lw 35821 c lw 36137 c lw 36168 c lw 36207 c lw 37067 c lw 37187 c lw 37483 c lw 38761 c lw 38923 c lw 39450 c lw 39480 c lw 39576 c lw 39817 c lw 39969 c lw 40267 c lw 40913 c lw 41333 c lw 41819 c lw 41966 c lw 42474 c lw 43216 c lw 43455 c lw 43926 c lw 44123 c lw 44608 c lw 44745 c lw 45372 c lw 45396 c lw 45518 c lw 45584 c lw 45609 c lw 46211 c lw 47230 c lw 47327 c lw 48313 c lw 49185 c lw 49256 c lw 49514 c lw 50220 c lw 50449 c lw 50466 c lw 50596 c lw 51227 c lw 51518 c lw 51630 c lw 52008 c lw 52174 c lw 52672 c lw 52832 c lw 53118 c lw 53322 c lw 54598 c lw 54785 c lw 54787 c lw 54954 c lw 55857 c lw 55875 c lw 56107 c lw 56118 c lw 56140 c lw 56256 c lw 56410 c lw 56681 c lw 57130 c lw 57514 c lw 57809 c lw 58811 c lw 58832 c lw 58879 c lw 58920 c lw 58985 c lw 59125 c lw 59182 c lw 59708 c lw 60019 c lw 60043 c lw 60195 c lw 60243 c lw 60267 c lw 60679 c lw 60891 c lw 61479 c lw 61845 c lw 61898 c lw 62585 c lw 62722 c lw 62753 c lw 62830 c lw 62929 c lw 63001 c lw 63398 c lw 63842 c lw 63928 c lw 63951 c lw 64113 c lw 64119 c lw 64268 c lw 64314 c lw 64377 c lw 64858 c lw 65020 c lw 65107 c lw 65180 c lw 65196 c lw 65244 c lw 65259 c lw 65305 c lw 65454 c lw 66042 c lw 66274 c lw 66362 c lw 66501 c lw 66951 c lw 67059 c lw 67270 c lw 67287 c lw 67733 c lw 67739 c lw 67753 c lw 67829 c lw 68015 c lw 68081 c lw 68957 c lw 69023 c lw 69607 c lw 70127 c lw 70264 c lw 70756 c lw 70808 c lw 70880 c lw 71078 c lw 71943 c lw 72165 c lw 73099 c lw 73149 c lw 73282 c lw 73520 c lw 73588 c lw 74087 c lw 74208 c lw 74523 c lw 74634 c lw 74660 c lw 75174 c lw 75644 c lw 75943 c lw 76014 c lw 76099 c lw 76103 c lw 76221 c lw 76404 c lw 77013 c lw 77437 c lw 77578 c lw 77716 c lw 77741 c lw 77854 c lw 78186 c lw 78304 c lw 78775 c lw 79450 c lw 79759 c lw 79793 c lw 79823 c lw 80457 c lw 80623 c lw 80697 c lw 80728 c lw 80730 c lw 80777 c lw 81105 c lw 81323 c lw 81457 c lw 81475 c lw 81610 c lw 81928 c lw 82066 c lw 82494 c lw 82807 c lw 82816 c lw 82837 c lw 82841 c lw 82843 c lw 82863 c lw 82870 c lw 83328 c lw 83360 c lw 83448 c lw 83508 c lw 83834 c lw 84595 c lw 84866 c lw 85704 c lw 85710 c lw 86094 c lw 86176 c lw 86258 c lw 86260 c lw 86262 c lw 86282 c lw 86289 c lw 86913 c lw 87055 c lw 87087 c lw 87094 c lw 87440 c lw 87442 c lw 87450 c lw 87470 c lw 87520 c lw 87768 c lw 87956 c lw 88256 c lw 88259 c lw 88345 c lw 88414 c lw 89041 c lw 89066 c lw 89285 c lw 89469 c lw 89471 c lw 89473 c lw 89476 c lw 89493 c lw 89494 c lw 89496 c lw 89528 c lw 89531 c lw 89548 c lw 89549 c lw 89551 c lw 89553 c lw 89677 c lw 90076 c lw 90188 c lw 90730 c lw 91888 c lw 91946 c lw 92127 c lw 92296 c lw 92391 c lw 92423 c lw 92443 c lw 92454 c lw 92567 c lw 92592 c lw 92716 c lw 92865 c lw 93319 c lw 93468 c lw 93522 c lw 93908 c lw 93958 c lw 94048 c lw 94203 c lw 94206 c lw 94381 c lw 94417 c lw 94486 c lw 94701 c lw 94712 c lw 95147 c lw 95497 c lw 95816 c lw 95846 c lw 95917 c lw 96332 c lw 96452 c lw 97059 c lw 97188 c lw 97225 c lw 97239 c lw 97407 c lw 97764 c lw 97815 c lw 97817 c lw 97859 c lw 97863 c lw 97913 c lw 97975 c lw 97986 c lw 98047 c lw 98204 c lw 98613 c lw 98892 c lw 99076 c lw 99360 c lw 99406 c lw 99492 c lw 99595 c lw 99935 c lw 100204 c lw 100811 c lw 100885 c lw 101710 c lw 101716 c lw 101736 c lw 101741 c lw 101782 c lw 101818 c lw 102047 c lw 102522 c lw 102905 c lw 103122 c lw 103157 c lw 103229 c lw 103543 c lw 103866 c lw 104532 c lw 104550 c lw 104588 c lw 105206 c lw 105313 c lw 105837 c lw 106077 c lw 106241 c lw 106319 c lw 106846 c lw 106856 c lw 106921 c lw 106925 c lw 107693 c lw 108096 c lw 108302 c lw 108426 c lw 108619 c lw 108669 c lw 108930 c lw 109458 c lw 109576 c lw 110277 c lw 110471 c lw 110485 c lw 110738 c lw 110844 c lw 110894 c lw 110901 c lw 111074 c lw 111187 c lw 111354 c lw 111679 c lw 112104 c lw 112321 c lw 112393 c lw 112435 c lw 112454 c lw 112531 c lw 113072 c lw 113193 c lw 113382 c lw 113525 c lw 113535 c lw 113862 c lw 113964 c lw 114114 c lw 114120 c lw 114497 c lw 114718 c lw 114719 c lw 114720 c lw 114725 c lw 114733 c lw 114734 c lw 114736 c lw 114738 c lw 114743 c lw 114744 c lw 114745 c lw 114747 c lw 114750 c lw 114781 c lw 114859 c lw 114972 c lw 115076 c lw 116177 c lw 116271 c lw 116327 c lw 117203 c lw 117251 c lw 117493 c lw 117514 c lw 117676 c lw 117681 c lw 117751 c lw 117784 c lw 117886 c lw 117938 c lw 117964 c lw 117969 c lw 117981 c lw 117986 c lw 118136 c lw 118686 c lw 118800 c lw 118807 c lw 118820 c lw 118825 c lw 118830 c lw 118838 c lw 118843 c lw 118865 c lw 118872 c lw 118876 c lw 118886 c lw 118892 c lw 118901 c lw 118904 c lw 118915 c lw 118918 c lw 118923 c lw 118937 c lw 118956 c lw 118977 c lw 119124 c lw 119142 c lw 119163 c lw 119273 c lw 119569 c lw 119570 c lw 119579 c lw 119584 c lw 119918 c lw 119939 c lw 120159 c lw 120167 c lw 120455 c lw 120460 c lw 120463 c lw 120503 c lw 120555 c lw 120609 c lw 121851 c lw 121872 c lw 122047 c lw 122128 c lw 122639 c lw 122688 c lw 123362 c lw 123790 c lw 123885 c lw 124346 c lw 124474 c lw 124679 c lw 124765 c lw 124862 c lw 124970 c lw 125109 c lw 125224 c lw 125254 c lw 125382 c lw 125386 c lw 125431 c lw 126317 c lw 127323 c lw 128577 c lw 128701 c lw 129024 c lw 129420 c lw 129728 c lw 129904 c lw 130366 c lw 130463 c lw 130887 c lw 130895 c lw 131005 c lw 131950 c lw 131964 c lw 132002 c lw 132205 c lw 132241 c lw 132293 c lw 132301 c lw 132337 c lw 132504 c lw 132542 c lw 132648 c lw 132659 c lw 132662 c lw 132669 c lw 132690 c lw 132691 c lw 132695 c lw 132699 c lw 132704 c lw 132716 c lw 132729 c lw 132736 c lw 132743 c lw 132744 c lw 132745 c lw 132746 c lw 132747 c lw 132748 c lw 132761 c lw 132762 c lw 132763 c lw 132791 c lw 132793 c lw 132794 c lw 132798 c lw 132803 c lw 132804 c lw 132805 c lw 132807 c lw 132809 c lw 132810 c lw 132811 c lw 132812 c lw 132813 c lw 132814 c lw 132816 c lw 132817 c lw 132821 c lw 132923 c lw 132964 c lw 132987 c lw 133001 c lw 133208 c lw 133287 c lw 133298 c lw 133312 c lw 133321 c lw 133339 c lw 133340 c lw 133341 c lw 133342 c lw 133343 c lw 133344 c lw 133345 c lw 133346 c lw 133347 c lw 133348 c lw 133349 c lw 133350 c lw 133351 c lw 133352 c lw 133353 c lw 133354 c lw 133355 c lw 133356 c lw 133357 c lw 133358 c lw 133359 c lw 133360 c lw 133362 c lw 133364 c lw 133366 c lw 133368 c lw 133369 c lw 133370 c lw 133371 c lw 133372 c lw 133373 c lw 133374 c lw 133375 c lw 133376 c lw 133377 c lw 133378 c lw 133379 c lw 133380 c lw 133381 c lw 133382 c lw 133383 c lw 133384 c lw 133385 c lw 133386 c lw 133387 c lw 133388 c lw 133389 c lw 133390 c lw 133391 c lw 133392 c lw 133393 c lw 133396 c lw 133398 c lw 133399 c lw 133400 c lw 133401 c lw 133402 c lw 133404 c lw 133408 c lw 133409 c lw 133410 c lw 133411 c lw 133414 c lw 133418 c lw 133420 c lw 133421 c lw 133432 c lw 133434 c lw 133438 c lw 133443 c lw 133444 c lw 133445 c lw 133446 c lw 133447 c lw 133448 c lw 133449 c lw 133450 c lw 133451 c lw 133452 c lw 133453 c lw 133454 c lw 133456 c lw 133458 c lw 133459 c lw 134742 c lw 134760 c lw 134813 c lw 135309 c lw 135320 c lw 135390 c lw 135414 c lw 135415 c lw 135417 c lw 135420 c lw 135424 c lw 135425 c lw 135426 c lw 135440 c lw 135446 c lw 135449 c lw 135460 c lw 135479 c lw 135481 c lw 135482 c lw 135487 c lw 135494 c lw 135495 c lw 135496 c lw 135499 c lw 135500 c lw 135504 c lw 135505 c lw 135507 c lw 135510 c lw 135511 c lw 135512 c lw 135514 c lw 135518 c lw 135519 c lw 135520 c lw 135521 c lw 135522 c lw 135523 c lw 135524 c lw 135525 c lw 135526 c lw 135527 c lw 135528 c lw 135529 c lw 135530 c lw 135531 c lw 135532 c lw 135533 c lw 135534 c lw 135535 c lw 135536 c lw 135537 c lw 135538 c lw 135539 c lw 135540 c lw 135541 c lw 135542 c lw 135543 c lw 135544 c lw 135545 c lw 135546 c lw 135547 c lw 135548 c lw 135549 c lw 135550 c lw 135551 c lw 135552 c lw 135553 c lw 135554 c lw 135555 c lw 135556 c lw 135557 c lw 135558 c lw 135559 c lw 135560 c lw 135561 c lw 135562 c lw 135563 c lw 135564 c lw 135565 c lw 135566 c lw 135567 c lw 135568 c lw 135569 c lw 135571 c lw 135572 c lw 135573 c lw 135574 c lw 135575 c lw 135576 c lw 135577 c lw 135578 c lw 135579 c lw 135580 c lw 135581 c lw 135582 c lw 135583 c lw 135584 c lw 135585 c lw 135586 c lw 135587 c lw 135588 c lw 135589 c lw 135590 c lw 135591 c lw 135592 c lw 135593 c lw 135594 c lw 135595 c lw 135596 c lw 135597 c lw 135598 c lw 135599 c lw 135600 Killed 1814.621u 5.146s 30:19.99 99.9% 0+0k 0+0io 0pf+0w