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_150_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0002.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1238 c lw 2476 c lw 3714 c lw 4869 c lw 6024 c lw 6610 c lw 7163 c lw 7179 c lw 8017 c lw 8092 c lw 8855 c lw 9195 c lw 10110 c lw 10284 c lw 10549 c lw 10643 c lw 10663 c lw 10918 c lw 12156 c lw 13394 c lw 14067 c lw 14073 c lw 15023 c lw 16136 c lw 17244 c lw 17249 c lw 18264 c lw 18362 c lw 19162 c lw 19475 c lw 20111 c lw 20962 c lw 21297 c lw 22173 c lw 23049 c lw 23750 c lw 24127 c lw 24539 c lw 25328 c lw 26091 c lw 26563 c lw 27128 c lw 27615 c lw 28065 c lw 28165 c lw 28969 c lw 29202 c lw 29609 c lw 30006 c lw 31043 c lw 31950 c lw 32191 c lw 33236 c lw 34281 c lw 34986 c lw 35326 c lw 35372 c lw 35987 c lw 36352 c lw 36983 c lw 37239 c lw 38212 c lw 39185 c lw 39536 c lw 40158 c lw 41163 c lw 42067 c lw 42130 c lw 42168 c lw 42448 c lw 43173 c lw 43926 c lw 44031 c lw 44784 c lw 44790 c lw 44876 c lw 44889 c lw 45642 c lw 45747 c lw 46605 c lw 47358 c lw 47463 c lw 47613 c lw 47954 c lw 48540 c lw 48723 c lw 48884 c lw 49037 c lw 49899 c lw 50820 c lw 51839 c lw 51937 c lw 52009 c lw 53149 c lw 53877 c lw 53901 c lw 54086 c lw 54208 c lw 54990 c lw 55162 c lw 55311 c lw 55445 c lw 55623 c lw 56094 c lw 56117 c lw 56503 c lw 56554 c lw 57132 c lw 57328 c lw 57380 c lw 57512 c lw 57674 c lw 58174 c lw 58833 c lw 59039 c lw 59736 c lw 59955 c lw 60252 c lw 60617 c lw 61100 c lw 61175 c lw 61206 c lw 61311 c lw 61504 c lw 61558 c lw 62201 c lw 62205 c lw 62259 c lw 62478 c lw 62491 c lw 62577 c lw 62682 c lw 63130 c lw 63377 c lw 63549 c lw 63573 c lw 63722 c lw 63856 c lw 64036 c lw 64259 c lw 64391 c lw 64536 c lw 64588 c lw 64597 c lw 64627 c lw 64699 c lw 64750 c lw 64856 c lw 65124 c lw 65205 c lw 65404 c lw 65446 c lw 65796 c lw 65850 c lw 65899 c lw 65997 c lw 66021 c lw 66465 c lw 66503 c lw 66566 c lw 66589 c lw 66643 c lw 66845 c lw 67405 c lw 67510 c lw 67588 c lw 67719 c lw 68135 c lw 68140 c lw 68238 c lw 68397 c lw 68403 c lw 68605 c lw 68887 c lw 68996 c lw 69092 c lw 69229 c lw 69697 c lw 69787 c lw 69797 c lw 70147 c lw 70284 c lw 70352 c lw 70665 c lw 70756 c lw 70920 c lw 71465 c lw 71592 c lw 71618 c lw 71953 c lw 72321 c lw 72576 c lw 72681 c lw 72700 c lw 72720 c lw 72743 c lw 72766 c lw 72895 c lw 73080 c lw 73421 c lw 74576 c lw 74670 c lw 74690 c lw 74873 c lw 74916 c lw 75090 c lw 75142 c lw 75148 c lw 75335 c lw 76063 c lw 76211 c lw 76588 c lw 76939 c lw 76986 c lw 77040 c lw 77436 c lw 77546 c lw 77670 c lw 77686 c lw 77806 c lw 78129 c lw 78225 c lw 78249 c lw 78434 c lw 78525 c lw 79056 c lw 79498 c lw 79536 c lw 79896 c lw 79971 c lw 80004 c lw 80399 c lw 80882 c lw 81246 c lw 81392 c lw 81397 c lw 81725 c lw 81748 c lw 81779 c lw 81810 c lw 81925 c lw 82143 c lw 82229 c lw 82242 c lw 82246 c lw 82250 c lw 82270 c lw 82285 c lw 82290 c lw 82381 c lw 82402 c lw 82603 c lw 82729 c lw 82752 c lw 82775 c lw 82781 c lw 82822 c lw 82830 c lw 82846 c lw 82872 c lw 82896 c lw 82926 c lw 83103 c lw 83194 c lw 83232 c lw 83252 c lw 83256 c lw 83259 c lw 83261 c lw 83265 c lw 83352 c lw 83383 c lw 83498 c lw 83527 c lw 83548 c lw 83550 c lw 83580 c lw 83605 c lw 83629 c lw 83639 c lw 83647 c lw 83660 c lw 83664 c lw 83668 c lw 83671 c lw 83718 c lw 83724 c lw 83728 c lw 83736 c lw 83742 c lw 83750 c lw 83754 c lw 83755 c lw 83759 c lw 83794 c lw 83872 c lw 83909 c lw 83923 c lw 83948 c lw 83951 c lw 83977 c lw 83984 c lw 83989 c lw 84085 c lw 84113 c lw 84117 c lw 84121 c lw 84132 c lw 84133 c lw 84137 c lw 84138 c lw 84141 c lw 84145 c lw 84146 c lw 84148 c lw 84152 c lw 84156 c lw 84161 c lw 84171 c lw 84192 c lw 84203 c lw 84209 c lw 84228 c lw 84240 c lw 84241 c lw 84243 c lw 84250 c lw 84251 c lw 84257 c lw 84258 c lw 84327 c lw 84330 c lw 84337 c lw 84338 c lw 84356 c lw 84358 c lw 84359 c lw 84360 c lw 84361 c lw 84364 c lw 84367 c lw 84376 c lw 84389 c lw 84390 c lw 84398 c lw 84406 c lw 84407 c lw 84413 c lw 84415 c lw 84419 c lw 84420 c lw 84426 c lw 84428 c lw 84429 c lw 84430 c lw 84431 c lw 84443 c lw 84444 c lw 84445 c lw 84446 c lw 84447 c lw 84448 c lw 84450 c lw 84451 c lw 84454 c lw 84455 c lw 84456 c lw 84467 c lw 84485 c lw 84486 c lw 84488 c lw 84489 c lw 84490 c lw 84496 c lw 84497 c lw 84499 c lw 84517 c lw 84536 c lw 84553 c lw 84554 c lw 84555 c lw 84562 c lw 84564 c lw 84572 c lw 84573 c lw 84574 c lw 84575 c lw 84576 c lw 84577 c lw 84580 c lw 84582 c lw 84583 c lw 84598 c lw 84606 c lw 84618 c lw 84619 c lw 84620 c lw 84621 c lw 84622 c lw 84623 c lw 84624 c lw 84626 c lw 84627 c lw 84628 c lw 84629 c lw 84630 c lw 84631 c lw 84632 c lw 84633 c lw 84634 c lw 84635 c lw 84641 c lw 84642 c lw 84646 c lw 84647 c lw 84648 c lw 84649 c lw 84650 c lw 84651 c lw 84653 c lw 84654 c lw 84655 c lw 84656 c lw 84657 c lw 84659 c lw 84660 c lw 84661 c lw 84662 c lw 84664 c lw 84666 c lw 84667 c lw 84669 c lw 84670 c lw 84671 c lw 84673 c lw 84674 c lw 84675 c lw 84676 c lw 84677 c lw 84680 c lw 84681 c lw 84682 c lw 84683 c lw 84684 c lw 84685 c lw 84686 c lw 84687 c lw 84688 c lw 84689 c lw 84690 c lw 84691 c lw 84692 c lw 84693 c lw 84694 c lw 84697 c lw 84698 c lw 84699 c lw 84700 c lw 84701 c lw 84702 c lw 84703 c lw 84704 c lw 84705 c lw 84706 c lw 84707 c lw 84708 c lw 84709 c lw 84710 c lw 84711 c lw 84712 c lw 84713 c lw 84714 c lw 84715 c lw 84716 c lw 84717 c lw 84718 c lw 84719 c lw 84720 c lw 84721 c lw 84722 c lw 84723 c lw 84724 c lw 84725 c lw 84726 c lw 84727 c lw 84728 c lw 84729 c lw 84730 c lw 84731 c lw 84732 c lw 84733 c lw 84734 c lw 84735 c lw 84736 c lw 84737 c lw 84738 c lw 84739 c lw 84740 c lw 84741 c lw 84742 c lw 84743 c lw 84744 c lw 84745 c lw 84746 c lw 84747 c lw 84748 c lw 84749 c lw 84750 c lw 84751 c lw 84752 c lw 84753 c lw 84754 c lw 84755 c lw 84756 c lw 84757 c lw 84758 c lw 84759 c lw 84760 c lw 84761 c lw 84768 c lw 84769 c lw 84770 c lw 84771 c lw 84772 c lw 84773 c lw 84774 c lw 84775 c lw 84776 c lw 84777 c lw 84778 c lw 84779 c lw 84780 c lw 84781 c lw 84782 c lw 84783 c lw 84784 c lw 84785 c lw 84786 c lw 84787 c lw 84788 c lw 84789 c lw 84790 c lw 84791 c lw 84792 c lw 84793 c lw 84794 c lw 84802 c lw 84803 c lw 84804 c lw 84805 c lw 84806 c lw 84807 c lw 84808 c lw 84809 c lw 84810 c lw 84811 c lw 84812 c lw 84813 c lw 84814 c lw 84815 c lw 84816 c lw 84817 c lw 84818 c lw 84819 c lw 84820 c lw 84821 c lw 84822 c lw 84823 c lw 84824 c lw 84825 c lw 84830 c lw 84833 c lw 84945 c lw 84955 c lw 84959 c lw 84987 c lw 85033 c lw 85050 c lw 85063 c lw 85064 c lw 85067 c lw 85072 c lw 85079 c lw 85080 c lw 85081 c lw 85082 c lw 85083 c lw 85084 c lw 85085 c lw 85086 c lw 85087 c lw 85088 c lw 85089 c lw 85090 c lw 85091 c lw 85092 c lw 85093 c lw 85094 c lw 85095 c lw 85096 c lw 85097 c lw 85098 c lw 85099 c lw 85146 c lw 85172 c lw 85214 c lw 85263 c lw 85264 c lw 85265 c lw 85266 c lw 85267 c lw 85268 c lw 85275 c lw 85276 c lw 85277 c lw 85278 c lw 85279 c lw 85280 c lw 85281 c lw 85282 c lw 85283 c lw 85287 c lw 85288 c lw 85298 c lw 85337 c lw 85346 c lw 85354 c lw 85376 c lw 85377 c lw 85378 c lw 85379 c lw 85380 c lw 85381 c lw 85382 c lw 85384 c lw 85388 c lw 85389 c lw 85390 c lw 85391 c lw 85392 c lw 85393 c lw 85394 c lw 85395 c lw 85396 c lw 85397 c lw 85398 c lw 85407 c lw 85408 c lw 85410 c lw 85492 c lw 85501 c lw 85502 c lw 85503 c lw 85504 c lw 85508 c lw 85509 c lw 85510 c lw 85511 c lw 85512 c lw 85513 c lw 85529 c lw 85532 c lw 85533 c lw 85534 c lw 85535 c lw 85536 c lw 85537 c lw 85538 c lw 85539 c lw 85540 c lw 85541 c lw 85542 c lw 85543 c lw 85544 c lw 85545 c lw 85546 c lw 85547 c lw 85548 c lw 85549 c lw 85550 c lw 85551 c lw 85553 c lw 85554 c lw 85555 c lw 85556 c lw 85557 c lw 85558 c lw 85559 c lw 85560 c lw 85561 c lw 85595 c lw 85597 c lw 85599 c lw 85602 c lw 85603 c lw 85609 c lw 85617 c lw 85619 c lw 85632 c lw 85635 c lw 85639 c lw 85640 c lw 85641 c lw 85643 c lw 85644 c lw 85645 c lw 85657 c lw 85660 c lw 85661 c lw 85664 c lw 85666 c lw 85667 c lw 85668 c lw 85672 c lw 85673 c lw 85712 c lw 85906 c lw 85907 c lw 85909 c lw 85910 c lw 85912 c lw 85913 c lw 85914 c lw 85917 c lw 85924 c lw 85978 c lw 85979 c lw 85980 c lw 85981 c lw 85982 c lw 85983 c lw 85984 c lw 85985 c lw 85986 c lw 85987 c lw 85988 c lw 85989 c lw 85990 c lw 85991 c lw 85992 c lw 85993 c lw 85994 c lw 85995 c lw 85996 c lw 86000 c lw 86134 c lw 86135 c lw 86136 c lw 86137 c lw 86138 c lw 86139 c lw 86140 c lw 86141 c lw 86142 c lw 86143 c lw 86144 c lw 86145 c lw 86146 c lw 86147 c lw 86148 c lw 86149 c lw 86150 c lw 86151 c lw 86152 c lw 86153 c lw 86154 c lw 86155 c lw 86156 c lw 86157 c lw 86287 c lw 86325 c lw 86344 c lw 86347 c lw 86359 c lw 86364 c lw 86367 c lw 86368 c lw 86369 c lw 86371 c lw 86375 c lw 86386 c lw 86400 c lw 86401 c lw 86402 c lw 86403 c lw 86404 c lw 86405 c lw 86406 c lw 86409 c lw 86410 c lw 86411 c lw 86412 c lw 86415 c lw 86416 c lw 86417 c lw 86418 c lw 86419 c lw 86420 c lw 86421 c lw 86422 c lw 86423 c lw 86424 c lw 86425 c lw 86426 c lw 86435 c lw 86436 c lw 86545 c lw 86546 c lw 86552 c lw 86553 c lw 86554 c lw 86555 c lw 86556 c lw 86557 c lw 86558 c lw 86559 c lw 86560 c lw 86561 c lw 86562 c lw 86563 c lw 86564 c lw 86565 c lw 86568 c lw 86574 c lw 86575 c lw 86581 c lw 86582 c lw 86583 c lw 86584 c lw 86585 c lw 86586 c lw 86587 c lw 86588 c lw 86589 c lw 86590 c lw 86591 c lw 86592 c lw 86593 c lw 86594 c lw 86595 c lw 86596 c lw 86597 c lw 86602 c lw 86603 c lw 86604 c lw 86605 c lw 86606 c lw 86607 c lw 86609 c lw 86610 c lw 86611 c lw 86613 c lw 86614 c lw 86700 c lw 86701 c lw 86715 c lw 86721 c lw 86722 c lw 86723 c lw 86724 c lw 86725 c lw 86726 c lw 86727 c lw 86728 c lw 86729 c lw 86730 c lw 86731 c lw 86732 c lw 86733 c lw 86736 c lw 86737 c lw 86738 c lw 86739 c lw 86740 c lw 86741 c lw 86742 c lw 86743 c lw 86744 c lw 86745 c lw 86746 c lw 86747 c lw 86748 c lw 86749 c lw 86751 c lw 86754 c lw 86755 c lw 86761 c lw 86763 c lw 86764 c lw 86765 c lw 86766 c lw 86767 c lw 86768 c lw 86769 c lw 86770 c lw 86771 c lw 86772 c lw 86773 c lw 86774 c lw 86775 c lw 86776 c lw 86777 c lw 86778 c lw 86779 c lw 86780 c lw 86781 c lw 86782 c lw 86783 c lw 86784 Killed 1810.427u 9.332s 30:20.41 99.9% 0+0k 0+0io 0pf+0w