Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_170_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0002.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0002.txt.wcnf *** c c Min unsat cost LB: 1044 ... c Min unsat cost LB: 1815 ... c Min unsat cost LB: 2089 ... c Min unsat cost LB: 2901 ... c Min unsat cost LB: 3134 ... c Min unsat cost LB: 4059 ... c Min unsat cost LB: 4830 ... c Min unsat cost LB: 5786 ... c Min unsat cost LB: 5905 ... c Min unsat cost LB: 6717 ... c Min unsat cost LB: 6805 ... c Min unsat cost LB: 7163 ... c Min unsat cost LB: 8028 ... c Min unsat cost LB: 8893 ... c Min unsat cost LB: 9072 ... c Min unsat cost LB: 9919 ... c Min unsat cost LB: 10055 ... c Min unsat cost LB: 10149 ... c Min unsat cost LB: 10595 ... c Min unsat cost LB: 11103 ... c Min unsat cost LB: 11864 ... c Min unsat cost LB: 12315 ... c Min unsat cost LB: 13162 ... c Min unsat cost LB: 14051 ... c Min unsat cost LB: 14601 ... c Min unsat cost LB: 14838 ... c Min unsat cost LB: 15096 ... c Min unsat cost LB: 15260 ... c Min unsat cost LB: 15327 ... c Min unsat cost LB: 16033 ... c Min unsat cost LB: 16785 ... c Min unsat cost LB: 16987 ... c Min unsat cost LB: 17419 ... c Min unsat cost LB: 17906 ... c Min unsat cost LB: 18831 ... c Min unsat cost LB: 18857 ... c Min unsat cost LB: 19050 ... c Min unsat cost LB: 19840 ... c Min unsat cost LB: 20526 ... c Min unsat cost LB: 20845 ... c Min unsat cost LB: 21288 ... c Min unsat cost LB: 21546 ... c Min unsat cost LB: 21653 ... c Min unsat cost LB: 22156 ... c Min unsat cost LB: 22463 ... c Min unsat cost LB: 23021 ... c Min unsat cost LB: 23328 ... c Min unsat cost LB: 23795 ... c Min unsat cost LB: 23971 ... c Min unsat cost LB: 24783 ... c Min unsat cost LB: 25390 ... c Min unsat cost LB: 25406 ... c Min unsat cost LB: 25631 ... c Min unsat cost LB: 25773 ... c Min unsat cost LB: 26641 ... c Min unsat cost LB: 26690 ... c Min unsat cost LB: 26822 ... c Min unsat cost LB: 27055 ... c Min unsat cost LB: 27313 ... c Min unsat cost LB: 27354 ... c Min unsat cost LB: 27434 ... c Min unsat cost LB: 27787 ... c Min unsat cost LB: 28019 ... c Min unsat cost LB: 28024 ... c Min unsat cost LB: 28523 ... c Min unsat cost LB: 29474 ... c Min unsat cost LB: 29653 ... c Min unsat cost LB: 30205 ... c Min unsat cost LB: 30813 ... c Min unsat cost LB: 31423 ... c Min unsat cost LB: 32154 ... c Min unsat cost LB: 33014 ... c Min unsat cost LB: 33253 ... c Min unsat cost LB: 33390 ... c Min unsat cost LB: 33876 ... c Min unsat cost LB: 34741 ... c Min unsat cost LB: 34967 ... c Min unsat cost LB: 35061 ... c Min unsat cost LB: 35374 ... c Min unsat cost LB: 35377 ... c Min unsat cost LB: 35766 ... c Min unsat cost LB: 36306 ... c Min unsat cost LB: 36834 ... c Min unsat cost LB: 36913 ... c Min unsat cost LB: 37483 ... c Min unsat cost LB: 37571 ... c Min unsat cost LB: 38210 ... c Min unsat cost LB: 38278 ... c Min unsat cost LB: 38524 ... c Min unsat cost LB: 39191 ... c Min unsat cost LB: 39522 ... c Min unsat cost LB: 39578 ... c Min unsat cost LB: 39815 ... c Min unsat cost LB: 40101 ... c Min unsat cost LB: 40983 ... c Min unsat cost LB: 41118 ... c Min unsat cost LB: 41519 ... c Min unsat cost LB: 42293 ... c Min unsat cost LB: 42369 ... c Min unsat cost LB: 43135 ... c Min unsat cost LB: 43295 ... c Min unsat cost LB: 44009 ... c Min unsat cost LB: 44378 ... c Min unsat cost LB: 44629 ... c Min unsat cost LB: 45099 ... c Min unsat cost LB: 45336 ... c Min unsat cost LB: 45803 ... c Min unsat cost LB: 46143 ... c Min unsat cost LB: 46263 ... c Min unsat cost LB: 46940 ... c Min unsat cost LB: 47098 ... c Min unsat cost LB: 47850 ... c Min unsat cost LB: 48087 ... c Min unsat cost LB: 48573 ... c Min unsat cost LB: 48853 ... c Min unsat cost LB: 49255 ... c Min unsat cost LB: 49525 ... c Min unsat cost LB: 49932 ... c Min unsat cost LB: 50330 ... c Min unsat cost LB: 51026 ... c Min unsat cost LB: 51351 ... c Min unsat cost LB: 51640 ... c Min unsat cost LB: 52344 ... c Min unsat cost LB: 52582 ... c Min unsat cost LB: 52658 ... c Min unsat cost LB: 53353 ... c Min unsat cost LB: 53678 ... c Min unsat cost LB: 53997 ... c Min unsat cost LB: 54209 ... c Min unsat cost LB: 54978 ... c Min unsat cost LB: 55045 ... c Min unsat cost LB: 55452 ... c Min unsat cost LB: 55727 ... c Min unsat cost LB: 56378 ... c Min unsat cost LB: 56424 ... c Min unsat cost LB: 56429 ... c Min unsat cost LB: 56578 ... c Min unsat cost LB: 57068 ... c Min unsat cost LB: 57441 ... c Min unsat cost LB: 57683 ... c Min unsat cost LB: 57834 ... c Min unsat cost LB: 58008 ... c Min unsat cost LB: 58237 ... c Min unsat cost LB: 58672 ... c Min unsat cost LB: 58829 ... c Min unsat cost LB: 59468 ... c Min unsat cost LB: 59883 ... c Min unsat cost LB: 60146 ... c Min unsat cost LB: 60346 ... c Min unsat cost LB: 60488 ... c Min unsat cost LB: 60510 ... c Min unsat cost LB: 60647 ... c Min unsat cost LB: 60915 ... c Min unsat cost LB: 61091 ... c Min unsat cost LB: 61202 ... c Min unsat cost LB: 61351 ... c Min unsat cost LB: 61609 ... c Min unsat cost LB: 61667 ... c Min unsat cost LB: 61723 ... c Min unsat cost LB: 62004 ... c Min unsat cost LB: 62317 ... c Min unsat cost LB: 62443 ... c Min unsat cost LB: 62614 ... c Min unsat cost LB: 62750 ... c Min unsat cost LB: 62759 ... c Min unsat cost LB: 62762 ... c Min unsat cost LB: 62885 ... c Min unsat cost LB: 63143 ... c Min unsat cost LB: 63447 ... c Min unsat cost LB: 63473 ... c Min unsat cost LB: 63539 ... c Min unsat cost LB: 63564 ... c Min unsat cost LB: 63568 ... c Min unsat cost LB: 63618 ... c Min unsat cost LB: 63864 ... c Min unsat cost LB: 63871 ... c Min unsat cost LB: 64286 ... c Min unsat cost LB: 64342 ... c Min unsat cost LB: 64358 ... c Min unsat cost LB: 64381 ... c Min unsat cost LB: 64540 ... c Min unsat cost LB: 64714 ... c Min unsat cost LB: 64897 ... c Min unsat cost LB: 64953 ... c Min unsat cost LB: 65365 ... c Min unsat cost LB: 65396 ... c Min unsat cost LB: 65401 ... c Min unsat cost LB: 65638 ... c Min unsat cost LB: 65711 ... c Min unsat cost LB: 65716 ... c Min unsat cost LB: 65747 ... c Min unsat cost LB: 65774 ... c Min unsat cost LB: 65909 ... c Min unsat cost LB: 66012 ... c Min unsat cost LB: 66048 ... c Min unsat cost LB: 66050 ... c Min unsat cost LB: 66072 ... c Min unsat cost LB: 66105 ... c Min unsat cost LB: 66110 ... c Min unsat cost LB: 66221 ... c Min unsat cost LB: 66275 ... c Min unsat cost LB: 66281 ... c Min unsat cost LB: 66295 ... c Min unsat cost LB: 66305 ... c Min unsat cost LB: 66391 ... c Min unsat cost LB: 66504 ... c Min unsat cost LB: 66529 ... c Min unsat cost LB: 66564 ... c Min unsat cost LB: 66569 ... c Min unsat cost LB: 66609 ... c Min unsat cost LB: 66722 ... c Min unsat cost LB: 66892 ... c Min unsat cost LB: 66935 ... c Min unsat cost LB: 67099 ... c Min unsat cost LB: 67160 ... c Min unsat cost LB: 67235 ... c Min unsat cost LB: 67256 ... c Min unsat cost LB: 67295 ... c Min unsat cost LB: 67436 ... c Min unsat cost LB: 67505 ... c Min unsat cost LB: 67551 ... c Min unsat cost LB: 67580 ... c Min unsat cost LB: 67647 ... c Min unsat cost LB: 67648 ... c Min unsat cost LB: 67681 ... c Min unsat cost LB: 67918 ... c Min unsat cost LB: 67980 ... c Min unsat cost LB: 67986 ... c Min unsat cost LB: 68031 ... c Min unsat cost LB: 68049 ... c Min unsat cost LB: 68056 ... c Min unsat cost LB: 68079 ... c Min unsat cost LB: 68100 ... c Min unsat cost LB: 68183 ... c Min unsat cost LB: 68247 ... c Min unsat cost LB: 68537 ... c Min unsat cost LB: 68664 ... c Min unsat cost LB: 68666 ... c Min unsat cost LB: 68725 ... c Min unsat cost LB: 68770 ... c Min unsat cost LB: 68940 ... c Min unsat cost LB: 68955 ... c Min unsat cost LB: 68986 ... c Min unsat cost LB: 69003 ... c Min unsat cost LB: 69119 ... c Min unsat cost LB: 69149 ... c Min unsat cost LB: 69185 ... c Min unsat cost LB: 69213 ... c Min unsat cost LB: 69289 ... c Min unsat cost LB: 69297 ... c Min unsat cost LB: 69422 ... c Min unsat cost LB: 69538 ... c Min unsat cost LB: 69544 ... c Min unsat cost LB: 69634 ... c Min unsat cost LB: 69740 ... c Min unsat cost LB: 69836 ... c Min unsat cost LB: 69965 ... c Min unsat cost LB: 69980 ... c Min unsat cost LB: 69988 ... c Min unsat cost LB: 70052 ... c Min unsat cost LB: 70110 ... c Min unsat cost LB: 70131 ... c Min unsat cost LB: 70139 ... c Min unsat cost LB: 70200 ... c Min unsat cost LB: 70216 ... c Min unsat cost LB: 70278 ... c Min unsat cost LB: 70327 ... c Min unsat cost LB: 70344 ... c Min unsat cost LB: 70389 ... c Min unsat cost LB: 70465 ... c Min unsat cost LB: 70469 ... c Min unsat cost LB: 70472 ... c Min unsat cost LB: 70484 ... c Min unsat cost LB: 70524 ... c Min unsat cost LB: 70616 ... c Min unsat cost LB: 71020 ... c Min unsat cost LB: 71159 ... c Min unsat cost LB: 71171 ... c Min unsat cost LB: 71352 ... c Min unsat cost LB: 71353 ... c Min unsat cost LB: 71399 ... c Min unsat cost LB: 71404 ... c Min unsat cost LB: 71423 ... c Min unsat cost LB: 71514 ... c Min unsat cost LB: 71602 ... c Min unsat cost LB: 71655 ... c Min unsat cost LB: 71697 ... c Min unsat cost LB: 71706 ... c Min unsat cost LB: 71836 ... c Min unsat cost LB: 71854 ... c Min unsat cost LB: 71856 ... c Min unsat cost LB: 71857 ... c Min unsat cost LB: 71874 ... c Min unsat cost LB: 71926 ... c Min unsat cost LB: 71938 ... c Min unsat cost LB: 71965 ... c Min unsat cost LB: 72025 ... c Min unsat cost LB: 72149 ... c Min unsat cost LB: 72311 ... c Min unsat cost LB: 72332 ... c Min unsat cost LB: 72352 ... c Min unsat cost LB: 72426 ... c Min unsat cost LB: 72516 ... c Min unsat cost LB: 72668 ... c Min unsat cost LB: 72856 ... c Min unsat cost LB: 72880 ... c Min unsat cost LB: 73027 ... c Min unsat cost LB: 73093 ... c Min unsat cost LB: 73267 ... c Min unsat cost LB: 73392 ... c Min unsat cost LB: 73427 ... c Min unsat cost LB: 73605 ... c Min unsat cost LB: 73784 ... c Min unsat cost LB: 73786 ... c Min unsat cost LB: 73811 ... c Min unsat cost LB: 73865 ... c Min unsat cost LB: 73867 ... c Min unsat cost LB: 73871 ... c Min unsat cost LB: 73945 ... c Min unsat cost LB: 73968 ... c Min unsat cost LB: 74007 ... c Min unsat cost LB: 74011 ... c Min unsat cost LB: 74049 ... c Min unsat cost LB: 74161 ... c Min unsat cost LB: 74172 ... c Min unsat cost LB: 74249 ... c Min unsat cost LB: 74305 ... c Min unsat cost LB: 74308 ... c Min unsat cost LB: 74362 ... c Min unsat cost LB: 74481 ... c Min unsat cost LB: 74592 ... c Min unsat cost LB: 74595 ... c Min unsat cost LB: 74612 ... c Min unsat cost LB: 74624 ... c Min unsat cost LB: 74647 ... c Min unsat cost LB: 74658 ... c Min unsat cost LB: 74671 ... c Min unsat cost LB: 74712 ... c Min unsat cost LB: 74714 ... c Min unsat cost LB: 74731 ... c Min unsat cost LB: 74744 ... c Min unsat cost LB: 74775 ... c Min unsat cost LB: 74777 ... c Min unsat cost LB: 74793 ... c Min unsat cost LB: 74815 ... c Min unsat cost LB: 74826 ... c Min unsat cost LB: 74835 ... c Min unsat cost LB: 74838 ... c Min unsat cost LB: 74911 ... c Min unsat cost LB: 74919 ... c Min unsat cost LB: 74952 ... c Min unsat cost LB: 74955 ... c Min unsat cost LB: 74957 ... c Min unsat cost LB: 74960 ... c Min unsat cost LB: 74974 ... c Min unsat cost LB: 74982 ... c Min unsat cost LB: 74993 ... c Min unsat cost LB: 75002 ... c Min unsat cost LB: 75004 ... c Min unsat cost LB: 75009 ... c Min unsat cost LB: 75020 ... c Min unsat cost LB: 75031 ... c Min unsat cost LB: 75037 ... c Min unsat cost LB: 75066 ... c Min unsat cost LB: 75086 ... c Min unsat cost LB: 75089 ... c Min unsat cost LB: 75094 ... c Min unsat cost LB: 75127 ... c Min unsat cost LB: 75132 ... c Min unsat cost LB: 75142 ... c Min unsat cost LB: 75159 ... c Min unsat cost LB: 75189 ... c Min unsat cost LB: 75196 ... c Min unsat cost LB: 75201 ... c Min unsat cost LB: 75212 ... c Min unsat cost LB: 75218 ... c Min unsat cost LB: 75220 ... c Min unsat cost LB: 75253 ... c Min unsat cost LB: 75280 ... c Min unsat cost LB: 75292 ... c Min unsat cost LB: 75299 ... c Min unsat cost LB: 75307 ... c Min unsat cost LB: 75313 ... c Min unsat cost LB: 75319 ... c Min unsat cost LB: 75326 ... c Min unsat cost LB: 75330 ... c Min unsat cost LB: 75344 ... c Min unsat cost LB: 75349 ... c Min unsat cost LB: 75359 ... c Min unsat cost LB: 75369 ... c Min unsat cost LB: 75380 ... c Min unsat cost LB: 75385 ... c Min unsat cost LB: 75386 ... c Min unsat cost LB: 75398 ... c Min unsat cost LB: 75423 ... c Min unsat cost LB: 75428 ... c Min unsat cost LB: 75437 ... c Min unsat cost LB: 75444 ... c Min unsat cost LB: 75456 ... c Min unsat cost LB: 75458 ... c Min unsat cost LB: 75474 ... c Min unsat cost LB: 75482 ... c Min unsat cost LB: 75495 ... c Min unsat cost LB: 75500 ... c Min unsat cost LB: 75505 ... c Min unsat cost LB: 75507 ... c Min unsat cost LB: 75512 ... c Min unsat cost LB: 75521 ... c Min unsat cost LB: 75523 ... c Min unsat cost LB: 75528 ... c Min unsat cost LB: 75538 ... c Min unsat cost LB: 75571 ... c Min unsat cost LB: 75574 ... c Min unsat cost LB: 75583 ... c Min unsat cost LB: 75587 ... c Min unsat cost LB: 75621 ... c Min unsat cost LB: 75627 ... c Min unsat cost LB: 75640 ... c Min unsat cost LB: 75641 ... c Min unsat cost LB: 75642 ... c Min unsat cost LB: 75648 ... c Min unsat cost LB: 75681 ... c Min unsat cost LB: 75710 ... c Min unsat cost LB: 75720 ... c Min unsat cost LB: 75753 ... c Min unsat cost LB: 75784 ... c Min unsat cost LB: 75789 ... c Min unsat cost LB: 75815 ... c Min unsat cost LB: 75820 ... c Min unsat cost LB: 75865 ... c Min unsat cost LB: 75880 ... c Min unsat cost LB: 75890 ... c Min unsat cost LB: 75896 ... c Min unsat cost LB: 75903 ... c Min unsat cost LB: 75904 ... c Min unsat cost LB: 75970 ... c Min unsat cost LB: 75972 ... c Min unsat cost LB: 75981 ... c Min unsat cost LB: 75989 ... c Min unsat cost LB: 75990 ... c Min unsat cost LB: 75994 ... c Min unsat cost LB: 75995 ... c Min unsat cost LB: 76001 ... c Min unsat cost LB: 76002 ... c Min unsat cost LB: 76013 ... c Min unsat cost LB: 76015 ... c Min unsat cost LB: 76037 ... c Min unsat cost LB: 76038 ... c Min unsat cost LB: 76043 ... c Min unsat cost LB: 76049 ... c Min unsat cost LB: 76063 ... c Min unsat cost LB: 76064 ... c Min unsat cost LB: 76065 ... c Min unsat cost LB: 76087 ... c Min unsat cost LB: 76090 ... c Min unsat cost LB: 76093 ... c Min unsat cost LB: 76095 ... c Min unsat cost LB: 76096 ... c Min unsat cost LB: 76098 ... c Min unsat cost LB: 76101 ... c Min unsat cost LB: 76107 ... c Min unsat cost LB: 76108 ... c Min unsat cost LB: 76132 ... c Min unsat cost LB: 76152 ... c Min unsat cost LB: 76156 ... c Min unsat cost LB: 76157 ... c Min unsat cost LB: 76164 ... c Min unsat cost LB: 76166 ... c Min unsat cost LB: 76167 ... c Min unsat cost LB: 76169 ... c Min unsat cost LB: 76170 ... c Min unsat cost LB: 76171 ... c Min unsat cost LB: 76172 ... c Min unsat cost LB: 76173 ... c Min unsat cost LB: 76179 ... c Min unsat cost LB: 76181 ... c Min unsat cost LB: 76182 ... c Min unsat cost LB: 76183 ... c Min unsat cost LB: 76188 ... c Min unsat cost LB: 76189 ... c Min unsat cost LB: 76196 ... c Min unsat cost LB: 76199 ... c Min unsat cost LB: 76201 ... c Min unsat cost LB: 76202 ... c Min unsat cost LB: 76204 ... c Min unsat cost LB: 76207 ... c Min unsat cost LB: 76208 ... c Min unsat cost LB: 76216 ... c Min unsat cost LB: 76217 ... c Min unsat cost LB: 76218 ... c Min unsat cost LB: 76222 ... c Min unsat cost LB: 76223 ... c Min unsat cost LB: 76225 ... c Min unsat cost LB: 76226 ... c Min unsat cost LB: 76228 ... c Min unsat cost LB: 76231 ... c Min unsat cost LB: 76232 ... c Min unsat cost LB: 76233 ... c Min unsat cost LB: 76244 ... c Min unsat cost LB: 76245 ... c Min unsat cost LB: 76249 ... c Min unsat cost LB: 76283 ... c Min unsat cost LB: 76289 ... c Min unsat cost LB: 76290 ... c Min unsat cost LB: 76292 ... c Min unsat cost LB: 76293 ... c Min unsat cost LB: 76295 ... c Min unsat cost LB: 76304 ... c Min unsat cost LB: 76305 ... c Min unsat cost LB: 76314 ... c Min unsat cost LB: 76315 ... c Min unsat cost LB: 76317 ... c Min unsat cost LB: 76325 ... c Min unsat cost LB: 76332 ... c Min unsat cost LB: 76337 ... c Min unsat cost LB: 76341 ... c Min unsat cost LB: 76342 ... c Min unsat cost LB: 76344 ... c Min unsat cost LB: 76350 ... c Min unsat cost LB: 76353 ... c Min unsat cost LB: 76357 ... c Min unsat cost LB: 76359 ... c Min unsat cost LB: 76362 ... c Min unsat cost LB: 76366 ... c Min unsat cost LB: 76396 ... c Min unsat cost LB: 76399 ... c Min unsat cost LB: 76403 ... c Min unsat cost LB: 76406 ... c Min unsat cost LB: 76465 ... c Min unsat cost LB: 76489 ... c Min unsat cost LB: 76492 ... c Min unsat cost LB: 76516 ... c Min unsat cost LB: 76528 ... c Min unsat cost LB: 76533 ... c Min unsat cost LB: 76539 ... c Min unsat cost LB: 76542 ... c Min unsat cost LB: 76545 ... c Min unsat cost LB: 76546 ... c Min unsat cost LB: 76552 ... c Min unsat cost LB: 76557 ... c Min unsat cost LB: 76560 ... c Min unsat cost LB: 76561 ... c Min unsat cost LB: 76567 ... c Min unsat cost LB: 76570 ... c Min unsat cost LB: 76572 ... c Min unsat cost LB: 76573 ... c Min unsat cost LB: 76577 ... c Min unsat cost LB: 76579 ... c Min unsat cost LB: 76580 ... c Min unsat cost LB: 76581 ... c Min unsat cost LB: 76582 ... c Min unsat cost LB: 76583 ... c Min unsat cost LB: 76585 ... c Min unsat cost LB: 76586 ... c Min unsat cost LB: 76588 ... c Min unsat cost LB: 76589 ... c Min unsat cost LB: 76590 ... c Min unsat cost LB: 76591 ... c Min unsat cost LB: 76592 ... c Min unsat cost LB: 76593 ... c Min unsat cost LB: 76595 ... c Min unsat cost LB: 76596 ... c Min unsat cost LB: 76597 ... c Min unsat cost LB: 76600 ... c Min unsat cost LB: 76604 ... c Min unsat cost LB: 76605 ... c Min unsat cost LB: 76607 ... c Min unsat cost LB: 76609 ... c Min unsat cost LB: 76623 ... c Min unsat cost LB: 76624 ... c Min unsat cost LB: 76625 ... c Min unsat cost LB: 76626 ... c Min unsat cost LB: 76627 ... c Min unsat cost LB: 76628 ... c Min unsat cost LB: 76629 ... c Min unsat cost LB: 76644 ... c Min unsat cost LB: 76647 ... c Min unsat cost LB: 76650 ... c Min unsat cost LB: 76652 ... c Min unsat cost LB: 76653 ... c Min unsat cost LB: 76654 ... c Min unsat cost LB: 76655 ... c Min unsat cost LB: 76656 ... c Min unsat cost LB: 76658 ... c Min unsat cost LB: 76667 ... c Min unsat cost LB: 76668 ... c Min unsat cost LB: 76670 ... c Min unsat cost LB: 76671 ... c Min unsat cost LB: 76672 ... c Min unsat cost LB: 76674 ... c Min unsat cost LB: 76675 ... c Min unsat cost LB: 76676 ... c Min unsat cost LB: 76677 ... c Min unsat cost LB: 76679 ... c Min unsat cost LB: 76680 ... c Min unsat cost LB: 76688 ... c Min unsat cost LB: 76689 ... c Min unsat cost LB: 76690 ... c Min unsat cost LB: 76692 ... c Min unsat cost LB: 76693 ... c Min unsat cost LB: 76694 ... c Min unsat cost LB: 76695 ... c Min unsat cost LB: 76696 ... c Min unsat cost LB: 76697 ... c Min unsat cost LB: 76698 ... c Min unsat cost LB: 76701 ... c Min unsat cost LB: 76702 ... c Min unsat cost LB: 76706 ... c Min unsat cost LB: 76730 ... c Min unsat cost LB: 76741 ... c Min unsat cost LB: 76745 ... c Min unsat cost LB: 76750 ... c Min unsat cost LB: 76751 ... c Min unsat cost LB: 76753 ... c Min unsat cost LB: 76755 ... c Min unsat cost LB: 76759 ... c Min unsat cost LB: 76766 ... c Min unsat cost LB: 76768 ... c Min unsat cost LB: 76770 ... c Min unsat cost LB: 76773 ... c Min unsat cost LB: 76780 ... c Min unsat cost LB: 76810 ... c Min unsat cost LB: 76811 ... c Min unsat cost LB: 76812 ... c Min unsat cost LB: 76815 ... c Min unsat cost LB: 76816 ... c Min unsat cost LB: 76826 ... c Min unsat cost LB: 76843 ... c Min unsat cost LB: 76845 ... c Min unsat cost LB: 76849 ... c Min unsat cost LB: 76850 ... c Min unsat cost LB: 76855 ... c Min unsat cost LB: 76857 ... c Min unsat cost LB: 76860 ... c Min unsat cost LB: 76862 ... c Min unsat cost LB: 76865 ... c Min unsat cost LB: 76866 ... c Min unsat cost LB: 76869 ... c Min unsat cost LB: 76870 ... c Min unsat cost LB: 76871 ... c Min unsat cost LB: 76876 ... c Min unsat cost LB: 76881 ... c Min unsat cost LB: 76882 ... c Min unsat cost LB: 76885 ... c Min unsat cost LB: 76915 ... c Min unsat cost LB: 76965 ... c Min unsat cost LB: 76974 ... c Min unsat cost LB: 76977 ... c Min unsat cost LB: 76978 ... c Min unsat cost LB: 76981 ... c Min unsat cost LB: 76982 ... c Min unsat cost LB: 76984 ... c Min unsat cost LB: 76993 ... c Min unsat cost LB: 76995 ... c Min unsat cost LB: 77004 ... c Min unsat cost LB: 77006 ... c Min unsat cost LB: 77010 ... c Min unsat cost LB: 77011 ... c Min unsat cost LB: 77012 ... c Min unsat cost LB: 77013 ... c Min unsat cost LB: 77014 ... c Min unsat cost LB: 77015 ... c Min unsat cost LB: 77020 ... c Min unsat cost LB: 77021 ... c Min unsat cost LB: 77023 ... c Min unsat cost LB: 77024 ... c Min unsat cost LB: 77027 ... c Min unsat cost LB: 77028 ... c Min unsat cost LB: 77031 ... c Min unsat cost LB: 77052 ... c Min unsat cost LB: 77056 ... c Min unsat cost LB: 77063 ... c Min unsat cost LB: 77070 ... c Min unsat cost LB: 77075 ... c Min unsat cost LB: 77076 ... c Min unsat cost LB: 77080 ... c Min unsat cost LB: 77081 ... c Min unsat cost LB: 77084 ... c Min unsat cost LB: 77085 ... c Min unsat cost LB: 77089 ... c Min unsat cost LB: 77091 ... c Min unsat cost LB: 77093 ... c Min unsat cost LB: 77094 ... c Min unsat cost LB: 77096 ... c Min unsat cost LB: 77097 ... c Min unsat cost LB: 77098 ... c Min unsat cost LB: 77099 ... c Min unsat cost LB: 77100 ... c Min unsat cost LB: 77101 ... c Min unsat cost LB: 77102 ... c Min unsat cost LB: 77103 ... c Min unsat cost LB: 77104 ... c Min unsat cost LB: 77105 ... c Min unsat cost LB: 77106 ... c Min unsat cost LB: 77107 ... c Min unsat cost LB: 77108 ... c Min unsat cost LB: 77109 ... c Min unsat cost LB: 77110 ... c Min unsat cost LB: 77117 ... c Min unsat cost LB: 77142 ... c Min unsat cost LB: 77146 ... c Min unsat cost LB: 77162 ... c Min unsat cost LB: 77174 ... c Min unsat cost LB: 77184 ... c Min unsat cost LB: 77187 ... c Min unsat cost LB: 77195 ... c Min unsat cost LB: 77197 ... c Min unsat cost LB: 77202 ... c Min unsat cost LB: 77204 ... c Min unsat cost LB: 77216 ... c Min unsat cost LB: 77217 ... c Min unsat cost LB: 77218 ... c Min unsat cost LB: 77219 ... c Min unsat cost LB: 77220 ... c Min unsat cost LB: 77225 ... c Min unsat cost LB: 77226 ... c Min unsat cost LB: 77232 ... c Min unsat cost LB: 77238 ... c Min unsat cost LB: 77244 ... c Min unsat cost LB: 77247 ... c Min unsat cost LB: 77248 ... c Min unsat cost LB: 77250 ... c Min unsat cost LB: 77255 ... c Min unsat cost LB: 77256 ... c Min unsat cost LB: 77261 ... c Min unsat cost LB: 77265 ... c Min unsat cost LB: 77266 ... c Min unsat cost LB: 77267 ... c Min unsat cost LB: 77276 ... c Min unsat cost LB: 77277 ... c Min unsat cost LB: 77278 ... c Min unsat cost LB: 77279 ... c Min unsat cost LB: 77283 ... c Min unsat cost LB: 77287 ... c Min unsat cost LB: 77291 ... c Min unsat cost LB: 77314 ... c Min unsat cost LB: 77324 ... c Min unsat cost LB: 77326 ... c Min unsat cost LB: 77330 ... c Min unsat cost LB: 77334 ... c Min unsat cost LB: 77350 ... c Min unsat cost LB: 77354 ... c Min unsat cost LB: 77355 ... c Min unsat cost LB: 77360 ... c Min unsat cost LB: 77373 ... c Min unsat cost LB: 77383 ... c Min unsat cost LB: 77385 ... c Min unsat cost LB: 77391 ... c Min unsat cost LB: 77392 ... c Min unsat cost LB: 77445 ... c Min unsat cost LB: 77446 ... c Min unsat cost LB: 77447 ... c Min unsat cost LB: 77448 ... c Min unsat cost LB: 77449 ... c Min unsat cost LB: 77450 ... c Min unsat cost LB: 77452 ... c Min unsat cost LB: 77454 ... c Min unsat cost LB: 77455 ... c Min unsat cost LB: 77456 ... c Min unsat cost LB: 77457 ... c Min unsat cost LB: 77458 ... c Min unsat cost LB: 77461 ... c Min unsat cost LB: 77462 ... c Min unsat cost LB: 77475 ... c Min unsat cost LB: 77476 ... c Min unsat cost LB: 77477 ... c Min unsat cost LB: 77478 ... c Min unsat cost LB: 77479 ... c Min unsat cost LB: 77480 ... c Min unsat cost LB: 77481 ... c Min unsat cost LB: 77482 ... c Min unsat cost LB: 77484 ... c Min unsat cost LB: 77486 ... c Min unsat cost LB: 77494 ... c Min unsat cost LB: 77496 ... c Min unsat cost LB: 77497 ... c Min unsat cost LB: 77522 ... c Min unsat cost LB: 77534 ... c Min unsat cost LB: 77540 ... c Min unsat cost LB: 77541 ... c Min unsat cost LB: 77542 ... c Min unsat cost LB: 77543 ... c Min unsat cost LB: 77544 ... c Min unsat cost LB: 77546 ... c Min unsat cost LB: 77547 ... c Min unsat cost LB: 77548 ... c Min unsat cost LB: 77549 ... c Min unsat cost LB: 77550 ... c Min unsat cost LB: 77551 ... c Min unsat cost LB: 77552 ... c Min unsat cost LB: 77553 ... c Min unsat cost LB: 77554 ... c Min unsat cost LB: 77555 ... c Min unsat cost LB: 77556 ... c Min unsat cost LB: 77557 ... c Min unsat cost LB: 77559 ... c Min unsat cost LB: 77560 ... c Min unsat cost LB: 77561 ... c Min unsat cost LB: 77566 ... c Min unsat cost LB: 77567 ... c Min unsat cost LB: 77569 ... c Min unsat cost LB: 77577 ... c Min unsat cost LB: 77583 ... c Min unsat cost LB: 77588 ... c Min unsat cost LB: 77589 ... c Min unsat cost LB: 77595 ... c Min unsat cost LB: 77596 ... c Min unsat cost LB: 77597 ... c Min unsat cost LB: 77599 ... c Min unsat cost LB: 77608 ... c Min unsat cost LB: 77630 ... c Min unsat cost LB: 77654 ... c Min unsat cost LB: 77656 ... c Min unsat cost LB: 77658 ... c Min unsat cost LB: 77661 ... c Min unsat cost LB: 77677 ... c Min unsat cost LB: 77678 ... c Min unsat cost LB: 77679 ... c Min unsat cost LB: 77682 ... c Min unsat cost LB: 77684 ... c Min unsat cost LB: 77689 ... c Min unsat cost LB: 77690 ... c Min unsat cost LB: 77691 ... c Min unsat cost LB: 77706 ... c Min unsat cost LB: 77722 ... c Min unsat cost LB: 77723 ... c Min unsat cost LB: 77724 ... c Min unsat cost LB: 77725 ... c Min unsat cost LB: 77726 ... c Min unsat cost LB: 77733 ... c Min unsat cost LB: 77736 ... c Min unsat cost LB: 77737 ... c Min unsat cost LB: 77746 ... c Min unsat cost LB: 77751 ... c Min unsat cost LB: 77757 ... c Min unsat cost LB: 77766 ... c Min unsat cost LB: 77767 ... c Min unsat cost LB: 77768 ... c Min unsat cost LB: 77777 ... c Min unsat cost LB: 77782 ... c Min unsat cost LB: 77783 ... c Min unsat cost LB: 77787 ... c Min unsat cost LB: 77790 ... c Min unsat cost LB: 77793 ... c Min unsat cost LB: 77798 ... c Min unsat cost LB: 77802 ... c Min unsat cost LB: 77810 ... c Min unsat cost LB: 77842 ... c Min unsat cost LB: 77843 ... c Min unsat cost LB: 77844 ... c Min unsat cost LB: 77845 ... c Min unsat cost LB: 77846 ... c Min unsat cost LB: 77847 ... c Min unsat cost LB: 77849 ... c Min unsat cost LB: 77850 ... c Min unsat cost LB: 77851 ... c Min unsat cost LB: 77854 ... c Min unsat cost LB: 77858 ... c Min unsat cost LB: 77859 ... c Min unsat cost LB: 77860 ... c Min unsat cost LB: 77861 ... c Min unsat cost LB: 77862 ... c Min unsat cost LB: 77864 ... c Min unsat cost LB: 77866 ... c Min unsat cost LB: 77868 ... c Min unsat cost LB: 77871 ... c Min unsat cost LB: 77872 ... c Min unsat cost LB: 77873 ... c Min unsat cost LB: 77876 ... c Min unsat cost LB: 77878 ... c Min unsat cost LB: 77879 ... c Min unsat cost LB: 77880 ... c Min unsat cost LB: 77881 ... c Min unsat cost LB: 77882 ... c Min unsat cost LB: 77884 ... c Min unsat cost LB: 77885 ... c Min unsat cost LB: 77886 ... c Min unsat cost LB: 77888 ... c Min unsat cost LB: 77889 ... c Min unsat cost LB: 77890 ... c Min unsat cost LB: 77891 ... c Min unsat cost LB: 77893 ... c Min unsat cost LB: 77894 ... c Min unsat cost LB: 77896 ... c Min unsat cost LB: 77898 ... c Min unsat cost LB: 77900 ... c Min unsat cost LB: 77904 ... c Min unsat cost LB: 77905 ... c Min unsat cost LB: 77906 ... c Min unsat cost LB: 77907 ... c Min unsat cost LB: 77908 ... c Min unsat cost LB: 77909 ... c Min unsat cost LB: 77910 ... c Min unsat cost LB: 77911 ... c Min unsat cost LB: 77912 ... c Min unsat cost LB: 77913 ... c Min unsat cost LB: 77914 ... c Min unsat cost LB: 77915 ... c Min unsat cost LB: 77916 ... c Min unsat cost LB: 77917 ... c Min unsat cost LB: 77918 ... c Min unsat cost LB: 77919 ... c Min unsat cost LB: 77920 ... c Min unsat cost LB: 77921 ... c Min unsat cost LB: 77922 ... c Min unsat cost LB: 77923 ... c Min unsat cost LB: 77928 ... c Min unsat cost LB: 77930 ... c Min unsat cost LB: 77931 ... c Min unsat cost LB: 77945 ... c Min unsat cost LB: 77947 ... c Min unsat cost LB: 77949 ... c Min unsat cost LB: 77958 ... c Min unsat cost LB: 77963 ... c Min unsat cost LB: 77964 ... c Min unsat cost LB: 77965 ... c Min unsat cost LB: 77970 ... c Min unsat cost LB: 77971 ... c Min unsat cost LB: 77972 ... c Min unsat cost LB: 77973 ... c Min unsat cost LB: 77974 ... c Min unsat cost LB: 77975 ... c Min unsat cost LB: 77976 ... c Min unsat cost LB: 77977 ... c Min unsat cost LB: 77978 ... c Min unsat cost LB: 77979 ... c Min unsat cost LB: 77980 ... c Min unsat cost LB: 77983 ... c Min unsat cost LB: 77984 ... c Min unsat cost LB: 77986 ... c Min unsat cost LB: 77987 ... c Min unsat cost LB: 77990 ... c Min unsat cost LB: 77991 ... c Min unsat cost LB: 77992 ... c Min unsat cost LB: 77993 ... c Min unsat cost LB: 78009 ... c Min unsat cost LB: 78010 ... c Min unsat cost LB: 78013 ... c Min unsat cost LB: 78014 ... c Min unsat cost LB: 78015 ... c Min unsat cost LB: 78016 ... c Min unsat cost LB: 78017 ... c Min unsat cost LB: 78018 ... c Min unsat cost LB: 78019 ... c Min unsat cost LB: 78020 ... c Min unsat cost LB: 78021 ... c Min unsat cost LB: 78022 ... c Min unsat cost LB: 78023 ... c Min unsat cost LB: 78024 ... c Min unsat cost LB: 78025 ... c Min unsat cost LB: 78026 ... c Min unsat cost LB: 78029 ... c Min unsat cost LB: 78030 ... c Min unsat cost LB: 78031 ... c Min unsat cost LB: 78032 ... c Min unsat cost LB: 78033 ... c Min unsat cost LB: 78034 ... c Min unsat cost LB: 78035 ... c Min unsat cost LB: 78037 ... c Min unsat cost LB: 78038 ... c Min unsat cost LB: 78039 ... c Min unsat cost LB: 78040 ... c Min unsat cost LB: 78041 ... c Min unsat cost LB: 78042 ... c Min unsat cost LB: 78043 ... c Min unsat cost LB: 78048 ... c Min unsat cost LB: 78052 ... c Min unsat cost LB: 78056 ... c Min unsat cost LB: 78057 ... c Min unsat cost LB: 78058 ... c Min unsat cost LB: 78073 ... c Min unsat cost LB: 78074 ... c Min unsat cost LB: 78091 ... c Min unsat cost LB: 78092 ... c Min unsat cost LB: 78098 ... c Min unsat cost LB: 78102 ... c Min unsat cost LB: 78105 ... c Min unsat cost LB: 78110 ... c Min unsat cost LB: 78118 ... c Min unsat cost LB: 78119 ... c Min unsat cost LB: 78121 ... c Min unsat cost LB: 78128 ... c Min unsat cost LB: 78129 ... c Min unsat cost LB: 78135 ... c Min unsat cost LB: 78148 ... c Min unsat cost LB: 78153 ... c Min unsat cost LB: 78155 ... c Min unsat cost LB: 78183 ... c Min unsat cost LB: 78186 ... c Min unsat cost LB: 78188 ... c Min unsat cost LB: 78190 ... c Min unsat cost LB: 78198 ... c Min unsat cost LB: 78201 ... c Min unsat cost LB: 78202 ... c Min unsat cost LB: 78203 ... c Min unsat cost LB: 78205 ... c Min unsat cost LB: 78206 ... c Min unsat cost LB: 78208 ... c Min unsat cost LB: 78209 ... c Min unsat cost LB: 78214 ... c Min unsat cost LB: 78215 ... c Min unsat cost LB: 78216 ... c Min unsat cost LB: 78217 ... c Min unsat cost LB: 78218 ... c Min unsat cost LB: 78219 ... c Min unsat cost LB: 78220 ... c Min unsat cost LB: 78221 ... c Min unsat cost LB: 78222 ... c Min unsat cost LB: 78223 ... c Min unsat cost LB: 78224 ... c Min unsat cost LB: 78225 ... c Min unsat cost LB: 78228 ... c Min unsat cost LB: 78229 ... c Min unsat cost LB: 78230 ... c Min unsat cost LB: 78231 ... c Min unsat cost LB: 78233 ... c Min unsat cost LB: 78243 ... c Min unsat cost LB: 78247 ... c Min unsat cost LB: 78253 ... c Min unsat cost LB: 78254 ... c Min unsat cost LB: 78255 ... c Min unsat cost LB: 78256 ... c Min unsat cost LB: 78257 ... c Min unsat cost LB: 78258 ... c Min unsat costKilled 1816.884u 2.850s 30:23.26 99.8% 0+0k 0+0io 0pf+0w