0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 548 #constraints 166
0.00/0.01	c bounds - >= 0 @ 0.003371
0.00/0.01	c rational objective 3108.29
0.31/0.37	c bounds 29718 >= 0 @ 0.024561
0.31/0.37	c bounds 29718 >= 291 @ 0.025223
0.31/0.37	c bounds 29718 >= 564 @ 0.025386
0.31/0.37	c bounds 29718 >= 822 @ 0.025386
0.31/0.37	c bounds 29718 >= 1009 @ 0.026037
0.31/0.37	c bounds 29718 >= 1145 @ 0.026809
0.31/0.37	c bounds 29718 >= 1203 @ 0.027892
0.31/0.37	c bounds 29718 >= 1286 @ 0.02836
0.31/0.37	c bounds 29718 >= 1351 @ 0.02836
0.31/0.37	c bounds 29718 >= 1410 @ 0.02836
0.31/0.37	c bounds 29718 >= 1440 @ 0.02836
0.31/0.37	c bounds 29718 >= 1467 @ 0.02836
0.31/0.37	c bounds 29718 >= 1505 @ 0.02836
0.31/0.37	c bounds 29718 >= 1534 @ 0.029607
0.31/0.37	c bounds 29718 >= 1559 @ 0.030296
0.31/0.37	c bounds 29718 >= 1580 @ 0.031272
0.31/0.37	c bounds 29718 >= 1595 @ 0.032684
0.31/0.37	c bounds 29718 >= 1602 @ 0.033316
0.31/0.37	c bounds 29689 >= 1602 @ 0.034278
0.31/0.37	c bounds 29689 >= 1608 @ 0.034467
0.31/0.37	c bounds 29689 >= 1612 @ 0.035251
0.31/0.37	c bounds 29670 >= 1612 @ 0.035375
0.31/0.37	c bounds 29670 >= 1615 @ 0.036228
0.31/0.37	c bounds 29670 >= 1617 @ 0.036528
0.31/0.37	c bounds 29552 >= 1617 @ 0.037727
0.31/0.37	c bounds 29552 >= 1618 @ 0.039367
0.31/0.37	c bounds 29552 >= 1619 @ 0.040961
0.31/0.37	c bounds 29500 >= 1619 @ 0.041202
0.31/0.37	c bounds 29500 >= 1620 @ 0.042195
0.31/0.37	c bounds 29500 >= 1621 @ 0.044297
0.31/0.37	c bounds 29448 >= 1621 @ 0.045178
0.31/0.37	c bounds 29433 >= 1621 @ 0.045178
0.31/0.37	c bounds 29433 >= 1622 @ 0.047263
0.31/0.37	c bounds 29433 >= 1623 @ 0.048144
0.31/0.37	c bounds 28972 >= 1623 @ 0.051625
0.31/0.37	c bounds 28972 >= 1627 @ 0.053234
0.31/0.37	c bounds 28972 >= 1633 @ 0.054117
0.31/0.37	c bounds 28972 >= 1634 @ 0.055318
0.31/0.37	c bounds 28961 >= 1634 @ 0.057099
0.31/0.37	c bounds 28961 >= 1636 @ 0.057375
0.31/0.37	c bounds 28961 >= 1637 @ 0.058089
0.31/0.37	c bounds 28961 >= 1638 @ 0.059663
0.31/0.37	c bounds 28946 >= 1638 @ 0.060079
0.31/0.37	c bounds 28946 >= 1641 @ 0.061071
0.31/0.37	c bounds 28926 >= 1641 @ 0.062062
0.31/0.37	c bounds 28926 >= 1643 @ 0.063859
0.31/0.37	c bounds 28908 >= 1643 @ 0.065034
0.31/0.37	c bounds 28908 >= 1647 @ 0.066673
0.31/0.37	c bounds 28908 >= 1648 @ 0.067161
0.31/0.37	c bounds 28892 >= 1648 @ 0.068978
0.31/0.37	c bounds 28892 >= 1649 @ 0.08032
0.31/0.37	c bounds 28881 >= 1649 @ 0.08126
0.31/0.37	c bounds 28862 >= 1649 @ 0.083747
0.31/0.37	c bounds 28862 >= 1650 @ 0.085086
0.31/0.37	c bounds 28862 >= 1651 @ 0.085966
0.31/0.37	c bounds 28793 >= 1651 @ 0.085966
0.31/0.37	c bounds 28793 >= 1652 @ 0.086694
0.31/0.37	c bounds 28717 >= 1652 @ 0.08777
0.31/0.37	c bounds 28717 >= 1653 @ 0.087944
0.31/0.37	c bounds 28631 >= 1653 @ 0.088936
0.31/0.37	c bounds 28631 >= 1654 @ 0.090175
0.31/0.37	c bounds 28631 >= 1655 @ 0.091528
0.31/0.37	c bounds 28522 >= 1655 @ 0.091921
0.31/0.37	c bounds 28522 >= 1666 @ 0.094986
0.31/0.37	c bounds 28446 >= 1666 @ 0.096209
0.31/0.37	c bounds 27875 >= 1666 @ 0.096893
0.31/0.37	c bounds 27868 >= 1666 @ 0.101154
0.31/0.37	c bounds 27868 >= 1667 @ 0.103509
0.31/0.37	c bounds 27868 >= 1668 @ 0.104547
0.31/0.37	c bounds 27868 >= 1669 @ 0.105206
0.31/0.37	c bounds 27868 >= 1674 @ 0.107481
0.31/0.37	c bounds 27839 >= 1674 @ 0.108841
0.31/0.37	c bounds 27798 >= 1674 @ 0.110234
0.31/0.37	c bounds 27798 >= 1685 @ 0.111881
0.31/0.37	c bounds 27798 >= 1689 @ 0.112823
0.31/0.37	c bounds 27798 >= 1690 @ 0.112825
0.31/0.37	c bounds 27720 >= 1690 @ 0.114118
0.31/0.37	c bounds 27720 >= 1691 @ 0.115477
0.31/0.37	c bounds 27720 >= 1692 @ 0.116721
0.31/0.37	c bounds 27720 >= 1693 @ 0.11779
0.31/0.37	c bounds 27720 >= 1694 @ 0.117906
0.31/0.37	c bounds 27720 >= 1695 @ 0.119276
0.31/0.37	c bounds 27720 >= 1696 @ 0.120993
0.31/0.37	c bounds 27711 >= 1696 @ 0.12461
0.31/0.37	c bounds 27711 >= 1697 @ 0.125745
0.31/0.37	c bounds 27711 >= 1713 @ 0.126186
0.31/0.37	c bounds 27711 >= 1724 @ 0.126845
0.31/0.37	c bounds 27711 >= 1725 @ 0.127816
0.31/0.37	c bounds 27693 >= 1725 @ 0.129721
0.31/0.37	c bounds 27693 >= 1729 @ 0.130818
0.31/0.37	c bounds 27693 >= 1731 @ 0.132385
0.31/0.37	c bounds 27693 >= 1732 @ 0.132708
0.31/0.37	c bounds 27675 >= 1732 @ 0.137941
0.31/0.37	c bounds 27675 >= 1733 @ 0.139662
0.31/0.37	c bounds 27675 >= 1734 @ 0.140672
0.31/0.37	c bounds 27675 >= 1735 @ 0.141403
0.31/0.37	c bounds 27675 >= 1736 @ 0.142022
0.31/0.37	c bounds 27675 >= 1737 @ 0.142664
0.31/0.37	c bounds 27675 >= 1738 @ 0.143658
0.31/0.37	c bounds 27649 >= 1738 @ 0.145339
0.31/0.37	c bounds 27649 >= 1739 @ 0.146483
0.31/0.37	c bounds 27583 >= 1739 @ 0.151462
0.31/0.37	c bounds 27583 >= 1740 @ 0.153624
0.31/0.37	c bounds 27583 >= 1742 @ 0.153624
0.31/0.37	c bounds 27375 >= 1742 @ 0.162577
0.31/0.37	c bounds 27375 >= 1743 @ 0.164567
0.31/0.37	c bounds 27375 >= 1745 @ 0.165561
0.31/0.37	c bounds 27375 >= 1747 @ 0.166557
0.31/0.37	c bounds 27375 >= 1748 @ 0.168545
0.31/0.37	c bounds 27375 >= 1749 @ 0.169081
0.31/0.37	c bounds 27375 >= 1750 @ 0.170343
0.31/0.37	c bounds 27139 >= 1750 @ 0.176876
0.31/0.37	c bounds 27139 >= 1751 @ 0.179093
0.31/0.37	c bounds 27139 >= 1752 @ 0.181916
0.31/0.37	c bounds 27139 >= 1760 @ 0.184472
0.31/0.37	c bounds 27139 >= 1762 @ 0.184584
0.31/0.37	c bounds 27139 >= 1764 @ 0.185465
0.31/0.37	c bounds 26317 >= 1764 @ 0.197449
0.31/0.37	c bounds 26317 >= 1770 @ 0.198693
0.31/0.37	c bounds 26317 >= 1771 @ 0.199401
0.31/0.37	c bounds 26317 >= 1774 @ 0.200822
0.88/0.96	c bounds 26317 >= 1782 @ 0.201393
0.88/0.96	c bounds 26317 >= 1784 @ 0.202494
0.88/0.96	c bounds 26317 >= 1785 @ 0.203383
0.88/0.96	c bounds 26317 >= 1786 @ 0.203666
0.88/0.96	c bounds 26317 >= 1798 @ 0.20537
0.88/0.96	c bounds 26317 >= 1802 @ 0.205795
0.88/0.96	c bounds 26317 >= 1805 @ 0.206508
0.88/0.96	c bounds 26317 >= 1806 @ 0.207358
0.88/0.96	c bounds 26317 >= 1807 @ 0.208354
0.88/0.96	c bounds 26317 >= 1808 @ 0.210405
0.88/0.96	c bounds 26225 >= 1808 @ 0.246195
0.88/0.96	c bounds 26225 >= 1809 @ 0.248104
0.88/0.96	c bounds 26225 >= 1810 @ 0.249307
0.88/0.96	c bounds 26225 >= 1811 @ 0.250871
0.88/0.96	c bounds 26225 >= 1812 @ 0.251961
0.88/0.96	c bounds 26225 >= 1813 @ 0.254161
0.88/0.96	c bounds 26225 >= 1814 @ 0.25585
0.88/0.96	c bounds 26225 >= 1815 @ 0.25647
0.88/0.96	c bounds 26225 >= 1816 @ 0.25902
0.88/0.96	c bounds 26225 >= 1817 @ 0.259138
0.88/0.96	c bounds 26225 >= 1818 @ 0.259808
0.88/0.96	c bounds 26225 >= 1821 @ 0.262521
0.88/0.96	c bounds 26225 >= 1822 @ 0.263483
0.88/0.96	c bounds 26225 >= 1823 @ 0.265092
0.88/0.96	c bounds 26225 >= 1824 @ 0.266103
0.88/0.96	c bounds 26225 >= 1825 @ 0.281525
0.88/0.96	c bounds 26225 >= 1826 @ 0.283033
0.88/0.96	c bounds 26225 >= 1827 @ 0.28441
0.88/0.96	c bounds 26225 >= 1828 @ 0.285026
0.88/0.96	c bounds 26225 >= 1829 @ 0.286656
0.88/0.96	c bounds 26225 >= 1830 @ 0.28836
0.88/0.96	c bounds 26225 >= 1831 @ 0.290003
0.88/0.96	c bounds 26225 >= 1835 @ 0.292158
0.88/0.96	c bounds 26225 >= 1840 @ 0.292988
0.88/0.96	c bounds 26225 >= 1842 @ 0.293984
0.88/0.96	c bounds 26225 >= 1844 @ 0.294593
0.88/0.96	c bounds 26225 >= 1845 @ 0.296868
0.88/0.96	c bounds 26225 >= 1846 @ 0.298411
0.88/0.96	c bounds 26225 >= 1847 @ 0.301736
0.88/0.96	c bounds 26225 >= 1848 @ 0.303934
0.88/0.96	c bounds 26225 >= 1849 @ 0.303934
0.88/0.96	c bounds 26195 >= 1849 @ 0.317068
0.88/0.96	c bounds 26195 >= 1850 @ 0.319949
0.88/0.96	c bounds 26195 >= 1852 @ 0.321389
0.88/0.96	c bounds 26195 >= 1853 @ 0.322847
0.88/0.96	c bounds 26195 >= 1854 @ 0.32565
0.88/0.96	c bounds 26195 >= 1855 @ 0.326829
0.88/0.96	c bounds 26195 >= 1856 @ 0.330806
0.88/0.96	c bounds 26195 >= 1857 @ 0.334795
0.88/0.96	c bounds 26133 >= 1857 @ 0.383597
0.88/0.96	c bounds 26133 >= 1858 @ 0.386834
0.88/0.96	c bounds 26133 >= 1861 @ 0.388388
0.88/0.96	c bounds 26133 >= 1863 @ 0.389175
0.88/0.96	c bounds 26133 >= 1864 @ 0.38957
0.88/0.96	c bounds 26133 >= 1865 @ 0.39156
0.88/0.96	c bounds 26133 >= 1867 @ 0.39355
0.88/0.96	c bounds 26133 >= 1869 @ 0.394545
0.88/0.96	c bounds 26133 >= 1872 @ 0.395538
0.88/0.96	c bounds 26133 >= 1874 @ 0.39727
0.88/0.96	c bounds 26133 >= 1876 @ 0.397908
0.88/0.96	c bounds 26133 >= 1877 @ 0.398626
0.88/0.96	c bounds 26133 >= 1878 @ 0.399733
0.88/0.96	c bounds 26133 >= 1879 @ 0.401806
0.88/0.96	c bounds 26133 >= 1880 @ 0.403915
0.88/0.96	c bounds 26133 >= 1881 @ 0.405013
0.88/0.96	c bounds 26133 >= 1882 @ 0.405486
0.88/0.96	c bounds 26133 >= 1883 @ 0.405834
0.88/0.96	c bounds 26133 >= 1884 @ 0.407599
0.88/0.96	c bounds 26133 >= 1885 @ 0.408675
0.88/0.96	c bounds 26133 >= 1886 @ 0.410162
0.88/0.96	c bounds 26133 >= 1887 @ 0.410462
0.88/0.96	c bounds 26133 >= 1888 @ 0.410462
0.88/0.96	c bounds 26133 >= 1889 @ 0.413445
0.88/0.96	c bounds 26133 >= 1892 @ 0.415435
0.88/0.96	c bounds 26133 >= 1893 @ 0.415651
0.88/0.96	c bounds 26133 >= 1895 @ 0.417584
0.88/0.96	c bounds 26133 >= 1897 @ 0.418532
0.88/0.96	c bounds 26133 >= 1898 @ 0.419451
0.88/0.96	c bounds 26133 >= 1899 @ 0.420414
0.88/0.96	c bounds 26133 >= 1900 @ 0.424337
0.88/0.96	c bounds 26133 >= 1902 @ 0.425391
0.88/0.96	c bounds 26133 >= 1904 @ 0.425988
0.88/0.96	c bounds 26133 >= 1905 @ 0.426386
0.88/0.96	c bounds 26133 >= 1906 @ 0.427725
0.88/0.96	c bounds 26133 >= 1907 @ 0.428377
0.88/0.96	c bounds 26133 >= 1908 @ 0.429726
0.88/0.96	c bounds 26133 >= 1909 @ 0.430369
0.88/0.96	c bounds 26133 >= 1920 @ 0.432144
0.88/0.96	c bounds 26133 >= 1921 @ 0.434167
0.88/0.96	c bounds 26133 >= 1922 @ 0.436317
0.88/0.96	c bounds 26089 >= 1922 @ 0.518648
0.88/0.96	c bounds 26089 >= 1923 @ 0.521847
0.88/0.96	c bounds 26089 >= 1924 @ 0.525023
0.88/0.96	c bounds 26089 >= 1927 @ 0.52702
0.88/0.96	c bounds 26089 >= 1928 @ 0.533023
0.88/0.96	c bounds 26089 >= 1929 @ 0.533821
0.88/0.96	c bounds 26089 >= 1930 @ 0.535013
0.88/0.96	c bounds 26089 >= 1931 @ 0.535015
0.88/0.96	c bounds 26089 >= 1932 @ 0.535775
0.88/0.96	c bounds 26089 >= 1933 @ 0.536801
0.88/0.96	c bounds 26089 >= 1934 @ 0.537008
0.88/0.96	c bounds 26089 >= 1935 @ 0.53807
0.88/0.96	c bounds 26089 >= 1936 @ 0.539374
0.88/0.96	c bounds 26089 >= 1937 @ 0.540972
0.88/0.96	c bounds 26089 >= 1938 @ 0.543316
0.88/0.96	c bounds 26089 >= 1939 @ 0.544285
0.88/0.96	c bounds 26089 >= 1940 @ 0.545979
0.88/0.96	c bounds 26089 >= 1941 @ 0.550339
0.88/0.96	c bounds 26089 >= 1942 @ 0.551238
0.88/0.96	c bounds 26089 >= 1943 @ 0.553193
0.88/0.96	c bounds 26089 >= 1944 @ 0.555137
0.88/0.96	c bounds 26089 >= 1945 @ 0.55648
0.88/0.96	c bounds 26089 >= 1946 @ 0.557571
0.88/0.96	c bounds 26089 >= 1947 @ 0.561085
0.88/0.96	c bounds 26089 >= 1948 @ 0.56401
0.88/0.96	c bounds 26089 >= 1949 @ 0.565974
0.88/0.96	c bounds 26089 >= 1950 @ 0.569137
0.88/0.96	c bounds 26089 >= 1951 @ 0.573444
0.88/0.96	c bounds 26089 >= 1952 @ 0.581288
0.88/0.96	c bounds 26089 >= 1954 @ 0.587565
0.88/0.96	c bounds 26089 >= 1955 @ 0.588824
1.78/1.86	c bounds 26089 >= 1956 @ 0.589252
1.78/1.86	c bounds 26089 >= 1957 @ 0.591431
1.78/1.86	c bounds 26089 >= 1959 @ 0.593807
1.78/1.86	c bounds 26089 >= 1960 @ 0.594801
1.78/1.86	c bounds 26089 >= 1961 @ 0.60313
1.78/1.86	c bounds 26089 >= 1962 @ 0.605201
1.78/1.86	c bounds 26089 >= 1963 @ 0.609452
1.78/1.86	c bounds 26089 >= 1964 @ 0.614729
1.78/1.86	c bounds 26089 >= 1965 @ 0.615146
1.78/1.86	c bounds 26089 >= 1966 @ 0.615847
1.78/1.86	c bounds 26089 >= 1967 @ 0.616718
1.78/1.86	c bounds 25889 >= 1967 @ 0.643397
1.78/1.86	c bounds 25889 >= 1969 @ 0.644915
1.78/1.86	c bounds 25889 >= 1970 @ 0.646402
1.78/1.86	c bounds 25889 >= 1971 @ 0.648087
1.78/1.86	c bounds 25889 >= 1972 @ 0.651579
1.78/1.86	c bounds 25889 >= 1973 @ 0.652422
1.78/1.86	c bounds 25889 >= 1974 @ 0.654445
1.78/1.86	c bounds 25889 >= 1975 @ 0.655979
1.78/1.86	c bounds 25889 >= 1976 @ 0.657449
1.78/1.86	c bounds 25889 >= 1977 @ 0.659015
1.78/1.86	c bounds 25889 >= 1978 @ 0.661436
1.78/1.86	c bounds 25889 >= 1979 @ 0.661934
1.78/1.86	c bounds 25889 >= 1980 @ 0.663095
1.78/1.86	c bounds 25889 >= 1981 @ 0.664568
1.78/1.86	c bounds 25889 >= 1982 @ 0.66618
1.78/1.86	c bounds 25889 >= 1983 @ 0.669023
1.78/1.86	c bounds 25889 >= 1984 @ 0.6715
1.78/1.86	c bounds 25889 >= 1985 @ 0.672597
1.78/1.86	c bounds 25889 >= 1986 @ 0.674292
1.78/1.86	c bounds 25889 >= 1987 @ 0.675893
1.78/1.86	c bounds 25889 >= 1988 @ 0.677709
1.78/1.86	c bounds 25876 >= 1988 @ 0.753869
1.78/1.86	c bounds 25876 >= 1989 @ 0.761061
1.78/1.86	c bounds 25876 >= 1990 @ 0.762049
1.78/1.86	c bounds 25876 >= 1994 @ 0.762068
1.78/1.86	c bounds 25876 >= 1995 @ 0.763052
1.78/1.86	c bounds 25876 >= 1996 @ 0.763064
1.78/1.86	c bounds 25876 >= 1997 @ 0.765252
1.78/1.86	c bounds 25876 >= 1998 @ 0.767045
1.78/1.86	c #Conflicts:       1000 | #Constraints:       3331
1.78/1.86	c bounds 25876 >= 1999 @ 0.769034
1.78/1.86	c bounds 25876 >= 2000 @ 0.77114
1.78/1.86	c bounds 25876 >= 2001 @ 0.774001
1.78/1.86	c bounds 25876 >= 2002 @ 0.774996
1.78/1.86	c bounds 25876 >= 2003 @ 0.776979
1.78/1.86	c bounds 25876 >= 2004 @ 0.778418
1.78/1.86	c bounds 25876 >= 2005 @ 0.781931
1.78/1.86	c bounds 25876 >= 2006 @ 0.784279
1.78/1.86	c bounds 25876 >= 2007 @ 0.786408
1.78/1.86	c bounds 25876 >= 2008 @ 0.789235
1.78/1.86	c bounds 25876 >= 2009 @ 0.791916
1.78/1.86	c bounds 25876 >= 2010 @ 0.791938
1.78/1.86	c bounds 25876 >= 2011 @ 0.792577
1.78/1.86	c bounds 25876 >= 2012 @ 0.794881
1.78/1.86	c bounds 25876 >= 2013 @ 0.796371
1.78/1.86	c bounds 25876 >= 2014 @ 0.799183
1.78/1.86	c bounds 25876 >= 2015 @ 0.801905
1.78/1.86	c bounds 25876 >= 2016 @ 0.804883
1.78/1.86	c bounds 25876 >= 2017 @ 0.804884
1.78/1.86	c bounds 25876 >= 2018 @ 0.810984
1.78/1.86	c bounds 25876 >= 2019 @ 0.814002
1.78/1.86	c bounds 25876 >= 2020 @ 0.816854
1.78/1.86	c bounds 25876 >= 2021 @ 0.820174
1.78/1.86	c bounds 25876 >= 2022 @ 0.821874
1.78/1.86	c bounds 25876 >= 2023 @ 0.824048
1.78/1.86	c bounds 25876 >= 2024 @ 0.828006
1.78/1.86	c bounds 25876 >= 2025 @ 0.832678
1.78/1.86	c bounds 25876 >= 2026 @ 0.835872
1.78/1.86	c bounds 25876 >= 2027 @ 0.838612
1.78/1.86	c bounds 25857 >= 2027 @ 0.875234
1.78/1.86	c bounds 25857 >= 2028 @ 0.882366
1.78/1.86	c bounds 25857 >= 2029 @ 0.888515
1.78/1.86	c bounds 25857 >= 2030 @ 0.891157
1.78/1.86	c bounds 25857 >= 2031 @ 0.892965
1.78/1.86	c bounds 25857 >= 2032 @ 0.895665
1.78/1.86	c bounds 25857 >= 2033 @ 0.897121
1.78/1.86	c bounds 25857 >= 2034 @ 0.897488
1.78/1.86	c bounds 25857 >= 2035 @ 0.899505
1.78/1.86	c bounds 25857 >= 2036 @ 0.901539
1.78/1.86	c bounds 25857 >= 2037 @ 0.903552
1.78/1.86	c bounds 25857 >= 2038 @ 0.904961
1.78/1.86	c bounds 25857 >= 2039 @ 0.906609
1.78/1.86	c bounds 25857 >= 2040 @ 0.908581
1.78/1.86	c bounds 25857 >= 2041 @ 0.910342
1.78/1.86	c bounds 25857 >= 2042 @ 0.912303
1.78/1.86	c bounds 25857 >= 2043 @ 0.913872
1.78/1.86	c bounds 25857 >= 2044 @ 0.921401
1.78/1.86	c bounds 25857 >= 2045 @ 0.924522
1.78/1.86	c bounds 25848 >= 2045 @ 1.14384
1.78/1.86	c bounds 25848 >= 2046 @ 1.15112
1.78/1.86	c bounds 25848 >= 2047 @ 1.15365
1.78/1.86	c bounds 25848 >= 2048 @ 1.15751
1.78/1.86	c bounds 25848 >= 2049 @ 1.16174
1.78/1.86	c bounds 25848 >= 2050 @ 1.1662
1.78/1.86	c bounds 25848 >= 2051 @ 1.16957
1.78/1.86	c bounds 25848 >= 2052 @ 1.17316
1.78/1.86	c bounds 25848 >= 2053 @ 1.17646
1.78/1.86	c bounds 25848 >= 2054 @ 1.1788
1.78/1.86	c bounds 25848 >= 2055 @ 1.18088
1.78/1.86	c bounds 25848 >= 2056 @ 1.18428
1.78/1.86	c bounds 25848 >= 2057 @ 1.18717
1.78/1.86	c bounds 25848 >= 2058 @ 1.19038
1.78/1.86	c bounds 25848 >= 2059 @ 1.19164
1.78/1.86	c bounds 25848 >= 2060 @ 1.19264
1.78/1.86	c bounds 25848 >= 2061 @ 1.19488
1.78/1.86	c bounds 25848 >= 2062 @ 1.19822
1.78/1.86	c bounds 25848 >= 2063 @ 1.20162
1.78/1.86	c bounds 25848 >= 2064 @ 1.20868
1.78/1.86	c bounds 25848 >= 2065 @ 1.21228
1.78/1.86	c bounds 25848 >= 2066 @ 1.21322
1.78/1.86	c bounds 25848 >= 2067 @ 1.21716
1.78/1.86	c bounds 25848 >= 2068 @ 1.22073
1.78/1.86	c bounds 25848 >= 2069 @ 1.22405
1.78/1.86	c bounds 25848 >= 2070 @ 1.2259
1.78/1.86	c bounds 25848 >= 2071 @ 1.22823
1.78/1.86	c bounds 25848 >= 2072 @ 1.23048
1.78/1.86	c bounds 25848 >= 2073 @ 1.23348
1.78/1.86	c bounds 25848 >= 2074 @ 1.23787
1.78/1.86	c bounds 25848 >= 2075 @ 1.24061
1.78/1.86	c bounds 25848 >= 2076 @ 1.24324
1.87/2.00	c bounds 25848 >= 2077 @ 1.24707
1.87/2.00	c bounds 25848 >= 2078 @ 1.25149
1.87/2.00	c bounds 25848 >= 2079 @ 1.25439
1.87/2.00	c bounds 25848 >= 2080 @ 1.25784
1.87/2.00	c bounds 25848 >= 2081 @ 1.26066
1.87/2.00	c bounds 25848 >= 2082 @ 1.26449
1.87/2.00	c bounds 25848 >= 2083 @ 1.26905
1.87/2.00	c bounds 25848 >= 2084 @ 1.27377
1.87/2.00	c bounds 25848 >= 2085 @ 1.27848
1.87/2.00	c bounds 25848 >= 2086 @ 1.2831
1.87/2.00	c bounds 25848 >= 2087 @ 1.28774
1.87/2.00	c bounds 25848 >= 2088 @ 1.29159
1.87/2.00	c bounds 25848 >= 2089 @ 1.29777
1.87/2.00	c bounds 25848 >= 2090 @ 1.30198
1.87/2.00	c bounds 25848 >= 2091 @ 1.30735
1.87/2.00	c bounds 25848 >= 2092 @ 1.31273
1.87/2.00	c bounds 25848 >= 2093 @ 1.3208
1.87/2.00	c bounds 25848 >= 2094 @ 1.32662
1.87/2.00	c bounds 25848 >= 2095 @ 1.33274
1.87/2.00	c bounds 25848 >= 2096 @ 1.3382
1.87/2.00	c bounds 25848 >= 2097 @ 1.34595
1.87/2.00	c #Conflicts:       2000 | #Constraints:       6491
1.87/2.00	c INPROCESSING
1.87/2.00	c GARBAGE COLLECT
1.87/2.00	c rational objective 4517.42
3.09/3.16	c bounds 25848 >= 2098 @ 1.37988
3.09/3.16	c bounds 25848 >= 2099 @ 1.38464
3.09/3.16	c bounds 25848 >= 2100 @ 1.39134
3.09/3.16	c bounds 25848 >= 2101 @ 1.39815
3.09/3.16	c bounds 25848 >= 2102 @ 1.40404
3.09/3.16	c bounds 25848 >= 2103 @ 1.41191
3.09/3.16	c bounds 25848 >= 2104 @ 1.42506
3.09/3.16	c bounds 25848 >= 2105 @ 1.43271
3.09/3.16	c bounds 25848 >= 2106 @ 1.4396
3.09/3.16	c bounds 25848 >= 2107 @ 1.4484
3.09/3.16	c bounds 25848 >= 2108 @ 1.45674
3.09/3.16	c bounds 25848 >= 2109 @ 1.46715
3.09/3.16	c bounds 25846 >= 2109 @ 1.5602
3.09/3.16	c bounds 25846 >= 2110 @ 1.57129
3.09/3.16	c bounds 25846 >= 2111 @ 1.58989
3.09/3.16	c bounds 25846 >= 2112 @ 1.5984
3.09/3.16	c bounds 25846 >= 2113 @ 1.59988
3.09/3.16	c bounds 25846 >= 2114 @ 1.60263
3.09/3.16	c bounds 25846 >= 2115 @ 1.60496
3.09/3.16	c bounds 25846 >= 2116 @ 1.60707
3.09/3.16	c bounds 25846 >= 2117 @ 1.61156
3.09/3.16	c bounds 25846 >= 2119 @ 1.61256
3.09/3.16	c bounds 25846 >= 2120 @ 1.6126
3.09/3.16	c bounds 25846 >= 2121 @ 1.61472
3.09/3.16	c bounds 25846 >= 2122 @ 1.62157
3.09/3.16	c bounds 25846 >= 2123 @ 1.62451
3.09/3.16	c bounds 25846 >= 2124 @ 1.62752
3.09/3.16	c bounds 25846 >= 2125 @ 1.6291
3.09/3.16	c bounds 25846 >= 2126 @ 1.63487
3.09/3.16	c bounds 25846 >= 2127 @ 1.64054
3.09/3.16	c bounds 25846 >= 2128 @ 1.64548
3.09/3.16	c bounds 25846 >= 2129 @ 1.65147
3.09/3.16	c bounds 25846 >= 2131 @ 1.65289
3.09/3.16	c bounds 25846 >= 2132 @ 1.65346
3.09/3.16	c bounds 25846 >= 2133 @ 1.6548
3.09/3.16	c bounds 25846 >= 2134 @ 1.65546
3.09/3.16	c bounds 25846 >= 2135 @ 1.65665
3.09/3.16	c bounds 25846 >= 2136 @ 1.65772
3.09/3.16	c bounds 25846 >= 2137 @ 1.65899
3.09/3.16	c bounds 25846 >= 2138 @ 1.66108
3.09/3.16	c bounds 25846 >= 2139 @ 1.66244
3.09/3.16	c bounds 25846 >= 2140 @ 1.6648
3.09/3.16	c bounds 25846 >= 2141 @ 1.66614
3.09/3.16	c bounds 25846 >= 2142 @ 1.66648
3.09/3.16	c bounds 25846 >= 2143 @ 1.67041
3.09/3.16	c bounds 25846 >= 2144 @ 1.67119
3.09/3.16	c bounds 25846 >= 2145 @ 1.6726
3.09/3.16	c bounds 25846 >= 2146 @ 1.67627
3.09/3.16	c bounds 25846 >= 2147 @ 1.67715
3.09/3.16	c bounds 25846 >= 2148 @ 1.68039
3.09/3.16	c bounds 25846 >= 2149 @ 1.68545
3.09/3.16	c bounds 25846 >= 2150 @ 1.69678
3.09/3.16	c bounds 25846 >= 2151 @ 1.69972
3.09/3.16	c bounds 25846 >= 2152 @ 1.70487
3.09/3.16	c bounds 25846 >= 2153 @ 1.70801
3.09/3.16	c bounds 25846 >= 2154 @ 1.71169
3.09/3.16	c bounds 25846 >= 2155 @ 1.71429
3.09/3.16	c bounds 25846 >= 2156 @ 1.71791
3.09/3.16	c bounds 25827 >= 2156 @ 1.7297
3.09/3.16	c bounds 25827 >= 2157 @ 1.73748
3.09/3.16	c bounds 25827 >= 2158 @ 1.74223
3.09/3.16	c bounds 25827 >= 2159 @ 1.74508
3.09/3.16	c bounds 25718 >= 2159 @ 1.80663
3.09/3.17	c bounds 25718 >= 2160 @ 1.81747
3.09/3.17	c #Conflicts:       3000 | #Constraints:       7447
3.09/3.17	c bounds 25718 >= 2161 @ 1.82341
3.09/3.17	c bounds 25718 >= 2162 @ 1.8279
3.09/3.17	c bounds 25718 >= 2163 @ 1.83347
3.09/3.17	c bounds 25718 >= 2164 @ 1.83751
3.09/3.17	c bounds 25718 >= 2165 @ 1.84154
3.09/3.17	c bounds 25718 >= 2166 @ 1.846
3.09/3.17	c bounds 25718 >= 2167 @ 1.84895
3.09/3.17	c bounds 25718 >= 2168 @ 1.85251
3.09/3.17	c bounds 25718 >= 2169 @ 1.85581
3.09/3.17	c bounds 25718 >= 2170 @ 1.86387
3.09/3.17	c bounds 25718 >= 2171 @ 1.87654
3.09/3.17	c bounds 25718 >= 2172 @ 1.88312
3.09/3.17	c bounds 25718 >= 2173 @ 1.8881
3.09/3.17	c bounds 25718 >= 2174 @ 1.89322
3.09/3.17	c bounds 25718 >= 2175 @ 1.89639
3.09/3.17	c bounds 25718 >= 2176 @ 1.89939
3.09/3.17	c bounds 25718 >= 2177 @ 1.90112
3.09/3.17	c bounds 25718 >= 2178 @ 1.90296
3.09/3.17	c bounds 25718 >= 2179 @ 1.90773
3.09/3.17	c bounds 25718 >= 2180 @ 1.91192
3.09/3.17	c bounds 25718 >= 2181 @ 1.91569
3.09/3.17	c bounds 25718 >= 2182 @ 1.91799
3.09/3.17	c bounds 25718 >= 2183 @ 1.91983
3.09/3.17	c bounds 25718 >= 2184 @ 1.92193
3.09/3.17	c bounds 25718 >= 2185 @ 1.9238
3.09/3.17	c bounds 25718 >= 2186 @ 1.9268
3.09/3.17	c bounds 25718 >= 2187 @ 1.92987
3.09/3.17	c bounds 25718 >= 2188 @ 1.93236
3.09/3.17	c bounds 25682 >= 2188 @ 1.93878
3.09/3.17	c bounds 25682 >= 2189 @ 1.94113
3.09/3.17	c bounds 25682 >= 2190 @ 1.94308
3.09/3.17	c bounds 25682 >= 2191 @ 1.94601
3.09/3.17	c bounds 25682 >= 2192 @ 1.94872
3.09/3.17	c bounds 25544 >= 2192 @ 2.12271
3.09/3.17	c bounds 25544 >= 2193 @ 2.13088
3.09/3.17	c bounds 25544 >= 2194 @ 2.13288
3.09/3.17	c bounds 25544 >= 2195 @ 2.13441
3.09/3.17	c bounds 25544 >= 2196 @ 2.13548
3.09/3.17	c bounds 25544 >= 2198 @ 2.13651
3.09/3.17	c bounds 25544 >= 2199 @ 2.13728
3.09/3.17	c bounds 25544 >= 2200 @ 2.14052
3.09/3.17	c bounds 25544 >= 2201 @ 2.17681
3.09/3.17	c bounds 25544 >= 2202 @ 2.17931
3.09/3.17	c bounds 25544 >= 2203 @ 2.18331
3.09/3.17	c bounds 25544 >= 2204 @ 2.18517
3.09/3.17	c bounds 25544 >= 2205 @ 2.18982
3.09/3.17	c bounds 25544 >= 2206 @ 2.20334
3.09/3.17	c bounds 25544 >= 2207 @ 2.21509
3.09/3.17	c bounds 25544 >= 2208 @ 2.21907
3.09/3.17	c bounds 25544 >= 2209 @ 2.22563
3.09/3.17	c bounds 25544 >= 2210 @ 2.23511
3.09/3.17	c bounds 25544 >= 2211 @ 2.24197
3.09/3.17	c bounds 25544 >= 2212 @ 2.24575
3.09/3.17	c bounds 25544 >= 2213 @ 2.24887
3.09/3.17	c bounds 25544 >= 2214 @ 2.2527
3.09/3.17	c bounds 25544 >= 2215 @ 2.2559
3.09/3.17	c bounds 25544 >= 2216 @ 2.26096
3.09/3.17	c bounds 25544 >= 2217 @ 2.26495
3.09/3.17	c bounds 25544 >= 2218 @ 2.26958
3.09/3.17	c bounds 25544 >= 2219 @ 2.27293
3.57/3.67	c bounds 25544 >= 2220 @ 2.27683
3.57/3.67	c bounds 25544 >= 2221 @ 2.28195
3.57/3.67	c bounds 25544 >= 2222 @ 2.28824
3.57/3.67	c bounds 25544 >= 2223 @ 2.29074
3.57/3.67	c bounds 25544 >= 2224 @ 2.29569
3.57/3.67	c bounds 25544 >= 2225 @ 2.30043
3.57/3.67	c bounds 25544 >= 2226 @ 2.30265
3.57/3.67	c bounds 25544 >= 2227 @ 2.30729
3.57/3.67	c bounds 25544 >= 2228 @ 2.31023
3.57/3.67	c bounds 25544 >= 2229 @ 2.31388
3.57/3.67	c bounds 25544 >= 2230 @ 2.31817
3.57/3.67	c bounds 25544 >= 2231 @ 2.3212
3.57/3.67	c bounds 25544 >= 2232 @ 2.3238
3.57/3.67	c bounds 25544 >= 2233 @ 2.3261
3.57/3.67	c bounds 25544 >= 2234 @ 2.32853
3.57/3.67	c bounds 25544 >= 2235 @ 2.33218
3.57/3.67	c bounds 25544 >= 2236 @ 2.335
3.57/3.67	c bounds 25544 >= 2237 @ 2.33973
3.57/3.67	c bounds 25544 >= 2238 @ 2.34523
3.57/3.67	c bounds 25544 >= 2239 @ 2.34774
3.57/3.67	c bounds 25544 >= 2240 @ 2.35037
3.57/3.67	c bounds 25544 >= 2241 @ 2.35437
3.57/3.67	c bounds 25544 >= 2242 @ 2.35655
3.57/3.67	c bounds 25544 >= 2243 @ 2.36041
3.57/3.67	c bounds 25544 >= 2244 @ 2.36248
3.57/3.67	c bounds 25544 >= 2245 @ 2.36726
3.57/3.67	c bounds 25544 >= 2246 @ 2.36952
3.57/3.67	c bounds 25544 >= 2247 @ 2.37177
3.57/3.67	c bounds 25544 >= 2248 @ 2.37476
3.57/3.67	c bounds 25544 >= 2249 @ 2.37812
3.57/3.67	c bounds 25544 >= 2250 @ 2.3841
3.57/3.67	c bounds 25544 >= 2251 @ 2.39497
3.57/3.67	c bounds 25544 >= 2252 @ 2.40499
3.57/3.67	c bounds 25544 >= 2253 @ 2.41047
3.57/3.67	c bounds 25544 >= 2254 @ 2.41942
3.57/3.67	c bounds 25544 >= 2255 @ 2.42941
3.57/3.67	c bounds 25544 >= 2256 @ 2.44339
3.57/3.67	c bounds 25544 >= 2257 @ 2.45938
3.57/3.67	c bounds 25544 >= 2258 @ 2.47407
3.57/3.67	c bounds 25502 >= 2258 @ 2.4844
3.57/3.67	c #Conflicts:       4000 | #Constraints:      10308
3.57/3.67	c bounds 25502 >= 2259 @ 2.50366
3.57/3.67	c bounds 25462 >= 2259 @ 2.5083
3.57/3.67	c bounds 25456 >= 2259 @ 2.51207
3.57/3.67	c bounds 25456 >= 2260 @ 2.52322
3.57/3.67	c bounds 25336 >= 2260 @ 2.53981
3.57/3.67	c bounds 25336 >= 2261 @ 2.55888
3.57/3.67	c bounds 25336 >= 2262 @ 2.57215
3.57/3.67	c bounds 25320 >= 2262 @ 2.61181
3.57/3.67	c bounds 25320 >= 2263 @ 2.62341
3.57/3.67	c bounds 25320 >= 2264 @ 2.63702
3.57/3.67	c bounds 25320 >= 2265 @ 2.65843
3.57/3.67	c INPROCESSING
3.57/3.67	c GARBAGE COLLECT
3.57/3.67	c rational objective 4936.92
6.46/6.59	c bounds 25320 >= 2266 @ 2.71784
6.46/6.59	c bounds 25320 >= 2267 @ 2.7287
6.46/6.59	c bounds 25320 >= 2268 @ 2.73947
6.46/6.59	c bounds 25320 >= 2269 @ 2.75336
6.46/6.59	c bounds 25320 >= 2270 @ 2.76682
6.46/6.59	c bounds 25156 >= 2270 @ 2.86735
6.46/6.59	c bounds 25156 >= 2271 @ 2.89002
6.46/6.59	c bounds 25156 >= 2272 @ 2.91158
6.46/6.59	c bounds 25156 >= 2273 @ 2.93825
6.46/6.59	c bounds 25156 >= 2274 @ 2.95075
6.46/6.59	c bounds 25156 >= 2275 @ 2.96527
6.46/6.59	c bounds 25156 >= 2276 @ 2.98103
6.46/6.59	c bounds 25156 >= 2277 @ 3.00114
6.46/6.59	c bounds 25156 >= 2278 @ 3.01684
6.46/6.59	c bounds 25156 >= 2279 @ 3.0416
6.46/6.59	c bounds 25156 >= 2280 @ 3.05826
6.46/6.59	c bounds 25156 >= 2281 @ 3.07378
6.46/6.59	c bounds 25156 >= 2282 @ 3.09193
6.46/6.59	c bounds 25156 >= 2283 @ 3.11051
6.46/6.59	c bounds 25156 >= 2284 @ 3.12825
6.46/6.59	c bounds 25149 >= 2284 @ 3.16845
6.46/6.59	c bounds 25149 >= 2285 @ 3.18921
6.46/6.59	c bounds 25149 >= 2286 @ 3.20421
6.46/6.59	c bounds 25149 >= 2287 @ 3.22339
6.46/6.59	c bounds 25149 >= 2288 @ 3.23841
6.46/6.59	c bounds 25149 >= 2289 @ 3.26096
6.46/6.59	c bounds 25149 >= 2290 @ 3.2765
6.46/6.59	c bounds 25140 >= 2290 @ 3.29969
6.46/6.59	c bounds 25140 >= 2291 @ 3.30886
6.46/6.59	c bounds 25140 >= 2292 @ 3.33144
6.46/6.59	c bounds 25140 >= 2293 @ 3.35577
6.46/6.59	c #Conflicts:       5000 | #Constraints:      10770
6.46/6.59	c bounds 25076 >= 2293 @ 3.53239
6.46/6.59	c bounds 25076 >= 2294 @ 3.54826
6.46/6.59	c bounds 25076 >= 2295 @ 3.55936
6.46/6.59	c bounds 25076 >= 2296 @ 3.57202
6.46/6.59	c bounds 25076 >= 2297 @ 3.58165
6.46/6.59	c bounds 25076 >= 2298 @ 3.59098
6.46/6.59	c bounds 25076 >= 2299 @ 3.59945
6.46/6.59	c bounds 25076 >= 2300 @ 3.60548
6.46/6.59	c bounds 25076 >= 2301 @ 3.6112
6.46/6.59	c bounds 25076 >= 2302 @ 3.62081
6.46/6.59	c bounds 25076 >= 2303 @ 3.62921
6.46/6.59	c bounds 25076 >= 2304 @ 3.63798
6.46/6.59	c bounds 25076 >= 2305 @ 3.69214
6.46/6.59	c bounds 25076 >= 2306 @ 3.70227
6.46/6.59	c bounds 25076 >= 2307 @ 3.70808
6.46/6.59	c bounds 25076 >= 2308 @ 3.72296
6.46/6.59	c bounds 25076 >= 2309 @ 3.73932
6.46/6.59	c bounds 25076 >= 2310 @ 3.75647
6.46/6.59	c bounds 25076 >= 2311 @ 3.77393
6.46/6.59	c bounds 25076 >= 2312 @ 3.78467
6.46/6.59	c bounds 25076 >= 2313 @ 3.79495
6.46/6.59	c bounds 25076 >= 2314 @ 3.80475
6.46/6.59	c bounds 25076 >= 2315 @ 3.81572
6.46/6.59	c bounds 25076 >= 2316 @ 3.83563
6.46/6.59	c bounds 25076 >= 2317 @ 3.86076
6.46/6.59	c bounds 25076 >= 2318 @ 3.8719
6.46/6.59	c bounds 25076 >= 2319 @ 3.88408
6.46/6.59	c bounds 25076 >= 2320 @ 3.89485
6.46/6.59	c bounds 25076 >= 2321 @ 3.9061
6.46/6.59	c bounds 25076 >= 2322 @ 3.91839
6.46/6.59	c bounds 25076 >= 2323 @ 3.94089
6.46/6.59	c bounds 25076 >= 2324 @ 3.95493
6.46/6.59	c bounds 25076 >= 2325 @ 3.97388
6.46/6.59	c bounds 25076 >= 2326 @ 3.98703
6.46/6.59	c bounds 25076 >= 2327 @ 4.00542
6.46/6.59	c bounds 25076 >= 2328 @ 4.02252
6.46/6.59	c bounds 25076 >= 2329 @ 4.03875
6.46/6.59	c bounds 25056 >= 2329 @ 4.04318
6.46/6.59	c bounds 25056 >= 2330 @ 4.06222
6.46/6.59	c bounds 24976 >= 2330 @ 4.07725
6.46/6.59	c bounds 24976 >= 2331 @ 4.10369
6.46/6.59	c bounds 24912 >= 2331 @ 4.42456
6.46/6.59	c bounds 24912 >= 2332 @ 4.44833
6.46/6.59	c bounds 24912 >= 2333 @ 4.48028
6.46/6.59	c bounds 24912 >= 2334 @ 4.50453
6.46/6.59	c #Conflicts:       6000 | #Constraints:      12972
6.46/6.59	c bounds 24912 >= 2335 @ 4.5182
6.46/6.59	c bounds 24912 >= 2336 @ 4.53291
6.46/6.59	c bounds 24912 >= 2337 @ 4.5447
6.46/6.59	c bounds 24912 >= 2338 @ 4.5594
6.46/6.59	c bounds 24912 >= 2339 @ 4.56649
6.46/6.59	c bounds 24912 >= 2340 @ 4.58609
6.46/6.59	c bounds 24912 >= 2341 @ 4.592
6.46/6.59	c bounds 24912 >= 2342 @ 4.59941
6.46/6.59	c bounds 24912 >= 2343 @ 4.60716
6.46/6.59	c bounds 24912 >= 2344 @ 4.61425
6.46/6.59	c bounds 24912 >= 2345 @ 4.62273
6.46/6.59	c bounds 24912 >= 2346 @ 4.63755
6.46/6.59	c bounds 24912 >= 2347 @ 4.64818
6.46/6.59	c bounds 24912 >= 2348 @ 4.65786
6.46/6.59	c bounds 24912 >= 2349 @ 4.66306
6.46/6.59	c bounds 24912 >= 2350 @ 4.67477
6.46/6.59	c bounds 24912 >= 2351 @ 4.68476
6.46/6.59	c bounds 24912 >= 2352 @ 4.69904
6.46/6.59	c bounds 24912 >= 2353 @ 4.71011
6.46/6.59	c bounds 24912 >= 2354 @ 4.72105
6.46/6.59	c bounds 24912 >= 2355 @ 4.74033
6.46/6.59	c bounds 24912 >= 2356 @ 4.75204
6.46/6.59	c bounds 24912 >= 2357 @ 4.77129
6.46/6.59	c bounds 24912 >= 2358 @ 4.7819
6.46/6.59	c bounds 24912 >= 2359 @ 4.80218
6.46/6.59	c bounds 24912 >= 2360 @ 4.81977
6.46/6.59	c bounds 24912 >= 2361 @ 4.82981
6.46/6.59	c bounds 24912 >= 2362 @ 4.8406
6.46/6.59	c bounds 24912 >= 2363 @ 4.85206
6.46/6.59	c bounds 24912 >= 2364 @ 4.88272
6.46/6.59	c bounds 24912 >= 2365 @ 4.90699
6.46/6.59	c bounds 24912 >= 2366 @ 4.92761
6.46/6.59	c bounds 24912 >= 2367 @ 4.97191
6.46/6.59	c bounds 24912 >= 2368 @ 5.01371
6.46/6.59	c bounds 24912 >= 2369 @ 5.04347
6.46/6.59	c bounds 24912 >= 2370 @ 5.07907
6.46/6.59	c bounds 24912 >= 2371 @ 5.11029
6.46/6.59	c bounds 24912 >= 2372 @ 5.13428
6.46/6.59	c bounds 24912 >= 2373 @ 5.15299
6.46/6.59	c bounds 24912 >= 2374 @ 5.19484
6.46/6.59	c bounds 24912 >= 2375 @ 5.22017
6.46/6.59	c INPROCESSING
6.46/6.59	c GARBAGE COLLECT
6.46/6.59	c bounds 24912 >= 2376 @ 5.25748
6.46/6.59	c bounds 24912 >= 2377 @ 5.27872
6.46/6.59	c bounds 24912 >= 2378 @ 5.30729
6.46/6.59	c bounds 24893 >= 2378 @ 5.31632
11.55/11.63	c bounds 24893 >= 2379 @ 5.35832
11.55/11.63	c #Conflicts:       7000 | #Constraints:      13148
11.55/11.63	c bounds 24843 >= 2379 @ 5.78124
11.55/11.63	c bounds 24843 >= 2380 @ 5.80788
11.55/11.63	c bounds 24843 >= 2381 @ 5.8295
11.55/11.63	c bounds 24843 >= 2382 @ 5.86909
11.55/11.63	c bounds 24843 >= 2383 @ 5.89015
11.55/11.63	c bounds 24843 >= 2384 @ 5.91824
11.55/11.63	c bounds 24843 >= 2385 @ 5.94758
11.55/11.63	c bounds 24843 >= 2386 @ 5.96382
11.55/11.63	c bounds 24843 >= 2387 @ 5.98787
11.55/11.63	c bounds 24843 >= 2388 @ 6.00544
11.55/11.63	c bounds 24843 >= 2389 @ 6.02451
11.55/11.63	c bounds 24843 >= 2390 @ 6.0462
11.55/11.63	c bounds 24843 >= 2391 @ 6.07711
11.55/11.63	c bounds 24843 >= 2392 @ 6.11842
11.55/11.63	c bounds 24843 >= 2393 @ 6.13987
11.55/11.63	c bounds 24843 >= 2394 @ 6.16949
11.55/11.63	c bounds 24843 >= 2395 @ 6.18846
11.55/11.63	c bounds 24843 >= 2396 @ 6.21199
11.55/11.63	c bounds 24843 >= 2397 @ 6.26418
11.55/11.63	c bounds 24843 >= 2398 @ 6.30867
11.55/11.63	c bounds 24843 >= 2399 @ 6.35189
11.55/11.63	c bounds 24843 >= 2400 @ 6.40322
11.55/11.63	c bounds 24843 >= 2401 @ 6.43847
11.55/11.63	c bounds 24843 >= 2402 @ 6.47233
11.55/11.63	c bounds 24843 >= 2403 @ 6.50188
11.55/11.63	c bounds 24843 >= 2404 @ 6.52553
11.55/11.63	c bounds 24843 >= 2405 @ 6.55881
11.55/11.63	c bounds 24843 >= 2406 @ 6.59454
11.55/11.63	c bounds 24843 >= 2407 @ 6.6816
11.55/11.63	c bounds 24843 >= 2408 @ 6.73223
11.55/11.63	c bounds 24843 >= 2409 @ 6.76078
11.55/11.63	c bounds 24843 >= 2410 @ 6.81777
11.55/11.63	c bounds 24843 >= 2411 @ 6.86374
11.55/11.63	c bounds 24843 >= 2412 @ 6.91306
11.55/11.63	c bounds 24843 >= 2413 @ 6.9634
11.55/11.63	c bounds 24843 >= 2414 @ 6.99876
11.55/11.63	c bounds 24843 >= 2415 @ 7.03926
11.55/11.63	c bounds 24843 >= 2416 @ 7.06676
11.55/11.63	c bounds 24843 >= 2417 @ 7.10344
11.55/11.63	c bounds 24843 >= 2418 @ 7.16628
11.55/11.63	c bounds 24843 >= 2419 @ 7.21209
11.55/11.63	c bounds 24843 >= 2420 @ 7.32336
11.55/11.63	c #Conflicts:       8000 | #Constraints:      15640
11.55/11.63	c bounds 24793 >= 2420 @ 7.66999
11.55/11.63	c bounds 24793 >= 2421 @ 7.77776
11.55/11.63	c bounds 24793 >= 2422 @ 7.82491
11.55/11.63	c bounds 24793 >= 2423 @ 7.91611
11.55/11.63	c bounds 24793 >= 2424 @ 8.01264
11.55/11.63	c bounds 24793 >= 2425 @ 8.0757
11.55/11.63	c bounds 24793 >= 2426 @ 8.13759
11.55/11.63	c bounds 24793 >= 2427 @ 8.20825
11.55/11.63	c bounds 24793 >= 2428 @ 8.27134
11.55/11.63	c bounds 24793 >= 2429 @ 8.32519
11.55/11.63	c bounds 24793 >= 2430 @ 8.37704
11.55/11.63	c bounds 24793 >= 2431 @ 8.45953
11.55/11.63	c bounds 24793 >= 2432 @ 8.57932
11.55/11.63	c bounds 24793 >= 2433 @ 8.63353
11.55/11.63	c bounds 24793 >= 2434 @ 8.69115
11.55/11.63	c bounds 24793 >= 2435 @ 8.75085
11.55/11.63	c bounds 24793 >= 2436 @ 8.81038
11.55/11.63	c bounds 24793 >= 2437 @ 8.89549
11.55/11.63	c bounds 24793 >= 2438 @ 8.96565
11.55/11.63	c bounds 24793 >= 2439 @ 9.10398
11.55/11.63	c #Conflicts:       9000 | #Constraints:      17563
11.55/11.63	c INPROCESSING
11.55/11.63	c GARBAGE COLLECT
11.55/11.63	c rational objective 5447.37
20.44/20.51	c bounds 24793 >= 2440 @ 10.3079
20.44/20.51	c bounds 24793 >= 2441 @ 10.4409
20.44/20.51	c bounds 24793 >= 2442 @ 10.5622
20.44/20.51	c bounds 24793 >= 2443 @ 10.6735
20.44/20.51	c bounds 24793 >= 2444 @ 10.7877
20.44/20.51	c bounds 24793 >= 2445 @ 10.907
20.44/20.51	c bounds 24793 >= 2446 @ 10.9764
20.44/20.51	c bounds 24793 >= 2447 @ 11.0752
20.44/20.51	c bounds 24793 >= 2448 @ 11.1364
20.44/20.51	c bounds 24793 >= 2449 @ 11.2762
20.44/20.51	c bounds 24793 >= 2450 @ 11.3754
20.44/20.51	c bounds 24793 >= 2451 @ 11.57
20.44/20.51	c bounds 24793 >= 2452 @ 11.678
20.44/20.51	c bounds 24793 >= 2453 @ 11.8099
20.44/20.51	c bounds 24793 >= 2454 @ 11.9308
20.44/20.51	c bounds 24793 >= 2455 @ 12.0907
20.44/20.51	c bounds 24793 >= 2456 @ 12.2557
20.44/20.51	c #Conflicts:      10000 | #Constraints:      16974
20.44/20.51	c bounds 24793 >= 2457 @ 12.4704
20.44/20.51	c bounds 24793 >= 2458 @ 12.576
20.44/20.51	c bounds 24793 >= 2459 @ 12.8371
20.44/20.51	c bounds 24793 >= 2460 @ 12.91
20.44/20.51	c bounds 24793 >= 2461 @ 13.0745
20.44/20.51	c bounds 24793 >= 2462 @ 13.1933
20.44/20.51	c bounds 24793 >= 2463 @ 13.3827
20.44/20.51	c bounds 24793 >= 2464 @ 13.4666
20.44/20.51	c bounds 24793 >= 2465 @ 13.654
20.44/20.51	c bounds 24793 >= 2466 @ 13.7849
20.44/20.51	c bounds 24793 >= 2467 @ 13.9239
20.44/20.51	c bounds 24793 >= 2468 @ 14.097
20.44/20.51	c bounds 24793 >= 2469 @ 14.2184
20.44/20.51	c bounds 24793 >= 2470 @ 14.3343
20.44/20.51	c bounds 24793 >= 2471 @ 14.5535
20.44/20.51	c bounds 24793 >= 2472 @ 14.7071
20.44/20.51	c bounds 24793 >= 2473 @ 14.8247
20.44/20.51	c bounds 24793 >= 2474 @ 14.996
20.44/20.51	c bounds 24793 >= 2475 @ 15.1725
20.44/20.51	c bounds 24793 >= 2476 @ 15.3634
20.44/20.51	c bounds 24793 >= 2477 @ 15.5005
20.44/20.51	c bounds 24793 >= 2478 @ 15.6537
20.44/20.51	c bounds 24793 >= 2479 @ 15.7594
20.44/20.51	c #Conflicts:      11000 | #Constraints:      19278
20.44/20.51	c bounds 24793 >= 2480 @ 15.9805
20.44/20.51	c bounds 24793 >= 2481 @ 16.1012
20.44/20.51	c bounds 24793 >= 2482 @ 16.3823
20.44/20.51	c bounds 24731 >= 2482 @ 16.5725
20.44/20.51	c bounds 24731 >= 2483 @ 16.9473
20.44/20.51	c bounds 24731 >= 2484 @ 17.1572
20.44/20.51	c bounds 24731 >= 2485 @ 17.2857
20.44/20.51	c bounds 24731 >= 2486 @ 17.4645
20.44/20.51	c bounds 24731 >= 2487 @ 17.6057
20.44/20.51	c bounds 24731 >= 2488 @ 17.8839
20.44/20.51	c bounds 24719 >= 2488 @ 18.4049
20.44/20.51	c #Conflicts:      12000 | #Constraints:      20847
20.44/20.51	c INPROCESSING
20.44/20.51	c GARBAGE COLLECT
20.44/20.51	c rational objective 7878.11
57.05/57.27	c bounds 24719 >= 2489 @ 19.0039
57.05/57.27	c bounds 24719 >= 2490 @ 19.1542
57.05/57.27	c bounds 24719 >= 2491 @ 19.4512
57.05/57.27	c bounds 24719 >= 2492 @ 19.5643
57.05/57.27	c bounds 24719 >= 2493 @ 19.6977
57.05/57.27	c bounds 24719 >= 2494 @ 19.9806
57.05/57.27	c bounds 24719 >= 2495 @ 20.1748
57.05/57.27	c bounds 24719 >= 2496 @ 20.4037
57.05/57.27	c bounds 24719 >= 2497 @ 20.5113
57.05/57.27	c bounds 24719 >= 2498 @ 20.8206
57.05/57.27	c bounds 24719 >= 2499 @ 20.9936
57.05/57.27	c bounds 24719 >= 2500 @ 21.3676
57.05/57.27	c bounds 24719 >= 2501 @ 21.5521
57.05/57.27	c bounds 24719 >= 2502 @ 21.7461
57.05/57.27	c bounds 24719 >= 2503 @ 22.0085
57.05/57.27	c bounds 24719 >= 2504 @ 22.1845
57.05/57.27	c bounds 24719 >= 2505 @ 22.5345
57.05/57.27	c bounds 24719 >= 2506 @ 22.6765
57.05/57.27	c bounds 24719 >= 2507 @ 22.9283
57.05/57.27	c #Conflicts:      13000 | #Constraints:      20144
57.05/57.27	c bounds 24707 >= 2507 @ 23.2495
57.05/57.27	c bounds 24707 >= 2508 @ 23.5457
57.05/57.27	c bounds 24707 >= 2509 @ 23.9207
57.05/57.27	c bounds 24707 >= 2510 @ 24.2297
57.05/57.27	c bounds 24707 >= 2511 @ 24.4808
57.05/57.27	c bounds 24707 >= 2512 @ 24.6689
57.05/57.27	c bounds 24707 >= 2513 @ 24.8307
57.05/57.27	c bounds 24707 >= 2514 @ 25.1622
57.05/57.27	c bounds 24707 >= 2515 @ 25.3486
57.05/57.27	c bounds 24707 >= 2516 @ 25.5587
57.05/57.27	c bounds 24707 >= 2517 @ 25.964
57.05/57.27	c bounds 24705 >= 2517 @ 26.1686
57.05/57.27	c bounds 24705 >= 2518 @ 26.9017
57.05/57.27	c bounds 24705 >= 2519 @ 27.2176
57.05/57.27	c bounds 24705 >= 2520 @ 27.5372
57.05/57.27	c bounds 24663 >= 2520 @ 27.5545
57.05/57.27	c bounds 24663 >= 2521 @ 27.8014
57.05/57.27	c bounds 24656 >= 2521 @ 27.8802
57.05/57.27	c bounds 24656 >= 2522 @ 28.1107
57.05/57.27	c bounds 24656 >= 2523 @ 28.3395
57.05/57.27	c #Conflicts:      14000 | #Constraints:      21944
57.05/57.27	c bounds 24656 >= 2524 @ 28.5547
57.05/57.27	c bounds 24645 >= 2524 @ 28.5733
57.05/57.27	c bounds 24637 >= 2524 @ 28.6823
57.05/57.27	c bounds 24637 >= 2525 @ 28.9718
57.05/57.27	c bounds 24637 >= 2526 @ 29.1386
57.05/57.27	c bounds 24637 >= 2527 @ 29.4
57.05/57.27	c bounds 24637 >= 2528 @ 29.7301
57.05/57.27	c #Conflicts:      15000 | #Constraints:      23099
57.05/57.27	c INPROCESSING
57.05/57.27	c GARBAGE COLLECT
57.05/57.27	c bounds 24637 >= 2529 @ 32.0594
57.05/57.27	c bounds 24637 >= 2530 @ 32.4146
57.05/57.27	c bounds 24637 >= 2531 @ 32.5717
57.05/57.27	c bounds 24637 >= 2532 @ 32.6905
57.05/57.27	c bounds 24637 >= 2533 @ 32.8637
57.05/57.27	c bounds 24637 >= 2534 @ 32.9546
57.05/57.27	c bounds 24637 >= 2535 @ 33.08
57.05/57.27	c bounds 24637 >= 2536 @ 33.2226
57.05/57.27	c bounds 24637 >= 2537 @ 33.3849
57.05/57.27	c bounds 24637 >= 2538 @ 33.4919
57.05/57.27	c bounds 24637 >= 2539 @ 33.5904
57.05/57.27	c bounds 24637 >= 2540 @ 33.7343
57.05/57.27	c bounds 24637 >= 2541 @ 33.9699
57.05/57.27	c bounds 24637 >= 2542 @ 34.1706
57.05/57.27	c bounds 24637 >= 2543 @ 34.3452
57.05/57.27	c bounds 24637 >= 2544 @ 34.5639
57.05/57.27	c bounds 24637 >= 2545 @ 34.7784
57.05/57.27	c bounds 24637 >= 2546 @ 34.9963
57.05/57.27	c bounds 24637 >= 2547 @ 35.4149
57.05/57.27	c bounds 24637 >= 2548 @ 35.6173
57.05/57.27	c bounds 24637 >= 2549 @ 35.8147
57.05/57.27	c bounds 24637 >= 2550 @ 36.0293
57.05/57.27	c bounds 24637 >= 2551 @ 36.7902
57.05/57.27	c bounds 24637 >= 2552 @ 37.0261
57.05/57.27	c bounds 24637 >= 2553 @ 37.4448
57.05/57.27	c bounds 24637 >= 2554 @ 37.721
57.05/57.27	c bounds 24637 >= 2555 @ 37.9882
57.05/57.27	c bounds 24637 >= 2556 @ 38.1674
57.05/57.27	c bounds 24637 >= 2557 @ 38.316
57.05/57.27	c bounds 24637 >= 2558 @ 38.6575
57.05/57.27	c bounds 24637 >= 2559 @ 38.8187
57.05/57.27	c #Conflicts:      16000 | #Constraints:      22302
57.05/57.27	c bounds 24637 >= 2560 @ 39.1252
57.05/57.27	c bounds 24637 >= 2561 @ 39.3277
57.05/57.27	c bounds 24637 >= 2562 @ 39.5905
57.05/57.27	c bounds 24637 >= 2563 @ 39.7657
57.05/57.27	c bounds 24637 >= 2564 @ 39.9855
57.05/57.27	c bounds 24637 >= 2565 @ 40.2734
57.05/57.27	c bounds 24637 >= 2566 @ 40.6508
57.05/57.27	c bounds 24637 >= 2567 @ 41.0011
57.05/57.27	c bounds 24637 >= 2568 @ 41.23
57.05/57.27	c bounds 24637 >= 2569 @ 41.4496
57.05/57.27	c bounds 24637 >= 2570 @ 41.6509
57.05/57.27	c bounds 24637 >= 2571 @ 41.9011
57.05/57.27	c bounds 24637 >= 2572 @ 42.17
57.05/57.27	c bounds 24637 >= 2573 @ 42.6716
57.05/57.27	c bounds 24637 >= 2574 @ 42.8232
57.05/57.27	c bounds 24637 >= 2575 @ 43.01
57.05/57.27	c bounds 24637 >= 2576 @ 43.3253
57.05/57.27	c bounds 24637 >= 2577 @ 43.5119
57.05/57.27	c bounds 24637 >= 2578 @ 44.0587
57.05/57.27	c bounds 24637 >= 2579 @ 44.2828
57.05/57.27	c bounds 24637 >= 2580 @ 44.5517
57.05/57.27	c bounds 24637 >= 2581 @ 44.8177
57.05/57.27	c bounds 24637 >= 2582 @ 45.3743
57.05/57.27	c bounds 24637 >= 2583 @ 45.7287
57.05/57.27	c bounds 24637 >= 2584 @ 46.4334
57.05/57.27	c bounds 24637 >= 2585 @ 47.0274
57.05/57.27	c bounds 24637 >= 2586 @ 47.4572
57.05/57.27	c bounds 24637 >= 2587 @ 47.7508
57.05/57.27	c bounds 24637 >= 2588 @ 48.1332
57.05/57.27	c #Conflicts:      17000 | #Constraints:      24490
57.05/57.27	c bounds 24637 >= 2589 @ 48.7779
57.05/57.27	c bounds 24637 >= 2590 @ 49.0726
57.05/57.27	c bounds 24637 >= 2591 @ 50.1943
57.05/57.27	c bounds 24637 >= 2592 @ 50.6397
57.05/57.27	c bounds 24637 >= 2593 @ 51.4599
57.05/57.27	c bounds 24637 >= 2594 @ 51.8973
57.05/57.27	c #Conflicts:      18000 | #Constraints:      25905
57.05/57.27	c INPROCESSING
57.05/57.27	c GARBAGE COLLECT
57.05/57.27	c bounds 24637 >= 2595 @ 54.7357
57.05/57.27	c bounds 24637 >= 2596 @ 55.0625
133.28/133.69	c bounds 24637 >= 2597 @ 55.4773
133.28/133.69	c bounds 24637 >= 2598 @ 56.0988
133.28/133.69	c bounds 24637 >= 2599 @ 56.3811
133.28/133.69	c bounds 24637 >= 2600 @ 57.0324
133.28/133.69	c bounds 24637 >= 2601 @ 57.2252
133.28/133.69	c bounds 24637 >= 2602 @ 57.5273
133.28/133.69	c bounds 24637 >= 2603 @ 57.9427
133.28/133.69	c bounds 24637 >= 2604 @ 58.2928
133.28/133.69	c bounds 24637 >= 2605 @ 58.6176
133.28/133.69	c bounds 24637 >= 2606 @ 58.9921
133.28/133.69	c bounds 24637 >= 2607 @ 59.2583
133.28/133.69	c bounds 24637 >= 2608 @ 59.5279
133.28/133.69	c bounds 24637 >= 2609 @ 59.8279
133.28/133.69	c bounds 24637 >= 2610 @ 60.1138
133.28/133.69	c #Conflicts:      19000 | #Constraints:      24635
133.28/133.69	c bounds 24637 >= 2611 @ 60.6684
133.28/133.69	c bounds 24637 >= 2612 @ 61.1347
133.28/133.69	c bounds 24637 >= 2613 @ 61.418
133.28/133.69	c bounds 24637 >= 2614 @ 61.8929
133.28/133.69	c bounds 24637 >= 2615 @ 62.1717
133.28/133.69	c bounds 24637 >= 2616 @ 62.7685
133.28/133.69	c bounds 24637 >= 2617 @ 63.4264
133.28/133.69	c bounds 24637 >= 2618 @ 63.7618
133.28/133.69	c bounds 24637 >= 2619 @ 64.1511
133.28/133.69	c bounds 24637 >= 2620 @ 64.6896
133.28/133.69	c bounds 24637 >= 2621 @ 65.1955
133.28/133.69	c bounds 24637 >= 2622 @ 66.427
133.28/133.69	c bounds 24637 >= 2623 @ 67.1169
133.28/133.69	c bounds 24637 >= 2624 @ 68.0704
133.28/133.69	c bounds 24637 >= 2625 @ 68.6577
133.28/133.69	c bounds 24637 >= 2626 @ 69.0356
133.28/133.69	c bounds 24637 >= 2627 @ 69.5007
133.28/133.69	c bounds 24637 >= 2628 @ 69.8876
133.28/133.69	c #Conflicts:      20000 | #Constraints:      26665
133.28/133.69	c bounds 24637 >= 2629 @ 70.702
133.28/133.69	c bounds 24637 >= 2630 @ 72.0934
133.28/133.69	c bounds 24637 >= 2631 @ 72.7845
133.28/133.69	c bounds 24637 >= 2632 @ 73.2805
133.28/133.69	c bounds 24637 >= 2633 @ 73.7224
133.28/133.69	c bounds 24637 >= 2634 @ 74.3671
133.28/133.69	c bounds 24637 >= 2635 @ 75.0391
133.28/133.69	c bounds 24635 >= 2635 @ 75.6761
133.28/133.69	c bounds 24635 >= 2636 @ 77.7548
133.28/133.69	c #Conflicts:      21000 | #Constraints:      28163
133.28/133.69	c bounds 24635 >= 2637 @ 78.5179
133.28/133.69	c bounds 24635 >= 2638 @ 79.2782
133.28/133.69	c bounds 24635 >= 2639 @ 79.6287
133.28/133.69	c bounds 24635 >= 2640 @ 80.2422
133.28/133.69	c bounds 24635 >= 2641 @ 80.6812
133.28/133.69	c bounds 24635 >= 2642 @ 81.0528
133.28/133.69	c bounds 24635 >= 2643 @ 81.5614
133.28/133.69	c bounds 24635 >= 2644 @ 82.0801
133.28/133.69	c INPROCESSING
133.28/133.69	c GARBAGE COLLECT
133.28/133.69	c bounds 24635 >= 2645 @ 84.1736
133.28/133.69	c bounds 24635 >= 2646 @ 85.0585
133.28/133.69	c bounds 24635 >= 2647 @ 85.3988
133.28/133.69	c bounds 24635 >= 2648 @ 85.6054
133.28/133.69	c #Conflicts:      22000 | #Constraints:      26362
133.28/133.69	c bounds 24635 >= 2649 @ 85.9945
133.28/133.69	c bounds 24635 >= 2650 @ 86.6727
133.28/133.69	c bounds 24635 >= 2651 @ 87.0659
133.28/133.69	c bounds 24635 >= 2652 @ 87.2587
133.28/133.69	c bounds 24635 >= 2653 @ 87.7048
133.28/133.69	c bounds 24635 >= 2654 @ 87.9918
133.28/133.69	c bounds 24635 >= 2655 @ 88.4751
133.28/133.69	c bounds 24635 >= 2656 @ 89.0981
133.28/133.69	c bounds 24635 >= 2657 @ 89.5739
133.28/133.69	c bounds 24635 >= 2658 @ 89.8114
133.28/133.69	c bounds 24635 >= 2659 @ 90.1236
133.28/133.69	c bounds 24635 >= 2660 @ 90.2472
133.28/133.69	c bounds 24635 >= 2661 @ 90.4876
133.28/133.69	c bounds 24635 >= 2662 @ 91.0224
133.28/133.69	c #Conflicts:      23000 | #Constraints:      27897
133.28/133.69	c #Conflicts:      24000 | #Constraints:      28929
133.28/133.69	c bounds 24634 >= 2662 @ 95.8725
133.28/133.69	c bounds 24634 >= 2663 @ 96.5284
133.28/133.69	c bounds 24634 >= 2664 @ 97.1325
133.28/133.69	c bounds 24634 >= 2665 @ 97.6153
133.28/133.69	c bounds 24634 >= 2666 @ 98.0322
133.28/133.69	c bounds 24634 >= 2667 @ 98.8819
133.28/133.69	c bounds 24634 >= 2668 @ 99.5765
133.28/133.69	c bounds 24634 >= 2669 @ 100.378
133.28/133.69	c #Conflicts:      25000 | #Constraints:      30384
133.28/133.69	c bounds 24634 >= 2670 @ 101.94
133.28/133.69	c bounds 24634 >= 2671 @ 102.324
133.28/133.69	c INPROCESSING
133.28/133.69	c GARBAGE COLLECT
133.28/133.69	c bounds 24634 >= 2672 @ 102.956
133.28/133.69	c bounds 24634 >= 2673 @ 103.463
133.28/133.69	c bounds 24634 >= 2674 @ 104.695
133.28/133.69	c bounds 24634 >= 2675 @ 105.131
133.28/133.69	c bounds 24634 >= 2676 @ 106.354
133.28/133.69	c bounds 24634 >= 2677 @ 107.048
133.28/133.69	c bounds 24634 >= 2678 @ 107.705
133.28/133.69	c bounds 24634 >= 2679 @ 109.271
133.28/133.69	c bounds 24634 >= 2680 @ 109.815
133.28/133.69	c bounds 24634 >= 2681 @ 110.655
133.28/133.69	c bounds 24634 >= 2682 @ 111.95
133.28/133.69	c bounds 24634 >= 2683 @ 112.691
133.28/133.69	c #Conflicts:      26000 | #Constraints:      28767
133.28/133.69	c bounds 24634 >= 2684 @ 113.582
133.28/133.69	c bounds 24634 >= 2685 @ 114.291
133.28/133.69	c bounds 24634 >= 2686 @ 115.702
133.28/133.69	c bounds 24634 >= 2687 @ 116.214
133.28/133.69	c bounds 24634 >= 2688 @ 117.016
133.28/133.69	c bounds 24634 >= 2689 @ 118.557
133.28/133.69	c bounds 24634 >= 2690 @ 119.526
133.28/133.69	c bounds 24634 >= 2691 @ 120.461
133.28/133.69	c bounds 24634 >= 2692 @ 121.493
133.28/133.69	c bounds 24634 >= 2693 @ 121.924
133.28/133.69	c bounds 24634 >= 2694 @ 122.753
133.28/133.69	c bounds 24634 >= 2695 @ 123.242
133.28/133.69	c bounds 24634 >= 2696 @ 125.117
133.28/133.69	c bounds 24634 >= 2697 @ 126.256
133.28/133.69	c #Conflicts:      27000 | #Constraints:      30453
133.28/133.69	c bounds 24634 >= 2698 @ 126.879
133.28/133.69	c bounds 24634 >= 2699 @ 127.988
133.28/133.69	c bounds 24634 >= 2700 @ 128.872
133.28/133.69	c bounds 24634 >= 2701 @ 130.028
133.28/133.69	c bounds 24634 >= 2702 @ 130.784
298.01/298.77	c bounds 24634 >= 2703 @ 131.419
298.01/298.77	c bounds 24634 >= 2704 @ 132.019
298.01/298.77	c bounds 24634 >= 2705 @ 132.773
298.01/298.77	c bounds 24634 >= 2706 @ 133.409
298.01/298.77	c bounds 24634 >= 2707 @ 134.383
298.01/298.77	c bounds 24634 >= 2708 @ 135.159
298.01/298.77	c bounds 24634 >= 2709 @ 136.639
298.01/298.77	c bounds 24634 >= 2710 @ 137.241
298.01/298.77	c bounds 24634 >= 2711 @ 138.111
298.01/298.77	c bounds 24634 >= 2712 @ 138.712
298.01/298.77	c bounds 24634 >= 2713 @ 139.342
298.01/298.77	c bounds 24634 >= 2714 @ 140.046
298.01/298.77	c bounds 24634 >= 2715 @ 140.902
298.01/298.77	c bounds 24634 >= 2716 @ 141.946
298.01/298.77	c bounds 24634 >= 2717 @ 142.967
298.01/298.77	c #Conflicts:      28000 | #Constraints:      32335
298.01/298.77	c bounds 24634 >= 2718 @ 144.292
298.01/298.77	c bounds 24634 >= 2719 @ 145.113
298.01/298.77	c bounds 24634 >= 2720 @ 145.997
298.01/298.77	c bounds 24634 >= 2721 @ 147.51
298.01/298.77	c bounds 24634 >= 2722 @ 148.352
298.01/298.77	c bounds 24634 >= 2723 @ 149.751
298.01/298.77	c bounds 24634 >= 2724 @ 150.335
298.01/298.77	c bounds 24634 >= 2725 @ 151.325
298.01/298.77	c bounds 24634 >= 2726 @ 152.152
298.01/298.77	c bounds 24634 >= 2727 @ 153.058
298.01/298.77	c bounds 24634 >= 2728 @ 154.546
298.01/298.77	c bounds 24634 >= 2729 @ 155.225
298.01/298.77	c bounds 24634 >= 2730 @ 156.211
298.01/298.77	c bounds 24634 >= 2731 @ 156.986
298.01/298.77	c bounds 24634 >= 2732 @ 158.775
298.01/298.77	c bounds 24609 >= 2732 @ 158.832
298.01/298.77	c bounds 24609 >= 2733 @ 160.441
298.01/298.77	c #Conflicts:      29000 | #Constraints:      34229
298.01/298.77	c INPROCESSING
298.01/298.77	c GARBAGE COLLECT
298.01/298.77	c #Conflicts:      30000 | #Constraints:      32315
298.01/298.77	c bounds 24571 >= 2733 @ 164.588
298.01/298.77	c bounds 24571 >= 2734 @ 166.577
298.01/298.77	c bounds 24571 >= 2735 @ 167.775
298.01/298.77	c bounds 24571 >= 2736 @ 168.321
298.01/298.77	c bounds 24571 >= 2737 @ 169.762
298.01/298.77	c bounds 24571 >= 2738 @ 170.901
298.01/298.77	c bounds 24571 >= 2739 @ 172.441
298.01/298.77	c bounds 24571 >= 2740 @ 173.509
298.01/298.77	c bounds 24571 >= 2741 @ 174.469
298.01/298.77	c bounds 24571 >= 2742 @ 175.365
298.01/298.77	c #Conflicts:      31000 | #Constraints:      34044
298.01/298.77	c bounds 24571 >= 2743 @ 177.248
298.01/298.77	c bounds 24571 >= 2744 @ 177.975
298.01/298.77	c bounds 24571 >= 2745 @ 178.79
298.01/298.77	c bounds 24571 >= 2746 @ 179.959
298.01/298.77	c bounds 24571 >= 2747 @ 180.469
298.01/298.77	c bounds 24571 >= 2748 @ 182
298.01/298.77	c bounds 24571 >= 2749 @ 183.326
298.01/298.77	c bounds 24571 >= 2750 @ 184.62
298.01/298.77	c bounds 24571 >= 2751 @ 185.389
298.01/298.77	c bounds 24571 >= 2752 @ 187.44
298.01/298.77	c bounds 24571 >= 2753 @ 188.688
298.01/298.77	c bounds 24571 >= 2754 @ 190.428
298.01/298.77	c bounds 24571 >= 2755 @ 191.651
298.01/298.77	c #Conflicts:      32000 | #Constraints:      35762
298.01/298.77	c bounds 24571 >= 2756 @ 192.997
298.01/298.77	c bounds 24571 >= 2757 @ 193.656
298.01/298.77	c bounds 24571 >= 2758 @ 194.343
298.01/298.77	c bounds 24571 >= 2759 @ 196.686
298.01/298.77	c bounds 24571 >= 2760 @ 198.071
298.01/298.77	c bounds 24571 >= 2761 @ 199.789
298.01/298.77	c bounds 24571 >= 2762 @ 201.123
298.01/298.77	c bounds 24571 >= 2763 @ 203.691
298.01/298.77	c bounds 24571 >= 2764 @ 206.698
298.01/298.77	c bounds 24571 >= 2765 @ 207.638
298.01/298.77	c bounds 24571 >= 2766 @ 208.644
298.01/298.77	c bounds 24571 >= 2767 @ 209.899
298.01/298.77	c bounds 24479 >= 2767 @ 209.935
298.01/298.77	c bounds 24451 >= 2767 @ 210.627
298.01/298.77	c #Conflicts:      33000 | #Constraints:      37423
298.01/298.77	c INPROCESSING
298.01/298.77	c GARBAGE COLLECT
298.01/298.77	c bounds 24451 >= 2768 @ 213.671
298.01/298.77	c bounds 24451 >= 2769 @ 214.982
298.01/298.77	c bounds 24451 >= 2770 @ 215.931
298.01/298.77	c bounds 24451 >= 2771 @ 219.135
298.01/298.77	c bounds 24451 >= 2772 @ 220.343
298.01/298.77	c bounds 24451 >= 2773 @ 222.414
298.01/298.77	c bounds 24421 >= 2773 @ 222.438
298.01/298.77	c #Conflicts:      34000 | #Constraints:      34597
298.01/298.77	c #Conflicts:      35000 | #Constraints:      35645
298.01/298.77	c bounds 24402 >= 2773 @ 228.093
298.01/298.77	c bounds 24402 >= 2774 @ 230.177
298.01/298.77	c bounds 24402 >= 2775 @ 232.917
298.01/298.77	c bounds 24402 >= 2776 @ 234.975
298.01/298.77	c bounds 24402 >= 2777 @ 236.203
298.01/298.77	c bounds 24402 >= 2778 @ 237.881
298.01/298.77	c bounds 24402 >= 2779 @ 238.807
298.01/298.77	c bounds 24402 >= 2780 @ 241.66
298.01/298.77	c #Conflicts:      36000 | #Constraints:      37060
298.01/298.77	c bounds 24402 >= 2781 @ 244.858
298.01/298.77	c bounds 24402 >= 2782 @ 246.893
298.01/298.77	c bounds 24402 >= 2783 @ 250.59
298.01/298.77	c bounds 24402 >= 2784 @ 251.512
298.01/298.77	c bounds 24402 >= 2785 @ 253.51
298.01/298.77	c bounds 24402 >= 2786 @ 254.901
298.01/298.77	c bounds 24402 >= 2787 @ 257.196
298.01/298.77	c bounds 24402 >= 2788 @ 258.696
298.01/298.77	c bounds 24402 >= 2789 @ 260.421
298.01/298.77	c bounds 24402 >= 2790 @ 261.83
298.01/298.77	c bounds 24402 >= 2791 @ 264.295
298.01/298.77	c #Conflicts:      37000 | #Constraints:      38742
298.01/298.77	c bounds 24402 >= 2792 @ 266.955
298.01/298.77	c bounds 24402 >= 2793 @ 268.285
298.01/298.77	c INPROCESSING
298.01/298.77	c GARBAGE COLLECT
298.01/298.77	c bounds 24402 >= 2794 @ 272.541
298.01/298.77	c bounds 24402 >= 2795 @ 275.501
298.01/298.77	c bounds 24402 >= 2796 @ 279.335
298.01/298.77	c bounds 24402 >= 2797 @ 282.569
298.01/298.77	c #Conflicts:      38000 | #Constraints:      36111
298.01/298.77	c bounds 24402 >= 2798 @ 284.878
298.01/298.77	c bounds 24402 >= 2799 @ 289.467
298.01/298.77	c bounds 24402 >= 2800 @ 294.724
707.12/708.93	c bounds 24402 >= 2801 @ 296.624
707.12/708.93	c bounds 24402 >= 2802 @ 298.83
707.12/708.93	c bounds 24402 >= 2803 @ 301.542
707.12/708.93	c bounds 24402 >= 2804 @ 302.753
707.12/708.93	c #Conflicts:      39000 | #Constraints:      37623
707.12/708.93	c bounds 24402 >= 2805 @ 306.188
707.12/708.93	c bounds 24402 >= 2806 @ 307.871
707.12/708.93	c #Conflicts:      40000 | #Constraints:      38740
707.12/708.93	c #Conflicts:      41000 | #Constraints:      39754
707.12/708.93	c INPROCESSING
707.12/708.93	c GARBAGE COLLECT
707.12/708.93	c bounds 24402 >= 2807 @ 324.781
707.12/708.93	c #Conflicts:      42000 | #Constraints:      36366
707.12/708.93	c bounds 24402 >= 2808 @ 331.496
707.12/708.93	c bounds 24402 >= 2809 @ 334.389
707.12/708.93	c bounds 24402 >= 2810 @ 335.867
707.12/708.93	c bounds 24402 >= 2811 @ 337.388
707.12/708.93	c bounds 24402 >= 2812 @ 339.803
707.12/708.93	c bounds 24402 >= 2813 @ 342.599
707.12/708.93	c bounds 24402 >= 2814 @ 344.231
707.12/708.93	c bounds 24402 >= 2815 @ 346.273
707.12/708.93	c bounds 24402 >= 2816 @ 347.996
707.12/708.93	c #Conflicts:      43000 | #Constraints:      37881
707.12/708.93	c bounds 24402 >= 2817 @ 350.524
707.12/708.93	c bounds 24402 >= 2818 @ 353.933
707.12/708.93	c bounds 24402 >= 2819 @ 356.584
707.12/708.93	c bounds 24402 >= 2820 @ 357.657
707.12/708.93	c bounds 24402 >= 2821 @ 359.376
707.12/708.93	c bounds 24402 >= 2822 @ 362.407
707.12/708.93	c bounds 24402 >= 2823 @ 366.762
707.12/708.93	c bounds 24402 >= 2824 @ 369.029
707.12/708.93	c bounds 24402 >= 2825 @ 371.543
707.12/708.93	c bounds 24402 >= 2826 @ 374.672
707.12/708.93	c #Conflicts:      44000 | #Constraints:      39514
707.12/708.93	c bounds 24402 >= 2827 @ 376.857
707.12/708.93	c bounds 24402 >= 2828 @ 379.812
707.12/708.93	c bounds 24402 >= 2829 @ 383.915
707.12/708.93	c bounds 24402 >= 2830 @ 385.762
707.12/708.93	c bounds 24402 >= 2831 @ 388.118
707.12/708.93	c bounds 24402 >= 2832 @ 390.248
707.12/708.93	c bounds 24402 >= 2833 @ 391.631
707.12/708.93	c bounds 24402 >= 2834 @ 394.706
707.12/708.93	c bounds 24402 >= 2835 @ 396.115
707.12/708.93	c bounds 24402 >= 2836 @ 398.059
707.12/708.93	c bounds 24402 >= 2837 @ 401.354
707.12/708.93	c #Conflicts:      45000 | #Constraints:      41082
707.12/708.93	c bounds 24402 >= 2838 @ 412.569
707.12/708.93	c bounds 24402 >= 2839 @ 419.41
707.12/708.93	c bounds 24402 >= 2840 @ 424.188
707.12/708.93	c bounds 24402 >= 2841 @ 427.956
707.12/708.93	c bounds 24402 >= 2842 @ 436.007
707.12/708.93	c #Conflicts:      46000 | #Constraints:      42553
707.12/708.93	c bounds 24402 >= 2843 @ 439.499
707.12/708.93	c bounds 24402 >= 2844 @ 441.632
707.12/708.93	c bounds 24402 >= 2845 @ 444.669
707.12/708.93	c INPROCESSING
707.12/708.93	c GARBAGE COLLECT
707.12/708.93	c bounds 24402 >= 2846 @ 449.598
707.12/708.93	c bounds 24402 >= 2847 @ 457.172
707.12/708.93	c bounds 24402 >= 2848 @ 463.969
707.12/708.93	c #Conflicts:      47000 | #Constraints:      39681
707.12/708.93	c bounds 24402 >= 2849 @ 469.342
707.12/708.93	c bounds 24402 >= 2850 @ 474
707.12/708.93	c bounds 24402 >= 2851 @ 478.413
707.12/708.93	c bounds 24402 >= 2852 @ 488.304
707.12/708.93	c #Conflicts:      48000 | #Constraints:      41083
707.12/708.93	c bounds 24402 >= 2853 @ 497.486
707.12/708.93	c bounds 24402 >= 2854 @ 503.298
707.12/708.93	c #Conflicts:      49000 | #Constraints:      42296
707.12/708.93	c #Conflicts:      50000 | #Constraints:      43297
707.12/708.93	c #Conflicts:      51000 | #Constraints:      44305
707.12/708.93	c INPROCESSING
707.12/708.93	c GARBAGE COLLECT
707.12/708.93	c bounds 24402 >= 2855 @ 520.267
707.12/708.93	c bounds 24402 >= 2856 @ 525.416
707.12/708.93	c bounds 24402 >= 2857 @ 532.84
707.12/708.93	c bounds 24402 >= 2858 @ 534.884
707.12/708.93	c #Conflicts:      52000 | #Constraints:      40980
707.12/708.93	c bounds 24402 >= 2859 @ 544.928
707.12/708.93	c bounds 24402 >= 2860 @ 548.377
707.12/708.93	c bounds 24402 >= 2861 @ 553.492
707.12/708.93	c bounds 24402 >= 2862 @ 556.954
707.12/708.93	c #Conflicts:      53000 | #Constraints:      42321
707.12/708.93	c bounds 24402 >= 2863 @ 564.607
707.12/708.93	c bounds 24402 >= 2864 @ 573.322
707.12/708.93	c bounds 24402 >= 2865 @ 582.435
707.12/708.93	c bounds 24402 >= 2866 @ 589.273
707.12/708.93	c bounds 24402 >= 2867 @ 594.966
707.12/708.93	c #Conflicts:      54000 | #Constraints:      43872
707.12/708.93	c bounds 24402 >= 2868 @ 602.958
707.12/708.93	c bounds 24402 >= 2869 @ 608.512
707.12/708.93	c bounds 24402 >= 2870 @ 615.339
707.12/708.93	c bounds 24402 >= 2871 @ 618.816
707.12/708.93	c bounds 24402 >= 2872 @ 625.273
707.12/708.93	c bounds 24402 >= 2873 @ 627.77
707.12/708.93	c #Conflicts:      55000 | #Constraints:      45327
707.12/708.93	c bounds 24402 >= 2874 @ 632.501
707.12/708.93	c bounds 24402 >= 2875 @ 635.939
707.12/708.93	c bounds 24402 >= 2876 @ 640.273
707.12/708.93	c bounds 24402 >= 2877 @ 644.853
707.12/708.93	c bounds 24402 >= 2878 @ 650.694
707.12/708.93	c bounds 24402 >= 2879 @ 655.779
707.12/708.93	c bounds 24402 >= 2880 @ 660.595
707.12/708.93	c #Conflicts:      56000 | #Constraints:      46840
707.12/708.93	c bounds 24402 >= 2881 @ 666.416
707.12/708.93	c INPROCESSING
707.12/708.93	c GARBAGE COLLECT
707.12/708.93	c bounds 24402 >= 2882 @ 678.535
707.12/708.93	c bounds 24402 >= 2883 @ 684.628
707.12/708.93	c bounds 24388 >= 2883 @ 684.65
707.12/708.93	c bounds 24377 >= 2883 @ 684.67
707.12/708.93	c #Conflicts:      57000 | #Constraints:      43559
707.12/708.93	c #Conflicts:      58000 | #Constraints:      44568
707.12/708.93	c #Conflicts:      59000 | #Constraints:      45657
707.12/708.93	c #Conflicts:      60000 | #Constraints:      47285
707.12/708.93	c #Conflicts:      61000 | #Constraints:      48361
1748.98/1753.28	c #Conflicts:      62000 | #Constraints:      49364
1748.98/1753.28	c bounds 24369 >= 2883 @ 713.747
1748.98/1753.28	c #Conflicts:      63000 | #Constraints:      50367
1748.98/1753.28	c bounds 24369 >= 2884 @ 726.464
1748.98/1753.28	c bounds 24369 >= 2885 @ 738.634
1748.98/1753.28	c bounds 24369 >= 2886 @ 743.297
1748.98/1753.28	c bounds 24369 >= 2887 @ 748.8
1748.98/1753.28	c bounds 24369 >= 2888 @ 757.676
1748.98/1753.28	c #Conflicts:      64000 | #Constraints:      51922
1748.98/1753.28	c bounds 24369 >= 2889 @ 765.769
1748.98/1753.28	c bounds 24369 >= 2890 @ 775.025
1748.98/1753.28	c bounds 24369 >= 2891 @ 781.816
1748.98/1753.28	c bounds 24369 >= 2892 @ 784.98
1748.98/1753.28	c bounds 24369 >= 2893 @ 790.72
1748.98/1753.28	c bounds 24369 >= 2894 @ 795.454
1748.98/1753.28	c bounds 24369 >= 2895 @ 803.296
1748.98/1753.28	c #Conflicts:      65000 | #Constraints:      53515
1748.98/1753.28	c bounds 24369 >= 2896 @ 810.057
1748.98/1753.28	c bounds 24369 >= 2897 @ 814.323
1748.98/1753.28	c bounds 24369 >= 2898 @ 818.512
1748.98/1753.28	c bounds 24369 >= 2899 @ 822.562
1748.98/1753.28	c bounds 24369 >= 2900 @ 831.141
1748.98/1753.28	c bounds 24369 >= 2901 @ 842.597
1748.98/1753.28	c #Conflicts:      66000 | #Constraints:      55012
1748.98/1753.28	c bounds 24369 >= 2902 @ 853.499
1748.98/1753.28	c bounds 24369 >= 2903 @ 860.178
1748.98/1753.28	c bounds 24369 >= 2904 @ 864.841
1748.98/1753.28	c bounds 24369 >= 2905 @ 876.552
1748.98/1753.28	c bounds 24369 >= 2906 @ 887.543
1748.98/1753.28	c #Conflicts:      67000 | #Constraints:      56494
1748.98/1753.28	c bounds 24369 >= 2907 @ 893.823
1748.98/1753.28	c bounds 24369 >= 2908 @ 905.407
1748.98/1753.28	c bounds 24369 >= 2909 @ 908.599
1748.98/1753.28	c bounds 24369 >= 2910 @ 917.639
1748.98/1753.28	c #Conflicts:      68000 | #Constraints:      57831
1748.98/1753.28	c bounds 24369 >= 2911 @ 927.504
1748.98/1753.28	c bounds 24369 >= 2912 @ 937.266
1748.98/1753.28	c bounds 24369 >= 2913 @ 948.339
1748.98/1753.28	c bounds 24369 >= 2914 @ 954.768
1748.98/1753.28	c bounds 24369 >= 2915 @ 962.961
1748.98/1753.28	c bounds 24369 >= 2916 @ 965.951
1748.98/1753.28	c #Conflicts:      69000 | #Constraints:      59355
1748.98/1753.28	c bounds 24369 >= 2917 @ 974.464
1748.98/1753.28	c bounds 24369 >= 2918 @ 981.547
1748.98/1753.28	c bounds 24369 >= 2919 @ 987.911
1748.98/1753.28	c bounds 24369 >= 2920 @ 995.058
1748.98/1753.28	c bounds 24369 >= 2921 @ 1004.81
1748.98/1753.28	c bounds 24369 >= 2922 @ 1010.08
1748.98/1753.28	c bounds 24369 >= 2923 @ 1016.09
1748.98/1753.28	c bounds 24369 >= 2924 @ 1019.72
1748.98/1753.28	c #Conflicts:      70000 | #Constraints:      60978
1748.98/1753.28	c bounds 24369 >= 2925 @ 1027.6
1748.98/1753.28	c bounds 24369 >= 2926 @ 1033.87
1748.98/1753.28	c bounds 24369 >= 2927 @ 1042.08
1748.98/1753.28	c bounds 24369 >= 2928 @ 1050.14
1748.98/1753.28	c bounds 24369 >= 2929 @ 1054.56
1748.98/1753.28	c bounds 24369 >= 2930 @ 1058.72
1748.98/1753.28	c bounds 24369 >= 2931 @ 1071.56
1748.98/1753.28	c bounds 24369 >= 2932 @ 1076.42
1748.98/1753.28	c #Conflicts:      71000 | #Constraints:      62594
1748.98/1753.28	c bounds 24369 >= 2933 @ 1086.79
1748.98/1753.28	c bounds 24369 >= 2934 @ 1103.19
1748.98/1753.28	c #Conflicts:      72000 | #Constraints:      63856
1748.98/1753.28	c bounds 24369 >= 2935 @ 1129.74
1748.98/1753.28	c bounds 24364 >= 2935 @ 1137.03
1748.98/1753.28	c bounds 24364 >= 2936 @ 1145.48
1748.98/1753.28	c bounds 24364 >= 2937 @ 1153.82
1748.98/1753.28	c #Conflicts:      73000 | #Constraints:      65225
1748.98/1753.28	c bounds 24364 >= 2938 @ 1174.19
1748.98/1753.28	c bounds 24364 >= 2939 @ 1195.08
1748.98/1753.28	c bounds 24364 >= 2940 @ 1212.45
1748.98/1753.28	c #Conflicts:      74000 | #Constraints:      66652
1748.98/1753.28	c #Conflicts:      75000 | #Constraints:      68283
1748.98/1753.28	c #Conflicts:      76000 | #Constraints:      70282
1748.98/1753.28	c INPROCESSING
1748.98/1753.28	c GARBAGE COLLECT
1748.98/1753.28	c bounds 24364 >= 2941 @ 1288.6
1748.98/1753.28	c bounds 24364 >= 2942 @ 1298.5
1748.98/1753.28	c #Conflicts:      77000 | #Constraints:      57969
1748.98/1753.28	c bounds 24364 >= 2943 @ 1316.3
1748.98/1753.28	c bounds 24364 >= 2944 @ 1332.76
1748.98/1753.28	c #Conflicts:      78000 | #Constraints:      59618
1748.98/1753.28	c bounds 24364 >= 2945 @ 1360.12
1748.98/1753.28	c bounds 24364 >= 2946 @ 1383.75
1748.98/1753.28	c #Conflicts:      79000 | #Constraints:      61375
1748.98/1753.28	c bounds 24364 >= 2947 @ 1423.03
1748.98/1753.28	c bounds 24364 >= 2948 @ 1438.55
1748.98/1753.28	c #Conflicts:      80000 | #Constraints:      62950
1748.98/1753.28	c bounds 24364 >= 2949 @ 1475.73
1748.98/1753.28	c #Conflicts:      81000 | #Constraints:      64141
1748.98/1753.28	c bounds 24364 >= 2950 @ 1500.5
1748.98/1753.28	c bounds 24364 >= 2951 @ 1519.51
1748.98/1753.28	c bounds 24364 >= 2952 @ 1530.19
1748.98/1753.28	c bounds 24364 >= 2953 @ 1542.63
1748.98/1753.28	c #Conflicts:      82000 | #Constraints:      65565
1748.98/1753.28	c bounds 24364 >= 2954 @ 1558.89
1748.98/1753.28	c bounds 24364 >= 2955 @ 1572.06
1748.98/1753.28	c bounds 24364 >= 2956 @ 1581.97
1748.98/1753.28	c INPROCESSING
1748.98/1753.28	c GARBAGE COLLECT
1748.98/1753.28	c #Conflicts:      83000 | #Constraints:      55984
1748.98/1753.28	c bounds 24364 >= 2957 @ 1611.2
1748.98/1753.28	c bounds 24364 >= 2958 @ 1622.3
1748.98/1753.28	c #Conflicts:      84000 | #Constraints:      57169
1748.98/1753.28	c bounds 24364 >= 2959 @ 1649.12
1748.98/1753.28	c bounds 24364 >= 2960 @ 1663.07
1748.98/1753.28	c bounds 24364 >= 2961 @ 1677.04
1748.98/1753.28	c #Conflicts:      85000 | #Constraints:      58467
1748.98/1753.28	c bounds 24364 >= 2962 @ 1716.22
1748.98/1753.28	c bounds 24364 >= 2963 @ 1741.28
1748.98/1753.28	c #Conflicts:      86000 | #Constraints:      60016
2990.80/2998.22	c #Conflicts:      87000 | #Constraints:      61045
2990.80/2998.22	c #Conflicts:      88000 | #Constraints:      62066
2990.80/2998.22	c #Conflicts:      89000 | #Constraints:      63095
2990.80/2998.22	c INPROCESSING
2990.80/2998.22	c GARBAGE COLLECT
2990.80/2998.22	c #Conflicts:      90000 | #Constraints:      54983
2990.80/2998.22	c bounds 24364 >= 2964 @ 1807.59
2990.80/2998.22	c bounds 24364 >= 2965 @ 1822.79
2990.80/2998.22	c bounds 24364 >= 2966 @ 1833.18
2990.80/2998.22	c #Conflicts:      91000 | #Constraints:      56298
2990.80/2998.22	c bounds 24364 >= 2967 @ 1858.47
2990.80/2998.22	c #Conflicts:      92000 | #Constraints:      57422
2990.80/2998.22	c bounds 24364 >= 2968 @ 1888.58
2990.80/2998.22	c bounds 24364 >= 2969 @ 1906.43
2990.80/2998.22	c bounds 24364 >= 2970 @ 1922.72
2990.80/2998.22	c #Conflicts:      93000 | #Constraints:      58748
2990.80/2998.22	c bounds 24364 >= 2971 @ 1965.01
2990.80/2998.22	c bounds 24364 >= 2972 @ 1984.21
2990.80/2998.22	c #Conflicts:      94000 | #Constraints:      60073
2990.80/2998.22	c bounds 24364 >= 2973 @ 2015.47
2990.80/2998.22	c bounds 24364 >= 2974 @ 2032.51
2990.80/2998.22	c #Conflicts:      95000 | #Constraints:      61289
2990.80/2998.22	c #Conflicts:      96000 | #Constraints:      62306
2990.80/2998.22	c INPROCESSING
2990.80/2998.22	c GARBAGE COLLECT
2990.80/2998.22	c bounds 24364 >= 2975 @ 2054.89
2990.80/2998.22	c bounds 24364 >= 2976 @ 2066.16
2990.80/2998.22	c bounds 24364 >= 2977 @ 2077.76
2990.80/2998.22	c #Conflicts:      97000 | #Constraints:      55618
2990.80/2998.22	c bounds 24364 >= 2978 @ 2093.66
2990.80/2998.22	c bounds 24364 >= 2979 @ 2112.61
2990.80/2998.22	c bounds 24364 >= 2980 @ 2123.82
2990.80/2998.22	c #Conflicts:      98000 | #Constraints:      56884
2990.80/2998.22	c bounds 24364 >= 2981 @ 2137.7
2990.80/2998.22	c #Conflicts:      99000 | #Constraints:      57977
2990.80/2998.22	c #Conflicts:     100000 | #Constraints:      59000
2990.80/2998.22	c #Conflicts:     101000 | #Constraints:      60020
2990.80/2998.22	c #Conflicts:     102000 | #Constraints:      61043
2990.80/2998.22	c INPROCESSING
2990.80/2998.22	c GARBAGE COLLECT
2990.80/2998.22	c #Conflicts:     103000 | #Constraints:      54473
2990.80/2998.22	c bounds 24364 >= 2982 @ 2186.67
2990.80/2998.22	c bounds 24364 >= 2983 @ 2196.93
2990.80/2998.22	c bounds 24364 >= 2984 @ 2212.9
2990.80/2998.22	c #Conflicts:     104000 | #Constraints:      55798
2990.80/2998.22	c bounds 24364 >= 2985 @ 2224.93
2990.80/2998.22	c bounds 24364 >= 2986 @ 2242.2
2990.80/2998.22	c #Conflicts:     105000 | #Constraints:      57127
2990.80/2998.22	c bounds 24364 >= 2987 @ 2270.38
2990.80/2998.22	c bounds 24364 >= 2988 @ 2287.01
2990.80/2998.22	c #Conflicts:     106000 | #Constraints:      58376
2990.80/2998.22	c bounds 24364 >= 2989 @ 2313.49
2990.80/2998.22	c bounds 24364 >= 2990 @ 2333.2
2990.80/2998.22	c bounds 24364 >= 2991 @ 2345.38
2990.80/2998.22	c #Conflicts:     107000 | #Constraints:      59697
2990.80/2998.22	c bounds 24364 >= 2992 @ 2361.69
2990.80/2998.22	c bounds 24364 >= 2993 @ 2372.97
2990.80/2998.22	c bounds 24364 >= 2994 @ 2384.58
2990.80/2998.22	c #Conflicts:     108000 | #Constraints:      60959
2990.80/2998.22	c bounds 24364 >= 2995 @ 2413.83
2990.80/2998.22	c bounds 24364 >= 2996 @ 2421.89
2990.80/2998.22	c bounds 24364 >= 2997 @ 2438.48
2990.80/2998.22	c bounds 24364 >= 2998 @ 2447.66
2990.80/2998.22	c bounds 24364 >= 2999 @ 2454.49
2990.80/2998.22	c #Conflicts:     109000 | #Constraints:      62374
2990.80/2998.22	c bounds 24364 >= 3000 @ 2474.04
2990.80/2998.22	c bounds 24364 >= 3001 @ 2488.3
2990.80/2998.22	c bounds 24364 >= 3002 @ 2506.92
2990.80/2998.22	c #Conflicts:     110000 | #Constraints:      63651
2990.80/2998.22	c INPROCESSING
2990.80/2998.22	c GARBAGE COLLECT
2990.80/2998.22	c bounds 24364 >= 3003 @ 2527.78
2990.80/2998.22	c bounds 24364 >= 3004 @ 2556.15
2990.80/2998.22	c #Conflicts:     111000 | #Constraints:      57740
2990.80/2998.22	c #Conflicts:     112000 | #Constraints:      58752
2990.80/2998.22	c #Conflicts:     113000 | #Constraints:      59780
2990.80/2998.22	c #Conflicts:     114000 | #Constraints:      61187
2990.80/2998.22	c #Conflicts:     115000 | #Constraints:      62254
2990.80/2998.22	c #Conflicts:     116000 | #Constraints:      63320
2990.80/2998.22	c #Conflicts:     117000 | #Constraints:      64349
2990.80/2998.22	c INPROCESSING
2990.80/2998.22	c GARBAGE COLLECT
2990.80/2998.22	c bounds 24364 >= 3005 @ 2643.72
2990.80/2998.22	c #Conflicts:     118000 | #Constraints:      57874
2990.80/2998.22	c #Conflicts:     119000 | #Constraints:      59191
2990.80/2998.22	c bounds 24364 >= 3006 @ 2698.85
2990.80/2998.22	c bounds 24364 >= 3007 @ 2716.19
2990.80/2998.22	c #Conflicts:     120000 | #Constraints:      60458
2990.80/2998.22	c bounds 24364 >= 3008 @ 2738.88
2990.80/2998.22	c bounds 24364 >= 3009 @ 2747.23
2990.80/2998.22	c bounds 24364 >= 3010 @ 2765.18
2990.80/2998.22	c bounds 24364 >= 3011 @ 2785.78
2990.80/2998.22	c #Conflicts:     121000 | #Constraints:      61861
2990.80/2998.22	c bounds 24364 >= 3012 @ 2797.97
2990.80/2998.22	c bounds 24364 >= 3013 @ 2823.87
2990.80/2998.22	c bounds 24364 >= 3014 @ 2835.58
2990.80/2998.22	c bounds 24364 >= 3015 @ 2847.46
2990.80/2998.22	c #Conflicts:     122000 | #Constraints:      63210
2990.80/2998.22	c bounds 24364 >= 3016 @ 2862.87
2990.80/2998.22	c bounds 24364 >= 3017 @ 2870.89
2990.80/2998.22	c bounds 24364 >= 3018 @ 2882.68
2990.80/2998.22	c bounds 24364 >= 3019 @ 2899.85
2990.80/2998.22	c #Conflicts:     123000 | #Constraints:      64516
2990.80/2998.22	c bounds 24364 >= 3020 @ 2926.8
2990.80/2998.22	c bounds 24364 >= 3021 @ 2947.81
2990.80/2998.22	c bounds 24364 >= 3022 @ 2964.63
2990.80/2998.22	c bounds 24364 >= 3023 @ 2980.32
2990.80/2998.22	c #Conflicts:     124000 | #Constraints:      65952
3600.01/3608.90	c bounds 24364 >= 3024 @ 2993.29
3600.01/3608.90	c bounds 24364 >= 3025 @ 3001.81
3600.01/3608.90	c bounds 24364 >= 3026 @ 3015.92
3600.01/3608.90	c INPROCESSING
3600.01/3608.90	c GARBAGE COLLECT
3600.01/3608.90	c #Conflicts:     125000 | #Constraints:      59645
3600.01/3608.90	c bounds 24364 >= 3027 @ 3079.19
3600.01/3608.90	c bounds 24364 >= 3028 @ 3092.79
3600.01/3608.90	c #Conflicts:     126000 | #Constraints:      61214
3600.01/3608.90	c bounds 24364 >= 3029 @ 3120.97
3600.01/3608.90	c bounds 24364 >= 3030 @ 3149.75
3600.01/3608.90	c bounds 24364 >= 3031 @ 3166.33
3600.01/3608.90	c #Conflicts:     127000 | #Constraints:      62513
3600.01/3608.90	c bounds 24364 >= 3032 @ 3189.44
3600.01/3608.90	c bounds 24364 >= 3033 @ 3205.65
3600.01/3608.90	c bounds 24364 >= 3034 @ 3223.63
3600.01/3608.90	c #Conflicts:     128000 | #Constraints:      63828
3600.01/3608.90	c bounds 24364 >= 3035 @ 3244.6
3600.01/3608.90	c bounds 24364 >= 3036 @ 3277.79
3600.01/3608.90	c #Conflicts:     129000 | #Constraints:      65044
3600.01/3608.90	c bounds 24364 >= 3037 @ 3308.99
3600.01/3608.90	c #Conflicts:     130000 | #Constraints:      66137
3600.01/3608.90	c #Conflicts:     131000 | #Constraints:      67175
3600.01/3608.90	c #Conflicts:     132000 | #Constraints:      68180
3600.01/3608.90	c INPROCESSING
3600.01/3608.90	c GARBAGE COLLECT
3600.01/3608.90	c #Conflicts:     133000 | #Constraints:      60996
3600.01/3608.90	c bounds 24364 >= 3038 @ 3369.3
3600.01/3608.90	c bounds 24364 >= 3039 @ 3403.33
3600.01/3608.90	c #Conflicts:     134000 | #Constraints:      62274
3600.01/3608.90	c bounds 24364 >= 3040 @ 3431.19
3600.01/3608.90	c bounds 24364 >= 3041 @ 3452.7
3600.01/3608.90	c bounds 24364 >= 3042 @ 3482.26
3600.01/3608.90	c #Conflicts:     135000 | #Constraints:      63718
3600.01/3608.90	c bounds 24364 >= 3043 @ 3509.73
3600.01/3608.90	c bounds 24364 >= 3044 @ 3532.95
3600.01/3608.90	c #Conflicts:     136000 | #Constraints:      64949
3600.01/3608.90	c bounds 24364 >= 3045 @ 3558.99
3600.01/3608.90	c bounds 24364 >= 3046 @ 3570.3
3600.01/3608.90	c Program interrupted by user.
3600.01/3608.90	c cpu time 3591.69 s
3600.01/3608.90	c deterministic time 66186937727 6.62e+10
3600.01/3608.90	c optimization time 21.8356 s
3600.01/3608.90	c total solve time 3569.85 s
3600.01/3608.90	c core-guided solve time 3292.28 s
3600.01/3608.90	c propagation time 487.02 s
3600.01/3608.90	c conflict analysis time 3087.32 s
3600.01/3608.90	c propagations 190516845
3600.01/3608.90	c resolve steps 73547563
3600.01/3608.90	c decisions 6787470
3600.01/3608.90	c conflicts 136581
3600.01/3608.90	c restarts 379
3600.01/3608.90	c inprocessing phases 25
3600.01/3608.90	c input clauses 16728
3600.01/3608.90	c input cardinalities 1311
3600.01/3608.90	c input general constraints 36133
3600.01/3608.90	c input average constraint length 38.89
3600.01/3608.90	c input average constraint degree 175.89
3600.01/3608.90	c learned clauses 76893
3600.01/3608.90	c learned cardinalities 0
3600.01/3608.90	c learned general constraints 69563
3600.01/3608.90	c learned average constraint length 1579.24
3600.01/3608.90	c learned average constraint degree 105906654.92
3600.01/3608.90	c watched constraints 70203
3600.01/3608.90	c counting constraints 35493
3600.01/3608.90	c gcd simplifications 10399
3600.01/3608.90	c detected cardinalities 1
3600.01/3608.90	c weakened non-implied lits 3423487
3600.01/3608.90	c weakened non-implying lits 363759
3600.01/3608.90	c original variables 548
3600.01/3608.90	c clausal propagations 11862584
3600.01/3608.90	c cardinality propagations 254948
3600.01/3608.90	c watched propagations 6489356
3600.01/3608.90	c counting propagations 168819961
3600.01/3608.90	c watch lookups 10682521341
3600.01/3608.90	c watch backjump lookups 10077306391
3600.01/3608.90	c watch checks 36041154655
3600.01/3608.90	c propagation checks 4233723345
3600.01/3608.90	c constraint additions 4757341634
3600.01/3608.90	c trail pops 197430683
3600.01/3608.90	c formula constraints 166
3600.01/3608.90	c learned constraints 137418
3600.01/3608.90	c bound constraints 1369
3600.01/3608.90	c core-guided constraints 52637
3600.01/3608.90	c encountered formula constraints 118576
3600.01/3608.90	c encountered learned constraints 5376275
3600.01/3608.90	c encountered bound constraints 1237
3600.01/3608.90	c encountered core-guided constraints 68164559
3600.01/3608.90	c LP total time 5.2475 s
3600.01/3608.90	c LP solve time 4.32 s
3600.01/3608.90	c LP constraints added 260
3600.01/3608.90	c LP constraints removed 33
3600.01/3608.90	c LP pivots internal 137474
3600.01/3608.90	c LP pivots root 17888
3600.01/3608.90	c LP calls 9003
3600.01/3608.90	c LP optimalities 26
3600.01/3608.90	c LP no pivot count 0
3600.01/3608.90	c LP infeasibilities 8968
3600.01/3608.90	c LP valid Farkas constraints 8952
3600.01/3608.90	c LP learned Farkas constraints 1
3600.01/3608.90	c LP basis resets 7
3600.01/3608.90	c LP cycling count 0
3600.01/3608.90	c LP singular count 7
3600.01/3608.90	c LP no primal count 0
3600.01/3608.90	c LP no farkas count 0
3600.01/3608.90	c LP other issue count 0
3600.01/3608.90	c LP Gomory cuts 85
3600.01/3608.90	c LP learned cuts 9
3600.01/3608.90	c LP deleted cuts 33
3600.01/3608.90	c LP encountered Gomory constraints 5012
3600.01/3608.90	c LP encountered Farkas constraints 18484
3600.01/3608.90	c LP encountered learned Farkas constraints 0
3600.01/3608.90	c CG auxiliary variables introduced 17975
3600.01/3608.90	c CG solutions found 81
3600.01/3608.90	c CG cores constructed 1288
3600.01/3608.90	c CG core cardinality constraints returned 0
3600.01/3608.90	c CG unit cores 0
3600.01/3608.90	c CG single cores 480
3600.01/3608.90	c CG blocks removed during cardinality reduction 128
3600.01/3608.90	c CG first core best 0
3600.01/3608.90	c CG decision core best 14
3600.01/3608.90	c CG core reduction tie 794
3600.01/3608.90	c CG core degree average 1.00
3600.01/3608.90	c CG core slack average 35.78
3600.01/3608.90	s SATISFIABLE
3600.01/3608.90	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	24364

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: 64059 MiB (60312 MiB free)
  memory of node 1: 64510 MiB (61432 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455056-1721457266/watcher-4455056-1721457266 -o /tmp/evaluation-result-4455056-1721457266/solver-4455056-1721457266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049244 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455056-1721457266.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=1049477, runsolver pid=1049474

[startup+0.100097 s]*
/proc/loadavg: 1.13 1.13 1.67 5/244 1049488
/proc/meminfo: memFree=124663192/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=38388 memory=9248 CPUtime=0.1 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 650 0 0 0 6 4 0 0 20 0 1 0 197885329 39309312 2312 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 9597 2312 1847 922 0 1549 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38388 KiB
Current children cumulated memory: 9248 KiB

[startup+0.213161 s]*
/proc/loadavg: 1.13 1.13 1.67 6/244 1049488
/proc/meminfo: memFree=124661276/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=38692 memory=9832 CPUtime=0.21 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 795 0 0 0 11 10 0 0 20 0 1 0 197885329 39620608 2458 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 9673 2458 1863 922 0 1625 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 9832 KiB

[startup+0.312368 s]*
/proc/loadavg: 1.13 1.13 1.67 5/244 1049488
/proc/meminfo: memFree=124658980/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=38948 memory=10348 CPUtime=0.31 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 921 0 0 0 17 14 0 0 20 0 1 0 197885329 39882752 2587 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 9737 2587 1863 922 0 1689 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38948 KiB
Current children cumulated memory: 10348 KiB

[startup+0.700297 s]
/proc/loadavg: 1.13 1.13 1.67 5/244 1049488
/proc/meminfo: memFree=124653556/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=39796 memory=13708 CPUtime=0.68 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 1240 0 0 0 41 27 0 0 20 0 1 0 197885329 40751104 3427 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 9949 3427 1863 922 0 1901 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39796 KiB
Current children cumulated memory: 13708 KiB

[startup+1.50032 s]
/proc/loadavg: 1.13 1.13 1.67 5/241 1049492
/proc/meminfo: memFree=124638788/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=43240 memory=17108 CPUtime=1.48 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 2141 0 0 0 96 52 0 0 20 0 1 0 197885329 44277760 4277 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 10810 4277 1863 922 0 2762 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43240 KiB
Current children cumulated memory: 17108 KiB

[startup+3.11267 s]
/proc/loadavg: 1.36 1.18 1.68 4/241 1049550
/proc/meminfo: memFree=124619260/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=52168 memory=24428 CPUtime=3.09 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 3952 0 0 0 223 86 0 0 20 0 1 0 197885329 53420032 6107 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 13042 6107 1863 922 0 4994 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52168 KiB
Current children cumulated memory: 24428 KiB

[startup+6.30031 s]
/proc/loadavg: 1.36 1.18 1.68 5/244 1049582
/proc/meminfo: memFree=124438296/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=55628 memory=30208 CPUtime=6.26 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 5245 0 0 0 505 121 0 0 20 0 1 0 197885329 56963072 7552 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 13907 7552 1997 922 0 5859 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 55628 KiB
Current children cumulated memory: 30208 KiB

[startup+12.7003 s]
/proc/loadavg: 1.57 1.22 1.70 5/244 1049583
/proc/meminfo: memFree=124270572/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=70804 memory=42644 CPUtime=12.66 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 7966 0 0 0 1117 149 0 0 20 0 1 0 197885329 72503296 10661 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 17701 10661 1997 922 0 9653 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 70804 KiB
Current children cumulated memory: 42644 KiB

[startup+25.5003 s]
/proc/loadavg: 2.11 1.36 1.73 5/244 1049585
/proc/meminfo: memFree=123942952/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=72024 memory=45672 CPUtime=25.42 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 8786 0 0 0 2373 169 0 0 20 0 1 0 197885329 73752576 11418 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 18006 11418 1997 922 0 9958 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 72024 KiB
Current children cumulated memory: 45672 KiB

[startup+51.1137 s]
/proc/loadavg: 2.89 1.60 1.81 5/244 1049588
/proc/meminfo: memFree=123360528/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=81196 memory=51856 CPUtime=50.97 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 9351 0 0 0 4900 197 0 0 20 0 1 0 197885329 83144704 12964 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 20299 12964 1997 922 0 12251 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 81196 KiB
Current children cumulated memory: 51856 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 1.99 1.93 5/242 1049600
/proc/meminfo: memFree=122628364/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=112584 memory=75656 CPUtime=102.04 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 14432 0 0 0 9956 248 0 0 20 0 1 0 197885329 115286016 18914 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 28146 18914 1997 922 0 20098 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 112584 KiB
Current children cumulated memory: 75656 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.39 2.07 5/242 1049610
/proc/meminfo: memFree=122244024/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=113844 memory=84540 CPUtime=161.92 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 14789 0 0 0 15922 270 0 0 20 0 1 0 197885329 116576256 21135 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 28461 21135 1997 922 0 20413 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 113844 KiB
Current children cumulated memory: 84540 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 2.72 2.20 5/241 1049620
/proc/meminfo: memFree=122024764/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=134324 memory=87924 CPUtime=221.78 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 15619 0 0 0 21874 304 0 0 20 0 1 0 197885329 137547776 21981 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 33581 21981 1997 922 0 25533 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 134324 KiB
Current children cumulated memory: 87924 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 3.01 2.34 5/242 1049632
/proc/meminfo: memFree=121743120/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=135036 memory=93308 CPUtime=281.65 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 15968 0 0 0 27833 332 0 0 20 0 1 0 197885329 138276864 23327 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 33759 23327 1997 922 0 25711 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 135036 KiB
Current children cumulated memory: 93308 KiB

[startup+342.3 s]
/proc/loadavg: 4.27 3.24 2.46 5/242 1049642
/proc/meminfo: memFree=121285160/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=137396 memory=95420 CPUtime=341.49 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 16503 0 0 0 33780 369 0 0 20 0 1 0 197885329 140693504 23855 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 34349 23855 1997 922 0 26301 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 137396 KiB
Current children cumulated memory: 95420 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.40 2.57 5/244 1049656
/proc/meminfo: memFree=121257760/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=137396 memory=95668 CPUtime=401.33 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 16537 0 0 0 39752 381 0 0 20 0 1 0 197885329 140693504 23917 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 34349 23917 1997 922 0 26301 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 137396 KiB
Current children cumulated memory: 95668 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.52 2.67 5/244 1049666
/proc/meminfo: memFree=121238832/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=170620 memory=110784 CPUtime=461.17 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 17450 0 0 0 45726 391 0 0 20 0 1 0 197885329 174714880 27696 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 42655 27696 1997 922 0 34607 0

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

Current children cumulated memory: 332864 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/244 1050818
/proc/meminfo: memFree=122812232/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=402888 memory=332896 CPUtime=2915.1 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 44288 0 0 0 290732 778 0 0 20 0 1 0 197885329 412557312 83224 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 100722 83224 1997 922 0 92674 0
Current children cumulated CPU time: 2915.1 s
Current children cumulated vsize: 402888 KiB
Current children cumulated memory: 332896 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.10 4.04 5/244 1050828
/proc/meminfo: memFree=122811884/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=402888 memory=332912 CPUtime=2974.94 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 44401 0 0 0 296711 783 0 0 20 0 1 0 197885329 412557312 83228 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 100722 83228 1997 922 0 92674 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 402888 KiB
Current children cumulated memory: 332912 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.04 5/244 1050839
/proc/meminfo: memFree=122811588/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=402888 memory=332928 CPUtime=3034.79 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 44523 0 0 0 302693 786 0 0 20 0 1 0 197885329 412557312 83232 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 100722 83232 1997 922 0 92674 0
Current children cumulated CPU time: 3034.79 s
Current children cumulated vsize: 402888 KiB
Current children cumulated memory: 332928 KiB

[startup+3102.3 s]
/proc/loadavg: 4.83 4.32 4.13 5/243 1051234
/proc/meminfo: memFree=122799016/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=334092 CPUtime=3094.63 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 44879 0 0 0 308672 791 0 0 20 0 1 0 197885329 413745152 83523 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 83523 1997 922 0 92964 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 334092 KiB

[startup+3162.3 s]
/proc/loadavg: 4.36 4.28 4.12 5/243 1051244
/proc/meminfo: memFree=122798816/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=334100 CPUtime=3154.48 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 44960 0 0 0 314653 795 0 0 20 0 1 0 197885329 413745152 83525 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 83525 1997 922 0 92964 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 334100 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.24 4.11 5/243 1051254
/proc/meminfo: memFree=122792712/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=334104 CPUtime=3214.32 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 45050 0 0 0 320634 798 0 0 20 0 1 0 197885329 413745152 83526 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 83526 1997 922 0 92964 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 334104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.21 4.11 5/245 1051435
/proc/meminfo: memFree=122778248/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=334112 CPUtime=3274.17 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 45147 0 0 0 326617 800 0 0 20 0 1 0 197885329 413745152 83528 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 83528 1997 922 0 92964 0
Current children cumulated CPU time: 3274.17 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 334112 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.18 4.10 5/245 1051445
/proc/meminfo: memFree=122777236/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=334132 CPUtime=3334.02 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 45261 0 0 0 332586 816 0 0 20 0 1 0 197885329 413745152 83533 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 83533 1997 922 0 92964 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 334132 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.18 4.10 5/246 1051514
/proc/meminfo: memFree=122761356/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=335156 CPUtime=3393.86 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 45338 0 0 0 338564 822 0 0 20 0 1 0 197885329 413745152 83789 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 83789 1997 922 0 92964 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 335156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.10 5/246 1051524
/proc/meminfo: memFree=122740036/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=341664 CPUtime=3453.73 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 45453 0 0 0 344548 825 0 0 20 0 1 0 197885329 413745152 85416 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 85416 1997 922 0 92964 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 341664 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/246 1051535
/proc/meminfo: memFree=122690712/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=341664 CPUtime=3513.6 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 45567 0 0 0 350532 828 0 0 20 0 1 0 197885329 413745152 85416 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 85416 1997 922 0 92964 0
Current children cumulated CPU time: 3513.6 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 341664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/244 1051545
/proc/meminfo: memFree=122688324/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=341672 CPUtime=3573.47 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 45689 0 0 0 356516 831 0 0 20 0 1 0 197885329 413745152 85418 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 85418 1997 922 0 92964 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 341672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.11 4.14 4.09 5/245 1051597
/proc/meminfo: memFree=123691316/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=341672 CPUtime=3600.01 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 45693 0 0 0 359168 833 0 0 20 0 1 0 197885329 413745152 85418 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 85418 1997 922 0 92964 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 341672 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.7 s, system=8.3348 s

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

[startup+3608.9 s]
/proc/loadavg: 4.11 4.14 4.09 5/245 1051597
/proc/meminfo: memFree=123691316/131655788 swapFree=131071996/131071996
[pid=1049477] ppid=1049474 vsize=404048 memory=341672 CPUtime=3600.01 cores=5,7
/proc/1049477/stat : 1049477 (roundingsat) R 1049474 1049477 1049231 0 -1 4194304 45693 0 0 0 359168 833 0 0 20 0 1 0 197885329 413745152 85418 134679101440 4194304 7968373 140722550023584 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140722550031292 140722550031456 140722550031456 140722550038473 0
/proc/1049477/statm: 101012 85418 1997 922 0 92964 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 404048 KiB
Current children cumulated memory: 341672 KiB

Child status: 0

Real time (s): 3608.91
CPU time (s): 3600.03
CPU user time (s): 3591.7
CPU system time (s): 8.3348
CPU usage (%): 99.754
Max. virtual memory (cumulated for all children) (KiB): 404048
Max. memory (cumulated for all children) (KiB): 341672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.7
system time used= 8.3348
maximum resident set size= 341672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74
involuntary context switches= 2450


# summary of solver processes directly reported to runsolver:
#   pid: 1049477
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3591.7
#   total CPU system time (s): 8.3348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8279 second user time and 34.3371 second system time

The end

Begin job on nodeC006 at 2024-07-20 08:34:38
IDJOB=4455056
IDBENCH=146905
IDSOLVER=3084
FILE ID=nodeC006/4455056-1721457266
RUNJOBID= nodeC006-1721457276-1049244
SLURM_JOB_ID= 7545696
Free space on /tmp= 723756 MiB

SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455056-1721457266/watcher-4455056-1721457266 -o /tmp/evaluation-result-4455056-1721457266/solver-4455056-1721457266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049244 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455056-1721457266.opb

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

MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0
RANDOM SEED=1743300755

nodeC006.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	: 0xb00001f
cpu MHz		: 2993.118
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 3092.888
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
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	: 0xb00001f
cpu MHz		: 1197.439
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.374
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
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	: 0xb00001f
cpu MHz		: 2693.818
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
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	: 0xb00001f
cpu MHz		: 1197.247
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.94
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	: 0xb00001f
cpu MHz		: 1197.253
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124673144 kB
MemAvailable:   129718632 kB
Buffers:          559332 kB
Cached:          5271540 kB
SwapCached:            0 kB
Active:          1053012 kB
Inactive:        5238468 kB
Active(anon):       1468 kB
Inactive(anon):   504712 kB
Active(file):    1051544 kB
Inactive(file):  4733756 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21928 kB
Writeback:             0 kB
AnonPages:        460388 kB
Mapped:           113168 kB
Shmem:             45896 kB
KReclaimable:     200440 kB
Slab:             316636 kB
SReclaimable:     200440 kB
SUnreclaim:       116196 kB
KernelStack:        3920 kB
PageTables:        10260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     737368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      316232 kB
DirectMap2M:    40482816 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC006 at 2024-07-20 09:34:47