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_80_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 944 c lw 1888 c lw 2832 c lw 3008 c lw 3776 c lw 4472 c lw 4720 c lw 5613 c lw 5664 c lw 6016 c lw 6181 c lw 7036 c lw 7891 c lw 8339 c lw 9035 c lw 9436 c lw 9487 c lw 10352 c lw 11217 c lw 11805 c lw 12764 c lw 12929 c lw 13023 c lw 14053 c lw 14143 c lw 15177 c lw 15808 c lw 16439 c lw 17070 c lw 17530 c lw 17990 c lw 18176 c lw 18406 c lw 18450 c lw 18646 c lw 18910 c lw 19140 c lw 19796 c lw 19920 c lw 20813 c lw 21706 c lw 22362 c lw 22441 c lw 22599 c lw 23719 c lw 24839 c lw 24925 c lw 25364 c lw 25995 c lw 26434 c lw 26560 c lw 26659 c lw 27700 c lw 27908 c lw 28931 c lw 29113 c lw 29117 c lw 29950 c lw 30154 c lw 30212 c lw 30259 c lw 30716 c lw 31392 c lw 31569 c lw 31730 c lw 32228 c lw 32672 c lw 33177 c lw 33211 c lw 33298 c lw 33415 c lw 33571 c lw 33657 c lw 33744 c lw 33801 c lw 33977 c lw 34067 c lw 34188 c lw 34192 c lw 34222 c lw 34370 c lw 34414 c lw 34600 c lw 35051 c lw 35247 c lw 35281 c lw 35380 c lw 35405 c lw 35598 c lw 35613 c lw 35722 c lw 36223 c lw 36597 c lw 36631 c lw 36710 c lw 36841 c lw 36879 c lw 36978 c lw 37566 c lw 37647 c lw 37694 c lw 37983 c lw 38120 c lw 38144 c lw 38154 c lw 38189 c lw 38354 c lw 38482 c lw 38602 c lw 38894 c lw 38977 c lw 39136 c lw 39147 c lw 39301 c lw 39513 c lw 39639 c lw 39719 c lw 39767 c lw 40350 c lw 40839 c lw 40897 c lw 41087 c lw 41138 c lw 41335 c lw 41535 c lw 41539 c lw 41590 c lw 41852 c lw 42180 c lw 42201 c lw 42205 c lw 42304 c lw 42390 c lw 42566 c lw 42655 c lw 42656 c lw 42657 c lw 42660 c lw 42808 c lw 42848 c lw 42903 c lw 43034 c lw 43111 c lw 43145 c lw 43210 c lw 43230 c lw 43235 c lw 43294 c lw 43336 c lw 43351 c lw 43352 c lw 43376 c lw 43411 c lw 43433 c lw 43450 c lw 43533 c lw 43578 c lw 43615 c lw 43726 c lw 43730 c lw 43777 c lw 43936 c lw 43974 c lw 44022 c lw 44120 c lw 44144 c lw 44154 c lw 44167 c lw 44178 c lw 44181 c lw 44255 c lw 44297 c lw 44300 c lw 44321 c lw 44497 c lw 44498 c lw 44509 c lw 44545 c lw 44552 c lw 44578 c lw 44810 c lw 44823 c lw 44838 c lw 44839 c lw 44843 c lw 44860 c lw 44921 c lw 44946 c lw 45001 c lw 45038 c lw 45071 c lw 45078 c lw 45079 c lw 45096 c lw 45109 c lw 45122 c lw 45126 c lw 45130 c lw 45153 c lw 45172 c lw 45188 c lw 45196 c lw 45203 c lw 45210 c lw 45252 c lw 45304 c lw 45312 c lw 45316 c lw 45317 c lw 45321 c lw 45322 c lw 45325 c lw 45326 c lw 45330 c lw 45338 c lw 45433 c lw 45434 c lw 45458 c lw 45465 c lw 45466 c lw 45467 c lw 45469 c lw 45475 c lw 45508 c lw 45520 c lw 45529 c lw 45531 c lw 45533 c lw 45534 c lw 45535 c lw 45536 c lw 45537 c lw 45539 c lw 45540 c lw 45541 c lw 45542 c lw 45543 c lw 45544 c lw 45545 c lw 45546 c lw 45547 c lw 45548 c lw 45549 c lw 45550 c lw 45551 c lw 45552 c lw 45553 c lw 45554 c lw 45555 c lw 45556 c lw 45557 c lw 45559 c lw 45561 c lw 45562 c lw 45563 c lw 45564 c lw 45569 c lw 45570 c lw 45572 c lw 45573 c lw 45574 c lw 45576 c lw 45577 c lw 45578 c lw 45579 c lw 45583 c lw 45585 c lw 45586 c lw 45587 c lw 45588 c lw 45589 c lw 45590 c lw 45591 c lw 45592 c lw 45593 c lw 45594 c lw 45595 c lw 45596 c lw 45597 c lw 45598 c lw 45599 c lw 45600 c lw 45601 c lw 45602 c lw 45603 c lw 45604 c lw 45605 c lw 45609 c lw 45611 c lw 45612 c lw 45615 c lw 45616 c lw 45617 c lw 45618 c lw 45621 c lw 45632 c lw 45633 c lw 45634 c lw 45635 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 45662 c lw 45663 c lw 45664 c lw 45665 c lw 45666 c lw 45667 c lw 45668 c lw 45669 c lw 45670 c lw 45671 c lw 45672 c lw 45673 c lw 45674 c lw 45675 c lw 45678 c lw 45679 c lw 45680 c lw 45681 c lw 45682 c lw 45683 c lw 45684 c lw 45685 c lw 45686 c lw 45687 c lw 45688 c lw 45689 c lw 45690 c lw 45691 c lw 45697 c lw 45698 c lw 45703 c lw 45715 c lw 45716 c lw 45719 c lw 45720 c lw 45722 c lw 45723 c lw 45727 c lw 45731 c lw 45732 c lw 45733 c lw 45734 c lw 45736 c lw 45737 c lw 45739 c lw 45740 c lw 45747 c lw 45748 c lw 45755 c lw 45758 c lw 45760 c lw 45762 c lw 45763 c lw 45764 c lw 45765 c lw 45766 c lw 45769 c lw 45770 c lw 45771 c lw 45773 c lw 45774 c lw 45779 c lw 45780 c lw 45781 c lw 45804 c lw 45805 c lw 45806 c lw 45815 c lw 45816 c lw 45817 c lw 45818 c lw 45819 c lw 45820 c lw 45821 c lw 45827 c lw 45849 c lw 45858 c lw 45859 c lw 45860 c lw 45861 c lw 45864 c lw 45865 c lw 45890 c lw 45891 c lw 45892 c lw 45893 c lw 45894 c lw 45895 c lw 45920 c lw 45921 c lw 45925 c lw 45939 c lw 45945 c lw 45946 c lw 45949 c lw 45950 c lw 45951 c lw 45954 c lw 45957 c lw 45958 c lw 45959 c lw 45962 c lw 45963 c lw 46018 c lw 46019 c lw 46020 c lw 46021 c lw 46022 c lw 46023 c lw 46024 c lw 46025 c lw 46026 c lw 46027 c lw 46028 c lw 46029 c lw 46030 c lw 46031 c lw 46032 c lw 46033 c lw 46036 c lw 46043 c lw 46044 c lw 46045 c lw 46046 c lw 46047 c lw 46048 c lw 46049 c lw 46050 c lw 46051 c lw 46052 c lw 46053 c lw 46054 c lw 46055 c lw 46056 c lw 46057 c lw 46058 c lw 46059 c lw 46060 c lw 46061 c lw 46062 c lw 46063 c lw 46064 c lw 46065 c lw 46066 c lw 46067 c lw 46068 c lw 46069 c lw 46070 c lw 46071 c lw 46072 c lw 46073 c lw 46074 c lw 46080 c lw 46081 c lw 46082 c lw 46083 c lw 46086 c lw 46087 c lw 46090 c lw 46091 c lw 46092 c lw 46093 c lw 46095 c lw 46098 c lw 46099 c lw 46100 c lw 46101 c lw 46102 c lw 46103 c lw 46105 c lw 46110 c lw 46111 c lw 46112 c lw 46113 c lw 46114 c lw 46115 c lw 46116 c lw 46117 c lw 46118 c lw 46119 c lw 46120 c lw 46121 c lw 46122 c lw 46124 c lw 46127 c lw 46128 c lw 46133 c lw 46135 c lw 46136 c lw 46137 c lw 46138 c lw 46155 c lw 46159 c lw 46161 c lw 46163 c lw 46186 c lw 46187 c lw 46188 c lw 46189 c lw 46192 c lw 46193 c lw 46194 c lw 46195 c lw 46196 c lw 46197 c lw 46198 c lw 46199 c lw 46200 c lw 46201 c lw 46202 c lw 46203 c lw 46204 c lw 46205 c lw 46206 c lw 46207 c lw 46208 c lw 46209 c lw 46210 c lw 46211 c lw 46212 c lw 46213 c lw 46214 c lw 46215 c lw 46216 c lw 46217 c lw 46218 c lw 46219 c lw 46220 c lw 46221 c lw 46222 c lw 46223 c lw 46224 c lw 46225 c lw 46226 c lw 46227 c lw 46228 c lw 46229 c lw 46230 c lw 46231 c lw 46232 c lw 46233 c lw 46234 c lw 46238 c lw 46239 c lw 46240 c lw 46241 c lw 46242 c lw 46243 c lw 46245 c lw 46246 c lw 46247 c lw 46248 c lw 46249 c lw 46250 c lw 46251 c lw 46252 c lw 46253 c lw 46254 c lw 46255 c lw 46256 c lw 46257 c lw 46258 c lw 46259 c lw 46260 c lw 46261 c lw 46262 c lw 46263 c lw 46264 c lw 46265 c lw 46266 c lw 46267 c lw 46268 c lw 46269 c lw 46270 c lw 46271 c lw 46272 c lw 46273 c lw 46274 c lw 46275 c lw 46276 c lw 46277 c lw 46278 c lw 46302 c lw 46303 c lw 46304 c lw 46305 c lw 46306 c lw 46307 c lw 46321 c lw 46322 c lw 46323 c lw 46324 c lw 46325 c lw 46326 c lw 46327 c lw 46328 c lw 46329 c lw 46330 c lw 46331 c lw 46332 c lw 46333 c lw 46334 c lw 46335 c lw 46336 c lw 46337 c lw 46338 c lw 46339 Killed 1815.561u 4.202s 30:23.45 99.7% 0+0k 0+0io 0pf+0w