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_130_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_0002.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 561 c lw 1122 c lw 1683 c lw 1731 c lw 1748 c lw 1779 c lw 1813 c lw 1827 c lw 1875 c lw 1878 c lw 1923 c lw 1943 c lw 1971 c lw 2008 c lw 2024 c lw 2073 c lw 2077 c lw 2130 c lw 2138 c lw 2183 c lw 2203 c lw 2236 c lw 2268 c lw 2289 c lw 2333 c lw 2342 c lw 2395 c lw 2398 c lw 2448 c lw 2463 c lw 2501 c lw 2528 c lw 2566 c lw 2593 c lw 2631 c lw 2658 c lw 2696 c lw 2723 c lw 2761 c lw 2788 c lw 2826 c lw 2853 c lw 2891 c lw 2918 c lw 2956 c lw 2983 c lw 3021 c lw 3048 c lw 3086 c lw 3113 c lw 3151 c lw 3178 c lw 3216 c lw 3243 c lw 3281 c lw 3308 c lw 3346 c lw 3373 c lw 3411 c lw 3438 c lw 3476 c lw 3503 c lw 3541 c lw 3718 c lw 3895 c lw 4072 c lw 4249 c lw 4717 c lw 5185 c lw 5541 c lw 5653 c lw 6121 c lw 6589 c lw 6833 c lw 7057 c lw 7525 c lw 7993 c lw 8125 c lw 8461 c lw 8929 c lw 9397 c lw 9417 c lw 9865 c lw 10455 c lw 10709 c lw 11045 c lw 11635 c lw 12001 c lw 12225 c lw 12815 c lw 13293 c lw 13405 c lw 13995 c lw 14585 c lw 15175 c lw 15765 c lw 15877 c lw 16355 c lw 16945 c lw 17169 c lw 17535 c lw 18125 c lw 18461 c lw 18715 c lw 19305 c lw 19753 c lw 19895 c lw 20485 c lw 21045 c lw 21075 c lw 22138 c lw 22337 c lw 23400 c lw 23629 c lw 24219 c lw 24809 c lw 25393 c lw 25399 c lw 25983 c lw 25989 c lw 26573 c lw 26579 c lw 26741 c lw 27325 c lw 27804 c lw 27909 c lw 28493 c lw 28867 c lw 29077 c lw 29661 c lw 29930 c lw 30245 c lw 30255 c lw 30580 c lw 30829 c lw 31082 c lw 31413 c lw 31997 c lw 32145 c lw 32581 c lw 33165 c lw 33208 c lw 33749 c lw 34271 c lw 34333 c lw 34917 c lw 35334 c lw 35501 c lw 36085 c lw 36397 c lw 36669 c lw 37253 c lw 37460 c lw 37799 c lw 38221 c lw 38523 c lw 38676 c lw 39149 c lw 39586 c lw 40212 c lw 40649 c lw 41275 c lw 41712 c lw 42338 c lw 42775 c lw 42928 c lw 42934 c lw 42940 c lw 43083 c lw 43401 c lw 43530 c lw 43759 c lw 43774 c lw 43958 c lw 43988 c lw 43998 c lw 44110 c lw 44242 c lw 44548 c lw 44690 c lw 44739 c lw 44832 c lw 44852 c lw 45176 c lw 45802 c lw 45915 c lw 46047 c lw 46363 c lw 46383 c lw 46515 c lw 46607 c lw 46861 c lw 46943 c lw 46953 c lw 47177 c lw 47319 c lw 47533 c lw 47645 c lw 47767 c lw 48011 c lw 48025 c lw 48249 c lw 48615 c lw 48635 c lw 49083 c lw 49103 c lw 49205 c lw 49317 c lw 49419 c lw 49729 c lw 49758 c lw 49841 c lw 50048 c lw 50202 c lw 50632 c lw 50639 c lw 50904 c lw 50942 c lw 50951 c lw 51118 c lw 51261 c lw 51359 c lw 51421 c lw 51783 c lw 51845 c lw 51855 c lw 52032 c lw 52324 c lw 52337 c lw 52357 c lw 52367 c lw 52534 c lw 52626 c lw 52721 c lw 52836 c lw 52951 c lw 53118 c lw 53266 c lw 53387 c lw 53640 c lw 53702 c lw 53718 c lw 53889 c lw 54043 c lw 54092 c lw 54220 c lw 54474 c lw 54604 c lw 54676 c lw 54709 c lw 54915 c lw 55027 c lw 55085 c lw 55309 c lw 55393 c lw 55617 c lw 55953 c lw 55973 c lw 55983 c lw 56160 c lw 56441 c lw 56451 c lw 56467 c lw 56500 c lw 56504 c lw 56528 c lw 56721 c lw 56825 c lw 57069 c lw 57096 c lw 57123 c lw 57161 c lw 57188 c lw 57281 c lw 57305 c lw 57343 c lw 57370 c lw 57408 c lw 57435 c lw 57462 c lw 57473 c lw 57500 c lw 57538 c lw 57565 c lw 57603 c lw 57630 c lw 57641 c lw 57668 c lw 57669 c lw 57677 c lw 57681 c lw 57706 c lw 57722 c lw 57733 c lw 57737 c lw 57760 c lw 57763 c lw 57783 c lw 57792 c lw 57813 c lw 57827 c lw 57834 c lw 57845 c lw 57854 c lw 57860 c lw 57863 c lw 57890 c lw 57904 c lw 57911 c lw 57924 c lw 57928 c lw 57942 c lw 58095 c lw 58101 c lw 58107 c lw 58133 c lw 58250 c lw 58276 c lw 58362 c lw 58377 c lw 58561 c lw 58591 c lw 58594 c lw 58601 c lw 58672 c lw 58702 c lw 58797 c lw 58889 c lw 59056 c lw 59066 c lw 59067 c lw 59087 c lw 59244 c lw 59293 c lw 59351 c lw 59412 c lw 59451 c lw 59455 c lw 59469 c lw 59479 c lw 59489 c lw 59503 c lw 59507 c lw 59513 c lw 59522 c lw 59535 c lw 59537 c lw 59570 c lw 59642 c lw 59653 c lw 59663 c lw 59667 c lw 59673 c lw 59682 c lw 59683 c lw 59688 c lw 59695 c lw 59696 c lw 59697 c lw 59701 c lw 59707 c lw 59708 c lw 59709 c lw 59710 c lw 59713 c lw 59717 c lw 59718 c lw 59719 c lw 59720 c lw 59721 c lw 59722 c lw 59723 c lw 59730 c lw 59744 c lw 59747 c lw 59750 c lw 59751 c lw 59752 c lw 59753 c lw 59754 c lw 59755 c lw 59756 c lw 59757 c lw 59758 c lw 59759 c lw 59763 c lw 59766 c lw 59783 c lw 59789 c lw 59792 c lw 59793 c lw 59794 c lw 59797 c lw 59798 c lw 59800 c lw 59801 c lw 59802 c lw 59804 c lw 59805 c lw 59807 c lw 59808 c lw 59809 c lw 59810 c lw 59811 c lw 59812 c lw 59813 c lw 59814 c lw 59841 c lw 59852 c lw 59863 c lw 59869 c lw 59875 c lw 59876 c lw 59879 c lw 59895 c lw 59906 c lw 59914 c lw 59930 c lw 59933 c lw 59944 c lw 59963 c lw 59971 c lw 59973 c lw 59977 c lw 59981 c lw 59983 c lw 59991 c lw 59994 c lw 59997 c lw 60005 c lw 60008 c lw 60011 c lw 60013 c lw 60026 c lw 60029 c lw 60030 c lw 60031 c lw 60032 c lw 60038 c lw 60039 c lw 60042 c lw 60047 c lw 60050 c lw 60059 c lw 60061 c lw 60064 c lw 60066 c lw 60068 c lw 60070 c lw 60071 c lw 60079 c lw 60080 c lw 60081 c lw 60084 c lw 60085 c lw 60091 c lw 60095 c lw 60104 c lw 60105 c lw 60107 c lw 60108 c lw 60114 c lw 60115 c lw 60116 c lw 60117 c lw 60163 c lw 60316 c lw 60332 c lw 60345 c lw 60363 c lw 60364 c lw 60368 c lw 60374 c lw 60415 c lw 60421 c lw 60422 c lw 60423 c lw 60425 c lw 60426 c lw 60427 c lw 60429 c lw 60430 c lw 60431 c lw 60432 c lw 60434 c lw 60435 c lw 60436 c lw 60437 c lw 60438 c lw 60439 c lw 60440 c lw 60441 c lw 60442 c lw 60443 c lw 60444 c lw 60445 c lw 60449 c lw 60529 c lw 60548 c lw 60655 c lw 60656 c lw 60657 c lw 60687 c lw 60688 c lw 60689 c lw 60690 c lw 60691 c lw 60692 c lw 60693 c lw 60694 c lw 60695 c lw 60696 c lw 60697 c lw 60698 c lw 60699 c lw 60707 c lw 60708 c lw 60709 c lw 60710 c lw 60711 c lw 60714 c lw 60716 c lw 60717 c lw 60718 c lw 60719 c lw 60720 c lw 60721 c lw 60722 c lw 60723 c lw 60729 c lw 60730 c lw 60731 c lw 60838 c lw 60841 c lw 60848 c lw 60853 c lw 60857 c lw 60858 c lw 60859 c lw 60863 c lw 60864 c lw 60867 c lw 60868 c lw 60869 c lw 60878 c lw 60879 c lw 60888 c lw 60889 c lw 60890 c lw 60891 c lw 60892 c lw 60902 c lw 60984 c lw 61004 c lw 61238 c lw 61278 c lw 61370 c lw 61390 c lw 61412 c lw 61484 c lw 61494 c lw 61524 c lw 61525 c lw 61545 c lw 61555 c lw 61623 c lw 61684 c lw 61733 c lw 61840 c lw 61848 c lw 61878 c lw 61879 c lw 61911 c lw 61921 c lw 61927 c lw 61935 c lw 61936 c lw 61937 c lw 61939 c lw 61940 c lw 61941 c lw 61943 c lw 61944 c lw 61946 c lw 61947 c lw 61949 c lw 61950 c lw 61951 c lw 61970 c lw 61972 c lw 61977 c lw 61978 c lw 61994 c lw 61995 c lw 61996 c lw 61997 c lw 61998 c lw 61999 c lw 62000 c lw 62001 c lw 62002 c lw 62003 c lw 62004 c lw 62005 c lw 62006 c lw 62007 c lw 62008 c lw 62009 c lw 62010 c lw 62011 c lw 62012 c lw 62013 c lw 62014 c lw 62024 c lw 62028 c lw 62034 c lw 62041 c lw 62048 c lw 62049 c lw 62051 c lw 62052 c lw 62053 c lw 62057 c lw 62058 c lw 62059 c lw 62060 c lw 62061 c lw 62062 c lw 62063 c lw 62075 c lw 62113 c lw 62132 c lw 62133 c lw 62134 c lw 62135 c lw 62137 c lw 62138 c lw 62139 c lw 62140 c lw 62141 c lw 62142 c lw 62143 c lw 62144 c lw 62145 c lw 62146 c lw 62147 c lw 62148 c lw 62149 c lw 62153 c lw 62154 c lw 62155 c lw 62156 c lw 62157 c lw 62158 c lw 62159 c lw 62160 c lw 62161 c lw 62162 c lw 62163 c lw 62164 c lw 62165 c lw 62166 c lw 62167 c lw 62168 c lw 62169 c lw 62170 c lw 62171 c lw 62172 c lw 62173 c lw 62174 c lw 62175 c lw 62176 c lw 62177 c lw 62178 c lw 62179 c lw 62180 c lw 62181 c lw 62182 c lw 62183 c lw 62184 c lw 62185 c lw 62203 c lw 62204 c lw 62205 c lw 62212 c lw 62213 c lw 62214 c lw 62220 c lw 62221 c lw 62222 c lw 62223 c lw 62224 c lw 62225 c lw 62226 c lw 62227 c lw 62228 c lw 62229 c lw 62230 c lw 62231 c lw 62232 c lw 62233 c lw 62264 c lw 62265 c lw 62387 c lw 62488 c lw 62498 c lw 62712 c lw 62731 c lw 62732 c lw 62733 c lw 62743 c lw 62748 c lw 62854 c lw 62855 c lw 62955 c lw 62956 c lw 62964 c lw 62965 c lw 62970 c lw 62971 c lw 62972 c lw 62973 c lw 62974 c lw 62975 c lw 62982 c lw 62983 c lw 62988 c lw 62989 c lw 63000 c lw 63001 c lw 63010 c lw 63015 c lw 63089 c lw 63090 c lw 63110 c lw 63111 c lw 63114 c lw 63134 c lw 63174 c lw 63180 c lw 63186 c lw 63187 c lw 63227 c lw 63249 c lw 63263 c lw 63273 c lw 63293 c lw 63313 c lw 63355 c lw 63375 c lw 63390 c lw 63424 c lw 63448 c lw 63464 c lw 63466 c lw 63469 c lw 63484 c lw 63499 c lw 63506 c lw 63509 c lw 63536 c lw 63649 c lw 63746 c lw 63748 c lw 63763 c lw 63776 c lw 63835 c lw 63849 c lw 63850 c lw 63851 c lw 63853 c lw 63855 c lw 63856 c lw 63860 c lw 63861 c lw 63862 c lw 63863 c lw 63864 c lw 63865 c lw 63866 c lw 63868 c lw 63869 c lw 63870 c lw 63877 c lw 63878 c lw 63881 c lw 63887 c lw 63888 c lw 63891 c lw 63895 c lw 63900 c lw 63905 c lw 63906 c lw 63907 c lw 63908 c lw 63909 c lw 63910 c lw 63917 c lw 63918 c lw 63921 c lw 63922 c lw 63923 c lw 63924 c lw 63925 c lw 63926 c lw 63927 c lw 63928 c lw 63929 c lw 63930 c lw 63931 c lw 63932 c lw 63933 c lw 63934 c lw 63935 c lw 63936 c lw 63937 c lw 63938 c lw 63939 c lw 63940 c lw 63941 c lw 63942 c lw 63943 c lw 63944 c lw 63945 c lw 63946 c lw 63947 c lw 63948 c lw 63949 c lw 63950 c lw 63951 c lw 63952 c lw 63953 c lw 63954 c lw 63955 c lw 63956 c lw 63957 c lw 63958 c lw 63959 c lw 63960 c lw 63961 c lw 63962 c lw 63963 c lw 63964 c lw 63965 c lw 63966 c lw 63967 c lw 63968 c lw 63969 c lw 63970 c lw 63971 c lw 63972 c lw 63973 c lw 63974 c lw 63975 c lw 63976 c lw 63977 c lw 63978 c lw 63979 c lw 63980 c lw 63981 c lw 63982 c lw 63983 c lw 63984 c lw 63985 c lw 63986 c lw 63987 c lw 63989 c lw 63999 c lw 64000 c lw 64001 c lw 64002 c lw 64003 c lw 64004 c lw 64005 c lw 64007 c lw 64008 c lw 64009 c lw 64010 c lw 64011 c lw 64012 c lw 64013 c lw 64014 c lw 64015 c lw 64016 c lw 64017 c lw 64018 c lw 64019 c lw 64020 c lw 64021 c lw 64022 c lw 64023 c lw 64024 c lw 64025 c lw 64026 c lw 64027 c lw 64028 c lw 64029 c lw 64030 c lw 64031 c lw 64032 c lw 64033 c lw 64034 c lw 64063 c lw 64069 c lw 64075 c lw 64101 c lw 64201 c lw 64276 c lw 64287 c lw 64288 c lw 64289 c lw 64290 c lw 64291 c lw 64292 c lw 64293 c lw 64294 c lw 64320 c lw 64321 c lw 64323 c lw 64330 c lw 64332 c lw 64337 c lw 64338 c lw 64347 c lw 64349 c lw 64350 c lw 64351 c lw 64359 c lw 64365 c lw 64366 c lw 64367 c lw 64368 c lw 64369 c lw 64370 c lw 64371 c lw 64372 c lw 64373 c lw 64381 c lw 64382 c lw 64383 c lw 64384 c lw 64385 c lw 64386 c lw 64387 c lw 64388 c lw 64389 c lw 64390 c lw 64391 c lw 64392 c lw 64393 c lw 64394 c lw 64395 c lw 64396 c lw 64397 c lw 64398 c lw 64399 c lw 64400 c lw 64401 c lw 64402 c lw 64403 c lw 64404 c lw 64405 c lw 64406 c lw 64407 c lw 64408 c lw 64409 c lw 64410 c lw 64414 c lw 64416 c lw 64417 c lw 64421 c lw 64428 c lw 64429 c lw 64430 c lw 64432 c lw 64436 c lw 64437 c lw 64438 c lw 64439 c lw 64440 c lw 64441 c lw 64442 c lw 64443 c lw 64444 c lw 64445 c lw 64446 c lw 64447 c lw 64448 c lw 64458 c lw 64459 c lw 64460 c lw 64461 c lw 64462 c lw 64463 c lw 64466 c lw 64467 c lw 64468 c lw 64469 c lw 64470 c lw 64471 c lw 64472 c lw 64473 c lw 64474 c lw 64559 c lw 64575 c lw 64584 c lw 64587 c lw 64600 c lw 64610 c lw 64616 c lw 64730 c lw 64764 c lw 64771 c lw 64783 c lw 64784 c lw 64803 c lw 64873 c lw 64912 c lw 64913 c lw 64914 c lw 64915 c lw 64918 c lw 64920 c lw 64921 c lw 64922 c lw 64924 c lw 64925 c lw 64926 c lw 64927 c lw 64928 c lw 64929 c lw 64931 c lw 64932 c lw 64933 c lw 64934 c lw 64935 c lw 64941 c lw 64951 c lw 64959 c lw 64960 c lw 64961 c lw 64962 c lw 64964 c lw 64979 c lw 65019 c lw 65023 c lw 65033 c lw 65056 c lw 65069 c lw 65080 c lw 65082 c lw 65084 c lw 65087 c lw 65089 c lw 65102 c lw 65113 c lw 65115 c lw 65116 c lw 65117 c lw 65118 c lw 65119 c lw 65120 c lw 65121 c lw 65137 c lw 65161 c lw 65162 c lw 65163 c lw 65164 c lw 65165 c lw 65166 c lw 65167 c lw 65176 c lw 65179 c lw 65180 c lw 65182 c lw 65184 c lw 65185 c lw 65186 c lw 65187 c lw 65188 c lw 65200 c lw 65204 c lw 65207 c lw 65210 c lw 65229 c lw 65230 c lw 65231 c lw 65232 c lw 65233 c lw 65234 c lw 65235 c lw 65236 c lw 65237 c lw 65240 c lw 65241 c lw 65242 c lw 65243 c lw 65244 c lw 65245 c lw 65247 c lw 65248 c lw 65251 c lw 65255 c lw 65257 c lw 65258 c lw 65259 c lw 65260 c lw 65261 c lw 65262 c lw 65263 c lw 65264 c lw 65265 c lw 65266 c lw 65267 c lw 65268 c lw 65269 c lw 65272 c lw 65291 c lw 65330 c lw 65331 c lw 65332 c lw 65333 c lw 65334 c lw 65335 c lw 65336 c lw 65337 c lw 65338 c lw 65339 c lw 65340 c lw 65341 c lw 65342 c lw 65343 c lw 65346 c lw 65347 c lw 65348 c lw 65349 c lw 65350 c lw 65351 c lw 65352 c lw 65353 c lw 65354 c lw 65355 c lw 65356 c lw 65357 c lw 65358 c lw 65359 c lw 65360 c lw 65387 c lw 65484 c lw 65545 c lw 65554 c lw 65563 c lw 65568 c lw 65581 c lw 65582 c lw 65584 c lw 65591 c lw 65593 c lw 65595 c lw 65610 c lw 65612 c lw 65651 c lw 65652 c lw 65653 c lw 65654 c lw 65655 c lw 65656 c lw 65657 c lw 65664 c lw 65669 c lw 65670 c lw 65677 c lw 65678 c lw 65679 c lw 65686 c lw 65687 c lw 65688 c lw 65689 c lw 65690 c lw 65691 c lw 65692 c lw 65693 c lw 65694 c lw 65695 c lw 65696 c lw 65698 c lw 65699 c lw 65701 c lw 65702 c lw 65703 c lw 65704 c lw 65705 c lw 65706 c lw 65709 c lw 65710 c lw 65711 c lw 65712 c lw 65713 c lw 65714 c lw 65715 c lw 65716 c lw 65717 c lw 65718 c lw 65719 c lw 65720 c lw 65721 c lw 65722 c lw 65797 c lw 65798 c lw 65799 c lw 65800 c lw 65802 c lw 65803 c lw 65804 c lw 65839 c lw 65840 c lw 65842 c lw 65847 c lw 65848 c lw 65849 c lw 65921 c lw 65932 c lw 65961 c lw 66056 c lw 66119 c lw 66214 c lw 66233 c lw 66262 c lw 66263 c lw 66273 c lw 66277 c lw 66279 c lw 66282 c lw 66283 c lw 66287 c lw 66288 c lw 66290 c lw 66291 c lw 66293 c lw 66294 c lw 66295 c lw 66296 c lw 66297 c lw 66298 c lw 66300 c lw 66302 c lw 66303 c lw 66304 c lw 66305 c lw 66306 c lw 66307 c lw 66308 c lw 66310 c lw 66311 c lw 66312 c lw 66338 c lw 66372 c lw 66389 c lw 66416 c lw 66433 c lw 66447 c lw 66450 c lw 66451 c lw 66463 c lw 66464 c lw 66465 c lw 66466 c lw 66467 c lw 66468 c lw 66469 c lw 66470 c lw 66471 c lw 66475 c lw 66476 c lw 66477 c lw 66478 c lw 66479 c lw 66480 c lw 66481 c lw 66482 c lw 66483 c lw 66484 c lw 66485 c lw 66486 c lw 66487 c lw 66488 c lw 66491 c lw 66492 c lw 66493 c lw 66494 c lw 66531 c lw 66532 c lw 66533 c lw 66534 c lw 66535 c lw 66536 c lw 66537 c lw 66538 c lw 66539 Killed 1818.345u 1.389s 30:23.51 99.7% 0+0k 0+0io 0pf+0w