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_70_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0006.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1031 c lw 1848 c lw 1887 c lw 2665 c lw 3388 c lw 3482 c lw 4299 c lw 4569 c lw 5116 c lw 5589 c lw 6147 c lw 6870 c lw 7204 c lw 7593 c lw 8316 c lw 8933 c lw 9039 c lw 9291 c lw 9625 c lw 9957 c lw 10567 c lw 10875 c lw 11389 c lw 11404 c lw 12056 c lw 12118 c lw 12217 c lw 12912 c lw 13113 c lw 14236 c lw 14298 c lw 15421 c lw 15483 c lw 16339 c lw 16606 c lw 16971 c lw 17625 c lw 17712 c lw 18760 c lw 18901 c lw 19266 c lw 19407 c lw 19447 c lw 20269 c lw 20582 c lw 20871 c lw 21184 c lw 21473 c lw 21786 c lw 22075 c lw 22137 c lw 23238 c lw 23961 c lw 24401 c lw 24531 c lw 24593 c lw 25343 c lw 25412 c lw 25589 c lw 26066 c lw 26186 c lw 26867 c lw 26939 c lw 27114 c lw 28085 c lw 28149 c lw 28416 c lw 28694 c lw 29167 c lw 29239 c lw 29342 c lw 29345 c lw 29519 c lw 29716 c lw 29756 c lw 29818 c lw 29825 c lw 29955 c lw 30017 c lw 30196 c lw 30248 c lw 30260 c lw 30463 c lw 30638 c lw 30741 c lw 30803 c lw 30901 c lw 30963 c lw 31206 c lw 31336 c lw 31458 c lw 31552 c lw 31688 c lw 32023 c lw 32038 c lw 32082 c lw 32247 c lw 32552 c lw 32555 c lw 32798 c lw 32860 c lw 32941 c lw 33061 c lw 33192 c lw 33395 c lw 33664 c lw 33975 c lw 34281 c lw 34318 c lw 34357 c lw 34429 c lw 34828 c lw 35098 c lw 35135 c lw 35350 c lw 35424 c lw 35565 c lw 35878 c lw 36070 c lw 36157 c lw 36536 c lw 37380 c lw 37745 c lw 37757 c lw 37829 c lw 37852 c lw 37894 c lw 37934 c lw 37956 c lw 38024 c lw 38073 c lw 38135 c lw 38222 c lw 38233 c lw 38336 c lw 38352 c lw 38397 c lw 38412 c lw 38436 c lw 38458 c lw 38497 c lw 38505 c lw 38507 c lw 38526 c lw 38529 c lw 38550 c lw 38566 c lw 38635 c lw 38743 c lw 38780 c lw 38824 c lw 38842 c lw 38879 c lw 38893 c lw 38943 c lw 38955 c lw 38962 c lw 38984 c lw 38985 c lw 38995 c lw 39125 c lw 39131 c lw 39152 c lw 39164 c lw 39186 c lw 39187 c lw 39314 c lw 39400 c lw 39410 c lw 39411 c lw 39420 c lw 39431 c lw 39432 c lw 39433 c lw 39438 c lw 39440 c lw 39448 c lw 39454 c lw 39457 c lw 39463 c lw 39469 c lw 39472 c lw 39565 c lw 39581 c lw 39585 c lw 39587 c lw 39593 c lw 39594 c lw 39596 c lw 39597 c lw 39598 c lw 39599 c lw 39603 c lw 39604 c lw 39607 c lw 39608 c lw 39612 c lw 39613 c lw 39614 c lw 39615 c lw 39616 c lw 39617 c lw 39618 c lw 39619 c lw 39620 c lw 39621 c lw 39622 c lw 39623 c lw 39624 c lw 39625 c lw 39626 c lw 39627 c lw 39628 c lw 39629 c lw 39630 c lw 39631 c lw 39636 c lw 39639 c lw 39683 c lw 39692 c lw 39693 c lw 39695 c lw 39774 c lw 39775 c lw 39779 c lw 39780 c lw 39782 c lw 39783 c lw 39785 c lw 39786 c lw 39787 c lw 39788 c lw 39789 c lw 39790 c lw 39791 c lw 39792 c lw 39793 c lw 39794 c lw 39795 c lw 39797 c lw 39798 c lw 39799 c lw 39800 c lw 39806 c lw 39807 c lw 39812 c lw 39813 c lw 39814 c lw 39815 c lw 39816 c lw 39817 c lw 39818 c lw 39819 c lw 39820 c lw 39821 c lw 39822 c lw 39823 c lw 39827 c lw 39828 c lw 39829 c lw 39830 c lw 39831 c lw 39834 c lw 39835 c lw 39927 c lw 39928 c lw 39933 c lw 39934 c lw 39935 c lw 39937 c lw 39938 c lw 39939 c lw 39942 c lw 39943 c lw 39944 c lw 39945 c lw 39947 c lw 39948 c lw 39949 c lw 39950 c lw 39951 c lw 39952 c lw 39953 c lw 39967 c lw 39969 c lw 39990 c lw 39991 c lw 39992 c lw 39993 c lw 39998 c lw 39999 c lw 40008 c lw 40009 c lw 40010 c lw 40011 c lw 40012 c lw 40013 c lw 40014 c lw 40015 c lw 40016 c lw 40017 c lw 40018 c lw 40019 c lw 40029 c lw 40030 c lw 40031 c lw 40032 c lw 40033 c lw 40034 c lw 40035 c lw 40036 c lw 40037 c lw 40038 c lw 40039 c lw 40040 c lw 40041 c lw 40042 c lw 40043 c lw 40044 c lw 40054 c lw 40055 c lw 40056 c lw 40057 c lw 40058 c lw 40059 c lw 40060 c lw 40061 c lw 40062 c lw 40063 c lw 40064 c lw 40065 c lw 40066 c lw 40067 c lw 40068 c lw 40069 c lw 40070 c lw 40071 c lw 40072 c lw 40073 c lw 40074 c lw 40075 c lw 40083 c lw 40084 c lw 40085 c lw 40086 c lw 40087 c lw 40088 c lw 40089