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_170_0003.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0003.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 537 c lw 1074 c lw 1233 c lw 1685 c lw 1870 c lw 2400 c lw 2588 c lw 2930 c lw 3974 c lw 4998 c lw 6022 c lw 7043 c lw 7046 c lw 7292 c lw 8312 c lw 9332 c lw 10352 c lw 11372 c lw 11944 c lw 12275 c lw 12990 c lw 13028 c lw 13454 c lw 14521 c lw 15588 c lw 16434 c lw 16481 c lw 16655 c lw 17867 c lw 18561 c lw 19079 c lw 19610 c lw 20179 c lw 20291 c lw 20434 c lw 21203 c lw 21503 c lw 22071 c lw 22272 c lw 22741 c lw 23041 c lw 23510 c lw 24261 c lw 25012 c lw 25247 c lw 25445 c lw 25651 c lw 25907 c lw 26923 c lw 27507 c lw 27939 c lw 28479 c lw 28955 c lw 29439 c lw 29971 c lw 29976 c lw 31001 c lw 31020 c lw 32026 c lw 33051 c lw 34071 c lw 34105 c lw 35111 c lw 35131 c lw 35145 c lw 35327 c lw 36171 c lw 37104 c lw 38037 c lw 38970 c lw 39412 c lw 39705 c lw 39903 c lw 40302 c lw 40735 c lw 40875 c lw 41567 c lw 41896 c lw 42399 c lw 42870 c lw 43231 c lw 43532 c lw 44063 c lw 45112 c lw 46161 c lw 46357 c lw 46553 c lw 47210 c lw 47574 c lw 47708 c lw 48259 c lw 48902 c lw 48972 c lw 49061 c lw 49453 c lw 49795 c lw 50698 c lw 51601 c lw 52504 c lw 53198 c lw 53524 c lw 53880 c lw 54544 c lw 55125 c lw 55177 c lw 55564 c lw 56132 c lw 56584 c lw 57227 c lw 57604 c lw 58194 c lw 58784 c lw 59403 c lw 60022 c lw 60153 c lw 60684 c lw 60773 c lw 61728 c lw 62054 c lw 62073 c lw 62723 c lw 62933 c lw 63047 c lw 63119 c lw 63161 c lw 63662 c lw 64064 c lw 64136 c lw 64427 c lw 64551 c lw 65112 c lw 65973 c lw 66045 c lw 66225 c lw 66906 c lw 67132 c lw 67409 c lw 67656 c lw 68240 c lw 68287 c lw 68941 c lw 69011 c lw 69310 c lw 69665 c lw 69764 c lw 70390 c lw 70570 c lw 70795 c lw 70872 c lw 70991 c lw 71238 c lw 71610 c lw 71753 c lw 72102 c lw 72174 c lw 72402 c lw 72451 c lw 72677 c lw 72871 c lw 73162 c lw 73286 c lw 73455 c lw 73469 c lw 73492 c lw 73562 c lw 74060 c lw 74112 c lw 74119 c lw 74224 c lw 74522 c lw 74574 c lw 74755 c lw 74769 c lw 74869 c lw 74894 c lw 75294 c lw 75490 c lw 75688 c lw 75696 c lw 75923 c lw 76057 c lw 76321 c lw 76474 c lw 76521 c lw 77155 c lw 77335 c lw 77407 c lw 77495 c lw 77580 c lw 77598 c lw 77799 c lw 78092 c lw 78097 c lw 78666 c lw 78713 c lw 78886 c lw 79146 c lw 79475 c lw 79564 c lw 79583 c lw 79817 c lw 79916 c lw 80005 c lw 80203 c lw 80495 c lw 80538 c lw 80705 c lw 81062 c lw 81128 c lw 81255 c lw 81504 c lw 81581 c lw 81689 c lw 81975 c lw 82113 c lw 82134 c lw 82226 c lw 82400 c lw 82959 c lw 82973 c lw 82979 c lw 83007 c lw 83468 c lw 83471 c lw 83531 c lw 83605 c lw 83979 c lw 83985 c lw 83998 c lw 84200 c lw 84361 c lw 84398 c lw 84443 c lw 84538 c lw 84759 c lw 84899 c lw 84972 c lw 85041 c lw 85299 c lw 85332 c lw 85371 c lw 85422 c lw 86377 c lw 86396 c lw 86419 c lw 86463 c lw 86466 c lw 86485 c lw 86921 c lw 86946 c lw 87318 c lw 87336 c lw 87422 c lw 87474 c lw 87492 c lw 87527 c lw 87940 c lw 87942 c lw 87997 c lw 88034 c lw 88057 c lw 88792 c lw 88954 c lw 89076 c lw 89118 c lw 89257 c lw 89370 c lw 89471 c lw 89788 c lw 90190 c lw 90386 c lw 90420 c lw 90501 c lw 90686 c lw 90817 c lw 91441 c lw 91540 c lw 91545 c lw 91728 c lw 92014 c lw 92060 c lw 92132 c lw 92410 c lw 92547 c lw 92785 c lw 92907 c lw 92912 c lw 92936 c lw 92958 c lw 92959 c lw 93040 c lw 93102 c lw 93174 c lw 93189 c lw 93402 c lw 93426 c lw 93451 c lw 93593 c lw 93677 c lw 93774 c lw 93871 c lw 94061 c lw 94180 c lw 94187 c lw 94232 c lw 94250 c lw 94256 c lw 94270 c lw 94370 c lw 94378 c lw 94380 c lw 94386 c lw 94408 c lw 94452 c lw 94553 c lw 94575 c lw 94618 c lw 94712 c lw 94723 c lw 94804 c lw 94818 c lw 94821 c lw 94842 c lw 94849 c lw 94867 c lw 94886 c lw 94905 c lw 95341 c lw 95366 c lw 95657 c lw 95668 c lw 95716 c lw 95739 c lw 95740 c lw 95848 c lw 95855 c lw 95866 c lw 95891 c lw 95893 c lw 95894 c lw 95908 c lw 95919 c lw 95924 c lw 95933 c lw 95941 c lw 95959 c lw 95965 c lw 95976 c lw 95983 c lw 95984 c lw 95986 c lw 95990 c lw 96032 c lw 96086 c lw 96090 c lw 96092 c lw 96093 c lw 96094 c lw 96095 c lw 96096 c lw 96097 c lw 96098 c lw 96099 c lw 96100 c lw 96101 c lw 96103 c lw 96104 c lw 96105 c lw 96106 c lw 96107 c lw 96112 c lw 96119 c lw 96124 c lw 96132 c lw 96144 c lw 96166 c lw 96201 c lw 96204 c lw 96225 c lw 96226 c lw 96238 c lw 96243 c lw 96247 c lw 96253 c lw 96255 c lw 96259 c lw 96266 c lw 96276 c lw 96289 c lw 96364 c lw 96369 c lw 96387 c lw 96427 c lw 96441 c lw 96443 c lw 96613 c lw 96702 c lw 96705 c lw 96762 c lw 97119 c lw 97145 c lw 97148 c lw 97152 c lw 97156 c lw 97166 c lw 97169 c lw 97172 c lw 97294 c lw 97295 c lw 97296 c lw 97297 c lw 97299 c lw 97301 c lw 97302 c lw 97303 c lw 97308 c lw 97328 c lw 97402 c lw 97406 c lw 97436 c lw 97499 c lw 97500 c lw 97508 c lw 97509 c lw 97510 c lw 97520 c lw 97522 c lw 97523 c lw 97524 c lw 97525 c lw 97526 c lw 97528 c lw 97530 c lw 97531 c lw 97533 c lw 97535 c lw 97536 c lw 97542 c lw 97547 c lw 97551 c lw 97554 c lw 97555 c lw 97565 c lw 97568 c lw 97569 c lw 97570 c lw 97571 c lw 97572 c lw 97628 c lw 97629 c lw 97648 c lw 97681 c lw 97717 c lw 97762 c lw 97799 c lw 97805 c lw 97806 c lw 97807 c lw 97808 c lw 97809 c lw 97810 c lw 97811 c lw 97813 c lw 97814 c lw 97815 c lw 97816 c lw 97817 c lw 97824 c lw 97832 c lw 97839 c lw 97842 c lw 97843 c lw 97844 c lw 97846 c lw 97847 c lw 97918 c lw 97919 c lw 97920 c lw 97921 c lw 97922 c lw 97923 c lw 97924 c lw 97925 c lw 97926 c lw 97927 c lw 97928 c lw 97929 c lw 97930 c lw 97932 c lw 97933 c lw 97934 c lw 97942 c lw 97943 c lw 97949 c lw 97967 c lw 98012 c lw 98019 c lw 98042 c lw 98078 c lw 98090 c lw 98092 c lw 98094 c lw 98096 c lw 98097 c lw 98098 c lw 98099 c lw 98100 c lw 98101 c lw 98102 c lw 98103 c lw 98112 c lw 98113 c lw 98115 c lw 98116 c lw 98117 c lw 98119 c lw 98121 c lw 98122 c lw 98123 c lw 98124 c lw 98131 c lw 98132 c lw 98133 c lw 98134 c lw 98135 c lw 98140 c lw 98142 c lw 98143 c lw 98144 c lw 98145 c lw 98146 c lw 98147 c lw 98148 c lw 98149 c lw 98181 c lw 98197 c lw 98199 c lw 98243 c lw 98244 c lw 98245 c lw 98251 c lw 98252 c lw 98254 c lw 98262 c lw 98265 c lw 98270 c lw 98271 c lw 98272 c lw 98273 c lw 98274 c lw 98275 c lw 98276 c lw 98279 c lw 98280 c lw 98283 c lw 98284 c lw 98288 c lw 98289 c lw 98290 c lw 98291 c lw 98295 c lw 98296 c lw 98297 c lw 98298 c lw 98303 c lw 98304 c lw 98305 c lw 98306 c lw 98307 c lw 98308 c lw 98309 c lw 98310 c lw 98311 c lw 98312 c lw 98313 c lw 98314 c lw 98315 c lw 98316 c lw 98317 c lw 98318 c lw 98319 c lw 98320 c lw 98325 c lw 98329 c lw 98381 c lw 98382 c lw 98383 c lw 98384 c lw 98385 c lw 98386 c lw 98387 c lw 98388 c lw 98389 c lw 98390 c lw 98391 c lw 98392 c lw 98393 c lw 98394 c lw 98419 c lw 98420 c lw 98421 c lw 98454 c lw 98541 c lw 98543 c lw 98544 c lw 98563 c lw 98568 c lw 98576 c lw 98578 c lw 98583 c lw 98597 c lw 98599 c lw 98618 c lw 98629 c lw 98630 c lw 98631 c lw 98632 c lw 98633 c lw 98649 c lw 98650 c lw 98651 c lw 98666 c lw 98667 c lw 98671 c lw 98838 c lw 98848 c lw 98849 c lw 99168 c lw 99169 c lw 99170 c lw 99182 c lw 99183 c lw 99184 c lw 99185 c lw 99186 c lw 99187 c lw 99188 c lw 99189 c lw 99191 c lw 99231 c lw 99232 c lw 99239 c lw 99252 c lw 99254 c lw 99257 c lw 99280 c lw 99283 c lw 99289 c lw 99291 c lw 99292 c lw 99295 c lw 99336 c lw 99416 c lw 99422 c lw 99433 c lw 99434 c lw 99435 c lw 99436 c lw 99439 c lw 99462 c lw 99464 c lw 99466 c lw 99467 c lw 99481 c lw 99494 c lw 99584 c lw 99740 c lw 99770 c lw 99771 c lw 99772 c lw 99773 c lw 99774 c lw 99775 c lw 99776 c lw 99777 c lw 99778 c lw 99779 c lw 99780 c lw 99783 c lw 99785 c lw 99786 c lw 99787 c lw 99788 c lw 99789 c lw 99790 c lw 99791 c lw 99792 c lw 99793 c lw 99794 c lw 99795 c lw 99797 c lw 99798 c lw 99799 c lw 99800 c lw 99801 c lw 99802 c lw 99803 c lw 99804 c lw 99805 c lw 99806 c lw 99807 c lw 99808 c lw 99816 c lw 99820 c lw 99821 c lw 99822 c lw 99824 c lw 99846 c lw 99999 c lw 100000 c lw 100001 c lw 100002 c lw 100004 c lw 100005 c lw 100006 c lw 100008 c lw 100009 c lw 100025 c lw 100027 c lw 100028 c lw 100029 c lw 100040 c lw 100070 c lw 100086 c lw 100087 c lw 100088 c lw 100089 c lw 100090 c lw 100091 c lw 100092 c lw 100093 c lw 100094 c lw 100095 c lw 100096 c lw 100097 c lw 100098 c lw 100099 c lw 100100 c lw 100101 c lw 100102 c lw 100103 c lw 100104 c lw 100105 c lw 100168 c lw 100169 c lw 100170 c lw 100171 c lw 100172 c lw 100173 c lw 100174 c lw 100175 c lw 100176 c lw 100177 c lw 100178 c lw 100179 c lw 100180 c lw 100181 c lw 100182 c lw 100183 c lw 100184 c lw 100185 c lw 100186 c lw 100187 c lw 100188 c lw 100221 c lw 100228 c lw 100229 c lw 100230 c lw 100233 c lw 100235 c lw 100236 c lw 100237 c lw 100238 c lw 100239 c lw 100240 c lw 100241 c lw 100242 c lw 100243 c lw 100244 c lw 100245 c lw 100246 c lw 100247 c lw 100248 c lw 100249 c lw 100250 c lw 100251 c lw 100252 c lw 100253 c lw 100254 c lw 100255 c lw 100256 c lw 100259 c lw 100260 c lw 100261 c lw 100262 c lw 100263 c lw 100264 c lw 100265 c lw 100275 c lw 100276 c lw 100277 c lw 100278 c lw 100279 c lw 100280 c lw 100281 c lw 100282 c lw 100283 c lw 100284 c lw 100285 c lw 100286 c lw 100287 c lw 100288 c lw 100289 c lw 100290 c lw 100291 c lw 100293 c lw 100297 c lw 100300 c lw 100309 c lw 100310 c lw 100311 c lw 100312 c lw 100313 c lw 100314 c lw 100315 c lw 100316 c lw 100317 c lw 100318 c lw 100319 c lw 100321 c lw 100322 c lw 100328 c lw 100329 c lw 100330 c lw 100331 c lw 100332 c lw 100333 c lw 100339 c lw 100352 c lw 100353 c lw 100354 c lw 100355 c lw 100356 c lw 100357 c lw 100358 c lw 100359 c lw 100362 c lw 100363 c lw 100364 c lw 100365 c lw 100366 c lw 100367 c lw 100368 c lw 100369 c lw 100370 c lw 100371 c lw 100373 c lw 100374 c lw 100375 c lw 100376 c lw 100377 c lw 100378 c lw 100379 c lw 100380 c lw 100382 c lw 100385 c lw 100386 c lw 100408 c lw 100427 c lw 100428 c lw 100429 c lw 100430 c lw 100431 c lw 100432 c lw 100433 c lw 100434 c lw 100435 c lw 100436 c lw 100437 c lw 100438 c lw 100439 c lw 100440 c lw 100441 c lw 100443 c lw 100445 c lw 100446 c lw 100448 c lw 100449 c lw 100450 c lw 100458 c lw 100461 c lw 100462 c lw 100463 c lw 100464 c lw 100465 c lw 100466 c lw 100467 c lw 100468 c lw 100469 c lw 100470 c lw 100471 c lw 100472 c lw 100473 c lw 100474 c lw 100475 c lw 100476 c lw 100477 c lw 100478 c lw 100479 c lw 100480 c lw 100481 c lw 100482 c lw 100483 c lw 100484 c lw 100485 c lw 100515 c lw 100516 c lw 100517 c lw 100518 c lw 100519 c lw 100520 c lw 100521 c lw 100622 c lw 100626 c lw 100627 c lw 100628 c lw 100629 c lw 100630 c lw 100631 c lw 100632 c lw 100633 c lw 100641 c lw 100642 c lw 100643 c lw 100644 c lw 100645 c lw 100646 c lw 100647 c lw 100648 c lw 100649 c lw 100650 c lw 100655 c lw 100656 c lw 100657 c lw 100658 c lw 100659 c lw 100660 c lw 100662 c lw 100663 c lw 100665 c lw 100666 c lw 100667 c lw 100668 c lw 100669 c lw 100670 c lw 100671 c lw 100672 c lw 100673 c lw 100674 c lw 100675 c lw 100676 c lw 100677 c lw 100678 c lw 100679 c lw 100680 c lw 100681 c lw 100696 c lw 100697 c lw 100698 c lw 100699 c lw 100700 c lw 100701 c lw 100702 c lw 100703 c lw 100704 c lw 100705 c lw 100706 c lw 100707 c lw 100708 c lw 100709 c lw 100735 c lw 100736 c lw 100737 c lw 100738 c lw 100739 c lw 100740 c lw 100741 c lw 100742 c lw 100743 c lw 100744 c lw 100745 c lw 100746 c lw 100747 c lw 100748 c lw 100749 c lw 100750 c lw 100751 c lw 100752 c lw 100753 c lw 100754 c lw 100756 c lw 100757 c lw 100758 c lw 100759 c lw 100760 c lw 100761 c lw 100762 c lw 100763 c lw 100764 c lw 100765 c lw 100766 c lw 100767 c lw 100768 c lw 100769 c lw 100770 c lw 100771 c lw 100772 c lw 100773 c lw 100776 c lw 100777 c lw 100779 c lw 100782 c lw 100789 c lw 100790 c lw 100791 c lw 100792 c lw 100793 c lw 100794 c lw 100795 c lw 100796 c lw 100797 c lw 100798 c lw 100799 c lw 100800 c lw 100801 c lw 100802 c lw 100803 c lw 100804 c lw 100805 c lw 100806 c lw 100814 c lw 100815 c lw 100816 c lw 100817 c lw 100818 c lw 100819 c lw 100820 c lw 100821 c lw 100822 c lw 100823 c lw 100824 c lw 100825 c lw 100826 c lw 100827 c lw 100828 c lw 100829 c lw 100830 c lw 100831 c lw 100832 c lw 100833 c lw 100834 c lw 100835 c lw 100836 c lw 100837 c lw 100838 c lw 100839 c lw 100840 c lw 100841 c lw 100842 c lw 100843 c lw 100844 Killed 1809.721u 10.050s 30:19.87 99.9% 0+0k 0+0io 0pf+0w