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_160_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 344 c lw 688 c lw 1032 c lw 1376 c lw 1720 c lw 2064 c lw 2408 c lw 2752 c lw 3096 c lw 3440 c lw 3784 c lw 4128 c lw 4472 c lw 4974 c lw 5476 c lw 5978 c lw 6480 c lw 6982 c lw 7484 c lw 7986 c lw 8488 c lw 8990 c lw 9492 c lw 9994 c lw 10496 c lw 10998 c lw 11500 c lw 12002 c lw 12772 c lw 12880 c lw 13542 c lw 13758 c lw 14312 c lw 14636 c lw 15082 c lw 15514 c lw 15852 c lw 16392 c lw 16622 c lw 17270 c lw 17392 c lw 18148 c lw 18270 c lw 19026 c lw 19148 c lw 19904 c lw 20026 c lw 20782 c lw 20904 c lw 21660 c lw 21782 c lw 22538 c lw 22660 c lw 23416 c lw 23538 c lw 24294 c lw 24416 c lw 25172 c lw 25294 c lw 26050 c lw 26172 c lw 26928 c lw 27050 c lw 27806 c lw 27928 c lw 28684 c lw 28806 c lw 29562 c lw 29684 c lw 30440 c lw 31318 c lw 32196 c lw 33074 c lw 33952 c lw 34830 c lw 35708 c lw 36586 c lw 37464 c lw 37882 c lw 37981 c lw 38300 c lw 38498 c lw 38718 c lw 39015 c lw 39136 c lw 39532 c lw 39653 c lw 40049 c lw 40170 c lw 40566 c lw 40687 c lw 41083 c lw 41600 c lw 42117 c lw 42634 c lw 43151 c lw 44241 c lw 45331 c lw 46421 c lw 47511 c lw 48601 c lw 49691 c lw 50781 c lw 50993 c lw 51205 c lw 51417 c lw 51629 c lw 51841 c lw 51871 c lw 52053 c lw 52265 c lw 52477 c lw 52811 c lw 52961 c lw 53901 c lw 54051 c lw 54745 c lw 54991 c lw 55318 c lw 55547 c lw 55776 c lw 55847 c lw 56081 c lw 56435 c lw 57023 c lw 57171 c lw 57611 c lw 58261 c lw 58701 c lw 59351 c lw 59791 c lw 60441 c lw 60881 c lw 60911 c lw 61093 c lw 61123 c lw 61305 c lw 61335 c lw 61517 c lw 61531 c lw 61667 c lw 61851 c lw 61879 c lw 62061 c lw 62063 c lw 62181 c lw 62503 c lw 62749 c lw 62830 c lw 63153 c lw 63226 c lw 63347 c lw 63418 c lw 63581 c lw 63593 c lw 63647 c lw 63741 c lw 63810 c lw 64312 c lw 64329 c lw 64656 c lw 64683 c lw 64829 c lw 64844 c lw 65331 c lw 65361 c lw 65377 c lw 65527 c lw 65675 c lw 66177 c lw 66467 c lw 66969 c lw 67091 c lw 67725 c lw 67847 c lw 67969 c lw 68091 c lw 68481 c lw 68603 c lw 68725 c lw 68847 c lw 69213 c lw 69237 c lw 69359 c lw 69481 c lw 69603 c lw 69993 c lw 70115 c lw 70237 c lw 70359 c lw 70579 c lw 70749 c lw 70871 c lw 70993 c lw 71115 c lw 71505 c lw 71627 c lw 71749 c lw 71871 c lw 71945 c lw 71972 c lw 72093 c lw 72261 c lw 72559 c lw 72823 c lw 73139 c lw 73261 c lw 73367 c lw 73488 c lw 73884 c lw 73895 c lw 73909 c lw 74125 c lw 74247 c lw 74435 c lw 74557 c lw 74759 c lw 74881 c lw 75097 c lw 75111 c lw 75219 c lw 75543 c lw 75881 c lw 76105 c lw 76391 c lw 76710 c lw 76809 c lw 76908 c lw 77147 c lw 77257 c lw 77345 c lw 77393 c lw 77458 c lw 77656 c lw 77709 c lw 78435 c lw 78457 c lw 78799 c lw 79187 c lw 79438 c lw 79689 c lw 79887 c lw 80191 c lw 80389 c lw 80419 c lw 80733 c lw 80920 c lw 81037 c lw 81235 c lw 81265 c lw 81411 c lw 81568 c lw 81912 c lw 82028 c lw 82058 c lw 82240 c lw 82270 c lw 82392 c lw 82408 c lw 82422 c lw 82452 c lw 82568 c lw 82736 c lw 82766 c lw 82923 c lw 83110 c lw 83140 c lw 83256 c lw 83278 c lw 83308 c lw 83338 c lw 83456 c lw 83472 c lw 83474 c lw 83488 c lw 83553 c lw 83606 c lw 83633 c lw 83648 c lw 83720 c lw 83804 c lw 83891 c lw 84002 c lw 84077 c lw 84142 c lw 84200 c lw 84274 c lw 84387 c lw 84414 c lw 84455 c lw 84504 c lw 84509 c lw 84526 c lw 84531 c lw 84620 c lw 84650 c lw 85034 c lw 85103 c lw 85152 c lw 85167 c lw 85639 c lw 85654 c lw 85878 c lw 86000 c lw 86108 c lw 86122 c lw 86128 c lw 86316 c lw 86344 c lw 86438 c lw 86452 c lw 86626 c lw 86640 c lw 86734 c lw 86748 c lw 86762 c lw 86776 c lw 86787 c lw 86842 c lw 86856 c lw 86870 c lw 86881 c lw 86884 c lw 86979 c lw 86991 c lw 87006 c lw 87017 c lw 87185 c lw 87222 c lw 87233 c lw 87234 c lw 87236 c lw 87248 c lw 87263 c lw 87266 c lw 87269 c lw 87272 c lw 87280 c lw 87283 c lw 87288 c lw 87291 c lw 87294 c lw 87297 c lw 87299 c lw 87302 c lw 87305 c lw 87308 c lw 87311 c lw 87314 c lw 87317 c lw 87344 c lw 87439 c lw 87486 c lw 87513 c lw 87560 c lw 87561 c lw 87683 c lw 87805 c lw 87927 c lw 88073 c lw 88416 c lw 88439 c lw 88491 c lw 88612 c lw 88682 c lw 88731 c lw 88734 c lw 88757 c lw 88758 c lw 88905 c lw 88906 c lw 88924 c lw 88975 c lw 89044 c lw 89078 c lw 89102 c lw 89189 c lw 89357 c lw 89358 c lw 89391 c lw 89392 c lw 89393 c lw 89409 c lw 89444 c lw 89509 c lw 89544 c lw 89563 c lw 89615 c lw 89677 c lw 89710 c lw 89712 c lw 89729 c lw 89730 c lw 89731 c lw 89743 c lw 89762 c lw 89764 c lw 89772 c lw 89853 c lw 89923 c lw 89938 c lw 89994 c lw 90021 c lw 90022 c lw 90023 c lw 90039 c lw 90052 c lw 90123 c lw 90126 c lw 90128 c lw 90131 c lw 90142 c lw 90143 c lw 90144 c lw 90156 c lw 90170 c lw 90215 c lw 90235 c lw 90288 c lw 90346 c lw 90384 c lw 90454 c lw 90470 c lw 90570 c lw 90767 c lw 90803 c lw 90819 c lw 90849 c lw 90850 c lw 90857 c lw 90864 c lw 90865 c lw 90873 c lw 90879 c lw 90882 c lw 90892 c lw 90895 c lw 90898 c lw 90926 c lw 90930 c lw 90931 c lw 90932 c lw 90933 c lw 91127 c lw 91226 c lw 91227 c lw 91231 c lw 91246 c lw 91249 c lw 91250 c lw 91251 c lw 91252 c lw 91254 c lw 91255 c lw 91257 c lw 91258 c lw 91259 c lw 91260 c lw 91261 c lw 91268 c lw 91269 c lw 91281 c lw 91283 c lw 91284 c lw 91346 c lw 91365 c lw 91372 c lw 91373 c lw 91403 c lw 91408 c lw 91410 c lw 91411 c lw 91412 c lw 91413 c lw 91415 c lw 91418 c lw 91419 c lw 91420 c lw 91421 c lw 91422 c lw 91423 c lw 91424 c lw 91429 c lw 91430 c lw 91431 c lw 91433 c lw 91434 c lw 91435 c lw 91437 c lw 91438 c lw 91439 c lw 91440 c lw 91441 c lw 91442 c lw 91443 c lw 91444 c lw 91445 c lw 91446 c lw 91465 c lw 91481 c lw 91485 c lw 91486 c lw 91487 c lw 91488 c lw 91496 c lw 91498 c lw 91499 c lw 91510 c lw 91564 c lw 91566 c lw 91613 c lw 91627 c lw 91628 c lw 91629 c lw 91630 c lw 91633 c lw 91634 c lw 91639 c lw 91640 c lw 91641 c lw 91642 c lw 91664 c lw 91738 c lw 91752 c lw 91774 c lw 91777 c lw 91780 c lw 91796 c lw 91799 c lw 91802 c lw 91810 c lw 91812 c lw 91813 c lw 91824 c lw 91827 c lw 91829 c lw 91840 c lw 91848 c lw 91849 c lw 91850 c lw 91851 c lw 91874 c lw 91878 c lw 91880 c lw 91905 c lw 91906 c lw 91907 c lw 91908 c lw 91916 c lw 91917 c lw 91918 c lw 91919 c lw 91920 c lw 91921 c lw 91923 c lw 91924 c lw 91925 c lw 91926 c lw 91927 c lw 91928 c lw 91929 c lw 91930 c lw 91938 c lw 91941 c lw 91944 c lw 91947 c lw 91948 c lw 91949 c lw 91950 c lw 91952 c lw 91953 c lw 91954 c lw 91955 c lw 91956 c lw 91957 c lw 91958 c lw 91959 c lw 91960 c lw 91961 c lw 91962 c lw 91963 c lw 91964 c lw 91965 c lw 91966 c lw 91967 c lw 91968 c lw 91969 c lw 91970 c lw 91971 c lw 91972 c lw 91973 c lw 91974 c lw 91975 c lw 91976 c lw 91977 c lw 91978 c lw 91979 c lw 91980 c lw 91981 c lw 91982 c lw 91983 c lw 91984 c lw 91985 c lw 91986 c lw 92053 c lw 92054 c lw 92055 c lw 92056 c lw 92057 c lw 92058 c lw 92059 c lw 92060 c lw 92061 c lw 92062 c lw 92063 c lw 92064 c lw 92065 c lw 92066 c lw 92072 Killed 1817.808u 1.965s 30:20.50 99.9% 0+0k 0+0io 0pf+0w