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_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 134 c lw 1145 c lw 2091 c lw 2156 c lw 3102 c lw 3167 c lw 4113 c lw 4178 c lw 4827 c lw 5476 c lw 5974 c lw 6098 c lw 6472 c lw 6904 c lw 7354 c lw 7804 c lw 8107 c lw 8235 c lw 9218 c lw 9893 c lw 10201 c lw 10711 c lw 11184 c lw 11378 c lw 11452 c lw 12103 c lw 12167 c lw 12842 c lw 13517 c lw 13671 c lw 14002 c lw 14015 c lw 15023 c lw 15728 c lw 16031 c lw 16642 c lw 16736 c lw 17067 c lw 17104 c lw 17771 c lw 18034 c lw 18401 c lw 18730 c lw 18964 c lw 19058 c lw 19376 c lw 19894 c lw 20548 c lw 20824 c lw 21343 c lw 21754 c lw 21955 c lw 22058 c lw 22207 c lw 22651 c lw 22912 c lw 23170 c lw 23395 c lw 23965 c lw 24109 c lw 24563 c lw 25017 c lw 25471 c lw 25739 c lw 25947 c lw 26517 c lw 26725 c lw 27295 c lw 27503 c lw 27844 c lw 28298 c lw 28639 c lw 28918 c lw 29434 c lw 30055 c lw 30080 c lw 30366 c lw 30579 c lw 31181 c lw 31374 c lw 31415 c lw 31592 c lw 31852 c lw 32040 c lw 32665 c lw 32803 c lw 33102 c lw 33318 c lw 33460 c lw 33626 c lw 33698 c lw 34609 c lw 34681 c lw 34704 c lw 35592 c lw 35725 c lw 36007 c lw 36149 c lw 36172 c lw 36458 c lw 36646 c lw 36906 c lw 36941 c lw 36990 c lw 37062 c lw 37128 c lw 37228 c lw 37276 c lw 37301 c lw 37342 c lw 37421 c lw 37527 c lw 37621 c lw 37770 c lw 38024 c lw 38139 c lw 38225 c lw 38233 c lw 38457 c lw 38531 c lw 38634 c lw 38790 c lw 38827 c lw 39029 c lw 39132 c lw 39216 c lw 39548 c lw 39672 c lw 39811 c lw 39840 c lw 39848 c lw 39878 c lw 39915 c lw 40124 c lw 40149 c lw 40207 c lw 40244 c lw 40257 c lw 40266 c lw 40423 c lw 40561 c lw 40590 c lw 40848 c lw 40942 c lw 41212 c lw 41215 c lw 41406 c lw 41609 c lw 41674 c lw 42005 c lw 42133 c lw 42179 c lw 42323 c lw 42555 c lw 42782 c lw 42808 c lw 42816 c lw 42991 c lw 43005 c lw 43095 c lw 43160 c lw 43175 c lw 43238 c lw 43692 c lw 43949 c lw 44252 c lw 44700 c lw 44714 c lw 44765 c lw 44768 c lw 44912 c lw 45058 c lw 45120 c lw 45277 c lw 45308 c lw 45558 c lw 45587 c lw 45882 c lw 45952 c lw 45974 c lw 46000 c lw 46003 c lw 46012 c lw 46145 c lw 46180 c lw 46215 c lw 46223 c lw 46289 c lw 46295 c lw 46343 c lw 46357 c lw 46395 c lw 46420 c lw 46436 c lw 46446 c lw 46471 c lw 46492 c lw 46506 c lw 46515 c lw 46542 c lw 46546 c lw 46628 c lw 46636 c lw 46665 c lw 46710 c lw 46718 c lw 46733 c lw 46798 c lw 46880 c lw 46926 c lw 46945 c lw 47054 c lw 47211 c lw 47243 c lw 47254 c lw 47273 c lw 47304 c lw 47418 c lw 47430 c lw 47451 c lw 47590 c lw 47603 c lw 47633 c lw 47642 c lw 47647 c lw 47648 c lw 47653 c lw 47656 c lw 47660 c lw 47681 c lw 47689 c lw 47691 c lw 47695 c lw 47699 c lw 47702 c lw 47712 c lw 47713 c lw 47716 c lw 47738 c lw 47740 c lw 47747 c lw 47755 c lw 47758 c lw 47768 c lw 47769 c lw 47773 c lw 47779 c lw 47784 c lw 47785 c lw 47791 c lw 47804 c lw 47812 c lw 47815 c lw 47852 c lw 47853 c lw 47854 c lw 47898 c lw 47912 c lw 47914 c lw 47918 c lw 47922 c lw 47925 c lw 47928 c lw 47929 c lw 47930 c lw 47931 c lw 47932 c lw 47933 c lw 47934 c lw 47935 c lw 47936 c lw 47938 c lw 47940 c lw 47943 c lw 47947 c lw 47948 c lw 47962 c lw 47966 c lw 47967 c lw 47968 c lw 47970 c lw 47988 c lw 47990 c lw 47993 c lw 47994 c lw 47996 c lw 48024 c lw 48029 c lw 48030 c lw 48031 c lw 48032 c lw 48033 c lw 48034 c lw 48041 c lw 48043 c lw 48051 c lw 48052 c lw 48053 c lw 48054 c lw 48056 c lw 48057 c lw 48058 c lw 48059 c lw 48064 c lw 48070 c lw 48072 c lw 48073 c lw 48074 c lw 48075 c lw 48076 c lw 48077 c lw 48078 c lw 48079 c lw 48083 c lw 48084 c lw 48085 c lw 48100 c lw 48179 c lw 48180 c lw 48181 c lw 48211 c lw 48219 c lw 48220 c lw 48221 c lw 48222 c lw 48228 c lw 48230 c lw 48231 c lw 48235 c lw 48241 c lw 48242 c lw 48305 c lw 48307 c lw 48308 c lw 48309 c lw 48310 c lw 48311 c lw 48312 c lw 48313 c lw 48314 c lw 48315 c lw 48334 c lw 48336 c lw 48339 c lw 48340 c lw 48341 c lw 48342 c lw 48343 c lw 48344 c lw 48347 c lw 48348 c lw 48352 c lw 48353 c lw 48397 c lw 48416 c lw 48453 c lw 48501 c lw 48556 c lw 48572 c lw 48604 c lw 48609 c lw 48613 c lw 48614 c lw 48615 c lw 48616 c lw 48617 c lw 48622 c lw 48624 c lw 48625 c lw 48626 c lw 48627 c lw 48644 c lw 48645 c lw 48646 c lw 48647 c lw 48648 c lw 48649 c lw 48650 c lw 48653 c lw 48654 c lw 48656 c lw 48658 c lw 48659 c lw 48660 c lw 48661 c lw 48662 c lw 48663 c lw 48664 c lw 48665 c lw 48666 c lw 48667 c lw 48668 c lw 48669 c lw 48670 c lw 48671 c lw 48672 c lw 48673 c lw 48674 c lw 48675 c lw 48676 c lw 48677 c lw 48678 c lw 48679 c lw 48680 c lw 48681 c lw 48682 c lw 48683 c lw 48684 c lw 48686 c lw 48688 c lw 48689 c lw 48690 c lw 48691 c lw 48692 c lw 48693 c lw 48694 c lw 48695 c lw 48696 c lw 48697 c lw 48698 c lw 48699 c lw 48700 c lw 48701 c lw 48702 c lw 48703 c lw 48704 c lw 48705 c lw 48706 c lw 48707 c lw 48708 c lw 48709 c lw 48710 c lw 48711 c lw 48712 c lw 48713 c lw 48714 c lw 48715 c lw 48716 c lw 48717 c lw 48718 c lw 48719 c lw 48720 c lw 48721 c lw 48722 c lw 48724 c lw 48725 c lw 48726 c lw 48727 c lw 48728 c lw 48729 c lw 48730 c lw 48731 c lw 48734 c lw 48735 c lw 48736 c lw 48737 c lw 48738 c lw 48739 c lw 48740 c lw 48741 c lw 48742 c lw 48743 c lw 48744 c lw 48745 c lw 48746 c lw 48747 c lw 48748 c lw 48749 c lw 48750 c lw 48751 c lw 48752 c lw 48753 c lw 48754 c lw 48755 c lw 48756 c lw 48757 c lw 48758 c lw 48759 c lw 48760 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 48769 c lw 48770 c lw 48771 Killed 1817.795u 1.956s 30:19.89 99.9% 0+0k 0+0io 0pf+0w