PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM	3fce91583b30a82646d8d8e778b97a89
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	19
Optimality of the best value was proved	NO
Number of terms in the objective function	288
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	288
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	5
Number of bits of the biggest number in a constraint	3
Biggest sum of numbers in a constraint	288
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05884
Number of variables	2112
Total number of constraints	7132
Number of constraints which are clauses	4128
Number of constraints which are cardinality constraints (but not clauses)	2328
Number of constraints which are nor clauses,nor cardinality constraints	676
Minimum length of a constraint	1
Maximum length of a constraint	32
Trace number 29736

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 10:58:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21139 boxname=wulflinc31 idbench=1127 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos1.opb
IDLAUNCH: 21139
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        460664 kB
Buffers:         28788 kB
Cached:         514568 kB
SwapCached:       1052 kB
Active:          63908 kB
Inactive:       481704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        460412 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            22704 kB
Committed_AS:    63800 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:19:21 (client local time) WITH STATUS 143 IN 1255.93 SECONDS
stats: 21139 0 1255.93 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos1.opb
c reading problem ... done. Time 5.738 ms.
c #vars     2112
c #constraints  5120
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  50 		Current CPU time: 10.55 ms
c CURRENT OPTIMUM=                  45 		Current CPU time: 46.33 ms
c CURRENT OPTIMUM=                  43 		Current CPU time: 47.30 ms
c CURRENT OPTIMUM=                  41 		Current CPU time: 66.83 ms
c CURRENT OPTIMUM=                  38 		Current CPU time: 83.23 ms
c CURRENT OPTIMUM=                  34 		Current CPU time: 332.46 ms
c starts	: 20
c conflicts	: 3931
c decisions	: 47840
c propagations	: 604516
c inspects	: 1687402
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3931
c root simplifications	: 25
s SATISFIABLE
v -C1825_bit0 -C1826_bit0 -C1827_bit0 -C1828_bit0 -C1829_bit0 C1830_bit0 -C1831_bit0 -C1832_bit0 -C1833_bit0 -C1834_bit0 C1835_bit0 -C1836_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 -C1843_bit0 C1844_bit0 -C1845_bit0 -C1846_bit0 -C1847_bit0 -C1848_bit0 -C1849_bit0 -C1850_bit0 -C1851_bit0 -C1852_bit0 -C1853_bit0 -C1854_bit0 -C1855_bit0 C1856_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1860_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C1864_bit0 -C1865_bit0 -C1866_bit0 -C1867_bit0 -C1868_bit0 -C1869_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1874_bit0 -C1875_bit0 C1876_bit0 -C1877_bit0 -C1878_bit0 -C1879_bit0 -C1880_bit0 C1881_bit0 -C1882_bit0 -C1883_bit0 C1884_bit0 -C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 -C1889_bit0 -C1890_bit0 -C1891_bit0 -C1892_bit0 C1893_bit0 -C1894_bit0 -C1895_bit0 -C1896_bit0 C1897_bit0 -C1898_bit0 -C1899_bit0 -C1900_bit0 -C1901_bit0 -C1902_bit0 -C1903_bit0 -C1904_bit0 C1905_bit0 -C1906_bit0 -C1907_bit0 -C1908_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C1912_bit0 -C1913_bit0 -C1914_bit0 -C1915_bit0 C1916_bit0 -C1917_bit0 -C1918_bit0 -C1919_bit0 -C1920_bit0 -C1921_bit0 -C1922_bit0 C1923_bit0 -C1924_bit0 -C1925_bit0 -C1926_bit0 -C1927_bit0 -C1928_bit0 -C1929_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1933_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 -C1943_bit0 -C1944_bit0 -C1945_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 C1950_bit0 -C1951_bit0 -C1952_bit0 -C1953_bit0 -C1954_bit0 -C1955_bit0 C1956_bit0 -C1957_bit0 -C1958_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 C1962_bit0 -C1963_bit0 -C1964_bit0 C1965_bit0 -C1966_bit0 -C1967_bit0 -C1968_bit0 -C1969_bit0 -C1970_bit0 -C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 -C1975_bit0 -C1976_bit0 -C1977_bit0 -C1978_bit0 C1979_bit0 -C1980_bit0 -C1981_bit0 C1982_bit0 -C1983_bit0 -C1984_bit0 -C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 -C1991_bit0 -C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 -C1996_bit0 -C1997_bit0 -C1998_bit0 C1999_bit0 -C2000_bit0 -C2001_bit0 C2002_bit0 -C2003_bit0 -C2004_bit0 -C2005_bit0 -C2006_bit0 -C2007_bit0 -C2008_bit0 -C2009_bit0 -C2010_bit0 -C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2015_bit0 C2016_bit0 -C2017_bit0 C2018_bit0 -C2019_bit0 -C2020_bit0 -C2021_bit0 -C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_bit0 -C2027_bit0 -C2028_bit0 -C2029_bit0 -C2030_bit0 -C2031_bit0 -C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 C2036_bit0 -C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 -C2042_bit0 -C2043_bit0 C2044_bit0 -C2045_bit0 -C2046_bit0 -C2047_bit0 -C2048_bit0 -C2049_bit0 -C2050_bit0 C2051_bit0 -C2052_bit0 -C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 C2060_bit0 -C2061_bit0 -C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 -C2067_bit0 -C2068_bit0 C2069_bit0 -C2070_bit0 -C2071_bit0 -C2072_bit0 -C2073_bit0 -C2074_bit0 -C2075_bit0 C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 -C2080_bit0 C2081_bit0 -C2082_bit0 -C2083_bit0 -C2084_bit0 -C2085_bit0 -C2086_bit0 -C2087_bit0 -C2088_bit0 -C2089_bit0 -C2090_bit0 -C2091_bit0 -C2092_bit0 -C2093_bit0 -C2094_bit0 C2095_bit0 -C2096_bit0 -C2097_bit0 C2098_bit0 -C2099_bit0 -C2100_bit0 -C2101_bit0 -C2102_bit0 -C2103_bit0 -C2104_bit0 -C2105_bit0 -C2106_bit0 C2107_bit0 C2108_bit0 C2109_bit0 -C2110_bit0 -C2111_bit0 -C2112_bit0 -C0001_bit0 -C0002_bit0 -C0003_bit0 -C0004_bit0 -C0005_bit0 -C0006_bit0 -C0007_bit0 -C0008_bit0 -C0009_bit0 -C0010_bit0 -C0011_bit0 -C0012_bit0 -C0013_bit0 -C0014_bit0 -C0015_bit0 -C0016_bit0 -C0017_bit0 -C0018_bit0 -C0019_bit0 -C0020_bit0 -C0021_bit0 -C0022_bit0 -C0023_bit0 -C0024_bit0 -C0025_bit0 C0026_bit0 -C0027_bit0 C0028_bit0 -C0029_bit0 -C0030_bit0 -C0031_bit0 -C0032_bit0 -C0033_bit0 -C0034_bit0 -C0035_bit0 -C0036_bit0 -C0037_bit0 -C0038_bit0 -C0039_bit0 -C0040_bit0 -C0041_bit0 -C0042_bit0 -C0043_bit0 -C0044_bit0 -C0045_bit0 -C0046_bit0 -C0047_bit0 -C0048_bit0 -C0049_bit0 -C0050_bit0 -C0051_bit0 -C0052_bit0 C0053_bit0 -C0054_bit0 C0055_bit0 -C0056_bit0 -C0057_bit0 -C0058_bit0 -C0059_bit0 -C0060_bit0 -C0061_bit0 -C0062_bit0 -C0063_bit0 -C0064_bit0 -C0065_bit0 -C0066_bit0 -C0067_bit0 -C0068_bit0 -C0069_bit0 -C0070_bit0 -C0071_bit0 -C0072_bit0 -C0073_bit0 -C0074_bit0 -C0075_bit0 -C0076_bit0 -C0077_bit0 -C0078_bit0 -C0079_bit0 -C0080_bit0 -C0081_bit0 -C0082_bit0 -C0083_bit0 -C0084_bit0 -C0085_bit0 -C0086_bit0 -C0087_bit0 -C0088_bit0 -C0089_bit0 -C0090_bit0 -C0091_bit0 -C0092_bit0 -C0093_bit0 -C0094_bit0 -C0095_bit0 -C0096_bit0 -C0097_bit0 C0098_bit0 -C0099_bit0 -C0100_bit0 -C0101_bit0 -C0102_bit0 -C0103_bit0 -C0104_bit0 -C0105_bit0 -C0106_bit0 -C0107_bit0 -C0108_bit0 -C0109_bit0 -C0110_bit0 -C0111_bit0 -C0112_bit0 -C0113_bit0 -C0114_bit0 -C0115_bit0 -C0116_bit0 -C0117_bit0 -C0118_bit0 -C0119_bit0 -C0120_bit0 -C0121_bit0 -C0122_bit0 -C0123_bit0 -C0124_bit0 -C0125_bit0 -C0126_bit0 -C0127_bit0 -C0128_bit0 -C0129_bit0 -C0130_bit0 -C0131_bit0 -C0132_bit0 -C0133_bit0 -C0134_bit0 -C0135_bit0 -C0136_bit0 -C0137_bit0 -C0138_bit0 -C0139_bit0 -C0140_bit0 -C0141_bit0 -C0142_bit0 -C0143_bit0 -C0144_bit0 -C0145_bit0 -C0146_bit0 -C0147_bit0 -C0148_bit0 -C0149_bit0 -C0150_bit0 -C0151_bit0 -C0152_bit0 -C0153_bit0 -C0154_bit0 -C0155_bit0 -C0156_bit0 -C0157_bit0 C0158_bit0 -C0159_bit0 C0160_bit0 -C0161_bit0 -C0162_bit0 -C0163_bit0 -C0164_bit0 -C0165_bit0 -C0166_bit0 -C0167_bit0 -C0168_bit0 -C0169_bit0 -C0170_bit0 -C0171_bit0 -C0172_bit0 -C0173_bit0 -C0174_bit0 -C0175_bit0 -C0176_bit0 -C0177_bit0 -C0178_bit0 -C0179_bit0 -C0180_bit0 -C0181_bit0 -C0182_bit0 -C0183_bit0 -C0184_bit0 -C0185_bit0 -C0186_bit0 -C0187_bit0 -C0188_bit0 -C0189_bit0 -C0190_bit0 -C0191_bit0 -C0192_bit0 -C0193_bit0 -C0194_bit0 -C0195_bit0 -C0196_bit0 -C0197_bit0 -C0198_bit0 -C0199_bit0 -C0200_bit0 -C0201_bit0 -C0202_bit0 -C0203_bit0 -C0204_bit0 -C0205_bit0 -C0206_bit0 -C0207_bit0 -C0208_bit0 -C0209_bit0 -C0210_bit0 -C0211_bit0 -C0212_bit0 -C0213_bit0 -C0214_bit0 -C0215_bit0 -C0216_bit0 -C0217_bit0 -C0218_bit0 -C0219_bit0 -C0220_bit0 -C0221_bit0 -C0222_bit0 -C0223_bit0 -C0224_bit0 -C0225_bit0 -C0226_bit0 -C0227_bit0 -C0228_bit0 -C0229_bit0 -C0230_bit0 -C0231_bit0 -C0232_bit0 -C0233_bit0 -C0234_bit0 -C0235_bit0 -C0236_bit0 -C0237_bit0 -C0238_bit0 -C0239_bit0 -C0240_bit0 -C0241_bit0 -C0242_bit0 -C0243_bit0 -C0244_bit0 -C0245_bit0 -C0246_bit0 -C0247_bit0 -C0248_bit0 -C0249_bit0 -C0250_bit0 -C0251_bit0 -C0252_bit0 -C0253_bit0 -C0254_bit0 -C0255_bit0 -C0256_bit0 -C0257_bit0 -C0258_bit0 -C0259_bit0 C0260_bit0 -C0261_bit0 -C0262_bit0 -C0263_bit0 -C0264_bit0 -C0265_bit0 -C0266_bit0 -C0267_bit0 -C0268_bit0 -C0269_bit0 -C0270_bit0 -C0271_bit0 -C0272_bit0 -C0273_bit0 -C0274_bit0 -C0275_bit0 -C0276_bit0 -C0277_bit0 -C0278_bit0 -C0279_bit0 -C0280_bit0 -C0281_bit0 -C0282_bit0 C0283_bit0 C0284_bit0 -C0285_bit0 -C0286_bit0 -C0287_bit0 -C0288_bit0 -C0289_bit0 -C0290_bit0 -C0291_bit0 -C0292_bit0 -C0293_bit0 -C0294_bit0 -C0295_bit0 C0296_bit0 -C0297_bit0 -C0298_bit0 -C0299_bit0 -C0300_bit0 -C0301_bit0 -C0302_bit0 -C0303_bit0 -C0304_bit0 -C0305_bit0 -C0306_bit0 -C0307_bit0 -C0308_bit0 -C0309_bit0 -C0310_bit0 -C0311_bit0 -C0312_bit0 -C0313_bit0 -C0314_bit0 -C0315_bit0 -C0316_bit0 -C0317_bit0 -C0318_bit0 -C0319_bit0 -C0320_bit0 -C0321_bit0 -C0322_bit0 -C0323_bit0 -C0324_bit0 -C0325_bit0 -C0326_bit0 -C0327_bit0 -C0328_bit0 -C0329_bit0 -C0330_bit0 -C0331_bit0 -C0332_bit0 -C0333_bit0 -C0334_bit0 -C0335_bit0 -C0336_bit0 -C0337_bit0 -C0338_bit0 -C0339_bit0 -C0340_bit0 -C0341_bit0 C0342_bit0 -C0343_bit0 C0344_bit0 -C0345_bit0 -C0346_bit0 -C0347_bit0 -C0348_bit0 -C0349_bit0 -C0350_bit0 -C0351_bit0 -C0352_bit0 -C0353_bit0 -C0354_bit0 -C0355_bit0 -C0356_bit0 -C0357_bit0 -C0358_bit0 -C0359_bit0 -C0360_bit0 -C0361_bit0 -C0362_bit0 C0363_bit0 C0364_bit0 C0365_bit0 -C0366_bit0 -C0367_bit0 -C0368_bit0 -C0369_bit0 -C0370_bit0 -C0371_bit0 -C0372_bit0 -C0373_bit0 -C0374_bit0 -C0375_bit0 -C0376_bit0 -C0377_bit0 -C0378_bit0 -C0379_bit0 -C0380_bit0 -C0381_bit0 -C0382_bit0 -C0383_bit0 -C0384_bit0 -C0385_bit0 -C0386_bit0 -C0387_bit0 -C0388_bit0 -C0389_bit0 -C0390_bit0 -C0391_bit0 -C0392_bit0 -C0393_bit0 -C0394_bit0 -C0395_bit0 -C0396_bit0 -C0397_bit0 -C0398_bit0 -C0399_bit0 -C0400_bit0 C0401_bit0 -C0402_bit0 C0403_bit0 -C0404_bit0 -C0405_bit0 -C0406_bit0 -C0407_bit0 -C0408_bit0 -C0409_bit0 -C0410_bit0 -C0411_bit0 -C0412_bit0 -C0413_bit0 -C0414_bit0 -C0415_bit0 -C0416_bit0 -C0417_bit0 -C0418_bit0 -C0419_bit0 -C0420_bit0 -C0421_bit0 -C0422_bit0 -C0423_bit0 -C0424_bit0 -C0425_bit0 -C0426_bit0 -C0427_bit0 -C0428_bit0 -C0429_bit0 -C0430_bit0 -C0431_bit0 -C0432_bit0 -C0433_bit0 -C0434_bit0 -C0435_bit0 -C0436_bit0 -C0437_bit0 -C0438_bit0 -C0439_bit0 -C0440_bit0 -C0441_bit0 -C0442_bit0 -C0443_bit0 -C0444_bit0 -C0445_bit0 -C0446_bit0 -C0447_bit0 -C0448_bit0 -C0449_bit0 -C0450_bit0 -C0451_bit0 -C0452_bit0 -C0453_bit0 -C0454_bit0 -C0455_bit0 -C0456_bit0 C0457_bit0 -C0458_bit0 C0459_bit0 -C0460_bit0 -C0461_bit0 -C0462_bit0 -C0463_bit0 -C0464_bit0 -C0465_bit0 -C0466_bit0 -C0467_bit0 -C0468_bit0 -C0469_bit0 -C0470_bit0 -C0471_bit0 -C0472_bit0 -C0473_bit0 -C0474_bit0 -C0475_bit0 -C0476_bit0 -C0477_bit0 -C0478_bit0 -C0479_bit0 -C0480_bit0 -C0481_bit0 -C0482_bit0 -C0483_bit0 -C0484_bit0 -C0485_bit0 -C0486_bit0 -C0487_bit0 -C0488_bit0 -C0489_bit0 -C0490_bit0 -C0491_bit0 -C0492_bit0 -C0493_bit0 C0494_bit0 -C0495_bit0 -C0496_bit0 -C0497_bit0 -C0498_bit0 -C0499_bit0 -C0500_bit0 -C0501_bit0 -C0502_bit0 -C0503_bit0 -C0504_bit0 -C0505_bit0 -C0506_bit0 -C0507_bit0 -C0508_bit0 -C0509_bit0 -C0510_bit0 -C0511_bit0 -C0512_bit0 -C0513_bit0 -C0514_bit0 -C0515_bit0 -C0516_bit0 -C0517_bit0 -C0518_bit0 -C0519_bit0 -C0520_bit0 -C0521_bit0 -C0522_bit0 -C0523_bit0 -C0524_bit0 -C0525_bit0 -C0526_bit0 -C0527_bit0 -C0528_bit0 -C0529_bit0 -C0530_bit0 -C0531_bit0 -C0532_bit0 -C0533_bit0 -C0534_bit0 -C0535_bit0 -C0536_bit0 -C0537_bit0 -C0538_bit0 -C0539_bit0 -C0540_bit0 -C0541_bit0 -C0542_bit0 -C0543_bit0 -C0544_bit0 -C0545_bit0 -C0546_bit0 -C0547_bit0 -C0548_bit0 -C0549_bit0 -C0550_bit0 -C0551_bit0 -C0552_bit0 -C0553_bit0 -C0554_bit0 -C0555_bit0 -C0556_bit0 -C0557_bit0 -C0558_bit0 -C0559_bit0 -C0560_bit0 -C0561_bit0 -C0562_bit0 -C0563_bit0 -C0564_bit0 -C0565_bit0 -C0566_bit0 -C0567_bit0 -C0568_bit0 -C0569_bit0 -C0570_bit0 -C0571_bit0 -C0572_bit0 -C0573_bit0 -C0574_bit0 -C0575_bit0 -C0576_bit0 -C0577_bit0 -C0578_bit0 -C0579_bit0 -C0580_bit0 -C0581_bit0 -C0582_bit0 -C0583_bit0 -C0584_bit0 -C0585_bit0 -C0586_bit0 -C0587_bit0 -C0588_bit0 -C0589_bit0 -C0590_bit0 -C0591_bit0 -C0592_bit0 -C0593_bit0 -C0594_bit0 -C0595_bit0 -C0596_bit0 -C0597_bit0 -C0598_bit0 -C0599_bit0 -C0600_bit0 -C0601_bit0 -C0602_bit0 -C0603_bit0 -C0604_bit0 -C0605_bit0 -C0606_bit0 -C0607_bit0 -C0608_bit0 -C0609_bit0 -C0610_bit0 -C0611_bit0 -C0612_bit0 -C0613_bit0 -C0614_bit0 -C0615_bit0 -C0616_bit0 -C0617_bit0 -C0618_bit0 -C0619_bit0 -C0620_bit0 -C0621_bit0 -C0622_bit0 -C0623_bit0 -C0624_bit0 -C0625_bit0 -C0626_bit0 C0627_bit0 -C0628_bit0 C0629_bit0 -C0630_bit0 -C0631_bit0 -C0632_bit0 -C0633_bit0 -C0634_bit0 -C0635_bit0 -C0636_bit0 -C0637_bit0 -C0638_bit0 -C0639_bit0 -C0640_bit0 -C0641_bit0 -C0642_bit0 -C0643_bit0 -C0644_bit0 -C0645_bit0 -C0646_bit0 -C0647_bit0 -C0648_bit0 -C0649_bit0 -C0650_bit0 -C0651_bit0 -C0652_bit0 -C0653_bit0 -C0654_bit0 -C0655_bit0 C0656_bit0 -C0657_bit0 C0658_bit0 -C0659_bit0 -C0660_bit0 -C0661_bit0 -C0662_bit0 -C0663_bit0 -C0664_bit0 -C0665_bit0 -C0666_bit0 -C0667_bit0 -C0668_bit0 -C0669_bit0 -C0670_bit0 -C0671_bit0 -C0672_bit0 -C0673_bit0 -C0674_bit0 -C0675_bit0 -C0676_bit0 -C0677_bit0 -C0678_bit0 -C0679_bit0 -C0680_bit0 -C0681_bit0 -C0682_bit0 -C0683_bit0 -C0684_bit0 -C0685_bit0 -C0686_bit0 C0687_bit0 -C0688_bit0 -C0689_bit0 -C0690_bit0 -C0691_bit0 -C0692_bit0 -C0693_bit0 -C0694_bit0 -C0695_bit0 -C0696_bit0 -C0697_bit0 -C0698_bit0 -C0699_bit0 -C0700_bit0 -C0701_bit0 -C0702_bit0 C0703_bit0 -C0704_bit0 -C0705_bit0 -C0706_bit0 -C0707_bit0 -C0708_bit0 -C0709_bit0 -C0710_bit0 -C0711_bit0 -C0712_bit0 -C0713_bit0 -C0714_bit0 -C0715_bit0 -C0716_bit0 -C0717_bit0 -C0718_bit0 -C0719_bit0 -C0720_bit0 -C0721_bit0 -C0722_bit0 -C0723_bit0 -C0724_bit0 -C0725_bit0 -C0726_bit0 -C0727_bit0 -C0728_bit0 -C0729_bit0 -C0730_bit0 -C0731_bit0 -C0732_bit0 -C0733_bit0 -C0734_bit0 -C0735_bit0 -C0736_bit0 -C0737_bit0 -C0738_bit0 -C0739_bit0 -C0740_bit0 -C0741_bit0 -C0742_bit0 -C0743_bit0 -C0744_bit0 -C0745_bit0 -C0746_bit0 -C0747_bit0 -C0748_bit0 -C0749_bit0 -C0750_bit0 -C0751_bit0 -C0752_bit0 -C0753_bit0 -C0754_bit0 -C0755_bit0 -C0756_bit0 -C0757_bit0 -C0758_bit0 -C0759_bit0 -C0760_bit0 -C0761_bit0 -C0762_bit0 -C0763_bit0 -C0764_bit0 -C0765_bit0 -C0766_bit0 -C0767_bit0 -C0768_bit0 -C0769_bit0 -C0770_bit0 -C0771_bit0 C0772_bit0 -C0773_bit0 -C0774_bit0 -C0775_bit0 -C0776_bit0 -C0777_bit0 -C0778_bit0 -C0779_bit0 -C0780_bit0 -C0781_bit0 -C0782_bit0 -C0783_bit0 -C0784_bit0 -C0785_bit0 C0786_bit0 -C0787_bit0 -C0788_bit0 -C0789_bit0 -C0790_bit0 -C0791_bit0 -C0792_bit0 -C0793_bit0 -C0794_bit0 -C0795_bit0 -C0796_bit0 -C0797_bit0 -C0798_bit0 -C0799_bit0 -C0800_bit0 -C0801_bit0 -C0802_bit0 -C0803_bit0 -C0804_bit0 -C0805_bit0 -C0806_bit0 -C0807_bit0 -C0808_bit0 -C0809_bit0 -C0810_bit0 -C0811_bit0 -C0812_bit0 -C0813_bit0 -C0814_bit0 -C0815_bit0 -C0816_bit0 -C0817_bit0 -C0818_bit0 -C0819_bit0 -C0820_bit0 -C0821_bit0 -C0822_bit0 -C0823_bit0 -C0824_bit0 -C0825_bit0 -C0826_bit0 -C0827_bit0 -C0828_bit0 -C0829_bit0 -C0830_bit0 -C0831_bit0 -C0832_bit0 -C0833_bit0 -C0834_bit0 -C0835_bit0 -C0836_bit0 -C0837_bit0 -C0838_bit0 -C0839_bit0 -C0840_bit0 -C0841_bit0 -C0842_bit0 -C0843_bit0 -C0844_bit0 -C0845_bit0 -C0846_bit0 -C0847_bit0 -C0848_bit0 -C0849_bit0 -C0850_bit0 -C0851_bit0 -C0852_bit0 -C0853_bit0 -C0854_bit0 -C0855_bit0 -C0856_bit0 -C0857_bit0 -C0858_bit0 -C0859_bit0 -C0860_bit0 -C0861_bit0 -C0862_bit0 -C0863_bit0 -C0864_bit0 -C0865_bit0 -C0866_bit0 -C0867_bit0 -C0868_bit0 -C0869_bit0 -C0870_bit0 -C0871_bit0 C0872_bit0 -C0873_bit0 -C0874_bit0 -C0875_bit0 -C0876_bit0 -C0877_bit0 -C0878_bit0 -C0879_bit0 -C0880_bit0 -C0881_bit0 -C0882_bit0 -C0883_bit0 -C0884_bit0 -C0885_bit0 -C0886_bit0 -C0887_bit0 C0888_bit0 -C0889_bit0 C0890_bit0 -C0891_bit0 -C0892_bit0 -C0893_bit0 -C0894_bit0 -C0895_bit0 -C0896_bit0 -C0897_bit0 -C0898_bit0 -C0899_bit0 -C0900_bit0 -C0901_bit0 -C0902_bit0 -C0903_bit0 -C0904_bit0 -C0905_bit0 -C0906_bit0 -C0907_bit0 -C0908_bit0 -C0909_bit0 -C0910_bit0 -C0911_bit0 -C0912_bit0 -C0913_bit0 -C0914_bit0 -C0915_bit0 -C0916_bit0 -C0917_bit0 -C0918_bit0 -C0919_bit0 -C0920_bit0 -C0921_bit0 -C0922_bit0 -C0923_bit0 -C0924_bit0 -C0925_bit0 -C0926_bit0 -C0927_bit0 -C0928_bit0 -C0929_bit0 -C0930_bit0 -C0931_bit0 -C0932_bit0 -C0933_bit0 -C0934_bit0 -C0935_bit0 -C0936_bit0 -C0937_bit0 -C0938_bit0 -C0939_bit0 -C0940_bit0 -C0941_bit0 -C0942_bit0 -C0943_bit0 -C0944_bit0 -C0945_bit0 -C0946_bit0 -C0947_bit0 -C0948_bit0 -C0949_bit0 -C0950_bit0 -C0951_bit0 -C0952_bit0 -C0953_bit0 -C0954_bit0 -C0955_bit0 -C0956_bit0 -C0957_bit0 -C0958_bit0 -C0959_bit0 C0960_bit0 -C0961_bit0 -C0962_bit0 -C0963_bit0 -C0964_bit0 -C0965_bit0 -C0966_bit0 -C0967_bit0 -C0968_bit0 C0969_bit0 -C0970_bit0 -C0971_bit0 -C0972_bit0 -C0973_bit0 -C0974_bit0 -C0975_bit0 -C0976_bit0 -C0977_bit0 -C0978_bit0 -C0979_bit0 -C0980_bit0 -C0981_bit0 -C0982_bit0 -C0983_bit0 -C0984_bit0 -C0985_bit0 -C0986_bit0 -C0987_bit0 -C0988_bit0 -C0989_bit0 -C0990_bit0 -C0991_bit0 -C0992_bit0 -C0993_bit0 -C0994_bit0 -C0995_bit0 -C0996_bit0 -C0997_bit0 -C0998_bit0 -C0999_bit0 -C1000_bit0 -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 C1058_bit0 -C1059_bit0 C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1202_bit0 -C1203_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 -C1208_bit0 -C1209_bit0 -C1210_bit0 -C1211_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 -C1215_bit0 -C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1220_bit0 -C1221_bit0 C1222_bit0 -C1223_bit0 -C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1234_bit0 -C1235_bit0 -C1236_bit0 -C1237_bit0 -C1238_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 -C1246_bit0 -C1247_bit0 -C1248_bit0 -C1249_bit0 -C1250_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1257_bit0 C1258_bit0 C1259_bit0 C1260_bit0 -C1261_bit0 -C1262_bit0 -C1263_bit0 -C1264_bit0 -C1265_bit0 -C1266_bit0 -C1267_bit0 -C1268_bit0 -C1269_bit0 -C1270_bit0 -C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1277_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 -C1281_bit0 -C1282_bit0 C1283_bit0 -C1284_bit0 C1285_bit0 -C1286_bit0 -C1287_bit0 -C1288_bit0 -C1289_bit0 -C1290_bit0 -C1291_bit0 -C1292_bit0 -C1293_bit0 -C1294_bit0 -C1295_bit0 -C1296_bit0 -C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 -C1301_bit0 -C1302_bit0 -C1303_bit0 -C1304_bit0 -C1305_bit0 -C1306_bit0 -C1307_bit0 -C1308_bit0 -C1309_bit0 -C1310_bit0 -C1311_bit0 -C1312_bit0 -C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1324_bit0 -C1325_bit0 -C1326_bit0 -C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 -C1334_bit0 -C1335_bit0 -C1336_bit0 -C1337_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1341_bit0 -C1342_bit0 -C1343_bit0 -C1344_bit0 -C1345_bit0 -C1346_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 -C1350_bit0 -C1351_bit0 -C1352_bit0 -C1353_bit0 -C1354_bit0 C1355_bit0 -C1356_bit0 -C1357_bit0 -C1358_bit0 -C1359_bit0 -C1360_bit0 -C1361_bit0 -C1362_bit0 -C1363_bit0 -C1364_bit0 -C1365_bit0 -C1366_bit0 C1367_bit0 -C1368_bit0 C1369_bit0 -C1370_bit0 -C1371_bit0 -C1372_bit0 -C1373_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 -C1377_bit0 -C1378_bit0 -C1379_bit0 -C1380_bit0 -C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1385_bit0 -C1386_bit0 -C1387_bit0 -C1388_bit0 -C1389_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1401_bit0 -C1402_bit0 -C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 -C1412_bit0 -C1413_bit0 -C1414_bit0 C1415_bit0 C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 -C1420_bit0 -C1421_bit0 -C1422_bit0 -C1423_bit0 C1424_bit0 -C1425_bit0 -C1426_bit0 -C1427_bit0 -C1428_bit0 -C1429_bit0 -C1430_bit0 -C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 -C1437_bit0 -C1438_bit0 -C1439_bit0 -C1440_bit0 -C1441_bit0 -C1442_bit0 -C1443_bit0 -C1444_bit0 -C1445_bit0 -C1446_bit0 -C1447_bit0 -C1448_bit0 -C1449_bit0 C1450_bit0 -C1451_bit0 -C1452_bit0 -C1453_bit0 C1454_bit0 -C1455_bit0 C1456_bit0 C1457_bit0 C1458_bit0 -C1459_bit0 C1460_bit0 -C1461_bit0 -C1462_bit0 C1463_bit0 -C1464_bit0 C1465_bit0 -C1466_bit0 C1467_bit0 -C1468_bit0 C1469_bit0 -C1470_bit0 C1471_bit0 -C1472_bit0 -C1473_bit0 -C1474_bit0 -C1475_bit0 -C1476_bit0 -C1477_bit0 -C1478_bit0 -C1479_bit0 C1480_bit0 -C1481_bit0 C1482_bit0 -C1483_bit0 C1484_bit0 -C1485_bit0 -C1486_bit0 C1487_bit0 C1488_bit0 -C1489_bit0 -C1490_bit0 -C1491_bit0 C1492_bit0 -C1493_bit0 -C1494_bit0 -C1495_bit0 -C1496_bit0 -C1497_bit0 -C1498_bit0 C1499_bit0 -C1500_bit0 -C1501_bit0 -C1502_bit0 -C1503_bit0 -C1504_bit0 -C1505_bit0 -C1506_bit0 -C1507_bit0 -C1508_bit0 -C1509_bit0 C1510_bit0 -C1511_bit0 -C1512_bit0 -C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 -C1517_bit0 -C1518_bit0 -C1519_bit0 C1520_bit0 -C1521_bit0 C1522_bit0 -C1523_bit0 C1524_bit0 -C1525_bit0 -C1526_bit0 C1527_bit0 C1528_bit0 -C1529_bit0 -C1530_bit0 -C1531_bit0 -C1532_bit0 -C1533_bit0 -C1534_bit0 C1535_bit0 -C1536_bit0 -C1537_bit0 -C1538_bit0 -C1539_bit0 C1540_bit0 -C1541_bit0 -C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 -C1546_bit0 -C1547_bit0 -C1548_bit0 -C1549_bit0 -C1550_bit0 -C1551_bit0 C1552_bit0 C1553_bit0 -C1554_bit0 -C1555_bit0 C1556_bit0 -C1557_bit0 -C1558_bit0 -C1559_bit0 C1560_bit0 -C1561_bit0 -C1562_bit0 -C1563_bit0 -C1564_bit0 C1565_bit0 -C1566_bit0 -C1567_bit0 C1568_bit0 -C1569_bit0 -C1570_bit0 -C1571_bit0 C1572_bit0 -C1573_bit0 -C1574_bit0 -C1575_bit0 C1576_bit0 -C1577_bit0 -C1578_bit0 -C1579_bit0 -C1580_bit0 -C1581_bit0 -C1582_bit0 -C1583_bit0 -C1584_bit0 C1585_bit0 -C1586_bit0 -C1587_bit0 C1588_bit0 C1589_bit0 -C1590_bit0 -C1591_bit0 C1592_bit0 C1593_bit0 -C1594_bit0 -C1595_bit0 C1596_bit0 C1597_bit0 -C1598_bit0 -C1599_bit0 C1600_bit0 -C1601_bit0 -C1602_bit0 -C1603_bit0 -C1604_bit0 -C1605_bit0 -C1606_bit0 -C1607_bit0 -C1608_bit0 -C1609_bit0 -C1610_bit0 -C1611_bit0 C1612_bit0 -C1613_bit0 -C1614_bit0 -C1615_bit0 -C1616_bit0 -C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 -C1621_bit0 -C1622_bit0 -C1623_bit0 -C1624_bit0 C1625_bit0 -C1626_bit0 -C1627_bit0 -C1628_bit0 C1629_bit0 -C1630_bit0 C1631_bit0 -C1632_bit0 C1633_bit0 -C1634_bit0 -C1635_bit0 C1636_bit0 C1637_bit0 -C1638_bit0 -C1639_bit0 C1640_bit0 -C1641_bit0 -C1642_bit0 -C1643_bit0 -C1644_bit0 -C1645_bit0 -C1646_bit0 -C1647_bit0 -C1648_bit0 C1649_bit0 -C1650_bit0 -C1651_bit0 -C1652_bit0 C1653_bit0 -C1654_bit0 -C1655_bit0 -C1656_bit0 C1657_bit0 -C1658_bit0 -C1659_bit0 -C1660_bit0 C1661_bit0 -C1662_bit0 -C1663_bit0 C1664_bit0 -C1665_bit0 -C1666_bit0 -C1667_bit0 -C1668_bit0 -C1669_bit0 -C1670_bit0 -C1671_bit0 -C1672_bit0 C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 -C1677_bit0 -C1678_bit0 -C1679_bit0 C1680_bit0 -C1681_bit0 C1682_bit0 -C1683_bit0 C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 C1688_bit0 -C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 C1694_bit0 C1695_bit0 -C1696_bit0 -C1697_bit0 -C1698_bit0 C1699_bit0 -C1700_bit0 C1701_bit0 -C1702_bit0 C1703_bit0 -C1704_bit0 -C1705_bit0 -C1706_bit0 -C1707_bit0 -C1708_bit0 -C1709_bit0 -C1710_bit0 -C1711_bit0 -C1712_bit0 -C1713_bit0 -C1714_bit0 -C1715_bit0 -C1716_bit0 -C1717_bit0 -C1718_bit0 -C1719_bit0 -C1720_bit0 -C1721_bit0 -C1722_bit0 -C1723_bit0 C1724_bit0 -C1725_bit0 -C1726_bit0 -C1727_bit0 -C1728_bit0 C1729_bit0 -C1730_bit0 -C1731_bit0 -C1732_bit0 -C1733_bit0 -C1734_bit0 -C1735_bit0 -C1736_bit0 -C1737_bit0 -C1738_bit0 -C1739_bit0 -C1740_bit0 -C1741_bit0 C1742_bit0 -C1743_bit0 -C1744_bit0 -C1745_bit0 -C1746_bit0 -C1747_bit0 -C1748_bit0 -C1749_bit0 -C1750_bit0 -C1751_bit0 -C1752_bit0 -C1753_bit0 -C1754_bit0 -C1755_bit0 C1756_bit0 -C1757_bit0 -C1758_bit0 -C1759_bit0 -C1760_bit0 -C1761_bit0 -C1762_bit0 -C1763_bit0 -C1764_bit0 C1765_bit0 -C1766_bit0 -C1767_bit0 -C1768_bit0 -C1769_bit0 C1770_bit0 -C1771_bit0 -C1772_bit0 C1773_bit0 C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 C1778_bit0 -C1779_bit0 -C1780_bit0 -C1781_bit0 -C1782_bit0 -C1783_bit0 C1784_bit0 -C1785_bit0 C1786_bit0 -C1787_bit0 C1788_bit0 C1789_bit0 -C1790_bit0 -C1791_bit0 C1792_bit0 -C1793_bit0 -C1794_bit0 -C1795_bit0 -C1796_bit0 -C1797_bit0 -C1798_bit0 -C1799_bit0 -C1800_bit0 -C1801_bit0 -C1802_bit0 -C1803_bit0 -C1804_bit0 -C1805_bit0 C1806_bit0 -C1807_bit0 -C1808_bit0 -C1809_bit0 C1810_bit0 -C1811_bit0 -C1812_bit0 -C1813_bit0 C1814_bit0 -C1815_bit0 -C1816_bit0 C1817_bit0 -C1818_bit0 -C1819_bit0 -C1820_bit0 C1821_bit0 -C1822_bit0 -C1823_bit0 -C1824_bit0 
c objectif function=34
c Total CPU time (ms) : 1259.39
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/55 14218
Raw data (stat): 14218 (runsolver) R 14217 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838319957 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99984 s]
Raw data (loadavg): 1.03 1.00 1.00 3/65 14228
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18087 0 1 0 777 38 0 0 25 0 11 0 838319957 861425664 20595 4294967295 134512640 134569956 3221224368 3221214752 1130919258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210309 20595 13086 16 0 210293 0
vsize: 841236
[startup+20.0011 s]
Raw data (loadavg): 1.18 1.04 1.01 2/65 14229
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 1476 39 0 0 25 0 11 0 838319957 871428096 25672 4294967295 134512640 134569956 3221224368 3221214664 1131529332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212751 25672 13086 16 0 212735 0
vsize: 851004
[startup+30.0017 s]
Raw data (loadavg): 1.15 1.03 1.01 2/65 14229
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 2450 39 0 0 25 0 11 0 838319957 867348480 24704 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 24704 13086 16 0 211739 0
vsize: 847020
[startup+40.0026 s]
Raw data (loadavg): 1.13 1.03 1.01 2/65 14231
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 3429 39 0 0 25 0 11 0 838319957 867348480 24704 4294967295 134512640 134569956 3221224368 3221214560 1131258750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 24704 13086 16 0 211739 0
vsize: 847020
[startup+50.0042 s]
Raw data (loadavg): 1.11 1.03 1.01 2/65 14233
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 4401 39 0 0 25 0 11 0 838319957 867348480 24704 4294967295 134512640 134569956 3221224368 3221214784 1131344583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 24704 13086 16 0 211739 0
vsize: 847020
[startup+60.0046 s]
Raw data (loadavg): 1.09 1.03 1.01 2/65 14233
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 5360 40 0 0 25 0 11 0 838319957 867348480 24704 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 24704 13086 16 0 211739 0
vsize: 847020
[startup+70.0055 s]
Raw data (loadavg): 1.08 1.03 1.01 2/65 14234
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 6313 40 0 0 25 0 11 0 838319957 867348480 24776 4294967295 134512640 134569956 3221224368 3221214760 1131254175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 24776 13086 16 0 211739 0
vsize: 847020
[startup+80.0068 s]
Raw data (loadavg): 1.06 1.03 1.00 2/65 14234
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 7263 40 0 0 25 0 11 0 838319957 867348480 24860 4294967295 134512640 134569956 3221224368 3221214520 1131458999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 24860 13086 16 0 211739 0
vsize: 847020
[startup+90.0073 s]
Raw data (loadavg): 1.05 1.03 1.00 2/65 14235
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 8210 40 0 0 25 0 11 0 838319957 867348480 24883 4294967295 134512640 134569956 3221224368 3221214664 1131529405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 24883 13086 16 0 211739 0
vsize: 847020
[startup+100.007 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 14237
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 9152 41 0 0 25 0 11 0 838319957 867348480 24996 4294967295 134512640 134569956 3221224368 3221214664 1131526049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 24996 13086 16 0 211739 0
vsize: 847020
[startup+110.007 s]
Raw data (loadavg): 1.04 1.02 1.00 4/70 14289
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 10099 42 0 0 25 0 11 0 838319957 867348480 25168 4294967295 134512640 134569956 3221224368 3221214664 1131529335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 25168 13086 16 0 211739 0
vsize: 847020
[startup+120.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 14290
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 11045 42 0 0 25 0 11 0 838319957 867348480 25289 4294967295 134512640 134569956 3221224368 3221214520 1131460788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 25289 13086 16 0 211739 0
vsize: 847020
[startup+130.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 14290
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 11994 42 0 0 25 0 11 0 838319957 867348480 25435 4294967295 134512640 134569956 3221224368 3221214560 1131258576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 25435 13086 16 0 211739 0
vsize: 847020
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 14290
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 12944 43 0 0 25 0 11 0 838319957 867348480 25580 4294967295 134512640 134569956 3221224368 3221214560 1131258783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 25580 13086 16 0 211739 0
vsize: 847020
[startup+150.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 14290
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 13894 43 0 0 25 0 11 0 838319957 867348480 25659 4294967295 134512640 134569956 3221224368 3221214520 1131458611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 25659 13086 16 0 211739 0
vsize: 847020
[startup+160.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/65 14292
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 14842 44 0 0 25 0 11 0 838319957 867348480 25753 4294967295 134512640 134569956 3221224368 3221214664 1131529379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 25753 13086 16 0 211739 0
vsize: 847020
[startup+170.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 14292
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 15794 44 0 0 25 0 11 0 838319957 867348480 25896 4294967295 134512640 134569956 3221224368 3221214660 1131385571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 25896 13086 16 0 211739 0
vsize: 847020
[startup+180.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 14294
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 16749 44 0 0 25 0 11 0 838319957 867348480 26012 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26012 13086 16 0 211739 0
vsize: 847020
[startup+190.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 14294
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 17708 45 0 0 25 0 11 0 838319957 867348480 26127 4294967295 134512640 134569956 3221224368 3221214520 1131460100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26127 13086 16 0 211739 0
vsize: 847020
[startup+200.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 14294
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 18668 45 0 0 25 0 11 0 838319957 867348480 26248 4294967295 134512640 134569956 3221224368 3221214560 1131258977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26248 13086 16 0 211739 0
vsize: 847020
[startup+210.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 14294
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 19632 46 0 0 25 0 11 0 838319957 867348480 26380 4294967295 134512640 134569956 3221224368 3221214648 1131470869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26380 13086 16 0 211739 0
vsize: 847020
[startup+220.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 14296
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 20589 46 0 0 25 0 11 0 838319957 867348480 26447 4294967295 134512640 134569956 3221224368 3221214648 1131471047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26447 13086 16 0 211739 0
vsize: 847020
[startup+230.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 14296
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 21545 47 0 0 25 0 11 0 838319957 867348480 26519 4294967295 134512640 134569956 3221224368 3221214560 1131258666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26519 13086 16 0 211739 0
vsize: 847020
[startup+240.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 14296
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 22500 47 0 0 19 0 11 0 838319957 867348480 26586 4294967295 134512640 134569956 3221224368 3221214448 1131185733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26586 13086 16 0 211739 0
vsize: 847020
[startup+250.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 14296
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 23456 47 0 0 25 0 11 0 838319957 867348480 26681 4294967295 134512640 134569956 3221224368 3221214664 1131529379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26681 13086 16 0 211739 0
vsize: 847020
[startup+260.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 14296
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 24413 47 0 0 25 0 11 0 838319957 867348480 26770 4294967295 134512640 134569956 3221224368 3221214544 1131282472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26770 13086 16 0 211739 0
vsize: 847020
[startup+270.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 14296
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 25376 48 0 0 25 0 11 0 838319957 867348480 26951 4294967295 134512640 134569956 3221224368 3221214664 1131529503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 26951 13086 16 0 211739 0
vsize: 847020
[startup+280.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 14298
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 26345 48 0 0 25 0 11 0 838319957 867348480 27032 4294967295 134512640 134569956 3221224368 3221214520 1131460788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27032 13086 16 0 211739 0
vsize: 847020
[startup+290.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 14298
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 27315 49 0 0 25 0 11 0 838319957 867348480 27115 4294967295 134512640 134569956 3221224368 3221214520 1131459014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27115 13086 16 0 211739 0
vsize: 847020
[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14298
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 28280 49 0 0 24 0 11 0 838319957 867348480 27188 4294967295 134512640 134569956 3221224368 3221214424 1131521858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27188 13086 16 0 211739 0
vsize: 847020
[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14298
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 29251 50 0 0 25 0 11 0 838319957 867348480 27266 4294967295 134512640 134569956 3221224368 3221214664 1131529497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27266 13086 16 0 211739 0
vsize: 847020
[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14298
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 30223 50 0 0 25 0 11 0 838319957 867348480 27313 4294967295 134512640 134569956 3221224368 3221214520 1131459014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27313 13086 16 0 211739 0
vsize: 847020
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14298
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 31191 51 0 0 25 0 11 0 838319957 867348480 27364 4294967295 134512640 134569956 3221224368 3221214648 1131473129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 27364 13086 16 0 211739 0
vsize: 847020
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14301
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 32149 51 0 0 25 0 11 0 838319957 867348480 27445 4294967295 134512640 134569956 3221224368 3221214640 1131254215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27445 13086 16 0 211739 0
vsize: 847020
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14301
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 33104 51 0 0 25 0 11 0 838319957 867348480 27517 4294967295 134512640 134569956 3221224368 3221214664 1131529456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27517 13086 16 0 211739 0
vsize: 847020
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14301
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 34057 51 0 0 25 0 11 0 838319957 867348480 27564 4294967295 134512640 134569956 3221224368 3221214680 1131258811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27564 13086 16 0 211739 0
vsize: 847020
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14301
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 34996 51 0 0 24 0 11 0 838319957 867348480 27616 4294967295 134512640 134569956 3221224368 3221214560 1131258664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27616 13086 16 0 211739 0
vsize: 847020
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14301
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 35948 52 0 0 25 0 11 0 838319957 867348480 27704 4294967295 134512640 134569956 3221224368 3221214660 1131351427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27704 13086 16 0 211739 0
vsize: 847020
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14301
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 36884 52 0 0 24 0 11 0 838319957 867348480 27886 4294967295 134512640 134569956 3221224368 3221214520 1131460797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27886 13086 16 0 211739 0
vsize: 847020
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14303
Raw data (stat): 14218 (java) S 14217 29618 29617 0 -1 0 18137 3 1 0 37838 53 0 0 25 0 11 0 838319957 867348480 27977 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 27977 13086 16 0 211739 0
vsize: 847020
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14303
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 38794 53 0 0 25 0 11 0 838319957 867348480 28061 4294967295 134512640 134569956 3221224368 3221214560 1131259426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28061 13086 16 0 211739 0
vsize: 847020
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14303
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 39751 53 0 0 25 0 11 0 838319957 867348480 28220 4294967295 134512640 134569956 3221224368 3221214560 1131258783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28220 13086 16 0 211739 0
vsize: 847020
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14305
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 40712 53 0 0 25 0 11 0 838319957 867348480 28360 4294967295 134512640 134569956 3221224368 3221214520 1131459014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28360 13086 16 0 211739 0
vsize: 847020
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14305
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 41676 53 0 0 25 0 11 0 838319957 867348480 28474 4294967295 134512640 134569956 3221224368 3221214664 1131529335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28474 13086 16 0 211739 0
vsize: 847020
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14305
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 42642 53 0 0 25 0 11 0 838319957 867348480 28548 4294967295 134512640 134569956 3221224368 3221214520 1131459208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28548 13086 16 0 211739 0
vsize: 847020
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14307
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 43609 53 0 0 25 0 11 0 838319957 867348480 28591 4294967295 134512640 134569956 3221224368 3221214520 1131459937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28591 13086 16 0 211739 0
vsize: 847020
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14307
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 44576 53 0 0 25 0 11 0 838319957 867348480 28636 4294967295 134512640 134569956 3221224368 3221214544 1131281840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28636 13086 16 0 211739 0
vsize: 847020
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14307
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 45546 53 0 0 25 0 11 0 838319957 867348480 28727 4294967295 134512640 134569956 3221224368 3221214560 1131258666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28727 13086 16 0 211739 0
vsize: 847020
[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14307
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 46518 53 0 0 25 0 11 0 838319957 867348480 28852 4294967295 134512640 134569956 3221224368 3221214664 1131529503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28852 13086 16 0 211739 0
vsize: 847020
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14307
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 47496 53 0 0 25 0 11 0 838319957 867348480 28896 4294967295 134512640 134569956 3221224368 3221214664 1131529470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28896 13086 16 0 211739 0
vsize: 847020
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14307
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 48468 53 0 0 25 0 11 0 838319957 867348480 28939 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28939 13086 16 0 211739 0
vsize: 847020
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14309
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 49437 53 0 0 25 0 11 0 838319957 867348480 28991 4294967295 134512640 134569956 3221224368 3221214520 1131458640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 28991 13086 16 0 211739 0
vsize: 847020
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14309
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 50405 53 0 0 25 0 11 0 838319957 867348480 29034 4294967295 134512640 134569956 3221224368 3221214560 1131258802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29034 13086 16 0 211739 0
vsize: 847020
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14309
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 51372 53 0 0 25 0 11 0 838319957 867348480 29080 4294967295 134512640 134569956 3221224368 3221214560 1131258945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29080 13086 16 0 211739 0
vsize: 847020
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14309
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 52341 53 0 0 25 0 11 0 838319957 867348480 29138 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29138 13086 16 0 211739 0
vsize: 847020
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14309
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 53310 53 0 0 25 0 11 0 838319957 867348480 29261 4294967295 134512640 134569956 3221224368 3221214544 1131282169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29261 13086 16 0 211739 0
vsize: 847020
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14309
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 54286 53 0 0 25 0 11 0 838319957 867348480 29332 4294967295 134512640 134569956 3221224368 3221214664 1131529947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29332 13086 16 0 211739 0
vsize: 847020
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14311
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 55267 53 0 0 25 0 11 0 838319957 867348480 29381 4294967295 134512640 134569956 3221224368 3221214560 1131258664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29381 13086 16 0 211739 0
vsize: 847020
[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14311
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 56248 53 0 0 25 0 11 0 838319957 867348480 29427 4294967295 134512640 134569956 3221224368 3221214640 1131254131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29427 13086 16 0 211739 0
vsize: 847020
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14311
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 57229 53 0 0 25 0 11 0 838319957 867348480 29469 4294967295 134512640 134569956 3221224368 3221214516 1131522298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29469 13086 16 0 211739 0
vsize: 847020
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14311
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 58210 53 0 0 25 0 11 0 838319957 867348480 29511 4294967295 134512640 134569956 3221224368 3221214520 1131458611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29511 13086 16 0 211739 0
vsize: 847020
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14311
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 59187 54 0 0 25 0 11 0 838319957 867348480 29560 4294967295 134512640 134569956 3221224368 3221214664 1131529907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29560 13086 16 0 211739 0
vsize: 847020
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14311
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 60168 54 0 0 25 0 11 0 838319957 867348480 29601 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29601 13086 16 0 211739 0
vsize: 847020
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14313
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 61149 54 0 0 25 0 11 0 838319957 867348480 29640 4294967295 134512640 134569956 3221224368 3221214520 1131459923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29640 13086 16 0 211739 0
vsize: 847020
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14313
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 62130 54 0 0 25 0 11 0 838319957 867348480 29688 4294967295 134512640 134569956 3221224368 3221214664 1131530072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29688 13086 16 0 211739 0
vsize: 847020
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14313
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 63102 54 0 0 25 0 11 0 838319957 867348480 29729 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29729 13086 16 0 211739 0
vsize: 847020
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14313
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 64068 54 0 0 25 0 11 0 838319957 867348480 29775 4294967295 134512640 134569956 3221224368 3221214612 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29775 13086 16 0 211739 0
vsize: 847020
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14313
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 65033 54 0 0 25 0 11 0 838319957 867348480 29815 4294967295 134512640 134569956 3221224368 3221214544 1131282476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29815 13086 16 0 211739 0
vsize: 847020
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14313
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 65990 54 0 0 25 0 11 0 838319957 867348480 29852 4294967295 134512640 134569956 3221224368 3221214640 1131372858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29852 13086 16 0 211739 0
vsize: 847020
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14315
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 66942 54 0 0 25 0 11 0 838319957 867348480 29894 4294967295 134512640 134569956 3221224368 3221214780 1131351980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29894 13086 16 0 211739 0
vsize: 847020
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14315
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 67892 54 0 0 25 0 11 0 838319957 867348480 29963 4294967295 134512640 134569956 3221224368 3221214560 1131258783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 29963 13086 16 0 211739 0
vsize: 847020
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14315
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 68841 54 0 0 25 0 11 0 838319957 867348480 30029 4294967295 134512640 134569956 3221224368 3221214520 1131460106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30029 13086 16 0 211739 0
vsize: 847020
[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14315
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 69792 54 0 0 25 0 11 0 838319957 867348480 30167 4294967295 134512640 134569956 3221224368 3221214560 1131258808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30167 13086 16 0 211739 0
vsize: 847020
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14315
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 70750 54 0 0 25 0 11 0 838319957 867348480 30337 4294967295 134512640 134569956 3221224368 3221214560 1131258783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30337 13086 16 0 211739 0
vsize: 847020
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14315
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18137 3 1 0 71719 54 0 0 25 0 11 0 838319957 867348480 30433 4294967295 134512640 134569956 3221224368 3221214664 1131529904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30433 13086 16 0 211739 0
vsize: 847020
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14317
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 72684 54 0 0 25 0 11 0 838319957 867348480 30522 4294967295 134512640 134569956 3221224368 3221214664 1131530024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30522 13086 16 0 211739 0
vsize: 847020
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14317
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 73650 54 0 0 25 0 11 0 838319957 867348480 30603 4294967295 134512640 134569956 3221224368 3221214560 1131258977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30603 13086 16 0 211739 0
vsize: 847020
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14317
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 74615 55 0 0 25 0 11 0 838319957 867348480 30674 4294967295 134512640 134569956 3221224368 3221214560 1131258783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30674 13086 16 0 211739 0
vsize: 847020
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14317
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 75577 55 0 0 25 0 11 0 838319957 867348480 30754 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30754 13086 16 0 211739 0
vsize: 847020
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14317
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 76543 55 0 0 25 0 11 0 838319957 867348480 30808 4294967295 134512640 134569956 3221224368 3221214560 1131301769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30808 13086 16 0 211739 0
vsize: 847020
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14317
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 77503 55 0 0 25 0 11 0 838319957 867348480 30870 4294967295 134512640 134569956 3221224368 3221214632 1131352048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30870 13086 16 0 211739 0
vsize: 847020
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14319
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 78463 55 0 0 24 0 11 0 838319957 867348480 30945 4294967295 134512640 134569956 3221224368 3221214784 1131344598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 30945 13086 16 0 211739 0
vsize: 847020
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14319
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 79426 55 0 0 25 0 11 0 838319957 867348480 31047 4294967295 134512640 134569956 3221224368 3221214560 1131258496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31047 13086 16 0 211739 0
vsize: 847020
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14319
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 80392 55 0 0 25 0 11 0 838319957 867348480 31132 4294967295 134512640 134569956 3221224368 3221214664 1131529907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31132 13086 16 0 211739 0
vsize: 847020
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14319
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 81353 55 0 0 25 0 11 0 838319957 867348480 31245 4294967295 134512640 134569956 3221224368 3221214504 1131335617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 31245 13086 16 0 211739 0
vsize: 847020
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14319
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 82317 55 0 0 25 0 11 0 838319957 867348480 31298 4294967295 134512640 134569956 3221224368 3221214424 1131522259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31298 13086 16 0 211739 0
vsize: 847020
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14319
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 83282 55 0 0 25 0 11 0 838319957 867348480 31373 4294967295 134512640 134569956 3221224368 3221214520 1131459050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31373 13086 16 0 211739 0
vsize: 847020
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14321
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 84247 55 0 0 25 0 11 0 838319957 867348480 31437 4294967295 134512640 134569956 3221224368 3221214544 1131282433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31437 13086 16 0 211739 0
vsize: 847020
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14321
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 85213 55 0 0 25 0 11 0 838319957 867348480 31598 4294967295 134512640 134569956 3221224368 3221214648 1131472980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31598 13086 16 0 211739 0
vsize: 847020
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14321
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 86185 55 0 0 25 0 11 0 838319957 867348480 31665 4294967295 134512640 134569956 3221224368 3221214640 1131254160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31665 13086 16 0 211739 0
vsize: 847020
[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14321
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 87154 55 0 0 25 0 11 0 838319957 867348480 31713 4294967295 134512640 134569956 3221224368 3221214640 1131372861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31713 13086 16 0 211739 0
vsize: 847020
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14321
Raw data (stat): 14218 (java) S 14217 29618 29617 0 -1 0 18138 3 1 0 88120 55 0 0 25 0 11 0 838319957 867348480 31760 4294967295 134512640 134569956 3221224368 3221213160 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31760 13086 16 0 211739 0
vsize: 847020
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14321
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 89068 55 0 0 25 0 11 0 838319957 867348480 31807 4294967295 134512640 134569956 3221224368 3221214520 1131460039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31807 13086 16 0 211739 0
vsize: 847020
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14323
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 90018 55 0 0 25 0 11 0 838319957 867348480 31853 4294967295 134512640 134569956 3221224368 3221214616 1131257241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31853 13086 16 0 211739 0
vsize: 847020
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14323
Raw data (stat): 14218 (java) S 14217 29618 29617 0 -1 0 18138 3 1 0 90966 56 0 0 25 0 11 0 838319957 867348480 31936 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 31936 13086 16 0 211739 0
vsize: 847020
[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14323
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 91909 56 0 0 25 0 11 0 838319957 867348480 32084 4294967295 134512640 134569956 3221224368 3221214560 1131258666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32084 13086 16 0 211739 0
vsize: 847020
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14323
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 92863 56 0 0 25 0 11 0 838319957 867348480 32223 4294967295 134512640 134569956 3221224368 3221214616 1131257241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32223 13086 16 0 211739 0
vsize: 847020
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14323
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 93828 56 0 0 25 0 11 0 838319957 867348480 32362 4294967295 134512640 134569956 3221224368 3221214640 1131254157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32362 13086 16 0 211739 0
vsize: 847020
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14323
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 94790 56 0 0 25 0 11 0 838319957 867348480 32446 4294967295 134512640 134569956 3221224368 3221214648 1131471988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32446 13086 16 0 211739 0
vsize: 847020
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14325
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 95758 56 0 0 25 0 11 0 838319957 867348480 32520 4294967295 134512640 134569956 3221224368 3221214112 1131301769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32520 13086 16 0 211739 0
vsize: 847020
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14325
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 96720 56 0 0 25 0 11 0 838319957 867348480 32607 4294967295 134512640 134569956 3221224368 3221214560 1131258502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32607 13086 16 0 211739 0
vsize: 847020
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14325
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 97688 56 0 0 25 0 11 0 838319957 867348480 32680 4294967295 134512640 134569956 3221224368 3221214428 1076614592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32680 13086 16 0 211739 0
vsize: 847020
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14325
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 98651 56 0 0 25 0 11 0 838319957 867348480 32763 4294967295 134512640 134569956 3221224368 3221214648 1131470885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32763 13086 16 0 211739 0
vsize: 847020
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14325
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 99621 56 0 0 25 0 11 0 838319957 867348480 32841 4294967295 134512640 134569956 3221224368 3221214544 1131282321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32841 13086 16 0 211739 0
vsize: 847020
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14325
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 100584 56 0 0 25 0 11 0 838319957 867348480 32933 4294967295 134512640 134569956 3221224368 3221214544 1131282413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 32933 13086 16 0 211739 0
vsize: 847020
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14327
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 101553 56 0 0 25 0 11 0 838319957 867348480 33006 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33006 13086 16 0 211739 0
vsize: 847020
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14327
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 102518 56 0 0 25 0 11 0 838319957 867348480 33098 4294967295 134512640 134569956 3221224368 3221214664 1131529462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211755 33098 13086 16 0 211739 0
vsize: 847020
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14327
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 103487 56 0 0 25 0 11 0 838319957 867348480 33167 4294967295 134512640 134569956 3221224368 3221214640 1131372858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33167 13086 16 0 211739 0
vsize: 847020
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14327
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 104451 56 0 0 25 0 11 0 838319957 867348480 33254 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33254 13086 16 0 211739 0
vsize: 847020
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14327
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 105420 56 0 0 25 0 11 0 838319957 867348480 33324 4294967295 134512640 134569956 3221224368 3221214660 1131458515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33324 13086 16 0 211739 0
vsize: 847020
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14327
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 106375 56 0 0 25 0 11 0 838319957 867348480 33395 4294967295 134512640 134569956 3221224368 3221214648 1131470762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33395 13086 16 0 211739 0
vsize: 847020
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14329
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 107330 56 0 0 25 0 11 0 838319957 867348480 33465 4294967295 134512640 134569956 3221224368 3221214560 1131258571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33465 13086 16 0 211739 0
vsize: 847020
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14329
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 108284 56 0 0 25 0 11 0 838319957 867348480 33537 4294967295 134512640 134569956 3221224368 3221214560 1131258666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33537 13086 16 0 211739 0
vsize: 847020
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14329
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 109238 56 0 0 25 0 11 0 838319957 867348480 33613 4294967295 134512640 134569956 3221224368 3221214520 1131458611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33613 13086 16 0 211739 0
vsize: 847020
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14329
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 110190 57 0 0 25 0 11 0 838319957 867348480 33678 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33678 13086 16 0 211739 0
vsize: 847020
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14329
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 111144 57 0 0 25 0 11 0 838319957 867348480 33790 4294967295 134512640 134569956 3221224368 3221214680 1131258837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33790 13086 16 0 211739 0
vsize: 847020
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14329
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 112101 57 0 0 25 0 11 0 838319957 867348480 33910 4294967295 134512640 134569956 3221224368 3221214560 1131258666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33910 13086 16 0 211739 0
vsize: 847020
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14331
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 113058 57 0 0 25 0 11 0 838319957 867348480 33996 4294967295 134512640 134569956 3221224368 3221214520 1131458611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 33996 13086 16 0 211739 0
vsize: 847020
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14331
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 114014 57 0 0 25 0 11 0 838319957 867348480 34069 4294967295 134512640 134569956 3221224368 3221214544 1131282255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 34069 13086 16 0 211739 0
vsize: 847020
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14331
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 114968 57 0 0 25 0 11 0 838319957 867348480 34180 4294967295 134512640 134569956 3221224368 3221214544 1131282804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 34180 13086 16 0 211739 0
vsize: 847020
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14331
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 115923 57 0 0 25 0 11 0 838319957 867348480 34234 4294967295 134512640 134569956 3221224368 3221214784 1131344938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 34234 13086 16 0 211739 0
vsize: 847020
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14331
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 116874 57 0 0 25 0 11 0 838319957 867348480 34357 4294967295 134512640 134569956 3221224368 3221214560 1131258811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 34357 13086 16 0 211739 0
vsize: 847020
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14331
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 117826 57 0 0 25 0 11 0 838319957 867348480 34471 4294967295 134512640 134569956 3221224368 3221214544 1131282255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 34471 13086 16 0 211739 0
vsize: 847020
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14333
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 118778 57 0 0 25 0 11 0 838319957 867348480 34577 4294967295 134512640 134569956 3221224368 3221214544 1131282340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 34577 13086 16 0 211739 0
vsize: 847020
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14333
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 119743 57 0 0 25 0 11 0 838319957 867348480 34689 4294967295 134512640 134569956 3221224368 3221214432 1078032627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 34689 13086 16 0 211739 0
vsize: 847020
[startup+1260.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 14333
Raw data (stat): 14218 (java) R 14217 29618 29617 0 -1 0 18138 3 1 0 120698 57 0 0 25 0 11 0 838319957 867348480 34765 4294967295 134512640 134569956 3221224368 3221214644 1131281740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211755 34765 13086 16 0 211739 0
vsize: 847020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.45 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 14335
Raw data (stat): 14218 (java) Z 14217 29618 29617 0 -1 1036 18138 13063 1 0 120719 57 4775 39 16 0 1 0 838319957 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.45
CPU time (s): 1255.93
CPU user time (s): 1254.96
CPU system time (s): 0.971852
CPU usage (%): 99.6413
Max. virtual memory (Kb): 851004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	34
#### END VERIFIER DATA ####