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_100_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 808 c lw 1616 c lw 1897 c lw 2424 c lw 3232 c lw 3847 c lw 3937 c lw 4642 c lw 4708 c lw 4742 c lw 5347 c lw 5820 c lw 6983 c lw 8146 c lw 8999 c lw 9309 c lw 9634 c lw 10630 c lw 10656 c lw 11171 c lw 11678 c lw 12700 c lw 13163 c lw 13722 c lw 14237 c lw 14585 c lw 15100 c lw 15930 c lw 15963 c lw 16826 c lw 16872 c lw 17174 c lw 17937 c lw 17982 c lw 18681 c lw 18700 c lw 18790 c lw 19463 c lw 20226 c lw 20989 c lw 21225 c lw 21344 c lw 21461 c lw 22595 c lw 23170 c lw 23729 c lw 24304 c lw 24960 c lw 25300 c lw 26071 c lw 26296 c lw 26901 c lw 27058 c lw 27292 c lw 27366 c lw 27701 c lw 27721 c lw 28603 c lw 29189 c lw 29724 c lw 30554 c lw 30706 c lw 31422 c lw 31555 c lw 31688 c lw 32537 c lw 32670 c lw 32889 c lw 33798 c lw 33923 c lw 33969 c lw 34237 c lw 35136 c lw 35146 c lw 36045 c lw 36055 c lw 36954 c lw 37853 c lw 37911 c lw 38358 c lw 38674 c lw 38991 c lw 39754 c lw 40208 c lw 40813 c lw 41399 c lw 41716 c lw 41916 c lw 41962 c lw 42087 c lw 42501 c lw 42567 c lw 42591 c lw 43206 c lw 43272 c lw 43847 c lw 43871 c lw 44004 c lw 44125 c lw 44145 c lw 44262 c lw 44272 c lw 44291 c lw 44601 c lw 44780 c lw 44799 c lw 44834 c lw 44913 c lw 45046 c lw 45053 c lw 45479 c lw 45769 c lw 45802 c lw 45928 c lw 46071 c lw 46162 c lw 46280 c lw 46596 c lw 46867 c lw 46925 c lw 46971 c lw 47486 c lw 47834 c lw 47900 c lw 48059 c lw 48399 c lw 48427 c lw 48496 c lw 48505 c lw 48566 c lw 48840 c lw 48886 c lw 48930 c lw 49291 c lw 49313 c lw 49416 c lw 49447 c lw 49896 c lw 49906 c lw 49936 c lw 50003 c lw 50061 c lw 50320 c lw 50330 c lw 50450 c lw 50571 c lw 50643 c lw 50913 c lw 51130 c lw 51637 c lw 51677 c lw 51703 c lw 51705 c lw 52558 c lw 52868 c lw 53064 c lw 53149 c lw 53622 c lw 53682 c lw 53748 c lw 53772 c lw 53910 c lw 53944 c lw 53958 c lw 54014 c lw 54068 c lw 54082 c lw 54106 c lw 54115 c lw 54148 c lw 54167 c lw 54177 c lw 54284 c lw 54304 c lw 54483 c lw 54497 c lw 54502 c lw 54507 c lw 54571 c lw 54604 c lw 54628 c lw 54637 c lw 54670 c lw 54695 c lw 54699 c lw 54701 c lw 54722 c lw 54753 c lw 54838 c lw 54883 c lw 54886 c lw 55014 c lw 55028 c lw 55055 c lw 55077 c lw 55099 c lw 55101 c lw 55111 c lw 55116 c lw 55138 c lw 55141 c lw 55226 c lw 55240 c lw 55327 c lw 55329 c lw 55375 c lw 55387 c lw 55397 c lw 55402 c lw 55404 c lw 55409 c lw 55416 c lw 55425 c lw 55426 c lw 55431 c lw 55438 c lw 55486 c lw 55547 c lw 55575 c lw 55597 c lw 55613 c lw 55665 c lw 55670 c lw 55675 c lw 55678 c lw 55680 c lw 55682 c lw 55683 c lw 55685 c lw 55697 c lw 55699 c lw 55702 c lw 55707 c lw 55719 c lw 55740 c lw 55742 c lw 55745 c lw 55750 c lw 55752 c lw 55754 c lw 55759 c lw 55761 c lw 55762 c lw 55763 c lw 55764 c lw 55781 c lw 55795 c lw 55802 c lw 55819 c lw 55826 c lw 55828 c lw 55831 c lw 55835 c lw 55838 c lw 55840 c lw 55845 c lw 55847 c lw 55885 c lw 55949 c lw 55973 c lw 55977 c lw 55983 c lw 55990 c lw 55994 c lw 56014 c lw 56015 c lw 56020 c lw 56025 c lw 56027 c lw 56031 c lw 56032 c lw 56034 c lw 56047 c lw 56051 c lw 56056 c lw 56063 c lw 56065 c lw 56071 c lw 56074 c lw 56081 c lw 56082 c lw 56083 c lw 56087 c lw 56098 c lw 56105 c lw 56108 c lw 56113 c lw 56163 c lw 56167 c lw 56169 c lw 56170 c lw 56171 c lw 56172 c lw 56203 c lw 56204 c lw 56209 c lw 56210 c lw 56211 c lw 56212 c lw 56376 c lw 56378 c lw 56379 c lw 56380 c lw 56382 c lw 56383 c lw 56384 c lw 56385 c lw 56387 c lw 56388 c lw 56389 c lw 56390 c lw 56391 c lw 56392 c lw 56403 c lw 56404 c lw 56405 c lw 56406 c lw 56407 c lw 56408 c lw 56409 c lw 56410 c lw 56411 c lw 56412 c lw 56413 c lw 56419 c lw 56420 c lw 56421 c lw 56422 c lw 56423 c lw 56424 c lw 56425 c lw 56426 c lw 56430 c lw 56432 c lw 56433 c lw 56434 c lw 56435 c lw 56444 c lw 56612 c lw 56613 c lw 56614 c lw 56615 c lw 56616 c lw 56617 c lw 56618 c lw 56620 c lw 56621 c lw 56632 c lw 56648 c lw 56654 c lw 56656 c lw 56658 c lw 56659 c lw 56666 c lw 56667 c lw 56668 c lw 56669 c lw 56670 c lw 56671 c lw 56673 c lw 56674 c lw 56676 c lw 56678 c lw 56679 c lw 56680 c lw 56681 c lw 56682 c lw 56683 c lw 56684 c lw 56685 c lw 56687 c lw 56688 c lw 56690 c lw 56691 c lw 56694 c lw 56696 c lw 56697 c lw 56698 c lw 56699 c lw 56700 c lw 56701 c lw 56702 c lw 56703 c lw 56704 c lw 56705 c lw 56706 c lw 56707 c lw 56708 c lw 56709 c lw 56710 c lw 56711 c lw 56712 c lw 56713 c lw 56714 c lw 56715 c lw 56719 c lw 56720 c lw 56721 c lw 56722 c lw 56723 c lw 56724 c lw 56725 c lw 56726 c lw 56727 c lw 56732 c lw 56733 c lw 56734 c lw 56735 c lw 56736 c lw 56737 c lw 56738 c lw 56739 c lw 56741 c lw 56743 c lw 56752 c lw 56763 c lw 56773 c lw 56775 c lw 56779 c lw 56780 c lw 56781 c lw 56784 c lw 56785 c lw 56786 c lw 56787 c lw 56789 c lw 56790 c lw 56791 c lw 56814 c lw 56815 c lw 56817 c lw 56819 c lw 56836 c lw 56896 c lw 57042 c lw 57044 c lw 57045 c lw 57049 c lw 57050 c lw 57082 c lw 57083 c lw 57084 c lw 57085 c lw 57089 c lw 57090 c lw 57091 c lw 57092 c lw 57093 c lw 57095 c lw 57099 c lw 57100 c lw 57101 c lw 57102 c lw 57103 c lw 57104 c lw 57105 c lw 57106 c lw 57109 c lw 57110 c lw 57111 c lw 57112 c lw 57113 c lw 57115 c lw 57116 c lw 57118 c lw 57120 c lw 57138 c lw 57139 c lw 57140 c lw 57141 c lw 57145 c lw 57151 c lw 57156 c lw 57175 c lw 57176 c lw 57178 c lw 57179 c lw 57180 c lw 57181 c lw 57182 c lw 57183 c lw 57184 c lw 57185 c lw 57186 c lw 57188 c lw 57189 c lw 57190 c lw 57191 c lw 57192 c lw 57193 c lw 57194 c lw 57195 c lw 57196 c lw 57197 c lw 57198 c lw 57199 c lw 57200 c lw 57201 c lw 57202 c lw 57203 c lw 57204 c lw 57205 c lw 57206 c lw 57207 c lw 57208 c lw 57209 c lw 57210 c lw 57211 c lw 57212 c lw 57213 c lw 57214 c lw 57215 c lw 57216 c lw 57217 c lw 57218 c lw 57219 c lw 57220 c lw 57221 c lw 57222 c lw 57223 c lw 57224 c lw 57225 c lw 57226 c lw 57227 c lw 57228 c lw 57229 c lw 57230 c lw 57231 c lw 57232 c lw 57233 c lw 57234 c lw 57235 c lw 57236 c lw 57237 c lw 57238 c lw 57239 c lw 57240 c lw 57241 c lw 57242 c lw 57243 c lw 57244 c lw 57245 c lw 57246 c lw 57247 c lw 57248 c lw 57249 c lw 57250 c lw 57251 c lw 57252 c lw 57253 c lw 57254 c lw 57255 c lw 57256 c lw 57261 c lw 57262 c lw 57263 c lw 57264 c lw 57265 c lw 57266 c lw 57267 c lw 57268 c lw 57269 c lw 57270 c lw 57271 c lw 57272 c lw 57273 c lw 57275 c lw 57279 c lw 57280 c lw 57281 c lw 57282 c lw 57283 c lw 57284 c lw 57285 c lw 57286 c lw 57287 c lw 57288 c lw 57289 c lw 57290 c lw 57291 c lw 57292 c lw 57293 c lw 57294 c lw 57295 c lw 57296 c lw 57297 c lw 57298 c lw 57299 c lw 57300 c lw 57301 c lw 57302 c lw 57303 c lw 57304 c lw 57305 c lw 57306 c lw 57331 c lw 57333 c lw 57334 c lw 57337 c lw 57358 c lw 57359 c lw 57360 c lw 57361 c lw 57362 c lw 57363 c lw 57364 c lw 57365 c lw 57366 c lw 57367 c lw 57368 c lw 57369 c lw 57387 c lw 57388 c lw 57389 c lw 57390 c lw 57391 c lw 57392 c lw 57393 c lw 57394 c lw 57395 c lw 57396 c lw 57397 c lw 57398 c lw 57399 c lw 57400 c lw 57404 c lw 57406 c lw 57407 c lw 57408 c lw 57409 c lw 57410 c lw 57411 c lw 57438 c lw 57439 c lw 57440 c lw 57441 c lw 57443 c lw 57444 c lw 57445 c lw 57446 c lw 57447 c lw 57448 c lw 57449 c lw 57455 c lw 57456 c lw 57457 c lw 57469 c lw 57471 c lw 57477 c lw 57490 c lw 57491 c lw 57492 c lw 57493 c lw 57494 c lw 57495 c lw 57496 c lw 57497 c lw 57498 c lw 57499 c lw 57500 c lw 57501 c lw 57502 c lw 57504 c lw 57505 c lw 57506 c lw 57507 c lw 57508 c lw 57509 c lw 57510 c lw 57511 c lw 57512 c lw 57513 c lw 57514 c lw 57515 c lw 57516 c lw 57517 c lw 57523 c lw 57524 c lw 57525 c lw 57526 c lw 57527 c lw 57528 c lw 57529 c lw 57530 c lw 57531 c lw 57532 c lw 57533 c lw 57534 c lw 57535 c lw 57536 c lw 57537 c lw 57538 c lw 57539 c lw 57540 c lw 57541 c lw 57542 c lw 57543 c lw 57544 c lw 57563 c lw 57566 c lw 57568 c lw 57569 c lw 57570 c lw 57571 c lw 57572 c lw 57574 c lw 57588 c lw 57589 c lw 57590 c lw 57591 c lw 57592 c lw 57593 c lw 57594 c lw 57595 c lw 57596 c lw 57597 c lw 57598 c lw 57599 c lw 57602 c lw 57603 c lw 57604 c lw 57605 c lw 57606 c lw 57607 c lw 57608 c lw 57631 c lw 57632 c lw 57633 c lw 57634 c lw 57635 c lw 57636 c lw 57638 c lw 57639 c lw 57640 c lw 57641 c lw 57642 c lw 57643 c lw 57644 c lw 57645 c lw 57646 c lw 57647 c lw 57648 c lw 57649 c lw 57650 c lw 57651 c lw 57654 c lw 57655 c lw 57656 c lw 57657 c lw 57658 c lw 57659 c lw 57660 c lw 57661 c lw 57663 c lw 57665 c lw 57666 c lw 57667 c lw 57668 c lw 57669 c lw 57670 c lw 57671 c lw 57672 c lw 57673 c lw 57674 c lw 57675 c lw 57676 c lw 57677 c lw 57678 c lw 57679 c lw 57680 c lw 57681 c lw 57682 c lw 57683 c lw 57684 c lw 57685 c lw 57686 c lw 57687 c lw 57694 c lw 57695 c lw 57696 c lw 57697 c lw 57698 c lw 57699 c lw 57700 c lw 57701 c lw 57702 c lw 57703 c lw 57704 c lw 57705 c lw 57706 c lw 57707 c lw 57708 c lw 57709 c lw 57710 c lw 57711 c lw 57715 c lw 57716 c lw 57717 c lw 57718 c lw 57719 c lw 57722 c lw 57723 c lw 57724 c lw 57734 c lw 57735 c lw 57736 c lw 57750 c lw 57751 c lw 57752 c lw 57764 c lw 57765 c lw 57766 c lw 57767 c lw 57768 c lw 57769 c lw 57770 c lw 57771 c lw 57772 c lw 57773 c lw 57774 c lw 57775 c lw 57776 c lw 57777 c lw 57778 c lw 57779 c lw 57780 c lw 57781 c lw 57782 c lw 57783 c lw 57784 c lw 57785 c lw 57787 c lw 57788 c lw 57789 c lw 57790 c lw 57791 c lw 57792 c lw 57793 c lw 57794 c lw 57795 c lw 57796 c lw 57797 c lw 57798 c lw 57799 c lw 57800 c lw 57801 c lw 57802 c lw 57803 c lw 57804 c lw 57805 c lw 57806 c lw 57807 c lw 57808 c lw 57809 c lw 57810 c lw 57811 c lw 57812 c lw 57813 c lw 57814 c lw 57815 c lw 57816 c lw 57817 c lw 57818 c lw 57819 c lw 57820 c lw 57821 c lw 57827 c lw 57828 c lw 57834 c lw 57835 c lw 57836 c lw 57837 c lw 57838 c lw 57839 c lw 57840 c lw 57841 c lw 57842 c lw 57843 c lw 57844 c lw 57845 c lw 57846 c lw 57847 c lw 57848 c lw 57849 c lw 57850 c lw 57851 c lw 57852 c lw 57853 c lw 57854 c lw 57855 c lw 57856 c lw 57857 c lw 57858 c lw 57859 c lw 57860 c lw 57861 c lw 57862 c lw 57863 c lw 57864 c lw 57865 c lw 57866 c lw 57867 c lw 57868 c lw 57869 c lw 57870 c lw 57871 c lw 57872 c lw 57873 c lw 57874 c lw 57875 c lw 57876 c lw 57877 c lw 57878 c lw 57879 c lw 57880 c lw 57881 c lw 57882 c lw 57883 c lw 57894 c lw 57895 c lw 57896 c lw 57897 c lw 57898 c lw 57899 c lw 57900 c lw 57901 c lw 57902 c lw 57903 c lw 57904 c lw 57905 c lw 57915 c lw 57917 c lw 57918 c lw 57919 c lw 57921 c lw 57928 c lw 57931 c lw 57932 c lw 57944 c lw 57945 c lw 57952 c lw 57953 c lw 57954 c lw 57955 c lw 57956 c lw 57958 c lw 57968 c lw 57969 c lw 57970 c lw 57971 c lw 57972 c lw 57977 c lw 57978 c lw 57979 c lw 57980 c lw 57982 c lw 57983 c lw 57984 c lw 57985 c lw 57986 c lw 57987 c lw 57988 c lw 57989 c lw 57990 c lw 57991 c lw 57992 c lw 57993 c lw 57994 c lw 57995 c lw 57996 c lw 57997 c lw 57998 c lw 57999 c lw 58000 c lw 58001 c lw 58002 c lw 58003 c lw 58004 c lw 58005 c lw 58007 c lw 58020 c lw 58021 c lw 58022 c lw 58023 c lw 58024 c lw 58026 c lw 58027 c lw 58028 c lw 58029 c lw 58030 c lw 58031 c lw 58032 c lw 58033 c lw 58034 c lw 58035 c lw 58041 c lw 58043 c lw 58044 c lw 58047 c lw 58048 c lw 58056 c lw 58057 c lw 58058 c lw 58064 c lw 58065 c lw 58066 c lw 58067 c lw 58068 c lw 58069 c lw 58070 c lw 58071 c lw 58072 c lw 58073 c lw 58074 c lw 58075 c lw 58076 c lw 58077 c lw 58078 c lw 58079 c lw 58080 c lw 58081 c lw 58082 c lw 58083 c lw 58084 c lw 58085 c lw 58086 c lw 58087 c lw 58088 c lw 58175 c lw 58176 c lw 58177 c lw 58178 c lw 58179 c lw 58180 c lw 58181 c lw 58182 c lw 58183 c lw 58184 c lw 58185 c lw 58186 c lw 58187 c lw 58188 c lw 58189 c lw 58190 c lw 58191 c lw 58192 c lw 58193 c lw 58194 c lw 58195 c lw 58196 c lw 58197 c lw 58198 c lw 58199 c lw 58200 c lw 58201 c lw 58202 c lw 58203 c lw 58204 c lw 58205 c lw 58206 c lw 58207 c lw 58208 c lw 58209 c lw 58210 c lw 58211 c lw 58212 c lw 58213 c lw 58214 c lw 58215 c lw 58216 c lw 58217 c lw 58218 c lw 58219 c lw 58220 c lw 58221 c lw 58222 c lw 58223 c lw 58224 c lw 58225 c lw 58226 c lw 58229 c lw 58230 c lw 58231 c lw 58232 c lw 58233 c lw 58237 c lw 58238 c lw 58239 c lw 58240 c lw 58241 c lw 58242 c lw 58243 c lw 58244 c lw 58245 c lw 58246 c lw 58247 c lw 58248 c lw 58249 c lw 58250 c lw 58251 c lw 58252 c lw 58253 Killed 1809.675u 10.062s 30:22.44 99.8% 0+0k 0+0io 0pf+0w