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_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 219 c lw 438 c lw 657 c lw 876 c lw 1095 c lw 1272 c lw 1314 c lw 1533 c lw 1752 c lw 1971 c lw 2190 c lw 2409 c lw 2544 c lw 2628 c lw 2847 c lw 3066 c lw 3285 c lw 3504 c lw 3723 c lw 3816 c lw 3942 c lw 4161 c lw 4380 c lw 4599 c lw 4818 c lw 5037 c lw 5088 c lw 5256 c lw 5475 c lw 5694 c lw 5913 c lw 6132 c lw 6351 c lw 6360 c lw 6570 c lw 6789 c lw 7008 c lw 7227 c lw 7446 c lw 7632 c lw 7976 c lw 8162 c lw 8506 c lw 8692 c lw 9036 c lw 9222 c lw 9566 c lw 9752 c lw 10098 c lw 10182 c lw 10282 c lw 10628 c lw 10712 c lw 10812 c lw 11158 c lw 11242 c lw 11342 c lw 11688 c lw 11772 c lw 11816 c lw 11872 c lw 12218 c lw 12302 c lw 12402 c lw 12459 c lw 12516 c lw 12573 c lw 12630 c lw 12685 c lw 12687 c lw 12744 c lw 12801 c lw 12858 c lw 12915 c lw 12968 c lw 12972 c lw 13029 c lw 13086 c lw 13143 c lw 13200 c lw 13251 c lw 13257 c lw 13314 c lw 13371 c lw 13428 c lw 13512 c lw 13534 c lw 13596 c lw 13680 c lw 13764 c lw 13817 c lw 13848 c lw 13932 c lw 14016 c lw 14100 c lw 14184 c lw 14268 c lw 14352 c lw 14383 c lw 14436 c lw 14520 c lw 14604 c lw 14666 c lw 14688 c lw 14772 c lw 14856 c lw 14940 c lw 14949 c lw 15024 c lw 15108 c lw 15192 c lw 15232 c lw 15515 c lw 15741 c lw 15861 c lw 15967 c lw 16193 c lw 16207 c lw 16419 c lw 16553 c lw 16664 c lw 16899 c lw 16909 c lw 17154 c lw 17245 c lw 17399 c lw 17591 c lw 17644 c lw 17889 c lw 17937 c lw 18134 c lw 18283 c lw 18379 c lw 18624 c lw 18629 c lw 18869 c lw 18975 c lw 19114 c lw 19281 c lw 19344 c lw 19359 c lw 19604 c lw 19690 c lw 19849 c lw 20036 c lw 20195 c lw 20226 c lw 20541 c lw 20572 c lw 20887 c lw 20918 c lw 21233 c lw 21264 c lw 21579 c lw 21610 c lw 21925 c lw 21956 c lw 22271 c lw 22302 c lw 22346 c lw 22395 c lw 22446 c lw 22521 c lw 22546 c lw 22614 c lw 22646 c lw 22740 c lw 22832 c lw 22833 c lw 22917 c lw 22959 c lw 23010 c lw 23176 c lw 23178 c lw 23229 c lw 23362 c lw 23397 c lw 23448 c lw 23574 c lw 23616 c lw 23625 c lw 23706 c lw 23835 c lw 23844 c lw 23892 c lw 24054 c lw 24063 c lw 24231 c lw 24236 c lw 24273 c lw 24408 c lw 24422 c lw 24492 c lw 24627 c lw 24711 c lw 24766 c lw 24846 c lw 24888 c lw 24930 c lw 24952 c lw 24970 c lw 25147 c lw 25149 c lw 25171 c lw 25366 c lw 25368 c lw 25390 c lw 25578 c lw 25634 c lw 25678 c lw 25718 c lw 25762 c lw 25769 c lw 25924 c lw 25981 c lw 25988 c lw 26008 c lw 26064 c lw 26101 c lw 26148 c lw 26200 c lw 26327 c lw 26354 c lw 26494 c lw 26578 c lw 26717 c lw 26726 c lw 26748 c lw 26770 c lw 26827 c lw 26832 c lw 26884 c lw 26889 c lw 26890 c lw 26899 c lw 26916 c lw 26965 c lw 26983 c lw 27027 c lw 27049 c lw 27067 c lw 27071 c lw 27102 c lw 27111 c lw 27155 c lw 27164 c lw 27186 c lw 27248 c lw 27270 c lw 27321 c lw 27327 c lw 27332 c lw 27378 c lw 27384 c lw 27388 c lw 27416 c lw 27435 c lw 27447 c lw 27488 c lw 27502 c lw 27504 c lw 27514 c lw 27559 c lw 27560 c lw 27612 c lw 27622 c lw 27643 c lw 27653 c lw 27777 c lw 27793 c lw 27824 c lw 27850 c lw 27852 c lw 27865 c lw 27879 c lw 27972 c lw 27988 c lw 28041 c lw 28050 c lw 28099 c lw 28190 c lw 28200 c lw 28306 c lw 28365 c lw 28396 c lw 28460 c lw 28508 c lw 28561 c lw 28566 c lw 28662 c lw 28711 c lw 28742 c lw 28811 c lw 28826 c lw 28930 c lw 29023 c lw 29057 c lw 29088 c lw 29147 c lw 29247 c lw 29291 c lw 29329 c lw 29434 c lw 29488 c lw 29574 c lw 29589 c lw 29591 c lw 29679 c lw 29735 c lw 29740 c lw 29768 c lw 29783 c lw 29902 c lw 29927 c lw 29933 c lw 29942 c lw 29949 c lw 30005 c lw 30025 c lw 30043 c lw 30073 c lw 30098 c lw 30105 c lw 30108 c lw 30115 c lw 30122 c lw 30126 c lw 30152 c lw 30192 c lw 30203 c lw 30207 c lw 30211 c lw 30218 c lw 30225 c lw 30229 c lw 30232 c lw 30233 c lw 30236 c lw 30251 c lw 30267 c lw 30269 c lw 30284 c lw 30289 c lw 30311 c lw 30313 c lw 30371 c lw 30424 c lw 30432 c lw 30457 c lw 30503 c lw 30508 c lw 30526 c lw 30643 c lw 30680 c lw 30684 c lw 30689 c lw 30694 c lw 30698 c lw 30701 c lw 30704 c lw 30709 c lw 30711 c lw 30713 c lw 30716 c lw 30721 c lw 30722 c lw 30755 c lw 30759 c lw 30843 c lw 30849 c lw 30850 c lw 30894 c lw 30930 c lw 31024 c lw 31056 c lw 31068 c lw 31119 c lw 31144 c lw 31149 c lw 31184 c lw 31201 c lw 31250 c lw 31294 c lw 31317 c lw 31333 c lw 31368 c lw 31370 c lw 31380 c lw 31431 c lw 31464 c lw 31465 c lw 31551 c lw 31561 c lw 31587 c lw 31592 c lw 31596 c lw 31601 c lw 31623 c lw 31659 c lw 31664 c lw 31669 c lw 31673 c lw 31674 c lw 31676 c lw 31677 c lw 31679 c lw 31686 c lw 31719 c lw 31770 c lw 31777 c lw 31781 c lw 31786 c lw 31790 c lw 31793 c lw 31872 c lw 31876 c lw 31908 c lw 32002 c lw 32051 c lw 32053 c lw 32081 c lw 32082 c lw 32090 c lw 32102 c lw 32107 c lw 32112 c lw 32125 c lw 32129 c lw 32131 c lw 32132 c lw 32135 c lw 32136 c lw 32139 c lw 32140 c lw 32143 c lw 32145 c lw 32168 c lw 32171 c lw 32172 c lw 32176 c lw 32195 c lw 32196 c lw 32198 c lw 32199 c lw 32200 c lw 32201 c lw 32202 c lw 32203 c lw 32204 c lw 32205 c lw 32206 c lw 32207 c lw 32208 c lw 32209 c lw 32210 c lw 32212 c lw 32213 c lw 32219 c lw 32220 c lw 32221 c lw 32222 c lw 32223 c lw 32224 c lw 32225 c lw 32226 c lw 32229 c lw 32235 c lw 32252 c lw 32254 c lw 32258 c lw 32302 c lw 32303 c lw 32317 c lw 32338 c lw 32339 c lw 32341 c lw 32350 c lw 32354 c lw 32358 c lw 32388 c lw 32389 c lw 32392 c lw 32394 c lw 32409 c lw 32463 c lw 32482 c lw 32531 c lw 32547 c lw 32563 c lw 32567 c lw 32577 c lw 32582 c lw 32620 c lw 32624 c lw 32648 c lw 32703 c lw 32704 c lw 32705 c lw 32715 c lw 32717 c lw 32718 c lw 32720 c lw 32732 c lw 32742 c lw 32752 c lw 32771 c lw 32778 c lw 32782 c lw 32783 c lw 32817 c lw 32832 c lw 32876 c lw 32898 c lw 32951 c lw 32969 c lw 32971 c lw 32985 c lw 32987 c lw 33016 c lw 33026 c lw 33031 c lw 33032 c lw 33033 c lw 33037 c lw 33053 c lw 33059 c lw 33068 c lw 33080 c lw 33085 c lw 33090 c lw 33096 c lw 33097 c lw 33102 c lw 33137 c lw 33148 c lw 33165 c lw 33170 c lw 33188 c lw 33189 c lw 33199 c lw 33201 c lw 33205 c lw 33211 c lw 33216 c lw 33229 c lw 33249 c lw 33293 c lw 33295 c lw 33300 c lw 33301 c lw 33303 c lw 33305 c lw 33309 c lw 33313 c lw 33315 c lw 33322 c lw 33327 c lw 33333 c lw 33351 c lw 33352 c lw 33353 c lw 33354 c lw 33355 c lw 33357 c lw 33359 c lw 33363 c lw 33377 c lw 33378 c lw 33388 c lw 33390 c lw 33392 c lw 33393 c lw 33394 c lw 33395 c lw 33396 c lw 33398 c lw 33399 c lw 33403 c lw 33420 c lw 33421 c lw 33429 c lw 33434 c lw 33449 c lw 33450 c lw 33453 c lw 33454 c lw 33456 c lw 33461 c lw 33462 c lw 33463 c lw 33464 c lw 33465 c lw 33466 c lw 33467 c lw 33468 c lw 33470 c lw 33471 c lw 33473 c lw 33482 c lw 33484 c lw 33486 c lw 33487 c lw 33488 c lw 33490 c lw 33505 c lw 33509 c lw 33512 c lw 33514 c lw 33515 c lw 33525 c lw 33541 c lw 33545 c lw 33549 c lw 33552 c lw 33553 c lw 33554 c lw 33555 c lw 33556 c lw 33557 c lw 33558 c lw 33561 c lw 33562 c lw 33563 c lw 33564 c lw 33567 c lw 33568 c lw 33569 c lw 33570 c lw 33571 c lw 33582 c lw 33586 c lw 33588 c lw 33600 c lw 33602 c lw 33603 c lw 33607 c lw 33614 c lw 33626 c lw 33628 c lw 33629 c lw 33632 c lw 33633 c lw 33634 c lw 33644 c lw 33645 c lw 33657 c lw 33659 c lw 33668 c lw 33672 c lw 33674 c lw 33675 c lw 33676 c lw 33677 c lw 33678 c lw 33679 c lw 33681 c lw 33682 c lw 33684 c lw 33685 c lw 33686 c lw 33690 c lw 33691 c lw 33692 c lw 33693 c lw 33694 c lw 33726 c lw 33736 c lw 33757 c lw 33763 c lw 33805 c lw 33806 c lw 33807 c lw 33808 c lw 33814 c lw 33873 c lw 33878 c lw 33909 c lw 33912 c lw 33922 c lw 33926 c lw 33934 c lw 33969 c lw 34028 c lw 34031 c lw 34079 c lw 34080 c lw 34095 c lw 34126 c lw 34133 c lw 34144 c lw 34151 c lw 34154 c lw 34158 c lw 34161 c lw 34164 c lw 34171 c lw 34182 c lw 34203 c lw 34214 c lw 34230 c lw 34233 c lw 34243 c lw 34253 c lw 34278 c lw 34290 c lw 34345 c lw 34369 c lw 34373 c lw 34374 c lw 34382 c lw 34385 c lw 34399 c lw 34400 c lw 34406 c lw 34413 c lw 34416 c lw 34423 c lw 34430 c lw 34431 c lw 34442 c lw 34448 c lw 34451 c lw 34453 c lw 34456 c lw 34457 c lw 34464 c lw 34465 c lw 34466 c lw 34468 c lw 34469 c lw 34470 c lw 34473 c lw 34474 c lw 34476 c lw 34477 c lw 34478 c lw 34479 c lw 34480 c lw 34481 c lw 34482 c lw 34484 c lw 34487 c lw 34489 c lw 34491 c lw 34492 c lw 34494 c lw 34495 c lw 34499 c lw 34511 c lw 34513 c lw 34515 c lw 34516 c lw 34518 c lw 34519 c lw 34520 c lw 34522 c lw 34531 c lw 34535 c lw 34541 c lw 34542 c lw 34546 c lw 34551 c lw 34556 c lw 34558 c lw 34562 c lw 34563 c lw 34565 c lw 34569 c lw 34570 c lw 34572 c lw 34573 c lw 34588 c lw 34589 c lw 34590 c lw 34592 c lw 34593 c lw 34595 c lw 34596 c lw 34597 c lw 34598 c lw 34599 c lw 34600 c lw 34601 c lw 34602 c lw 34603 c lw 34604 c lw 34605 c lw 34606 c lw 34607 c lw 34608 c lw 34613 c lw 34615 c lw 34616 c lw 34617 c lw 34618 c lw 34619 c lw 34620 c lw 34621 c lw 34622 c lw 34623 c lw 34624 c lw 34625 c lw 34626 c lw 34627 c lw 34628 c lw 34629 c lw 34630 c lw 34631 c lw 34632 c lw 34633 c lw 34634 c lw 34635 c lw 34636 c lw 34637 c lw 34638 c lw 34639 c lw 34640 c lw 34641 c lw 34642 c lw 34643 c lw 34644 c lw 34645 c lw 34646 c lw 34647