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_190_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 138 c lw 276 c lw 313 c lw 414 c lw 552 c lw 626 c lw 700 c lw 848 c lw 939 c lw 996 c lw 1144 c lw 1252 c lw 1292 c lw 1440 c lw 1565 c lw 1588 c lw 1757 c lw 1878 c lw 1926 c lw 2095 c lw 2191 c lw 2264 c lw 2433 c lw 2504 c lw 2602 c lw 2771 c lw 2817 c lw 2940 c lw 3109 c lw 3130 c lw 3278 c lw 3443 c lw 3447 c lw 3616 c lw 3756 c lw 3785 c lw 4017 c lw 4069 c lw 4249 c lw 4382 c lw 4481 c lw 4695 c lw 4735 c lw 4989 c lw 5008 c lw 5243 c lw 5321 c lw 5497 c lw 5634 c lw 5751 c lw 5947 c lw 6005 c lw 6260 c lw 6318 c lw 6573 c lw 6631 c lw 6886 c lw 7199 c lw 7257 c lw 7482 c lw 7566 c lw 7707 c lw 7875 c lw 7940 c lw 8177 c lw 8184 c lw 8414 c lw 8493 c lw 8651 c lw 8802 c lw 8888 c lw 9111 c lw 9143 c lw 9398 c lw 9420 c lw 9653 c lw 9729 c lw 9908 c lw 10038 c lw 10163 c lw 10347 c lw 10418 c lw 10656 c lw 10673 c lw 10928 c lw 10965 c lw 11183 c lw 11274 c lw 11492 c lw 11583 c lw 11801 c lw 11892 c lw 12110 c lw 12201 c lw 12419 c lw 12510 c lw 12728 c lw 12819 c lw 13037 c lw 13128 c lw 13346 c lw 13437 c lw 13655 c lw 13746 c lw 13964 c lw 14055 c lw 14273 c lw 14364 c lw 14582 c lw 14673 c lw 14891 c lw 14982 c lw 15200 c lw 15291 c lw 15509 c lw 15600 c lw 15909 c lw 16127 c lw 16968 c lw 17809 c lw 18650 c lw 19491 c lw 20332 c lw 21173 c lw 22014 c lw 22855 c lw 23687 c lw 23696 c lw 24528 c lw 24537 c lw 25369 c lw 25378 c lw 26210 c lw 26219 c lw 27051 c lw 27060 c lw 27892 c lw 27901 c lw 28688 c lw 29304 c lw 29520 c lw 29920 c lw 30352 c lw 30536 c lw 31152 c lw 31184 c lw 31768 c lw 32016 c lw 32384 c lw 32848 c lw 33000 c lw 33616 c lw 33680 c lw 34232 c lw 34512 c lw 34848 c lw 35344 c lw 35464 c lw 36080 c lw 36176 c lw 36696 c lw 37008 c lw 37312 c lw 37840 c lw 38144 c lw 38672 c lw 38976 c lw 39504 c lw 39808 c lw 40336 c lw 40381 c lw 40640 c lw 41213 c lw 41472 c lw 42045 c lw 42304 c lw 42564 c lw 43136 c lw 43338 c lw 43750 c lw 44170 c lw 44273 c lw 45002 c lw 45105 c lw 45114 c lw 45123 c lw 45132 c lw 45861 c lw 45919 c lw 45937 c lw 46246 c lw 46281 c lw 46349 c lw 46448 c lw 46567 c lw 46826 c lw 46827 c lw 46853 c lw 46911 c lw 47166 c lw 47399 c lw 47425 c lw 47470 c lw 47658 c lw 47739 c lw 47998 c lw 48043 c lw 48267 c lw 48302 c lw 48571 c lw 48629 c lw 48667 c lw 48715 c lw 48740 c lw 48798 c lw 48884 c lw 48942 c lw 48995 c lw 49080 c lw 49112 c lw 49183 c lw 49249 c lw 49256 c lw 49281 c lw 49425 c lw 49471 c lw 49503 c lw 49569 c lw 49594 c lw 49613 c lw 49615 c lw 49738 c lw 49763 c lw 49803 c lw 49867 c lw 50007 c lw 50011 c lw 50017 c lw 50036 c lw 50116 c lw 50168 c lw 50197 c lw 50249 c lw 50348 c lw 50349 c lw 50371 c lw 50403 c lw 50408 c lw 50507 c lw 50598 c lw 50604 c lw 50641 c lw 50658 c lw 50816 c lw 50859 c lw 50907 c lw 50950 c lw 51077 c lw 51125 c lw 51168 c lw 51216 c lw 51295 c lw 51386 c lw 51477 c lw 51513 c lw 51604 c lw 51731 c lw 51990 c lw 52157 c lw 52294 c lw 52415 c lw 52438 c lw 52458 c lw 52463 c lw 52588 c lw 52606 c lw 52646 c lw 52714 c lw 52736 c lw 52793 c lw 52827 c lw 52862 c lw 52936 c lw 52975 c lw 53012 c lw 53074 c lw 53076 c lw 53251 c lw 53476 c lw 53572 c lw 53634 c lw 53754 c lw 54092 c lw 54183 c lw 54233 c lw 54265 c lw 54303 c lw 54449 c lw 54491 c lw 54532 c lw 54555 c lw 54623 c lw 54631 c lw 54761 c lw 54841 c lw 54886 c lw 54932 c lw 54957 c lw 55147 c lw 55211 c lw 55427 c lw 55605 c lw 55756 c lw 55798 c lw 55847 c lw 55889 c lw 55938 c lw 56032 c lw 56090 c lw 56176 c lw 56214 c lw 56424 c lw 56456 c lw 56462 c lw 56646 c lw 56653 c lw 56718 c lw 56729 c lw 56797 c lw 57159 c lw 57223 c lw 57282 c lw 57350 c lw 57409 c lw 57449 c lw 57458 c lw 57614 c lw 57615 c lw 57718 c lw 57983 c lw 58718 c lw 58854 c lw 58861 c lw 58869 c lw 58888 c lw 58953 c lw 59029 c lw 59059 c lw 59623 c lw 59900 c lw 60086 c lw 60464 c lw 60741 c lw 61216 c lw 61305 c lw 61314 c lw 61323 c lw 61332 c lw 61582 c lw 61640 c lw 61988 c lw 62056 c lw 62084 c lw 62107 c lw 62148 c lw 62190 c lw 62192 c lw 62212 c lw 62222 c lw 62245 c lw 62286 c lw 62305 c lw 62306 c lw 62316 c lw 62368 c lw 62432 c lw 62454 c lw 62489 c lw 62491 c lw 62493 c lw 62495 c lw 62524 c lw 62546 c lw 62563 c lw 62565 c lw 62567 c lw 62577 c lw 62596 c lw 62598 c lw 62602 c lw 62607 c lw 62609 c lw 62612 c lw 62616 c lw 62619 c lw 62622 c lw 62624 c lw 62647 c lw 62667 c lw 62681 c lw 62722 c lw 62725 c lw 62736 c lw 62747 c lw 62748 c lw 62759 c lw 62762 c lw 62763 c lw 62789 c lw 62811 c lw 62849 c lw 62856 c lw 62859 c lw 62907 c lw 62925 c lw 62991 c lw 62996 c lw 62998 c lw 63030 c lw 63076 c lw 63083 c lw 63099 c lw 63124 c lw 63126 c lw 63145 c lw 63149 c lw 63152 c lw 63157 c lw 63160 c lw 63161 c lw 63162 c lw 63163 c lw 63165 c lw 63166 c lw 63171 c lw 63177 c lw 63179 c lw 63186 c lw 63202 c lw 63206 c lw 63212 c lw 63227 c lw 63241 c lw 63242 c lw 63243 c lw 63244 c lw 63245 c lw 63246 c lw 63247 c lw 63248 c lw 63249 c lw 63250 c lw 63251 c lw 63252 c lw 63253 c lw 63255 c lw 63284 c lw 63359 c lw 63411 c lw 63419 c lw 63434 c lw 63435 c lw 63440 c lw 63456 c lw 63460 c lw 63464 c lw 63489 c lw 63492 c lw 63494 c lw 63505 c lw 63538 c lw 63556 c lw 63561 c lw 63591 c lw 63650 c lw 63716 c lw 63736 c lw 63742 c lw 63762 c lw 63768 c lw 63788 c lw 63791 c lw 63794 c lw 63827 c lw 63830 c lw 63833 c lw 63836 c lw 63848 c lw 63850 c lw 63853 c lw 63856 c lw 63862 c lw 63870 c lw 63872 c lw 63875 c lw 63876 c lw 63879 c lw 63883 c lw 63884 c lw 63885 c lw 63886 c lw 63887 c lw 63888 c lw 63889 c lw 63890 c lw 63891 c lw 63892 c lw 63894 c lw 63895 c lw 63927 c lw 63928 c lw 63946 c lw 63947 c lw 63951 c lw 63954 c lw 64004 c lw 64069 c lw 64076 c lw 64095 c lw 64144 c lw 64151 c lw 64152 c lw 64158 c lw 64162 c lw 64171 c lw 64172 c lw 64173 c lw 64175 c lw 64176 c lw 64181 c lw 64184 c lw 64188 c lw 64189 c lw 64208 c lw 64212 c lw 64323 c lw 64340 c lw 64347 c lw 64389 c lw 64414 c lw 64481 c lw 64487 c lw 64493 c lw 64495 c lw 64500 c lw 64501 c lw 64503 c lw 64504 c lw 64513 c lw 64519 c lw 64530 c lw 64649 c lw 64653 c lw 64658 c lw 64660 c lw 64748 c lw 64781 c lw 64817 c lw 64818 c lw 64819 c lw 64820 c lw 64821 c lw 64822 c lw 64824 c lw 64826 c lw 64828 c lw 64873 c lw 64919 c lw 64942 c lw 64943 c lw 64949 c lw 64956 c lw 64967 c lw 64984 c lw 65021 c lw 65047 c lw 65096 c lw 65118 c lw 65160 c lw 65173 c lw 65202 c lw 65221 c lw 65251 c lw 65261 c lw 65267 c lw 65274 c lw 65323 c lw 65328 c lw 65345 c lw 65358 c lw 65361 c lw 65362 c lw 65363 c lw 65385 c lw 65401 c lw 65433 c lw 65489 c lw 65525 c lw 65555 c lw 65558 c lw 65563 c lw 65568 c lw 65571 c lw 65576 c lw 65588 c lw 65591 c lw 65606 c lw 65614 c lw 65640 c lw 65644 c lw 65654 c lw 65666 c lw 65687 c lw 65689 c lw 65711 c lw 65714 c lw 65717 c lw 65722 c lw 65726 c lw 65728 c lw 65730 c lw 65732 c lw 65733 c lw 65737 c lw 65755 c lw 65759 c lw 65760 c lw 65770 c lw 65771 c lw 65779 c lw 65792 c lw 65793 c lw 65796 c lw 65798 c lw 65843 c lw 65846 c lw 65847 c lw 65848 c lw 65855 c lw 65856 c lw 65859 c lw 65860 c lw 65861 c lw 65862 c lw 65863 c lw 65864 c lw 65868 c lw 65869 c lw 65870 c lw 65871 c lw 65873 c lw 65874 c lw 65875 c lw 65881 c lw 65884 c lw 65885 c lw 65886 c lw 65893 c lw 65894 c lw 65895 c lw 65896 c lw 65897 c lw 65898 c lw 65899 c lw 65900 c lw 65905 c lw 65909 c lw 65910 c lw 65914 c lw 65916 c lw 65917 c lw 65918 c lw 65926 c lw 65927 c lw 65928 c lw 65929 c lw 65930 c lw 65931 c lw 65932 c lw 65933 c lw 65934 c lw 65935 c lw 65936 c lw 65937 c lw 65938 c lw 66048 c lw 66053 c lw 66054 c lw 66058 c lw 66059 c lw 66060 c lw 66061 c lw 66062 c lw 66063 c lw 66092 c lw 66095 c lw 66096 c lw 66097 c lw 66098 c lw 66099 c lw 66100 c lw 66101 c lw 66103 c lw 66106 c lw 66147 c lw 66152 c lw 66159 c lw 66162 c lw 66169 c lw 66170 c lw 66173 c lw 66180 c lw 66221 c lw 66239 c lw 66248 c lw 66251 c lw 66276 c lw 66277 c lw 66279 c lw 66314 c lw 66619 c lw 66620 c lw 66630 c lw 66651 c lw 66748 c lw 66749 c lw 66750 c lw 66758 c lw 66759 c lw 66760 c lw 66768 c lw 66771 c lw 66772 c lw 66783 c lw 66798 c lw 66799 c lw 66908 c lw 67076 c lw 67083 c lw 67086 c lw 67094 c lw 67113 c lw 67202 c lw 67345 c lw 67352 c lw 67361 c lw 67370 c lw 67376 c lw 67386 c lw 67405 c lw 67412 c lw 67413 c lw 67485 c lw 67503 c lw 67522 c lw 67677 c lw 67681 c lw 67682 c lw 67685 c lw 67692 c lw 67702 c lw 67733 c lw 67734 c lw 67735 c lw 67775 c lw 67776 c lw 67778 c lw 67782 c lw 67783 c lw 67785 c lw 67786 c lw 67787 c lw 67789 c lw 67790 c lw 67800 c lw 67802 c lw 67804 c lw 67806 c lw 67815 c lw 67816 c lw 67817 c lw 67818 c lw 67819 c lw 67820 c lw 67821 c lw 67822 c lw 67823 c lw 67824 c lw 67825 c lw 67936 c lw 68063 c lw 68064 c lw 68065 c lw 68084 c lw 68085 c lw 68088 c lw 68089 c lw 68090 c lw 68102 c lw 68103 c lw 68104 c lw 68105 c lw 68106 c lw 68107 c lw 68108 c lw 68109 c lw 68111 c lw 68119 c lw 68120 c lw 68121 c lw 68137 c lw 68138 c lw 68139 c lw 68140 c lw 68150 c lw 68151 c lw 68153 c lw 68155 c lw 68156 c lw 68158 c lw 68173 c lw 68176 c lw 68178 c lw 68196 c lw 68220 c lw 68221 c lw 68222 c lw 68223 c lw 68224 c lw 68226 c lw 68227 c lw 68265 c lw 68281 c lw 68288 c lw 68290 c lw 68299 c lw 68305 c lw 68312 c lw 68313 c lw 68314 c lw 68315 c lw 68316 c lw 68317 c lw 68452 c lw 68492 c lw 68498 c lw 68538 c lw 68569 c lw 68579 c lw 68586 c lw 68589 c lw 68629 c lw 68630 c lw 68631 c lw 68633 c lw 68641 c lw 68647 c lw 68648 c lw 68651 c lw 68656 c lw 68720 c lw 68798 c lw 68935 c lw 68997 c lw 69024 c lw 69099 c lw 69105 c lw 69137 c lw 69256 c lw 69262 c lw 69288 c lw 69299 c lw 69309 c lw 69368 c lw 69436 c lw 69467 c lw 69493 c lw 69500 c lw 69619 c lw 69677 c lw 69708 c lw 69840 c lw 69866 c lw 69868 c lw 69871 c lw 69873 c lw 69906 c lw 69909 c lw 69920 c lw 69928 c lw 69930 c lw 69941 c lw 69943 c lw 69948 c lw 69964 c lw 69982 c lw 69988 c lw 69990 c lw 69992 c lw 70014 c lw 70021 c lw 70023 c lw 70050 c lw 70052 c lw 70071 c lw 70076 c lw 70078 c lw 70080 c lw 70081 c lw 70082 c lw 70083 c lw 70084 c lw 70085 c lw 70086 c lw 70087 c lw 70088 c lw 70109 c lw 70130 c lw 70184 c lw 70283 c lw 70286 c lw 70304 c lw 70342 c lw 70380 c lw 70458 c lw 70464 c lw 70468 c lw 70469 c lw 70509 c lw 70546 c lw 70547 c lw 70548 c lw 70549 c lw 70550 c lw 70551 c lw 70554 c lw 70562 c lw 70563 c lw 70584 c lw 70605 c lw 70628 c lw 70662 c lw 70663 c lw 70707 c lw 70886 c lw 70907 c lw 70925 c lw 70926 c lw 70927 c lw 70959 c lw 70971 c lw 70972 c lw 70973 c lw 70974 c lw 70975 c lw 70987 c lw 70992 c lw 70993 c lw 70994 c lw 70995 c lw 70999 c lw 71000 c lw 71001 c lw 71010 c lw 71011 c lw 71013 c lw 71020 c lw 71022 c lw 71034 c lw 71036 c lw 71041 c lw 71048 c lw 71050 c lw 71055 c lw 71057 c lw 71059 c lw 71062 c lw 71064 c lw 71065 c lw 71066 c lw 71067 c lw 71087 c lw 71103 c lw 71106 c lw 71115 c lw 71119 c lw 71135 c lw 71138 c lw 71139 c lw 71147 c lw 71175 c lw 71244 c lw 71245 c lw 71246 c lw 71247 c lw 71248 c lw 71249 c lw 71250 c lw 71251 c lw 71252 c lw 71253 c lw 71254 c lw 71255 c lw 71256 c lw 71257 c lw 71258 c lw 71259 c lw 71260 c lw 71261 c lw 71262 c lw 71263 c lw 71264 c lw 71265 c lw 71266 c lw 71267 c lw 71268 c lw 71269 c lw 71270 c lw 71271 c lw 71272 c lw 71313 c lw 71314 c lw 71315 c lw 71316 c lw 71317 c lw 71318 c lw 71319 c lw 71320 c lw 71321 c lw 71322 c lw 71323 c lw 71324 c lw 71325 c lw 71326 c lw 71327 c lw 71328 c lw 71329 c lw 71330 c lw 71331 c lw 71333 c lw 71339 c lw 71342 c lw 71343 c lw 71409 c lw 71410 c lw 71411 c lw 71412 c lw 71413 c lw 71414 c lw 71416 c lw 71417 c lw 71418 c lw 71419 c lw 71420 c lw 71421 c lw 71422 c lw 71423 c lw 71424 c lw 71434 c lw 71435 c lw 71436 c lw 71437 c lw 71438 c lw 71439 c lw 71440 c lw 71441 c lw 71444 c lw 71445 c lw 71446 c lw 71447 c lw 71448 c lw 71449 c lw 71450 c lw 71451 c lw 71452 c lw 71453 c lw 71454 c lw 71455 c lw 71456 c lw 71457 c lw 71458 c lw 71459 c lw 71460 c lw 71461 c lw 71462 c lw 71463 c lw 71464 c lw 71465 c lw 71466 c lw 71467 c lw 71468 c lw 71469 c lw 71470 c lw 71471 c lw 71472 c lw 71474 c lw 71475 c lw 71478 c lw 71479 c lw 71480 c lw 71481 c lw 71482 c lw 71483 c lw 71484 c lw 71485 c lw 71486 c lw 71487 c lw 71488 c lw 71489 c lw 71490 c lw 71491 c lw 71492 c lw 71495 c lw 71496 c lw 71498 c lw 71499 c lw 71508 c lw 71509 c lw 71510 c lw 71511 c lw 71512 c lw 71513 c lw 71514 c lw 71515 c lw 71516 c lw 71517 c lw 71518 c lw 71519 c lw 71520 c lw 71521 c lw 71522 c lw 71523 c lw 71524 c lw 71525 c lw 71526 c lw 71527 c lw 71528 c lw 71529 c lw 71530 c lw 71531 c lw 71532 c lw 71548 c lw 71549 c lw 71550 c lw 71551 c lw 71552 c lw 71553 c lw 71554 c lw 71555 c lw 71559 c lw 71560 c lw 71561 c lw 71562 c lw 71563 c lw 71564 c lw 71565 c lw 71566 c lw 71567 c lw 71568 c lw 71569 c lw 71570 c lw 71571 c lw 71572 c lw 71573 c lw 71574 c lw 71575 c lw 71576 c lw 71577 c lw 71578 c lw 71579 c lw 71581 c lw 71582 c lw 71583 c lw 71584 c lw 71585 c lw 71586 c lw 71587 c lw 71588 c lw 71624 c lw 71630 c lw 71631 c lw 71633 c lw 71634 c lw 71641 c lw 71644 c lw 71648 c lw 71651 c lw 71652 c lw 71653 c lw 71654 c lw 71655 c lw 71656 c lw 71657 c lw 71658 c lw 71659 c lw 71660 c lw 71661 c lw 71662 c lw 71663 c lw 71664 c lw 71665 c lw 71666 c lw 71668 c lw 71670 c lw 71673 c lw 71691 c lw 71692 c lw 71693 c lw 71694 c lw 71695 c lw 71696 c lw 71697 c lw 71698 c lw 71699 c lw 71700 c lw 71701 c lw 71705 c lw 71708 c lw 71709 c lw 71710 c lw 71711 c lw 71712 c lw 71713 c lw 71714 c lw 71715 c lw 71716 c lw 71717 c lw 71718 c lw 71719 c lw 71720 c lw 71721 c lw 71722 c lw 71723 c lw 71724 c lw 71725 c lw 71726 c lw 71727 c lw 71728 c lw 71729 c lw 71730 c lw 71731 c lw 71732 c lw 71733 c lw 71734 c lw 71735 c lw 71736 c lw 71737 c lw 71738 c lw 71739 c lw 71740 c lw 71741 c lw 71742 c lw 71743 c lw 71744 c lw 71745 c lw 71746 c lw 71747 c lw 71748 c lw 71749 c lw 71750 c lw 71751 c lw 71752 c lw 71753 c lw 71754 c lw 71755 c lw 71756 c lw 71757 c lw 71758 c lw 71759 c lw 71760 c lw 71761 c lw 71762 c lw 71763 c lw 71764 c lw 71765 c lw 71766 c lw 71767 c lw 71768 c lw 71769 c lw 71770 c lw 71771 c lw 71772 c lw 71773 c lw 71776 c lw 71777 c lw 71778 c lw 71779 c lw 71780 c lw 71784 c lw 71832 c lw 71833 c lw 71834 c lw 71835 c lw 71836 c lw 71837 c lw 71838 c lw 71839 c lw 71840 c lw 71841 c lw 71842 c lw 71843 c lw 71844 c lw 71845 c lw 71846 c lw 71847 c lw 71848 c lw 71849 c lw 71851 c lw 71852 c lw 71853 c lw 71854 c lw 71855 c lw 71858 c lw 71859 c lw 71862 c lw 71863 c lw 71869 c lw 71870 c lw 71871 c lw 71872 c lw 71873 c lw 71874 c lw 71875 c lw 71876 c lw 71877 c lw 71878 c lw 71879 c lw 71880 c lw 71881 c lw 71882 c lw 71883 c lw 71884 c lw 71885 c lw 71886 c lw 71887 c lw 71888 c lw 71889 c lw 71890 c lw 71891 c lw 71892 c lw 71893 c lw 71894 c lw 71904 c lw 71905 c lw 71908 c lw 71909 c lw 71910 c lw 71911 c lw 71922 c lw 71923 c lw 71924 c lw 71930 c lw 71936 c lw 71958 c lw 71959 c lw 71960 c lw 71961 c lw 71962 c lw 71963 c lw 71964 c lw 71965 c lw 71966 c lw 71967 c lw 71968 c lw 71969 c lw 71970 c lw 71971 c lw 71973 c lw 71974 c lw 71975 c lw 71976 c lw 71977 c lw 71978 c lw 71979 c lw 71980 c lw 71983 c lw 71989 c lw 72017 c lw 72065 c lw 72066 c lw 72067 Killed 1815.554u 4.196s 30:22.52 99.8% 0+0k 0+0io 0pf+0w