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_100_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_100_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 281 c lw 297 c lw 567 c lw 594 c lw 853 c lw 891 c lw 1150 c lw 1188 c lw 1447 c lw 1485 c lw 1744 c lw 1782 c lw 2041 c lw 2079 c lw 2338 c lw 2376 c lw 2635 c lw 2673 c lw 2932 c lw 2970 c lw 3229 c lw 3267 c lw 3526 c lw 3564 c lw 3823 c lw 3861 c lw 4120 c lw 4158 c lw 4417 c lw 4455 c lw 4714 c lw 4752 c lw 5011 c lw 5049 c lw 5308 c lw 5346 c lw 5605 c lw 5643 c lw 5902 c lw 5940 c lw 6199 c lw 6237 c lw 6496 c lw 6534 c lw 6793 c lw 6831 c lw 7090 c lw 7128 c lw 7387 c lw 7425 c lw 7684 c lw 7722 c lw 7981 c lw 8019 c lw 8278 c lw 8316 c lw 8613 c lw 8872 c lw 10008 c lw 10468 c lw 11144 c lw 12064 c lw 12280 c lw 13416 c lw 13660 c lw 14552 c lw 15256 c lw 15688 c lw 16824 c lw 16852 c lw 17960 c lw 18448 c lw 19096 c lw 20044 c lw 20437 c lw 21640 c lw 21778 c lw 23119 c lw 23236 c lw 24460 c lw 24832 c lw 25801 c lw 26428 c lw 27142 c lw 28024 c lw 28483 c lw 29620 c lw 29824 c lw 31216 c lw 31420 c lw 32812 c lw 33016 c lw 34408 c lw 34612 c lw 36004 c lw 36208 c lw 37600 c lw 37804 c lw 39141 c lw 39196 c lw 40440 c lw 40792 c lw 42036 c lw 42388 c lw 43632 c lw 43984 c lw 45228 c lw 45580 c lw 46824 c lw 47176 c lw 48420 c lw 48664 c lw 48772 c lw 48880 c lw 49124 c lw 49556 c lw 49908 c lw 50368 c lw 50720 c lw 50800 c lw 51152 c lw 51612 c lw 51667 c lw 52044 c lw 52082 c lw 52341 c lw 52545 c lw 52949 c lw 52987 c lw 53208 c lw 53412 c lw 53733 c lw 53937 c lw 54600 c lw 54804 c lw 55125 c lw 55329 c lw 55992 c lw 56196 c lw 56517 c lw 56976 c lw 57129 c lw 57399 c lw 57756 c lw 57843 c lw 58215 c lw 58368 c lw 58485 c lw 58623 c lw 59067 c lw 59709 c lw 59747 c lw 59785 c lw 59968 c lw 60006 c lw 60044 c lw 60227 c lw 60265 c lw 60303 c lw 60486 c lw 60524 c lw 60562 c lw 60745 c lw 60783 c lw 60821 c lw 61004 c lw 61042 c lw 61080 c lw 61263 c lw 61301 c lw 61339 c lw 61522 c lw 61560 c lw 61598 c lw 61781 c lw 61819 c lw 61857 c lw 62040 c lw 62078 c lw 62116 c lw 62299 c lw 62337 c lw 62375 c lw 62558 c lw 62596 c lw 62634 c lw 62817 c lw 62844 c lw 62855 c lw 62871 c lw 63087 c lw 63648 c lw 64007 c lw 64041 c lw 64122 c lw 64610 c lw 64770 c lw 64989 c lw 65017 c lw 65449 c lw 65718 c lw 66125 c lw 66422 c lw 66585 c lw 67314 c lw 67721 c lw 67965 c lw 68073 c lw 68181 c lw 68558 c lw 68596 c lw 68607 c lw 68790 c lw 68806 c lw 68817 c lw 68828 c lw 68839 c lw 68844 c lw 68849 c lw 68855 c lw 68860 c lw 68866 c lw 68882 c lw 68904 c lw 68920 c lw 68942 c lw 69059 c lw 69075 c lw 69113 c lw 69125 c lw 69129 c lw 69135 c lw 69139 c lw 69141 c lw 69143 c lw 69145 c lw 69147 c lw 69185 c lw 69223 c lw 69261 c lw 69330 c lw 69368 c lw 69406 c lw 69444 c lw 69482 c lw 69520 c lw 69558 c lw 69627 c lw 69665 c lw 69703 c lw 69741 c lw 69779 c lw 69817 c lw 69855 c lw 69924 c lw 69962 c lw 70000 c lw 70038 c lw 70076 c lw 70114 c lw 70152 c lw 70221 c lw 70259 c lw 70297 c lw 70335 c lw 70373 c lw 70411 c lw 70518 c lw 70556 c lw 70594 c lw 70766 c lw 70821 c lw 71025 c lw 71198 c lw 71209 c lw 71247 c lw 71328 c lw 71362 c lw 71410 c lw 71654 c lw 71707 c lw 71804 c lw 72167 c lw 72411 c lw 72466 c lw 72526 c lw 72629 c lw 72789 c lw 72905 c lw 72933 c lw 73061 c lw 73089 c lw 73202 c lw 73330 c lw 73362 c lw 73393 c lw 73421 c lw 73424 c lw 73456 c lw 73477 c lw 73521 c lw 73549 c lw 73634 c lw 73787 c lw 73797 c lw 73898 c lw 73935 c lw 74015 c lw 74102 c lw 74260 c lw 74297 c lw 74307 c lw 74340 c lw 74369 c lw 74373 c lw 74506 c lw 74639 c lw 74659 c lw 74672 c lw 74676 c lw 74705 c lw 74709 c lw 74772 c lw 74797 c lw 74801 c lw 74805 c lw 74809 c lw 74811 c lw 74822 c lw 74826 c lw 74830 c lw 74834 c lw 74840 c lw 74842 c lw 74853 c lw 74863 c lw 74865 c lw 74867 c lw 74869 c lw 74878 c lw 74880 c lw 74882 c lw 74884 c lw 74886 c lw 74888 c lw 74890 c lw 74892 c lw 74894 c lw 74896 c lw 74898 c lw 74900 c lw 74902 c lw 74903 c lw 74904 c lw 74905 c lw 74906 c lw 74907 c lw 74908 c lw 74909 c lw 74910 c lw 74911 c lw 74912 c lw 74913 c lw 74914 c lw 74915 c lw 74916 c lw 74917 c lw 74918 c lw 74919 c lw 74920 c lw 74921 c lw 74922 c lw 74923 c lw 74925 c lw 74926 c lw 74927 c lw 74928 c lw 74929 c lw 74931 c lw 74932 c lw 74933 c lw 74934 c lw 74936 c lw 74938 c lw 74939 c lw 74940 c lw 75147 c lw 75351 c lw 75465 c lw 75669 c lw 75672 c lw 75673 c lw 75674 c lw 75675 c lw 75676 c lw 75677 c lw 75678 c lw 75679 c lw 75680 c lw 75681 c lw 75682 c lw 75683 c lw 75684 c lw 75685 c lw 75686 c lw 75687 c lw 75688 c lw 75689 c lw 75690 c lw 75691 c lw 75692 c lw 75693 c lw 75694 c lw 75695 c lw 75696 c lw 75697 c lw 75698 c lw 75699 c lw 75700 c lw 75701 c lw 75702 c lw 75703 c lw 75704 c lw 75705 c lw 75706 c lw 75707 c lw 75708 c lw 75709 c lw 75710 c lw 75713 c lw 75715 c lw 75726 c lw 75730 c lw 75734 c lw 75737 c lw 75743 c lw 75745 c lw 75747 c lw 75757 c lw 75759 c lw 75761 c lw 75763 c lw 75765 c lw 75767 c lw 75769 c lw 75771 c lw 75772 c lw 75773 c lw 75774 c lw 75775 c lw 75776 c lw 75777 c lw 75778 c lw 75779 c lw 75780 c lw 75781 c lw 75782 c lw 75783 c lw 75784 c lw 75785 c lw 75786 c lw 75787 c lw 75788 c lw 75789 c lw 75790 c lw 75791 c lw 76014 c lw 76143 c lw 76218 c lw 76347 c lw 76474 c lw 76512 c lw 76549 c lw 76716 c lw 76719 c lw 76746 c lw 76756 c lw 76784 c lw 76787 c lw 76822 c lw 76832 c lw 76850 c lw 76916 c lw 76930 c lw 76931 c lw 76932 c lw 76933 c lw 76934 c lw 76935 c lw 76936 c lw 76937 c lw 76938 c lw 76939 c lw 76940 c lw 76941 c lw 76942 c lw 76943 c lw 76944 c lw 76945 c lw 76946 c lw 76947 c lw 76948 c lw 76949 c lw 76950 c lw 76994 c lw 77226 c lw 77330 c lw 77410 c lw 77514 c lw 77558 c lw 77578 c lw 77614 c lw 77658 c lw 77678 c lw 77682 c lw 77790 c lw 77850 c lw 78078 c lw 78098 c lw 78114 c lw 78138 c lw 78182 c lw 78230 c lw 78246 c lw 78262 c lw 78301 c lw 78474 c lw 78490 c lw 78514 c lw 78518 c lw 78522 c lw 78526 c lw 78530 c lw 78534 c lw 78538 c lw 78542 c lw 78546 c lw 78550 c lw 78554 c lw 78558 c lw 78562 c lw 78566 c lw 78574 c lw 78623 c lw 78627 c lw 78635 c lw 78639 c lw 78643 c lw 78647 c lw 78651 c lw 78655 c lw 78659 c lw 78667 c lw 78671 c lw 78679 c lw 78683 c lw 78687 c lw 78691 c lw 78695 c lw 78699 c lw 78715 c lw 78719 c lw 78731 c lw 78747 c lw 78775 c lw 78779 c lw 78783 c lw 78787 c lw 78818 c lw 78819 c lw 78822 c lw 78829 c lw 78835 c lw 78839 c lw 78844 c lw 78845 c lw 78847 c lw 78873 c lw 78932 c lw 78936 c lw 78940 c lw 78944 c lw 78948 c lw 78952 c lw 78956 c lw 78994 c lw 79019 c lw 79020 c lw 79021 c lw 79022 c lw 79023 c lw 79024 c lw 79025 c lw 79026 c lw 79027 c lw 79028 c lw 79029 c lw 79030 c lw 79031 c lw 79186 c lw 79187 c lw 79188 c lw 79189 c lw 79190 c lw 79191 c lw 79192 c lw 79193 c lw 79209 c lw 79212 c lw 79215 c lw 79217 c lw 79218 c lw 79219 c lw 79221 c lw 79222 c lw 79224 c lw 79225 c lw 79226 c lw 79227 c lw 79228 c lw 79229 c lw 79230 c lw 79231 c lw 79232 c lw 79233 c lw 79234 c lw 79258 c lw 79259 c lw 79262 c lw 79263 c lw 79264 c lw 79265 c lw 79266 c lw 79267 c lw 79268 c lw 79269 c lw 79272 c lw 79273 c lw 79274 c lw 79275 c lw 79276 c lw 79277 c lw 79280 c lw 79281 c lw 79282 c lw 79283 c lw 79284 c lw 79285 c lw 79286 c lw 79323 c lw 79324 c lw 79387 c lw 79391 c lw 79395 c lw 79399 c lw 79431 c lw 79436 c lw 79438 c lw 79440 c lw 79442 c lw 79443 c lw 79444 c lw 79445 c lw 79446 c lw 79448 c lw 79449 c lw 79450 c lw 79458 c lw 79459 c lw 79485 c lw 79497 c lw 79507 c lw 79508 c lw 79509 c lw 79510 c lw 79512 c lw 79514 c lw 79516 c lw 79517 c lw 79518 c lw 79519 c lw 79529 c lw 79540 c lw 79541 c lw 79542 c lw 79543 c lw 79544 c lw 79545 c lw 79549 c lw 79552 c lw 79553 c lw 79554 c lw 79555 c lw 79556 c lw 79557 c lw 79558 c lw 79559 c lw 79560 c lw 79561