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_90_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_90_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 714 c lw 767 c lw 1441 c lw 1534 c lw 2168 c lw 2301 c lw 2895 c lw 3068 c lw 3662 c lw 3835 c lw 4429 c lw 4602 c lw 5196 c lw 5369 c lw 5963 c lw 6136 c lw 6730 c lw 6903 c lw 7497 c lw 7670 c lw 8264 c lw 8437 c lw 9031 c lw 9204 c lw 9798 c lw 9971 c lw 10565 c lw 10738 c lw 11332 c lw 11505 c lw 12099 c lw 12272 c lw 12866 c lw 13039 c lw 13633 c lw 13806 c lw 14400 c lw 14573 c lw 15167 c lw 15340 c lw 15934 c lw 16107 c lw 16701 c lw 16874 c lw 17468 c lw 17641 c lw 18235 c lw 18408 c lw 19175 c lw 19942 c lw 20709 c lw 21476 c lw 22243 c lw 22837 c lw 23618 c lw 23767 c lw 24399 c lw 24697 c lw 25180 c lw 25627 c lw 25961 c lw 26557 c lw 26742 c lw 27487 c lw 27523 c lw 28304 c lw 28417 c lw 29085 c lw 29347 c lw 29866 c lw 30277 c lw 30796 c lw 31207 c lw 31726 c lw 32137 c lw 32656 c lw 33067 c lw 33586 c lw 33922 c lw 33997 c lw 34085 c lw 34248 c lw 34411 c lw 34574 c lw 34737 c lw 34927 c lw 35667 c lw 35857 c lw 36597 c lw 36787 c lw 37527 c lw 37717 c lw 38457 c lw 38647 c lw 39387 c lw 39577 c lw 40317 c lw 40507 c lw 41247 c lw 41437 c lw 42177 c lw 42367 c lw 42530 c lw 42557 c lw 42693 c lw 42720 c lw 42808 c lw 42856 c lw 43107 c lw 43297 c lw 43596 c lw 44037 c lw 44227 c lw 44363 c lw 44804 c lw 44967 c lw 44994 c lw 45157 c lw 45544 c lw 45734 c lw 45809 c lw 46284 c lw 46474 c lw 46576 c lw 46912 c lw 47095 c lw 47214 c lw 47506 c lw 47625 c lw 47733 c lw 48025 c lw 48144 c lw 48252 c lw 48436 c lw 48514 c lw 48663 c lw 48776 c lw 49104 c lw 49140 c lw 49444 c lw 49629 c lw 49849 c lw 50040 c lw 50183 c lw 50296 c lw 50481 c lw 50523 c lw 50672 c lw 50928 c lw 51304 c lw 51477 c lw 51522 c lw 51695 c lw 51868 c lw 52041 c lw 52214 c lw 52289 c lw 52462 c lw 52560 c lw 52808 c lw 52883 c lw 52981 c lw 53131 c lw 53304 c lw 53402 c lw 53575 c lw 53725 c lw 53898 c lw 54319 c lw 54492 c lw 54515 c lw 54763 c lw 54913 c lw 55086 c lw 55357 c lw 55507 c lw 55530 c lw 55951 c lw 56056 c lw 56124 c lw 56229 c lw 56545 c lw 56718 c lw 56891 c lw 57139 c lw 57560 c lw 57733 c lw 57866 c lw 58154 c lw 58247 c lw 58367 c lw 58420 c lw 58828 c lw 58964 c lw 59018 c lw 59081 c lw 59369 c lw 59422 c lw 59542 c lw 59555 c lw 59582 c lw 59595 c lw 59609 c lw 59622 c lw 59635 c lw 59648 c lw 59729 c lw 59752 c lw 59754 c lw 59902 c lw 59904 c lw 59927 c lw 60050 c lw 60100 c lw 60150 c lw 60175 c lw 60177 c lw 60188 c lw 60189 c lw 60190 c lw 60200 c lw 60201 c lw 60202 c lw 60203 c lw 60214 c lw 60216 c lw 60217 c lw 60218 c lw 60228 c lw 60229 c lw 60301 c lw 60402 c lw 60436 c lw 60508 c lw 60537 c lw 60539 c lw 60541 c lw 60549 c lw 60558 c lw 60591 c lw 60626 c lw 60649 c lw 60663 c lw 60696 c lw 60698 c lw 60739 c lw 60755 c lw 60766 c lw 60767 c lw 60768 c lw 60807 c lw 60840 c lw 60854 c lw 60871 c lw 60877 c lw 60881 c lw 60908 c lw 60951 c lw 61070 c lw 61243 c lw 61255 c lw 61330 c lw 61405 c lw 61416 c lw 61420 c lw 61572 c lw 61595 c lw 61599 c lw 61741 c lw 61762 c lw 61839 c lw 61860 c lw 61891 c lw 61989 c lw 62064 c lw 62151 c lw 62199 c lw 62262 c lw 62274 c lw 62302 c lw 62303 c lw 62304 c lw 62305 c lw 62307 c lw 62313 c lw 62314 c lw 62315 c lw 62316 c lw 62318 c lw 62319 c lw 62320 c lw 62321 c lw 62322 c lw 62323 c lw 62325 c lw 62326 c lw 62327 c lw 62328 c lw 62329 c lw 62333 c lw 62387 c lw 62388 c lw 62389 c lw 62398 c lw 62399 c lw 62400 c lw 62401 c lw 62409 c lw 62432 c lw 62434 c lw 62574 c lw 62582 c lw 62617 c lw 62628 c lw 62703 c lw 62715 c lw 62778 c lw 62888 c lw 62995 c lw 63003 c lw 63034 c lw 63069 c lw 63145 c lw 63335 c lw 63374 c lw 63402 c lw 63441 c lw 63465 c lw 63825 c lw 63849 c lw 63853 c lw 63864 c lw 63920 c lw 63935 c lw 63962 c lw 64098 c lw 64179 c lw 64234 c lw 64262 c lw 64277 c lw 64288 c lw 64496 c lw 64539 c lw 64567 c lw 64582 c lw 64624 c lw 64762 c lw 64809 c lw 64880 c lw 64891 c lw 64933 c lw 64938 c lw 64976 c lw 65018 c lw 65124 c lw 65162 c lw 65166 c lw 65167 c lw 65171 c lw 65178 c lw 65214 c lw 65324 c lw 65434 c lw 65522 c lw 65525 c lw 65558 c lw 65560 c lw 65561 c lw 65597 c lw 65632 c lw 65635 c lw 65650 c lw 65686 c lw 65688 c lw 65692 c lw 65696 c lw 65697 c lw 65714 c lw 65735 c lw 65736 c lw 65739 c lw 65740 c lw 65741 c lw 65744 c lw 65745 c lw 65746 c lw 65747 c lw 65748 c lw 65749 c lw 65751 c lw 65752 c lw 65753 c lw 65754 c lw 65755 c lw 65756 c lw 65757 c lw 65758 c lw 65759 c lw 65760 c lw 65761 c lw 65762 c lw 65763 c lw 65764 c lw 65765 c lw 65766 c lw 65767 c lw 65769 c lw 65773 c lw 65787 c lw 65832 c lw 65833 c lw 65834 c lw 65836 c lw 65837 c lw 65838 c lw 65839 c lw 65840 c lw 65841 c lw 65842 c lw 65843 c lw 65844 c lw 65845 c lw 65847 c lw 65848 c lw 65851 c lw 65852 c lw 65853 c lw 65854 c lw 65855 c lw 65856 c lw 65857 c lw 65858 c lw 65859 c lw 65860 c lw 65861 c lw 65862 c lw 65863 c lw 65864 c lw 65895 c lw 65996 c lw 65997 c lw 65998 c lw 65999 c lw 66011 c lw 66013 c lw 66014 c lw 66016 c lw 66017 c lw 66018 c lw 66036 c lw 66096 c lw 66108 c lw 66179 c lw 66180 c lw 66182 c lw 66183 c lw 66197 c lw 66198 c lw 66211 c lw 66212 c lw 66224 c lw 66225 c lw 66227 c lw 66228 c lw 66229 c lw 66231 c lw 66232 c lw 66240 c lw 66241 c lw 66279 c lw 66310 c lw 66381 c lw 66385 c lw 66389 c lw 66412 c lw 66416 c lw 66426 c lw 66432 c lw 66433 c lw 66435 c lw 66436 c lw 66440 c lw 66448 c lw 66450 c lw 66451 c lw 66452 c lw 66453 c lw 66461 c lw 66506 c lw 66537 c lw 66556 c lw 66560 c lw 66561 c lw 66562 c lw 66566 c lw 66568 c lw 66569 c lw 66570 c lw 66571 c lw 66572 c lw 66573 c lw 66606 c lw 66637 c lw 66645 c lw 66647 c lw 66654 c lw 66677 c lw 66731 c lw 66768 c lw 66770 c lw 66798 c lw 66799 c lw 66801 c lw 66803 c lw 66805 c lw 66808 c lw 66835 c lw 66840 c lw 66842 c lw 66845 c lw 66865 c lw 66889 c lw 66894 c lw 66895 c lw 66896 c lw 66898 c lw 66900 c lw 66988 c lw 67015 c lw 67020 c lw 67047 c lw 67090 c lw 67170 c lw 67178 c lw 67303 c lw 67341 c lw 67352 c lw 67357 c lw 67368 c lw 67406 c lw 67493 c lw 67506 c lw 67509 c lw 67512 c lw 67514 c lw 67516 c lw 67518 c lw 67520 c lw 67569 c lw 67571 c lw 67572 c lw 67573 c lw 67574 c lw 67575 c lw 67576 c lw 67578 c lw 67579 c lw 67580 c lw 67582 c lw 67583 c lw 67584 c lw 67592 c lw 67593 c lw 67594 c lw 67595 c lw 67596 c lw 67598 c lw 67599 c lw 67602 c lw 67651 c lw 67652 c lw 67653 c lw 67654 c lw 67655 c lw 67656 c lw 67657 c lw 67659 c lw 67660 c lw 67661 c lw 67662 c lw 67663 c lw 67664 c lw 67665 c lw 67666 c lw 67667 c lw 67668 c lw 67669 c lw 67670 c lw 67735 c lw 67783 c lw 67784 c lw 67785 c lw 67786 c lw 67791 c lw 67834 c lw 67882 c lw 67888 c lw 67897 c lw 67907 c lw 67908 c lw 67909 c lw 67910 c lw 67911 c lw 67912 c lw 67913 c lw 67914 c lw 67915 c lw 67916 c lw 67917 c lw 67918 c lw 67919 c lw 67920 c lw 67921 c lw 67922 c lw 67930 c lw 67946 c lw 67947 c lw 67948 c lw 67949 c lw 67950 c lw 67952 c lw 67954 c lw 67956 c lw 67958 c lw 67959 c lw 67962 c lw 67963 c lw 67964 c lw 67965 c lw 67966 c lw 67967 c lw 67968 c lw 67969 c lw 67970 c lw 67971 c lw 67972 c lw 67979 c lw 67980 c lw 67981 c lw 67982 c lw 67983 c lw 67985 c lw 67987 c lw 67994 c lw 68002 c lw 68008 c lw 68009 c lw 68010 c lw 68011 c lw 68012 c lw 68013 c lw 68014 c lw 68015 c lw 68016 c lw 68017 c lw 68018 c lw 68019 c lw 68020 c lw 68021 c lw 68022 c lw 68023 c lw 68024 c lw 68025 c lw 68026 c lw 68027 c lw 68028 c lw 68029 c lw 68030 c lw 68031 c lw 68032 c lw 68033 c lw 68034 c lw 68035 c lw 68040 c lw 68041 c lw 68042 c lw 68043 c lw 68044 c lw 68045 c lw 68046 c lw 68047 c lw 68067 c lw 68092 c lw 68093 c lw 68094 c lw 68121 c lw 68122 c lw 68123 c lw 68124 c lw 68125 c lw 68128 c lw 68129 c lw 68130 c lw 68150 c lw 68173 c lw 68238 c lw 68241 c lw 68243 c lw 68448 c lw 68449 c lw 68450 c lw 68451 c lw 68452 c lw 68453 c lw 68454 c lw 68455 c lw 68456 c lw 68457 c lw 68458 c lw 68459 c lw 68461 c lw 68462 c lw 68463 c lw 68475 c lw 68476 c lw 68477 c lw 68478 c lw 68479 c lw 68480 c lw 68481 c lw 68482 c lw 68483 c lw 68484 c lw 68485 c lw 68486 c lw 68487