0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.82	c #variables 548 #constraints 166
0.00/0.83	c bounds - >= 0 @ 0.001942
0.00/0.83	c rational objective 3108.29
0.06/0.93	c bounds 36555 >= 0 @ 0.007598
0.06/0.93	c bounds 36555 >= 370 @ 0.007901
0.06/0.93	c bounds 36555 >= 643 @ 0.00814
0.06/0.93	c bounds 36555 >= 901 @ 0.008608
0.06/0.93	c bounds 36555 >= 1090 @ 0.008642
0.06/0.93	c bounds 36555 >= 1213 @ 0.008642
0.06/0.93	c bounds 36555 >= 1269 @ 0.008708
0.06/0.93	c bounds 36555 >= 1331 @ 0.009236
0.06/0.93	c bounds 36555 >= 1377 @ 0.009796
0.06/0.93	c bounds 36555 >= 1419 @ 0.010237
0.06/0.93	c bounds 36555 >= 1454 @ 0.010814
0.06/0.93	c bounds 36555 >= 1484 @ 0.011146
0.06/0.93	c bounds 36555 >= 1511 @ 0.011587
0.06/0.93	c bounds 36555 >= 1533 @ 0.012014
0.06/0.93	c bounds 36555 >= 1549 @ 0.012479
0.06/0.93	c bounds 36555 >= 1558 @ 0.01256
0.06/0.93	c bounds 36537 >= 1558 @ 0.01256
0.06/0.93	c bounds 36537 >= 1565 @ 0.01256
0.06/0.93	c bounds 36537 >= 1570 @ 0.012806
0.06/0.93	c bounds 36518 >= 1570 @ 0.014717
0.06/0.93	c bounds 36518 >= 1574 @ 0.015307
0.06/0.93	c bounds 36518 >= 1576 @ 0.015448
0.06/0.93	c bounds 36518 >= 1578 @ 0.015532
0.06/0.93	c bounds 36282 >= 1578 @ 0.016306
0.06/0.93	c bounds 36282 >= 1579 @ 0.016437
0.06/0.93	c bounds 36282 >= 1580 @ 0.016531
0.06/0.93	c bounds 36270 >= 1580 @ 0.017133
0.06/0.93	c bounds 36270 >= 1581 @ 0.017669
0.06/0.93	c bounds 36270 >= 1582 @ 0.02009
0.06/0.93	c bounds 36212 >= 1582 @ 0.020776
0.06/0.93	c bounds 36212 >= 1583 @ 0.021349
0.06/0.93	c bounds 36193 >= 1583 @ 0.021391
0.06/0.93	c bounds 36193 >= 1584 @ 0.022289
0.06/0.93	c bounds 36193 >= 1585 @ 0.022338
0.06/0.93	c bounds 36168 >= 1585 @ 0.022338
0.06/0.93	c bounds 36152 >= 1585 @ 0.022338
0.06/0.93	c bounds 36152 >= 1586 @ 0.023132
0.06/0.93	c bounds 36152 >= 1590 @ 0.023226
0.06/0.93	c bounds 36152 >= 1591 @ 0.023226
0.06/0.93	c bounds 36152 >= 1598 @ 0.023226
0.06/0.93	c bounds 36058 >= 1598 @ 0.023724
0.06/0.93	c bounds 36058 >= 1599 @ 0.024208
0.06/0.93	c bounds 36058 >= 1600 @ 0.024726
0.06/0.93	c bounds 36058 >= 1601 @ 0.02544
0.06/0.93	c bounds 35899 >= 1601 @ 0.026158
0.06/0.93	c bounds 35899 >= 1606 @ 0.027035
0.06/0.93	c bounds 35870 >= 1606 @ 0.027156
0.06/0.93	c bounds 35870 >= 1610 @ 0.027402
0.06/0.93	c bounds 35870 >= 1612 @ 0.028011
0.06/0.93	c bounds 35852 >= 1612 @ 0.028175
0.06/0.93	c bounds 35852 >= 1613 @ 0.028319
0.06/0.93	c bounds 35845 >= 1613 @ 0.028948
0.06/0.93	c bounds 35845 >= 1616 @ 0.029763
0.06/0.93	c bounds 35845 >= 1617 @ 0.030485
0.06/0.93	c bounds 35826 >= 1617 @ 0.031168
0.06/0.93	c bounds 35826 >= 1618 @ 0.032026
0.06/0.93	c bounds 35807 >= 1618 @ 0.032165
0.06/0.93	c bounds 35807 >= 1619 @ 0.032583
0.06/0.93	c bounds 35787 >= 1619 @ 0.033273
0.06/0.93	c bounds 35787 >= 1622 @ 0.034137
0.06/0.93	c bounds 34965 >= 1622 @ 0.034179
0.06/0.93	c bounds 34965 >= 1623 @ 0.034179
0.06/0.93	c bounds 34965 >= 1629 @ 0.034409
0.06/0.93	c bounds 34847 >= 1629 @ 0.035105
0.06/0.93	c bounds 34847 >= 1636 @ 0.035944
0.06/0.93	c bounds 34606 >= 1636 @ 0.036149
0.06/0.93	c bounds 34606 >= 1639 @ 0.03627
0.06/0.93	c bounds 34397 >= 1639 @ 0.037025
0.06/0.93	c bounds 34397 >= 1642 @ 0.03748
0.06/0.93	c bounds 34397 >= 1644 @ 0.037912
0.06/0.93	c bounds 34319 >= 1644 @ 0.038147
0.06/0.93	c bounds 34319 >= 1645 @ 0.038177
0.06/0.93	c bounds 34286 >= 1645 @ 0.038889
0.06/0.93	c bounds 34286 >= 1646 @ 0.039147
0.06/0.93	c bounds 34286 >= 1650 @ 0.039667
0.06/0.93	c bounds 34260 >= 1650 @ 0.041136
0.06/0.93	c bounds 34260 >= 1651 @ 0.041136
0.06/0.93	c bounds 34260 >= 1652 @ 0.041136
0.06/0.93	c bounds 34260 >= 1653 @ 0.041136
0.06/0.93	c bounds 34140 >= 1653 @ 0.042405
0.06/0.93	c bounds 34140 >= 1654 @ 0.043277
0.06/0.93	c bounds 34140 >= 1655 @ 0.043846
0.06/0.93	c bounds 34110 >= 1655 @ 0.044602
0.06/0.93	c bounds 34110 >= 1656 @ 0.045114
0.06/0.93	c bounds 34110 >= 1668 @ 0.045114
0.06/0.93	c bounds 33703 >= 1668 @ 0.045711
0.06/0.93	c bounds 33703 >= 1669 @ 0.046356
0.06/0.93	c bounds 33703 >= 1670 @ 0.047091
0.06/0.93	c bounds 33682 >= 1670 @ 0.047091
0.06/0.93	c bounds 33617 >= 1670 @ 0.047164
0.06/0.93	c bounds 33617 >= 1671 @ 0.048348
0.06/0.93	c bounds 33600 >= 1671 @ 0.049076
0.06/0.93	c bounds 33600 >= 1674 @ 0.050062
0.06/0.93	c bounds 33505 >= 1674 @ 0.051505
0.06/0.93	c bounds 33505 >= 1675 @ 0.052377
0.06/0.93	c bounds 33505 >= 1676 @ 0.053128
0.06/0.93	c bounds 33429 >= 1676 @ 0.053909
0.06/0.93	c bounds 33429 >= 1677 @ 0.054074
0.06/0.93	c bounds 33429 >= 1678 @ 0.054281
0.06/0.93	c bounds 33352 >= 1678 @ 0.056045
0.06/0.93	c bounds 33352 >= 1679 @ 0.056093
0.06/0.93	c bounds 33352 >= 1680 @ 0.056093
0.06/0.93	c bounds 33352 >= 1681 @ 0.056093
0.06/0.93	c bounds 33352 >= 1682 @ 0.056326
0.06/0.93	c bounds 33334 >= 1682 @ 0.057082
0.06/0.93	c bounds 33334 >= 1695 @ 0.057178
0.06/0.93	c bounds 33334 >= 1698 @ 0.057704
0.06/0.93	c bounds 33334 >= 1699 @ 0.058201
0.06/0.93	c bounds 33334 >= 1700 @ 0.058731
0.06/0.93	c bounds 33334 >= 1704 @ 0.059307
0.06/0.93	c bounds 33055 >= 1704 @ 0.062056
0.06/0.93	c bounds 33055 >= 1707 @ 0.062484
0.06/0.93	c bounds 33055 >= 1708 @ 0.063152
0.06/0.93	c bounds 33055 >= 1709 @ 0.063987
0.06/0.93	c bounds 33055 >= 1710 @ 0.064648
0.06/0.93	c bounds 33055 >= 1711 @ 0.065589
0.06/0.93	c bounds 33055 >= 1714 @ 0.066639
0.06/0.93	c bounds 32979 >= 1714 @ 0.067527
0.06/0.93	c bounds 32979 >= 1716 @ 0.06827
0.06/0.93	c bounds 32979 >= 1717 @ 0.068953
0.06/0.93	c bounds 32910 >= 1717 @ 0.069049
0.36/1.21	c bounds 32910 >= 1718 @ 0.070124
0.36/1.21	c bounds 32844 >= 1718 @ 0.075069
0.36/1.21	c bounds 32844 >= 1720 @ 0.076001
0.36/1.21	c bounds 32844 >= 1721 @ 0.076574
0.36/1.21	c bounds 32844 >= 1722 @ 0.078038
0.36/1.21	c bounds 32844 >= 1723 @ 0.079763
0.36/1.21	c bounds 32844 >= 1724 @ 0.080505
0.36/1.21	c bounds 32844 >= 1725 @ 0.081044
0.36/1.21	c bounds 32844 >= 1726 @ 0.081758
0.36/1.21	c bounds 32844 >= 1728 @ 0.082606
0.36/1.21	c bounds 32785 >= 1728 @ 0.088036
0.36/1.21	c bounds 32785 >= 1751 @ 0.088497
0.36/1.21	c bounds 32785 >= 1752 @ 0.089462
0.36/1.21	c bounds 32785 >= 1753 @ 0.090065
0.36/1.21	c bounds 32785 >= 1754 @ 0.091027
0.36/1.21	c bounds 32785 >= 1755 @ 0.091835
0.36/1.21	c bounds 32785 >= 1756 @ 0.093258
0.36/1.21	c bounds 32785 >= 1757 @ 0.094094
0.36/1.21	c bounds 32785 >= 1758 @ 0.09525
0.36/1.21	c bounds 32785 >= 1759 @ 0.0964
0.36/1.21	c bounds 32155 >= 1759 @ 0.099954
0.36/1.21	c bounds 32155 >= 1760 @ 0.102012
0.36/1.21	c bounds 32155 >= 1761 @ 0.102021
0.36/1.21	c bounds 32155 >= 1762 @ 0.102021
0.36/1.21	c bounds 32155 >= 1763 @ 0.102021
0.36/1.21	c bounds 32155 >= 1764 @ 0.102488
0.36/1.21	c bounds 32155 >= 1765 @ 0.103211
0.36/1.21	c bounds 32155 >= 1766 @ 0.104028
0.36/1.21	c bounds 31882 >= 1766 @ 0.10501
0.36/1.21	c bounds 31882 >= 1767 @ 0.105623
0.36/1.21	c bounds 31882 >= 1768 @ 0.106006
0.36/1.21	c bounds 31882 >= 1769 @ 0.10648
0.36/1.21	c bounds 31827 >= 1769 @ 0.107999
0.36/1.21	c bounds 31827 >= 1770 @ 0.108794
0.36/1.21	c bounds 31827 >= 1771 @ 0.109258
0.36/1.21	c bounds 31809 >= 1771 @ 0.111161
0.36/1.21	c bounds 31809 >= 1772 @ 0.112447
0.36/1.21	c bounds 31809 >= 1773 @ 0.114104
0.36/1.21	c bounds 31809 >= 1774 @ 0.115555
0.36/1.21	c bounds 31809 >= 1775 @ 0.116377
0.36/1.21	c bounds 31725 >= 1775 @ 0.12215
0.36/1.21	c bounds 31725 >= 1777 @ 0.124134
0.36/1.21	c bounds 31725 >= 1787 @ 0.124873
0.36/1.21	c bounds 31725 >= 1789 @ 0.126004
0.36/1.21	c bounds 31725 >= 1790 @ 0.127909
0.36/1.21	c bounds 31725 >= 1791 @ 0.130189
0.36/1.21	c bounds 31725 >= 1792 @ 0.132206
0.36/1.21	c bounds 31725 >= 1793 @ 0.13333
0.36/1.21	c bounds 31725 >= 1794 @ 0.135296
0.36/1.21	c bounds 31725 >= 1795 @ 0.137183
0.36/1.21	c bounds 31650 >= 1795 @ 0.140647
0.36/1.21	c bounds 31650 >= 1796 @ 0.141602
0.36/1.21	c bounds 31650 >= 1797 @ 0.142899
0.36/1.21	c bounds 31650 >= 1798 @ 0.143899
0.36/1.21	c bounds 31650 >= 1799 @ 0.145697
0.36/1.21	c bounds 31605 >= 1799 @ 0.148982
0.36/1.21	c bounds 31605 >= 1800 @ 0.151133
0.36/1.21	c bounds 31519 >= 1800 @ 0.155633
0.36/1.21	c bounds 31519 >= 1801 @ 0.157879
0.36/1.21	c bounds 31519 >= 1802 @ 0.158296
0.36/1.21	c bounds 31519 >= 1806 @ 0.15928
0.36/1.21	c bounds 31519 >= 1807 @ 0.159856
0.36/1.21	c bounds 31519 >= 1808 @ 0.16134
0.36/1.21	c bounds 31519 >= 1810 @ 0.162478
0.36/1.21	c bounds 31467 >= 1810 @ 0.166573
0.36/1.21	c bounds 31467 >= 1811 @ 0.167499
0.36/1.21	c bounds 31467 >= 1812 @ 0.168211
0.36/1.21	c bounds 31467 >= 1813 @ 0.169183
0.36/1.21	c bounds 31467 >= 1815 @ 0.171276
0.36/1.21	c bounds 31467 >= 1816 @ 0.171927
0.36/1.21	c bounds 31467 >= 1817 @ 0.175577
0.36/1.21	c bounds 31358 >= 1817 @ 0.180831
0.36/1.21	c bounds 31358 >= 1818 @ 0.182854
0.36/1.21	c bounds 31358 >= 1819 @ 0.183669
0.36/1.21	c bounds 31358 >= 1820 @ 0.185498
0.36/1.21	c bounds 31358 >= 1821 @ 0.185845
0.36/1.21	c bounds 31358 >= 1822 @ 0.186835
0.36/1.21	c bounds 31358 >= 1823 @ 0.191108
0.36/1.21	c bounds 31358 >= 1824 @ 0.192588
0.36/1.21	c bounds 31302 >= 1824 @ 0.197765
0.36/1.21	c bounds 31302 >= 1825 @ 0.198819
0.36/1.21	c bounds 31302 >= 1826 @ 0.199174
0.36/1.21	c bounds 31302 >= 1827 @ 0.199812
0.36/1.21	c bounds 31302 >= 1828 @ 0.201137
0.36/1.21	c bounds 31302 >= 1829 @ 0.201821
0.36/1.21	c bounds 31302 >= 1830 @ 0.201822
0.36/1.21	c bounds 31302 >= 1831 @ 0.202637
0.36/1.21	c bounds 31302 >= 1832 @ 0.203217
0.36/1.21	c bounds 31294 >= 1832 @ 0.206973
0.36/1.21	c bounds 31294 >= 1833 @ 0.210236
0.36/1.21	c bounds 31294 >= 1834 @ 0.2129
0.36/1.21	c bounds 31294 >= 1835 @ 0.214778
0.36/1.21	c bounds 31218 >= 1835 @ 0.219719
0.36/1.21	c bounds 31218 >= 1836 @ 0.222644
0.36/1.21	c bounds 31218 >= 1837 @ 0.223222
0.36/1.21	c bounds 31218 >= 1838 @ 0.224089
0.36/1.21	c bounds 31218 >= 1839 @ 0.225054
0.36/1.21	c bounds 31218 >= 1840 @ 0.225748
0.36/1.21	c bounds 31218 >= 1841 @ 0.225748
0.36/1.21	c bounds 30861 >= 1841 @ 0.234769
0.36/1.21	c bounds 30861 >= 1842 @ 0.23736
0.36/1.21	c bounds 30861 >= 1845 @ 0.238313
0.36/1.21	c bounds 30861 >= 1846 @ 0.23927
0.36/1.21	c bounds 30861 >= 1847 @ 0.241065
0.36/1.21	c bounds 30861 >= 1850 @ 0.242181
0.36/1.21	c bounds 30861 >= 1851 @ 0.2429
0.36/1.21	c bounds 30861 >= 1852 @ 0.243633
0.36/1.21	c bounds 30861 >= 1855 @ 0.244579
0.36/1.21	c bounds 30861 >= 1856 @ 0.24636
0.36/1.21	c bounds 30861 >= 1857 @ 0.24769
0.36/1.21	c bounds 30861 >= 1858 @ 0.24806
0.36/1.21	c bounds 30861 >= 1859 @ 0.250315
0.36/1.21	c bounds 30861 >= 1860 @ 0.250879
0.36/1.21	c bounds 30861 >= 1861 @ 0.2518
0.36/1.21	c bounds 30290 >= 1861 @ 0.259463
0.36/1.21	c bounds 30290 >= 1862 @ 0.260443
0.36/1.21	c bounds 30290 >= 1863 @ 0.261883
0.36/1.21	c bounds 30290 >= 1864 @ 0.263077
0.36/1.21	c bounds 30290 >= 1865 @ 0.263653
0.36/1.21	c bounds 30290 >= 1866 @ 0.264119
0.36/1.21	c bounds 30290 >= 1867 @ 0.265416
0.66/1.59	c bounds 30290 >= 1868 @ 0.266395
0.66/1.59	c bounds 30290 >= 1869 @ 0.267045
0.66/1.59	c bounds 30290 >= 1870 @ 0.268073
0.66/1.59	c bounds 30290 >= 1871 @ 0.26914
0.66/1.59	c bounds 30290 >= 1872 @ 0.270173
0.66/1.59	c bounds 30290 >= 1873 @ 0.271568
0.66/1.59	c bounds 30224 >= 1873 @ 0.282331
0.66/1.59	c bounds 30224 >= 1906 @ 0.283192
0.66/1.59	c bounds 30224 >= 1907 @ 0.284083
0.66/1.59	c bounds 30224 >= 1908 @ 0.284914
0.66/1.59	c bounds 30224 >= 1909 @ 0.285984
0.66/1.59	c bounds 30224 >= 1910 @ 0.286602
0.66/1.59	c bounds 30224 >= 1911 @ 0.287001
0.66/1.59	c bounds 30224 >= 1912 @ 0.287599
0.66/1.59	c bounds 30224 >= 1913 @ 0.287599
0.66/1.59	c bounds 30224 >= 1914 @ 0.288199
0.66/1.59	c bounds 30224 >= 1915 @ 0.289035
0.66/1.59	c bounds 30224 >= 1916 @ 0.289585
0.66/1.59	c bounds 30224 >= 1917 @ 0.289585
0.66/1.59	c bounds 30224 >= 1918 @ 0.29022
0.66/1.59	c bounds 30224 >= 1919 @ 0.290579
0.66/1.59	c bounds 30081 >= 1919 @ 0.298781
0.66/1.59	c bounds 30081 >= 1920 @ 0.301742
0.66/1.59	c bounds 30081 >= 1921 @ 0.302899
0.66/1.59	c bounds 30081 >= 1922 @ 0.307076
0.66/1.59	c bounds 30081 >= 1923 @ 0.307548
0.66/1.59	c bounds 30081 >= 1924 @ 0.307549
0.66/1.59	c bounds 30081 >= 1925 @ 0.308288
0.66/1.59	c bounds 30081 >= 1926 @ 0.308874
0.66/1.59	c bounds 30081 >= 1927 @ 0.309471
0.66/1.59	c bounds 30081 >= 1928 @ 0.310165
0.66/1.59	c bounds 30081 >= 1929 @ 0.310903
0.66/1.59	c bounds 30081 >= 1930 @ 0.311607
0.66/1.59	c bounds 30081 >= 1931 @ 0.312343
0.66/1.59	c bounds 30081 >= 1933 @ 0.313218
0.66/1.59	c bounds 30081 >= 1934 @ 0.31397
0.66/1.59	c bounds 29661 >= 1934 @ 0.322994
0.66/1.59	c bounds 29661 >= 1935 @ 0.323512
0.66/1.59	c bounds 29661 >= 1936 @ 0.323524
0.66/1.59	c bounds 29661 >= 1937 @ 0.323524
0.66/1.59	c bounds 29661 >= 1938 @ 0.324318
0.66/1.59	c bounds 29661 >= 1939 @ 0.324518
0.66/1.59	c bounds 29661 >= 1940 @ 0.324518
0.66/1.59	c bounds 29661 >= 1941 @ 0.324518
0.66/1.59	c bounds 29661 >= 1942 @ 0.324518
0.66/1.59	c bounds 29661 >= 1943 @ 0.324518
0.66/1.59	c bounds 29661 >= 1944 @ 0.325039
0.66/1.59	c bounds 29661 >= 1945 @ 0.326185
0.66/1.59	c bounds 29651 >= 1945 @ 0.335385
0.66/1.59	c bounds 29651 >= 1946 @ 0.336959
0.66/1.59	c bounds 29651 >= 1947 @ 0.338099
0.66/1.59	c bounds 29651 >= 1948 @ 0.338463
0.66/1.59	c bounds 29651 >= 1949 @ 0.338844
0.66/1.59	c bounds 29651 >= 1950 @ 0.340083
0.66/1.59	c bounds 29651 >= 1951 @ 0.341118
0.66/1.59	c bounds 29651 >= 1952 @ 0.34154
0.66/1.59	c bounds 29651 >= 1953 @ 0.342452
0.66/1.59	c bounds 29651 >= 1954 @ 0.34363
0.66/1.59	c bounds 29651 >= 1955 @ 0.344372
0.66/1.59	c bounds 29651 >= 1956 @ 0.34474
0.66/1.59	c bounds 29651 >= 1957 @ 0.345365
0.66/1.59	c bounds 29651 >= 1958 @ 0.345443
0.66/1.59	c bounds 29443 >= 1958 @ 0.358151
0.66/1.59	c bounds 29443 >= 1959 @ 0.359167
0.66/1.59	c bounds 29443 >= 1960 @ 0.360079
0.66/1.59	c bounds 29443 >= 1961 @ 0.360411
0.66/1.59	c bounds 29443 >= 1962 @ 0.36093
0.66/1.59	c bounds 29443 >= 1963 @ 0.361417
0.66/1.59	c bounds 29443 >= 1964 @ 0.362184
0.66/1.59	c bounds 29443 >= 1965 @ 0.362414
0.66/1.59	c bounds 29443 >= 1966 @ 0.363945
0.66/1.59	c bounds 29443 >= 1967 @ 0.367149
0.66/1.59	c bounds 29443 >= 1968 @ 0.367936
0.66/1.59	c bounds 29443 >= 1969 @ 0.369398
0.66/1.59	c bounds 29443 >= 1970 @ 0.369562
0.66/1.59	c bounds 29371 >= 1970 @ 0.381347
0.66/1.59	c bounds 29371 >= 1971 @ 0.384361
0.66/1.59	c bounds 29371 >= 1972 @ 0.385941
0.66/1.59	c bounds 29371 >= 1973 @ 0.389047
0.66/1.59	c bounds 29371 >= 1974 @ 0.390485
0.66/1.59	c bounds 29371 >= 1975 @ 0.392297
0.66/1.59	c bounds 29371 >= 1976 @ 0.394827
0.66/1.59	c bounds 29371 >= 1977 @ 0.396136
0.66/1.59	c bounds 29105 >= 1977 @ 0.409643
0.66/1.59	c bounds 29105 >= 1978 @ 0.412777
0.66/1.59	c bounds 29105 >= 1979 @ 0.413289
0.66/1.59	c bounds 29105 >= 1980 @ 0.41528
0.66/1.59	c bounds 29105 >= 1981 @ 0.416106
0.66/1.59	c bounds 29105 >= 1982 @ 0.41727
0.66/1.59	c bounds 29105 >= 1983 @ 0.418174
0.66/1.59	c bounds 29105 >= 1984 @ 0.41885
0.66/1.59	c bounds 29105 >= 1985 @ 0.420145
0.66/1.59	c bounds 29105 >= 1986 @ 0.422775
0.66/1.59	c #Conflicts:       1000 | #Constraints:       3573
0.66/1.59	c bounds 29105 >= 1987 @ 0.423794
0.66/1.59	c bounds 29105 >= 1988 @ 0.424689
0.66/1.59	c bounds 29105 >= 1989 @ 0.426831
0.66/1.59	c bounds 29105 >= 1990 @ 0.428287
0.66/1.59	c bounds 29105 >= 1991 @ 0.429758
0.66/1.59	c bounds 29105 >= 1992 @ 0.433112
0.66/1.59	c bounds 28876 >= 1992 @ 0.451287
0.66/1.59	c bounds 28876 >= 1993 @ 0.455824
0.66/1.59	c bounds 28876 >= 1994 @ 0.458024
0.66/1.59	c bounds 28876 >= 1995 @ 0.459407
0.66/1.59	c bounds 28876 >= 1996 @ 0.463139
0.66/1.59	c bounds 28876 >= 1997 @ 0.465033
0.66/1.59	c bounds 28876 >= 1998 @ 0.4669
0.66/1.59	c bounds 28876 >= 1999 @ 0.469677
0.66/1.59	c bounds 28876 >= 2000 @ 0.4724
0.66/1.59	c bounds 28876 >= 2001 @ 0.476593
0.66/1.59	c bounds 28876 >= 2002 @ 0.479581
0.66/1.59	c bounds 28772 >= 2002 @ 0.493243
0.66/1.59	c bounds 28772 >= 2003 @ 0.495627
0.66/1.59	c bounds 28772 >= 2004 @ 0.497077
0.66/1.59	c bounds 28772 >= 2005 @ 0.500394
0.66/1.59	c bounds 28772 >= 2006 @ 0.504385
0.66/1.59	c bounds 28772 >= 2007 @ 0.506456
0.66/1.59	c bounds 28772 >= 2008 @ 0.50971
0.66/1.59	c bounds 28757 >= 2008 @ 0.511971
0.66/1.59	c bounds 28757 >= 2009 @ 0.515656
0.66/1.59	c bounds 28731 >= 2009 @ 0.529719
1.26/2.12	c bounds 28731 >= 2010 @ 0.537557
1.26/2.12	c bounds 28731 >= 2011 @ 0.539962
1.26/2.12	c bounds 28731 >= 2012 @ 0.543383
1.26/2.12	c bounds 28731 >= 2013 @ 0.545565
1.26/2.12	c bounds 28731 >= 2014 @ 0.550958
1.26/2.12	c bounds 28731 >= 2015 @ 0.552374
1.26/2.12	c bounds 26131 >= 2015 @ 0.577645
1.26/2.12	c bounds 26131 >= 2016 @ 0.584218
1.26/2.12	c bounds 26131 >= 2017 @ 0.585952
1.26/2.12	c bounds 26131 >= 2018 @ 0.59101
1.26/2.12	c bounds 26131 >= 2019 @ 0.594975
1.26/2.12	c bounds 26131 >= 2020 @ 0.597171
1.26/2.12	c bounds 26131 >= 2021 @ 0.600647
1.26/2.12	c bounds 26131 >= 2022 @ 0.604549
1.26/2.12	c bounds 26131 >= 2023 @ 0.607823
1.26/2.12	c bounds 26131 >= 2024 @ 0.612441
1.26/2.12	c bounds 26131 >= 2025 @ 0.616315
1.26/2.12	c bounds 26131 >= 2026 @ 0.619816
1.26/2.12	c bounds 26131 >= 2027 @ 0.623224
1.26/2.12	c bounds 25965 >= 2027 @ 0.656816
1.26/2.12	c bounds 25965 >= 2028 @ 0.663533
1.26/2.12	c bounds 25965 >= 2029 @ 0.666799
1.26/2.12	c bounds 25965 >= 2030 @ 0.672699
1.26/2.12	c bounds 25965 >= 2031 @ 0.679063
1.26/2.12	c bounds 25965 >= 2032 @ 0.68176
1.26/2.12	c bounds 25965 >= 2033 @ 0.686368
1.26/2.12	c bounds 25965 >= 2034 @ 0.692092
1.26/2.12	c bounds 25965 >= 2035 @ 0.697925
1.26/2.12	c bounds 25965 >= 2036 @ 0.701017
1.26/2.12	c bounds 25965 >= 2037 @ 0.703809
1.26/2.12	c bounds 25965 >= 2038 @ 0.707538
1.26/2.12	c bounds 25965 >= 2039 @ 0.711476
1.26/2.12	c bounds 25965 >= 2040 @ 0.714624
1.26/2.12	c bounds 25965 >= 2041 @ 0.718136
1.26/2.12	c bounds 25965 >= 2042 @ 0.721746
1.26/2.12	c bounds 25965 >= 2043 @ 0.72843
1.26/2.12	c bounds 25965 >= 2044 @ 0.735916
1.26/2.12	c bounds 25965 >= 2045 @ 0.752577
1.26/2.12	c bounds 25418 >= 2045 @ 0.789051
1.26/2.12	c bounds 25418 >= 2046 @ 0.799462
1.26/2.12	c bounds 25418 >= 2047 @ 0.811224
1.26/2.12	c bounds 25418 >= 2048 @ 0.818708
1.26/2.12	c bounds 25418 >= 2049 @ 0.824097
1.26/2.12	c bounds 25418 >= 2050 @ 0.828772
1.26/2.12	c bounds 25418 >= 2051 @ 0.833737
1.26/2.12	c bounds 25418 >= 2052 @ 0.838436
1.26/2.12	c bounds 25418 >= 2053 @ 0.845555
1.26/2.12	c bounds 25418 >= 2054 @ 0.853217
1.26/2.12	c bounds 25418 >= 2055 @ 0.861817
1.26/2.12	c bounds 25418 >= 2056 @ 0.866025
1.26/2.12	c bounds 25418 >= 2057 @ 0.871609
1.26/2.12	c #Conflicts:       2000 | #Constraints:       6246
1.26/2.12	c INPROCESSING
1.26/2.12	c GARBAGE COLLECT
1.26/2.12	c rational objective 4568.75
2.36/3.22	c bounds 25418 >= 2058 @ 0.988084
2.36/3.22	c bounds 25418 >= 2059 @ 0.992514
2.36/3.22	c bounds 25418 >= 2060 @ 0.996509
2.36/3.22	c bounds 25418 >= 2061 @ 0.999384
2.36/3.22	c bounds 25418 >= 2062 @ 1.00271
2.36/3.22	c bounds 25418 >= 2063 @ 1.00723
2.36/3.22	c bounds 25418 >= 2064 @ 1.01003
2.36/3.22	c bounds 25418 >= 2065 @ 1.0122
2.36/3.22	c bounds 25418 >= 2066 @ 1.01649
2.36/3.22	c bounds 25418 >= 2067 @ 1.01974
2.36/3.22	c bounds 25418 >= 2068 @ 1.02309
2.36/3.22	c bounds 25418 >= 2069 @ 1.03067
2.36/3.22	c bounds 25418 >= 2070 @ 1.03585
2.36/3.22	c bounds 25418 >= 2071 @ 1.04049
2.36/3.22	c bounds 25418 >= 2072 @ 1.04491
2.36/3.22	c bounds 25418 >= 2073 @ 1.05051
2.36/3.22	c bounds 25418 >= 2074 @ 1.05608
2.36/3.22	c bounds 25418 >= 2075 @ 1.06041
2.36/3.22	c bounds 25418 >= 2076 @ 1.06392
2.36/3.22	c bounds 25418 >= 2077 @ 1.06942
2.36/3.22	c bounds 25418 >= 2078 @ 1.07615
2.36/3.22	c bounds 25418 >= 2079 @ 1.08204
2.36/3.22	c bounds 25418 >= 2080 @ 1.08776
2.36/3.22	c bounds 25418 >= 2081 @ 1.09372
2.36/3.22	c bounds 25418 >= 2082 @ 1.09748
2.36/3.22	c bounds 25418 >= 2083 @ 1.10069
2.36/3.22	c bounds 25418 >= 2084 @ 1.10571
2.36/3.22	c bounds 25418 >= 2085 @ 1.1115
2.36/3.22	c bounds 25418 >= 2086 @ 1.11802
2.36/3.22	c bounds 25418 >= 2087 @ 1.1241
2.36/3.22	c bounds 25418 >= 2088 @ 1.12769
2.36/3.22	c bounds 25418 >= 2089 @ 1.13148
2.36/3.22	c bounds 25418 >= 2090 @ 1.13288
2.36/3.22	c bounds 25418 >= 2091 @ 1.13763
2.36/3.22	c bounds 25418 >= 2092 @ 1.14006
2.36/3.22	c bounds 25418 >= 2093 @ 1.14119
2.36/3.22	c bounds 25418 >= 2094 @ 1.14295
2.36/3.22	c bounds 25418 >= 2095 @ 1.14418
2.36/3.22	c bounds 25418 >= 2096 @ 1.14666
2.36/3.22	c bounds 25418 >= 2097 @ 1.14865
2.36/3.22	c bounds 25418 >= 2098 @ 1.15144
2.36/3.22	c bounds 25418 >= 2099 @ 1.15312
2.36/3.22	c bounds 25418 >= 2100 @ 1.1543
2.36/3.22	c bounds 25418 >= 2101 @ 1.15863
2.36/3.22	c bounds 25418 >= 2102 @ 1.16525
2.36/3.22	c bounds 25418 >= 2103 @ 1.16929
2.36/3.22	c bounds 25418 >= 2104 @ 1.17168
2.36/3.22	c bounds 25418 >= 2105 @ 1.1766
2.36/3.22	c bounds 25418 >= 2106 @ 1.17839
2.36/3.22	c bounds 25418 >= 2107 @ 1.18111
2.36/3.22	c bounds 25418 >= 2108 @ 1.1859
2.36/3.22	c bounds 25418 >= 2109 @ 1.19168
2.36/3.22	c bounds 25418 >= 2110 @ 1.19711
2.36/3.22	c bounds 25418 >= 2111 @ 1.20067
2.36/3.22	c bounds 25418 >= 2112 @ 1.20986
2.36/3.22	c bounds 25418 >= 2113 @ 1.22451
2.36/3.22	c bounds 25418 >= 2114 @ 1.23451
2.36/3.22	c bounds 25418 >= 2115 @ 1.24055
2.36/3.22	c bounds 25418 >= 2116 @ 1.2475
2.36/3.22	c bounds 25418 >= 2117 @ 1.24973
2.36/3.22	c bounds 25418 >= 2118 @ 1.25415
2.36/3.22	c bounds 25418 >= 2119 @ 1.26109
2.36/3.22	c bounds 25418 >= 2120 @ 1.26649
2.36/3.22	c bounds 25418 >= 2121 @ 1.27242
2.36/3.22	c bounds 25418 >= 2122 @ 1.27925
2.36/3.22	c bounds 25191 >= 2122 @ 1.31365
2.36/3.22	c bounds 25191 >= 2123 @ 1.32843
2.36/3.22	c bounds 25191 >= 2124 @ 1.33975
2.36/3.22	c bounds 25191 >= 2125 @ 1.34498
2.36/3.22	c bounds 25191 >= 2126 @ 1.35052
2.36/3.22	c bounds 25191 >= 2127 @ 1.35555
2.36/3.22	c bounds 25191 >= 2128 @ 1.36049
2.36/3.22	c bounds 25191 >= 2129 @ 1.36607
2.36/3.22	c bounds 25191 >= 2130 @ 1.37317
2.36/3.22	c bounds 25191 >= 2131 @ 1.37835
2.36/3.22	c bounds 25191 >= 2132 @ 1.38731
2.36/3.22	c bounds 25181 >= 2132 @ 1.39092
2.36/3.22	c bounds 25181 >= 2133 @ 1.39764
2.36/3.22	c bounds 24729 >= 2133 @ 1.49958
2.36/3.22	c bounds 24729 >= 2134 @ 1.50219
2.36/3.22	c bounds 24729 >= 2135 @ 1.50338
2.36/3.22	c bounds 24729 >= 2136 @ 1.51913
2.36/3.22	c bounds 24729 >= 2137 @ 1.5239
2.36/3.22	c bounds 24729 >= 2138 @ 1.52963
2.36/3.22	c bounds 24729 >= 2139 @ 1.53653
2.36/3.22	c bounds 24729 >= 2140 @ 1.54179
2.36/3.22	c bounds 24729 >= 2141 @ 1.54623
2.36/3.22	c bounds 24729 >= 2142 @ 1.55167
2.36/3.22	c bounds 24729 >= 2143 @ 1.55685
2.36/3.22	c bounds 24729 >= 2144 @ 1.56159
2.36/3.22	c bounds 24729 >= 2145 @ 1.56676
2.36/3.22	c bounds 24729 >= 2146 @ 1.5749
2.36/3.22	c bounds 24729 >= 2147 @ 1.58169
2.36/3.22	c bounds 24729 >= 2148 @ 1.58775
2.36/3.22	c bounds 24729 >= 2149 @ 1.59363
2.36/3.22	c bounds 24729 >= 2150 @ 1.60213
2.36/3.22	c bounds 24729 >= 2151 @ 1.60835
2.36/3.22	c bounds 24729 >= 2152 @ 1.6155
2.36/3.22	c bounds 24729 >= 2153 @ 1.62074
2.36/3.22	c bounds 24729 >= 2154 @ 1.62665
2.36/3.22	c bounds 24729 >= 2155 @ 1.64165
2.36/3.22	c bounds 24729 >= 2156 @ 1.65066
2.36/3.22	c bounds 24729 >= 2157 @ 1.66956
2.36/3.22	c bounds 24729 >= 2158 @ 1.67538
2.36/3.22	c #Conflicts:       3000 | #Constraints:       8069
2.36/3.22	c bounds 24729 >= 2159 @ 1.68332
2.36/3.22	c bounds 24729 >= 2160 @ 1.69119
2.36/3.22	c bounds 24729 >= 2161 @ 1.70328
2.36/3.22	c bounds 24729 >= 2162 @ 1.7126
2.36/3.22	c bounds 24729 >= 2163 @ 1.72022
2.36/3.22	c bounds 24729 >= 2164 @ 1.72869
2.36/3.22	c bounds 24729 >= 2165 @ 1.73466
2.36/3.22	c bounds 24729 >= 2166 @ 1.74845
2.36/3.22	c bounds 24729 >= 2167 @ 1.75703
2.36/3.22	c bounds 24729 >= 2168 @ 1.76914
2.36/3.22	c bounds 24729 >= 2169 @ 1.77806
2.36/3.22	c bounds 24729 >= 2170 @ 1.78939
2.36/3.22	c bounds 24693 >= 2170 @ 1.80324
2.36/3.22	c bounds 24693 >= 2171 @ 1.82187
2.36/3.22	c bounds 24693 >= 2172 @ 1.82924
2.36/3.22	c bounds 24693 >= 2173 @ 1.83561
2.36/3.22	c bounds 24513 >= 2173 @ 1.85224
2.36/3.22	c bounds 24513 >= 2174 @ 1.86713
2.36/3.22	c bounds 24513 >= 2175 @ 1.87391
3.75/4.64	c bounds 24513 >= 2176 @ 1.88395
3.75/4.64	c bounds 24513 >= 2177 @ 1.88993
3.75/4.64	c bounds 24513 >= 2178 @ 1.89705
3.75/4.64	c bounds 24513 >= 2179 @ 1.90625
3.75/4.64	c bounds 24349 >= 2179 @ 2.1729
3.75/4.64	c bounds 24349 >= 2180 @ 2.18026
3.75/4.64	c bounds 24349 >= 2181 @ 2.18187
3.75/4.64	c bounds 24349 >= 2190 @ 2.18288
3.75/4.64	c bounds 24349 >= 2191 @ 2.18459
3.75/4.64	c bounds 24349 >= 2192 @ 2.18922
3.75/4.64	c bounds 24349 >= 2193 @ 2.20713
3.75/4.64	c bounds 24349 >= 2194 @ 2.21547
3.75/4.64	c bounds 24349 >= 2195 @ 2.22332
3.75/4.64	c bounds 24349 >= 2196 @ 2.23721
3.75/4.64	c bounds 24349 >= 2197 @ 2.2434
3.75/4.64	c bounds 24349 >= 2198 @ 2.24909
3.75/4.64	c bounds 24349 >= 2199 @ 2.25538
3.75/4.64	c bounds 24349 >= 2200 @ 2.26079
3.75/4.64	c bounds 24349 >= 2201 @ 2.26665
3.75/4.64	c bounds 24349 >= 2202 @ 2.27497
3.75/4.64	c bounds 24349 >= 2203 @ 2.28271
3.75/4.64	c bounds 24349 >= 2204 @ 2.28732
3.75/4.64	c bounds 24349 >= 2205 @ 2.29123
3.75/4.64	c bounds 24349 >= 2206 @ 2.29927
3.75/4.64	c bounds 24349 >= 2207 @ 2.30616
3.75/4.64	c bounds 24349 >= 2208 @ 2.31226
3.75/4.64	c bounds 24349 >= 2209 @ 2.31664
3.75/4.64	c bounds 24349 >= 2210 @ 2.32013
3.75/4.64	c bounds 24349 >= 2211 @ 2.32798
3.75/4.64	c bounds 24349 >= 2212 @ 2.33217
3.75/4.64	c bounds 24349 >= 2213 @ 2.33713
3.75/4.64	c bounds 24349 >= 2214 @ 2.34111
3.75/4.64	c bounds 24349 >= 2215 @ 2.35489
3.75/4.64	c bounds 24349 >= 2216 @ 2.36533
3.75/4.64	c bounds 24349 >= 2217 @ 2.37307
3.75/4.64	c bounds 24349 >= 2218 @ 2.3812
3.75/4.64	c bounds 24349 >= 2219 @ 2.39107
3.75/4.64	c bounds 24349 >= 2220 @ 2.39597
3.75/4.64	c bounds 24349 >= 2221 @ 2.40853
3.75/4.64	c bounds 24349 >= 2222 @ 2.415
3.75/4.64	c bounds 24349 >= 2223 @ 2.41884
3.75/4.64	c bounds 24349 >= 2224 @ 2.42408
3.75/4.64	c bounds 24349 >= 2225 @ 2.43091
3.75/4.64	c bounds 24349 >= 2226 @ 2.43525
3.75/4.64	c bounds 24349 >= 2227 @ 2.44083
3.75/4.64	c bounds 24349 >= 2228 @ 2.45083
3.75/4.64	c bounds 24349 >= 2229 @ 2.45813
3.75/4.64	c bounds 24349 >= 2230 @ 2.46916
3.75/4.64	c bounds 24349 >= 2231 @ 2.47855
3.75/4.64	c bounds 24349 >= 2232 @ 2.48692
3.75/4.64	c bounds 24349 >= 2233 @ 2.49361
3.75/4.64	c bounds 24349 >= 2234 @ 2.50117
3.75/4.64	c bounds 24349 >= 2235 @ 2.51358
3.75/4.64	c bounds 24349 >= 2236 @ 2.52505
3.75/4.64	c bounds 24349 >= 2237 @ 2.53439
3.75/4.64	c bounds 24349 >= 2238 @ 2.54008
3.75/4.64	c bounds 24349 >= 2239 @ 2.55045
3.75/4.64	c bounds 24349 >= 2240 @ 2.5621
3.75/4.64	c bounds 24349 >= 2241 @ 2.57835
3.75/4.64	c bounds 24349 >= 2242 @ 2.58842
3.75/4.64	c bounds 24349 >= 2243 @ 2.59563
3.75/4.64	c bounds 24349 >= 2244 @ 2.60421
3.75/4.64	c bounds 24349 >= 2245 @ 2.61436
3.75/4.64	c bounds 24349 >= 2246 @ 2.63035
3.75/4.64	c bounds 24349 >= 2247 @ 2.64739
3.75/4.64	c bounds 24349 >= 2248 @ 2.66578
3.75/4.64	c bounds 24349 >= 2249 @ 2.68057
3.75/4.64	c bounds 24349 >= 2250 @ 2.70436
3.75/4.64	c bounds 24349 >= 2251 @ 2.7171
3.75/4.64	c bounds 24349 >= 2252 @ 2.7271
3.75/4.64	c bounds 24349 >= 2253 @ 2.7441
3.75/4.64	c bounds 24349 >= 2254 @ 2.76706
3.75/4.64	c bounds 24349 >= 2255 @ 2.78532
3.75/4.64	c bounds 24349 >= 2256 @ 2.80437
3.75/4.64	c #Conflicts:       4000 | #Constraints:      10873
3.75/4.64	c bounds 24349 >= 2257 @ 2.82167
3.75/4.64	c bounds 24349 >= 2258 @ 2.8377
3.75/4.64	c bounds 24349 >= 2259 @ 2.85967
3.75/4.64	c bounds 24249 >= 2259 @ 2.88164
3.75/4.64	c bounds 24249 >= 2260 @ 2.90528
3.75/4.64	c bounds 24249 >= 2261 @ 2.94023
3.75/4.64	c bounds 24247 >= 2261 @ 2.96568
3.75/4.64	c bounds 24247 >= 2262 @ 3.01681
3.75/4.64	c bounds 24238 >= 2262 @ 3.02325
3.75/4.64	c bounds 24238 >= 2263 @ 3.04822
3.75/4.64	c bounds 24212 >= 2263 @ 3.06749
3.75/4.64	c INPROCESSING
3.75/4.64	c GARBAGE COLLECT
3.75/4.64	c rational objective 4980.33
7.54/8.49	c bounds 24212 >= 2264 @ 3.13899
7.54/8.49	c bounds 24199 >= 2264 @ 3.54786
7.54/8.49	c bounds 24199 >= 2265 @ 3.58598
7.54/8.49	c bounds 24199 >= 2266 @ 3.60352
7.54/8.49	c bounds 24199 >= 2267 @ 3.6076
7.54/8.49	c bounds 24199 >= 2268 @ 3.61233
7.54/8.49	c bounds 24199 >= 2269 @ 3.61547
7.54/8.49	c bounds 24199 >= 2270 @ 3.61838
7.54/8.49	c bounds 24199 >= 2271 @ 3.62756
7.54/8.49	c bounds 24199 >= 2272 @ 3.65558
7.54/8.49	c bounds 24199 >= 2273 @ 3.70489
7.54/8.49	c bounds 24199 >= 2274 @ 3.76324
7.54/8.49	c bounds 24199 >= 2275 @ 3.8059
7.54/8.49	c bounds 24199 >= 2276 @ 3.85374
7.54/8.49	c bounds 24199 >= 2277 @ 3.88384
7.54/8.49	c bounds 24199 >= 2278 @ 3.91308
7.54/8.49	c #Conflicts:       5000 | #Constraints:      10970
7.54/8.49	c bounds 24199 >= 2279 @ 3.96762
7.54/8.49	c bounds 24199 >= 2280 @ 4.02359
7.54/8.49	c bounds 24199 >= 2281 @ 4.05723
7.54/8.49	c bounds 24199 >= 2282 @ 4.09056
7.54/8.49	c bounds 24199 >= 2283 @ 4.11512
7.54/8.49	c bounds 24199 >= 2284 @ 4.15943
7.54/8.49	c bounds 24199 >= 2285 @ 4.20136
7.54/8.49	c bounds 24199 >= 2286 @ 4.24909
7.54/8.49	c bounds 24199 >= 2287 @ 4.29277
7.54/8.49	c bounds 24199 >= 2288 @ 4.35307
7.54/8.49	c bounds 24199 >= 2289 @ 4.40814
7.54/8.49	c bounds 24199 >= 2290 @ 4.45341
7.54/8.49	c bounds 24199 >= 2291 @ 4.51665
7.54/8.49	c bounds 24199 >= 2292 @ 4.60737
7.54/8.49	c bounds 24199 >= 2293 @ 4.70482
7.54/8.49	c bounds 24199 >= 2294 @ 4.79299
7.54/8.49	c bounds 24149 >= 2294 @ 5.14426
7.54/8.49	c bounds 24149 >= 2295 @ 5.22363
7.54/8.49	c bounds 24149 >= 2296 @ 5.28405
7.54/8.49	c bounds 24149 >= 2297 @ 5.34606
7.54/8.49	c bounds 24149 >= 2298 @ 5.3865
7.54/8.49	c bounds 24149 >= 2299 @ 5.44614
7.54/8.49	c bounds 24149 >= 2300 @ 5.4788
7.54/8.49	c #Conflicts:       6000 | #Constraints:      13221
7.54/8.49	c bounds 24149 >= 2301 @ 5.52403
7.54/8.49	c bounds 24149 >= 2302 @ 5.58814
7.54/8.49	c bounds 24149 >= 2303 @ 5.62533
7.54/8.49	c bounds 24149 >= 2304 @ 5.66262
7.54/8.49	c bounds 24149 >= 2305 @ 5.70691
7.54/8.49	c bounds 24149 >= 2306 @ 5.74732
7.54/8.49	c bounds 24149 >= 2307 @ 5.77893
7.54/8.49	c bounds 24149 >= 2308 @ 5.83018
7.54/8.49	c bounds 24149 >= 2309 @ 5.89223
7.54/8.49	c bounds 24149 >= 2310 @ 5.94682
7.54/8.49	c bounds 24149 >= 2311 @ 6.00495
7.54/8.49	c bounds 24149 >= 2312 @ 6.09154
7.54/8.49	c bounds 24149 >= 2313 @ 6.14111
7.54/8.49	c bounds 24149 >= 2314 @ 6.25882
7.54/8.49	c bounds 24149 >= 2315 @ 6.36101
7.54/8.49	c bounds 24149 >= 2316 @ 6.42572
7.54/8.49	c bounds 24149 >= 2317 @ 6.45708
7.54/8.49	c bounds 24149 >= 2318 @ 6.48553
7.54/8.49	c bounds 24149 >= 2319 @ 6.49856
7.54/8.49	c bounds 24149 >= 2320 @ 6.5168
7.54/8.49	c bounds 24149 >= 2321 @ 6.52927
7.54/8.49	c bounds 24149 >= 2322 @ 6.53866
7.54/8.49	c bounds 24149 >= 2323 @ 6.54622
7.54/8.49	c bounds 24149 >= 2324 @ 6.55531
7.54/8.49	c bounds 24149 >= 2325 @ 6.56512
7.54/8.49	c bounds 24149 >= 2326 @ 6.57713
7.54/8.49	c bounds 24149 >= 2327 @ 6.58631
7.54/8.49	c bounds 24149 >= 2328 @ 6.6024
7.54/8.49	c bounds 24149 >= 2329 @ 6.61104
7.54/8.49	c bounds 24149 >= 2330 @ 6.61571
7.54/8.49	c INPROCESSING
7.54/8.49	c GARBAGE COLLECT
7.54/8.49	c rational objective 5181.67
13.82/14.75	c bounds 24149 >= 2331 @ 6.66454
13.82/14.75	c bounds 24085 >= 2331 @ 7.19644
13.82/14.75	c bounds 24085 >= 2332 @ 7.20387
13.82/14.75	c bounds 24085 >= 2333 @ 7.21376
13.82/14.75	c bounds 24085 >= 2334 @ 7.23075
13.82/14.75	c bounds 24085 >= 2335 @ 7.24631
13.82/14.75	c bounds 24085 >= 2336 @ 7.25886
13.82/14.75	c bounds 24085 >= 2337 @ 7.28098
13.82/14.75	c bounds 24085 >= 2338 @ 7.29792
13.82/14.75	c bounds 24085 >= 2339 @ 7.31842
13.82/14.75	c #Conflicts:       7000 | #Constraints:      13262
13.82/14.75	c bounds 24085 >= 2340 @ 7.34813
13.82/14.75	c bounds 24085 >= 2341 @ 7.38779
13.82/14.75	c bounds 24085 >= 2342 @ 7.42961
13.82/14.75	c bounds 24085 >= 2343 @ 7.47913
13.82/14.75	c bounds 24085 >= 2344 @ 7.52895
13.82/14.75	c bounds 24085 >= 2345 @ 7.58215
13.82/14.75	c bounds 24085 >= 2346 @ 7.64995
13.82/14.75	c bounds 24085 >= 2347 @ 7.7086
13.82/14.75	c bounds 24085 >= 2348 @ 7.77851
13.82/14.75	c bounds 24085 >= 2349 @ 7.85799
13.82/14.75	c bounds 24085 >= 2350 @ 7.92089
13.82/14.75	c bounds 24085 >= 2351 @ 7.98094
13.82/14.75	c bounds 24085 >= 2352 @ 8.02619
13.82/14.75	c bounds 24085 >= 2353 @ 8.10223
13.82/14.75	c bounds 24085 >= 2354 @ 8.20311
13.82/14.75	c bounds 24085 >= 2355 @ 8.27856
13.82/14.75	c bounds 24085 >= 2356 @ 8.33662
13.82/14.75	c bounds 24085 >= 2357 @ 8.36845
13.82/14.75	c bounds 24085 >= 2358 @ 8.44485
13.82/14.75	c bounds 24085 >= 2359 @ 8.5074
13.82/14.75	c bounds 24085 >= 2360 @ 8.58242
13.82/14.75	c bounds 24085 >= 2361 @ 8.67942
13.82/14.75	c bounds 24085 >= 2362 @ 8.79196
13.82/14.75	c bounds 24085 >= 2363 @ 8.92854
13.82/14.75	c bounds 24085 >= 2364 @ 9.08094
13.82/14.75	c bounds 24085 >= 2365 @ 9.26962
13.82/14.75	c #Conflicts:       8000 | #Constraints:      15501
13.82/14.75	c bounds 24054 >= 2365 @ 9.36468
13.82/14.75	c bounds 24054 >= 2366 @ 9.48135
13.82/14.75	c bounds 24054 >= 2367 @ 9.64241
13.82/14.75	c bounds 24054 >= 2368 @ 9.83723
13.82/14.75	c bounds 23992 >= 2368 @ 9.84943
13.82/14.75	c bounds 23912 >= 2368 @ 9.85571
13.82/14.75	c bounds 23862 >= 2368 @ 10.2982
13.82/14.75	c bounds 23862 >= 2369 @ 10.5121
13.82/14.75	c bounds 23862 >= 2370 @ 10.7243
13.82/14.75	c bounds 23862 >= 2371 @ 10.8389
13.82/14.75	c bounds 23862 >= 2372 @ 11.2344
13.82/14.75	c bounds 23862 >= 2373 @ 11.4363
13.82/14.75	c bounds 23862 >= 2374 @ 11.7517
13.82/14.75	c #Conflicts:       9000 | #Constraints:      17379
13.82/14.75	c bounds 23862 >= 2375 @ 12.0459
13.82/14.75	c bounds 23862 >= 2376 @ 12.538
13.82/14.75	c INPROCESSING
13.82/14.75	c GARBAGE COLLECT
13.82/14.75	c rational objective 5360.12
22.90/23.87	c bounds 23862 >= 2377 @ 12.7883
22.90/23.87	c bounds 23843 >= 2377 @ 13.1701
22.90/23.87	c bounds 23843 >= 2378 @ 13.4233
22.90/23.87	c bounds 23843 >= 2379 @ 13.5385
22.90/23.87	c bounds 23843 >= 2380 @ 13.6475
22.90/23.87	c bounds 23843 >= 2381 @ 13.8388
22.90/23.87	c bounds 23843 >= 2382 @ 13.9256
22.90/23.87	c bounds 23843 >= 2383 @ 14.0174
22.90/23.87	c bounds 23843 >= 2384 @ 14.2234
22.90/23.87	c bounds 23843 >= 2385 @ 14.4719
22.90/23.87	c bounds 23843 >= 2386 @ 14.574
22.90/23.87	c bounds 23843 >= 2387 @ 14.7069
22.90/23.87	c bounds 23843 >= 2388 @ 14.8313
22.90/23.87	c bounds 23843 >= 2389 @ 14.9492
22.90/23.87	c #Conflicts:      10000 | #Constraints:      16855
22.90/23.87	c bounds 23843 >= 2390 @ 15.1447
22.90/23.87	c bounds 23843 >= 2391 @ 15.2812
22.90/23.87	c bounds 23843 >= 2392 @ 15.3905
22.90/23.87	c bounds 23843 >= 2393 @ 15.4937
22.90/23.87	c #Conflicts:      11000 | #Constraints:      17988
22.90/23.87	c bounds 23838 >= 2393 @ 19.0857
22.90/23.87	c bounds 23838 >= 2394 @ 19.2261
22.90/23.87	c bounds 23838 >= 2395 @ 19.3877
22.90/23.87	c bounds 23838 >= 2396 @ 19.5789
22.90/23.87	c bounds 23838 >= 2397 @ 19.7319
22.90/23.87	c bounds 23838 >= 2398 @ 20.0773
22.90/23.87	c bounds 23838 >= 2399 @ 20.2161
22.90/23.87	c bounds 23838 >= 2400 @ 20.3781
22.90/23.87	c bounds 23838 >= 2401 @ 20.5088
22.90/23.87	c bounds 23838 >= 2402 @ 20.6696
22.90/23.87	c bounds 23838 >= 2403 @ 20.9667
22.90/23.87	c bounds 23838 >= 2404 @ 21.3459
22.90/23.87	c #Conflicts:      12000 | #Constraints:      19624
22.90/23.87	c INPROCESSING
22.90/23.87	c GARBAGE COLLECT
22.90/23.87	c rational objective 5396.63
42.75/43.71	c bounds 23838 >= 2405 @ 21.5529
42.75/43.71	c bounds 23838 >= 2406 @ 21.691
42.75/43.71	c bounds 23838 >= 2407 @ 21.8593
42.75/43.71	c bounds 23838 >= 2408 @ 21.9584
42.75/43.71	c bounds 23838 >= 2409 @ 22.0704
42.75/43.71	c bounds 23838 >= 2410 @ 22.1839
42.75/43.71	c bounds 23838 >= 2411 @ 22.3135
42.75/43.71	c bounds 23838 >= 2412 @ 22.3835
42.75/43.71	c bounds 23838 >= 2413 @ 22.5218
42.75/43.71	c bounds 23838 >= 2414 @ 22.5942
42.75/43.71	c bounds 23838 >= 2415 @ 22.6797
42.75/43.71	c bounds 23838 >= 2416 @ 22.7052
42.75/43.71	c bounds 23838 >= 2417 @ 22.7505
42.75/43.71	c bounds 23838 >= 2418 @ 22.7764
42.75/43.71	c bounds 23838 >= 2419 @ 22.815
42.75/43.71	c bounds 23838 >= 2420 @ 22.8685
42.75/43.71	c bounds 23838 >= 2421 @ 22.9151
42.75/43.71	c bounds 23838 >= 2422 @ 22.984
42.75/43.71	c bounds 23838 >= 2423 @ 23.1345
42.75/43.71	c bounds 23838 >= 2424 @ 23.2003
42.75/43.71	c bounds 23838 >= 2425 @ 23.2474
42.75/43.71	c bounds 23838 >= 2426 @ 23.2972
42.75/43.71	c bounds 23838 >= 2427 @ 23.339
42.75/43.71	c bounds 23838 >= 2428 @ 23.378
42.75/43.71	c bounds 23838 >= 2429 @ 23.4147
42.75/43.71	c bounds 23838 >= 2430 @ 23.4529
42.75/43.71	c bounds 23838 >= 2431 @ 23.4925
42.75/43.71	c bounds 23838 >= 2432 @ 23.5277
42.75/43.71	c bounds 23838 >= 2433 @ 23.5546
42.75/43.71	c bounds 23838 >= 2434 @ 23.5943
42.75/43.71	c bounds 23838 >= 2435 @ 23.6267
42.75/43.71	c bounds 23838 >= 2436 @ 23.6623
42.75/43.71	c bounds 23838 >= 2437 @ 23.7075
42.75/43.71	c bounds 23838 >= 2438 @ 23.7451
42.75/43.71	c bounds 23838 >= 2439 @ 23.7959
42.75/43.71	c bounds 23838 >= 2440 @ 23.8401
42.75/43.71	c bounds 23838 >= 2441 @ 23.8765
42.75/43.71	c bounds 23838 >= 2442 @ 23.9175
42.75/43.71	c bounds 23838 >= 2443 @ 23.9576
42.75/43.71	c bounds 23838 >= 2444 @ 24.0175
42.75/43.71	c bounds 23838 >= 2445 @ 24.0662
42.75/43.71	c bounds 23838 >= 2446 @ 24.1124
42.75/43.71	c bounds 23838 >= 2447 @ 24.1833
42.75/43.71	c bounds 23838 >= 2448 @ 24.2299
42.75/43.71	c bounds 23838 >= 2449 @ 24.2711
42.75/43.71	c bounds 23838 >= 2450 @ 24.3153
42.75/43.71	c bounds 23838 >= 2451 @ 24.3453
42.75/43.71	c bounds 23838 >= 2452 @ 24.3908
42.75/43.71	c bounds 23838 >= 2453 @ 24.4482
42.75/43.71	c bounds 23838 >= 2454 @ 24.4952
42.75/43.71	c bounds 23838 >= 2455 @ 24.6736
42.75/43.71	c bounds 23838 >= 2456 @ 24.8768
42.75/43.71	c bounds 23838 >= 2457 @ 25.3317
42.75/43.71	c bounds 23838 >= 2458 @ 26.0373
42.75/43.71	c bounds 23838 >= 2459 @ 26.4632
42.75/43.71	c bounds 23838 >= 2460 @ 26.8728
42.75/43.71	c bounds 23838 >= 2461 @ 27.1523
42.75/43.71	c bounds 23838 >= 2462 @ 27.6171
42.75/43.71	c #Conflicts:      13000 | #Constraints:      19490
42.75/43.71	c bounds 23838 >= 2463 @ 28.0636
42.75/43.71	c bounds 23838 >= 2464 @ 28.8037
42.75/43.71	c bounds 23838 >= 2465 @ 29.3104
42.75/43.71	c bounds 23838 >= 2466 @ 29.6605
42.75/43.71	c bounds 23838 >= 2467 @ 30.0974
42.75/43.71	c bounds 23838 >= 2468 @ 30.6106
42.75/43.71	c bounds 23838 >= 2469 @ 30.8764
42.75/43.71	c bounds 23838 >= 2470 @ 31.6593
42.75/43.71	c bounds 23838 >= 2471 @ 32.4058
42.75/43.71	c bounds 23838 >= 2472 @ 32.8512
42.75/43.71	c bounds 23838 >= 2473 @ 33.412
42.75/43.71	c #Conflicts:      14000 | #Constraints:      21312
42.75/43.71	c bounds 23838 >= 2474 @ 34.0801
42.75/43.71	c bounds 23838 >= 2475 @ 34.5607
42.75/43.71	c bounds 23838 >= 2476 @ 35.0955
42.75/43.71	c bounds 23838 >= 2477 @ 35.4913
42.75/43.71	c bounds 23838 >= 2478 @ 35.9371
42.75/43.71	c bounds 23838 >= 2479 @ 36.1952
42.75/43.71	c bounds 23838 >= 2480 @ 36.4912
42.75/43.71	c bounds 23838 >= 2481 @ 36.6698
42.75/43.71	c bounds 23838 >= 2482 @ 37.0772
42.75/43.71	c bounds 23838 >= 2483 @ 37.2507
42.75/43.71	c bounds 23838 >= 2484 @ 37.7411
42.75/43.71	c bounds 23838 >= 2485 @ 38.0172
42.75/43.71	c bounds 23838 >= 2486 @ 38.7
42.75/43.71	c bounds 23838 >= 2487 @ 39.0841
42.75/43.71	c bounds 23838 >= 2488 @ 39.5315
42.75/43.71	c bounds 23838 >= 2489 @ 39.9816
42.75/43.71	c bounds 23838 >= 2490 @ 40.2632
42.75/43.71	c bounds 23838 >= 2491 @ 40.5295
42.75/43.71	c #Conflicts:      15000 | #Constraints:      23201
42.75/43.71	c INPROCESSING
42.75/43.71	c GARBAGE COLLECT
42.75/43.71	c rational objective 5410.45
58.31/59.34	c bounds 23838 >= 2492 @ 40.8418
58.31/59.34	c bounds 23838 >= 2493 @ 41.2123
58.31/59.34	c bounds 23838 >= 2494 @ 41.6962
58.31/59.34	c bounds 23838 >= 2495 @ 42.0399
58.31/59.34	c bounds 23838 >= 2496 @ 42.3505
58.31/59.34	c bounds 23838 >= 2497 @ 42.6696
58.31/59.34	c bounds 23838 >= 2498 @ 43.3907
58.31/59.34	c bounds 23838 >= 2499 @ 43.775
58.31/59.34	c bounds 23838 >= 2500 @ 43.9809
58.31/59.34	c bounds 23838 >= 2501 @ 44.1816
58.31/59.34	c bounds 23838 >= 2502 @ 44.6014
58.31/59.34	c bounds 23838 >= 2503 @ 44.7977
58.31/59.34	c bounds 23838 >= 2504 @ 45.2839
58.31/59.34	c bounds 23838 >= 2505 @ 45.6465
58.31/59.34	c bounds 23838 >= 2506 @ 46.0684
58.31/59.34	c bounds 23838 >= 2507 @ 46.5865
58.31/59.34	c bounds 23838 >= 2508 @ 47.1799
58.31/59.34	c bounds 23838 >= 2509 @ 47.5046
58.31/59.34	c bounds 23838 >= 2510 @ 47.9382
58.31/59.34	c bounds 23838 >= 2511 @ 48.3052
58.31/59.34	c bounds 23823 >= 2511 @ 48.3636
58.31/59.34	c #Conflicts:      16000 | #Constraints:      22141
58.31/59.34	c bounds 23823 >= 2512 @ 49.0913
58.31/59.34	c bounds 23809 >= 2512 @ 49.118
58.31/59.34	c #Conflicts:      17000 | #Constraints:      23172
58.31/59.34	c #Conflicts:      18000 | #Constraints:      24172
58.31/59.34	c INPROCESSING
58.31/59.34	c GARBAGE COLLECT
58.31/59.34	c rational objective 5410.45
95.92/97.08	c bounds 23809 >= 2513 @ 56.99
95.92/97.08	c bounds 23809 >= 2514 @ 57.6067
95.92/97.08	c bounds 23809 >= 2515 @ 58.2246
95.92/97.08	c bounds 23809 >= 2516 @ 58.6128
95.92/97.08	c bounds 23809 >= 2517 @ 58.8932
95.92/97.08	c bounds 23809 >= 2518 @ 60.434
95.92/97.08	c bounds 23809 >= 2519 @ 61.0608
95.92/97.08	c bounds 23809 >= 2520 @ 61.5044
95.92/97.08	c bounds 23809 >= 2521 @ 61.9436
95.92/97.08	c bounds 23809 >= 2522 @ 62.2303
95.92/97.08	c bounds 23809 >= 2523 @ 62.4844
95.92/97.08	c bounds 23809 >= 2524 @ 62.8334
95.92/97.08	c bounds 23809 >= 2525 @ 63.0714
95.92/97.08	c #Conflicts:      19000 | #Constraints:      22690
95.92/97.08	c bounds 23809 >= 2526 @ 63.2745
95.92/97.08	c bounds 23809 >= 2527 @ 63.4999
95.92/97.08	c bounds 23809 >= 2528 @ 63.9995
95.92/97.08	c bounds 23809 >= 2529 @ 64.4423
95.92/97.08	c bounds 23809 >= 2530 @ 64.6817
95.92/97.08	c bounds 23809 >= 2531 @ 64.8625
95.92/97.08	c bounds 23809 >= 2532 @ 65.1283
95.92/97.08	c bounds 23809 >= 2533 @ 65.2809
95.92/97.08	c bounds 23809 >= 2534 @ 65.6417
95.92/97.08	c bounds 23809 >= 2535 @ 65.9873
95.92/97.08	c bounds 23809 >= 2536 @ 66.2151
95.92/97.08	c bounds 23809 >= 2537 @ 66.7879
95.92/97.08	c bounds 23809 >= 2538 @ 67.09
95.92/97.08	c bounds 23809 >= 2539 @ 67.3142
95.92/97.08	c bounds 23809 >= 2540 @ 67.5548
95.92/97.08	c bounds 23809 >= 2541 @ 68.0536
95.92/97.08	c bounds 23809 >= 2542 @ 68.3172
95.92/97.08	c bounds 23809 >= 2543 @ 69.0268
95.92/97.08	c bounds 23809 >= 2544 @ 69.9146
95.92/97.08	c bounds 23809 >= 2545 @ 70.2913
95.92/97.08	c bounds 23809 >= 2546 @ 71.0163
95.92/97.08	c bounds 23809 >= 2547 @ 71.7251
95.92/97.08	c bounds 23809 >= 2548 @ 72.5854
95.92/97.08	c bounds 23809 >= 2549 @ 73.0478
95.92/97.08	c bounds 23809 >= 2550 @ 73.4109
95.92/97.08	c #Conflicts:      20000 | #Constraints:      24533
95.92/97.08	c bounds 23809 >= 2551 @ 73.705
95.92/97.08	c bounds 23809 >= 2552 @ 74.2257
95.92/97.08	c bounds 23809 >= 2553 @ 74.7286
95.92/97.08	c bounds 23809 >= 2554 @ 75.1106
95.92/97.08	c bounds 23809 >= 2555 @ 75.4555
95.92/97.08	c bounds 23809 >= 2556 @ 76.2428
95.92/97.08	c bounds 23809 >= 2557 @ 77.0706
95.92/97.08	c bounds 23809 >= 2558 @ 78.0629
95.92/97.08	c bounds 23809 >= 2559 @ 79.0812
95.92/97.08	c bounds 23809 >= 2560 @ 79.6091
95.92/97.08	c bounds 23809 >= 2561 @ 79.8524
95.92/97.08	c bounds 23809 >= 2562 @ 80.5246
95.92/97.08	c bounds 23809 >= 2563 @ 80.7904
95.92/97.08	c bounds 23809 >= 2564 @ 81.0649
95.92/97.08	c bounds 23809 >= 2565 @ 81.7055
95.92/97.08	c bounds 23809 >= 2566 @ 82.2406
95.92/97.08	c bounds 23809 >= 2567 @ 82.8788
95.92/97.08	c bounds 23809 >= 2568 @ 83.5143
95.92/97.08	c bounds 23809 >= 2569 @ 84.3034
95.92/97.08	c bounds 23809 >= 2570 @ 84.8366
95.92/97.08	c #Conflicts:      21000 | #Constraints:      26359
95.92/97.08	c bounds 23809 >= 2571 @ 85.635
95.92/97.08	c bounds 23809 >= 2572 @ 86.2401
95.92/97.08	c bounds 23809 >= 2573 @ 86.6768
95.92/97.08	c bounds 23809 >= 2574 @ 87.2565
95.92/97.08	c bounds 23809 >= 2575 @ 87.7509
95.92/97.08	c bounds 23809 >= 2576 @ 88.1746
95.92/97.08	c bounds 23809 >= 2577 @ 88.8829
95.92/97.08	c bounds 23809 >= 2578 @ 89.5362
95.92/97.08	c bounds 23809 >= 2579 @ 90.0613
95.92/97.08	c bounds 23809 >= 2580 @ 90.9977
95.92/97.08	c bounds 23809 >= 2581 @ 91.8651
95.92/97.08	c bounds 23809 >= 2582 @ 92.2998
95.92/97.08	c bounds 23809 >= 2583 @ 92.9406
95.92/97.08	c INPROCESSING
95.92/97.08	c GARBAGE COLLECT
95.92/97.08	c rational objective 5412.15
139.21/140.41	c bounds 23809 >= 2584 @ 95.1641
139.21/140.41	c bounds 23809 >= 2585 @ 96.7074
139.21/140.41	c #Conflicts:      22000 | #Constraints:      25013
139.21/140.41	c bounds 23809 >= 2586 @ 97.8254
139.21/140.41	c bounds 23809 >= 2587 @ 98.2973
139.21/140.41	c bounds 23809 >= 2588 @ 98.6871
139.21/140.41	c bounds 23809 >= 2589 @ 99.7702
139.21/140.41	c bounds 23809 >= 2590 @ 100.848
139.21/140.41	c bounds 23809 >= 2591 @ 101.544
139.21/140.41	c bounds 23809 >= 2592 @ 102.592
139.21/140.41	c bounds 23809 >= 2593 @ 103.667
139.21/140.41	c bounds 23809 >= 2594 @ 104.479
139.21/140.41	c bounds 23809 >= 2595 @ 105.131
139.21/140.41	c bounds 23809 >= 2596 @ 105.97
139.21/140.41	c bounds 23809 >= 2597 @ 106.54
139.21/140.41	c bounds 23809 >= 2598 @ 107.591
139.21/140.41	c bounds 23809 >= 2599 @ 108.253
139.21/140.41	c bounds 23809 >= 2600 @ 108.972
139.21/140.41	c #Conflicts:      23000 | #Constraints:      26853
139.21/140.41	c bounds 23809 >= 2601 @ 109.843
139.21/140.41	c bounds 23809 >= 2602 @ 111.379
139.21/140.41	c bounds 23809 >= 2603 @ 112.237
139.21/140.41	c bounds 23809 >= 2604 @ 112.614
139.21/140.41	c bounds 23809 >= 2605 @ 113.281
139.21/140.41	c bounds 23809 >= 2606 @ 114.358
139.21/140.41	c bounds 23809 >= 2607 @ 114.826
139.21/140.41	c bounds 23809 >= 2608 @ 115.297
139.21/140.41	c bounds 23809 >= 2609 @ 116.04
139.21/140.41	c bounds 23809 >= 2610 @ 117.149
139.21/140.41	c bounds 23809 >= 2611 @ 117.884
139.21/140.41	c bounds 23809 >= 2612 @ 118.781
139.21/140.41	c bounds 23809 >= 2613 @ 119.325
139.21/140.41	c bounds 23809 >= 2614 @ 120.263
139.21/140.41	c bounds 23809 >= 2615 @ 121.051
139.21/140.41	c bounds 23809 >= 2616 @ 121.525
139.21/140.41	c bounds 23809 >= 2617 @ 122.137
139.21/140.41	c bounds 23809 >= 2618 @ 122.995
139.21/140.41	c bounds 23809 >= 2619 @ 123.527
139.21/140.41	c bounds 23809 >= 2620 @ 124.259
139.21/140.41	c bounds 23809 >= 2621 @ 124.875
139.21/140.41	c #Conflicts:      24000 | #Constraints:      28705
139.21/140.41	c bounds 23809 >= 2622 @ 126.257
139.21/140.41	c bounds 23809 >= 2623 @ 126.907
139.21/140.41	c bounds 23809 >= 2624 @ 127.484
139.21/140.41	c bounds 23809 >= 2625 @ 128.182
139.21/140.41	c bounds 23809 >= 2626 @ 128.697
139.21/140.41	c bounds 23809 >= 2627 @ 129.727
139.21/140.41	c bounds 23809 >= 2628 @ 130.686
139.21/140.41	c bounds 23809 >= 2629 @ 131.282
139.21/140.41	c bounds 23809 >= 2630 @ 132.216
139.21/140.41	c bounds 23809 >= 2631 @ 132.863
139.21/140.41	c bounds 23809 >= 2632 @ 133.526
139.21/140.41	c bounds 23809 >= 2633 @ 134.131
139.21/140.41	c #Conflicts:      25000 | #Constraints:      30228
139.21/140.41	c INPROCESSING
139.21/140.41	c GARBAGE COLLECT
139.21/140.41	c rational objective 5412.82
187.30/188.69	c bounds 23809 >= 2634 @ 137.675
187.30/188.69	c bounds 23809 >= 2635 @ 139.1
187.30/188.69	c bounds 23809 >= 2636 @ 140.594
187.30/188.69	c bounds 23809 >= 2637 @ 142.513
187.30/188.69	c bounds 23809 >= 2638 @ 146.83
187.30/188.69	c #Conflicts:      26000 | #Constraints:      28202
187.30/188.69	c bounds 23809 >= 2639 @ 148.93
187.30/188.69	c bounds 23809 >= 2640 @ 151.537
187.30/188.69	c bounds 23809 >= 2641 @ 152.681
187.30/188.69	c bounds 23809 >= 2642 @ 154.371
187.30/188.69	c bounds 23809 >= 2643 @ 155.457
187.30/188.69	c bounds 23809 >= 2644 @ 157.566
187.30/188.69	c bounds 23809 >= 2645 @ 159.933
187.30/188.69	c #Conflicts:      27000 | #Constraints:      29733
187.30/188.69	c bounds 23809 >= 2646 @ 162.562
187.30/188.69	c bounds 23800 >= 2646 @ 164.583
187.30/188.69	c #Conflicts:      28000 | #Constraints:      30840
187.30/188.69	c bounds 23800 >= 2647 @ 167.101
187.30/188.69	c bounds 23800 >= 2648 @ 169.245
187.30/188.69	c bounds 23800 >= 2649 @ 171.92
187.30/188.69	c bounds 23800 >= 2650 @ 173.571
187.30/188.69	c bounds 23800 >= 2651 @ 175.652
187.30/188.69	c bounds 23800 >= 2652 @ 178.283
187.30/188.69	c bounds 23800 >= 2653 @ 179.577
187.30/188.69	c bounds 23800 >= 2654 @ 180.267
187.30/188.69	c bounds 23800 >= 2655 @ 181.564
187.30/188.69	c #Conflicts:      29000 | #Constraints:      32504
187.30/188.69	c INPROCESSING
187.30/188.69	c GARBAGE COLLECT
187.30/188.69	c rational objective 5412.82
235.67/237.12	c bounds 23800 >= 2656 @ 184.559
235.67/237.12	c bounds 23800 >= 2657 @ 186.118
235.67/237.12	c bounds 23696 >= 2657 @ 187.279
235.67/237.12	c bounds 23696 >= 2658 @ 191.181
235.67/237.12	c bounds 23696 >= 2659 @ 193.201
235.67/237.12	c #Conflicts:      30000 | #Constraints:      30274
235.67/237.12	c bounds 23696 >= 2660 @ 196.145
235.67/237.12	c bounds 23696 >= 2661 @ 197.403
235.67/237.12	c bounds 23696 >= 2662 @ 198.741
235.67/237.12	c bounds 23696 >= 2663 @ 199.581
235.67/237.12	c bounds 23696 >= 2664 @ 201.284
235.67/237.12	c bounds 23696 >= 2665 @ 202.597
235.67/237.12	c bounds 23670 >= 2665 @ 202.626
235.67/237.12	c #Conflicts:      31000 | #Constraints:      31596
235.67/237.12	c bounds 23650 >= 2665 @ 210.205
235.67/237.12	c #Conflicts:      32000 | #Constraints:      32598
235.67/237.12	c bounds 23650 >= 2666 @ 212.593
235.67/237.12	c bounds 23650 >= 2667 @ 215.597
235.67/237.12	c bounds 23650 >= 2668 @ 216.927
235.67/237.12	c bounds 23650 >= 2669 @ 218.399
235.67/237.12	c bounds 23650 >= 2670 @ 221.815
235.67/237.12	c bounds 23650 >= 2671 @ 223.347
235.67/237.12	c bounds 23650 >= 2672 @ 226.722
235.67/237.12	c bounds 23650 >= 2673 @ 228.436
235.67/237.12	c bounds 23650 >= 2674 @ 230.947
235.67/237.12	c #Conflicts:      33000 | #Constraints:      34240
235.67/237.12	c INPROCESSING
235.67/237.12	c GARBAGE COLLECT
235.67/237.12	c rational objective 5418.31
312.78/314.40	c bounds 23650 >= 2675 @ 233.062
312.78/314.40	c bounds 23650 >= 2676 @ 236.253
312.78/314.40	c bounds 23650 >= 2677 @ 239.691
312.78/314.40	c bounds 23650 >= 2678 @ 241.409
312.78/314.40	c bounds 23650 >= 2679 @ 243.465
312.78/314.40	c bounds 23650 >= 2680 @ 245.29
312.78/314.40	c bounds 23650 >= 2681 @ 246.725
312.78/314.40	c #Conflicts:      34000 | #Constraints:      31779
312.78/314.40	c bounds 23650 >= 2682 @ 249.772
312.78/314.40	c bounds 23650 >= 2683 @ 251.422
312.78/314.40	c bounds 23650 >= 2684 @ 252.792
312.78/314.40	c bounds 23650 >= 2685 @ 254.653
312.78/314.40	c bounds 23650 >= 2686 @ 255.954
312.78/314.40	c bounds 23650 >= 2687 @ 257.811
312.78/314.40	c bounds 23650 >= 2688 @ 259.223
312.78/314.40	c bounds 23650 >= 2689 @ 261.1
312.78/314.40	c bounds 23650 >= 2690 @ 263.688
312.78/314.40	c bounds 23650 >= 2691 @ 264.826
312.78/314.40	c bounds 23650 >= 2692 @ 267.299
312.78/314.40	c #Conflicts:      35000 | #Constraints:      33382
312.78/314.40	c bounds 23650 >= 2693 @ 269.113
312.78/314.40	c bounds 23650 >= 2694 @ 271.002
312.78/314.40	c bounds 23650 >= 2695 @ 273.076
312.78/314.40	c bounds 23650 >= 2696 @ 274.356
312.78/314.40	c bounds 23650 >= 2697 @ 275.535
312.78/314.40	c bounds 23650 >= 2698 @ 276.469
312.78/314.40	c bounds 23650 >= 2699 @ 277.788
312.78/314.40	c bounds 23650 >= 2700 @ 279.819
312.78/314.40	c bounds 23650 >= 2701 @ 282.491
312.78/314.40	c bounds 23650 >= 2702 @ 284.152
312.78/314.40	c bounds 23650 >= 2703 @ 287.336
312.78/314.40	c bounds 23650 >= 2704 @ 289.881
312.78/314.40	c bounds 23650 >= 2705 @ 292.041
312.78/314.40	c #Conflicts:      36000 | #Constraints:      35072
312.78/314.40	c bounds 23650 >= 2706 @ 296.373
312.78/314.40	c bounds 23650 >= 2707 @ 298.753
312.78/314.40	c bounds 23650 >= 2708 @ 300.583
312.78/314.40	c bounds 23650 >= 2709 @ 302.903
312.78/314.40	c bounds 23650 >= 2710 @ 305.106
312.78/314.40	c bounds 23641 >= 2710 @ 305.134
312.78/314.40	c #Conflicts:      37000 | #Constraints:      36443
312.78/314.40	c INPROCESSING
312.78/314.40	c GARBAGE COLLECT
312.78/314.40	c rational objective 5421.99
376.34/378.13	c #Conflicts:      38000 | #Constraints:      33349
376.34/378.13	c bounds 23641 >= 2711 @ 320.112
376.34/378.13	c bounds 23641 >= 2712 @ 322.911
376.34/378.13	c bounds 23641 >= 2713 @ 328.705
376.34/378.13	c bounds 23641 >= 2714 @ 336.151
376.34/378.13	c #Conflicts:      39000 | #Constraints:      34742
376.34/378.13	c bounds 23641 >= 2715 @ 341.796
376.34/378.13	c bounds 23641 >= 2716 @ 345.327
376.34/378.13	c bounds 23641 >= 2717 @ 349.509
376.34/378.13	c bounds 23641 >= 2718 @ 354.131
376.34/378.13	c #Conflicts:      40000 | #Constraints:      36058
376.34/378.13	c bounds 23640 >= 2718 @ 358.486
376.34/378.13	c #Conflicts:      41000 | #Constraints:      37059
376.34/378.13	c bounds 23640 >= 2719 @ 363.522
376.34/378.13	c bounds 23640 >= 2720 @ 367.978
376.34/378.13	c INPROCESSING
376.34/378.13	c GARBAGE COLLECT
376.34/378.13	c rational objective 5423.28
430.42/432.38	c bounds 23640 >= 2721 @ 374.47
430.42/432.38	c #Conflicts:      42000 | #Constraints:      34175
430.42/432.38	c bounds 23640 >= 2722 @ 379.84
430.42/432.38	c bounds 23640 >= 2723 @ 387.291
430.42/432.38	c bounds 23640 >= 2724 @ 392.933
430.42/432.38	c bounds 23640 >= 2725 @ 397.569
430.42/432.38	c #Conflicts:      43000 | #Constraints:      35550
430.42/432.38	c bounds 23640 >= 2726 @ 404.151
430.42/432.38	c #Conflicts:      44000 | #Constraints:      36613
430.42/432.38	c bounds 23640 >= 2727 @ 409.661
430.42/432.38	c bounds 23640 >= 2728 @ 414.017
430.42/432.38	c bounds 23640 >= 2729 @ 418.636
430.42/432.38	c #Conflicts:      45000 | #Constraints:      37872
430.42/432.38	c #Conflicts:      46000 | #Constraints:      38873
430.42/432.38	c INPROCESSING
430.42/432.38	c GARBAGE COLLECT
430.42/432.38	c rational objective 5423.28
529.00/531.19	c bounds 23640 >= 2730 @ 437.238
529.00/531.19	c #Conflicts:      47000 | #Constraints:      35635
529.00/531.19	c bounds 23640 >= 2731 @ 455.144
529.00/531.19	c #Conflicts:      48000 | #Constraints:      36768
529.00/531.19	c bounds 23640 >= 2732 @ 465.2
529.00/531.19	c bounds 23640 >= 2733 @ 480.426
529.00/531.19	c #Conflicts:      49000 | #Constraints:      38011
529.00/531.19	c bounds 23640 >= 2734 @ 489.445
529.00/531.19	c bounds 23640 >= 2735 @ 494.273
529.00/531.19	c bounds 23640 >= 2736 @ 499.863
529.00/531.19	c bounds 23640 >= 2737 @ 504.589
529.00/531.19	c bounds 23640 >= 2738 @ 510.491
529.00/531.19	c #Conflicts:      50000 | #Constraints:      39435
529.00/531.19	c bounds 23638 >= 2738 @ 510.856
529.00/531.19	c bounds 23638 >= 2739 @ 519.88
529.00/531.19	c bounds 23619 >= 2739 @ 519.915
529.00/531.19	c #Conflicts:      51000 | #Constraints:      40540
529.00/531.19	c INPROCESSING
529.00/531.19	c GARBAGE COLLECT
529.00/531.19	c rational objective 5423.28
604.02/606.35	c bounds 23619 >= 2740 @ 535.786
604.02/606.35	c #Conflicts:      52000 | #Constraints:      37034
604.02/606.35	c bounds 23619 >= 2741 @ 549.659
604.02/606.35	c bounds 23619 >= 2742 @ 557.921
604.02/606.35	c #Conflicts:      53000 | #Constraints:      38263
604.02/606.35	c bounds 23402 >= 2742 @ 559.501
604.02/606.35	c bounds 23402 >= 2743 @ 564.5
604.02/606.35	c bounds 23402 >= 2744 @ 571.744
604.02/606.35	c bounds 23402 >= 2745 @ 580.199
604.02/606.35	c #Conflicts:      54000 | #Constraints:      39519
604.02/606.35	c #Conflicts:      55000 | #Constraints:      40520
604.02/606.35	c #Conflicts:      56000 | #Constraints:      41520
604.02/606.35	c INPROCESSING
604.02/606.35	c GARBAGE COLLECT
604.02/606.35	c rational objective 5424.38
761.76/764.43	c bounds 23402 >= 2746 @ 612.374
761.76/764.43	c bounds 23402 >= 2747 @ 621.863
761.76/764.43	c #Conflicts:      57000 | #Constraints:      38031
761.76/764.43	c bounds 23402 >= 2748 @ 637.577
761.76/764.43	c #Conflicts:      58000 | #Constraints:      39166
761.76/764.43	c bounds 23402 >= 2749 @ 657.585
761.76/764.43	c bounds 23402 >= 2750 @ 673.236
761.76/764.43	c #Conflicts:      59000 | #Constraints:      40448
761.76/764.43	c bounds 23402 >= 2751 @ 682.901
761.76/764.43	c bounds 23402 >= 2752 @ 696.355
761.76/764.43	c #Conflicts:      60000 | #Constraints:      41664
761.76/764.43	c bounds 23402 >= 2753 @ 713.732
761.76/764.43	c bounds 23402 >= 2754 @ 724.313
761.76/764.43	c bounds 23402 >= 2755 @ 732.742
761.76/764.43	c bounds 23402 >= 2756 @ 741.766
761.76/764.43	c #Conflicts:      61000 | #Constraints:      43033
761.76/764.43	c bounds 23402 >= 2757 @ 747.122
761.76/764.43	c INPROCESSING
761.76/764.43	c GARBAGE COLLECT
761.76/764.43	c rational objective 5449.53
848.94/851.87	c bounds 23402 >= 2758 @ 757.661
848.94/851.87	c bounds 23402 >= 2759 @ 767.661
848.94/851.87	c bounds 23402 >= 2760 @ 778.046
848.94/851.87	c #Conflicts:      62000 | #Constraints:      39569
848.94/851.87	c bounds 23402 >= 2761 @ 792.82
848.94/851.87	c bounds 23402 >= 2762 @ 796.341
848.94/851.87	c bounds 23402 >= 2763 @ 802.973
848.94/851.87	c #Conflicts:      63000 | #Constraints:      40827
848.94/851.87	c #Conflicts:      64000 | #Constraints:      41827
848.94/851.87	c #Conflicts:      65000 | #Constraints:      42828
848.94/851.87	c #Conflicts:      66000 | #Constraints:      43828
848.94/851.87	c INPROCESSING
848.94/851.87	c GARBAGE COLLECT
848.94/851.87	c rational objective 5449.94
1055.05/1058.48	c #Conflicts:      67000 | #Constraints:      39580
1055.05/1058.48	c bounds 23402 >= 2764 @ 856.271
1055.05/1058.48	c bounds 23402 >= 2765 @ 874.004
1055.05/1058.48	c bounds 23402 >= 2766 @ 885.078
1055.05/1058.48	c #Conflicts:      68000 | #Constraints:      40922
1055.05/1058.48	c bounds 23402 >= 2767 @ 892.951
1055.05/1058.48	c bounds 23402 >= 2768 @ 921.637
1055.05/1058.48	c #Conflicts:      69000 | #Constraints:      42145
1055.05/1058.48	c bounds 23402 >= 2769 @ 935.861
1055.05/1058.48	c bounds 23402 >= 2770 @ 947.179
1055.05/1058.48	c #Conflicts:      70000 | #Constraints:      43331
1055.05/1058.48	c bounds 23402 >= 2771 @ 961.804
1055.05/1058.48	c bounds 23402 >= 2772 @ 974.712
1055.05/1058.48	c bounds 23402 >= 2773 @ 986.369
1055.05/1058.48	c bounds 23402 >= 2774 @ 994.832
1055.05/1058.48	c #Conflicts:      71000 | #Constraints:      44676
1055.05/1058.48	c bounds 23402 >= 2775 @ 1016.03
1055.05/1058.48	c bounds 23402 >= 2776 @ 1023.29
1055.05/1058.48	c bounds 23402 >= 2777 @ 1034.89
1055.05/1058.48	c #Conflicts:      72000 | #Constraints:      45991
1055.05/1058.48	c INPROCESSING
1055.05/1058.48	c GARBAGE COLLECT
1055.05/1058.48	c rational objective 5473.62
1201.41/1205.65	c bounds 23402 >= 2778 @ 1049.42
1201.41/1205.65	c bounds 23402 >= 2779 @ 1062.06
1201.41/1205.65	c bounds 23402 >= 2780 @ 1070.92
1201.41/1205.65	c #Conflicts:      73000 | #Constraints:      41923
1201.41/1205.65	c bounds 23402 >= 2781 @ 1078.92
1201.41/1205.65	c bounds 23402 >= 2782 @ 1089.58
1201.41/1205.65	c bounds 23402 >= 2783 @ 1102.06
1201.41/1205.65	c #Conflicts:      74000 | #Constraints:      43217
1201.41/1205.65	c bounds 23402 >= 2784 @ 1119.43
1201.41/1205.65	c bounds 23402 >= 2785 @ 1127.07
1201.41/1205.65	c bounds 23402 >= 2786 @ 1133.39
1201.41/1205.65	c bounds 23402 >= 2787 @ 1141.42
1201.41/1205.65	c bounds 23402 >= 2788 @ 1147.79
1201.41/1205.65	c #Conflicts:      75000 | #Constraints:      44533
1201.41/1205.65	c bounds 23402 >= 2789 @ 1158.18
1201.41/1205.65	c bounds 23402 >= 2790 @ 1161.21
1201.41/1205.65	c bounds 23402 >= 2791 @ 1167.7
1201.41/1205.65	c #Conflicts:      76000 | #Constraints:      45713
1201.41/1205.65	c #Conflicts:      77000 | #Constraints:      46714
1201.41/1205.65	c #Conflicts:      78000 | #Constraints:      47714
1201.41/1205.65	c INPROCESSING
1201.41/1205.65	c GARBAGE COLLECT
1201.41/1205.65	c rational objective 5473.62
1451.59/1456.59	c bounds 23402 >= 2792 @ 1195.61
1451.59/1456.59	c bounds 23402 >= 2793 @ 1199.62
1451.59/1456.59	c bounds 23402 >= 2794 @ 1205.28
1451.59/1456.59	c bounds 23402 >= 2795 @ 1208.14
1451.59/1456.59	c bounds 23402 >= 2796 @ 1211.58
1451.59/1456.59	c bounds 23402 >= 2797 @ 1216.02
1451.59/1456.59	c bounds 23402 >= 2798 @ 1219.27
1451.59/1456.59	c bounds 23402 >= 2799 @ 1223.77
1451.59/1456.59	c bounds 23402 >= 2800 @ 1226.38
1451.59/1456.59	c #Conflicts:      79000 | #Constraints:      43492
1451.59/1456.59	c bounds 23402 >= 2801 @ 1228.68
1451.59/1456.59	c bounds 23402 >= 2802 @ 1232.46
1451.59/1456.59	c bounds 23402 >= 2803 @ 1237.14
1451.59/1456.59	c bounds 23402 >= 2804 @ 1239.34
1451.59/1456.59	c bounds 23402 >= 2805 @ 1240.6
1451.59/1456.59	c bounds 23402 >= 2806 @ 1242.93
1451.59/1456.59	c bounds 23402 >= 2807 @ 1245.64
1451.59/1456.59	c bounds 23402 >= 2808 @ 1246.98
1451.59/1456.59	c bounds 23402 >= 2809 @ 1249.19
1451.59/1456.59	c bounds 23402 >= 2810 @ 1253.95
1451.59/1456.59	c bounds 23402 >= 2811 @ 1255.51
1451.59/1456.59	c bounds 23402 >= 2812 @ 1257.23
1451.59/1456.59	c bounds 23402 >= 2813 @ 1260.04
1451.59/1456.59	c bounds 23402 >= 2814 @ 1263.36
1451.59/1456.59	c bounds 23402 >= 2815 @ 1266.27
1451.59/1456.59	c bounds 23402 >= 2816 @ 1269.55
1451.59/1456.59	c bounds 23402 >= 2817 @ 1274.71
1451.59/1456.59	c #Conflicts:      80000 | #Constraints:      45173
1451.59/1456.59	c bounds 23402 >= 2818 @ 1276.56
1451.59/1456.59	c bounds 23402 >= 2819 @ 1278.64
1451.59/1456.59	c bounds 23402 >= 2820 @ 1280.32
1451.59/1456.59	c bounds 23402 >= 2821 @ 1282.75
1451.59/1456.59	c bounds 23402 >= 2822 @ 1284.35
1451.59/1456.59	c bounds 23402 >= 2823 @ 1287.56
1451.59/1456.59	c bounds 23402 >= 2824 @ 1291.37
1451.59/1456.59	c bounds 23402 >= 2825 @ 1293.27
1451.59/1456.59	c bounds 23402 >= 2826 @ 1294.86
1451.59/1456.59	c bounds 23402 >= 2827 @ 1298.55
1451.59/1456.59	c bounds 23402 >= 2828 @ 1302.48
1451.59/1456.59	c bounds 23402 >= 2829 @ 1305.09
1451.59/1456.59	c bounds 23402 >= 2830 @ 1306.86
1451.59/1456.59	c bounds 23402 >= 2831 @ 1310.33
1451.59/1456.59	c bounds 23402 >= 2832 @ 1312.25
1451.59/1456.59	c bounds 23402 >= 2833 @ 1315.13
1451.59/1456.59	c bounds 23402 >= 2834 @ 1317.37
1451.59/1456.59	c bounds 23402 >= 2835 @ 1319.61
1451.59/1456.59	c bounds 23402 >= 2836 @ 1321.31
1451.59/1456.59	c bounds 23402 >= 2837 @ 1323.39
1451.59/1456.59	c bounds 23402 >= 2838 @ 1324.85
1451.59/1456.59	c bounds 23402 >= 2839 @ 1326.3
1451.59/1456.59	c bounds 23402 >= 2840 @ 1328.93
1451.59/1456.59	c #Conflicts:      81000 | #Constraints:      46992
1451.59/1456.59	c bounds 23402 >= 2841 @ 1331.5
1451.59/1456.59	c bounds 23402 >= 2842 @ 1333.79
1451.59/1456.59	c bounds 23402 >= 2843 @ 1335.39
1451.59/1456.59	c bounds 23402 >= 2844 @ 1341.61
1451.59/1456.59	c bounds 23402 >= 2845 @ 1344.21
1451.59/1456.59	c bounds 23402 >= 2846 @ 1345.38
1451.59/1456.59	c bounds 23402 >= 2847 @ 1347.91
1451.59/1456.59	c bounds 23402 >= 2848 @ 1349.81
1451.59/1456.59	c bounds 23402 >= 2849 @ 1354.49
1451.59/1456.59	c bounds 23402 >= 2850 @ 1356.36
1451.59/1456.59	c bounds 23402 >= 2851 @ 1358.88
1451.59/1456.59	c bounds 23402 >= 2852 @ 1361.28
1451.59/1456.59	c bounds 23402 >= 2853 @ 1363.7
1451.59/1456.59	c bounds 23402 >= 2854 @ 1367.13
1451.59/1456.59	c bounds 23402 >= 2855 @ 1370.26
1451.59/1456.59	c bounds 23402 >= 2856 @ 1373.59
1451.59/1456.59	c bounds 23402 >= 2857 @ 1376.91
1451.59/1456.59	c bounds 23402 >= 2858 @ 1384.15
1451.59/1456.59	c bounds 23402 >= 2859 @ 1386.67
1451.59/1456.59	c bounds 23402 >= 2860 @ 1388.22
1451.59/1456.59	c #Conflicts:      82000 | #Constraints:      48892
1451.59/1456.59	c bounds 23402 >= 2861 @ 1392.05
1451.59/1456.59	c bounds 23402 >= 2862 @ 1395.22
1451.59/1456.59	c bounds 23402 >= 2863 @ 1399.51
1451.59/1456.59	c bounds 23402 >= 2864 @ 1403.05
1451.59/1456.59	c bounds 23402 >= 2865 @ 1405.41
1451.59/1456.59	c bounds 23402 >= 2866 @ 1409.43
1451.59/1456.59	c bounds 23402 >= 2867 @ 1411.54
1451.59/1456.59	c bounds 23402 >= 2868 @ 1413.22
1451.59/1456.59	c bounds 23402 >= 2869 @ 1416.6
1451.59/1456.59	c bounds 23402 >= 2870 @ 1419.33
1451.59/1456.59	c bounds 23402 >= 2871 @ 1421.72
1451.59/1456.59	c bounds 23402 >= 2872 @ 1423.79
1451.59/1456.59	c bounds 23402 >= 2873 @ 1428.23
1451.59/1456.59	c #Conflicts:      83000 | #Constraints:      50492
1451.59/1456.59	c #Conflicts:      84000 | #Constraints:      51492
1451.59/1456.59	c INPROCESSING
1451.59/1456.59	c GARBAGE COLLECT
1451.59/1456.59	c rational objective 5473.62
1672.96/1678.58	c bounds 23402 >= 2874 @ 1445.15
1672.96/1678.58	c bounds 23402 >= 2875 @ 1447.48
1672.96/1678.58	c bounds 23402 >= 2876 @ 1450.38
1672.96/1678.58	c bounds 23402 >= 2877 @ 1453.08
1672.96/1678.58	c bounds 23402 >= 2878 @ 1455.25
1672.96/1678.58	c bounds 23402 >= 2879 @ 1460.54
1672.96/1678.58	c bounds 23402 >= 2880 @ 1462.44
1672.96/1678.58	c bounds 23402 >= 2881 @ 1465.93
1672.96/1678.58	c bounds 23402 >= 2882 @ 1470.97
1672.96/1678.58	c bounds 23402 >= 2883 @ 1473.04
1672.96/1678.58	c bounds 23402 >= 2884 @ 1475.27
1672.96/1678.58	c bounds 23402 >= 2885 @ 1479.22
1672.96/1678.58	c bounds 23402 >= 2886 @ 1486.84
1672.96/1678.58	c bounds 23402 >= 2887 @ 1490.35
1672.96/1678.58	c #Conflicts:      85000 | #Constraints:      47258
1672.96/1678.58	c bounds 23402 >= 2888 @ 1493.94
1672.96/1678.58	c bounds 23402 >= 2889 @ 1496.85
1672.96/1678.58	c bounds 23402 >= 2890 @ 1499.04
1672.96/1678.58	c bounds 23402 >= 2891 @ 1501.3
1672.96/1678.58	c bounds 23402 >= 2892 @ 1503.44
1672.96/1678.58	c bounds 23402 >= 2893 @ 1506.72
1672.96/1678.58	c bounds 23402 >= 2894 @ 1509.87
1672.96/1678.58	c bounds 23402 >= 2895 @ 1512.36
1672.96/1678.58	c bounds 23402 >= 2896 @ 1516.24
1672.96/1678.58	c bounds 23402 >= 2897 @ 1518.3
1672.96/1678.58	c bounds 23402 >= 2898 @ 1520.86
1672.96/1678.58	c bounds 23402 >= 2899 @ 1523.61
1672.96/1678.58	c bounds 23402 >= 2900 @ 1526.31
1672.96/1678.58	c bounds 23402 >= 2901 @ 1530.19
1672.96/1678.58	c bounds 23402 >= 2902 @ 1532.04
1672.96/1678.58	c bounds 23402 >= 2903 @ 1535.2
1672.96/1678.58	c bounds 23402 >= 2904 @ 1538.01
1672.96/1678.58	c bounds 23402 >= 2905 @ 1540.07
1672.96/1678.58	c bounds 23402 >= 2906 @ 1542.3
1672.96/1678.58	c bounds 23402 >= 2907 @ 1544.65
1672.96/1678.58	c bounds 23402 >= 2908 @ 1548.83
1672.96/1678.58	c bounds 23402 >= 2909 @ 1552.36
1672.96/1678.58	c bounds 23402 >= 2910 @ 1554.63
1672.96/1678.58	c #Conflicts:      86000 | #Constraints:      49168
1672.96/1678.58	c bounds 23402 >= 2911 @ 1558.72
1672.96/1678.58	c bounds 23402 >= 2912 @ 1562.03
1672.96/1678.58	c bounds 23402 >= 2913 @ 1563.89
1672.96/1678.58	c bounds 23402 >= 2914 @ 1567.69
1672.96/1678.58	c bounds 23402 >= 2915 @ 1569.68
1672.96/1678.58	c bounds 23402 >= 2916 @ 1572.79
1672.96/1678.58	c bounds 23402 >= 2917 @ 1574.4
1672.96/1678.58	c bounds 23402 >= 2918 @ 1576.88
1672.96/1678.58	c bounds 23402 >= 2919 @ 1581.59
1672.96/1678.58	c bounds 23402 >= 2920 @ 1583.24
1672.96/1678.58	c bounds 23402 >= 2921 @ 1585.45
1672.96/1678.58	c bounds 23402 >= 2922 @ 1588.02
1672.96/1678.58	c bounds 23402 >= 2923 @ 1589.89
1672.96/1678.58	c bounds 23402 >= 2924 @ 1592.11
1672.96/1678.58	c bounds 23402 >= 2925 @ 1593.79
1672.96/1678.58	c bounds 23402 >= 2926 @ 1595.85
1672.96/1678.58	c bounds 23402 >= 2927 @ 1598.03
1672.96/1678.58	c bounds 23402 >= 2928 @ 1600.03
1672.96/1678.58	c bounds 23402 >= 2929 @ 1602.11
1672.96/1678.58	c bounds 23402 >= 2930 @ 1604.94
1672.96/1678.58	c bounds 23402 >= 2931 @ 1607.07
1672.96/1678.58	c bounds 23402 >= 2932 @ 1609.3
1672.96/1678.58	c bounds 23402 >= 2933 @ 1611.03
1672.96/1678.58	c bounds 23402 >= 2934 @ 1614.86
1672.96/1678.58	c bounds 23402 >= 2935 @ 1617.56
1672.96/1678.58	c bounds 23402 >= 2936 @ 1621.07
1672.96/1678.58	c bounds 23402 >= 2937 @ 1622.98
1672.96/1678.58	c bounds 23402 >= 2938 @ 1624.76
1672.96/1678.58	c #Conflicts:      87000 | #Constraints:      51104
1672.96/1678.58	c bounds 23402 >= 2939 @ 1628.27
1672.96/1678.58	c bounds 23402 >= 2940 @ 1630.03
1672.96/1678.58	c #Conflicts:      88000 | #Constraints:      52171
1672.96/1678.58	c #Conflicts:      89000 | #Constraints:      53171
1672.96/1678.58	c #Conflicts:      90000 | #Constraints:      54172
1672.96/1678.58	c INPROCESSING
1672.96/1678.58	c GARBAGE COLLECT
1672.96/1678.58	c rational objective 5473.62
2018.86/2025.48	c bounds 23402 >= 2941 @ 1663.11
2018.86/2025.48	c bounds 23402 >= 2942 @ 1667.24
2018.86/2025.48	c bounds 23402 >= 2943 @ 1670.86
2018.86/2025.48	c bounds 23402 >= 2944 @ 1675.23
2018.86/2025.48	c bounds 23402 >= 2945 @ 1677.61
2018.86/2025.48	c bounds 23402 >= 2946 @ 1679.62
2018.86/2025.48	c bounds 23402 >= 2947 @ 1682.19
2018.86/2025.48	c bounds 23402 >= 2948 @ 1688.35
2018.86/2025.48	c bounds 23402 >= 2949 @ 1691.93
2018.86/2025.48	c bounds 23402 >= 2950 @ 1698.53
2018.86/2025.48	c bounds 23402 >= 2951 @ 1701.04
2018.86/2025.48	c bounds 23402 >= 2952 @ 1706.19
2018.86/2025.48	c bounds 23402 >= 2953 @ 1708.43
2018.86/2025.48	c #Conflicts:      91000 | #Constraints:      49714
2018.86/2025.48	c bounds 23402 >= 2954 @ 1712.71
2018.86/2025.48	c bounds 23402 >= 2955 @ 1715.25
2018.86/2025.48	c bounds 23402 >= 2956 @ 1717.86
2018.86/2025.48	c bounds 23402 >= 2957 @ 1719.88
2018.86/2025.48	c bounds 23402 >= 2958 @ 1724.96
2018.86/2025.48	c bounds 23402 >= 2959 @ 1729.64
2018.86/2025.48	c bounds 23402 >= 2960 @ 1731.32
2018.86/2025.48	c bounds 23402 >= 2961 @ 1734.08
2018.86/2025.48	c bounds 23402 >= 2962 @ 1738.25
2018.86/2025.48	c bounds 23402 >= 2963 @ 1742.18
2018.86/2025.48	c bounds 23402 >= 2964 @ 1744.62
2018.86/2025.48	c bounds 23402 >= 2965 @ 1746.31
2018.86/2025.48	c bounds 23402 >= 2966 @ 1750.38
2018.86/2025.48	c bounds 23402 >= 2967 @ 1754.71
2018.86/2025.48	c bounds 23402 >= 2968 @ 1757.92
2018.86/2025.48	c bounds 23402 >= 2969 @ 1761.02
2018.86/2025.48	c bounds 23402 >= 2970 @ 1764.68
2018.86/2025.48	c bounds 23402 >= 2971 @ 1768.33
2018.86/2025.48	c bounds 23402 >= 2972 @ 1770.48
2018.86/2025.48	c bounds 23402 >= 2973 @ 1772.71
2018.86/2025.48	c bounds 23402 >= 2974 @ 1777.12
2018.86/2025.48	c #Conflicts:      92000 | #Constraints:      51602
2018.86/2025.48	c bounds 23402 >= 2975 @ 1781.13
2018.86/2025.48	c bounds 23402 >= 2976 @ 1784.29
2018.86/2025.48	c bounds 23402 >= 2977 @ 1787.45
2018.86/2025.48	c bounds 23402 >= 2978 @ 1790.82
2018.86/2025.48	c bounds 23402 >= 2979 @ 1796.3
2018.86/2025.48	c bounds 23402 >= 2980 @ 1799.74
2018.86/2025.48	c bounds 23402 >= 2981 @ 1804.41
2018.86/2025.48	c bounds 23402 >= 2982 @ 1811.49
2018.86/2025.48	c bounds 23402 >= 2983 @ 1817.36
2018.86/2025.48	c bounds 23402 >= 2984 @ 1821.57
2018.86/2025.48	c bounds 23402 >= 2985 @ 1827.46
2018.86/2025.48	c bounds 23402 >= 2986 @ 1835.44
2018.86/2025.48	c bounds 23402 >= 2987 @ 1842.12
2018.86/2025.48	c bounds 23402 >= 2988 @ 1845.68
2018.86/2025.48	c bounds 23402 >= 2989 @ 1851.9
2018.86/2025.48	c #Conflicts:      93000 | #Constraints:      53394
2018.86/2025.48	c bounds 23402 >= 2990 @ 1857.22
2018.86/2025.48	c bounds 23402 >= 2991 @ 1862.98
2018.86/2025.48	c bounds 23402 >= 2992 @ 1868.92
2018.86/2025.48	c bounds 23402 >= 2993 @ 1872.73
2018.86/2025.48	c bounds 23402 >= 2994 @ 1879.4
2018.86/2025.48	c bounds 23402 >= 2995 @ 1889.1
2018.86/2025.48	c bounds 23402 >= 2996 @ 1894.24
2018.86/2025.48	c bounds 23402 >= 2997 @ 1900.57
2018.86/2025.48	c bounds 23402 >= 2998 @ 1905.45
2018.86/2025.48	c bounds 23402 >= 2999 @ 1912.06
2018.86/2025.48	c bounds 23402 >= 3000 @ 1917.25
2018.86/2025.48	c #Conflicts:      94000 | #Constraints:      55019
2018.86/2025.48	c bounds 23402 >= 3001 @ 1922.54
2018.86/2025.48	c bounds 23402 >= 3002 @ 1927.55
2018.86/2025.48	c bounds 23402 >= 3003 @ 1933.38
2018.86/2025.48	c bounds 23402 >= 3004 @ 1942.01
2018.86/2025.48	c bounds 23402 >= 3005 @ 1944.55
2018.86/2025.48	c bounds 23402 >= 3006 @ 1950.26
2018.86/2025.48	c bounds 23402 >= 3007 @ 1956.41
2018.86/2025.48	c bounds 23402 >= 3008 @ 1960.81
2018.86/2025.48	c bounds 23402 >= 3009 @ 1966.85
2018.86/2025.48	c bounds 23402 >= 3010 @ 1972.71
2018.86/2025.48	c bounds 23402 >= 3011 @ 1979.36
2018.86/2025.48	c bounds 23402 >= 3012 @ 1986.02
2018.86/2025.48	c #Conflicts:      95000 | #Constraints:      56766
2018.86/2025.48	c bounds 23402 >= 3013 @ 1992.46
2018.86/2025.48	c #Conflicts:      96000 | #Constraints:      57811
2018.86/2025.48	c INPROCESSING
2018.86/2025.48	c GARBAGE COLLECT
2018.86/2025.48	c rational objective 5473.62
2241.23/2248.48	c bounds 23402 >= 3014 @ 2012.73
2241.23/2248.48	c bounds 23402 >= 3015 @ 2026.6
2241.23/2248.48	c #Conflicts:      97000 | #Constraints:      52723
2241.23/2248.48	c bounds 23402 >= 3016 @ 2040.23
2241.23/2248.48	c bounds 23402 >= 3017 @ 2042.88
2241.23/2248.48	c bounds 23402 >= 3018 @ 2047.86
2241.23/2248.48	c bounds 23402 >= 3019 @ 2054.12
2241.23/2248.48	c bounds 23402 >= 3020 @ 2056.84
2241.23/2248.48	c bounds 23402 >= 3021 @ 2060.49
2241.23/2248.48	c bounds 23402 >= 3022 @ 2062.97
2241.23/2248.48	c bounds 23402 >= 3023 @ 2070.06
2241.23/2248.48	c bounds 23402 >= 3024 @ 2073.83
2241.23/2248.48	c bounds 23402 >= 3025 @ 2079.61
2241.23/2248.48	c bounds 23402 >= 3026 @ 2086.43
2241.23/2248.48	c bounds 23402 >= 3027 @ 2090.01
2241.23/2248.48	c bounds 23402 >= 3028 @ 2094.47
2241.23/2248.48	c #Conflicts:      98000 | #Constraints:      54388
2241.23/2248.48	c bounds 23402 >= 3029 @ 2101.51
2241.23/2248.48	c bounds 23402 >= 3030 @ 2108.88
2241.23/2248.48	c bounds 23402 >= 3031 @ 2113.84
2241.23/2248.48	c bounds 23402 >= 3032 @ 2117.06
2241.23/2248.48	c bounds 23402 >= 3033 @ 2122.2
2241.23/2248.48	c bounds 23402 >= 3034 @ 2126.53
2241.23/2248.48	c bounds 23402 >= 3035 @ 2133.33
2241.23/2248.48	c bounds 23402 >= 3036 @ 2140.92
2241.23/2248.48	c bounds 23402 >= 3037 @ 2146.96
2241.23/2248.48	c bounds 23402 >= 3038 @ 2150.99
2241.23/2248.48	c bounds 23402 >= 3039 @ 2156.35
2241.23/2248.48	c bounds 23402 >= 3040 @ 2160.69
2241.23/2248.48	c #Conflicts:      99000 | #Constraints:      55986
2241.23/2248.48	c bounds 23402 >= 3041 @ 2165.44
2241.23/2248.48	c bounds 23402 >= 3042 @ 2170.75
2241.23/2248.48	c bounds 23402 >= 3043 @ 2175.14
2241.23/2248.48	c bounds 23402 >= 3044 @ 2181.7
2241.23/2248.48	c bounds 23402 >= 3045 @ 2189.29
2241.23/2248.48	c #Conflicts:     100000 | #Constraints:      57245
2241.23/2248.48	c #Conflicts:     101000 | #Constraints:      58245
2241.23/2248.48	c #Conflicts:     102000 | #Constraints:      59245
2241.23/2248.48	c #Conflicts:     103000 | #Constraints:      60245
2241.23/2248.48	c INPROCESSING
2241.23/2248.48	c GARBAGE COLLECT
2241.23/2248.48	c rational objective 5473.62
2699.13/2707.62	c bounds 23402 >= 3046 @ 2238.04
2699.13/2707.62	c bounds 23402 >= 3047 @ 2248.74
2699.13/2707.62	c bounds 23402 >= 3048 @ 2259.54
2699.13/2707.62	c bounds 23402 >= 3049 @ 2264
2699.13/2707.62	c bounds 23402 >= 3050 @ 2269.31
2699.13/2707.62	c bounds 23402 >= 3051 @ 2281.98
2699.13/2707.62	c #Conflicts:     104000 | #Constraints:      55340
2699.13/2707.62	c bounds 23402 >= 3052 @ 2294.51
2699.13/2707.62	c bounds 23402 >= 3053 @ 2306.92
2699.13/2707.62	c bounds 23402 >= 3054 @ 2313.81
2699.13/2707.62	c bounds 23402 >= 3055 @ 2325.64
2699.13/2707.62	c bounds 23402 >= 3056 @ 2332.37
2699.13/2707.62	c bounds 23402 >= 3057 @ 2341.29
2699.13/2707.62	c bounds 23402 >= 3058 @ 2345.41
2699.13/2707.62	c #Conflicts:     105000 | #Constraints:      56813
2699.13/2707.62	c bounds 23402 >= 3059 @ 2351.04
2699.13/2707.62	c bounds 23402 >= 3060 @ 2365.44
2699.13/2707.62	c bounds 23402 >= 3061 @ 2372.69
2699.13/2707.62	c bounds 23402 >= 3062 @ 2382.74
2699.13/2707.62	c bounds 23402 >= 3063 @ 2389.29
2699.13/2707.62	c bounds 23402 >= 3064 @ 2406.1
2699.13/2707.62	c bounds 23402 >= 3065 @ 2416.1
2699.13/2707.62	c #Conflicts:     106000 | #Constraints:      58319
2699.13/2707.62	c bounds 23402 >= 3066 @ 2426.3
2699.13/2707.62	c bounds 23402 >= 3067 @ 2432.61
2699.13/2707.62	c bounds 23402 >= 3068 @ 2440.89
2699.13/2707.62	c bounds 23402 >= 3069 @ 2447.24
2699.13/2707.62	c bounds 23402 >= 3070 @ 2458.79
2699.13/2707.62	c bounds 23402 >= 3071 @ 2466.55
2699.13/2707.62	c bounds 23402 >= 3072 @ 2476.21
2699.13/2707.62	c bounds 23402 >= 3073 @ 2490.35
2699.13/2707.62	c #Conflicts:     107000 | #Constraints:      59887
2699.13/2707.62	c bounds 23402 >= 3074 @ 2496.83
2699.13/2707.62	c bounds 23402 >= 3075 @ 2503.74
2699.13/2707.62	c bounds 23402 >= 3076 @ 2516.42
2699.13/2707.62	c bounds 23402 >= 3077 @ 2534
2699.13/2707.62	c bounds 23402 >= 3078 @ 2541.63
2699.13/2707.62	c bounds 23402 >= 3079 @ 2548.66
2699.13/2707.62	c bounds 23402 >= 3080 @ 2571.8
2699.13/2707.62	c #Conflicts:     108000 | #Constraints:      61363
2699.13/2707.62	c bounds 23402 >= 3081 @ 2582.49
2699.13/2707.62	c bounds 23402 >= 3082 @ 2590.64
2699.13/2707.62	c bounds 23402 >= 3083 @ 2602.4
2699.13/2707.62	c bounds 23402 >= 3084 @ 2617.25
2699.13/2707.62	c bounds 23402 >= 3085 @ 2625.65
2699.13/2707.62	c bounds 23402 >= 3086 @ 2638.61
2699.13/2707.62	c bounds 23402 >= 3087 @ 2659.85
2699.13/2707.62	c #Conflicts:     109000 | #Constraints:      62887
2699.13/2707.62	c bounds 23402 >= 3088 @ 2675.18
2699.13/2707.62	c #Conflicts:     110000 | #Constraints:      63967
2699.13/2707.62	c INPROCESSING
2699.13/2707.62	c GARBAGE COLLECT
2699.13/2707.62	c rational objective 5473.62
2950.30/2959.50	c bounds 23402 >= 3089 @ 2694.18
2950.30/2959.50	c bounds 23402 >= 3090 @ 2719.59
2950.30/2959.50	c bounds 23402 >= 3091 @ 2736.66
2950.30/2959.50	c bounds 23402 >= 3092 @ 2754.36
2950.30/2959.50	c bounds 23402 >= 3093 @ 2769
2950.30/2959.50	c #Conflicts:     111000 | #Constraints:      58789
2950.30/2959.50	c bounds 23402 >= 3094 @ 2781.92
2950.30/2959.50	c bounds 23402 >= 3095 @ 2801.2
2950.30/2959.50	c bounds 23402 >= 3096 @ 2817.5
2950.30/2959.50	c bounds 23402 >= 3097 @ 2836.46
2950.30/2959.50	c bounds 23402 >= 3098 @ 2844.82
2950.30/2959.50	c bounds 23402 >= 3099 @ 2854.78
2950.30/2959.50	c #Conflicts:     112000 | #Constraints:      60242
2950.30/2959.50	c bounds 23402 >= 3100 @ 2867.18
2950.30/2959.50	c bounds 23402 >= 3101 @ 2880.19
2950.30/2959.50	c #Conflicts:     113000 | #Constraints:      61369
2950.30/2959.50	c #Conflicts:     114000 | #Constraints:      62369
2950.30/2959.50	c #Conflicts:     115000 | #Constraints:      63370
2950.30/2959.50	c #Conflicts:     116000 | #Constraints:      64370
2950.30/2959.50	c #Conflicts:     117000 | #Constraints:      65370
2950.30/2959.50	c INPROCESSING
2950.30/2959.50	c GARBAGE COLLECT
2950.30/2959.50	c rational objective 5474.02
3532.15/3543.05	c bounds 23402 >= 3102 @ 2979.23
3532.15/3543.05	c bounds 23402 >= 3103 @ 2993.02
3532.15/3543.05	c bounds 23402 >= 3104 @ 3005.43
3532.15/3543.05	c #Conflicts:     118000 | #Constraints:      59947
3532.15/3543.05	c bounds 23402 >= 3105 @ 3019.27
3532.15/3543.05	c bounds 23402 >= 3106 @ 3027.63
3532.15/3543.05	c bounds 23402 >= 3107 @ 3035.55
3532.15/3543.05	c bounds 23402 >= 3108 @ 3045.21
3532.15/3543.05	c bounds 23402 >= 3109 @ 3056.19
3532.15/3543.05	c bounds 23402 >= 3110 @ 3069.55
3532.15/3543.05	c bounds 23402 >= 3111 @ 3083.16
3532.15/3543.05	c bounds 23402 >= 3112 @ 3095.1
3532.15/3543.05	c #Conflicts:     119000 | #Constraints:      61494
3532.15/3543.05	c bounds 23402 >= 3113 @ 3109.5
3532.15/3543.05	c bounds 23402 >= 3114 @ 3120.22
3532.15/3543.05	c bounds 23402 >= 3115 @ 3133.1
3532.15/3543.05	c bounds 23402 >= 3116 @ 3142.45
3532.15/3543.05	c bounds 23402 >= 3117 @ 3152.21
3532.15/3543.05	c bounds 23402 >= 3118 @ 3162.41
3532.15/3543.05	c bounds 23402 >= 3119 @ 3171.15
3532.15/3543.05	c bounds 23402 >= 3120 @ 3186.26
3532.15/3543.05	c bounds 23402 >= 3121 @ 3200.79
3532.15/3543.05	c #Conflicts:     120000 | #Constraints:      63061
3532.15/3543.05	c bounds 23402 >= 3122 @ 3209.68
3532.15/3543.05	c bounds 23402 >= 3123 @ 3219.71
3532.15/3543.05	c bounds 23402 >= 3124 @ 3226.83
3532.15/3543.05	c bounds 23402 >= 3125 @ 3237.81
3532.15/3543.05	c bounds 23402 >= 3126 @ 3250.39
3532.15/3543.05	c bounds 23402 >= 3127 @ 3260.12
3532.15/3543.05	c bounds 23402 >= 3128 @ 3270.11
3532.15/3543.05	c bounds 23402 >= 3129 @ 3282.65
3532.15/3543.05	c bounds 23402 >= 3130 @ 3290.08
3532.15/3543.05	c bounds 23402 >= 3131 @ 3295.87
3532.15/3543.05	c bounds 23402 >= 3132 @ 3303.17
3532.15/3543.05	c #Conflicts:     121000 | #Constraints:      64608
3532.15/3543.05	c bounds 23402 >= 3133 @ 3312.27
3532.15/3543.05	c bounds 23402 >= 3134 @ 3319.12
3532.15/3543.05	c bounds 23402 >= 3135 @ 3333.31
3532.15/3543.05	c bounds 23402 >= 3136 @ 3342.97
3532.15/3543.05	c bounds 23402 >= 3137 @ 3354.79
3532.15/3543.05	c bounds 23402 >= 3138 @ 3367.17
3532.15/3543.05	c bounds 23402 >= 3139 @ 3374.02
3532.15/3543.05	c bounds 23402 >= 3140 @ 3380.82
3532.15/3543.05	c bounds 23402 >= 3141 @ 3386.45
3532.15/3543.05	c bounds 23402 >= 3142 @ 3404.29
3532.15/3543.05	c bounds 23402 >= 3143 @ 3414.01
3532.15/3543.05	c #Conflicts:     122000 | #Constraints:      66200
3532.15/3543.05	c bounds 23402 >= 3144 @ 3419.9
3532.15/3543.05	c bounds 23402 >= 3145 @ 3427.93
3532.15/3543.05	c bounds 23402 >= 3146 @ 3435.73
3532.15/3543.05	c bounds 23402 >= 3147 @ 3441.63
3532.15/3543.05	c bounds 23402 >= 3148 @ 3452.53
3532.15/3543.05	c bounds 23402 >= 3149 @ 3460.56
3532.15/3543.05	c bounds 23402 >= 3150 @ 3467.78
3532.15/3543.05	c bounds 23402 >= 3151 @ 3473.82
3532.15/3543.05	c bounds 23402 >= 3152 @ 3482.34
3532.15/3543.05	c bounds 23402 >= 3153 @ 3490.42
3532.15/3543.05	c bounds 23402 >= 3154 @ 3499.68
3532.15/3543.05	c #Conflicts:     123000 | #Constraints:      67759
3532.15/3543.05	c #Conflicts:     124000 | #Constraints:      68759
3532.15/3543.05	c INPROCESSING
3532.15/3543.05	c GARBAGE COLLECT
3532.15/3543.05	c rational objective 5474.02
3600.06/3611.10	c bounds 23402 >= 3155 @ 3526.52
3600.06/3611.10	c bounds 23402 >= 3156 @ 3542.67
3600.06/3611.10	c bounds 23402 >= 3157 @ 3558.72
3600.06/3611.10	c Program interrupted by user.
3600.06/3611.10	c cpu time 3581.11 s
3600.06/3611.10	c deterministic time 61971264317 6.20e+10
3600.06/3611.10	c optimization time 24.4346 s
3600.06/3611.10	c total solve time 3556.67 s
3600.06/3611.10	c core-guided solve time 3271.43 s
3600.06/3611.10	c propagation time 475.077 s
3600.06/3611.10	c conflict analysis time 3081.29 s
3600.06/3611.10	c propagations 164415889
3600.06/3611.10	c resolve steps 54346784
3600.06/3611.10	c decisions 8254829
3600.06/3611.10	c conflicts 124926
3600.06/3611.10	c restarts 333
3600.06/3611.10	c inprocessing phases 27
3600.06/3611.10	c input clauses 17260
3600.06/3611.10	c input cardinalities 1460
3600.06/3611.10	c input general constraints 36075
3600.06/3611.10	c input average constraint length 29.27
3600.06/3611.10	c input average constraint degree 133.07
3600.06/3611.10	c learned clauses 62010
3600.06/3611.10	c learned cardinalities 2
3600.06/3611.10	c learned general constraints 64046
3600.06/3611.10	c learned average constraint length 1588.34
3600.06/3611.10	c learned average constraint degree 90802127.34
3600.06/3611.10	c watched constraints 64715
3600.06/3611.10	c counting constraints 35406
3600.06/3611.10	c gcd simplifications 8272
3600.06/3611.10	c detected cardinalities 3
3600.06/3611.10	c weakened non-implied lits 3021151
3600.06/3611.10	c weakened non-implying lits 258161
3600.06/3611.10	c original variables 548
3600.06/3611.10	c clausal propagations 9626991
3600.06/3611.10	c cardinality propagations 295063
3600.06/3611.10	c watched propagations 5214991
3600.06/3611.10	c counting propagations 144776229
3600.06/3611.10	c watch lookups 9585830532
3600.06/3611.10	c watch backjump lookups 9152854641
3600.06/3611.10	c watch checks 35342688817
3600.06/3611.10	c propagation checks 3816152262
3600.06/3611.10	c constraint additions 3728157696
3600.06/3611.10	c trail pops 172782890
3600.06/3611.10	c formula constraints 166
3600.06/3611.10	c learned constraints 125976
3600.06/3611.10	c bound constraints 98
3600.06/3611.10	c core-guided constraints 54531
3600.06/3611.10	c encountered formula constraints 108208
3600.06/3611.10	c encountered learned constraints 3759911
3600.06/3611.10	c encountered bound constraints 1243
3600.06/3611.10	c encountered core-guided constraints 50579953
3600.06/3611.10	c LP total time 5.78476 s
3600.06/3611.10	c LP solve time 4.69 s
3600.06/3611.10	c LP constraints added 217
3600.06/3611.10	c LP constraints removed 20
3600.06/3611.10	c LP pivots internal 124945
3600.06/3611.10	c LP pivots root 1815
3600.06/3611.10	c LP calls 24377
3600.06/3611.10	c LP optimalities 24336
3600.06/3611.10	c LP no pivot count 17313
3600.06/3611.10	c LP infeasibilities 41
3600.06/3611.10	c LP valid Farkas constraints 41
3600.06/3611.10	c LP learned Farkas constraints 41
3600.06/3611.10	c LP basis resets 0
3600.06/3611.10	c LP cycling count 0
3600.06/3611.10	c LP singular count 0
3600.06/3611.10	c LP no primal count 0
3600.06/3611.10	c LP no farkas count 0
3600.06/3611.10	c LP other issue count 0
3600.06/3611.10	c LP Gomory cuts 0
3600.06/3611.10	c LP learned cuts 51
3600.06/3611.10	c LP deleted cuts 20
3600.06/3611.10	c LP encountered Gomory constraints 0
3600.06/3611.10	c LP encountered Farkas constraints 19852
3600.06/3611.10	c LP encountered learned Farkas constraints 2502
3600.06/3611.10	c CG auxiliary variables introduced 18656
3600.06/3611.10	c CG solutions found 98
3600.06/3611.10	c CG cores constructed 1437
3600.06/3611.10	c CG core cardinality constraints returned 0
3600.06/3611.10	c CG unit cores 0
3600.06/3611.10	c CG single cores 396
3600.06/3611.10	c CG blocks removed during cardinality reduction 197
3600.06/3611.10	c CG first core best 0
3600.06/3611.10	c CG decision core best 9
3600.06/3611.10	c CG core reduction tie 1032
3600.06/3611.10	c CG core degree average 1.00
3600.06/3611.10	c CG core slack average 33.78
3600.06/3611.10	s SATISFIABLE
3600.06/3611.10	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

OK	23402

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (63437 MiB free)
  memory of node 1: 64473 MiB (63846 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462490-1722340764/watcher-4462490-1722340764 -o /tmp/evaluation-result-4462490-1722340764/solver-4462490-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6034 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462490-1722340764 --lp-cut-gomory=0 HOME/instance-4462490-1722340764.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=6101, runsolver pid=6098

[startup+0.100099 s]*
/proc/loadavg: 0.05 0.09 0.09 1/252 6102
/proc/meminfo: memFree=130337060/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=37376 memory=2628 CPUtime=0 cores=5,7
/proc/6101/stat : 6101 (roundingsat) D 6098 6101 6021 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 464573 38273024 657 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB

[startup+0.205062 s]*
/proc/loadavg: 0.05 0.09 0.09 2/254 6108
/proc/meminfo: memFree=130327508/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=37376 memory=2628 CPUtime=0 cores=5,7
/proc/6101/stat : 6101 (roundingsat) D 6098 6101 6021 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 464573 38273024 657 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB

[startup+0.30458 s]*
/proc/loadavg: 0.29 0.14 0.10 3/253 6117
/proc/meminfo: memFree=130310016/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=37376 memory=2628 CPUtime=0 cores=5,7
/proc/6101/stat : 6101 (roundingsat) D 6098 6101 6021 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 464573 38273024 657 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB

[startup+0.700147 s]
/proc/loadavg: 0.29 0.14 0.10 2/251 6120
/proc/meminfo: memFree=130303492/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=37376 memory=2628 CPUtime=0 cores=5,7
/proc/6101/stat : 6101 (roundingsat) D 6098 6101 6021 0 -1 4194304 214 0 0 0 0 0 0 0 20 0 1 0 464573 38273024 657 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB

[startup+1.50016 s]
/proc/loadavg: 0.29 0.14 0.10 3/249 6135
/proc/meminfo: memFree=130289952/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=43680 memory=17684 CPUtime=0.66 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 2252 0 0 0 45 21 0 0 20 0 1 0 464573 44728320 4421 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 10920 4421 1883 992 0 2778 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 43680 KiB
Current children cumulated memory: 17684 KiB

[startup+3.10572 s]
/proc/loadavg: 0.29 0.14 0.10 5/257 6188
/proc/meminfo: memFree=130114812/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=50964 memory=25068 CPUtime=2.26 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 4584 0 0 0 178 48 0 0 20 0 1 0 464573 52187136 6267 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 12741 6267 1883 992 0 4599 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 50964 KiB
Current children cumulated memory: 25068 KiB
heavy processes:

[startup+6.30021 s]
/proc/loadavg: 0.59 0.21 0.12 5/261 6194
/proc/meminfo: memFree=129466812/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=58224 memory=31660 CPUtime=5.45 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 6838 0 0 0 459 86 0 0 20 0 1 0 464573 59621376 7915 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 14556 7915 1883 992 0 6414 0
Current children cumulated CPU time: 5.45 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 31660 KiB

[startup+12.7002 s]
/proc/loadavg: 0.86 0.27 0.14 5/262 6195
/proc/meminfo: memFree=129052548/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=75736 memory=44416 CPUtime=11.83 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 11821 0 0 0 1062 121 0 0 20 0 1 0 464573 77553664 11104 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 18934 11104 1883 992 0 10792 0
Current children cumulated CPU time: 11.83 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 44416 KiB

[startup+25.5002 s]
/proc/loadavg: 1.42 0.41 0.19 5/262 6196
/proc/meminfo: memFree=128630752/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=89632 memory=56768 CPUtime=24.6 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 18324 0 0 0 2296 164 0 0 20 0 1 0 464573 91783168 14192 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 22408 14192 1883 992 0 14266 0
Current children cumulated CPU time: 24.6 s
Current children cumulated vsize: 89632 KiB
Current children cumulated memory: 56768 KiB

[startup+51.1057 s]
/proc/loadavg: 2.44 0.75 0.31 5/262 6201
/proc/meminfo: memFree=127560772/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=95180 memory=61276 CPUtime=50.14 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 36824 0 0 0 4801 213 0 0 20 0 1 0 464573 97464320 15319 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 23795 15319 1883 992 0 15653 0
Current children cumulated CPU time: 50.14 s
Current children cumulated vsize: 95180 KiB
Current children cumulated memory: 61276 KiB

[startup+102.3 s]
/proc/loadavg: 3.36 1.27 0.51 5/263 6223
/proc/meminfo: memFree=126234620/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=110648 memory=75148 CPUtime=101.21 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 54100 0 0 0 9832 289 0 0 20 0 1 0 464573 113303552 18787 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 27662 18787 1883 992 0 19520 0
Current children cumulated CPU time: 101.21 s
Current children cumulated vsize: 110648 KiB
Current children cumulated memory: 75148 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.80 0.75 5/263 6234
/proc/meminfo: memFree=124337048/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=134800 memory=94076 CPUtime=161.06 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 76545 0 0 0 15750 356 0 0 20 0 1 0 464573 138035200 23519 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 33700 23519 1883 992 0 25558 0
Current children cumulated CPU time: 161.06 s
Current children cumulated vsize: 134800 KiB
Current children cumulated memory: 94076 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.25 0.97 5/264 6248
/proc/meminfo: memFree=121206104/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=141072 memory=107252 CPUtime=220.91 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 90288 0 0 0 21661 430 0 0 20 0 1 0 464573 144457728 26813 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 35268 26813 1883 992 0 27126 0
Current children cumulated CPU time: 220.91 s
Current children cumulated vsize: 141072 KiB
Current children cumulated memory: 107252 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 2.60 1.17 5/262 6259
/proc/meminfo: memFree=120556276/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=141292 memory=112840 CPUtime=280.75 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 102272 0 0 0 27600 475 0 0 20 0 1 0 464573 144683008 28210 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 35323 28210 1883 992 0 27181 0
Current children cumulated CPU time: 280.75 s
Current children cumulated vsize: 141292 KiB
Current children cumulated memory: 112840 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 2.87 1.36 5/260 6269
/proc/meminfo: memFree=119984528/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=162348 memory=126524 CPUtime=340.62 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 108301 0 0 0 33544 518 0 0 20 0 1 0 464573 166244352 31631 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 40587 31631 1883 992 0 32445 0
Current children cumulated CPU time: 340.62 s
Current children cumulated vsize: 162348 KiB
Current children cumulated memory: 126524 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.09 1.53 5/260 6280
/proc/meminfo: memFree=119403700/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=165852 memory=130140 CPUtime=400.48 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 112229 0 0 0 39484 564 0 0 20 0 1 0 464573 169832448 32535 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 41463 32535 1883 992 0 33321 0
Current children cumulated CPU time: 400.48 s
Current children cumulated vsize: 165852 KiB
Current children cumulated memory: 130140 KiB

[startup+462.3 s]
/proc/loadavg: 4.44 3.37 1.72 5/259 6290
/proc/meminfo: memFree=117614336/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=167680 memory=131244 CPUtime=460.35 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 114229 0 0 0 45423 612 0 0 20 0 1 0 464573 171704320 32811 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0

################
# More data... #
################

Current children cumulated memory: 324624 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.13 4.02 5/262 7392
/proc/meminfo: memFree=33903304/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=420680 memory=327792 CPUtime=2973.03 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 272399 0 0 0 295559 1744 0 0 20 0 1 0 464573 430776320 81948 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 105170 81948 1883 992 0 97028 0
Current children cumulated CPU time: 2973.03 s
Current children cumulated vsize: 420680 KiB
Current children cumulated memory: 327792 KiB

[startup+3042.3 s]
/proc/loadavg: 4.22 4.17 4.03 6/261 7402
/proc/meminfo: memFree=31007224/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=423424 memory=330512 CPUtime=3032.87 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 275332 0 0 0 301531 1756 0 0 20 0 1 0 464573 433586176 82628 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 105856 82628 1883 992 0 97714 0
Current children cumulated CPU time: 3032.87 s
Current children cumulated vsize: 423424 KiB
Current children cumulated memory: 330512 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.17 4.04 5/263 7417
/proc/meminfo: memFree=28741864/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=423928 memory=331048 CPUtime=3092.7 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 275528 0 0 0 307500 1770 0 0 20 0 1 0 464573 434102272 82762 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 105982 82762 1883 992 0 97840 0
Current children cumulated CPU time: 3092.7 s
Current children cumulated vsize: 423928 KiB
Current children cumulated memory: 331048 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.18 4.05 5/265 7429
/proc/meminfo: memFree=26005532/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=424104 memory=331092 CPUtime=3152.53 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 277736 0 0 0 313471 1782 0 0 20 0 1 0 464573 434282496 82773 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 106026 82773 1883 992 0 97884 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 424104 KiB
Current children cumulated memory: 331092 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.21 4.07 5/264 7440
/proc/meminfo: memFree=23305932/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=420184 memory=327104 CPUtime=3212.36 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 278185 0 0 0 319441 1795 0 0 20 0 1 0 464573 430268416 81776 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 105046 81776 1883 992 0 96904 0
Current children cumulated CPU time: 3212.36 s
Current children cumulated vsize: 420184 KiB
Current children cumulated memory: 327104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.07 5/263 7452
/proc/meminfo: memFree=20496280/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=424348 memory=331456 CPUtime=3272.19 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 280949 0 0 0 325411 1808 0 0 20 0 1 0 464573 434532352 82864 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 106087 82864 1883 992 0 97945 0
Current children cumulated CPU time: 3272.19 s
Current children cumulated vsize: 424348 KiB
Current children cumulated memory: 331456 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.18 4.08 5/263 7463
/proc/meminfo: memFree=17818532/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=424348 memory=331680 CPUtime=3332.03 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 281920 0 0 0 331381 1822 0 0 20 0 1 0 464573 434532352 82920 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 106087 82920 1883 992 0 97945 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 424348 KiB
Current children cumulated memory: 331680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.08 5/263 7858
/proc/meminfo: memFree=15732504/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=424348 memory=331680 CPUtime=3391.85 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 281935 0 0 0 337352 1833 0 0 20 0 1 0 464573 434532352 82920 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 106087 82920 1883 992 0 97945 0
Current children cumulated CPU time: 3391.85 s
Current children cumulated vsize: 424348 KiB
Current children cumulated memory: 331680 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.08 5/261 7870
/proc/meminfo: memFree=13429416/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=421312 memory=328472 CPUtime=3451.69 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 283402 0 0 0 343321 1848 0 0 20 0 1 0 464573 431423488 82118 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 105328 82118 1883 992 0 97186 0
Current children cumulated CPU time: 3451.69 s
Current children cumulated vsize: 421312 KiB
Current children cumulated memory: 328472 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/262 7882
/proc/meminfo: memFree=11714148/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=424840 memory=336124 CPUtime=3511.52 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 286763 0 0 0 349288 1864 0 0 20 0 1 0 464573 435036160 84031 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 106210 84031 1883 992 0 98068 0
Current children cumulated CPU time: 3511.52 s
Current children cumulated vsize: 424840 KiB
Current children cumulated memory: 336124 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 8063
/proc/meminfo: memFree=9805972/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=423208 memory=338596 CPUtime=3571.35 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 289932 0 0 0 355244 1891 0 0 20 0 1 0 464573 433364992 84649 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 105802 84649 1883 992 0 97660 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 423208 KiB
Current children cumulated memory: 338596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.1 s]
/proc/loadavg: 4.15 4.15 4.09 5/265 8069
/proc/meminfo: memFree=8878116/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=423260 memory=338612 CPUtime=3600.06 cores=5,7
/proc/6101/stat : 6101 (roundingsat) R 6098 6101 6021 0 -1 4194304 290860 0 0 0 358110 1896 0 0 20 0 1 0 464573 433418240 84653 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 105815 84653 1883 992 0 97673 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 423260 KiB
Current children cumulated memory: 338612 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.52 s]
# the end of solver process 6101 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3581.12 s, system=18.9751 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/265 8069
/proc/meminfo: memFree=8878116/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=423260 memory=338612 CPUtime=3600.08 cores=5,7
/proc/6101/stat : 6101 (roundingsat) D 6098 6101 6021 0 -1 4194304 290867 0 1 0 358111 1897 0 0 20 0 1 0 464573 433418240 84653 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 33 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 105815 84653 1883 992 0 97673 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 423260 KiB
Current children cumulated memory: 338612 KiB

[startup+3611.5 s]*
/proc/loadavg: 4.13 4.14 4.09 3/265 8069
/proc/meminfo: memFree=8851436/131524600 swapFree=131071996/131071996
[pid=6101] ppid=6098 vsize=423260 memory=338612 CPUtime=3600.08 cores=5,7
/proc/6101/stat : 6101 (roundingsat) D 6098 6101 6021 0 -1 1077936128 290867 0 1 0 358111 1897 0 0 20 0 1 0 464573 433418240 84653 134679101440 4194304 8255733 140733765090128 0 0 0 0 0 25182210 0 0 0 17 5 0 0 59 0 0 9037040 9046032 40427520 140733765096286 140733765096548 140733765096548 140733765103561 0
/proc/6101/statm: 105815 84653 1883 992 0 97673 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 423260 KiB
Current children cumulated memory: 338612 KiB

Child status: 0

Real time (s): 3611.52
CPU time (s): 3600.09
CPU user time (s): 3581.12
CPU system time (s): 18.9751
CPU usage (%): 99.6836
Max. virtual memory (cumulated for all children) (KiB): 425104
Max. memory (cumulated for all children) (KiB): 340540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.12
system time used= 18.9751
maximum resident set size= 343224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290884
page faults= 1
swaps= 0
block input operations= 224
block output operations= 35402016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 414
involuntary context switches= 4815


# summary of solver processes directly reported to runsolver:
#   pid: 6101
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3581.12
#   total CPU system time (s): 18.9751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84303 second user time and 17.9112 second system time

The end

Begin job on nodeC015 at 2024-07-30 13:59:24
IDJOB=4462490
IDBENCH=146905
IDSOLVER=3089
FILE ID=nodeC015/4462490-1722340764
RUNJOBID= nodeC015-1722340763-6034
SLURM_JOB_ID= 8248978
Free space on /tmp= 890064 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462490-1722340764/watcher-4462490-1722340764 -o /tmp/evaluation-result-4462490-1722340764/solver-4462490-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6034 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462490-1722340764 --lp-cut-gomory=0 HOME/instance-4462490-1722340764.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0
RANDOM SEED=727532140

nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3279.116
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2712.319
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3072.658
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3533.398
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3568.907
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3542.603
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3505.331
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3552.813
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130340140 kB
MemAvailable:   129916196 kB
Buffers:           45312 kB
Cached:           323964 kB
SwapCached:            0 kB
Active:           137940 kB
Inactive:         588820 kB
Active(anon):       1416 kB
Inactive(anon):   379804 kB
Active(file):     136524 kB
Inactive(file):   209016 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             24192 kB
Writeback:             0 kB
AnonPages:        357988 kB
Mapped:            90488 kB
Shmem:             23384 kB
KReclaimable:      43048 kB
Slab:             117828 kB
SReclaimable:      43048 kB
SUnreclaim:        74780 kB
KernelStack:        4048 kB
PageTables:         9440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     697912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8864 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      158420 kB
DirectMap2M:    12197888 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC015 at 2024-07-30 14:59:35