0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 548 #constraints 166
0.00/0.00	c bounds - >= 0 @ 0.002143
0.00/0.00	c rational objective 3108.29
0.09/0.13	c bounds 36555 >= 0 @ 0.006319
0.09/0.13	c bounds 36555 >= 370 @ 0.006467
0.09/0.13	c bounds 36555 >= 643 @ 0.006831
0.09/0.13	c bounds 36555 >= 901 @ 0.007346
0.09/0.13	c bounds 36555 >= 1090 @ 0.007815
0.09/0.13	c bounds 36555 >= 1213 @ 0.00822
0.09/0.13	c bounds 36555 >= 1269 @ 0.008244
0.09/0.13	c bounds 36555 >= 1331 @ 0.008653
0.09/0.13	c bounds 36555 >= 1377 @ 0.009317
0.09/0.13	c bounds 36555 >= 1419 @ 0.009912
0.09/0.13	c bounds 36555 >= 1454 @ 0.010633
0.09/0.13	c bounds 36555 >= 1484 @ 0.011118
0.09/0.13	c bounds 36555 >= 1511 @ 0.011722
0.09/0.13	c bounds 36555 >= 1533 @ 0.012311
0.09/0.13	c bounds 36555 >= 1549 @ 0.01294
0.09/0.13	c bounds 36537 >= 1549 @ 0.013211
0.09/0.13	c bounds 36537 >= 1558 @ 0.013437
0.09/0.13	c bounds 36537 >= 1565 @ 0.01411
0.09/0.13	c bounds 36518 >= 1565 @ 0.015115
0.09/0.13	c bounds 36518 >= 1570 @ 0.015846
0.09/0.13	c bounds 36518 >= 1574 @ 0.016198
0.09/0.13	c bounds 36518 >= 1576 @ 0.016361
0.09/0.13	c bounds 36518 >= 1578 @ 0.017047
0.09/0.13	c bounds 36282 >= 1578 @ 0.017775
0.09/0.13	c bounds 36282 >= 1579 @ 0.018536
0.09/0.13	c bounds 36282 >= 1580 @ 0.01929
0.09/0.13	c bounds 36270 >= 1580 @ 0.019879
0.09/0.13	c bounds 36270 >= 1581 @ 0.020179
0.09/0.13	c bounds 36212 >= 1581 @ 0.023129
0.09/0.13	c bounds 36212 >= 1582 @ 0.023899
0.09/0.13	c bounds 36212 >= 1583 @ 0.024424
0.09/0.13	c bounds 36183 >= 1583 @ 0.025101
0.09/0.13	c bounds 36183 >= 1584 @ 0.025945
0.09/0.13	c bounds 36065 >= 1584 @ 0.026177
0.09/0.13	c bounds 36065 >= 1585 @ 0.02619
0.09/0.13	c bounds 35969 >= 1585 @ 0.026901
0.09/0.13	c bounds 35969 >= 1586 @ 0.027666
0.09/0.13	c bounds 35944 >= 1586 @ 0.028283
0.09/0.13	c bounds 35850 >= 1586 @ 0.02913
0.09/0.13	c bounds 35850 >= 1598 @ 0.029333
0.09/0.13	c bounds 35691 >= 1598 @ 0.030064
0.09/0.13	c bounds 35691 >= 1606 @ 0.030125
0.09/0.13	c bounds 35691 >= 1607 @ 0.030618
0.09/0.13	c bounds 35639 >= 1607 @ 0.031203
0.09/0.13	c bounds 35639 >= 1609 @ 0.03194
0.09/0.13	c bounds 35623 >= 1609 @ 0.032113
0.09/0.13	c bounds 35623 >= 1610 @ 0.032446
0.09/0.13	c bounds 35623 >= 1611 @ 0.033173
0.09/0.13	c bounds 35528 >= 1611 @ 0.034108
0.09/0.13	c bounds 35528 >= 1612 @ 0.034717
0.09/0.13	c bounds 35521 >= 1612 @ 0.035097
0.09/0.13	c bounds 35521 >= 1614 @ 0.035701
0.09/0.13	c bounds 35521 >= 1616 @ 0.036218
0.09/0.13	c bounds 35445 >= 1616 @ 0.036951
0.09/0.13	c bounds 35445 >= 1617 @ 0.037089
0.09/0.13	c bounds 35426 >= 1617 @ 0.037674
0.09/0.13	c bounds 35426 >= 1618 @ 0.038897
0.09/0.13	c bounds 35406 >= 1618 @ 0.039628
0.09/0.13	c bounds 35406 >= 1619 @ 0.041726
0.09/0.13	c bounds 35328 >= 1619 @ 0.043068
0.09/0.13	c bounds 35328 >= 1625 @ 0.044553
0.09/0.13	c bounds 35307 >= 1625 @ 0.045081
0.09/0.13	c bounds 35285 >= 1625 @ 0.045541
0.09/0.13	c bounds 35285 >= 1629 @ 0.046283
0.09/0.13	c bounds 35285 >= 1631 @ 0.047217
0.09/0.13	c bounds 35274 >= 1631 @ 0.047924
0.09/0.13	c bounds 35274 >= 1632 @ 0.048069
0.09/0.13	c bounds 34867 >= 1632 @ 0.048433
0.09/0.13	c bounds 34867 >= 1633 @ 0.049757
0.09/0.13	c bounds 34867 >= 1634 @ 0.050215
0.09/0.13	c bounds 34802 >= 1634 @ 0.052013
0.09/0.13	c bounds 34802 >= 1637 @ 0.052887
0.09/0.13	c bounds 34802 >= 1639 @ 0.053044
0.09/0.13	c bounds 34802 >= 1640 @ 0.053209
0.09/0.13	c bounds 34802 >= 1641 @ 0.054227
0.09/0.13	c bounds 34718 >= 1641 @ 0.054998
0.09/0.13	c bounds 34718 >= 1642 @ 0.056285
0.09/0.13	c bounds 34688 >= 1642 @ 0.057548
0.09/0.13	c bounds 34688 >= 1643 @ 0.058687
0.09/0.13	c bounds 34688 >= 1644 @ 0.059725
0.09/0.13	c bounds 34662 >= 1644 @ 0.062141
0.09/0.13	c bounds 34662 >= 1645 @ 0.063468
0.09/0.13	c bounds 34662 >= 1649 @ 0.064071
0.09/0.13	c bounds 34662 >= 1651 @ 0.064664
0.09/0.13	c bounds 34662 >= 1652 @ 0.06501
0.09/0.13	c bounds 34662 >= 1653 @ 0.06501
0.09/0.13	c bounds 34662 >= 1664 @ 0.066444
0.09/0.13	c bounds 34643 >= 1664 @ 0.067236
0.09/0.13	c bounds 34643 >= 1670 @ 0.068153
0.09/0.13	c bounds 34626 >= 1670 @ 0.068908
0.09/0.13	c bounds 34626 >= 1671 @ 0.069964
0.09/0.13	c bounds 34626 >= 1673 @ 0.070034
0.09/0.13	c bounds 34550 >= 1673 @ 0.073051
0.09/0.13	c bounds 34550 >= 1674 @ 0.073943
0.09/0.13	c bounds 34550 >= 1675 @ 0.074921
0.09/0.13	c bounds 34550 >= 1676 @ 0.075036
0.09/0.13	c bounds 34550 >= 1677 @ 0.075869
0.09/0.13	c bounds 34532 >= 1677 @ 0.077842
0.09/0.13	c bounds 34532 >= 1678 @ 0.078454
0.09/0.13	c bounds 34532 >= 1679 @ 0.079526
0.09/0.13	c bounds 34532 >= 1680 @ 0.080013
0.09/0.13	c bounds 34412 >= 1680 @ 0.080112
0.09/0.13	c bounds 34412 >= 1682 @ 0.081188
0.09/0.13	c bounds 34412 >= 1683 @ 0.081907
0.09/0.13	c bounds 34412 >= 1685 @ 0.082004
0.09/0.13	c bounds 34337 >= 1685 @ 0.082769
0.09/0.13	c bounds 34337 >= 1686 @ 0.082997
0.09/0.13	c bounds 34337 >= 1688 @ 0.082997
0.09/0.13	c bounds 34251 >= 1688 @ 0.083732
0.09/0.13	c bounds 34251 >= 1690 @ 0.084354
0.09/0.13	c bounds 34251 >= 1691 @ 0.085026
0.09/0.13	c bounds 34251 >= 1692 @ 0.085973
0.09/0.13	c bounds 34010 >= 1692 @ 0.085973
0.09/0.13	c bounds 33801 >= 1692 @ 0.086161
0.09/0.13	c bounds 33801 >= 1693 @ 0.087097
0.09/0.13	c bounds 33732 >= 1693 @ 0.087986
0.09/0.13	c bounds 33732 >= 1697 @ 0.089066
0.09/0.13	c bounds 33732 >= 1701 @ 0.089696
0.09/0.13	c bounds 33673 >= 1701 @ 0.090551
0.09/0.13	c bounds 33673 >= 1703 @ 0.090958
0.09/0.13	c bounds 33673 >= 1704 @ 0.091158
0.40/0.41	c bounds 33596 >= 1704 @ 0.092761
0.40/0.41	c bounds 33596 >= 1708 @ 0.092944
0.40/0.41	c bounds 33596 >= 1709 @ 0.092944
0.40/0.41	c bounds 33596 >= 1710 @ 0.092944
0.40/0.41	c bounds 33596 >= 1711 @ 0.093388
0.40/0.41	c bounds 33596 >= 1712 @ 0.094024
0.40/0.41	c bounds 33596 >= 1713 @ 0.094839
0.40/0.41	c bounds 33596 >= 1714 @ 0.094926
0.40/0.41	c bounds 33596 >= 1716 @ 0.095374
0.40/0.41	c bounds 33596 >= 1717 @ 0.096124
0.40/0.41	c bounds 32966 >= 1717 @ 0.09972
0.40/0.41	c bounds 32966 >= 1718 @ 0.100577
0.40/0.41	c bounds 32966 >= 1719 @ 0.100911
0.40/0.41	c bounds 32966 >= 1720 @ 0.101291
0.40/0.41	c bounds 32966 >= 1721 @ 0.102085
0.40/0.41	c bounds 32966 >= 1722 @ 0.103016
0.40/0.41	c bounds 32966 >= 1724 @ 0.103829
0.40/0.41	c bounds 32966 >= 1725 @ 0.103915
0.40/0.41	c bounds 32890 >= 1725 @ 0.104601
0.40/0.41	c bounds 32890 >= 1726 @ 0.104909
0.40/0.41	c bounds 32890 >= 1727 @ 0.105487
0.40/0.41	c bounds 32624 >= 1727 @ 0.108877
0.40/0.41	c bounds 32624 >= 1728 @ 0.112308
0.40/0.41	c bounds 32624 >= 1729 @ 0.11408
0.40/0.41	c bounds 32416 >= 1729 @ 0.119863
0.40/0.41	c bounds 32416 >= 1730 @ 0.122921
0.40/0.41	c bounds 32416 >= 1731 @ 0.124263
0.40/0.41	c bounds 32416 >= 1732 @ 0.12575
0.40/0.41	c bounds 32416 >= 1733 @ 0.12688
0.40/0.41	c bounds 32416 >= 1734 @ 0.12788
0.40/0.41	c bounds 32143 >= 1734 @ 0.130868
0.40/0.41	c bounds 32143 >= 1735 @ 0.13182
0.40/0.41	c bounds 32143 >= 1736 @ 0.132852
0.40/0.41	c bounds 32143 >= 1737 @ 0.134044
0.40/0.41	c bounds 32087 >= 1737 @ 0.13808
0.40/0.41	c bounds 32087 >= 1738 @ 0.14083
0.40/0.41	c bounds 32087 >= 1739 @ 0.142962
0.40/0.41	c bounds 32087 >= 1740 @ 0.143796
0.40/0.41	c bounds 32087 >= 1741 @ 0.144374
0.40/0.41	c bounds 32087 >= 1742 @ 0.145471
0.40/0.41	c bounds 31617 >= 1742 @ 0.150808
0.40/0.41	c bounds 31617 >= 1743 @ 0.151359
0.40/0.41	c bounds 31617 >= 1744 @ 0.152434
0.40/0.41	c bounds 31617 >= 1745 @ 0.153705
0.40/0.41	c bounds 31617 >= 1748 @ 0.15461
0.40/0.41	c bounds 31617 >= 1749 @ 0.155054
0.40/0.41	c bounds 31617 >= 1750 @ 0.155875
0.40/0.41	c bounds 31617 >= 1751 @ 0.15667
0.40/0.41	c bounds 31617 >= 1752 @ 0.158309
0.40/0.41	c bounds 31617 >= 1753 @ 0.159816
0.40/0.41	c bounds 31046 >= 1753 @ 0.165533
0.40/0.41	c bounds 31046 >= 1754 @ 0.166312
0.40/0.41	c bounds 31046 >= 1755 @ 0.166776
0.40/0.41	c bounds 31046 >= 1756 @ 0.167467
0.40/0.41	c bounds 31046 >= 1757 @ 0.167771
0.40/0.41	c bounds 31046 >= 1758 @ 0.169015
0.40/0.41	c bounds 31046 >= 1759 @ 0.169747
0.40/0.41	c bounds 31046 >= 1760 @ 0.170757
0.40/0.41	c bounds 31046 >= 1761 @ 0.171624
0.40/0.41	c bounds 31046 >= 1762 @ 0.172667
0.40/0.41	c bounds 31046 >= 1763 @ 0.173425
0.40/0.41	c bounds 30937 >= 1763 @ 0.18073
0.40/0.41	c bounds 30937 >= 1764 @ 0.184192
0.40/0.41	c bounds 30937 >= 1765 @ 0.185685
0.40/0.41	c bounds 30937 >= 1766 @ 0.187196
0.40/0.41	c bounds 30937 >= 1767 @ 0.189187
0.40/0.41	c bounds 30937 >= 1768 @ 0.191057
0.40/0.41	c bounds 30937 >= 1769 @ 0.192186
0.40/0.41	c bounds 30518 >= 1769 @ 0.195298
0.40/0.41	c bounds 30518 >= 1770 @ 0.199636
0.40/0.41	c bounds 30518 >= 1771 @ 0.200521
0.40/0.41	c bounds 30518 >= 1772 @ 0.201111
0.40/0.41	c bounds 30518 >= 1773 @ 0.202171
0.40/0.41	c bounds 30518 >= 1774 @ 0.203982
0.40/0.41	c bounds 30473 >= 1774 @ 0.213611
0.40/0.41	c bounds 30473 >= 1775 @ 0.217587
0.40/0.41	c bounds 30473 >= 1776 @ 0.217907
0.40/0.41	c bounds 30473 >= 1777 @ 0.218923
0.40/0.41	c bounds 30473 >= 1780 @ 0.219853
0.40/0.41	c bounds 30473 >= 1781 @ 0.220719
0.40/0.41	c bounds 30473 >= 1782 @ 0.22184
0.40/0.41	c bounds 30473 >= 1783 @ 0.222786
0.40/0.41	c bounds 30473 >= 1784 @ 0.224648
0.40/0.41	c bounds 30473 >= 1785 @ 0.225643
0.40/0.41	c bounds 30473 >= 1786 @ 0.228545
0.40/0.41	c bounds 30473 >= 1787 @ 0.23063
0.40/0.41	c bounds 30473 >= 1788 @ 0.233023
0.40/0.41	c bounds 30473 >= 1789 @ 0.235098
0.40/0.41	c bounds 30026 >= 1789 @ 0.242531
0.40/0.41	c bounds 30026 >= 1790 @ 0.249858
0.40/0.41	c bounds 30026 >= 1791 @ 0.250594
0.40/0.41	c bounds 30026 >= 1795 @ 0.251845
0.40/0.41	c bounds 30026 >= 1797 @ 0.25259
0.40/0.41	c bounds 30026 >= 1802 @ 0.253746
0.40/0.41	c bounds 30026 >= 1806 @ 0.254757
0.40/0.41	c bounds 30026 >= 1807 @ 0.255845
0.40/0.41	c bounds 30026 >= 1808 @ 0.257229
0.40/0.41	c bounds 30026 >= 1813 @ 0.259162
0.40/0.41	c bounds 29797 >= 1813 @ 0.274377
0.40/0.41	c bounds 29797 >= 1817 @ 0.275548
0.40/0.41	c bounds 29797 >= 1818 @ 0.277735
0.40/0.41	c bounds 29797 >= 1819 @ 0.278531
0.40/0.41	c bounds 29797 >= 1820 @ 0.279289
0.40/0.41	c bounds 29797 >= 1821 @ 0.280584
0.40/0.41	c bounds 29797 >= 1822 @ 0.281708
0.40/0.41	c bounds 29797 >= 1823 @ 0.282498
0.40/0.41	c bounds 29797 >= 1824 @ 0.283523
0.40/0.41	c bounds 29797 >= 1825 @ 0.283523
0.40/0.41	c bounds 29797 >= 1826 @ 0.283523
0.40/0.41	c bounds 29797 >= 1827 @ 0.284443
0.40/0.41	c bounds 29797 >= 1828 @ 0.285513
0.40/0.41	c bounds 29797 >= 1829 @ 0.286348
0.40/0.41	c bounds 29797 >= 1830 @ 0.286508
0.40/0.41	c bounds 29797 >= 1831 @ 0.286522
0.40/0.41	c bounds 29797 >= 1832 @ 0.287735
0.40/0.41	c bounds 29797 >= 1833 @ 0.290573
0.40/0.41	c bounds 29797 >= 1834 @ 0.292588
0.40/0.41	c bounds 29797 >= 1835 @ 0.294236
0.40/0.41	c bounds 29797 >= 1836 @ 0.294746
0.40/0.41	c bounds 29797 >= 1837 @ 0.296027
0.40/0.41	c bounds 29797 >= 1838 @ 0.296484
0.78/0.86	c bounds 29797 >= 1839 @ 0.297076
0.78/0.86	c bounds 29797 >= 1840 @ 0.298279
0.78/0.86	c bounds 29797 >= 1841 @ 0.298722
0.78/0.86	c bounds 29797 >= 1842 @ 0.299915
0.78/0.86	c bounds 29797 >= 1843 @ 0.301773
0.78/0.86	c bounds 29797 >= 1844 @ 0.303265
0.78/0.86	c bounds 29422 >= 1844 @ 0.320417
0.78/0.86	c bounds 29422 >= 1845 @ 0.326901
0.78/0.86	c bounds 29422 >= 1846 @ 0.328402
0.78/0.86	c bounds 29422 >= 1847 @ 0.3302
0.78/0.86	c bounds 29422 >= 1851 @ 0.330409
0.78/0.86	c bounds 29422 >= 1852 @ 0.332525
0.78/0.86	c bounds 29422 >= 1853 @ 0.334158
0.78/0.86	c bounds 29422 >= 1854 @ 0.335825
0.78/0.86	c bounds 29422 >= 1855 @ 0.338379
0.78/0.86	c bounds 29422 >= 1856 @ 0.340835
0.78/0.86	c bounds 29422 >= 1857 @ 0.341789
0.78/0.86	c bounds 29422 >= 1858 @ 0.343949
0.78/0.86	c bounds 29422 >= 1860 @ 0.34492
0.78/0.86	c bounds 29422 >= 1862 @ 0.346021
0.78/0.86	c bounds 29422 >= 1863 @ 0.346356
0.78/0.86	c bounds 29422 >= 1864 @ 0.346362
0.78/0.86	c bounds 29422 >= 1873 @ 0.346362
0.78/0.86	c bounds 29422 >= 1874 @ 0.34717
0.78/0.86	c bounds 29422 >= 1875 @ 0.348245
0.78/0.86	c bounds 29422 >= 1876 @ 0.349968
0.78/0.86	c bounds 29422 >= 1877 @ 0.350612
0.78/0.86	c bounds 29422 >= 1878 @ 0.351975
0.78/0.86	c bounds 29422 >= 1879 @ 0.352952
0.78/0.86	c bounds 29422 >= 1880 @ 0.353336
0.78/0.86	c bounds 29422 >= 1881 @ 0.354834
0.78/0.86	c bounds 29422 >= 1882 @ 0.355331
0.78/0.86	c bounds 29258 >= 1882 @ 0.364108
0.78/0.86	c bounds 29258 >= 1883 @ 0.365637
0.78/0.86	c bounds 29258 >= 1885 @ 0.366996
0.78/0.86	c bounds 29258 >= 1886 @ 0.368634
0.78/0.86	c bounds 29258 >= 1887 @ 0.370212
0.78/0.86	c bounds 29258 >= 1888 @ 0.372149
0.78/0.86	c bounds 29258 >= 1889 @ 0.374048
0.78/0.86	c bounds 29258 >= 1890 @ 0.37577
0.78/0.86	c bounds 29258 >= 1891 @ 0.376575
0.78/0.86	c bounds 29258 >= 1892 @ 0.379697
0.78/0.86	c bounds 29258 >= 1893 @ 0.382161
0.78/0.86	c bounds 29258 >= 1894 @ 0.383262
0.78/0.86	c bounds 29258 >= 1895 @ 0.384929
0.78/0.86	c bounds 29154 >= 1895 @ 0.397985
0.78/0.86	c bounds 29154 >= 1896 @ 0.399782
0.78/0.86	c bounds 29154 >= 1897 @ 0.402222
0.78/0.86	c bounds 29154 >= 1898 @ 0.403217
0.78/0.86	c bounds 29154 >= 1899 @ 0.403219
0.78/0.86	c bounds 29154 >= 1900 @ 0.404794
0.78/0.86	c bounds 29154 >= 1901 @ 0.406863
0.78/0.86	c bounds 29154 >= 1902 @ 0.408436
0.78/0.86	c bounds 29154 >= 1903 @ 0.410806
0.78/0.86	c bounds 29154 >= 1904 @ 0.412855
0.78/0.86	c bounds 29154 >= 1905 @ 0.413908
0.78/0.86	c bounds 29154 >= 1906 @ 0.414463
0.78/0.86	c bounds 29154 >= 1907 @ 0.415749
0.78/0.86	c bounds 29154 >= 1908 @ 0.417425
0.78/0.86	c bounds 29154 >= 1909 @ 0.419465
0.78/0.86	c bounds 29113 >= 1909 @ 0.430332
0.78/0.86	c bounds 29113 >= 1910 @ 0.431149
0.78/0.86	c bounds 29113 >= 1911 @ 0.431855
0.78/0.86	c bounds 29113 >= 1912 @ 0.433185
0.78/0.86	c bounds 29113 >= 1913 @ 0.434343
0.78/0.86	c bounds 29113 >= 1914 @ 0.435548
0.78/0.86	c bounds 29113 >= 1915 @ 0.436137
0.78/0.86	c #Conflicts:       1000 | #Constraints:       3473
0.78/0.86	c bounds 29113 >= 1916 @ 0.437441
0.78/0.86	c bounds 29113 >= 1917 @ 0.439558
0.78/0.86	c bounds 29113 >= 1918 @ 0.440429
0.78/0.86	c bounds 29113 >= 1919 @ 0.441971
0.78/0.86	c bounds 29113 >= 1920 @ 0.442827
0.78/0.86	c bounds 29113 >= 1921 @ 0.443771
0.78/0.86	c bounds 29113 >= 1922 @ 0.444111
0.78/0.86	c bounds 29113 >= 1923 @ 0.445038
0.78/0.86	c bounds 29113 >= 1924 @ 0.44773
0.78/0.86	c bounds 29113 >= 1925 @ 0.451969
0.78/0.86	c bounds 28566 >= 1925 @ 0.487464
0.78/0.86	c bounds 28566 >= 1926 @ 0.49071
0.78/0.86	c bounds 28566 >= 1927 @ 0.491274
0.78/0.86	c bounds 28566 >= 1928 @ 0.491912
0.78/0.86	c bounds 28566 >= 1929 @ 0.494614
0.78/0.86	c bounds 28566 >= 1930 @ 0.496949
0.78/0.86	c bounds 28566 >= 1931 @ 0.499012
0.78/0.86	c bounds 28566 >= 1932 @ 0.500302
0.78/0.86	c bounds 28566 >= 1933 @ 0.501613
0.78/0.86	c bounds 28566 >= 1934 @ 0.503471
0.78/0.86	c bounds 28566 >= 1935 @ 0.50568
0.78/0.86	c bounds 28566 >= 1936 @ 0.507726
0.78/0.86	c bounds 28566 >= 1937 @ 0.508338
0.78/0.86	c bounds 28566 >= 1938 @ 0.510302
0.78/0.86	c bounds 28566 >= 1939 @ 0.51133
0.78/0.86	c bounds 28566 >= 1940 @ 0.513529
0.78/0.86	c bounds 28566 >= 1941 @ 0.515079
0.78/0.86	c bounds 28566 >= 1942 @ 0.516965
0.78/0.86	c bounds 28566 >= 1943 @ 0.519865
0.78/0.86	c bounds 28566 >= 1944 @ 0.523774
0.78/0.86	c bounds 28566 >= 1945 @ 0.526575
0.78/0.86	c bounds 28566 >= 1946 @ 0.533931
0.78/0.86	c bounds 28566 >= 1947 @ 0.537856
0.78/0.86	c bounds 28566 >= 1948 @ 0.541624
0.78/0.86	c bounds 28566 >= 1949 @ 0.543448
0.78/0.86	c bounds 28566 >= 1950 @ 0.549154
0.78/0.86	c bounds 28566 >= 1951 @ 0.550766
0.78/0.86	c bounds 28566 >= 1952 @ 0.553591
0.78/0.86	c bounds 28473 >= 1952 @ 0.562976
0.78/0.86	c bounds 28473 >= 1953 @ 0.566759
0.78/0.86	c bounds 28473 >= 1954 @ 0.570893
0.78/0.86	c bounds 28473 >= 1955 @ 0.575079
0.78/0.86	c bounds 28473 >= 1956 @ 0.578471
0.78/0.86	c bounds 28473 >= 1957 @ 0.582079
0.78/0.86	c bounds 25873 >= 1957 @ 0.597697
0.78/0.86	c bounds 25873 >= 1958 @ 0.603683
0.78/0.86	c bounds 25873 >= 1959 @ 0.60705
0.78/0.86	c bounds 25873 >= 1960 @ 0.608489
0.78/0.86	c bounds 25873 >= 1961 @ 0.611727
0.78/0.86	c bounds 25873 >= 1962 @ 0.617255
0.78/0.86	c bounds 25873 >= 1963 @ 0.620183
0.78/0.86	c bounds 25873 >= 1964 @ 0.623969
0.78/0.86	c bounds 25873 >= 1965 @ 0.626615
1.29/1.37	c bounds 25815 >= 1965 @ 0.630948
1.29/1.37	c bounds 25815 >= 1966 @ 0.637574
1.29/1.37	c bounds 25815 >= 1967 @ 0.642284
1.29/1.37	c bounds 25649 >= 1967 @ 0.661549
1.29/1.37	c bounds 25649 >= 1968 @ 0.665969
1.29/1.37	c bounds 25649 >= 1969 @ 0.669701
1.29/1.37	c bounds 25649 >= 1970 @ 0.675035
1.29/1.37	c bounds 25649 >= 1971 @ 0.679767
1.29/1.37	c bounds 25649 >= 1972 @ 0.683941
1.29/1.37	c bounds 25649 >= 1973 @ 0.687005
1.29/1.37	c bounds 25649 >= 1974 @ 0.690572
1.29/1.37	c bounds 25649 >= 1975 @ 0.69941
1.29/1.37	c bounds 25649 >= 1976 @ 0.703455
1.29/1.37	c bounds 25649 >= 1977 @ 0.711802
1.29/1.37	c bounds 25640 >= 1977 @ 0.742572
1.29/1.37	c bounds 25640 >= 1978 @ 0.752324
1.29/1.37	c bounds 25640 >= 1979 @ 0.755366
1.29/1.37	c bounds 25640 >= 1980 @ 0.759197
1.29/1.37	c bounds 25640 >= 1981 @ 0.76353
1.29/1.37	c bounds 25640 >= 1982 @ 0.765292
1.29/1.37	c bounds 25640 >= 1983 @ 0.766957
1.29/1.37	c bounds 25640 >= 1984 @ 0.770926
1.29/1.37	c bounds 25640 >= 1985 @ 0.776629
1.29/1.37	c bounds 25640 >= 1986 @ 0.779204
1.29/1.37	c bounds 25640 >= 1987 @ 0.78623
1.29/1.37	c bounds 25640 >= 1988 @ 0.790386
1.29/1.37	c bounds 25640 >= 1989 @ 0.797147
1.29/1.37	c bounds 25640 >= 1990 @ 0.802894
1.29/1.37	c bounds 25638 >= 1990 @ 0.892268
1.29/1.37	c bounds 25638 >= 1991 @ 0.900555
1.29/1.37	c bounds 25638 >= 1992 @ 0.905248
1.29/1.37	c bounds 25638 >= 1993 @ 0.907479
1.29/1.37	c bounds 25638 >= 1994 @ 0.910126
1.29/1.37	c bounds 25638 >= 1995 @ 0.914298
1.29/1.37	c bounds 25638 >= 1996 @ 0.917869
1.29/1.37	c bounds 25638 >= 1997 @ 0.920832
1.29/1.37	c bounds 25638 >= 1998 @ 0.924295
1.29/1.37	c bounds 25638 >= 1999 @ 0.92688
1.29/1.37	c bounds 25638 >= 2000 @ 0.929982
1.29/1.37	c bounds 25638 >= 2001 @ 0.931863
1.29/1.37	c bounds 25638 >= 2002 @ 0.934381
1.29/1.37	c bounds 25638 >= 2003 @ 0.939637
1.29/1.37	c bounds 25638 >= 2004 @ 0.943568
1.29/1.37	c bounds 25638 >= 2005 @ 0.946804
1.29/1.37	c bounds 25638 >= 2006 @ 0.950481
1.29/1.37	c bounds 25638 >= 2007 @ 0.953986
1.29/1.37	c bounds 25638 >= 2008 @ 0.956989
1.29/1.37	c bounds 25638 >= 2009 @ 0.960668
1.29/1.37	c bounds 25638 >= 2010 @ 0.966
1.29/1.37	c bounds 25638 >= 2011 @ 0.968995
1.29/1.37	c bounds 25638 >= 2012 @ 0.973059
1.29/1.37	c bounds 25638 >= 2013 @ 0.978629
1.29/1.37	c bounds 25638 >= 2014 @ 0.982404
1.29/1.37	c bounds 25638 >= 2015 @ 0.986078
1.29/1.37	c bounds 25638 >= 2016 @ 0.99371
1.29/1.37	c bounds 25638 >= 2017 @ 1.00038
1.29/1.37	c bounds 25638 >= 2018 @ 1.00701
1.29/1.37	c bounds 25638 >= 2019 @ 1.00966
1.29/1.37	c bounds 25638 >= 2020 @ 1.01694
1.29/1.37	c bounds 25638 >= 2021 @ 1.02233
1.29/1.37	c #Conflicts:       2000 | #Constraints:       6573
1.29/1.37	c INPROCESSING
1.29/1.37	c GARBAGE COLLECT
1.29/1.37	c rational objective 4568.75
2.28/2.33	c bounds 25638 >= 2022 @ 1.04519
2.28/2.33	c bounds 25638 >= 2023 @ 1.05184
2.28/2.33	c bounds 25638 >= 2024 @ 1.0577
2.28/2.33	c bounds 25638 >= 2025 @ 1.06345
2.28/2.33	c bounds 25638 >= 2026 @ 1.0659
2.28/2.33	c bounds 25638 >= 2027 @ 1.07048
2.28/2.33	c bounds 25638 >= 2028 @ 1.07556
2.28/2.33	c bounds 25638 >= 2029 @ 1.08075
2.28/2.33	c bounds 25638 >= 2030 @ 1.086
2.28/2.33	c bounds 25638 >= 2031 @ 1.09285
2.28/2.33	c bounds 25638 >= 2032 @ 1.09891
2.28/2.33	c bounds 25638 >= 2033 @ 1.10444
2.28/2.33	c bounds 25638 >= 2034 @ 1.11338
2.28/2.33	c bounds 25638 >= 2035 @ 1.11805
2.28/2.33	c bounds 25638 >= 2036 @ 1.1229
2.28/2.33	c bounds 25638 >= 2037 @ 1.1271
2.28/2.33	c bounds 25638 >= 2038 @ 1.13339
2.28/2.33	c bounds 25638 >= 2039 @ 1.14239
2.28/2.33	c bounds 25638 >= 2040 @ 1.14801
2.28/2.33	c bounds 25638 >= 2041 @ 1.1556
2.28/2.33	c bounds 25572 >= 2041 @ 1.16129
2.28/2.33	c bounds 25572 >= 2042 @ 1.17552
2.28/2.33	c bounds 25554 >= 2042 @ 1.17809
2.28/2.33	c bounds 25554 >= 2043 @ 1.18972
2.28/2.33	c bounds 25482 >= 2043 @ 1.19978
2.28/2.33	c bounds 25482 >= 2044 @ 1.20808
2.28/2.33	c bounds 25482 >= 2045 @ 1.21183
2.28/2.33	c bounds 25482 >= 2046 @ 1.2175
2.28/2.33	c bounds 25482 >= 2047 @ 1.2248
2.28/2.33	c bounds 25373 >= 2047 @ 1.25341
2.28/2.33	c bounds 25373 >= 2048 @ 1.26512
2.28/2.33	c bounds 25373 >= 2049 @ 1.27135
2.28/2.33	c bounds 25373 >= 2050 @ 1.27422
2.28/2.33	c bounds 25373 >= 2051 @ 1.2787
2.28/2.33	c bounds 25373 >= 2052 @ 1.28309
2.28/2.33	c bounds 25373 >= 2053 @ 1.28839
2.28/2.33	c bounds 25373 >= 2054 @ 1.29375
2.28/2.33	c bounds 25373 >= 2055 @ 1.29782
2.28/2.33	c bounds 25373 >= 2056 @ 1.29842
2.28/2.33	c bounds 25373 >= 2057 @ 1.30018
2.28/2.33	c bounds 25373 >= 2058 @ 1.30186
2.28/2.33	c bounds 25373 >= 2059 @ 1.30576
2.28/2.33	c bounds 25373 >= 2060 @ 1.3079
2.28/2.33	c bounds 25337 >= 2060 @ 1.311
2.28/2.33	c bounds 25337 >= 2061 @ 1.31291
2.28/2.33	c bounds 25324 >= 2061 @ 1.33144
2.28/2.33	c bounds 25324 >= 2062 @ 1.33465
2.28/2.33	c bounds 25324 >= 2063 @ 1.33767
2.28/2.33	c bounds 25324 >= 2064 @ 1.33883
2.28/2.33	c bounds 25324 >= 2065 @ 1.34087
2.28/2.33	c bounds 25324 >= 2066 @ 1.34592
2.28/2.33	c bounds 25324 >= 2067 @ 1.34882
2.28/2.33	c bounds 25324 >= 2068 @ 1.35152
2.28/2.33	c bounds 25324 >= 2069 @ 1.35566
2.28/2.33	c bounds 25324 >= 2070 @ 1.35974
2.28/2.33	c bounds 25324 >= 2071 @ 1.36174
2.28/2.33	c bounds 25324 >= 2072 @ 1.36699
2.28/2.33	c bounds 25324 >= 2073 @ 1.37017
2.28/2.33	c bounds 25324 >= 2074 @ 1.37355
2.28/2.33	c bounds 25324 >= 2075 @ 1.37786
2.28/2.33	c bounds 25324 >= 2076 @ 1.38066
2.28/2.33	c bounds 25324 >= 2077 @ 1.38549
2.28/2.33	c bounds 25324 >= 2078 @ 1.38879
2.28/2.33	c bounds 25262 >= 2078 @ 1.46362
2.28/2.33	c bounds 25262 >= 2079 @ 1.46796
2.28/2.33	c bounds 25262 >= 2080 @ 1.47189
2.28/2.33	c bounds 25262 >= 2081 @ 1.47718
2.28/2.33	c bounds 25262 >= 2082 @ 1.48237
2.28/2.33	c bounds 25262 >= 2083 @ 1.48544
2.28/2.33	c bounds 25262 >= 2084 @ 1.4911
2.28/2.33	c bounds 25262 >= 2085 @ 1.49491
2.28/2.33	c bounds 25262 >= 2086 @ 1.49864
2.28/2.33	c bounds 25262 >= 2087 @ 1.50632
2.28/2.33	c bounds 25262 >= 2088 @ 1.51338
2.28/2.33	c bounds 25262 >= 2089 @ 1.51967
2.28/2.33	c bounds 25262 >= 2090 @ 1.52299
2.28/2.33	c bounds 25262 >= 2091 @ 1.52851
2.28/2.33	c bounds 25262 >= 2092 @ 1.53423
2.28/2.33	c bounds 25262 >= 2093 @ 1.53613
2.28/2.33	c bounds 25262 >= 2094 @ 1.53858
2.28/2.33	c bounds 25262 >= 2095 @ 1.54075
2.28/2.33	c bounds 25262 >= 2096 @ 1.5422
2.28/2.33	c bounds 25262 >= 2097 @ 1.54868
2.28/2.33	c bounds 25262 >= 2098 @ 1.55102
2.28/2.33	c bounds 25262 >= 2099 @ 1.55354
2.28/2.33	c bounds 25262 >= 2100 @ 1.55526
2.28/2.33	c bounds 25262 >= 2101 @ 1.56255
2.28/2.33	c bounds 25262 >= 2102 @ 1.56623
2.28/2.33	c bounds 25262 >= 2103 @ 1.57131
2.28/2.33	c bounds 25262 >= 2104 @ 1.57735
2.28/2.33	c bounds 25262 >= 2105 @ 1.58348
2.28/2.33	c bounds 25262 >= 2106 @ 1.58839
2.28/2.33	c bounds 25262 >= 2107 @ 1.59198
2.28/2.33	c bounds 25262 >= 2108 @ 1.59853
2.28/2.33	c bounds 25262 >= 2109 @ 1.60315
2.28/2.33	c bounds 25262 >= 2110 @ 1.6076
2.28/2.33	c bounds 25262 >= 2111 @ 1.6139
2.28/2.33	c bounds 25262 >= 2112 @ 1.62096
2.28/2.33	c bounds 25262 >= 2113 @ 1.62828
2.28/2.33	c bounds 25262 >= 2114 @ 1.63301
2.28/2.33	c bounds 25262 >= 2115 @ 1.63913
2.28/2.33	c bounds 25262 >= 2116 @ 1.64594
2.28/2.33	c bounds 25262 >= 2117 @ 1.65172
2.28/2.33	c bounds 25262 >= 2118 @ 1.65812
2.28/2.33	c bounds 25262 >= 2119 @ 1.66376
2.28/2.33	c bounds 25262 >= 2120 @ 1.66886
2.28/2.33	c bounds 25262 >= 2121 @ 1.67445
2.28/2.33	c bounds 25262 >= 2122 @ 1.6795
2.28/2.33	c bounds 25262 >= 2123 @ 1.6849
2.28/2.33	c bounds 25158 >= 2123 @ 1.7243
2.28/2.33	c bounds 25158 >= 2124 @ 1.73244
2.28/2.33	c bounds 25158 >= 2125 @ 1.73777
2.28/2.33	c bounds 25158 >= 2126 @ 1.74262
2.28/2.33	c bounds 25158 >= 2127 @ 1.74781
2.28/2.33	c bounds 25158 >= 2128 @ 1.75452
2.28/2.33	c bounds 25158 >= 2129 @ 1.76013
2.28/2.33	c bounds 25158 >= 2130 @ 1.76526
2.28/2.33	c bounds 25158 >= 2131 @ 1.77044
2.28/2.33	c bounds 25158 >= 2132 @ 1.77573
2.28/2.33	c bounds 25158 >= 2133 @ 1.78317
2.28/2.33	c bounds 25158 >= 2134 @ 1.78978
2.28/2.33	c bounds 25158 >= 2135 @ 1.79801
2.28/2.33	c bounds 25158 >= 2136 @ 1.80462
2.28/2.33	c bounds 25158 >= 2137 @ 1.81069
2.28/2.33	c bounds 25158 >= 2138 @ 1.81679
3.98/4.07	c bounds 25158 >= 2139 @ 1.82395
3.98/4.07	c bounds 25158 >= 2140 @ 1.82962
3.98/4.07	c bounds 25158 >= 2141 @ 1.83811
3.98/4.07	c bounds 25158 >= 2142 @ 1.84316
3.98/4.07	c bounds 25158 >= 2143 @ 1.85045
3.98/4.07	c bounds 25158 >= 2144 @ 1.85901
3.98/4.07	c bounds 25129 >= 2144 @ 1.8704
3.98/4.07	c bounds 25129 >= 2145 @ 1.87995
3.98/4.07	c bounds 25129 >= 2146 @ 1.88558
3.98/4.07	c bounds 25129 >= 2147 @ 1.88928
3.98/4.07	c bounds 25129 >= 2148 @ 1.89537
3.98/4.07	c bounds 25129 >= 2149 @ 1.90242
3.98/4.07	c bounds 25129 >= 2150 @ 1.9099
3.98/4.07	c bounds 25103 >= 2150 @ 1.9137
3.98/4.07	c bounds 25103 >= 2151 @ 1.91979
3.98/4.07	c bounds 25093 >= 2151 @ 1.92304
3.98/4.07	c bounds 25093 >= 2152 @ 1.932
3.98/4.07	c #Conflicts:       3000 | #Constraints:       8319
3.98/4.07	c bounds 25043 >= 2152 @ 2.03672
3.98/4.07	c bounds 25043 >= 2153 @ 2.04729
3.98/4.07	c bounds 25043 >= 2154 @ 2.05294
3.98/4.07	c bounds 25043 >= 2155 @ 2.06142
3.98/4.07	c bounds 25043 >= 2156 @ 2.06762
3.98/4.07	c bounds 25043 >= 2157 @ 2.0717
3.98/4.07	c bounds 25043 >= 2158 @ 2.07719
3.98/4.07	c bounds 25043 >= 2159 @ 2.08233
3.98/4.07	c bounds 25043 >= 2160 @ 2.0877
3.98/4.07	c bounds 25043 >= 2161 @ 2.0944
3.98/4.07	c bounds 25043 >= 2162 @ 2.09987
3.98/4.07	c bounds 25043 >= 2163 @ 2.10671
3.98/4.07	c bounds 25043 >= 2164 @ 2.12438
3.98/4.07	c bounds 25043 >= 2165 @ 2.13194
3.98/4.07	c bounds 25043 >= 2166 @ 2.14442
3.98/4.07	c bounds 25043 >= 2167 @ 2.15312
3.98/4.07	c bounds 25043 >= 2168 @ 2.16443
3.98/4.07	c bounds 25043 >= 2169 @ 2.17414
3.98/4.07	c bounds 25043 >= 2170 @ 2.18665
3.98/4.07	c bounds 25043 >= 2171 @ 2.19537
3.98/4.07	c bounds 25043 >= 2172 @ 2.20414
3.98/4.07	c bounds 25043 >= 2173 @ 2.20973
3.98/4.07	c bounds 25043 >= 2174 @ 2.21836
3.98/4.07	c bounds 25043 >= 2175 @ 2.22907
3.98/4.07	c bounds 25043 >= 2176 @ 2.23537
3.98/4.07	c bounds 25043 >= 2177 @ 2.24509
3.98/4.07	c bounds 25043 >= 2178 @ 2.25484
3.98/4.07	c bounds 25043 >= 2179 @ 2.26728
3.98/4.07	c bounds 25043 >= 2180 @ 2.27911
3.98/4.07	c bounds 25043 >= 2181 @ 2.29276
3.98/4.07	c bounds 25043 >= 2182 @ 2.30766
3.98/4.07	c bounds 25043 >= 2183 @ 2.32079
3.98/4.07	c bounds 25043 >= 2184 @ 2.331
3.98/4.07	c bounds 25043 >= 2185 @ 2.33882
3.98/4.07	c bounds 25043 >= 2186 @ 2.35115
3.98/4.07	c bounds 25010 >= 2186 @ 2.46775
3.98/4.07	c bounds 25010 >= 2187 @ 2.48779
3.98/4.07	c bounds 25010 >= 2188 @ 2.49946
3.98/4.07	c bounds 25010 >= 2192 @ 2.50161
3.98/4.07	c bounds 25010 >= 2193 @ 2.5069
3.98/4.07	c bounds 25010 >= 2195 @ 2.51071
3.98/4.07	c bounds 25010 >= 2196 @ 2.51245
3.98/4.07	c bounds 25010 >= 2197 @ 2.51499
3.98/4.07	c bounds 25010 >= 2198 @ 2.5175
3.98/4.07	c bounds 25010 >= 2199 @ 2.52643
3.98/4.07	c bounds 25010 >= 2200 @ 2.53132
3.98/4.07	c bounds 25010 >= 2201 @ 2.53368
3.98/4.07	c bounds 25010 >= 2202 @ 2.53691
3.98/4.07	c bounds 25010 >= 2203 @ 2.53854
3.98/4.07	c bounds 25010 >= 2204 @ 2.54292
3.98/4.07	c bounds 25010 >= 2205 @ 2.54427
3.98/4.07	c bounds 25010 >= 2206 @ 2.54655
3.98/4.07	c bounds 25010 >= 2207 @ 2.54878
3.98/4.07	c bounds 25010 >= 2208 @ 2.55363
3.98/4.07	c bounds 25010 >= 2209 @ 2.55723
3.98/4.07	c bounds 25010 >= 2210 @ 2.56083
3.98/4.07	c bounds 25010 >= 2211 @ 2.56363
3.98/4.07	c bounds 25010 >= 2212 @ 2.56634
3.98/4.07	c bounds 25010 >= 2213 @ 2.56963
3.98/4.07	c bounds 25010 >= 2214 @ 2.57677
3.98/4.07	c bounds 25010 >= 2215 @ 2.58906
3.98/4.07	c bounds 25010 >= 2216 @ 2.59667
3.98/4.07	c bounds 25010 >= 2217 @ 2.60212
3.98/4.07	c bounds 25010 >= 2218 @ 2.61079
3.98/4.07	c bounds 25010 >= 2219 @ 2.61527
3.98/4.07	c bounds 25010 >= 2220 @ 2.62334
3.98/4.07	c bounds 25010 >= 2221 @ 2.63071
3.98/4.07	c bounds 25010 >= 2222 @ 2.63867
3.98/4.07	c bounds 25010 >= 2223 @ 2.64768
3.98/4.07	c bounds 25010 >= 2224 @ 2.65596
3.98/4.07	c bounds 25010 >= 2225 @ 2.66465
3.98/4.07	c bounds 25010 >= 2226 @ 2.67275
3.98/4.07	c bounds 25010 >= 2227 @ 2.68008
3.98/4.07	c bounds 25010 >= 2228 @ 2.68974
3.98/4.07	c bounds 25010 >= 2229 @ 2.69725
3.98/4.07	c bounds 25010 >= 2230 @ 2.71063
3.98/4.07	c bounds 25010 >= 2231 @ 2.72003
3.98/4.07	c bounds 25010 >= 2232 @ 2.73384
3.98/4.07	c bounds 25010 >= 2233 @ 2.75139
3.98/4.07	c bounds 25010 >= 2234 @ 2.76439
3.98/4.07	c bounds 24984 >= 2234 @ 2.77053
3.98/4.07	c bounds 24975 >= 2234 @ 2.78651
3.98/4.07	c bounds 24975 >= 2235 @ 2.80097
3.98/4.07	c bounds 24975 >= 2236 @ 2.80399
3.98/4.07	c bounds 24975 >= 2237 @ 2.80612
3.98/4.07	c bounds 24975 >= 2238 @ 2.80967
3.98/4.07	c bounds 24975 >= 2239 @ 2.81119
3.98/4.07	c bounds 24975 >= 2240 @ 2.81281
3.98/4.07	c bounds 24975 >= 2241 @ 2.81551
3.98/4.07	c bounds 24975 >= 2242 @ 2.82097
3.98/4.07	c bounds 24975 >= 2243 @ 2.82369
3.98/4.07	c bounds 24925 >= 2243 @ 3.09459
3.98/4.07	c bounds 24925 >= 2244 @ 3.10717
3.98/4.07	c bounds 24925 >= 2245 @ 3.11741
3.98/4.07	c bounds 24925 >= 2246 @ 3.12621
3.98/4.07	c #Conflicts:       4000 | #Constraints:      11167
3.98/4.07	c bounds 24925 >= 2247 @ 3.15095
3.98/4.07	c bounds 24925 >= 2248 @ 3.17205
3.98/4.07	c bounds 24925 >= 2249 @ 3.18952
3.98/4.07	c bounds 24925 >= 2250 @ 3.20284
3.98/4.07	c bounds 24925 >= 2251 @ 3.22076
3.98/4.07	c bounds 24925 >= 2252 @ 3.22977
3.98/4.07	c bounds 24925 >= 2253 @ 3.23668
3.98/4.07	c bounds 24925 >= 2254 @ 3.24494
3.98/4.07	c bounds 24925 >= 2255 @ 3.2528
3.98/4.07	c bounds 24925 >= 2256 @ 3.25899
4.08/4.15	c bounds 24925 >= 2257 @ 3.28137
4.08/4.15	c bounds 24925 >= 2258 @ 3.30151
4.08/4.15	c INPROCESSING
4.08/4.15	c GARBAGE COLLECT
4.08/4.15	c rational objective 5026.56
8.07/8.16	c bounds 24925 >= 2259 @ 3.34298
8.07/8.16	c bounds 24925 >= 2260 @ 3.35851
8.07/8.16	c bounds 24925 >= 2261 @ 3.36831
8.07/8.16	c bounds 24925 >= 2262 @ 3.37756
8.07/8.16	c bounds 24925 >= 2263 @ 3.38799
8.07/8.16	c bounds 24925 >= 2264 @ 3.39854
8.07/8.16	c bounds 24925 >= 2265 @ 3.40885
8.07/8.16	c bounds 24925 >= 2266 @ 3.41931
8.07/8.16	c bounds 24925 >= 2267 @ 3.43685
8.07/8.16	c bounds 24925 >= 2268 @ 3.4481
8.07/8.16	c bounds 24925 >= 2269 @ 3.46254
8.07/8.16	c bounds 24925 >= 2270 @ 3.47697
8.07/8.16	c bounds 24925 >= 2271 @ 3.48663
8.07/8.16	c bounds 24925 >= 2272 @ 3.50137
8.07/8.16	c bounds 24925 >= 2273 @ 3.52759
8.07/8.16	c bounds 24925 >= 2274 @ 3.54626
8.07/8.16	c bounds 24925 >= 2275 @ 3.56794
8.07/8.16	c bounds 24925 >= 2276 @ 3.58636
8.07/8.16	c bounds 24925 >= 2277 @ 3.59847
8.07/8.16	c bounds 24925 >= 2278 @ 3.61287
8.07/8.16	c bounds 24925 >= 2279 @ 3.64002
8.07/8.16	c bounds 24925 >= 2280 @ 3.66798
8.07/8.16	c bounds 24925 >= 2281 @ 3.69528
8.07/8.16	c bounds 24925 >= 2282 @ 3.70738
8.07/8.16	c bounds 24925 >= 2283 @ 3.72573
8.07/8.16	c bounds 24925 >= 2284 @ 3.74179
8.07/8.16	c bounds 24925 >= 2285 @ 3.75296
8.07/8.16	c bounds 24925 >= 2286 @ 3.7755
8.07/8.16	c bounds 24925 >= 2287 @ 3.79308
8.07/8.16	c bounds 24925 >= 2288 @ 3.80994
8.07/8.16	c bounds 24925 >= 2289 @ 3.84107
8.07/8.16	c bounds 24925 >= 2290 @ 3.86179
8.07/8.16	c bounds 24925 >= 2291 @ 3.883
8.07/8.16	c bounds 24925 >= 2292 @ 3.90257
8.07/8.16	c bounds 24925 >= 2293 @ 3.9173
8.07/8.16	c bounds 24925 >= 2294 @ 3.94962
8.07/8.16	c bounds 24925 >= 2295 @ 3.969
8.07/8.16	c bounds 24925 >= 2296 @ 3.98799
8.07/8.16	c bounds 24925 >= 2297 @ 4.01067
8.07/8.16	c bounds 24925 >= 2298 @ 4.02991
8.07/8.16	c bounds 24925 >= 2299 @ 4.04232
8.07/8.16	c bounds 24925 >= 2300 @ 4.07366
8.07/8.16	c bounds 24925 >= 2301 @ 4.11134
8.07/8.16	c bounds 24861 >= 2301 @ 4.24493
8.07/8.16	c bounds 24861 >= 2302 @ 4.30691
8.07/8.16	c bounds 24861 >= 2303 @ 4.35811
8.07/8.16	c bounds 24861 >= 2304 @ 4.37893
8.07/8.16	c bounds 24861 >= 2305 @ 4.40848
8.07/8.16	c bounds 24861 >= 2306 @ 4.43613
8.07/8.16	c #Conflicts:       5000 | #Constraints:      12122
8.07/8.16	c bounds 24861 >= 2307 @ 4.45169
8.07/8.16	c bounds 24861 >= 2308 @ 4.48217
8.07/8.16	c bounds 24861 >= 2309 @ 4.50583
8.07/8.16	c bounds 24861 >= 2310 @ 4.52796
8.07/8.16	c bounds 24861 >= 2311 @ 4.542
8.07/8.16	c bounds 24842 >= 2311 @ 4.55209
8.07/8.16	c bounds 24842 >= 2312 @ 4.58106
8.07/8.16	c bounds 24792 >= 2312 @ 4.61428
8.07/8.16	c bounds 24792 >= 2313 @ 4.64996
8.07/8.16	c bounds 24792 >= 2314 @ 4.66924
8.07/8.16	c bounds 24792 >= 2315 @ 4.69101
8.07/8.16	c bounds 24792 >= 2316 @ 4.72583
8.07/8.16	c bounds 24787 >= 2316 @ 4.73155
8.07/8.16	c bounds 24772 >= 2316 @ 4.73528
8.07/8.16	c bounds 24758 >= 2316 @ 4.74448
8.07/8.16	c bounds 24758 >= 2317 @ 4.77007
8.07/8.16	c bounds 24658 >= 2317 @ 4.92246
8.07/8.16	c bounds 24658 >= 2318 @ 4.94715
8.07/8.16	c bounds 24658 >= 2319 @ 4.96625
8.07/8.16	c bounds 24658 >= 2320 @ 4.99457
8.07/8.16	c bounds 24658 >= 2321 @ 5.04011
8.07/8.16	c bounds 24658 >= 2322 @ 5.07093
8.07/8.16	c bounds 24658 >= 2323 @ 5.13465
8.07/8.16	c bounds 24658 >= 2324 @ 5.18071
8.07/8.16	c bounds 24658 >= 2325 @ 5.2303
8.07/8.16	c bounds 24658 >= 2326 @ 5.28302
8.07/8.16	c bounds 24658 >= 2327 @ 5.31486
8.07/8.16	c bounds 24658 >= 2328 @ 5.35961
8.07/8.16	c bounds 24658 >= 2329 @ 5.39569
8.07/8.16	c bounds 24578 >= 2329 @ 5.46117
8.07/8.16	c bounds 24578 >= 2330 @ 5.49883
8.07/8.16	c bounds 24578 >= 2331 @ 5.52014
8.07/8.16	c bounds 24578 >= 2332 @ 5.5513
8.07/8.16	c bounds 24578 >= 2333 @ 5.58408
8.07/8.16	c #Conflicts:       6000 | #Constraints:      14112
8.07/8.16	c bounds 24538 >= 2333 @ 5.76843
8.07/8.16	c bounds 24538 >= 2334 @ 5.81204
8.07/8.16	c bounds 24538 >= 2335 @ 5.82406
8.07/8.16	c bounds 24538 >= 2336 @ 5.82747
8.07/8.16	c bounds 24538 >= 2337 @ 5.83706
8.07/8.16	c bounds 24538 >= 2338 @ 5.84383
8.07/8.16	c bounds 24538 >= 2339 @ 5.84897
8.07/8.16	c bounds 24538 >= 2340 @ 5.853
8.07/8.16	c bounds 24538 >= 2341 @ 5.85539
8.07/8.16	c bounds 24538 >= 2342 @ 5.85988
8.07/8.16	c bounds 24538 >= 2343 @ 5.86402
8.07/8.16	c bounds 24538 >= 2344 @ 5.86937
8.07/8.16	c bounds 24538 >= 2345 @ 5.87502
8.07/8.16	c bounds 24538 >= 2346 @ 5.89744
8.07/8.16	c bounds 24538 >= 2347 @ 5.90683
8.07/8.16	c bounds 24538 >= 2348 @ 5.93249
8.07/8.16	c bounds 24538 >= 2349 @ 5.96677
8.07/8.16	c bounds 24538 >= 2350 @ 5.99582
8.07/8.16	c bounds 24538 >= 2351 @ 6.01559
8.07/8.16	c bounds 24538 >= 2352 @ 6.04275
8.07/8.16	c bounds 24538 >= 2353 @ 6.07174
8.07/8.16	c bounds 24538 >= 2354 @ 6.08883
8.07/8.16	c bounds 24538 >= 2355 @ 6.13615
8.07/8.16	c bounds 24538 >= 2356 @ 6.17726
8.07/8.16	c bounds 24538 >= 2357 @ 6.21663
8.07/8.16	c bounds 24508 >= 2357 @ 6.23112
8.07/8.16	c bounds 24508 >= 2358 @ 6.2567
8.07/8.16	c bounds 24415 >= 2358 @ 6.64395
8.07/8.16	c bounds 24415 >= 2359 @ 6.69611
8.07/8.16	c bounds 24415 >= 2360 @ 6.73083
8.07/8.16	c bounds 24415 >= 2361 @ 6.76569
8.07/8.16	c INPROCESSING
8.07/8.16	c GARBAGE COLLECT
8.07/8.16	c rational objective 5113.51
13.25/13.31	c bounds 24415 >= 2362 @ 6.83162
13.25/13.31	c bounds 24415 >= 2363 @ 6.85663
13.25/13.31	c bounds 24415 >= 2364 @ 6.88136
13.25/13.31	c bounds 24415 >= 2365 @ 6.90759
13.25/13.31	c bounds 24415 >= 2366 @ 6.96299
13.25/13.31	c bounds 24415 >= 2367 @ 7.003
13.25/13.31	c bounds 24415 >= 2368 @ 7.07462
13.25/13.31	c bounds 24415 >= 2369 @ 7.15464
13.25/13.31	c bounds 24415 >= 2370 @ 7.25019
13.25/13.31	c bounds 24415 >= 2371 @ 7.39417
13.25/13.31	c bounds 24415 >= 2372 @ 7.46274
13.25/13.31	c #Conflicts:       7000 | #Constraints:      14062
13.25/13.31	c bounds 24415 >= 2373 @ 7.57691
13.25/13.31	c bounds 24415 >= 2374 @ 7.69059
13.25/13.31	c bounds 24415 >= 2375 @ 7.74007
13.25/13.31	c bounds 24415 >= 2376 @ 7.81139
13.25/13.31	c bounds 24415 >= 2377 @ 7.86067
13.25/13.31	c bounds 24375 >= 2377 @ 8.08358
13.25/13.31	c bounds 24375 >= 2378 @ 8.21296
13.25/13.31	c bounds 24375 >= 2379 @ 8.32765
13.25/13.31	c bounds 24375 >= 2380 @ 8.42006
13.25/13.31	c bounds 24375 >= 2381 @ 8.47996
13.25/13.31	c bounds 24375 >= 2382 @ 8.58664
13.25/13.31	c bounds 24366 >= 2382 @ 8.59497
13.25/13.31	c bounds 24366 >= 2383 @ 8.72082
13.25/13.31	c #Conflicts:       8000 | #Constraints:      15788
13.25/13.31	c bounds 23843 >= 2383 @ 9.42128
13.25/13.31	c bounds 23843 >= 2384 @ 9.53193
13.25/13.31	c bounds 23843 >= 2385 @ 9.59677
13.25/13.31	c bounds 23843 >= 2386 @ 9.73853
13.25/13.31	c bounds 23843 >= 2387 @ 9.81326
13.25/13.31	c bounds 23843 >= 2388 @ 9.89195
13.25/13.31	c bounds 23843 >= 2389 @ 9.99525
13.25/13.31	c bounds 23843 >= 2390 @ 10.1186
13.25/13.31	c bounds 23843 >= 2391 @ 10.2361
13.25/13.31	c bounds 23843 >= 2392 @ 10.38
13.25/13.31	c bounds 23843 >= 2393 @ 10.5293
13.25/13.31	c bounds 23843 >= 2394 @ 10.6295
13.25/13.31	c bounds 23843 >= 2395 @ 10.7263
13.25/13.31	c bounds 23843 >= 2396 @ 10.852
13.25/13.31	c bounds 23843 >= 2397 @ 11.031
13.25/13.31	c #Conflicts:       9000 | #Constraints:      17760
13.25/13.31	c bounds 23843 >= 2398 @ 11.1887
13.25/13.31	c bounds 23843 >= 2399 @ 11.319
13.25/13.31	c INPROCESSING
13.25/13.31	c GARBAGE COLLECT
13.25/13.31	c rational objective 5268.28
20.63/20.74	c bounds 23843 >= 2400 @ 12.0078
20.63/20.74	c bounds 23843 >= 2401 @ 12.2026
20.63/20.74	c bounds 23843 >= 2402 @ 12.3378
20.63/20.74	c #Conflicts:      10000 | #Constraints:      16735
20.63/20.74	c bounds 23841 >= 2402 @ 13.2032
20.63/20.74	c bounds 23841 >= 2403 @ 13.3128
20.63/20.74	c bounds 23841 >= 2404 @ 13.3566
20.63/20.74	c bounds 23841 >= 2405 @ 13.413
20.63/20.74	c bounds 23841 >= 2406 @ 13.4799
20.63/20.74	c bounds 23841 >= 2407 @ 13.5244
20.63/20.74	c bounds 23841 >= 2408 @ 13.5811
20.63/20.74	c bounds 23841 >= 2409 @ 13.5936
20.63/20.74	c bounds 23841 >= 2410 @ 13.6228
20.63/20.74	c bounds 23841 >= 2411 @ 13.6302
20.63/20.74	c bounds 23841 >= 2412 @ 13.6391
20.63/20.74	c bounds 23841 >= 2414 @ 13.6441
20.63/20.74	c bounds 23841 >= 2415 @ 13.6485
20.63/20.74	c bounds 23841 >= 2416 @ 13.6581
20.63/20.74	c bounds 23841 >= 2417 @ 13.6643
20.63/20.74	c bounds 23841 >= 2418 @ 13.6698
20.63/20.74	c bounds 23841 >= 2419 @ 13.6914
20.63/20.74	c bounds 23841 >= 2420 @ 13.7122
20.63/20.74	c bounds 23841 >= 2421 @ 13.7334
20.63/20.74	c bounds 23841 >= 2422 @ 13.7529
20.63/20.74	c bounds 23841 >= 2423 @ 13.7713
20.63/20.74	c bounds 23841 >= 2424 @ 13.7902
20.63/20.74	c bounds 23841 >= 2425 @ 13.808
20.63/20.74	c bounds 23841 >= 2426 @ 13.8327
20.63/20.74	c bounds 23841 >= 2427 @ 13.8422
20.63/20.74	c bounds 23841 >= 2428 @ 13.8678
20.63/20.74	c bounds 23841 >= 2429 @ 13.8944
20.63/20.74	c bounds 23841 >= 2430 @ 13.9174
20.63/20.74	c bounds 23841 >= 2431 @ 13.9454
20.63/20.74	c bounds 23841 >= 2432 @ 13.9681
20.63/20.74	c bounds 23841 >= 2433 @ 13.9915
20.63/20.74	c bounds 23841 >= 2434 @ 14.0177
20.63/20.74	c bounds 23841 >= 2435 @ 14.0407
20.63/20.74	c bounds 23841 >= 2436 @ 14.0676
20.63/20.74	c bounds 23841 >= 2437 @ 14.0944
20.63/20.74	c bounds 23841 >= 2438 @ 14.1181
20.63/20.74	c bounds 23841 >= 2439 @ 14.1429
20.63/20.74	c bounds 23841 >= 2440 @ 14.1685
20.63/20.74	c bounds 23841 >= 2441 @ 14.1844
20.63/20.74	c bounds 23841 >= 2442 @ 14.1979
20.63/20.74	c bounds 23841 >= 2443 @ 14.2419
20.63/20.74	c bounds 23841 >= 2444 @ 14.2795
20.63/20.74	c bounds 23841 >= 2445 @ 14.3095
20.63/20.74	c bounds 23841 >= 2446 @ 14.325
20.63/20.74	c bounds 23841 >= 2447 @ 14.3559
20.63/20.74	c bounds 23841 >= 2448 @ 14.381
20.63/20.74	c bounds 23841 >= 2449 @ 14.4041
20.63/20.74	c bounds 23841 >= 2450 @ 14.4291
20.63/20.74	c bounds 23841 >= 2451 @ 14.445
20.63/20.74	c bounds 23841 >= 2452 @ 14.4757
20.63/20.74	c bounds 23841 >= 2453 @ 14.5208
20.63/20.74	c bounds 23841 >= 2454 @ 14.5653
20.63/20.74	c bounds 23841 >= 2455 @ 14.5857
20.63/20.74	c bounds 23841 >= 2456 @ 14.6091
20.63/20.74	c bounds 23841 >= 2457 @ 14.9226
20.63/20.74	c bounds 23841 >= 2458 @ 15.2594
20.63/20.74	c bounds 23841 >= 2459 @ 15.4402
20.63/20.74	c bounds 23841 >= 2460 @ 15.7108
20.63/20.74	c #Conflicts:      11000 | #Constraints:      18897
20.63/20.74	c bounds 23841 >= 2461 @ 15.883
20.63/20.74	c bounds 23841 >= 2462 @ 16.1704
20.63/20.74	c bounds 23841 >= 2463 @ 16.4088
20.63/20.74	c bounds 23781 >= 2463 @ 16.4389
20.63/20.74	c bounds 23773 >= 2463 @ 16.6592
20.63/20.74	c bounds 23773 >= 2464 @ 16.9917
20.63/20.74	c bounds 23773 >= 2465 @ 17.2368
20.63/20.74	c bounds 23773 >= 2466 @ 17.4591
20.63/20.74	c #Conflicts:      12000 | #Constraints:      20445
20.63/20.74	c INPROCESSING
20.63/20.74	c GARBAGE COLLECT
20.63/20.74	c rational objective 5305.9
29.21/29.34	c bounds 23773 >= 2467 @ 18.9218
29.21/29.34	c bounds 23773 >= 2468 @ 19.1957
29.21/29.34	c bounds 23773 >= 2469 @ 19.4137
29.21/29.34	c bounds 23773 >= 2470 @ 19.5238
29.21/29.34	c bounds 23773 >= 2471 @ 19.6222
29.21/29.34	c bounds 23773 >= 2472 @ 19.712
29.21/29.34	c bounds 23773 >= 2473 @ 19.789
29.21/29.34	c bounds 23773 >= 2474 @ 19.8447
29.21/29.34	c bounds 23773 >= 2475 @ 19.9235
29.21/29.34	c bounds 23773 >= 2476 @ 20.0415
29.21/29.34	c bounds 23773 >= 2477 @ 20.3043
29.21/29.34	c bounds 23773 >= 2478 @ 20.499
29.21/29.34	c bounds 23773 >= 2479 @ 20.8821
29.21/29.34	c #Conflicts:      13000 | #Constraints:      19581
29.21/29.34	c bounds 23773 >= 2480 @ 21.3747
29.21/29.34	c bounds 23773 >= 2481 @ 21.763
29.21/29.34	c bounds 23773 >= 2482 @ 22.0006
29.21/29.34	c bounds 23773 >= 2483 @ 22.2167
29.21/29.34	c bounds 23773 >= 2484 @ 22.3985
29.21/29.34	c bounds 23773 >= 2485 @ 22.6472
29.21/29.34	c bounds 23773 >= 2486 @ 22.7985
29.21/29.34	c bounds 23773 >= 2487 @ 23.0657
29.21/29.34	c #Conflicts:      14000 | #Constraints:      21244
29.21/29.34	c #Conflicts:      15000 | #Constraints:      22245
29.21/29.34	c INPROCESSING
29.21/29.34	c GARBAGE COLLECT
29.21/29.34	c rational objective 5340.92
49.66/49.86	c bounds 23773 >= 2488 @ 27.1324
49.66/49.86	c bounds 23773 >= 2489 @ 27.455
49.66/49.86	c bounds 23773 >= 2490 @ 27.8049
49.66/49.86	c bounds 23773 >= 2491 @ 27.9317
49.66/49.86	c bounds 23773 >= 2492 @ 28.0028
49.66/49.86	c bounds 23773 >= 2493 @ 28.1399
49.66/49.86	c bounds 23773 >= 2494 @ 28.313
49.66/49.86	c bounds 23773 >= 2495 @ 28.4979
49.66/49.86	c bounds 23773 >= 2496 @ 28.6991
49.66/49.86	c bounds 23773 >= 2497 @ 28.7908
49.66/49.86	c bounds 23773 >= 2498 @ 28.9713
49.66/49.86	c bounds 23773 >= 2499 @ 29.1487
49.66/49.86	c bounds 23773 >= 2500 @ 29.3116
49.66/49.86	c bounds 23773 >= 2501 @ 29.4881
49.66/49.86	c bounds 23773 >= 2502 @ 29.6808
49.66/49.86	c bounds 23773 >= 2503 @ 29.8346
49.66/49.86	c bounds 23773 >= 2504 @ 30.0369
49.66/49.86	c bounds 23773 >= 2505 @ 30.1302
49.66/49.86	c bounds 23773 >= 2506 @ 30.279
49.66/49.86	c bounds 23773 >= 2507 @ 30.8482
49.66/49.86	c bounds 23773 >= 2508 @ 31.2709
49.66/49.86	c bounds 23773 >= 2509 @ 31.4094
49.66/49.86	c #Conflicts:      16000 | #Constraints:      21411
49.66/49.86	c bounds 23773 >= 2510 @ 31.6894
49.66/49.86	c bounds 23773 >= 2511 @ 31.8588
49.66/49.86	c bounds 23773 >= 2512 @ 32.1256
49.66/49.86	c bounds 23773 >= 2513 @ 32.3131
49.66/49.86	c bounds 23773 >= 2514 @ 32.4903
49.66/49.86	c bounds 23773 >= 2515 @ 32.6836
49.66/49.86	c bounds 23773 >= 2516 @ 32.8222
49.66/49.86	c bounds 23773 >= 2517 @ 32.9587
49.66/49.86	c bounds 23773 >= 2518 @ 33.0875
49.66/49.86	c bounds 23773 >= 2519 @ 33.2108
49.66/49.86	c bounds 23773 >= 2520 @ 33.4092
49.66/49.86	c bounds 23773 >= 2521 @ 33.9323
49.66/49.86	c bounds 23773 >= 2522 @ 34.5421
49.66/49.86	c bounds 23773 >= 2523 @ 35.1851
49.66/49.86	c bounds 23773 >= 2524 @ 35.4265
49.66/49.86	c bounds 23773 >= 2525 @ 35.7325
49.66/49.86	c bounds 23773 >= 2526 @ 36.2938
49.66/49.86	c bounds 23773 >= 2527 @ 36.7822
49.66/49.86	c bounds 23773 >= 2528 @ 37.0772
49.66/49.86	c bounds 23773 >= 2529 @ 37.4727
49.66/49.86	c #Conflicts:      17000 | #Constraints:      23415
49.66/49.86	c bounds 23773 >= 2530 @ 37.7742
49.66/49.86	c bounds 23773 >= 2531 @ 38.6572
49.66/49.86	c bounds 23773 >= 2532 @ 39.0917
49.66/49.86	c bounds 23773 >= 2533 @ 39.5289
49.66/49.86	c bounds 23773 >= 2534 @ 39.9537
49.66/49.86	c bounds 23773 >= 2535 @ 40.6581
49.66/49.86	c bounds 23773 >= 2536 @ 41.085
49.66/49.86	c bounds 23773 >= 2537 @ 41.5254
49.66/49.86	c bounds 23773 >= 2538 @ 42.3295
49.66/49.86	c bounds 23773 >= 2539 @ 43.0546
49.66/49.86	c bounds 23773 >= 2540 @ 43.5674
49.66/49.86	c bounds 23773 >= 2541 @ 44.5784
49.66/49.86	c #Conflicts:      18000 | #Constraints:      25309
49.66/49.86	c bounds 23773 >= 2542 @ 44.9732
49.66/49.86	c bounds 23773 >= 2543 @ 45.6589
49.66/49.86	c bounds 23773 >= 2544 @ 46.2245
49.66/49.86	c INPROCESSING
49.66/49.86	c GARBAGE COLLECT
49.66/49.86	c rational objective 5344.78
62.52/62.78	c bounds 23773 >= 2545 @ 46.879
62.52/62.78	c bounds 23773 >= 2546 @ 47.5222
62.52/62.78	c bounds 23773 >= 2547 @ 48.2598
62.52/62.78	c bounds 23773 >= 2548 @ 48.8395
62.52/62.78	c bounds 23773 >= 2549 @ 50.2117
62.52/62.78	c bounds 23773 >= 2550 @ 50.6389
62.52/62.78	c bounds 23773 >= 2551 @ 51.2696
62.52/62.78	c bounds 23773 >= 2552 @ 51.7552
62.52/62.78	c #Conflicts:      19000 | #Constraints:      23900
62.52/62.78	c #Conflicts:      20000 | #Constraints:      24901
62.52/62.78	c #Conflicts:      21000 | #Constraints:      25903
62.52/62.78	c bounds 23762 >= 2552 @ 58.522
62.52/62.78	c INPROCESSING
62.52/62.78	c GARBAGE COLLECT
62.52/62.78	c rational objective 5345.25
98.05/98.38	c bounds 23762 >= 2553 @ 60.7391
98.05/98.38	c bounds 23762 >= 2554 @ 61.6291
98.05/98.38	c bounds 23762 >= 2555 @ 62.1178
98.05/98.38	c #Conflicts:      22000 | #Constraints:      23925
98.05/98.38	c bounds 23762 >= 2556 @ 63.2243
98.05/98.38	c bounds 23762 >= 2557 @ 64.6476
98.05/98.38	c bounds 23762 >= 2558 @ 65.1904
98.05/98.38	c bounds 23762 >= 2559 @ 65.7693
98.05/98.38	c bounds 23762 >= 2560 @ 67.0668
98.05/98.38	c bounds 23762 >= 2561 @ 68.6582
98.05/98.38	c bounds 23762 >= 2562 @ 69.7404
98.05/98.38	c #Conflicts:      23000 | #Constraints:      25436
98.05/98.38	c bounds 23762 >= 2563 @ 70.4072
98.05/98.38	c bounds 23762 >= 2564 @ 71.22
98.05/98.38	c bounds 23762 >= 2565 @ 71.868
98.05/98.38	c bounds 23762 >= 2566 @ 73.3825
98.05/98.38	c bounds 23762 >= 2567 @ 74.4125
98.05/98.38	c bounds 23762 >= 2568 @ 75.107
98.05/98.38	c bounds 23762 >= 2569 @ 75.9391
98.05/98.38	c bounds 23762 >= 2570 @ 77.2109
98.05/98.38	c bounds 23762 >= 2571 @ 78.4372
98.05/98.38	c #Conflicts:      24000 | #Constraints:      27132
98.05/98.38	c bounds 23762 >= 2572 @ 79.6944
98.05/98.38	c bounds 23762 >= 2573 @ 80.2234
98.05/98.38	c bounds 23762 >= 2574 @ 80.8439
98.05/98.38	c bounds 23762 >= 2575 @ 81.5581
98.05/98.38	c bounds 23762 >= 2576 @ 82.5372
98.05/98.38	c bounds 23762 >= 2577 @ 83.2319
98.05/98.38	c bounds 23762 >= 2578 @ 84.234
98.05/98.38	c bounds 23762 >= 2579 @ 85.2644
98.05/98.38	c bounds 23762 >= 2580 @ 86.8684
98.05/98.38	c bounds 23762 >= 2581 @ 87.5827
98.05/98.38	c bounds 23762 >= 2582 @ 88.4842
98.05/98.38	c bounds 23762 >= 2583 @ 89.3455
98.05/98.38	c bounds 23762 >= 2584 @ 90.3504
98.05/98.38	c #Conflicts:      25000 | #Constraints:      28847
98.05/98.38	c bounds 23762 >= 2585 @ 91.5944
98.05/98.38	c bounds 23762 >= 2586 @ 92.5178
98.05/98.38	c bounds 23762 >= 2587 @ 93.3824
98.05/98.38	c bounds 23762 >= 2588 @ 94.0337
98.05/98.38	c INPROCESSING
98.05/98.38	c GARBAGE COLLECT
98.05/98.38	c rational objective 5345.25
149.92/150.36	c bounds 23762 >= 2589 @ 95.66
149.92/150.36	c bounds 23762 >= 2590 @ 96.2714
149.92/150.36	c bounds 23762 >= 2591 @ 97.0925
149.92/150.36	c bounds 23762 >= 2592 @ 99.8441
149.92/150.36	c bounds 23762 >= 2593 @ 101.267
149.92/150.36	c bounds 23762 >= 2594 @ 103.317
149.92/150.36	c #Conflicts:      26000 | #Constraints:      27041
149.92/150.36	c bounds 23762 >= 2595 @ 104.219
149.92/150.36	c bounds 23762 >= 2596 @ 104.841
149.92/150.36	c bounds 23762 >= 2597 @ 105.867
149.92/150.36	c bounds 23762 >= 2598 @ 107.519
149.92/150.36	c bounds 23762 >= 2599 @ 108.548
149.92/150.36	c bounds 23762 >= 2600 @ 110.355
149.92/150.36	c bounds 23762 >= 2601 @ 112.603
149.92/150.36	c bounds 23762 >= 2602 @ 113.471
149.92/150.36	c bounds 23762 >= 2603 @ 115.188
149.92/150.36	c bounds 23762 >= 2604 @ 116.812
149.92/150.36	c #Conflicts:      27000 | #Constraints:      28540
149.92/150.36	c bounds 23762 >= 2605 @ 118.687
149.92/150.36	c bounds 23762 >= 2606 @ 119.451
149.92/150.36	c bounds 23762 >= 2607 @ 120.249
149.92/150.36	c bounds 23762 >= 2608 @ 121.222
149.92/150.36	c bounds 23762 >= 2609 @ 122.675
149.92/150.36	c bounds 23762 >= 2610 @ 123.787
149.92/150.36	c bounds 23762 >= 2611 @ 125.147
149.92/150.36	c bounds 23762 >= 2612 @ 125.695
149.92/150.36	c bounds 23762 >= 2613 @ 127.441
149.92/150.36	c bounds 23762 >= 2614 @ 128.032
149.92/150.36	c bounds 23762 >= 2615 @ 128.885
149.92/150.36	c bounds 23698 >= 2615 @ 129.914
149.92/150.36	c #Conflicts:      28000 | #Constraints:      30035
149.92/150.36	c bounds 23698 >= 2616 @ 131.504
149.92/150.36	c bounds 23698 >= 2617 @ 132.842
149.92/150.36	c bounds 23698 >= 2618 @ 134.096
149.92/150.36	c bounds 23698 >= 2619 @ 134.924
149.92/150.36	c bounds 23698 >= 2620 @ 135.759
149.92/150.36	c bounds 23698 >= 2621 @ 137.379
149.92/150.36	c bounds 23698 >= 2622 @ 138.667
149.92/150.36	c bounds 23698 >= 2623 @ 139.232
149.92/150.36	c bounds 23698 >= 2624 @ 140.486
149.92/150.36	c bounds 23698 >= 2625 @ 141.325
149.92/150.36	c bounds 23698 >= 2626 @ 142.231
149.92/150.36	c bounds 23698 >= 2627 @ 144.905
149.92/150.36	c bounds 23618 >= 2627 @ 144.926
149.92/150.36	c bounds 23598 >= 2627 @ 144.979
149.92/150.36	c #Conflicts:      29000 | #Constraints:      31604
149.92/150.36	c INPROCESSING
149.92/150.36	c GARBAGE COLLECT
149.92/150.36	c rational objective 5345.25
214.27/214.87	c bounds 23598 >= 2628 @ 148.469
214.27/214.87	c bounds 23598 >= 2629 @ 150.132
214.27/214.87	c bounds 23598 >= 2630 @ 152.095
214.27/214.87	c bounds 23598 >= 2631 @ 153.401
214.27/214.87	c bounds 23598 >= 2632 @ 154.85
214.27/214.87	c bounds 23598 >= 2633 @ 156.827
214.27/214.87	c #Conflicts:      30000 | #Constraints:      29219
214.27/214.87	c bounds 23595 >= 2633 @ 159.059
214.27/214.87	c bounds 23595 >= 2634 @ 161.518
214.27/214.87	c bounds 23595 >= 2635 @ 163.33
214.27/214.87	c bounds 23595 >= 2636 @ 164.791
214.27/214.87	c bounds 23595 >= 2637 @ 166.035
214.27/214.87	c bounds 23595 >= 2638 @ 167.78
214.27/214.87	c bounds 23595 >= 2639 @ 168.437
214.27/214.87	c bounds 23595 >= 2640 @ 169.688
214.27/214.87	c #Conflicts:      31000 | #Constraints:      30617
214.27/214.87	c bounds 23595 >= 2641 @ 171.126
214.27/214.87	c bounds 23595 >= 2642 @ 172.73
214.27/214.87	c bounds 23595 >= 2643 @ 173.687
214.27/214.87	c bounds 23595 >= 2644 @ 174.672
214.27/214.87	c bounds 23595 >= 2645 @ 175.784
214.27/214.87	c bounds 23595 >= 2646 @ 176.991
214.27/214.87	c bounds 23595 >= 2647 @ 178.046
214.27/214.87	c bounds 23595 >= 2648 @ 179.274
214.27/214.87	c bounds 23595 >= 2649 @ 180.274
214.27/214.87	c bounds 23595 >= 2650 @ 181.336
214.27/214.87	c bounds 23595 >= 2651 @ 182.006
214.27/214.87	c bounds 23595 >= 2652 @ 183.213
214.27/214.87	c bounds 23595 >= 2653 @ 184.58
214.27/214.87	c bounds 23595 >= 2654 @ 185.73
214.27/214.87	c bounds 23595 >= 2655 @ 186.946
214.27/214.88	c bounds 23595 >= 2656 @ 188.124
214.27/214.88	c bounds 23595 >= 2657 @ 189.771
214.27/214.88	c bounds 23589 >= 2657 @ 189.794
214.27/214.88	c bounds 23589 >= 2658 @ 191.046
214.27/214.88	c bounds 23579 >= 2658 @ 191.135
214.27/214.88	c bounds 23579 >= 2659 @ 193.338
214.27/214.88	c bounds 23180 >= 2659 @ 193.41
214.27/214.88	c bounds 22692 >= 2659 @ 193.446
214.27/214.88	c #Conflicts:      32000 | #Constraints:      32487
214.27/214.88	c bounds 21238 >= 2659 @ 193.963
214.27/214.88	c bounds 21238 >= 2660 @ 195.222
214.27/214.88	c bounds 21238 >= 2661 @ 196.268
214.27/214.88	c bounds 21238 >= 2662 @ 196.939
214.27/214.88	c bounds 21238 >= 2663 @ 199.074
214.27/214.88	c bounds 21238 >= 2664 @ 200.298
214.27/214.88	c bounds 21229 >= 2664 @ 200.949
214.27/214.88	c bounds 21229 >= 2665 @ 202.361
214.27/214.88	c bounds 21229 >= 2666 @ 203.502
214.27/214.88	c bounds 21229 >= 2667 @ 205.192
214.27/214.88	c bounds 21229 >= 2668 @ 206.389
214.27/214.88	c bounds 21229 >= 2669 @ 207.686
214.27/214.88	c #Conflicts:      33000 | #Constraints:      33991
214.27/214.88	c INPROCESSING
214.27/214.88	c GARBAGE COLLECT
214.27/214.88	c rational objective 5348.27
299.07/299.83	c bounds 21229 >= 2670 @ 211.002
299.07/299.83	c bounds 21229 >= 2671 @ 212.097
299.07/299.83	c bounds 21227 >= 2671 @ 213.624
299.07/299.83	c bounds 21227 >= 2672 @ 215.015
299.07/299.83	c bounds 21227 >= 2673 @ 217.817
299.07/299.83	c bounds 21227 >= 2674 @ 218.858
299.07/299.83	c bounds 21227 >= 2675 @ 220.317
299.07/299.83	c bounds 21227 >= 2676 @ 221.99
299.07/299.83	c bounds 21227 >= 2677 @ 223.528
299.07/299.83	c bounds 21227 >= 2678 @ 225.998
299.07/299.83	c #Conflicts:      34000 | #Constraints:      31787
299.07/299.83	c bounds 21227 >= 2679 @ 227.262
299.07/299.83	c bounds 21227 >= 2680 @ 228.303
299.07/299.83	c bounds 21227 >= 2681 @ 228.836
299.07/299.83	c bounds 21227 >= 2682 @ 230.372
299.07/299.83	c bounds 21227 >= 2683 @ 231.699
299.07/299.83	c bounds 21227 >= 2684 @ 232.545
299.07/299.83	c bounds 21227 >= 2685 @ 233.722
299.07/299.83	c #Conflicts:      35000 | #Constraints:      33106
299.07/299.83	c bounds 10227 >= 2685 @ 238.876
299.07/299.83	c bounds 10227 >= 2686 @ 240.89
299.07/299.83	c bounds 10227 >= 2687 @ 242.112
299.07/299.83	c bounds 10227 >= 2688 @ 243.644
299.07/299.83	c bounds 10227 >= 2689 @ 244.41
299.07/299.83	c bounds 10227 >= 2690 @ 245.79
299.07/299.83	c bounds 10227 >= 2691 @ 247.149
299.07/299.83	c bounds 10227 >= 2692 @ 247.678
299.07/299.83	c bounds 10227 >= 2693 @ 248.609
299.07/299.83	c bounds 10227 >= 2694 @ 249.708
299.07/299.83	c bounds 10227 >= 2695 @ 251.826
299.07/299.83	c bounds 10227 >= 2696 @ 252.834
299.07/299.83	c bounds 10227 >= 2697 @ 255.281
299.07/299.83	c bounds 10227 >= 2698 @ 256.661
299.07/299.83	c bounds 10227 >= 2699 @ 257.805
299.07/299.83	c bounds 10227 >= 2700 @ 258.949
299.07/299.83	c #Conflicts:      36000 | #Constraints:      34812
299.07/299.83	c bounds 10227 >= 2701 @ 260.237
299.07/299.83	c bounds 10227 >= 2702 @ 262.163
299.07/299.83	c bounds 10227 >= 2703 @ 263.219
299.07/299.83	c bounds 10227 >= 2704 @ 264.424
299.07/299.83	c bounds 10227 >= 2705 @ 265.986
299.07/299.83	c bounds 10227 >= 2706 @ 267.507
299.07/299.83	c bounds 10227 >= 2707 @ 268.453
299.07/299.83	c bounds 10227 >= 2708 @ 269.353
299.07/299.83	c bounds 10227 >= 2709 @ 270.727
299.07/299.83	c bounds 10227 >= 2710 @ 271.784
299.07/299.83	c bounds 10227 >= 2711 @ 272.565
299.07/299.83	c bounds 10227 >= 2712 @ 273.937
299.07/299.83	c bounds 10227 >= 2713 @ 276.312
299.07/299.83	c bounds 10227 >= 2714 @ 276.93
299.07/299.83	c bounds 10227 >= 2715 @ 278.348
299.07/299.83	c bounds 10227 >= 2716 @ 279.311
299.07/299.83	c bounds 10227 >= 2717 @ 280.317
299.07/299.83	c bounds 10227 >= 2718 @ 281.372
299.07/299.83	c bounds 10227 >= 2719 @ 282.224
299.07/299.83	c bounds 10227 >= 2720 @ 283.754
299.07/299.83	c bounds 10227 >= 2721 @ 285.222
299.07/299.83	c bounds 10227 >= 2722 @ 287.304
299.07/299.83	c #Conflicts:      37000 | #Constraints:      36692
299.07/299.83	c bounds 10227 >= 2723 @ 288.339
299.07/299.83	c bounds 10227 >= 2724 @ 289.19
299.07/299.83	c bounds 10227 >= 2725 @ 290.274
299.07/299.83	c bounds 10227 >= 2726 @ 292.155
299.07/299.83	c INPROCESSING
299.07/299.83	c GARBAGE COLLECT
299.07/299.83	c rational objective 7565.54
363.93/364.88	c bounds 10227 >= 2727 @ 296.741
363.93/364.88	c bounds 10227 >= 2728 @ 297.707
363.93/364.88	c bounds 10227 >= 2729 @ 301.559
363.93/364.88	c bounds 10227 >= 2730 @ 303.104
363.93/364.88	c bounds 10227 >= 2731 @ 306.896
363.93/364.88	c bounds 10227 >= 2732 @ 308.633
363.93/364.88	c #Conflicts:      38000 | #Constraints:      34172
363.93/364.88	c bounds 10216 >= 2732 @ 308.95
363.93/364.88	c bounds 10216 >= 2733 @ 312.126
363.93/364.88	c bounds 10216 >= 2734 @ 313.514
363.93/364.88	c bounds 10216 >= 2735 @ 316.393
363.93/364.88	c bounds 10190 >= 2735 @ 316.417
363.93/364.88	c bounds 10179 >= 2735 @ 316.44
363.93/364.88	c bounds 10176 >= 2735 @ 316.575
363.93/364.88	c bounds 10164 >= 2735 @ 316.904
363.93/364.88	c bounds 10164 >= 2736 @ 319.017
363.93/364.88	c #Conflicts:      39000 | #Constraints:      35335
363.93/364.88	c bounds 10164 >= 2737 @ 320.408
363.93/364.88	c bounds 10164 >= 2738 @ 323.797
363.93/364.88	c bounds 10146 >= 2738 @ 323.819
363.93/364.88	c bounds 10080 >= 2738 @ 323.972
363.93/364.88	c bounds 10080 >= 2739 @ 326.21
363.93/364.88	c #Conflicts:      40000 | #Constraints:      36509
363.93/364.88	c bounds 10076 >= 2739 @ 327.594
363.93/364.88	c bounds 10076 >= 2740 @ 330.37
363.93/364.88	c bounds 10076 >= 2741 @ 332.812
363.93/364.88	c bounds 10076 >= 2742 @ 334.396
363.93/364.88	c bounds 10076 >= 2743 @ 338.553
363.93/364.88	c bounds 10076 >= 2744 @ 340.56
363.93/364.88	c bounds 10076 >= 2745 @ 342.594
363.93/364.88	c bounds 10076 >= 2746 @ 344.07
363.93/364.88	c #Conflicts:      41000 | #Constraints:      37923
363.93/364.88	c bounds 10076 >= 2747 @ 346.101
363.93/364.88	c bounds 10076 >= 2748 @ 348.547
363.93/364.88	c bounds 10076 >= 2749 @ 350.159
363.93/364.88	c bounds 10021 >= 2749 @ 350.234
363.93/364.88	c bounds 10021 >= 2750 @ 352.564
363.93/364.88	c bounds 10015 >= 2750 @ 352.593
363.93/364.88	c bounds 10000 >= 2750 @ 352.625
363.93/364.88	c bounds 9925 >= 2750 @ 352.659
363.93/364.88	c bounds 9883 >= 2750 @ 352.681
363.93/364.88	c bounds 9871 >= 2750 @ 352.893
363.93/364.88	c bounds 9871 >= 2751 @ 357.89
363.93/364.88	c INPROCESSING
363.93/364.88	c GARBAGE COLLECT
363.93/364.88	c rational objective 7565.74
416.30/417.39	c bounds 9871 >= 2752 @ 362.521
416.30/417.39	c bounds 9869 >= 2752 @ 362.56
416.30/417.39	c #Conflicts:      42000 | #Constraints:      35011
416.30/417.39	c bounds 9858 >= 2752 @ 363.309
416.30/417.39	c bounds 9858 >= 2753 @ 365.135
416.30/417.39	c bounds 9858 >= 2754 @ 367.522
416.30/417.39	c bounds 9858 >= 2755 @ 368.69
416.30/417.39	c bounds 9858 >= 2756 @ 370.026
416.30/417.39	c bounds 9858 >= 2757 @ 372.11
416.30/417.39	c #Conflicts:      43000 | #Constraints:      36313
416.30/417.39	c bounds 9854 >= 2757 @ 372.638
416.30/417.39	c bounds 9854 >= 2758 @ 376.495
416.30/417.39	c bounds 9854 >= 2759 @ 378.384
416.30/417.39	c bounds 9854 >= 2760 @ 382.063
416.30/417.39	c bounds 9746 >= 2760 @ 382.138
416.30/417.39	c bounds 9746 >= 2761 @ 384.21
416.30/417.39	c bounds 9350 >= 2761 @ 384.771
416.30/417.39	c #Conflicts:      44000 | #Constraints:      37547
416.30/417.39	c bounds 9350 >= 2762 @ 388.125
416.30/417.39	c bounds 9350 >= 2763 @ 390.016
416.30/417.39	c bounds 9350 >= 2764 @ 391.29
416.30/417.39	c bounds 9350 >= 2765 @ 393.869
416.30/417.39	c bounds 9350 >= 2766 @ 394.93
416.30/417.39	c bounds 9350 >= 2767 @ 396.482
416.30/417.39	c #Conflicts:      45000 | #Constraints:      38823
416.30/417.39	c bounds 9311 >= 2767 @ 402.107
416.30/417.39	c #Conflicts:      46000 | #Constraints:      39830
416.30/417.39	c bounds 9311 >= 2768 @ 404.377
416.30/417.39	c bounds 9311 >= 2769 @ 405.862
416.30/417.39	c bounds 9311 >= 2770 @ 407.031
416.30/417.39	c bounds 9311 >= 2771 @ 409.18
416.30/417.39	c INPROCESSING
416.30/417.39	c GARBAGE COLLECT
416.30/417.39	c rational objective 7571.15
533.23/534.57	c bounds 9311 >= 2772 @ 413.548
533.23/534.57	c bounds 9311 >= 2773 @ 415.13
533.23/534.57	c bounds 9311 >= 2774 @ 416.522
533.23/534.57	c bounds 9311 >= 2775 @ 418.367
533.23/534.57	c bounds 9311 >= 2776 @ 419.423
533.23/534.57	c bounds 9311 >= 2777 @ 421.106
533.23/534.57	c bounds 9311 >= 2778 @ 422.75
533.23/534.57	c bounds 9311 >= 2779 @ 423.784
533.23/534.57	c bounds 9311 >= 2780 @ 425.515
533.23/534.57	c bounds 9311 >= 2781 @ 426.911
533.23/534.57	c bounds 9311 >= 2782 @ 429.821
533.23/534.57	c bounds 9311 >= 2783 @ 431.486
533.23/534.57	c #Conflicts:      47000 | #Constraints:      37217
533.23/534.57	c bounds 9311 >= 2784 @ 433.575
533.23/534.57	c bounds 9311 >= 2785 @ 435.198
533.23/534.57	c bounds 9311 >= 2786 @ 436.823
533.23/534.57	c bounds 9311 >= 2787 @ 437.605
533.23/534.57	c bounds 9311 >= 2788 @ 438.928
533.23/534.57	c bounds 9311 >= 2789 @ 440.217
533.23/534.57	c bounds 9311 >= 2790 @ 441.934
533.23/534.57	c bounds 9311 >= 2791 @ 443.166
533.23/534.57	c bounds 9311 >= 2792 @ 445.304
533.23/534.57	c bounds 9311 >= 2793 @ 446.753
533.23/534.57	c bounds 9311 >= 2794 @ 448.488
533.23/534.57	c bounds 9311 >= 2795 @ 450.037
533.23/534.57	c bounds 9311 >= 2796 @ 451.356
533.23/534.57	c bounds 9311 >= 2797 @ 452.501
533.23/534.57	c bounds 9311 >= 2798 @ 453.96
533.23/534.57	c bounds 9311 >= 2799 @ 456.71
533.23/534.57	c bounds 9311 >= 2800 @ 457.58
533.23/534.57	c bounds 9311 >= 2801 @ 459.999
533.23/534.57	c bounds 9311 >= 2802 @ 463.313
533.23/534.57	c #Conflicts:      48000 | #Constraints:      39018
533.23/534.57	c bounds 9311 >= 2803 @ 464.781
533.23/534.57	c bounds 9311 >= 2804 @ 466.633
533.23/534.57	c bounds 9311 >= 2805 @ 468.574
533.23/534.57	c bounds 9311 >= 2806 @ 470.18
533.23/534.57	c bounds 9311 >= 2807 @ 471.792
533.23/534.57	c bounds 9311 >= 2808 @ 473.138
533.23/534.57	c bounds 9311 >= 2809 @ 474.618
533.23/534.57	c bounds 9311 >= 2810 @ 475.94
533.23/534.57	c bounds 9311 >= 2811 @ 477.277
533.23/534.57	c bounds 9311 >= 2812 @ 478.508
533.23/534.57	c bounds 9311 >= 2813 @ 479.905
533.23/534.57	c bounds 9311 >= 2814 @ 481.413
533.23/534.57	c bounds 9311 >= 2815 @ 482.97
533.23/534.57	c bounds 9311 >= 2816 @ 485.626
533.23/534.57	c bounds 9311 >= 2817 @ 489.244
533.23/534.57	c bounds 9311 >= 2818 @ 490.779
533.23/534.57	c bounds 9311 >= 2819 @ 494.579
533.23/534.57	c bounds 9311 >= 2820 @ 496.701
533.23/534.57	c bounds 9299 >= 2820 @ 496.728
533.23/534.57	c bounds 9281 >= 2820 @ 496.753
533.23/534.57	c #Conflicts:      49000 | #Constraints:      40848
533.23/534.57	c bounds 9278 >= 2820 @ 497.21
533.23/534.57	c bounds 9278 >= 2821 @ 502.514
533.23/534.57	c bounds 9278 >= 2822 @ 504.164
533.23/534.57	c bounds 9273 >= 2822 @ 504.194
533.23/534.57	c bounds 9259 >= 2822 @ 504.218
533.23/534.57	c bounds 9247 >= 2822 @ 504.48
533.23/534.57	c bounds 9247 >= 2823 @ 508.073
533.23/534.57	c bounds 9247 >= 2824 @ 510.852
533.23/534.57	c #Conflicts:      50000 | #Constraints:      42042
533.23/534.57	c bounds 9244 >= 2824 @ 511.353
533.23/534.57	c bounds 9244 >= 2825 @ 514.297
533.23/534.57	c bounds 9244 >= 2826 @ 516.63
533.23/534.57	c bounds 9244 >= 2827 @ 519.282
533.23/534.57	c bounds 9233 >= 2827 @ 519.346
533.23/534.57	c bounds 9233 >= 2828 @ 523.604
533.23/534.57	c bounds 9217 >= 2828 @ 523.664
533.23/534.57	c bounds 9144 >= 2828 @ 524.908
533.23/534.57	c #Conflicts:      51000 | #Constraints:      43344
533.23/534.57	c INPROCESSING
533.23/534.57	c GARBAGE COLLECT
533.23/534.57	c rational objective 7604.23
613.35/614.83	c bounds 9144 >= 2829 @ 531.355
613.35/614.83	c bounds 9144 >= 2830 @ 535.331
613.35/614.83	c bounds 9144 >= 2831 @ 540.812
613.35/614.83	c bounds 9144 >= 2832 @ 547.261
613.35/614.83	c bounds 9143 >= 2832 @ 547.326
613.35/614.83	c #Conflicts:      52000 | #Constraints:      40113
613.35/614.83	c #Conflicts:      53000 | #Constraints:      41116
613.35/614.83	c #Conflicts:      54000 | #Constraints:      42120
613.35/614.83	c bounds 9136 >= 2832 @ 556.362
613.35/614.83	c bounds 9136 >= 2833 @ 560.554
613.35/614.83	c bounds 9136 >= 2834 @ 563.859
613.35/614.83	c #Conflicts:      55000 | #Constraints:      43299
613.35/614.83	c bounds 9136 >= 2835 @ 574.456
613.35/614.83	c bounds 9136 >= 2836 @ 578.883
613.35/614.83	c bounds 9136 >= 2837 @ 583.255
613.35/614.83	c bounds 9136 >= 2838 @ 584.717
613.35/614.83	c bounds 9136 >= 2839 @ 587.439
613.35/614.83	c bounds 9136 >= 2840 @ 591.112
613.35/614.83	c bounds 9136 >= 2841 @ 594.018
613.35/614.83	c bounds 9136 >= 2842 @ 596.447
613.35/614.83	c bounds 9136 >= 2843 @ 600.047
613.35/614.83	c bounds 9136 >= 2844 @ 602.489
613.35/614.83	c bounds 9136 >= 2845 @ 603.743
613.35/614.83	c bounds 9136 >= 2846 @ 605.452
613.35/614.83	c #Conflicts:      56000 | #Constraints:      45060
613.35/614.83	c INPROCESSING
613.35/614.83	c GARBAGE COLLECT
613.35/614.83	c rational objective 7605.81
779.37/781.28	c bounds 9136 >= 2847 @ 610.289
779.37/781.28	c bounds 9136 >= 2848 @ 617.247
779.37/781.28	c bounds 9136 >= 2849 @ 620.428
779.37/781.28	c bounds 9136 >= 2850 @ 625.874
779.37/781.28	c bounds 9136 >= 2851 @ 628.417
779.37/781.28	c bounds 9136 >= 2852 @ 631.428
779.37/781.28	c bounds 9136 >= 2853 @ 633.929
779.37/781.28	c bounds 9136 >= 2854 @ 639.844
779.37/781.28	c bounds 9136 >= 2855 @ 642.545
779.37/781.28	c bounds 9136 >= 2856 @ 646.213
779.37/781.28	c bounds 9136 >= 2857 @ 648.726
779.37/781.28	c #Conflicts:      57000 | #Constraints:      41953
779.37/781.28	c bounds 9136 >= 2858 @ 651.526
779.37/781.28	c bounds 9136 >= 2859 @ 655.148
779.37/781.28	c bounds 9136 >= 2860 @ 657.468
779.37/781.28	c bounds 9136 >= 2861 @ 664.299
779.37/781.28	c bounds 9136 >= 2862 @ 666.55
779.37/781.28	c bounds 9136 >= 2863 @ 672.795
779.37/781.28	c bounds 9136 >= 2864 @ 677.963
779.37/781.28	c bounds 9136 >= 2865 @ 681.406
779.37/781.28	c bounds 9136 >= 2866 @ 685.801
779.37/781.28	c bounds 9136 >= 2867 @ 688.199
779.37/781.28	c bounds 9136 >= 2868 @ 691.234
779.37/781.28	c bounds 9136 >= 2869 @ 693.624
779.37/781.28	c #Conflicts:      58000 | #Constraints:      43632
779.37/781.28	c bounds 9136 >= 2870 @ 698.117
779.37/781.28	c bounds 9136 >= 2871 @ 701.264
779.37/781.28	c bounds 9136 >= 2872 @ 706.052
779.37/781.28	c bounds 9136 >= 2873 @ 708.171
779.37/781.28	c bounds 9136 >= 2874 @ 712.462
779.37/781.28	c bounds 9136 >= 2875 @ 717.018
779.37/781.28	c bounds 9136 >= 2876 @ 725.429
779.37/781.28	c bounds 9136 >= 2877 @ 728.416
779.37/781.28	c bounds 9136 >= 2878 @ 738.522
779.37/781.28	c #Conflicts:      59000 | #Constraints:      45216
779.37/781.28	c bounds 9136 >= 2879 @ 744.661
779.37/781.28	c bounds 9131 >= 2879 @ 744.692
779.37/781.28	c bounds 8857 >= 2879 @ 745.825
779.37/781.28	c bounds 8857 >= 2880 @ 750.121
779.37/781.28	c bounds 8857 >= 2881 @ 755.448
779.37/781.28	c bounds 8857 >= 2882 @ 762.812
779.37/781.28	c #Conflicts:      60000 | #Constraints:      46475
779.37/781.28	c bounds 8844 >= 2882 @ 763.201
779.37/781.28	c bounds 8844 >= 2883 @ 767.688
779.37/781.28	c #Conflicts:      61000 | #Constraints:      47558
779.37/781.28	c bounds 8816 >= 2883 @ 769.461
779.37/781.28	c INPROCESSING
779.37/781.28	c GARBAGE COLLECT
779.37/781.28	c rational objective 7611.03
928.94/931.15	c bounds 8816 >= 2884 @ 778.643
928.94/931.15	c bounds 8816 >= 2885 @ 782.056
928.94/931.15	c bounds 8816 >= 2886 @ 787.014
928.94/931.15	c bounds 8816 >= 2887 @ 793.188
928.94/931.15	c bounds 8816 >= 2888 @ 795.6
928.94/931.15	c bounds 8816 >= 2889 @ 801.299
928.94/931.15	c #Conflicts:      62000 | #Constraints:      43467
928.94/931.15	c bounds 8816 >= 2890 @ 804.503
928.94/931.15	c bounds 8816 >= 2891 @ 806.657
928.94/931.15	c bounds 8816 >= 2892 @ 810.656
928.94/931.15	c bounds 8816 >= 2893 @ 815.526
928.94/931.15	c bounds 8809 >= 2893 @ 816.354
928.94/931.15	c #Conflicts:      63000 | #Constraints:      44674
928.94/931.15	c bounds 8809 >= 2894 @ 819.765
928.94/931.15	c bounds 8809 >= 2895 @ 822.171
928.94/931.15	c bounds 8809 >= 2896 @ 826.208
928.94/931.15	c bounds 8809 >= 2897 @ 829.342
928.94/931.15	c #Conflicts:      64000 | #Constraints:      45960
928.94/931.15	c bounds 8805 >= 2897 @ 831.278
928.94/931.15	c bounds 8805 >= 2898 @ 835.203
928.94/931.15	c bounds 8805 >= 2899 @ 842.091
928.94/931.15	c bounds 8805 >= 2900 @ 845.284
928.94/931.15	c bounds 8805 >= 2901 @ 847.143
928.94/931.15	c bounds 8805 >= 2902 @ 849.26
928.94/931.15	c bounds 8805 >= 2903 @ 850.814
928.94/931.15	c bounds 8805 >= 2904 @ 855.278
928.94/931.15	c bounds 8805 >= 2905 @ 860.585
928.94/931.15	c bounds 8805 >= 2906 @ 862.869
928.94/931.15	c bounds 8805 >= 2907 @ 864.944
928.94/931.15	c bounds 8805 >= 2908 @ 868.376
928.94/931.15	c bounds 8805 >= 2909 @ 869.488
928.94/931.16	c bounds 8805 >= 2910 @ 872.3
928.94/931.16	c bounds 8805 >= 2911 @ 874.054
928.94/931.16	c #Conflicts:      65000 | #Constraints:      47647
928.94/931.16	c bounds 8805 >= 2912 @ 877.595
928.94/931.16	c bounds 8801 >= 2912 @ 878.583
928.94/931.16	c bounds 8801 >= 2913 @ 885.178
928.94/931.16	c bounds 8801 >= 2914 @ 889.048
928.94/931.16	c bounds 8801 >= 2915 @ 891.858
928.94/931.16	c #Conflicts:      66000 | #Constraints:      48882
928.94/931.16	c bounds 8800 >= 2915 @ 894.276
928.94/931.16	c bounds 8800 >= 2916 @ 901.533
928.94/931.16	c bounds 8800 >= 2917 @ 904.826
928.94/931.16	c bounds 8800 >= 2918 @ 907.52
928.94/931.16	c bounds 8800 >= 2919 @ 910.135
928.94/931.16	c bounds 8800 >= 2920 @ 913.227
928.94/931.16	c bounds 8800 >= 2921 @ 916.739
928.94/931.16	c bounds 8800 >= 2922 @ 919.576
928.94/931.16	c INPROCESSING
928.94/931.16	c GARBAGE COLLECT
928.94/931.16	c rational objective 7611.03
1067.51/1070.09	c bounds 8800 >= 2923 @ 922.106
1067.51/1070.09	c bounds 8800 >= 2924 @ 924.976
1067.51/1070.09	c bounds 8800 >= 2925 @ 927.778
1067.51/1070.09	c bounds 8800 >= 2926 @ 929.452
1067.51/1070.09	c bounds 8800 >= 2927 @ 931.262
1067.51/1070.09	c bounds 8800 >= 2928 @ 932.651
1067.51/1070.09	c bounds 8800 >= 2929 @ 934.394
1067.51/1070.09	c bounds 8800 >= 2930 @ 937.469
1067.51/1070.09	c #Conflicts:      67000 | #Constraints:      43158
1067.51/1070.09	c bounds 8796 >= 2930 @ 937.541
1067.51/1070.09	c bounds 8791 >= 2930 @ 937.563
1067.51/1070.09	c #Conflicts:      68000 | #Constraints:      44168
1067.51/1070.09	c bounds 8784 >= 2930 @ 940.908
1067.51/1070.09	c bounds 8784 >= 2931 @ 945.205
1067.51/1070.09	c bounds 8784 >= 2932 @ 948.093
1067.51/1070.09	c bounds 8784 >= 2933 @ 950.28
1067.51/1070.09	c bounds 8784 >= 2934 @ 952.412
1067.51/1070.09	c bounds 8784 >= 2935 @ 956.953
1067.51/1070.09	c bounds 8784 >= 2936 @ 958.914
1067.51/1070.09	c bounds 8784 >= 2937 @ 962.319
1067.51/1070.09	c bounds 8784 >= 2938 @ 964.628
1067.51/1070.09	c bounds 8784 >= 2939 @ 967.36
1067.51/1070.09	c bounds 8784 >= 2940 @ 971.187
1067.51/1070.09	c #Conflicts:      69000 | #Constraints:      45627
1067.51/1070.09	c bounds 8784 >= 2941 @ 975.043
1067.51/1070.09	c bounds 8784 >= 2942 @ 978.894
1067.51/1070.09	c bounds 8784 >= 2943 @ 984.397
1067.51/1070.09	c bounds 8784 >= 2944 @ 989.591
1067.51/1070.09	c bounds 8784 >= 2945 @ 991.787
1067.51/1070.09	c bounds 8775 >= 2945 @ 992.089
1067.51/1070.09	c bounds 8775 >= 2946 @ 997.725
1067.51/1070.09	c bounds 8774 >= 2946 @ 997.781
1067.51/1070.09	c bounds 8774 >= 2947 @ 1001.68
1067.51/1070.09	c #Conflicts:      70000 | #Constraints:      47053
1067.51/1070.09	c bounds 8759 >= 2947 @ 1003.06
1067.51/1070.09	c bounds 8759 >= 2948 @ 1007.05
1067.51/1070.09	c bounds 8759 >= 2949 @ 1009.18
1067.51/1070.09	c bounds 8759 >= 2950 @ 1012.14
1067.51/1070.09	c bounds 8759 >= 2951 @ 1015.95
1067.51/1070.09	c bounds 8759 >= 2952 @ 1018.46
1067.51/1070.09	c bounds 8759 >= 2953 @ 1022.32
1067.51/1070.09	c bounds 8746 >= 2953 @ 1023.04
1067.51/1070.09	c bounds 8746 >= 2954 @ 1027.71
1067.51/1070.09	c #Conflicts:      71000 | #Constraints:      48413
1067.51/1070.09	c bounds 8746 >= 2955 @ 1036.28
1067.51/1070.09	c bounds 8743 >= 2955 @ 1038.58
1067.51/1070.09	c bounds 8743 >= 2956 @ 1043.55
1067.51/1070.09	c #Conflicts:      72000 | #Constraints:      49539
1067.51/1070.09	c bounds 8743 >= 2957 @ 1047.61
1067.51/1070.09	c bounds 8743 >= 2958 @ 1048.86
1067.51/1070.09	c bounds 8743 >= 2959 @ 1050.11
1067.51/1070.09	c bounds 8743 >= 2960 @ 1051.79
1067.51/1070.09	c bounds 8743 >= 2961 @ 1053.33
1067.51/1070.09	c bounds 8743 >= 2962 @ 1054.92
1067.51/1070.09	c bounds 8743 >= 2963 @ 1057.37
1067.51/1070.09	c INPROCESSING
1067.51/1070.09	c GARBAGE COLLECT
1067.51/1070.09	c rational objective 7627.85
1250.29/1253.24	c bounds 8743 >= 2964 @ 1059.59
1250.29/1253.24	c bounds 8743 >= 2965 @ 1060.84
1250.29/1253.24	c bounds 8743 >= 2966 @ 1062.92
1250.29/1253.24	c bounds 8743 >= 2967 @ 1064.48
1250.29/1253.24	c bounds 8743 >= 2968 @ 1066.91
1250.29/1253.24	c bounds 8743 >= 2969 @ 1067.98
1250.29/1253.24	c bounds 8743 >= 2970 @ 1069.43
1250.29/1253.24	c bounds 8743 >= 2971 @ 1072.37
1250.29/1253.24	c bounds 8743 >= 2972 @ 1075.6
1250.29/1253.24	c bounds 8743 >= 2973 @ 1078.35
1250.29/1253.24	c bounds 8743 >= 2974 @ 1080.71
1250.29/1253.24	c bounds 8743 >= 2975 @ 1083.2
1250.29/1253.24	c bounds 8743 >= 2976 @ 1085.05
1250.29/1253.24	c bounds 8743 >= 2977 @ 1088.12
1250.29/1253.24	c #Conflicts:      73000 | #Constraints:      45295
1250.29/1253.24	c bounds 8740 >= 2977 @ 1088.85
1250.29/1253.24	c bounds 8740 >= 2978 @ 1092.87
1250.29/1253.24	c bounds 8740 >= 2979 @ 1096.24
1250.29/1253.24	c bounds 8740 >= 2980 @ 1097.17
1250.29/1253.24	c bounds 8740 >= 2981 @ 1098.39
1250.29/1253.24	c bounds 8740 >= 2982 @ 1099.96
1250.29/1253.24	c bounds 8738 >= 2982 @ 1100.28
1250.29/1253.24	c bounds 8738 >= 2983 @ 1103.72
1250.29/1253.24	c #Conflicts:      74000 | #Constraints:      46491
1250.29/1253.24	c bounds 8726 >= 2983 @ 1106.37
1250.29/1253.24	c bounds 8726 >= 2984 @ 1111.8
1250.29/1253.24	c bounds 8726 >= 2985 @ 1114.67
1250.29/1253.24	c bounds 8726 >= 2986 @ 1116.33
1250.29/1253.24	c bounds 8726 >= 2987 @ 1120.07
1250.29/1253.24	c bounds 8726 >= 2988 @ 1122.42
1250.29/1253.24	c bounds 8726 >= 2989 @ 1124.96
1250.29/1253.24	c bounds 8726 >= 2990 @ 1126.68
1250.29/1253.24	c bounds 8726 >= 2991 @ 1129.82
1250.29/1253.24	c #Conflicts:      75000 | #Constraints:      47901
1250.29/1253.24	c bounds 8726 >= 2992 @ 1132.35
1250.29/1253.24	c bounds 8726 >= 2993 @ 1134.32
1250.29/1253.24	c bounds 8726 >= 2994 @ 1136.07
1250.29/1253.24	c bounds 8726 >= 2995 @ 1137.91
1250.29/1253.24	c bounds 8726 >= 2996 @ 1139.2
1250.29/1253.24	c bounds 8726 >= 2997 @ 1141.19
1250.29/1253.24	c bounds 8726 >= 2998 @ 1144.26
1250.29/1253.24	c bounds 8726 >= 2999 @ 1145.27
1250.29/1253.24	c bounds 8726 >= 3000 @ 1147.85
1250.29/1253.24	c bounds 8726 >= 3001 @ 1149.98
1250.29/1253.24	c bounds 8722 >= 3001 @ 1151.89
1250.29/1253.24	c bounds 8722 >= 3002 @ 1155.53
1250.29/1253.24	c bounds 8722 >= 3003 @ 1157.34
1250.29/1253.24	c bounds 8722 >= 3004 @ 1159.47
1250.29/1253.24	c bounds 8722 >= 3005 @ 1161.23
1250.29/1253.24	c bounds 8722 >= 3006 @ 1163.6
1250.29/1253.24	c bounds 8722 >= 3007 @ 1166.89
1250.29/1253.24	c #Conflicts:      76000 | #Constraints:      49538
1250.29/1253.24	c bounds 8722 >= 3008 @ 1168.54
1250.29/1253.24	c bounds 8722 >= 3009 @ 1170.05
1250.29/1253.24	c bounds 8722 >= 3010 @ 1171.67
1250.29/1253.24	c bounds 8722 >= 3011 @ 1174.89
1250.29/1253.24	c bounds 8722 >= 3012 @ 1177.14
1250.29/1253.24	c bounds 8716 >= 3012 @ 1177.36
1250.29/1253.24	c bounds 8716 >= 3013 @ 1184.2
1250.29/1253.24	c bounds 8707 >= 3013 @ 1184.23
1250.29/1253.24	c bounds 8706 >= 3013 @ 1188.1
1250.29/1253.24	c bounds 8706 >= 3014 @ 1190.64
1250.29/1253.24	c #Conflicts:      77000 | #Constraints:      50807
1250.29/1253.24	c bounds 8706 >= 3015 @ 1193.72
1250.29/1253.24	c bounds 8706 >= 3016 @ 1196.73
1250.29/1253.24	c bounds 8706 >= 3017 @ 1198
1250.29/1253.24	c bounds 8706 >= 3018 @ 1199.05
1250.29/1253.24	c bounds 8706 >= 3019 @ 1202.72
1250.29/1253.24	c bounds 8706 >= 3020 @ 1205.66
1250.29/1253.24	c bounds 8706 >= 3021 @ 1208.43
1250.29/1253.24	c bounds 8706 >= 3022 @ 1210.8
1250.29/1253.24	c bounds 8706 >= 3023 @ 1214.13
1250.29/1253.24	c bounds 8706 >= 3024 @ 1216.64
1250.29/1253.24	c bounds 8706 >= 3025 @ 1220.86
1250.29/1253.24	c bounds 8706 >= 3026 @ 1223
1250.29/1253.24	c bounds 8706 >= 3027 @ 1224.66
1250.29/1253.24	c bounds 8706 >= 3028 @ 1227.79
1250.29/1253.24	c bounds 8706 >= 3029 @ 1229.28
1250.29/1253.24	c bounds 8706 >= 3030 @ 1233.94
1250.29/1253.24	c bounds 8706 >= 3031 @ 1235.06
1250.29/1253.24	c bounds 8706 >= 3032 @ 1237.2
1250.29/1253.24	c bounds 8706 >= 3033 @ 1239.24
1250.29/1253.24	c bounds 8701 >= 3033 @ 1239.28
1250.29/1253.24	c #Conflicts:      78000 | #Constraints:      52675
1250.29/1253.24	c INPROCESSING
1250.29/1253.24	c GARBAGE COLLECT
1250.29/1253.24	c rational objective 7627.85
1273.33/1276.33	c bounds 8701 >= 3034 @ 1240.14
1273.33/1276.33	c bounds 8701 >= 3035 @ 1240.51
1273.33/1276.33	c bounds 8701 >= 3036 @ 1241.02
1273.33/1276.33	c bounds 8691 >= 3036 @ 1241.83
1273.33/1276.33	c bounds 8691 >= 3037 @ 1244.92
1273.33/1276.33	c bounds 8691 >= 3038 @ 1247.02
1273.33/1276.33	c bounds 8691 >= 3039 @ 1248.99
1273.33/1276.33	c bounds 8691 >= 3040 @ 1251.25
1273.33/1276.33	c bounds 8691 >= 3041 @ 1254.77
1273.33/1276.33	c #Conflicts:      79000 | #Constraints:      48050
1273.33/1276.33	c #Conflicts:      80000 | #Constraints:      49064
1273.33/1276.33	c bounds 8691 >= 3041 @ 1262.36
1273.33/1276.33	c cpu time 1262.36 s
1273.33/1276.33	c deterministic time 17844009342 1.78e+10
1273.33/1276.33	c optimization time 2.35109 s
1273.33/1276.33	c total solve time 1260.01 s
1273.33/1276.33	c core-guided solve time 1173.55 s
1273.33/1276.33	c propagation time 152.788 s
1273.33/1276.33	c conflict analysis time 1095.59 s
1273.33/1276.33	c propagations 100290259
1273.33/1276.33	c resolve steps 29185697
1273.33/1276.33	c decisions 6071826
1273.33/1276.33	c conflicts 80402
1273.33/1276.33	c restarts 252
1273.33/1276.33	c inprocessing phases 20
1273.33/1276.33	c input clauses 13841
1273.33/1276.33	c input cardinalities 1396
1273.33/1276.33	c input general constraints 30615
1273.33/1276.33	c input average constraint length 38.23
1273.33/1276.33	c input average constraint degree 315.81
1273.33/1276.33	c learned clauses 38310
1273.33/1276.33	c learned cardinalities 21
1273.33/1276.33	c learned general constraints 43083
1273.33/1276.33	c learned average constraint length 842.09
1273.33/1276.33	c learned average constraint degree 324146829.41
1273.33/1276.33	c watched constraints 41452
1273.33/1276.33	c counting constraints 32246
1273.33/1276.33	c gcd simplifications 5490
1273.33/1276.33	c detected cardinalities 18
1273.33/1276.33	c weakened non-implied lits 1899442
1273.33/1276.33	c weakened non-implying lits 43733
1273.33/1276.33	c original variables 548
1273.33/1276.33	c clausal propagations 3976956
1273.33/1276.33	c cardinality propagations 237662
1273.33/1276.33	c watched propagations 3217795
1273.33/1276.33	c counting propagations 90068266
1273.33/1276.33	c watch lookups 3879101828
1273.33/1276.33	c watch backjump lookups 3722573766
1273.33/1276.33	c watch checks 6687328853
1273.33/1276.33	c propagation checks 1819245176
1273.33/1276.33	c constraint additions 1522872938
1273.33/1276.33	c trail pops 106439117
1273.33/1276.33	c formula constraints 166
1273.33/1276.33	c learned constraints 81170
1273.33/1276.33	c bound constraints 1540
1273.33/1276.33	c core-guided constraints 44146
1273.33/1276.33	c encountered formula constraints 97066
1273.33/1276.33	c encountered learned constraints 1773660
1273.33/1276.33	c encountered bound constraints 2094
1273.33/1276.33	c encountered core-guided constraints 27374133
1273.33/1276.33	c LP total time 2.29882 s
1273.33/1276.33	c LP solve time 1.5 s
1273.33/1276.33	c LP constraints added 214
1273.33/1276.33	c LP constraints removed 25
1273.33/1276.33	c LP pivots internal 80400
1273.33/1276.33	c LP pivots root 5178
1273.33/1276.33	c LP calls 4836
1273.33/1276.33	c LP optimalities 4713
1273.33/1276.33	c LP no pivot count 2165
1273.33/1276.33	c LP infeasibilities 123
1273.33/1276.33	c LP valid Farkas constraints 123
1273.33/1276.33	c LP learned Farkas constraints 121
1273.33/1276.33	c LP basis resets 0
1273.33/1276.33	c LP cycling count 0
1273.33/1276.33	c LP singular count 0
1273.33/1276.33	c LP no primal count 0
1273.33/1276.33	c LP no farkas count 0
1273.33/1276.33	c LP other issue count 0
1273.33/1276.33	c LP Gomory cuts 0
1273.33/1276.33	c LP learned cuts 48
1273.33/1276.33	c LP deleted cuts 25
1273.33/1276.33	c LP encountered Gomory constraints 0
1273.33/1276.33	c LP encountered Farkas constraints 16831
1273.33/1276.33	c LP encountered learned Farkas constraints 2192
1273.33/1276.33	c CG auxiliary variables introduced 15173
1273.33/1276.33	c CG solutions found 167
1273.33/1276.33	c CG cores constructed 1373
1273.33/1276.33	c CG core cardinality constraints returned 0
1273.33/1276.33	c CG unit cores 0
1273.33/1276.33	c CG single cores 505
1273.33/1276.33	c CG blocks removed during cardinality reduction 199
1273.33/1276.33	c CG first core best 0
1273.33/1276.33	c CG decision core best 12
1273.33/1276.33	c CG core reduction tie 856
1273.33/1276.33	c CG core degree average 1.00
1273.33/1276.33	c CG core slack average 30.75
1273.33/1276.33	o 8691
1273.33/1276.33	s OPTIMUM FOUND
1273.33/1276.38	v -x1 -x2 x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 -x16 -x17 x18 -x19 x20 -x21 -x22 -x23 x24 x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 x194 x195 -x196 -x197 -x198 -x199 x200 x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 x389 x390 x391 -x392 -x393 x394 x395 -x396 -x397 x398 -x399 -x400 -x401 x402 x403 -x404 -x405 -x406 x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 -x426 -x427 x428 x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 x440 -x441 -x442 -x443 -x444 x445 -x446 x447 x448 -x449 -x450 x451 x452 x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 x509 x510 x511 x512 x513 -x514 -x515 x516 -x517 x518 x519 x520 -x521 x522 x523 x524 -x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 -x535 -x536 x537 x538 x539 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548