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_120_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0001.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_120_0001.txt.wcnf *** c c Min unsat cost LB: 726 ... c Min unsat cost LB: 821 ... c Min unsat cost LB: 1696 ... c Min unsat cost LB: 2422 ... c Min unsat cost LB: 3148 ... c Min unsat cost LB: 3260 ... c Min unsat cost LB: 3788 ... c Min unsat cost LB: 3843 ... c Min unsat cost LB: 4626 ... c Min unsat cost LB: 4718 ... c Min unsat cost LB: 5227 ... c Min unsat cost LB: 5828 ... c Min unsat cost LB: 6138 ... c Min unsat cost LB: 6287 ... c Min unsat cost LB: 7125 ... c Min unsat cost LB: 7765 ... c Min unsat cost LB: 8580 ... c Min unsat cost LB: 9207 ... c Min unsat cost LB: 10082 ... c Min unsat cost LB: 10189 ... c Min unsat cost LB: 10790 ... c Min unsat cost LB: 10921 ... c Min unsat cost LB: 11736 ... c Min unsat cost LB: 12425 ... c Min unsat cost LB: 13235 ... c Min unsat cost LB: 13770 ... c Min unsat cost LB: 14112 ... c Min unsat cost LB: 14647 ... c Min unsat cost LB: 15182 ... c Min unsat cost LB: 15372 ... c Min unsat cost LB: 15563 ... c Min unsat cost LB: 15622 ... c Min unsat cost LB: 15952 ... c Min unsat cost LB: 16101 ... c Min unsat cost LB: 16609 ... c Min unsat cost LB: 17245 ... c Min unsat cost LB: 17569 ... c Min unsat cost LB: 18292 ... c Min unsat cost LB: 18728 ... c Min unsat cost LB: 19710 ... c Min unsat cost LB: 19928 ... c Min unsat cost LB: 20362 ... c Min unsat cost LB: 20477 ... c Min unsat cost LB: 20856 ... c Min unsat cost LB: 20884 ... c Min unsat cost LB: 21226 ... c Min unsat cost LB: 21433 ... c Min unsat cost LB: 21474 ... c Min unsat cost LB: 21703 ... c Min unsat cost LB: 22137 ... c Min unsat cost LB: 22878 ... c Min unsat cost LB: 23167 ... c Min unsat cost LB: 23815 ... c Min unsat cost LB: 24022 ... c Min unsat cost LB: 24261 ... c Min unsat cost LB: 24342 ... c Min unsat cost LB: 24468 ... c Min unsat cost LB: 25306 ... c Min unsat cost LB: 25604 ... c Min unsat cost LB: 26231 ... c Min unsat cost LB: 26972 ... c Min unsat cost LB: 27051 ... c Min unsat cost LB: 27319 ... c Min unsat cost LB: 27949 ... c Min unsat cost LB: 28073 ... c Min unsat cost LB: 28669 ... c Min unsat cost LB: 29044 ... c Min unsat cost LB: 29595 ... c Min unsat cost LB: 29785 ... c Min unsat cost LB: 30310 ... c Min unsat cost LB: 30694 ... c Min unsat cost LB: 30710 ... c Min unsat cost LB: 31132 ... c Min unsat cost LB: 31323 ... c Min unsat cost LB: 31467 ... c Min unsat cost LB: 31893 ... c Min unsat cost LB: 31972 ... c Min unsat cost LB: 32067 ... c Min unsat cost LB: 32477 ... c Min unsat cost LB: 32732 ... c Min unsat cost LB: 32814 ... c Min unsat cost LB: 32978 ... c Min unsat cost LB: 32995 ... c Min unsat cost LB: 33320 ... c Min unsat cost LB: 33508 ... c Min unsat cost LB: 33942 ... c Min unsat cost LB: 34021 ... c Min unsat cost LB: 34171 ... c Min unsat cost LB: 34297 ... c Min unsat cost LB: 34499 ... c Min unsat cost LB: 34737 ... c Min unsat cost LB: 34750 ... c Min unsat cost LB: 34881 ... c Min unsat cost LB: 34886 ... c Min unsat cost LB: 34944 ... c Min unsat cost LB: 34985 ... c Min unsat cost LB: 35036 ... c Min unsat cost LB: 35095 ... c Min unsat cost LB: 35174 ... c Min unsat cost LB: 35229 ... c Min unsat cost LB: 35336 ... c Min unsat cost LB: 35489 ... c Min unsat cost LB: 35543 ... c Min unsat cost LB: 35634 ... c Min unsat cost LB: 35719 ... c Min unsat cost LB: 35725 ... c Min unsat cost LB: 35963 ... c Min unsat cost LB: 36205 ... c Min unsat cost LB: 36286 ... c Min unsat cost LB: 36373 ... c Min unsat cost LB: 36717 ... c Min unsat cost LB: 36796 ... c Min unsat cost LB: 36839 ... c Min unsat cost LB: 36939 ... c Min unsat cost LB: 36946 ... c Min unsat cost LB: 36967 ... c Min unsat cost LB: 36974 ... c Min unsat cost LB: 36991 ... c Min unsat cost LB: 37014 ... c Min unsat cost LB: 37044 ... c Min unsat cost LB: 37159 ... c Min unsat cost LB: 37242 ... c Min unsat cost LB: 37691 ... c Min unsat cost LB: 38039 ... c Min unsat cost LB: 38387 ... c Min unsat cost LB: 38591 ... c Min unsat cost LB: 38661 ... c Min unsat cost LB: 38934 ... c Min unsat cost LB: 39093 ... c Min unsat cost LB: 39175 ... c Min unsat cost LB: 39243 ... c Min unsat cost LB: 39310 ... c Min unsat cost LB: 39332 ... c Min unsat cost LB: 39844 ... c Min unsat cost LB: 39929 ... c Min unsat cost LB: 40131 ... c Min unsat cost LB: 40145 ... c Min unsat cost LB: 40276 ... c Min unsat cost LB: 40561 ... c Min unsat cost LB: 40566 ... c Min unsat cost LB: 40572 ... c Min unsat cost LB: 40786 ... c Min unsat cost LB: 40836 ... c Min unsat cost LB: 40846 ... c Min unsat cost LB: 40931 ... c Min unsat cost LB: 40959 ... c Min unsat cost LB: 40972 ... c Min unsat cost LB: 41023 ... c Min unsat cost LB: 41026 ... c Min unsat cost LB: 41108 ... c Min unsat cost LB: 41204 ... c Min unsat cost LB: 41271 ... c Min unsat cost LB: 41280 ... c Min unsat cost LB: 41395 ... c Min unsat cost LB: 41418 ... c Min unsat cost LB: 41449 ... c Min unsat cost LB: 41494 ... c Min unsat cost LB: 41533 ... c Min unsat cost LB: 41645 ... c Min unsat cost LB: 41712 ... c Min unsat cost LB: 41729 ... c Min unsat cost LB: 41736 ... c Min unsat cost LB: 41818 ... c Min unsat cost LB: 41885 ... c Min unsat cost LB: 41979 ... c Min unsat cost LB: 42009 ... c Min unsat cost LB: 42023 ... c Min unsat cost LB: 42053 ... c Min unsat cost LB: 42148 ... c Min unsat cost LB: 42166 ... c Min unsat cost LB: 42287 ... c Min unsat cost LB: 42450 ... c Min unsat cost LB: 42514 ... c Min unsat cost LB: 42546 ... c Min unsat cost LB: 42612 ... c Min unsat cost LB: 42625 ... c Min unsat cost LB: 42695 ... c Min unsat cost LB: 42709 ... c Min unsat cost LB: 42727 ... c Min unsat cost LB: 42791 ... c Min unsat cost LB: 42793 ... c Min unsat cost LB: 42811 ... c Min unsat cost LB: 42832 ... c Min unsat cost LB: 42915 ... c Min unsat cost LB: 42945 ... c Min unsat cost LB: 42951 ... c Min unsat cost LB: 42976 ... c Min unsat cost LB: 42982 ... c Min unsat cost LB: 43023 ... c Min unsat cost LB: 43039 ... c Min unsat cost LB: 43169 ... c Min unsat cost LB: 43180 ... c Min unsat cost LB: 43235 ... c Min unsat cost LB: 43239 ... c Min unsat cost LB: 43289 ... c Min unsat cost LB: 43318 ... c Min unsat cost LB: 43323 ... c Min unsat cost LB: 43414 ... c Min unsat cost LB: 43474 ... c Min unsat cost LB: 43491 ... c Min unsat cost LB: 43501 ... c Min unsat cost LB: 43505 ... c Min unsat cost LB: 43538 ... c Min unsat cost LB: 43558 ... c Min unsat cost LB: 43576 ... c Min unsat cost LB: 43591 ... c Min unsat cost LB: 43649 ... c Min unsat cost LB: 43654 ... c Min unsat cost LB: 43666 ... c Min unsat cost LB: 43700 ... c Min unsat cost LB: 43775 ... c Min unsat cost LB: 43906 ... c Min unsat cost LB: 43934 ... c Min unsat cost LB: 44064 ... c Min unsat cost LB: 44176 ... c Min unsat cost LB: 44369 ... c Min unsat cost LB: 44380 ... c Min unsat cost LB: 44504 ... c Min unsat cost LB: 44547 ... c Min unsat cost LB: 44562 ... c Min unsat cost LB: 44589 ... c Min unsat cost LB: 44638 ... c Min unsat cost LB: 44717 ... c Min unsat cost LB: 44976 ... c Min unsat cost LB: 45014 ... c Min unsat cost LB: 45066 ... c Min unsat cost LB: 45082 ... c Min unsat cost LB: 45091 ... c Min unsat cost LB: 45098 ... c Min unsat cost LB: 45111 ... c Min unsat cost LB: 45142 ... c Min unsat cost LB: 45145 ... c Min unsat cost LB: 45165 ... c Min unsat cost LB: 45179 ... c Min unsat cost LB: 45182 ... c Min unsat cost LB: 45223 ... c Min unsat cost LB: 45228 ... c Min unsat cost LB: 45321 ... c Min unsat cost LB: 45330 ... c Min unsat cost LB: 45331 ... c Min unsat cost LB: 45356 ... c Min unsat cost LB: 45381 ... c Min unsat cost LB: 45387 ... c Min unsat cost LB: 45393 ... c Min unsat cost LB: 45401 ... c Min unsat cost LB: 45471 ... c Min unsat cost LB: 45555 ... c Min unsat cost LB: 45556 ... c Min unsat cost LB: 45559 ... c Min unsat cost LB: 45608 ... c Min unsat cost LB: 45610 ... c Min unsat cost LB: 45614 ... c Min unsat cost LB: 45616 ... c Min unsat cost LB: 45639 ... c Min unsat cost LB: 45661 ... c Min unsat cost LB: 45682 ... c Min unsat cost LB: 45687 ... c Min unsat cost LB: 45693 ... c Min unsat cost LB: 45702 ... c Min unsat cost LB: 45713 ... c Min unsat cost LB: 45716 ... c Min unsat cost LB: 45746 ... c Min unsat cost LB: 45776 ... c Min unsat cost LB: 45825 ... c Min unsat cost LB: 45830 ... c Min unsat cost LB: 45892 ... c Min unsat cost LB: 45898 ... c Min unsat cost LB: 45922 ... c Min unsat cost LB: 45926 ... c Min unsat cost LB: 45939 ... c Min unsat cost LB: 45951 ... c Min unsat cost LB: 45956 ... c Min unsat cost LB: 45961 ... c Min unsat cost LB: 45974 ... c Min unsat cost LB: 45975 ... c Min unsat cost LB: 45980 ... c Min unsat cost LB: 45985 ... c Min unsat cost LB: 45986 ... c Min unsat cost LB: 45987 ... c Min unsat cost LB: 45991 ... c Min unsat cost LB: 45993 ... c Min unsat cost LB: 45995 ... c Min unsat cost LB: 45997 ... c Min unsat cost LB: 46013 ... c Min unsat cost LB: 46014 ... c Min unsat cost LB: 46024 ... c Min unsat cost LB: 46029 ... c Min unsat cost LB: 46043 ... c Min unsat cost LB: 46073 ... c Min unsat cost LB: 46075 ... c Min unsat cost LB: 46081 ... c Min unsat cost LB: 46101 ... c Min unsat cost LB: 46103 ... c Min unsat cost LB: 46110 ... c Min unsat cost LB: 46145 ... c Min unsat cost LB: 46155 ... c Min unsat cost LB: 46161 ... c Min unsat cost LB: 46165 ... c Min unsat cost LB: 46166 ... c Min unsat cost LB: 46173 ... c Min unsat cost LB: 46183 ... c Min unsat cost LB: 46191 ... c Min unsat cost LB: 46201 ... c Min unsat cost LB: 46205 ... c Min unsat cost LB: 46207 ... c Min unsat cost LB: 46213 ... c Min unsat cost LB: 46214 ... c Min unsat cost LB: 46228 ... c Min unsat cost LB: 46238 ... c Min unsat cost LB: 46313 ... c Min unsat cost LB: 46314 ... c Min unsat cost LB: 46315 ... c Min unsat cost LB: 46322 ... c Min unsat cost LB: 46323 ... c Min unsat cost LB: 46325 ... c Min unsat cost LB: 46328 ... c Min unsat cost LB: 46329 ... c Min unsat cost LB: 46335 ... c Min unsat cost LB: 46340 ... c Min unsat cost LB: 46350 ... c Min unsat cost LB: 46352 ... c Min unsat cost LB: 46374 ... c Min unsat cost LB: 46375 ... c Min unsat cost LB: 46376 ... c Min unsat cost LB: 46378 ... c Min unsat cost LB: 46381 ... c Min unsat cost LB: 46385 ... c Min unsat cost LB: 46386 ... c Min unsat cost LB: 46388 ... c Min unsat cost LB: 46390 ... c Min unsat cost LB: 46396 ... c Min unsat cost LB: 46397 ... c Min unsat cost LB: 46403 ... c Min unsat cost LB: 46410 ... c Min unsat cost LB: 46414 ... c Min unsat cost LB: 46415 ... c Min unsat cost LB: 46417 ... c Min unsat cost LB: 46434 ... c Min unsat cost LB: 46456 ... c Min unsat cost LB: 46461 ... c Min unsat cost LB: 46472 ... c Min unsat cost LB: 46473 ... c Min unsat cost LB: 46476 ... c Min unsat cost LB: 46482 ... c Min unsat cost LB: 46485 ... c Min unsat cost LB: 46488 ... c Min unsat cost LB: 46504 ... c Min unsat cost LB: 46506 ... c Min unsat cost LB: 46510 ... c Min unsat cost LB: 46512 ... c Min unsat cost LB: 46513 ... c Min unsat cost LB: 46517 ... c Min unsat cost LB: 46536 ... c Min unsat cost LB: 46541 ... c Min unsat cost LB: 46546 ... c Min unsat cost LB: 46551 ... c Min unsat cost LB: 46560 ... c Min unsat cost LB: 46611 ... c Min unsat cost LB: 46613 ... c Min unsat cost LB: 46614 ... c Min unsat cost LB: 46617 ... c Min unsat cost LB: 46623 ... c Min unsat cost LB: 46624 ... c Min unsat cost LB: 46629 ... c Min unsat cost LB: 46648 ... c Min unsat cost LB: 46649 ... c Min unsat cost LB: 46654 ... c Min unsat cost LB: 46655 ... c Min unsat cost LB: 46657 ... c Min unsat cost LB: 46658 ... c Min unsat cost LB: 46659 ... c Min unsat cost LB: 46661 ... c Min unsat cost LB: 46663 ... c Min unsat cost LB: 46664 ... c Min unsat cost LB: 46665 ... c Min unsat cost LB: 46666 ... c Min unsat cost LB: 46667 ... c Min unsat cost LB: 46668 ... c Min unsat cost LB: 46669 ... c Min unsat cost LB: 46670 ... c Min unsat cost LB: 46671 ... c Min unsat cost LB: 46672 ... c Min unsat cost LB: 46676 ... c Min unsat cost LB: 46678 ... c Min unsat cost LB: 46682 ... c Min unsat cost LB: 46684 ... c Min unsat cost LB: 46688 ... c Min unsat cost LB: 46736 ... c Min unsat cost LB: 46744 ... c Min unsat cost LB: 46751 ... c Min unsat cost LB: 46752 ... c Min unsat cost LB: 46754 ... c Min unsat cost LB: 46769 ... c Min unsat cost LB: 46776 ... c Min unsat cost LB: 46778 ... c Min unsat cost LB: 46782 ... c Min unsat cost LB: 46791 ... c Min unsat cost LB: 46796 ... c Min unsat cost LB: 46801 ... c Min unsat cost LB: 46802 ... c Min unsat cost LB: 46809 ... c Min unsat cost LB: 46810 ... c Min unsat cost LB: 46821 ... c Min unsat cost LB: 46822 ... c Min unsat cost LB: 46823 ... c Min unsat cost LB: 46826 ... c Min unsat cost LB: 46831 ... c Min unsat cost LB: 46833 ... c Min unsat cost LB: 46855 ... c Min unsat cost LB: 46856 ... c Min unsat cost LB: 46858 ... c Min unsat cost LB: 46860 ... c Min unsat cost LB: 46863 ... c Min unsat cost LB: 46864 ... c Min unsat cost LB: 46865 ... c Min unsat cost LB: 46868 ... c Min unsat cost LB: 46869 ... c Min unsat cost LB: 46870 ... c Min unsat cost LB: 46871 ... c Min unsat cost LB: 46872 ... c Min unsat cost LB: 46873 ... c Min unsat cost LB: 46874 ... c Min unsat cost LB: 46876 ... c Min unsat cost LB: 46879 ... c Min unsat cost LB: 46887 ... c Min unsat cost LB: 46888 ... c Min unsat cost LB: 46889 ... c Min unsat cost LB: 46890 ... c Min unsat cost LB: 46891 ... c Min unsat cost LB: 46892 ... c Min unsat cost LB: 46894 ... c Min unsat cost LB: 46899 ... c Min unsat cost LB: 46901 ... c Min unsat cost LB: 46917 ... c Min unsat cost LB: 46927 ... c Min unsat cost LB: 46953 ... c Min unsat cost LB: 46957 ... c Min unsat cost LB: 46958 ... c Min unsat cost LB: 46959 ... c Min unsat cost LB: 46960 ... c Min unsat cost LB: 46961 ... c Min unsat cost LB: 46962 ... c Min unsat cost LB: 46963 ... c Min unsat cost LB: 46965 ... c Min unsat cost LB: 46966 ... c Min unsat cost LB: 46969 ... c Min unsat cost LB: 46970 ... c Min unsat cost LB: 46972 ... c Min unsat cost LB: 46974 ... c Min unsat cost LB: 46977 ... c Min unsat cost LB: 46981 ... c Min unsat cost LB: 46985 ... c Min unsat cost LB: 46987 ... c Min unsat cost LB: 46989 ... c Min unsat cost LB: 46991 ... c Min unsat cost LB: 46993 ... c Min unsat cost LB: 46995 ... c Min unsat cost LB: 47003 ... c Min unsat cost LB: 47004 ... c Min unsat cost LB: 47006 ... c Min unsat cost LB: 47008 ... c Min unsat cost LB: 47009 ... c Min unsat cost LB: 47011 ... c Min unsat cost LB: 47014 ... c Min unsat cost LB: 47016 ... c Min unsat cost LB: 47017 ... c Min unsat cost LB: 47018 ... c Min unsat cost LB: 47020 ... c Min unsat cost LB: 47027 ... c Min unsat cost LB: 47030 ... c Min unsat cost LB: 47031 ... c Min unsat cost LB: 47034 ... c Min unsat cost LB: 47052 ... c Min unsat cost LB: 47055 ... c Min unsat cost LB: 47057 ... c Min unsat cost LB: 47058 ... c Min unsat cost LB: 47059 ... c Min unsat cost LB: 47060 ... c Min unsat cost LB: 47063 ... c Min unsat cost LB: 47064 ... c Min unsat cost LB: 47066 ... c Min unsat cost LB: 47067 ... c Min unsat cost LB: 47068 ... c Min unsat cost LB: 47070 ... c Min unsat cost LB: 47071 ... c Min unsat cost LB: 47075 ... c Min unsat cost LB: 47078 ... c Min unsat cost LB: 47080 ... c Min unsat cost LB: 47081 ... c Min unsat cost LB: 47086 ... c Min unsat cost LB: 47087 ... c Min unsat cost LB: 47088 ... c Min unsat cost LB: 47092 ... c Min unsat cost LB: 47094 ... c Min unsat cost LB: 47095 ... c Min unsat cost LB: 47096 ... c Min unsat cost LB: 47097 ... c Min unsat cost LB: 47098 ... c Min unsat cost LB: 47099 ... c Min unsat cost LB: 47100 ... c Min unsat cost LB: 47101 ... c Min unsat cost LB: 47102 ... c Min unsat cost LB: 47103 ... c Min unsat cost LB: 47104 ... c Min unsat cost LB: 47105 ... c Min unsat cost LB: 47106 ... c Min unsat cost LB: 47107 ... c Min unsat cost LB: 47108 ... c Min unsat cost LB: 47109 ... c Min unsat cost LB: 47110 ... c Min unsat cost LB: 47111 ... c Min unsat cost LB: 47112 ... c Min unsat cost LB: 47115 ... c Min unsat cost LB: 47117 ... c Min unsat cost LB: 47125 ... c Min unsat cost LB: 47128 ... c Min unsat cost LB: 47183 ... c Min unsat cost LB: 47184 ... c Min unsat cost LB: 47185 ... c Min unsat cost LB: 47189 ... c Min unsat cost LB: 47190 ... c Min unsat cost LB: 47191 ... c Min unsat cost LB: 47192 ... c Min unsat cost LB: 47193 ... c Min unsat cost LB: 47195 ... c Min unsat cost LB: 47199 ... c Min unsat cost LB: 47204 ... c Min unsat cost LB: 47208 ... c Min unsat cost LB: 47209 ... c Min unsat cost LB: 47210 ... c Min unsat cost LB: 47211 ... c Min unsat cost LB: 47212 ... c Min unsat cost LB: 47213 ... c Min unsat cost LB: 47215 ... c Min unsat cost LB: 47216 ... c Min unsat cost LB: 47217 ... c Min unsat cost LB: 47218 ... c Min unsat cost LB: 47219 ... c Min unsat cost LB: 47220 ... c Min unsat cost LB: 47221 ... c Min unsat cost LB: 47222 ... c Min unsat cost LB: 47224 ... c Min unsat cost LB: 47225 ... c Min unsat cost LB: 47226 ... c Min unsat cost LB: 47227 ... c Min unsat cost LB: 47228 ... c Min unsat cost LB: 47229 ... c Min unsat cost LB: 47230 ... c Min unsat cost LB: 47231 ... c Min unsat cost LB: 47232 ... c Min unsat cost LB: 47233 ... c Min unsat cost LB: 47234 ... c Min unsat cost LB: 47238 ... c Min unsat cost LB: 47239 ... c Min unsat cost LB: 47240 ... c Min unsat cost LB: 47245 ... c Min unsat cost LB: 47254 ... c Min unsat cost LB: 47258 ... c Min unsat cost LB: 47260 ... c Min unsat cost LB: 47263 ... c Min unsat cost LB: 47266 ... c Min unsat cost LB: 47267 ... c Min unsat cost LB: 47271 ... c Min unsat cost LB: 47298 ... c Min unsat cost LB: 47302 ... c Min unsat cost LB: 47303 ... c Min unsat cost LB: 47330 ... c Min unsat cost LB: 47342 ... c Min unsat cost LB: 47347 ... c Min unsat cost LB: 47350 ... c Min unsat cost LB: 47364 ... c Min unsat cost LB: 47365 ... c Min unsat cost LB: 47368 ... c Min unsat cost LB: 47369 ... c Min unsat cost LB: 47370 ... c Min unsat cost LB: 47371 ... c Min unsat cost LB: 47372 ... c Min unsat cost LB: 47373 ... c Min unsat cost LB: 47374 ... c Min unsat cost LB: 47375 ... c Min unsat cost LB: 47382 ... c Min unsat cost LB: 47383 ... c Min unsat cost LB: 47400 ... c Min unsat cost LB: 47403 ... c Min unsat cost LB: 47409 ... c Min unsat cost LB: 47413 ... c Min unsat cost LB: 47424 ... c Min unsat cost LB: 47429 ... c Min unsat cost LB: 47432 ... c Min unsat cost LB: 47433 ... c Min unsat cost LB: 47434 ... c Min unsat cost LB: 47435 ... c Min unsat cost LB: 47438 ... c Min unsat cost LB: 47439 ... c Min unsat cost LB: 47440 ... c Min unsat cost LB: 47441 ... c Min unsat cost LB: 47442 ... c Min unsat cost LB: 47443 ... c Min unsat cost LB: 47444 ... c Min unsat cost LB: 47447 ... c Min unsat cost LB: 47449 ... c Min unsat cost LB: 47450 ... c Min unsat cost LB: 47451 ... c Min unsat cost LB: 47452 ... c Min unsat cost LB: 47453 ... c Min unsat cost LB: 47454 ... c Min unsat cost LB: 47455 ... c Min unsat cost LB: 47456 ... c Min unsat cost LB: 47457 ... c Min unsat cost LB: 47458 ... c Min unsat cost LB: 47459 ... c Min unsat cost LB: 47460 ... c Min unsat cost LB: 47461 ... c Min unsat cost LB: 47462 ... c Min unsat cost LB: 47463 ... c Min unsat cost LB: 47464 ... c Min unsat cost LB: 47465 ... c Min unsat cost LB: 47466 ... c Min unsat cost LB: 47467 ... c Min unsat cost LB: 47468 ... c Min unsat cost LB: 47469 ... c Min unsat cost LB: 47470 ... c Min unsat cost LB: 47477 ... c Min unsat cost LB: 47504 ... c Min unsat cost LB: 47510 ... c Min unsat cost LB: 47526 ... c Min unsat cost LB: 47533 ... c Min unsat cost LB: 47536 ... c Min unsat cost LB: 47543 ... c Min unsat cost LB: 47551 ... c Min unsat cost LB: 47555 ... c Min unsat cost LB: 47560 ... c Min unsat cost LB: 47564 ... c Min unsat cost LB: 47565 ... c Min unsat cost LB: 47566 ... c Min unsat cost LB: 47567 ... c Min unsat cost LB: 47568 ... c Min unsat cost LB: 47569 ... c Min unsat cost LB: 47570 ... c Min unsat cost LB: 47573 ... c Min unsat cost LB: 47575 ... c Min unsat cost LB: 47582 ... c Min unsat cost LB: 47586 ... c Min unsat cost LB: 47588 ... c Min unsat cost LB: 47593 ... c Min unsat cost LB: 47595 ... c Min unsat cost LB: 47596 ... c Min unsat cost LB: 47599 ... c Min unsat cost LB: 47600 ... c Min unsat cost LB: 47601 ... c Min unsat cost LB: 47602 ... c Min unsat cost LB: 47603 ... c Min unsat cost LB: 47604 ... c Min unsat cost LB: 47605 ... c Min unsat cost LB: 47606 ... c Min unsat cost LB: 47607 ... c Min unsat cost LB: 47613 ... c Min unsat cost LB: 47617 ... c Min unsat cost LB: 47620 ... c Min unsat cost LB: 47623 ... c Min unsat cost LB: 47624 ... c Min unsat cost LB: 47625 ... c Min unsat cost LB: 47637 ... c Min unsat cost LB: 47648 ... c Min unsat cost LB: 47649 ... c Min unsat cost LB: 47650 ... c Min unsat cost LB: 47651 ... c Min unsat cost LB: 47653 ... c Min unsat cost LB: 47654 ... c Min unsat cost LB: 47657 ... c Min unsat cost LB: 47660 ... c Min unsat cost LB: 47661 ... c Min unsat cost LB: 47665 ... c Min unsat cost LB: 47666 ... c Min unsat cost LB: 47667 ... c Min unsat cost LB: 47668 ... c Min unsat cost LB: 47669 ... c Min unsat cost LB: 47670 ... c Min unsat cost LB: 47672 ... c Min unsat cost LB: 47673 ... c Min unsat cost LB: 47674 ... c Min unsat cost LB: 47675 ... c Min unsat cost LB: 47676 ... c Min unsat cost LB: 47677 ... c Min unsat cost LB: 47678 ... c Min unsat cost LB: 47679 ... c Min unsat cost LB: 47680 ... c Min unsat cost LB: 47681 ... c Min unsat cost LB: 47682 ... c Min unsat cost LB: 47683 ... c Min unsat cost LB: 47699 ... c Min unsat cost LB: 47700 ... c Min unsat cost LB: 47707 ... c Min unsat cost LB: 47708 ... c Min unsat cost LB: 47712 ... c Min unsat cost LB: 47718 ... c Min unsat cost LB: 47732 ... c Min unsat cost LB: 47733 ... c Min unsat cost LB: 47734 ... c Min unsat cost LB: 47739 ... c Min unsat cost LB: 47745 ... c Min unsat cost LB: 47803 ... c Min unsat cost LB: 47805 ... c Min unsat cost LB: 47810 ... c Min unsat cost LB: 47826 ... c Min unsat cost LB: 47830 ... c Min unsat cost LB: 47832 ... c Min unsat cost LB: 47836 ... c Min unsat cost LB: 47838 ... c Min unsat cost LB: 47847 ... c Min unsat cost LB: 47849 ... c Min unsat cost LB: 47850 ... c Min unsat cost LB: 47852 ... c Min unsat cost LB: 47854 ... c Min unsat cost LB: 47856 ... c Min unsat cost LB: 47871 ... c Min unsat cost LB: 47872 ... c Min unsat cost LB: 47873 ... c Min unsat cost LB: 47875 ... c Min unsat cost LB: 47876 ... c Min unsat cost LB: 47877 ... c Min unsat cost LB: 47881 ... c Min unsat cost LB: 47886 ... c Min unsat cost LB: 47889 ... c Min unsat cost LB: 47890 ... c Min unsat cost LB: 47891 ... c Min unsat cost LB: 47892 ... c Min unsat cost LB: 47893 ... c Min unsat cost LB: 47894 ... c Min unsat cost LB: 47895 ... c Min unsat cost LB: 47896 ... c Min unsat cost LB: 47897 ... c Min unsat cost LB: 47898 ... c Min unsat cost LB: 47899 ... c Min unsat cost LB: 47901 ... c Min unsat cost LB: 47902 ... c Min unsat cost LB: 47904 ... c Min unsat cost LB: 47905 ... c Min unsat cost LB: 47906 ... c Min unsat cost LB: 47907 ... c Min unsat cost LB: 47909 ... c Min unsat cost LB: 47911 ... c Min unsat cost LB: 47915 ... c Min unsat cost LB: 47916 ... c Min unsat cost LB: 47917 ... c Min unsat cost LB: 47918 ... c Min unsat cost LB: 47919 ... c Min unsat cost LB: 47920 ... c Min unsat cost LB: 47921 ... c Min unsat cost LB: 47922 ... c Min unsat cost LB: 47923 ... c Min unsat cost LB: 47924 ... c Min unsat cost LB: 47925 ... c Min unsat cost LB: 47926 ... c Min unsat cost LB: 47927 ... c Min unsat cost LB: 47928 ... c Min unsat cost LB: 47929 ... c Min unsat cost LB: 47930 ... c Min unsat cost LB: 47931 ... c Min unsat cost LB: 47932 ... c Min unsat cost LB: 47933 ... c Min unsat cost LB: 47934 ... c Min unsat cost LB: 47935 ... c Min unsat cost LB: 47936 ... c Min unsat cost LB: 47937 ... c Min unsat cost LB: 47938 ... c Min unsat cost LB: 47940 ... c Min unsat cost LB: 47941 ... c Min unsat cost LB: 47942 ... c Min unsat cost LB: 47943 ... c Min unsat cost LB: 47944 ... c Min unsat cost LB: 47945 ... c Min unsat cost LB: 47946 ... c Min unsat cost LB: 47947 ... c Min unsat cost LB: 47948 ... c Min unsat cost LB: 47949 ... c Min unsat cost LB: 47950 ... c Min unsat cost LB: 47951 ... c Min unsat cost LB: 47952 ... c Min unsat cost LB: 47953 ... c Min unsat cost LB: 47954 ... c Min unsat cost LB: 47955 ... c Min unsat cost LB: 47956 ... c Min unsat cost LB: 47957 ... c Min unsat cost LB: 47958 ... c Min unsat cost LB: 47959 ... c Min unsat cost LB: 47960 ... c Min unsat cost LB: 47961 ... c Min unsat cost LB: 47962 ... c Min unsat cost LB: 47963 ... c Min unsat cost LB: 47964 ... c Min unsat cost LB: 47965 ... c Min unsat cost LB: 47966 ... c Min unsat cost LB: 47968 ... c Min unsat cost LB: 47969 ... c Min unsat cost LB: 47970 ... c Min unsat cost LB: 47971 ... c Min unsat cost LB: 47972 ... c Min unsat cost LB: 47973 ... c Min unsat cost LB: 47974 ... c Min unsat cost LB: 47975 ... c Min unsat cost LB: 47976 ... c Min unsat cost LB: 47977 ... c Min unsat cost LB: 47978 ... c Min unsat cost LB: 47979 ... c Min unsat cost LB: 47980 ... c Min unsat cost LB: 47981 ... c Min unsat cost LB: 47982 ... c Min unsat cost LB: 47983 ... c Min unsat cost LB: 47984 ... c Min unsat cost LB: 47985 ... c Min unsat cost LB: 47986 ... c Min unsat cost LB: 47987 ... c Min unsat cost LB: 47988 ... c Min unsat cost LB: 47989 ... c Min unsat cost LB: 47990 ... c Min unsat cost LB: 47991 ... c Min unsat cost LB: 47992 ... c Min unsat cost LB: 47993 ... c Min unsat cost LB: 47994 ... c Min unsat cost LB: 47995 ... c Min unsat cost LB: 47998 ... c Min unsat cost LB: 47999 ... c Min unsat cost LB: 48000 ... c Min unsat cost LB: 48001 ... c Min unsat cost LB: 48002 ... c Min unsat cost LB: 48006 ... c Min unsat cost LB: 48007 ... c Min unsat cost LB: 48008 ... c Min unsat cost LB: 48009 ... c Min unsat cost LB: 48010 ... c Min unsat cost LB: 48011 ... c Min unsat cost LB: 48012 ... c Min unsat cost LB: 48013 ... c Min unsat cost LB: 48014 ... c Min unsat cost LB: 48015 ... c Min unsat cost LB: 48016 ... c Min unsat cost LB: 48017 ... c Min unsat cost LB: 48018 ... c Min unsat cost LB: 48019 ... c Min unsat cost LB: 48020 ... c Min unsat cost LB: 48021 ... c Min unsat cost LB: 48022 ... c Min unsat cost LB: 48023 ... c Min unsat cost LB: 48024 ... c Min unsat cost LB: 48025 ... c Min unsat cost LB: 48026 ... c Min unsat cost LB: 48027 ... c Min unsat cost LB: 48028 ... c Min unsat cost LB: 48029 ... c Min unsat cost LB: 48030 ... c Min unsat cost LB: 48031 ... c Min unsat cost LB: 48032 ... c Min unsat cost LB: 48033 ... c Min unsat cost LB: 48034 ... c Min unsat cost LB: 48035 ... c Min unsat cost LB: 48036 ... c Min unsat cost LB: 48037 ... c Min unsat cost LB: 48038 ... c Min unsat cost LB: 48039 ... c Min unsat cost LB: 48040 ... c Min unsat cost LB: 48041 ... c Min unsat cost LB: 48042 ... c Min unsat cost LB: 48043 ... c Min unsat cost LB: 48044 ... c Min unsat cost LB: 48045 ... c Min unsat cost LB: 48046 ... c Min unsat cost LB: 48047 ... c Min unsat cost LB: 48048 ... c Min unsat cost LB: 48049 ... c Min unsat cost LB: 48050 ... c Min unsat cost LB: 48051 ... c Min unsat cost LB: 48052 ... c Min unsat cost LB: 48095 ... c Min unsat cost LB: 48096 ... c Min unsat cost LB: 48097 ... c Min unsat cost LB: 48098 ... c Min unsat cost LB: 48099 ... c Min unsat cost LB: 48100 ... c Min unsat cost LB: 48101 ... c Min unsat cost LB: 48102 ... c Min unsat cost LB: 48103 ... c Min unsat cost LB: 48104 ... c Min unsat cost LB: 48105 ... c Min unsat cost LB: 48106 ... c Min unsat cost LB: 48107 ... c Min unsat cost LB: 48108 ... c Min unsat cost LB: 48109 ... c Min unsat cost LB: 48110 ... c Min unsat cost LB: 48111 ... c Min unsat cost LB: 48112 ... c Min unsat cost LB: 48113 ... c Min unsat cost LB: 48114 ... c Min unsat cost LB: 48115 ... c Min unsat cost LB: 48116 ... c Min unsat cost LB: 48119 ... c Min unsat cost LB: 48120 ... c Min unsat cost LB: 48121 ... c Min unsat cost LB: 48122 ... c Min unsat cost LB: 48123 ... c Min unsat cost LB: 48124 ... c Min unsat cost LB: 48125 ... c Min unsat cost LB: 48126 ... c Min unsat cost LB: 48127 ... c Min unsat cost LB: 48128 ... c Min unsat cost LB: 48129 ... c Min unsat cost LB: 48130 ... c Min unsat cost LB: 48131 ... c Min unsat cost LB: 48132 ... c Min unsat cost LB: 48133 ... c Min unsat cost LB: 48134 ... c Min unsat cost LB: 48135 ... c Min unsat cost LB: 48136 ... c Min unsat cost LB: 48137 ... c Min unsat cost LB: 48138 ... c Min unsat cost LB: 48139 ... c Min unsat cost LB: 48140 ... c Min unsat cost LB: 48141 ... c Min unsat cost LB: 48142 ... c Min unsat cost LB: 48143 ... c Min unsat cost LB: 48144 ... c Min unsat cost LB: 48145 ... c Min unsat cost LB: 48146 ... c Min unsat cost LB: 48147 ... c Min unsat cost LB: 48148 ... c Min unsat cost LB: 48149 ... c Min unsat cost LB: 48150 ... c Min unsat cost LB: 48151 ... c Min unsat cost LB: 48152 ... c Min unsat cost LB: 48153 ... c Min unsat cost LB: 48154 ... c Min unsat cost LB: 48155 ... c Min unsat cost LB: 48156 ... c Min unsat cost LB: 48157 ... c Min unsat cost LB: 48158 ... c Min unsat cost LB: 48159 ... c Min unsat cost LB: 48160 ... c Min unsat cost LB: 48161 ... c Min unsat cost LB: 48162 ... c Min unsat cost LB: 48163 ... c Min unsat cost LB: 48164 ... c Min unsat cost LB: 48165 ... c Min unsat cost LB: 48166 ... c Min unsat cost LB: 48167 ... c Min unsat cost LB: 48168 ... c Min unsat cost LB: 48169 ... c Min unsat cost LB: 48174 ... c Min unsat cost LB: 48175 ... c Min unsat cost LB: 48176 ... c Min unsat cost LB: 48177 ... c Min unsat cost LB: 48178 ... c Min unsat cost LB: 48179 ... c Min unsat cost LB: 48180 ... c Min unsat cost LB: 48181 ... c Min unsat cost LB: 48182 ... c Min unsat cost LB: 48183 ... c Min unsat cost LB: 48184 ... c Min unsat cost LB: 48185 ... c Min unsat cost LB: 48186 ... c Min unsat cost LB: 48187 ... c Min unsat cost LB: 48188 ... c Min unsat cost LB: 48189 ... c Min unsat cost LB: 48190 ... c Min unsat cost LB: 48191 ... c Min unsat cost LB: 48192 ... c Min unsat cost LB: 48193 ... c Min unsat cost LB: 48194 ... c Min unsat cost LB: 48195 ... c Min unsat cost LB: 48196 ... c Min unsat cost LB: 48197 ... c Min unsat cost LB: 48198 ... c Min unsat cost LB: 48199 ... c Min unsat cost LB: 48200 ... c Min unsat cost LB: 48201 ... c Min unsat cost LB: 48202 ... c Min unsat cost LB: 48203 ... c Min unsat cost LB: 48204 ... c Min unsat cost LB: 48205 ... c Min unsat cost LB: 48206 ... c Min unsat cost LB: 48207 ... c Min unsat cost LB: 48208 ... c Min unsat cost LB: 48209 ... c Min unsat cost LB: 48210 ... c Min unsat cost LB: 48211 ... c Min unsat cost LB: 48212 ... c Min unsat cost LB: 48213 ... c Min unsat cost LB: 48214 ... c Min unsat cost LB: 48215 ... c Min unsat cost LB: 48216 ... c Min unsat cost LB: 48217 ... c Min unsat cost LB: 48218 ... c Min unsat cost LB: 48219 ... c Min unsat cost LB: 48220 ... c Min unsat cost LB: 48221 ... c Min unsat cost LB: 48222 ... c Min unsat cost LB: 48224 ... c Min unsat cost LB: 48225 ... c Min unsat cost LB: 48226 ... c Min unsat cost LB: 48227 ... c Min unsat cost LB: 48228 ... c Min unsat cost LB: 48229 ... c Min unsat cost LB: 48230 ... c Min unsat cost LB: 48231 ... c Min unsat cost LB: 48232 ... c Min unsat cost LB: 48233 ... c Min unsat cost LB: 48234 ... c Min unsat cost LB: 48235 ... c Min unsat cost LB: 48236 ... c Min unsat cost LB: 48237 ... c Min unsat cost LB: 48238 ... c Min unsat cost LB: 48239 ... c Min unsat cost LB: 48240 ... c Min unsat cost LB: 48241 ... c Min unsat cost LB: 48242 ... c Min unsat cost LB: 48243 ... c Min unsat cost LB: 48251 ... c Min unsat cost LB: 48252 ... c Min unsat cost LB: 48253 ... c Min unsat cost LB: 48255 ... c Min unsat cost LB: 48256 ... c Min unsat cost LB: 48257 ... c Min unsat cost LB: 48258 ... c Min unsat cost LB: 48259 ... c Min unsat cost LB: 48260 ... c Min unsat cost LB:Killed 1812.035u 7.711s 30:23.82 99.7% 0+0k 0+0io 0pf+0w