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 25475

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 17:27:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19650 boxname=wulflinc31 idbench=1512 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos1.opb
IDLAUNCH: 19650
/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:        711584 kB
Buffers:         33456 kB
Cached:         264220 kB
SwapCached:       5400 kB
Active:         241160 kB
Inactive:        63196 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        711332 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13044 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 17:47:41 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 19650 0 1189.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos1.opb
c #variables read: 2112 - #constraints read: 7233
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 
#### 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.86 0.97 0.99 2/55 23519
Raw data (stat): 23519 (runsolver) R 23518 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 788811677 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1057 0 0 0 988 8 0 0 25 0 1 0 788811677 10162176 1034 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1034 566 18 0 2463 0
vsize: 9924
[startup+20.001 s]
Raw data (loadavg): 0.90 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1240 0 0 0 1984 12 0 0 25 0 1 0 788811677 10821632 1217 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2642 1217 566 18 0 2624 0
vsize: 10568
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1266 0 0 0 2980 17 0 0 25 0 1 0 788811677 10952704 1243 4294967295 134512640 134581331 3221221792 3221220704 134527973 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1243 566 18 0 2656 0
vsize: 10696
[startup+40.0018 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1337 0 0 0 3976 22 0 0 25 0 1 0 788811677 11214848 1314 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2738 1314 566 18 0 2720 0
vsize: 10952
[startup+50.0031 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1412 0 0 0 4972 26 0 0 25 0 1 0 788811677 11612160 1389 4294967295 134512640 134581331 3221221792 3221220612 1075289770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2835 1389 566 18 0 2817 0
vsize: 11340
[startup+60.0027 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1424 0 0 0 5968 30 0 0 25 0 1 0 788811677 11612160 1401 4294967295 134512640 134581331 3221221792 3221220612 1075289770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2835 1401 566 18 0 2817 0
vsize: 11340
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1436 0 0 0 6964 34 0 0 25 0 1 0 788811677 11612160 1413 4294967295 134512640 134581331 3221221792 3221220656 134527095 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2835 1413 566 18 0 2817 0
vsize: 11340
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1497 0 0 0 7962 36 0 0 25 0 1 0 788811677 11874304 1474 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2899 1474 566 18 0 2881 0
vsize: 11596
[startup+90.0035 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1529 0 0 0 8958 40 0 0 25 0 1 0 788811677 12009472 1506 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2932 1506 566 18 0 2914 0
vsize: 11728
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1554 0 0 0 9955 43 0 0 25 0 1 0 788811677 12152832 1531 4294967295 134512640 134581331 3221221792 3221220656 134560491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2967 1531 566 18 0 2949 0
vsize: 11868
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1657 0 0 0 10951 48 0 0 25 0 1 0 788811677 12546048 1634 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3063 1634 566 18 0 3045 0
vsize: 12252
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1712 0 0 0 11949 50 0 0 25 0 1 0 788811677 12812288 1689 4294967295 134512640 134581331 3221221792 3221220676 134557855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3128 1689 566 18 0 3110 0
vsize: 12512
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1785 0 0 0 12946 53 0 0 25 0 1 0 788811677 13074432 1762 4294967295 134512640 134581331 3221221792 3221220736 134559115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3192 1762 566 18 0 3174 0
vsize: 12768
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1834 0 0 0 13943 56 0 0 25 0 1 0 788811677 13348864 1811 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3259 1811 566 18 0 3241 0
vsize: 13036
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1856 0 0 0 14941 58 0 0 25 0 1 0 788811677 13348864 1833 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3259 1833 566 18 0 3241 0
vsize: 13036
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1868 0 0 0 15938 62 0 0 25 0 1 0 788811677 13496320 1845 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3295 1845 566 18 0 3277 0
vsize: 13180
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1935 0 0 0 16934 66 0 0 25 0 1 0 788811677 13766656 1912 4294967295 134512640 134581331 3221221792 3221220784 134560902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3361 1912 566 18 0 3343 0
vsize: 13444
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 1967 0 0 0 17931 69 0 0 25 0 1 0 788811677 13897728 1944 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3393 1944 566 18 0 3375 0
vsize: 13572
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2101 0 0 0 18928 72 0 0 25 0 1 0 788811677 14417920 2078 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3520 2078 566 18 0 3502 0
vsize: 14080
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2151 0 0 0 19925 75 0 0 25 0 1 0 788811677 14684160 2128 4294967295 134512640 134581331 3221221792 3221220536 1075288176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3585 2128 566 18 0 3567 0
vsize: 14340
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2177 0 0 0 20924 76 0 0 25 0 1 0 788811677 14684160 2154 4294967295 134512640 134581331 3221221792 3221220736 134559385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3585 2154 566 18 0 3567 0
vsize: 14340
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2398 0 0 0 21920 80 0 0 25 0 1 0 788811677 15601664 2375 4294967295 134512640 134581331 3221221792 3221220708 1075285495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2375 566 18 0 3791 0
vsize: 15236
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2401 0 0 0 22918 83 0 0 25 0 1 0 788811677 15601664 2378 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2378 566 18 0 3791 0
vsize: 15236
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2401 0 0 0 23915 86 0 0 25 0 1 0 788811677 15601664 2378 4294967295 134512640 134581331 3221221792 3221220676 134557882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2378 566 18 0 3791 0
vsize: 15236
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2402 0 0 0 24913 88 0 0 25 0 1 0 788811677 15601664 2379 4294967295 134512640 134581331 3221221792 3221220508 1075288331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2379 566 18 0 3791 0
vsize: 15236
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2402 0 0 0 25910 91 0 0 25 0 1 0 788811677 15601664 2379 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2379 566 18 0 3791 0
vsize: 15236
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2402 0 0 0 26908 94 0 0 25 0 1 0 788811677 15601664 2379 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2379 566 18 0 3791 0
vsize: 15236
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 27905 97 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 28902 100 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 29900 102 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220736 134559115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 30898 104 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220612 1075289714 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 31896 107 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 32894 108 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220636 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 33892 111 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 34888 115 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220704 134527794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 35886 117 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220784 134560986 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 36884 119 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 37882 121 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220704 134527670 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2403 0 0 0 38880 124 0 0 25 0 1 0 788811677 15601664 2380 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3809 2380 566 18 0 3791 0
vsize: 15236
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2408 0 0 0 39878 126 0 0 25 0 1 0 788811677 15761408 2385 4294967295 134512640 134581331 3221221792 3221220428 1075288547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3848 2385 566 18 0 3830 0
vsize: 15392
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2409 0 0 0 40877 127 0 0 25 0 1 0 788811677 15761408 2386 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3848 2386 566 18 0 3830 0
vsize: 15392
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2414 0 0 0 41875 130 0 0 25 0 1 0 788811677 15761408 2391 4294967295 134512640 134581331 3221221792 3221220576 134528804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3848 2391 566 18 0 3830 0
vsize: 15392
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2429 0 0 0 42873 132 0 0 25 0 1 0 788811677 15761408 2406 4294967295 134512640 134581331 3221221792 3221220428 1075289104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3848 2406 566 18 0 3830 0
vsize: 15392
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2447 0 0 0 43870 134 0 0 25 0 1 0 788811677 15892480 2424 4294967295 134512640 134581331 3221221792 3221220768 134560737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3880 2424 566 18 0 3862 0
vsize: 15520
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2454 0 0 0 44868 136 0 0 25 0 1 0 788811677 15892480 2431 4294967295 134512640 134581331 3221221792 3221220752 134516751 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3880 2431 566 18 0 3862 0
vsize: 15520
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2470 0 0 0 45865 140 0 0 25 0 1 0 788811677 16039936 2447 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3916 2447 566 18 0 3898 0
vsize: 15664
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2484 0 0 0 46862 143 0 0 25 0 1 0 788811677 16039936 2461 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3916 2461 566 18 0 3898 0
vsize: 15664
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2492 0 0 0 47860 146 0 0 25 0 1 0 788811677 16039936 2469 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3916 2469 566 18 0 3898 0
vsize: 15664
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2499 0 0 0 48857 148 0 0 25 0 1 0 788811677 16195584 2476 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2476 566 18 0 3936 0
vsize: 15816
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2502 0 0 0 49856 150 0 0 25 0 1 0 788811677 16195584 2479 4294967295 134512640 134581331 3221221792 3221220772 134560793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2479 566 18 0 3936 0
vsize: 15816
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2502 0 0 0 50854 151 0 0 25 0 1 0 788811677 16195584 2479 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2479 566 18 0 3936 0
vsize: 15816
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2502 0 0 0 51852 154 0 0 25 0 1 0 788811677 16195584 2479 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2479 566 18 0 3936 0
vsize: 15816
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2502 0 0 0 52849 157 0 0 25 0 1 0 788811677 16195584 2479 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2479 566 18 0 3936 0
vsize: 15816
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2503 0 0 0 53848 158 0 0 25 0 1 0 788811677 16195584 2480 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2480 566 18 0 3936 0
vsize: 15816
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2503 0 0 0 54845 162 0 0 25 0 1 0 788811677 16195584 2480 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2480 566 18 0 3936 0
vsize: 15816
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2503 0 0 0 55842 164 0 0 25 0 1 0 788811677 16195584 2480 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2480 566 18 0 3936 0
vsize: 15816
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2517 0 0 0 56840 166 0 0 25 0 1 0 788811677 16195584 2494 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2494 566 18 0 3936 0
vsize: 15816
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2519 0 0 0 57838 169 0 0 25 0 1 0 788811677 16195584 2496 4294967295 134512640 134581331 3221221792 3221220540 1075285214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2496 566 18 0 3936 0
vsize: 15816
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2520 0 0 0 58836 171 0 0 25 0 1 0 788811677 16195584 2497 4294967295 134512640 134581331 3221221792 3221220656 134560216 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2497 566 18 0 3936 0
vsize: 15816
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2520 0 0 0 59833 174 0 0 25 0 1 0 788811677 16195584 2497 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2497 566 18 0 3936 0
vsize: 15816
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2524 0 0 0 60829 178 0 0 25 0 1 0 788811677 16195584 2501 4294967295 134512640 134581331 3221221792 3221220760 134527292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2501 566 18 0 3936 0
vsize: 15816
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2524 0 0 0 61826 181 0 0 25 0 1 0 788811677 16195584 2501 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2501 566 18 0 3936 0
vsize: 15816
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2527 0 0 0 62824 184 0 0 25 0 1 0 788811677 16195584 2504 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2504 566 18 0 3936 0
vsize: 15816
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2527 0 0 0 63821 187 0 0 25 0 1 0 788811677 16195584 2504 4294967295 134512640 134581331 3221221792 3221220536 1075288176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 2504 566 18 0 3936 0
vsize: 15816
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2536 0 0 0 64818 190 0 0 25 0 1 0 788811677 16330752 2513 4294967295 134512640 134581331 3221221792 3221220616 1075288176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3987 2513 566 18 0 3969 0
vsize: 15948
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2617 0 0 0 65816 193 0 0 25 0 1 0 788811677 16592896 2594 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2594 566 18 0 4033 0
vsize: 16204
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2629 0 0 0 66813 195 0 0 25 0 1 0 788811677 16592896 2606 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2606 566 18 0 4033 0
vsize: 16204
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2637 0 0 0 67810 199 0 0 25 0 1 0 788811677 16744448 2614 4294967295 134512640 134581331 3221221792 3221220784 134560815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4088 2614 566 18 0 4070 0
vsize: 16352
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2637 0 0 0 68807 202 0 0 25 0 1 0 788811677 16744448 2614 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4088 2614 566 18 0 4070 0
vsize: 16352
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2672 0 0 0 69805 204 0 0 25 0 1 0 788811677 16875520 2649 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2649 566 18 0 4102 0
vsize: 16480
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2682 0 0 0 70803 206 0 0 25 0 1 0 788811677 16875520 2659 4294967295 134512640 134581331 3221221792 3221220704 134527596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2659 566 18 0 4102 0
vsize: 16480
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2689 0 0 0 71801 208 0 0 25 0 1 0 788811677 16875520 2666 4294967295 134512640 134581331 3221221792 3221220480 1075289396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2666 566 18 0 4102 0
vsize: 16480
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2689 0 0 0 72799 211 0 0 25 0 1 0 788811677 16875520 2666 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2666 566 18 0 4102 0
vsize: 16480
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2699 0 0 0 73797 213 0 0 25 0 1 0 788811677 17014784 2676 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4154 2676 566 18 0 4136 0
vsize: 16616
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2700 0 0 0 74796 214 0 0 25 0 1 0 788811677 17014784 2677 4294967295 134512640 134581331 3221221792 3221220700 134527740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4154 2677 566 18 0 4136 0
vsize: 16616
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2769 0 0 0 75794 216 0 0 25 0 1 0 788811677 17281024 2746 4294967295 134512640 134581331 3221221792 3221220676 134557889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4219 2746 566 18 0 4201 0
vsize: 16876
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2771 0 0 0 76792 219 0 0 25 0 1 0 788811677 17281024 2748 4294967295 134512640 134581331 3221221792 3221220784 134560837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4219 2748 566 18 0 4201 0
vsize: 16876
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2778 0 0 0 77789 221 0 0 25 0 1 0 788811677 17281024 2755 4294967295 134512640 134581331 3221221792 3221220736 134559255 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4219 2755 566 18 0 4201 0
vsize: 16876
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2782 0 0 0 78787 223 0 0 25 0 1 0 788811677 17281024 2759 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4219 2759 566 18 0 4201 0
vsize: 16876
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2782 0 0 0 79785 226 0 0 25 0 1 0 788811677 17281024 2759 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4219 2759 566 18 0 4201 0
vsize: 16876
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2782 0 0 0 80783 228 0 0 25 0 1 0 788811677 17281024 2759 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4219 2759 566 18 0 4201 0
vsize: 16876
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2809 0 0 0 81778 233 0 0 25 0 1 0 788811677 17436672 2786 4294967295 134512640 134581331 3221221792 3221220656 134528541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4257 2786 566 18 0 4239 0
vsize: 17028
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2811 0 0 0 82776 236 0 0 25 0 1 0 788811677 17436672 2788 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4257 2788 566 18 0 4239 0
vsize: 17028
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2811 0 0 0 83773 239 0 0 25 0 1 0 788811677 17436672 2788 4294967295 134512640 134581331 3221221792 3221220692 134527833 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4257 2788 566 18 0 4239 0
vsize: 17028
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2827 0 0 0 84771 241 0 0 25 0 1 0 788811677 17575936 2804 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 2804 566 18 0 4273 0
vsize: 17164
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2829 0 0 0 85770 242 0 0 25 0 1 0 788811677 17575936 2806 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 2806 566 18 0 4273 0
vsize: 17164
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2845 0 0 0 86767 245 0 0 25 0 1 0 788811677 17723392 2822 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4327 2822 566 18 0 4309 0
vsize: 17308
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2845 0 0 0 87764 248 0 0 25 0 1 0 788811677 17723392 2822 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4327 2822 566 18 0 4309 0
vsize: 17308
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2845 0 0 0 88760 252 0 0 25 0 1 0 788811677 17723392 2822 4294967295 134512640 134581331 3221221792 3221220656 134560471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4327 2822 566 18 0 4309 0
vsize: 17308
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 2932 0 0 0 89758 254 0 0 25 0 1 0 788811677 17985536 2909 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4391 2909 566 18 0 4373 0
vsize: 17564
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3044 0 0 0 90756 257 0 0 25 0 1 0 788811677 18513920 3021 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4520 3021 566 18 0 4502 0
vsize: 18080
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3049 0 0 0 91754 259 0 0 25 0 1 0 788811677 18513920 3026 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4520 3026 566 18 0 4502 0
vsize: 18080
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3050 0 0 0 92752 261 0 0 25 0 1 0 788811677 18513920 3027 4294967295 134512640 134581331 3221221792 3221220676 134557884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4520 3027 566 18 0 4502 0
vsize: 18080
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3113 0 0 0 93750 263 0 0 25 0 1 0 788811677 18784256 3090 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4586 3090 566 18 0 4568 0
vsize: 18344
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3254 0 0 0 94748 266 0 0 25 0 1 0 788811677 19316736 3231 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4716 3231 566 18 0 4698 0
vsize: 18864
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3403 0 0 0 95744 269 0 0 25 0 1 0 788811677 19980288 3380 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4878 3380 566 18 0 4860 0
vsize: 19512
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3403 0 0 0 96743 271 0 0 25 0 1 0 788811677 19980288 3380 4294967295 134512640 134581331 3221221792 3221220656 134527111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4878 3380 566 18 0 4860 0
vsize: 19512
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3404 0 0 0 97741 273 0 0 25 0 1 0 788811677 19980288 3381 4294967295 134512640 134581331 3221221792 3221220692 1075289605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4878 3381 566 18 0 4860 0
vsize: 19512
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3404 0 0 0 98739 275 0 0 25 0 1 0 788811677 19980288 3381 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4878 3381 566 18 0 4860 0
vsize: 19512
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3405 0 0 0 99738 277 0 0 25 0 1 0 788811677 19980288 3382 4294967295 134512640 134581331 3221221792 3221220704 134527342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4878 3382 566 18 0 4860 0
vsize: 19512
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3406 0 0 0 100737 278 0 0 25 0 1 0 788811677 19980288 3383 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4878 3383 566 18 0 4860 0
vsize: 19512
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3508 0 0 0 101735 280 0 0 25 0 1 0 788811677 20377600 3485 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4975 3485 566 18 0 4957 0
vsize: 19900
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3508 0 0 0 102733 282 0 0 25 0 1 0 788811677 20377600 3485 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4975 3485 566 18 0 4957 0
vsize: 19900
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3508 0 0 0 103731 285 0 0 25 0 1 0 788811677 20377600 3485 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4975 3485 566 18 0 4957 0
vsize: 19900
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3508 0 0 0 104729 286 0 0 25 0 1 0 788811677 20377600 3485 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4975 3485 566 18 0 4957 0
vsize: 19900
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3508 0 0 0 105727 288 0 0 25 0 1 0 788811677 20377600 3485 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4975 3485 566 18 0 4957 0
vsize: 19900
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3508 0 0 0 106726 290 0 0 25 0 1 0 788811677 20377600 3485 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4975 3485 566 18 0 4957 0
vsize: 19900
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3508 0 0 0 107724 292 0 0 25 0 1 0 788811677 20377600 3485 4294967295 134512640 134581331 3221221792 3221220676 134557748 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4975 3485 566 18 0 4957 0
vsize: 19900
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 108722 294 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220624 134531745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 109721 296 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 110720 297 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 111717 300 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 112712 304 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 113711 306 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 114710 307 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 115709 308 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 116708 309 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220612 1075289645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 117707 311 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 20104
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 23519
Raw data (stat): 23519 (Pueblo) R 23518 7876 7672 0 -1 0 3516 0 0 0 117707 311 0 0 25 0 1 0 788811677 20586496 3493 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5026 3493 566 18 0 5008 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.03
CPU user time (s): 1185.89
CPU system time (s): 3.13052
CPU usage (%): 100.013
Max. virtual memory (Kb): 20104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	25
#### END VERIFIER DATA ####