Presolve eliminates 14 constraints and 49 variables. Adjusted problem: 1169 variables, all binary 2346 constraints, all linear; 6748 nonzeros 1 linear objective; 0 nonzeros. CPLEX 8.1.0: clocktype = 2 timing=1 mipdisplay=2 mipstartvalue=1 Clique table members: 2092 MIP emphasis: balance optimality and feasibility Root relaxation solution time = 0.85 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 7.0000 703 7.0000 993 7.0000 596 Cuts: 165 1144 7.0000 579 Cuts: 100 1352 7.0000 575 Cuts: 8 1381 7.0000 550 Cliques: 1 1397 100 25 7.0000 54 7.0000 5178 200 35 7.0000 83 7.0000 6779 300 42 infeasible 7.0000 9189 400 46 infeasible 7.0000 12283 500 37 infeasible 7.0000 15076 600 41 infeasible 7.0000 17568 700 39 7.0000 32 7.0000 19525 800 39 infeasible 7.0000 21591 900 41 7.0000 44 7.0000 23393 1000 51 infeasible 7.0000 24715 Elapsed b&c time = 18.09 sec. (tree size = 0.04 MB) 1100 39 infeasible 7.0000 26033 1200 39 7.0000 76 7.0000 27756 1300 39 infeasible 7.0000 29149 1400 37 7.0000 49 7.0000 30822 1500 37 infeasible 7.0000 33860 1600 37 7.0000 36 7.0000 37095 1700 23 7.0000 81 7.0000 40892 1800 27 infeasible 7.0000 43177 1900 27 7.0000 48 7.0000 46107 2000 29 infeasible 7.0000 49037 Elapsed b&c time = 35.04 sec. (tree size = 0.02 MB) 2100 27 infeasible 7.0000 50656 2200 23 infeasible 7.0000 52296 2300 31 7.0000 37 7.0000 53829 2400 39 infeasible 7.0000 57543 2500 37 infeasible 7.0000 60320 2600 37 infeasible 7.0000 62581 2700 29 infeasible 7.0000 65011 2800 29 infeasible 7.0000 67200 2900 29 infeasible 7.0000 69875 3000 31 7.0000 10 7.0000 71658 Elapsed b&c time = 50.91 sec. (tree size = 0.02 MB) 3100 31 7.0000 30 7.0000 73016 3200 33 infeasible 7.0000 74113 3300 31 infeasible 7.0000 77144 3400 37 infeasible 7.0000 80694 3500 37 infeasible 7.0000 82358 3600 27 infeasible 7.0000 84830 3700 31 7.0000 70 7.0000 86809 3800 31 infeasible 7.0000 89438 3900 31 infeasible 7.0000 92512 4000 35 7.0000 88 7.0000 95318 Elapsed b&c time = 68.23 sec. (tree size = 0.03 MB) 4100 38 7.0000 26 7.0000 97630 4200 36 infeasible 7.0000 99657 4300 42 infeasible 7.0000 103167 4400 42 infeasible 7.0000 105047 4500 46 infeasible 7.0000 106763 4600 38 7.0000 64 7.0000 108602 4700 44 infeasible 7.0000 111010 4800 44 7.0000 20 7.0000 114109 4900 38 7.0000 31 7.0000 116574 5000 53 infeasible 7.0000 120175 Elapsed b&c time = 87.34 sec. (tree size = 0.04 MB) 5100 57 infeasible 7.0000 123088 5200 47 7.0000 118 7.0000 126642 5300 49 infeasible 7.0000 129105 5400 55 infeasible 7.0000 131424 5500 53 7.0000 59 7.0000 133267 5600 59 infeasible 7.0000 134985 5700 49 infeasible 7.0000 139891 5800 53 infeasible 7.0000 143309 5900 56 7.0000 54 7.0000 146757 6000 62 infeasible 7.0000 148980 Elapsed b&c time = 109.65 sec. (tree size = 0.05 MB) 6100 56 7.0000 78 7.0000 149553 6200 56 infeasible 7.0000 149978 6300 64 7.0000 46 7.0000 151808 6400 62 infeasible 7.0000 154008 6500 64 infeasible 7.0000 155717 6600 72 7.0000 34 7.0000 158223 6700 65 infeasible 7.0000 160410 6800 53 infeasible 7.0000 162728 6900 63 7.0000 59 7.0000 165731 7000 65 7.0000 46 7.0000 169026 Elapsed b&c time = 125.58 sec. (tree size = 0.05 MB) 7100 63 infeasible 7.0000 170087 7200 65 7.0000 61 7.0000 171964 7300 57 7.0000 119 7.0000 174127 7400 67 infeasible 7.0000 176595 7500 63 7.0000 95 7.0000 179964 7600 69 infeasible 7.0000 181494 7700 61 7.0000 98 7.0000 183696 7800 64 7.0000 69 7.0000 184974 7900 63 7.0000 23 7.0000 186720 8000 69 infeasible 7.0000 189557 Elapsed b&c time = 140.96 sec. (tree size = 0.05 MB) 8100 61 infeasible 7.0000 192109 8200 63 infeasible 7.0000 193534 8300 62 7.0000 61 7.0000 197438 8400 71 infeasible 7.0000 200061 8500 61 infeasible 7.0000 202922 8600 59 7.0000 130 7.0000 205996 8700 67 infeasible 7.0000 211300 8800 57 infeasible 7.0000 215124 8900 55 infeasible 7.0000 221734 9000 59 infeasible 7.0000 226872 Elapsed b&c time = 170.19 sec. (tree size = 0.05 MB) 9100 56 infeasible 7.0000 228579 9200 55 infeasible 7.0000 231195 9300 53 7.0000 125 7.0000 234591 9400 61 infeasible 7.0000 238924 9500 63 infeasible 7.0000 243826 9600 63 infeasible 7.0000 247231 9700 61 7.0000 86 7.0000 251589 9800 71 7.0000 65 7.0000 255235 9900 71 7.0000 23 7.0000 258953 10000 65 7.0000 52 7.0000 262800 Elapsed b&c time = 196.70 sec. (tree size = 0.05 MB) 10100 65 infeasible 7.0000 264775 10200 62 7.0000 82 7.0000 268079 10300 62 7.0000 80 7.0000 270833 10400 61 7.0000 83 7.0000 274139 10500 61 7.0000 66 7.0000 279614 10600 57 7.0000 98 7.0000 282641 10700 63 infeasible 7.0000 285105 10800 62 7.0000 23 7.0000 288455 10900 64 infeasible 7.0000 291423 11000 62 infeasible 7.0000 296389 Elapsed b&c time = 222.31 sec. (tree size = 0.05 MB) 11100 62 infeasible 7.0000 300030 11200 68 7.0000 51 7.0000 301733 11300 62 infeasible 7.0000 304390 11400 60 infeasible 7.0000 306880 11500 58 infeasible 7.0000 308624 11600 64 7.0000 74 7.0000 311190 11700 64 7.0000 78 7.0000 314097 11800 60 infeasible 7.0000 315881 11900 61 7.0000 11 7.0000 317861 12000 53 infeasible 7.0000 318240 Elapsed b&c time = 238.49 sec. (tree size = 0.04 MB) 12100 66 7.0000 77 7.0000 321242 12200 54 infeasible 7.0000 324227 12300 60 infeasible 7.0000 326353 12400 66 infeasible 7.0000 329514 12500 54 infeasible 7.0000 331717 12600 55 infeasible 7.0000 333025 12700 56 infeasible 7.0000 335302 12800 58 7.0000 29 7.0000 336369 12900 56 infeasible 7.0000 337747 13000 62 7.0000 87 7.0000 340040 Elapsed b&c time = 255.10 sec. (tree size = 0.05 MB) 13100 55 7.0000 96 7.0000 341950 13200 59 7.0000 68 7.0000 343594 13300 59 7.0000 60 7.0000 344417 13400 61 infeasible 7.0000 345450 13500 59 infeasible 7.0000 346327 13600 54 7.0000 106 7.0000 348855 13700 65 infeasible 7.0000 350993 13800 58 infeasible 7.0000 352449 13900 58 7.0000 59 7.0000 354716 14000 61 7.0000 41 7.0000 358246 Elapsed b&c time = 270.17 sec. (tree size = 0.05 MB) 14100 69 7.0000 10 7.0000 362129 14200 65 7.0000 67 7.0000 365234 14300 55 7.0000 116 7.0000 366812 14400 59 infeasible 7.0000 371329 14500 62 infeasible 7.0000 373311 14600 56 infeasible 7.0000 375799 14700 56 7.0000 46 7.0000 380849 14800 54 7.0000 71 7.0000 385353 14900 56 7.0000 54 7.0000 388254 15000 52 infeasible 7.0000 392593 Elapsed b&c time = 297.07 sec. (tree size = 0.04 MB) 15100 48 infeasible 7.0000 396508 15200 48 infeasible 7.0000 399327 15300 38 7.0000 143 7.0000 404046 15400 55 infeasible 7.0000 408223 15500 50 7.0000 28 7.0000 410872 15600 52 infeasible 7.0000 412135 15700 46 infeasible 7.0000 416108 15800 47 infeasible 7.0000 417592 15900 58 7.0000 63 7.0000 419903 16000 50 7.0000 102 7.0000 422902 Elapsed b&c time = 320.65 sec. (tree size = 0.04 MB) 16100 51 7.0000 29 7.0000 425352 16200 49 infeasible 7.0000 428286 16300 47 7.0000 130 7.0000 434863 16400 50 7.0000 111 7.0000 438862 16500 52 7.0000 96 7.0000 441337 16600 60 7.0000 10 7.0000 443960 16700 58 7.0000 64 7.0000 445499 16800 58 infeasible 7.0000 448882 16900 58 infeasible 7.0000 451993 17000 56 7.0000 42 7.0000 455602 Elapsed b&c time = 345.69 sec. (tree size = 0.04 MB) 17100 54 infeasible 7.0000 458508 17200 50 7.0000 68 7.0000 459351 17300 55 infeasible 7.0000 460604 17400 53 7.0000 32 7.0000 462709 17500 55 infeasible 7.0000 464582 17600 55 7.0000 43 7.0000 467386 17700 51 infeasible 7.0000 472165 17800 51 7.0000 30 7.0000 474151 17900 50 infeasible 7.0000 476068 18000 50 infeasible 7.0000 477513 Elapsed b&c time = 362.64 sec. (tree size = 0.04 MB) 18100 48 infeasible 7.0000 482145 18200 52 7.0000 86 7.0000 486498 18300 63 infeasible 7.0000 491856 18400 61 7.0000 130 7.0000 495940 18500 59 infeasible 7.0000 500504 18600 62 infeasible 7.0000 501991 18700 62 infeasible 7.0000 503773 18800 66 7.0000 25 7.0000 504599 18900 60 7.0000 90 7.0000 505888 19000 58 7.0000 58 7.0000 507525 Elapsed b&c time = 388.26 sec. (tree size = 0.04 MB) 19100 60 7.0000 45 7.0000 508817 19200 60 7.0000 20 7.0000 511265 19300 58 7.0000 29 7.0000 514002 19400 59 7.0000 37 7.0000 515641 19500 55 infeasible 7.0000 518775 19600 63 7.0000 16 7.0000 520098 19700 63 infeasible 7.0000 521034 19800 57 7.0000 33 7.0000 521763 19900 57 infeasible 7.0000 522275 20000 55 infeasible 7.0000 523683 Elapsed b&c time = 400.94 sec. (tree size = 0.04 MB) 20100 56 7.0000 21 7.0000 525544 20200 52 infeasible 7.0000 526915 20300 51 infeasible 7.0000 531566 20400 55 infeasible 7.0000 532052 20500 55 7.0000 30 7.0000 532299 20600 55 7.0000 26 7.0000 532910 20700 57 7.0000 25 7.0000 533678 20800 53 infeasible 7.0000 534740 20900 51 infeasible 7.0000 535780 21000 47 7.0000 77 7.0000 537561 Elapsed b&c time = 413.59 sec. (tree size = 0.04 MB) 21100 47 infeasible 7.0000 538440 21200 55 infeasible 7.0000 541900 21300 59 7.0000 37 7.0000 542729 21400 55 infeasible 7.0000 543314 21500 51 7.0000 75 7.0000 546329 21600 48 infeasible 7.0000 549185 21700 62 infeasible 7.0000 551592 21800 58 infeasible 7.0000 554348 21900 54 7.0000 77 7.0000 556421 22000 65 7.0000 55 7.0000 559533 Elapsed b&c time = 431.22 sec. (tree size = 0.05 MB) 22100 82 infeasible 7.0000 563531 22200 78 infeasible 7.0000 567765 22300 68 infeasible 7.0000 571164 22400 68 infeasible 7.0000 573649 22500 62 infeasible 7.0000 575603 22600 61 7.0000 65 7.0000 578353 22700 65 infeasible 7.0000 580199 22800 63 infeasible 7.0000 581746 22900 63 infeasible 7.0000 584037 23000 60 7.0000 49 7.0000 586563 Elapsed b&c time = 450.09 sec. (tree size = 0.05 MB) 23100 66 7.0000 25 7.0000 587569 23200 64 infeasible 7.0000 588657 23300 58 infeasible 7.0000 591130 23400 60 7.0000 87 7.0000 593654 23500 58 infeasible 7.0000 597854 23600 64 infeasible 7.0000 601563 23700 60 infeasible 7.0000 603151 23800 54 7.0000 84 7.0000 604315 23900 62 infeasible 7.0000 607964 24000 60 infeasible 7.0000 610648 Elapsed b&c time = 468.94 sec. (tree size = 0.05 MB) 24100 60 7.0000 62 7.0000 612730 24200 60 7.0000 66 7.0000 614111 24300 58 infeasible 7.0000 615534 24400 56 7.0000 94 7.0000 618710 24500 61 7.0000 25 7.0000 621003 24600 69 7.0000 37 7.0000 622757 24700 62 7.0000 27 7.0000 625374 24800 64 infeasible 7.0000 626533 24900 64 infeasible 7.0000 628002 25000 61 infeasible 7.0000 629191 Elapsed b&c time = 482.53 sec. (tree size = 0.05 MB) 25100 57 7.0000 112 7.0000 630157 25200 61 7.0000 23 7.0000 631337 25300 57 infeasible 7.0000 632476 25400 54 7.0000 93 7.0000 634821 25500 54 7.0000 83 7.0000 638661 25600 56 infeasible 7.0000 640446 25700 54 7.0000 97 7.0000 644209 25800 53 infeasible 7.0000 648119 25900 51 infeasible 7.0000 651908 26000 67 7.0000 55 7.0000 654418 Elapsed b&c time = 501.77 sec. (tree size = 0.05 MB) 26100 71 infeasible 7.0000 658286 26200 75 7.0000 41 7.0000 662259 26300 68 infeasible 7.0000 665570 26400 61 7.0000 115 7.0000 669848 26500 62 infeasible 7.0000 671855 26600 60 infeasible 7.0000 673920 26700 64 7.0000 58 7.0000 675691 26800 70 7.0000 39 7.0000 677030 26900 66 7.0000 25 7.0000 678381 27000 54 7.0000 126 7.0000 680660 Elapsed b&c time = 522.70 sec. (tree size = 0.04 MB) 27100 52 7.0000 187 7.0000 684133 27200 52 infeasible 7.0000 690632 27300 56 7.0000 109 7.0000 694999 27400 50 infeasible 7.0000 698473 27500 44 7.0000 178 7.0000 702714 27600 48 7.0000 83 7.0000 704852 27700 50 infeasible 7.0000 707397 27800 54 infeasible 7.0000 710279 27900 58 infeasible 7.0000 711560 28000 56 infeasible 7.0000 713083 Elapsed b&c time = 549.04 sec. (tree size = 0.04 MB) 28100 54 infeasible 7.0000 716220 28200 56 infeasible 7.0000 718845 28300 56 infeasible 7.0000 722132 28400 58 7.0000 66 7.0000 727105 28500 62 infeasible 7.0000 730106 28600 58 7.0000 107 7.0000 733883 28700 54 infeasible 7.0000 737721 28800 54 infeasible 7.0000 739808 28900 50 infeasible 7.0000 743048 29000 66 infeasible 7.0000 747589 Elapsed b&c time = 575.72 sec. (tree size = 0.05 MB) 29100 62 7.0000 38 7.0000 751165 29200 61 7.0000 62 7.0000 754409 29300 57 infeasible 7.0000 755700 29400 61 infeasible 7.0000 757934 29500 61 infeasible 7.0000 759761 29600 61 7.0000 41 7.0000 761604 29700 61 7.0000 55 7.0000 762662 29800 51 7.0000 177 7.0000 763916 29900 59 infeasible 7.0000 765420 30000 52 7.0000 116 7.0000 767828 Elapsed b&c time = 590.45 sec. (tree size = 0.04 MB) 30100 52 infeasible 7.0000 769675 30200 58 infeasible 7.0000 772102 30300 54 infeasible 7.0000 773826 30400 54 7.0000 75 7.0000 775286 30500 56 infeasible 7.0000 777578 30600 54 infeasible 7.0000 780361 30700 52 7.0000 69 7.0000 783077 30800 52 7.0000 65 7.0000 784892 30900 55 7.0000 18 7.0000 787271 31000 55 infeasible 7.0000 789470 Elapsed b&c time = 608.00 sec. (tree size = 0.04 MB) 31100 55 infeasible 7.0000 791226 31200 59 infeasible 7.0000 793561 31300 61 7.0000 58 7.0000 795403 31400 61 infeasible 7.0000 797877 31500 59 infeasible 7.0000 799633 31600 55 infeasible 7.0000 800860 31700 51 7.0000 92 7.0000 803063 31800 53 infeasible 7.0000 805397 31900 56 infeasible 7.0000 808285 32000 53 7.0000 122 7.0000 810995 Elapsed b&c time = 625.21 sec. (tree size = 0.04 MB) 32100 59 infeasible 7.0000 815396 32200 55 7.0000 112 7.0000 819535 32300 55 7.0000 230 7.0000 822135 32400 51 infeasible 7.0000 826422 32500 57 infeasible 7.0000 834028 32600 59 7.0000 93 7.0000 839714 32700 63 infeasible 7.0000 842958 32800 58 infeasible 7.0000 844778 32900 56 7.0000 109 7.0000 847118 33000 54 infeasible 7.0000 849564 Elapsed b&c time = 660.67 sec. (tree size = 0.04 MB) 33100 52 7.0000 148 7.0000 854447 33200 59 infeasible 7.0000 858404 33300 68 infeasible 7.0000 863702 33400 70 infeasible 7.0000 865949 33500 66 7.0000 33 7.0000 867808 33600 64 infeasible 7.0000 871542 33700 62 7.0000 119 7.0000 876177 33800 65 infeasible 7.0000 879619 33900 67 infeasible 7.0000 882802 34000 61 infeasible 7.0000 886085 Elapsed b&c time = 689.08 sec. (tree size = 0.05 MB) 34100 67 infeasible 7.0000 889704 34200 63 7.0000 124 7.0000 890735 34300 69 7.0000 36 7.0000 893894 34400 64 7.0000 102 7.0000 896178 34500 61 7.0000 60 7.0000 899237 34600 60 infeasible 7.0000 902173 34700 59 infeasible 7.0000 905162 34800 55 infeasible 7.0000 908512 34900 55 7.0000 118 7.0000 911664 35000 58 infeasible 7.0000 914067 Elapsed b&c time = 712.00 sec. (tree size = 0.05 MB) 35100 56 7.0000 45 7.0000 917393 35200 57 7.0000 69 7.0000 921126 35300 59 infeasible 7.0000 922185 35400 62 7.0000 26 7.0000 924375 35500 53 7.0000 91 7.0000 927112 35600 57 7.0000 30 7.0000 930600 35700 53 7.0000 49 7.0000 933621 35800 55 7.0000 33 7.0000 936259 35900 63 infeasible 7.0000 938227 36000 56 infeasible 7.0000 940934 Elapsed b&c time = 730.47 sec. (tree size = 0.04 MB) 36100 56 7.0000 58 7.0000 943185 36200 62 7.0000 49 7.0000 945560 36300 56 7.0000 59 7.0000 948191 36400 56 7.0000 95 7.0000 950635 36500 52 7.0000 74 7.0000 952434 36600 52 7.0000 74 7.0000 954482 36700 48 7.0000 239 7.0000 957300 36800 59 7.0000 139 7.0000 962351 36900 61 infeasible 7.0000 966661 37000 55 7.0000 137 7.0000 970730 Elapsed b&c time = 753.88 sec. (tree size = 0.04 MB) 37100 59 7.0000 138 7.0000 972933 37200 52 infeasible 7.0000 977984 37300 58 infeasible 7.0000 982668 37400 52 7.0000 176 7.0000 988673 37500 56 7.0000 106 7.0000 993992 37600 52 7.0000 93 7.0000 1001894 37700 56 infeasible 7.0000 1005889 37800 54 7.0000 169 7.0000 1011619 37900 58 7.0000 147 7.0000 1018901 38000 59 infeasible 7.0000 1021460 Elapsed b&c time = 801.60 sec. (tree size = 0.05 MB) 38100 57 7.0000 155 7.0000 1026861 38200 59 infeasible 7.0000 1032029 38300 57 7.0000 160 7.0000 1037051 38400 57 7.0000 152 7.0000 1041756 38500 51 infeasible 7.0000 1045742 38600 50 infeasible 7.0000 1048810 38700 50 infeasible 7.0000 1054060 38800 43 infeasible 7.0000 1062466 38900 55 infeasible 7.0000 1067659 39000 53 infeasible 7.0000 1068968 Elapsed b&c time = 847.51 sec. (tree size = 0.04 MB) 39100 51 infeasible 7.0000 1070024 39200 53 infeasible 7.0000 1071034 39300 50 infeasible 7.0000 1076026 39400 52 7.0000 149 7.0000 1082634 39500 58 7.0000 158 7.0000 1087281 39600 58 infeasible 7.0000 1090653 39700 54 7.0000 120 7.0000 1097301 39800 52 7.0000 184 7.0000 1103273 39900 54 infeasible 7.0000 1107760 40000 44 7.0000 162 7.0000 1111590 Elapsed b&c time = 886.45 sec. (tree size = 0.03 MB) 40100 40 7.0000 192 7.0000 1117762 40200 47 infeasible 7.0000 1123166 40300 45 7.0000 134 7.0000 1128305 40400 38 infeasible 7.0000 1133916 40500 40 7.0000 129 7.0000 1136561 40600 56 infeasible 7.0000 1139773 40700 44 7.0000 128 7.0000 1144062 40800 49 infeasible 7.0000 1148880 40900 47 7.0000 79 7.0000 1151396 41000 49 infeasible 7.0000 1153317 Elapsed b&c time = 922.25 sec. (tree size = 0.04 MB) 41100 53 7.0000 89 7.0000 1156240 41200 53 7.0000 73 7.0000 1157971 41300 51 7.0000 60 7.0000 1160656 41400 55 7.0000 103 7.0000 1162943 41500 63 infeasible 7.0000 1165880 41600 61 7.0000 58 7.0000 1168167 41700 51 infeasible 7.0000 1170539 41800 52 7.0000 74 7.0000 1173004 41900 50 7.0000 114 7.0000 1175932 42000 52 infeasible 7.0000 1180994 Elapsed b&c time = 943.02 sec. (tree size = 0.04 MB) 42100 54 infeasible 7.0000 1183722 42200 46 infeasible 7.0000 1186386 42300 49 7.0000 59 7.0000 1188691 42400 56 7.0000 26 7.0000 1191372 42500 62 7.0000 31 7.0000 1193461 42600 57 7.0000 50 7.0000 1195832 42700 55 infeasible 7.0000 1199629 42800 59 infeasible 7.0000 1201998 42900 59 7.0000 75 7.0000 1205280 43000 63 infeasible 7.0000 1209552 Elapsed b&c time = 964.59 sec. (tree size = 0.05 MB) 43100 61 7.0000 90 7.0000 1211997 43200 68 infeasible 7.0000 1215302 43300 60 infeasible 7.0000 1218389 43400 60 infeasible 7.0000 1221464 43500 55 7.0000 129 7.0000 1225009 43600 51 7.0000 56 7.0000 1229343 43700 43 7.0000 143 7.0000 1232534 43800 55 infeasible 7.0000 1234702 43900 53 7.0000 59 7.0000 1237018 44000 53 7.0000 54 7.0000 1239527 Elapsed b&c time = 986.26 sec. (tree size = 0.04 MB) 44100 57 infeasible 7.0000 1243598 44200 55 7.0000 17 7.0000 1246186 44300 51 infeasible 7.0000 1249558 44400 53 infeasible 7.0000 1253260 44500 44 infeasible 7.0000 1255668 44600 49 7.0000 85 7.0000 1257532 44700 53 7.0000 148 7.0000 1260383 44800 65 7.0000 69 7.0000 1262467 44900 69 infeasible 7.0000 1267167 45000 65 infeasible 7.0000 1271276 Elapsed b&c time = 1012.97 sec. (tree size = 0.05 MB) 45100 63 7.0000 151 7.0000 1273834 45200 55 7.0000 150 7.0000 1277809 45300 51 infeasible 7.0000 1281080 45400 53 7.0000 104 7.0000 1284640 45500 59 7.0000 102 7.0000 1287143 45600 55 infeasible 7.0000 1289885 45700 57 infeasible 7.0000 1292353 45800 51 infeasible 7.0000 1293933 45900 56 7.0000 71 7.0000 1297762 46000 58 7.0000 69 7.0000 1300094 Elapsed b&c time = 1036.10 sec. (tree size = 0.04 MB) 46100 55 infeasible 7.0000 1302360 46200 59 7.0000 52 7.0000 1304804 46300 57 7.0000 33 7.0000 1306916 46400 66 7.0000 67 7.0000 1309230 46500 59 7.0000 75 7.0000 1312262 46600 65 infeasible 7.0000 1316026 46700 57 infeasible 7.0000 1319532 46800 57 infeasible 7.0000 1321887 46900 61 7.0000 34 7.0000 1324869 47000 59 7.0000 47 7.0000 1325418 Elapsed b&c time = 1056.83 sec. (tree size = 0.05 MB) 47100 59 infeasible 7.0000 1326933 47200 54 7.0000 87 7.0000 1328348 47300 60 infeasible 7.0000 1332317 47400 52 7.0000 90 7.0000 1334283 47500 48 7.0000 98 7.0000 1337866 47600 54 infeasible 7.0000 1340629 47700 52 infeasible 7.0000 1343264 47800 54 7.0000 23 7.0000 1346193 47900 49 7.0000 69 7.0000 1350050 48000 51 7.0000 23 7.0000 1351645 Elapsed b&c time = 1077.26 sec. (tree size = 0.04 MB) 48100 51 infeasible 7.0000 1353044 48200 51 7.0000 22 7.0000 1355010 48300 55 infeasible 7.0000 1358044 48400 59 infeasible 7.0000 1359519 48500 52 infeasible 7.0000 1362803 48600 61 infeasible 7.0000 1365027 48700 56 7.0000 57 7.0000 1367692 48800 57 infeasible 7.0000 1369669 48900 64 7.0000 17 7.0000 1373488 49000 60 infeasible 7.0000 1374562 Elapsed b&c time = 1094.40 sec. (tree size = 0.05 MB) 49100 57 infeasible 7.0000 1376286 49200 53 7.0000 85 7.0000 1378325 49300 50 7.0000 111 7.0000 1381476 49400 51 infeasible 7.0000 1382542 49500 44 7.0000 167 7.0000 1385724 49600 48 7.0000 110 7.0000 1387558 49700 48 7.0000 104 7.0000 1389097 49800 60 7.0000 100 7.0000 1391715 49900 60 7.0000 47 7.0000 1394632 50000 60 infeasible 7.0000 1396361 Elapsed b&c time = 1111.68 sec. (tree size = 0.05 MB) 50100 64 7.0000 63 7.0000 1397991 50200 64 infeasible 7.0000 1399184 50300 60 infeasible 7.0000 1399719 50400 62 infeasible 7.0000 1400322 50500 60 7.0000 39 7.0000 1400789 50600 58 7.0000 39 7.0000 1401391 50700 60 infeasible 7.0000 1403416 50800 58 infeasible 7.0000 1405794 50900 58 7.0000 82 7.0000 1406904 51000 62 infeasible 7.0000 1407923 Elapsed b&c time = 1121.48 sec. (tree size = 0.05 MB) 51100 57 7.0000 88 7.0000 1409590 51200 59 infeasible 7.0000 1411844 51300 51 7.0000 116 7.0000 1414046 51400 59 infeasible 7.0000 1416268 51500 57 7.0000 89 7.0000 1418609 51600 59 7.0000 115 7.0000 1421215 51700 63 infeasible 7.0000 1423701 51800 64 infeasible 7.0000 1427838 51900 68 infeasible 7.0000 1431577 52000 60 infeasible 7.0000 1434406 Elapsed b&c time = 1140.56 sec. (tree size = 0.05 MB) 52100 54 7.0000 159 7.0000 1437638 52200 64 infeasible 7.0000 1441244 52300 64 7.0000 124 7.0000 1444798 52400 60 infeasible 7.0000 1448821 52500 56 7.0000 155 7.0000 1452836 52600 70 infeasible 7.0000 1454128 52700 70 7.0000 45 7.0000 1455238 52800 64 7.0000 95 7.0000 1456855 52900 65 infeasible 7.0000 1458945 53000 71 infeasible 7.0000 1459999 Elapsed b&c time = 1159.55 sec. (tree size = 0.05 MB) 53100 65 7.0000 123 7.0000 1462896 53200 65 infeasible 7.0000 1467127 53300 69 7.0000 49 7.0000 1468825 53400 71 7.0000 90 7.0000 1470862 53500 67 7.0000 119 7.0000 1473807 53600 69 7.0000 87 7.0000 1476114 53700 71 7.0000 50 7.0000 1478251 53800 67 7.0000 93 7.0000 1480528 53900 75 infeasible 7.0000 1483674 54000 67 infeasible 7.0000 1486277 Elapsed b&c time = 1178.36 sec. (tree size = 0.05 MB) 54100 69 infeasible 7.0000 1491234 54200 67 7.0000 111 7.0000 1493846 54300 69 7.0000 95 7.0000 1496739 54400 73 7.0000 61 7.0000 1498362 54500 70 7.0000 61 7.0000 1499968 54600 68 7.0000 64 7.0000 1501497 54700 67 infeasible 7.0000 1504121 54800 71 infeasible 7.0000 1507637 54900 59 7.0000 178 7.0000 1511192 55000 67 7.0000 64 7.0000 1516407 Elapsed b&c time = 1201.44 sec. (tree size = 0.05 MB) 55100 61 infeasible 7.0000 1518781 55200 69 7.0000 45 7.0000 1520436 55300 72 infeasible 7.0000 1522161 55400 71 infeasible 7.0000 1524510 55500 65 7.0000 66 7.0000 1526429 55600 73 infeasible 7.0000 1528152 55700 73 7.0000 124 7.0000 1530177 55800 69 7.0000 103 7.0000 1531768 55900 75 infeasible 7.0000 1532948 56000 81 infeasible 7.0000 1536251 Elapsed b&c time = 1217.06 sec. (tree size = 0.06 MB) 56100 87 7.0000 55 7.0000 1542869 56200 89 infeasible 7.0000 1546802 56300 83 infeasible 7.0000 1553141 56400 75 7.0000 134 7.0000 1558618 56500 72 infeasible 7.0000 1564258 56600 64 infeasible 7.0000 1566417 56700 68 7.0000 45 7.0000 1568030 56800 68 7.0000 38 7.0000 1569319 56900 64 infeasible 7.0000 1570130 57000 66 infeasible 7.0000 1572462 Elapsed b&c time = 1248.65 sec. (tree size = 0.05 MB) 57100 67 infeasible 7.0000 1573546 57200 63 7.0000 105 7.0000 1574111 57300 65 infeasible 7.0000 1576841 57400 61 infeasible 7.0000 1579378 57500 64 7.0000 68 7.0000 1580667 57600 66 7.0000 114 7.0000 1583297 57700 74 infeasible 7.0000 1584951 57800 67 7.0000 84 7.0000 1585748 57900 69 infeasible 7.0000 1586535 58000 69 7.0000 99 7.0000 1590112 Elapsed b&c time = 1262.63 sec. (tree size = 0.05 MB) 58100 73 7.0000 78 7.0000 1594523 58200 76 infeasible 7.0000 1598651 58300 72 7.0000 67 7.0000 1602490 58400 68 7.0000 74 7.0000 1605223 58500 70 7.0000 17 7.0000 1607807 58600 68 infeasible 7.0000 1608132 58700 64 7.0000 29 7.0000 1608478 58800 62 7.0000 119 7.0000 1608920 58900 62 7.0000 131 7.0000 1611134 59000 62 infeasible 7.0000 1614741 Elapsed b&c time = 1282.10 sec. (tree size = 0.05 MB) 59100 54 7.0000 92 7.0000 1620145 59200 74 infeasible 7.0000 1625296 59300 72 infeasible 7.0000 1629891 59400 74 7.0000 43 7.0000 1633421 59500 72 infeasible 7.0000 1637858 59600 62 infeasible 7.0000 1641667 59700 70 7.0000 36 7.0000 1645956 59800 68 infeasible 7.0000 1649730 59900 58 infeasible 7.0000 1653593 60000 53 7.0000 167 7.0000 1658467 Elapsed b&c time = 1312.92 sec. (tree size = 0.04 MB) 60100 55 infeasible 7.0000 1664457 60200 47 7.0000 158 7.0000 1668646 60300 45 infeasible 7.0000 1671503 60400 53 infeasible 7.0000 1676271 60500 47 7.0000 182 7.0000 1680304 60600 59 infeasible 7.0000 1684977 60700 69 infeasible 7.0000 1689310 60800 61 7.0000 126 7.0000 1694086 60900 65 infeasible 7.0000 1698747 61000 61 infeasible 7.0000 1705023 Elapsed b&c time = 1354.08 sec. (tree size = 0.05 MB) 61100 63 7.0000 90 7.0000 1707802 61200 64 7.0000 166 7.0000 1712753 61300 77 infeasible 7.0000 1717606 61400 79 infeasible 7.0000 1722641 61500 83 7.0000 77 7.0000 1726044 61600 83 7.0000 151 7.0000 1731081 61700 61 7.0000 141 7.0000 1737321 61800 65 7.0000 98 7.0000 1741987 61900 71 7.0000 88 7.0000 1745419 62000 75 infeasible 7.0000 1748266 Elapsed b&c time = 1395.35 sec. (tree size = 0.06 MB) 62100 75 infeasible 7.0000 1749901 62200 72 infeasible 7.0000 1751561 62300 78 infeasible 7.0000 1753944 62400 81 7.0000 132 7.0000 1757175 62500 89 7.0000 91 7.0000 1761714 62600 107 7.0000 90 7.0000 1765195 62700 114 7.0000 114 7.0000 1770191 62800 132 7.0000 25 7.0000 1772974 62900 120 7.0000 55 7.0000 1774799 63000 116 7.0000 104 7.0000 1777221 Elapsed b&c time = 1419.58 sec. (tree size = 0.09 MB) 63100 139 infeasible 7.0000 1780551 63200 137 infeasible 7.0000 1783070 63300 127 infeasible 7.0000 1786626 63400 137 7.0000 29 7.0000 1791152 63500 139 infeasible 7.0000 1794180 63600 138 7.0000 97 7.0000 1798323 63700 137 7.0000 133 7.0000 1801506 63800 145 7.0000 48 7.0000 1805059 63900 143 7.0000 72 7.0000 1809884 64000 141 infeasible 7.0000 1814011 Elapsed b&c time = 1451.70 sec. (tree size = 0.11 MB) 64100 142 infeasible 7.0000 1816799 64200 140 infeasible 7.0000 1819037 64300 124 infeasible 7.0000 1823765 64400 126 infeasible 7.0000 1825624 64500 122 infeasible 7.0000 1830073 64600 126 infeasible 7.0000 1834069 64700 127 7.0000 80 7.0000 1840298 64800 126 infeasible 7.0000 1846250 64900 136 7.0000 61 7.0000 1852326 65000 128 infeasible 7.0000 1854626 Elapsed b&c time = 1488.39 sec. (tree size = 0.10 MB) 65100 124 infeasible 7.0000 1855951 65200 124 7.0000 161 7.0000 1859960 65300 116 7.0000 153 7.0000 1864667 65400 114 7.0000 73 7.0000 1870934 65500 112 infeasible 7.0000 1875625 65600 121 7.0000 109 7.0000 1881875 65700 107 7.0000 170 7.0000 1888222 65800 111 7.0000 74 7.0000 1893061 65900 117 7.0000 51 7.0000 1899675 66000 121 infeasible 7.0000 1904083 Elapsed b&c time = 1532.90 sec. (tree size = 0.10 MB) 66100 127 infeasible 7.0000 1908869 66200 123 infeasible 7.0000 1912645 66300 131 infeasible 7.0000 1916763 66400 132 7.0000 62 7.0000 1921845 66500 142 infeasible 7.0000 1925290 66600 144 infeasible 7.0000 1929424 66700 142 7.0000 39 7.0000 1936686 66800 148 infeasible 7.0000 1941167 66900 155 infeasible 7.0000 1945693 67000 153 infeasible 7.0000 1950325 Elapsed b&c time = 1571.36 sec. (tree size = 0.12 MB) 67100 162 7.0000 76 7.0000 1955318 67200 161 infeasible 7.0000 1956789 67300 169 7.0000 84 7.0000 1960323 67400 173 infeasible 7.0000 1963391 67500 172 infeasible 7.0000 1965111 67600 174 7.0000 24 7.0000 1967484 67700 170 infeasible 7.0000 1969451 67800 176 7.0000 34 7.0000 1973976 67900 182 infeasible 7.0000 1975749 68000 178 infeasible 7.0000 1977360 Elapsed b&c time = 1594.33 sec. (tree size = 0.14 MB) 68100 172 infeasible 7.0000 1978896 68200 172 infeasible 7.0000 1981130 68300 160 7.0000 89 7.0000 1983338 68400 162 7.0000 26 7.0000 1984600 68500 166 infeasible 7.0000 1986132 68600 165 7.0000 31 7.0000 1990203 68700 149 infeasible 7.0000 1996349 68800 145 infeasible 7.0000 2001648 68900 147 infeasible 7.0000 2003180 69000 147 infeasible 7.0000 2006149 Elapsed b&c time = 1619.61 sec. (tree size = 0.12 MB) 69100 149 infeasible 7.0000 2007891 69200 151 infeasible 7.0000 2010038 69300 145 7.0000 53 7.0000 2011648 69400 145 7.0000 89 7.0000 2015917 69500 149 7.0000 71 7.0000 2019630 69600 145 7.0000 107 7.0000 2021501 69700 143 7.0000 65 7.0000 2023989 69800 145 infeasible 7.0000 2025206 69900 147 7.0000 64 7.0000 2026525 70000 149 infeasible 7.0000 2029095 Elapsed b&c time = 1638.08 sec. (tree size = 0.12 MB) 70100 147 7.0000 94 7.0000 2033202 70200 155 infeasible 7.0000 2037407 70300 153 7.0000 91 7.0000 2041449 70400 155 7.0000 140 7.0000 2045883 70500 171 infeasible 7.0000 2049794 70600 170 7.0000 131 7.0000 2054293 70700 171 infeasible 7.0000 2058437 70800 169 infeasible 7.0000 2063438 70900 163 7.0000 87 7.0000 2068041 71000 167 infeasible 7.0000 2070348 Elapsed b&c time = 1672.10 sec. (tree size = 0.13 MB) 71100 168 infeasible 7.0000 2074803 71200 158 infeasible 7.0000 2078691 71300 164 7.0000 44 7.0000 2083504 71400 156 7.0000 104 7.0000 2087140 71500 154 7.0000 109 7.0000 2089781 71600 140 infeasible 7.0000 2093799 71700 158 infeasible 7.0000 2098943 71800 158 infeasible 7.0000 2105050 71900 153 7.0000 20 7.0000 2111841 72000 148 infeasible 7.0000 2114801 Elapsed b&c time = 1710.52 sec. (tree size = 0.12 MB) 72100 156 infeasible 7.0000 2120050 72200 158 infeasible 7.0000 2125766 72300 154 infeasible 7.0000 2131012 72400 148 7.0000 95 7.0000 2135685 72500 150 infeasible 7.0000 2140547 72600 143 infeasible 7.0000 2145084 72700 139 infeasible 7.0000 2149809 72800 145 7.0000 23 7.0000 2153803 72900 156 infeasible 7.0000 2160299 73000 153 infeasible 7.0000 2164824 Elapsed b&c time = 1753.58 sec. (tree size = 0.12 MB) 73100 139 infeasible 7.0000 2169429 73200 135 infeasible 7.0000 2174796 73300 143 infeasible 7.0000 2179415 73400 139 infeasible 7.0000 2183418 73500 136 7.0000 132 7.0000 2186987 73600 142 7.0000 99 7.0000 2193063 73700 150 7.0000 125 7.0000 2198251 73800 142 infeasible 7.0000 2202711 73900 144 7.0000 119 7.0000 2207506 74000 142 infeasible 7.0000 2212833 Elapsed b&c time = 1796.34 sec. (tree size = 0.11 MB) 74100 130 infeasible 7.0000 2219168 74200 132 7.0000 143 7.0000 2223395 74300 131 infeasible 7.0000 2229195 74400 125 infeasible 7.0000 2233126 74500 127 infeasible 7.0000 2238523 74600 132 infeasible 7.0000 2242071 74700 132 infeasible 7.0000 2244146 74800 128 infeasible 7.0000 2247763 74900 115 7.0000 131 7.0000 2254256 75000 113 infeasible 7.0000 2257548 Elapsed b&c time = 1838.70 sec. (tree size = 0.09 MB) 75100 108 7.0000 104 7.0000 2260727 75200 106 7.0000 124 7.0000 2266461 75300 98 7.0000 155 7.0000 2271570 75400 106 7.0000 87 7.0000 2277271 75500 106 7.0000 105 7.0000 2282993 75600 106 7.0000 139 7.0000 2288336 75700 110 7.0000 141 7.0000 2294126 75800 108 infeasible 7.0000 2299935 75900 108 infeasible 7.0000 2306032 76000 105 7.0000 166 7.0000 2313862 Elapsed b&c time = 1892.18 sec. (tree size = 0.08 MB) 76100 109 7.0000 94 7.0000 2322420 76200 96 7.0000 153 7.0000 2330256 76300 98 7.0000 115 7.0000 2335316 76400 98 7.0000 128 7.0000 2340981 76500 94 7.0000 182 7.0000 2347506 76600 101 7.0000 82 7.0000 2349696 76700 101 infeasible 7.0000 2351123 76800 99 7.0000 55 7.0000 2352441 76900 97 infeasible 7.0000 2353752 77000 95 7.0000 114 7.0000 2354698 Elapsed b&c time = 1935.22 sec. (tree size = 0.08 MB) 77100 97 infeasible 7.0000 2357626 77200 93 infeasible 7.0000 2361104 77300 89 infeasible 7.0000 2364932 77400 89 infeasible 7.0000 2372815 77500 87 7.0000 173 7.0000 2381118 77600 81 7.0000 240 7.0000 2388431 77700 75 7.0000 140 7.0000 2395046 77800 75 infeasible 7.0000 2400836 77900 85 infeasible 7.0000 2406677 78000 80 7.0000 156 7.0000 2411306 Elapsed b&c time = 1993.66 sec. (tree size = 0.06 MB) 78100 76 7.0000 162 7.0000 2416105 78200 94 infeasible 7.0000 2420542 78300 92 infeasible 7.0000 2424533 78400 90 infeasible 7.0000 2426856 78500 94 7.0000 183 7.0000 2434041 78600 92 infeasible 7.0000 2437383 78700 94 infeasible 7.0000 2439415 78800 90 7.0000 109 7.0000 2443038 78900 88 7.0000 204 7.0000 2447665 79000 106 7.0000 137 7.0000 2453318 Elapsed b&c time = 2032.01 sec. (tree size = 0.08 MB) 79100 114 infeasible 7.0000 2459098 79200 120 infeasible 7.0000 2461497 79300 110 7.0000 84 7.0000 2463068 79400 114 infeasible 7.0000 2466217 79500 116 7.0000 40 7.0000 2471764 79600 119 infeasible 7.0000 2476850 79700 115 7.0000 116 7.0000 2479046 79800 130 infeasible 7.0000 2482408 79900 152 infeasible 7.0000 2487672 80000 156 infeasible 7.0000 2491799 Elapsed b&c time = 2066.29 sec. (tree size = 0.12 MB) 80100 158 7.0000 67 7.0000 2495486 80200 150 7.0000 87 7.0000 2499433 80300 152 infeasible 7.0000 2501272 80400 158 infeasible 7.0000 2507859 80500 161 infeasible 7.0000 2509026 80600 155 infeasible 7.0000 2512906 80700 160 infeasible 7.0000 2519362 80800 168 infeasible 7.0000 2522412 80900 164 7.0000 53 7.0000 2525295 81000 166 7.0000 51 7.0000 2527574 Elapsed b&c time = 2097.83 sec. (tree size = 0.13 MB) 81100 170 7.0000 73 7.0000 2529128 81200 170 7.0000 64 7.0000 2531016 81300 168 infeasible 7.0000 2532803 81400 163 7.0000 124 7.0000 2535290 81500 167 infeasible 7.0000 2540857 81600 165 infeasible 7.0000 2544895 81700 161 7.0000 162 7.0000 2548590 81800 157 infeasible 7.0000 2552815 81900 153 infeasible 7.0000 2558529 82000 149 7.0000 184 7.0000 2563172 Elapsed b&c time = 2127.52 sec. (tree size = 0.12 MB) 82100 149 infeasible 7.0000 2569050 82200 151 infeasible 7.0000 2573092 82300 159 7.0000 139 7.0000 2577554 82400 161 infeasible 7.0000 2582824 82500 157 infeasible 7.0000 2587549 82600 157 infeasible 7.0000 2592839 82700 155 7.0000 190 7.0000 2599045 82800 159 infeasible 7.0000 2604268 82900 153 infeasible 7.0000 2608725 83000 143 7.0000 101 7.0000 2615322 Elapsed b&c time = 2172.60 sec. (tree size = 0.11 MB) 83100 139 7.0000 155 7.0000 2618965 83200 139 infeasible 7.0000 2622967 83300 133 infeasible 7.0000 2629750 83400 147 7.0000 78 7.0000 2634532 83500 147 7.0000 91 7.0000 2638515 83600 148 7.0000 74 7.0000 2641577 83700 151 7.0000 120 7.0000 2645531 83800 148 infeasible 7.0000 2650177 83900 142 infeasible 7.0000 2654993 84000 152 7.0000 64 7.0000 2658253 Elapsed b&c time = 2209.27 sec. (tree size = 0.12 MB) 84100 144 infeasible 7.0000 2661842 84200 142 infeasible 7.0000 2668267 84300 142 infeasible 7.0000 2674067 84400 142 7.0000 81 7.0000 2679938 84500 142 infeasible 7.0000 2685109 84600 144 7.0000 178 7.0000 2691745 84700 146 7.0000 68 7.0000 2696416 84800 144 infeasible 7.0000 2700653 84900 152 infeasible 7.0000 2705415 85000 136 7.0000 187 7.0000 2709952 Elapsed b&c time = 2253.06 sec. (tree size = 0.11 MB) 85100 140 7.0000 77 7.0000 2713677 85200 136 infeasible 7.0000 2719197 85300 138 7.0000 175 7.0000 2727546 85400 142 infeasible 7.0000 2733613 85500 138 7.0000 162 7.0000 2739473 85600 144 7.0000 34 7.0000 2745070 85700 142 7.0000 36 7.0000 2751329 85800 138 7.0000 183 7.0000 2758414 85900 130 7.0000 155 7.0000 2765916 86000 130 7.0000 107 7.0000 2771340 Elapsed b&c time = 2315.72 sec. (tree size = 0.10 MB) 86100 125 7.0000 169 7.0000 2775685 86200 127 infeasible 7.0000 2781608 86300 123 7.0000 164 7.0000 2789083 86400 125 infeasible 7.0000 2792888 86500 113 infeasible 7.0000 2795532 86600 105 7.0000 216 7.0000 2801695 86700 111 infeasible 7.0000 2809309 86800 89 7.0000 136 7.0000 2816337 86900 87 infeasible 7.0000 2821553 87000 91 infeasible 7.0000 2832078 Elapsed b&c time = 2378.07 sec. (tree size = 0.07 MB) 87100 99 7.0000 102 7.0000 2839482 87200 91 infeasible 7.0000 2843587 87300 97 7.0000 173 7.0000 2851961 87400 101 7.0000 141 7.0000 2858625 87500 113 7.0000 160 7.0000 2865489 87600 115 7.0000 137 7.0000 2871247 87700 111 7.0000 178 7.0000 2876748 87800 123 infeasible 7.0000 2882741 87900 115 infeasible 7.0000 2889078 88000 116 infeasible 7.0000 2894233 Elapsed b&c time = 2433.00 sec. (tree size = 0.09 MB) 88100 121 infeasible 7.0000 2900806 88200 103 infeasible 7.0000 2908013 88300 91 infeasible 7.0000 2915081 88400 81 infeasible 7.0000 2922452 88500 83 infeasible 7.0000 2930166 88600 81 7.0000 201 7.0000 2936579 88700 87 infeasible 7.0000 2943008 88800 89 7.0000 123 7.0000 2946871 88900 87 7.0000 99 7.0000 2949472 89000 87 infeasible 7.0000 2952775 Elapsed b&c time = 2490.70 sec. (tree size = 0.07 MB) 89100 79 infeasible 7.0000 2955030 89200 74 7.0000 197 7.0000 2961717 89300 60 infeasible 7.0000 2969706 89400 62 infeasible 7.0000 2976065 89500 60 7.0000 116 7.0000 2980295 89600 51 infeasible 7.0000 2986140 89700 53 7.0000 149 7.0000 2990744 89800 49 7.0000 66 7.0000 2993743 89900 48 infeasible 7.0000 2997616 90000 46 7.0000 157 7.0000 3003686 Elapsed b&c time = 2541.86 sec. (tree size = 0.04 MB) 90100 52 7.0000 170 7.0000 3009099 90200 48 infeasible 7.0000 3012078 90300 53 7.0000 171 7.0000 3015133 90400 49 infeasible 7.0000 3017805 90500 55 7.0000 127 7.0000 3021593 90600 49 7.0000 112 7.0000 3024413 90700 49 infeasible 7.0000 3026426 90800 53 infeasible 7.0000 3028563 90900 46 infeasible 7.0000 3032013 91000 36 7.0000 150 7.0000 3037853 Elapsed b&c time = 2572.77 sec. (tree size = 0.03 MB) 91100 40 infeasible 7.0000 3040628 91200 38 7.0000 80 7.0000 3042427 91300 38 infeasible 7.0000 3044855 91400 43 7.0000 101 7.0000 3049553 91500 39 infeasible 7.0000 3054228 91600 34 7.0000 222 7.0000 3062140 91700 42 7.0000 50 7.0000 3064033 91800 42 infeasible 7.0000 3065739 91900 41 infeasible 7.0000 3067651 92000 44 7.0000 17 7.0000 3070936 Elapsed b&c time = 2601.60 sec. (tree size = 0.04 MB) 92100 38 7.0000 53 7.0000 3073384 92200 37 7.0000 127 7.0000 3075309 92300 40 7.0000 113 7.0000 3078731 92400 36 7.0000 110 7.0000 3080992 92500 46 infeasible 7.0000 3082109 92600 38 infeasible 7.0000 3083751 92700 38 infeasible 7.0000 3085038 92800 40 7.0000 37 7.0000 3086558 92900 40 infeasible 7.0000 3088509 93000 40 7.0000 93 7.0000 3090123 Elapsed b&c time = 2616.47 sec. (tree size = 0.03 MB) 93100 46 7.0000 36 7.0000 3092161 93200 46 infeasible 7.0000 3093658 93300 43 infeasible 7.0000 3095253 93400 42 infeasible 7.0000 3097675 93500 40 infeasible 7.0000 3098620 93600 34 infeasible 7.0000 3102071 93700 34 7.0000 245 7.0000 3111027 93800 34 7.0000 212 7.0000 3115739 93900 38 infeasible 7.0000 3119774 94000 34 7.0000 100 7.0000 3125085 Elapsed b&c time = 2647.99 sec. (tree size = 0.03 MB) 94100 36 infeasible 7.0000 3129849 94200 34 7.0000 75 7.0000 3131720 94300 36 7.0000 164 7.0000 3135630 94400 38 infeasible 7.0000 3138227 94500 38 infeasible 7.0000 3141519 94600 28 infeasible 7.0000 3143534 94700 26 7.0000 230 7.0000 3148293 94800 32 infeasible 7.0000 3154646 94900 32 7.0000 165 7.0000 3161730 95000 36 infeasible 7.0000 3164984 Elapsed b&c time = 2682.19 sec. (tree size = 0.03 MB) 95100 49 7.0000 94 7.0000 3168986 95200 53 infeasible 7.0000 3172710 95300 53 infeasible 7.0000 3175254 95400 49 infeasible 7.0000 3177031 95500 47 infeasible 7.0000 3178744 95600 39 7.0000 87 7.0000 3180192 95700 55 infeasible 7.0000 3183283 95800 51 7.0000 37 7.0000 3185756 95900 49 infeasible 7.0000 3189727 96000 43 infeasible 7.0000 3193385 Elapsed b&c time = 2705.01 sec. (tree size = 0.03 MB) 96100 45 7.0000 54 7.0000 3197739 96200 49 7.0000 70 7.0000 3201135 96300 49 7.0000 34 7.0000 3206259 96400 37 7.0000 154 7.0000 3210528 96500 42 7.0000 163 7.0000 3217590 96600 48 7.0000 60 7.0000 3219432 96700 50 infeasible 7.0000 3222154 96800 48 infeasible 7.0000 3224423 96900 44 infeasible 7.0000 3226548 97000 48 infeasible 7.0000 3228048 Elapsed b&c time = 2733.31 sec. (tree size = 0.04 MB) 97100 48 7.0000 78 7.0000 3230327 97200 48 7.0000 112 7.0000 3231838 97300 50 infeasible 7.0000 3234515 97400 52 infeasible 7.0000 3236576 97500 49 7.0000 119 7.0000 3238100 97600 57 7.0000 72 7.0000 3238977 97700 55 infeasible 7.0000 3239953 97800 49 7.0000 83 7.0000 3241586 97900 51 infeasible 7.0000 3242894 98000 55 7.0000 81 7.0000 3244436 Elapsed b&c time = 2745.19 sec. (tree size = 0.04 MB) 98100 53 infeasible 7.0000 3246497 98200 52 infeasible 7.0000 3248309 98300 60 infeasible 7.0000 3249785 98400 56 7.0000 66 7.0000 3250281 98500 58 infeasible 7.0000 3250906 98600 48 infeasible 7.0000 3251762 98700 50 infeasible 7.0000 3252821 98800 52 infeasible 7.0000 3254176 98900 48 7.0000 86 7.0000 3256944 99000 50 infeasible 7.0000 3257703 Elapsed b&c time = 2754.62 sec. (tree size = 0.04 MB) 99100 52 7.0000 73 7.0000 3258650 99200 55 infeasible 7.0000 3259518 99300 49 7.0000 69 7.0000 3260441 99400 47 7.0000 115 7.0000 3262903 99500 47 infeasible 7.0000 3264407 99600 45 7.0000 87 7.0000 3265859 99700 45 infeasible 7.0000 3268228 99800 49 7.0000 65 7.0000 3271292 99900 51 7.0000 119 7.0000 3274223 100000 53 infeasible 7.0000 3278234 Elapsed b&c time = 2770.02 sec. (tree size = 0.04 MB) 100100 57 7.0000 78 7.0000 3281872 100200 56 infeasible 7.0000 3285004 100300 46 infeasible 7.0000 3289448 100400 56 infeasible 7.0000 3292489 100500 56 infeasible 7.0000 3293602 100600 50 7.0000 112 7.0000 3295733 100700 58 7.0000 46 7.0000 3297607 100800 55 7.0000 128 7.0000 3299351 100900 65 7.0000 84 7.0000 3302282 101000 67 7.0000 59 7.0000 3305284 Elapsed b&c time = 2792.63 sec. (tree size = 0.05 MB) 101100 65 7.0000 64 7.0000 3307239 101200 71 7.0000 40 7.0000 3309920 101300 63 infeasible 7.0000 3311509 101400 67 infeasible 7.0000 3313825 101500 64 infeasible 7.0000 3316195 101600 64 7.0000 63 7.0000 3319930 101700 64 infeasible 7.0000 3322668 101800 72 infeasible 7.0000 3326271 101900 64 7.0000 67 7.0000 3329440 102000 66 infeasible 7.0000 3331694 Elapsed b&c time = 2813.73 sec. (tree size = 0.05 MB) 102100 62 infeasible 7.0000 3333010 102200 60 7.0000 52 7.0000 3335573 102300 62 infeasible 7.0000 3338247 102400 64 7.0000 26 7.0000 3339269 102500 62 7.0000 79 7.0000 3340558 102600 62 infeasible 7.0000 3343075 102700 72 7.0000 94 7.0000 3344714 102800 74 infeasible 7.0000 3346335 102900 66 7.0000 107 7.0000 3347601 103000 70 infeasible 7.0000 3348792 Elapsed b&c time = 2827.81 sec. (tree size = 0.06 MB) 103100 64 infeasible 7.0000 3351493 103200 58 7.0000 72 7.0000 3353934 103300 48 7.0000 128 7.0000 3355607 103400 53 7.0000 17 7.0000 3358093 103500 53 7.0000 99 7.0000 3362927 103600 51 infeasible 7.0000 3366295 103700 60 7.0000 78 7.0000 3369533 103800 52 7.0000 128 7.0000 3372020 103900 64 7.0000 41 7.0000 3374459 104000 54 7.0000 105 7.0000 3376572 Elapsed b&c time = 2852.40 sec. (tree size = 0.04 MB) 104100 58 infeasible 7.0000 3377945 104200 50 infeasible 7.0000 3379842 104300 48 7.0000 139 7.0000 3382611 104400 64 infeasible 7.0000 3385642 104500 64 7.0000 61 7.0000 3387166 104600 62 infeasible 7.0000 3388288 104700 62 infeasible 7.0000 3390112 104800 68 infeasible 7.0000 3391045 104900 64 7.0000 80 7.0000 3393322 105000 66 7.0000 49 7.0000 3395039 Elapsed b&c time = 2868.47 sec. (tree size = 0.05 MB) 105100 60 7.0000 71 7.0000 3396292 105200 58 7.0000 46 7.0000 3398233 105300 62 7.0000 70 7.0000 3399599 105400 68 7.0000 65 7.0000 3400859 105500 60 7.0000 67 7.0000 3403031 105600 59 infeasible 7.0000 3404830 105700 61 7.0000 84 7.0000 3406336 105800 61 infeasible 7.0000 3407587 105900 61 infeasible 7.0000 3408790 106000 59 7.0000 38 7.0000 3411515 Elapsed b&c time = 2881.94 sec. (tree size = 0.05 MB) 106100 60 infeasible 7.0000 3415280 106200 56 7.0000 70 7.0000 3418451 106300 59 infeasible 7.0000 3420295 106400 61 infeasible 7.0000 3422636 106500 59 infeasible 7.0000 3425855 106600 65 infeasible 7.0000 3427414 106700 63 7.0000 79 7.0000 3428706 106800 57 7.0000 80 7.0000 3430281 106900 57 7.0000 54 7.0000 3432772 107000 63 infeasible 7.0000 3435989 Elapsed b&c time = 2902.69 sec. (tree size = 0.05 MB) 107100 61 infeasible 7.0000 3439532 107200 64 7.0000 41 7.0000 3442407 107300 60 infeasible 7.0000 3444705 107400 56 7.0000 100 7.0000 3448017 107500 78 7.0000 106 7.0000 3452003 107600 88 7.0000 47 7.0000 3454444 107700 85 7.0000 71 7.0000 3457000 107800 83 7.0000 78 7.0000 3459198 107900 72 7.0000 145 7.0000 3461407 108000 76 7.0000 133 7.0000 3463519 Elapsed b&c time = 2924.89 sec. (tree size = 0.06 MB) 108100 81 infeasible 7.0000 3466913 108200 81 infeasible 7.0000 3469040 108300 81 7.0000 59 7.0000 3472208 108400 83 infeasible 7.0000 3475801 108500 81 7.0000 53 7.0000 3477706 108600 83 infeasible 7.0000 3478731 108700 89 infeasible 7.0000 3480628 108800 85 infeasible 7.0000 3481909 108900 79 7.0000 89 7.0000 3483321 109000 83 infeasible 7.0000 3484866 Elapsed b&c time = 2940.77 sec. (tree size = 0.07 MB) 109100 79 7.0000 34 7.0000 3485201 109200 70 7.0000 171 7.0000 3486882 109300 76 infeasible 7.0000 3489999 109400 66 7.0000 171 7.0000 3492237 109500 68 7.0000 128 7.0000 3495856 109600 70 infeasible 7.0000 3499706 109700 76 7.0000 37 7.0000 3501830 109800 78 infeasible 7.0000 3504293 109900 72 infeasible 7.0000 3506807 110000 74 7.0000 106 7.0000 3510118 Elapsed b&c time = 2960.79 sec. (tree size = 0.06 MB) 110100 70 infeasible 7.0000 3511113 110200 66 infeasible 7.0000 3513981 110300 68 7.0000 104 7.0000 3516107 110400 68 infeasible 7.0000 3518213 110500 68 7.0000 104 7.0000 3520390 110600 70 7.0000 68 7.0000 3522782 110700 72 infeasible 7.0000 3524587 110800 72 infeasible 7.0000 3525829 110900 70 infeasible 7.0000 3528803 111000 66 infeasible 7.0000 3530564 Elapsed b&c time = 2975.85 sec. (tree size = 0.05 MB) 111100 71 7.0000 139 7.0000 3533695 111200 73 infeasible 7.0000 3535804 111300 68 7.0000 65 7.0000 3538832 111400 77 infeasible 7.0000 3541141 111500 66 infeasible 7.0000 3543236 111600 78 infeasible 7.0000 3546917 111700 69 7.0000 146 7.0000 3549677 111800 71 7.0000 50 7.0000 3550860 111900 73 infeasible 7.0000 3552340 112000 73 infeasible 7.0000 3553517 Elapsed b&c time = 2992.34 sec. (tree size = 0.06 MB) 112100 69 7.0000 35 7.0000 3554733 112200 69 7.0000 73 7.0000 3557629 112300 71 infeasible 7.0000 3559941 112400 65 infeasible 7.0000 3562306 112500 67 7.0000 107 7.0000 3563828 112600 67 infeasible 7.0000 3566221 112700 67 infeasible 7.0000 3570924 112800 67 7.0000 80 7.0000 3574069 112900 75 infeasible 7.0000 3574806 113000 70 7.0000 32 7.0000 3575902 Elapsed b&c time = 3009.46 sec. (tree size = 0.06 MB) 113100 70 infeasible 7.0000 3578250 113200 66 7.0000 146 7.0000 3580960 113300 62 7.0000 185 7.0000 3586447 113400 78 infeasible 7.0000 3589199 113500 82 7.0000 105 7.0000 3593143 113600 85 infeasible 7.0000 3595215 113700 77 infeasible 7.0000 3600261 113800 82 infeasible 7.0000 3601345 113900 82 infeasible 7.0000 3604572 114000 86 infeasible 7.0000 3608721 Elapsed b&c time = 3036.25 sec. (tree size = 0.07 MB) 114100 84 infeasible 7.0000 3611920 114200 83 7.0000 69 7.0000 3614925 114300 81 infeasible 7.0000 3618878 114400 81 7.0000 73 7.0000 3623616 114500 75 infeasible 7.0000 3627764 114600 81 infeasible 7.0000 3630534 114700 87 infeasible 7.0000 3634516 114800 85 7.0000 41 7.0000 3636144 114900 82 infeasible 7.0000 3639226 115000 80 infeasible 7.0000 3642906 Elapsed b&c time = 3062.26 sec. (tree size = 0.06 MB) 115100 78 infeasible 7.0000 3645820 115200 74 infeasible 7.0000 3649010 115300 80 infeasible 7.0000 3653023 115400 82 7.0000 63 7.0000 3657298 115500 76 7.0000 80 7.0000 3660963 115600 78 infeasible 7.0000 3662833 115700 78 infeasible 7.0000 3666659 115800 78 infeasible 7.0000 3669768 115900 76 7.0000 67 7.0000 3672171 116000 78 7.0000 62 7.0000 3674375 Elapsed b&c time = 3085.40 sec. (tree size = 0.06 MB) 116100 74 7.0000 102 7.0000 3676503 116200 82 infeasible 7.0000 3679208 116300 76 7.0000 116 7.0000 3681395 116400 84 7.0000 78 7.0000 3685574 116500 86 infeasible 7.0000 3689772 116600 84 7.0000 60 7.0000 3692284 116700 76 7.0000 119 7.0000 3695824 116800 81 7.0000 37 7.0000 3698786 116900 81 infeasible 7.0000 3702070 117000 83 infeasible 7.0000 3705927 Elapsed b&c time = 3111.49 sec. (tree size = 0.06 MB) 117100 91 infeasible 7.0000 3709915 117200 87 7.0000 95 7.0000 3715214 117300 84 infeasible 7.0000 3719638 117400 96 infeasible 7.0000 3724055 117500 90 7.0000 88 7.0000 3727430 117600 89 7.0000 88 7.0000 3730095 117700 82 7.0000 129 7.0000 3733229 117800 90 7.0000 58 7.0000 3735180 117900 90 7.0000 26 7.0000 3736672 118000 90 7.0000 118 7.0000 3739070 Elapsed b&c time = 3136.22 sec. (tree size = 0.07 MB) 118100 95 infeasible 7.0000 3741619 118200 91 7.0000 59 7.0000 3743477 118300 93 infeasible 7.0000 3744650 118400 93 7.0000 15 7.0000 3746967 118500 95 infeasible 7.0000 3748649 118600 89 7.0000 84 7.0000 3750509 118700 90 7.0000 43 7.0000 3754013 118800 87 7.0000 80 7.0000 3758084 118900 87 infeasible 7.0000 3762584 119000 87 infeasible 7.0000 3766023 Elapsed b&c time = 3155.26 sec. (tree size = 0.07 MB) 119100 80 7.0000 88 7.0000 3767607 119200 76 7.0000 127 7.0000 3771724 119300 94 infeasible 7.0000 3776724 119400 86 infeasible 7.0000 3782001 119500 92 infeasible 7.0000 3782878 119600 92 7.0000 80 7.0000 3784065 119700 91 7.0000 128 7.0000 3787861 119800 95 infeasible 7.0000 3791452 119900 91 7.0000 110 7.0000 3795543 120000 90 7.0000 97 7.0000 3799251 Elapsed b&c time = 3183.17 sec. (tree size = 0.07 MB) 120100 75 7.0000 156 7.0000 3805713 120200 81 7.0000 92 7.0000 3809884 120300 81 infeasible 7.0000 3813069 120400 81 infeasible 7.0000 3816547 120500 81 7.0000 127 7.0000 3818031 120600 99 infeasible 7.0000 3821931 120700 87 infeasible 7.0000 3826322 120800 84 7.0000 153 7.0000 3830938 120900 96 infeasible 7.0000 3835270 121000 88 infeasible 7.0000 3838994 Elapsed b&c time = 3216.17 sec. (tree size = 0.07 MB) 121100 96 infeasible 7.0000 3843577 121200 90 infeasible 7.0000 3846165 121300 86 7.0000 76 7.0000 3849523 121400 86 7.0000 90 7.0000 3854637 121500 94 7.0000 60 7.0000 3858797 121600 92 7.0000 69 7.0000 3862471 121700 97 infeasible 7.0000 3864796 121800 91 infeasible 7.0000 3869876 121900 93 7.0000 122 7.0000 3872232 122000 90 7.0000 25 7.0000 3873149 Elapsed b&c time = 3246.69 sec. (tree size = 0.07 MB) 122100 93 infeasible 7.0000 3874233 122200 117 infeasible 7.0000 3878833 122300 119 7.0000 95 7.0000 3884480 122400 117 7.0000 99 7.0000 3889169 122500 113 infeasible 7.0000 3891813 122600 105 7.0000 75 7.0000 3896790 122700 97 7.0000 143 7.0000 3900149 122800 93 7.0000 139 7.0000 3903614 122900 101 infeasible 7.0000 3906379 123000 99 7.0000 113 7.0000 3908539 Elapsed b&c time = 3276.95 sec. (tree size = 0.08 MB) 123100 101 infeasible 7.0000 3911013 123200 99 7.0000 120 7.0000 3915023 123300 103 7.0000 69 7.0000 3919675 123400 103 7.0000 84 7.0000 3922212 123500 103 infeasible 7.0000 3924831 123600 105 infeasible 7.0000 3929296 123700 115 infeasible 7.0000 3931798 123800 109 7.0000 64 7.0000 3935189 123900 103 7.0000 132 7.0000 3939494 124000 105 infeasible 7.0000 3944591 Elapsed b&c time = 3304.95 sec. (tree size = 0.08 MB) 124100 107 7.0000 86 7.0000 3946673 124200 106 infeasible 7.0000 3949461 124300 90 infeasible 7.0000 3953095 124400 98 7.0000 52 7.0000 3956545 124500 96 infeasible 7.0000 3959917 124600 95 7.0000 29 7.0000 3961554 124700 93 7.0000 28 7.0000 3963587 124800 97 7.0000 62 7.0000 3967410 124900 97 7.0000 76 7.0000 3970813 125000 91 7.0000 28 7.0000 3974993 Elapsed b&c time = 3329.14 sec. (tree size = 0.07 MB) 125100 106 infeasible 7.0000 3978150 125200 99 infeasible 7.0000 3980260 125300 100 infeasible 7.0000 3985114 125400 90 7.0000 112 7.0000 3989490 125500 88 7.0000 105 7.0000 3995169 125600 96 7.0000 69 7.0000 3998769 125700 93 7.0000 66 7.0000 4000118 125800 105 7.0000 21 7.0000 4002541 125900 101 infeasible 7.0000 4003125 126000 94 7.0000 56 7.0000 4004698 Elapsed b&c time = 3354.08 sec. (tree size = 0.07 MB) 126100 96 7.0000 46 7.0000 4007378 126200 94 infeasible 7.0000 4010345 126300 93 7.0000 79 7.0000 4011614 126400 95 7.0000 40 7.0000 4013957 126500 94 infeasible 7.0000 4016804 126600 94 infeasible 7.0000 4018610 126700 94 7.0000 15 7.0000 4019703 126800 92 infeasible 7.0000 4020337 126900 93 infeasible 7.0000 4022333 127000 91 infeasible 7.0000 4024281 Elapsed b&c time = 3369.45 sec. (tree size = 0.07 MB) 127100 87 7.0000 89 7.0000 4025247 127200 96 infeasible 7.0000 4027040 127300 92 7.0000 49 7.0000 4028054 127400 92 7.0000 45 7.0000 4028907 127500 90 infeasible 7.0000 4030072 127600 90 infeasible 7.0000 4031039 127700 86 infeasible 7.0000 4032655 127800 90 7.0000 133 7.0000 4036804 127900 92 infeasible 7.0000 4040080 128000 92 7.0000 51 7.0000 4044161 Elapsed b&c time = 3384.33 sec. (tree size = 0.07 MB) 128100 83 7.0000 114 7.0000 4048851 128200 93 infeasible 7.0000 4050789 128300 95 infeasible 7.0000 4052340 128400 91 7.0000 84 7.0000 4055856 128500 87 7.0000 152 7.0000 4058889 128600 93 7.0000 64 7.0000 4061202 128700 89 infeasible 7.0000 4064568 128800 90 infeasible 7.0000 4068329 128900 83 infeasible 7.0000 4071896 129000 87 7.0000 89 7.0000 4074964 Elapsed b&c time = 3408.70 sec. (tree size = 0.07 MB) 129100 89 infeasible 7.0000 4076494 129200 92 7.0000 48 7.0000 4078787 129300 94 infeasible 7.0000 4082530 129400 92 infeasible 7.0000 4086592 129500 90 7.0000 76 7.0000 4090950 129600 92 7.0000 130 7.0000 4095115 129700 94 infeasible 7.0000 4096612 129800 94 infeasible 7.0000 4101398 129900 99 infeasible 7.0000 4106154 130000 96 infeasible 7.0000 4107737 Elapsed b&c time = 3436.58 sec. (tree size = 0.08 MB) 130100 96 infeasible 7.0000 4110057 130200 96 infeasible 7.0000 4111533 130300 96 infeasible 7.0000 4112787 130400 98 infeasible 7.0000 4117687 130500 93 7.0000 87 7.0000 4121027 130600 97 7.0000 120 7.0000 4124253 130700 103 infeasible 7.0000 4128774 130800 101 7.0000 87 7.0000 4134166 130900 98 infeasible 7.0000 4136109 131000 98 infeasible 7.0000 4137878 Elapsed b&c time = 3462.37 sec. (tree size = 0.08 MB) 131100 99 infeasible 7.0000 4139373 131200 98 7.0000 69 7.0000 4140741 131300 104 7.0000 79 7.0000 4144749 131400 102 7.0000 123 7.0000 4147806 131500 92 7.0000 140 7.0000 4150610 131600 98 infeasible 7.0000 4153786 131700 106 7.0000 51 7.0000 4160099 131800 104 7.0000 56 7.0000 4164749 131900 100 7.0000 111 7.0000 4168570 132000 98 infeasible 7.0000 4172603 Elapsed b&c time = 3491.75 sec. (tree size = 0.08 MB) 132100 98 infeasible 7.0000 4174450 132200 98 7.0000 54 7.0000 4177309 132300 96 infeasible 7.0000 4180206 132400 102 7.0000 55 7.0000 4183406 132500 102 7.0000 48 7.0000 4188046 132600 105 infeasible 7.0000 4193345 132700 99 infeasible 7.0000 4197066 132800 111 infeasible 7.0000 4200601 132900 107 infeasible 7.0000 4203580 133000 101 infeasible 7.0000 4206013 Elapsed b&c time = 3519.02 sec. (tree size = 0.08 MB) 133100 103 7.0000 79 7.0000 4207563 133200 107 infeasible 7.0000 4209163 133300 101 7.0000 71 7.0000 4210168 133400 101 infeasible 7.0000 4211815 133500 105 7.0000 68 7.0000 4216109 133600 105 infeasible 7.0000 4218567 133700 103 infeasible 7.0000 4222579 133800 103 infeasible 7.0000 4225041 133900 119 infeasible 7.0000 4227988 134000 118 7.0000 91 7.0000 4231097 Elapsed b&c time = 3540.46 sec. (tree size = 0.09 MB) 134100 116 infeasible 7.0000 4234444 134200 122 7.0000 133 7.0000 4237327 134300 116 infeasible 7.0000 4241425 134400 114 infeasible 7.0000 4245790 134500 108 7.0000 95 7.0000 4250991 134600 104 infeasible 7.0000 4253415 134700 106 infeasible 7.0000 4256171 134800 108 infeasible 7.0000 4260871 134900 104 infeasible 7.0000 4263744 135000 111 infeasible 7.0000 4265437 Elapsed b&c time = 3566.80 sec. (tree size = 0.09 MB) 135100 105 7.0000 53 7.0000 4268444 135200 113 7.0000 93 7.0000 4271693 135300 111 infeasible 7.0000 4276348 135400 111 7.0000 16 7.0000 4278665 135500 111 infeasible 7.0000 4282789 135600 113 7.0000 96 7.0000 4287943 135700 111 7.0000 123 7.0000 4290855 135800 114 infeasible 7.0000 4291938 135900 110 infeasible 7.0000 4294328 136000 110 infeasible 7.0000 4296424 Elapsed b&c time = 3591.13 sec. (tree size = 0.09 MB) 136100 112 infeasible 7.0000 4298869 136200 114 infeasible 7.0000 4300033 136300 110 7.0000 73 7.0000 4301203 136400 108 infeasible 7.0000 4303342 136500 110 7.0000 113 7.0000 4305417 136600 110 infeasible 7.0000 4306616 136700 108 7.0000 49 7.0000 4308544 136800 105 infeasible 7.0000 4311492 136900 111 infeasible 7.0000 4313587 137000 109 7.0000 49 7.0000 4317461 Elapsed b&c time = 3607.76 sec. (tree size = 0.09 MB) 137100 106 infeasible 7.0000 4319929 137200 100 infeasible 7.0000 4323451 137300 112 infeasible 7.0000 4325281 137400 112 7.0000 44 7.0000 4327556 137500 113 7.0000 47 7.0000 4329351 137600 109 7.0000 87 7.0000 4330485 137700 115 infeasible 7.0000 4331785 137800 111 infeasible 7.0000 4333305 137900 109 7.0000 124 7.0000 4335879 138000 111 infeasible 7.0000 4337713 Elapsed b&c time = 3625.31 sec. (tree size = 0.09 MB) 138100 111 7.0000 82 7.0000 4339478 138200 117 infeasible 7.0000 4341275 138300 113 infeasible 7.0000 4342454 138400 115 infeasible 7.0000 4343899 138500 112 infeasible 7.0000 4344490 138600 112 7.0000 55 7.0000 4345479 138700 106 infeasible 7.0000 4347432 138800 110 7.0000 41 7.0000 4348738 138900 110 infeasible 7.0000 4351860 139000 104 infeasible 7.0000 4354419 Elapsed b&c time = 3639.99 sec. (tree size = 0.08 MB) 139100 107 7.0000 84 7.0000 4356107 139200 103 infeasible 7.0000 4358092 139300 107 infeasible 7.0000 4361409 139400 105 7.0000 85 7.0000 4364968 139500 111 7.0000 101 7.0000 4368324 139600 115 infeasible 7.0000 4369844 139700 111 infeasible 7.0000 4372008 139800 111 infeasible 7.0000 4374634 139900 120 7.0000 18 7.0000 4376929 140000 108 infeasible 7.0000 4377783 Elapsed b&c time = 3656.72 sec. (tree size = 0.08 MB) 140100 114 7.0000 31 7.0000 4380407 140200 116 7.0000 91 7.0000 4382531 140300 108 infeasible 7.0000 4384402 140400 108 infeasible 7.0000 4387855 140500 112 infeasible 7.0000 4390429 140600 114 7.0000 155 7.0000 4392973 140700 110 7.0000 135 7.0000 4396311 140800 108 infeasible 7.0000 4398623 140900 108 7.0000 91 7.0000 4401462 141000 112 7.0000 123 7.0000 4404192 Elapsed b&c time = 3675.66 sec. (tree size = 0.09 MB) 141100 116 infeasible 7.0000 4405193 141200 110 7.0000 73 7.0000 4406533 141300 120 7.0000 22 7.0000 4407392 141400 120 infeasible 7.0000 4408009 141500 114 7.0000 73 7.0000 4409119 141600 114 infeasible 7.0000 4411091 141700 108 infeasible 7.0000 4413126 141800 102 7.0000 142 7.0000 4416572 141900 112 infeasible 7.0000 4419677 142000 107 7.0000 39 7.0000 4420813 Elapsed b&c time = 3688.48 sec. (tree size = 0.08 MB) 142100 109 7.0000 72 7.0000 4423426 142200 105 7.0000 126 7.0000 4428228 142300 115 infeasible 7.0000 4430210 142400 108 7.0000 84 7.0000 4432146 142500 114 infeasible 7.0000 4434586 142600 116 7.0000 66 7.0000 4438539 142700 112 7.0000 85 7.0000 4444316 142800 110 7.0000 100 7.0000 4447514 142900 110 infeasible 7.0000 4449076 143000 106 7.0000 132 7.0000 4452178 Elapsed b&c time = 3710.39 sec. (tree size = 0.08 MB) 143100 109 7.0000 39 7.0000 4455605 143200 107 7.0000 109 7.0000 4459156 143300 107 7.0000 111 7.0000 4461785 143400 107 infeasible 7.0000 4463723 143500 115 infeasible 7.0000 4466297 143600 103 infeasible 7.0000 4469278 143700 100 7.0000 128 7.0000 4471779 143800 94 7.0000 90 7.0000 4474515 143900 96 7.0000 55 7.0000 4476186 144000 94 infeasible 7.0000 4478568 Elapsed b&c time = 3730.94 sec. (tree size = 0.07 MB) 144100 94 infeasible 7.0000 4481609 144200 103 infeasible 7.0000 4487386 144300 101 infeasible 7.0000 4491442 144400 105 7.0000 82 7.0000 4494504 144500 102 infeasible 7.0000 4498916 144600 104 7.0000 76 7.0000 4501816 144700 104 infeasible 7.0000 4507063 144800 99 7.0000 101 7.0000 4509689 144900 93 infeasible 7.0000 4514102 145000 98 7.0000 127 7.0000 4516184 Elapsed b&c time = 3760.41 sec. (tree size = 0.08 MB) 145100 95 infeasible 7.0000 4519242 145200 105 7.0000 56 7.0000 4524256 145300 97 7.0000 61 7.0000 4529180 145400 95 7.0000 127 7.0000 4535334 145500 95 7.0000 152 7.0000 4538363 145600 103 infeasible 7.0000 4542244 145700 99 infeasible 7.0000 4545257 145800 95 7.0000 132 7.0000 4549794 145900 91 7.0000 146 7.0000 4552497 146000 95 7.0000 101 7.0000 4556020 Elapsed b&c time = 3793.96 sec. (tree size = 0.07 MB) 146100 99 infeasible 7.0000 4559906 146200 100 infeasible 7.0000 4563074 146300 95 7.0000 168 7.0000 4567324 146400 97 7.0000 64 7.0000 4569412 146500 95 infeasible 7.0000 4571834 146600 99 7.0000 59 7.0000 4574232 146700 103 infeasible 7.0000 4576591 146800 89 7.0000 110 7.0000 4578814 146900 107 infeasible 7.0000 4581531 147000 97 infeasible 7.0000 4585618 Elapsed b&c time = 3814.23 sec. (tree size = 0.08 MB) 147100 99 7.0000 99 7.0000 4589724 147200 99 7.0000 69 7.0000 4594193 147300 103 7.0000 51 7.0000 4596161 147400 101 7.0000 85 7.0000 4598567 147500 107 infeasible 7.0000 4600541 147600 102 7.0000 60 7.0000 4602753 147700 107 infeasible 7.0000 4604713 147800 105 infeasible 7.0000 4606703 147900 103 7.0000 78 7.0000 4608647 148000 108 infeasible 7.0000 4615267 Elapsed b&c time = 3837.92 sec. (tree size = 0.08 MB) 148100 106 infeasible 7.0000 4619796 148200 102 infeasible 7.0000 4622727 148300 106 7.0000 132 7.0000 4628253 148400 102 7.0000 85 7.0000 4632915 148500 108 7.0000 59 7.0000 4635152 148600 102 7.0000 92 7.0000 4638875 148700 105 infeasible 7.0000 4642663 148800 105 7.0000 55 7.0000 4645347 148900 103 7.0000 72 7.0000 4648273 149000 103 7.0000 105 7.0000 4651154 Elapsed b&c time = 3866.90 sec. (tree size = 0.08 MB) 149100 106 infeasible 7.0000 4655315 149200 98 7.0000 132 7.0000 4658520 149300 102 infeasible 7.0000 4661526 149400 106 infeasible 7.0000 4666207 149500 100 infeasible 7.0000 4671596 149600 100 7.0000 65 7.0000 4673397 149700 104 7.0000 74 7.0000 4677300 149800 106 infeasible 7.0000 4680639 149900 106 7.0000 92 7.0000 4684437 150000 114 infeasible 7.0000 4687860 Elapsed b&c time = 3896.33 sec. (tree size = 0.09 MB) 150100 114 infeasible 7.0000 4690946 150200 96 7.0000 231 7.0000 4694866 150300 102 7.0000 116 7.0000 4697462 150400 101 7.0000 74 7.0000 4698850 150500 105 infeasible 7.0000 4704417 150600 104 7.0000 104 7.0000 4707340 150700 108 7.0000 25 7.0000 4709323 150800 108 infeasible 7.0000 4712241 150900 110 infeasible 7.0000 4714935 151000 105 7.0000 72 7.0000 4719608 Elapsed b&c time = 3922.50 sec. (tree size = 0.08 MB) 151100 107 7.0000 37 7.0000 4724222 151200 109 infeasible 7.0000 4726580 151300 109 infeasible 7.0000 4729586 151400 105 infeasible 7.0000 4734653 151500 111 7.0000 86 7.0000 4739446 151600 115 7.0000 55 7.0000 4743478 151700 123 infeasible 7.0000 4749771 151800 119 infeasible 7.0000 4756985 151900 129 7.0000 48 7.0000 4761589 152000 125 infeasible 7.0000 4765253 Elapsed b&c time = 3960.70 sec. (tree size = 0.10 MB) 152100 121 infeasible 7.0000 4769563 152200 121 7.0000 111 7.0000 4773820 152300 119 7.0000 117 7.0000 4777798 152400 125 infeasible 7.0000 4781814 152500 126 7.0000 92 7.0000 4786323 152600 127 7.0000 96 7.0000 4790120 152700 127 7.0000 70 7.0000 4794518 152800 131 infeasible 7.0000 4798086 152900 124 7.0000 41 7.0000 4800826 153000 125 infeasible 7.0000 4803871 Elapsed b&c time = 3992.84 sec. (tree size = 0.10 MB) 153100 124 7.0000 57 7.0000 4807060 153200 122 infeasible 7.0000 4810083 153300 125 infeasible 7.0000 4812720 153400 118 infeasible 7.0000 4815334 153500 124 infeasible 7.0000 4819295 153600 124 infeasible 7.0000 4823544 153700 120 7.0000 145 7.0000 4828060 153800 126 7.0000 75 7.0000 4830844 153900 130 infeasible 7.0000 4835825 154000 124 infeasible 7.0000 4838940 Elapsed b&c time = 4020.03 sec. (tree size = 0.10 MB) 154100 122 infeasible 7.0000 4843316 154200 118 7.0000 160 7.0000 4847077 154300 128 7.0000 102 7.0000 4850279 154400 128 infeasible 7.0000 4853333 154500 124 7.0000 89 7.0000 4854904 154600 122 7.0000 76 7.0000 4858390 154700 130 infeasible 7.0000 4862429 154800 131 7.0000 55 7.0000 4865181 154900 127 7.0000 52 7.0000 4866736 155000 124 7.0000 114 7.0000 4868963 Elapsed b&c time = 4044.61 sec. (tree size = 0.10 MB) 155100 128 7.0000 67 7.0000 4870841 155200 126 infeasible 7.0000 4876148 155300 122 infeasible 7.0000 4878530 155400 122 7.0000 65 7.0000 4881195 155500 120 infeasible 7.0000 4883585 155600 118 infeasible 7.0000 4888106 155700 124 7.0000 137 7.0000 4890893 155800 130 7.0000 76 7.0000 4895604 155900 130 7.0000 41 7.0000 4899482 156000 130 infeasible 7.0000 4901011 Elapsed b&c time = 4072.50 sec. (tree size = 0.10 MB) 156100 127 infeasible 7.0000 4903813 156200 135 7.0000 113 7.0000 4909258 156300 132 7.0000 147 7.0000 4914225 156400 142 7.0000 31 7.0000 4918724 156500 144 infeasible 7.0000 4921370 156600 140 7.0000 72 7.0000 4925146 156700 140 infeasible 7.0000 4929169 156800 142 infeasible 7.0000 4933911 156900 138 infeasible 7.0000 4936310 157000 138 infeasible 7.0000 4938689 Elapsed b&c time = 4104.11 sec. (tree size = 0.11 MB) 157100 124 infeasible 7.0000 4942965 157200 120 infeasible 7.0000 4946102 157300 125 infeasible 7.0000 4949885 157400 127 7.0000 116 7.0000 4957627 157500 121 7.0000 153 7.0000 4962361 157600 131 infeasible 7.0000 4966837 157700 133 infeasible 7.0000 4970180 157800 129 7.0000 118 7.0000 4972783 157900 123 7.0000 136 7.0000 4976844 158000 122 7.0000 129 7.0000 4982258 Elapsed b&c time = 4142.32 sec. (tree size = 0.10 MB) 158100 134 7.0000 125 7.0000 4987671 158200 129 infeasible 7.0000 4992101 158300 127 infeasible 7.0000 4997204 158400 130 7.0000 137 7.0000 5000625 158500 126 7.0000 96 7.0000 5004120 158600 120 infeasible 7.0000 5008072 158700 114 7.0000 144 7.0000 5012554 158800 116 infeasible 7.0000 5017029 158900 115 7.0000 202 7.0000 5020321 159000 121 7.0000 100 7.0000 5023211 Elapsed b&c time = 4177.89 sec. (tree size = 0.09 MB) 159100 129 infeasible 7.0000 5025555 159200 133 7.0000 53 7.0000 5029883 159300 133 infeasible 7.0000 5032307 159400 129 7.0000 65 7.0000 5035091 159500 121 infeasible 7.0000 5037287 159600 127 infeasible 7.0000 5040877 159700 126 7.0000 78 7.0000 5042577 159800 131 7.0000 49 7.0000 5044579 159900 119 7.0000 99 7.0000 5047744 160000 127 infeasible 7.0000 5050622 Elapsed b&c time = 4199.77 sec. (tree size = 0.10 MB) 160100 125 7.0000 76 7.0000 5053257 160200 127 7.0000 65 7.0000 5056913 160300 129 infeasible 7.0000 5060666 160400 129 infeasible 7.0000 5063606 160500 128 7.0000 144 7.0000 5067251 160600 134 7.0000 39 7.0000 5068987 160700 133 infeasible 7.0000 5070841 160800 132 infeasible 7.0000 5072851 160900 126 7.0000 168 7.0000 5074906 161000 131 infeasible 7.0000 5077227 Elapsed b&c time = 4219.45 sec. (tree size = 0.10 MB) 161100 141 7.0000 29 7.0000 5078657 161200 139 7.0000 67 7.0000 5080323 161300 145 infeasible 7.0000 5082811 161400 139 7.0000 25 7.0000 5084381 161500 139 7.0000 28 7.0000 5088114 161600 145 infeasible 7.0000 5090151 161700 143 infeasible 7.0000 5092929 161800 139 infeasible 7.0000 5094820 161900 139 7.0000 37 7.0000 5096658 162000 135 7.0000 41 7.0000 5099273 Elapsed b&c time = 4235.29 sec. (tree size = 0.11 MB) 162100 135 infeasible 7.0000 5100901 162200 135 7.0000 46 7.0000 5103949 162300 137 7.0000 32 7.0000 5106723 162400 135 infeasible 7.0000 5109174 162500 135 infeasible 7.0000 5111232 162600 141 7.0000 47 7.0000 5113611 162700 143 infeasible 7.0000 5115654 162800 143 infeasible 7.0000 5117581 162900 141 infeasible 7.0000 5119519 163000 141 infeasible 7.0000 5120866 Elapsed b&c time = 4251.55 sec. (tree size = 0.11 MB) 163100 143 infeasible 7.0000 5121826 163200 145 infeasible 7.0000 5124120 163300 141 infeasible 7.0000 5125593 163400 139 7.0000 19 7.0000 5126730 163500 141 infeasible 7.0000 5128371 163600 140 infeasible 7.0000 5129808 163700 142 7.0000 22 7.0000 5132750 163800 138 infeasible 7.0000 5134476 163900 136 7.0000 79 7.0000 5135829 164000 136 7.0000 35 7.0000 5137245 Elapsed b&c time = 4264.20 sec. (tree size = 0.11 MB) 164100 138 infeasible 7.0000 5138351 164200 136 7.0000 14 7.0000 5139346 164300 138 infeasible 7.0000 5141289 164400 144 7.0000 26 7.0000 5144293 164500 142 infeasible 7.0000 5146189 164600 140 infeasible 7.0000 5148736 164700 140 7.0000 25 7.0000 5150350 164800 140 7.0000 74 7.0000 5151933 164900 148 infeasible 7.0000 5153810 165000 150 7.0000 25 7.0000 5155728 Elapsed b&c time = 4279.19 sec. (tree size = 0.12 MB) 165100 152 7.0000 62 7.0000 5158738 165200 152 infeasible 7.0000 5160243 165300 150 infeasible 7.0000 5161607 165400 146 7.0000 44 7.0000 5164027 165500 143 7.0000 25 7.0000 5165942 165600 143 infeasible 7.0000 5167143 165700 143 7.0000 31 7.0000 5167614 165800 141 7.0000 41 7.0000 5168097 165900 139 7.0000 53 7.0000 5169047 166000 135 7.0000 49 7.0000 5171226 Elapsed b&c time = 4292.23 sec. (tree size = 0.11 MB) 166100 139 infeasible 7.0000 5173833 166200 147 7.0000 97 7.0000 5176537 166300 157 infeasible 7.0000 5178104 166400 151 infeasible 7.0000 5181287 166500 138 infeasible 7.0000 5184091 166600 144 infeasible 7.0000 5185683 166700 148 infeasible 7.0000 5189235 166800 144 infeasible 7.0000 5190928 166900 141 infeasible 7.0000 5192005 167000 143 infeasible 7.0000 5194017 Elapsed b&c time = 4310.54 sec. (tree size = 0.11 MB) 167100 143 infeasible 7.0000 5195900 167200 133 infeasible 7.0000 5198665 167300 131 7.0000 168 7.0000 5200681 167400 129 7.0000 114 7.0000 5204618 167500 123 infeasible 7.0000 5208240 167600 131 infeasible 7.0000 5210527 167700 133 7.0000 62 7.0000 5213387 167800 131 infeasible 7.0000 5215379 167900 127 7.0000 105 7.0000 5216505 168000 137 infeasible 7.0000 5218843 Elapsed b&c time = 4328.91 sec. (tree size = 0.11 MB) 168100 147 infeasible 7.0000 5223018 168200 148 7.0000 115 7.0000 5226226 168300 156 7.0000 97 7.0000 5229033 168400 152 7.0000 106 7.0000 5232047 168500 136 7.0000 145 7.0000 5234843 168600 132 infeasible 7.0000 5237538 168700 134 7.0000 151 7.0000 5242269 168800 131 infeasible 7.0000 5246233 168900 128 infeasible 7.0000 5249681 169000 136 infeasible 7.0000 5250834 Elapsed b&c time = 4354.83 sec. (tree size = 0.11 MB) 169100 132 7.0000 102 7.0000 5252656 169200 134 7.0000 62 7.0000 5255882 169300 136 7.0000 78 7.0000 5256743 169400 136 infeasible 7.0000 5260319 169500 139 infeasible 7.0000 5263434 169600 137 infeasible 7.0000 5266060 169700 143 infeasible 7.0000 5270078 169800 131 7.0000 124 7.0000 5273685 169900 133 7.0000 20 7.0000 5279735 170000 127 7.0000 150 7.0000 5282909 Elapsed b&c time = 4378.17 sec. (tree size = 0.10 MB) 170100 136 7.0000 64 7.0000 5285263 170200 138 infeasible 7.0000 5286980 170300 135 7.0000 33 7.0000 5289607 170400 127 7.0000 98 7.0000 5291572 170500 135 infeasible 7.0000 5296032 170600 129 infeasible 7.0000 5300254 170700 143 7.0000 101 7.0000 5303011 170800 143 7.0000 80 7.0000 5305957 170900 138 7.0000 73 7.0000 5309233 171000 140 7.0000 60 7.0000 5313144 Elapsed b&c time = 4401.17 sec. (tree size = 0.11 MB) 171100 138 infeasible 7.0000 5315983 171200 144 7.0000 77 7.0000 5318567 171300 144 7.0000 16 7.0000 5321581 171400 144 infeasible 7.0000 5323114 171500 133 7.0000 102 7.0000 5325466 171600 135 7.0000 61 7.0000 5327734 171700 139 infeasible 7.0000 5329700 171800 133 infeasible 7.0000 5331202 171900 139 7.0000 116 7.0000 5333653 172000 140 7.0000 80 7.0000 5336506 Elapsed b&c time = 4418.58 sec. (tree size = 0.11 MB) 172100 136 7.0000 66 7.0000 5339094 172200 136 infeasible 7.0000 5343074 172300 137 7.0000 99 7.0000 5346837 172400 143 infeasible 7.0000 5349913 172500 139 infeasible 7.0000 5351559 172600 145 infeasible 7.0000 5352446 172700 137 infeasible 7.0000 5353716 172800 133 infeasible 7.0000 5355857 172900 131 7.0000 65 7.0000 5357153 173000 133 infeasible 7.0000 5358408 Elapsed b&c time = 4436.66 sec. (tree size = 0.10 MB) 173100 133 infeasible 7.0000 5359569 173200 133 7.0000 101 7.0000 5360636 173300 131 7.0000 85 7.0000 5362087 173400 132 infeasible 7.0000 5363434 173500 130 7.0000 142 7.0000 5366155 173600 132 infeasible 7.0000 5373166 173700 135 7.0000 115 7.0000 5379025 173800 131 7.0000 89 7.0000 5384175 173900 133 infeasible 7.0000 5387990 174000 135 7.0000 52 7.0000 5389795 Elapsed b&c time = 4463.78 sec. (tree size = 0.11 MB) 174100 139 7.0000 41 7.0000 5394920 174200 136 infeasible 7.0000 5399132 174300 132 7.0000 30 7.0000 5403478 174400 136 infeasible 7.0000 5406125 174500 136 7.0000 87 7.0000 5408793 174600 139 infeasible 7.0000 5413028 174700 137 infeasible 7.0000 5417188 174800 133 infeasible 7.0000 5421560 174900 129 7.0000 155 7.0000 5424347 175000 127 infeasible 7.0000 5426448 Elapsed b&c time = 4492.75 sec. (tree size = 0.10 MB) 175100 125 infeasible 7.0000 5428154 175200 129 7.0000 104 7.0000 5431028 175300 123 7.0000 92 7.0000 5433325 175400 131 7.0000 38 7.0000 5435651 175500 135 infeasible 7.0000 5436939 175600 131 7.0000 38 7.0000 5438483 175700 124 infeasible 7.0000 5440563 175800 130 7.0000 53 7.0000 5443258 175900 130 7.0000 42 7.0000 5446230 176000 129 7.0000 78 7.0000 5448808 Elapsed b&c time = 4507.59 sec. (tree size = 0.10 MB) 176100 133 7.0000 54 7.0000 5450185 176200 128 infeasible 7.0000 5451679 176300 126 7.0000 50 7.0000 5453621 176400 120 7.0000 124 7.0000 5456312 176500 126 infeasible 7.0000 5457624 176600 124 infeasible 7.0000 5459895 176700 123 7.0000 40 7.0000 5463583 176800 122 7.0000 46 7.0000 5467556 176900 130 7.0000 65 7.0000 5469085 177000 126 7.0000 56 7.0000 5470651 Elapsed b&c time = 4523.70 sec. (tree size = 0.10 MB) 177100 126 7.0000 74 7.0000 5473683 177200 124 infeasible 7.0000 5476858 177300 126 infeasible 7.0000 5479213 177400 120 7.0000 87 7.0000 5483416 177500 134 7.0000 125 7.0000 5486869 177600 136 infeasible 7.0000 5491636 177700 128 infeasible 7.0000 5495762 177800 128 infeasible 7.0000 5501295 177900 132 7.0000 83 7.0000 5504780 178000 134 7.0000 52 7.0000 5507476 Elapsed b&c time = 4553.40 sec. (tree size = 0.10 MB) 178100 138 7.0000 29 7.0000 5510395 178200 144 7.0000 13 7.0000 5513375 178300 144 infeasible 7.0000 5514546 178400 144 infeasible 7.0000 5516173 178500 130 7.0000 161 7.0000 5519294 178600 134 infeasible 7.0000 5522313 178700 132 infeasible 7.0000 5526670 178800 138 7.0000 73 7.0000 5531902 178900 138 7.0000 105 7.0000 5534814 179000 136 infeasible 7.0000 5539465 Elapsed b&c time = 4580.80 sec. (tree size = 0.11 MB) 179100 141 infeasible 7.0000 5543918 179200 139 infeasible 7.0000 5547073 179300 129 infeasible 7.0000 5550456 179400 132 7.0000 41 7.0000 5553289 179500 136 infeasible 7.0000 5557923 179600 123 infeasible 7.0000 5563735 179700 123 7.0000 139 7.0000 5567561 179800 129 7.0000 92 7.0000 5571143 179900 139 7.0000 20 7.0000 5576352 180000 139 7.0000 48 7.0000 5578698 Elapsed b&c time = 4616.19 sec. (tree size = 0.11 MB) 180100 132 7.0000 52 7.0000 5581427 180200 134 7.0000 30 7.0000 5584076 180300 135 infeasible 7.0000 5586603 180400 127 7.0000 141 7.0000 5590225 180500 137 infeasible 7.0000 5592620 180600 133 7.0000 94 7.0000 5595879 180700 137 infeasible 7.0000 5598510 180800 133 7.0000 52 7.0000 5600420 180900 129 7.0000 74 7.0000 5603604 181000 133 infeasible 7.0000 5606514 Elapsed b&c time = 4640.16 sec. (tree size = 0.10 MB) 181100 132 7.0000 96 7.0000 5610227 181200 138 infeasible 7.0000 5614181 181300 136 7.0000 49 7.0000 5617603 181400 135 infeasible 7.0000 5620249 181500 141 infeasible 7.0000 5621844 181600 139 7.0000 21 7.0000 5623497 181700 143 7.0000 48 7.0000 5626959 181800 141 7.0000 49 7.0000 5628884 181900 135 7.0000 18 7.0000 5631546 182000 135 7.0000 134 7.0000 5634962 Elapsed b&c time = 4663.26 sec. (tree size = 0.10 MB) 182100 129 infeasible 7.0000 5639134 182200 129 infeasible 7.0000 5644453 182300 139 7.0000 87 7.0000 5646967 182400 141 7.0000 47 7.0000 5648972 182500 140 infeasible 7.0000 5650961 182600 138 infeasible 7.0000 5652565 182700 140 infeasible 7.0000 5654857 182800 138 7.0000 67 7.0000 5657170 182900 140 7.0000 51 7.0000 5659928 183000 139 infeasible 7.0000 5662128 Elapsed b&c time = 4684.87 sec. (tree size = 0.11 MB) 183100 139 7.0000 12 7.0000 5663665 183200 139 infeasible 7.0000 5666715 183300 137 7.0000 33 7.0000 5667966 183400 136 infeasible 7.0000 5670275 183500 136 7.0000 122 7.0000 5672616 183600 139 7.0000 68 7.0000 5674260 183700 137 7.0000 114 7.0000 5675805 183800 135 7.0000 67 7.0000 5679048 183900 132 7.0000 103 7.0000 5681781 184000 130 infeasible 7.0000 5683059 Elapsed b&c time = 4701.82 sec. (tree size = 0.10 MB) 184100 135 7.0000 85 7.0000 5686903 184200 147 infeasible 7.0000 5691073 184300 147 infeasible 7.0000 5692406 184400 145 infeasible 7.0000 5693969 184500 145 7.0000 32 7.0000 5697618 184600 145 infeasible 7.0000 5698934 184700 142 infeasible 7.0000 5701841 184800 133 7.0000 130 7.0000 5707665 184900 137 infeasible 7.0000 5711338 185000 145 infeasible 7.0000 5714976 Elapsed b&c time = 4728.86 sec. (tree size = 0.11 MB) 185100 141 7.0000 91 7.0000 5718777 185200 141 7.0000 76 7.0000 5722591 185300 139 infeasible 7.0000 5724612 185400 137 7.0000 87 7.0000 5728137 185500 145 infeasible 7.0000 5732306 185600 139 7.0000 64 7.0000 5735620 185700 151 infeasible 7.0000 5738203 185800 153 7.0000 13 7.0000 5739638 185900 145 7.0000 27 7.0000 5741144 186000 154 7.0000 59 7.0000 5743251 Elapsed b&c time = 4752.16 sec. (tree size = 0.12 MB) 186100 156 7.0000 38 7.0000 5745139 186200 142 infeasible 7.0000 5746981 186300 154 infeasible 7.0000 5751216 186400 151 infeasible 7.0000 5754239 186500 151 infeasible 7.0000 5755341 186600 147 infeasible 7.0000 5756115 186700 149 infeasible 7.0000 5758432 186800 141 infeasible 7.0000 5760945 186900 145 7.0000 49 7.0000 5764558 187000 152 infeasible 7.0000 5766517 Elapsed b&c time = 4771.93 sec. (tree size = 0.12 MB) 187100 151 7.0000 95 7.0000 5772152 187200 144 infeasible 7.0000 5774354 187300 142 infeasible 7.0000 5778610 187400 144 infeasible 7.0000 5780876 187500 144 infeasible 7.0000 5783950 187600 140 7.0000 84 7.0000 5787909 187700 151 7.0000 56 7.0000 5794369 187800 145 7.0000 72 7.0000 5798104 187900 144 infeasible 7.0000 5801560 188000 146 7.0000 20 7.0000 5806442 Elapsed b&c time = 4807.09 sec. (tree size = 0.11 MB) 188100 146 infeasible 7.0000 5808957 188200 136 7.0000 104 7.0000 5812157 188300 124 7.0000 189 7.0000 5816302 188400 124 infeasible 7.0000 5822149 188500 122 infeasible 7.0000 5828649 188600 118 infeasible 7.0000 5831982 188700 126 infeasible 7.0000 5834152 188800 129 infeasible 7.0000 5836208 188900 126 7.0000 138 7.0000 5839663 189000 134 infeasible 7.0000 5843547 Elapsed b&c time = 4838.22 sec. (tree size = 0.10 MB) 189100 134 7.0000 118 7.0000 5847768 189200 135 infeasible 7.0000 5853788 189300 141 infeasible 7.0000 5857970 189400 133 7.0000 76 7.0000 5861284 189500 133 7.0000 97 7.0000 5864433 189600 141 7.0000 39 7.0000 5867295 189700 145 infeasible 7.0000 5870087 189800 147 7.0000 46 7.0000 5872314 189900 136 7.0000 61 7.0000 5875132 190000 138 infeasible 7.0000 5877907 Elapsed b&c time = 4864.95 sec. (tree size = 0.11 MB) 190100 138 7.0000 61 7.0000 5880981 190200 131 7.0000 118 7.0000 5885599 190300 133 7.0000 104 7.0000 5889886 190400 125 infeasible 7.0000 5892683 190500 127 infeasible 7.0000 5896689 190600 131 7.0000 75 7.0000 5899848 190700 127 7.0000 144 7.0000 5902690 190800 125 infeasible 7.0000 5904966 190900 129 7.0000 55 7.0000 5907569 191000 131 infeasible 7.0000 5909609 Elapsed b&c time = 4890.35 sec. (tree size = 0.10 MB) 191100 131 7.0000 46 7.0000 5912267 191200 131 7.0000 68 7.0000 5914139 191300 128 infeasible 7.0000 5915572 191400 132 7.0000 43 7.0000 5916855 191500 137 7.0000 59 7.0000 5919988 191600 128 7.0000 42 7.0000 5923000 191700 130 infeasible 7.0000 5926484 191800 136 infeasible 7.0000 5929903 191900 142 infeasible 7.0000 5933370 192000 136 infeasible 7.0000 5937169 Elapsed b&c time = 4912.29 sec. (tree size = 0.11 MB) 192100 138 infeasible 7.0000 5940528 192200 134 infeasible 7.0000 5943777 192300 136 7.0000 85 7.0000 5946436 192400 134 7.0000 47 7.0000 5949415 192500 140 7.0000 51 7.0000 5950720 192600 142 infeasible 7.0000 5951908 192700 136 infeasible 7.0000 5952691 192800 144 infeasible 7.0000 5956879 192900 128 infeasible 7.0000 5960189 193000 146 7.0000 18 7.0000 5961614 Elapsed b&c time = 4933.18 sec. (tree size = 0.11 MB) 193100 140 7.0000 57 7.0000 5963129 193200 133 infeasible 7.0000 5965835 193300 137 7.0000 121 7.0000 5968461 193400 131 infeasible 7.0000 5970759 193500 143 7.0000 119 7.0000 5973667 193600 150 infeasible 7.0000 5975801 193700 160 7.0000 43 7.0000 5978524 193800 153 7.0000 36 7.0000 5980218 193900 155 7.0000 46 7.0000 5980976 194000 149 7.0000 79 7.0000 5982251 Elapsed b&c time = 4949.84 sec. (tree size = 0.12 MB) 194100 153 infeasible 7.0000 5984555 194200 149 7.0000 77 7.0000 5987159 194300 153 infeasible 7.0000 5990212 194400 149 7.0000 108 7.0000 5991358 194500 154 7.0000 81 7.0000 5993721 194600 139 infeasible 7.0000 5996261 194700 141 infeasible 7.0000 6000979 194800 147 7.0000 28 7.0000 6003492 194900 155 infeasible 7.0000 6007104 195000 153 7.0000 29 7.0000 6009135 Elapsed b&c time = 4970.74 sec. (tree size = 0.12 MB) 195100 151 7.0000 57 7.0000 6011799 195200 144 infeasible 7.0000 6013893 195300 150 infeasible 7.0000 6016529 195400 156 infeasible 7.0000 6018962 195500 156 infeasible 7.0000 6019716 195600 172 infeasible 7.0000 6023628 195700 168 7.0000 111 7.0000 6026741 195800 154 7.0000 150 7.0000 6033450 195900 150 7.0000 143 7.0000 6040074 196000 154 infeasible 7.0000 6045183 Elapsed b&c time = 5004.47 sec. (tree size = 0.12 MB) 196100 158 7.0000 38 7.0000 6047834 196200 152 7.0000 42 7.0000 6050805 196300 156 7.0000 27 7.0000 6052904 196400 152 infeasible 7.0000 6055937 196500 155 7.0000 100 7.0000 6058537 196600 157 7.0000 22 7.0000 6061830 196700 157 infeasible 7.0000 6065454 196800 151 infeasible 7.0000 6068722 196900 149 7.0000 116 7.0000 6072946 197000 155 infeasible 7.0000 6078747 Elapsed b&c time = 5030.58 sec. (tree size = 0.12 MB) 197100 149 7.0000 65 7.0000 6083604 197200 141 7.0000 142 7.0000 6089907 197300 145 infeasible 7.0000 6092908 197400 148 infeasible 7.0000 6094961 197500 153 infeasible 7.0000 6098094 197600 153 7.0000 14 7.0000 6101368 197700 149 7.0000 34 7.0000 6104345 197800 151 7.0000 33 7.0000 6109115 197900 143 infeasible 7.0000 6114768 198000 144 infeasible 7.0000 6120367 Elapsed b&c time = 5066.44 sec. (tree size = 0.11 MB) 198100 148 infeasible 7.0000 6124977 198200 150 infeasible 7.0000 6127446 198300 148 7.0000 50 7.0000 6129486 198400 142 7.0000 112 7.0000 6133464 198500 147 infeasible 7.0000 6136213 198600 147 infeasible 7.0000 6138242 198700 143 infeasible 7.0000 6143711 198800 144 7.0000 47 7.0000 6150007 198900 148 7.0000 104 7.0000 6153221 199000 152 7.0000 66 7.0000 6158138 Elapsed b&c time = 5096.16 sec. (tree size = 0.12 MB) 199100 149 infeasible 7.0000 6160519 199200 157 7.0000 43 7.0000 6162742 199300 149 infeasible 7.0000 6164760 199400 153 infeasible 7.0000 6172170 199500 154 7.0000 86 7.0000 6179484 199600 157 infeasible 7.0000 6183279 199700 157 infeasible 7.0000 6186845 199800 157 7.0000 102 7.0000 6190300 199900 157 7.0000 33 7.0000 6192102 200000 159 infeasible 7.0000 6194604 Elapsed b&c time = 5125.69 sec. (tree size = 0.12 MB) 200100 162 infeasible 7.0000 6196845 200200 158 infeasible 7.0000 6199167 200300 154 infeasible 7.0000 6205065 200400 162 infeasible 7.0000 6207860 200500 159 7.0000 58 7.0000 6210533 200600 163 infeasible 7.0000 6211669 200700 161 7.0000 43 7.0000 6212216 200800 158 infeasible 7.0000 6214071 200900 160 7.0000 59 7.0000 6217331 201000 154 7.0000 123 7.0000 6220263 Elapsed b&c time = 5146.73 sec. (tree size = 0.12 MB) 201100 157 7.0000 68 7.0000 6225425 201200 155 infeasible 7.0000 6227664 201300 155 infeasible 7.0000 6230579 201400 161 7.0000 137 7.0000 6234688 201500 161 7.0000 85 7.0000 6240600 201600 159 infeasible 7.0000 6245988 201700 153 7.0000 151 7.0000 6251892 201800 161 7.0000 80 7.0000 6256379 201900 153 7.0000 153 7.0000 6263822 202000 155 7.0000 85 7.0000 6269409 Elapsed b&c time = 5189.70 sec. (tree size = 0.12 MB) 202100 165 7.0000 104 7.0000 6274213 202200 165 infeasible 7.0000 6277120 202300 167 7.0000 55 7.0000 6278807 202400 165 7.0000 41 7.0000 6282911 202500 164 7.0000 66 7.0000 6286908 202600 161 infeasible 7.0000 6291328 202700 159 7.0000 117 7.0000 6295077 202800 163 infeasible 7.0000 6298824 202900 161 7.0000 81 7.0000 6301501 203000 156 7.0000 118 7.0000 6305282 Elapsed b&c time = 5220.98 sec. (tree size = 0.12 MB) 203100 158 7.0000 41 7.0000 6307288 203200 158 infeasible 7.0000 6309032 203300 154 infeasible 7.0000 6315841 203400 158 infeasible 7.0000 6318487 203500 154 7.0000 75 7.0000 6321441 203600 160 7.0000 98 7.0000 6324696 203700 156 7.0000 89 7.0000 6330177 203800 159 infeasible 7.0000 6334742 203900 160 infeasible 7.0000 6337220 204000 152 7.0000 95 7.0000 6339156 Elapsed b&c time = 5249.94 sec. (tree size = 0.12 MB) 204100 158 7.0000 77 7.0000 6342826 204200 160 7.0000 144 7.0000 6347510 204300 160 infeasible 7.0000 6354681 204400 159 7.0000 54 7.0000 6359401 204500 169 7.0000 147 7.0000 6364381 204600 163 7.0000 110 7.0000 6370145 204700 165 infeasible 7.0000 6376961 204800 157 7.0000 126 7.0000 6384584 204900 157 7.0000 93 7.0000 6391189 205000 157 infeasible 7.0000 6396089 Elapsed b&c time = 5301.41 sec. (tree size = 0.12 MB) 205100 153 infeasible 7.0000 6402183 205200 151 infeasible 7.0000 6406029 205300 159 infeasible 7.0000 6410413 205400 161 7.0000 13 7.0000 6412560 205500 162 infeasible 7.0000 6414030 205600 160 7.0000 26 7.0000 6417267 205700 162 7.0000 137 7.0000 6419378 205800 164 infeasible 7.0000 6422365 205900 163 infeasible 7.0000 6424727 206000 158 infeasible 7.0000 6426632 Elapsed b&c time = 5326.83 sec. (tree size = 0.12 MB) 206100 156 infeasible 7.0000 6430021 206200 156 infeasible 7.0000 6431469 206300 154 7.0000 84 7.0000 6433349 206400 151 infeasible 7.0000 6435990 206500 153 7.0000 131 7.0000 6438994 206600 157 infeasible 7.0000 6443116 206700 154 7.0000 88 7.0000 6446622 206800 157 infeasible 7.0000 6448204 206900 159 7.0000 41 7.0000 6449886 207000 157 7.0000 25 7.0000 6450713 Elapsed b&c time = 5347.33 sec. (tree size = 0.12 MB) 207100 157 7.0000 54 7.0000 6452781 207200 155 7.0000 115 7.0000 6456966 207300 159 7.0000 97 7.0000 6460434 207400 165 infeasible 7.0000 6462605 207500 159 infeasible 7.0000 6464226 207600 159 infeasible 7.0000 6466686 207700 157 7.0000 101 7.0000 6469039 207800 155 infeasible 7.0000 6470392 207900 157 infeasible 7.0000 6472559 208000 157 7.0000 78 7.0000 6475175 Elapsed b&c time = 5366.55 sec. (tree size = 0.12 MB) 208100 151 7.0000 118 7.0000 6478485 208200 157 infeasible 7.0000 6482658 208300 155 infeasible 7.0000 6484833 208400 153 7.0000 73 7.0000 6489145 208500 157 7.0000 68 7.0000 6491343 208600 155 7.0000 78 7.0000 6494965 208700 156 7.0000 110 7.0000 6499286 208800 156 infeasible 7.0000 6504941 208900 152 infeasible 7.0000 6507846 209000 147 7.0000 154 7.0000 6514371 Elapsed b&c time = 5400.55 sec. (tree size = 0.11 MB) 209100 153 7.0000 70 7.0000 6518996 209200 153 7.0000 65 7.0000 6521843 209300 157 infeasible 7.0000 6524798 209400 157 infeasible 7.0000 6526538 209500 157 7.0000 24 7.0000 6531446 209600 153 infeasible 7.0000 6533626 209700 153 infeasible 7.0000 6537033 209800 157 7.0000 36 7.0000 6540328 209900 156 infeasible 7.0000 6542697 210000 150 7.0000 114 7.0000 6545897 Elapsed b&c time = 5427.32 sec. (tree size = 0.12 MB) 210100 154 7.0000 46 7.0000 6551491 210200 152 7.0000 22 7.0000 6553055 210300 158 7.0000 41 7.0000 6556464 210400 154 7.0000 78 7.0000 6561260 210500 152 infeasible 7.0000 6566204 210600 154 7.0000 46 7.0000 6572535 210700 154 7.0000 104 7.0000 6578808 210800 164 infeasible 7.0000 6582436 210900 160 7.0000 14 7.0000 6586320 211000 167 infeasible 7.0000 6591248 Elapsed b&c time = 5467.51 sec. (tree size = 0.13 MB) 211100 163 7.0000 117 7.0000 6595029 211200 173 infeasible 7.0000 6597733 211300 171 infeasible 7.0000 6599701 211400 165 infeasible 7.0000 6602860 211500 171 7.0000 135 7.0000 6605991 211600 175 7.0000 37 7.0000 6610564 211700 171 7.0000 18 7.0000 6611879 211800 169 infeasible 7.0000 6615049 211900 165 7.0000 30 7.0000 6619415 212000 165 infeasible 7.0000 6623682 Elapsed b&c time = 5495.77 sec. (tree size = 0.13 MB) 212100 155 7.0000 73 7.0000 6627748 212200 159 infeasible 7.0000 6637770 212300 157 7.0000 101 7.0000 6640863 212400 165 infeasible 7.0000 6645410 212500 163 infeasible 7.0000 6647149 212600 168 7.0000 78 7.0000 6650186 212700 166 infeasible 7.0000 6652733 212800 166 7.0000 61 7.0000 6656915 212900 157 7.0000 210 7.0000 6660594 213000 163 7.0000 126 7.0000 6664263 Elapsed b&c time = 5531.19 sec. (tree size = 0.13 MB) 213100 166 infeasible 7.0000 6667110 213200 158 infeasible 7.0000 6670115 213300 154 infeasible 7.0000 6675641 213400 152 7.0000 170 7.0000 6680874 213500 152 7.0000 138 7.0000 6684077 213600 154 7.0000 123 7.0000 6685256 213700 162 infeasible 7.0000 6686875 213800 156 7.0000 46 7.0000 6688522 213900 156 7.0000 36 7.0000 6690422 214000 156 infeasible 7.0000 6692638 Elapsed b&c time = 5554.45 sec. (tree size = 0.12 MB) 214100 162 7.0000 61 7.0000 6694810 214200 162 infeasible 7.0000 6697019 214300 158 7.0000 46 7.0000 6698003 214400 161 7.0000 40 7.0000 6699309 214500 163 7.0000 25 7.0000 6701123 214600 161 infeasible 7.0000 6702499 214700 159 infeasible 7.0000 6704328 214800 165 infeasible 7.0000 6706344 214900 158 7.0000 24 7.0000 6707872 215000 156 infeasible 7.0000 6709587 Elapsed b&c time = 5567.34 sec. (tree size = 0.12 MB) 215100 161 infeasible 7.0000 6712789 215200 156 infeasible 7.0000 6714528 215300 158 infeasible 7.0000 6717208 215400 156 7.0000 81 7.0000 6719823 215500 161 infeasible 7.0000 6722204 215600 152 infeasible 7.0000 6723790 215700 154 infeasible 7.0000 6725008 215800 160 7.0000 10 7.0000 6726634 215900 158 infeasible 7.0000 6728312 216000 152 7.0000 165 7.0000 6729092 Elapsed b&c time = 5582.22 sec. (tree size = 0.12 MB) 216100 158 7.0000 64 7.0000 6731992 216200 157 7.0000 35 7.0000 6733537 216300 153 7.0000 145 7.0000 6735075 216400 158 7.0000 29 7.0000 6737345 216500 166 7.0000 38 7.0000 6739920 216600 161 7.0000 29 7.0000 6741812 216700 158 infeasible 7.0000 6744210 216800 159 7.0000 68 7.0000 6748997 216900 157 infeasible 7.0000 6751159 217000 160 7.0000 33 7.0000 6752206 Elapsed b&c time = 5600.52 sec. (tree size = 0.12 MB) 217100 156 infeasible 7.0000 6753590 217200 158 7.0000 141 7.0000 6754615 217300 172 infeasible 7.0000 6759500 217400 170 7.0000 47 7.0000 6761802 217500 162 7.0000 47 7.0000 6764114 217600 166 7.0000 120 7.0000 6767815 217700 162 7.0000 126 7.0000 6770332 217800 166 7.0000 92 7.0000 6774972 217900 160 7.0000 66 7.0000 6777849 218000 170 infeasible 7.0000 6780042 Elapsed b&c time = 5623.30 sec. (tree size = 0.13 MB) 218100 162 infeasible 7.0000 6783169 218200 161 7.0000 56 7.0000 6787413 218300 163 infeasible 7.0000 6791122 218400 163 infeasible 7.0000 6792087 218500 161 infeasible 7.0000 6796393 218600 161 7.0000 135 7.0000 6801349 218700 169 7.0000 43 7.0000 6805330 218800 163 infeasible 7.0000 6807506 218900 166 infeasible 7.0000 6814853 219000 168 infeasible 7.0000 6819638 Elapsed b&c time = 5657.62 sec. (tree size = 0.13 MB) 219100 170 7.0000 73 7.0000 6822293 219200 169 7.0000 109 7.0000 6829404 219300 171 infeasible 7.0000 6835254 219400 168 7.0000 31 7.0000 6838443 219500 164 7.0000 56 7.0000 6841384 219600 162 7.0000 89 7.0000 6848579 219700 160 infeasible 7.0000 6850324 219800 160 infeasible 7.0000 6853621 219900 168 7.0000 109 7.0000 6859610 220000 169 7.0000 139 7.0000 6864566 Elapsed b&c time = 5695.98 sec. (tree size = 0.13 MB) 220100 174 7.0000 110 7.0000 6869624 220200 177 7.0000 98 7.0000 6873561 220300 177 7.0000 82 7.0000 6877920 220400 183 infeasible 7.0000 6881763 220500 176 7.0000 77 7.0000 6885496 220600 186 7.0000 94 7.0000 6888670 220700 183 infeasible 7.0000 6890815 220800 181 infeasible 7.0000 6896338 220900 179 7.0000 50 7.0000 6903573 221000 175 infeasible 7.0000 6907441 Elapsed b&c time = 5733.68 sec. (tree size = 0.14 MB) 221100 179 7.0000 79 7.0000 6910166 221200 183 7.0000 75 7.0000 6914227 221300 181 infeasible 7.0000 6916886 221400 177 infeasible 7.0000 6920801 221500 179 infeasible 7.0000 6925393 221600 179 infeasible 7.0000 6930551 221700 173 7.0000 111 7.0000 6934034 221800 177 7.0000 49 7.0000 6935746 221900 177 infeasible 7.0000 6938076 222000 177 7.0000 55 7.0000 6941537 Elapsed b&c time = 5761.47 sec. (tree size = 0.14 MB) 222100 183 7.0000 47 7.0000 6945772 222200 183 7.0000 33 7.0000 6951495 222300 179 infeasible 7.0000 6956176 222400 175 infeasible 7.0000 6961191 222500 177 7.0000 66 7.0000 6964940 222600 176 infeasible 7.0000 6967013 222700 171 infeasible 7.0000 6972219 222800 163 infeasible 7.0000 6976377 222900 163 infeasible 7.0000 6979853 223000 162 7.0000 63 7.0000 6986873 Elapsed b&c time = 5799.90 sec. (tree size = 0.13 MB) 223100 165 infeasible 7.0000 6990679 223200 165 infeasible 7.0000 6993397 223300 165 infeasible 7.0000 6997733 223400 161 7.0000 99 7.0000 7001858 223500 167 infeasible 7.0000 7011774 223600 167 7.0000 26 7.0000 7016928 223700 163 7.0000 111 7.0000 7018576 223800 172 infeasible 7.0000 7022224 223900 164 7.0000 88 7.0000 7025221 224000 166 7.0000 27 7.0000 7027498 Elapsed b&c time = 5836.06 sec. (tree size = 0.13 MB) 224100 170 7.0000 76 7.0000 7030150 224200 170 7.0000 85 7.0000 7034905 224300 178 infeasible 7.0000 7037973 224400 178 infeasible 7.0000 7041483 224500 170 7.0000 90 7.0000 7045166 224600 170 7.0000 39 7.0000 7049502 224700 168 infeasible 7.0000 7052979 224800 170 7.0000 101 7.0000 7057198 224900 172 infeasible 7.0000 7061334 225000 169 7.0000 50 7.0000 7065800 Elapsed b&c time = 5865.59 sec. (tree size = 0.13 MB) 225100 171 7.0000 34 7.0000 7068895 225200 166 infeasible 7.0000 7071420 225300 170 7.0000 16 7.0000 7073125 225400 172 infeasible 7.0000 7076794 225500 170 7.0000 32 7.0000 7078887 225600 164 7.0000 40 7.0000 7081437 225700 167 7.0000 75 7.0000 7084428 225800 167 7.0000 61 7.0000 7087155 225900 167 7.0000 66 7.0000 7089450 226000 163 7.0000 82 7.0000 7093234 Elapsed b&c time = 5887.58 sec. (tree size = 0.13 MB) 226100 169 7.0000 66 7.0000 7096471 226200 172 7.0000 76 7.0000 7099110 226300 170 infeasible 7.0000 7102047 226400 169 infeasible 7.0000 7103384 226500 167 infeasible 7.0000 7108478 226600 168 7.0000 92 7.0000 7111260 226700 165 infeasible 7.0000 7114588 226800 169 7.0000 117 7.0000 7118721 226900 166 7.0000 103 7.0000 7125362 227000 166 infeasible 7.0000 7130459 Elapsed b&c time = 5921.60 sec. (tree size = 0.13 MB) 227100 170 infeasible 7.0000 7134512 227200 170 7.0000 163 7.0000 7139517 227300 180 infeasible 7.0000 7143589 227400 170 7.0000 129 7.0000 7148785 227500 169 infeasible 7.0000 7151801 227600 169 infeasible 7.0000 7152399 227700 173 infeasible 7.0000 7154989 227800 173 infeasible 7.0000 7157079 227900 174 7.0000 43 7.0000 7160851 228000 172 7.0000 50 7.0000 7164436 Elapsed b&c time = 5949.37 sec. (tree size = 0.13 MB) 228100 170 infeasible 7.0000 7168935 228200 166 7.0000 77 7.0000 7171941 228300 168 7.0000 78 7.0000 7174906 228400 170 infeasible 7.0000 7178703 228500 166 7.0000 93 7.0000 7183151 228600 170 infeasible 7.0000 7185319 228700 170 infeasible 7.0000 7189573 228800 178 infeasible 7.0000 7192468 228900 168 7.0000 38 7.0000 7195208 229000 166 7.0000 73 7.0000 7199623 Elapsed b&c time = 5976.36 sec. (tree size = 0.13 MB) 229100 171 7.0000 68 7.0000 7201562 229200 173 infeasible 7.0000 7203084 229300 169 infeasible 7.0000 7205622 229400 172 7.0000 88 7.0000 7207300 229500 175 7.0000 38 7.0000 7208959 229600 175 7.0000 19 7.0000 7210399 229700 174 infeasible 7.0000 7211878 229800 175 infeasible 7.0000 7214081 229900 177 infeasible 7.0000 7217725 230000 171 infeasible 7.0000 7219093 Elapsed b&c time = 5992.07 sec. (tree size = 0.13 MB) 230100 177 7.0000 23 7.0000 7222352 230200 175 7.0000 29 7.0000 7224223 230300 173 7.0000 94 7.0000 7226475 230400 169 infeasible 7.0000 7230405 230500 173 7.0000 42 7.0000 7231839 230600 173 7.0000 43 7.0000 7232946 230700 169 7.0000 71 7.0000 7234864 230800 167 infeasible 7.0000 7238030 230900 169 7.0000 45 7.0000 7240777 231000 171 infeasible 7.0000 7242528 Elapsed b&c time = 6011.34 sec. (tree size = 0.13 MB) 231100 169 infeasible 7.0000 7245453 231200 167 7.0000 48 7.0000 7247324 231300 175 infeasible 7.0000 7251932 231400 165 infeasible 7.0000 7255549 231500 167 infeasible 7.0000 7257842 231600 175 infeasible 7.0000 7259183 231700 171 7.0000 60 7.0000 7261396 231800 171 infeasible 7.0000 7264459 231900 169 7.0000 68 7.0000 7270105 232000 166 infeasible 7.0000 7274299 Elapsed b&c time = 6036.94 sec. (tree size = 0.13 MB) 232100 173 7.0000 43 7.0000 7277434 232200 171 7.0000 67 7.0000 7281113 232300 174 7.0000 90 7.0000 7284169 232400 182 infeasible 7.0000 7288192 232500 180 7.0000 26 7.0000 7292942 232600 172 infeasible 7.0000 7297229 232700 166 7.0000 134 7.0000 7301140 232800 170 infeasible 7.0000 7305790 232900 172 7.0000 45 7.0000 7307905 233000 170 7.0000 42 7.0000 7311179 Elapsed b&c time = 6066.90 sec. (tree size = 0.13 MB) 233100 166 7.0000 70 7.0000 7314210 233200 168 infeasible 7.0000 7317429 233300 169 infeasible 7.0000 7319692 233400 165 7.0000 122 7.0000 7327373 233500 171 infeasible 7.0000 7335178 233600 167 infeasible 7.0000 7340565 233700 163 infeasible 7.0000 7346341 233800 169 infeasible 7.0000 7348767 233900 168 infeasible 7.0000 7351273 234000 164 infeasible 7.0000 7356684 Elapsed b&c time = 6108.86 sec. (tree size = 0.13 MB) 234100 167 infeasible 7.0000 7359263 234200 165 7.0000 57 7.0000 7362477 234300 169 7.0000 49 7.0000 7366178 234400 165 7.0000 86 7.0000 7368550 234500 169 7.0000 39 7.0000 7369747 234600 175 7.0000 66 7.0000 7372085 234700 165 7.0000 105 7.0000 7374555 234800 167 7.0000 31 7.0000 7377601 234900 173 7.0000 65 7.0000 7383116 235000 171 infeasible 7.0000 7385525 Elapsed b&c time = 6131.48 sec. (tree size = 0.13 MB) 235100 169 7.0000 81 7.0000 7390319 235200 165 infeasible 7.0000 7394172 235300 167 infeasible 7.0000 7400699 235400 165 7.0000 53 7.0000 7404812 235500 168 infeasible 7.0000 7407291 235600 167 infeasible 7.0000 7411085 235700 167 7.0000 58 7.0000 7420538 235800 167 7.0000 86 7.0000 7422807 235900 169 infeasible 7.0000 7424028 236000 163 7.0000 107 7.0000 7426528 Elapsed b&c time = 6168.32 sec. (tree size = 0.13 MB) 236100 165 infeasible 7.0000 7430612 236200 165 infeasible 7.0000 7436906 236300 153 infeasible 7.0000 7443152 236400 161 infeasible 7.0000 7445124 236500 159 7.0000 108 7.0000 7447515 236600 159 7.0000 148 7.0000 7449899 236700 175 7.0000 43 7.0000 7451854 236800 169 infeasible 7.0000 7453788 236900 163 infeasible 7.0000 7455430 237000 165 7.0000 20 7.0000 7455849 Elapsed b&c time = 6194.37 sec. (tree size = 0.13 MB) 237100 163 infeasible 7.0000 7457200 237200 164 7.0000 77 7.0000 7459288 237300 162 7.0000 33 7.0000 7460918 237400 160 7.0000 94 7.0000 7462407 237500 161 7.0000 82 7.0000 7464418 237600 163 infeasible 7.0000 7466100 237700 164 infeasible 7.0000 7468404 237800 166 7.0000 78 7.0000 7472034 237900 172 7.0000 22 7.0000 7474412 238000 170 infeasible 7.0000 7476714 Elapsed b&c time = 6210.21 sec. (tree size = 0.13 MB) 238100 168 7.0000 50 7.0000 7479402 238200 166 7.0000 108 7.0000 7483462 238300 166 7.0000 60 7.0000 7487222 238400 170 infeasible 7.0000 7491745 238500 169 infeasible 7.0000 7495740 238600 177 7.0000 160 7.0000 7501688 238700 175 infeasible 7.0000 7505213 238800 183 infeasible 7.0000 7507899 238900 174 infeasible 7.0000 7511287 239000 174 infeasible 7.0000 7514339 Elapsed b&c time = 6242.04 sec. (tree size = 0.14 MB) 239100 170 7.0000 117 7.0000 7516556 239200 174 7.0000 93 7.0000 7519734 239300 178 7.0000 81 7.0000 7521769 239400 180 infeasible 7.0000 7523567 239500 172 infeasible 7.0000 7527879 239600 176 infeasible 7.0000 7529842 239700 173 7.0000 22 7.0000 7530879 239800 169 7.0000 104 7.0000 7534026 239900 175 infeasible 7.0000 7537924 240000 175 7.0000 44 7.0000 7540652 Elapsed b&c time = 6263.51 sec. (tree size = 0.14 MB) 240100 179 infeasible 7.0000 7543617 240200 175 infeasible 7.0000 7547128 240300 173 7.0000 22 7.0000 7548472 240400 179 infeasible 7.0000 7552660 240500 179 7.0000 78 7.0000 7556703 240600 183 7.0000 63 7.0000 7560454 240700 175 infeasible 7.0000 7562926 240800 179 7.0000 44 7.0000 7567466 240900 175 infeasible 7.0000 7572789 241000 176 7.0000 91 7.0000 7575087 Elapsed b&c time = 6292.46 sec. (tree size = 0.14 MB) 241100 174 7.0000 131 7.0000 7576946 241200 176 infeasible 7.0000 7579734 241300 184 7.0000 136 7.0000 7584311 241400 184 7.0000 73 7.0000 7588412 241500 181 7.0000 45 7.0000 7592053 241600 179 infeasible 7.0000 7595540 241700 185 7.0000 64 7.0000 7598128 241800 179 infeasible 7.0000 7601783 241900 176 infeasible 7.0000 7603817 242000 172 7.0000 131 7.0000 7606719 Elapsed b&c time = 6318.06 sec. (tree size = 0.13 MB) 242100 184 7.0000 121 7.0000 7610542 242200 198 infeasible 7.0000 7614360 242300 189 7.0000 72 7.0000 7619151 242400 187 infeasible 7.0000 7622180 242500 183 7.0000 140 7.0000 7624614 242600 191 7.0000 79 7.0000 7626978 242700 183 7.0000 129 7.0000 7630053 242800 185 7.0000 74 7.0000 7633487 242900 175 infeasible 7.0000 7635297 243000 197 7.0000 29 7.0000 7639338 Elapsed b&c time = 6344.41 sec. (tree size = 0.15 MB) 243100 197 infeasible 7.0000 7642462 243200 197 infeasible 7.0000 7643525 243300 203 7.0000 98 7.0000 7647938 243400 199 7.0000 54 7.0000 7650768 243500 195 7.0000 41 7.0000 7654244 243600 193 infeasible 7.0000 7658377 243700 191 7.0000 90 7.0000 7660565 243800 195 infeasible 7.0000 7662649 243900 189 infeasible 7.0000 7665135 244000 194 7.0000 94 7.0000 7668251 Elapsed b&c time = 6368.79 sec. (tree size = 0.15 MB) 244100 185 infeasible 7.0000 7672949 244200 193 7.0000 117 7.0000 7676295 244300 205 infeasible 7.0000 7678198 244400 197 7.0000 167 7.0000 7680597 244500 201 infeasible 7.0000 7683696 244600 197 infeasible 7.0000 7685263 244700 197 infeasible 7.0000 7687424 244800 189 7.0000 161 7.0000 7690402 244900 191 infeasible 7.0000 7692903 245000 193 7.0000 87 7.0000 7695996 Elapsed b&c time = 6388.92 sec. (tree size = 0.15 MB) 245100 191 infeasible 7.0000 7697425 245200 198 7.0000 41 7.0000 7700694 245300 190 infeasible 7.0000 7704281 245400 183 7.0000 128 7.0000 7707196 245500 193 infeasible 7.0000 7709959 245600 189 infeasible 7.0000 7714225 245700 187 infeasible 7.0000 7717380 245800 187 infeasible 7.0000 7720831 245900 187 7.0000 152 7.0000 7725669 246000 194 infeasible 7.0000 7728761 Elapsed b&c time = 6415.23 sec. (tree size = 0.15 MB) 246100 194 infeasible 7.0000 7731120 246200 192 7.0000 88 7.0000 7735374 246300 186 7.0000 143 7.0000 7739398 246400 190 infeasible 7.0000 7745433 246500 198 7.0000 60 7.0000 7751281 246600 190 infeasible 7.0000 7754868 246700 194 7.0000 54 7.0000 7759220 246800 196 infeasible 7.0000 7762540 246900 204 7.0000 17 7.0000 7767577 247000 198 infeasible 7.0000 7770988 Elapsed b&c time = 6448.71 sec. (tree size = 0.15 MB) 247100 196 infeasible 7.0000 7777585 247200 194 infeasible 7.0000 7782734 247300 202 7.0000 82 7.0000 7787301 247400 200 7.0000 52 7.0000 7790014 247500 202 7.0000 22 7.0000 7794812 247600 200 infeasible 7.0000 7798814 247700 196 infeasible 7.0000 7802620 247800 202 7.0000 24 7.0000 7806493 247900 200 infeasible 7.0000 7809724 248000 192 infeasible 7.0000 7813639 Elapsed b&c time = 6481.92 sec. (tree size = 0.15 MB) 248100 196 infeasible 7.0000 7815467 248200 200 infeasible 7.0000 7817743 248300 198 7.0000 15 7.0000 7821160 248400 194 7.0000 88 7.0000 7824315 248500 205 infeasible 7.0000 7828134 248600 203 7.0000 24 7.0000 7831962 248700 203 infeasible 7.0000 7835345 248800 204 infeasible 7.0000 7839701 248900 200 7.0000 43 7.0000 7842646 249000 202 infeasible 7.0000 7846916 Elapsed b&c time = 6506.12 sec. (tree size = 0.16 MB) 249100 202 7.0000 129 7.0000 7851215 249200 202 infeasible 7.0000 7853761 249300 194 7.0000 69 7.0000 7858840 249400 194 7.0000 49 7.0000 7863047 249500 196 infeasible 7.0000 7868217 249600 198 infeasible 7.0000 7870804 249700 194 7.0000 39 7.0000 7873774 249800 192 7.0000 53 7.0000 7876495 249900 192 7.0000 28 7.0000 7879916 250000 190 7.0000 87 7.0000 7883893 Elapsed b&c time = 6534.91 sec. (tree size = 0.15 MB) 250100 194 7.0000 57 7.0000 7885940 250200 196 7.0000 73 7.0000 7888584 250300 192 infeasible 7.0000 7891949 250400 200 infeasible 7.0000 7895575 250500 200 infeasible 7.0000 7898062 250600 198 infeasible 7.0000 7901048 250700 190 infeasible 7.0000 7904629 250800 202 infeasible 7.0000 7909131 250900 208 infeasible 7.0000 7912410 251000 200 7.0000 69 7.0000 7913744 Elapsed b&c time = 6558.37 sec. (tree size = 0.16 MB) 251100 206 7.0000 39 7.0000 7918157 251200 214 7.0000 87 7.0000 7922100 251300 200 infeasible 7.0000 7924808 251400 193 infeasible 7.0000 7929086 251500 193 7.0000 88 7.0000 7934419 251600 195 7.0000 80 7.0000 7937356 251700 191 infeasible 7.0000 7940357 251800 197 7.0000 102 7.0000 7944419 251900 201 infeasible 7.0000 7948078 252000 193 7.0000 114 7.0000 7951496 Elapsed b&c time = 6588.97 sec. (tree size = 0.15 MB) 252100 185 infeasible 7.0000 7955518 252200 193 7.0000 91 7.0000 7960341 252300 188 infeasible 7.0000 7962877 252400 188 7.0000 58 7.0000 7967161 252500 188 infeasible 7.0000 7971288 252600 190 7.0000 44 7.0000 7974804 252700 191 infeasible 7.0000 7978850 252800 193 infeasible 7.0000 7982229 252900 197 infeasible 7.0000 7986185 253000 199 7.0000 41 7.0000 7988617 Elapsed b&c time = 6616.84 sec. (tree size = 0.15 MB) 253100 189 7.0000 113 7.0000 7992711 253200 191 infeasible 7.0000 7996864 253300 193 infeasible 7.0000 8000703 253400 191 infeasible 7.0000 8004223 253500 185 infeasible 7.0000 8008882 253600 183 7.0000 150 7.0000 8011401 253700 187 infeasible 7.0000 8014774 253800 185 infeasible 7.0000 8016824 253900 189 infeasible 7.0000 8020330 254000 191 infeasible 7.0000 8023222 Elapsed b&c time = 6643.21 sec. (tree size = 0.15 MB) 254100 187 7.0000 51 7.0000 8025822 254200 189 infeasible 7.0000 8028298 254300 191 7.0000 50 7.0000 8031504 254400 189 infeasible 7.0000 8033093 254500 185 infeasible 7.0000 8035780 254600 187 infeasible 7.0000 8039576 254700 181 7.0000 89 7.0000 8043056 254800 185 infeasible 7.0000 8046301 254900 185 7.0000 112 7.0000 8049954 255000 187 infeasible 7.0000 8054157 Elapsed b&c time = 6667.80 sec. (tree size = 0.15 MB) 255100 191 infeasible 7.0000 8058191 255200 189 7.0000 52 7.0000 8063970 255300 187 7.0000 81 7.0000 8067066 255400 184 infeasible 7.0000 8070494 255500 184 infeasible 7.0000 8073803 255600 190 7.0000 61 7.0000 8076036 255700 188 infeasible 7.0000 8077168 255800 184 7.0000 94 7.0000 8080647 255900 181 7.0000 183 7.0000 8084590 256000 184 7.0000 98 7.0000 8087714 Elapsed b&c time = 6694.59 sec. (tree size = 0.14 MB) 256100 186 7.0000 64 7.0000 8090307 256200 188 7.0000 87 7.0000 8094711 256300 186 7.0000 102 7.0000 8097867 256400 194 infeasible 7.0000 8100919 256500 192 infeasible 7.0000 8103763 256600 188 infeasible 7.0000 8107945 256700 186 infeasible 7.0000 8110674 256800 186 7.0000 124 7.0000 8113871 256900 178 infeasible 7.0000 8116689 257000 182 infeasible 7.0000 8119368 Elapsed b&c time = 6718.70 sec. (tree size = 0.14 MB) 257100 182 7.0000 48 7.0000 8123135 257200 190 infeasible 7.0000 8126826 257300 184 infeasible 7.0000 8130347 257400 198 7.0000 120 7.0000 8132404 257500 180 infeasible 7.0000 8135601 257600 178 infeasible 7.0000 8140276 257700 181 7.0000 71 7.0000 8143914 257800 183 infeasible 7.0000 8147975 257900 193 7.0000 42 7.0000 8151373 258000 182 7.0000 66 7.0000 8154801 Elapsed b&c time = 6750.49 sec. (tree size = 0.14 MB) 258100 180 infeasible 7.0000 8157590 258200 184 infeasible 7.0000 8162058 258300 186 7.0000 28 7.0000 8165898 258400 185 7.0000 50 7.0000 8168910 258500 188 7.0000 50 7.0000 8170619 258600 183 infeasible 7.0000 8172567 258700 184 infeasible 7.0000 8175733 258800 181 infeasible 7.0000 8178557 258900 179 7.0000 118 7.0000 8180269 259000 185 7.0000 14 7.0000 8183129 Elapsed b&c time = 6772.71 sec. (tree size = 0.14 MB) 259100 177 7.0000 137 7.0000 8185773 259200 187 7.0000 61 7.0000 8189010 259300 182 infeasible 7.0000 8191895 259400 181 infeasible 7.0000 8194384 259500 184 7.0000 25 7.0000 8195521 259600 182 7.0000 22 7.0000 8197455 259700 182 infeasible 7.0000 8200522 259800 182 infeasible 7.0000 8203970 259900 186 infeasible 7.0000 8207406 260000 178 7.0000 121 7.0000 8209281 Elapsed b&c time = 6792.17 sec. (tree size = 0.14 MB) 260100 186 infeasible 7.0000 8211915 260200 193 infeasible 7.0000 8214445 260300 183 7.0000 89 7.0000 8216735 260400 182 infeasible 7.0000 8219551 260500 181 infeasible 7.0000 8222583 260600 175 7.0000 115 7.0000 8225731 260700 189 infeasible 7.0000 8229323 260800 191 7.0000 44 7.0000 8234254 260900 197 7.0000 57 7.0000 8236110 261000 193 infeasible 7.0000 8239795 Elapsed b&c time = 6814.14 sec. (tree size = 0.15 MB) 261100 189 7.0000 81 7.0000 8241994 261200 185 7.0000 94 7.0000 8245568 261300 183 infeasible 7.0000 8247367 261400 183 infeasible 7.0000 8251208 261500 189 7.0000 43 7.0000 8255179 261600 187 7.0000 123 7.0000 8258301 261700 198 infeasible 7.0000 8261766 261800 206 infeasible 7.0000 8263213 261900 199 7.0000 54 7.0000 8265040 262000 197 infeasible 7.0000 8268018 Elapsed b&c time = 6835.13 sec. (tree size = 0.15 MB) 262100 193 7.0000 78 7.0000 8271251 262200 201 infeasible 7.0000 8275735 262300 193 7.0000 111 7.0000 8279330 262400 195 infeasible 7.0000 8283485 262500 189 7.0000 132 7.0000 8287748 262600 191 infeasible 7.0000 8291394 262700 191 7.0000 63 7.0000 8297325 262800 193 infeasible 7.0000 8302666 262900 193 infeasible 7.0000 8307506 263000 197 infeasible 7.0000 8311933 Elapsed b&c time = 6871.30 sec. (tree size = 0.15 MB) 263100 193 7.0000 57 7.0000 8318172 263200 185 7.0000 144 7.0000 8322149 263300 187 7.0000 107 7.0000 8325304 263400 187 7.0000 107 7.0000 8328126 263500 185 7.0000 109 7.0000 8331826 263600 189 7.0000 52 7.0000 8333967 263700 181 infeasible 7.0000 8337069 263800 185 7.0000 70 7.0000 8342645 263900 183 infeasible 7.0000 8343999 264000 185 infeasible 7.0000 8347410 Elapsed b&c time = 6898.97 sec. (tree size = 0.14 MB) 264100 187 infeasible 7.0000 8353023 264200 183 7.0000 75 7.0000 8358639 264300 183 infeasible 7.0000 8363869 264400 187 infeasible 7.0000 8369180 264500 189 7.0000 67 7.0000 8375390 264600 189 7.0000 45 7.0000 8379479 264700 190 7.0000 74 7.0000 8382936 264800 196 infeasible 7.0000 8386409 264900 184 7.0000 243 7.0000 8389297 265000 190 7.0000 66 7.0000 8394134 Elapsed b&c time = 6936.81 sec. (tree size = 0.15 MB) 265100 187 infeasible 7.0000 8396618 265200 187 infeasible 7.0000 8398545 265300 183 infeasible 7.0000 8402700 265400 189 infeasible 7.0000 8405766 265500 189 infeasible 7.0000 8409119 265600 189 7.0000 72 7.0000 8413936 265700 189 infeasible 7.0000 8416396 265800 195 infeasible 7.0000 8420017 265900 189 infeasible 7.0000 8421747 266000 201 infeasible 7.0000 8426441 Elapsed b&c time = 6964.90 sec. (tree size = 0.16 MB) 266100 193 infeasible 7.0000 8428792 266200 201 infeasible 7.0000 8432872 266300 199 7.0000 58 7.0000 8435862 266400 203 7.0000 66 7.0000 8439808 266500 199 infeasible 7.0000 8441992 266600 201 infeasible 7.0000 8444719 266700 196 7.0000 92 7.0000 8448773 266800 208 infeasible 7.0000 8453773 266900 198 infeasible 7.0000 8459554 267000 200 infeasible 7.0000 8462770 Elapsed b&c time = 6994.18 sec. (tree size = 0.16 MB) 267100 195 7.0000 166 7.0000 8465848 267200 189 7.0000 89 7.0000 8468943 267300 191 7.0000 72 7.0000 8471246 267400 189 infeasible 7.0000 8473969 267500 185 infeasible 7.0000 8478146 267600 189 infeasible 7.0000 8481377 267700 199 infeasible 7.0000 8487015 267800 189 7.0000 54 7.0000 8492473 267900 193 7.0000 30 7.0000 8496855 268000 189 7.0000 76 7.0000 8501538 Elapsed b&c time = 7027.17 sec. (tree size = 0.15 MB) 268100 189 infeasible 7.0000 8504525 268200 190 infeasible 7.0000 8508788 268300 202 infeasible 7.0000 8512746 268400 200 7.0000 10 7.0000 8517645 268500 203 infeasible 7.0000 8522310 268600 203 7.0000 27 7.0000 8527012 268700 207 7.0000 157 7.0000 8531978 268800 207 infeasible 7.0000 8535584 268900 201 7.0000 30 7.0000 8540142 269000 198 infeasible 7.0000 8542602 Elapsed b&c time = 7061.57 sec. (tree size = 0.15 MB) 269100 200 infeasible 7.0000 8544846 269200 188 infeasible 7.0000 8547337 269300 194 infeasible 7.0000 8549148 269400 200 infeasible 7.0000 8550172 269500 194 infeasible 7.0000 8551832 269600 194 infeasible 7.0000 8554509 269700 212 7.0000 15 7.0000 8560357 269800 202 infeasible 7.0000 8564731 269900 197 infeasible 7.0000 8568587 270000 195 infeasible 7.0000 8572482 Elapsed b&c time = 7087.09 sec. (tree size = 0.15 MB) 270100 186 7.0000 145 7.0000 8577168 270200 193 infeasible 7.0000 8581392 270300 197 infeasible 7.0000 8584677 270400 197 infeasible 7.0000 8586237 270500 191 7.0000 44 7.0000 8588211 270600 193 infeasible 7.0000 8591800 270700 203 infeasible 7.0000 8597990 270800 195 7.0000 58 7.0000 8601175 270900 203 7.0000 35 7.0000 8602654 271000 195 infeasible 7.0000 8605083 Elapsed b&c time = 7116.95 sec. (tree size = 0.15 MB) 271100 191 infeasible 7.0000 8607415 271200 190 infeasible 7.0000 8611612 271300 196 infeasible 7.0000 8615053 271400 198 infeasible 7.0000 8618340 271500 198 7.0000 26 7.0000 8621463 271600 190 7.0000 22 7.0000 8622896 271700 202 infeasible 7.0000 8624247 271800 195 infeasible 7.0000 8626593 271900 191 7.0000 97 7.0000 8632149 272000 197 infeasible 7.0000 8635269 Elapsed b&c time = 7142.36 sec. (tree size = 0.15 MB) 272100 191 7.0000 110 7.0000 8638397 272200 193 infeasible 7.0000 8643578 272300 195 7.0000 119 7.0000 8651063 272400 197 infeasible 7.0000 8655059 272500 195 7.0000 64 7.0000 8657977 272600 195 7.0000 84 7.0000 8660351 272700 195 7.0000 86 7.0000 8664176 272800 198 infeasible 7.0000 8669662 272900 214 infeasible 7.0000 8673349 273000 208 infeasible 7.0000 8677136 Elapsed b&c time = 7180.24 sec. (tree size = 0.16 MB) 273100 202 7.0000 82 7.0000 8680573 273200 196 7.0000 111 7.0000 8685216 273300 194 7.0000 73 7.0000 8688512 273400 196 7.0000 65 7.0000 8689716 273500 200 7.0000 85 7.0000 8692207 273600 196 infeasible 7.0000 8694565 273700 196 7.0000 24 7.0000 8696644 273800 194 7.0000 75 7.0000 8699509 273900 203 infeasible 7.0000 8701230 274000 199 infeasible 7.0000 8702993 Elapsed b&c time = 7201.57 sec. (tree size = 0.15 MB) 274100 195 7.0000 24 7.0000 8704754 274200 195 infeasible 7.0000 8708247 274300 201 infeasible 7.0000 8713698 274400 199 7.0000 69 7.0000 8716942 274500 198 7.0000 31 7.0000 8719731 274600 190 infeasible 7.0000 8722761 274700 196 infeasible 7.0000 8725267 274800 194 infeasible 7.0000 8727683 274900 188 7.0000 78 7.0000 8730370 275000 188 infeasible 7.0000 8733820 Elapsed b&c time = 7232.74 sec. (tree size = 0.15 MB) 275100 190 7.0000 42 7.0000 8735892 275200 190 7.0000 122 7.0000 8739073 275300 187 infeasible 7.0000 8744073 275400 187 infeasible 7.0000 8745978 275500 183 7.0000 63 7.0000 8750554 275600 179 7.0000 124 7.0000 8752478 275700 191 7.0000 35 7.0000 8754771 275800 198 infeasible 7.0000 8757311 275900 192 infeasible 7.0000 8761060 276000 185 infeasible 7.0000 8763874 Elapsed b&c time = 7258.05 sec. (tree size = 0.14 MB) 276100 193 infeasible 7.0000 8766379 276200 189 infeasible 7.0000 8767356 276300 197 infeasible 7.0000 8770354 276400 195 7.0000 31 7.0000 8774184 276500 197 7.0000 24 7.0000 8775556 276600 191 7.0000 105 7.0000 8778890 276700 186 7.0000 183 7.0000 8784329 276800 190 7.0000 29 7.0000 8788363 276900 192 infeasible 7.0000 8792922 277000 192 infeasible 7.0000 8795715 Elapsed b&c time = 7283.77 sec. (tree size = 0.15 MB) 277100 192 7.0000 67 7.0000 8799750 277200 185 7.0000 116 7.0000 8806533 277300 183 7.0000 72 7.0000 8807449 277400 185 infeasible 7.0000 8810776 277500 181 7.0000 53 7.0000 8814971 277600 186 infeasible 7.0000 8817576 277700 186 infeasible 7.0000 8818946 277800 191 infeasible 7.0000 8821287 277900 187 7.0000 21 7.0000 8823782 278000 183 7.0000 101 7.0000 8827010 Elapsed b&c time = 7310.77 sec. (tree size = 0.14 MB) 278100 193 infeasible 7.0000 8830026 278200 185 7.0000 26 7.0000 8832838 278300 185 7.0000 47 7.0000 8836666 278400 182 7.0000 72 7.0000 8839873 278500 186 infeasible 7.0000 8843606 278600 188 infeasible 7.0000 8846766 278700 182 7.0000 163 7.0000 8850007 278800 188 infeasible 7.0000 8853241 278900 195 7.0000 72 7.0000 8859238 279000 192 infeasible 7.0000 8863712 Elapsed b&c time = 7343.09 sec. (tree size = 0.15 MB) 279100 188 7.0000 61 7.0000 8867504 279200 196 7.0000 44 7.0000 8872434 279300 194 infeasible 7.0000 8875729 279400 188 infeasible 7.0000 8880938 279500 186 infeasible 7.0000 8885025 279600 194 infeasible 7.0000 8889943 279700 186 infeasible 7.0000 8890554 279800 188 7.0000 58 7.0000 8893939 279900 188 infeasible 7.0000 8898826 280000 190 infeasible 7.0000 8900869 Elapsed b&c time = 7374.29 sec. (tree size = 0.15 MB) 280100 192 7.0000 49 7.0000 8903892 280200 190 7.0000 17 7.0000 8905302 280300 186 infeasible 7.0000 8910105 280400 184 infeasible 7.0000 8913565 280500 190 7.0000 81 7.0000 8917142 280600 188 7.0000 48 7.0000 8921539 280700 184 7.0000 122 7.0000 8926578 280800 192 infeasible 7.0000 8930866 280900 185 infeasible 7.0000 8934159 281000 183 7.0000 56 7.0000 8938337 Elapsed b&c time = 7403.14 sec. (tree size = 0.14 MB) 281100 178 7.0000 172 7.0000 8941232 281200 184 infeasible 7.0000 8944950 281300 178 infeasible 7.0000 8947620 281400 177 infeasible 7.0000 8951712 281500 180 7.0000 10 7.0000 8953911 281600 178 7.0000 114 7.0000 8957257 281700 175 7.0000 114 7.0000 8960353 281800 171 7.0000 191 7.0000 8964678 281900 179 7.0000 91 7.0000 8966680 282000 183 infeasible 7.0000 8971854 Elapsed b&c time = 7432.14 sec. (tree size = 0.14 MB) 282100 181 infeasible 7.0000 8976404 282200 179 7.0000 126 7.0000 8979129 282300 181 infeasible 7.0000 8983450 282400 189 7.0000 38 7.0000 8985180 282500 179 7.0000 101 7.0000 8987188 282600 190 infeasible 7.0000 8992544 282700 182 infeasible 7.0000 8996923 282800 184 7.0000 135 7.0000 9002270 282900 184 7.0000 102 7.0000 9006610 283000 188 7.0000 81 7.0000 9010498 Elapsed b&c time = 7464.65 sec. (tree size = 0.15 MB) 283100 190 7.0000 37 7.0000 9015208 283200 193 7.0000 104 7.0000 9019011 283300 185 infeasible 7.0000 9025841 283400 195 infeasible 7.0000 9027507 283500 187 7.0000 124 7.0000 9031982 283600 187 7.0000 97 7.0000 9038664 283700 189 7.0000 70 7.0000 9040975 283800 193 7.0000 12 7.0000 9044027 283900 189 infeasible 7.0000 9046293 284000 194 7.0000 22 7.0000 9051568 Elapsed b&c time = 7499.82 sec. (tree size = 0.15 MB) 284100 206 infeasible 7.0000 9056791 284200 204 7.0000 106 7.0000 9062984 284300 206 7.0000 21 7.0000 9067714 284400 210 infeasible 7.0000 9070099 284500 212 7.0000 24 7.0000 9072567 284600 200 7.0000 82 7.0000 9077863 284700 194 7.0000 25 7.0000 9080742 284800 188 7.0000 126 7.0000 9084818 284900 196 7.0000 38 7.0000 9090051 285000 199 infeasible 7.0000 9093900 Elapsed b&c time = 7539.02 sec. (tree size = 0.15 MB) 285100 206 infeasible 7.0000 9097693 285200 209 infeasible 7.0000 9102339 285300 215 infeasible 7.0000 9106718 285400 209 infeasible 7.0000 9109203 285500 208 infeasible 7.0000 9112419 285600 204 infeasible 7.0000 9116290 285700 202 infeasible 7.0000 9120634 285800 196 7.0000 14 7.0000 9123395 285900 198 7.0000 14 7.0000 9126325 286000 197 7.0000 33 7.0000 9129417 Elapsed b&c time = 7568.97 sec. (tree size = 0.15 MB) 286100 195 7.0000 33 7.0000 9131615 286200 197 7.0000 36 7.0000 9133356 286300 196 7.0000 36 7.0000 9135568 286400 192 infeasible 7.0000 9138043 286500 192 infeasible 7.0000 9139970 286600 196 infeasible 7.0000 9142347 286700 196 7.0000 38 7.0000 9144177 286800 192 infeasible 7.0000 9147370 286900 199 7.0000 61 7.0000 9151679 287000 207 7.0000 40 7.0000 9155008 Elapsed b&c time = 7591.05 sec. (tree size = 0.16 MB) 287100 203 7.0000 18 7.0000 9157279 287200 207 infeasible 7.0000 9160456 287300 205 infeasible 7.0000 9164622 287400 189 7.0000 135 7.0000 9169810 287500 191 7.0000 130 7.0000 9175901 287600 191 7.0000 177 7.0000 9180115 287700 195 infeasible 7.0000 9182905 287800 201 7.0000 22 7.0000 9188894 287900 209 7.0000 37 7.0000 9194127 288000 203 7.0000 54 7.0000 9197871 Elapsed b&c time = 7631.01 sec. (tree size = 0.16 MB) 288100 210 infeasible 7.0000 9203710 288200 204 7.0000 76 7.0000 9209691 288300 197 7.0000 114 7.0000 9214030 288400 201 infeasible 7.0000 9218676 288500 195 infeasible 7.0000 9224291 288600 193 infeasible 7.0000 9229939 288700 197 7.0000 33 7.0000 9235707 288800 185 7.0000 144 7.0000 9239410 288900 189 7.0000 107 7.0000 9242261 289000 196 infeasible 7.0000 9244742 Elapsed b&c time = 7675.56 sec. (tree size = 0.15 MB) 289100 194 infeasible 7.0000 9249522 289200 186 7.0000 91 7.0000 9254513 289300 186 infeasible 7.0000 9259860 289400 195 infeasible 7.0000 9263839 289500 191 7.0000 39 7.0000 9271319 289600 189 7.0000 64 7.0000 9274301 289700 201 infeasible 7.0000 9279590 289800 195 infeasible 7.0000 9283422 289900 195 infeasible 7.0000 9289449 290000 201 infeasible 7.0000 9292444 Elapsed b&c time = 7718.08 sec. (tree size = 0.16 MB) 290100 199 7.0000 46 7.0000 9294025 290200 203 7.0000 23 7.0000 9296312 290300 203 7.0000 45 7.0000 9298541 290400 199 7.0000 88 7.0000 9300651 290500 203 infeasible 7.0000 9302498 290600 198 7.0000 112 7.0000 9306456 290700 198 7.0000 106 7.0000 9310514 290800 204 7.0000 112 7.0000 9316359 290900 204 infeasible 7.0000 9320257 291000 192 7.0000 94 7.0000 9324405 Elapsed b&c time = 7745.74 sec. (tree size = 0.15 MB) 291100 190 infeasible 7.0000 9327278 291200 198 7.0000 35 7.0000 9332098 291300 198 infeasible 7.0000 9336242 291400 198 7.0000 57 7.0000 9341718 291500 194 infeasible 7.0000 9345607 291600 194 7.0000 111 7.0000 9349647 291700 196 7.0000 35 7.0000 9354067 291800 192 infeasible 7.0000 9356961 291900 194 infeasible 7.0000 9360610 292000 198 infeasible 7.0000 9368548 Elapsed b&c time = 7784.77 sec. (tree size = 0.15 MB) 292100 196 infeasible 7.0000 9370742 292200 197 7.0000 114 7.0000 9374007 292300 211 infeasible 7.0000 9381492 292400 193 infeasible 7.0000 9386414 292500 183 infeasible 7.0000 9390076 292600 187 infeasible 7.0000 9395106 292700 187 7.0000 86 7.0000 9400132 292800 182 7.0000 64 7.0000 9404313 292900 182 7.0000 127 7.0000 9408587 293000 194 infeasible 7.0000 9410315 Elapsed b&c time = 7823.40 sec. (tree size = 0.15 MB) 293100 191 infeasible 7.0000 9413347 293200 199 7.0000 50 7.0000 9416361 293300 196 7.0000 41 7.0000 9418903 293400 194 7.0000 49 7.0000 9421789 293500 199 infeasible 7.0000 9424350 293600 194 infeasible 7.0000 9425889 293700 202 infeasible 7.0000 9428295 293800 202 7.0000 115 7.0000 9430476 293900 202 infeasible 7.0000 9432542 294000 195 infeasible 7.0000 9435104 Elapsed b&c time = 7842.86 sec. (tree size = 0.15 MB) 294100 190 7.0000 43 7.0000 9437606 294200 183 7.0000 136 7.0000 9441078 294300 192 infeasible 7.0000 9444176 294400 198 infeasible 7.0000 9449045 294500 190 7.0000 104 7.0000 9452367 294600 192 7.0000 124 7.0000 9456074 294700 198 infeasible 7.0000 9458951 294800 194 infeasible 7.0000 9460738 294900 192 7.0000 49 7.0000 9462887 295000 190 7.0000 80 7.0000 9465463 Elapsed b&c time = 7867.18 sec. (tree size = 0.15 MB) 295100 190 7.0000 66 7.0000 9467723 295200 194 7.0000 28 7.0000 9469667 295300 190 7.0000 48 7.0000 9471537 295400 194 infeasible 7.0000 9475741 295500 186 7.0000 105 7.0000 9479380 295600 187 infeasible 7.0000 9481536 295700 191 7.0000 50 7.0000 9486504 295800 185 7.0000 88 7.0000 9489532 295900 187 infeasible 7.0000 9492280 296000 189 7.0000 94 7.0000 9494851 Elapsed b&c time = 7890.80 sec. (tree size = 0.15 MB) 296100 185 7.0000 119 7.0000 9495805 296200 187 infeasible 7.0000 9496905 296300 189 infeasible 7.0000 9497867 296400 187 infeasible 7.0000 9498806 296500 189 infeasible 7.0000 9502043 296600 187 infeasible 7.0000 9505322 296700 186 infeasible 7.0000 9508665 296800 184 7.0000 143 7.0000 9510332 296900 189 7.0000 120 7.0000 9513063 297000 186 7.0000 150 7.0000 9516429 Elapsed b&c time = 7908.57 sec. (tree size = 0.14 MB) 297100 178 infeasible 7.0000 9520860 297200 172 infeasible 7.0000 9524874 297300 180 infeasible 7.0000 9528628 297400 178 7.0000 106 7.0000 9532402 297500 176 infeasible 7.0000 9536026 297600 186 infeasible 7.0000 9540942 297700 180 7.0000 70 7.0000 9545586 297800 180 7.0000 183 7.0000 9548341 297900 188 infeasible 7.0000 9553300 298000 184 infeasible 7.0000 9556847 Elapsed b&c time = 7942.10 sec. (tree size = 0.14 MB) 298100 183 7.0000 96 7.0000 9559312 298200 183 infeasible 7.0000 9561809 298300 183 infeasible 7.0000 9563525 298400 183 7.0000 125 7.0000 9566785 298500 179 infeasible 7.0000 9569509 298600 180 7.0000 115 7.0000 9573857 298700 176 infeasible 7.0000 9577033 298800 181 7.0000 59 7.0000 9579034 298900 185 infeasible 7.0000 9580456 299000 180 7.0000 65 7.0000 9582398 Elapsed b&c time = 7960.68 sec. (tree size = 0.14 MB) 299100 184 7.0000 44 7.0000 9583960 299200 178 7.0000 89 7.0000 9586045 299300 182 7.0000 59 7.0000 9588376 299400 176 7.0000 95 7.0000 9591031 299500 174 infeasible 7.0000 9594601 299600 166 infeasible 7.0000 9596833 299700 175 7.0000 99 7.0000 9600085 299800 167 infeasible 7.0000 9603552 299900 169 7.0000 168 7.0000 9606928 300000 175 7.0000 60 7.0000 9610025 Elapsed b&c time = 7981.58 sec. (tree size = 0.14 MB) 300100 169 infeasible 7.0000 9616512 300200 171 7.0000 105 7.0000 9619857 300300 177 7.0000 85 7.0000 9623864 300400 179 7.0000 79 7.0000 9628795 300500 179 infeasible 7.0000 9630243 300600 179 infeasible 7.0000 9631870 300700 173 7.0000 65 7.0000 9632618 300800 175 7.0000 86 7.0000 9634831 300900 179 7.0000 70 7.0000 9637121 301000 171 7.0000 90 7.0000 9639304 Elapsed b&c time = 8006.15 sec. (tree size = 0.13 MB) 301100 171 7.0000 37 7.0000 9641155 301200 185 7.0000 47 7.0000 9644467 301300 177 infeasible 7.0000 9646421 301400 175 7.0000 62 7.0000 9648588 301500 174 7.0000 132 7.0000 9650536 301600 172 infeasible 7.0000 9653296 301700 174 infeasible 7.0000 9655769 301800 170 7.0000 135 7.0000 9658157 301900 170 infeasible 7.0000 9659208 302000 170 7.0000 132 7.0000 9659913 Elapsed b&c time = 8022.08 sec. (tree size = 0.13 MB) 302100 172 infeasible 7.0000 9663340 302200 174 7.0000 152 7.0000 9665797 302300 181 infeasible 7.0000 9669816 302400 175 infeasible 7.0000 9673749 302500 175 infeasible 7.0000 9676653 302600 175 7.0000 66 7.0000 9680671 302700 175 infeasible 7.0000 9684440 302800 177 infeasible 7.0000 9687453 302900 172 infeasible 7.0000 9691281 303000 176 7.0000 43 7.0000 9695650 Elapsed b&c time = 8050.99 sec. (tree size = 0.14 MB) 303100 174 infeasible 7.0000 9698239 303200 176 infeasible 7.0000 9702450 303300 178 infeasible 7.0000 9707321 303400 173 7.0000 117 7.0000 9712000 303500 175 7.0000 62 7.0000 9716254 303600 171 7.0000 22 7.0000 9719666 303700 173 7.0000 120 7.0000 9722350 303800 171 infeasible 7.0000 9726749 303900 169 7.0000 176 7.0000 9728639 304000 173 7.0000 106 7.0000 9732583 Elapsed b&c time = 8079.33 sec. (tree size = 0.13 MB) 304100 177 infeasible 7.0000 9735340 304200 171 7.0000 101 7.0000 9740055 304300 169 7.0000 161 7.0000 9742788 304400 173 infeasible 7.0000 9746947 304500 171 infeasible 7.0000 9749546 304600 171 infeasible 7.0000 9753690 304700 173 infeasible 7.0000 9756838 304800 167 7.0000 116 7.0000 9759124 304900 169 infeasible 7.0000 9762736 305000 181 infeasible 7.0000 9765761 Elapsed b&c time = 8104.47 sec. (tree size = 0.14 MB) 305100 177 7.0000 111 7.0000 9768342 305200 170 7.0000 147 7.0000 9772676 305300 164 7.0000 174 7.0000 9776538 305400 170 7.0000 97 7.0000 9779589 305500 167 7.0000 121 7.0000 9782993 305600 169 7.0000 88 7.0000 9785301 305700 169 infeasible 7.0000 9789531 305800 175 7.0000 99 7.0000 9793625 305900 179 infeasible 7.0000 9796779 306000 173 infeasible 7.0000 9799849 Elapsed b&c time = 8131.16 sec. (tree size = 0.13 MB) 306100 175 infeasible 7.0000 9801838 306200 173 7.0000 108 7.0000 9804669 306300 176 infeasible 7.0000 9807107 306400 172 7.0000 34 7.0000 9807809 306500 174 infeasible 7.0000 9810954 306600 171 7.0000 86 7.0000 9814081 306700 176 7.0000 71 7.0000 9817538 306800 175 infeasible 7.0000 9820173 306900 167 7.0000 172 7.0000 9823175 307000 170 7.0000 207 7.0000 9826673 Elapsed b&c time = 8150.52 sec. (tree size = 0.13 MB) 307100 176 infeasible 7.0000 9829589 307200 180 infeasible 7.0000 9830961 307300 171 infeasible 7.0000 9832611 307400 175 7.0000 108 7.0000 9836793 307500 179 infeasible 7.0000 9839519 307600 179 7.0000 44 7.0000 9843123 307700 166 7.0000 150 7.0000 9845466 307800 174 7.0000 83 7.0000 9849132 307900 174 7.0000 36 7.0000 9851258 308000 172 infeasible 7.0000 9854632 Elapsed b&c time = 8173.52 sec. (tree size = 0.13 MB) 308100 166 7.0000 115 7.0000 9857047 308200 171 infeasible 7.0000 9860009 308300 171 infeasible 7.0000 9863169 308400 183 7.0000 35 7.0000 9866362 308500 173 7.0000 121 7.0000 9870914 308600 171 infeasible 7.0000 9873686 308700 175 infeasible 7.0000 9876184 308800 179 7.0000 57 7.0000 9880697 308900 173 7.0000 105 7.0000 9883105 309000 176 7.0000 81 7.0000 9886660 Elapsed b&c time = 8197.32 sec. (tree size = 0.14 MB) 309100 175 infeasible 7.0000 9888375 309200 177 infeasible 7.0000 9890635 309300 180 infeasible 7.0000 9893659 309400 177 7.0000 67 7.0000 9897910 309500 179 infeasible 7.0000 9901033 309600 173 infeasible 7.0000 9903360 309700 181 infeasible 7.0000 9905251 309800 173 7.0000 97 7.0000 9906773 309900 171 7.0000 87 7.0000 9910107 310000 170 7.0000 102 7.0000 9911486 Elapsed b&c time = 8214.91 sec. (tree size = 0.13 MB) 310100 166 7.0000 154 7.0000 9915666 310200 172 infeasible 7.0000 9919583 310300 175 7.0000 63 7.0000 9921550 310400 172 infeasible 7.0000 9924221 310500 171 infeasible 7.0000 9926463 310600 176 7.0000 33 7.0000 9928645 310700 169 infeasible 7.0000 9931047 310800 173 infeasible 7.0000 9932775 310900 169 infeasible 7.0000 9934705 311000 167 infeasible 7.0000 9936712 Elapsed b&c time = 8232.97 sec. (tree size = 0.13 MB) 311100 171 infeasible 7.0000 9939575 311200 167 7.0000 63 7.0000 9941200 311300 171 infeasible 7.0000 9943225 311400 165 infeasible 7.0000 9945580 311500 173 infeasible 7.0000 9948153 311600 175 7.0000 34 7.0000 9949550 311700 178 7.0000 29 7.0000 9950961 311800 174 7.0000 40 7.0000 9952112 311900 176 infeasible 7.0000 9954847 312000 167 7.0000 43 7.0000 9958243 Elapsed b&c time = 8250.20 sec. (tree size = 0.13 MB) 312100 177 7.0000 26 7.0000 9961198 312200 167 7.0000 106 7.0000 9962596 312300 171 7.0000 27 7.0000 9964119 312400 169 7.0000 91 7.0000 9966115 312500 164 infeasible 7.0000 9969008 312600 166 7.0000 46 7.0000 9970286 312700 160 7.0000 209 7.0000 9972766 312800 166 7.0000 100 7.0000 9975626 312900 168 7.0000 83 7.0000 9977460 313000 170 7.0000 52 7.0000 9978342 Elapsed b&c time = 8267.53 sec. (tree size = 0.13 MB) 313100 168 7.0000 46 7.0000 9979249 313200 170 infeasible 7.0000 9980334 313300 166 7.0000 95 7.0000 9982053 313400 168 7.0000 17 7.0000 9984312 313500 159 infeasible 7.0000 9988456 313600 157 7.0000 166 7.0000 9992820 313700 157 infeasible 7.0000 9997010 313800 150 infeasible 7.0000 10001912 313900 149 7.0000 75 7.0000 10005811 314000 153 7.0000 61 7.0000 10007869 Elapsed b&c time = 8292.91 sec. (tree size = 0.12 MB) 314100 151 7.0000 22 7.0000 10011561 314200 151 7.0000 35 7.0000 10014847 314300 147 7.0000 176 7.0000 10018392 314400 147 7.0000 58 7.0000 10021315 314500 163 infeasible 7.0000 10024558 314600 157 infeasible 7.0000 10026891 314700 159 infeasible 7.0000 10029846 314800 157 7.0000 57 7.0000 10032294 314900 161 7.0000 94 7.0000 10037183 315000 155 7.0000 47 7.0000 10041551 Elapsed b&c time = 8320.97 sec. (tree size = 0.12 MB) 315100 167 infeasible 7.0000 10046573 315200 175 infeasible 7.0000 10050130 315300 174 7.0000 60 7.0000 10052889 315400 172 7.0000 57 7.0000 10056486 315500 170 infeasible 7.0000 10060290 315600 160 infeasible 7.0000 10063281 315700 149 infeasible 7.0000 10066621 315800 148 infeasible 7.0000 10069359 315900 140 7.0000 195 7.0000 10073669 316000 152 7.0000 64 7.0000 10077087 Elapsed b&c time = 8351.08 sec. (tree size = 0.12 MB) 316100 151 infeasible 7.0000 10081452 316200 147 infeasible 7.0000 10082553 316300 148 infeasible 7.0000 10084730 316400 146 7.0000 96 7.0000 10087055 316500 141 7.0000 102 7.0000 10088403 316600 141 infeasible 7.0000 10091193 316700 140 infeasible 7.0000 10095740 316800 140 7.0000 107 7.0000 10101194 316900 138 infeasible 7.0000 10105839 317000 138 7.0000 190 7.0000 10109773 Elapsed b&c time = 8379.14 sec. (tree size = 0.11 MB) 317100 144 infeasible 7.0000 10112529 317200 150 infeasible 7.0000 10116399 317300 146 infeasible 7.0000 10120312 317400 144 infeasible 7.0000 10122893 317500 142 7.0000 102 7.0000 10126930 317600 140 7.0000 169 7.0000 10132520 317700 146 7.0000 64 7.0000 10137628 317800 146 infeasible 7.0000 10143492 317900 148 infeasible 7.0000 10148334 318000 152 7.0000 115 7.0000 10153123 Elapsed b&c time = 8418.00 sec. (tree size = 0.12 MB) 318100 142 infeasible 7.0000 10157160 318200 136 7.0000 144 7.0000 10160710 318300 132 7.0000 172 7.0000 10164741 318400 133 infeasible 7.0000 10168309 318500 137 infeasible 7.0000 10171151 318600 131 7.0000 207 7.0000 10174648 318700 141 7.0000 23 7.0000 10178788 318800 139 7.0000 31 7.0000 10180016 318900 141 7.0000 63 7.0000 10183048 319000 137 7.0000 71 7.0000 10184952 Elapsed b&c time = 8444.08 sec. (tree size = 0.11 MB) 319100 136 infeasible 7.0000 10186639 319200 136 infeasible 7.0000 10189335 319300 140 infeasible 7.0000 10191355 319400 136 infeasible 7.0000 10194386 319500 138 7.0000 106 7.0000 10197241 319600 138 infeasible 7.0000 10200709 319700 132 7.0000 82 7.0000 10202989 319800 134 7.0000 76 7.0000 10207194 319900 140 infeasible 7.0000 10211276 320000 138 7.0000 50 7.0000 10213924 Elapsed b&c time = 8466.29 sec. (tree size = 0.11 MB) 320100 138 infeasible 7.0000 10216371 320200 134 7.0000 134 7.0000 10218406 320300 134 infeasible 7.0000 10219439 320400 134 7.0000 129 7.0000 10220183 320500 134 infeasible 7.0000 10221189 320600 138 7.0000 35 7.0000 10222454 320700 138 7.0000 24 7.0000 10223789 320800 134 7.0000 27 7.0000 10224829 320900 134 7.0000 34 7.0000 10226813 321000 136 infeasible 7.0000 10228088 Elapsed b&c time = 8478.17 sec. (tree size = 0.11 MB) 321100 134 7.0000 91 7.0000 10229750 321200 144 infeasible 7.0000 10232171 321300 139 7.0000 31 7.0000 10234444 321400 141 7.0000 73 7.0000 10237061 321500 135 infeasible 7.0000 10240782 321600 127 7.0000 179 7.0000 10242663 321700 143 7.0000 58 7.0000 10245233 321800 140 infeasible 7.0000 10246986 321900 132 7.0000 139 7.0000 10249645 322000 134 infeasible 7.0000 10252722 Elapsed b&c time = 8496.65 sec. (tree size = 0.10 MB) 322100 132 infeasible 7.0000 10255040 322200 134 7.0000 125 7.0000 10258047 322300 134 7.0000 125 7.0000 10260120 322400 134 7.0000 158 7.0000 10262334 322500 139 7.0000 128 7.0000 10265414 322600 135 infeasible 7.0000 10268361 322700 130 infeasible 7.0000 10271263 322800 133 infeasible 7.0000 10274165 322900 131 7.0000 175 7.0000 10276872 323000 140 infeasible 7.0000 10279379 Elapsed b&c time = 8517.55 sec. (tree size = 0.11 MB) 323100 128 infeasible 7.0000 10283233 323200 128 7.0000 148 7.0000 10288330 323300 130 7.0000 115 7.0000 10292578 323400 138 7.0000 65 7.0000 10294802 323500 134 infeasible 7.0000 10297097 323600 136 infeasible 7.0000 10300353 323700 135 infeasible 7.0000 10304358 323800 135 infeasible 7.0000 10307698 323900 131 7.0000 117 7.0000 10310521 324000 133 infeasible 7.0000 10313616 Elapsed b&c time = 8545.94 sec. (tree size = 0.10 MB) 324100 133 infeasible 7.0000 10315764 324200 131 7.0000 71 7.0000 10318015 324300 131 infeasible 7.0000 10320807 324400 129 7.0000 59 7.0000 10322374 324500 129 infeasible 7.0000 10323143 324600 131 infeasible 7.0000 10324502 324700 123 7.0000 174 7.0000 10327321 324800 123 infeasible 7.0000 10330179 324900 132 7.0000 93 7.0000 10331340 325000 136 infeasible 7.0000 10333336 Elapsed b&c time = 8562.44 sec. (tree size = 0.11 MB) 325100 134 infeasible 7.0000 10334327 325200 134 infeasible 7.0000 10336842 325300 138 7.0000 30 7.0000 10340081 325400 134 infeasible 7.0000 10342107 325500 126 7.0000 182 7.0000 10345608 325600 136 infeasible 7.0000 10347835 325700 136 infeasible 7.0000 10350035 325800 134 infeasible 7.0000 10352363 325900 130 infeasible 7.0000 10355114 326000 132 7.0000 19 7.0000 10357915 Elapsed b&c time = 8580.25 sec. (tree size = 0.10 MB) 326100 132 infeasible 7.0000 10359917 326200 135 infeasible 7.0000 10363414 326300 129 7.0000 80 7.0000 10366545 326400 130 7.0000 83 7.0000 10370351 326500 134 infeasible 7.0000 10372660 326600 132 infeasible 7.0000 10374630 326700 132 infeasible 7.0000 10375751 326800 136 infeasible 7.0000 10376391 326900 135 7.0000 28 7.0000 10376938 327000 137 7.0000 51 7.0000 10378018 Elapsed b&c time = 8596.29 sec. (tree size = 0.11 MB) 327100 137 infeasible 7.0000 10380856 327200 136 infeasible 7.0000 10383246 327300 135 infeasible 7.0000 10385252 327400 135 infeasible 7.0000 10387020 327500 131 7.0000 71 7.0000 10389574 327600 131 7.0000 79 7.0000 10394635 327700 129 7.0000 71 7.0000 10398918 327800 127 7.0000 95 7.0000 10403124 327900 125 7.0000 144 7.0000 10405055 328000 128 infeasible 7.0000 10409231 Elapsed b&c time = 8622.11 sec. (tree size = 0.10 MB) 328100 130 7.0000 59 7.0000 10411021 328200 139 7.0000 28 7.0000 10412370 328300 138 7.0000 15 7.0000 10413157 328400 136 7.0000 19 7.0000 10413806 328500 138 infeasible 7.0000 10414475 328600 135 infeasible 7.0000 10415049 328700 137 infeasible 7.0000 10416174 328800 135 infeasible 7.0000 10417116 328900 127 7.0000 123 7.0000 10419158 329000 130 7.0000 54 7.0000 10420127 Elapsed b&c time = 8631.29 sec. (tree size = 0.10 MB) 329100 132 infeasible 7.0000 10421026 329200 126 7.0000 128 7.0000 10422102 329300 132 7.0000 84 7.0000 10424657 329400 130 7.0000 97 7.0000 10426671 329500 132 infeasible 7.0000 10428735 329600 132 7.0000 43 7.0000 10432293 329700 134 infeasible 7.0000 10433573 329800 132 7.0000 71 7.0000 10435500 329900 130 infeasible 7.0000 10438002 330000 129 7.0000 35 7.0000 10439903 Elapsed b&c time = 8646.99 sec. (tree size = 0.10 MB) 330100 135 7.0000 51 7.0000 10441849 330200 131 7.0000 94 7.0000 10442994 330300 135 7.0000 25 7.0000 10444991 330400 134 7.0000 42 7.0000 10446646 330500 139 infeasible 7.0000 10448397 330600 133 7.0000 90 7.0000 10449834 330700 137 infeasible 7.0000 10451175 330800 134 7.0000 39 7.0000 10452918 330900 137 7.0000 22 7.0000 10455112 331000 135 7.0000 60 7.0000 10457005 Elapsed b&c time = 8659.67 sec. (tree size = 0.11 MB) 331100 129 7.0000 71 7.0000 10458458 331200 129 7.0000 73 7.0000 10460755 331300 131 infeasible 7.0000 10463842 331400 126 7.0000 98 7.0000 10467089 331500 128 7.0000 127 7.0000 10470480 331600 124 7.0000 119 7.0000 10472599 331700 128 7.0000 88 7.0000 10475265 331800 132 7.0000 75 7.0000 10477768 331900 132 7.0000 66 7.0000 10481360 332000 134 infeasible 7.0000 10483227 Elapsed b&c time = 8679.26 sec. (tree size = 0.11 MB) 332100 126 7.0000 41 7.0000 10485460 332200 124 7.0000 160 7.0000 10487425 332300 133 infeasible 7.0000 10489624 332400 127 7.0000 128 7.0000 10492155 332500 127 infeasible 7.0000 10494809 332600 124 infeasible 7.0000 10496730 332700 134 7.0000 82 7.0000 10499118 332800 122 infeasible 7.0000 10501898 332900 122 infeasible 7.0000 10504246 333000 126 infeasible 7.0000 10508388 Elapsed b&c time = 8699.43 sec. (tree size = 0.10 MB) 333100 126 infeasible 7.0000 10511000 333200 128 infeasible 7.0000 10512917 333300 138 7.0000 22 7.0000 10515288 333400 134 infeasible 7.0000 10517174 333500 136 infeasible 7.0000 10518252 333600 130 7.0000 121 7.0000 10520141 333700 142 7.0000 69 7.0000 10522772 333800 137 infeasible 7.0000 10526055 333900 141 infeasible 7.0000 10528885 334000 129 7.0000 63 7.0000 10531145 Elapsed b&c time = 8719.13 sec. (tree size = 0.10 MB) 334100 131 infeasible 7.0000 10532814 334200 125 7.0000 111 7.0000 10535711 334300 141 7.0000 10 7.0000 10538730 334400 135 7.0000 104 7.0000 10542260 334500 127 infeasible 7.0000 10544557 334600 130 7.0000 72 7.0000 10546989 334700 128 infeasible 7.0000 10547906 334800 132 infeasible 7.0000 10548509 334900 132 7.0000 100 7.0000 10550602 335000 134 7.0000 136 7.0000 10553803 Elapsed b&c time = 8738.34 sec. (tree size = 0.10 MB) 335100 138 infeasible 7.0000 10556325 335200 136 infeasible 7.0000 10561799 335300 134 7.0000 129 7.0000 10563790 335400 137 7.0000 90 7.0000 10567795 335500 141 7.0000 45 7.0000 10570746 335600 135 7.0000 108 7.0000 10573213 335700 139 infeasible 7.0000 10575037 335800 139 7.0000 41 7.0000 10577407 335900 132 7.0000 152 7.0000 10581671 336000 122 infeasible 7.0000 10583334 Elapsed b&c time = 8762.94 sec. (tree size = 0.10 MB) 336100 122 7.0000 128 7.0000 10586656 336200 124 infeasible 7.0000 10589518 336300 120 7.0000 98 7.0000 10591183 336400 122 infeasible 7.0000 10593327 336500 120 infeasible 7.0000 10595009 336600 122 7.0000 113 7.0000 10597010 336700 114 7.0000 187 7.0000 10599297 336800 117 infeasible 7.0000 10603585 336900 111 infeasible 7.0000 10607439 337000 115 infeasible 7.0000 10609779 Elapsed b&c time = 8783.80 sec. (tree size = 0.09 MB) 337100 109 7.0000 105 7.0000 10612188 337200 113 infeasible 7.0000 10614762 337300 109 infeasible 7.0000 10617345 337400 105 infeasible 7.0000 10619302 337500 113 infeasible 7.0000 10625386 337600 123 7.0000 137 7.0000 10627472 337700 118 7.0000 101 7.0000 10629997 337800 124 infeasible 7.0000 10630769 337900 110 infeasible 7.0000 10633969 338000 112 7.0000 88 7.0000 10637155 Elapsed b&c time = 8808.75 sec. (tree size = 0.09 MB) 338100 108 7.0000 128 7.0000 10638894 338200 120 7.0000 103 7.0000 10643671 338300 110 7.0000 168 7.0000 10645599 338400 121 7.0000 128 7.0000 10647841 338500 115 infeasible 7.0000 10648967 338600 111 7.0000 142 7.0000 10650901 338700 114 infeasible 7.0000 10653119 338800 114 7.0000 93 7.0000 10654595 338900 112 7.0000 179 7.0000 10656977 339000 116 infeasible 7.0000 10659336 Elapsed b&c time = 8827.88 sec. (tree size = 0.09 MB) 339100 112 infeasible 7.0000 10661055 339200 114 infeasible 7.0000 10663639 339300 112 7.0000 145 7.0000 10666046 339400 113 infeasible 7.0000 10669469 339500 113 7.0000 153 7.0000 10673205 339600 117 7.0000 152 7.0000 10678250 339700 117 7.0000 170 7.0000 10683120 339800 109 7.0000 176 7.0000 10689900 339900 117 7.0000 150 7.0000 10691369 340000 112 infeasible 7.0000 10693174 Elapsed b&c time = 8859.39 sec. (tree size = 0.09 MB) 340100 120 infeasible 7.0000 10694652 340200 116 7.0000 120 7.0000 10697582 340300 117 7.0000 101 7.0000 10702350 340400 115 7.0000 84 7.0000 10705678 340500 118 7.0000 98 7.0000 10709493 340600 116 infeasible 7.0000 10712733 340700 118 7.0000 93 7.0000 10716196 340800 116 infeasible 7.0000 10718151 340900 112 7.0000 108 7.0000 10721195 341000 108 7.0000 201 7.0000 10724941 Elapsed b&c time = 8885.59 sec. (tree size = 0.08 MB) 341100 104 7.0000 198 7.0000 10730281 341200 112 infeasible 7.0000 10735115 341300 112 7.0000 126 7.0000 10739915 341400 110 infeasible 7.0000 10742495 341500 105 7.0000 199 7.0000 10749366 341600 125 7.0000 176 7.0000 10754415 341700 131 infeasible 7.0000 10758266 341800 138 7.0000 103 7.0000 10762005 341900 141 7.0000 100 7.0000 10765719 342000 143 7.0000 162 7.0000 10769696 Elapsed b&c time = 8927.06 sec. (tree size = 0.11 MB) 342100 128 infeasible 7.0000 10774288 342200 116 infeasible 7.0000 10779842 342300 124 infeasible 7.0000 10784529 342400 122 infeasible 7.0000 10787247 342500 122 7.0000 136 7.0000 10789993 342600 126 infeasible 7.0000 10791883 342700 120 7.0000 152 7.0000 10794301 342800 112 7.0000 142 7.0000 10798756 342900 121 infeasible 7.0000 10803324 343000 109 7.0000 226 7.0000 10809365 Elapsed b&c time = 8963.09 sec. (tree size = 0.09 MB) 343100 109 7.0000 95 7.0000 10814224 343200 110 7.0000 126 7.0000 10817993 343300 112 infeasible 7.0000 10821774 343400 115 7.0000 158 7.0000 10825533 343500 111 7.0000 166 7.0000 10831098 343600 105 infeasible 7.0000 10835001 343700 105 7.0000 158 7.0000 10837096 343800 111 infeasible 7.0000 10837354 343900 101 7.0000 189 7.0000 10839834 344000 99 7.0000 97 7.0000 10842070 Elapsed b&c time = 8990.42 sec. (tree size = 0.08 MB) 344100 103 7.0000 127 7.0000 10844452 344200 105 infeasible 7.0000 10848932 344300 107 infeasible 7.0000 10850643 344400 101 7.0000 115 7.0000 10852778 344500 105 7.0000 91 7.0000 10855214 344600 113 infeasible 7.0000 10856130 344700 109 7.0000 54 7.0000 10858746 344800 107 7.0000 171 7.0000 10862002 344900 106 7.0000 37 7.0000 10865000 345000 98 infeasible 7.0000 10867500 Elapsed b&c time = 9011.74 sec. (tree size = 0.08 MB) 345100 106 infeasible 7.0000 10870162 345200 100 7.0000 74 7.0000 10872178 345300 104 infeasible 7.0000 10873746 345400 105 7.0000 38 7.0000 10876037 345500 105 infeasible 7.0000 10877949 345600 111 7.0000 36 7.0000 10880790 345700 103 7.0000 43 7.0000 10882425 345800 103 7.0000 35 7.0000 10884178 345900 102 infeasible 7.0000 10885284 346000 103 7.0000 54 7.0000 10886626 Elapsed b&c time = 9026.74 sec. (tree size = 0.08 MB) 346100 101 7.0000 86 7.0000 10888002 346200 107 infeasible 7.0000 10890883 346300 109 7.0000 49 7.0000 10893362 346400 107 7.0000 77 7.0000 10896440 346500 109 infeasible 7.0000 10899007 346600 109 7.0000 66 7.0000 10902292 346700 107 7.0000 73 7.0000 10904926 346800 111 infeasible 7.0000 10907249 346900 109 7.0000 35 7.0000 10911998 347000 107 infeasible 7.0000 10915614 Elapsed b&c time = 9052.84 sec. (tree size = 0.08 MB) 347100 117 7.0000 50 7.0000 10921167 347200 115 7.0000 45 7.0000 10925572 347300 115 infeasible 7.0000 10929122 347400 118 7.0000 30 7.0000 10932917 347500 114 7.0000 30 7.0000 10936262 347600 116 infeasible 7.0000 10942545 347700 110 infeasible 7.0000 10945732 347800 110 infeasible 7.0000 10949932 347900 106 7.0000 28 7.0000 10953609 348000 100 infeasible 7.0000 10958665 Elapsed b&c time = 9092.54 sec. (tree size = 0.08 MB) 348100 102 7.0000 29 7.0000 10960215 348200 109 infeasible 7.0000 10964122 348300 98 infeasible 7.0000 10967179 348400 96 7.0000 210 7.0000 10973173 348500 105 infeasible 7.0000 10975744 348600 107 7.0000 88 7.0000 10978055 348700 108 infeasible 7.0000 10982102 348800 102 infeasible 7.0000 10985851 348900 107 infeasible 7.0000 10988923 349000 105 7.0000 93 7.0000 10992285 Elapsed b&c time = 9120.39 sec. (tree size = 0.08 MB) 349100 105 infeasible 7.0000 10995400 349200 102 infeasible 7.0000 10998295 349300 98 7.0000 192 7.0000 11000571 349400 106 7.0000 59 7.0000 11001595 349500 110 infeasible 7.0000 11001953 349600 106 7.0000 49 7.0000 11002471 349700 102 infeasible 7.0000 11003451 349800 100 infeasible 7.0000 11004177 349900 104 infeasible 7.0000 11006482 350000 108 infeasible 7.0000 11010000 Elapsed b&c time = 9134.69 sec. (tree size = 0.08 MB) 350100 100 7.0000 147 7.0000 11011999 350200 104 infeasible 7.0000 11013601 350300 110 7.0000 75 7.0000 11015253 350400 106 infeasible 7.0000 11016954 350500 105 infeasible 7.0000 11018998 350600 101 7.0000 181 7.0000 11020667 350700 107 infeasible 7.0000 11023145 350800 108 7.0000 48 7.0000 11026539 350900 102 7.0000 107 7.0000 11028959 351000 102 7.0000 153 7.0000 11031272 Elapsed b&c time = 9151.21 sec. (tree size = 0.08 MB) 351100 102 7.0000 117 7.0000 11034338 351200 99 infeasible 7.0000 11038578 351300 105 infeasible 7.0000 11042124 351400 109 7.0000 28 7.0000 11043337 351500 107 infeasible 7.0000 11045535 351600 103 infeasible 7.0000 11047001 351700 106 infeasible 7.0000 11048597 351800 102 infeasible 7.0000 11051933 351900 106 infeasible 7.0000 11054172 352000 100 7.0000 78 7.0000 11055776 Elapsed b&c time = 9171.84 sec. (tree size = 0.08 MB) 352100 103 7.0000 79 7.0000 11057590 352200 112 7.0000 39 7.0000 11061378 352300 111 infeasible 7.0000 11063870 352400 109 7.0000 43 7.0000 11066628 352500 105 7.0000 37 7.0000 11068261 352600 105 7.0000 73 7.0000 11069810 352700 107 7.0000 59 7.0000 11071164 352800 97 infeasible 7.0000 11072820 352900 103 7.0000 95 7.0000 11075709 353000 107 infeasible 7.0000 11077494 Elapsed b&c time = 9188.77 sec. (tree size = 0.08 MB) 353100 103 infeasible 7.0000 11079775 353200 101 infeasible 7.0000 11081959 353300 105 infeasible 7.0000 11085845 353400 103 infeasible 7.0000 11088767 353500 108 infeasible 7.0000 11090720 353600 116 7.0000 97 7.0000 11092054 353700 119 infeasible 7.0000 11093506 353800 115 infeasible 7.0000 11094605 353900 121 infeasible 7.0000 11096440 354000 118 7.0000 77 7.0000 11097937 Elapsed b&c time = 9205.18 sec. (tree size = 0.09 MB) 354100 116 7.0000 42 7.0000 11098887 354200 121 7.0000 80 7.0000 11100742 354300 120 infeasible 7.0000 11103418 354400 117 infeasible 7.0000 11105622 354500 114 7.0000 118 7.0000 11107933 354600 114 infeasible 7.0000 11109282 354700 114 7.0000 44 7.0000 11110368 354800 110 7.0000 92 7.0000 11112491 354900 112 7.0000 120 7.0000 11115420 355000 112 7.0000 134 7.0000 11116898 Elapsed b&c time = 9219.67 sec. (tree size = 0.09 MB) 355100 114 7.0000 81 7.0000 11119179 355200 112 infeasible 7.0000 11120940 355300 114 7.0000 111 7.0000 11122385 355400 106 7.0000 209 7.0000 11124278 355500 102 infeasible 7.0000 11129353 355600 104 infeasible 7.0000 11131806 355700 104 infeasible 7.0000 11135611 355800 96 7.0000 211 7.0000 11138108 355900 105 infeasible 7.0000 11140309 356000 106 infeasible 7.0000 11144134 Elapsed b&c time = 9239.95 sec. (tree size = 0.08 MB) 356100 106 7.0000 106 7.0000 11146645 356200 101 infeasible 7.0000 11149541 356300 105 7.0000 137 7.0000 11151830 356400 101 7.0000 117 7.0000 11154262 356500 101 7.0000 70 7.0000 11156068 356600 97 7.0000 131 7.0000 11158725 356700 111 7.0000 48 7.0000 11160425 356800 109 infeasible 7.0000 11161948 356900 111 7.0000 69 7.0000 11164694 357000 109 7.0000 93 7.0000 11167530 Elapsed b&c time = 9256.91 sec. (tree size = 0.09 MB) 357100 108 7.0000 61 7.0000 11169613 357200 102 infeasible 7.0000 11171881 357300 100 7.0000 111 7.0000 11174258 357400 98 7.0000 91 7.0000 11176711 357500 98 infeasible 7.0000 11179723 357600 101 infeasible 7.0000 11183306 357700 97 infeasible 7.0000 11187212 357800 101 infeasible 7.0000 11189934 357900 97 infeasible 7.0000 11192689 358000 97 7.0000 175 7.0000 11195242 Elapsed b&c time = 9278.51 sec. (tree size = 0.08 MB) 358100 93 7.0000 201 7.0000 11198192 358200 100 7.0000 185 7.0000 11201635 358300 98 7.0000 137 7.0000 11203258 358400 102 7.0000 88 7.0000 11206919 358500 101 7.0000 53 7.0000 11210237 358600 99 7.0000 71 7.0000 11213990 358700 103 infeasible 7.0000 11217742 358800 97 7.0000 197 7.0000 11219727 358900 99 7.0000 95 7.0000 11223391 359000 105 infeasible 7.0000 11226144 Elapsed b&c time = 9306.47 sec. (tree size = 0.08 MB) 359100 95 infeasible 7.0000 11228030 359200 101 infeasible 7.0000 11231278 359300 99 7.0000 173 7.0000 11235554 359400 102 infeasible 7.0000 11238500 359500 96 7.0000 157 7.0000 11243089 359600 104 7.0000 92 7.0000 11247387 359700 99 infeasible 7.0000 11251352 359800 109 7.0000 31 7.0000 11255834 359900 103 7.0000 69 7.0000 11256469 360000 101 7.0000 33 7.0000 11258919 Elapsed b&c time = 9337.73 sec. (tree size = 0.08 MB) 360100 97 infeasible 7.0000 11265365 360200 97 infeasible 7.0000 11273325 360300 97 infeasible 7.0000 11276986 360400 97 infeasible 7.0000 11280774 360500 97 infeasible 7.0000 11285563 360600 93 infeasible 7.0000 11291963 360700 93 infeasible 7.0000 11296971 360800 97 7.0000 139 7.0000 11300373 360900 107 infeasible 7.0000 11302589 361000 105 infeasible 7.0000 11308015 Elapsed b&c time = 9384.71 sec. (tree size = 0.08 MB) 361100 97 infeasible 7.0000 11311704 361200 93 7.0000 224 7.0000 11313593 361300 103 7.0000 111 7.0000 11315344 361400 103 infeasible 7.0000 11317298 361500 107 infeasible 7.0000 11321316 361600 109 infeasible 7.0000 11323201 361700 113 7.0000 62 7.0000 11326943 361800 109 7.0000 136 7.0000 11330139 361900 109 infeasible 7.0000 11333133 362000 107 infeasible 7.0000 11336633 Elapsed b&c time = 9409.28 sec. (tree size = 0.08 MB) 362100 110 infeasible 7.0000 11342839 362200 104 infeasible 7.0000 11346952 362300 102 7.0000 228 7.0000 11350810 362400 110 7.0000 170 7.0000 11354165 362500 110 infeasible 7.0000 11356685 362600 104 7.0000 151 7.0000 11359384 362700 102 infeasible 7.0000 11363717 362800 102 7.0000 116 7.0000 11367835 362900 99 infeasible 7.0000 11372608 363000 103 infeasible 7.0000 11376438 Elapsed b&c time = 9443.60 sec. (tree size = 0.08 MB) 363100 99 infeasible 7.0000 11379274 363200 101 infeasible 7.0000 11384240 363300 97 infeasible 7.0000 11388968 363400 99 7.0000 87 7.0000 11391606 363500 103 infeasible 7.0000 11393999 363600 101 infeasible 7.0000 11395855 363700 99 7.0000 135 7.0000 11398578 363800 95 infeasible 7.0000 11401295 363900 99 infeasible 7.0000 11404926 364000 95 infeasible 7.0000 11408378 Elapsed b&c time = 9470.94 sec. (tree size = 0.08 MB) 364100 96 infeasible 7.0000 11411492 364200 96 7.0000 117 7.0000 11415389 364300 93 infeasible 7.0000 11420544 364400 90 infeasible 7.0000 11424420 364500 94 infeasible 7.0000 11427638 364600 96 infeasible 7.0000 11429737 364700 94 7.0000 64 7.0000 11431451 364800 86 infeasible 7.0000 11434468 364900 96 7.0000 57 7.0000 11437932 365000 92 infeasible 7.0000 11445253 Elapsed b&c time = 9505.80 sec. (tree size = 0.07 MB) 365100 90 infeasible 7.0000 11448222 365200 93 infeasible 7.0000 11451349 365300 93 infeasible 7.0000 11454915 365400 95 infeasible 7.0000 11457700 365500 90 7.0000 131 7.0000 11459612 365600 104 infeasible 7.0000 11462236 365700 92 7.0000 129 7.0000 11465549 365800 96 infeasible 7.0000 11467248 365900 93 infeasible 7.0000 11468657 366000 89 7.0000 136 7.0000 11471457 Elapsed b&c time = 9526.62 sec. (tree size = 0.07 MB) 366100 95 infeasible 7.0000 11473900 366200 95 infeasible 7.0000 11475804 366300 95 infeasible 7.0000 11477254 366400 89 7.0000 185 7.0000 11480318 366500 95 7.0000 52 7.0000 11482285 366600 91 7.0000 53 7.0000 11484153 366700 95 7.0000 50 7.0000 11486637 366800 86 7.0000 153 7.0000 11489250 366900 96 7.0000 40 7.0000 11490898 367000 92 infeasible 7.0000 11492437 Elapsed b&c time = 9542.76 sec. (tree size = 0.07 MB) 367100 97 infeasible 7.0000 11493320 367200 99 infeasible 7.0000 11494556 367300 93 7.0000 125 7.0000 11498421 367400 97 7.0000 14 7.0000 11500276 367500 101 infeasible 7.0000 11501848 367600 93 7.0000 30 7.0000 11504024 367700 91 7.0000 74 7.0000 11506856 367800 97 infeasible 7.0000 11508691 367900 89 infeasible 7.0000 11509957 368000 91 7.0000 43 7.0000 11511790 Elapsed b&c time = 9559.04 sec. (tree size = 0.07 MB) 368100 95 infeasible 7.0000 11513881 368200 93 7.0000 51 7.0000 11514691 368300 97 infeasible 7.0000 11516082 368400 95 infeasible 7.0000 11517031 368500 87 7.0000 151 7.0000 11518937 368600 90 7.0000 103 7.0000 11521182 368700 93 infeasible 7.0000 11523836 368800 89 7.0000 113 7.0000 11524837 368900 97 7.0000 119 7.0000 11527948 369000 93 7.0000 97 7.0000 11531610 Elapsed b&c time = 9575.93 sec. (tree size = 0.07 MB) 369100 90 7.0000 112 7.0000 11534332 369200 88 infeasible 7.0000 11536040 369300 88 7.0000 160 7.0000 11537940 369400 92 7.0000 18 7.0000 11540950 369500 91 7.0000 67 7.0000 11544289 369600 89 7.0000 103 7.0000 11545573 369700 91 infeasible 7.0000 11547301 369800 91 7.0000 36 7.0000 11549327 369900 93 7.0000 66 7.0000 11553547 370000 91 7.0000 20 7.0000 11555833 Elapsed b&c time = 9597.46 sec. (tree size = 0.07 MB) 370100 91 infeasible 7.0000 11558418 370200 91 7.0000 67 7.0000 11562078 370300 91 infeasible 7.0000 11564435 370400 95 infeasible 7.0000 11567948 370500 89 infeasible 7.0000 11570649 370600 96 7.0000 88 7.0000 11572621 370700 92 infeasible 7.0000 11576898 370800 100 7.0000 88 7.0000 11580124 370900 84 7.0000 108 7.0000 11582638 371000 95 infeasible 7.0000 11585066 Elapsed b&c time = 9622.03 sec. (tree size = 0.07 MB) 371100 91 infeasible 7.0000 11588096 371200 87 7.0000 137 7.0000 11591578 371300 101 infeasible 7.0000 11593021 371400 109 infeasible 7.0000 11594743 371500 105 infeasible 7.0000 11595346 371600 101 infeasible 7.0000 11596416 371700 99 infeasible 7.0000 11597333 371800 97 infeasible 7.0000 11600522 371900 103 infeasible 7.0000 11602514 372000 97 7.0000 95 7.0000 11604146 Elapsed b&c time = 9639.81 sec. (tree size = 0.08 MB) 372100 99 infeasible 7.0000 11607250 372200 99 7.0000 92 7.0000 11610830 372300 97 infeasible 7.0000 11613610 372400 101 infeasible 7.0000 11616230 372500 101 infeasible 7.0000 11619036 372600 96 7.0000 73 7.0000 11620211 372700 98 infeasible 7.0000 11623717 372800 104 7.0000 21 7.0000 11626270 372900 104 7.0000 17 7.0000 11627553 373000 102 infeasible 7.0000 11629817 Elapsed b&c time = 9663.63 sec. (tree size = 0.08 MB) 373100 100 7.0000 116 7.0000 11632818 373200 105 7.0000 52 7.0000 11636081 373300 113 infeasible 7.0000 11638397 373400 113 7.0000 17 7.0000 11639568 373500 105 infeasible 7.0000 11641181 373600 99 infeasible 7.0000 11643293 373700 99 infeasible 7.0000 11645262 373800 103 infeasible 7.0000 11647665 373900 103 infeasible 7.0000 11649949 374000 101 infeasible 7.0000 11651673 Elapsed b&c time = 9682.21 sec. (tree size = 0.08 MB) 374100 101 7.0000 24 7.0000 11653600 374200 101 infeasible 7.0000 11655266 374300 98 7.0000 18 7.0000 11657351 374400 98 7.0000 37 7.0000 11659242 374500 95 infeasible 7.0000 11661135 374600 95 infeasible 7.0000 11662352 374700 93 infeasible 7.0000 11664428 374800 99 infeasible 7.0000 11666328 374900 97 7.0000 22 7.0000 11667558 375000 96 infeasible 7.0000 11669989 Elapsed b&c time = 9696.88 sec. (tree size = 0.08 MB) 375100 90 infeasible 7.0000 11671387 375200 96 7.0000 64 7.0000 11672408 375300 94 7.0000 44 7.0000 11673707 375400 92 infeasible 7.0000 11675560 375500 90 7.0000 50 7.0000 11676355 375600 100 infeasible 7.0000 11678793 375700 98 infeasible 7.0000 11680826 375800 94 infeasible 7.0000 11683744 375900 90 7.0000 49 7.0000 11685475 376000 96 infeasible 7.0000 11688370 Elapsed b&c time = 9713.85 sec. (tree size = 0.08 MB) 376100 94 infeasible 7.0000 11690666 376200 96 infeasible 7.0000 11692912 376300 96 infeasible 7.0000 11695664 376400 95 infeasible 7.0000 11697561 376500 103 infeasible 7.0000 11701140 376600 98 infeasible 7.0000 11705072 376700 101 7.0000 58 7.0000 11708824 376800 95 7.0000 72 7.0000 11710553 376900 105 7.0000 20 7.0000 11713551 377000 102 7.0000 65 7.0000 11715808 Elapsed b&c time = 9738.46 sec. (tree size = 0.08 MB) 377100 107 7.0000 24 7.0000 11717726 377200 107 infeasible 7.0000 11720369 377300 103 infeasible 7.0000 11721890 377400 97 7.0000 65 7.0000 11723831 377500 94 infeasible 7.0000 11726260 377600 100 infeasible 7.0000 11729005 377700 94 infeasible 7.0000 11734121 377800 92 7.0000 104 7.0000 11736905 377900 100 7.0000 100 7.0000 11742271 378000 102 7.0000 51 7.0000 11747289 Elapsed b&c time = 9765.49 sec. (tree size = 0.08 MB) 378100 97 7.0000 125 7.0000 11751371 378200 91 infeasible 7.0000 11753844 378300 89 infeasible 7.0000 11754284 378400 89 infeasible 7.0000 11757489 378500 90 infeasible 7.0000 11759127 378600 88 7.0000 65 7.0000 11760066 378700 92 infeasible 7.0000 11763979 378800 94 infeasible 7.0000 11765403 378900 88 infeasible 7.0000 11768500 379000 92 infeasible 7.0000 11770390 Elapsed b&c time = 9785.71 sec. (tree size = 0.07 MB) 379100 90 infeasible 7.0000 11773704 379200 92 7.0000 43 7.0000 11775701 379300 92 7.0000 44 7.0000 11777999 379400 86 infeasible 7.0000 11779902 379500 90 7.0000 105 7.0000 11782646 379600 94 infeasible 7.0000 11786623 379700 94 7.0000 39 7.0000 11789655 379800 88 7.0000 88 7.0000 11794315 379900 100 7.0000 36 7.0000 11797123 380000 104 infeasible 7.0000 11799403 Elapsed b&c time = 9811.32 sec. (tree size = 0.08 MB) 380100 96 infeasible 7.0000 11800965 380200 88 7.0000 107 7.0000 11803240 380300 82 7.0000 175 7.0000 11804246 380400 91 7.0000 87 7.0000 11807314 380500 90 7.0000 92 7.0000 11810554 380600 86 7.0000 127 7.0000 11813289 380700 86 infeasible 7.0000 11815008 380800 80 7.0000 191 7.0000 11821137 380900 94 7.0000 38 7.0000 11822336 381000 88 infeasible 7.0000 11823463 Elapsed b&c time = 9832.69 sec. (tree size = 0.07 MB) 381100 86 infeasible 7.0000 11825290 381200 92 7.0000 98 7.0000 11826808 381300 90 infeasible 7.0000 11830558 381400 94 7.0000 43 7.0000 11834180 381500 93 7.0000 22 7.0000 11837197 381600 91 7.0000 59 7.0000 11839443 381700 93 infeasible 7.0000 11842919 381800 103 7.0000 95 7.0000 11846155 381900 103 infeasible 7.0000 11847558 382000 102 infeasible 7.0000 11850788 Elapsed b&c time = 9852.62 sec. (tree size = 0.08 MB) 382100 100 infeasible 7.0000 11854599 382200 98 infeasible 7.0000 11858277 382300 98 7.0000 81 7.0000 11860922 382400 96 7.0000 107 7.0000 11863080 382500 93 7.0000 41 7.0000 11867084 382600 94 infeasible 7.0000 11869408 382700 91 7.0000 129 7.0000 11872103 382800 83 infeasible 7.0000 11876242 382900 89 7.0000 102 7.0000 11879658 383000 87 7.0000 81 7.0000 11881841 Elapsed b&c time = 9877.80 sec. (tree size = 0.07 MB) 383100 86 7.0000 119 7.0000 11884839 383200 91 infeasible 7.0000 11886590 383300 87 7.0000 106 7.0000 11890447 383400 93 7.0000 34 7.0000 11891995 383500 94 infeasible 7.0000 11892887 383600 88 7.0000 53 7.0000 11894055 383700 92 7.0000 44 7.0000 11895070 383800 98 7.0000 16 7.0000 11896495 383900 92 7.0000 40 7.0000 11897529 384000 90 7.0000 90 7.0000 11899513 Elapsed b&c time = 9892.28 sec. (tree size = 0.07 MB) 384100 96 infeasible 7.0000 11901298 384200 91 7.0000 74 7.0000 11903447 384300 88 7.0000 76 7.0000 11904627 384400 90 7.0000 55 7.0000 11906219 384500 86 infeasible 7.0000 11907636 384600 97 7.0000 41 7.0000 11911288 384700 95 infeasible 7.0000 11913508 384800 89 7.0000 98 7.0000 11915302 384900 81 7.0000 211 7.0000 11917743 385000 89 7.0000 93 7.0000 11924981 Elapsed b&c time = 9915.87 sec. (tree size = 0.07 MB) 385100 87 infeasible 7.0000 11931205 385200 87 7.0000 133 7.0000 11936991 385300 91 7.0000 90 7.0000 11943337 385400 93 7.0000 99 7.0000 11946537 385500 85 7.0000 229 7.0000 11952756 385600 85 7.0000 83 7.0000 11955341 385700 89 infeasible 7.0000 11956968 385800 87 infeasible 7.0000 11958204 385900 81 7.0000 121 7.0000 11959097 386000 85 infeasible 7.0000 11964061 Elapsed b&c time = 9952.38 sec. (tree size = 0.07 MB) 386100 89 7.0000 37 7.0000 11968092 386200 79 7.0000 118 7.0000 11973431 386300 81 infeasible 7.0000 11977280 386400 85 7.0000 111 7.0000 11981791 386500 89 infeasible 7.0000 11985110 386600 93 7.0000 42 7.0000 11988881 386700 93 infeasible 7.0000 11995044 386800 93 infeasible 7.0000 12000959 386900 92 7.0000 78 7.0000 12004556 387000 82 7.0000 77 7.0000 12009221 Elapsed b&c time = 9988.76 sec. (tree size = 0.07 MB) 387100 96 7.0000 25 7.0000 12014366 387200 98 7.0000 34 7.0000 12022022 387300 98 7.0000 150 7.0000 12027424 387400 103 7.0000 52 7.0000 12033463 387500 104 7.0000 68 7.0000 12038757 387600 98 infeasible 7.0000 12043437 387700 103 infeasible 7.0000 12048239 387800 109 infeasible 7.0000 12054576 387900 131 infeasible 7.0000 12061557 388000 142 7.0000 85 7.0000 12068714 Elapsed b&c time = 10058.32 sec. (tree size = 0.11 MB) 388100 142 7.0000 67 7.0000 12073248 388200 137 infeasible 7.0000 12081036 388300 141 infeasible 7.0000 12085563 388400 142 infeasible 7.0000 12092161 388500 134 7.0000 63 7.0000 12097436 388600 128 infeasible 7.0000 12101503 388700 132 infeasible 7.0000 12106225 388800 124 7.0000 117 7.0000 12113656 388900 123 infeasible 7.0000 12121047 389000 114 infeasible 7.0000 12127803 Elapsed b&c time = 10131.07 sec. (tree size = 0.09 MB) 389100 104 7.0000 153 7.0000 12133678 389200 99 7.0000 134 7.0000 12137793 389300 101 7.0000 82 7.0000 12143061 389400 93 infeasible 7.0000 12147633 389500 84 7.0000 156 7.0000 12153674 389600 84 7.0000 153 7.0000 12160275 389700 80 7.0000 75 7.0000 12165019 389800 80 7.0000 157 7.0000 12171404 389900 80 infeasible 7.0000 12176163 390000 83 7.0000 115 7.0000 12178673 Elapsed b&c time = 10200.27 sec. (tree size = 0.07 MB) 390100 85 infeasible 7.0000 12181015 390200 89 infeasible 7.0000 12182414 390300 85 infeasible 7.0000 12185176 390400 83 7.0000 65 7.0000 12187176 390500 83 infeasible 7.0000 12190128 390600 82 7.0000 70 7.0000 12195320 390700 82 7.0000 58 7.0000 12199857 390800 84 infeasible 7.0000 12203814 390900 86 7.0000 46 7.0000 12207712 391000 88 infeasible 7.0000 12209857 Elapsed b&c time = 10229.16 sec. (tree size = 0.07 MB) 391100 86 7.0000 52 7.0000 12211936 391200 84 infeasible 7.0000 12214789 391300 80 7.0000 36 7.0000 12216080 391400 82 7.0000 132 7.0000 12219862 391500 79 7.0000 151 7.0000 12222642 391600 81 7.0000 99 7.0000 12225602 391700 80 infeasible 7.0000 12229350 391800 78 infeasible 7.0000 12233823 391900 82 infeasible 7.0000 12237363 392000 78 infeasible 7.0000 12241100 Elapsed b&c time = 10260.43 sec. (tree size = 0.06 MB) 392100 80 infeasible 7.0000 12245326 392200 74 7.0000 222 7.0000 12247793 392300 76 7.0000 107 7.0000 12251919 392400 75 7.0000 129 7.0000 12255210 392500 75 infeasible 7.0000 12261541 392600 73 infeasible 7.0000 12265072 392700 81 7.0000 127 7.0000 12269314 392800 78 infeasible 7.0000 12274094 392900 74 7.0000 192 7.0000 12280285 393000 76 infeasible 7.0000 12287344 Elapsed b&c time = 10314.69 sec. (tree size = 0.06 MB) 393100 71 infeasible 7.0000 12291232 393200 69 infeasible 7.0000 12294590 393300 77 7.0000 109 7.0000 12299544 393400 77 infeasible 7.0000 12302380 393500 71 7.0000 174 7.0000 12305716 393600 69 7.0000 147 7.0000 12309652 393700 69 7.0000 90 7.0000 12314277 393800 67 7.0000 105 7.0000 12318194 393900 65 7.0000 162 7.0000 12323236 394000 63 infeasible 7.0000 12330359 Elapsed b&c time = 10357.76 sec. (tree size = 0.05 MB) 394100 63 7.0000 155 7.0000 12336389 394200 61 7.0000 139 7.0000 12341535 394300 67 infeasible 7.0000 12345129 394400 65 infeasible 7.0000 12350371 394500 59 infeasible 7.0000 12355084 394600 63 7.0000 89 7.0000 12358880 394700 61 7.0000 145 7.0000 12362421 394800 57 7.0000 165 7.0000 12365778 394900 55 infeasible 7.0000 12371117 395000 53 infeasible 7.0000 12378051 Elapsed b&c time = 10406.69 sec. (tree size = 0.04 MB) 395100 53 7.0000 68 7.0000 12385415 395200 53 7.0000 165 7.0000 12390397 395300 51 infeasible 7.0000 12394533 395400 53 infeasible 7.0000 12399090 395500 53 infeasible 7.0000 12405318 395600 51 7.0000 180 7.0000 12410787 395700 55 7.0000 181 7.0000 12414516 395800 52 7.0000 162 7.0000 12421938 395900 49 infeasible 7.0000 12429485 396000 59 infeasible 7.0000 12433674 Elapsed b&c time = 10474.75 sec. (tree size = 0.05 MB) 396100 58 infeasible 7.0000 12435852 396200 55 7.0000 70 7.0000 12438721 396300 54 infeasible 7.0000 12441560 396400 57 infeasible 7.0000 12443114 396500 61 infeasible 7.0000 12444327 396600 63 7.0000 33 7.0000 12445912 396700 57 infeasible 7.0000 12449923 396800 58 7.0000 71 7.0000 12453539 396900 51 7.0000 58 7.0000 12457415 397000 58 7.0000 63 7.0000 12459297 Elapsed b&c time = 10504.65 sec. (tree size = 0.05 MB) 397100 57 infeasible 7.0000 12460072 397200 57 infeasible 7.0000 12462337 397300 57 infeasible 7.0000 12466991 397400 55 7.0000 107 7.0000 12470152 397500 61 infeasible 7.0000 12473934 397600 55 7.0000 101 7.0000 12476184 397700 65 7.0000 30 7.0000 12479559 397800 63 infeasible 7.0000 12482154 397900 55 infeasible 7.0000 12485346 398000 55 infeasible 7.0000 12487191 Elapsed b&c time = 10543.32 sec. (tree size = 0.04 MB) 398100 57 7.0000 29 7.0000 12490167 398200 55 7.0000 59 7.0000 12493036 398300 57 7.0000 48 7.0000 12497821 398400 58 infeasible 7.0000 12500845 398500 61 infeasible 7.0000 12503785 398600 58 infeasible 7.0000 12507621 398700 60 infeasible 7.0000 12510198 398800 54 infeasible 7.0000 12512533 398900 56 infeasible 7.0000 12514745 399000 54 infeasible 7.0000 12516682 Elapsed b&c time = 10586.74 sec. (tree size = 0.04 MB) 399100 50 infeasible 7.0000 12518281 399200 52 infeasible 7.0000 12521006 399300 54 7.0000 174 7.0000 12522933 399400 58 7.0000 110 7.0000 12524832 399500 56 7.0000 108 7.0000 12526774 399600 58 7.0000 137 7.0000 12529189 399700 55 7.0000 156 7.0000 12531771 399800 55 7.0000 123 7.0000 12534450 399900 63 7.0000 61 7.0000 12537110 400000 51 infeasible 7.0000 12539984 Elapsed b&c time = 10608.36 sec. (tree size = 0.04 MB) 400100 49 infeasible 7.0000 12544214 400200 53 infeasible 7.0000 12548338 400300 47 7.0000 57 7.0000 12554562 400400 49 7.0000 12 7.0000 12557544 400500 51 7.0000 50 7.0000 12561526 400600 53 7.0000 32 7.0000 12565091 400700 56 7.0000 38 7.0000 12568338 400800 50 7.0000 43 7.0000 12571338 400900 54 infeasible 7.0000 12575603 401000 56 7.0000 82 7.0000 12578336 Elapsed b&c time = 10642.81 sec. (tree size = 0.05 MB) 401100 60 infeasible 7.0000 12583599 401200 64 7.0000 20 7.0000 12584643 401300 62 7.0000 68 7.0000 12585140 401400 60 7.0000 85 7.0000 12586183 401500 58 infeasible 7.0000 12586887 401600 56 7.0000 41 7.0000 12588155 401700 62 infeasible 7.0000 12589525 401800 58 7.0000 77 7.0000 12590251 401900 58 7.0000 51 7.0000 12591111 402000 58 7.0000 22 7.0000 12592222 Elapsed b&c time = 10657.67 sec. (tree size = 0.05 MB) 402100 60 7.0000 17 7.0000 12592979 402200 60 7.0000 20 7.0000 12593637 402300 56 7.0000 22 7.0000 12594380 402400 50 7.0000 30 7.0000 12595221 402500 52 7.0000 67 7.0000 12597448 402600 60 infeasible 7.0000 12602379 402700 60 infeasible 7.0000 12604763 402800 58 infeasible 7.0000 12608912 402900 58 7.0000 54 7.0000 12611980 403000 58 7.0000 117 7.0000 12617025 Elapsed b&c time = 10680.72 sec. (tree size = 0.05 MB) 403100 68 infeasible 7.0000 12622538 403200 74 7.0000 123 7.0000 12626105 403300 76 7.0000 72 7.0000 12630175 403400 80 infeasible 7.0000 12634448 403500 82 7.0000 69 7.0000 12638618 403600 80 7.0000 134 7.0000 12645691 403700 78 7.0000 45 7.0000 12649923 403800 78 infeasible 7.0000 12655085 403900 82 infeasible 7.0000 12659178 404000 78 infeasible 7.0000 12662868 Elapsed b&c time = 10719.81 sec. (tree size = 0.06 MB) 404100 80 7.0000 56 7.0000 12666922 404200 80 infeasible 7.0000 12672155 404300 80 infeasible 7.0000 12675967 404400 68 7.0000 117 7.0000 12681031 404500 70 7.0000 102 7.0000 12685889 404600 62 infeasible 7.0000 12689378 404700 64 7.0000 89 7.0000 12692179 404800 52 7.0000 175 7.0000 12694099 404900 52 7.0000 132 7.0000 12700353 405000 56 7.0000 31 7.0000 12703970 Elapsed b&c time = 10754.74 sec. (tree size = 0.04 MB) 405100 54 7.0000 49 7.0000 12708325 405200 48 infeasible 7.0000 12712075 405300 50 7.0000 114 7.0000 12715063 405400 60 infeasible 7.0000 12717372 405500 56 infeasible 7.0000 12718939 405600 49 7.0000 83 7.0000 12720756 405700 51 7.0000 35 7.0000 12723019 405800 51 7.0000 119 7.0000 12725754 405900 57 infeasible 7.0000 12729428 406000 59 infeasible 7.0000 12732727 Elapsed b&c time = 10783.12 sec. (tree size = 0.05 MB) 406100 47 7.0000 206 7.0000 12737611 406200 63 infeasible 7.0000 12740084 406300 57 infeasible 7.0000 12741033 406400 57 infeasible 7.0000 12743663 406500 55 infeasible 7.0000 12745305 406600 57 infeasible 7.0000 12746022 406700 57 infeasible 7.0000 12747653 406800 53 infeasible 7.0000 12751053 406900 57 7.0000 72 7.0000 12755032 407000 59 infeasible 7.0000 12759173 Elapsed b&c time = 10808.51 sec. (tree size = 0.05 MB) 407100 53 infeasible 7.0000 12762491 407200 55 7.0000 116 7.0000 12765012 407300 55 7.0000 75 7.0000 12765452 407400 53 7.0000 70 7.0000 12765820 407500 51 7.0000 94 7.0000 12766597 407600 49 infeasible 7.0000 12768920 407700 51 infeasible 7.0000 12771555 (cplex) GUB cover cuts applied: 25 Clique cuts applied: 16 Cover cuts applied: 298 Gomory fractional cuts applied: 5 Times (seconds): Input = 0.06 Solve = 10735.8 Output = 0 CPLEX 8.1.0: aborted, no integer solution. 12773687 MIP simplex iterations 407779 branch-and-bound nodes; no basis. The minimum number of monitor units (shapes) is 7 Monitor Unit 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 zero rows: 0, 0, 0, 0, 0, 0, 0, Monitor Unit 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 zero rows: 0, 0, 0, 0, 0, 0, 0, Monitor Unit 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 zero rows: 0, 0, 0, 0, 0, 0, 0, Monitor Unit 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 zero rows: 0, 0, 0, 0, 0, 0, 0, Monitor Unit 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 zero rows: 0, 0, 0, 0, 0, 0, 0, Monitor Unit 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 zero rows: 0, 0, 0, 0, 0, 0, 0, Monitor Unit 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 zero rows: 0, 0, 0, 0, 0, 0, 0,