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_AUCTIONS_AUC_PATHS_cat_paths_60_130_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0002.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 400 c lw 676 c lw 1274 c lw 1416 c lw 1872 c lw 2470 c lw 3356 c lw 4242 c lw 4721 c lw 5128 c lw 5900 c lw 6080 c lw 6832 c lw 7032 c lw 7772 c lw 7984 c lw 8507 c lw 8936 c lw 9679 c lw 9888 c lw 10073 c lw 10816 c lw 10853 c lw 11570 c lw 11633 c lw 12022 c lw 13005 c lw 13988 c lw 14281 c lw 14971 c lw 15875 c lw 16779 c lw 17683 c lw 17841 c lw 18531 c lw 18559 c lw 19091 c lw 19379 c lw 19537 c lw 20227 c lw 20675 c lw 21123 c lw 21418 c lw 21571 c lw 22343 c lw 23115 c lw 23387 c lw 23798 c lw 24481 c lw 24935 c lw 25164 c lw 25250 c lw 25691 c lw 25847 c lw 26514 c lw 27181 c lw 27751 c lw 27817 c lw 27848 c lw 28274 c lw 28542 c lw 29242 c lw 29252 c lw 29942 c lw 30335 c lw 30595 c lw 30728 c lw 31407 c lw 31857 c lw 32086 c lw 32669 c lw 33146 c lw 33252 c lw 33633 c lw 34044 c lw 34083 c lw 34362 c lw 34363 c lw 34708 c lw 34819 c lw 35323 c lw 35397 c lw 35641 c lw 35715 c lw 36361 c lw 36546 c lw 37192 c lw 37505 c lw 37935 c lw 38280 c lw 38398 c lw 38689 c lw 38931 c lw 39015 c lw 39310 c lw 39691 c lw 40244 c lw 40674 c lw 41227 c lw 41574 c lw 41657 c lw 42374 c lw 42442 c lw 42498 c lw 42542 c lw 42817 c lw 42880 c lw 43065 c lw 43157 c lw 43263 c lw 43608 c lw 43667 c lw 43680 c lw 43993 c lw 44067 c lw 44107 c lw 44349 c lw 44491 c lw 44584 c lw 45033 c lw 45290 c lw 45318 c lw 45448 c lw 45921 c lw 46200 c lw 46318 c lw 46358 c lw 46371 c lw 46398 c lw 46484 c lw 46509 c lw 46540 c lw 46640 c lw 46869 c lw 46995 c lw 47032 c lw 47100 c lw 47233 c lw 47340 c lw 47493 c lw 47541 c lw 47549 c lw 47565 c lw 47631 c lw 47668 c lw 47731 c lw 47983 c lw 48019 c lw 48102 c lw 48474 c lw 48548 c lw 48567 c lw 48622 c lw 48709 c lw 48710 c lw 48765 c lw 49055 c lw 49072 c lw 49146 c lw 49424 c lw 49602 c lw 49657 c lw 49810 c lw 50022 c lw 50222 c lw 50239 c lw 50468 c lw 50515 c lw 50695 c lw 51012 c lw 51125 c lw 51207 c lw 51467 c lw 51504 c lw 51600 c lw 51644 c lw 51659 c lw 51665 c lw 51959 c lw 51995 c lw 52190 c lw 52584 c lw 52642 c lw 52661 c lw 52735 c lw 52819 c lw 53019 c lw 53061 c lw 53191 c lw 53233 c lw 53291 c lw 53650 c lw 53651 c lw 53939 c lw 54026 c lw 54047 c lw 54184 c lw 54205 c lw 54462 c lw 54730 c lw 54736 c lw 54874 c lw 54884 c lw 55137 c lw 55363 c lw 55402 c lw 55430 c lw 55601 c lw 56279 c lw 56306 c lw 56610 c lw 56676 c lw 56951 c lw 57018 c lw 57290 c lw 57297 c lw 57625 c lw 57670 c lw 57683 c lw 57702 c lw 57757 c lw 57796 c lw 57797 c lw 57871 c lw 57913 c lw 57943 c lw 57968 c lw 58012 c lw 58069 c lw 58070 c lw 58083 c lw 58153 c lw 58154 c lw 58170 c lw 58173 c lw 58201 c lw 58230 c lw 58269 c lw 58306 c lw 58353 c lw 58374 c lw 58380 c lw 58385 c lw 58393 c lw 58440 c lw 58581 c lw 58588 c lw 58620 c lw 58647 c lw 58699 c lw 58725 c lw 58757 c lw 58777 c lw 58821 c lw 58860 c lw 58897 c lw 58918 c lw 58925 c lw 58950 c lw 58952 c lw 58954 c lw 58957 c lw 58962 c lw 58965 c lw 58978 c lw 59042 c lw 59056 c lw 59083 c lw 59093 c lw 59102 c lw 59117 c lw 59122 c lw 59126 c lw 59132 c lw 59136 c lw 59137 c lw 59215 c lw 59283 c lw 59284 c lw 59309 c lw 59311 c lw 59314 c lw 59369 c lw 59396 c lw 59509 c lw 59510 c lw 59513 c lw 59515 c lw 59518 c lw 59520 c lw 59523 c lw 59537 c lw 59538 c lw 59541 c lw 59542 c lw 59544 c lw 59552 c lw 59553 c lw 59554 c lw 59556 c lw 59561 c lw 59570 c lw 59571 c lw 59572 c lw 59573 c lw 59574 c lw 59575 c lw 59594 c lw 59613 c lw 59747 c lw 59807 c lw 59811 c lw 59816 c lw 59817 c lw 59836 c lw 59880 c lw 59903 c lw 59907 c lw 59910 c lw 59912 c lw 59913 c lw 59914 c lw 59915 c lw 59924 c lw 59925 c lw 59926 c lw 59927 c lw 59928 c lw 59929 c lw 59930 c lw 59931 c lw 59933 c lw 59934 c lw 59935 c lw 59936 c lw 59937 c lw 59996 c lw 60055 c lw 60057 c lw 60058 c lw 60059 c lw 60060 c lw 60061 c lw 60062 c lw 60063 c lw 60064 c lw 60098 c lw 60101 c lw 60102 c lw 60103 c lw 60115 c lw 60116 c lw 60137 c lw 60138 c lw 60139 c lw 60140 c lw 60141 c lw 60142 c lw 60143 c lw 60144 c lw 60145 c lw 60147 c lw 60148 c lw 60150 c lw 60151 c lw 60166 c lw 60167 c lw 60168 c lw 60169 c lw 60170 c lw 60171 c lw 60172 c lw 60173 c lw 60175 c lw 60177 c lw 60204 c lw 60205 c lw 60206 c lw 60207 c lw 60208 c lw 60209 c lw 60210 c lw 60211 c lw 60212 c lw 60219 c lw 60221 c lw 60234 c lw 60235 c lw 60236 c lw 60237 c lw 60238 c lw 60239 c lw 60240 c lw 60241 c lw 60242 c lw 60243 c lw 60244 c lw 60247 c lw 60249 c lw 60250 c lw 60251 c lw 60252 c lw 60253 c lw 60254 c lw 60255 c lw 60256 c lw 60257 c lw 60258 c lw 60259 c lw 60260 c lw 60261 c lw 60262 c lw 60263 c lw 60299 c lw 60326 c lw 60352 c lw 60394 c lw 60395 c lw 60396 c lw 60397 c lw 60398 c lw 60399 c lw 60400 c lw 60416 c lw 60419 c lw 60423 c lw 60425 c lw 60426 c lw 60427 c lw 60428 c lw 60435 c lw 60441 c lw 60443 c lw 60447 c lw 60450 c lw 60451 c lw 60453 c lw 60454 c lw 60455 c lw 60456 c lw 60457 c lw 60458 c lw 60459 c lw 60460 c lw 60461 c lw 60462 c lw 60463 c lw 60464 c lw 60465 c lw 60466 c lw 60467 c lw 60468 c lw 60503 c lw 60509 c lw 60513 c lw 60514 c lw 60536 c lw 60599 c lw 60607 c lw 60608 c lw 60611 c lw 60612 c lw 60626 c lw 60627 c lw 60628 c lw 60629 c lw 60630 c lw 60635 c lw 60640 c lw 60642 c lw 60648 c lw 60649 c lw 60650 c lw 60651 c lw 60652 c lw 60653 c lw 60654 c lw 60655 c lw 60656 c lw 60657 c lw 60658 c lw 60659 c lw 60660 c lw 60662 c lw 60684 c lw 60692 c lw 60706 c lw 60707 c lw 60708 c lw 60712 c lw 60714 c lw 60721 c lw 60722 c lw 60724 c lw 60725 c lw 60726 c lw 60727 c lw 60728 c lw 60729 c lw 60730 c lw 60731 c lw 60732 c lw 60733 c lw 60734 c lw 60735 c lw 60736 c lw 60737 c lw 60738 c lw 60739 c lw 60740 c lw 60741 c lw 60742 c lw 60743 c lw 60744 c lw 60745 c lw 60746 c lw 60747 c lw 60748 c lw 60750 c lw 60751 c lw 60752 c lw 60753 c lw 60754 c lw 60755 c lw 60756 c lw 60757 c lw 60758 c lw 60759 c lw 60760 c lw 60761 c lw 60762 c lw 60763 c lw 60764 c lw 60765 c lw 60766 c lw 60767 c lw 60768 c lw 60769 c lw 60770 c lw 60771 c lw 60772 c lw 60773 c lw 60774 c lw 60784 c lw 60810 c lw 60811 c lw 60812 c lw 60813 c lw 60815 c lw 60816 c lw 60817 c lw 60818 c lw 60819 c lw 60822 c lw 60823 c lw 60824 c lw 60830 c lw 60831 c lw 60832 c lw 60833 c lw 60834 c lw 60835 c lw 60836 c lw 60837 c lw 60838 c lw 60839 c lw 60840 c lw 60841 c lw 60842 c lw 60843 c lw 60844 c lw 60845 c lw 60846 c lw 60847 c lw 60848 c lw 60849 c lw 60850 c lw 60851 c lw 60852 c lw 60853 c lw 60854 c lw 60855 c lw 60856 c lw 60857 c lw 60858 c lw 60859 c lw 60877 c lw 60878 c lw 60879 c lw 60880 c lw 60890 c lw 60891 c lw 60892 c lw 60893 c lw 60894 c lw 60895 c lw 60896 c lw 60897 c lw 60900 c lw 60922 c lw 60936 c lw 60938 c lw 60939 c lw 60940 c lw 60941 c lw 60942 c lw 60943 c lw 60944 c lw 60945 c lw 60946 c lw 60947 c lw 60948 c lw 60953 c lw 60954 c lw 60955 c lw 60956 c lw 60964 c lw 60977 c lw 60980 c lw 60981 c lw 60982 c lw 60983 c lw 60991 c lw 61030 c lw 61044 c lw 61056 c lw 61057 c lw 61058 c lw 61060 c lw 61061 c lw 61062 c lw 61063 c lw 61064 c lw 61065 c lw 61067 c lw 61068 c lw 61069 c lw 61083 c lw 61084 c lw 61089 c lw 61091 c lw 61098 c lw 61119 c lw 61126 c lw 61138 c lw 61142 c lw 61143 c lw 61144 c lw 61146 c lw 61175 c lw 61182 c lw 61184 c lw 61191 c lw 61205 c lw 61206 c lw 61207 c lw 61208 c lw 61209 c lw 61210 c lw 61211 c lw 61212 c lw 61215 c lw 61217 c lw 61218 c lw 61219 c lw 61226 c lw 61234 c lw 61235 c lw 61236 c lw 61237 c lw 61238 c lw 61239 c lw 61240 c lw 61241 c lw 61242 c lw 61243 c lw 61244 c lw 61245 c lw 61246 c lw 61247 c lw 61248 c lw 61249 c lw 61250 c lw 61251 c lw 61252 c lw 61253 c lw 61254 c lw 61255 c lw 61256 c lw 61257 c lw 61258 c lw 61259 c lw 61318 c lw 61343 c lw 61344 c lw 61345 c lw 61346 c lw 61347 c lw 61348 c lw 61349 c lw 61350 c lw 61351 c lw 61355 c lw 61356 c lw 61359 c lw 61360 c lw 61361 c lw 61362 c lw 61368 c lw 61369 c lw 61370 c lw 61371 c lw 61372 c lw 61373 c lw 61374 c lw 61375 c lw 61382 c lw 61383 c lw 61384 c lw 61385 c lw 61386 c lw 61387 c lw 61388 c lw 61389 c lw 61390 c lw 61391 c lw 61392 c lw 61393 c lw 61394 c lw 61395 c lw 61396 c lw 61397 c lw 61398 c lw 61399 c lw 61400 c lw 61401 c lw 61402 c lw 61403 c lw 61404 c lw 61405 c lw 61406 c lw 61407 c lw 61408 c lw 61409 c lw 61410 c lw 61411 c lw 61412 c lw 61413 c lw 61414 c lw 61415 c lw 61416 c lw 61417 c lw 61418 c lw 61419 c lw 61420 c lw 61427 c lw 61428 c lw 61429 c lw 61438 c lw 61439 c lw 61440 c lw 61441 c lw 61442 c lw 61443 c lw 61444 c lw 61445 c lw 61446 c lw 61447 c lw 61448 c lw 61449 c lw 61450 c lw 61451 c lw 61452 c lw 61453 c lw 61454 c lw 61455 c lw 61456 c lw 61457 c lw 61458 c lw 61459 c lw 61460 c lw 61461 c lw 61462 c lw 61463 c lw 61464 c lw 61465 c lw 61466 c lw 61467 c lw 61468 c lw 61469 c lw 61470 c lw 61471 c lw 61472 c lw 61511 c lw 61512 c lw 61513 c lw 61514 c lw 61515 c lw 61516 c lw 61517 c lw 61518 c lw 61519 c lw 61520 c lw 61521 c lw 61522 c lw 61523 c lw 61524 c lw 61525 c lw 61526 c lw 61527 c lw 61528 c lw 61529 c lw 61530 c lw 61531 c lw 61533 c lw 61534 c lw 61535 c lw 61536 c lw 61537 c lw 61538 c lw 61539 c lw 61540 c lw 61541 c lw 61542 c lw 61543 c lw 61544 c lw 61545 c lw 61546 c lw 61547 c lw 61548 c lw 61549 c lw 61550 c lw 61551 c lw 61552 c lw 61553 c lw 61554 c lw 61555 c lw 61556 c lw 61557 c lw 61558 c lw 61559 c lw 61560 c lw 61561 c lw 61562 c lw 61563 c lw 61564 c lw 61565 c lw 61566 c lw 61567 c lw 61568 c lw 61569 c lw 61570 c lw 61571 c lw 61572 c lw 61573 c lw 61574 c lw 61575 c lw 61576 c lw 61577 c lw 61579 c lw 61580 c lw 61581 c lw 61582 c lw 61583 c lw 61584 c lw 61585 c lw 61586 c lw 61587 c lw 61588 c lw 61589 c lw 61590 c lw 61591 c lw 61592 c lw 61593 c lw 61594 c lw 61597 c lw 61598 c lw 61599 c lw 61600 c lw 61601 c lw 61602 c lw 61603 c lw 61604 c lw 61605 c lw 61606 c lw 61607 c lw 61608 c lw 61609 c lw 61610 c lw 61616 c lw 61617 c lw 61620 c lw 61626 c lw 61628 c lw 61636 c lw 61637 c lw 61638 c lw 61639 c lw 61640 c lw 61641 c lw 61642 c lw 61643 c lw 61644 c lw 61645 c lw 61646 c lw 61647 c lw 61648 c lw 61649 c lw 61650 c lw 61651 c lw 61652 c lw 61653 c lw 61654 c lw 61655 c lw 61656 c lw 61657 c lw 61658 c lw 61659 c lw 61660 c lw 61661 c lw 61662 c lw 61666 c lw 61668 c lw 61670 c lw 61671 c lw 61672 c lw 61678 c lw 61679 c lw 61680 c lw 61681 c lw 61682 c lw 61683 c lw 61684 c lw 61685 c lw 61686 c lw 61687 c lw 61688 c lw 61689 c lw 61692 c lw 61694 c lw 61695 c lw 61698 c lw 61699 c lw 61700 c lw 61701 c lw 61702 c lw 61703 c lw 61704 c lw 61705 c lw 61706 c lw 61707 c lw 61708 c lw 61709 c lw 61710 c lw 61711 c lw 61716 c lw 61717 c lw 61723 c lw 61724 c lw 61726 c lw 61727 c lw 61728 c lw 61729 c lw 61730 c lw 61731 c lw 61732 c lw 61733 c lw 61734 c lw 61735 c lw 61736 c lw 61737 c lw 61738 c lw 61739 c lw 61740 c lw 61741 c lw 61742 c lw 61743 c lw 61744 c lw 61745 c lw 61746 Killed 1811.175u 8.581s 30:22.98 99.8% 0+0k 0+0io 0pf+0w