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_160_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0007.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 791 c lw 816 c lw 1607 c lw 1632 c lw 2448 c lw 3264 c lw 3370 c lw 4080 c lw 5052 c lw 5091 c lw 5652 c lw 6013 c lw 6102 c lw 6663 c lw 6925 c lw 7113 c lw 7202 c lw 7671 c lw 7979 c lw 8515 c lw 8845 c lw 9299 c lw 9711 c lw 10577 c lw 10787 c lw 11687 c lw 12587 c lw 13473 c lw 14359 c lw 14617 c lw 15245 c lw 15761 c lw 16131 c lw 16919 c lw 17707 c lw 18495 c lw 18843 c lw 19312 c lw 19781 c lw 20076 c lw 20799 c lw 21284 c lw 21315 c lw 21522 c lw 22245 c lw 22499 c lw 22968 c lw 23924 c lw 24880 c lw 25702 c lw 25836 c lw 26199 c lw 26562 c lw 27467 c lw 28372 c lw 28902 c lw 29277 c lw 29395 c lw 30187 c lw 30979 c lw 31370 c lw 31931 c lw 32559 c lw 32803 c lw 33060 c lw 34014 c lw 34074 c lw 34143 c lw 35056 c lw 35434 c lw 35969 c lw 36426 c lw 37012 c lw 37057 c lw 37855 c lw 38653 c lw 39451 c lw 40164 c lw 40981 c lw 41590 c lw 41753 c lw 42575 c lw 42657 c lw 43441 c lw 44225 c lw 45009 c lw 45705 c lw 45793 c lw 45913 c lw 45967 c lw 46141 c lw 46918 c lw 47598 c lw 47695 c lw 47757 c lw 48054 c lw 48103 c lw 48472 c lw 48652 c lw 49482 c lw 50312 c lw 51142 c lw 51364 c lw 51404 c lw 52142 c lw 52703 c lw 52757 c lw 53055 c lw 53411 c lw 53625 c lw 54041 c lw 54199 c lw 54460 c lw 55198 c lw 55459 c lw 55496 c lw 56135 c lw 56379 c lw 57072 c lw 57591 c lw 57758 c lw 57925 c lw 58023 c lw 58118 c lw 58273 c lw 58715 c lw 59355 c lw 60048 c lw 60199 c lw 60399 c lw 60497 c lw 60658 c lw 60787 c lw 60938 c lw 61631 c lw 61737 c lw 61762 c lw 61787 c lw 61836 c lw 62082 c lw 62093 c lw 62131 c lw 62219 c lw 62286 c lw 62289 c lw 62401 c lw 62496 c lw 62623 c lw 62877 c lw 62949 c lw 63137 c lw 63211 c lw 63279 c lw 63572 c lw 63698 c lw 63787 c lw 64106 c lw 64133 c lw 64146 c lw 64187 c lw 64253 c lw 64427 c lw 64458 c lw 64469 c lw 64521 c lw 64943 c lw 65204 c lw 65473 c lw 65848 c lw 66238 c lw 66292 c lw 66616 c lw 66685 c lw 66853 c lw 66948 c lw 67016 c lw 67265 c lw 67485 c lw 67573 c lw 67612 c lw 67801 c lw 68102 c lw 68103 c lw 68123 c lw 68212 c lw 68213 c lw 68572 c lw 68706 c lw 68766 c lw 68880 c lw 68899 c lw 68936 c lw 69094 c lw 69342 c lw 69352 c lw 69471 c lw 69492 c lw 69516 c lw 69814 c lw 69871 c lw 69883 c lw 70495 c lw 70671 c lw 70674 c lw 70901 c lw 71115 c lw 71159 c lw 71274 c lw 71315 c lw 71805 c lw 71811 c lw 71978 c lw 72247 c lw 72345 c lw 72497 c lw 72594 c lw 72603 c lw 72732 c lw 72794 c lw 72937 c lw 73172 c lw 73725 c lw 73985 c lw 74022 c lw 74107 c lw 74170 c lw 74201 c lw 74287 c lw 74604 c lw 74683 c lw 74725 c lw 74760 c lw 74869 c lw 74960 c lw 75297 c lw 75385 c lw 75494 c lw 76151 c lw 76227 c lw 76796 c lw 76843 c lw 77072 c lw 77395 c lw 77524 c lw 77850 c lw 77881 c lw 78032 c lw 78137 c lw 78469 c lw 78484 c lw 78615 c lw 78875 c lw 78972 c lw 79243 c lw 79246 c lw 79310 c lw 79398 c lw 79507 c lw 79915 c lw 80159 c lw 80278 c lw 80303 c lw 80328 c lw 80390 c lw 80428 c lw 80439 c lw 80516 c lw 80526 c lw 80535 c lw 80609 c lw 80611 c lw 80612 c lw 80626 c lw 80637 c lw 80639 c lw 80668 c lw 80695 c lw 80732 c lw 80746 c lw 80833 c lw 80836 c lw 80857 c lw 80890 c lw 80911 c lw 80925 c lw 80985 c lw 81030 c lw 81119 c lw 81129 c lw 81160 c lw 81175 c lw 81211 c lw 81268 c lw 81313 c lw 81337 c lw 81352 c lw 81383 c lw 81386 c lw 81421 c lw 81424 c lw 81487 c lw 81528 c lw 81531 c lw 81684 c lw 81696 c lw 81737 c lw 81750 c lw 81955 c lw 82033 c lw 82042 c lw 82043 c lw 82074 c lw 82163 c lw 82189 c lw 82209 c lw 82278 c lw 82303 c lw 82415 c lw 82500 c lw 82528 c lw 82563 c lw 82566 c lw 82575 c lw 82578 c lw 82604 c lw 82615 c lw 82616 c lw 82625 c lw 82626 c lw 82677 c lw 82678 c lw 82686 c lw 82688 c lw 82691 c lw 82692 c lw 82696 c lw 82720 c lw 82751 c lw 82752 c lw 82753 c lw 82754 c lw 82755 c lw 82760 c lw 82761 c lw 82763 c lw 82776 c lw 82807 c lw 82839 c lw 82870 c lw 82906 c lw 82919 c lw 82921 c lw 82922 c lw 82923 c lw 82924 c lw 82963 c lw 83031 c lw 83105 c lw 83146 c lw 83174 c lw 83188 c lw 83198 c lw 83202 c lw 83211 c lw 83233 c lw 83248 c lw 83251 c lw 83252 c lw 83271 c lw 83338 c lw 83347 c lw 83358 c lw 83387 c lw 83399 c lw 83413 c lw 83444 c lw 83448 c lw 83478 c lw 83509 c lw 83516 c lw 83529 c lw 83531 c lw 83532 c lw 83533 c lw 83536 c lw 83538 c lw 83539 c lw 83540 c lw 83541 c lw 83542 c lw 83543 c lw 83544 c lw 83545 c lw 83546 c lw 83556 c lw 83557 c lw 83558 c lw 83559 c lw 83560 c lw 83561 c lw 83605 c lw 83614 c lw 83615 c lw 83616 c lw 83617 c lw 83627 c lw 83628 c lw 83631 c lw 83646 c lw 83673 c lw 83674 c lw 83678 c lw 83679 c lw 83680 c lw 83681 c lw 83682 c lw 83697 c lw 83698 c lw 83699 c lw 83705 c lw 83706 c lw 83707 c lw 83708 c lw 83709 c lw 83710 c lw 83711 c lw 83715 c lw 83716 c lw 83718 c lw 83721 c lw 83723 c lw 83724 c lw 83725 c lw 83726 c lw 83727 c lw 83728 c lw 83730 c lw 83733 c lw 83736 c lw 83746 c lw 83749 c lw 83750 c lw 83753 c lw 83759 c lw 83760 c lw 83761 c lw 83762 c lw 83764 c lw 83765 c lw 83787 c lw 83796 c lw 83800 c lw 83810 c lw 83838 c lw 83839 c lw 83873 c lw 83877 c lw 83878 c lw 83879 c lw 84051 c lw 84073 c lw 84239 c lw 84240 c lw 84255 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 84270 c lw 84271 c lw 84272 c lw 84273 c lw 84274 c lw 84275 c lw 84276 c lw 84301 c lw 84322 c lw 84331 c lw 84332 c lw 84334 c lw 84422 c lw 84448 c lw 84449 c lw 84460 c lw 84461 c lw 84463 c lw 84478 c lw 84481 c lw 84484 c lw 84486 c lw 84487 c lw 84488 c lw 84489 c lw 84492 c lw 84493 c lw 84496 c lw 84497 c lw 84498 c lw 84502 c lw 84503 c lw 84505 c lw 84506 c lw 84517 c lw 84518 c lw 84524 c lw 84525 c lw 84526 c lw 84527 c lw 84528 c lw 84529 c lw 84530 c lw 84531 c lw 84532 c lw 84533 c lw 84534 c lw 84535 c lw 84536 c lw 84537 c lw 84538 c lw 84539 c lw 84540 c lw 84541 c lw 84542 c lw 84543 c lw 84544 c lw 84545 c lw 84546 c lw 84548 c lw 84549 c lw 84550 c lw 84552 c lw 84553 c lw 84554 c lw 84555 c lw 84556 c lw 84557 c lw 84559 c lw 84560 c lw 84561 c lw 84562 c lw 84563 c lw 84564 c lw 84565 c lw 84566 c lw 84567 c lw 84568 c lw 84569 c lw 84570 c lw 84571 c lw 84572 c lw 84573 c lw 84574 c lw 84575 c lw 84576 c lw 84577 c lw 84578 c lw 84581 c lw 84588 c lw 84589 c lw 84590 c lw 84591 c lw 84592 c lw 84593 c lw 84594 c lw 84595 c lw 84596 c lw 84597 c lw 84598 c lw 84599 c lw 84600 c lw 84601 c lw 84608 c lw 84609 c lw 84610 c lw 84613 c lw 84614 c lw 84616 c lw 84619 c lw 84621 c lw 84622 c lw 84623 c lw 84629 c lw 84630 c lw 84661 c lw 84664 c lw 84665 c lw 84667 c lw 84705 c lw 84711 c lw 84712 c lw 84714 c lw 84716 c lw 84717 c lw 84718 c lw 84742 c lw 84760 c lw 84773 c lw 84793 c lw 84802 c lw 84808 c lw 84836 c lw 84837 c lw 84838 c lw 84846 c lw 84847 c lw 84849 c lw 84893 c lw 84904 c lw 84942 c lw 84946 c lw 84981 c lw 85014 c lw 85052 c lw 85058 c lw 85059 c lw 85068 c lw 85079 c lw 85090 c lw 85094 c lw 85103 c lw 85129 c lw 85135 c lw 85151 c lw 85156 c lw 85162 c lw 85164 c lw 85166 c lw 85176 c lw 85202 c lw 85205 c lw 85223 c lw 85226 c lw 85228 c lw 85235 c lw 85241 c lw 85258 c lw 85259 c lw 85260 c lw 85261 c lw 85263 c lw 85266 c lw 85268 c lw 85269 c lw 85272 c lw 85274 c lw 85288 c lw 85301 c lw 85322 c lw 85332 c lw 85333 c lw 85334 c lw 85335 c lw 85336 c lw 85337 c lw 85338 c lw 85339 c lw 85340 c lw 85341 c lw 85342 c lw 85343 c lw 85344 c lw 85345 c lw 85348 c lw 85349 c lw 85350 c lw 85411 c lw 85414 c lw 85415 c lw 85419 c lw 85423 c lw 85424 c lw 85425 c lw 85426 c lw 85428 c lw 85430 c lw 85432 c lw 85435 c lw 85436 c lw 85437 c lw 85438 c lw 85439 c lw 85440 c lw 85444 c lw 85445 c lw 85446 c lw 85447 c lw 85448 c lw 85449 c lw 85450 c lw 85451 c lw 85452 c lw 85453 c lw 85454 c lw 85455 c lw 85456 c lw 85457 c lw 85458 c lw 85459 c lw 85460 c lw 85461 c lw 85462 c lw 85463 c lw 85464 c lw 85465 c lw 85466 c lw 85467 c lw 85468 c lw 85469 c lw 85470 c lw 85473 c lw 85476 c lw 85481 c lw 85488 c lw 85493 c lw 85494 c lw 85495 c lw 85496 c lw 85497 c lw 85498 c lw 85499 c lw 85500 c lw 85501 c lw 85502 c lw 85515 c lw 85522 c lw 85531 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 85585 c lw 85586 c lw 85587 c lw 85588 c lw 85589 c lw 85590 c lw 85594 c lw 85595 c lw 85596 c lw 85597 c lw 85598 c lw 85599 c lw 85600 c lw 85601 c lw 85602 c lw 85603 c lw 85604 c lw 85605 c lw 85606 c lw 85607 c lw 85608 c lw 85609 c lw 85610 c lw 85611 c lw 85612 c lw 85638 c lw 85662 c lw 85710 c lw 85716 c lw 85736 c lw 85742 c lw 85781 c lw 85801 c lw 85805 c lw 85807 c lw 85825 c lw 85827 c lw 85831 c lw 85843 c lw 85960 c lw 85966 c lw 85984 c lw 85997 c lw 86010 c lw 86013 c lw 86094 c lw 86095 c lw 86096 c lw 86097 c lw 86098 c lw 86100 c lw 86101 c lw 86102 c lw 86104 c lw 86110 c lw 86112 c lw 86114 c lw 86115 c lw 86116 c lw 86117 c lw 86118 c lw 86123 c lw 86124 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 86147 c lw 86148 c lw 86149 c lw 86150 c lw 86151 c lw 86152 c lw 86154 c lw 86155 c lw 86158 c lw 86170 c lw 86171 c lw 86172 c lw 86173 c lw 86174 c lw 86175 c lw 86176 c lw 86177 c lw 86180 c lw 86181 c lw 86182 c lw 86183 c lw 86184 c lw 86186 c lw 86187 c lw 86188 c lw 86212 c lw 86215 c lw 86216 c lw 86217 c lw 86218 c lw 86265 c lw 86266 c lw 86267 c lw 86268 c lw 86269 c lw 86270 c lw 86272 c lw 86273 c lw 86274 c lw 86275 c lw 86276 c lw 86277 c lw 86278 c lw 86279 c lw 86280 c lw 86281 c lw 86282 c lw 86283 c lw 86284 c lw 86285 c lw 86286 c lw 86287 c lw 86288 c lw 86289 c lw 86290 c lw 86292 c lw 86293 c lw 86294 c lw 86295 c lw 86296 c lw 86297 c lw 86298 c lw 86299 c lw 86300 c lw 86301 c lw 86302 c lw 86303 c lw 86304 c lw 86305 c lw 86306 c lw 86307 c lw 86308 c lw 86309 c lw 86310 c lw 86311 c lw 86312 c lw 86313 c lw 86314 c lw 86315 c lw 86316 c lw 86317 c lw 86318 c lw 86319 c lw 86320 c lw 86321 c lw 86322 c lw 86323 c lw 86324 c lw 86325 c lw 86326 c lw 86327 c lw 86328 c lw 86329 c lw 86330 c lw 86331 c lw 86334 c lw 86335 c lw 86337 c lw 86340 c lw 86341 c lw 86342 c lw 86343 c lw 86344 c lw 86345 c lw 86347 c lw 86348 c lw 86349 c lw 86351 c lw 86353 c lw 86354 c lw 86355 c lw 86357 c lw 86360 c lw 86361 c lw 86362 c lw 86363 c lw 86367 c lw 86368 c lw 86369 c lw 86370 c lw 86371 c lw 86372 c lw 86373 c lw 86374 c lw 86375 c lw 86376 c lw 86377 c lw 86379 c lw 86380 c lw 86381 c lw 86382 c lw 86383 c lw 86384 c lw 86385 c lw 86386 c lw 86387 c lw 86388 c lw 86389 c lw 86390 c lw 86402 c lw 86404 c lw 86405 c lw 86406 c lw 86407 c lw 86408 c lw 86409 c lw 86410 c lw 86411 c lw 86412 c lw 86413 c lw 86414 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 86425 c lw 86426 c lw 86427 c lw 86428 c lw 86429 c lw 86430 c lw 86431 c lw 86433 c lw 86434 c lw 86435 c lw 86436 c lw 86437 c lw 86438 c lw 86439 c lw 86440 c lw 86441 c lw 86442 c lw 86443 c lw 86444 c lw 86445 c lw 86446 c lw 86447 c lw 86448 c lw 86449 c lw 86450 c lw 86451 c lw 86452 c lw 86453 c lw 86454 c lw 86455 c lw 86456 c lw 86457 c lw 86458 c lw 86459 c lw 86460 c lw 86461 c lw 86462 c lw 86463 c lw 86464 c lw 86465 c lw 86466 c lw 86467 c lw 86469 c lw 86470 c lw 86471 c lw 86472 c lw 86473 c lw 86474 Killed 1817.174u 2.575s 30:19.85 99.9% 0+0k 0+0io 0pf+0w