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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-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.07084
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 30120

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 15:04:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21524 boxname=wulflinc31 idbench=1512 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos1.opb
IDLAUNCH: 21524
/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:        372368 kB
Buffers:         34220 kB
Cached:         597536 kB
SwapCached:       1052 kB
Active:          75256 kB
Inactive:       558680 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        372116 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            22700 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:25:40 (client local time) WITH STATUS 143 IN 1278.45 SECONDS
stats: 21524 0 1278.45 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-13-7-neos1.opb
c reading problem ... done. Time 5.547 ms.
c #vars     2112
c #constraints  5120
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  50 		Current CPU time: 10.56 ms
c CURRENT OPTIMUM=                  45 		Current CPU time: 48.24 ms
c CURRENT OPTIMUM=                  43 		Current CPU time: 49.21 ms
c CURRENT OPTIMUM=                  41 		Current CPU time: 69.05 ms
c CURRENT OPTIMUM=                  38 		Current CPU time: 85.76 ms
c CURRENT OPTIMUM=                  34 		Current CPU time: 338.82 ms
c starts	: 20
c conflicts	: 3915
c decisions	: 47606
c propagations	: 603083
c inspects	: 1680584
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3914
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.211
#### 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.91 0.98 0.99 2/55 16383
Raw data (stat): 16383 (runsolver) R 16382 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839798017 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+10.0006 s]
Raw data (loadavg): 1.01 1.00 1.00 4/65 16393
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18087 0 1 0 718 40 0 0 25 0 11 0 839798017 860049408 20084 4294967295 134512640 134569956 3221224368 3221214764 1130907099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209973 20084 13086 16 0 209957 0
vsize: 839892
[startup+20.0059 s]
Raw data (loadavg): 1.31 1.06 1.02 3/65 16396
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 1504 41 0 0 25 0 11 0 839798017 871800832 25828 4294967295 134512640 134569956 3221224368 3221214536 1131267835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212842 25828 13086 16 0 212826 0
vsize: 851368
[startup+30.0064 s]
Raw data (loadavg): 1.26 1.06 1.02 2/65 16396
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 2472 42 0 0 25 0 11 0 839798017 870342656 25381 4294967295 134512640 134569956 3221224368 3221214560 1131511552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 25381 13086 16 0 212470 0
vsize: 849944
[startup+40.0072 s]
Raw data (loadavg): 1.22 1.06 1.02 2/65 16396
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 3452 42 0 0 25 0 11 0 839798017 870342656 25381 4294967295 134512640 134569956 3221224368 3221214560 1131510467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 25381 13086 16 0 212470 0
vsize: 849944
[startup+50.0087 s]
Raw data (loadavg): 1.19 1.06 1.02 2/65 16399
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 4427 42 0 0 25 0 11 0 839798017 870342656 25383 4294967295 134512640 134569956 3221224368 3221214560 1131336733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 25383 13086 16 0 212470 0
vsize: 849944
[startup+60.0082 s]
Raw data (loadavg): 1.16 1.05 1.02 2/65 16400
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 5387 42 0 0 25 0 11 0 839798017 870342656 25384 4294967295 134512640 134569956 3221224368 3221214440 1078033533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 25384 13086 16 0 212470 0
vsize: 849944
[startup+70.0092 s]
Raw data (loadavg): 1.13 1.05 1.02 2/65 16400
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 6344 42 0 0 25 0 11 0 839798017 870342656 25384 4294967295 134512640 134569956 3221224368 3221214552 1131284534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 25384 13086 16 0 212470 0
vsize: 849944
[startup+80.0105 s]
Raw data (loadavg): 1.11 1.05 1.01 2/65 16403
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 7295 42 0 0 24 0 11 0 839798017 870342656 25534 4294967295 134512640 134569956 3221224368 3221214792 1131340630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 25534 13086 16 0 212470 0
vsize: 849944
[startup+90.011 s]
Raw data (loadavg): 1.10 1.05 1.01 2/65 16404
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 8252 43 0 0 25 0 11 0 839798017 870342656 25555 4294967295 134512640 134569956 3221224368 3221214600 1131254251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 25555 13086 16 0 212470 0
vsize: 849944
[startup+100.011 s]
Raw data (loadavg): 1.08 1.05 1.01 2/65 16404
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 9197 43 0 0 25 0 11 0 839798017 870342656 25576 4294967295 134512640 134569956 3221224368 3221214672 1131437426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 25576 13086 16 0 212470 0
vsize: 849944
[startup+110.011 s]
Raw data (loadavg): 1.07 1.04 1.01 2/65 16404
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 10145 43 0 0 25 0 11 0 839798017 870342656 25819 4294967295 134512640 134569956 3221224368 3221214552 1131284991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 25819 13086 16 0 212470 0
vsize: 849944
[startup+120.012 s]
Raw data (loadavg): 1.06 1.04 1.01 2/65 16404
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 11093 43 0 0 25 0 11 0 839798017 870342656 25894 4294967295 134512640 134569956 3221224368 3221214624 1131480533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 25894 13086 16 0 212470 0
vsize: 849944
[startup+130.012 s]
Raw data (loadavg): 1.05 1.04 1.01 2/65 16404
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 12042 43 0 0 25 0 11 0 839798017 870342656 26086 4294967295 134512640 134569956 3221224368 3221214520 1131267643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 26086 13086 16 0 212470 0
vsize: 849944
[startup+140.013 s]
Raw data (loadavg): 1.04 1.04 1.01 2/65 16406
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 12994 43 0 0 25 0 11 0 839798017 870342656 26192 4294967295 134512640 134569956 3221224368 3221214764 1131127964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 26192 13086 16 0 212470 0
vsize: 849944
[startup+150.014 s]
Raw data (loadavg): 1.03 1.04 1.01 2/65 16406
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 13946 43 0 0 25 0 11 0 839798017 870342656 26310 4294967295 134512640 134569956 3221224368 3221214668 1131268358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 26310 13086 16 0 212470 0
vsize: 849944
[startup+160.013 s]
Raw data (loadavg): 1.03 1.04 1.01 2/65 16406
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 14896 43 0 0 25 0 11 0 839798017 870342656 26393 4294967295 134512640 134569956 3221224368 3221214760 1131345070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 26393 13086 16 0 212470 0
vsize: 849944
[startup+170.014 s]
Raw data (loadavg): 1.02 1.03 1.01 2/65 16406
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 15848 43 0 0 25 0 11 0 839798017 870342656 26551 4294967295 134512640 134569956 3221224368 3221214688 1131267643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 26551 13086 16 0 212470 0
vsize: 849944
[startup+180.014 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 16406
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 16804 43 0 0 25 0 11 0 839798017 870342656 26653 4294967295 134512640 134569956 3221224368 3221214568 1131267498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 26653 13086 16 0 212470 0
vsize: 849944
[startup+190.014 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 16406
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 17762 43 0 0 25 0 11 0 839798017 870342656 26773 4294967295 134512640 134569956 3221224368 3221214656 1131607542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 26773 13086 16 0 212470 0
vsize: 849944
[startup+200.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 16408
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 18724 43 0 0 25 0 11 0 839798017 870342656 26902 4294967295 134512640 134569956 3221224368 3221214568 1131511494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 26902 13086 16 0 212470 0
vsize: 849944
[startup+210.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 16408
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 19688 43 0 0 24 0 11 0 839798017 870342656 27021 4294967295 134512640 134569956 3221224368 3221214492 1077558441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27021 13086 16 0 212470 0
vsize: 849944
[startup+220.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 16408
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 20648 43 0 0 25 0 11 0 839798017 870342656 27104 4294967295 134512640 134569956 3221224368 3221214568 1131267615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27104 13086 16 0 212470 0
vsize: 849944
[startup+230.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 16408
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 21612 43 0 0 25 0 11 0 839798017 870342656 27165 4294967295 134512640 134569956 3221224368 3221214568 1131267643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27165 13086 16 0 212470 0
vsize: 849944
[startup+240.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16408
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 22569 43 0 0 25 0 11 0 839798017 870342656 27229 4294967295 134512640 134569956 3221224368 3221214624 1131480482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27229 13086 16 0 212470 0
vsize: 849944
[startup+250.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16408
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 23525 43 0 0 25 0 11 0 839798017 870342656 27305 4294967295 134512640 134569956 3221224368 3221214596 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27305 13086 16 0 212470 0
vsize: 849944
[startup+260.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16410
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 24483 43 0 0 25 0 11 0 839798017 870342656 27404 4294967295 134512640 134569956 3221224368 3221214568 1131510628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27404 13086 16 0 212470 0
vsize: 849944
[startup+270.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16410
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 25443 43 0 0 25 0 11 0 839798017 870342656 27571 4294967295 134512640 134569956 3221224368 3221214568 1131510703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27571 13086 16 0 212470 0
vsize: 849944
[startup+280.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16410
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 26412 43 0 0 25 0 11 0 839798017 870342656 27683 4294967295 134512640 134569956 3221224368 3221214568 1131510609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27683 13086 16 0 212470 0
vsize: 849944
[startup+290.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16410
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 27384 43 0 0 25 0 11 0 839798017 870342656 27756 4294967295 134512640 134569956 3221224368 3221214624 1131480782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27756 13086 16 0 212470 0
vsize: 849944
[startup+300.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16410
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 28356 43 0 0 25 0 11 0 839798017 870342656 27838 4294967295 134512640 134569956 3221224368 3221214568 1131510208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27838 13086 16 0 212470 0
vsize: 849944
[startup+310.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16410
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 29327 43 0 0 25 0 11 0 839798017 870342656 27888 4294967295 134512640 134569956 3221224368 3221214568 1131511638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27888 13086 16 0 212470 0
vsize: 849944
[startup+320.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16412
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 30300 43 0 0 25 0 11 0 839798017 870342656 27958 4294967295 134512640 134569956 3221224368 3221214568 1131267643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 27958 13086 16 0 212470 0
vsize: 849944
[startup+330.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 16412
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 31272 43 0 0 25 0 11 0 839798017 870342656 28006 4294967295 134512640 134569956 3221224368 3221214656 1131605539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28006 13086 16 0 212470 0
vsize: 849944
[startup+340.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16413
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 32240 43 0 0 25 0 11 0 839798017 870342656 28059 4294967295 134512640 134569956 3221224368 3221214656 1131605500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28059 13086 16 0 212470 0
vsize: 849944
[startup+350.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16413
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 33197 43 0 0 25 0 11 0 839798017 870342656 28147 4294967295 134512640 134569956 3221224368 3221214624 1131480062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28147 13086 16 0 212470 0
vsize: 849944
[startup+360.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16413
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 34152 43 0 0 25 0 11 0 839798017 870342656 28212 4294967295 134512640 134569956 3221224368 3221214568 1131510255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28212 13086 16 0 212470 0
vsize: 849944
[startup+370.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16413
Raw data (stat): 16383 (java) S 16382 29618 29617 0 -1 0 18176 3 1 0 35103 43 0 0 25 0 11 0 839798017 870342656 28261 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28261 13086 16 0 212470 0
vsize: 849944
[startup+380.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16415
Raw data (stat): 16383 (java) S 16382 29618 29617 0 -1 0 18176 3 1 0 36044 43 0 0 25 0 11 0 839798017 870342656 28312 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28318 13086 16 0 212470 0
vsize: 849944
[startup+390.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16415
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 36997 44 0 0 25 0 11 0 839798017 870342656 28434 4294967295 134512640 134569956 3221224368 3221214568 1131267983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28434 13086 16 0 212470 0
vsize: 849944
[startup+400.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16415
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 37945 44 0 0 25 0 11 0 839798017 870342656 28576 4294967295 134512640 134569956 3221224368 3221214568 1131511724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28576 13086 16 0 212470 0
vsize: 849944
[startup+410.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16415
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 38896 44 0 0 25 0 11 0 839798017 870342656 28700 4294967295 134512640 134569956 3221224368 3221214568 1131267615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28700 13086 16 0 212470 0
vsize: 849944
[startup+420.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16415
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 39852 44 0 0 25 0 11 0 839798017 870342656 28785 4294967295 134512640 134569956 3221224368 3221214624 1131480410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28785 13086 16 0 212470 0
vsize: 849944
[startup+430.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 16415
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 40809 44 0 0 25 0 11 0 839798017 870342656 28971 4294967295 134512640 134569956 3221224368 3221214672 1131437276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 28971 13086 16 0 212470 0
vsize: 849944
[startup+440.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16417
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 41772 44 0 0 25 0 11 0 839798017 870342656 29096 4294967295 134512640 134569956 3221224368 3221214568 1131510311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29096 13086 16 0 212470 0
vsize: 849944
[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16417
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 42737 44 0 0 25 0 11 0 839798017 870342656 29196 4294967295 134512640 134569956 3221224368 3221214564 1131511447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29196 13086 16 0 212470 0
vsize: 849944
[startup+460.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16417
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 43704 44 0 0 25 0 11 0 839798017 870342656 29243 4294967295 134512640 134569956 3221224368 3221214688 1131267615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29243 13086 16 0 212470 0
vsize: 849944
[startup+470.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16417
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 44671 44 0 0 25 0 11 0 839798017 870342656 29284 4294967295 134512640 134569956 3221224368 3221214672 1131437283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29284 13086 16 0 212470 0
vsize: 849944
[startup+480.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16417
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 45639 44 0 0 25 0 11 0 839798017 870342656 29373 4294967295 134512640 134569956 3221224368 3221214568 1131510602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29373 13086 16 0 212470 0
vsize: 849944
[startup+490.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16417
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 46610 44 0 0 25 0 11 0 839798017 870342656 29468 4294967295 134512640 134569956 3221224368 3221214656 1131609244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29468 13086 16 0 212470 0
vsize: 849944
[startup+500.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16419
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 47589 44 0 0 25 0 11 0 839798017 870342656 29538 4294967295 134512640 134569956 3221224368 3221214568 1131267643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29538 13086 16 0 212470 0
vsize: 849944
[startup+510.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16419
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 48567 44 0 0 25 0 11 0 839798017 870342656 29582 4294967295 134512640 134569956 3221224368 3221214552 1131285045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29582 13086 16 0 212470 0
vsize: 849944
[startup+520.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16419
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 49538 44 0 0 25 0 11 0 839798017 870342656 29626 4294967295 134512640 134569956 3221224368 3221214624 1131480445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29626 13086 16 0 212470 0
vsize: 849944
[startup+530.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16419
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 50506 44 0 0 25 0 11 0 839798017 870342656 29676 4294967295 134512640 134569956 3221224368 3221214568 1131511516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29676 13086 16 0 212470 0
vsize: 849944
[startup+540.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16419
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 51474 44 0 0 25 0 11 0 839798017 870342656 29720 4294967295 134512640 134569956 3221224368 3221214520 1131267737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29720 13086 16 0 212470 0
vsize: 849944
[startup+550.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16419
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 52442 44 0 0 25 0 11 0 839798017 870342656 29772 4294967295 134512640 134569956 3221224368 3221214688 1131267615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29772 13086 16 0 212470 0
vsize: 849944
[startup+560.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16421
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 53410 44 0 0 25 0 11 0 839798017 870342656 29824 4294967295 134512640 134569956 3221224368 3221214568 1131267983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29824 13086 16 0 212470 0
vsize: 849944
[startup+570.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16421
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 54378 44 0 0 24 0 11 0 839798017 870342656 29966 4294967295 134512640 134569956 3221224368 3221214568 1131267364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 29966 13086 16 0 212470 0
vsize: 849944
[startup+580.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16421
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 55357 44 0 0 25 0 11 0 839798017 870342656 30017 4294967295 134512640 134569956 3221224368 3221214672 1131437283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30017 13086 16 0 212470 0
vsize: 849944
[startup+590.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16421
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 56338 44 0 0 25 0 11 0 839798017 870342656 30067 4294967295 134512640 134569956 3221224368 3221214568 1131267615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30067 13086 16 0 212470 0
vsize: 849944
[startup+600.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16421
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 57319 44 0 0 25 0 11 0 839798017 870342656 30113 4294967295 134512640 134569956 3221224368 3221214568 1131267334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30113 13086 16 0 212470 0
vsize: 849944
[startup+610.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16421
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 58300 44 0 0 25 0 11 0 839798017 870342656 30155 4294967295 134512640 134569956 3221224368 3221214520 1131267643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30155 13086 16 0 212470 0
vsize: 849944
[startup+620.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16423
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 59281 44 0 0 25 0 11 0 839798017 870342656 30198 4294967295 134512640 134569956 3221224368 3221214672 1131437441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30198 13086 16 0 212470 0
vsize: 849944
[startup+630.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16423
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 60262 45 0 0 25 0 11 0 839798017 870342656 30239 4294967295 134512640 134569956 3221224368 3221214568 1131510676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30239 13086 16 0 212470 0
vsize: 849944
[startup+640.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16423
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 61243 45 0 0 25 0 11 0 839798017 870342656 30280 4294967295 134512640 134569956 3221224368 3221214656 1131605500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30280 13086 16 0 212470 0
vsize: 849944
[startup+650.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16423
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 62221 45 0 0 25 0 11 0 839798017 870342656 30330 4294967295 134512640 134569956 3221224368 3221214568 1131267643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30330 13086 16 0 212470 0
vsize: 849944
[startup+660.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16423
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 63201 45 0 0 25 0 11 0 839798017 870342656 30373 4294967295 134512640 134569956 3221224368 3221214768 1131247938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30373 13086 16 0 212470 0
vsize: 849944
[startup+670.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16423
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 64173 45 0 0 25 0 11 0 839798017 870342656 30413 4294967295 134512640 134569956 3221224368 3221214788 1131344425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30413 13086 16 0 212470 0
vsize: 849944
[startup+680.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16425
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 65144 45 0 0 25 0 11 0 839798017 870342656 30454 4294967295 134512640 134569956 3221224368 3221214464 1131223760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30454 13086 16 0 212470 0
vsize: 849944
[startup+690.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16425
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 66109 45 0 0 25 0 11 0 839798017 870342656 30495 4294967295 134512640 134569956 3221224368 3221214520 1131267643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30495 13086 16 0 212470 0
vsize: 849944
[startup+700.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16425
Raw data (stat): 16383 (java) S 16382 29618 29617 0 -1 0 18176 3 1 0 67060 45 0 0 25 0 11 0 839798017 870342656 30532 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30532 13086 16 0 212470 0
vsize: 849944
[startup+710.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16425
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 68010 45 0 0 25 0 11 0 839798017 870342656 30590 4294967295 134512640 134569956 3221224368 3221214568 1131512351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30590 13086 16 0 212470 0
vsize: 849944
[startup+720.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16425
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 68959 45 0 0 25 0 11 0 839798017 870342656 30654 4294967295 134512640 134569956 3221224368 3221214664 1131254233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30654 13086 16 0 212470 0
vsize: 849944
[startup+730.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16425
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 69908 45 0 0 25 0 11 0 839798017 870342656 30717 4294967295 134512640 134569956 3221224368 3221214624 1131480410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30717 13086 16 0 212470 0
vsize: 849944
[startup+740.076 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 16427
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 70860 45 0 0 24 0 11 0 839798017 870342656 30885 4294967295 134512640 134569956 3221224368 3221214624 1131480957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 30885 13086 16 0 212470 0
vsize: 849944
[startup+750.077 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 16427
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 71825 45 0 0 25 0 11 0 839798017 870342656 31017 4294967295 134512640 134569956 3221224368 3221214712 1131518257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31017 13086 16 0 212470 0
vsize: 849944
[startup+760.077 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 16427
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 72794 45 0 0 25 0 11 0 839798017 870342656 31113 4294967295 134512640 134569956 3221224368 3221214552 1131284991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31113 13086 16 0 212470 0
vsize: 849944
[startup+770.078 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 16427
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 73759 45 0 0 25 0 11 0 839798017 870342656 31201 4294967295 134512640 134569956 3221224368 3221214568 1131267575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31201 13086 16 0 212470 0
vsize: 849944
[startup+780.079 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 16427
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 74720 45 0 0 25 0 11 0 839798017 870342656 31298 4294967295 134512640 134569956 3221224368 3221214624 1131480420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31298 13086 16 0 212470 0
vsize: 849944
[startup+790.079 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 16427
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 75690 45 0 0 25 0 11 0 839798017 870342656 31353 4294967295 134512640 134569956 3221224368 3221214624 1131480812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31353 13086 16 0 212470 0
vsize: 849944
[startup+800.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 16429
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 76652 45 0 0 25 0 11 0 839798017 870342656 31433 4294967295 134512640 134569956 3221224368 3221214552 1131285473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31433 13086 16 0 212470 0
vsize: 849944
[startup+810.081 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 16429
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 77612 45 0 0 25 0 11 0 839798017 870342656 31502 4294967295 134512640 134569956 3221224368 3221214568 1131511494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31502 13086 16 0 212470 0
vsize: 849944
[startup+820.081 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 16429
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 78572 45 0 0 25 0 11 0 839798017 870342656 31554 4294967295 134512640 134569956 3221224368 3221214568 1131267403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31554 13086 16 0 212470 0
vsize: 849944
[startup+830.082 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 16429
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 79539 45 0 0 25 0 11 0 839798017 870342656 31624 4294967295 134512640 134569956 3221224368 3221214624 1131480564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31624 13086 16 0 212470 0
vsize: 849944
[startup+840.083 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 16429
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 80495 45 0 0 25 0 11 0 839798017 870342656 31738 4294967295 134512640 134569956 3221224368 3221214552 1131284991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31738 13086 16 0 212470 0
vsize: 849944
[startup+850.083 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 16429
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18176 3 1 0 81454 45 0 0 24 0 11 0 839798017 870342656 31869 4294967295 134512640 134569956 3221224368 3221214624 1131480410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31869 13086 16 0 212470 0
vsize: 849944
[startup+860.084 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 16431
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 82423 45 0 0 25 0 11 0 839798017 870342656 31933 4294967295 134512640 134569956 3221224368 3221214624 1131480484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 31933 13086 16 0 212470 0
vsize: 849944
[startup+870.084 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 16431
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 83387 45 0 0 25 0 11 0 839798017 870342656 32004 4294967295 134512640 134569956 3221224368 3221214600 1131254268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 32004 13086 16 0 212470 0
vsize: 849944
[startup+880.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16431
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 84353 45 0 0 25 0 11 0 839798017 870342656 32064 4294967295 134512640 134569956 3221224368 3221214568 1131267669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 32064 13086 16 0 212470 0
vsize: 849944
[startup+890.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16431
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 85319 45 0 0 25 0 11 0 839798017 870342656 32161 4294967295 134512640 134569956 3221224368 3221214656 1131605539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 32161 13086 16 0 212470 0
vsize: 849944
[startup+900.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16431
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 86286 45 0 0 25 0 11 0 839798017 870342656 32278 4294967295 134512640 134569956 3221224368 3221214688 1131267615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 32278 13086 16 0 212470 0
vsize: 849944
[startup+910.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16431
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 87257 46 0 0 25 0 11 0 839798017 870342656 32354 4294967295 134512640 134569956 3221224368 3221214600 1131254251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 32354 13086 16 0 212470 0
vsize: 849944
[startup+920.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16433
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 88225 46 0 0 25 0 11 0 839798017 870342656 32393 4294967295 134512640 134569956 3221224368 3221214624 1131480564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 32393 13086 16 0 212470 0
vsize: 849944
[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16433
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 89185 46 0 0 25 0 11 0 839798017 870342656 32447 4294967295 134512640 134569956 3221224368 3221214552 1131285552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 32447 13086 16 0 212470 0
vsize: 849944
[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16433
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 90137 46 0 0 25 0 11 0 839798017 870342656 32493 4294967295 134512640 134569956 3221224368 3221214568 1131267498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 32493 13086 16 0 212470 0
vsize: 849944
[startup+950.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16433
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 91086 46 0 0 25 0 11 0 839798017 870342656 32545 4294967295 134512640 134569956 3221224368 3221214552 1131344480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 32545 13086 16 0 212470 0
vsize: 849944
[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16433
Raw data (stat): 16383 (java) S 16382 29618 29617 0 -1 0 18177 3 1 0 92033 46 0 0 25 0 11 0 839798017 870342656 32632 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 32632 13086 16 0 212470 0
vsize: 849944
[startup+970.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16433
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 92976 46 0 0 25 0 11 0 839798017 870342656 32787 4294967295 134512640 134569956 3221224368 3221214552 1131284903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 32787 13086 16 0 212470 0
vsize: 849944
[startup+980.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16435
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 93929 46 0 0 25 0 11 0 839798017 870342656 32952 4294967295 134512640 134569956 3221224368 3221214788 1131248018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 32952 13086 16 0 212470 0
vsize: 849944
[startup+990.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16435
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 94894 47 0 0 25 0 11 0 839798017 870342656 33054 4294967295 134512640 134569956 3221224368 3221214568 1131267504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33054 13086 16 0 212470 0
vsize: 849944
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16435
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 95855 47 0 0 25 0 11 0 839798017 870342656 33140 4294967295 134512640 134569956 3221224368 3221214568 1131510703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33140 13086 16 0 212470 0
vsize: 849944
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16435
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 96822 47 0 0 25 0 11 0 839798017 870342656 33212 4294967295 134512640 134569956 3221224368 3221214656 1131605331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33212 13086 16 0 212470 0
vsize: 849944
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16435
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 97782 47 0 0 25 0 11 0 839798017 870342656 33299 4294967295 134512640 134569956 3221224368 3221214552 1131284599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33299 13086 16 0 212470 0
vsize: 849944
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16435
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 98749 48 0 0 25 0 11 0 839798017 870342656 33370 4294967295 134512640 134569956 3221224368 3221214568 1131267498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33370 13086 16 0 212470 0
vsize: 849944
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16437
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 99711 48 0 0 25 0 11 0 839798017 870342656 33457 4294967295 134512640 134569956 3221224368 3221214420 1076614592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33457 13086 16 0 212470 0
vsize: 849944
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16437
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 100679 48 0 0 25 0 11 0 839798017 870342656 33532 4294967295 134512640 134569956 3221224368 3221214568 1131510615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33532 13086 16 0 212470 0
vsize: 849944
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16437
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 101641 49 0 0 25 0 11 0 839798017 870342656 33628 4294967295 134512640 134569956 3221224368 3221214656 1131607542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 33628 13086 16 0 212470 0
vsize: 849944
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16437
Raw data (stat): 16383 (java) S 16382 29618 29617 0 -1 0 18177 3 1 0 102607 49 0 0 25 0 11 0 839798017 870342656 33701 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33701 13086 16 0 212470 0
vsize: 849944
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16437
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 103572 50 0 0 25 0 11 0 839798017 870342656 33791 4294967295 134512640 134569956 3221224368 3221214792 1131340579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33791 13086 16 0 212470 0
vsize: 849944
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16437
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 104540 50 0 0 25 0 11 0 839798017 870342656 33860 4294967295 134512640 134569956 3221224368 3221214568 1131267500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 33860 13086 16 0 212470 0
vsize: 849944
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16439
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 105503 50 0 0 25 0 11 0 839798017 870342656 33945 4294967295 134512640 134569956 3221224368 3221214568 1131512363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 33945 13086 16 0 212470 0
vsize: 849944
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16439
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 106469 51 0 0 25 0 11 0 839798017 870342656 34017 4294967295 134512640 134569956 3221224368 3221214656 1131605507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34017 13086 16 0 212470 0
vsize: 849944
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16439
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 107423 51 0 0 25 0 11 0 839798017 870342656 34088 4294967295 134512640 134569956 3221224368 3221214552 1131285771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34088 13086 16 0 212470 0
vsize: 849944
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16439
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 108378 51 0 0 25 0 11 0 839798017 870342656 34156 4294967295 134512640 134569956 3221224368 3221214760 1131345014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34156 13086 16 0 212470 0
vsize: 849944
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16439
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 109332 51 0 0 25 0 11 0 839798017 870342656 34230 4294967295 134512640 134569956 3221224368 3221214568 1131267835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34230 13086 16 0 212470 0
vsize: 849944
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16439
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 110286 51 0 0 25 0 11 0 839798017 870342656 34304 4294967295 134512640 134569956 3221224368 3221214568 1131510707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34304 13086 16 0 212470 0
vsize: 849944
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16441
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 111238 51 0 0 25 0 11 0 839798017 870342656 34370 4294967295 134512640 134569956 3221224368 3221214620 1131254179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34370 13086 16 0 212470 0
vsize: 849944
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16441
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 112192 51 0 0 25 0 11 0 839798017 870342656 34502 4294967295 134512640 134569956 3221224368 3221214624 1131481208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34502 13086 16 0 212470 0
vsize: 849944
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16441
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 113150 51 0 0 25 0 11 0 839798017 870342656 34606 4294967295 134512640 134569956 3221224368 3221214708 1131437473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34606 13086 16 0 212470 0
vsize: 849944
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16441
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 114106 51 0 0 25 0 11 0 839798017 870342656 34684 4294967295 134512640 134569956 3221224368 3221214568 1131511706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34684 13086 16 0 212470 0
vsize: 849944
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16441
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 115062 51 0 0 25 0 11 0 839798017 870342656 34763 4294967295 134512640 134569956 3221224368 3221214568 1131267643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34763 13086 16 0 212470 0
vsize: 849944
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16441
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 116016 51 0 0 25 0 11 0 839798017 870342656 34869 4294967295 134512640 134569956 3221224368 3221214672 1131437324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34869 13086 16 0 212470 0
vsize: 849944
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16443
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 116969 51 0 0 25 0 11 0 839798017 870342656 34922 4294967295 134512640 134569956 3221224368 3221214620 1131254195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 34922 13086 16 0 212470 0
vsize: 849944
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16443
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 117921 51 0 0 25 0 11 0 839798017 870342656 35061 4294967295 134512640 134569956 3221224368 3221214568 1131511579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 35061 13086 16 0 212470 0
vsize: 849944
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16443
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 118872 51 0 0 25 0 11 0 839798017 870342656 35183 4294967295 134512640 134569956 3221224368 3221214520 1131267615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 35183 13086 16 0 212470 0
vsize: 849944
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16443
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 119825 51 0 0 25 0 11 0 839798017 870342656 35267 4294967295 134512640 134569956 3221224368 3221214596 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212486 35267 13086 16 0 212470 0
vsize: 849944
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 16443
Raw data (stat): 16383 (java) R 16382 29618 29617 0 -1 0 18177 3 1 0 120781 51 0 0 25 0 11 0 839798017 870342656 35376 4294967295 134512640 134569956 3221224368 3221214672 1131437285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212486 35376 13086 16 0 212470 0
vsize: 849944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.41 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 16445
Raw data (stat): 16383 (java) Z 16382 29618 29617 0 -1 1036 18177 28086 1 0 120803 57 6905 77 25 0 1 0 839798017 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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.41
CPU time (s): 1278.45
CPU user time (s): 1277.09
CPU system time (s): 1.35679
CPU usage (%): 101.431
Max. virtual memory (Kb): 851368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	34
#### END VERIFIER DATA ####