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_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 386 c lw 772 c lw 1092 c lw 2009 c lw 2926 c lw 3776 c lw 3843 c lw 4326 c lw 4760 c lw 5553 c lw 6261 c lw 6346 c lw 7128 c lw 7139 c lw 7910 c lw 7932 c lw 8840 c lw 9748 c lw 10521 c lw 10656 c lw 11185 c lw 11485 c lw 11564 c lw 12336 c lw 12697 c lw 13149 c lw 13827 c lw 14505 c lw 14926 c lw 15183 c lw 15999 c lw 16009 c lw 16791 c lw 16815 c lw 17631 c lw 17642 c lw 18447 c lw 18839 c lw 19002 c lw 19394 c lw 20043 c lw 20114 c lw 20682 c lw 20692 c lw 21341 c lw 21741 c lw 22141 c lw 22870 c lw 23037 c lw 23698 c lw 23959 c lw 24669 c lw 25153 c lw 25458 c lw 25542 c lw 26247 c lw 26629 c lw 27036 c lw 27818 c lw 27825 c lw 27880 c lw 28558 c lw 29076 c lw 29291 c lw 29933 c lw 29951 c lw 30611 c lw 31322 c lw 31352 c lw 31497 c lw 31581 c lw 32760 c lw 33939 c lw 34647 c lw 35106 c lw 35118 c lw 35920 c lw 36722 c lw 37524 c lw 37908 c lw 37940 c lw 38566 c lw 38596 c lw 38601 c lw 38746 c lw 38772 c lw 39294 c lw 39467 c lw 39945 c lw 40250 c lw 40366 c lw 41345 c lw 42053 c lw 42324 c lw 43118 c lw 43303 c lw 43352 c lw 43996 c lw 44030 c lw 44063 c lw 44342 c lw 44790 c lw 45077 c lw 45484 c lw 45820 c lw 46006 c lw 46266 c lw 46372 c lw 46591 c lw 47235 c lw 47431 c lw 47630 c lw 48074 c lw 48300 c lw 48970 c lw 48989 c lw 48991 c lw 49773 c lw 49878 c lw 50277 c lw 51052 c lw 51059 c lw 51398 c lw 52166 c lw 52782 c lw 52988 c lw 53783 c lw 53810 c lw 54366 c lw 54632 c lw 54671 c lw 55454 c lw 55466 c lw 56261 c lw 56276 c lw 57042 c lw 57126 c lw 57134 c lw 57639 c lw 58234 c lw 58351 c lw 58368 c lw 58898 c lw 59568 c lw 60052 c lw 60177 c lw 60282 c lw 60686 c lw 60729 c lw 61006 c lw 61772 c lw 61856 c lw 62409 c lw 62615 c lw 62892 c lw 63037 c lw 63541 c lw 63686 c lw 63853 c lw 63946 c lw 64036 c lw 64038 c lw 64299 c lw 64420 c lw 64434 c lw 64449 c lw 64461 c lw 64551 c lw 65081 c lw 65145 c lw 65150 c lw 65266 c lw 65285 c lw 65318 c lw 65352 c lw 65629 c lw 65728 c lw 65932 c lw 66117 c lw 66194 c lw 66228 c lw 66296 c lw 66326 c lw 66333 c lw 66355 c lw 66359 c lw 66386 c lw 66395 c lw 66877 c lw 66981 c lw 67001 c lw 67011 c lw 67100 c lw 67139 c lw 67297 c lw 67324 c lw 67387 c lw 67394 c lw 67397 c lw 67405 c lw 67414 c lw 67663 c lw 67670 c lw 67675 c lw 67800 c lw 67848 c lw 68026 c lw 68160 c lw 68244 c lw 68389 c lw 68624 c lw 68627 c lw 68694 c lw 69009 c lw 69034 c lw 69145 c lw 69302 c lw 69313 c lw 69722 c lw 69772 c lw 69783 c lw 69807 c lw 70021 c lw 70331 c lw 70588 c lw 71059 c lw 71083 c lw 71094 c lw 71841 c lw 71854 c lw 71875 c lw 71876 c lw 71923 c lw 71949 c lw 72725 c lw 72910 c lw 72994 c lw 73201 c lw 73232 c lw 73269 c lw 73307 c lw 73556 c lw 73701 c lw 73844 c lw 74107 c lw 74186 c lw 74196 c lw 74218 c lw 74486 c lw 74745 c lw 74747 c lw 74761 c lw 74819 c lw 74846 c lw 74876 c lw 74961 c lw 75009 c lw 75080 c lw 75112 c lw 75196 c lw 75365 c lw 75395 c lw 75548 c lw 75859 c lw 75971 c lw 75984 c lw 76051 c lw 76192 c lw 76276 c lw 76306 c lw 76368 c lw 76458 c lw 76491 c lw 76606 c lw 76883 c lw 77027 c lw 77094 c lw 77117 c lw 77197 c lw 77383 c lw 77509 c lw 77972 c lw 78057 c lw 78083 c lw 78084 c lw 78101 c lw 78225 c lw 78249 c lw 78298 c lw 78304 c lw 78640 c lw 78743 c lw 78888 c lw 79113 c lw 79308 c lw 79708 c lw 79719 c lw 79870 c lw 79874 c lw 79908 c lw 79917 c lw 79942 c lw 79958 c lw 80045 c lw 80058 c lw 80139 c lw 80141 c lw 80193 c lw 80225 c lw 80253 c lw 80257 c lw 80262 c lw 80276 c lw 80307 c lw 80309 c lw 80313 c lw 80338 c lw 80343 c lw 80356 c lw 80360 c lw 80367 c lw 80407 c lw 80416 c lw 80436 c lw 80548 c lw 80553 c lw 80557 c lw 80575 c lw 80578 c lw 80582 c lw 80590 c lw 80601 c lw 80640 c lw 80715 c lw 80727 c lw 80734 c lw 80751 c lw 80836 c lw 80844 c lw 80928 c lw 80949 c lw 80951 c lw 80954 c lw 80958 c lw 81016 c lw 81075 c lw 81153 c lw 81157 c lw 81158 c lw 81176 c lw 81190 c lw 81226 c lw 81228 c lw 81256 c lw 81263 c lw 81291 c lw 81293 c lw 81338 c lw 81343 c lw 81389 c lw 81394 c lw 81398 c lw 81401 c lw 81403 c lw 81424 c lw 81445 c lw 81490 c lw 81590 c lw 81592 c lw 81596 c lw 81599 c lw 81612 c lw 81624 c lw 81627 c lw 81633 c lw 81642 c lw 81643 c lw 81646 c lw 81656 c lw 81743 c lw 81749 c lw 81750 c lw 81751 c lw 81759 c lw 81760 c lw 81761 c lw 81775 c lw 81776 c lw 81777 c lw 81804 c lw 81893 c lw 81894 c lw 81919 c lw 81933 c lw 81991 c lw 82017 c lw 82041 c lw 82045 c lw 82047 c lw 82048 c lw 82049 c lw 82050 c lw 82051 c lw 82054 c lw 82055 c lw 82058 c lw 82061 c lw 82062 c lw 82064 c lw 82065 c lw 82066 c lw 82067 c lw 82069 c lw 82071 c lw 82072 c lw 82073 c lw 82075 c lw 82077 c lw 82079 c lw 82080 c lw 82082 c lw 82089 c lw 82090 c lw 82091 c lw 82096 c lw 82097 c lw 82125 c lw 82129 c lw 82130 c lw 82162 c lw 82168 c lw 82181 c lw 82185 c lw 82193 c lw 82224 c lw 82225 c lw 82241 c lw 82251 c lw 82254 c lw 82255 c lw 82258 c lw 82261 c lw 82276 c lw 82279 c lw 82280 c lw 82281 c lw 82282 c lw 82285 c lw 82286 c lw 82294 c lw 82298 c lw 82299 c lw 82300 c lw 82303 c lw 82304 c lw 82309 c lw 82310 c lw 82311 c lw 82312 c lw 82321 c lw 82323 c lw 82325 c lw 82326 c lw 82327 c lw 82328 c lw 82329 c lw 82333 c lw 82334 c lw 82338 c lw 82340 c lw 82342 c lw 82343 c lw 82345 c lw 82388 c lw 82390 c lw 82392 c lw 82393 c lw 82394 c lw 82404 c lw 82406 c lw 82410 c lw 82413 c lw 82416 c lw 82417 c lw 82418 c lw 82435 c lw 82436 c lw 82439 c lw 82440 c lw 82441 c lw 82442 c lw 82444 c lw 82448 c lw 82449 c lw 82450 c lw 82451 c lw 82452 c lw 82453 c lw 82454 c lw 82455 c lw 82456 c lw 82457 c lw 82458 c lw 82460 c lw 82464 c lw 82473 c lw 82475 c lw 82476 c lw 82481 c lw 82485 c lw 82486 c lw 82496 c lw 82543 c lw 82544 c lw 82661 c lw 82710 c lw 82714 c lw 82715 c lw 82716 c lw 82717 c lw 82719 c lw 82720 c lw 82721 c lw 82722 c lw 82723 c lw 82724 c lw 82725 c lw 82726 c lw 82737 c lw 82750 c lw 82753 c lw 82754 c lw 82755 c lw 82757 c lw 82758 c lw 82759 c lw 82760 c lw 82761 c lw 82762 c lw 82763 c lw 82764 c lw 82765 c lw 82766 c lw 82767 c lw 82768 c lw 82779 c lw 82780 c lw 82781 c lw 82782 c lw 82783 c lw 82784 c lw 82785 c lw 82800 c lw 82810 c lw 82826 c lw 82827 c lw 82829 c lw 82830 c lw 82831 c lw 82832 c lw 82833 c lw 82834 c lw 82835 c lw 82836 c lw 82837 c lw 82838 c lw 82839 c lw 82840 c lw 82844 c lw 82846 c lw 82847 c lw 82848 c lw 82849 c lw 82850 c lw 82851 c lw 82852 c lw 82853 c lw 82854 c lw 82855 c lw 82856 c lw 82857 c lw 82858 c lw 82859 c lw 82860 c lw 82861 c lw 82862 c lw 82883 c lw 82884 c lw 82885 c lw 82886 c lw 82887 c lw 82888 c lw 82889 c lw 82890 c lw 82891 c lw 82892 c lw 82893 c lw 82895 c lw 82896 c lw 82897 c lw 82898 c lw 82899 c lw 82900 c lw 82901 c lw 82902 c lw 82903 c lw 82904 c lw 82905 c lw 82906 c lw 82909 c lw 82911 c lw 82915 c lw 82916 c lw 82917 c lw 82946 c lw 82954 c lw 82955 c lw 82956 c lw 82957 c lw 82958 c lw 82959 c lw 82960 c lw 82961 c lw 82962 c lw 82963 c lw 82964 c lw 82965 c lw 82972 c lw 82973 c lw 82974 c lw 82975 c lw 82998 c lw 83010 c lw 83011 c lw 83012 c lw 83013 c lw 83014 c lw 83015 c lw 83016 c lw 83017 c lw 83018 c lw 83019 c lw 83020 c lw 83021 c lw 83022 c lw 83023 c lw 83024 c lw 83025 c lw 83026 c lw 83027 c lw 83028 c lw 83029 c lw 83030 c lw 83031 c lw 83032 c lw 83033 c lw 83034 c lw 83035 c lw 83036 c lw 83037 c lw 83038 c lw 83039 c lw 83040 c lw 83041 c lw 83042 c lw 83043 c lw 83044 c lw 83050 c lw 83051 c lw 83052 c lw 83053 c lw 83054 c lw 83055 c lw 83056 c lw 83057 c lw 83058 c lw 83059 c lw 83060 c lw 83061 c lw 83062 c lw 83063 c lw 83064 c lw 83065 c lw 83066 c lw 83067 c lw 83068 c lw 83069 c lw 83070 c lw 83071 c lw 83072 c lw 83074 c lw 83075 c lw 83077 c lw 83078 c lw 83079 c lw 83080 c lw 83081 c lw 83082 c lw 83083 c lw 83084 c lw 83085 c lw 83086 c lw 83087 c lw 83088 c lw 83089 c lw 83090 c lw 83091 c lw 83092 c lw 83093 c lw 83094 c lw 83095 c lw 83096 c lw 83097 c lw 83098 c lw 83099 c lw 83100 c lw 83101 c lw 83111 c lw 83112 c lw 83113 c lw 83114 c lw 83142 c lw 83143 c lw 83144 c lw 83145 c lw 83151 c lw 83152 c lw 83153 c lw 83154 c lw 83155 c lw 83156 c lw 83157 c lw 83158 c lw 83159 c lw 83160 c lw 83161 c lw 83162 c lw 83163 c lw 83164 c lw 83165 c lw 83166 c lw 83167 c lw 83168 c lw 83169 c lw 83170 c lw 83171 c lw 83182 c lw 83206 c lw 83288 c lw 83289 c lw 83290 c lw 83291 c lw 83292 c lw 83293 c lw 83294 c lw 83299 c lw 83303 c lw 83304 c lw 83305 c lw 83306 c lw 83307 c lw 83308 c lw 83309 c lw 83310 c lw 83311 c lw 83312 c lw 83313 c lw 83314 c lw 83315 c lw 83316 c lw 83317 c lw 83318 c lw 83319 c lw 83320 c lw 83321 c lw 83322 c lw 83323 c lw 83324 c lw 83325 c lw 83326 c lw 83327 c lw 83328 c lw 83329 c lw 83330 c lw 83331 c lw 83339 c lw 83341 c lw 83342 c lw 83343 c lw 83344 c lw 83345 c lw 83346 c lw 83347 c lw 83348 c lw 83349 c lw 83350 c lw 83351 c lw 83352 c lw 83353 c lw 83357 c lw 83361 c lw 83362 c lw 83363 c lw 83364 c lw 83365 c lw 83366 c lw 83367 c lw 83369 c lw 83375 c lw 83376 c lw 83377 c lw 83378 c lw 83379 c lw 83380 c lw 83381 c lw 83383 c lw 83392 c lw 83394 c lw 83395 c lw 83396 c lw 83397 c lw 83398 c lw 83399 c lw 83400 c lw 83401 c lw 83402 c lw 83433 c lw 83434 c lw 83435 c lw 83436 c lw 83437 c lw 83438 c lw 83439 c lw 83440 c lw 83441 c lw 83442 c lw 83443 c lw 83444 c lw 83445 c lw 83446 c lw 83455 c lw 83456 c lw 83457 c lw 83458 c lw 83459 c lw 83460 c lw 83461 c lw 83462 c lw 83463 c lw 83464 c lw 83465 c lw 83476 c lw 83486 c lw 83489 c lw 83490 c lw 83533 c lw 83546 c lw 83551 c lw 83556 c lw 83557 c lw 83558 c lw 83564 c lw 83567 c lw 83742 c lw 83744 c lw 83745 c lw 83748 c lw 83750 c lw 83752 c lw 83753 c lw 83756 c lw 83757 c lw 83760 c lw 83764 c lw 83767 c lw 83773 c lw 83774 c lw 83775 c lw 83777 c lw 83779 c lw 83780 c lw 83781 c lw 83812 c lw 83896 c lw 83906 c lw 83946 c lw 83979 c lw 83997 c lw 83999 c lw 84000 c lw 84001 c lw 84019 c lw 84020 c lw 84033 c lw 84042 c lw 84043 c lw 84044 c lw 84045 c lw 84046 c lw 84047 c lw 84048 c lw 84049 c lw 84050 c lw 84051 c lw 84052 c lw 84054 c lw 84055 c lw 84074 c lw 84075 c lw 84077 c lw 84079 c lw 84080 c lw 84081 c lw 84082 c lw 84084 c lw 84086 c lw 84088 c lw 84089 c lw 84091 c lw 84092 c lw 84094 c lw 84097 c lw 84114 c lw 84163 c lw 84201 c lw 84223 c lw 84224 c lw 84225 c lw 84226 c lw 84227 c lw 84228 c lw 84229 c lw 84230 c lw 84231 c lw 84232 c lw 84233 c lw 84234 c lw 84235 c lw 84236 c lw 84237 c lw 84238 c lw 84239 c lw 84240 c lw 84241 c lw 84242 c lw 84243 c lw 84244 c lw 84245 c lw 84246 c lw 84247 c lw 84248 c lw 84249 c lw 84250 c lw 84251 c lw 84252 c lw 84253 c lw 84254 c lw 84255 c lw 84256 c lw 84257 c lw 84258 c lw 84259 c lw 84260 c lw 84261 c lw 84262 c lw 84263 c lw 84264 c lw 84265 c lw 84266 c lw 84267 c lw 84268 c lw 84269 c lw 84271 c lw 84272 c lw 84273 c lw 84274 c lw 84285 c lw 84286 c lw 84299 c lw 84300 c lw 84301 c lw 84302 c lw 84306 c lw 84307 c lw 84323 c lw 84324 c lw 84333 c lw 84334 c lw 84335 c lw 84336 c lw 84337 c lw 84338 c lw 84339 c lw 84340 c lw 84341 c lw 84345 c lw 84346 c lw 84347 c lw 84348 c lw 84349 c lw 84350 c lw 84351 c lw 84352 c lw 84353 c lw 84354 c lw 84355 c lw 84356 c lw 84358 c lw 84359 c lw 84360 c lw 84361 c lw 84362 c lw 84363 c lw 84364 c lw 84365 c lw 84366 c lw 84367 c lw 84368 c lw 84369 c lw 84370 c lw 84371 c lw 84372 c lw 84373 c lw 84374 c lw 84376 c lw 84377 c lw 84378 c lw 84379 c lw 84380 c lw 84381 c lw 84382 c lw 84383 c lw 84384 c lw 84386 c lw 84389 c lw 84390 c lw 84391 c lw 84392 c lw 84393 c lw 84394 c lw 84395 c lw 84396 c lw 84397 c lw 84406 c lw 84407 c lw 84408 c lw 84409 c lw 84410 c lw 84411 c lw 84414 c lw 84419 c lw 84421 c lw 84425 c lw 84426 c lw 84437 c lw 84438 c lw 84440 c lw 84441 c lw 84442 c lw 84443 c lw 84444 c lw 84446 c lw 84448 c lw 84449 c lw 84450 c lw 84451 c lw 84452 c lw 84453 c lw 84454 c lw 84455 c lw 84458 c lw 84462 c lw 84463 c lw 84472 c lw 84473 c lw 84474 c lw 84475 c lw 84476 c lw 84477 c lw 84478 c lw 84480 c lw 84481 c lw 84482 c lw 84486 c lw 84487 c lw 84488 c lw 84489 c lw 84490 c lw 84491 c lw 84492 c lw 84493 c lw 84494 c lw 84495 c lw 84504 c lw 84505 c lw 84506 c lw 84507 c lw 84510 c lw 84511 c lw 84512 c lw 84513 Killed 1806.938u 12.828s 30:23.67 99.7% 0+0k 0+0io 0pf+0w