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_140_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 211 c lw 422 c lw 633 c lw 844 c lw 874 c lw 1055 c lw 1266 c lw 1477 c lw 1688 c lw 1748 c lw 1899 c lw 2110 c lw 2321 c lw 2532 c lw 2622 c lw 2743 c lw 2954 c lw 3165 c lw 3376 c lw 3496 c lw 3587 c lw 3798 c lw 4009 c lw 4220 c lw 4370 c lw 4431 c lw 4762 c lw 5093 c lw 5244 c lw 5424 c lw 5784 c lw 6118 c lw 6144 c lw 6504 c lw 6864 c lw 6992 c lw 7224 c lw 7584 c lw 7866 c lw 7944 c lw 8304 c lw 8664 c lw 8740 c lw 9024 c lw 9384 c lw 9614 c lw 9744 c lw 10104 c lw 10196 c lw 10686 c lw 10778 c lw 11196 c lw 11360 c lw 11778 c lw 11942 c lw 12360 c lw 12524 c lw 12942 c lw 13106 c lw 13649 c lw 14067 c lw 14192 c lw 14610 c lw 14735 c lw 15153 c lw 15278 c lw 15696 c lw 15821 c lw 16239 c lw 16364 c lw 16782 c lw 16907 c lw 17325 c lw 17450 c lw 18635 c lw 18924 c lw 19820 c lw 20398 c lw 21005 c lw 21872 c lw 22190 c lw 23346 c lw 23375 c lw 24560 c lw 24820 c lw 25745 c lw 26294 c lw 26930 c lw 27768 c lw 28335 c lw 29117 c lw 29740 c lw 30466 c lw 31214 c lw 31815 c lw 32688 c lw 33164 c lw 34162 c lw 34513 c lw 35636 c lw 35862 c lw 37110 c lw 37211 c lw 38584 c lw 38685 c lw 40058 c lw 40159 c lw 41532 c lw 41633 c lw 42943 c lw 43006 c lw 44253 c lw 44480 c lw 44898 c lw 45563 c lw 45981 c lw 46790 c lw 46873 c lw 47291 c lw 47626 c lw 48347 c lw 48765 c lw 49518 c lw 49821 c lw 50239 c lw 50354 c lw 50772 c lw 51190 c lw 51594 c lw 51608 c lw 51998 c lw 52026 c lw 52416 c lw 52444 c lw 52834 c lw 52862 c lw 53252 c lw 53280 c lw 53670 c lw 53698 c lw 54088 c lw 54116 c lw 54506 c lw 54534 c lw 54924 c lw 54952 c lw 55278 c lw 55342 c lw 55696 c lw 55760 c lw 56114 c lw 56178 c lw 56532 c lw 56596 c lw 56950 c lw 57014 c lw 57368 c lw 57432 c lw 57786 c lw 57850 c lw 58204 c lw 58268 c lw 58622 c lw 58727 c lw 58791 c lw 58941 c lw 59002 c lw 59152 c lw 59213 c lw 59243 c lw 59281 c lw 59363 c lw 59373 c lw 59454 c lw 59574 c lw 59665 c lw 59695 c lw 59733 c lw 59820 c lw 59825 c lw 59917 c lw 60115 c lw 60335 c lw 60358 c lw 60590 c lw 60753 c lw 60858 c lw 60868 c lw 61059 c lw 61123 c lw 61276 c lw 61359 c lw 61474 c lw 61611 c lw 61812 c lw 61876 c lw 61892 c lw 62168 c lw 62310 c lw 62474 c lw 62557 c lw 62784 c lw 62892 c lw 62982 c lw 63103 c lw 63122 c lw 63193 c lw 63314 c lw 63344 c lw 63482 c lw 63628 c lw 63688 c lw 63704 c lw 63839 c lw 63899 c lw 64050 c lw 64064 c lw 64080 c lw 64117 c lw 64158 c lw 64242 c lw 64424 c lw 64487 c lw 64987 c lw 65151 c lw 65302 c lw 65433 c lw 65482 c lw 65543 c lw 65633 c lw 65793 c lw 65865 c lw 65990 c lw 65993 c lw 66153 c lw 66179 c lw 66353 c lw 66383 c lw 66513 c lw 66564 c lw 66594 c lw 66775 c lw 66805 c lw 66873 c lw 66930 c lw 66985 c lw 67086 c lw 67568 c lw 67632 c lw 67656 c lw 67720 c lw 67821 c lw 68510 c lw 68611 c lw 69069 c lw 69133 c lw 69271 c lw 69747 c lw 70186 c lw 70287 c lw 70620 c lw 70684 c lw 70772 c lw 71386 c lw 71711 c lw 71937 c lw 72009 c lw 72134 c lw 72485 c lw 72656 c lw 73060 c lw 73082 c lw 73257 c lw 73382 c lw 73842 c lw 73949 c lw 74013 c lw 74151 c lw 74239 c lw 74510 c lw 75039 c lw 75059 c lw 75086 c lw 75455 c lw 75635 c lw 75715 c lw 76242 c lw 76271 c lw 76900 c lw 77398 c lw 77426 c lw 77636 c lw 77664 c lw 77788 c lw 77816 c lw 78026 c lw 78054 c lw 78178 c lw 78206 c lw 78416 c lw 78444 c lw 78568 c lw 78596 c lw 78806 c lw 78834 c lw 78958 c lw 79022 c lw 79036 c lw 79196 c lw 79251 c lw 79426 c lw 79523 c lw 79669 c lw 79673 c lw 79802 c lw 79844 c lw 79941 c lw 80021 c lw 80171 c lw 80175 c lw 80467 c lw 80589 c lw 80798 c lw 80991 c lw 81028 c lw 81078 c lw 81189 c lw 81298 c lw 81321 c lw 81360 c lw 81390 c lw 81420 c lw 81428 c lw 81444 c lw 81458 c lw 81571 c lw 81622 c lw 81745 c lw 81775 c lw 81782 c lw 81812 c lw 81813 c lw 81829 c lw 81858 c lw 81889 c lw 81933 c lw 81994 c lw 82013 c lw 82134 c lw 82144 c lw 82234 c lw 82235 c lw 82245 c lw 82272 c lw 82282 c lw 82343 c lw 82363 c lw 82392 c lw 82454 c lw 82463 c lw 82468 c lw 82477 c lw 82497 c lw 82520 c lw 82522 c lw 82551 c lw 82558 c lw 82560 c lw 82609 c lw 82620 c lw 82708 c lw 82763 c lw 82765 c lw 82795 c lw 82821 c lw 82823 c lw 82891 c lw 82894 c lw 82963 c lw 82981 c lw 83012 c lw 83019 c lw 83035 c lw 83037 c lw 83044 c lw 83048 c lw 83050 c lw 83059 c lw 83080 c lw 83089 c lw 83091 c lw 83095 c lw 83136 c lw 83138 c lw 83141 c lw 83147 c lw 83184 c lw 83185 c lw 83213 c lw 83220 c lw 83221 c lw 83230 c lw 83231 c lw 83237 c lw 83245 c lw 83250 c lw 83251 c lw 83297 c lw 83298 c lw 83303 c lw 83305 c lw 83306 c lw 83310 c lw 83311 c lw 83312 c lw 83313 c lw 83316 c lw 83320 c lw 83321 c lw 83322 c lw 83326 c lw 83327 c lw 83332 c lw 83334 c lw 83349 c lw 83363 c lw 83365 c lw 83366 c lw 83373 c lw 83394 c lw 83396 c lw 83417 c lw 83437 c lw 83446 c lw 83447 c lw 83448 c lw 83452 c lw 83537 c lw 83546 c lw 83556 c lw 83557 c lw 83567 c lw 83572 c lw 83587 c lw 83591 c lw 83593 c lw 83598 c lw 83600 c lw 83608 c lw 83610 c lw 83615 c lw 83620 c lw 83631 c lw 83633 c lw 83635 c lw 83638 c lw 83640 c lw 83643 c lw 83652 c lw 83700 c lw 83701 c lw 83702 c lw 83703 c lw 83704 c lw 83705 c lw 83706 c lw 83707 c lw 83708 c lw 83709 c lw 83710 c lw 83714 c lw 83715 c lw 83716 c lw 83717 c lw 83718 c lw 83719 c lw 83727 c lw 83728 c lw 83733 c lw 83742 c lw 83743 c lw 83744 c lw 83745 c lw 83842 c lw 83844 c lw 83846 c lw 83850 c lw 83870 c lw 83884 c lw 83890 c lw 83988 c lw 84019 c lw 84075 c lw 84152 c lw 84154 c lw 84156 c lw 84158 c lw 84160 c lw 84162 c lw 84163 c lw 84165 c lw 84166 c lw 84180 c lw 84182 c lw 84194 c lw 84195 c lw 84209 c lw 84225 c lw 84227 c lw 84230 c lw 84232 c lw 84298 c lw 84378 c lw 84408 c lw 84413 c lw 84538 c lw 84615 c lw 84655 c lw 84657 c lw 84669 c lw 84672 c lw 84675 c lw 84677 c lw 84682 c lw 84687 c lw 84688 c lw 84689 c lw 84690 c lw 84691 c lw 84692 c lw 84693 c lw 84694 c lw 84695 c lw 84696 c lw 84697 c lw 84698 c lw 84699 c lw 84701 c lw 84702 c lw 84704 c lw 84706 c lw 84707 c lw 84709 c lw 84710 c lw 84711 c lw 84712 c lw 84713 c lw 84714 c lw 84716 c lw 84717 c lw 84718 c lw 84719 c lw 84720 c lw 84721 c lw 84722 c lw 84723 c lw 84724 c lw 84725 c lw 84726 c lw 84727 c lw 84728 c lw 84729 c lw 84730 c lw 84731 c lw 84732 c lw 84733 c lw 84764 c lw 84765 c lw 84778 c lw 84779 c lw 84869 c lw 84870 c lw 84871 c lw 84872 c lw 84898 c lw 84901 c lw 84939 c lw 84940 c lw 84941 c lw 84942 c lw 84944 c lw 84948 c lw 84963 c lw 84964 c lw 84970 c lw 84971 c lw 84972 c lw 84973 c lw 84974 c lw 84975 c lw 84976 c lw 84977 c lw 84978 c lw 84979 c lw 84980 c lw 84981 c lw 84982 c lw 84985 c lw 84993 c lw 84995 c lw 84997 c lw 85002 c lw 85007 c lw 85012 c lw 85014 c lw 85021 c lw 85022 c lw 85023 c lw 85024 c lw 85025 c lw 85026 c lw 85028 c lw 85031 c lw 85046 c lw 85052 c lw 85054 c lw 85058 c lw 85064 c lw 85083 c lw 85084 c lw 85085 c lw 85087 c lw 85088 c lw 85091 c lw 85093 c lw 85094 c lw 85115 c lw 85117 c lw 85118 c lw 85122 c lw 85123 c lw 85124 c lw 85125 c lw 85126 c lw 85127 c lw 85128 c lw 85129 c lw 85130 c lw 85131 c lw 85132 c lw 85133 c lw 85134 c lw 85135 c lw 85137 c lw 85138 c lw 85139 c lw 85140 c lw 85141 c lw 85142 c lw 85143 c lw 85147 c lw 85148 c lw 85149 c lw 85150 c lw 85151 c lw 85152 c lw 85156 c lw 85159 c lw 85160 c lw 85223 c lw 85224 c lw 85244 c lw 85245 c lw 85253 c lw 85254 c lw 85255 c lw 85479 c lw 85482 c lw 85483 c lw 85484 c lw 85485 c lw 85495 c lw 85497 c lw 85509 c lw 85510 c lw 85511 c lw 85512 c lw 85513 c lw 85514 c lw 85515 c lw 85516 c lw 85517 c lw 85518 c lw 85519 c lw 85520 c lw 85521 c lw 85522 c lw 85523 c lw 85524 c lw 85525 c lw 85526 c lw 85527 c lw 85603 c lw 85604 c lw 85610 c lw 85611 c lw 85612 c lw 85613 c lw 85614 c lw 85615 c lw 85616 c lw 85617 c lw 85618 c lw 85796 c lw 85818 c lw 85883 c lw 85884 c lw 85885 c lw 85886 c lw 85887 c lw 85889 c lw 85901 c lw 85915 c lw 85916 c lw 85917 c lw 85918 c lw 85920 c lw 85921 c lw 85957 c lw 85958 c lw 85959 c lw 85960 c lw 85961 c lw 85962 c lw 85963 c lw 85964 c lw 85965 c lw 85966 c lw 85967 c lw 85968 c lw 85969 c lw 85970 c lw 85971 c lw 85972 c lw 85973 c lw 85974 c lw 85975 c lw 85976 c lw 85977 c lw 85978 c lw 85979 c lw 85980 c lw 85993 c lw 86043 c lw 86044 c lw 86045 c lw 86046 c lw 86047 c lw 86048 c lw 86055 c lw 86056 c lw 86068 c lw 86073 c lw 86074 c lw 86081 c lw 86082 c lw 86127 c lw 86128 c lw 86135 c lw 86136 c lw 86137 c lw 86138 c lw 86139 c lw 86140 c lw 86141 c lw 86189 c lw 86190 c lw 86191 c lw 86192 c lw 86202 c lw 86216 c lw 86217 c lw 86219 c lw 86220 c lw 86221 c lw 86222 c lw 86223 c lw 86224 c lw 86231 c lw 86232 c lw 86238 c lw 86239 c lw 86240 c lw 86241 c lw 86242 c lw 86243 c lw 86244 c lw 86246 c lw 86247 c lw 86250 c lw 86251 c lw 86261 c lw 86324 c lw 86325 c lw 86341 c lw 86342 c lw 86370 c lw 86728 c lw 86780 c lw 86807 c lw 86827 c lw 86881 c lw 86972 c lw 86973 c lw 86975 c lw 87191 c lw 87192 c lw 87202 c lw 87203 c lw 87204 c lw 87209 c lw 87212 c lw 87226 c lw 87253 c lw 87477 c lw 87479 c lw 87497 c lw 87549 c lw 87577 c lw 87599 c lw 87746 c lw 87747 c lw 87785 c lw 87839 c lw 87840 c lw 87850 c lw 87877 c lw 88001 c lw 88029 c lw 88056 c lw 88058 c lw 88078 c lw 88079 c lw 88080 c lw 88081 c lw 88082 c lw 88083 c lw 88230 c lw 88252 c lw 88253 c lw 88254 c lw 88255 c lw 88256 c lw 88257 c lw 88258 c lw 88259 c lw 88260 c lw 88262 c lw 88263 c lw 88265 c lw 88267 c lw 88268 c lw 88269 c lw 88270 c lw 88271 c lw 88272 c lw 88273 c lw 88274 c lw 88275 c lw 88276 c lw 88277 c lw 88278 c lw 88279 c lw 88293 c lw 88294 c lw 88295 c lw 88296 c lw 88297 c lw 88298 c lw 88299 c lw 88300 c lw 88301 c lw 88302 c lw 88303 c lw 88304 c lw 88305 c lw 88306 c lw 88307 c lw 88308 c lw 88309 c lw 88329 c lw 88330 c lw 88331 c lw 88332 c lw 88333 c lw 88334 c lw 88335 c lw 88336 c lw 88337 c lw 88338 c lw 88339 c lw 88340 c lw 88341 c lw 88342 c lw 88343 c lw 88346 c lw 88347 c lw 88349 c lw 88352 c lw 88353 c lw 88354 c lw 88355 c lw 88356 c lw 88357 c lw 88358 c lw 88359 c lw 88360 c lw 88361 c lw 88362 c lw 88363 c lw 88364 c lw 88365 c lw 88366 c lw 88367 c lw 88368 c lw 88369 c lw 88370 c lw 88371 c lw 88372 c lw 88373 c lw 88374 c lw 88395 c lw 88405 c lw 88430 c lw 88447 c lw 88519 c lw 88528 c lw 88529 c lw 88530 c lw 88531 c lw 88532 c lw 88533 c lw 88534 c lw 88535 c lw 88536 c lw 88537 c lw 88539 c lw 88550 c lw 88592 c lw 88818 c lw 88968 c lw 88992 c lw 89332 c lw 89338 c lw 89373 c lw 89417 c lw 89483 c lw 89495 c lw 89528 c lw 89563 c lw 89618 c lw 89852 c lw 89959 c lw 89961 c lw 90062 c lw 90170 c lw 90198 c lw 90209 c lw 90527 c lw 90538 c lw 90566 c lw 90567 c lw 90568 c lw 90569 c lw 90570 c lw 90571 c lw 90572 c lw 90573 c lw 90574 c lw 90575 c lw 90576 c lw 90577 c lw 90578 c lw 90579 c lw 90580 c lw 90581 c lw 90582 c lw 90583 c lw 90584 c lw 90585 c lw 90586 c lw 90587 c lw 90588 c lw 90589 c lw 90590 c lw 90591 c lw 90592 c lw 90593 c lw 90594 c lw 90617 c lw 90618 c lw 90641 c lw 90653 c lw 90662 c lw 90682 c lw 90789 c lw 90908 c lw 90920 c lw 90955 c lw 91023 c lw 91090 c lw 91091 c lw 91092 c lw 91093 c lw 91097 c lw 91098 c lw 91099 c lw 91100 c lw 91102 c lw 91131 c lw 91132 c lw 91133 c lw 91134 c lw 91135 c lw 91136 c lw 91145 c lw 91146 c lw 91147 c lw 91153 c lw 91154 c lw 91155 c lw 91156 c lw 91158 c lw 91159 c lw 91160 c lw 91161 c lw 91165 c lw 91172 c lw 91173 c lw 91174 c lw 91175 c lw 91193 c lw 91199 c lw 91217 c lw 91234 c lw 91259 c lw 91260 c lw 91261 c lw 91262 c lw 91265 c lw 91266 c lw 91267 c lw 91268 c lw 91269 c lw 91270 c lw 91271 c lw 91275 c lw 91276 c lw 91278 c lw 91279 c lw 91291 c lw 91300 c lw 91301 c lw 91302 c lw 91303 c lw 91304 c lw 91305 c lw 91309 c lw 91311 c lw 91380 c lw 91394 c lw 91401 c lw 91402 c lw 91403 c lw 91404 c lw 91405 c lw 91406 c lw 91407 c lw 91408 c lw 91409 c lw 91410 c lw 91411 c lw 91412 c lw 91413 c lw 91414 c lw 91415 c lw 91440 c lw 91441 c lw 91442 c lw 91443 c lw 91444 c lw 91474 c lw 91475 c lw 91534 c lw 91535 c lw 91536 c lw 91537 c lw 91538 c lw 91539 c lw 91540 c lw 91541 c lw 91542 c lw 91543 c lw 91544 c lw 91545 c lw 91546 c lw 91547 c lw 91548 c lw 91549 c lw 91550 c lw 91551 c lw 91553 c lw 91554 c lw 91555 c lw 91556 c lw 91557 c lw 91558 c lw 91559 c lw 91560 c lw 91561 c lw 91562 c lw 91563 c lw 91564 c lw 91565 c lw 91566 c lw 91567 c lw 91568 c lw 91569 c lw 91570 c lw 91577 c lw 91579 c lw 91582 c lw 91599 c lw 91616 c lw 91623 c lw 91700 c lw 91752 c lw 91792 c lw 91796 c lw 91797 c lw 91813 c lw 91816 c lw 91818 c lw 91823 c lw 91824 c lw 91825 c lw 91826 c lw 91827 c lw 91828 c lw 91829 c lw 91832 c lw 91836 c lw 91837 c lw 91838 c lw 91839 c lw 91840 c lw 91841 c lw 91842 c lw 91843 c lw 91850 c lw 91851 c lw 91859 c lw 91886 c lw 91889 c lw 91908 c lw 91919 c lw 91920 c lw 91921 c lw 91922 c lw 91923 c lw 91924 c lw 91935 c lw 91936 c lw 91937 c lw 91938 c lw 91939 c lw 91940 c lw 91941 c lw 91942 c lw 91943 c lw 91944 c lw 91945 c lw 91946 c lw 91947 c lw 91948 c lw 91949 c lw 91950 c lw 91951 c lw 91952 c lw 91953 c lw 91954 c lw 91955 c lw 91963 c lw 91964 c lw 91965 c lw 91966 c lw 91967 c lw 91968 c lw 91975 c lw 91976 c lw 91978 c lw 91979 c lw 91980 c lw 91981 c lw 91982 c lw 91983 c lw 92000 c lw 92001 c lw 92005 c lw 92006 c lw 92007 c lw 92008 c lw 92009 c lw 92010 c lw 92011 c lw 92012 c lw 92013 c lw 92014 c lw 92015 c lw 92017 c lw 92018 c lw 92019 c lw 92020 c lw 92021 c lw 92022 c lw 92023 c lw 92024 c lw 92025 c lw 92032 c lw 92033 c lw 92035 c lw 92039 c lw 92040 c lw 92041 c lw 92042 c lw 92043 c lw 92044 c lw 92045 c lw 92046 c lw 92048 c lw 92050 c lw 92052 c lw 92053 c lw 92060 c lw 92061 c lw 92086 c lw 92087 c lw 92088 c lw 92089 c lw 92090 c lw 92091 c lw 92092 c lw 92093 c lw 92094 c lw 92095 c lw 92097 c lw 92098 c lw 92114 c lw 92115 c lw 92116 c lw 92117 c lw 92118 c lw 92119 c lw 92120 c lw 92121 c lw 92122 c lw 92123 c lw 92124 c lw 92125 c lw 92126 c lw 92127 c lw 92128 c lw 92129 c lw 92130 c lw 92131 c lw 92132 c lw 92134 c lw 92135 c lw 92136 c lw 92137 c lw 92138 c lw 92139 c lw 92140 c lw 92141 c lw 92142 c lw 92143 c lw 92144 c lw 92145 c lw 92146 c lw 92147 Killed 1811.878u 7.874s 30:21.52 99.9% 0+0k 0+0io 0pf+0w