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_SCHEDULING_cat_sched_60_160_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 361 c lw 722 c lw 1083 c lw 1444 c lw 1805 c lw 2166 c lw 2527 c lw 2888 c lw 3249 c lw 3610 c lw 3971 c lw 4332 c lw 4693 c lw 5054 c lw 5415 c lw 5776 c lw 6137 c lw 6498 c lw 6859 c lw 7220 c lw 7581 c lw 7942 c lw 8303 c lw 8779 c lw 9255 c lw 9731 c lw 10207 c lw 10683 c lw 11159 c lw 11635 c lw 12111 c lw 12587 c lw 13063 c lw 13539 c lw 14015 c lw 14491 c lw 14967 c lw 15443 c lw 15919 c lw 16395 c lw 16871 c lw 17347 c lw 17823 c lw 17869 c lw 18191 c lw 18237 c lw 18299 c lw 18345 c lw 18667 c lw 18775 c lw 18821 c lw 19143 c lw 19251 c lw 19486 c lw 19721 c lw 19783 c lw 19956 c lw 20191 c lw 20315 c lw 20426 c lw 20661 c lw 20847 c lw 20896 c lw 21131 c lw 21366 c lw 21379 c lw 21601 c lw 21836 c lw 21911 c lw 22071 c lw 22306 c lw 22443 c lw 22541 c lw 22776 c lw 22975 c lw 23011 c lw 23333 c lw 23507 c lw 23655 c lw 23977 c lw 24039 c lw 24299 c lw 24571 c lw 24621 c lw 24943 c lw 25103 c lw 25265 c lw 25587 c lw 25635 c lw 25909 c lw 26167 c lw 26231 c lw 26553 c lw 26699 c lw 26875 c lw 27197 c lw 27231 c lw 27519 c lw 27763 c lw 27881 c lw 28295 c lw 28594 c lw 28712 c lw 28827 c lw 29119 c lw 29359 c lw 29651 c lw 29891 c lw 30168 c lw 30298 c lw 30445 c lw 30705 c lw 30722 c lw 30999 c lw 31112 c lw 31276 c lw 31519 c lw 31553 c lw 31830 c lw 31926 c lw 32107 c lw 32333 c lw 32384 c lw 32661 c lw 32740 c lw 32938 c lw 33147 c lw 33215 c lw 33492 c lw 33554 c lw 33769 c lw 33961 c lw 34046 c lw 34323 c lw 34368 c lw 34730 c lw 34775 c lw 35137 c lw 35182 c lw 35544 c lw 35589 c lw 35951 c lw 35996 c lw 35997 c lw 36164 c lw 36403 c lw 36571 c lw 36810 c lw 36978 c lw 37096 c lw 37158 c lw 37218 c lw 37284 c lw 37330 c lw 37510 c lw 37523 c lw 37745 c lw 37750 c lw 37758 c lw 37794 c lw 37868 c lw 37909 c lw 37968 c lw 38086 c lw 38167 c lw 38207 c lw 38229 c lw 38230 c lw 38274 c lw 38374 c lw 38636 c lw 38681 c lw 38696 c lw 38735 c lw 38742 c lw 38788 c lw 38995 c lw 39041 c lw 39110 c lw 39202 c lw 39236 c lw 39398 c lw 39524 c lw 39544 c lw 39574 c lw 39638 c lw 39832 c lw 39846 c lw 39894 c lw 40056 c lw 40106 c lw 40168 c lw 40266 c lw 40316 c lw 40440 c lw 40490 c lw 40552 c lw 40700 c lw 40812 c lw 40848 c lw 40874 c lw 40910 c lw 41047 c lw 41134 c lw 41232 c lw 41271 c lw 41282 c lw 41357 c lw 41442 c lw 41506 c lw 41592 c lw 41692 c lw 41728 c lw 41839 c lw 41852 c lw 41927 c lw 41989 c lw 42087 c lw 42100 c lw 42196 c lw 42241 c lw 42401 c lw 42435 c lw 42558 c lw 42582 c lw 42603 c lw 42767 c lw 42846 c lw 42880 c lw 42897 c lw 42942 c lw 43068 c lw 43092 c lw 43123 c lw 43270 c lw 43355 c lw 43369 c lw 43431 c lw 43462 c lw 43584 c lw 43652 c lw 43708 c lw 43787 c lw 43793 c lw 43906 c lw 43957 c lw 44064 c lw 44132 c lw 44245 c lw 44262 c lw 44409 c lw 44606 c lw 44738 c lw 44753 c lw 44770 c lw 44921 c lw 44967 c lw 45428 c lw 45443 c lw 45607 c lw 46022 c lw 46037 c lw 46234 c lw 46398 c lw 46595 c lw 47056 c lw 47220 c lw 47235 c lw 47432 c lw 47893 c lw 48057 c lw 48072 c lw 48269 c lw 48730 c lw 48894 c lw 48909 c lw 49106 c lw 49567 c lw 49731 c lw 49746 c lw 49943 c lw 50404 c lw 50568 c lw 50583 c lw 50780 c lw 51241 c lw 51405 c lw 51420 c lw 51617 c lw 52078 c lw 52242 c lw 52257 c lw 52368 c lw 52414 c lw 52427 c lw 52430 c lw 52500 c lw 52540 c lw 52562 c lw 52569 c lw 52615 c lw 52647 c lw 52692 c lw 52707 c lw 52718 c lw 52882 c lw 53079 c lw 53243 c lw 53440 c lw 53604 c lw 53801 c lw 53965 c lw 54162 c lw 54179 c lw 54194 c lw 54223 c lw 54326 c lw 54359 c lw 54523 c lw 54540 c lw 54608 c lw 54623 c lw 54626 c lw 54639 c lw 54641 c lw 54653 c lw 54670 c lw 54679 c lw 54694 c lw 54709 c lw 54712 c lw 54720 c lw 54737 c lw 54749 c lw 54752 c lw 54769 c lw 54777 c lw 54780 c lw 54788 c lw 54791 c lw 54792 c lw 54793 c lw 54794 c lw 54795 c lw 54797 c lw 54799 c lw 54800 c lw 54801 c lw 54802 c lw 54803 c lw 54804 c lw 54805 c lw 54808 c lw 54815 c lw 54817 c lw 55140 c lw 55176 c lw 55255 c lw 55272 c lw 55281 c lw 55283 c lw 55285 c lw 55290 c lw 55291 c lw 55292 c lw 55293 c lw 55294 c lw 55295 c lw 55298 c lw 55299 c lw 55300 c lw 55301 c lw 55304 c lw 55305 c lw 55306 c lw 55307 c lw 55308 c lw 55309 c lw 55315 c lw 55316 c lw 55317 c lw 55318 c lw 55319 c lw 55320 c lw 55321 c lw 55322 c lw 55437 c lw 55452 c lw 55798 c lw 55913 c lw 55928 c lw 56274 c lw 56389 c lw 56404 c lw 56735 c lw 56745 c lw 56768 c lw 56814 c lw 56865 c lw 56880 c lw 56894 c lw 56955 c lw 56987 c lw 56988 c lw 56996 c lw 57010 c lw 57056 c lw 57079 c lw 57160 c lw 57171 c lw 57181 c lw 57185 c lw 57217 c lw 57253 c lw 57274 c lw 57283 c lw 57288 c lw 57292 c lw 57293 c lw 57314 c lw 57345 c lw 57349 c lw 57357 c lw 57358 c lw 57367 c lw 57372 c lw 57379 c lw 57380 c lw 57383 c lw 57384 c lw 57385 c lw 57386 c lw 57387 c lw 57388 c lw 57389 c lw 57394 c lw 57395 c lw 57396 c lw 57398 c lw 57399 c lw 57400 c lw 57423 c lw 57424 c lw 57425 c lw 57426 c lw 57429 c lw 57443 c lw 57444 c lw 57445 c lw 57446 c lw 57447 c lw 57448 c lw 57449 c lw 57450 c lw 57451 c lw 57452 c lw 57453 c lw 57454 c lw 57455 c lw 57456 c lw 57460 c lw 57493 c lw 57515 c lw 57538 c lw 57568 c lw 57569 c lw 57570 c lw 57571 c lw 57572 c lw 57573 c lw 57582 c lw 57583 c lw 57586 c lw 57587 c lw 57591 c lw 57598 c lw 57606 c lw 57611 c lw 57675 c lw 57680 c lw 57687 c lw 57691 c lw 57692 c lw 57695 c lw 57696 c lw 57705 c lw 57706 c lw 57707 c lw 57708 c lw 57709 c lw 57710 c lw 57717 c lw 57718 c lw 57721 c lw 57722 c lw 57723 c lw 57724 c lw 57726 c lw 57727 c lw 57765 c lw 57850 c lw 57876 c lw 57882 c lw 57921 c lw 57934 c lw 57947 c lw 57950 c lw 57951 c lw 57957 c lw 57993 c lw 57996 c lw 57997 c lw 58000 c lw 58009 c lw 58013 c lw 58014 c lw 58017 c lw 58019 c lw 58070 c lw 58103 c lw 58104 c lw 58105 c lw 58106 c lw 58107 c lw 58108 c lw 58110 c lw 58111 c lw 58185 c lw 58189 c lw 58190 c lw 58191 c lw 58192 c lw 58193 c lw 58194 c lw 58198 c lw 58199 c lw 58200 c lw 58201 c lw 58202 c lw 58203 c lw 58207 c lw 58227 c lw 58259 c lw 58317 c lw 58415 c lw 58444 c lw 58448 c lw 58465 c lw 58466 c lw 58473 c lw 58474 c lw 58480 c lw 58485 c lw 58494 c lw 58498 c lw 58510 c lw 58511 c lw 58514 c lw 58518 c lw 58519 c lw 58524 c lw 58525 c lw 58527 c lw 58541 c lw 58560 c lw 58589 c lw 58639 c lw 58674 c lw 58696 c lw 58700 c lw 58701 c lw 58702 c lw 58703 c lw 58704 c lw 58725 c lw 58744 c lw 58766 c lw 58770 c lw 58778 c lw 58794 c lw 58803 c lw 58807 c lw 58811 c lw 58812 c lw 58813 c lw 58814 c lw 58815 c lw 58816 c lw 58908 c lw 58915 c lw 58918 c lw 58942 c lw 58945 c lw 58946 c lw 58947 c lw 58949 c lw 58950 c lw 58955 c lw 58957 c lw 58959 c lw 58961 c lw 58962 c lw 58963 c lw 58964 c lw 58965 c lw 58966 c lw 58967 c lw 58971 c lw 58973 c lw 58974 c lw 58975 c lw 58976 c lw 58977 c lw 58978 c lw 58979 c lw 58982 c lw 59003 c lw 59019 c lw 59026 c lw 59036 c lw 59037 c lw 59038 c lw 59072 c lw 59113 c lw 59138 c lw 59162 c lw 59205 c lw 59215 c lw 59216 c lw 59217 c lw 59218 c lw 59220 c lw 59230 c lw 59231 c lw 59279 c lw 59289 c lw 59303 c lw 59310 c lw 59311 c lw 59312 c lw 59313 c lw 59314 c lw 59315 c lw 59316 c lw 59317 c lw 59318 c lw 59320 c lw 59335 c lw 59336 c lw 59337 c lw 59338 c lw 59339 c lw 59340 c lw 59341 c lw 59342 c lw 59343 c lw 59344 c lw 59345 c lw 59346 c lw 59347 c lw 59348 c lw 59404 c lw 59405 c lw 59406 c lw 59407 c lw 59409 c lw 59410 c lw 59411 c lw 59412 c lw 59413 c lw 59414 c lw 59419 c lw 59420 c lw 59421 c lw 59422 c lw 59425 c lw 59427 c lw 59428 c lw 59429 c lw 59430 c lw 59431 c lw 59432 c lw 59433 c lw 59434 c lw 59435 c lw 59436 c lw 59437 c lw 59438 c lw 59439 c lw 59440 c lw 59441 c lw 59448 c lw 59449 c lw 59450 c lw 59451 c lw 59452 c lw 59453 c lw 59454 c lw 59455 c lw 59458 c lw 59459 c lw 59460 c lw 59461 c lw 59462 c lw 59463 c lw 59464 c lw 59465 c lw 59466 c lw 59467 c lw 59468 c lw 59469 c lw 59470 c lw 59471 c lw 59472 c lw 59473 c lw 59474 c lw 59475 c lw 59476 c lw 59477 c lw 59478 c lw 59479 c lw 59480 c lw 59484 c lw 59486 c lw 59487 c lw 59488 c lw 59490 c lw 59493 c lw 59494 c lw 59495 c lw 59496 c lw 59497 c lw 59498 c lw 59499 c lw 59500 c lw 59501 c lw 59502 c lw 59503 c lw 59504 c lw 59505 c lw 59506 c lw 59507 c lw 59508 c lw 59509 c lw 59543 c lw 59590 c lw 59591 c lw 59592 c lw 59593 c lw 59594 c lw 59595 c lw 59619 c lw 59635 c lw 59636 c lw 59637 c lw 59638 c lw 59639 c lw 59640 c lw 59641 c lw 59670 c lw 59671 c lw 59672 c lw 59674 c lw 59678 c lw 59736 c lw 59759 c lw 59790 c lw 59805 c lw 59829 c lw 59830 c lw 59843 c lw 59844 c lw 59845 c lw 59846 c lw 59861 c lw 59862 c lw 59868 c lw 59905 c lw 59947 c lw 59957 c lw 59963 c lw 59975 c lw 59976 c lw 59977 c lw 59978 c lw 59979 c lw 59980 c lw 59981 c lw 59982 c lw 59983 c lw 59984 c lw 59985 c lw 59986 c lw 59987 c lw 59988 c lw 59993 c lw 59994 c lw 59995 c lw 60001 c lw 60002 c lw 60007 c lw 60008 c lw 60010 c lw 60069 c lw 60090 c lw 60093 c lw 60101 c lw 60103 c lw 60104 c lw 60153 c lw 60155 c lw 60159 c lw 60160 c lw 60162 c lw 60163 c lw 60164 c lw 60165 c lw 60166 c lw 60187 c lw 60188 c lw 60190 c lw 60193 c lw 60194 c lw 60196 c lw 60197 c lw 60204 c lw 60205 c lw 60206 c lw 60209 c lw 60210 c lw 60214 c lw 60231 c lw 60232 c lw 60236 c lw 60241 c lw 60242 c lw 60243 c lw 60244 c lw 60260 c lw 60261 c lw 60262 c lw 60263 c lw 60264 c lw 60265 c lw 60267 c lw 60268 c lw 60269 c lw 60270 c lw 60272 c lw 60273 c lw 60274 c lw 60278 c lw 60279 c lw 60280 c lw 60286 c lw 60287 c lw 60288 c lw 60289 c lw 60290 c lw 60291 c lw 60292 c lw 60293 c lw 60294 c lw 60295 c lw 60296 c lw 60297 c lw 60298 c lw 60300 c lw 60301 c lw 60302 c lw 60303 c lw 60304 c lw 60305 c lw 60306 c lw 60307 c lw 60308 c lw 60309 c lw 60316 c lw 60605 c lw 60712 c lw 60762 c lw 60770 c lw 60785 c lw 61066 c lw 61070 c lw 61116 c lw 61139 c lw 61158 c lw 61160 c lw 61161 c lw 61166 c lw 61170 c lw 61171 c lw 61174 c lw 61185 c lw 61186 c lw 61187 c lw 61188 c lw 61189 c lw 61190 c lw 61191 c lw 61192 c lw 61193 c lw 61194 c lw 61195 c lw 61196 c lw 61197 c lw 61198 c lw 61199 c lw 61200 c lw 61202 c lw 61203 c lw 61204 c lw 61205 c lw 61206 c lw 61207 c lw 61208 c lw 61209 c lw 61210 c lw 61211 c lw 61212 c lw 61213 c lw 61214 c lw 61215 c lw 61216 c lw 61217 c lw 61218 c lw 61219 c lw 61220 c lw 61221 c lw 61222 c lw 61223 c lw 61224 c lw 61225 c lw 61226 c lw 61228 c lw 61229 c lw 61230 c lw 61231 c lw 61232 c lw 61233 c lw 61234 c lw 61235 c lw 61236 c lw 61237 c lw 61238 c lw 61239 c lw 61240 c lw 61241 c lw 61242 c lw 61243 c lw 61244 c lw 61245 c lw 61246 c lw 61248 c lw 61250 c lw 61251 c lw 61253 c lw 61254 c lw 61255 c lw 61256 c lw 61257 c lw 61258 c lw 61259 c lw 61260 c lw 61261 c lw 61262 c lw 61263 c lw 61264 c lw 61265 c lw 61266 c lw 61267 c lw 61268 c lw 61269 c lw 61270 c lw 61271 c lw 61272 c lw 61273 c lw 61274 c lw 61275 c lw 61276 c lw 61277 c lw 61278 c lw 61279 c lw 61280 c lw 61281 c lw 61282 c lw 61285 c lw 61300 c lw 61301 c lw 61302 c lw 61303 c lw 61304 c lw 61305 c lw 61306 Killed 1813.845u 5.920s 30:21.02 99.9% 0+0k 0+0io 0pf+0w