0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.69/0.76	c #variables 2556 #constraints 238560
5.98/6.00	c bounds - >= -2160 @ 0.58119
5.98/6.00	c bounds 0 >= -2160 @ 5.73659
5.98/6.00	c bounds 0 >= -2159 @ 5.73695
5.98/6.00	c bounds 0 >= -2158 @ 5.7371
5.98/6.00	c bounds 0 >= -2157 @ 5.73724
5.98/6.00	c bounds 0 >= -2156 @ 5.73739
5.98/6.00	c bounds 0 >= -2155 @ 5.73752
5.98/6.00	c bounds 0 >= -2154 @ 5.73766
5.98/6.00	c bounds 0 >= -2153 @ 5.73779
5.98/6.00	c bounds 0 >= -2152 @ 5.73792
5.98/6.00	c bounds 0 >= -2151 @ 5.73805
5.98/6.00	c bounds 0 >= -2150 @ 5.73817
5.98/6.00	c bounds 0 >= -2149 @ 5.73829
5.98/6.00	c bounds 0 >= -2148 @ 5.73841
5.98/6.00	c bounds 0 >= -2147 @ 5.73865
5.98/6.00	c bounds 0 >= -2146 @ 5.7388
5.98/6.00	c bounds 0 >= -2145 @ 5.73894
5.98/6.00	c bounds 0 >= -2144 @ 5.73908
5.98/6.00	c bounds 0 >= -2143 @ 5.73922
5.98/6.00	c bounds 0 >= -2142 @ 5.73935
5.98/6.00	c bounds 0 >= -2141 @ 5.73948
5.98/6.00	c bounds 0 >= -2140 @ 5.73961
5.98/6.00	c bounds 0 >= -2139 @ 5.73974
5.98/6.00	c bounds 0 >= -2138 @ 5.73986
5.98/6.00	c bounds 0 >= -2137 @ 5.73998
5.98/6.00	c bounds 0 >= -2136 @ 5.7401
5.98/6.00	c bounds 0 >= -2135 @ 5.74042
5.98/6.00	c bounds 0 >= -2134 @ 5.74058
5.98/6.00	c bounds 0 >= -2133 @ 5.74074
5.98/6.00	c bounds 0 >= -2132 @ 5.74089
5.98/6.00	c bounds 0 >= -2131 @ 5.74105
5.98/6.00	c bounds 0 >= -2130 @ 5.74121
5.98/6.00	c bounds 0 >= -2129 @ 5.74136
5.98/6.00	c bounds 0 >= -2128 @ 5.74151
5.98/6.00	c bounds 0 >= -2127 @ 5.74167
5.98/6.00	c bounds 0 >= -2126 @ 5.74181
5.98/6.00	c bounds 0 >= -2125 @ 5.74195
5.98/6.00	c bounds 0 >= -2124 @ 5.74209
5.98/6.00	c bounds 0 >= -2123 @ 5.74231
5.98/6.00	c bounds 0 >= -2122 @ 5.74247
5.98/6.00	c bounds 0 >= -2121 @ 5.74264
5.98/6.00	c bounds 0 >= -2120 @ 5.7428
5.98/6.00	c bounds 0 >= -2119 @ 5.74295
5.98/6.00	c bounds 0 >= -2118 @ 5.7431
5.98/6.00	c bounds 0 >= -2117 @ 5.74324
5.98/6.00	c bounds 0 >= -2116 @ 5.74339
5.98/6.00	c bounds 0 >= -2115 @ 5.74353
5.98/6.00	c bounds 0 >= -2114 @ 5.74367
5.98/6.00	c bounds 0 >= -2113 @ 5.74381
5.98/6.00	c bounds 0 >= -2112 @ 5.74394
5.98/6.00	c bounds 0 >= -2111 @ 5.74419
5.98/6.00	c bounds 0 >= -2110 @ 5.74436
5.98/6.00	c bounds 0 >= -2109 @ 5.74452
5.98/6.00	c bounds 0 >= -2108 @ 5.74467
5.98/6.00	c bounds 0 >= -2107 @ 5.74482
5.98/6.00	c bounds 0 >= -2106 @ 5.74497
5.98/6.00	c bounds 0 >= -2105 @ 5.74512
5.98/6.00	c bounds 0 >= -2104 @ 5.74527
5.98/6.00	c bounds 0 >= -2103 @ 5.74541
5.98/6.00	c bounds 0 >= -2102 @ 5.74555
5.98/6.00	c bounds 0 >= -2101 @ 5.74569
5.98/6.00	c bounds 0 >= -2100 @ 5.74583
5.98/6.00	c bounds 0 >= -2099 @ 5.74603
5.98/6.00	c bounds 0 >= -2098 @ 5.74619
5.98/6.00	c bounds 0 >= -2097 @ 5.74637
5.98/6.00	c bounds 0 >= -2096 @ 5.74655
5.98/6.00	c bounds 0 >= -2095 @ 5.7467
5.98/6.00	c bounds 0 >= -2094 @ 5.74685
5.98/6.00	c bounds 0 >= -2093 @ 5.747
5.98/6.00	c bounds 0 >= -2092 @ 5.74715
5.98/6.00	c bounds 0 >= -2091 @ 5.7473
5.98/6.00	c bounds 0 >= -2090 @ 5.74745
5.98/6.00	c bounds 0 >= -2089 @ 5.7476
5.98/6.00	c bounds 0 >= -2088 @ 5.74774
5.98/6.00	c bounds 0 >= -2087 @ 5.748
5.98/6.00	c bounds 0 >= -2086 @ 5.74817
5.98/6.00	c bounds 0 >= -2085 @ 5.74833
5.98/6.00	c bounds 0 >= -2084 @ 5.7485
5.98/6.00	c bounds 0 >= -2083 @ 5.74866
5.98/6.00	c bounds 0 >= -2082 @ 5.74881
5.98/6.00	c bounds 0 >= -2081 @ 5.74897
5.98/6.00	c bounds 0 >= -2080 @ 5.74912
5.98/6.00	c bounds 0 >= -2079 @ 5.74927
5.98/6.00	c bounds 0 >= -2078 @ 5.74942
5.98/6.00	c bounds 0 >= -2077 @ 5.74956
5.98/6.00	c bounds 0 >= -2076 @ 5.74971
5.98/6.00	c bounds 0 >= -2075 @ 5.74992
5.98/6.00	c bounds 0 >= -2074 @ 5.75008
5.98/6.00	c bounds 0 >= -2073 @ 5.75027
5.98/6.00	c bounds 0 >= -2072 @ 5.75043
5.98/6.00	c bounds 0 >= -2071 @ 5.75059
5.98/6.00	c bounds 0 >= -2070 @ 5.75075
5.98/6.00	c bounds 0 >= -2069 @ 5.75089
5.98/6.00	c bounds 0 >= -2068 @ 5.75104
5.98/6.00	c bounds 0 >= -2067 @ 5.75118
5.98/6.00	c bounds 0 >= -2066 @ 5.75132
5.98/6.00	c bounds 0 >= -2065 @ 5.75146
5.98/6.00	c bounds 0 >= -2064 @ 5.7516
5.98/6.00	c bounds 0 >= -2063 @ 5.75185
5.98/6.00	c bounds 0 >= -2062 @ 5.75202
5.98/6.00	c bounds 0 >= -2061 @ 5.75221
5.98/6.00	c bounds 0 >= -2060 @ 5.75238
5.98/6.00	c bounds 0 >= -2059 @ 5.75254
5.98/6.00	c bounds 0 >= -2058 @ 5.7527
5.98/6.00	c bounds 0 >= -2057 @ 5.75285
5.98/6.00	c bounds 0 >= -2056 @ 5.75301
5.98/6.00	c bounds 0 >= -2055 @ 5.75321
5.98/6.00	c bounds 0 >= -2054 @ 5.75337
5.98/6.00	c bounds 0 >= -2053 @ 5.75354
5.98/6.00	c bounds 0 >= -2052 @ 5.75369
5.98/6.00	c bounds 0 >= -2051 @ 5.75385
5.98/6.00	c bounds 0 >= -2050 @ 5.754
5.98/6.00	c bounds 0 >= -2049 @ 5.75415
5.98/6.00	c bounds 0 >= -2048 @ 5.75422
5.98/6.00	c bounds 0 >= -2047 @ 5.75422
5.98/6.00	c bounds 0 >= -2046 @ 5.75422
5.98/6.00	c bounds 0 >= -2045 @ 5.75422
5.98/6.00	c bounds 0 >= -2044 @ 5.75422
5.98/6.00	c bounds 0 >= -2043 @ 5.75447
5.98/6.00	c bounds 0 >= -2042 @ 5.75464
5.98/6.00	c bounds 0 >= -2041 @ 5.7548
5.98/6.00	c bounds 0 >= -2040 @ 5.75495
5.98/6.00	c bounds 0 >= -2039 @ 5.7551
5.98/6.00	c bounds 0 >= -2038 @ 5.75524
5.98/6.00	c bounds 0 >= -2037 @ 5.75539
5.98/6.00	c bounds 0 >= -2036 @ 5.75553
5.98/6.00	c bounds 0 >= -2035 @ 5.75577
5.98/6.00	c bounds 0 >= -2034 @ 5.75594
5.98/6.00	c bounds 0 >= -2033 @ 5.75611
5.98/6.00	c bounds 0 >= -2032 @ 5.75628
5.98/6.00	c bounds 0 >= -2031 @ 5.75645
5.98/6.00	c bounds 0 >= -2030 @ 5.75662
5.98/6.00	c bounds 0 >= -2029 @ 5.75679
5.98/6.00	c bounds 0 >= -2028 @ 5.75695
5.98/6.00	c bounds 0 >= -2027 @ 5.75713
5.98/6.00	c bounds 0 >= -2026 @ 5.75731
5.98/6.00	c bounds 0 >= -2025 @ 5.75747
5.98/6.00	c bounds 0 >= -2024 @ 5.75764
5.98/6.03	c bounds 0 >= -2023 @ 5.75781
5.98/6.03	c bounds 0 >= -2022 @ 5.75796
5.98/6.03	c bounds 0 >= -2021 @ 5.7581
5.98/6.03	c bounds 0 >= -2020 @ 5.75825
5.98/6.03	c bounds 0 >= -2019 @ 5.75845
5.98/6.03	c bounds 0 >= -2018 @ 5.75862
5.98/6.03	c bounds 0 >= -2017 @ 5.75877
5.98/6.03	c bounds 0 >= -2016 @ 5.75893
5.98/6.03	c bounds 0 >= -2015 @ 5.75916
5.98/6.03	c bounds 0 >= -2014 @ 5.75935
5.98/6.03	c bounds 0 >= -2013 @ 5.75954
5.98/6.03	c bounds 0 >= -2012 @ 5.7597
5.98/6.03	c bounds 0 >= -2011 @ 5.75985
5.98/6.03	c bounds 0 >= -2010 @ 5.76
5.98/6.03	c bounds 0 >= -2009 @ 5.76014
5.98/6.03	c bounds 0 >= -2008 @ 5.76029
5.98/6.03	c bounds 0 >= -2007 @ 5.76055
5.98/6.03	c bounds 0 >= -2006 @ 5.76072
5.98/6.03	c bounds 0 >= -2005 @ 5.76088
5.98/6.03	c bounds 0 >= -2004 @ 5.76104
5.98/6.03	c bounds 0 >= -2003 @ 5.7612
5.98/6.03	c bounds 0 >= -2002 @ 5.76137
5.98/6.03	c bounds 0 >= -2001 @ 5.76155
5.98/6.03	c bounds 0 >= -2000 @ 5.7617
5.98/6.03	c bounds 0 >= -1999 @ 5.76187
5.98/6.03	c bounds 0 >= -1998 @ 5.76203
5.98/6.03	c bounds 0 >= -1997 @ 5.76218
5.98/6.03	c bounds 0 >= -1996 @ 5.76235
5.98/6.03	c bounds 0 >= -1995 @ 5.76252
5.98/6.03	c bounds 0 >= -1994 @ 5.76266
5.98/6.03	c bounds 0 >= -1993 @ 5.7628
5.98/6.03	c bounds 0 >= -1992 @ 5.76295
5.98/6.03	c bounds 0 >= -1991 @ 5.76314
5.98/6.03	c bounds 0 >= -1990 @ 5.76321
5.98/6.03	c bounds 0 >= -1989 @ 5.76321
5.98/6.03	c bounds 0 >= -1988 @ 5.76321
5.98/6.03	c bounds 0 >= -1987 @ 5.76321
5.98/6.03	c bounds 0 >= -1986 @ 5.76321
5.98/6.03	c bounds 0 >= -1985 @ 5.76325
5.98/6.03	c bounds 0 >= -1984 @ 5.76341
5.98/6.03	c bounds 0 >= -1983 @ 5.76358
5.98/6.03	c bounds 0 >= -1982 @ 5.76373
5.98/6.03	c bounds 0 >= -1981 @ 5.76387
5.98/6.03	c bounds 0 >= -1980 @ 5.76401
5.98/6.03	c bounds 0 >= -1979 @ 5.76427
5.98/6.03	c bounds 0 >= -1978 @ 5.76445
5.98/6.03	c bounds 0 >= -1977 @ 5.76463
5.98/6.03	c bounds 0 >= -1976 @ 5.76479
5.98/6.03	c bounds 0 >= -1975 @ 5.76495
5.98/6.03	c bounds 0 >= -1974 @ 5.76511
5.98/6.03	c bounds 0 >= -1973 @ 5.76521
5.98/6.03	c bounds 0 >= -1972 @ 5.76521
5.98/6.03	c bounds 0 >= -1971 @ 5.76521
5.98/6.03	c bounds 0 >= -1970 @ 5.76521
5.98/6.03	c bounds 0 >= -1969 @ 5.76521
5.98/6.03	c bounds 0 >= -1968 @ 5.76521
5.98/6.03	c bounds 0 >= -1967 @ 5.76528
5.98/6.03	c bounds 0 >= -1966 @ 5.76543
5.98/6.03	c bounds 0 >= -1965 @ 5.76559
5.98/6.03	c bounds 0 >= -1964 @ 5.76574
5.98/6.03	c bounds 0 >= -1963 @ 5.76593
5.98/6.03	c bounds 0 >= -1962 @ 5.7661
5.98/6.03	c bounds 0 >= -1961 @ 5.76627
5.98/6.03	c bounds 0 >= -1960 @ 5.76642
5.98/6.03	c bounds 0 >= -1959 @ 5.76669
5.98/6.03	c bounds 0 >= -1958 @ 5.76686
5.98/6.03	c bounds 0 >= -1957 @ 5.76703
5.98/6.03	c bounds 0 >= -1956 @ 5.76719
5.98/6.03	c bounds 0 >= -1955 @ 5.76737
5.98/6.03	c bounds 0 >= -1954 @ 5.76754
5.98/6.03	c bounds 0 >= -1953 @ 5.76771
5.98/6.03	c bounds 0 >= -1952 @ 5.76786
5.98/6.03	c bounds 0 >= -1951 @ 5.76812
5.98/6.03	c bounds 0 >= -1950 @ 5.76832
5.98/6.03	c bounds 0 >= -1949 @ 5.76851
5.98/6.03	c bounds 0 >= -1948 @ 5.76867
5.98/6.03	c bounds 0 >= -1947 @ 5.7689
5.98/6.03	c bounds 0 >= -1946 @ 5.76909
5.98/6.03	c bounds 0 >= -1945 @ 5.76929
5.98/6.03	c bounds 0 >= -1944 @ 5.76947
5.98/6.03	c bounds 0 >= -1943 @ 5.76966
5.98/6.03	c bounds 0 >= -1942 @ 5.76983
5.98/6.03	c bounds 0 >= -1941 @ 5.77
5.98/6.03	c bounds 0 >= -1940 @ 5.77016
5.98/6.03	c bounds 0 >= -1939 @ 5.77034
5.98/6.03	c bounds 0 >= -1938 @ 5.77051
5.98/6.03	c bounds 0 >= -1937 @ 5.77067
5.98/6.03	c bounds 0 >= -1936 @ 5.77081
5.98/6.03	c bounds 0 >= -1935 @ 5.77107
5.98/6.03	c bounds 0 >= -1934 @ 5.77128
5.98/6.03	c bounds 0 >= -1933 @ 5.77146
5.98/6.03	c bounds 0 >= -1932 @ 5.77165
5.98/6.03	c bounds 0 >= -1931 @ 5.77198
5.98/6.03	c bounds 0 >= -1930 @ 5.77216
5.98/6.03	c bounds 0 >= -1929 @ 5.77236
5.98/6.03	c bounds 0 >= -1928 @ 5.77255
5.98/6.03	c bounds 0 >= -1927 @ 5.77272
5.98/6.03	c bounds 0 >= -1926 @ 5.77289
5.98/6.03	c bounds 0 >= -1925 @ 5.77305
5.98/6.03	c bounds -60 >= -1925 @ 5.77796
5.98/6.03	c bounds -60 >= -1924 @ 5.77829
5.98/6.03	c bounds -60 >= -1923 @ 5.77859
5.98/6.03	c bounds -60 >= -1922 @ 5.77877
5.98/6.03	c bounds -60 >= -1921 @ 5.77895
5.98/6.03	c bounds -60 >= -1920 @ 5.77912
5.98/6.03	c bounds -60 >= -1919 @ 5.77937
5.98/6.03	c bounds -60 >= -1918 @ 5.77957
5.98/6.03	c bounds -60 >= -1917 @ 5.77975
5.98/6.03	c bounds -60 >= -1916 @ 5.77993
5.98/6.03	c bounds -60 >= -1915 @ 5.78009
5.98/6.03	c bounds -60 >= -1914 @ 5.78017
5.98/6.03	c bounds -60 >= -1913 @ 5.78017
5.98/6.03	c bounds -60 >= -1912 @ 5.78017
5.98/6.03	c bounds -60 >= -1911 @ 5.78017
5.98/6.03	c bounds -60 >= -1910 @ 5.78017
5.98/6.03	c bounds -60 >= -1909 @ 5.78017
5.98/6.03	c bounds -60 >= -1908 @ 5.7802
5.98/6.03	c bounds -60 >= -1907 @ 5.7805
5.98/6.03	c bounds -60 >= -1906 @ 5.78069
5.98/6.03	c bounds -60 >= -1905 @ 5.78087
5.98/6.03	c bounds -60 >= -1904 @ 5.78105
5.98/6.03	c bounds -60 >= -1903 @ 5.78142
5.98/6.03	c bounds -60 >= -1902 @ 5.7816
5.98/6.03	c bounds -60 >= -1901 @ 5.78178
5.98/6.03	c bounds -60 >= -1900 @ 5.78195
5.98/6.03	c bounds -60 >= -1899 @ 5.78212
5.98/6.03	c bounds -60 >= -1898 @ 5.7823
5.98/6.03	c bounds -60 >= -1897 @ 5.78247
5.98/6.03	c bounds -60 >= -1896 @ 5.78263
5.98/6.03	c bounds -60 >= -1895 @ 5.78287
5.98/6.03	c bounds -60 >= -1894 @ 5.78304
5.98/6.03	c bounds -60 >= -1893 @ 5.78321
5.98/6.03	c bounds -60 >= -1892 @ 5.78337
5.98/6.03	c bounds -60 >= -1891 @ 5.78356
5.98/6.07	c bounds -120 >= -1891 @ 5.78702
5.98/6.07	c bounds -120 >= -1890 @ 5.78742
5.98/6.07	c bounds -120 >= -1889 @ 5.78761
5.98/6.07	c bounds -120 >= -1888 @ 5.78777
5.98/6.07	c bounds -120 >= -1887 @ 5.78794
5.98/6.07	c bounds -120 >= -1886 @ 5.78809
5.98/6.07	c bounds -120 >= -1885 @ 5.78815
5.98/6.07	c bounds -120 >= -1884 @ 5.78815
5.98/6.07	c bounds -120 >= -1883 @ 5.78815
5.98/6.07	c bounds -120 >= -1882 @ 5.78815
5.98/6.07	c bounds -120 >= -1881 @ 5.78815
5.98/6.07	c bounds -120 >= -1880 @ 5.78815
5.98/6.07	c bounds -120 >= -1879 @ 5.78822
5.98/6.07	c bounds -120 >= -1878 @ 5.78838
5.98/6.07	c bounds -120 >= -1877 @ 5.78854
5.98/6.07	c bounds -120 >= -1876 @ 5.7887
5.98/6.07	c bounds -120 >= -1875 @ 5.78885
5.98/6.07	c bounds -120 >= -1874 @ 5.789
5.98/6.07	c bounds -120 >= -1873 @ 5.78929
5.98/6.07	c bounds -120 >= -1872 @ 5.78946
5.98/6.07	c bounds -120 >= -1871 @ 5.78963
5.98/6.07	c bounds -120 >= -1870 @ 5.78979
5.98/6.07	c bounds -120 >= -1869 @ 5.78994
5.98/6.07	c bounds -120 >= -1868 @ 5.7901
5.98/6.07	c bounds -120 >= -1867 @ 5.79036
5.98/6.07	c bounds -120 >= -1866 @ 5.79054
5.98/6.07	c bounds -120 >= -1865 @ 5.79071
5.98/6.07	c bounds -120 >= -1864 @ 5.79088
5.98/6.07	c bounds -120 >= -1863 @ 5.79108
5.98/6.07	c bounds -120 >= -1862 @ 5.79114
5.98/6.07	c bounds -120 >= -1861 @ 5.79114
5.98/6.07	c bounds -120 >= -1860 @ 5.79114
5.98/6.07	c bounds -120 >= -1859 @ 5.79114
5.98/6.07	c bounds -120 >= -1858 @ 5.79114
5.98/6.07	c bounds -120 >= -1857 @ 5.79114
5.98/6.07	c bounds -120 >= -1856 @ 5.79114
5.98/6.07	c bounds -120 >= -1855 @ 5.79114
5.98/6.07	c bounds -120 >= -1854 @ 5.79114
5.98/6.07	c bounds -180 >= -1854 @ 5.79401
5.98/6.07	c bounds -180 >= -1853 @ 5.79434
5.98/6.07	c bounds -180 >= -1852 @ 5.79449
5.98/6.07	c bounds -180 >= -1851 @ 5.79473
5.98/6.07	c bounds -180 >= -1850 @ 5.7949
5.98/6.07	c bounds -180 >= -1849 @ 5.79507
5.98/6.07	c bounds -180 >= -1848 @ 5.79513
5.98/6.07	c bounds -180 >= -1847 @ 5.79513
5.98/6.07	c bounds -180 >= -1846 @ 5.79513
5.98/6.07	c bounds -180 >= -1845 @ 5.79513
5.98/6.07	c bounds -180 >= -1844 @ 5.79513
5.98/6.07	c bounds -180 >= -1843 @ 5.79517
5.98/6.07	c bounds -180 >= -1842 @ 5.79534
5.98/6.07	c bounds -180 >= -1841 @ 5.79549
5.98/6.07	c bounds -180 >= -1840 @ 5.79563
5.98/6.07	c bounds -180 >= -1839 @ 5.79584
5.98/6.07	c bounds -180 >= -1838 @ 5.79599
5.98/6.07	c bounds -180 >= -1837 @ 5.79613
5.98/6.07	c bounds -180 >= -1836 @ 5.79627
5.98/6.07	c bounds -180 >= -1835 @ 5.79641
5.98/6.07	c bounds -180 >= -1834 @ 5.79654
5.98/6.07	c bounds -180 >= -1833 @ 5.79667
5.98/6.07	c bounds -180 >= -1832 @ 5.79679
5.98/6.07	c bounds -180 >= -1831 @ 5.79721
5.98/6.07	c bounds -180 >= -1830 @ 5.79739
5.98/6.07	c bounds -180 >= -1829 @ 5.79754
5.98/6.07	c bounds -180 >= -1828 @ 5.79769
5.98/6.07	c bounds -180 >= -1827 @ 5.79788
5.98/6.07	c bounds -180 >= -1826 @ 5.79803
5.98/6.07	c bounds -180 >= -1825 @ 5.79818
5.98/6.07	c bounds -180 >= -1824 @ 5.79832
5.98/6.07	c bounds -180 >= -1823 @ 5.79851
5.98/6.07	c bounds -240 >= -1823 @ 5.80171
5.98/6.07	c bounds -240 >= -1822 @ 5.80209
5.98/6.07	c bounds -240 >= -1821 @ 5.80224
5.98/6.07	c bounds -240 >= -1820 @ 5.80239
5.98/6.07	c bounds -240 >= -1819 @ 5.80254
5.98/6.07	c bounds -240 >= -1818 @ 5.80268
5.98/6.07	c bounds -240 >= -1817 @ 5.80282
5.98/6.07	c bounds -240 >= -1816 @ 5.80295
5.98/6.07	c bounds -240 >= -1815 @ 5.80328
5.98/6.07	c bounds -240 >= -1814 @ 5.80346
5.98/6.07	c bounds -240 >= -1813 @ 5.8036
5.98/6.07	c bounds -240 >= -1812 @ 5.80375
5.98/6.07	c bounds -240 >= -1811 @ 5.80395
5.98/6.07	c bounds -240 >= -1810 @ 5.80411
5.98/6.07	c bounds -240 >= -1809 @ 5.80426
5.98/6.07	c bounds -240 >= -1808 @ 5.80441
5.98/6.07	c bounds -240 >= -1807 @ 5.80461
5.98/6.07	c bounds -240 >= -1806 @ 5.80476
5.98/6.07	c bounds -240 >= -1805 @ 5.80492
5.98/6.07	c bounds -240 >= -1804 @ 5.80507
5.98/6.07	c bounds -240 >= -1803 @ 5.80521
5.98/6.07	c bounds -240 >= -1802 @ 5.80535
5.98/6.07	c bounds -240 >= -1801 @ 5.80549
5.98/6.07	c bounds -240 >= -1800 @ 5.80563
5.98/6.07	c bounds -240 >= -1799 @ 5.80591
5.98/6.07	c bounds -240 >= -1798 @ 5.80608
5.98/6.07	c bounds -240 >= -1797 @ 5.80622
5.98/6.07	c bounds -240 >= -1796 @ 5.80636
5.98/6.07	c bounds -240 >= -1795 @ 5.8065
5.98/6.07	c bounds -240 >= -1794 @ 5.80669
5.98/6.07	c bounds -240 >= -1793 @ 5.80684
5.98/6.07	c bounds -240 >= -1792 @ 5.80699
5.98/6.07	c bounds -300 >= -1792 @ 5.81044
5.98/6.07	c bounds -300 >= -1791 @ 5.81089
5.98/6.07	c bounds -300 >= -1790 @ 5.81105
5.98/6.07	c bounds -300 >= -1789 @ 5.81109
5.98/6.07	c bounds -300 >= -1788 @ 5.81109
5.98/6.07	c bounds -300 >= -1787 @ 5.81109
5.98/6.07	c bounds -300 >= -1786 @ 5.81109
5.98/6.07	c bounds -300 >= -1785 @ 5.81109
5.98/6.07	c bounds -300 >= -1784 @ 5.81109
5.98/6.07	c bounds -300 >= -1783 @ 5.81138
5.98/6.07	c bounds -300 >= -1782 @ 5.81157
5.98/6.07	c bounds -300 >= -1781 @ 5.81173
5.98/6.07	c bounds -300 >= -1780 @ 5.81189
5.98/6.07	c bounds -300 >= -1779 @ 5.81204
5.98/6.07	c bounds -300 >= -1778 @ 5.81209
5.98/6.07	c bounds -300 >= -1777 @ 5.81209
5.98/6.07	c bounds -300 >= -1776 @ 5.81209
5.98/6.07	c bounds -300 >= -1775 @ 5.81209
5.98/6.07	c bounds -300 >= -1774 @ 5.81209
5.98/6.07	c bounds -300 >= -1773 @ 5.81209
5.98/6.07	c bounds -300 >= -1772 @ 5.81223
5.98/6.07	c bounds -300 >= -1771 @ 5.81241
5.98/6.07	c bounds -300 >= -1770 @ 5.81257
6.08/6.12	c bounds -300 >= -1769 @ 5.81274
6.08/6.12	c bounds -300 >= -1768 @ 5.81289
6.08/6.12	c bounds -300 >= -1767 @ 5.81331
6.08/6.12	c bounds -300 >= -1766 @ 5.8135
6.08/6.12	c bounds -300 >= -1765 @ 5.81368
6.08/6.12	c bounds -300 >= -1764 @ 5.81383
6.08/6.12	c bounds -300 >= -1763 @ 5.81412
6.08/6.12	c bounds -360 >= -1763 @ 5.81744
6.08/6.12	c bounds -360 >= -1762 @ 5.81795
6.08/6.12	c bounds -360 >= -1761 @ 5.81812
6.08/6.12	c bounds -360 >= -1760 @ 5.81829
6.08/6.12	c bounds -360 >= -1759 @ 5.81849
6.08/6.12	c bounds -360 >= -1758 @ 5.81865
6.08/6.12	c bounds -360 >= -1757 @ 5.8188
6.08/6.12	c bounds -360 >= -1756 @ 5.81895
6.08/6.12	c bounds -360 >= -1755 @ 5.81913
6.08/6.12	c bounds -360 >= -1754 @ 5.81929
6.08/6.12	c bounds -360 >= -1753 @ 5.81944
6.08/6.12	c bounds -360 >= -1752 @ 5.81959
6.08/6.12	c bounds -360 >= -1751 @ 5.81981
6.08/6.12	c bounds -360 >= -1750 @ 5.82013
6.08/6.12	c bounds -360 >= -1749 @ 5.82032
6.08/6.12	c bounds -360 >= -1748 @ 5.82062
6.08/6.12	c bounds -360 >= -1747 @ 5.82079
6.08/6.12	c bounds -360 >= -1746 @ 5.82095
6.08/6.12	c bounds -360 >= -1745 @ 5.8211
6.08/6.12	c bounds -360 >= -1744 @ 5.82128
6.08/6.12	c bounds -360 >= -1743 @ 5.82142
6.08/6.12	c bounds -420 >= -1743 @ 5.82506
6.08/6.12	c bounds -420 >= -1742 @ 5.82506
6.08/6.12	c bounds -420 >= -1741 @ 5.82506
6.08/6.12	c bounds -420 >= -1740 @ 5.82506
6.08/6.12	c bounds -420 >= -1739 @ 5.82506
6.08/6.12	c bounds -420 >= -1738 @ 5.82506
6.08/6.12	c bounds -420 >= -1737 @ 5.82518
6.08/6.12	c bounds -420 >= -1736 @ 5.8253
6.08/6.12	c bounds -420 >= -1735 @ 5.82558
6.08/6.12	c bounds -420 >= -1734 @ 5.82601
6.08/6.12	c bounds -420 >= -1733 @ 5.82605
6.08/6.12	c bounds -420 >= -1732 @ 5.82605
6.08/6.12	c bounds -420 >= -1731 @ 5.82605
6.08/6.12	c bounds -420 >= -1730 @ 5.82605
6.08/6.12	c bounds -420 >= -1729 @ 5.82605
6.08/6.12	c bounds -420 >= -1728 @ 5.82605
6.08/6.12	c bounds -420 >= -1727 @ 5.82605
6.08/6.12	c bounds -420 >= -1726 @ 5.82605
6.08/6.12	c bounds -420 >= -1725 @ 5.82605
6.08/6.12	c bounds -420 >= -1724 @ 5.82605
6.08/6.12	c bounds -420 >= -1723 @ 5.82605
6.08/6.12	c bounds -420 >= -1722 @ 5.82626
6.08/6.12	c bounds -420 >= -1721 @ 5.82648
6.08/6.12	c bounds -420 >= -1720 @ 5.82668
6.08/6.12	c bounds -480 >= -1720 @ 5.83046
6.08/6.12	c bounds -480 >= -1719 @ 5.83104
6.08/6.12	c bounds -480 >= -1718 @ 5.83172
6.08/6.12	c bounds -480 >= -1717 @ 5.83193
6.08/6.12	c bounds -480 >= -1716 @ 5.83204
6.08/6.12	c bounds -480 >= -1715 @ 5.83204
6.08/6.12	c bounds -480 >= -1714 @ 5.83204
6.08/6.12	c bounds -480 >= -1713 @ 5.83204
6.08/6.12	c bounds -480 >= -1712 @ 5.83214
6.08/6.12	c bounds -480 >= -1711 @ 5.83233
6.08/6.12	c bounds -480 >= -1710 @ 5.83251
6.08/6.12	c bounds -480 >= -1709 @ 5.83269
6.08/6.12	c bounds -480 >= -1708 @ 5.83283
6.08/6.12	c bounds -480 >= -1707 @ 5.833
6.08/6.12	c bounds -480 >= -1706 @ 5.83303
6.08/6.12	c bounds -480 >= -1705 @ 5.83303
6.08/6.12	c bounds -480 >= -1704 @ 5.83303
6.08/6.12	c bounds -540 >= -1704 @ 5.83644
6.08/6.12	c bounds -540 >= -1703 @ 5.83719
6.08/6.12	c bounds -540 >= -1702 @ 5.83739
6.08/6.12	c bounds -540 >= -1701 @ 5.83756
6.08/6.12	c bounds -540 >= -1700 @ 5.83775
6.08/6.12	c bounds -540 >= -1699 @ 5.83836
6.08/6.12	c bounds -540 >= -1698 @ 5.83859
6.08/6.12	c bounds -540 >= -1697 @ 5.83878
6.08/6.12	c bounds -540 >= -1696 @ 5.83907
6.08/6.12	c bounds -540 >= -1695 @ 5.83924
6.08/6.12	c bounds -540 >= -1694 @ 5.8394
6.08/6.12	c bounds -540 >= -1693 @ 5.83955
6.08/6.12	c bounds -540 >= -1692 @ 5.83969
6.08/6.12	c bounds -540 >= -1691 @ 5.83984
6.08/6.12	c bounds -540 >= -1690 @ 5.83997
6.08/6.12	c bounds -540 >= -1689 @ 5.84001
6.08/6.12	c bounds -540 >= -1688 @ 5.84001
6.08/6.12	c bounds -540 >= -1687 @ 5.84001
6.08/6.12	c bounds -540 >= -1686 @ 5.84001
6.08/6.12	c bounds -600 >= -1686 @ 5.8435
6.08/6.12	c bounds -600 >= -1685 @ 5.84408
6.08/6.12	c bounds -600 >= -1684 @ 5.84424
6.08/6.12	c bounds -600 >= -1683 @ 5.84444
6.08/6.12	c bounds -600 >= -1682 @ 5.84481
6.08/6.12	c bounds -600 >= -1681 @ 5.84505
6.08/6.12	c bounds -600 >= -1680 @ 5.84527
6.08/6.12	c bounds -600 >= -1679 @ 5.84549
6.08/6.12	c bounds -600 >= -1678 @ 5.84565
6.08/6.12	c bounds -600 >= -1677 @ 5.84585
6.08/6.12	c bounds -600 >= -1676 @ 5.84604
6.08/6.12	c bounds -600 >= -1675 @ 5.84622
6.08/6.12	c bounds -600 >= -1674 @ 5.84652
6.08/6.12	c bounds -600 >= -1673 @ 5.84666
6.08/6.12	c bounds -600 >= -1672 @ 5.84681
6.08/6.12	c bounds -600 >= -1671 @ 5.84722
6.08/6.12	c bounds -600 >= -1670 @ 5.84743
6.08/6.12	c bounds -600 >= -1669 @ 5.84759
6.08/6.12	c bounds -600 >= -1668 @ 5.84778
6.08/6.12	c bounds -660 >= -1668 @ 5.85153
6.08/6.12	c bounds -660 >= -1667 @ 5.85221
6.08/6.12	c bounds -660 >= -1666 @ 5.85271
6.08/6.12	c bounds -660 >= -1665 @ 5.85292
6.08/6.12	c bounds -660 >= -1664 @ 5.85314
6.08/6.12	c bounds -660 >= -1663 @ 5.85335
6.08/6.12	c bounds -660 >= -1662 @ 5.85351
6.08/6.12	c bounds -660 >= -1661 @ 5.8537
6.08/6.12	c bounds -660 >= -1660 @ 5.85387
6.08/6.12	c bounds -660 >= -1659 @ 5.85405
6.08/6.12	c bounds -660 >= -1658 @ 5.85429
6.08/6.12	c bounds -660 >= -1657 @ 5.85476
6.08/6.12	c bounds -720 >= -1657 @ 5.85945
6.08/6.12	c bounds -720 >= -1656 @ 5.86012
6.08/6.12	c bounds -720 >= -1655 @ 5.8604
6.08/6.12	c bounds -720 >= -1654 @ 5.86093
6.08/6.12	c bounds -720 >= -1653 @ 5.86127
6.17/6.27	c bounds -720 >= -1652 @ 5.86147
6.17/6.27	c bounds -720 >= -1651 @ 5.86164
6.17/6.27	c bounds -720 >= -1650 @ 5.8618
6.17/6.27	c bounds -720 >= -1649 @ 5.86211
6.17/6.27	c bounds -720 >= -1648 @ 5.86228
6.17/6.27	c bounds -720 >= -1647 @ 5.86243
6.17/6.27	c bounds -720 >= -1646 @ 5.86256
6.17/6.27	c bounds -720 >= -1645 @ 5.8627
6.17/6.27	c bounds -720 >= -1644 @ 5.86283
6.17/6.27	c bounds -720 >= -1643 @ 5.86338
6.17/6.27	c bounds -720 >= -1642 @ 5.86365
6.17/6.27	c bounds -720 >= -1641 @ 5.8643
6.17/6.27	c bounds -756 >= -1641 @ 5.86794
6.17/6.27	c bounds -756 >= -1640 @ 5.86848
6.17/6.27	c bounds -756 >= -1639 @ 5.86867
6.17/6.27	c bounds -756 >= -1638 @ 5.86885
6.17/6.27	c bounds -756 >= -1637 @ 5.86891
6.17/6.27	c bounds -756 >= -1636 @ 5.86891
6.17/6.27	c bounds -756 >= -1635 @ 5.86891
6.17/6.27	c bounds -756 >= -1634 @ 5.86891
6.17/6.27	c bounds -756 >= -1633 @ 5.86891
6.17/6.27	c bounds -756 >= -1632 @ 5.86891
6.17/6.27	c bounds -756 >= -1631 @ 5.86904
6.17/6.27	c bounds -756 >= -1630 @ 5.86916
6.17/6.27	c bounds -756 >= -1629 @ 5.86928
6.17/6.27	c bounds -756 >= -1628 @ 5.86938
6.17/6.27	c bounds -756 >= -1627 @ 5.86948
6.17/6.27	c bounds -756 >= -1626 @ 5.86957
6.17/6.27	c bounds -756 >= -1625 @ 5.86969
6.17/6.27	c bounds -756 >= -1624 @ 5.86977
6.17/6.27	c bounds -756 >= -1623 @ 5.87019
6.17/6.27	c bounds -792 >= -1623 @ 5.87738
6.17/6.27	c bounds -792 >= -1622 @ 5.87795
6.17/6.27	c bounds -792 >= -1621 @ 5.87814
6.17/6.27	c bounds -792 >= -1620 @ 5.87832
6.17/6.27	c bounds -792 >= -1619 @ 5.87862
6.17/6.27	c bounds -792 >= -1618 @ 5.87879
6.17/6.27	c bounds -792 >= -1617 @ 5.87893
6.17/6.27	c bounds -792 >= -1616 @ 5.87907
6.17/6.27	c bounds -792 >= -1615 @ 5.8792
6.17/6.27	c bounds -792 >= -1614 @ 5.87933
6.17/6.27	c bounds -792 >= -1613 @ 5.87946
6.17/6.27	c bounds -792 >= -1612 @ 5.87957
6.17/6.27	c bounds -792 >= -1611 @ 5.87981
6.17/6.27	c bounds -792 >= -1610 @ 5.88024
6.17/6.27	c bounds -792 >= -1609 @ 5.88049
6.17/6.27	c bounds -792 >= -1608 @ 5.88065
6.17/6.27	c bounds -792 >= -1607 @ 5.88084
6.17/6.27	c bounds -792 >= -1606 @ 5.88088
6.17/6.27	c bounds -792 >= -1605 @ 5.88088
6.17/6.27	c bounds -792 >= -1604 @ 5.88088
6.17/6.27	c bounds -792 >= -1603 @ 5.88088
6.17/6.27	c bounds -792 >= -1602 @ 5.88088
6.17/6.27	c bounds -792 >= -1601 @ 5.88088
6.17/6.27	c bounds -792 >= -1600 @ 5.88088
6.17/6.27	c bounds -792 >= -1599 @ 5.88088
6.17/6.27	c bounds -792 >= -1598 @ 5.88097
6.17/6.27	c bounds -792 >= -1597 @ 5.8814
6.17/6.27	c bounds -828 >= -1597 @ 5.88845
6.17/6.27	c bounds -828 >= -1596 @ 5.88887
6.17/6.27	c bounds -828 >= -1595 @ 5.88902
6.17/6.27	c bounds -828 >= -1594 @ 5.88915
6.17/6.27	c bounds -828 >= -1593 @ 5.88973
6.17/6.27	c bounds -828 >= -1592 @ 5.88992
6.17/6.27	c bounds -828 >= -1591 @ 5.89007
6.17/6.27	c bounds -828 >= -1590 @ 5.89021
6.17/6.27	c bounds -828 >= -1589 @ 5.89065
6.17/6.27	c bounds -828 >= -1588 @ 5.89088
6.17/6.27	c bounds -828 >= -1587 @ 5.89109
6.17/6.27	c bounds -828 >= -1586 @ 5.89129
6.17/6.27	c bounds -828 >= -1585 @ 5.89162
6.17/6.27	c bounds -828 >= -1584 @ 5.89182
6.17/6.27	c bounds -828 >= -1583 @ 5.89201
6.17/6.27	c bounds -828 >= -1582 @ 5.89217
6.17/6.27	c bounds -828 >= -1581 @ 5.89258
6.17/6.27	c bounds -864 >= -1581 @ 5.90518
6.17/6.27	c bounds -864 >= -1580 @ 5.90592
6.17/6.27	c bounds -864 >= -1579 @ 5.90614
6.17/6.27	c bounds -864 >= -1578 @ 5.90634
6.17/6.27	c bounds -864 >= -1577 @ 5.90672
6.17/6.27	c bounds -864 >= -1576 @ 5.90691
6.17/6.27	c bounds -864 >= -1575 @ 5.90708
6.17/6.27	c bounds -864 >= -1574 @ 5.90724
6.17/6.27	c bounds -864 >= -1573 @ 5.90765
6.17/6.27	c bounds -864 >= -1572 @ 5.90789
6.17/6.27	c bounds -864 >= -1571 @ 5.90811
6.17/6.27	c bounds -864 >= -1570 @ 5.90833
6.17/6.27	c bounds -864 >= -1569 @ 5.90864
6.17/6.27	c bounds -864 >= -1568 @ 5.90886
6.17/6.27	c bounds -864 >= -1567 @ 5.90904
6.17/6.27	c bounds -864 >= -1566 @ 5.90921
6.17/6.27	c bounds -864 >= -1565 @ 5.91082
6.17/6.27	c bounds -864 >= -1564 @ 5.91134
6.17/6.27	c bounds -864 >= -1563 @ 5.91187
6.17/6.27	c bounds -864 >= -1562 @ 5.91237
6.17/6.27	c bounds -864 >= -1561 @ 5.91378
6.17/6.27	c bounds -900 >= -1561 @ 5.92292
6.17/6.27	c bounds -900 >= -1560 @ 5.92465
6.17/6.27	c bounds -900 >= -1559 @ 5.92534
6.17/6.27	c bounds -900 >= -1558 @ 5.92586
6.17/6.27	c bounds -900 >= -1557 @ 5.92635
6.17/6.27	c bounds -900 >= -1556 @ 5.92676
6.17/6.27	c bounds -900 >= -1555 @ 5.92676
6.17/6.27	c bounds -900 >= -1554 @ 5.92676
6.17/6.27	c bounds -900 >= -1553 @ 5.92676
6.17/6.27	c bounds -900 >= -1552 @ 5.92696
6.17/6.27	c bounds -900 >= -1551 @ 5.92962
6.17/6.27	c bounds -936 >= -1551 @ 5.93481
6.17/6.27	c bounds -936 >= -1550 @ 5.93591
6.17/6.27	c bounds -936 >= -1549 @ 5.93672
6.17/6.27	c bounds -936 >= -1548 @ 5.93845
6.17/6.27	c bounds -936 >= -1547 @ 5.93945
6.17/6.27	c bounds -960 >= -1547 @ 5.95359
6.17/6.27	c bounds -960 >= -1546 @ 5.95446
6.17/6.27	c bounds -960 >= -1545 @ 5.95569
6.17/6.27	c bounds -960 >= -1544 @ 5.95786
6.17/6.27	c bounds -960 >= -1543 @ 5.9609
6.17/6.27	c bounds -960 >= -1542 @ 5.96215
6.17/6.27	c bounds -960 >= -1541 @ 5.96377
6.17/6.27	c bounds -982 >= -1541 @ 5.97204
6.17/6.27	c bounds -982 >= -1540 @ 5.97399
6.17/6.27	c bounds -982 >= -1539 @ 5.97526
6.17/6.27	c bounds -982 >= -1538 @ 5.97718
6.17/6.27	c bounds -982 >= -1537 @ 5.98001
24.32/24.42	c bounds -986 >= -1537 @ 5.9872
24.32/24.42	c bounds -986 >= -1536 @ 5.9901
24.32/24.42	c bounds -986 >= -1535 @ 5.99347
24.32/24.42	c bounds -1008 >= -1535 @ 6.00006
24.32/24.42	c bounds -1008 >= -1534 @ 6.00144
24.32/24.42	c bounds -1008 >= -1533 @ 6.0053
24.32/24.42	c bounds -1030 >= -1533 @ 6.01182
24.32/24.42	c bounds -1030 >= -1532 @ 6.0168
24.32/24.42	c bounds -1030 >= -1531 @ 6.02467
24.32/24.42	c bounds -1044 >= -1531 @ 6.03418
24.32/24.42	c bounds -1074 >= -1531 @ 6.12894
24.32/24.42	c bounds -1074 >= -1530 @ 6.13353
24.32/24.42	c bounds -1074 >= -1529 @ 6.13826
24.32/24.42	c bounds -1074 >= -1528 @ 6.14559
24.32/24.42	c bounds -1074 >= -1527 @ 6.1495
24.32/24.42	c bounds -1074 >= -1526 @ 6.15507
24.32/24.42	c bounds -1086 >= -1526 @ 6.17011
24.32/24.42	c bounds -1086 >= -1525 @ 6.18036
24.32/24.42	c bounds -1098 >= -1525 @ 6.18734
24.32/24.42	c bounds -1098 >= -1524 @ 6.20266
24.32/24.42	c bounds -1102 >= -1524 @ 6.21159
24.32/24.42	c bounds -1106 >= -1524 @ 6.22165
24.32/24.42	c bounds -1114 >= -1524 @ 6.22798
24.32/24.42	c bounds -1114 >= -1523 @ 6.24999
24.32/24.42	c bounds -1124 >= -1523 @ 6.26176
24.32/24.42	c bounds -1134 >= -1523 @ 6.27286
24.32/24.42	c bounds -1136 >= -1523 @ 6.2837
24.32/24.42	c bounds -1142 >= -1523 @ 6.28633
24.32/24.42	c #Conflicts:       1000 | #Constraints:     242881
24.32/24.42	c bounds -1142 >= -1522 @ 6.31382
24.32/24.42	c bounds -1146 >= -1522 @ 6.32688
24.32/24.42	c bounds -1150 >= -1522 @ 6.34396
24.32/24.42	c bounds -1154 >= -1522 @ 6.34853
24.32/24.42	c bounds -1158 >= -1522 @ 6.35201
24.32/24.42	c bounds -1162 >= -1522 @ 6.35506
24.32/24.42	c bounds -1166 >= -1522 @ 6.36322
24.32/24.42	c bounds -1166 >= -1521 @ 6.37084
24.32/24.42	c bounds -1170 >= -1521 @ 6.54174
24.32/24.42	c bounds -1170 >= -1520 @ 6.59615
24.32/24.42	c bounds -1178 >= -1520 @ 6.60578
24.32/24.42	c bounds -1192 >= -1520 @ 6.62579
24.32/24.42	c bounds -1192 >= -1519 @ 6.63406
24.32/24.42	c bounds -1206 >= -1519 @ 6.64092
24.32/24.42	c #Conflicts:       2000 | #Constraints:     244067
24.32/24.42	c INPROCESSING
24.32/24.42	WSVECS04 Frhs2[219]: 6 0 2.61428 shouldn't be
24.32/24.42	WSVECS04 Frhs2[806]: 6 -0.660523 0 shouldn't be
24.32/24.42	WSVECS04 Frhs2[2148]: 6 -2.93915 0 shouldn't be
24.32/24.42	WSVECS04 Frhs2[2544]: 6 0 0.456311 shouldn't be
2148.71/2155.00	c bounds -1208 >= -1519 @ 65.2844
2148.71/2155.00	c bounds -1214 >= -1519 @ 65.775
2148.71/2155.00	c bounds -1214 >= -1518 @ 65.7977
2148.71/2155.00	c bounds -1214 >= -1517 @ 65.8309
2148.71/2155.00	c #Conflicts:       3000 | #Constraints:     244118
2148.71/2155.00	c bounds -1220 >= -1517 @ 66.4801
2148.71/2155.00	c bounds -1220 >= -1516 @ 66.4967
2148.71/2155.00	c bounds -1220 >= -1515 @ 66.5263
2148.71/2155.00	c bounds -1220 >= -1514 @ 66.5628
2148.71/2155.00	c #Conflicts:       4000 | #Constraints:     245260
2148.71/2155.00	c INPROCESSING
2148.71/2155.00	c GARBAGE COLLECT
2148.71/2155.00	c bounds -1226 >= -1514 @ 66.7156
2148.71/2155.00	c bounds -1232 >= -1514 @ 66.7238
2148.71/2155.00	c bounds -1238 >= -1514 @ 66.728
2148.71/2155.00	c #Conflicts:       5000 | #Constraints:     244671
2148.71/2155.00	c #Conflicts:       6000 | #Constraints:     245671
2148.71/2155.00	c INPROCESSING
2148.71/2155.00	c GARBAGE COLLECT
2148.71/2155.00	c bounds -1238 >= -1513 @ 202.974
2148.71/2155.00	c #Conflicts:       7000 | #Constraints:     244697
2148.71/2155.00	c bounds -1238 >= -1512 @ 203.052
2148.71/2155.00	c #Conflicts:       8000 | #Constraints:     245723
2148.71/2155.00	c bounds -1238 >= -1511 @ 203.297
2148.71/2155.00	c #Conflicts:       9000 | #Constraints:     246794
2148.71/2155.00	c INPROCESSING
2148.71/2155.00	c bounds -1250 >= -1511 @ 512.385
2148.71/2155.00	c #Conflicts:      10000 | #Constraints:     245518
2148.71/2155.00	c bounds -1250 >= -1510 @ 512.655
2148.71/2155.00	c #Conflicts:      11000 | #Constraints:     246553
2148.71/2155.00	c bounds -1256 >= -1510 @ 513.454
2148.71/2155.00	c bounds -1270 >= -1510 @ 513.46
2148.71/2155.00	c bounds -1284 >= -1510 @ 513.465
2148.71/2155.00	c bounds -1296 >= -1510 @ 513.68
2148.71/2155.00	c #Conflicts:      12000 | #Constraints:     247557
2148.71/2155.00	c #Conflicts:      13000 | #Constraints:     248557
2148.71/2155.00	c #Conflicts:      14000 | #Constraints:     249557
2148.71/2155.00	c #Conflicts:      15000 | #Constraints:     250557
2148.71/2155.00	c #Conflicts:      16000 | #Constraints:     251557
2148.71/2155.00	c INPROCESSING
2148.71/2155.00	c GARBAGE COLLECT
2148.71/2155.00	c #Conflicts:      17000 | #Constraints:     247752
2148.71/2155.00	c #Conflicts:      18000 | #Constraints:     248752
2148.71/2155.00	c bounds -1296 >= -1509 @ 523.448
2148.71/2155.00	c #Conflicts:      19000 | #Constraints:     249796
2148.71/2155.00	c #Conflicts:      20000 | #Constraints:     250796
2148.71/2155.00	c INPROCESSING
2148.71/2155.00	c GARBAGE COLLECT
2148.71/2155.00	c #Conflicts:      21000 | #Constraints:     247472
2148.71/2155.00	c bounds -1296 >= -1508 @ 524.309
2148.71/2155.00	c #Conflicts:      22000 | #Constraints:     248495
2148.71/2155.00	c bounds -1296 >= -1507 @ 524.661
2148.71/2155.00	c #Conflicts:      23000 | #Constraints:     249524
2148.71/2155.00	c #Conflicts:      24000 | #Constraints:     250526
2148.71/2155.00	c #Conflicts:      25000 | #Constraints:     251527
2148.71/2155.00	c #Conflicts:      26000 | #Constraints:     252527
2148.71/2155.00	c #Conflicts:      27000 | #Constraints:     253529
2148.71/2155.00	c #Conflicts:      28000 | #Constraints:     254529
2148.71/2155.00	c #Conflicts:      29000 | #Constraints:     255530
2148.71/2155.00	c #Conflicts:      30000 | #Constraints:     256531
2148.71/2155.00	c INPROCESSING
2148.71/2155.00	c GARBAGE COLLECT
2148.71/2155.00	c #Conflicts:      31000 | #Constraints:     250148
2148.71/2155.00	c bounds -1296 >= -1506 @ 1179.25
2148.71/2155.00	c #Conflicts:      32000 | #Constraints:     251201
2148.71/2155.00	c #Conflicts:      33000 | #Constraints:     252201
2148.71/2155.00	c bounds -1296 >= -1505 @ 1179.59
2148.71/2155.00	c #Conflicts:      34000 | #Constraints:     253263
2148.71/2155.00	c #Conflicts:      35000 | #Constraints:     254263
2148.71/2155.00	c bounds -1296 >= -1504 @ 1180.41
2148.71/2155.00	c #Conflicts:      36000 | #Constraints:     255352
2148.71/2155.00	c INPROCESSING
2148.71/2155.00	c GARBAGE COLLECT
2148.71/2155.00	c #Conflicts:      37000 | #Constraints:     250106
2148.71/2155.00	c #Conflicts:      38000 | #Constraints:     251106
2148.71/2155.00	c #Conflicts:      39000 | #Constraints:     252106
2148.71/2155.00	c #Conflicts:      40000 | #Constraints:     253106
2148.71/2155.00	c #Conflicts:      41000 | #Constraints:     254106
2148.71/2155.00	c bounds -1296 >= -1503 @ 1182.46
2148.71/2155.00	c #Conflicts:      42000 | #Constraints:     255174
2148.71/2155.00	c #Conflicts:      43000 | #Constraints:     256174
2148.71/2155.00	c #Conflicts:      44000 | #Constraints:     257174
2148.71/2155.00	c #Conflicts:      45000 | #Constraints:     258174
2148.71/2155.00	c #Conflicts:      46000 | #Constraints:     259174
2148.71/2155.00	c #Conflicts:      47000 | #Constraints:     260174
2148.71/2155.00	c bounds -1296 >= -1502 @ 1185.66
2148.71/2155.00	c #Conflicts:      48000 | #Constraints:     261236
2148.71/2155.00	c #Conflicts:      49000 | #Constraints:     262236
2148.71/2155.00	c INPROCESSING
2148.71/2155.00	c GARBAGE COLLECT
2148.71/2155.00	c #Conflicts:      50000 | #Constraints:     253351
2148.71/2155.00	c #Conflicts:      51000 | #Constraints:     254351
2148.71/2155.00	c #Conflicts:      52000 | #Constraints:     255351
2148.71/2155.00	c #Conflicts:      53000 | #Constraints:     256351
2148.71/2155.00	c #Conflicts:      54000 | #Constraints:     257351
2148.71/2155.00	c #Conflicts:      55000 | #Constraints:     258351
2148.71/2155.00	c #Conflicts:      56000 | #Constraints:     259351
2148.71/2155.00	c #Conflicts:      57000 | #Constraints:     260351
2148.71/2155.00	c #Conflicts:      58000 | #Constraints:  

ERROR: no interpretation found !

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=13163, runsolver pid=13160
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.09 4.12 4.14 5/263 13164
/proc/meminfo: memFree=104302900/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=39300 memory=8952 CPUtime=0.09 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 1146 0 0 0 7 2 0 0 20 0 1 0 1488102 40243200 2238 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 9825 2238 1365 992 0 1683 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39300 KiB
Current children cumulated memory: 8952 KiB

[startup+0.205608 s]*
/proc/loadavg: 4.09 4.12 4.14 5/263 13164
/proc/meminfo: memFree=104297668/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=40476 memory=12316 CPUtime=0.2 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 1445 0 0 0 15 5 0 0 20 0 1 0 1488102 41447424 3079 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 10119 3079 1365 992 0 1977 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40476 KiB
Current children cumulated memory: 12316 KiB

[startup+0.305525 s]*
/proc/loadavg: 4.09 4.12 4.14 5/263 13164
/proc/meminfo: memFree=104292176/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=44120 memory=16276 CPUtime=0.3 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 1948 0 0 0 21 9 0 0 20 0 1 0 1488102 45178880 4069 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 11030 4069 1365 992 0 2888 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44120 KiB
Current children cumulated memory: 16276 KiB

[startup+0.700205 s]
/proc/loadavg: 4.09 4.12 4.14 5/263 13164
/proc/meminfo: memFree=104282736/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=85796 memory=58164 CPUtime=0.69 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 11927 0 0 0 52 17 0 0 20 0 1 0 1488102 87855104 14541 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 21449 14541 1667 992 0 13307 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 85796 KiB
Current children cumulated memory: 58164 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.12 4.14 5/263 13164
/proc/meminfo: memFree=104160776/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=165516 memory=138076 CPUtime=1.48 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 31162 0 0 0 127 21 0 0 20 0 1 0 1488102 169488384 34519 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 41379 34519 1730 992 0 33237 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 165516 KiB
Current children cumulated memory: 138076 KiB

[startup+3.10582 s]
/proc/loadavg: 4.09 4.12 4.14 5/263 13166
/proc/meminfo: memFree=104129676/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=165516 memory=138076 CPUtime=3.09 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 31175 0 0 0 287 22 0 0 20 0 1 0 1488102 169488384 34519 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 41379 34519 1730 992 0 33237 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 165516 KiB
Current children cumulated memory: 138076 KiB

[startup+6.3002 s]
/proc/loadavg: 4.09 4.12 4.14 5/263 13166
/proc/meminfo: memFree=104091352/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=165516 memory=139372 CPUtime=6.28 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 31427 0 0 0 601 27 0 0 20 0 1 0 1488102 169488384 34843 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 41379 34843 1824 992 0 33237 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 165516 KiB
Current children cumulated memory: 139372 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.14 5/263 13167
/proc/meminfo: memFree=103990448/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=177512 memory=147480 CPUtime=12.66 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 32859 0 0 0 1228 38 0 0 20 0 1 0 1488102 181772288 36870 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 44378 36870 1824 992 0 36236 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 177512 KiB
Current children cumulated memory: 147480 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.14 5/263 13169
/proc/meminfo: memFree=103788264/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=195508 memory=161204 CPUtime=25.42 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 33781 0 0 0 2503 39 0 0 20 0 1 0 1488102 200200192 40301 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 48877 40301 1824 992 0 40735 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 195508 KiB
Current children cumulated memory: 161204 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.13 4.14 5/263 13172
/proc/meminfo: memFree=103429876/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=213764 memory=168208 CPUtime=50.96 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 34059 0 0 0 5054 42 0 0 20 0 1 0 1488102 218894336 42052 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 53441 42052 1824 992 0 45299 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 213764 KiB
Current children cumulated memory: 168208 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/260 13182
/proc/meminfo: memFree=102966260/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=225440 memory=177532 CPUtime=102.02 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 34833 0 0 0 10145 57 0 0 20 0 1 0 1488102 230850560 44383 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 56360 44383 1894 992 0 48218 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 225440 KiB
Current children cumulated memory: 177532 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/260 13192
/proc/meminfo: memFree=102604672/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=266780 memory=216240 CPUtime=161.83 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 35408 0 0 0 16120 63 0 0 20 0 1 0 1488102 273182720 54060 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 66695 54060 1894 992 0 58553 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 266780 KiB
Current children cumulated memory: 216240 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/259 13204
/proc/meminfo: memFree=102317096/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=266780 memory=216448 CPUtime=221.63 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 35446 0 0 0 22087 76 0 0 20 0 1 0 1488102 273182720 54112 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 66695 54112 1894 992 0 58553 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 266780 KiB
Current children cumulated memory: 216448 KiB

[startup+282.3 s]
/proc/loadavg: 4.47 4.22 4.17 5/259 13215
/proc/meminfo: memFree=101945312/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=266780 memory=216448 CPUtime=281.43 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 35472 0 0 0 28063 80 0 0 20 0 1 0 1488102 273182720 54112 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 66695 54112 1894 992 0 58553 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 266780 KiB
Current children cumulated memory: 216448 KiB

[startup+342.3 s]
/proc/loadavg: 4.33 4.22 4.17 5/257 13226
/proc/meminfo: memFree=101584524/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=266780 memory=216452 CPUtime=341.23 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 35512 0 0 0 34038 85 0 0 20 0 1 0 1488102 273182720 54113 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 66695 54113 1894 992 0 58553 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 266780 KiB
Current children cumulated memory: 216452 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 4.21 4.17 5/259 13241
/proc/meminfo: memFree=101239432/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=266780 memory=216452 CPUtime=401.02 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 35545 0 0 0 40012 90 0 0 20 0 1 0 1488102 273182720 54113 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 66695 54113 1894 992 0 58553 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 266780 KiB
Current children cumulated memory: 216452 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/259 13251
/proc/meminfo: memFree=100909856/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=266780 memory=216452 CPUtime=460.82 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 35575 0 0 0 45986 96 0 0 20 0 1 0 1488102 273182720 54113 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 66695 54113 1894 992 0 58553 0

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

[startup+3042.3 s]
/proc/loadavg: 1.16 2.21 2.96 2/241 14997
/proc/meminfo: memFree=129227876/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3033.45 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 42746 0 0 0 302909 436 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3033.45 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3102.3 s]
/proc/loadavg: 1.16 2.02 2.85 2/238 15007
/proc/meminfo: memFree=129227368/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3093.29 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 42871 0 0 0 308885 444 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3093.29 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.85 2.74 2/235 15018
/proc/meminfo: memFree=129226684/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3153.13 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43002 0 0 0 314861 452 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3222.3 s]
/proc/loadavg: 1.09 1.70 2.63 2/233 15030
/proc/meminfo: memFree=129226220/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3212.97 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43135 0 0 0 320838 459 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.59 2.53 2/233 15040
/proc/meminfo: memFree=129225560/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3272.81 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43261 0 0 0 326816 465 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.49 2.44 2/233 15050
/proc/meminfo: memFree=129225004/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3332.65 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43394 0 0 0 332793 472 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3402.3 s]
/proc/loadavg: 1.15 1.43 2.35 2/235 15067
/proc/meminfo: memFree=129224244/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3392.49 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43521 0 0 0 338769 480 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3462.3 s]
/proc/loadavg: 1.05 1.35 2.27 2/235 15077
/proc/meminfo: memFree=129223548/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3452.32 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43652 0 0 0 344745 487 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.30 2.19 2/235 15088
/proc/meminfo: memFree=129222992/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3512.18 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43782 0 0 0 350722 496 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.27 2.12 2/235 15098
/proc/meminfo: memFree=129222276/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3572.01 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43912 0 0 0 356697 504 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 1.07 1.25 2.08 2/235 15103
/proc/meminfo: memFree=129222196/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3600.03 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43972 0 0 0 359496 507 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3612.4 s]
# the end of solver process 13163 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3596.96 s, system=5.08391 s

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

[startup+3611.2 s]
/proc/loadavg: 1.07 1.25 2.08 2/235 15103
/proc/meminfo: memFree=129222196/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3600.83 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43973 0 0 0 359576 507 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3600.83 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3612 s]*
/proc/loadavg: 1.07 1.25 2.08 2/235 15104
/proc/meminfo: memFree=129222084/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3601.63 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43973 0 0 0 359656 507 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

[startup+3612.4 s]
/proc/loadavg: 1.07 1.25 2.08 2/235 15104
/proc/meminfo: memFree=129222084/131524600 swapFree=131071996/131071996
[pid=13163] ppid=13160 vsize=369436 memory=320028 CPUtime=3602.03 cores=1,3
/proc/13163/stat : 13163 (roundingsat) R 13160 13163 7935 0 -1 4194304 43973 0 0 0 359695 508 0 0 20 0 1 0 1488102 378302464 80007 134679101440 4194304 8255733 140723504379024 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41500672 140723504386910 140723504387172 140723504387172 140723504394185 0
/proc/13163/statm: 92359 80007 1894 992 0 84217 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 369436 KiB
Current children cumulated memory: 320028 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.4
CPU time (s): 3602.04
CPU user time (s): 3596.96
CPU system time (s): 5.08391
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 369436
Max. memory (cumulated for all children) (KiB): 320028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.96
system time used= 5.08391
maximum resident set size= 320028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1324768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 2882


# summary of solver processes directly reported to runsolver:
#   pid: 13163
#   total CPU time (s): 3602.04
#   total CPU user time (s): 3596.96
#   total CPU system time (s): 5.08391

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66723 second user time and 16.5191 second system time

The end

Begin job on nodeC033 at 2024-07-30 16:14:18
IDJOB=4463326
IDBENCH=178200
IDSOLVER=3089
FILE ID=nodeC033/4463326-1722348858
RUNJOBID= nodeC033-1722340763-7947
SLURM_JOB_ID= 8249006
Free space on /tmp= 890056 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/normalized-maxcut_opt_complete_6-partite_block_nvert_72.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463326-1722348858/watcher-4463326-1722348858 -o /tmp/evaluation-result-4463326-1722348858/solver-4463326-1722348858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722340763-7947 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463326-1722348858 --lp-cut-gomory=0 HOME/instance-4463326-1722348858.opb

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

MD5SUM BENCH= ba01a5d98b16d8ee23010d930c3d525f
RANDOM SEED=31252803

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104309092 kB
MemAvailable:   128978000 kB
Buffers:           52272 kB
Cached:         25427356 kB
SwapCached:            0 kB
Active:           167388 kB
Inactive:       26522700 kB
Active(anon):       1548 kB
Inactive(anon):  1230324 kB
Active(file):     165840 kB
Inactive(file): 25292376 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            102888 kB
Writeback:             0 kB
AnonPages:       1210276 kB
Mapped:            97344 kB
Shmem:             21336 kB
KReclaimable:     101028 kB
Slab:             184196 kB
SReclaimable:     101028 kB
SUnreclaim:        83168 kB
KernelStack:        4240 kB
PageTables:        11532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1539728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9024 kB
HardwareCorrupted:     0 kB
AnonHugePages:    393216 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:      283348 kB
DirectMap2M:     8927232 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC033 at 2024-07-30 17:14:30