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_110_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0007.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_110_0007.txt.wcnf *** c c Min unsat cost LB: 412 ... c Min unsat cost LB: 1293 ... c Min unsat cost LB: 1388 ... c Min unsat cost LB: 2269 ... c Min unsat cost LB: 2997 ... c Min unsat cost LB: 3479 ... c Min unsat cost LB: 3774 ... c Min unsat cost LB: 4181 ... c Min unsat cost LB: 4593 ... c Min unsat cost LB: 5005 ... c Min unsat cost LB: 5043 ... c Min unsat cost LB: 5160 ... c Min unsat cost LB: 5610 ... c Min unsat cost LB: 5823 ... c Min unsat cost LB: 6551 ... c Min unsat cost LB: 6632 ... c Min unsat cost LB: 6977 ... c Min unsat cost LB: 7484 ... c Min unsat cost LB: 7717 ... c Min unsat cost LB: 8167 ... c Min unsat cost LB: 8249 ... c Min unsat cost LB: 8471 ... c Min unsat cost LB: 8566 ... c Min unsat cost LB: 8935 ... c Min unsat cost LB: 9289 ... c Min unsat cost LB: 9510 ... c Min unsat cost LB: 9853 ... c Min unsat cost LB: 10271 ... c Min unsat cost LB: 10984 ... c Min unsat cost LB: 11090 ... c Min unsat cost LB: 11969 ... c Min unsat cost LB: 12447 ... c Min unsat cost LB: 12505 ... c Min unsat cost LB: 12955 ... c Min unsat cost LB: 13834 ... c Min unsat cost LB: 13861 ... c Min unsat cost LB: 14215 ... c Min unsat cost LB: 14297 ... c Min unsat cost LB: 14526 ... c Min unsat cost LB: 15575 ... c Min unsat cost LB: 15600 ... c Min unsat cost LB: 16479 ... c Min unsat cost LB: 16859 ... c Min unsat cost LB: 17421 ... c Min unsat cost LB: 17699 ... c Min unsat cost LB: 17701 ... c Min unsat cost LB: 18201 ... c Min unsat cost LB: 18555 ... c Min unsat cost LB: 18637 ... c Min unsat cost LB: 18677 ... c Min unsat cost LB: 19170 ... c Min unsat cost LB: 19548 ... c Min unsat cost LB: 20066 ... c Min unsat cost LB: 20794 ... c Min unsat cost LB: 20872 ... c Min unsat cost LB: 21551 ... c Min unsat cost LB: 21727 ... c Min unsat cost LB: 21867 ... c Min unsat cost LB: 22191 ... c Min unsat cost LB: 22565 ... c Min unsat cost LB: 22569 ... c Min unsat cost LB: 22609 ... c Min unsat cost LB: 23081 ... c Min unsat cost LB: 23956 ... c Min unsat cost LB: 24123 ... c Min unsat cost LB: 24251 ... c Min unsat cost LB: 24800 ... c Min unsat cost LB: 25099 ... c Min unsat cost LB: 25963 ... c Min unsat cost LB: 26141 ... c Min unsat cost LB: 26814 ... c Min unsat cost LB: 27662 ... c Min unsat cost LB: 27875 ... c Min unsat cost LB: 28456 ... c Min unsat cost LB: 28467 ... c Min unsat cost LB: 29206 ... c Min unsat cost LB: 29907 ... c Min unsat cost LB: 30016 ... c Min unsat cost LB: 30034 ... c Min unsat cost LB: 30392 ... c Min unsat cost LB: 30575 ... c Min unsat cost LB: 31551 ... c Min unsat cost LB: 31959 ... c Min unsat cost LB: 31963 ... c Min unsat cost LB: 32001 ... c Min unsat cost LB: 32306 ... c Min unsat cost LB: 32413 ... c Min unsat cost LB: 32758 ... c Min unsat cost LB: 32896 ... c Min unsat cost LB: 33002 ... c Min unsat cost LB: 33978 ... c Min unsat cost LB: 34472 ... c Min unsat cost LB: 34507 ... c Min unsat cost LB: 34710 ... c Min unsat cost LB: 34988 ... c Min unsat cost LB: 35574 ... c Min unsat cost LB: 35742 ... c Min unsat cost LB: 36024 ... c Min unsat cost LB: 36099 ... c Min unsat cost LB: 36150 ... c Min unsat cost LB: 36181 ... c Min unsat cost LB: 36302 ... c Min unsat cost LB: 36384 ... c Min unsat cost LB: 36445 ... c Min unsat cost LB: 36545 ... c Min unsat cost LB: 36661 ... c Min unsat cost LB: 36799 ... c Min unsat cost LB: 36948 ... c Min unsat cost LB: 36949 ... c Min unsat cost LB: 37399 ... c Min unsat cost LB: 37628 ... c Min unsat cost LB: 37768 ... c Min unsat cost LB: 37823 ... c Min unsat cost LB: 37861 ... c Min unsat cost LB: 37865 ... c Min unsat cost LB: 37890 ... c Min unsat cost LB: 37892 ... c Min unsat cost LB: 38181 ... c Min unsat cost LB: 38304 ... c Min unsat cost LB: 38327 ... c Min unsat cost LB: 38427 ... c Min unsat cost LB: 38467 ... c Min unsat cost LB: 38565 ... c Min unsat cost LB: 38603 ... c Min unsat cost LB: 38663 ... c Min unsat cost LB: 38940 ... c Min unsat cost LB: 38960 ... c Min unsat cost LB: 39041 ... c Min unsat cost LB: 39070 ... c Min unsat cost LB: 39083 ... c Min unsat cost LB: 39118 ... c Min unsat cost LB: 39193 ... c Min unsat cost LB: 39202 ... c Min unsat cost LB: 39210 ... c Min unsat cost LB: 39301 ... c Min unsat cost LB: 39456 ... c Min unsat cost LB: 39491 ... c Min unsat cost LB: 39502 ... c Min unsat cost LB: 39509 ... c Min unsat cost LB: 39555 ... c Min unsat cost LB: 39765 ... c Min unsat cost LB: 39780 ... c Min unsat cost LB: 39825 ... c Min unsat cost LB: 39889 ... c Min unsat cost LB: 39967 ... c Min unsat cost LB: 40251 ... c Min unsat cost LB: 40275 ... c Min unsat cost LB: 40333 ... c Min unsat cost LB: 40347 ... c Min unsat cost LB: 40461 ... c Min unsat cost LB: 40579 ... c Min unsat cost LB: 40602 ... c Min unsat cost LB: 40677 ... c Min unsat cost LB: 40727 ... c Min unsat cost LB: 40732 ... c Min unsat cost LB: 40860 ... c Min unsat cost LB: 40873 ... c Min unsat cost LB: 40884 ... c Min unsat cost LB: 41019 ... c Min unsat cost LB: 41043 ... c Min unsat cost LB: 41318 ... c Min unsat cost LB: 41322 ... c Min unsat cost LB: 41334 ... c Min unsat cost LB: 41338 ... c Min unsat cost LB: 41346 ... c Min unsat cost LB: 41559 ... c Min unsat cost LB: 41586 ... c Min unsat cost LB: 41692 ... c Min unsat cost LB: 41710 ... c Min unsat cost LB: 41727 ... c Min unsat cost LB: 41784 ... c Min unsat cost LB: 41795 ... c Min unsat cost LB: 41810 ... c Min unsat cost LB: 41904 ... c Min unsat cost LB: 41926 ... c Min unsat cost LB: 41951 ... c Min unsat cost LB: 42055 ... c Min unsat cost LB: 42095 ... c Min unsat cost LB: 42278 ... c Min unsat cost LB: 42325 ... c Min unsat cost LB: 42333 ... c Min unsat cost LB: 42340 ... c Min unsat cost LB: 42390 ... c Min unsat cost LB: 42455 ... c Min unsat cost LB: 42487 ... c Min unsat cost LB: 42515 ... c Min unsat cost LB: 42538 ... c Min unsat cost LB: 42568 ... c Min unsat cost LB: 42572 ... c Min unsat cost LB: 42906 ... c Min unsat cost LB: 43063 ... c Min unsat cost LB: 43201 ... c Min unsat cost LB: 43224 ... c Min unsat cost LB: 43324 ... c Min unsat cost LB: 43382 ... c Min unsat cost LB: 43437 ... c Min unsat cost LB: 43455 ... c Min unsat cost LB: 43459 ... c Min unsat cost LB: 43479 ... c Min unsat cost LB: 43487 ... c Min unsat cost LB: 43576 ... c Min unsat cost LB: 43637 ... c Min unsat cost LB: 43668 ... c Min unsat cost LB: 43692 ... c Min unsat cost LB: 43695 ... c Min unsat cost LB: 43750 ... c Min unsat cost LB: 43760 ... c Min unsat cost LB: 43776 ... c Min unsat cost LB: 43801 ... c Min unsat cost LB: 43812 ... c Min unsat cost LB: 43813 ... c Min unsat cost LB: 43825 ... c Min unsat cost LB: 43919 ... c Min unsat cost LB: 44022 ... c Min unsat cost LB: 44025 ... c Min unsat cost LB: 44045 ... c Min unsat cost LB: 44052 ... c Min unsat cost LB: 44087 ... c Min unsat cost LB: 44095 ... c Min unsat cost LB: 44096 ... c Min unsat cost LB: 44100 ... c Min unsat cost LB: 44111 ... c Min unsat cost LB: 44137 ... c Min unsat cost LB: 44142 ... c Min unsat cost LB: 44157 ... c Min unsat cost LB: 44160 ... c Min unsat cost LB: 44176 ... c Min unsat cost LB: 44202 ... c Min unsat cost LB: 44209 ... c Min unsat cost LB: 44213 ... c Min unsat cost LB: 44284 ... c Min unsat cost LB: 44291 ... c Min unsat cost LB: 44304 ... c Min unsat cost LB: 44315 ... c Min unsat cost LB: 44327 ... c Min unsat cost LB: 44329 ... c Min unsat cost LB: 44338 ... c Min unsat cost LB: 44358 ... c Min unsat cost LB: 44368 ... c Min unsat cost LB: 44371 ... c Min unsat cost LB: 44391 ... c Min unsat cost LB: 44402 ... c Min unsat cost LB: 44403 ... c Min unsat cost LB: 44409 ... c Min unsat cost LB: 44425 ... c Min unsat cost LB: 44482 ... c Min unsat cost LB: 44486 ... c Min unsat cost LB: 44497 ... c Min unsat cost LB: 44579 ... c Min unsat cost LB: 44581 ... c Min unsat cost LB: 44591 ... c Min unsat cost LB: 44607 ... c Min unsat cost LB: 44610 ... c Min unsat cost LB: 44611 ... c Min unsat cost LB: 44619 ... c Min unsat cost LB: 44620 ... c Min unsat cost LB: 44631 ... c Min unsat cost LB: 44635 ... c Min unsat cost LB: 44645 ... c Min unsat cost LB: 44647 ... c Min unsat cost LB: 44654 ... c Min unsat cost LB: 44660 ... c Min unsat cost LB: 44700 ... c Min unsat cost LB: 44705 ... c Min unsat cost LB: 44720 ... c Min unsat cost LB: 44732 ... c Min unsat cost LB: 44734 ... c Min unsat cost LB: 44746 ... c Min unsat cost LB: 44755 ... c Min unsat cost LB: 44764 ... c Min unsat cost LB: 44796 ... c Min unsat cost LB: 44814 ... c Min unsat cost LB: 44829 ... c Min unsat cost LB: 44832 ... c Min unsat cost LB: 44836 ... c Min unsat cost LB: 44837 ... c Min unsat cost LB: 44838 ... c Min unsat cost LB: 44845 ... c Min unsat cost LB: 44846 ... c Min unsat cost LB: 44852 ... c Min unsat cost LB: 44853 ... c Min unsat cost LB: 44855 ... c Min unsat cost LB: 44860 ... c Min unsat cost LB: 44861 ... c Min unsat cost LB: 44866 ... c Min unsat cost LB: 44870 ... c Min unsat cost LB: 44872 ... c Min unsat cost LB: 44874 ... c Min unsat cost LB: 44882 ... c Min unsat cost LB: 44884 ... c Min unsat cost LB: 44888 ... c Min unsat cost LB: 44905 ... c Min unsat cost LB: 44906 ... c Min unsat cost LB: 44909 ... c Min unsat cost LB: 44914 ... c Min unsat cost LB: 44915 ... c Min unsat cost LB: 44916 ... c Min unsat cost LB: 44917 ... c Min unsat cost LB: 44919 ... c Min unsat cost LB: 44920 ... c Min unsat cost LB: 44922 ... c Min unsat cost LB: 44924 ... c Min unsat cost LB: 44932 ... c Min unsat cost LB: 44933 ... c Min unsat cost LB: 44934 ... c Min unsat cost LB: 44941 ... c Min unsat cost LB: 44949 ... c Min unsat cost LB: 44953 ... c Min unsat cost LB: 44956 ... c Min unsat cost LB: 44960 ... c Min unsat cost LB: 44963 ... c Min unsat cost LB: 44964 ... c Min unsat cost LB: 44965 ... c Min unsat cost LB: 44972 ... c Min unsat cost LB: 44974 ... c Min unsat cost LB: 44983 ... c Min unsat cost LB: 45002 ... c Min unsat cost LB: 45009 ... c Min unsat cost LB: 45044 ... c Min unsat cost LB: 45049 ... c Min unsat cost LB: 45050 ... c Min unsat cost LB: 45056 ... c Min unsat cost LB: 45060 ... c Min unsat cost LB: 45071 ... c Min unsat cost LB: 45083 ... c Min unsat cost LB: 45084 ... c Min unsat cost LB: 45085 ... c Min unsat cost LB: 45088 ... c Min unsat cost LB: 45097 ... c Min unsat cost LB: 45115 ... c Min unsat cost LB: 45117 ... c Min unsat cost LB: 45122 ... c Min unsat cost LB: 45123 ... c Min unsat cost LB: 45126 ... c Min unsat cost LB: 45135 ... c Min unsat cost LB: 45146 ... c Min unsat cost LB: 45150 ... c Min unsat cost LB: 45151 ... c Min unsat cost LB: 45153 ... c Min unsat cost LB: 45157 ... c Min unsat cost LB: 45162 ... c Min unsat cost LB: 45163 ... c Min unsat cost LB: 45164 ... c Min unsat cost LB: 45165 ... c Min unsat cost LB: 45166 ... c Min unsat cost LB: 45168 ... c Min unsat cost LB: 45169 ... c Min unsat cost LB: 45170 ... c Min unsat cost LB: 45171 ... c Min unsat cost LB: 45172 ... c Min unsat cost LB: 45173 ... c Min unsat cost LB: 45193 ... c Min unsat cost LB: 45221 ... c Min unsat cost LB: 45222 ... c Min unsat cost LB: 45225 ... c Min unsat cost LB: 45227 ... c Min unsat cost LB: 45228 ... c Min unsat cost LB: 45229 ... c Min unsat cost LB: 45230 ... c Min unsat cost LB: 45232 ... c Min unsat cost LB: 45233 ... c Min unsat cost LB: 45234 ... c Min unsat cost LB: 45235 ... c Min unsat cost LB: 45247 ... c Min unsat cost LB: 45248 ... c Min unsat cost LB: 45250 ... c Min unsat cost LB: 45251 ... c Min unsat cost LB: 45252 ... c Min unsat cost LB: 45254 ... c Min unsat cost LB: 45255 ... c Min unsat cost LB: 45256 ... c Min unsat cost LB: 45261 ... c Min unsat cost LB: 45262 ... c Min unsat cost LB: 45266 ... c Min unsat cost LB: 45269 ... c Min unsat cost LB: 45270 ... c Min unsat cost LB: 45271 ... c Min unsat cost LB: 45272 ... c Min unsat cost LB: 45273 ... c Min unsat cost LB: 45274 ... c Min unsat cost LB: 45275 ... c Min unsat cost LB: 45276 ... c Min unsat cost LB: 45277 ... c Min unsat cost LB: 45278 ... c Min unsat cost LB: 45279 ... c Min unsat cost LB: 45280 ... c Min unsat cost LB: 45281 ... c Min unsat cost LB: 45282 ... c Min unsat cost LB: 45284 ... c Min unsat cost LB: 45285 ... c Min unsat cost LB: 45300 ... c Min unsat cost LB: 45301 ... c Min unsat cost LB: 45303 ... c Min unsat cost LB: 45304 ... c Min unsat cost LB: 45305 ... c Min unsat cost LB: 45306 ... c Min unsat cost LB: 45307 ... c Min unsat cost LB: 45310 ... c Min unsat cost LB: 45314 ... c Min unsat cost LB: 45315 ... c Min unsat cost LB: 45316 ... c Min unsat cost LB: 45327 ... c Min unsat cost LB: 45328 ... c Min unsat cost LB: 45330 ... c Min unsat cost LB: 45331 ... c Min unsat cost LB: 45338 ... c Min unsat cost LB: 45339 ... c Min unsat cost LB: 45341 ... c Min unsat cost LB: 45342 ... c Min unsat cost LB: 45343 ... c Min unsat cost LB: 45344 ... c Min unsat cost LB: 45346 ... c Min unsat cost LB: 45349 ... c Min unsat cost LB: 45352 ... c Min unsat cost LB: 45354 ... c Min unsat cost LB: 45372 ... c Min unsat cost LB: 45375 ... c Min unsat cost LB: 45376 ... c Min unsat cost LB: 45384 ... c Min unsat cost LB: 45385 ... c Min unsat cost LB: 45387 ... c Min unsat cost LB: 45388 ... c Min unsat cost LB: 45389 ... c Min unsat cost LB: 45392 ... c Min unsat cost LB: 45396 ... c Min unsat cost LB: 45407 ... c Min unsat cost LB: 45408 ... c Min unsat cost LB: 45409 ... c Min unsat cost LB: 45410 ... c Min unsat cost LB: 45411 ... c Min unsat cost LB: 45412 ... c Min unsat cost LB: 45413 ... c Min unsat cost LB: 45414 ... c Min unsat cost LB: 45415 ... c Min unsat cost LB: 45422 ... c Min unsat cost LB: 45423 ... c Min unsat cost LB: 45424 ... c Min unsat cost LB: 45426 ... c Min unsat cost LB: 45428 ... c Min unsat cost LB: 45429 ... c Min unsat cost LB: 45437 ... c Min unsat cost LB: 45439 ... c Min unsat cost LB: 45444 ... c Min unsat cost LB: 45448 ... c Min unsat cost LB: 45450 ... c Min unsat cost LB: 45451 ... c Min unsat cost LB: 45456 ... c Min unsat cost LB: 45457 ... c Min unsat cost LB: 45458 ... c Min unsat cost LB: 45459 ... c Min unsat cost LB: 45460 ... c Min unsat cost LB: 45461 ... c Min unsat cost LB: 45462 ... c Min unsat cost LB: 45465 ... c Min unsat cost LB: 45483 ... c Min unsat cost LB: 45486 ... c Min unsat cost LB: 45487 ... c Min unsat cost LB: 45488 ... c Min unsat cost LB: 45491 ... c Min unsat cost LB: 45494 ... c Min unsat cost LB: 45495 ... c Min unsat cost LB: 45496 ... c Min unsat cost LB: 45498 ... c Min unsat cost LB: 45499 ... c Min unsat cost LB: 45500 ... c Min unsat cost LB: 45501 ... c Min unsat cost LB: 45509 ... c Min unsat cost LB: 45510 ... c Min unsat cost LB: 45511 ... c Min unsat cost LB: 45512 ... c Min unsat cost LB: 45517 ... c Min unsat cost LB: 45518 ... c Min unsat cost LB: 45519 ... c Min unsat cost LB: 45522 ... c Min unsat cost LB: 45523 ... c Min unsat cost LB: 45524 ... c Min unsat cost LB: 45525 ... c Min unsat cost LB: 45526 ... c Min unsat cost LB: 45527 ... c Min unsat cost LB: 45530 ... c Min unsat cost LB: 45531 ... c Min unsat cost LB: 45532 ... c Min unsat cost LB: 45533 ... c Min unsat cost LB: 45535 ... c Min unsat cost LB: 45543 ... c Min unsat cost LB: 45544 ... c Min unsat cost LB: 45563 ... c Min unsat cost LB: 45567 ... c Min unsat cost LB: 45572 ... c Min unsat cost LB: 45574 ... c Min unsat cost LB: 45575 ... c Min unsat cost LB: 45576 ... c Min unsat cost LB: 45578 ... c Min unsat cost LB: 45579 ... c Min unsat cost LB: 45580 ... c Min unsat cost LB: 45581 ... c Min unsat cost LB: 45582 ... c Min unsat cost LB: 45583 ... c Min unsat cost LB: 45584 ... c Min unsat cost LB: 45585 ... c Min unsat cost LB: 45586 ... c Min unsat cost LB: 45587 ... c Min unsat cost LB: 45588 ... c Min unsat cost LB: 45589 ... c Min unsat cost LB: 45590 ... c Min unsat cost LB: 45591 ... c Min unsat cost LB: 45592 ... c Min unsat cost LB: 45595 ... c Min unsat cost LB: 45597 ... c Min unsat cost LB: 45599 ... c Min unsat cost LB: 45600 ... c Min unsat cost LB: 45603 ... c Min unsat cost LB: 45608 ... c Min unsat cost LB: 45620 ... c Min unsat cost LB: 45624 ... c Min unsat cost LB: 45627 ... c Min unsat cost LB: 45628 ... c Min unsat cost LB: 45629 ... c Min unsat cost LB: 45631 ... c Min unsat cost LB: 45632 ... c Min unsat cost LB: 45635 ... c Min unsat cost LB: 45636 ... c Min unsat cost LB: 45638 ... c Min unsat cost LB: 45641 ... c Min unsat cost LB: 45642 ... c Min unsat cost LB: 45644 ... c Min unsat cost LB: 45649 ... c Min unsat cost LB: 45650 ... c Min unsat cost LB: 45653 ... c Min unsat cost LB: 45654 ... c Min unsat cost LB: 45655 ... c Min unsat cost LB: 45656 ... c Min unsat cost LB: 45657 ... c Min unsat cost LB: 45658 ... c Min unsat cost LB: 45659 ... c Min unsat cost LB: 45660 ... c Min unsat cost LB: 45661 ... c Min unsat cost LB: 45662 ... c Min unsat cost LB: 45663 ... c Min unsat cost LB: 45664 ... c Min unsat cost LB: 45665 ... c Min unsat cost LB: 45666 ... c Min unsat cost LB: 45667 ... c Min unsat cost LB: 45668 ... c Min unsat cost LB: 45669 ... c Min unsat cost LB: 45670 ... c Min unsat cost LB: 45671 ... c Min unsat cost LB: 45672 ... c Min unsat cost LB: 45673 ... c Min unsat cost LB: 45674 ... c Min unsat cost LB: 45675 ... c Min unsat cost LB: 45676 ... c Min unsat cost LB: 45677 ... c Min unsat cost LB: 45678 ... c Min unsat cost LB: 45679 ... c Min unsat cost LB: 45680 ... c Min unsat cost LB: 45681 ... c Min unsat cost LB: 45682 ... c Min unsat cost LB: 45683 ... c Min unsat cost LB: 45684 ... c Min unsat cost LB: 45685 ... c Min unsat cost LB: 45686 ... c Min unsat cost LB: 45687 ... c Min unsat cost LB: 45688 ... c Min unsat cost LB: 45756 ... c Min unsat cost LB: 45757 ... c Min unsat cost LB: 45758 ... c Min unsat cost LB: 45759 ... c Min unsat cost LB: 45760 ... c Min unsat cost LB: 45764 ... c Min unsat cost LB: 45766 ... c Min unsat cost LB: 45775 ... c Min unsat cost LB: 45776 ... c Min unsat cost LB: 45777 ... c Min unsat cost LB: 45779 ... c Min unsat cost LB: 45780 ... c Min unsat cost LB: 45782 ... c Min unsat cost LB: 45783 ... c Min unsat cost LB: 45784 ... c Min unsat cost LB: 45785 ... c Min unsat cost LB: 45786 ... c Min unsat cost LB: 45787 ... c Min unsat cost LB: 45788 ... c Min unsat cost LB: 45789 ... c Min unsat cost LB: 45790 ... c Min unsat cost LB: 45791 ... c Min unsat cost LB: 45792 ... c Min unsat cost LB: 45793 ... c Min unsat cost LB: 45794 ... c Min unsat cost LB: 45795 ... c Min unsat cost LB: 45796 ... c Min unsat cost LB: 45798 ... c Min unsat cost LB: 45799 ... c Min unsat cost LB: 45809 ... c Min unsat cost LB: 45818 ... c Min unsat cost LB: 45819 ... c Min unsat cost LB: 45820 ... c Min unsat cost LB: 45821 ... c Min unsat cost LB: 45825 ... c Min unsat cost LB: 45826 ... c Min unsat cost LB: 45827 ... c Min unsat cost LB: 45828 ... c Min unsat cost LB: 45829 ... c Min unsat cost LB: 45830 ... c Min unsat cost LB: 45831 ... c Min unsat cost LB: 45832 ... c Min unsat cost LB: 45833 ... c Min unsat cost LB: 45835 ... c Min unsat cost LB: 45840 ... c Min unsat cost LB: 45865 ... c Min unsat cost LB: 45866 ... c Min unsat cost LB: 45879 ... c Min unsat cost LB: 45880 ... c Min unsat cost LB: 45881 ... c Min unsat cost LB: 45882 ... c Min unsat cost LB: 45883 ... c Min unsat cost LB: 45884 ... c Min unsat cost LB: 45885 ... c Min unsat cost LB: 45886 ... c Min unsat cost LB: 45889 ... c Min unsat cost LB: 45890 ... c Min unsat cost LB: 45891 ... c Min unsat cost LB: 45893 ... c Min unsat cost LB: 45894 ... c Min unsat cost LB: 45897 ... c Min unsat cost LB: 45898 ... c Min unsat cost LB: 45899 ... c Min unsat cost LB: 45900 ... c Min unsat cost LB: 45901 ... c Min unsat cost LB: 45911 ... c Min unsat cost LB: 45921 ... c Min unsat cost LB: 45923 ... c Min unsat cost LB: 45925 ... c Min unsat cost LB: 45933 ... c Min unsat cost LB: 45934 ... c Min unsat cost LB: 45941 ... c Min unsat cost LB: 45942 ... c Min unsat cost LB: 45944 ... c Min unsat cost LB: 45975 ... c Min unsat cost LB: 45976 ... c Min unsat cost LB: 45977 ... c Min unsat cost LB: 45978 ... c Min unsat cost LB: 45979 ... c Min unsat cost LB: 45981 ... c Min unsat cost LB: 45983 ... c Min unsat cost LB: 45994 ... c Min unsat cost LB: 46000 ... c Min unsat cost LB: 46001 ... c Min unsat cost LB: 46003 ... c Min unsat cost LB: 46005 ... c Min unsat cost LB: 46011 ... c Min unsat cost LB: 46013 ... c Min unsat cost LB: 46014 ... c Min unsat cost LB: 46015 ... c Min unsat cost LB: 46016 ... c Min unsat cost LB: 46017 ... c Min unsat cost LB: 46018 ... c Min unsat cost LB: 46019 ... c Min unsat cost LB: 46020 ... c Min unsat cost LB: 46021 ... c Min unsat cost LB: 46022 ... c Min unsat cost LB: 46023 ... c Min unsat cost LB: 46024 ... c Min unsat cost LB: 46047 ... c Min unsat cost LB: 46070 ... c Min unsat cost LB: 46071 ... c Min unsat cost LB: 46072 ... c Min unsat cost LB: 46074 ... c Min unsat cost LB: 46082 ... c Min unsat cost LB: 46090 ... c Min unsat cost LB: 46096 ... c Min unsat cost LB: 46098 ... c Min unsat cost LB: 46099 ... c Min unsat cost LB: 46100 ... c Min unsat cost LB: 46101 ... c Min unsat cost LB: 46102 ... c Min unsat cost LB: 46103 ... c Min unsat cost LB: 46104 ... c Min unsat cost LB: 46105 ... c Min unsat cost LB: 46106 ... c Min unsat cost LB: 46115 ... c Min unsat cost LB: 46135 ... c Min unsat cost LB: 46136 ... c Min unsat cost LB: 46137 ... c Min unsat cost LB: 46143 ... c Min unsat cost LB: 46152 ... c Min unsat cost LB: 46153 ... c Min unsat cost LB: 46154 ... c Min unsat cost LB: 46156 ... c Min unsat cost LB: 46160 ... c Min unsat cost LB: 46161 ... c Min unsat cost LB: 46162 ... c Min unsat cost LB: 46163 ... c Min unsat cost LB: 46166 ... c Min unsat cost LB: 46167 ... c Min unsat cost LB: 46168 ... c Min unsat cost LB: 46169 ... c Min unsat cost LB: 46170 ... c Min unsat cost LB: 46171 ... c Min unsat cost LB: 46172 ... c Min unsat cost LB: 46173 ... c Min unsat cost LB: 46175 ... c Min unsat cost LB: 46176 ... c Min unsat cost LB: 46177 ... c Min unsat cost LB: 46178 ... c Min unsat cost LB: 46179 ... c Min unsat cost LB: 46180 ... c Min unsat cost LB: 46181 ... c Min unsat cost LB: 46182 ... c Min unsat cost LB: 46183 ... c Min unsat cost LB: 46184 ... c Min unsat cost LB: 46185 ... c Min unsat cost LB: 46186 ... c Min unsat cost LB: 46187 ... c Min unsat cost LB: 46188 ... c Min unsat cost LB: 46189 ... c Min unsat cost LB: 46190 ... c Min unsat cost LB: 46191 ... c Min unsat cost LB: 46192 ... c Min unsat cost LB: 46193 ... c Min unsat cost LB: 46194 ... c Min unsat cost LB: 46195 ... c Min unsat cost LB: 46196 ... c Min unsat cost LB: 46197 ... c Min unsat cost LB: 46198 ... c Min unsat cost LB: 46199 ... c Min unsat cost LB: 46200 ... c Min unsat cost LB: 46201 ... c Min unsat cost LB: 46202 ... c Min unsat cost LB: 46203 ... c Min unsat cost LB: 46204 ... c Min unsat cost LB: 46205 ... c Min unsat cost LB: 46206 ... c Min unsat cost LB: 46207 ... c Min unsat cost LB: 46208 ... c Min unsat cost LB: 46209 ... c Min unsat cost LB: 46210 ... c Min unsat cost LB: 46211 ... c Min unsat cost LB: 46212 ... c Min unsat cost LB: 46213 ... c Min unsat cost LB: 46214 ... c Min unsat cost LB: 46215 ... c Min unsat cost LB: 46229 ... c Min unsat cost LB: 46231 ... c Min unsat cost LB: 46238 ... c Min unsat cost LB: 46242 ... c Min unsat cost LB: 46243 ... c Min unsat cost LB: 46244 ... c Min unsat cost LB: 46245 ... c Min unsat cost LB: 46247 ... c Min unsat cost LB: 46248 ... c Min unsat cost LB: 46249 ... c Min unsat cost LB: 46250 ... c Min unsat cost LB: 46251 ... c Min unsat cost LB: 46252 ... c Min unsat cost LB: 46253 ... c Min unsat cost LB: 46254 ... c Min unsat cost LB: 46255 ... c Min unsat cost LB: 46256 ... c Min unsat cost LB: 46257 ... c Min unsat cost LB: 46258 ... c Min unsat cost LB: 46259 ... c Min unsat cost LB: 46260 ... c Min unsat cost LB: 46261 ... c Min unsat cost LB: 46262 ... c Min unsat cost LB: 46268 ... c Min unsat cost LB: 46269 ... c Min unsat cost LB: 46270 ... c Min unsat cost LB: 46271 ... c Min unsat cost LB: 46272 ... c Min unsat cost LB: 46273 ... c Min unsat cost LB: 46274 ... c Min unsat cost LB: 46275 ... c Min unsat cost LB: 46276 ... c Min unsat cost LB: 46277 ... c Min unsat cost LB: 46278 ... c Min unsat cost LB: 46279 ... c Min unsat cost LB: 46280 ... c Min unsat cost LB: 46281 ... c Min unsat cost LB: 46282 ... c Min unsat cost LB: 46283 ... c Min unsat cost LB: 46284 ... c Min unsat cost LB: 46285 ... c Min unsat cost LB: 46289 ... c Min unsat cost LB: 46294 ... c Min unsat cost LB: 46295 ... c Min unsat cost LB: 46296 ... c Min unsat cost LB: 46299 ... c Min unsat cost LB: 46301 ... c Min unsat cost LB: 46307 ... c Min unsat cost LB: 46308 ... c Min unsat cost LB: 46309 ... c Min unsat cost LB: 46310 ... c Min unsat cost LB: 46311 ... c Min unsat cost LB: 46312 ... c Min unsat cost LB: 46314 ... c Min unsat cost LB: 46315 ... c Min unsat cost LB: 46316 ... c Min unsat cost LB: 46318 ... c Min unsat cost LB: 46319 ... c Min unsat cost LB: 46320 ... c Min unsat cost LB: 46321 ... c Min unsat cost LB: 46323 ... c Min unsat cost LB: 46325 ... c Min unsat cost LB: 46326 ... c Min unsat cost LB: 46327 ... c Min unsat cost LB: 46328 ... c Min unsat cost LB: 46329 ... c Min unsat cost LB: 46330 ... c Min unsat cost LB: 46331 ... c Min unsat cost LB: 46332 ... c Min unsat cost LB: 46333 ... c Min unsat cost LB: 46334 ... c Min unsat cost LB: 46335 ... c Min unsat cost LB: 46336 ... c Min unsat cost LB: 46337 ... c Min unsat cost LB: 46338 ... c Min unsat cost LB: 46339 ... c Min unsat cost LB: 46340 ... c Min unsat cost LB: 46341 ... c Min unsat cost LB: 46342 ... c Min unsat cost LB: 46343 ... c Min unsat cost LB: 46344 ... c Min unsat cost LB: 46345 ... c Min unsat cost LB: 46346 ... c Min unsat cost LB: 46347 ... c Min unsat cost LB: 46348 ... c Min unsat cost LB: 46349 ... c Min unsat cost LB: 46350 ... c Min unsat cost LB: 46351 ... c Min unsat cost LB: 46352 ... c Min unsat cost LB: 46353 ... c Min unsat cost LB: 46354 ... c Min unsat cost LB: 46355 ... c Min unsat cost LB: 46356 ... c Min unsat cost LB: 46357 ... c Min unsat cost LB: 46358 ... c Min unsat cost LB: 46359 ... c Min unsat cost LB: 46360 ... c Min unsat cost LB: 46361 ... c Min unsat cost LB: 46362 ... c Min unsat cost LB: 46363 ... c Min unsat cost LB: 46364 ... c Min unsat cost LB: 46365 ... c Min unsat cost LB: 46366 ... c Min unsat cost LB: 46367 ... c Min unsat cost LB: 46368 ... c Min unsat cost LB: 46369 ... c Min unsat cost LB: 46370 ... c Min unsat cost LB: 46371 ... c Min unsat cost LB: 46372 ... c Min unsat cost LB: 46373 ... c Min unsat cost LB: 46374 ... c Min unsat cost LB: 46375 ... c Min unsat cost LB: 46378 ... c Min unsat cost LB: 46379 ... c Min unsat cost LB: 46381 ... c Min unsat cost LB: 46384 ... c Min unsat cost LB: 46385 ... c Min unsat cost LB: 46386 ... c Min unsat cost LB: 46387 ... c Min unsat cost LB: 46388 ... c Min unsat cost LB: 46389 ... c Min unsat cost LB: 46392 ... c Min unsat cost LB: 46394 ... c Min unsat cost LB: 46395 ... c Min unsat cost LB: 46404 ... c Min unsat cost LB: 46406 ... c Min unsat cost LB: 46414 ... c Min unsat cost LB: 46415 ... c Min unsat cost LB: 46417 ... c Min unsat cost LB: 46421 ... c Min unsat cost LB: 46425 ... c Min unsat cost LB: 46432 ... c Min unsat cost LB: 46433 ... c Min unsat cost LB: 46434 ... c Min unsat cost LB: 46435 ... c Min unsat cost LB: 46447 ... c Min unsat cost LB: 46461 ... c Min unsat cost LB: 46462 ... c Min unsat cost LB: 46463 ... c Min unsat cost LB: 46464 ... c Min unsat cost LB: 46465 ... c Min unsat cost LB: 46466 ... c Min unsat cost LB: 46467 ... c Min unsat cost LB: 46468 ... c Min unsat cost LB: 46469 ... c Min unsat cost LB: 46470 ... c Min unsat cost LB: 46471 ... c Min unsat cost LB: 46472 ... c Min unsat cost LB: 46473 ... c Min unsat cost LB: 46474 ... c Min unsat cost LB: 46475 ... c Min unsat cost LB: 46476 ... c Min unsat cost LB: 46477 ... c Min unsat cost LB: 46478 ... c Min unsat cost LB: 46479 ... c Min unsat cost LB: 46480 ... c Min unsat cost LB: 46481 ... c Min unsat cost LB: 46482 ... c Min unsat cost LB: 46483 ... c Min unsat cost LB: 46484 ... c Min unsat cost LB: 46485 ... c Min unsat cost LB: 46486 ... c Min unsat cost LB: 46487 ... c Min unsat cost LB: 46488 ... c Min unsat cost LB: 46489 ... c Min unsat cost LB: 46490 ... c Min unsat cost LB: 46491 ... c Min unsat cost LB: 46492 ... c Min unsat cost LB: 46493 ... c Min unsat cost LB: 46494 ... c Min unsat cost LB: 46495 ... c Min unsat cost LB: 46496 ... c Min unsat cost LB: 46497 ... c Min unsat cost LB: 46498 ... c Min unsat cost LB: 46499 ... c Min unsat cost LB: 46500 ... c Min unsat cost LB: 46501 ... c Min unsat cost LB: 46502 ... c Min unsat cost LB: 46503 ... c Min unsat cost LB: 46504 ... c Min unsat cost LB: 46505 ... c Min unsat cost LB: 46506 ... c Min unsat cost LB: 46507 ... c Min unsat cost LB: 46508 ... c Min unsat cost LB: 46509 ... c Min unsat cost LB: 46680 ... c Min unsat cost LB: 46681 ... c Min unsat cost LB: 46682 ... c Min unsat cost LB: 46683 ... c Min unsat cost LB: 46684 ... c Min unsat cost LB: 46686 ... c Min unsat cost LB: 46687 ... c Min unsat cost LB: 46697 ... c Min unsat cost LB: 46698 ... c Min unsat cost LB: 46699 ... c Min unsat cost LB: 46700 ... c Min unsat cost LB: 46701 ... c Min unsat cost LB: 46702 ... c Min unsat cost LB: 46703 ... c Min unsat cost LB: 46704 ... c Min unsat cost LB: 46707 ... c Min unsat cost LB: 46708 ... c Min unsat cost LB: 46709 ... c Min unsat cost LB: 46713 ... c Min unsat cost LB: 46714 ... c Min unsat cost LB: 46720 ... c Min unsat cost LB: 46721 ... c Min unsat cost LB: 46722 ... c Min unsat cost LB: 46723 ... c Min unsat cost LB: 46724 ... c Min unsat cost LB: 46725 ... c Min unsat cost LB: 46726 ... c Min unsat cost LB: 46727 ... c Min unsat cost LB: 46728 ... c Min unsat cost LB: 46729 ... c Min unsat cost LB: 46730 ... c Min unsat cost LB: 46731 ... c Min unsat cost LB: 46732 ... c Min unsat cost LB: 46733 ... c Min unsat cost LB: 46734 ... c Min unsat cost LB: 46735 ... c Min unsat cost LB: 46736 ... c Min unsat cost LB: 46737 ... c Min unsat cost LB: 46739 ... c Min unsat cost LB: 46740 ... c Min unsat cost LB: 46741 ... c Min unsat cost LB: 46742 ... c Min unsat cost LB: 46743 ... c Min unsat cost LB: 46744 ... c Min unsat cost LB: 46745 ... c Min unsat cost LB: 46746 ... c Min unsat cost LB: 46747 ... c Min unsat cost LB: 46748 ... c Min unsat cost LB: 46749 ... c Min unsat cost LB: 46750 ... c Min unsat cost LB: 46751 ... c Min unsat cost LB: 46752 ... c Min unsat cost LB: 46753 ... c Min unsat cost LB: 46754 ... c Min unsat cost LB: 46755 ... c Min unsat cost LB: 46756 ... c Min unsat cost LB: 46757 ... c Min unsat cost LB: 46758 ... c Min unsat cost LB: 46759 ... c Min unsat cost LB: 46760 ... c Min unsat cost LB: 46761 ... c Min unsat cost LB: 46762 ... c Min unsat cost LB: 46763 ... c Min unsat cost LB: 46764 ... c Min unsat cost LB: 46765 ... c Min unsat cost LB: 46766 ... c Min unsat cost LB: 46767 ... c Min unsat cost LB: 46768 ... c Min unsat cost LB: 46769 ... c Min unsat cost LB: 46770 ... c Min unsat cost LB: 46771 ... c Min unsat cost LB: 46772 ... c Min unsat cost LB: 46773 ... c Min unsat cost LB: 46774 ... c Min unsat cost LB: 46775 ... c Min unsat cost LB: 46776 ... c Min unsat cost LB: 46777 ... c Min unsat cost LB: 46778 ... c Min unsat cost LB: 46779 ... c Min unsat cost LB: 46780 ... c Min unsat cost LB: 46781 ... c Min unsat cost LB: 46782 ... c Min unsat cost LB: 46783 ... c Min unsat cost LB: 46784 ... c Min unsat cost LB: 46785 ... c Min unsat cost LB: 46786 ... c Min unsat cost LB: 46787 ... c Min unsat cost LB: 46788 ... c Min unsat cost LB: 46789 ... c Min unsat cost LB: 46790 ... c Min unsat cost LB: 46791 ... c Min unsat cost LB: 46792 ... c Min unsat cost LB: 46793 ... c Min unsat cost LB: 46794 ... c Min unsat cost LB: 46795 ... c Min unsat cost LB: 46796 ... c Min unsat cost LB: 46797 ... c Min unsat cost LB: 46798 .Killed 1812.693u 7.055s 30:20.73 99.9% 0+0k 0+0io 0pf+0w