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_KnotPipatsrisawat_random-net-240-1_network-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-4.net.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/KnotPipatsrisawat/random-net-240-1_network-4.net.wcnf *** c c Min unsat cost LB: 1060 ... c Min unsat cost LB: 1583 ... c Min unsat cost LB: 2405 ... c Min unsat cost LB: 2755 ... c Min unsat cost LB: 2786 ... c Min unsat cost LB: 4117 ... c Min unsat cost LB: 4404 ... c Min unsat cost LB: 6169 ... c Min unsat cost LB: 6273 ... c Min unsat cost LB: 6979 ... c Min unsat cost LB: 8257 ... c Min unsat cost LB: 9180 ... c Min unsat cost LB: 10758 ... c Min unsat cost LB: 12286 ... c Min unsat cost LB: 13361 ... c Min unsat cost LB: 13748 ... c Min unsat cost LB: 13832 ... c Min unsat cost LB: 13844 ... c Min unsat cost LB: 14090 ... c Min unsat cost LB: 14102 ... c Min unsat cost LB: 14984 ... c Min unsat cost LB: 16607 ... c Min unsat cost LB: 16801 ... c Min unsat cost LB: 18278 ... c Min unsat cost LB: 18644 ... c Min unsat cost LB: 19761 ... c Min unsat cost LB: 20416 ... c Min unsat cost LB: 21034 ... c Min unsat cost LB: 22928 ... c Min unsat cost LB: 23467 ... c Min unsat cost LB: 23708 ... c Min unsat cost LB: 24587 ... c Min unsat cost LB: 25061 ... c Min unsat cost LB: 25448 ... c Min unsat cost LB: 25774 ... c Min unsat cost LB: 26990 ... c Min unsat cost LB: 27758 ... c Min unsat cost LB: 29321 ... c Min unsat cost LB: 29485 ... c Min unsat cost LB: 29788 ... c Min unsat cost LB: 31548 ... c Min unsat cost LB: 33480 ... c Min unsat cost LB: 33709 ... c Min unsat cost LB: 33747 ... c Min unsat cost LB: 34954 ... c Min unsat cost LB: 35766 ... c Min unsat cost LB: 36054 ... c Min unsat cost LB: 36974 ... c Min unsat cost LB: 37264 ... c Min unsat cost LB: 38697 ... c Min unsat cost LB: 39776 ... c Min unsat cost LB: 39870 ... c Min unsat cost LB: 41075 ... c Min unsat cost LB: 41914 ... c Min unsat cost LB: 42284 ... c Min unsat cost LB: 42605 ... c Min unsat cost LB: 42842 ... c Min unsat cost LB: 43307 ... c Min unsat cost LB: 44101 ... c Min unsat cost LB: 44905 ... c Min unsat cost LB: 45527 ... c Min unsat cost LB: 45644 ... c Min unsat cost LB: 46190 ... c Min unsat cost LB: 46664 ... c Min unsat cost LB: 46790 ... c Min unsat cost LB: 46866 ... c Min unsat cost LB: 47732 ... c Min unsat cost LB: 48180 ... c Min unsat cost LB: 48297 ... c Min unsat cost LB: 48932 ... c Min unsat cost LB: 49442 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50074 ... c Min unsat cost LB: 50145 ... c Min unsat cost LB: 50685 ... c Min unsat cost LB: 51729 ... c Min unsat cost LB: 52674 ... c Min unsat cost LB: 53186 ... c Min unsat cost LB: 54033 ... c Min unsat cost LB: 54173 ... c Min unsat cost LB: 54194 ... c Min unsat cost LB: 54451 ... c Min unsat cost LB: 54476 ... c Min unsat cost LB: 55300 ... c Min unsat cost LB: 55322 ... c Min unsat cost LB: 56135 ... c Min unsat cost LB: 56719 ... c Min unsat cost LB: 56898 ... c Min unsat cost LB: 57218 ... c Min unsat cost LB: 57305 ... c Min unsat cost LB: 57365 ... c Min unsat cost LB: 57425 ... c Min unsat cost LB: 57526 ... c Min unsat cost LB: 58331 ... c Min unsat cost LB: 58383 ... c Min unsat cost LB: 58660 ... c Min unsat cost LB: 59100 ... c Min unsat cost LB: 59145 ... c Min unsat cost LB: 59929 ... c Min unsat cost LB: 59938 ... c Min unsat cost LB: 60420 ... c Min unsat cost LB: 60596 ... c Min unsat cost LB: 61244 ... c Min unsat cost LB: 61801 ... c Min unsat cost LB: 62095 ... c Min unsat cost LB: 63171 ... c Min unsat cost LB: 63248 ... c Min unsat cost LB: 63440 ... c Min unsat cost LB: 63869 ... c Min unsat cost LB: 64409 ... c Min unsat cost LB: 64433 ... c Min unsat cost LB: 64899 ... c Min unsat cost LB: 65279 ... c Min unsat cost LB: 65625 ... c Min unsat cost LB: 65958 ... c Min unsat cost LB: 66048 ... c Min unsat cost LB: 67317 ... c Min unsat cost LB: 67450 ... c Min unsat cost LB: 67557 ... c Min unsat cost LB: 67788 ... c Min unsat cost LB: 67823 ... c Min unsat cost LB: 68146 ... c Min unsat cost LB: 69343 ... c Min unsat cost LB: 69368 ... c Min unsat cost LB: 70712 ... c Min unsat cost LB: 70883 ... c Min unsat cost LB: 70981 ... c Min unsat cost LB: 71426 ... c Min unsat cost LB: 71606 ... c Min unsat cost LB: 72045 ... c Min unsat cost LB: 72361 ... c Min unsat cost LB: 72915 ... c Min unsat cost LB: 72964 ... c Min unsat cost LB: 73036 ... c Min unsat cost LB: 73351 ... c Min unsat cost LB: 73658 ... c Min unsat cost LB: 73702 ... c Min unsat cost LB: 73783 ... c Min unsat cost LB: 73916 ... c Min unsat cost LB: 73954 ... c Min unsat cost LB: 73982 ... c Min unsat cost LB: 74038 ... c Min unsat cost LB: 74060 ... c Min unsat cost LB: 74149 ... c Min unsat cost LB: 74298 ... c Min unsat cost LB: 74939 ... c Min unsat cost LB: 75033 ... c Min unsat cost LB: 75623 ... c Min unsat cost LB: 76110 ... c Min unsat cost LB: 76435 ... c Min unsat cost LB: 77197 ... c Min unsat cost LB: 77485 ... c Min unsat cost LB: 77653 ... c Min unsat cost LB: 77807 ... c Min unsat cost LB: 77924 ... c Min unsat cost LB: 78137 ... c Min unsat cost LB: 78591 ... c Min unsat cost LB: 79444 ... c Min unsat cost LB: 79716 ... c Min unsat cost LB: 80148 ... c Min unsat cost LB: 80531 ... c Min unsat cost LB: 80572 ... c Min unsat cost LB: 80943 ... c Min unsat cost LB: 81051 ... c Min unsat cost LB: 81091 ... c Min unsat cost LB: 81826 ... c Min unsat cost LB: 82256 ... c Min unsat cost LB: 82467 ... c Min unsat cost LB: 82557 ... c Min unsat cost LB: 82663 ... c Min unsat cost LB: 83229 ... c Min unsat cost LB: 83243 ... c Min unsat cost LB: 83313 ... c Min unsat cost LB: 84089 ... c Min unsat cost LB: 84129 ... c Min unsat cost LB: 84524 ... c Min unsat cost LB: 84720 ... c Min unsat cost LB: 85736 ... c Min unsat cost LB: 86035 ... c Min unsat cost LB: 87061 ... c Min unsat cost LB: 87116 ... c Min unsat cost LB: 87245 ... c Min unsat cost LB: 87426 ... c Min unsat cost LB: 87585 ... c Min unsat cost LB: 87766 ... c Min unsat cost LB: 88082 ... c Min unsat cost LB: 88328 ... c Min unsat cost LB: 88352 ... c Min unsat cost LB: 88980 ... c Min unsat cost LB: 89339 ... c Min unsat cost LB: 89832 ... c Min unsat cost LB: 89917 ... c Min unsat cost LB: 89944 ... c Min unsat cost LB: 90250 ... c Min unsat cost LB: 90588 ... c Min unsat cost LB: 90774 ... c Min unsat cost LB: 91001 ... c Min unsat cost LB: 91103 ... c Min unsat cost LB: 91104 ... c Min unsat cost LB: 91139 ... c Min unsat cost LB: 91548 ... c Min unsat cost LB: 91626 ... c Min unsat cost LB: 91854 ... c Min unsat cost LB: 91902 ... c Min unsat cost LB: 92110 ... c Min unsat cost LB: 92797 ... c Min unsat cost LB: 92910 ... c Min unsat cost LB: 92933 ... c Min unsat cost LB: 92957 ... c Min unsat cost LB: 93041 ... c Min unsat cost LB: 93065 ... c Min unsat cost LB: 93080 ... c Min unsat cost LB: 93081 ... c Min unsat cost LB: 93120 ... c Min unsat cost LB: 93200 ... c Min unsat cost LB: 93224 ... c Min unsat cost LB: 93251 ... c Min unsat cost LB: 93640 ... c Min unsat cost LB: 93848 ... c Min unsat cost LB: 93857 ... c Min unsat cost LB: 94192 ... c Min unsat cost LB: 94200 ... c Min unsat cost LB: 94245 ... c Min unsat cost LB: 94255 ... c Min unsat cost LB: 94619 ... c Min unsat cost LB: 94732 ... c Min unsat cost LB: 95125 ... c Min unsat cost LB: 95244 ... c Min unsat cost LB: 95618 ... c Min unsat cost LB: 95984 ... c Min unsat cost LB: 96055 ... c Min unsat cost LB: 96391 ... c Min unsat cost LB: 96406 ... c Min unsat cost LB: 96688 ... c Min unsat cost LB: 96992 ... c Min unsat cost LB: 97125 ... c Min unsat cost LB: 97635 ... c Min unsat cost LB: 97972 ... c Min unsat cost LB: 99009 ... c Min unsat cost LB: 99241 ... c Min unsat cost LB: 99485 ... c Min unsat cost LB: 99701 ... c Min unsat cost LB: 100126 ... c Min unsat cost LB: 100164 ... c Min unsat cost LB: 100179 ... c Min unsat cost LB: 100812 ... c Min unsat cost LB: 100816 ... c Min unsat cost LB: 100968 ... c Min unsat cost LB: 100978 ... c Min unsat cost LB: 101709 ... c Min unsat cost LB: 102062 ... c Min unsat cost LB: 102261 ... c Min unsat cost LB: 102449 ... c Min unsat cost LB: 103292 ... c Min unsat cost LB: 103305 ... c Min unsat cost LB: 103518 ... c Min unsat cost LB: 103568 ... c Min unsat cost LB: 103957 ... c Min unsat cost LB: 104274 ... c Min unsat cost LB: 105258 ... c Min unsat cost LB: 105778 ... c Min unsat cost LB: 106279 ... c Min unsat cost LB: 107012 ... c Min unsat cost LB: 107502 ... c Min unsat cost LB: 107799 ... c Min unsat cost LB: 107859 ... c Min unsat cost LB: 108129 ... c Min unsat cost LB: 108321 ... c Min unsat cost LB: 108681 ... c Min unsat cost LB: 108887 ... c Min unsat cost LB: 109190 ... c Min unsat cost LB: 109335 ... c Min unsat cost LB: 109403 ... c Min unsat cost LB: 109410 ... c Min unsat cost LB: 109835 ... c Min unsat cost LB: 109871 ... c Min unsat cost LB: 110903 ... c Min unsat cost LB: 111027 ... c Min unsat cost LB: 112414 ... c Min unsat cost LB: 112597 ... c Min unsat cost LB: 112643 ... c Min unsat cost LB: 113010 ... c Min unsat cost LB: 113118 ... c Min unsat cost LB: 113303 ... c Min unsat cost LB: 113702 ... c Min unsat cost LB: 113864 ... c Min unsat cost LB: 113936 ... c Min unsat cost LB: 114036 ... c Min unsat cost LB: 114040 ... c Min unsat cost LB: 115442 ... c Min unsat cost LB: 115625 ... c Min unsat cost LB: 115796 ... c Min unsat cost LB: 115832 ... c Min unsat cost LB: 116483 ... c Min unsat cost LB: 116740 ... c Min unsat cost LB: 117119 ... c Min unsat cost LB: 117122 ... c Min unsat cost LB: 117225 ... c Min unsat cost LB: 117242 ... c Min unsat cost LB: 117564 ... c Min unsat cost LB: 117832 ... c Min unsat cost LB: 117885 ... c Min unsat cost LB: 117996 ... c Min unsat cost LB: 118085 ... c Min unsat cost LB: 118376 ... c Min unsat cost LB: 118666 ... c Min unsat cost LB: 119089 ... c Min unsat cost LB: 119431 ... c Min unsat cost LB: 119655 ... c Min unsat cost LB: 119785 ... c Min unsat cost LB: 120423 ... c Min unsat cost LB: 120521 ... c Min unsat cost LB: 121082 ... c Min unsat cost LB: 121411 ... c Min unsat cost LB: 121464 ... c Min unsat cost LB: 121506 ... c Min unsat cost LB: 121613 ... c Min unsat cost LB: 122107 ... c Min unsat cost LB: 122531 ... c Min unsat cost LB: 122557 ... c Min unsat cost LB: 122564 ... c Min unsat cost LB: 122667 ... c Min unsat cost LB: 122707 ... c Min unsat cost LB: 122735 ... c Min unsat cost LB: 122854 ... c Min unsat cost LB: 123445 ... c Min unsat cost LB: 123517 ... c Min unsat cost LB: 123592 ... c Min unsat cost LB: 123666 ... c Min unsat cost LB: 123692 ... c Min unsat cost LB: 123751 ... c Min unsat cost LB: 124066 ... c Min unsat cost LB: 124273 ... c Min unsat cost LB: 124358 ... c Min unsat cost LB: 124452 ... c Min unsat cost LB: 125857 ... c Min unsat cost LB: 125902 ... c Min unsat cost LB: 126047 ... c Min unsat cost LB: 126151 ... c Min unsat cost LB: 126165 ... c Min unsat cost LB: 126179 ... c Min unsat cost LB: 126278 ... c Min unsat cost LB: 126444 ... c Min unsat cost LB: 126712 ... c Min unsat cost LB: 126909 ... c Min unsat cost LB: 127054 ... c Min unsat cost LB: 127274 ... c Min unsat cost LB: 127631 ... c Min unsat cost LB: 127662 ... c Min unsat cost LB: 128815 ... c Min unsat cost LB: 128996 ... c Min unsat cost LB: 129015 ... c Min unsat cost LB: 129081 ... c Min unsat cost LB: 129199 ... c Min unsat cost LB: 129319 ... c Min unsat cost LB: 129670 ... c Min unsat cost LB: 130453 ... c Min unsat cost LB: 130511 ... c Min unsat cost LB: 130719 ... c Min unsat cost LB: 130722 ... c Min unsat cost LB: 130997 ... c Min unsat cost LB: 132138 ... c Min unsat cost LB: 132576 ... c Min unsat cost LB: 132672 ... c Min unsat cost LB: 132681 ... c Min unsat cost LB: 132687 ... c Min unsat cost LB: 132891 ... c Min unsat cost LB: 134088 ... c Min unsat cost LB: 134386 ... c Min unsat cost LB: 134628 ... c Min unsat cost LB: 134664 ... c Min unsat cost LB: 134792 ... c Min unsat cost LB: 134815 ... c Min unsat cost LB: 135054 ... c Min unsat cost LB: 135620 ... c Min unsat cost LB: 135864 ... c Min unsat cost LB: 136028 ... c Min unsat cost LB: 136130 ... c Min unsat cost LB: 136591 ... c Min unsat cost LB: 136600 ... c Min unsat cost LB: 136609 ... c Min unsat cost LB: 136651 ... c Min unsat cost LB: 136664 ... c Min unsat cost LB: 136735 ... c Min unsat cost LB: 136824 ... c Min unsat cost LB: 136989 ... c Min unsat cost LB: 137144 ... c Min unsat cost LB: 137224 ... c Min unsat cost LB: 137240 ... c Min unsat cost LB: 137277 ... c Min unsat cost LB: 137603 ... c Min unsat cost LB: 137616 ... c Min unsat cost LB: 137619 ... c Min unsat cost LB: 137675 ... c Min unsat cost LB: 138177 ... c Min unsat cost LB: 138315 ... c Min unsat cost LB: 138565 ... c Min unsat cost LB: 138658 ... c Min unsat cost LB: 139267 ... c Min unsat cost LB: 139487 ... c Min unsat cost LB: 140357 ... c Min unsat cost LB: 140571 ... c Min unsat cost LB: 141135 ... c Min unsat cost LB: 141158 ... c Min unsat cost LB: 141469 ... c Min unsat cost LB: 141880 ... c Min unsat cost LB: 141922 ... c Min unsat cost LB: 143048 ... c Min unsat cost LB: 143300 ... c Min unsat cost LB: 143317 ... c Min unsat cost LB: 143408 ... c Min unsat cost LB: 143546 ... c Min unsat cost LB: 143658 ... c Min unsat cost LB: 143691 ... c Min unsat cost LB: 143819 ... c Min unsat cost LB: 144059 ... c Min unsat cost LB: 144310 ... c Min unsat cost LB: 145017 ... c Min unsat cost LB: 145056 ... c Min unsat cost LB: 145439 ... c Min unsat cost LB: 145445 ... c Min unsat cost LB: 145546 ... c Min unsat cost LB: 146471 ... c Min unsat cost LB: 146739 ... c Min unsat cost LB: 147155 ... c Min unsat cost LB: 147896 ... c Min unsat cost LB: 147956 ... c Min unsat cost LB: 148178 ... c Min unsat cost LB: 149052 ... c Min unsat cost LB: 149429 ... c Min unsat cost LB: 149478 ... c Min unsat cost LB: 149836 ... c Min unsat cost LB: 150663 ... c Min unsat cost LB: 151819 ... c Min unsat cost LB: 151988 ... c Min unsat cost LB: 152055 ... c Min unsat cost LB: 152239 ... c Min unsat cost LB: 152327 ... c Min unsat cost LB: 152438 ... c Min unsat cost LB: 152676 ... c Min unsat cost LB: 153565 ... c Min unsat cost LB: 153570 ... c Min unsat cost LB: 153598 ... c Min unsat cost LB: 153970 ... c Min unsat cost LB: 154545 ... c Min unsat cost LB: 154558 ... c Min unsat cost LB: 154623 ... c Min unsat cost LB: 154639 ... c Min unsat cost LB: 154802 ... c Min unsat cost LB: 155457 ... c Min unsat cost LB: 155466 ... c Min unsat cost LB: 155495 ... c Min unsat cost LB: 155511 ... c Min unsat cost LB: 155624 ... c Min unsat cost LB: 155711 ... c Min unsat cost LB: 155852 ... c Min unsat cost LB: 155909 ... c Min unsat cost LB: 156008 ... c Min unsat cost LB: 156679 ... c Min unsat cost LB: 156842 ... c Min unsat cost LB: 157089 ... c Min unsat cost LB: 157102 ... c Min unsat cost LB: 157129 ... c Min unsat cost LB: 157131 ... c Min unsat cost LB: 157135 ... c Min unsat cost LB: 157145 ... c Min unsat cost LB: 157174 ... c Min unsat cost LB: 157302 ... c Min unsat cost LB: 157455 ... c Min unsat cost LB: 157465 ... c Min unsat cost LB: 157497 ... c Min unsat cost LB: 157929 ... c Min unsat cost LB: 158026 ... c Min unsat cost LB: 158347 ... c Min unsat cost LB: 158519 ... c Min unsat cost LB: 159615 ... c Min unsat cost LB: 159706 ... c Min unsat cost LB: 159714 ... c Min unsat cost LB: 159795 ... c Min unsat cost LB: 160563 ... c Min unsat cost LB: 161056 ... c Min unsat cost LB: 161154 ... c Min unsat cost LB: 161156 ... c Min unsat cost LB: 161158 ... c Min unsat cost LB: 161161 ... c Min unsat cost LB: 161185 ... c Min unsat cost LB: 161187 ... c Min unsat cost LB: 161295 ... c Min unsat cost LB: 161845 ... c Min unsat cost LB: 161968 ... c Min unsat cost LB: 161980 ... c Min unsat cost LB: 161981 ... c Min unsat cost LB: 161982 ... c Min unsat cost LB: 161986 ... c Min unsat cost LB: 161993 ... c Min unsat cost LB: 162010 ... c Min unsat cost LB: 162013 ... c Min unsat cost LB: 162037 ... c Min unsat cost LB: 162048 ... c Min unsat cost LB: 162068 ... c Min unsat cost LB: 162074 ... c Min unsat cost LB: 162120 ... c Min unsat cost LB: 162178 ... c Min unsat cost LB: 162203 ... c Min unsat cost LB: 162258 ... c Min unsat cost LB: 163154 ... c Min unsat cost LB: 163335 ... c Min unsat cost LB: 163347 ... c Min unsat cost LB: 163502 ... c Min unsat cost LB: 163503 ... c Min unsat cost LB: 163504 ... c Min unsat cost LB: 163505 ... c Min unsat cost LB: 163858 ... c Min unsat cost LB: 164048 ... c Min unsat cost LB: 164263 ... c Min unsat cost LB: 164770 ... c Min unsat cost LB: 164929 ... c Min unsat cost LB: 165062 ... c Min unsat cost LB: 165485 ... c Min unsat cost LB: 165510 ... c Min unsat cost LB: 165966 ... c Min unsat cost LB: 166176 ... c Min unsat cost LB: 166354 ... c Min unsat cost LB: 166713 ... c Min unsat cost LB: 166840 ... c Min unsat cost LB: 166858 ... c Min unsat cost LB: 167173 ... c Min unsat cost LB: 167798 ... c Min unsat cost LB: 167948 ... c Min unsat cost LB: 168376 ... c Min unsat cost LB: 168675 ... c Min unsat cost LB: 168798 ... c Min unsat cost LB: 169128 ... c Min unsat cost LB: 169264 ... c Min unsat cost LB: 169672 ... c Min unsat cost LB: 169815 ... c Min unsat cost LB: 169824 ... c Min unsat cost LB: 169966 ... c Min unsat cost LB: 170086 ... c Min unsat cost LB: 170505 ... c Min unsat cost LB: 170920 ... c Min unsat cost LB: 171279 ... c Min unsat cost LB: 171375 ... c Min unsat cost LB: 171768 ... c Min unsat cost LB: 171866 ... c Min unsat cost LB: 171905 ... c Min unsat cost LB: 172308 ... c Min unsat cost LB: 172360 ... c Min unsat cost LB: 172783 ... c Min unsat cost LB: 173339 ... c Min unsat cost LB: 173524 ... c Min unsat cost LB: 173611 ... c Min unsat cost LB: 173651 ... c Min unsat cost LB: 173667 ... c Min unsat cost LB: 173922 ... c Min unsat cost LB: 173952 ... c Min unsat cost LB: 173994 ... c Min unsat cost LB: 174157 ... c Min unsat cost LB: 174315 ... c Min unsat cost LB: 174781 ... c Min unsat cost LB: 175337 ... c Min unsat cost LB: 175621 ... c Min unsat cost LB: 175679 ... c Min unsat cost LB: 175869 ... c Min unsat cost LB: 176168 ... c Min unsat cost LB: 176287 ... c Min unsat cost LB: 176288 ... c Min unsat cost LB: 176374 ... c Min unsat cost LB: 176390 ... c Min unsat cost LB: 176532 ... c Min unsat cost LB: 176548 ... c Min unsat cost LB: 176578 ... c Min unsat cost LB: 176612 ... c Min unsat cost LB: 176648 ... c Min unsat cost LB: 176658 ... c Min unsat cost LB: 176700 ... c Min unsat cost LB: 176713 ... c Min unsat cost LB: 176903 ... c Min unsat cost LB: 176904 ... c Min unsat cost LB: 177179 ... c Min unsat cost LB: 177331 ... c Min unsat cost LB: 177764 ... c Min unsat cost LB: 178129 ... c Min unsat cost LB: 178226 ... c Min unsat cost LB: 178253 ... c Min unsat cost LB: 178264 ... c Min unsat cost LB: 178269 ... c Min unsat cost LB: 178276 ... c Min unsat cost LB: 178277 ... c Min unsat cost LB: 178280 ... c Min unsat cost LB: 178295 ... c Min unsat cost LB: 178306 ... c Min unsat cost LB: 178311 ... c Min unsat cost LB: 178318 ... c Min unsat cost LB: 178319 ... c Min unsat cost LB: 178322 ... c Min unsat cost LB: 178824 ... c Min unsat cost LB: 178905 ... c Min unsat cost LB: 178913 ... c Min unsat cost LB: 178914 ... c Min unsat cost LB: 179606 ... c Min unsat cost LB: 179633 ... c Min unsat cost LB: 179707 ... c Min unsat cost LB: 179796 ... c Min unsat cost LB: 179807 ... c Min unsat cost LB: 179810 ... c Min unsat cost LB: 179812 ... c Min unsat cost LB: 179813 ... c Min unsat cost LB: 179818 ... c Min unsat cost LB: 179823 ... c Min unsat cost LB: 179824 ... c Min unsat cost LB: 179826 ... c Min unsat cost LB: 179828 ... c Min unsat cost LB: 179830 ... c Min unsat cost LB: 179831 ... c Min unsat cost LB: 179832 ... c Min unsat cost LB: 179867 ... c Min unsat cost LB: 179904 ... c Min unsat cost LB: 179926 ... c Min unsat cost LB: 179927 ... c Min unsat cost LB: 179928 ... c Min unsat cost LB: 179929 ... c Min unsat cost LB: 179930 ... c Min unsat cost LB: 179931 ... c Min unsat cost LB: 179932 ... c Min unsat cost LB: 179933 ... c Min unsat cost LB: 179934 ... c Min unsat cost LB: 179935 ... c Min unsat cost LB: 179936 ... c Min unsat cost LB: 179937 ... c Min unsat cost LB: 179983 ... c Min unsat cost LB: 180459 ... c Min unsat cost LB: 180541 ... c Min unsat cost LB: 180700 ... c Min unsat cost LB: 180775 ... c Min unsat cost LB: 181749 ... c Min unsat cost LB: 181835 ... c Min unsat cost LB: 181869 ... c Min unsat cost LB: 181919 ... c Min unsat cost LB: 182185 ... c Min unsat cost LB: 182584 ... c Min unsat cost LB: 182781 ... c Min unsat cost LB: 182875 ... c Min unsat cost LB: 182879 ... c Min unsat cost LB: 182909 ... c Min unsat cost LB: 182959 ... c Min unsat cost LB: 184128 ... c Min unsat cost LB: 184161 ... c Min unsat cost LB: 184261 ... c Min unsat cost LB: 184298 ... c Min unsat cost LB: 184305 ... c Min unsat cost LB: 184354 ... c Min unsat cost LB: 184356 ... c Min unsat cost LB: 184362 ... c Min unsat cost LB: 184366 ... c Min unsat cost LB: 184369 ... c Min unsat cost LB: 185255 ... c Min unsat cost LB: 185259 ... c Min unsat cost LB: 185264 ... c Min unsat cost LB: 185328 ... c Min unsat cost LB: 185541 ... c Min unsat cost LB: 186155 ... c Min unsat cost LB: 186171 ... c Min unsat cost LB: 186313 ... c Min unsat cost LB: 186532 ... c Min unsat cost LB: 186535 ... c Min unsat cost LB: 186538 ... c Min unsat cost LB: 186540 ... c Min unsat cost LB: 186546 ... c Min unsat cost LB: 186596 ... c Min unsat cost LB: 186601 ... c Min unsat cost LB: 186605 ... c Min unsat cost LB: 186614 ... c Min unsat cost LB: 186619 ... c Min unsat cost LB: 186625 ... c Min unsat cost LB: 186635 ... c Min unsat cost LB: 186648 ... c Min unsat cost LB: 186649 ... c Min unsat cost LB: 186652 ... c Min unsat cost LB: 187295 ... c Min unsat cost LB: 187301 ... c Min unsat cost LB: 187306 ... c Min unsat cost LB: 187322 ... c Min unsat cost LB: 187332 ... c Min unsat cost LB: 187341 ... c Min unsat cost LB: 188096 ... c Min unsat cost LB: 188097 ... c Min unsat cost LB: 188577 ... c Min unsat cost LB: 189109 ... c Min unsat cost LB: 189267 ... c Min unsat cost LB: 189341 ... c Min unsat cost LB: 190252 ... c Min unsat cost LB: 190291 ... c Min unsat cost LB: 190345 ... c Min unsat cost LB: 190351 ... c Min unsat cost LB: 190426 ... c Min unsat cost LB: 190575 ... c Min unsat cost LB: 190603 ... c Min unsat cost LB: 190855 ... c Min unsat cost LB: 191372 ... c Min unsat cost LB: 191409 ... c Min unsat cost LB: 191592 ... c Min unsat cost LB: 191644 ... c Min unsat cost LB: 191650 ... c Min unsat cost LB: 191730 ... c Min unsat cost LB: 191805 ... c Min unsat cost LB: 191954 ... c Min unsat cost LB: 191977 ... c Min unsat cost LB: 192085 ... c Min unsat cost LB: 192727 ... c Min unsat cost LB: 193163 ... c Min unsat cost LB: 193167 ... c Min unsat cost LB: 193264 ... c Min unsat cost LB: 193421 ... c Min unsat cost LB: 193800 ... c Min unsat cost LB: 193845 ... c Min unsat cost LB: 194067 ... c Min unsat cost LB: 194086 ... c Min unsat cost LB: 195045 ... c Min unsat cost LB: 195195 ... c Min unsat cost LB: 195201 ... c Min unsat cost LB: 195445 ... c Min unsat cost LB: 195779 ... c Min unsat cost LB: 195925 ... c Min unsat cost LB: 195977 ... c Min unsat cost LB: 195980 ... c Min unsat cost LB: 195983 ... c Min unsat cost LB: 195984 ... c Min unsat cost LB: 195997 ... c Min unsat cost LB: 196011 ... c Min unsat cost LB: 196023 ... c Min unsat cost LB: 196783 ... c Min unsat cost LB: 197062 ... c Min unsat cost LB: 197118 ... c Min unsat cost LB: 197269 ... c Min unsat cost LB: 197297 ... c Min unsat cost LB: 197769 ... c Min unsat cost LB: 197797 ... c Min unsat cost LB: 197948 ... c Min unsat cost LB: 198157 ... c Min unsat cost LB: 198204 ... c Min unsat cost LB: 198233 ... c Min unsat cost LB: 198256 ... c Min unsat cost LB: 198259 ... c Min unsat cost LB: 198262 ... c Min unsat cost LB: 198266 ... c Min unsat cost LB: 198319 ... c Min unsat cost LB: 198329 ... c Min unsat cost LB: 198361 ... c Min unsat cost LB: 198417 ... c Min unsat cost LB: 198480 ... c Min unsat cost LB: 198484 ... c Min unsat cost LB: 198515 ... c Min unsat cost LB: 198632 ... c Min unsat cost LB: 198770 ... c Min unsat cost LB: 198773 ... c Min unsat cost LB: 198779 ... c Min unsat cost LB: 198802 ... c Min unsat cost LB: 198822 ... c Min unsat cost LB: 198845 ... c Min unsat cost LB: 198854 ... c Min unsat cost LB: 199101 ... c Min unsat cost LB: 199995 ... c Min unsat cost LB: 200004 ... c Min unsat cost LB: 200251 ... c Min unsat cost LB: 200274 ... c Min unsat cost LB: 200334 ... c Min unsat cost LB: 200335 ... c Min unsat cost LB: 200346 ... c Min unsat cost LB: 200347 ... c Min unsat cost LB: 200348 ... c Min unsat cost LB: 200383 ... c Min unsat cost LB: 200396 ... c Min unsat cost LB: 200402 ... c Min unsat cost LB: 200405 ... c Min unsat cost LB: 201783 ... c Min unsat cost LB: 201852 ... c Min unsat cost LB: 202032 ... c Min unsat cost LB: 202035 ... c Min unsat cost LB: 202039 ... c Min unsat cost LB: 202040 ... c Min unsat cost LB: 202041 ... c Min unsat cost LB: 202042 ... c Min unsat cost LB: 202044 ... c Min unsat cost LB: 202045 ... c Min unsat cost LB: 202090 ... c Min unsat cost LB: 202171 ... c Min unsat cost LB: 202172 ... c Min unsat cost LB: 202174 ... c Min unsat cost LB: 202178 ... c Min unsat cost LB: 202181 ... c Min unsat cost LB: 202182 ... c Min unsat cost LB: 202184 ... c Min unsat cost LB: 202187 ... c Min unsat cost LB: 202189 ... c Min unsat cost LB: 202190 ... c Min unsat cost LB: 202196 ... c Min unsat cost LB: 202199 ... c Min unsat cost LB: 202200 ... c Min unsat cost LB: 202202 ... c Min unsat cost LB: 202203 ... c Min unsat cost LB: 202204 ... c Min unsat cost LB: 202205 ... c Min unsat cost LB: 202206 ... c Min unsat cost LB: 202210 ... c Min unsat cost LB: 202211 ... c Min unsat cost LB: 202213 ... c Min unsat cost LB: 202218 ... c Min unsat cost LB: 202234 ... c Min unsat cost LB: 202236 ... c Min unsat cost LB: 202256 ... c Min unsat cost LB: 202257 ... c Min unsat cost LB: 202258 ... c Min unsat cost LB: 203049 ... c Min unsat cost LB: 203233 ... c Min unsat cost LB: 203604 ... c Min unsat cost LB: 203605 ... c Min unsat cost LB: 203674 ... c Min unsat cost LB: 203676 ... c Min unsat cost LB: 203701 ... c Min unsat cost LB: 203711 ... c Min unsat cost LB: 203712 ... c Min unsat cost LB: 203714 ... c Min unsat cost LB: 203715 ... c Min unsat cost LB: 203717 ... c Min unsat cost LB: 203718 ... c Min unsat cost LB: 203719 ... c Min unsat cost LB: 203721 ... c Min unsat cost LB: 203722 ... c Min unsat cost LB: 203725 ... c Min unsat cost LB: 203729 ... c Min unsat cost LB: 203730 ... c Min unsat cost LB: 203731 ... c Min unsat cost LB: 203733 ... c Min unsat cost LB: 203734 ... c Min unsat cost LB: 203738 ... c Min unsat cost LB: 203740 ... c Min unsat cost LB: 203741 ... c Min unsat cost LB: 203757 ... c Min unsat cost LB: 203759 ... c Min unsat cost LB: 203760 ... c Min unsat cost LB: 203761 ... c Min unsat cost LB: 203765 ... c Min unsat cost LB: 203767 ... c Min unsat cost LB: 203768 ... c Min unsat cost LB: 203770 ... c Min unsat cost LB: 203782 ... c Min unsat cost LB: 203784 ... c Min unsat cost LB: 203794 ... c Min unsat cost LB: 203798 ... c Min unsat cost LB: 203800 ... c Min unsat cost LB: 203802 ... c Min unsat cost LB: 203805 ... c Min unsat cost LB: 203807 ... c Min unsat cost LB: 203808 ... c Min unsat cost LB: 203809 ... c Min unsat cost LB: 203811 ... c Min unsat cost LB: 203812 ... c Min unsat cost LB: 203813 ... c Min unsat cost LB: 203814 ... c Min unsat cost LB: 203816 ... c Min unsat cost LB: 203902 ... c Min unsat cost LB: 203904 ... c Min unsat cost LB: 203905 ... c Min unsat cost LB: 203906 ... c Min unsat cost LB: 203990 ... c Min unsat cost LB: 203991 ... c Min unsat cost LB: 203992 ... c Min unsat cost LB: 203994 ... c Min unsat cost LB: 203996 ... c Min unsat cost LB: 204000 ... c Min unsat cost LB: 204001 ... c Min unsat cost LB: 204002 ... c Min unsat cost LB: 204003 ... c Min unsat cost LB: 204005 ... c Min unsat cost LB: 204006 ... c Min unsat cost LB: 204007 ... c Min unsat cost LB: 204009 ... c Min unsat cost LB: 204010 ... c Min unsat cost LB: 204011 ... c Min unsat cost LB: 204012 ... c Min unsat cost LB: 204013 ... c Min unsat cost LB: 204014 ... c Min unsat cost LB: 204015 ... c Min unsat cost LB: 204016 ... c Min unsat cost LB: 204017 ... c Min unsat cost LB: 204018 ... c Min unsat cost LB: 204019 ... c Min unsat cost LB: 204021 ... c Min unsat cost LB: 204023 ... c Min unsat cost LB: 204024 ... c Min unsat cost LB: 204025 ... c Min unsat cost LB: 204026 ... c Min unsat cost LB: 204028 ... c Min unsat cost LB: 204029 ... c Min unsat cost LB: 204030 ... c Min unsat cost LB: 204031 ... c Min unsat cost LB: 204032 ... c Min unsat cost LB: 204033 ... c Min unsat cost LB: 204034 ... c Min unsat cost LB: 204035 ... c Min unsat cost LB: 204036 ... c Min unsat cost LB: 204038 ... c Min unsat cost LB: 204039 ... c Min unsat cost LB: 204040 ... c Min unsat cost LB: 204041 ... c Min unsat cost LB: 204231 ... c Min unsat cost LB: 204232 ... c Min unsat cost LB: 204233 ... c Min unsat cost LB: 204234 ... c Min unsat cost LB: 204235 ... c Min unsat cost LB: 204290 ... c Min unsat cost LB: 204316 ... c Min unsat cost LB: 204656 ... c Min unsat cost LB: 204724 ... c Min unsat cost LB: 204725 ... c Min unsat cost LB: 204726 ... c Min unsat cost LB: 204727 ... c Min unsat cost LB: 204728 ... c Min unsat cost LB: 204729 ... c Min unsat cost LB: 204730 ... c Min unsat cost LB: 204791 ... c Min unsat cost LB: 204887 ... c Min unsat cost LB: 204888 ... c Min unsat cost LB: 204889 ... c Min unsat cost LB: 204890 ... c Min unsat cost LB: 204891 ... c Min unsat cost LB: 204892 ... c Min unsat cost LB: 204893 ... c Min unsat cost LB: 204894 ... c Min unsat cost LB: 204895 ... c Min unsat cost LB: 204896 ... c Min unsat cost LB: 204897 ... c Min unsat cost LB: 204898 ... c Min unsat cost LB: 204899 ... c Min unsat cost LB: 204900 ... c Min unsat cost LB: 204901 ... c Min unsat cost LB: 204902 ... c Min unsat cost LB: 204903 ... c Min unsat cost LB: 204904 ... c Min unsat cost LB: 204905 ... c Min unsat cost LB: 204906 ... c Min unsat cost LB: 204907 ... c Min unsat cost LB: 204908 ... c Min unsat cost LB: 204909 ... c Min unsat cost LB: 204910 ... c Min unsat cost LB: 204911 ... c Min unsat cost LB: 204933 ... c Min unsat cost LB: 204936 ... c Min unsat cost LB: 204946 ... c Min unsat cost LB: 204970 ... c Min unsat cost LB: 205601 ... c Min unsat cost LB: 205758 ... c Min unsat cost LB: 205939 ... c Min unsat cost LB: 206219 ... c Min unsat cost LB: 206228 ... c Min unsat cost LB: 206248 ... c Min unsat cost LB: 206442 ... c Min unsat cost LB: 206602 ... c Min unsat cost LB: 207255 ... c Min unsat cost LB: 207379 ... c Min unsat cost LB: 207392 ... c Min unsat cost LB: 207411 ... c Min unsat cost LB: 207997 ... c Min unsat cost LB: 208008 ... c Min unsat cost LB: 208087 ... c Min unsat cost LB: 208819 ... c Min unsat cost LB: 208894 ... c Min unsat cost LB: 209020 ... c Min unsat cost LB: 209055 ... c Min unsat cost LB: 209511 ... c Min unsat cost LB: 209996 ... c Min unsat cost LB: 210402 ... c Min unsat cost LB: 210708 ... c Min unsat cost LB: 211282 ... c Min unsat cost LB: 211353 ... c Min unsat cost LB: 211778 ... c Min unsat cost LB: 212351 ... c Min unsat cost LB: 212383 ... c Min unsat cost LB: 212670 ... c Min unsat cost LB: 213154 ... c Min unsat cost LB: 213443 ... c Min unsat cost LB: 213746 ... c Min unsat cost LB: 213787 ... c Min unsat cost LB: 213789 ... c Min unsat cost LB: 213920 ... c Min unsat cost LB: 213933 ... c Min unsat cost LB: 214320 ... c Min unsat cost LB: 214363 ... c Min unsat cost LB: 214578 ... c Min unsat cost LB: 214952 ... c Min unsat cost LB: 215124 ... c Min unsat cost LB: 215723 ... c Min unsat cost LB: 215985 ... c Min unsat cost LB: 215998 ... c Min unsat cost LB: 216350 ... c Min unsat cost LB: 216584 ... c Min unsat cost LB: 216708 ... c Min unsat cost LB: 216995 ... c Min unsat cost LB: 217149 ... c Min unsat cost LB: 2Killed 1816.361u 3.387s 30:20.06 99.9% 0+0k 0+0io 0pf+0w