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_170_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_170_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 146 c lw 292 c lw 438 c lw 584 c lw 730 c lw 876 c lw 1022 c lw 1168 c lw 1314 c lw 1460 c lw 1606 c lw 1752 c lw 1898 c lw 2044 c lw 2190 c lw 2336 c lw 2482 c lw 2628 c lw 2774 c lw 2920 c lw 3066 c lw 3212 c lw 3358 c lw 3504 c lw 3624 c lw 3650 c lw 4089 c lw 4528 c lw 4967 c lw 5406 c lw 5845 c lw 6284 c lw 6723 c lw 7162 c lw 7601 c lw 8040 c lw 8479 c lw 8918 c lw 9357 c lw 9796 c lw 10235 c lw 10674 c lw 11113 c lw 11233 c lw 11448 c lw 11552 c lw 11672 c lw 11887 c lw 11903 c lw 11991 c lw 13747 c lw 14158 c lw 14373 c lw 15503 c lw 15914 c lw 16129 c lw 16755 c lw 17166 c lw 17259 c lw 17670 c lw 17885 c lw 18007 c lw 19015 c lw 19426 c lw 19641 c lw 20389 c lw 20771 c lw 21182 c lw 21397 c lw 21426 c lw 21641 c lw 22527 c lw 22938 c lw 23153 c lw 24023 c lw 24283 c lw 24389 c lw 24497 c lw 24605 c lw 24717 c lw 24831 c lw 24945 c lw 25059 c lw 25064 c lw 25173 c lw 25287 c lw 25401 c lw 25515 c lw 25629 c lw 25743 c lw 25845 c lw 25857 c lw 25971 c lw 26085 c lw 26199 c lw 26313 c lw 26427 c lw 26541 c lw 26626 c lw 26655 c lw 26819 c lw 26983 c lw 27147 c lw 27311 c lw 27407 c lw 27495 c lw 27622 c lw 27679 c lw 27837 c lw 27863 c lw 28047 c lw 28052 c lw 28231 c lw 28267 c lw 28446 c lw 28482 c lw 28661 c lw 28697 c lw 28791 c lw 28875 c lw 28912 c lw 29032 c lw 29127 c lw 29247 c lw 29272 c lw 29305 c lw 29423 c lw 29543 c lw 29663 c lw 29716 c lw 29783 c lw 29903 c lw 30023 c lw 30127 c lw 30143 c lw 30263 c lw 30383 c lw 30503 c lw 30538 c lw 30623 c lw 30743 c lw 30863 c lw 30949 c lw 30983 c lw 31103 c lw 31223 c lw 31343 c lw 31360 c lw 31463 c lw 31583 c lw 31703 c lw 31771 c lw 31823 c lw 31922 c lw 31943 c lw 32063 c lw 32183 c lw 32271 c lw 32303 c lw 32423 c lw 32543 c lw 32620 c lw 32663 c lw 32783 c lw 32870 c lw 32881 c lw 32918 c lw 32966 c lw 32995 c lw 33080 c lw 33097 c lw 33109 c lw 33133 c lw 33194 c lw 33223 c lw 33235 c lw 33308 c lw 33312 c lw 33313 c lw 33348 c lw 33422 c lw 33427 c lw 33527 c lw 33532 c lw 33536 c lw 33539 c lw 33644 c lw 33647 c lw 33716 c lw 33742 c lw 33750 c lw 33852 c lw 33864 c lw 33900 c lw 33957 c lw 33966 c lw 33978 c lw 34080 c lw 34084 c lw 34092 c lw 34172 c lw 34189 c lw 34268 c lw 34353 c lw 34432 c lw 34449 c lw 34517 c lw 34546 c lw 34596 c lw 34598 c lw 34683 c lw 34695 c lw 34738 c lw 34749 c lw 34761 c lw 34803 c lw 34881 c lw 34891 c lw 34923 c lw 34979 c lw 35001 c lw 35069 c lw 35099 c lw 35120 c lw 35121 c lw 35138 c lw 35189 c lw 35191 c lw 35258 c lw 35292 c lw 35378 c lw 35412 c lw 35447 c lw 35498 c lw 35532 c lw 35567 c lw 35583 c lw 35687 c lw 35703 c lw 35918 c lw 36329 c lw 36426 c lw 36479 c lw 36530 c lw 36546 c lw 36597 c lw 36599 c lw 36717 c lw 36835 c lw 36864 c lw 36880 c lw 37079 c lw 37099 c lw 37199 c lw 37224 c lw 37291 c lw 37294 c lw 37324 c lw 37539 c lw 37880 c lw 37916 c lw 37950 c lw 37966 c lw 37974 c lw 38000 c lw 38004 c lw 38020 c lw 38090 c lw 38139 c lw 38181 c lw 38274 c lw 38303 c lw 38518 c lw 38563 c lw 38685 c lw 38809 c lw 39024 c lw 39189 c lw 39311 c lw 39365 c lw 39431 c lw 39524 c lw 39689 c lw 40059 c lw 40163 c lw 40205 c lw 40309 c lw 40351 c lw 40455 c lw 40497 c lw 40601 c lw 40643 c lw 40747 c lw 40789 c lw 40893 c lw 40935 c lw 41039 c lw 41081 c lw 41185 c lw 41227 c lw 41331 c lw 41373 c lw 41477 c lw 41519 c lw 41623 c lw 41665 c lw 41984 c lw 42104 c lw 42208 c lw 42527 c lw 42900 c lw 42966 c lw 43339 c lw 43405 c lw 43655 c lw 43778 c lw 43967 c lw 44087 c lw 44097 c lw 44165 c lw 44173 c lw 44189 c lw 44199 c lw 44207 c lw 44225 c lw 44229 c lw 44241 c lw 44281 c lw 44305 c lw 44330 c lw 44359 c lw 44406 c lw 44448 c lw 44490 c lw 44510 c lw 44552 c lw 44594 c lw 44656 c lw 44698 c lw 44740 c lw 44802 c lw 44844 c lw 44886 c lw 44948 c lw 44990 c lw 45032 c lw 45094 c lw 45136 c lw 45240 c lw 45256 c lw 45264 c lw 45265 c lw 45281 c lw 45400 c lw 45403 c lw 45422 c lw 45427 c lw 45430 c lw 45436 c lw 45438 c lw 45472 c lw 45517 c lw 45523 c lw 45616 c lw 45732 c lw 45733 c lw 45748 c lw 45749 c lw 45755 c lw 45777 c lw 45778 c lw 45781 c lw 45783 c lw 45903 c lw 45911 c lw 45925 c lw 45927 c lw 45949 c lw 45952 c lw 45962 c lw 45964 c lw 45967 c lw 45992 c lw 45996 c lw 46026 c lw 46027 c lw 46110 c lw 46360 c lw 46426 c lw 46466 c lw 46799 c lw 46865 c lw 47238 c lw 47361 c lw 47427 c lw 47488 c lw 47528 c lw 47821 c lw 47861 c lw 47927 c lw 47930 c lw 47943 c lw 47946 c lw 47961 c lw 48316 c lw 48318 c lw 48319 c lw 48320 c lw 48321 c lw 48322 c lw 48323 c lw 48324 c lw 48325 c lw 48335 c lw 48345 c lw 48401 c lw 48413 c lw 48414 c lw 48415 c lw 48416 c lw 48417 c lw 48529 c lw 48581 c lw 48582 c lw 48585 c lw 48628 c lw 48663 c lw 48664 c lw 48674 c lw 48690 c lw 48752 c lw 48792 c lw 48797 c lw 48800 c lw 48835 c lw 48837 c lw 48923 c lw 48935 c lw 48937 c lw 48945 c lw 48951 c lw 48952 c lw 48953 c lw 48955 c lw 48961 c lw 48962 c lw 48964 c lw 48965 c lw 48972 c lw 48973 c lw 48975 c lw 48976 c lw 49003 c lw 49008 c lw 49009 c lw 49011 c lw 49012 c lw 49013 c lw 49015 c lw 49061 c lw 49062 c lw 49063 c lw 49064 c lw 49065 c lw 49066 c lw 49067 c lw 49106 c lw 49107 c lw 49116 c lw 49121 c lw 49122 c lw 49125 c lw 49129 c lw 49130 c lw 49131 c lw 49132 c lw 49143 c lw 49144 c lw 49145 c lw 49146 c lw 49147 c lw 49148 c lw 49149 c lw 49150 c lw 49151 c lw 49152 c lw 49153 c lw 49154 c lw 49155 c lw 49156 c lw 49157 c lw 49158 c lw 49159 c lw 49160 c lw 49161 c lw 49162 c lw 49163 c lw 49169 c lw 49170 c lw 49171 c lw 49172 c lw 49173 c lw 49174 c lw 49176 c lw 49177 c lw 49190 c lw 49193 c lw 49194 c lw 49196 c lw 49198 c lw 49201 c lw 49202 c lw 49207 c lw 49218 c lw 49219 c lw 49224 c lw 49225 c lw 49226 c lw 49237 c lw 49253 c lw 49254 c lw 49255 c lw 49256 c lw 49257 c lw 49263 c lw 49264 c lw 49265 c lw 49266 c lw 49267 c lw 49277 c lw 49278 c lw 49279 c lw 49281 c lw 49286 c lw 49287 c lw 49288 c lw 49289 c lw 49292 c lw 49293 c lw 49294 c lw 49298 c lw 49300 c lw 49302 c lw 49303 c lw 49304 c lw 49305 c lw 49309 c lw 49310 c lw 49311 c lw 49312 c lw 49313 c lw 49314 c lw 49315 c lw 49316 c lw 49317 c lw 49318 c lw 49319 c lw 49322 c lw 49323 c lw 49324 c lw 49325 c lw 49326 c lw 49327 c lw 49329 c lw 49331 c lw 49332 c lw 49333 c lw 49334 c lw 49335 c lw 49336 c lw 49337 c lw 49338 c lw 49339 c lw 49340 c lw 49341 c lw 49342 c lw 49343 c lw 49344 c lw 49345 c lw 49346 c lw 49347 c lw 49349 c lw 49350 c lw 49351 c lw 49352 c lw 49415 c lw 49427 c lw 49428 c lw 49440 c lw 49441 c lw 49442 c lw 49444 c lw 49445 c lw 49446 c lw 49447 c lw 49448 c lw 49449 c lw 49450 c lw 49451 c lw 49452 c lw 49453 c lw 49454 c lw 49455 c lw 49457 c lw 49458 c lw 49460 c lw 49461 c lw 49462 c lw 49463 c lw 49464 c lw 49465 c lw 49466 c lw 49482 c lw 49483 c lw 49484 c lw 49485 c lw 49486 c lw 49487 c lw 49488 c lw 49489 c lw 49490 c lw 49491 c lw 49492 c lw 49493 c lw 49494 c lw 49495 c lw 49496 c lw 49497 c lw 49498 c lw 49499 c lw 49501 c lw 49502 c lw 49503 c lw 49504 c lw 49505 c lw 49506 c lw 49507 c lw 49508 c lw 49509 c lw 49510 c lw 49511 c lw 49512 c lw 49513 c lw 49515 c lw 49516 c lw 49517 c lw 49518 c lw 49519 c lw 49520 c lw 49521 c lw 49522 c lw 49523 c lw 49524 c lw 49525 c lw 49526 c lw 49530 c lw 49549 c lw 49550 c lw 49551 c lw 49552 c lw 49553 c lw 49554 c lw 49570 c lw 49576 c lw 49577 c lw 49578 c lw 49579 c lw 49591 c lw 49592 c lw 49593 c lw 49594 c lw 49595 c lw 49596 c lw 49597 c lw 49598 c lw 49599 c lw 49600 c lw 49601 c lw 49602 c lw 49603 c lw 49604 c lw 49605 c lw 49606 c lw 49607 c lw 49608 c lw 49609 c lw 49610 c lw 49611 c lw 49612 c lw 49613 c lw 49614 c lw 49615 c lw 49616 c lw 49617 c lw 49618 c lw 49619 c lw 49620 c lw 49621 c lw 49622 c lw 49623 c lw 49646 c lw 49647 c lw 49648 c lw 49649 c lw 49657 c lw 49658 c lw 49659 c lw 49660 c lw 49669 c lw 49670 c lw 49671 c lw 49721 c lw 49722 c lw 49723 c lw 49724 c lw 49725 c lw 49726 c lw 49727 c lw 49728 c lw 49729 c lw 49730 c lw 49731 c lw 49732 c lw 49733 c lw 49734 c lw 49735 c lw 49736 c lw 49737 c lw 49738 c lw 49739 c lw 49740 c lw 49741 c lw 49742 c lw 49743 c lw 49744 c lw 49745 c lw 49746 c lw 49747 c lw 49748 c lw 49749 c lw 49750 c lw 49751 c lw 49752 c lw 49753 c lw 49754 c lw 49757 c lw 49758 c lw 49759 c lw 49760 c lw 49761 c lw 49762 c lw 49763 c lw 49764 c lw 49765 c lw 49766 c lw 49767 c lw 49768 c lw 49775 c lw 49782 c lw 49785 c lw 49790 c lw 49854 c lw 49869 c lw 49870 c lw 49871 c lw 49875 c lw 49883 c lw 49886 c lw 49894 c lw 49897 c lw 49899 c lw 49909 c lw 49910 c lw 49955 c lw 49977 c lw 49997 c lw 49998 c lw 50005 c lw 50006 c lw 50007 c lw 50011 c lw 50081 c lw 50082 c lw 50094 c lw 50103 c lw 50110 c lw 50111 c lw 50112 c lw 50114 c lw 50142 c lw 50177 c lw 50178 c lw 50182 c lw 50195 c lw 50203 c lw 50215 c lw 50227 c lw 50239 c lw 50268 c lw 50317 c lw 50337 c lw 50361 c lw 50373 c lw 50375 c lw 50376 c lw 50377 c lw 50418 c lw 50503 c lw 50518 c lw 50543 c lw 50544 c lw 50545 c lw 50546 c lw 50547 c lw 50549 c lw 50550 c lw 50551 c lw 50552 c lw 50553 c lw 50554 c lw 50555 c lw 50562 c lw 50568 c lw 50569 c lw 50570 c lw 50571 c lw 50572 c lw 50573 c lw 50574 c lw 50575 c lw 50576 c lw 50577 c lw 50578 c lw 50579 c lw 50580 c lw 50586 c lw 50587 c lw 50593 c lw 50603 c lw 50604 c lw 50605 c lw 50606 c lw 50607 c lw 50608 c lw 50609 c lw 50610 c lw 50611 c lw 50612 c lw 50613 c lw 50615 c lw 50627 c lw 50632 c lw 50633 c lw 50634 c lw 50635 c lw 50640 c lw 50641 c lw 50642 c lw 50648 c lw 50649 c lw 50650 c lw 50651 c lw 50652 c lw 50654 c lw 50655 c lw 50656 c lw 50657 c lw 50658 c lw 50659 c lw 50660 c lw 50661 c lw 50662 c lw 50663 c lw 50664 c lw 50665 c lw 50667 c lw 50668 c lw 50669 c lw 50670 c lw 50671 c lw 50672 c lw 50673 c lw 50674 c lw 50675 c lw 50676 c lw 50677 c lw 50678 c lw 50693 c lw 50694 c lw 50695 c lw 50696 c lw 50709 c lw 50710 c lw 50711 c lw 50717 c lw 50720 c lw 50728 c lw 50731 c lw 50733 c lw 50740 c lw 50741 c lw 50742 c lw 50743 c lw 50744 c lw 50745 c lw 50747 c lw 50748 c lw 50749 c lw 50750 c lw 50751 c lw 50754 c lw 50755 c lw 50756 c lw 50757 c lw 50758 c lw 50759 c lw 50760 c lw 50761 c lw 50762 c lw 50763 c lw 50764 c lw 50765 c lw 50766 c lw 50767 c lw 50768 c lw 50780 c lw 50782 c lw 50789 c lw 50792 c lw 50793 c lw 50794 c lw 50795 c lw 50796 c lw 50797 c lw 50798 c lw 50799 c lw 50800 c lw 50801 c lw 50802 c lw 50803 c lw 50804 c lw 50805 c lw 50806 c lw 50807 c lw 50808 c lw 50814 c lw 50830 c lw 50837 c lw 50838 c lw 50839 c lw 50846 c lw 50860 c lw 50862 c lw 50863 c lw 50864 c lw 50865 c lw 50866 c lw 50867 c lw 50868 c lw 50869 c lw 50870 c lw 50871 c lw 50872 c lw 50873 c lw 50874 c lw 50875 c lw 50876 c lw 50877 c lw 50878 c lw 50881 c lw 50882 c lw 50883 c lw 50884 c lw 50885 c lw 50892 c lw 50893 c lw 50896 c lw 50897 c lw 50898 c lw 50899 c lw 50902 c lw 50903 c lw 50904 c lw 50905 c lw 50911 c lw 50920 c lw 50921 c lw 50934 c lw 50935 c lw 50936 c lw 50937 c lw 50938 c lw 50939 c lw 50940 c lw 50941 c lw 50942 c lw 50943 c lw 50944 c lw 50945 c lw 50946 c lw 50947 c lw 50948 c lw 50949 c lw 50950 c lw 50956 c lw 50960 c lw 50961 c lw 50962 c lw 50963 c lw 50964 c lw 50965 c lw 50966 c lw 50967 c lw 50968 c lw 50969 c lw 50970 c lw 50971 c lw 50972 c lw 50973 c lw 50974 c lw 50975 c lw 50976 c lw 50977 c lw 50978 c lw 50979 c lw 50980 c lw 50984 c lw 51032 c lw 51039 c lw 51041 c lw 51042 c lw 51043 c lw 51044 c lw 51045 c lw 51046 c lw 51047 c lw 51048 c lw 51049 c lw 51050 c lw 51051 c lw 51052 c lw 51053 c lw 51054 c lw 51055 c lw 51056 c lw 51057 c lw 51058 c lw 51059 c lw 51060 c lw 51061 c lw 51062 c lw 51063 c lw 51064 c lw 51065 c lw 51069 c lw 51070 c lw 51071 c lw 51072 c lw 51073 c lw 51074 c lw 51075 c lw 51076 c lw 51077 c lw 51078 c lw 51079 c lw 51080 c lw 51083 c lw 51084 c lw 51085 c lw 51086 c lw 51087 c lw 51088 c lw 51089 c lw 51090 c lw 51091 c lw 51092 c lw 51093 c lw 51096 c lw 51098 c lw 51119 c lw 51128 c lw 51129 c lw 51130 c lw 51131 c lw 51161 c lw 51162 c lw 51163 c lw 51169 c lw 51172 c lw 51179 c lw 51184 c lw 51185 c lw 51214 c lw 51234 c lw 51235 c lw 51237 c lw 51238 c lw 51240 c lw 51241 c lw 51242 c lw 51243 c lw 51244 c lw 51245 c lw 51246 c lw 51247 c lw 51263 c lw 51297 c lw 51313 c lw 51366 c lw 51367 c lw 51383 c lw 51384 c lw 51416 c lw 51417 c lw 51418 c lw 51419 c lw 51432 c lw 51437 c lw 51438 c lw 51452 c lw 51470 c lw 51503 c lw 51538 c lw 51539 c lw 51540 c lw 51541 c lw 51545 c lw 51552 c lw 51553 c lw 51554 c lw 51559 c lw 51560 c lw 51561 c lw 51562 c lw 51563 c lw 51564 c lw 51565 c lw 51566 c lw 51567 c lw 51570 c lw 51571 c lw 51576 c lw 51577 c lw 51580 c lw 51581 c lw 51582 c lw 51587 c lw 51588 c lw 51589 c lw 51590 c lw 51591 c lw 51592 c lw 51593 c lw 51594 c lw 51595 c lw 51596 c lw 51597 c lw 51598 c lw 51646 c lw 51647 c lw 51648 c lw 51649 c lw 51650 c lw 51651 c lw 51657 c lw 51672 c lw 51673 c lw 51674 c lw 51685 c lw 51686 c lw 51687 c lw 51688 c lw 51691 c lw 51692 c lw 51693 c lw 51694 c lw 51696 c lw 51708 c lw 51746 c lw 51747 c lw 51748 c lw 51749 c lw 51750 c lw 51751 c lw 51752 c lw 51753 c lw 51754 c lw 51755 c lw 51756 c lw 51757 c lw 51758 c lw 51771 c lw 51792 c lw 51793 c lw 51794 c lw 51795 c lw 51796 c lw 51797 c lw 51798 c lw 51799 c lw 51800 c lw 51801 c lw 51802 c lw 51803 c lw 51804 c lw 51805 c lw 51806 c lw 51807 c lw 51809 c lw 51810 c lw 51811 c lw 51812 c lw 51813 c lw 51817 c lw 51818 c lw 51822 c lw 51859 c lw 51863 c lw 51864 c lw 51865 c lw 51866 c lw 51872 c lw 51873 c lw 51874 c lw 51876 c lw 51878 c lw 51879 c lw 51880 c lw 51887 c lw 51889 c lw 51892 c lw 51901 c lw 51902 c lw 51903 c lw 51904 c lw 51905 c lw 51906 c lw 51907 c lw 51908 c lw 51909 c lw 51910 c lw 51911 c lw 51912 c lw 51913 c lw 51914 c lw 51915 c lw 51916 c lw 51917 c lw 51918 c lw 51919 c lw 51920 c lw 51921 c lw 51922 c lw 51923 c lw 51924 c lw 51925 c lw 51926 c lw 51927 c lw 51928 c lw 51929 Killed 1811.001u 8.753s 30:21.61 99.8% 0+0k 0+0io 0pf+0w