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_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0005.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 641 c lw 1282 c lw 1923 c lw 2148 c lw 2409 c lw 2564 c lw 2670 c lw 2825 c lw 3086 c lw 4357 c lw 5026 c lw 5387 c lw 5628 c lw 6297 c lw 6899 c lw 7327 c lw 7485 c lw 7931 c lw 8572 c lw 9018 c lw 10035 c lw 11052 c lw 12205 c lw 12521 c lw 13358 c lw 13674 c lw 14424 c lw 14511 c lw 15211 c lw 15911 c lw 16569 c lw 16611 c lw 17851 c lw 18467 c lw 19091 c lw 20060 c lw 20331 c lw 21029 c lw 21338 c lw 21571 c lw 22363 c lw 23155 c lw 23947 c lw 24304 c lw 25561 c lw 25595 c lw 26274 c lw 26818 c lw 27787 c lw 28075 c lw 28663 c lw 29332 c lw 29541 c lw 30133 c lw 30396 c lw 30461 c lw 31522 c lw 32583 c lw 32916 c lw 33644 c lw 33708 c lw 34705 c lw 35179 c lw 35402 c lw 36008 c lw 36324 c lw 36837 c lw 37241 c lw 37666 c lw 38021 c lw 38672 c lw 39157 c lw 39341 c lw 39642 c lw 40010 c lw 40311 c lw 40370 c lw 40698 c lw 41148 c lw 41730 c lw 41754 c lw 42405 c lw 42699 c lw 42834 c lw 43056 c lw 43101 c lw 43303 c lw 44226 c lw 44867 c lw 44879 c lw 44905 c lw 45563 c lw 45584 c lw 46242 c lw 46301 c lw 46599 c lw 46777 c lw 47078 c lw 47387 c lw 47702 c lw 47761 c lw 47782 c lw 48000 c lw 48026 c lw 48059 c lw 48360 c lw 48372 c lw 48440 c lw 49013 c lw 49314 c lw 49363 c lw 49516 c lw 49561 c lw 49783 c lw 49871 c lw 49918 c lw 49983 c lw 50296 c lw 50525 c lw 50540 c lw 50570 c lw 50599 c lw 50938 c lw 50952 c lw 50999 c lw 51023 c lw 51248 c lw 51402 c lw 51421 c lw 51493 c lw 51737 c lw 52006 c lw 52081 c lw 52146 c lw 52301 c lw 52343 c lw 52407 c lw 52471 c lw 52740 c lw 53252 c lw 53404 c lw 53980 c lw 54128 c lw 54213 c lw 54272 c lw 54326 c lw 54597 c lw 54986 c lw 55024 c lw 55576 c lw 55663 c lw 55821 c lw 55855 c lw 56148 c lw 56437 c lw 56692 c lw 56823 c lw 56850 c lw 56932 c lw 56933 c lw 57087 c lw 57129 c lw 57351 c lw 57368 c lw 57613 c lw 57672 c lw 58101 c lw 58220 c lw 58284 c lw 58463 c lw 58704 c lw 58824 c lw 58947 c lw 59065 c lw 59195 c lw 59337 c lw 59511 c lw 59617 c lw 59809 c lw 60180 c lw 60484 c lw 60768 c lw 61164 c lw 61553 c lw 61693 c lw 61728 c lw 61939 c lw 61955 c lw 61967 c lw 61981 c lw 61994 c lw 62218 c lw 62283 c lw 62382 c lw 62397 c lw 62444 c lw 62463 c lw 62468 c lw 62516 c lw 62622 c lw 62671 c lw 62713 c lw 62735 c lw 62776 c lw 62840 c lw 62857 c lw 62882 c lw 62895 c lw 63164 c lw 63312 c lw 63316 c lw 63397 c lw 63407 c lw 63411 c lw 63434 c lw 63461 c lw 63489 c lw 63605 c lw 63618 c lw 63724 c lw 63846 c lw 63965 c lw 63966 c lw 64084 c lw 64089 c lw 64195 c lw 64219 c lw 64220 c lw 64281 c lw 64284 c lw 64403 c lw 64446 c lw 64515 c lw 64533 c lw 64551 c lw 64555 c lw 64568 c lw 64582 c lw 64601 c lw 64631 c lw 64633 c lw 64636 c lw 64655 c lw 64660 c lw 64672 c lw 64680 c lw 64681 c lw 64689 c lw 64692 c lw 64693 c lw 64694 c lw 64708 c lw 64710 c lw 64728 c lw 64729 c lw 64730 c lw 64872 c lw 64875 c lw 64876 c lw 64880 c lw 64884 c lw 64885 c lw 64887 c lw 64888 c lw 64889 c lw 64897 c lw 64902 c lw 64910 c lw 64913 c lw 64969 c lw 64977 c lw 64980 c lw 64988 c lw 64990 c lw 64995 c lw 64997 c lw 65010 c lw 65022 c lw 65025 c lw 65026 c lw 65028 c lw 65029 c lw 65030 c lw 65031 c lw 65034 c lw 65063 c lw 65072 c lw 65100 c lw 65101 c lw 65102 c lw 65103 c lw 65104 c lw 65105 c lw 65106 c lw 65109 c lw 65122 c lw 65123 c lw 65132 c lw 65133 c lw 65134 c lw 65138 c lw 65141 c lw 65142 c lw 65143 c lw 65144 c lw 65146 c lw 65147 c lw 65148 c lw 65150 c lw 65151 c lw 65152 c lw 65154 c lw 65157 c lw 65170 c lw 65171 c lw 65172 c lw 65183 c lw 65184 c lw 65185 c lw 65186 c lw 65188 c lw 65191 c lw 65282 c lw 65283 c lw 65284 c lw 65285 c lw 65286 c lw 65287 c lw 65288 c lw 65289 c lw 65290 c lw 65291 c lw 65292 c lw 65293 c lw 65294 c lw 65295 c lw 65296 c lw 65297 c lw 65298 c lw 65301 c lw 65302 c lw 65303 c lw 65304 c lw 65305 c lw 65306 c lw 65314 c lw 65316 c lw 65327 c lw 65328 c lw 65329 c lw 65330 c lw 65331 c lw 65332 c lw 65333 c lw 65334 c lw 65335 c lw 65336 c lw 65337 c lw 65338 c lw 65339 c lw 65340 c lw 65341 c lw 65342 c lw 65343 c lw 65345 c lw 65346 c lw 65347 c lw 65348 c lw 65359 c lw 65361 c lw 65371 c lw 65453 c lw 65454 c lw 65456 c lw 65463 c lw 65464 c lw 65466 c lw 65467 c lw 65468 c lw 65481 c lw 65484 c lw 65486 c lw 65487 c lw 65488 c lw 65489 c lw 65490 c lw 65491 c lw 65492 c lw 65493 c lw 65494 c lw 65495 c lw 65496 c lw 65497 c lw 65498 c lw 65505 c lw 65506 c lw 65507 c lw 65508 c lw 65509 c lw 65510 c lw 65511 c lw 65603 c lw 65632 c lw 65633 c lw 65718 c lw 65744 c lw 65791 c lw 65792 c lw 65805 c lw 65821 c lw 65822 c lw 65823 c lw 65824 c lw 65825 c lw 65826 c lw 65827 c lw 65828 c lw 65829 c lw 65830 c lw 65831 c lw 65832 c lw 65837 c lw 65838 c lw 65839 c lw 65840 c lw 65841 c lw 65842 c lw 65845 c lw 65846 c lw 65847 c lw 65848 c lw 65849 c lw 65850 c lw 65851 c lw 65852 c lw 65854 c lw 65855 c lw 65858 c lw 65859 c lw 65860 c lw 65861 c lw 65862 c lw 65863 c lw 65869 c lw 65870 c lw 65871 c lw 65872 c lw 65873 c lw 65874 c lw 65875 c lw 65876 c lw 65877 c lw 65878 c lw 65879 c lw 65880 c lw 65881 c lw 65882 c lw 65883 c lw 65884 c lw 65885 c lw 65886 c lw 65887 c lw 65888 c lw 65889 c lw 65890 c lw 65891 c lw 65892 c lw 65893 c lw 65894 c lw 65895 c lw 65917 c lw 65919 c lw 65920 c lw 65921 c lw 65922 c lw 65923 c lw 65924 c lw 65925 c lw 65926 c lw 65927 c lw 65928 c lw 65929 c lw 65933 c lw 65934 c lw 65935 c lw 65937 c lw 65938 c lw 65944 c lw 65945 c lw 65946 c lw 65947 c lw 65948 c lw 65949 c lw 65950 c lw 65951 c lw 65952 c lw 65953 c lw 65954 c lw 65955 c lw 65956 c lw 65957 c lw 65958 c lw 65959 c lw 65960 c lw 65961 c lw 65962 c lw 65963 c lw 65964 c lw 65965 c lw 65966 c lw 65967 c lw 65968 c lw 65969 c lw 65970 c lw 65971 c lw 65974 c lw 65977 c lw 65978 c lw 65979 c lw 65980 c lw 65987 c lw 65990 c lw 65991 c lw 65992 c lw 65993 c lw 65994 c lw 65995 c lw 65996 c lw 65997 c lw 65998 c lw 65999 c lw 66000 c lw 66001 c lw 66002 c lw 66003 c lw 66004 c lw 66005 c lw 66006 c lw 66007 c lw 66008 c lw 66009 c lw 66010 c lw 66011 c lw 66012 c lw 66013 c lw 66014 c lw 66015 c lw 66016 c lw 66017 c lw 66018 c lw 66019 c lw 66020 c lw 66021 c lw 66022 c lw 66023 c lw 66024 c lw 66025 c lw 66026 c lw 66027 c lw 66028 c lw 66029 c lw 66030 c lw 66031 c lw 66032 c lw 66033 c lw 66034 c lw 66035 c lw 66036 c lw 66037 c lw 66038 c lw 66039 c lw 66040 c lw 66041 c lw 66042 c lw 66044 c lw 66052 c lw 66053 c lw 66054 c lw 66055 c lw 66056 c lw 66057 c lw 66058 c lw 66059 c lw 66060 c lw 66061 c lw 66062 c lw 66065 c lw 66069 c lw 66070 c lw 66071 c lw 66072 c lw 66075 c lw 66078 c lw 66079 c lw 66080 c lw 66081 c lw 66082 c lw 66083 c lw 66084 c lw 66085 c lw 66086 c lw 66128 c lw 66260 c lw 66261 c lw 66262 c lw 66263 c lw 66264 c lw 66265 c lw 66266 c lw 66267 c lw 66268 c lw 66289 c lw 66290 c lw 66291 c lw 66292 c lw 66293 c lw 66294 c lw 66295 c lw 66296 c lw 66297 c lw 66298 c lw 66299 c lw 66300 c lw 66302 c lw 66303 c lw 66304 c lw 66306 c lw 66308 c lw 66312 c lw 66313 c lw 66314 c lw 66315 c lw 66316 c lw 66317 c lw 66318 c lw 66319 c lw 66320 c lw 66321 c lw 66322 c lw 66323 c lw 66324 c lw 66325 c lw 66326 c lw 66327 c lw 66331 c lw 66332 c lw 66333 c lw 66334 c lw 66335 c lw 66336 c lw 66407 c lw 66408 c lw 66409 c lw 66410 c lw 66411 c lw 66412 c lw 66413 c lw 66414 c lw 66636 c lw 66638 c lw 66683 c lw 66694 c lw 66696 c lw 66739 c lw 66740 c lw 66746 c lw 66749 c lw 66750 c lw 66751 c lw 66752 c lw 66753 c lw 66754 c lw 66755 c lw 66756 c lw 66760