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_SCHEDULING_cat_sched_60_100_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_100_0002.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 355 c lw 1101 c lw 1456 c lw 2202 c lw 2557 c lw 3303 c lw 3658 c lw 4404 c lw 6373 c lw 6638 c lw 8342 c lw 8872 c lw 10311 c lw 11106 c lw 12280 c lw 13340 c lw 14249 c lw 15574 c lw 16218 c lw 17808 c lw 18187 c lw 19296 c lw 20421 c lw 20784 c lw 22272 c lw 22655 c lw 23760 c lw 24889 c lw 25994 c lw 27123 c lw 28228 c lw 29357 c lw 30462 c lw 31591 c lw 32696 c lw 33825 c lw 34930 c lw 36059 c lw 37164 c lw 38293 c lw 39398 c lw 40527 c lw 41632 c lw 42761 c lw 43866 c lw 44995 c lw 46100 c lw 47229 c lw 48334 c lw 48689 c lw 49818 c lw 50173 c lw 50568 c lw 50923 c lw 52762 c lw 52802 c lw 53157 c lw 53472 c lw 55036 c lw 55391 c lw 56061 c lw 56416 c lw 57270 c lw 57625 c lw 59005 c lw 59360 c lw 59504 c lw 59859 c lw 60214 c lw 60569 c lw 60924 c lw 61279 c lw 61573 c lw 61634 c lw 61873 c lw 61989 c lw 62173 c lw 62344 c lw 62473 c lw 62699 c lw 62789 c lw 63054 c lw 63105 c lw 63409 c lw 63421 c lw 63737 c lw 63764 c lw 64053 c lw 64119 c lw 64369 c lw 64474 c lw 64724 c lw 64829 c lw 65079 c lw 65184 c lw 65434 c lw 65539 c lw 65789 c lw 65894 c lw 66144 c lw 66249 c lw 66499 c lw 66604 c lw 66854 c lw 66959 c lw 67209 c lw 67314 c lw 67564 c lw 67669 c lw 67984 c lw 68234 c lw 68274 c lw 68589 c lw 68944 c lw 69049 c lw 69154 c lw 69299 c lw 69443 c lw 69654 c lw 69758 c lw 69863 c lw 69968 c lw 70009 c lw 70153 c lw 70364 c lw 70719 c lw 70823 c lw 70863 c lw 71034 c lw 71389 c lw 71573 c lw 71928 c lw 71968 c lw 72283 c lw 72702 c lw 73057 c lw 73412 c lw 73807 c lw 74186 c lw 74517 c lw 74936 c lw 75291 c lw 75646 c lw 76041 c lw 76420 c lw 76751 c lw 77170 c lw 77525 c lw 77880 c lw 78275 c lw 78654 c lw 78985 c lw 79404 c lw 79759 c lw 80114 c lw 80509 c lw 80888 c lw 81219 c lw 81602 c lw 81638 c lw 81993 c lw 82739 c lw 83090 c lw 83102 c lw 83481 c lw 83864 c lw 84199 c lw 84610 c lw 85254 c lw 85406 c lw 85935 c lw 86315 c lw 86466 c lw 87109 c lw 87110 c lw 87639 c lw 87905 c lw 88170 c lw 88814 c lw 89053 c lw 89108 c lw 89169 c lw 89237 c lw 89285 c lw 89366 c lw 89456 c lw 89507 c lw 89524 c lw 89682 c lw 89694 c lw 89772 c lw 89874 c lw 89979 c lw 90083 c lw 90124 c lw 90188 c lw 90229 c lw 90333 c lw 90438 c lw 90543 c lw 90583 c lw 90688 c lw 90793 c lw 90833 c lw 90899 c lw 90938 c lw 90965 c lw 91122 c lw 91152 c lw 91157 c lw 91246 c lw 91286 c lw 91351 c lw 91402 c lw 91668 c lw 91673 c lw 91751 c lw 91757 c lw 92092 c lw 92109 c lw 92160 c lw 92168 c lw 92192 c lw 92198 c lw 92266 c lw 92270 c lw 92287 c lw 92333 c lw 92334 c lw 92339 c lw 92350 c lw 92392 c lw 92438 c lw 92469 c lw 92493 c lw 92515 c lw 92526 c lw 92533 c lw 92702 c lw 92995 c lw 93002 c lw 93171 c lw 93175 c lw 93192 c lw 93202 c lw 93210 c lw 93215 c lw 93219 c lw 93256 c lw 93298 c lw 93369 c lw 93378 c lw 93383 c lw 93385 c lw 93405 c lw 93556 c lw 93592 c lw 93594 c lw 93596 c lw 93597 c lw 93599 c lw 93619 c lw 93745 c lw 93753 c lw 93763 c lw 93765 c lw 93770 c lw 93771 c lw 93773 c lw 93774 c lw 93802 c lw 93803 c lw 93804 c lw 93805 c lw 93806 c lw 93807 c lw 93809 c lw 93811 c lw 93812 c lw 93813 c lw 93814 c lw 93815 c lw 93816 c lw 93817 c lw 93821 c lw 93826 c lw 93833 c lw 93834 c lw 93835 c lw 93836 c lw 93837 c lw 93838 c lw 93845 c lw 93850 c lw 93851 c lw 93852 c lw 93881 c lw 93882 c lw 93883 c lw 93884 c lw 93885 c lw 93886 c lw 93887 c lw 93888 c lw 93932 c lw 93934 c lw 93935 c lw 93952 c lw 93961 c lw 93963 c lw 93969 c lw 93971 c lw 93988 c lw 94003 c lw 94012 c lw 94029 c lw 94030 c lw 94032 c lw 94033 c lw 94034 c lw 94035 c lw 94036 c lw 94037 c lw 94038 c lw 94039 c lw 94045 c lw 94047 c lw 94054 c lw 94056 c lw 94057 c lw 94058 c lw 94059 c lw 94060 c lw 94062 c lw 94064 c lw 94065 c lw 94066 c lw 94067 c lw 94068 c lw 94069 c lw 94070 c lw 94074 c lw 94076 c lw 94077 c lw 94078 c lw 94079 c lw 94083 c lw 94085 c lw 94086 c lw 94087 c lw 94088 c lw 94089 c lw 94090 c lw 94091 c lw 94092 c lw 94093 c lw 94094 c lw 94095 c lw 94096 c lw 94097 c lw 94098 c lw 94099 c lw 94100 c lw 94101 c lw 94102 c lw 94103 c lw 94104 c lw 94105 c lw 94106 c lw 94107 c lw 94108 c lw 94109 c lw 94110 c lw 94128 c lw 94130 c lw 94132 c lw 94134 c lw 94211 c lw 94228 c lw 94229 c lw 94230 c lw 94231 c lw 94242 c lw 94243 c lw 94244 c lw 94245 c lw 94246 c lw 94248 c lw 94249 c lw 94268 c lw 94269 c lw 94270 c lw 94271 c lw 94277 c lw 94278 c lw 94279 c lw 94285 c lw 94286 c lw 94287 c lw 94288 c lw 94289 c lw 94290 c lw 94291 c lw 94292 c lw 94293 c lw 94294 c lw 94295 c lw 94296 c lw 94297 c lw 94298 c lw 94299 c lw 94300 c lw 94301 c lw 94302 c lw 94303 c lw 94304 c lw 94305 c lw 94306 c lw 94307 c lw 94308 c lw 94309 c lw 94310 c lw 94311 c lw 94312 c lw 94313 c lw 94314 c lw 94315 c lw 94316 c lw 94317 c lw 94318 c lw 94319 c lw 94320 c lw 94356 c lw 94405 c lw 94490 c lw 94494 c lw 94495 c lw 94496 c lw 94497 c lw 94498 c lw 94499 c lw 94500 c lw 94501 c lw 94502 c lw 94503 c lw 94504 c lw 94505 c lw 94507 c lw 94508 c lw 94509 c lw 94510 c lw 94511 c lw 94512 c lw 94513 c lw 94514 c lw 94515 c lw 94516 c lw 94517 c lw 94518 c lw 94519 c lw 94520 c lw 94568 c lw 94839 c lw 94898 c lw 94899 c lw 94900 c lw 94901 c lw 94902 c lw 94911 c lw 94914 c lw 94915 c lw 94917 c lw 94918 c lw 94919 c lw 94920 c lw 94921 c lw 94922 c lw 94923 c lw 94924 c lw 94925 c lw 94926 c lw 94927 c lw 94928 c lw 94929 c lw 94930 c lw 94931 c lw 94932 c lw 94933 c lw 94934 c lw 94935 c lw 94936 c lw 94937 c lw 94938 c lw 94939 c lw 94941 c lw 94942 c lw 94943 c lw 94956 c lw 94966 c lw 94967 c lw 94968 c lw 94969 c lw 94970 c lw 94971 c lw 94972 c lw 94973 c lw 94974 c lw 94975 c lw 94976 c lw 94977 c lw 94978 c lw 94979 c lw 94980 c lw 94981 c lw 94982 c lw 94983 c lw 94984 c lw 94985 c lw 94986 c lw 94987 c lw 94988 c lw 94989 c lw 94990 c lw 94991 c lw 94992 c lw 94993 c lw 94994 c lw 94995 c lw 94996 c lw 94997 c lw 94998 c lw 94999 c lw 95000 c lw 95001 c lw 95002 c lw 95003 c lw 95004 c lw 95005 c lw 95006 c lw 95007 c lw 95008 c lw 95009 c lw 95010 c lw 95011 c lw 95012 c lw 95013 c lw 95014 c lw 95015 c lw 95016 c lw 95017 c lw 95018 c lw 95019 c lw 95020 c lw 95021 c lw 95022 c lw 95023 c lw 95024 c lw 95025 c lw 95026 c lw 95027 c lw 95028 c lw 95029 c lw 95030 c lw 95031 c lw 95032 c lw 95033 c lw 95034 c lw 95035 c lw 95036 c lw 95037 c lw 95038 c lw 95039 c lw 95040 c lw 95041 c lw 95042 c lw 95043 c lw 95044 c lw 95045 c lw 95046 c lw 95047 c lw 95048 c lw 95058 c lw 95060 c lw 95061 c lw 95064 c lw 95065 c lw 95066 c lw 95067 c lw 95068 c lw 95069 c lw 95070 c lw 95071 c lw 95072 c lw 95073 c lw 95074 c lw 95075 c lw 95076 c lw 95077 c lw 95078 c lw 95079 c lw 95080 c lw 95081 c lw 95082 c lw 95083 c lw 95084 c lw 95085 c lw 95086 c lw 95087 c lw 95088 c lw 95089 c lw 95090 c lw 95091 c lw 95092 c lw 95093 c lw 95094 c lw 95095 c lw 95096 c lw 95097 c lw 95098 c lw 95099 c lw 95100 c lw 95101 c lw 95102 c lw 95103 c lw 95104 c lw 95105 c lw 95106 c lw 95107 c lw 95108 c lw 95109 c lw 95110 c lw 95111 c lw 95112 c lw 95113 c lw 95114 c lw 95115 c lw 95116 c lw 95117 c lw 95141 c lw 95426 c lw 95427 c lw 95428 c lw 95429 c lw 95430 c lw 95431 c lw 95432 c lw 95433 c lw 95434 c lw 95435 c lw 95436 c lw 95437 c lw 95438 c lw 95439 c lw 95440 c lw 95441 c lw 95442 c lw 95443 c lw 95444 c lw 95445 c lw 95446 c lw 95447 c lw 95448 c lw 95449 c lw 95450 c lw 95451 c lw 95452 c lw 95453 c lw 95454 c lw 95455 c lw 95456 c lw 95457 c lw 95458 c lw 95459 c lw 95460 c lw 95461 c lw 95468 c lw 95546 c lw 95558 c lw 95601 c lw 95602 c lw 95603 c lw 95604 c lw 95664 c lw 95665 c lw 95666 c lw 95667 c lw 95668 c lw 95669 c lw 95670 c lw 95671 c lw 95672 c lw 95673 c lw 95674 c lw 95675 c lw 95676 c lw 95677 c lw 95678 c lw 95679 c lw 95680 c lw 95681 c lw 95682 c lw 95683 c lw 95684 c lw 95685 c lw 95686 c lw 95687 c lw 95688 c lw 95690 c lw 95691 c lw 95692 c lw 95693 c lw 95694 c lw 95695 c lw 95696 c lw 95697 c lw 95699 c lw 95703 c lw 95743 c lw 95744 c lw 95745 c lw 95746 c lw 95784 c lw 95785 c lw 95786 c lw 95787 c lw 95788 c lw 95789 c lw 95790 c lw 95791 c lw 95792 c lw 95793 c lw 95794 c lw 95795 c lw 95796 c lw 95797 c lw 95812 c lw 95813 c lw 95817 c lw 95823 c lw 95830 c lw 95881 c lw 95889 c lw 95891 c lw 95895 c lw 95897 c lw 95899 c lw 95903 c lw 95904 c lw 95906 c lw 95911 c lw 95913 c lw 95918 c lw 95920 c lw 95922 c lw 95923 c lw 95924 c lw 95925 c lw 95926 c lw 95927 c lw 95928 c lw 95929 c lw 95930 c lw 95931 c lw 96104 c lw 96105 c lw 96106 c lw 96107 c lw 96108 c lw 96109 c lw 96110 c lw 96111 c lw 96112 c lw 96113 c lw 96114 c lw 96115 c lw 96116 c lw 96117 c lw 96118 c lw 96119 c lw 96120 c lw 96121 c lw 96122 c lw 96123 c lw 96124 c lw 96125 c lw 96126 c lw 96127 c lw 96128 c lw 96129 c lw 96130 c lw 96131 c lw 96132 c lw 96151 c lw 96152 c lw 96153 c lw 96154 c lw 96155 c lw 96157 c lw 96158 c lw 96159 c lw 96160 c lw 96161 c lw 96162 c lw 96163 c lw 96164 c lw 96165 c lw 96166 c lw 96167 c lw 96168 c lw 96169 c lw 96170 c lw 96171 c lw 96172 c lw 96173 c lw 96174 c lw 96175 c lw 96176 c lw 96177 c lw 96178 c lw 96190 c lw 96191 c lw 96226 c lw 96248 c lw 96250 c lw 96286 c lw 96290 c lw 96295 c lw 96303 c lw 96306 c lw 96307 c lw 96308 c lw 96309 c lw 96313 c lw 96330 c lw 96334 c lw 96336 c lw 96337 c lw 96355 c lw 96356 c lw 96357 c lw 96358 c lw 96359 c lw 96362 c lw 96363 c lw 96366 c lw 96367 c lw 96371 c lw 96372 c lw 96373 c lw 96374 c lw 96377 c lw 96389 c lw 96704 c lw 96768 c lw 96950 c lw 96999 c lw 97084 c lw 97099 c lw 97114 c lw 97148 c lw 97199 c lw 97212 c lw 97380 c lw 97395 c lw 97439 c lw 97449 c lw 97453 c lw 97454 c lw 97456 c lw 97468 c lw 97478 c lw 97483 c lw 97486 c lw 97487 c lw 97801 c lw 97811 c lw 97818 c lw 97843 c lw 97858 c lw 97899 c lw 97906 c lw 97913 c lw 97923 c lw 97954 c lw 97969 c lw 97981 c lw 97991 c lw 97994 c lw 97996 c lw 97999 c lw 98000 c lw 98001 c lw 98011 c lw 98197 c lw 98220 c lw 98230 c lw 98231 c lw 98237 c lw 98240 c lw 98244 c lw 98247 c lw 98250 c lw 98262 c lw 98277 c lw 98278 c lw 98318 c lw 98585 c lw 98598 c lw 98633 c lw 98634 c lw 98668 c lw 98679 c lw 98680 c lw 98718 c lw 98784 c lw 98794 c lw 98795 c lw 98796 c lw 98799 c lw 98801 c lw 98802 c lw 98808 c lw 98809 c lw 98811 c lw 98814 c lw 98815 c lw 98817 c lw 98818 c lw 98821 c lw 98822 c lw 98825 c lw 98828 c lw 98838 c lw 98840 c lw 98848 c lw 98849 c lw 98947 c lw 98953 c lw 98955 c lw 98956 c lw 98959 c lw 98960 c lw 98964 c lw 98965 c lw 98966 c lw 98967 c lw 98968 c lw 98969 c lw 98970 c lw 98971 c lw 98972 c lw 98973 c lw 98974 c lw 98975 c lw 98979 c lw 98980 c lw 98983 c lw 98984 c lw 98985 c lw 98986 c lw 98987 c lw 98995 c lw 98998 c lw 99001 c lw 99002 c lw 99004 c lw 99005 c lw 99006 c lw 99007 c lw 99008 c lw 99009 c lw 99010 c lw 99011 c lw 99012 c lw 99015 c lw 99016 c lw 99017 c lw 99018 c lw 99019 c lw 99020 c lw 99021 c lw 99022 c lw 99023 c lw 99024 c lw 99025 c lw 99026 c lw 99027 c lw 99029 c lw 99032 c lw 99033 c lw 99038 c lw 99039 c lw 99040 c lw 99041 c lw 99042 c lw 99044 c lw 99046 c lw 99049 c lw 99050 c lw 99051 c lw 99052 Killed 1817.089u 2.658s 30:21.45 99.9% 0+0k 0+0io 0pf+0w