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_120_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0002.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 192 c lw 718 c lw 1391 c lw 1425 c lw 2480 c lw 3438 c lw 3588 c lw 4573 c lw 5558 c lw 6307 c lw 6543 c lw 7172 c lw 8274 c lw 8349 c lw 9279 c lw 9526 c lw 10275 c lw 10788 c lw 11024 c lw 11988 c lw 12952 c lw 13625 c lw 13916 c lw 14226 c lw 15039 c lw 15223 c lw 15852 c lw 15958 c lw 16665 c lw 17338 c lw 18011 c lw 18335 c lw 18659 c lw 18923 c lw 19177 c lw 19385 c lw 19441 c lw 19959 c lw 20043 c lw 20625 c lw 21207 c lw 21789 c lw 22370 c lw 22398 c lw 23133 c lw 23154 c lw 23261 c lw 23938 c lw 24147 c lw 24650 c lw 24722 c lw 25447 c lw 25506 c lw 26108 c lw 26290 c lw 26951 c lw 27022 c lw 27579 c lw 27612 c lw 27795 c lw 28551 c lw 28634 c lw 28778 c lw 28888 c lw 29368 c lw 29390 c lw 30456 c lw 30999 c lw 31181 c lw 31724 c lw 31896 c lw 31906 c lw 32402 c lw 32514 c lw 33119 c lw 33175 c lw 33836 c lw 34220 c lw 34489 c lw 34822 c lw 35118 c lw 35306 c lw 35641 c lw 36246 c lw 36572 c lw 37186 c lw 37536 c lw 37938 c lw 38902 c lw 39295 c lw 39299 c lw 39395 c lw 40136 c lw 40548 c lw 41289 c lw 41701 c lw 41794 c lw 42535 c lw 42854 c lw 43572 c lw 43629 c lw 43747 c lw 43770 c lw 43780 c lw 43863 c lw 44488 c lw 44492 c lw 44513 c lw 44523 c lw 44615 c lw 44890 c lw 44996 c lw 45178 c lw 45209 c lw 45528 c lw 45716 c lw 45788 c lw 45809 c lw 45940 c lw 46037 c lw 46047 c lw 46060 c lw 46219 c lw 46283 c lw 46755 c lw 46909 c lw 47024 c lw 47343 c lw 47678 c lw 47856 c lw 47912 c lw 47963 c lw 48159 c lw 48289 c lw 48461 c lw 48483 c lw 48891 c lw 48955 c lw 49026 c lw 49074 c lw 49133 c lw 49149 c lw 49256 c lw 49438 c lw 49525 c lw 49735 c lw 49740 c lw 49768 c lw 49852 c lw 49986 c lw 50342 c lw 50437 c lw 50525 c lw 50669 c lw 50965 c lw 51080 c lw 51283 c lw 51298 c lw 51331 c lw 51443 c lw 51552 c lw 51734 c lw 51774 c lw 52356 c lw 52390 c lw 52465 c lw 52865 c lw 52971 c lw 53047 c lw 53058 c lw 53208 c lw 53600 c lw 53784 c lw 53923 c lw 53974 c lw 53992 c lw 54228 c lw 54492 c lw 54533 c lw 54904 c lw 54978 c lw 55088 c lw 55568 c lw 55657 c lw 55673 c lw 55702 c lw 55817 c lw 55827 c lw 55829 c lw 55863 c lw 55886 c lw 55973 c lw 56077 c lw 56267 c lw 56351 c lw 56519 c lw 56530 c lw 56613 c lw 56846 c lw 56950 c lw 56971 c lw 56975 c lw 56981 c lw 57073 c lw 57256 c lw 57362 c lw 57393 c lw 57468 c lw 57489 c lw 57540 c lw 57581 c lw 57594 c lw 57678 c lw 57742 c lw 57753 c lw 57761 c lw 57798 c lw 57799 c lw 57839 c lw 57878 c lw 57908 c lw 58010 c lw 58028 c lw 58061 c lw 58102 c lw 58149 c lw 58178 c lw 58205 c lw 58215 c lw 58217 c lw 58252 c lw 58304 c lw 58357 c lw 58465 c lw 58525 c lw 58605 c lw 58655 c lw 58666 c lw 58671 c lw 58700 c lw 58716 c lw 58729 c lw 58742 c lw 58744 c lw 58746 c lw 58762 c lw 58770 c lw 58781 c lw 58826 c lw 58830 c lw 58863 c lw 58867 c lw 58886 c lw 58897 c lw 58901 c lw 58920 c lw 58927 c lw 58931 c lw 58933 c lw 58961 c lw 58972 c lw 58976 c lw 59013 c lw 59014 c lw 59015 c lw 59023 c lw 59024 c lw 59036 c lw 59046 c lw 59054 c lw 59056 c lw 59058 c lw 59060 c lw 59064 c lw 59065 c lw 59066 c lw 59095 c lw 59104 c lw 59105 c lw 59106 c lw 59107 c lw 59108 c lw 59109 c lw 59110 c lw 59112 c lw 59113 c lw 59114 c lw 59115 c lw 59116 c lw 59117 c lw 59118 c lw 59121 c lw 59122 c lw 59126 c lw 59127 c lw 59128 c lw 59129 c lw 59130 c lw 59132 c lw 59135 c lw 59138 c lw 59139 c lw 59142 c lw 59146 c lw 59181 c lw 59182 c lw 59183 c lw 59184 c lw 59185 c lw 59186 c lw 59189 c lw 59190 c lw 59191 c lw 59196 c lw 59201 c lw 59202 c lw 59204 c lw 59205 c lw 59206 c lw 59207 c lw 59208 c lw 59209 c lw 59211 c lw 59212 c lw 59213 c lw 59215 c lw 59216 c lw 59217 c lw 59218 c lw 59219 c lw 59220 c lw 59221 c lw 59222 c lw 59223 c lw 59224 c lw 59225 c lw 59226 c lw 59227 c lw 59228 c lw 59229 c lw 59230 c lw 59231 c lw 59232 c lw 59236 c lw 59237 c lw 59238 c lw 59239 c lw 59240 c lw 59241 c lw 59242 c lw 59246 c lw 59247 c lw 59251 c lw 59252 c lw 59253 c lw 59255 c lw 59256 c lw 59257 c lw 59258 c lw 59259 c lw 59260 c lw 59261 c lw 59262 c lw 59263 c lw 59264 c lw 59265 c lw 59266 c lw 59267 c lw 59268 c lw 59269 c lw 59270 c lw 59271 c lw 59272 c lw 59273 c lw 59274 c lw 59275 c lw 59276 c lw 59277 c lw 59278 c lw 59279 c lw 59281 c lw 59285 c lw 59286 c lw 59287 c lw 59288 c lw 59289 c lw 59291 c lw 59292 c lw 59300 c lw 59301 c lw 59302 c lw 59303 c lw 59304 c lw 59305 c lw 59306 c lw 59307 c lw 59308 c lw 59309 c lw 59310 c lw 59311 c lw 59312 c lw 59313 c lw 59314 c lw 59315 c lw 59316 c lw 59317 c lw 59318 c lw 59319 c lw 59320 c lw 59321 c lw 59322 c lw 59323 c lw 59324 c lw 59325 c lw 59326 c lw 59327 c lw 59328 c lw 59329 c lw 59330 c lw 59331 c lw 59332 c lw 59333 c lw 59344 c lw 59359 c lw 59373 c lw 59388 c lw 59404 c lw 59424 c lw 59447 c lw 59448 c lw 59449 c lw 59452 c lw 59453 c lw 59454 c lw 59455 c lw 59456 c lw 59457 c lw 59458 c lw 59459 c lw 59460 c lw 59461 c lw 59462 c lw 59463 c lw 59464 c lw 59465 c lw 59466 c lw 59467 c lw 59468 c lw 59470 c lw 59472 c lw 59473 c lw 59474 c lw 59475 c lw 59476 c lw 59477 c lw 59478 c lw 59479 c lw 59484 c lw 59485 c lw 59486 c lw 59487 c lw 59488 c lw 59489 c lw 59503 c lw 59542 c lw 59543 c lw 59544 c lw 59545 c lw 59546 c lw 59547 c lw 59548 c lw 59549 c lw 59550 c lw 59551 c lw 59552 c lw 59553 c lw 59554 c lw 59555 c lw 59556 c lw 59557 c lw 59558 c lw 59567 c lw 59569 c lw 59570 c lw 59571 c lw 59572 c lw 59595 c lw 59596 c lw 59597 c lw 59599 c lw 59600 c lw 59601 c lw 59602 c lw 59603 c lw 59615 c lw 59648 c lw 59649 c lw 59651 c lw 59652 c lw 59653 c lw 59654 c lw 59658 c lw 59659 c lw 59660 c lw 59666 c lw 59667 c lw 59668 c lw 59669 c lw 59670 c lw 59671 c lw 59672 c lw 59673 c lw 59674 c lw 59675 c lw 59676 c lw 59677 c lw 59678 c lw 59679 c lw 59680 c lw 59685 c lw 59686 c lw 59687 c lw 59688 c lw 59689 c lw 59690 c lw 59691 c lw 59698 c lw 59699 c lw 59700 c lw 59703 c lw 59704 c lw 59705 c lw 59712 c lw 59713 c lw 59714 c lw 59715 c lw 59716 c lw 59717 c lw 59727 c lw 59745 c lw 59750 c lw 59785 c lw 59795 c lw 59802 c lw 59803 c lw 59804 c lw 59805 c lw 59807 c lw 59808 c lw 59813 c lw 59814 c lw 59815 c lw 59816 c lw 59817 c lw 59818 c lw 59822 c lw 59832 c lw 59844 c lw 59921 c lw 59922 c lw 59923 c lw 59924 c lw 59925 c lw 59937 c lw 59938 c lw 59941 c lw 59948 c lw 59949 c lw 59950 c lw 59951 c lw 59952 c lw 59953 c lw 59954 c lw 59955 c lw 59956 c lw 59957 c lw 59958 c lw 59959 c lw 59960 c lw 59961 c lw 59962 c lw 59963 c lw 59964 c lw 59965 c lw 59966 c lw 59967 c lw 59968 c lw 59969 c lw 59970 c lw 59971 c lw 59974 c lw 60032 c lw 60033 c lw 60034 c lw 60035 c lw 60036 c lw 60037 c lw 60038 c lw 60039 c lw 60040 c lw 60041 c lw 60042 c lw 60043 c lw 60044 c lw 60045 c lw 60048 c lw 60049 c lw 60050 c lw 60051 c lw 60052 c lw 60053 c lw 60054 c lw 60055 c lw 60056 c lw 60057 c lw 60068 c lw 60069 c lw 60070 c lw 60071 c lw 60072 c lw 60073 c lw 60074 c lw 60075 c lw 60076 c lw 60160 c lw 60264 c lw 60265 c lw 60266 c lw 60267 c lw 60289 c lw 60312 c lw 60313 c lw 60314 c lw 60315 c lw 60316 c lw 60317 c lw 60318 c lw 60588 c lw 60589 c lw 60590 c lw 60592 c lw 60599 c lw 60600 c lw 60601 c lw 60602 c lw 60603 c lw 60604 c lw 60605 c lw 60606 c lw 60607 c lw 60614 c lw 60615 c lw 60616 c lw 60617 c lw 60618 c lw 60619 c lw 60620 c lw 60621 c lw 60622 c lw 60623 c lw 60624 c lw 60625 c lw 60626 c lw 60627 c lw 60628 c lw 60629 c lw 60630 c lw 60631 c lw 60632 c lw 60666 c lw 60818 c lw 60819 c lw 60820 c lw 60821 c lw 60822 c lw 60823 c lw 60824 c lw 60825 c lw 60826 c lw 60827 c lw 60828 c lw 60829 c lw 60830 c lw 60831 c lw 60832 c lw 60833 c lw 60834 c lw 60835 c lw 60836 c lw 60837 c lw 60838 c lw 60839 c lw 60908 c lw 60909 c lw 60910 c lw 60911 c lw 60912 c lw 60913 c lw 60914 c lw 60915 c lw 60916 c lw 60917 c lw 60918 c lw 60919 c lw 60920 c lw 60921 c lw 60922 c lw 60923 c lw 60924 c lw 60925 c lw 60926 c lw 60927 c lw 60928 c lw 60929 c lw 60930 c lw 60931 c lw 60932 c lw 60939 c lw 60940 c lw 60941 c lw 60942 c lw 60945 c lw 60946 c lw 60947 c lw 60948 c lw 60949 c lw 60950 c lw 60951 c lw 60972 c lw 60973 c lw 60976 c lw 60977 c lw 60978 c lw 60979 c lw 60980 c lw 60981 c lw 60982 c lw 60983 c lw 60985 c lw 60986 c lw 60987 c lw 60988 c lw 60989 c lw 60990 c lw 60991 c lw 60996 c lw 60998 c lw 60999 c lw 61000 c lw 61001 c lw 61002 c lw 61003 c lw 61057 c lw 61058 c lw 61059