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_PATHS_cat_paths_60_110_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0004.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 757 c lw 1514 c lw 2271 c lw 2699 c lw 3171 c lw 3184 c lw 3964 c lw 4097 c lw 4240 c lw 5010 c lw 5900 c lw 5923 c lw 6028 c lw 6065 c lw 6192 c lw 6651 c lw 6985 c lw 7015 c lw 7372 c lw 7913 c lw 8454 c lw 8803 c lw 8995 c lw 9362 c lw 9601 c lw 9833 c lw 10188 c lw 10304 c lw 10434 c lw 10947 c lw 10973 c lw 11306 c lw 11656 c lw 11983 c lw 12365 c lw 13124 c lw 13883 c lw 13885 c lw 14093 c lw 14417 c lw 14799 c lw 15505 c lw 15829 c lw 16586 c lw 16652 c lw 16658 c lw 16901 c lw 17832 c lw 18763 c lw 19360 c lw 19901 c lw 20068 c lw 20651 c lw 20776 c lw 20939 c lw 21484 c lw 22067 c lw 22192 c lw 22355 c lw 23233 c lw 24111 c lw 24800 c lw 24989 c lw 25257 c lw 25608 c lw 26009 c lw 26149 c lw 26904 c lw 26977 c lw 27026 c lw 27619 c lw 28039 c lw 28238 c lw 29051 c lw 29738 c lw 29811 c lw 29903 c lw 30010 c lw 30388 c lw 30551 c lw 30739 c lw 30967 c lw 31252 c lw 31619 c lw 32239 c lw 32335 c lw 33183 c lw 33238 c lw 33853 c lw 34435 c lw 34721 c lw 34943 c lw 34960 c lw 34981 c lw 35090 c lw 35538 c lw 35561 c lw 35587 c lw 35667 c lw 35881 c lw 35916 c lw 36079 c lw 36104 c lw 36471 c lw 36498 c lw 36594 c lw 36660 c lw 36672 c lw 36721 c lw 36846 c lw 37391 c lw 37427 c lw 37444 c lw 37560 c lw 37655 c lw 37659 c lw 37696 c lw 37709 c lw 37816 c lw 37943 c lw 37983 c lw 38055 c lw 38061 c lw 38186 c lw 38311 c lw 38349 c lw 38366 c lw 38378 c lw 38399 c lw 38577 c lw 38705 c lw 38735 c lw 38810 c lw 39083 c lw 39142 c lw 39334 c lw 39351 c lw 39434 c lw 39469 c lw 39507 c lw 39857 c lw 39883 c lw 39963 c lw 40104 c lw 40182 c lw 40271 c lw 40376 c lw 40662 c lw 40700 c lw 40721 c lw 40814 c lw 40936 c lw 41305 c lw 41307 c lw 41517 c lw 41745 c lw 41796 c lw 41890 c lw 41956 c lw 42286 c lw 42290 c lw 42394 c lw 42527 c lw 42570 c lw 42595 c lw 42787 c lw 42860 c lw 42879 c lw 43401 c lw 43600 c lw 43716 c lw 43944 c lw 43993 c lw 44072 c lw 44087 c lw 44089 c lw 44096 c lw 44162 c lw 44403 c lw 45094 c lw 45546 c lw 45612 c lw 45616 c lw 45633 c lw 45722 c lw 45779 c lw 45823 c lw 45844 c lw 45985 c lw 45987 c lw 46011 c lw 46013 c lw 46020 c lw 46047 c lw 46143 c lw 46183 c lw 46208 c lw 46209 c lw 46221 c lw 46246 c lw 46259 c lw 46295 c lw 46299 c lw 46326 c lw 46346 c lw 46351 c lw 46355 c lw 46368 c lw 46440 c lw 46480 c lw 46596 c lw 46604 c lw 46607 c lw 46619 c lw 46656 c lw 46694 c lw 46695 c lw 46706 c lw 46708 c lw 46710 c lw 46714 c lw 46722 c lw 46723 c lw 46743 c lw 46764 c lw 46799 c lw 46839 c lw 46848 c lw 46864 c lw 46877 c lw 46889 c lw 46904 c lw 46922 c lw 46929 c lw 46942 c lw 46943 c lw 46982 c lw 46984 c lw 47033 c lw 47071 c lw 47141 c lw 47160 c lw 47207 c lw 47214 c lw 47233 c lw 47235 c lw 47272 c lw 47283 c lw 47289 c lw 47290 c lw 47291 c lw 47299 c lw 47413 c lw 47415 c lw 47417 c lw 47424 c lw 47428 c lw 47435 c lw 47437 c lw 47503 c lw 47512 c lw 47527 c lw 47545 c lw 47560 c lw 47564 c lw 47588 c lw 47590 c lw 47592 c lw 47594 c lw 47595 c lw 47596 c lw 47597 c lw 47598 c lw 47599 c lw 47600 c lw 47601 c lw 47605 c lw 47607 c lw 47608 c lw 47609 c lw 47610 c lw 47611 c lw 47612 c lw 47613 c lw 47614 c lw 47665 c lw 47708 c lw 47731 c lw 47743 c lw 47744 c lw 47752 c lw 47757 c lw 47761 c lw 47765 c lw 47769 c lw 47773 c lw 47778 c lw 47780 c lw 47782 c lw 47783 c lw 47791 c lw 47808 c lw 47823 c lw 47833 c lw 47841 c lw 47861 c lw 47864 c lw 47869 c lw 47870 c lw 47876 c lw 47877 c lw 47879 c lw 47881 c lw 47882 c lw 47883 c lw 47884 c lw 47887 c lw 47888 c lw 47891 c lw 47892 c lw 47896 c lw 47922 c lw 47958 c lw 47961 c lw 47962 c lw 47963 c lw 47969 c lw 47970 c lw 47972 c lw 47973 c lw 48008 c lw 48009 c lw 48012 c lw 48016 c lw 48023 c lw 48024 c lw 48026 c lw 48032 c lw 48034 c lw 48039 c lw 48049 c lw 48050 c lw 48051 c lw 48053 c lw 48054 c lw 48055 c lw 48057 c lw 48058 c lw 48075 c lw 48076 c lw 48077 c lw 48078 c lw 48079 c lw 48080 c lw 48081 c lw 48082 c lw 48083 c lw 48084 c lw 48085 c lw 48086 c lw 48091 c lw 48092 c lw 48093 c lw 48094 c lw 48095 c lw 48102 c lw 48104 c lw 48107 c lw 48111 c lw 48112 c lw 48121 c lw 48128 c lw 48129 c lw 48130 c lw 48164 c lw 48165 c lw 48166 c lw 48167 c lw 48168 c lw 48171 c lw 48172 c lw 48173 c lw 48174 c lw 48175 c lw 48176 c lw 48178 c lw 48180 c lw 48263 c lw 48264 c lw 48265 c lw 48266 c lw 48267 c lw 48268 c lw 48269 c lw 48270 c lw 48271 c lw 48272 c lw 48273 c lw 48274 c lw 48275 c lw 48276 c lw 48277 c lw 48278 c lw 48279 c lw 48280 c lw 48281 c lw 48282 c lw 48283 c lw 48284 c lw 48288 c lw 48298 c lw 48299 c lw 48300 c lw 48301 c lw 48334 c lw 48342 c lw 48352 c lw 48353 c lw 48373 c lw 48381 c lw 48382 c lw 48383 c lw 48384 c lw 48385 c lw 48386 c lw 48387 c lw 48388 c lw 48389 c lw 48390 c lw 48391 c lw 48392 c lw 48393 c lw 48394 c lw 48395 c lw 48396 c lw 48399 c lw 48407 c lw 48408 c lw 48409 c lw 48410 c lw 48411 c lw 48428 c lw 48429 c lw 48430 c lw 48431 c lw 48432 c lw 48433 c lw 48434 c lw 48435 c lw 48436 c lw 48437 c lw 48438 c lw 48439 c lw 48440 c lw 48441 c lw 48443 c lw 48445 c lw 48446 c lw 48447 c lw 48448 c lw 48449 c lw 48450 c lw 48451 c lw 48452 c lw 48453 c lw 48454 c lw 48455 c lw 48456 c lw 48457 c lw 48458 c lw 48460 c lw 48462 c lw 48465 c lw 48466 c lw 48467 c lw 48499 c lw 48500 c lw 48503 c lw 48504 c lw 48505 c lw 48506 c lw 48507 c lw 48509 c lw 48510 c lw 48511 c lw 48512 c lw 48517 c lw 48518 c lw 48519 c lw 48520 c lw 48521 c lw 48522 c lw 48523 c lw 48524 c lw 48525 c lw 48526 c lw 48527 c lw 48528 c lw 48529 c lw 48530 c lw 48531 c lw 48532 c lw 48534 c lw 48535 c lw 48536 c lw 48537 c lw 48538 c lw 48548 c lw 48549 c lw 48550 c lw 48551 c lw 48552 c lw 48554 c lw 48557 c lw 48558 c lw 48559 c lw 48560 c lw 48561 c lw 48562 c lw 48565 c lw 48566 c lw 48567 c lw 48570 c lw 48571 c lw 48572 c lw 48573 c lw 48574 c lw 48575 c lw 48587 c lw 48588 c lw 48589 c lw 48590 c lw 48591 c lw 48592 c lw 48593 c lw 48594 c lw 48595 c lw 48596 c lw 48597 c lw 48598 c lw 48599 c lw 48600 c lw 48601 c lw 48602 c lw 48603 c lw 48604 c lw 48605 c lw 48606 c lw 48607 c lw 48608 c lw 48609 c lw 48610 c lw 48611 c lw 48612 c lw 48613 c lw 48614 c lw 48615 c lw 48616 c lw 48617 c lw 48618 c lw 48619 c lw 48620 c lw 48623 c lw 48624 c lw 48625 c lw 48626 c lw 48627 c lw 48628 c lw 48634 c lw 48635 c lw 48636 c lw 48637 c lw 48638 c lw 48639 c lw 48640 c lw 48641 c lw 48642 c lw 48643 c lw 48644 c lw 48645 c lw 48646 c lw 48647 c lw 48648 c lw 48649 c lw 48650 c lw 48651 c lw 48652 c lw 48653 c lw 48654 c lw 48761 c lw 48762 c lw 48763 c lw 48764 c lw 48765 c lw 48766 c lw 48767 c lw 48768 c lw 48771 c lw 48772 c lw 48773 c lw 48774 c lw 48775 c lw 48777 c lw 48780 c lw 48781 c lw 48782 c lw 48785 c lw 48786 c lw 48787 c lw 48788 c lw 48789 c lw 48791 c lw 48794 c lw 48795 c lw 48798 c lw 48799 c lw 48800 c lw 48801 c lw 48802 c lw 48804 c lw 48805 c lw 48806 c lw 48807 c lw 48808 c lw 48816 c lw 48817 c lw 48818 c lw 48820 c lw 48821 c lw 48823 c lw 48824 c lw 48825 c lw 48826 c lw 48827 c lw 48828 c lw 48829 c lw 48830 c lw 48831 c lw 48832 c lw 48833 c lw 48834 c lw 48835 c lw 48836 c lw 48837 c lw 48838 c lw 48839 c lw 48840 c lw 48841 c lw 48842 c lw 48843 c lw 48847 c lw 48848 c lw 48849 c lw 48850 c lw 48851 c lw 48852 c lw 48853 c lw 48854 c lw 48855 c lw 48856 c lw 48857 c lw 48858 c lw 48859 c lw 48860 c lw 48861 c lw 48862 c lw 48863 c lw 48864 c lw 48865 c lw 48866 c lw 48867 c lw 48868 c lw 48869 c lw 48870 c lw 48871 c lw 48872 c lw 48873 c lw 48874 c lw 48875 c lw 48876 c lw 48877 c lw 48878 c lw 48879 c lw 48880 c lw 48881 c lw 48882 c lw 48883 c lw 48884 c lw 48885 c lw 48886 c lw 48890 c lw 48891 c lw 48892 c lw 48893 c lw 48894 c lw 48896 c lw 48897 c lw 48898 c lw 48899 c lw 48900 c lw 48912 c lw 48913 c lw 48914 c lw 48915 c lw 48916 c lw 48917 c lw 48918 c lw 48919 c lw 48920 c lw 48921 c lw 48922 c lw 48923 c lw 48924 c lw 48925 c lw 48926 c lw 48927 c lw 48928 c lw 48929 c lw 48930 c lw 48931 c lw 48932 c lw 48933 c lw 48934 c lw 48935 c lw 48936 c lw 48937 c lw 48938 c lw 48939 c lw 48940 c lw 48941 c lw 48942 c lw 48943 c lw 48944 c lw 48945 c lw 48946 c lw 48947 c lw 48948 c lw 48949 c lw 48950 c lw 48951 c lw 48952 c lw 48953 c lw 48954 c lw 48955 c lw 48956 c lw 48957 c lw 48958 c lw 48959 c lw 48960 c lw 48961 c lw 48962 c lw 48963 c lw 48964 c lw 48965 c lw 48966 c lw 48967 c lw 48968 c lw 48969 c lw 48970 c lw 48971 c lw 48972 c lw 48973 c lw 48974 c lw 48975 c lw 48976 c lw 48977 c lw 48978 c lw 48979 c lw 48980 c lw 48981 c lw 48982 c lw 48983 c lw 48984 c lw 48985 c lw 48986 c lw 48987 c lw 48988 c lw 48989 c lw 49010 c lw 49011 c lw 49012 c lw 49013 c lw 49014 c lw 49015 c lw 49016 c lw 49017 c lw 49018 c lw 49019 c lw 49020 c lw 49021 c lw 49022 c lw 49023 c lw 49024 c lw 49025 c lw 49026 c lw 49027 c lw 49028 c lw 49029 c lw 49030 c lw 49031 c lw 49032 c lw 49033 c lw 49034 c lw 49035 c lw 49036 c lw 49037 c lw 49038 c lw 49039 c lw 49040 c lw 49041 c lw 49042 c lw 49043 c lw 49044 c lw 49045 c lw 49046 c lw 49047 c lw 49048 c lw 49049 c lw 49050 c lw 49051 c lw 49052 c lw 49053 c lw 49054 c lw 49055 c lw 49056 c lw 49057 c lw 49058 c lw 49059 c lw 49060 c lw 49061 c lw 49062 c lw 49065 c lw 49066 c lw 49097 c lw 49098 c lw 49099 c lw 49100 c lw 49101 c lw 49102 c lw 49103 c lw 49104