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_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0004.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 99 c lw 141 c lw 198 c lw 282 c lw 297 c lw 396 c lw 423 c lw 495 c lw 564 c lw 594 c lw 693 c lw 705 c lw 792 c lw 846 c lw 891 c lw 987 c lw 990 c lw 1089 c lw 1128 c lw 1188 c lw 1269 c lw 1287 c lw 1386 c lw 1410 c lw 1485 c lw 1551 c lw 1584 c lw 1683 c lw 1692 c lw 1824 c lw 1833 c lw 1965 c lw 1974 c lw 2106 c lw 2115 c lw 2247 c lw 2256 c lw 2388 c lw 2397 c lw 2529 c lw 2538 c lw 2670 c lw 2679 c lw 2811 c lw 2820 c lw 2952 c lw 2961 c lw 3093 c lw 3102 c lw 3234 c lw 3243 c lw 3375 c lw 3384 c lw 3516 c lw 3525 c lw 3657 c lw 3666 c lw 3767 c lw 3798 c lw 4158 c lw 4203 c lw 4518 c lw 4608 c lw 4878 c lw 5013 c lw 5283 c lw 5418 c lw 5688 c lw 5823 c lw 6093 c lw 6228 c lw 6498 c lw 6633 c lw 6903 c lw 7038 c lw 7308 c lw 7443 c lw 7713 c lw 7848 c lw 8118 c lw 8253 c lw 8523 c lw 8624 c lw 8658 c lw 8759 c lw 9063 c lw 9164 c lw 9468 c lw 10619 c lw 10680 c lw 11789 c lw 11892 c lw 12959 c lw 13104 c lw 14171 c lw 14316 c lw 15383 c lw 15528 c lw 16595 c lw 16740 c lw 17807 c lw 17952 c lw 19019 c lw 19164 c lw 20231 c lw 20376 c lw 21443 c lw 21588 c lw 22655 c lw 22800 c lw 23867 c lw 24012 c lw 25079 c lw 25224 c lw 26291 c lw 26402 c lw 27310 c lw 27503 c lw 28218 c lw 28715 c lw 29430 c lw 29927 c lw 30642 c lw 31139 c lw 31854 c lw 32351 c lw 33066 c lw 33563 c lw 34278 c lw 34775 c lw 35490 c lw 35987 c lw 36702 c lw 37199 c lw 37914 c lw 38015 c lw 38512 c lw 38613 c lw 39126 c lw 39227 c lw 39926 c lw 40027 c lw 40338 c lw 40439 c lw 41340 c lw 41441 c lw 41519 c lw 41620 c lw 41676 c lw 41721 c lw 41732 c lw 41788 c lw 41822 c lw 41844 c lw 41900 c lw 41923 c lw 41956 c lw 42012 c lw 42024 c lw 42068 c lw 42124 c lw 42125 c lw 42180 c lw 42226 c lw 42236 c lw 42292 c lw 42327 c lw 42348 c lw 42404 c lw 42428 c lw 42460 c lw 42516 c lw 42529 c lw 42572 c lw 42628 c lw 42630 c lw 42684 c lw 42731 c lw 42740 c lw 42796 c lw 42832 c lw 42852 c lw 42908 c lw 42933 c lw 42964 c lw 43020 c lw 43034 c lw 43076 c lw 43135 c lw 43177 c lw 43236 c lw 43278 c lw 43337 c lw 43379 c lw 43438 c lw 43480 c lw 43581 c lw 44482 c lw 44513 c lw 44572 c lw 44642 c lw 44650 c lw 44681 c lw 44712 c lw 44782 c lw 44883 c lw 45582 c lw 45613 c lw 45655 c lw 45683 c lw 45697 c lw 45714 c lw 45815 c lw 46196 c lw 46297 c lw 46312 c lw 46429 c lw 46794 c lw 46926 c lw 47027 c lw 47509 c lw 47524 c lw 47742 c lw 48006 c lw 48048 c lw 48090 c lw 48239 c lw 48298 c lw 48736 c lw 48805 c lw 49013 c lw 49302 c lw 49510 c lw 49520 c lw 49713 c lw 50017 c lw 50321 c lw 50428 c lw 50432 c lw 50573 c lw 51388 c lw 51422 c lw 51499 c lw 51567 c lw 51644 c lw 52489 c lw 52634 c lw 52779 c lw 53556 c lw 53701 c lw 53846 c lw 54623 c lw 54768 c lw 54913 c lw 55690 c lw 55835 c lw 55980 c lw 56757 c lw 56860 c lw 56902 c lw 56963 c lw 57866 c lw 57901 c lw 57908 c lw 57911 c lw 57922 c lw 57936 c lw 57964 c lw 57967 c lw 57992 c lw 57998 c lw 58018 c lw 58034 c lw 58048 c lw 58057 c lw 58090 c lw 58095 c lw 58136 c lw 58138 c lw 58149 c lw 58162 c lw 58192 c lw 58216 c lw 58218 c lw 58224 c lw 58233 c lw 58234 c lw 58245 c lw 58272 c lw 58284 c lw 58290 c lw 58316 c lw 58339 c lw 58340 c lw 58349 c lw 58371 c lw 58383 c lw 58395 c lw 58406 c lw 58439 c lw 58440 c lw 58575 c lw 58630 c lw 58674 c lw 58687 c lw 58702 c lw 58710 c lw 58845 c lw 58946 c lw 58980 c lw 58986 c lw 59032 c lw 59041 c lw 59050 c lw 59068 c lw 59077 c lw 59086 c lw 59095 c lw 59104 c lw 59142 c lw 59277 c lw 59378 c lw 59412 c lw 59436 c lw 59475 c lw 59478 c lw 59487 c lw 59497 c lw 59598 c lw 59607 c lw 59616 c lw 59625 c lw 59711 c lw 59720 c lw 59748 c lw 59753 c lw 59757 c lw 59852 c lw 59889 c lw 59898 c lw 59951 c lw 60030 c lw 60075 c lw 60199 c lw 60233 c lw 60368 c lw 60390 c lw 60399 c lw 60513 c lw 60533 c lw 60636 c lw 60656 c lw 60757 c lw 60818 c lw 60892 c lw 60894 c lw 60914 c lw 60927 c lw 60945 c lw 60966 c lw 61008 c lw 61037 c lw 61130 c lw 61131 c lw 61155 c lw 61175 c lw 61187 c lw 61209 c lw 61242 c lw 61314 c lw 61325 c lw 61375 c lw 61419 c lw 61433 c lw 61449 c lw 61462 c lw 61476 c lw 61516 c lw 61671 c lw 61698 c lw 61713 c lw 61743 c lw 61751 c lw 61828 c lw 61836 c lw 61851 c lw 61856 c lw 61895 c lw 61906 c lw 61907 c lw 61912 c lw 61917 c lw 61932 c lw 61947 c lw 61974 c lw 61977 c lw 61978 c lw 61981 c lw 61994 c lw 61995 c lw 61996 c lw 62007 c lw 62019 c lw 62020 c lw 62022 c lw 62033 c lw 62051 c lw 62052 c lw 62053 c lw 62054 c lw 62055 c lw 62059 c lw 62060 c lw 62061 c lw 62064 c lw 62065 c lw 62066 c lw 62067 c lw 62074 c lw 62076 c lw 62085 c lw 62114 c lw 62123 c lw 62132 c lw 62161 c lw 62169 c lw 62189 c lw 62212 c lw 62228 c lw 62233 c lw 62246 c lw 62251 c lw 62259 c lw 62262 c lw 62282 c lw 62286 c lw 62290 c lw 62318 c lw 62319 c lw 62331 c lw 62332 c lw 62335 c lw 62344 c lw 62353 c lw 62355 c lw 62398 c lw 62456 c lw 62476 c lw 62485 c lw 62494 c lw 62496 c lw 62502 c lw 62503 c lw 62511 c lw 62512 c lw 62546 c lw 62555 c lw 62635 c lw 62644 c lw 62646 c lw 62647 c lw 62650 c lw 62652 c lw 62655 c lw 62656 c lw 62663 c lw 62665 c lw 62667 c lw 62670 c lw 62671 c lw 62672 c lw 62673 c lw 62679 c lw 62680 c lw 62681 c lw 62682 c lw 62727 c lw 62739 c lw 62741 c lw 62749 c lw 62811 c lw 62812 c lw 62813 c lw 62814 c lw 62815 c lw 62817 c lw 62881 c lw 62892 c lw 62926 c lw 62927 c lw 63028 c lw 63051 c lw 63085 c lw 63119 c lw 63174 c lw 63184 c lw 63194 c lw 63270 c lw 63282 c lw 63304 c lw 63343 c lw 63344 c lw 63345 c lw 63349 c lw 63352 c lw 63356 c lw 63366 c lw 63372 c lw 63373 c lw 63376 c lw 63377 c lw 63378 c lw 63379 c lw 63388 c lw 63389 c lw 63390 c lw 63391 c lw 63392 c lw 63397 c lw 63398 c lw 63399 c lw 63400 c lw 63412 c lw 63422 c lw 63430 c lw 63438 c lw 63439 c lw 63449 c lw 63453 c lw 63454 c lw 63457 c lw 63464 c lw 63468 c lw 63471 c lw 63474 c lw 63482 c lw 63483 c lw 63484 c lw 63485 c lw 63486 c lw 63487 c lw 63488 c lw 63489 c lw 63490 c lw 63491 c lw 63492 c lw 63494 c lw 63495 c lw 63496 c lw 63497 c lw 63498 c lw 63501 c lw 63505 c lw 63506 c lw 63507 c lw 63508 c lw 63509 c lw 63510 c lw 63511 c lw 63513 c lw 63514 c lw 63515 c lw 63516 c lw 63517 c lw 63518 c lw 63519 c lw 63520 c lw 63521 c lw 63522 c lw 63636 c lw 63641 c lw 63644 c lw 63646 c lw 63648 c lw 63649 c lw 63651 c lw 63652 c lw 63654 c lw 63660 c lw 63665 c lw 63760 c lw 63848 c lw 63849 c lw 63850 c lw 63851 c lw 63852 c lw 63853 c lw 63854 c lw 63855 c lw 63856 c lw 63857 c lw 63858 c lw 63859 c lw 63860 c lw 63861 c lw 63862 c lw 63865 c lw 63868 c lw 63888 c lw 63889 c lw 63890 c lw 63891 c lw 63905 c lw 64088 c lw 64090 c lw 64149 c lw 64152 c lw 64191 c lw 64196 c lw 64197 c lw 64268 c lw 64273 c lw 64307 c lw 64869 c lw 64874 c lw 64880 c lw 64881 c lw 64882 c lw 64883 c lw 64884 c lw 64885 c lw 64886 c lw 64887 c lw 64888 c lw 64889 c lw 64890 c lw 64891 c lw 64892 c lw 64893 c lw 64894 c lw 64895 c lw 64896 c lw 64897 c lw 64974 c lw 64975 c lw 64976 c lw 64977 c lw 64978 c lw 64979 c lw 64980 c lw 64981 c lw 64982 c lw 64983 c lw 64984 c lw 65084 c lw 65129 c lw 65155 c lw 65160 c lw 65194 c lw 65200 c lw 65229 c lw 65255 c lw 65311 c lw 65400 c lw 65456 c lw 65461 c lw 65462 c lw 65475 c lw 65480 c lw 65482 c lw 65497 c lw 65500 c lw 65501 c lw 65502 c lw 65503 c lw 65504 c lw 65505 c lw 65506 c lw 65507 c lw 65510 c lw 65512 c lw 65513 c lw 65817 c lw 66007 c lw 66009 c lw 66011 c lw 66100 c lw 66156 c lw 66245 c lw 66246 c lw 66287 c lw 66291 c lw 66294 c lw 66296 c lw 66301 c lw 66303 c lw 66304 c lw 66306 c lw 66307 c lw 66308 c lw 66309 c lw 66314 c lw 66320 c lw 66321 c lw 66323 c lw 66324 c lw 66325 c lw 66326 c lw 66327 c lw 66343 c lw 66344 c lw 66345 c lw 66347 c lw 66348 c lw 66349 c lw 66350 c lw 66351 c lw 66353 c lw 66354 c lw 66366 c lw 66367 c lw 66368 c lw 66369 c lw 66370 c lw 66371 c lw 66373 c lw 66376 c lw 66379 c lw 66384 c lw 66395 c lw 66396 c lw 66397 c lw 66398 c lw 66399 c lw 66400 c lw 66401 c lw 66402 c lw 66403 c lw 66404 c lw 66405 c lw 66406 c lw 66413 c lw 66699 c lw 66748 c lw 66755 c lw 66832 c lw 66893 c lw 66900 c lw 66989 c lw 66996 c lw 67045 c lw 67183 c lw 67272 c lw 67340 c lw 67401 c lw 67408 c lw 67415 c lw 67471 c lw 67513 c lw 67522 c lw 67696 c lw 67764 c lw 67767 c lw 67793 c lw 67796 c lw 67831 c lw 67832 c lw 67835 c lw 67837 c lw 67838 c lw 67839 c lw 67840 c lw 67842 c lw 67843 c lw 67845 c lw 67846 c lw 67855 c lw 67859 c lw 67866 c lw 67868 c lw 67869 c lw 67870 c lw 67872 c lw 67873 c lw 67918 c lw 67928 c lw 67936 c lw 68136 c lw 68316 c lw 68317 c lw 68318 c lw 68319 c lw 68320 c lw 68321 c lw 68322 c lw 68323 c lw 68324 c lw 68325 c lw 68326 c lw 68327 c lw 68328 c lw 68329 c lw 68330 c lw 68331 c lw 68332 c lw 68333 c lw 68334 c lw 68335 c lw 68336 c lw 68337 c lw 68338 c lw 68339 c lw 68340 c lw 68341 c lw 68342 c lw 68343 c lw 68344 c lw 68345 c lw 68346 c lw 68347 c lw 68348 c lw 68349 c lw 68350 c lw 68351 c lw 68352 c lw 68354 c lw 68358 c lw 68359 c lw 68428 c lw 68636 c lw 68648 c lw 68649 c lw 68650 c lw 68651 c lw 68652 c lw 68653 c lw 68655 c lw 68656 c lw 68657 c lw 68658 c lw 68659 c lw 68660 c lw 68661 c lw 68662 c lw 68663 c lw 68664 c lw 68665 c lw 68740 c lw 68741 c lw 68742 c lw 68743 c lw 68744 c lw 68745 c lw 68746 c lw 68748 c lw 68749 c lw 68752 c lw 68761 c lw 68762 c lw 68763 c lw 68764 c lw 68765 c lw 68766 c lw 68767 c lw 68768 c lw 68769 c lw 68770 c lw 68836 c lw 68837 c lw 68848 c lw 68907 c lw 69056 c lw 69066 c lw 69108 c lw 69123 c lw 69150 c lw 69205 c lw 69215 c lw 69217 c lw 69264 c lw 69274 c lw 69276 c lw 69354 c lw 69356 c lw 69358 c lw 69364 c lw 69366 c lw 69376 c lw 69411 c lw 69413 c lw 69565 c lw 69607 c lw 69622 c lw 69637 c lw 69649 c lw 69659 c lw 69701 c lw 69704 c lw 69714 c lw 69724 c lw 69736 c lw 69746 c lw 69749 c lw 69752 c lw 69756 c lw 69857 c lw 69910 c lw 69912 c lw 69991 c lw 70042 c lw 70080 c lw 70143 c lw 70146 c lw 70147 c lw 70150 c lw 70151 c lw 70153 c lw 70154 c lw 70157 c lw 70158 c lw 70160 c lw 70163 c lw 70164 c lw 70165 c lw 70166 c lw 70167 c lw 70169 c lw 70171 c lw 70175 c lw 70182 c lw 70185 c lw 70186 c lw 70191 c lw 70196 c lw 70197 c lw 70200 c lw 70224 c lw 70230 c lw 70234 c lw 70244 c lw 70253 c lw 70260 c lw 70261 c lw 70262 c lw 70263 c lw 70264 c lw 70265 c lw 70266 c lw 70267 c lw 70269 c lw 70270 c lw 70271 c lw 70272 c lw 70273 c lw 70274 c lw 70275 c lw 70276 c lw 70277 c lw 70278 c lw 70279 c lw 70280 c lw 70281 c lw 70282 c lw 70283 c lw 70284 c lw 70285 c lw 70287 c lw 70288 c lw 70289 c lw 70290 c lw 70291 c lw 70292 c lw 70293 c lw 70294 c lw 70295 c lw 70296 c lw 70297 c lw 70298 c lw 70299 c lw 70300 c lw 70301 c lw 70302 c lw 70303 c lw 70304 c lw 70305 c lw 70306 c lw 70307 c lw 70308 c lw 70309 c lw 70310 c lw 70311 c lw 70312 c lw 70313 c lw 70314 c lw 70315 c lw 70316 c lw 70317 c lw 70318 c lw 70319 c lw 70320 c lw 70321 c lw 70322 c lw 70323 c lw 70324 c lw 70325 c lw 70326 c lw 70327 c lw 70342 c lw 70443 c lw 70465 c lw 70471 c lw 70493 c lw 70524 c lw 70550 c lw 70572 c lw 70588 c lw 70602 c lw 70630 c lw 70642 c lw 70667 c lw 70673 c lw 70824 c lw 70830 c lw 70836 c lw 70838 c lw 70839 c lw 70855 c lw 70867 c lw 70877 c lw 70895 c lw 70896 c lw 70899 c lw 70900 c lw 70901 c lw 70902 c lw 70903 c lw 70905 c lw 70906 c lw 70909 c lw 70910 c lw 70916 c lw 70921 c lw 70922 c lw 70923 c lw 70924 c lw 70925 c lw 70926 c lw 70929 c lw 70930 c lw 70931 c lw 70932 c lw 70933 c lw 70934 c lw 70935 c lw 70940 c lw 70943 c lw 70951 c lw 70954 c lw 70955 c lw 70956 c lw 70957 c lw 70958 c lw 70959 c lw 70960 c lw 70963 c lw 70964 c lw 70965 c lw 70966 c lw 70967 c lw 70973 c lw 70976 c lw 70978 c lw 70979 c lw 70985 c lw 71003 c lw 71004 c lw 71006 c lw 71007 c lw 71008 c lw 71009 c lw 71010 c lw 71017 c lw 71034 c lw 71060 c lw 71073 c lw 71074 c lw 71075 c lw 71076 c lw 71077 c lw 71078 c lw 71080 c lw 71081 c lw 71082 c lw 71083 c lw 71084 c lw 71085 c lw 71086 c lw 71087 c lw 71088 c lw 71089 c lw 71090 c lw 71091 c lw 71092 c lw 71096 c lw 71097 c lw 71098 c lw 71099 c lw 71100 c lw 71106 c lw 71107 c lw 71109 c lw 71113 c lw 71119 c lw 71122 c lw 71123 c lw 71125 c lw 71126 c lw 71127 c lw 71128 c lw 71129 c lw 71130 c lw 71131 c lw 71132 c lw 71133 c lw 71134 c lw 71135 c lw 71136 c lw 71141 c lw 71143 c lw 71144 c lw 71145 c lw 71146 c lw 71147 c lw 71148 c lw 71149 c lw 71150 c lw 71151 c lw 71152 c lw 71153 c lw 71154 c lw 71155 c lw 71156 c lw 71157 c lw 71158 c lw 71159 c lw 71160 c lw 71161 c lw 71162 c lw 71163 c lw 71164 c lw 71165 c lw 71166 c lw 71167 c lw 71168 c lw 71169 c lw 71170 c lw 71171 c lw 71172 c lw 71173 c lw 71174 c lw 71183 c lw 71194 c lw 71218 c lw 71219 c lw 71225 c lw 71226 c lw 71227 c lw 71228 c lw 71229 c lw 71230 c lw 71231 c lw 71232 c lw 71233 c lw 71234 c lw 71235 c lw 71236 c lw 71237 c lw 71238 c lw 71239 c lw 71240 c lw 71241 c lw 71242 c lw 71243 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 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 71273 c lw 71274 c lw 71275 c lw 71276 c lw 71277 c lw 71278 c lw 71279 c lw 71280 c lw 71281 c lw 71282 c lw 71283 c lw 71284 c lw 71285 c lw 71286 c lw 71287 c lw 71288 c lw 71289 c lw 71290 c lw 71291 c lw 71292 c lw 71301 c lw 71302 c lw 71314 c lw 71324 c lw 71325 c lw 71326 c lw 71331 c lw 71332 c lw 71335 c lw 71336 c lw 71337 c lw 71343 c lw 71349 c lw 71355 c lw 71357 c lw 71361 c lw 71363 c lw 71369 c lw 71370 c lw 71372 c lw 71374 c lw 71376 c lw 71377 c lw 71379 c lw 71380 c lw 71381 c lw 71382 c lw 71386 c lw 71387 c lw 71396 c lw 71407 c lw 71409 c lw 71412 c lw 71419 c lw 71422 c lw 71427 c lw 71430 c lw 71435 c lw 71439 c lw 71440 c lw 71441 c lw 71465 c lw 71470 c lw 71472 c lw 71495 c lw 71496 c lw 71503 c lw 71506 c lw 71507 c lw 71508 c lw 71509 c lw 71514 c lw 71516 c lw 71517 c lw 71518 c lw 71519 c lw 71520 c lw 71521 c lw 71523 c lw 71524 c lw 71525 c lw 71526 c lw 71528 c lw 71529 c lw 71535 c lw 71548 c lw 71551 c lw 71555 c lw 71556 c lw 71559 c lw 71562 c lw 71565 c lw 71566 c lw 71568 c lw 71571 c lw 71573 c lw 71581 c lw 71583 c lw 71586 c lw 71588 c lw 71590 c lw 71600 c lw 71605 c lw 71606 c lw 71607 c lw 71608 c lw 71609 c lw 71610 c lw 71611 c lw 71612 c lw 71613 c lw 71614 c lw 71616 c lw 71618 c lw 71622 c lw 71624 c lw 71625 c lw 71626 c lw 71627 c lw 71628 c lw 71629 c lw 71630 c lw 71631 c lw 71632 c lw 71633 c lw 71634 c lw 71635 c lw 71636 c lw 71637 c lw 71638 c lw 71639 c lw 71640 c lw 71641 c lw 71642 c lw 71643 c lw 71644 c lw 71645 c lw 71646 c lw 71647 c lw 71648 c lw 71649 c lw 71650 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 71667 c lw 71668 c lw 71669 c lw 71670 c lw 71671 c lw 71672 c lw 71673 c lw 71674 c lw 71675 c lw 71676 c lw 71677 c lw 71678 c lw 71679 c lw 71680 Killed 1807.558u 12.194s 30:23.92 99.7% 0+0k 0+0io 0pf+0w