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_120_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 312 c lw 624 c lw 936 c lw 1248 c lw 1560 c lw 1872 c lw 2184 c lw 2496 c lw 2613 c lw 2730 c lw 2847 c lw 2964 c lw 3081 c lw 3198 c lw 3315 c lw 3432 c lw 3549 c lw 3666 c lw 3783 c lw 3900 c lw 4017 c lw 4134 c lw 4251 c lw 4368 c lw 4485 c lw 4602 c lw 4719 c lw 4836 c lw 4953 c lw 5070 c lw 5187 c lw 5304 c lw 5421 c lw 5538 c lw 7134 c lw 7384 c lw 8730 c lw 9230 c lw 10382 c lw 11076 c lw 12034 c lw 12922 c lw 13686 c lw 14768 c lw 15338 c lw 16614 c lw 16990 c lw 18460 c lw 18642 c lw 20306 c lw 20488 c lw 22152 c lw 22334 c lw 23998 c lw 24180 c lw 25844 c lw 26026 c lw 27690 c lw 27872 c lw 29536 c lw 29718 c lw 31382 c lw 31564 c lw 33228 c lw 33410 c lw 35074 c lw 35256 c lw 36920 c lw 37102 c lw 38766 c lw 38948 c lw 40612 c lw 40794 c lw 42458 c lw 42640 c lw 44304 c lw 46150 c lw 47996 c lw 48361 c lw 48783 c lw 49387 c lw 49842 c lw 51233 c lw 51688 c lw 53501 c lw 53534 c lw 55347 c lw 55380 c lw 57226 c lw 57615 c lw 59494 c lw 59766 c lw 61762 c lw 62034 c lw 64030 c lw 64302 c lw 66298 c lw 66570 c lw 68566 c lw 68838 c lw 70834 c lw 71106 c lw 73102 c lw 73374 c lw 75058 c lw 75642 c lw 77014 c lw 77910 c lw 79282 c lw 80178 c lw 81550 c lw 82446 c lw 83818 c lw 84714 c lw 86086 c lw 86982 c lw 88354 c lw 88809 c lw 88958 c lw 89231 c lw 89323 c lw 89356 c lw 89745 c lw 90127 c lw 90589 c lw 90622 c lw 91558 c lw 91992 c lw 92013 c lw 92402 c lw 93404 c lw 94366 c lw 94776 c lw 95262 c lw 95444 c lw 96026 c lw 96344 c lw 96526 c lw 97108 c lw 97230 c lw 97518 c lw 98126 c lw 98480 c lw 98890 c lw 99064 c lw 99376 c lw 99474 c lw 100164 c lw 100436 c lw 101372 c lw 101634 c lw 101906 c lw 102160 c lw 103630 c lw 103824 c lw 103902 c lw 104084 c lw 105486 c lw 105566 c lw 105668 c lw 105748 c lw 107150 c lw 107332 c lw 107526 c lw 107848 c lw 108120 c lw 109328 c lw 109510 c lw 110810 c lw 110992 c lw 111174 c lw 112474 c lw 112656 c lw 112838 c lw 114138 c lw 114320 c lw 114502 c lw 115802 c lw 115984 c lw 116360 c lw 117260 c lw 117272 c lw 117830 c lw 118160 c lw 118524 c lw 118788 c lw 119288 c lw 119312 c lw 119562 c lw 120134 c lw 120251 c lw 120523 c lw 120767 c lw 120884 c lw 120962 c lw 121001 c lw 121118 c lw 121235 c lw 121274 c lw 121352 c lw 121469 c lw 121586 c lw 121703 c lw 121820 c lw 121859 c lw 121937 c lw 121976 c lw 122054 c lw 122366 c lw 122678 c lw 122717 c lw 123133 c lw 123282 c lw 123335 c lw 123456 c lw 123768 c lw 123846 c lw 123885 c lw 123963 c lw 124002 c lw 124080 c lw 124119 c lw 124158 c lw 124197 c lw 124275 c lw 124353 c lw 124431 c lw 124470 c lw 124509 c lw 124548 c lw 124626 c lw 124665 c lw 124743 c lw 124782 c lw 124821 c lw 124860 c lw 125124 c lw 125148 c lw 125374 c lw 125456 c lw 125495 c lw 125534 c lw 125726 c lw 125750 c lw 125760 c lw 125792 c lw 125804 c lw 126090 c lw 126114 c lw 126122 c lw 126132 c lw 126146 c lw 126156 c lw 126172 c lw 126196 c lw 126206 c lw 126324 c lw 126336 c lw 126348 c lw 126356 c lw 126362 c lw 126364 c lw 126370 c lw 126372 c lw 126374 c lw 126376 c lw 126378 c lw 126380 c lw 126382 c lw 126384 c lw 126388 c lw 126390 c lw 126392 c lw 126394 c lw 126396 c lw 126398 c lw 126400 c lw 126402 c lw 126404 c lw 126406 c lw 126408 c lw 126410 c lw 126412 c lw 126414 c lw 126416 c lw 126418 c lw 126420 c lw 126422 c lw 126424 c lw 126426 c lw 126428 c lw 126430 c lw 126432 c lw 126434 c lw 126436 c lw 126438 c lw 126440 c lw 126442 c lw 126506 c lw 126508 c lw 126510 c lw 126512 c lw 126514 c lw 126516 c lw 126518 c lw 126520 c lw 126522 c lw 126524 c lw 126526 c lw 126528 c lw 126530 c lw 126532 c lw 126534 c lw 126536 c lw 126538 c lw 126540 c lw 126542 c lw 126544 c lw 126546 c lw 126548 c lw 126550 c lw 126552 c lw 126554 c lw 126556 c lw 126558 c lw 126560 c lw 126562 c lw 126580 c lw 126582 c lw 126584 c lw 126586 c lw 126588 c lw 126590 c lw 126764 c lw 126766 c lw 126768 c lw 126770 c lw 126772 c lw 126774 c lw 126776 c lw 126784 c lw 126906 c lw 126926 c lw 126940 c lw 126958 c lw 127078 c lw 127080 c lw 127082 c lw 127084 c lw 127086 c lw 127088 c lw 127092 c lw 127262 c lw 128042 c lw 128224 c lw 128248 c lw 128250 c lw 128252 c lw 128254 c lw 128256 c lw 128258 c lw 128260 c lw 128418 c lw 128442 c lw 128588 c lw 128590 c lw 128592 c lw 128594 c lw 128596 c lw 128608 c lw 128612 c lw 128744 c lw 128926 c lw 129108 c lw 129290 c lw 130094 c lw 130096 c lw 130098 c lw 130100 c lw 130102 c lw 130104 c lw 130106 c lw 130110 c lw 130112 c lw 130114 c lw 130118 c lw 130120 c lw 130122 c lw 130124 c lw 130126 c lw 130128 c lw 130246 c lw 130248 c lw 130250 c lw 130426 c lw 130432 c lw 130740 c lw 130870 c lw 130872 c lw 130922 c lw 131054 c lw 131060 c lw 131104 c lw 131106 c lw 131154 c lw 131204 c lw 131284 c lw 131286 c lw 132348 c lw 132350 c lw 132400 c lw 132480 c lw 132482 c lw 132488 c lw 132526 c lw 132528 c lw 132532 c lw 132634 c lw 132640 c lw 132714 c lw 132742 c lw 132748 c lw 132822 c lw 132836 c lw 132863 c lw 133275 c lw 133314 c lw 133572 c lw 133648 c lw 133652 c lw 133658 c lw 133664 c lw 133686 c lw 133774 c lw 133929 c lw 134007 c lw 134040 c lw 134131 c lw 134496 c lw 134618 c lw 134750 c lw 134792 c lw 134866 c lw 134868 c lw 134872 c lw 135529 c lw 135616 c lw 135708 c lw 135715 c lw 135736 c lw 136017 c lw 136050 c lw 136059 c lw 136170 c lw 136196 c lw 136317 c lw 136324 c lw 136341 c lw 136346 c lw 136467 c lw 136611 c lw 136650 c lw 137019 c lw 137052 c lw 137054 c lw 137056 c lw 137060 c lw 137081 c lw 137099 c lw 137113 c lw 137119 c lw 137133 c lw 137198 c lw 137207 c lw 137230 c lw 137325 c lw 137334 c lw 137355 c lw 137412 c lw 137427 c lw 137436 c lw 137449 c lw 137643 c lw 137683 c lw 137761 c lw 137800 c lw 137955 c lw 137961 c lw 137965 c lw 137967 c lw 137983 c lw 137987 c lw 138010 c lw 138027 c lw 138029 c lw 138031 c lw 138033 c lw 138037 c lw 138309 c lw 138559 c lw 138582 c lw 138588 c lw 138592 c lw 138598 c lw 138890 c lw 138951 c lw 138990 c lw 139012 c lw 139145 c lw 139295 c lw 139469 c lw 139530 c lw 139867 c lw 139929 c lw 140002 c lw 140004 c lw 140006 c lw 140128 c lw 140132 c lw 140416 c lw 140492 c lw 140494 c lw 140496 c lw 140500 c lw 140502 c lw 140531 c lw 140535 c lw 140537 c lw 140539 c lw 140647 c lw 140649 c lw 140651 c lw 140653 c lw 140655 c lw 140659 c lw 140677 c lw 140679 c lw 140681 c lw 140683 c lw 140685 c lw 140686 c lw 140687 c lw 140724 c lw 140760 c lw 140838 c lw 140877 c lw 140899 c lw 140902 c lw 140903 c lw 140916 c lw 140917 c lw 140918 c lw 140921 c lw 140922 c lw 140945 c lw 140958 c lw 140969 c lw 140975 c lw 140976 c lw 140979 c lw 140986 c lw 140987 c lw 140988 c lw 140989 c lw 140991 c lw 141083 c lw 141165 c lw 141211 c lw 141215 c lw 141219 c lw 141287 c lw 141333 c lw 141335 c lw 141337 c lw 141339 c lw 141341 c lw 141343 c lw 141347 c lw 141349 c lw 141351 c lw 141353 c lw 141355 c lw 141357 c lw 141359 c lw 141361 c lw 141363 c lw 141365 c lw 141367 c lw 141483 c lw 141503 c lw 141807 c lw 141830 c lw 141843 c lw 141923 c lw 142008 c lw 142018 c lw 142031 c lw 142193 c lw 142197 c lw 142239 c lw 142265 c lw 142267 c lw 142269 c lw 142276 c lw 142351 c lw 142352 c lw 142353 c lw 142355 c lw 142357 c lw 142358 c lw 142359 c lw 142361 c lw 142363 c lw 142364 c lw 142365 c lw 142371 c lw 142431 c lw 142434 c lw 142441 c lw 142444 c lw 142447 c lw 142448 c lw 142452 c lw 142456 c lw 142458 c lw 142460 c lw 142482 c lw 142486 c lw 142494 c lw 142498 c lw 142500 c lw 142502 c lw 142504 c lw 142508 c lw 142512 c lw 142526 c lw 142530 c lw 142532 c lw 142536 c lw 142543 c lw 142545 c lw 142547 c lw 142549 c lw 142551 c lw 142553 c lw 142554 c lw 142555 c lw 142556 c lw 142557 c lw 142558 c lw 142587 c lw 142648 c lw 142661 c lw 142662 c lw 142663 c lw 142664 c lw 142671 c lw 142674 c lw 142680 c lw 142683 c lw 142689 c lw 142695 c lw 142698 c lw 142711 c lw 142718 c lw 142720 c lw 142723 c lw 142724 c lw 142726 c lw 142728 c lw 142735 c lw 142738 c lw 142747 c lw 142762 c lw 142788 c lw 142791 c lw 142792 c lw 142793 c lw 142798 c lw 142808 c lw 142812 c lw 142813 c lw 142814 c lw 142821 c lw 142826 c lw 142830 c lw 142833 c lw 142835 c lw 142836 c lw 142837 c lw 142838 c lw 142839 c lw 142842 c lw 142844 c lw 142846 c lw 142847 c lw 142848 c lw 142849 c lw 142850 c lw 142851 c lw 142852 c lw 142887 c lw 142896 c lw 142897 c lw 142898 c lw 142899 c lw 142900 c lw 142901 c lw 142902 c lw 142903 c lw 142904 c lw 142905 c lw 142906 c lw 142907 c lw 142908 c lw 142909 c lw 142923 c lw 142924 c lw 142925 c lw 142927 c lw 142928 c lw 142929 c lw 142930 c lw 142931 c lw 142932 c lw 142933 c lw 142934 c lw 142935 c lw 142936 c lw 142937 c lw 142938 c lw 142939 c lw 142940 c lw 142941 c lw 142942 c lw 142953 c lw 142954 c lw 142955 c lw 142957 c lw 142958 c lw 142959 c lw 142960 c lw 142961 c lw 142962 c lw 142963 c lw 142964 c lw 142965 c lw 142966 c lw 142967 c lw 142968 c lw 142969 c lw 142970 c lw 142971 c lw 142972 c lw 142973 c lw 142974 c lw 142975 c lw 142976 c lw 142977 c lw 142978 c lw 142979 c lw 142980 c lw 143003 c lw 143039 c lw 143077 c lw 143079 c lw 143080 c lw 143114 c lw 143116 c lw 143136 c lw 143154 c lw 143244 c lw 143312 c lw 143318 c lw 143326 c lw 143332 c lw 143350 c lw 143370 c lw 143372 c lw 143400 c lw 143405 c lw 143407 c lw 143408 c lw 143409 c lw 143410 c lw 143411 c lw 143412 c lw 143413 c lw 143414 c lw 143415 c lw 143416 c lw 143417 c lw 143418 c lw 143419 c lw 143420 c lw 143421 c lw 143422 c lw 143423 c lw 143424 c lw 143425 c lw 143426 c lw 143427 c lw 143428 c lw 143429 c lw 143431 c lw 143438 c lw 143441 c lw 143445 c lw 143446 c lw 143447 c lw 143448 c lw 143449 c lw 143450 c lw 143451 c lw 143452 c lw 143453 c lw 143454 c lw 143455 c lw 143456 c lw 143457 c lw 143458 c lw 143459 c lw 143460 c lw 143461 c lw 143462 c lw 143463 c lw 143464 c lw 143465 c lw 143466 c lw 143467 c lw 143468 c lw 143469 c lw 143470 c lw 143471 c lw 143472 c lw 143473 c lw 143474 c lw 143475 c lw 143476 c lw 143477 c lw 143478 c lw 143479 c lw 143480 c lw 143481 c lw 143482 c lw 143483 c lw 143484 c lw 143485 c lw 143486 c lw 143487 c lw 143488 c lw 143489 c lw 143490 c lw 143491 c lw 143492 c lw 143493 c lw 143494 c lw 143495 c lw 143496 c lw 143497 c lw 143498 c lw 143499 c lw 143500 c lw 143501 c lw 143502 c lw 143503 c lw 143504 c lw 143505 c lw 143506 c lw 143507 c lw 143508 c lw 143509 c lw 143510 c lw 143511 c lw 143512 c lw 143513 c lw 143514 c lw 143515 c lw 143516 c lw 143517 c lw 143518 c lw 143519 c lw 143520 c lw 143521 c lw 143522 c lw 143523 c lw 143524 c lw 143525 c lw 143526 c lw 143527 c lw 143528 c lw 143529 c lw 143530 c lw 143532 c lw 143533 c lw 143534 c lw 143535 c lw 143536 c lw 143537 c lw 143538 c lw 143539 c lw 143540 c lw 143541 c lw 143542 c lw 143543 c lw 143544 c lw 143545 c lw 143584 c lw 143600 c lw 143601 c lw 143604 c lw 143623 c lw 143624 c lw 143625 c lw 143626 c lw 143627 c lw 143628 c lw 143629 c lw 143630 c lw 143631 c lw 143632 c lw 143633 c lw 143634 c lw 143635 c lw 143636 c lw 143637 c lw 143638 c lw 143639 c lw 143640 c lw 143641 c lw 143642 c lw 143643 c lw 143644 c lw 143645 c lw 143646 c lw 143647 c lw 143648 c lw 143649 c lw 143650 c lw 143651 c lw 143652 c lw 143653 c lw 143654 c lw 143655 c lw 143656 c lw 143657 c lw 143658 c lw 143659 c lw 143660 c lw 143661 c lw 143662 c lw 143663 c lw 143664 c lw 143665 c lw 143666 c lw 143667 c lw 143668 c lw 143669 c lw 143670 c lw 143671 c lw 143672 c lw 143673 c lw 143674 c lw 143675 c lw 143676 c lw 143677 c lw 143678 c lw 143679 c lw 143680 c lw 143681 c lw 143682 c lw 143683 c lw 143684 c lw 143685 c lw 143686 c lw 143687 c lw 143688 c lw 143689 c lw 143691 c lw 143692 c lw 143693 c lw 143694 c lw 143695 c lw 143696 c lw 143697 c lw 143698 c lw 143699 c lw 143700 c lw 143701 c lw 143702 c lw 143703 c lw 143782 c lw 143784 c lw 144051 c lw 144052 c lw 144053 c lw 144054 c lw 144067 c lw 144068 c lw 144069 c lw 144096 c lw 144115 c lw 144116 c lw 144117 c lw 144118 c lw 144119 c lw 144120 c lw 144122 c lw 144123 c lw 144125 c lw 144126 c lw 144127 c lw 144133 c lw 144166 c lw 144167 c lw 144168 c lw 144169 c lw 144170 c lw 144171 c lw 144172 c lw 144173 c lw 144174 c lw 144175 c lw 144176 c lw 144177 c lw 144178 c lw 144185 c lw 144187 c lw 144189 c lw 144191 c lw 144192 c lw 144193 c lw 144194 c lw 144195 c lw 144196 c lw 144197 c lw 144200 c lw 144203 c lw 144207 c lw 144210 c lw 144224 c lw 144235 c lw 144237 c lw 144250 c lw 144251 c lw 144252 c lw 144253 c lw 144254 c lw 144255 c lw 144256 c lw 144257 c lw 144258 c lw 144259 c lw 144305 c lw 144310 c lw 144316 c lw 144331 c lw 144332 c lw 144333 c lw 144334 c lw 144335 c lw 144336 c lw 144337 c lw 144338 c lw 144339 c lw 144340 c lw 144341 c lw 144343 c lw 144344 c lw 144345 c lw 144346 c lw 144347 c lw 144348 c lw 144349 c lw 144350 c lw 144351 c lw 144352 c lw 144353 c lw 144354 c lw 144355 c lw 144356 c lw 144357 c lw 144358 c lw 144359 c lw 144360 c lw 144361 c lw 144362 c lw 144363 c lw 144364 c lw 144365 c lw 144366 c lw 144367 c lw 144368 c lw 144369 c lw 144370 c lw 144371 c lw 144372 c lw 144373 c lw 144374 c lw 144375 c lw 144376 c lw 144377 c lw 144380 c lw 144381 c lw 144382 c lw 144383 c lw 144384 c lw 144385 c lw 144386 c lw 144387 c lw 144388 c lw 144389 c lw 144390 c lw 144391 c lw 144392 c lw 144393 c lw 144394 Killed 1811.877u 7.859s 30:22.90 99.8% 0+0k 0+0io 0pf+0w