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-220-1_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-3.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-220-1_network-3.net.wcnf *** c c Min unsat cost LB: 192 ... c Min unsat cost LB: 1182 ... c Min unsat cost LB: 2481 ... c Min unsat cost LB: 2628 ... c Min unsat cost LB: 3793 ... c Min unsat cost LB: 5063 ... c Min unsat cost LB: 5607 ... c Min unsat cost LB: 6746 ... c Min unsat cost LB: 6872 ... c Min unsat cost LB: 8135 ... c Min unsat cost LB: 8398 ... c Min unsat cost LB: 9956 ... c Min unsat cost LB: 11412 ... c Min unsat cost LB: 12015 ... c Min unsat cost LB: 13025 ... c Min unsat cost LB: 13033 ... c Min unsat cost LB: 13993 ... c Min unsat cost LB: 14074 ... c Min unsat cost LB: 14398 ... c Min unsat cost LB: 15464 ... c Min unsat cost LB: 15783 ... c Min unsat cost LB: 16182 ... c Min unsat cost LB: 16210 ... c Min unsat cost LB: 16307 ... c Min unsat cost LB: 16789 ... c Min unsat cost LB: 18116 ... c Min unsat cost LB: 19032 ... c Min unsat cost LB: 20119 ... c Min unsat cost LB: 20946 ... c Min unsat cost LB: 22911 ... c Min unsat cost LB: 24188 ... c Min unsat cost LB: 24465 ... c Min unsat cost LB: 25013 ... c Min unsat cost LB: 25542 ... c Min unsat cost LB: 26784 ... c Min unsat cost LB: 26884 ... c Min unsat cost LB: 27488 ... c Min unsat cost LB: 27575 ... c Min unsat cost LB: 27794 ... c Min unsat cost LB: 27909 ... c Min unsat cost LB: 28515 ... c Min unsat cost LB: 28967 ... c Min unsat cost LB: 29405 ... c Min unsat cost LB: 29840 ... c Min unsat cost LB: 30761 ... c Min unsat cost LB: 31098 ... c Min unsat cost LB: 31511 ... c Min unsat cost LB: 32882 ... c Min unsat cost LB: 33799 ... c Min unsat cost LB: 33940 ... c Min unsat cost LB: 34903 ... c Min unsat cost LB: 37040 ... c Min unsat cost LB: 37141 ... c Min unsat cost LB: 37938 ... c Min unsat cost LB: 37980 ... c Min unsat cost LB: 38556 ... c Min unsat cost LB: 38649 ... c Min unsat cost LB: 39202 ... c Min unsat cost LB: 39218 ... c Min unsat cost LB: 40062 ... c Min unsat cost LB: 40223 ... c Min unsat cost LB: 40750 ... c Min unsat cost LB: 40904 ... c Min unsat cost LB: 41209 ... c Min unsat cost LB: 41343 ... c Min unsat cost LB: 41686 ... c Min unsat cost LB: 41996 ... c Min unsat cost LB: 42067 ... c Min unsat cost LB: 42521 ... c Min unsat cost LB: 42727 ... c Min unsat cost LB: 43225 ... c Min unsat cost LB: 43260 ... c Min unsat cost LB: 44251 ... c Min unsat cost LB: 44700 ... c Min unsat cost LB: 44718 ... c Min unsat cost LB: 44978 ... c Min unsat cost LB: 45371 ... c Min unsat cost LB: 45737 ... c Min unsat cost LB: 46279 ... c Min unsat cost LB: 46974 ... c Min unsat cost LB: 47077 ... c Min unsat cost LB: 47738 ... c Min unsat cost LB: 47932 ... c Min unsat cost LB: 48273 ... c Min unsat cost LB: 49081 ... c Min unsat cost LB: 49265 ... c Min unsat cost LB: 49698 ... c Min unsat cost LB: 50001 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50442 ... c Min unsat cost LB: 50451 ... c Min unsat cost LB: 50772 ... c Min unsat cost LB: 50861 ... c Min unsat cost LB: 51137 ... c Min unsat cost LB: 51602 ... c Min unsat cost LB: 51805 ... c Min unsat cost LB: 52165 ... c Min unsat cost LB: 52992 ... c Min unsat cost LB: 53204 ... c Min unsat cost LB: 53430 ... c Min unsat cost LB: 54398 ... c Min unsat cost LB: 55019 ... c Min unsat cost LB: 55285 ... c Min unsat cost LB: 55573 ... c Min unsat cost LB: 56235 ... c Min unsat cost LB: 56416 ... c Min unsat cost LB: 56481 ... c Min unsat cost LB: 57218 ... c Min unsat cost LB: 57385 ... c Min unsat cost LB: 57599 ... c Min unsat cost LB: 58266 ... c Min unsat cost LB: 58634 ... c Min unsat cost LB: 58679 ... c Min unsat cost LB: 58699 ... c Min unsat cost LB: 59084 ... c Min unsat cost LB: 59133 ... c Min unsat cost LB: 59200 ... c Min unsat cost LB: 59320 ... c Min unsat cost LB: 59442 ... c Min unsat cost LB: 59608 ... c Min unsat cost LB: 60384 ... c Min unsat cost LB: 60394 ... c Min unsat cost LB: 60717 ... c Min unsat cost LB: 60832 ... c Min unsat cost LB: 61042 ... c Min unsat cost LB: 61547 ... c Min unsat cost LB: 61596 ... c Min unsat cost LB: 62474 ... c Min unsat cost LB: 62627 ... c Min unsat cost LB: 62674 ... c Min unsat cost LB: 62837 ... c Min unsat cost LB: 63163 ... c Min unsat cost LB: 63981 ... c Min unsat cost LB: 64509 ... c Min unsat cost LB: 64754 ... c Min unsat cost LB: 64875 ... c Min unsat cost LB: 65176 ... c Min unsat cost LB: 65221 ... c Min unsat cost LB: 65308 ... c Min unsat cost LB: 65428 ... c Min unsat cost LB: 65482 ... c Min unsat cost LB: 65631 ... c Min unsat cost LB: 65746 ... c Min unsat cost LB: 65852 ... c Min unsat cost LB: 65909 ... c Min unsat cost LB: 66149 ... c Min unsat cost LB: 66707 ... c Min unsat cost LB: 67161 ... c Min unsat cost LB: 67438 ... c Min unsat cost LB: 67968 ... c Min unsat cost LB: 68013 ... c Min unsat cost LB: 68708 ... c Min unsat cost LB: 68804 ... c Min unsat cost LB: 69590 ... c Min unsat cost LB: 69688 ... c Min unsat cost LB: 69930 ... c Min unsat cost LB: 70203 ... c Min unsat cost LB: 71159 ... c Min unsat cost LB: 71499 ... c Min unsat cost LB: 71878 ... c Min unsat cost LB: 72746 ... c Min unsat cost LB: 72897 ... c Min unsat cost LB: 73136 ... c Min unsat cost LB: 73182 ... c Min unsat cost LB: 74178 ... c Min unsat cost LB: 74201 ... c Min unsat cost LB: 74316 ... c Min unsat cost LB: 74538 ... c Min unsat cost LB: 74689 ... c Min unsat cost LB: 75130 ... c Min unsat cost LB: 75255 ... c Min unsat cost LB: 75298 ... c Min unsat cost LB: 75337 ... c Min unsat cost LB: 75353 ... c Min unsat cost LB: 75425 ... c Min unsat cost LB: 75950 ... c Min unsat cost LB: 76181 ... c Min unsat cost LB: 76197 ... c Min unsat cost LB: 76517 ... c Min unsat cost LB: 76717 ... c Min unsat cost LB: 78059 ... c Min unsat cost LB: 78311 ... c Min unsat cost LB: 79201 ... c Min unsat cost LB: 79278 ... c Min unsat cost LB: 79929 ... c Min unsat cost LB: 80108 ... c Min unsat cost LB: 80222 ... c Min unsat cost LB: 80395 ... c Min unsat cost LB: 81611 ... c Min unsat cost LB: 81742 ... c Min unsat cost LB: 82998 ... c Min unsat cost LB: 83474 ... c Min unsat cost LB: 83516 ... c Min unsat cost LB: 83575 ... c Min unsat cost LB: 84033 ... c Min unsat cost LB: 84209 ... c Min unsat cost LB: 84644 ... c Min unsat cost LB: 84853 ... c Min unsat cost LB: 85164 ... c Min unsat cost LB: 85226 ... c Min unsat cost LB: 85261 ... c Min unsat cost LB: 85510 ... c Min unsat cost LB: 85523 ... c Min unsat cost LB: 85536 ... c Min unsat cost LB: 85647 ... c Min unsat cost LB: 86107 ... c Min unsat cost LB: 87131 ... c Min unsat cost LB: 87348 ... c Min unsat cost LB: 87429 ... c Min unsat cost LB: 87560 ... c Min unsat cost LB: 88079 ... c Min unsat cost LB: 88536 ... c Min unsat cost LB: 88756 ... c Min unsat cost LB: 89005 ... c Min unsat cost LB: 89028 ... c Min unsat cost LB: 89374 ... c Min unsat cost LB: 89617 ... c Min unsat cost LB: 89957 ... c Min unsat cost LB: 90134 ... c Min unsat cost LB: 90223 ... c Min unsat cost LB: 90318 ... c Min unsat cost LB: 90456 ... c Min unsat cost LB: 91489 ... c Min unsat cost LB: 91600 ... c Min unsat cost LB: 92450 ... c Min unsat cost LB: 92565 ... c Min unsat cost LB: 93197 ... c Min unsat cost LB: 93257 ... c Min unsat cost LB: 93274 ... c Min unsat cost LB: 93336 ... c Min unsat cost LB: 93531 ... c Min unsat cost LB: 93576 ... c Min unsat cost LB: 93599 ... c Min unsat cost LB: 93670 ... c Min unsat cost LB: 93751 ... c Min unsat cost LB: 93761 ... c Min unsat cost LB: 93783 ... c Min unsat cost LB: 93811 ... c Min unsat cost LB: 93858 ... c Min unsat cost LB: 93992 ... c Min unsat cost LB: 95008 ... c Min unsat cost LB: 95192 ... c Min unsat cost LB: 95521 ... c Min unsat cost LB: 95728 ... c Min unsat cost LB: 97130 ... c Min unsat cost LB: 97148 ... c Min unsat cost LB: 97192 ... c Min unsat cost LB: 97261 ... c Min unsat cost LB: 97637 ... c Min unsat cost LB: 97891 ... c Min unsat cost LB: 99309 ... c Min unsat cost LB: 99399 ... c Min unsat cost LB: 100591 ... c Min unsat cost LB: 100720 ... c Min unsat cost LB: 101424 ... c Min unsat cost LB: 101437 ... c Min unsat cost LB: 101583 ... c Min unsat cost LB: 101653 ... c Min unsat cost LB: 101732 ... c Min unsat cost LB: 102300 ... c Min unsat cost LB: 103360 ... c Min unsat cost LB: 103582 ... c Min unsat cost LB: 103680 ... c Min unsat cost LB: 104903 ... c Min unsat cost LB: 104999 ... c Min unsat cost LB: 105200 ... c Min unsat cost LB: 105480 ... c Min unsat cost LB: 105588 ... c Min unsat cost LB: 105913 ... c Min unsat cost LB: 105949 ... c Min unsat cost LB: 107045 ... c Min unsat cost LB: 107046 ... c Min unsat cost LB: 107099 ... c Min unsat cost LB: 107116 ... c Min unsat cost LB: 107124 ... c Min unsat cost LB: 107156 ... c Min unsat cost LB: 107269 ... c Min unsat cost LB: 108351 ... c Min unsat cost LB: 108379 ... c Min unsat cost LB: 108534 ... c Min unsat cost LB: 108738 ... c Min unsat cost LB: 108777 ... c Min unsat cost LB: 110037 ... c Min unsat cost LB: 110294 ... c Min unsat cost LB: 110304 ... c Min unsat cost LB: 110325 ... c Min unsat cost LB: 110582 ... c Min unsat cost LB: 111318 ... c Min unsat cost LB: 111622 ... c Min unsat cost LB: 111683 ... c Min unsat cost LB: 112220 ... c Min unsat cost LB: 112314 ... c Min unsat cost LB: 112940 ... c Min unsat cost LB: 113224 ... c Min unsat cost LB: 113743 ... c Min unsat cost LB: 113898 ... c Min unsat cost LB: 115452 ... c Min unsat cost LB: 115453 ... c Min unsat cost LB: 115777 ... c Min unsat cost LB: 116045 ... c Min unsat cost LB: 117423 ... c Min unsat cost LB: 117537 ... c Min unsat cost LB: 117688 ... c Min unsat cost LB: 117846 ... c Min unsat cost LB: 118118 ... c Min unsat cost LB: 118438 ... c Min unsat cost LB: 118632 ... c Min unsat cost LB: 118657 ... c Min unsat cost LB: 119013 ... c Min unsat cost LB: 119156 ... c Min unsat cost LB: 119228 ... c Min unsat cost LB: 119238 ... c Min unsat cost LB: 119641 ... c Min unsat cost LB: 120056 ... c Min unsat cost LB: 120537 ... c Min unsat cost LB: 120744 ... c Min unsat cost LB: 121238 ... c Min unsat cost LB: 121309 ... c Min unsat cost LB: 121470 ... c Min unsat cost LB: 121472 ... c Min unsat cost LB: 121758 ... c Min unsat cost LB: 122583 ... c Min unsat cost LB: 122593 ... c Min unsat cost LB: 122841 ... c Min unsat cost LB: 122968 ... c Min unsat cost LB: 123483 ... c Min unsat cost LB: 123772 ... c Min unsat cost LB: 123821 ... c Min unsat cost LB: 123873 ... c Min unsat cost LB: 123900 ... c Min unsat cost LB: 124010 ... c Min unsat cost LB: 124027 ... c Min unsat cost LB: 124189 ... c Min unsat cost LB: 124896 ... c Min unsat cost LB: 124950 ... c Min unsat cost LB: 125030 ... c Min unsat cost LB: 125669 ... c Min unsat cost LB: 125827 ... c Min unsat cost LB: 126007 ... c Min unsat cost LB: 126823 ... c Min unsat cost LB: 126835 ... c Min unsat cost LB: 127013 ... c Min unsat cost LB: 127143 ... c Min unsat cost LB: 127465 ... c Min unsat cost LB: 127559 ... c Min unsat cost LB: 128037 ... c Min unsat cost LB: 128173 ... c Min unsat cost LB: 128224 ... c Min unsat cost LB: 129131 ... c Min unsat cost LB: 129222 ... c Min unsat cost LB: 129407 ... c Min unsat cost LB: 129567 ... c Min unsat cost LB: 129788 ... c Min unsat cost LB: 130263 ... c Min unsat cost LB: 130478 ... c Min unsat cost LB: 130740 ... c Min unsat cost LB: 131220 ... c Min unsat cost LB: 131963 ... c Min unsat cost LB: 131998 ... c Min unsat cost LB: 132104 ... c Min unsat cost LB: 132229 ... c Min unsat cost LB: 132344 ... c Min unsat cost LB: 132459 ... c Min unsat cost LB: 132665 ... c Min unsat cost LB: 133693 ... c Min unsat cost LB: 133701 ... c Min unsat cost LB: 133874 ... c Min unsat cost LB: 134829 ... c Min unsat cost LB: 134882 ... c Min unsat cost LB: 134892 ... c Min unsat cost LB: 135145 ... c Min unsat cost LB: 135364 ... c Min unsat cost LB: 135415 ... c Min unsat cost LB: 135583 ... c Min unsat cost LB: 135643 ... c Min unsat cost LB: 135646 ... c Min unsat cost LB: 135753 ... c Min unsat cost LB: 135859 ... c Min unsat cost LB: 135864 ... c Min unsat cost LB: 136255 ... c Min unsat cost LB: 136508 ... c Min unsat cost LB: 136617 ... c Min unsat cost LB: 136730 ... c Min unsat cost LB: 136810 ... c Min unsat cost LB: 137071 ... c Min unsat cost LB: 137107 ... c Min unsat cost LB: 137156 ... c Min unsat cost LB: 137171 ... c Min unsat cost LB: 137206 ... c Min unsat cost LB: 138014 ... c Min unsat cost LB: 138247 ... c Min unsat cost LB: 138789 ... c Min unsat cost LB: 138988 ... c Min unsat cost LB: 139048 ... c Min unsat cost LB: 139135 ... c Min unsat cost LB: 139637 ... c Min unsat cost LB: 139860 ... c Min unsat cost LB: 139966 ... c Min unsat cost LB: 140323 ... c Min unsat cost LB: 140372 ... c Min unsat cost LB: 140386 ... c Min unsat cost LB: 140465 ... c Min unsat cost LB: 140593 ... c Min unsat cost LB: 141224 ... c Min unsat cost LB: 141762 ... c Min unsat cost LB: 141819 ... c Min unsat cost LB: 141824 ... c Min unsat cost LB: 141871 ... c Min unsat cost LB: 141966 ... c Min unsat cost LB: 142473 ... c Min unsat cost LB: 142809 ... c Min unsat cost LB: 142960 ... c Min unsat cost LB: 143462 ... c Min unsat cost LB: 143637 ... c Min unsat cost LB: 144087 ... c Min unsat cost LB: 144313 ... c Min unsat cost LB: 144570 ... c Min unsat cost LB: 144641 ... c Min unsat cost LB: 145364 ... c Min unsat cost LB: 145617 ... c Min unsat cost LB: 145704 ... c Min unsat cost LB: 146310 ... c Min unsat cost LB: 146533 ... c Min unsat cost LB: 146563 ... c Min unsat cost LB: 146597 ... c Min unsat cost LB: 146818 ... c Min unsat cost LB: 147068 ... c Min unsat cost LB: 147337 ... c Min unsat cost LB: 147443 ... c Min unsat cost LB: 147935 ... c Min unsat cost LB: 147999 ... c Min unsat cost LB: 148120 ... c Min unsat cost LB: 148214 ... c Min unsat cost LB: 148768 ... c Min unsat cost LB: 149064 ... c Min unsat cost LB: 149169 ... c Min unsat cost LB: 149487 ... c Min unsat cost LB: 150364 ... c Min unsat cost LB: 150422 ... c Min unsat cost LB: 150445 ... c Min unsat cost LB: 150452 ... c Min unsat cost LB: 150493 ... c Min unsat cost LB: 150494 ... c Min unsat cost LB: 150495 ... c Min unsat cost LB: 150508 ... c Min unsat cost LB: 150518 ... c Min unsat cost LB: 150523 ... c Min unsat cost LB: 150540 ... c Min unsat cost LB: 150563 ... c Min unsat cost LB: 150590 ... c Min unsat cost LB: 150650 ... c Min unsat cost LB: 150660 ... c Min unsat cost LB: 150705 ... c Min unsat cost LB: 150717 ... c Min unsat cost LB: 150732 ... c Min unsat cost LB: 150733 ... c Min unsat cost LB: 150931 ... c Min unsat cost LB: 151666 ... c Min unsat cost LB: 152186 ... c Min unsat cost LB: 152331 ... c Min unsat cost LB: 152340 ... c Min unsat cost LB: 152382 ... c Min unsat cost LB: 152390 ... c Min unsat cost LB: 152506 ... c Min unsat cost LB: 152900 ... c Min unsat cost LB: 153002 ... c Min unsat cost LB: 153051 ... c Min unsat cost LB: 153089 ... c Min unsat cost LB: 153511 ... c Min unsat cost LB: 153697 ... c Min unsat cost LB: 153854 ... c Min unsat cost LB: 153888 ... c Min unsat cost LB: 155082 ... c Min unsat cost LB: 155305 ... c Min unsat cost LB: 155319 ... c Min unsat cost LB: 155840 ... c Min unsat cost LB: 156133 ... c Min unsat cost LB: 156425 ... c Min unsat cost LB: 157026 ... c Min unsat cost LB: 157168 ... c Min unsat cost LB: 157216 ... c Min unsat cost LB: 158128 ... c Min unsat cost LB: 158273 ... c Min unsat cost LB: 158424 ... c Min unsat cost LB: 158524 ... c Min unsat cost LB: 158793 ... c Min unsat cost LB: 159682 ... c Min unsat cost LB: 159695 ... c Min unsat cost LB: 160462 ... c Min unsat cost LB: 160665 ... c Min unsat cost LB: 160676 ... c Min unsat cost LB: 160685 ... c Min unsat cost LB: 160840 ... c Min unsat cost LB: 160988 ... c Min unsat cost LB: 161327 ... c Min unsat cost LB: 162698 ... c Min unsat cost LB: 162729 ... c Min unsat cost LB: 162752 ... c Min unsat cost LB: 162791 ... c Min unsat cost LB: 163006 ... c Min unsat cost LB: 163050 ... c Min unsat cost LB: 163386 ... c Min unsat cost LB: 163714 ... c Min unsat cost LB: 164001 ... c Min unsat cost LB: 164030 ... c Min unsat cost LB: 165545 ... c Min unsat cost LB: 165690 ... c Min unsat cost LB: 165937 ... c Min unsat cost LB: 166154 ... c Min unsat cost LB: 166420 ... c Min unsat cost LB: 166468 ... c Min unsat cost LB: 166470 ... c Min unsat cost LB: 166717 ... c Min unsat cost LB: 166792 ... c Min unsat cost LB: 166885 ... c Min unsat cost LB: 166936 ... c Min unsat cost LB: 166983 ... c Min unsat cost LB: 166992 ... c Min unsat cost LB: 167205 ... c Min unsat cost LB: 167223 ... c Min unsat cost LB: 167244 ... c Min unsat cost LB: 167279 ... c Min unsat cost LB: 167286 ... c Min unsat cost LB: 167292 ... c Min unsat cost LB: 167293 ... c Min unsat cost LB: 167294 ... c Min unsat cost LB: 167444 ... c Min unsat cost LB: 167496 ... c Min unsat cost LB: 167902 ... c Min unsat cost LB: 168007 ... c Min unsat cost LB: 168167 ... c Min unsat cost LB: 168206 ... c Min unsat cost LB: 168427 ... c Min unsat cost LB: 168886 ... c Min unsat cost LB: 169387 ... c Min unsat cost LB: 169401 ... c Min unsat cost LB: 169520 ... c Min unsat cost LB: 170401 ... c Min unsat cost LB: 170494 ... c Min unsat cost LB: 170717 ... c Min unsat cost LB: 170891 ... c Min unsat cost LB: 170904 ... c Min unsat cost LB: 171413 ... c Min unsat cost LB: 171431 ... c Min unsat cost LB: 171680 ... c Min unsat cost LB: 171729 ... c Min unsat cost LB: 172724 ... c Min unsat cost LB: 172744 ... c Min unsat cost LB: 172762 ... c Min unsat cost LB: 172775 ... c Min unsat cost LB: 173770 ... c Min unsat cost LB: 173862 ... c Min unsat cost LB: 174024 ... c Min unsat cost LB: 174701 ... c Min unsat cost LB: 174741 ... c Min unsat cost LB: 174804 ... c Min unsat cost LB: 175072 ... c Min unsat cost LB: 175086 ... c Min unsat cost LB: 175395 ... c Min unsat cost LB: 175918 ... c Min unsat cost LB: 176076 ... c Min unsat cost LB: 176544 ... c Min unsat cost LB: 176574 ... c Min unsat cost LB: 176721 ... c Min unsat cost LB: 177453 ... c Min unsat cost LB: 178006 ... c Min unsat cost LB: 178224 ... c Min unsat cost LB: 178357 ... c Min unsat cost LB: 178813 ... c Min unsat cost LB: 179256 ... c Min unsat cost LB: 179383 ... c Min unsat cost LB: 179404 ... c Min unsat cost LB: 179688 ... c Min unsat cost LB: 179694 ... c Min unsat cost LB: 179921 ... c Min unsat cost LB: 180429 ... c Min unsat cost LB: 180812 ... c Min unsat cost LB: 181167 ... c Min unsat cost LB: 181250 ... c Min unsat cost LB: 181309 ... c Min unsat cost LB: 181543 ... c Min unsat cost LB: 181792 ... c Min unsat cost LB: 181810 ... c Min unsat cost LB: 181813 ... c Min unsat cost LB: 181867 ... c Min unsat cost LB: 181964 ... c Min unsat cost LB: 181985 ... c Min unsat cost LB: 181986 ... c Min unsat cost LB: 181987 ... c Min unsat cost LB: 181991 ... c Min unsat cost LB: 181992 ... c Min unsat cost LB: 181996 ... c Min unsat cost LB: 182334 ... c Min unsat cost LB: 182678 ... c Min unsat cost LB: 182683 ... c Min unsat cost LB: 182717 ... c Min unsat cost LB: 182771 ... c Min unsat cost LB: 182789 ... c Min unsat cost LB: 183059 ... c Min unsat cost LB: 183122 ... c Min unsat cost LB: 183752 ... c Min unsat cost LB: 183851 ... c Min unsat cost LB: 183865 ... c Min unsat cost LB: 184053 ... c Min unsat cost LB: 184314 ... c Min unsat cost LB: 184676 ... c Min unsat cost LB: 185112 ... c Min unsat cost LB: 185124 ... c Min unsat cost LB: 185144 ... c Min unsat cost LB: 185149 ... c Min unsat cost LB: 185164 ... c Min unsat cost LB: 185335 ... c Min unsat cost LB: 185527 ... c Min unsat cost LB: 185562 ... c Min unsat cost LB: 185809 ... c Min unsat cost LB: 186017 ... c Min unsat cost LB: 186916 ... c Min unsat cost LB: 187086 ... c Min unsat cost LB: 187096 ... c Min unsat cost LB: 188044 ... c Min unsat cost LB: 188192 ... c Min unsat cost LB: 188467 ... c Min unsat cost LB: 188501 ... c Min unsat cost LB: 189039 ... c Min unsat cost LB: 189091 ... c Min unsat cost LB: 189328 ... c Min unsat cost LB: 190269 ... c Min unsat cost LB: 190272 ... c Min unsat cost LB: 190275 ... c Min unsat cost LB: 190309 ... c Min unsat cost LB: 190335 ... c Min unsat cost LB: 190337 ... c Min unsat cost LB: 190578 ... c Min unsat cost LB: 190637 ... c Min unsat cost LB: 190807 ... c Min unsat cost LB: 191377 ... c Min unsat cost LB: 191398 ... c Min unsat cost LB: 191442 ... c Min unsat cost LB: 192526 ... c Min unsat cost LB: 192663 ... c Min unsat cost LB: 192864 ... c Min unsat cost LB: 193512 ... c Min unsat cost LB: 193514 ... c Min unsat cost LB: 193577 ... c Min unsat cost LB: 193867 ... c Min unsat cost LB: 194922 ... c Min unsat cost LB: 195198 ... c Min unsat cost LB: 195216 ... c Min unsat cost LB: 195246 ... c Min unsat cost LB: 195410 ... c Min unsat cost LB: 195536 ... c Min unsat cost LB: 195797 ... c Min unsat cost LB: 196079 ... c Min unsat cost LB: 196169 ... c Min unsat cost LB: 196180 ... c Min unsat cost LB: 196213 ... c Min unsat cost LB: 197348 ... c Min unsat cost LB: 197362 ... c Min unsat cost LB: 197363 ... c Min unsat cost LB: 197368 ... c Min unsat cost LB: 197380 ... c Min unsat cost LB: 197382 ... c Min unsat cost LB: 197417 ... c Min unsat cost LB: 197420 ... c Min unsat cost LB: 197422 ... c Min unsat cost LB: 197428 ... c Min unsat cost LB: 197433 ... c Min unsat cost LB: 197439 ... c Min unsat cost LB: 197440 ... c Min unsat cost LB: 197471 ... c Min unsat cost LB: 197557 ... c Min unsat cost LB: 197579 ... c Min unsat cost LB: 197601 ... c Min unsat cost LB: 197606 ... c Min unsat cost LB: 197607 ... c Min unsat cost LB: 197612 ... c Min unsat cost LB: 197640 ... c Min unsat cost LB: 197676 ... c Min unsat cost LB: 198602 ... c Min unsat cost LB: 198646 ... c Min unsat cost LB: 198647 ... c Min unsat cost LB: 198660 ... c Min unsat cost LB: 198662 ... c Min unsat cost LB: 198665 ... c Min unsat cost LB: 198666 ... c Min unsat cost LB: 198668 ... c Min unsat cost LB: 198671 ... c Min unsat cost LB: 198674 ... c Min unsat cost LB: 198677 ... c Min unsat cost LB: 198679 ... c Min unsat cost LB: 198685 ... c Min unsat cost LB: 198688 ... c Min unsat cost LB: 198702 ... c Min unsat cost LB: 199418 ... c Min unsat cost LB: 199561 ... c Min unsat cost LB: 199656 ... c Min unsat cost LB: 199843 ... c Min unsat cost LB: 199881 ... c Min unsat cost LB: 199955 ... c Min unsat cost LB: 200264 ... c Min unsat cost LB: 200830 ... c Min unsat cost LB: 200843 ... c Min unsat cost LB: 201276 ... c Min unsat cost LB: 201371 ... c Min unsat cost LB: 201481 ... c Min unsat cost LB: 201616 ... c Min unsat cost LB: 202143 ... c Min unsat cost LB: 202408 ... c Min unsat cost LB: 203026 ... c Min unsat cost LB: 203284 ... c Min unsat cost LB: 203570 ... c Min unsat cost LB: 203707 ... c Min unsat cost LB: 203799 ... c Min unsat cost LB: 203857 ... c Min unsat cost LB: 204378 ... c Min unsat cost LB: 204431 ... c Min unsat cost LB: 205643 ... c Min unsat cost LB: 205685 ... c Min unsat cost LB: 205908 ... c Min unsat cost LB: 206108 ... c Min unsat cost LB: 206726 ... c Min unsat cost LB: 206757 ... c Min unsat cost LB: 207051 ... c Min unsat cost LB: 207202 ... c Min unsat cost LB: 207423 ... c Min unsat cost LB: 207426 ... c Min unsat cost LB: 207968 ... c Min unsat cost LB: 208111 ... c Min unsat cost LB: 208121 ... c Min unsat cost LB: 208160 ... c Min unsat cost LB: 208945 ... c Min unsat cost LB: 209114 ... o 209114 s OPTIMUM FOUND v -1 2 3 -4 -5 -6 7 -8 -9 -10 -11 12 -13 14 -15 -16 -17 18 -19 -20 21 -22 23 -24 -25 -26 27 28 -29 -30 -31 -32 -33 34 -35 36 -37 -38 -39 -40 41 42 -43 -44 -45 46 -47 -48 -49 -50 51 -52 53 54 -55 -56 57 58 -59 -60 -61 62 -63 -64 65 -66 -67 -68 -69 70 -71 -72 -73 -74 75 -76 77 -78 79 80 -81 -82 -83 -84 -85 86 -87 -88 -89 90 -91 92 93 -94 -95 -96 97 -98 -99 -100 101 -102 -103 104 -105 -106 107 108 -109 110 -111 -112 113 -114 -115 -116 117 -118 -119 -120 121 -122 123 -124 -125 -126 127 -128 -129 130 -131 -132 133 -134 -135 136 -137 -138 -139 -140 141 142 -143 -144 -145 146 -147 -148 -149 -150 151 152 -153 -154 -155 -156 157 -158 159 -160 -161 -162 163 -164 165 166 -167 168 -169 170 -171 -172 -173 -174 175 -176 -177 -178 179 -180 -181 -182 183 -184 185 -186 -187 -188 -189 190 -191 -192 193 -194 -195 -196 197 -198 199 -200 -201 202 -203 -204 205 -206 -207 -208 209 -210 -211 -212 213 -214 215 -216 -217 -218 219 -220 221 -222 -223 -224 225 -226 -227 228 -229 230 -231 232 -233 -234 -235 -236 237 -238 -239 240 -241 -242 243 -244 245 246 -247 -248 -249 -250 251 -252 -253 254 -255 256 257 -258 -259 260 -261 262 -263 -264 -265 266 -267 268 -269 270 -271 -272 273 -274 -275 -276 277 -278 279 -280 281 -282 -283 -284 285 -286 -287 288 -289 -290 291 -292 -293 294 -295 -296 -297 298 299 -300 301 -302 -303 -304 -305 306 -307 -308 -309 310 -311 -312 -313 -314 315 316 -317 318 -319 -320 -321 322 323 -324 -325 326 -327 -328 329 -330 331 -332 -333 -334 -335 336 337 -338 -339 -340 -341 -342 343 -344 -345 346 -347 -348 349 350 -351 -352 -353 354 -355 -356 -357 -358 359 -360 361 -362 -363 -364 365 -366 -367 -368 369 -370 371 -372 -373 374 -375 -376 377 -378 -379 380 -381 -382 -383 -384 385 -386 -387 388 -389 -390 -391 -392 393 -394 395 -396 -397 398 -399 -400 -401 402 403 -404 405 -406 -407 -408 -409 -410 411 -412 413 -414 -415 416 -417 -418 419 -420 -421 -422 -423 424 -425 426 -427 -428 429 430 -431 -432 -433 434 -435 436 -437 -438 -439 440 441 -442 -443 444 -445 446 -447 448 -449 -450 451 -452 -453 -454 455 456 -457 -458 -459 460 461 -462 -463 464 465 -466 -467 -468 469 -470 -471 472 -473 -474 -475 476 -477 478 -479 -480 481 -482 -483 -484 -485 -486 487 488 -489 490 -491 -492 -493 -494 495 -496 497 -498 499 -500 -501 -502 503 -504 -505 506 -507 -508 509 -510 511 -512 -513 -514 515 516 -517 -518 -519 520 -521 -522 523 -524 525 -526 -527 -528 -529 -530 531 532 -533 534 -535 -536 -537 -538 -539 540 -541 542 -543 -544 545 -546 -547 -548 549 -550 551 -552 -553 -554 555 -556 -557 558 -559 -560 -561 562 -563 c CPU Time: 41.2587 41.311u 0.212s 0:41.55 99.9% 0+0k 0+0io 0pf+0w