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_0006.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0006.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 458 c lw 873 c lw 1417 c lw 2035 c lw 2653 c lw 3039 c lw 3271 c lw 3902 c lw 4248 c lw 4879 c lw 5225 c lw 5984 c lw 6202 c lw 6372 c lw 7117 c lw 7179 c lw 8027 c lw 8875 c lw 9552 c lw 9723 c lw 9832 c lw 10508 c lw 10704 c lw 11184 c lw 11432 c lw 11843 c lw 12550 c lw 13668 c lw 13751 c lw 14162 c lw 14163 c lw 14786 c lw 15160 c lw 15534 c lw 16165 c lw 16333 c lw 16561 c lw 16796 c lw 17237 c lw 17848 c lw 17915 c lw 18492 c lw 19034 c lw 19674 c lw 20153 c lw 20839 c lw 21272 c lw 21912 c lw 22652 c lw 23388 c lw 23895 c lw 24124 c lw 24155 c lw 24760 c lw 24860 c lw 25504 c lw 25606 c lw 26242 c lw 26878 c lw 27489 c lw 28129 c lw 28704 c lw 28769 c lw 29016 c lw 29399 c lw 29409 c lw 30363 c lw 30830 c lw 31317 c lw 32271 c lw 32919 c lw 33225 c lw 33511 c lw 33602 c lw 33817 c lw 33979 c lw 34181 c lw 34741 c lw 35228 c lw 35358 c lw 36132 c lw 36347 c lw 36735 c lw 36806 c lw 37098 c lw 37580 c lw 38391 c lw 38683 c lw 38974 c lw 39202 c lw 39777 c lw 40013 c lw 40299 c lw 40624 c lw 41007 c lw 41124 c lw 41178 c lw 41360 c lw 41867 c lw 41869 c lw 42311 c lw 42614 c lw 42755 c lw 43143 c lw 43359 c lw 43682 c lw 43784 c lw 44239 c lw 44272 c lw 44585 c lw 44757 c lw 44838 c lw 44907 c lw 45083 c lw 45688 c lw 45797 c lw 46228 c lw 46516 c lw 46756 c lw 47075 c lw 47619 c lw 48012 c lw 48642 c lw 49035 c lw 49060 c lw 49514 c lw 49737 c lw 49945 c lw 50237 c lw 50440 c lw 50502 c lw 50960 c lw 51312 c lw 51700 c lw 51793 c lw 51805 c lw 51907 c lw 52072 c lw 52454 c lw 52464 c lw 52838 c lw 52912 c lw 52914 c lw 52923 c lw 53023 c lw 53199 c lw 53458 c lw 53528 c lw 53597 c lw 53699 c lw 53777 c lw 53910 c lw 54234 c lw 54341 c lw 54526 c lw 54548 c lw 54655 c lw 54726 c lw 54751 c lw 54830 c lw 55051 c lw 55100 c lw 55132 c lw 55272 c lw 55305 c lw 55339 c lw 55404 c lw 55458 c lw 55488 c lw 55575 c lw 55716 c lw 55843 c lw 55876 c lw 55878 c lw 55941 c lw 56266 c lw 56320 c lw 56322 c lw 56451 c lw 56679 c lw 56773 c lw 56944 c lw 57009 c lw 57035 c lw 57221 c lw 57256 c lw 57548 c lw 57887 c lw 57961 c lw 58028 c lw 58030 c lw 58035 c lw 58237 c lw 58399 c lw 58402 c lw 58410 c lw 58412 c lw 58483 c lw 59032 c lw 59033 c lw 59116 c lw 59353 c lw 59658 c lw 59799 c lw 59861 c lw 60137 c lw 60235 c lw 60379 c lw 60503 c lw 60521 c lw 60709 c lw 60852 c lw 61170 c lw 61528 c lw 61834 c lw 61884 c lw 62009 c lw 62091 c lw 62128 c lw 62176 c lw 62405 c lw 62436 c lw 62829 c lw 62898 c lw 62910 c lw 62954 c lw 62963 c lw 63026 c lw 63034 c lw 63096 c lw 63266 c lw 63445 c lw 63501 c lw 63629 c lw 63825 c lw 64109 c lw 64219 c lw 64660 c lw 64837 c lw 64887 c lw 64980 c lw 65002 c lw 65133 c lw 65235 c lw 65448 c lw 65475 c lw 65666 c lw 65749 c lw 65858 c lw 65998 c lw 66315 c lw 66629 c lw 66661 c lw 66700 c lw 66729 c lw 66767 c lw 66861 c lw 67115 c lw 67261 c lw 67560 c lw 67658 c lw 67665 c lw 67792 c lw 67802 c lw 67804 c lw 67854 c lw 67961 c lw 67971 c lw 68093 c lw 68170 c lw 68186 c lw 68195 c lw 68197 c lw 68205 c lw 68275 c lw 68286 c lw 68325 c lw 68399 c lw 68402 c lw 68419 c lw 68441 c lw 68469 c lw 68490 c lw 68576 c lw 68589 c lw 68592 c lw 68596 c lw 68602 c lw 68605 c lw 68606 c lw 68608 c lw 68638 c lw 68639 c lw 68673 c lw 68693 c lw 68703 c lw 68760 c lw 68762 c lw 68814 c lw 68825 c lw 68941 c lw 68974 c lw 69004 c lw 69005 c lw 69007 c lw 69074 c lw 69078 c lw 69079 c lw 69083 c lw 69103 c lw 69227 c lw 69245 c lw 69250 c lw 69277 c lw 69285 c lw 69333 c lw 69355 c lw 69370 c lw 69382 c lw 69390 c lw 69409 c lw 69516 c lw 69583 c lw 69585 c lw 69616 c lw 69618 c lw 69644 c lw 69650 c lw 69653 c lw 69659 c lw 69668 c lw 69694 c lw 69702 c lw 69708 c lw 69718 c lw 69721 c lw 69725 c lw 69726 c lw 69728 c lw 69735 c lw 69736 c lw 69738 c lw 69740 c lw 69746 c lw 69757 c lw 69758 c lw 69759 c lw 69765 c lw 69767 c lw 69775 c lw 69776 c lw 69786 c lw 69866 c lw 69867 c lw 69870 c lw 69890 c lw 69891 c lw 69897 c lw 69898 c lw 69899 c lw 69900 c lw 69901 c lw 69908 c lw 69915 c lw 69916 c lw 69918 c lw 69919 c lw 69920 c lw 69921 c lw 69922 c lw 69926 c lw 69928 c lw 69930 c lw 69932 c lw 69933 c lw 69934 c lw 69944 c lw 70012 c lw 70024 c lw 70025 c lw 70026 c lw 70082 c lw 70166 c lw 70193 c lw 70233 c lw 70236 c lw 70237 c lw 70238 c lw 70260 c lw 70277 c lw 70279 c lw 70280 c lw 70282 c lw 70283 c lw 70285 c lw 70289 c lw 70293 c lw 70308 c lw 70309 c lw 70310 c lw 70311 c lw 70312 c lw 70313 c lw 70315 c lw 70316 c lw 70317 c lw 70322 c lw 70332 c lw 70333 c lw 70334 c lw 70335 c lw 70374 c lw 70388 c lw 70389 c lw 70390 c lw 70400 c lw 70401 c lw 70403 c lw 70406 c lw 70407 c lw 70408 c lw 70409 c lw 70410 c lw 70411 c lw 70412 c lw 70413 c lw 70414 c lw 70418 c lw 70437 c lw 70439 c lw 70440 c lw 70488 c lw 70497 c lw 70498 c lw 70499 c lw 70500 c lw 70501 c lw 70502 c lw 70503 c lw 70504 c lw 70505 c lw 70506 c lw 70516 c lw 70519 c lw 70580 c lw 70581 c lw 70582 c lw 70583 c lw 70590 c lw 70591 c lw 70602 c lw 70603 c lw 70635 c lw 70640 c lw 70669 c lw 70677 c lw 70696 c lw 70698 c lw 70700 c lw 70701 c lw 70705 c lw 70708 c lw 70710 c lw 70711 c lw 70712 c lw 70721 c lw 70747 c lw 70759 c lw 70761 c lw 70773 c lw 70778 c lw 70781 c lw 70783 c lw 70795 c lw 70796 c lw 70808 c lw 70810 c lw 70811 c lw 70812 c lw 70813 c lw 70814 c lw 70815 c lw 70816 c lw 70817 c lw 70818 c lw 70819 c lw 70820 c lw 70824 c lw 70825 c lw 70827 c lw 70833 c lw 70835 c lw 70837 c lw 70838 c lw 70839 c lw 70840 c lw 70841 c lw 70842 c lw 70843 c lw 70844 c lw 70845 c lw 70846 c lw 70847 c lw 70849 c lw 70850 c lw 70853 c lw 70854 c lw 70855 c lw 70856 c lw 70857 c lw 70858 c lw 70859 c lw 70860 c lw 70861 c lw 70862 c lw 70863 c lw 70865 c lw 70866 c lw 70867 c lw 70868 c lw 70869 c lw 70870 c lw 70871 c lw 70873 c lw 70874 c lw 70875 c lw 70877 c lw 70878 c lw 70882 c lw 70883 c lw 70884 c lw 70885 c lw 70886 c lw 70887 c lw 70888 c lw 70889 c lw 70890 c lw 70891 c lw 70892 c lw 70893 c lw 70894 c lw 70895 c lw 70896 c lw 70897 c lw 70898 c lw 70899 c lw 70900 c lw 70902 c lw 70903 c lw 70904 c lw 70905 c lw 70906 c lw 70907 c lw 70908 c lw 70909 c lw 70910 c lw 70911 c lw 70912 c lw 70913 c lw 70921 c lw 70922 c lw 70923 c lw 70924 c lw 70926 c lw 70927 c lw 70937 c lw 70938 c lw 70939 c lw 70940 c lw 70941 c lw 70942 c lw 70943 c lw 70944 c lw 70945 c lw 70946 c lw 70948 c lw 70949 c lw 70950 c lw 70951 c lw 70952 c lw 70953 c lw 70957 c lw 70958 c lw 70959 c lw 70960 c lw 70961 c lw 70962 c lw 70963 c lw 70964 c lw 70965 c lw 70966 c lw 70967 c lw 70968 c lw 70969 c lw 70974 c lw 70975 c lw 70976 c lw 70982 c lw 70983 c lw 70984 c lw 70994 c lw 70995 c lw 70999 c lw 71000 c lw 71001 c lw 71002 c lw 71003 c lw 71008 c lw 71010 c lw 71015 c lw 71033 c lw 71039 c lw 71043 c lw 71044 c lw 71046 c lw 71055 c lw 71076 c lw 71077 c lw 71078 c lw 71079 c lw 71080 c lw 71084 c lw 71085 c lw 71090 c lw 71091 c lw 71092 c lw 71093 c lw 71094 c lw 71095 c lw 71096 c lw 71100 c lw 71101 c lw 71102 c lw 71103 c lw 71104 c lw 71105 c lw 71106 c lw 71107 c lw 71108 c lw 71109 c lw 71110 c lw 71111 c lw 71112 c lw 71113 c lw 71114 c lw 71115 c lw 71116 c lw 71117 c lw 71119 c lw 71120 c lw 71121 c lw 71122 c lw 71123 c lw 71124 c lw 71125 c lw 71126 c lw 71127 c lw 71128 c lw 71129 c lw 71130 c lw 71131 c lw 71139 c lw 71140 c lw 71144 c lw 71148 c lw 71149 c lw 71151 c lw 71157 c lw 71158 c lw 71159 c lw 71160 c lw 71161 c lw 71162 c lw 71163 c lw 71164 c lw 71165 c lw 71166 c lw 71167 c lw 71168 c lw 71169 c lw 71170 c lw 71171 c lw 71172 c lw 71173 c lw 71174 c lw 71175 c lw 71176 c lw 71177 c lw 71185 c lw 71188 c lw 71195 c lw 71196 c lw 71200 c lw 71204 c lw 71205 c lw 71246 c lw 71248 c lw 71263 c lw 71264 c lw 71265 c lw 71266 c lw 71267 c lw 71268 c lw 71269 c lw 71270 c lw 71271 c lw 71272 c lw 71273 c lw 71274 c lw 71275 c lw 71276 c lw 71277 c lw 71278 c lw 71279 c lw 71280 c lw 71281 c lw 71282 c lw 71283 c lw 71284 c lw 71286 c lw 71287 c lw 71288 c lw 71290 c lw 71292 c lw 71293 c lw 71304 c lw 71305 c lw 71306 c lw 71307 c lw 71309 c lw 71310 c lw 71311 c lw 71312 c lw 71313 c lw 71314 c lw 71315 c lw 71380 c lw 71381 c lw 71383 c lw 71388 c lw 71390 c lw 71394 c lw 71521 c lw 71720 c lw 71721 c lw 71722 c lw 71723 c lw 71724 c lw 71725 c lw 71726 c lw 71727 c lw 71728 c lw 71729 c lw 71731 c lw 71734 c lw 71742 c lw 71743 c lw 71747 c lw 71748 c lw 71749 c lw 71750 c lw 71751 c lw 71772 c lw 71807 c lw 71808 c lw 71810 c lw 71819 c lw 71826 c lw 71827 c lw 71828 c lw 71829 c lw 71830 c lw 71831 c lw 71832 c lw 71833 c lw 71834 c lw 71835 c lw 71836 c lw 71837 c lw 71838 c lw 71839 c lw 71843 c lw 71844 c lw 71845 c lw 71846 c lw 71847 c lw 71849 c lw 71852 c lw 71901 c lw 71902 c lw 71947 c lw 71948 c lw 71949 c lw 71950 c lw 71951 c lw 71952 c lw 71953 c lw 71954 c lw 71955 c lw 71956 c lw 71957 c lw 71958 c lw 71959 c lw 71960 c lw 71961 c lw 71962 c lw 71963 c lw 71964 c lw 71965 c lw 71966 c lw 71967 c lw 71968 c lw 71969 c lw 71974 c lw 71976 c lw 71977 c lw 71978 c lw 71979 c lw 71980 c lw 71981 c lw 71982 c lw 71983 c lw 71984 c lw 71985 c lw 71986 c lw 71987 c lw 71988 c lw 71989 c lw 71990 c lw 71991 c lw 71992 c lw 71993 c lw 71994 c lw 71995 c lw 71996 c lw 71997 c lw 71998 c lw 71999 c lw 72000 c lw 72001 c lw 72072 c lw 72073 c lw 72074 c lw 72075 c lw 72076 c lw 72079 c lw 72080 c lw 72081 c lw 72084 c lw 72086 c lw 72087 c lw 72088 c lw 72089 c lw 72090 c lw 72091 c lw 72092 c lw 72093 c lw 72094 c lw 72095 c lw 72125 c lw 72126 c lw 72127 c lw 72128 c lw 72129 c lw 72130 c lw 72161 c lw 72162 c lw 72163 c lw 72164 c lw 72165 c lw 72167 c lw 72168 c lw 72169 c lw 72213 c lw 72218 c lw 72231 c lw 72232 c lw 72236 c lw 72237 c lw 72238 c lw 72240 c lw 72241 c lw 72242 c lw 72243 c lw 72250 c lw 72253 c lw 72254 c lw 72255 c lw 72256 c lw 72263 c lw 72264 c lw 72268 c lw 72269 c lw 72291 c lw 72292 c lw 72293 c lw 72294 c lw 72297 c lw 72298 c lw 72299 c lw 72300 c lw 72301 c lw 72302 c lw 72303 c lw 72305 c lw 72306 c lw 72311 c lw 72312 c lw 72313 c lw 72314 c lw 72315 c lw 72316 c lw 72320 c lw 72321 c lw 72322 c lw 72323 c lw 72325 c lw 72326 c lw 72327 c lw 72328 c lw 72329 c lw 72330 c lw 72331 c lw 72332 c lw 72333 c lw 72334 c lw 72335 c lw 72336 c lw 72337 c lw 72338 c lw 72339 c lw 72340 c lw 72341 c lw 72342 c lw 72343 c lw 72344 c lw 72345 c lw 72346 c lw 72347 c lw 72348 c lw 72349 c lw 72350 c lw 72351 c lw 72352 c lw 72360 c lw 72361 c lw 72386 c lw 72387 c lw 72388 c lw 72389 c lw 72390 c lw 72391 c lw 72392 c lw 72393 c lw 72394 c lw 72395 c lw 72396 c lw 72397 c lw 72398 c lw 72399 c lw 72400 c lw 72401 c lw 72402 c lw 72403 c lw 72404 c lw 72405 c lw 72406 c lw 72407 c lw 72408 c lw 72409 c lw 72410 c lw 72411 c lw 72412 c lw 72413 c lw 72414 c lw 72415 c lw 72416 c lw 72417 c lw 72418 c lw 72419 c lw 72420 c lw 72421 c lw 72422 c lw 72423 c lw 72424 c lw 72425 c lw 72426 c lw 72430 c lw 72471 c lw 72482 c lw 72485 c lw 72502 c lw 72503 c lw 72504 c lw 72505 c lw 72506 c lw 72507 c lw 72510 c lw 72511 c lw 72512 c lw 72513 c lw 72516 c lw 72525 c lw 72526 c lw 72527 c lw 72528 c lw 72529 c lw 72530 c lw 72531 c lw 72532 c lw 72533 c lw 72534 c lw 72535 c lw 72536 c lw 72537 c lw 72538 c lw 72539 c lw 72540 c lw 72541 c lw 72542 c lw 72543 c lw 72545 c lw 72546 c lw 72547 c lw 72548 c lw 72549 c lw 72550 c lw 72551 c lw 72552 c lw 72553 c lw 72554 c lw 72557 c lw 72558 c lw 72559 c lw 72560 c lw 72561 c lw 72562 c lw 72563 c lw 72564 c lw 72565 c lw 72566 c lw 72567 c lw 72568 c lw 72569 c lw 72570 c lw 72571 c lw 72572 c lw 72573 c lw 72574 c lw 72575 c lw 72576 c lw 72577 c lw 72578 c lw 72579 c lw 72580 c lw 72581 c lw 72582 c lw 72583 c lw 72584 c lw 72585 c lw 72586 c lw 72587 c lw 72588 c lw 72589 c lw 72590 c lw 72591 c lw 72592 c lw 72593 c lw 72594 c lw 72596 c lw 72597 c lw 72598 c lw 72703 c lw 72704 c lw 72705 c lw 72707 c lw 72708 c lw 72709 c lw 72710 c lw 72711 c lw 72712 c lw 72713 c lw 72714 c lw 72715 c lw 72716 c lw 72717 c lw 72718 c lw 72719 c lw 72720 c lw 72721 c lw 72722 c lw 72723 c lw 72724 c lw 72725 c lw 72726 c lw 72727 c lw 72728 c lw 72729 c lw 72730 c lw 72731 c lw 72732 c lw 72733 c lw 72734 c lw 72735 c lw 72736 c lw 72737 c lw 72738 c lw 72739 c lw 72740 c lw 72741 c lw 72742 c lw 72743 c lw 72744 c lw 72747 c lw 72748 c lw 72749 c lw 72750 c lw 72751 c lw 72752 c lw 72753 c lw 72754 c lw 72755 c lw 72756 c lw 72757 c lw 72758 c lw 72759 c lw 72760 c lw 72761 c lw 72762 c lw 72768 c lw 72790 c lw 72791 c lw 72792 c lw 72793 c lw 72794 c lw 72795 c lw 72796 c lw 72797 c lw 72798 c lw 72799 c lw 72800 c lw 72801 c lw 72802 c lw 72803 c lw 72804 c lw 72805 c lw 72806 c lw 72808 c lw 72832 Killed 1810.507u 9.234s 1:02:52.90 48.2% 0+0k 0+0io 0pf+0w