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_90_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 801 c lw 985 c lw 1216 c lw 1882 c lw 2023 c lw 2711 c lw 3361 c lw 3399 c lw 3990 c lw 4200 c lw 4542 c lw 4884 c lw 5471 c lw 6055 c lw 6187 c lw 7095 c lw 8076 c lw 9057 c lw 10038 c lw 10855 c lw 11672 c lw 12160 c lw 12279 c lw 13005 c lw 13731 c lw 14189 c lw 14368 c lw 15171 c lw 15818 c lw 15944 c lw 16012 c lw 16050 c lw 16744 c lw 16777 c lw 17197 c lw 17438 c lw 18110 c lw 18782 c lw 18982 c lw 19454 c lw 20424 c lw 21394 c lw 22113 c lw 22364 c lw 22943 c lw 23198 c lw 23913 c lw 24439 c lw 24552 c lw 25191 c lw 25782 c lw 26373 c lw 27020 c lw 27161 c lw 27475 c lw 27792 c lw 27809 c lw 28009 c lw 28289 c lw 28773 c lw 29508 c lw 29618 c lw 30166 c lw 30344 c lw 30480 c lw 30608 c lw 31155 c lw 31206 c lw 31702 c lw 31903 c lw 31950 c lw 32001 c lw 32114 c lw 32159 c lw 32300 c lw 32441 c lw 32479 c lw 32937 c lw 33015 c lw 33053 c lw 33100 c lw 33116 c lw 33301 c lw 33357 c lw 33777 c lw 33794 c lw 33797 c lw 33878 c lw 33911 c lw 34119 c lw 34319 c lw 34519 c lw 34647 c lw 34697 c lw 34744 c lw 34880 c lw 35552 c lw 35752 c lw 35760 c lw 35798 c lw 35838 c lw 36256 c lw 36410 c lw 36440 c lw 36479 c lw 36524 c lw 36896 c lw 36960 c lw 36989 c lw 36991 c lw 37101 c lw 37121 c lw 37356 c lw 37473 c lw 37847 c lw 38070 c lw 38183 c lw 38234 c lw 38422 c lw 38450 c lw 38654 c lw 39097 c lw 39225 c lw 39293 c lw 39352 c lw 39471 c lw 39840 c lw 40070 c lw 40127 c lw 40431 c lw 40514 c lw 40581 c lw 40624 c lw 41228 c lw 41248 c lw 41286 c lw 41369 c lw 41387 c lw 41407 c lw 41994 c lw 42014 c lw 42030 c lw 42072 c lw 42086 c lw 42111 c lw 42114 c lw 42119 c lw 42148 c lw 42160 c lw 42192 c lw 42193 c lw 42216 c lw 42233 c lw 42236 c lw 42304 c lw 42351 c lw 42432 c lw 42447 c lw 42504 c lw 42658 c lw 42663 c lw 42701 c lw 42722 c lw 42741 c lw 42798 c lw 42873 c lw 42876 c lw 42971 c lw 43001 c lw 43009 c lw 43038 c lw 43054 c lw 43067 c lw 43069 c lw 43108 c lw 43127 c lw 43308 c lw 43349 c lw 43350 c lw 43370 c lw 43378 c lw 43420 c lw 43439 c lw 43563 c lw 43582 c lw 43584 c lw 43603 c lw 43604 c lw 43622 c lw 43713 c lw 43714 c lw 43724 c lw 43807 c lw 43845 c lw 43928 c lw 43929 c lw 43980 c lw 44036 c lw 44037 c lw 44038 c lw 44055 c lw 44072 c lw 44086 c lw 44128 c lw 44182 c lw 44195 c lw 44196 c lw 44209 c lw 44229 c lw 44279 c lw 44376 c lw 44522 c lw 44569 c lw 44599 c lw 44612 c lw 44615 c lw 44617 c lw 44622 c lw 44625 c lw 44647 c lw 44648 c lw 44669 c lw 44670 c lw 44691 c lw 44692 c lw 44697 c lw 44710 c lw 44716 c lw 44753 c lw 44754 c lw 44755 c lw 44756 c lw 44757 c lw 44770 c lw 44771 c lw 44777 c lw 44789 c lw 44807 c lw 44808 c lw 44823 c lw 44824 c lw 44827 c lw 44843 c lw 44844 c lw 44845 c lw 44846 c lw 44865 c lw 44866 c lw 44867 c lw 44868 c lw 44869 c lw 44870 c lw 44871 c lw 44874 c lw 44879 c lw 44880 c lw 44888 c lw 44904 c lw 44905 c lw 44906 c lw 44907 c lw 44908 c lw 44910 c lw 44911 c lw 44912 c lw 44913 c lw 44914 c lw 44915 c lw 44917 c lw 44919 c lw 44925 c lw 44926 c lw 44928 c lw 44929 c lw 44930 c lw 44936 c lw 44937 c lw 44938 c lw 44939 c lw 44940 c lw 44941 c lw 45169 c lw 45170 c lw 45171 c lw 45172 c lw 45173 c lw 45177 c lw 45178 c lw 45180 c lw 45181 c lw 45202 c lw 45204 c lw 45210 c lw 45211 c lw 45213 c lw 45214 c lw 45215 c lw 45216 c lw 45217 c lw 45218 c lw 45219 c lw 45220 c lw 45221 c lw 45222 c lw 45223 c lw 45225 c lw 45226 c lw 45227 c lw 45228 c lw 45229 c lw 45230 c lw 45231 c lw 45232 c lw 45233 c lw 45234 c lw 45235 c lw 45236 c lw 45237 c lw 45238 c lw 45239 c lw 45243 c lw 45244 c lw 45245 c lw 45256 c lw 45262 c lw 45263 c lw 45266 c lw 45276 c lw 45277 c lw 45278 c lw 45279 c lw 45280 c lw 45281 c lw 45282 c lw 45283 c lw 45284 c lw 45285 c lw 45286 c lw 45287 c lw 45288 c lw 45293 c lw 45294 c lw 45295 c lw 45297 c lw 45298 c lw 45299 c lw 45300 c lw 45301 c lw 45302 c lw 45303 c lw 45304 c lw 45305 c lw 45306 c lw 45307 c lw 45308 c lw 45312 c lw 45328 c lw 45329 c lw 45330 c lw 45331 c lw 45332 c lw 45333 c lw 45334 c lw 45335 c lw 45336 c lw 45337 c lw 45338 c lw 45339 c lw 45340 c lw 45341 c lw 45342 c lw 45343 c lw 45346 c lw 45347 c lw 45348 c lw 45349 c lw 45351 c lw 45352 c lw 45353 c lw 45354 c lw 45355 c lw 45356 c lw 45357 c lw 45358 c lw 45359 c lw 45360 c lw 45361 c lw 45362 c lw 45363 c lw 45364 c lw 45365 c lw 45366 c lw 45367 c lw 45368 c lw 45369 c lw 45370 c lw 45371 c lw 45372 c lw 45373 c lw 45403 c lw 45404 c lw 45405 c lw 45406 c lw 45407 c lw 45408 c lw 45409 c lw 45410 c lw 45411 c lw 45412 c lw 45415 c lw 45416 c lw 45417 c lw 45418 c lw 45419 c lw 45420 c lw 45421 c lw 45437 c lw 45451 c lw 45452 c lw 45455 c lw 45456 c lw 45457 c lw 45458 c lw 45459 c lw 45460 c lw 45461 c lw 45462 c lw 45463 c lw 45464 c lw 45465 c lw 45466 c lw 45467 c lw 45468 c lw 45469 c lw 45470 c lw 45471 c lw 45472 c lw 45473 c lw 45474 c lw 45528 c lw 45532 c lw 45533 c lw 45535 c lw 45536 c lw 45537 c lw 45542 c lw 45599 c lw 45600 c lw 45601 c lw 45602 c lw 45603 c lw 45604 c lw 45605 c lw 45606 c lw 45607 c lw 45608 c lw 45609 c lw 45610 c lw 45611 c lw 45612 c lw 45613 c lw 45614 c lw 45615 c lw 45616 c lw 45617 c lw 45618 c lw 45619 c lw 45620 c lw 45621 c lw 45622 c lw 45623 c lw 45624 c lw 45625 c lw 45626 c lw 45627 c lw 45628 c lw 45629 c lw 45630 c lw 45631 c lw 45632 c lw 45644 c lw 45645 c lw 45646 c lw 45647 c lw 45648 c lw 45649 c lw 45650 c lw 45651 c lw 45652 c lw 45653 c lw 45654 c lw 45655 c lw 45656 c lw 45657 c lw 45658 c lw 45659 c lw 45660 c lw 45661 c lw 45663 c lw 45664 c lw 45665 c lw 45670 c lw 45671 c lw 45673 c lw 45674 c lw 45676 c lw 45677 c lw 45678 c lw 45679 c lw 45680 c lw 45684 c lw 45685 c lw 45686 c lw 45687 c lw 45694 c lw 45695 c lw 45697 c lw 45698 c lw 45699 c lw 45700 c lw 45701 c lw 45702 c lw 45703 c lw 45704 c lw 45705 c lw 45706 c lw 45707 c lw 45708 c lw 45709 c lw 45710 c lw 45711 c lw 45712 c lw 45713 c lw 45715 c lw 45716 c lw 45717 c lw 45738 c lw 45739 c lw 45740 c lw 45741 c lw 45742 c lw 45743 c lw 45744 c lw 45745 c lw 45746 c lw 45747 c lw 45748 c lw 45749 c lw 45750 c lw 45751 c lw 45752 c lw 45753 c lw 45754 c lw 45755 c lw 45756 c lw 45757 c lw 45758 c lw 45759 c lw 45760 c lw 45761 c lw 45762 c lw 45763 c lw 45764 c lw 45765 c lw 45766 c lw 45767 c lw 45768 c lw 45769 c lw 45770 c lw 45771 c lw 45772 c lw 45773 c lw 45774 c lw 45775 c lw 45776 c lw 45777 c lw 45778 c lw 45779 c lw 45780 c lw 45781 c lw 45782 c lw 45783 c lw 45784 c lw 45785 c lw 45786 c lw 45787 c lw 45788 c lw 45789 c lw 45790 c lw 45791 c lw 45792 c lw 45793 c lw 45794 c lw 45796 c lw 45801 c lw 45802 c lw 45803 c lw 45811 c lw 45812 c lw 45813 c lw 45814 c lw 45815 c lw 45816 c lw 45817 c lw 45818 c lw 45819 c lw 45820 c lw 45821 c lw 45822 c lw 45823 c lw 45824 c lw 45825 c lw 45826 c lw 45827 c lw 45828 c lw 45829 c lw 45830 c lw 45831 c lw 45832 c lw 45833 c lw 45834 c lw 45835 c lw 45836 c lw 45837 c lw 45838 c lw 45839 c lw 45840 c lw 45841 c lw 45842 c lw 45843 c lw 45844 c lw 45845 c lw 45846 c lw 45847 c lw 45848 c lw 45849 c lw 45850 c lw 45851 c lw 45852 c lw 45853 c lw 45854 c lw 45855 c lw 45856 c lw 45857 c lw 45858 c lw 45859 c lw 45860 c lw 45861 c lw 45862 c lw 45863 c lw 45864 c lw 45865 c lw 45866 c lw 45867 c lw 45868 c lw 45869 c lw 45870 c lw 45871 c lw 45872 c lw 45873 c lw 45874 c lw 45875 c lw 45876 c lw 45877 c lw 45878 c lw 45879 c lw 45880 c lw 45881 c lw 45882 c lw 45883 c lw 45884 c lw 45885 c lw 45886 c lw 45887 c lw 45888 c lw 45889 c lw 45890 c lw 45891 c lw 45892 c lw 45893 c lw 45894 c lw 45895 c lw 45896 c lw 45897 c lw 45898 c lw 45899 c lw 45900 c lw 45901 c lw 45902 c lw 45903 c lw 45904 c lw 45905 c lw 45906 c lw 45907 c lw 45908 c lw 45909 c lw 45910 c lw 45911 c lw 45912 c lw 45913 c lw 45916 c lw 45921