PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-24 14:39:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14645 boxname=wulflinc13 idbench=1127 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-neos1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-neos1.opb
IDLAUNCH: 14645
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        948764 kB
Buffers:         34112 kB
Cached:          31128 kB
SwapCached:        584 kB
Active:          49016 kB
Inactive:        18832 kB
HighTotal:      131008 kB
HighFree:        98168 kB
LowTotal:       903652 kB
LowFree:        850596 kB
SwapTotal:     2097136 kB
SwapFree:      2096172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6160 kB
Slab:            12416 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 14:58:55 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 14645 0 1189.02 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/wulflinc13/normalized-mps-v2-20-10-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.90 1.08 1.61 2/54 1409
Raw data (stat): 1409 (runsolver) R 1408 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 772808447 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 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): 0.91 1.08 1.61 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1056 0 0 0 993 5 0 0 25 0 1 0 772808447 10158080 1034 4294967295 134512640 134581331 3221224592 3221223584 134561059 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2480 1034 566 18 0 2462 0
vsize: 9920
[startup+20.0023 s]
Raw data (loadavg): 0.93 1.08 1.60 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1234 0 0 0 1989 10 0 0 25 0 1 0 772808447 10817536 1212 4294967295 134512640 134581331 3221224592 3221223456 134528278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2641 1212 566 18 0 2623 0
vsize: 10564
[startup+30.003 s]
Raw data (loadavg): 0.94 1.07 1.59 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1265 0 0 0 2984 15 0 0 25 0 1 0 772808447 10948608 1243 4294967295 134512640 134581331 3221224592 3221223376 134528743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2673 1243 566 18 0 2655 0
vsize: 10692
[startup+40.0026 s]
Raw data (loadavg): 0.95 1.07 1.59 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1336 0 0 0 3980 19 0 0 25 0 1 0 772808447 11210752 1314 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1314 566 18 0 2719 0
vsize: 10948
[startup+50.0033 s]
Raw data (loadavg): 0.95 1.07 1.58 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1409 0 0 0 4974 25 0 0 25 0 1 0 772808447 11608064 1387 4294967295 134512640 134581331 3221224592 3221223520 134519906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2834 1387 566 18 0 2816 0
vsize: 11336
[startup+60.0182 s]
Raw data (loadavg): 0.96 1.07 1.57 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1423 0 0 0 5970 30 0 0 25 0 1 0 772808447 11608064 1401 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2834 1401 566 18 0 2816 0
vsize: 11336
[startup+70.0336 s]
Raw data (loadavg): 0.97 1.06 1.57 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1423 0 0 0 6968 34 0 0 25 0 1 0 772808447 11608064 1401 4294967295 134512640 134581331 3221224592 3221223560 134527292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2834 1401 566 18 0 2816 0
vsize: 11336
[startup+80.0343 s]
Raw data (loadavg): 0.97 1.06 1.56 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1496 0 0 0 7964 38 0 0 25 0 1 0 772808447 11870208 1474 4294967295 134512640 134581331 3221224592 3221223456 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 1474 566 18 0 2880 0
vsize: 11592
[startup+90.0339 s]
Raw data (loadavg): 0.97 1.06 1.55 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1528 0 0 0 8960 42 0 0 25 0 1 0 772808447 12005376 1506 4294967295 134512640 134581331 3221224592 3221223584 134561125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2931 1506 566 18 0 2913 0
vsize: 11724
[startup+100.035 s]
Raw data (loadavg): 0.98 1.06 1.54 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1553 0 0 0 9956 47 0 0 25 0 1 0 772808447 12148736 1531 4294967295 134512640 134581331 3221224592 3221223556 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1531 566 18 0 2948 0
vsize: 11864
[startup+110.035 s]
Raw data (loadavg): 0.98 1.05 1.54 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1593 0 0 0 10951 51 0 0 25 0 1 0 772808447 12279808 1571 4294967295 134512640 134581331 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2998 1571 566 18 0 2980 0
vsize: 11992
[startup+120.037 s]
Raw data (loadavg): 0.98 1.05 1.53 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1711 0 0 0 11946 57 0 0 25 0 1 0 772808447 12808192 1689 4294967295 134512640 134581331 3221224592 3221223456 134560384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3127 1689 566 18 0 3109 0
vsize: 12508
[startup+130.038 s]
Raw data (loadavg): 0.99 1.05 1.53 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1784 0 0 0 12943 60 0 0 25 0 1 0 772808447 13070336 1762 4294967295 134512640 134581331 3221224592 3221223476 134557807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3191 1762 566 18 0 3173 0
vsize: 12764
[startup+140.037 s]
Raw data (loadavg): 0.99 1.05 1.52 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1816 0 0 0 13939 64 0 0 25 0 1 0 772808447 13205504 1794 4294967295 134512640 134581331 3221224592 3221223336 1074910621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3224 1794 566 18 0 3206 0
vsize: 12896
[startup+150.038 s]
Raw data (loadavg): 0.99 1.05 1.52 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1855 0 0 0 14937 66 0 0 25 0 1 0 772808447 13344768 1833 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 1833 566 18 0 3240 0
vsize: 13032
[startup+160.039 s]
Raw data (loadavg): 0.99 1.04 1.51 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1867 0 0 0 15934 70 0 0 25 0 1 0 772808447 13492224 1845 4294967295 134512640 134581331 3221224592 3221223412 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3294 1845 566 18 0 3276 0
vsize: 13176
[startup+170.039 s]
Raw data (loadavg): 0.99 1.04 1.50 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1933 0 0 0 16930 73 0 0 25 0 1 0 772808447 13762560 1911 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1911 566 18 0 3342 0
vsize: 13440
[startup+180.04 s]
Raw data (loadavg): 0.99 1.04 1.50 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 1966 0 0 0 17927 77 0 0 25 0 1 0 772808447 13893632 1944 4294967295 134512640 134581331 3221224592 3221223488 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1944 566 18 0 3374 0
vsize: 13568
[startup+190.149 s]
Raw data (loadavg): 0.99 1.04 1.49 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2098 0 0 0 18934 81 0 0 25 0 1 0 772808447 14413824 2076 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2076 566 18 0 3501 0
vsize: 14076
[startup+200.15 s]
Raw data (loadavg): 0.99 1.04 1.49 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2150 0 0 0 19931 84 0 0 25 0 1 0 772808447 14680064 2128 4294967295 134512640 134581331 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2128 566 18 0 3566 0
vsize: 14336
[startup+210.152 s]
Raw data (loadavg): 0.99 1.03 1.48 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2175 0 0 0 20928 86 0 0 25 0 1 0 772808447 14680064 2153 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2153 566 18 0 3566 0
vsize: 14336
[startup+220.155 s]
Raw data (loadavg): 0.99 1.03 1.47 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2397 0 0 0 21925 90 0 0 25 0 1 0 772808447 15597568 2375 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2375 566 18 0 3790 0
vsize: 15232
[startup+230.155 s]
Raw data (loadavg): 0.99 1.03 1.47 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2400 0 0 0 22922 94 0 0 25 0 1 0 772808447 15597568 2378 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2378 566 18 0 3790 0
vsize: 15232
[startup+240.155 s]
Raw data (loadavg): 0.99 1.03 1.46 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2400 0 0 0 23919 97 0 0 25 0 1 0 772808447 15597568 2378 4294967295 134512640 134581331 3221224592 3221223456 134560372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2378 566 18 0 3790 0
vsize: 15232
[startup+250.156 s]
Raw data (loadavg): 0.99 1.03 1.46 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2401 0 0 0 24916 99 0 0 25 0 1 0 772808447 15597568 2379 4294967295 134512640 134581331 3221224592 3221223536 134559206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2379 566 18 0 3790 0
vsize: 15232
[startup+260.156 s]
Raw data (loadavg): 0.99 1.03 1.45 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2401 0 0 0 25914 102 0 0 25 0 1 0 772808447 15597568 2379 4294967295 134512640 134581331 3221224592 3221223568 134560718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2379 566 18 0 3790 0
vsize: 15232
[startup+270.157 s]
Raw data (loadavg): 0.99 1.03 1.45 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2401 0 0 0 26912 104 0 0 25 0 1 0 772808447 15597568 2379 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2379 566 18 0 3790 0
vsize: 15232
[startup+280.166 s]
Raw data (loadavg): 0.99 1.02 1.44 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 27910 107 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223456 134528384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+290.171 s]
Raw data (loadavg): 0.99 1.02 1.44 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 28907 110 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223504 134527802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+300.172 s]
Raw data (loadavg): 0.99 1.02 1.43 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 29905 112 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+310.182 s]
Raw data (loadavg): 0.99 1.02 1.43 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 30904 115 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+320.183 s]
Raw data (loadavg): 0.99 1.02 1.42 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 31901 118 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+330.184 s]
Raw data (loadavg): 0.99 1.02 1.42 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 32899 120 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+340.184 s]
Raw data (loadavg): 0.99 1.02 1.41 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 33895 124 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223568 134561101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+350.184 s]
Raw data (loadavg): 0.99 1.02 1.41 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 34892 127 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223476 134557784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+360.185 s]
Raw data (loadavg): 0.99 1.02 1.40 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 35890 129 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+370.186 s]
Raw data (loadavg): 0.99 1.02 1.40 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 36888 132 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223412 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+380.186 s]
Raw data (loadavg): 0.99 1.02 1.39 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 37885 134 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+390.186 s]
Raw data (loadavg): 0.99 1.01 1.39 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2402 0 0 0 38883 137 0 0 25 0 1 0 772808447 15597568 2380 4294967295 134512640 134581331 3221224592 3221223456 134528331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3808 2380 566 18 0 3790 0
vsize: 15232
[startup+400.187 s]
Raw data (loadavg): 0.99 1.01 1.38 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2407 0 0 0 39881 139 0 0 25 0 1 0 772808447 15757312 2385 4294967295 134512640 134581331 3221224592 3221223456 134560250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3847 2385 566 18 0 3829 0
vsize: 15388
[startup+410.187 s]
Raw data (loadavg): 0.99 1.01 1.38 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2408 0 0 0 40879 141 0 0 25 0 1 0 772808447 15757312 2386 4294967295 134512640 134581331 3221224592 3221223572 134560793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3847 2386 566 18 0 3829 0
vsize: 15388
[startup+420.188 s]
Raw data (loadavg): 0.99 1.01 1.37 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2408 0 0 0 41877 143 0 0 25 0 1 0 772808447 15757312 2386 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3847 2386 566 18 0 3829 0
vsize: 15388
[startup+430.189 s]
Raw data (loadavg): 0.99 1.01 1.37 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2428 0 0 0 42875 146 0 0 25 0 1 0 772808447 15757312 2406 4294967295 134512640 134581331 3221224592 3221223476 134557784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3847 2406 566 18 0 3829 0
vsize: 15388
[startup+440.188 s]
Raw data (loadavg): 0.99 1.01 1.36 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2446 0 0 0 43872 148 0 0 25 0 1 0 772808447 15888384 2424 4294967295 134512640 134581331 3221224592 3221223504 134527763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3879 2424 566 18 0 3861 0
vsize: 15516
[startup+450.189 s]
Raw data (loadavg): 0.99 1.01 1.36 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2453 0 0 0 44870 151 0 0 25 0 1 0 772808447 15888384 2431 4294967295 134512640 134581331 3221224592 3221223364 1075285088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3879 2431 566 18 0 3861 0
vsize: 15516
[startup+460.19 s]
Raw data (loadavg): 0.99 1.01 1.36 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2469 0 0 0 45868 153 0 0 25 0 1 0 772808447 16035840 2447 4294967295 134512640 134581331 3221224592 3221223504 134527731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3915 2447 566 18 0 3897 0
vsize: 15660
[startup+470.191 s]
Raw data (loadavg): 0.99 1.01 1.35 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2483 0 0 0 46864 157 0 0 25 0 1 0 772808447 16035840 2461 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3915 2461 566 18 0 3897 0
vsize: 15660
[startup+480.192 s]
Raw data (loadavg): 1.07 1.02 1.35 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2492 0 0 0 47862 159 0 0 25 0 1 0 772808447 16035840 2470 4294967295 134512640 134581331 3221224592 3221223476 134557746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3915 2470 566 18 0 3897 0
vsize: 15660
[startup+490.192 s]
Raw data (loadavg): 1.06 1.02 1.35 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2499 0 0 0 48859 163 0 0 25 0 1 0 772808447 16191488 2477 4294967295 134512640 134581331 3221224592 3221223456 134560372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2477 566 18 0 3935 0
vsize: 15812
[startup+500.192 s]
Raw data (loadavg): 1.05 1.02 1.35 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2501 0 0 0 49856 165 0 0 25 0 1 0 772808447 16191488 2479 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2479 566 18 0 3935 0
vsize: 15812
[startup+510.193 s]
Raw data (loadavg): 1.04 1.02 1.34 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2501 0 0 0 50853 169 0 0 25 0 1 0 772808447 16191488 2479 4294967295 134512640 134581331 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2479 566 18 0 3935 0
vsize: 15812
[startup+520.194 s]
Raw data (loadavg): 1.04 1.02 1.34 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2501 0 0 0 51851 171 0 0 25 0 1 0 772808447 16191488 2479 4294967295 134512640 134581331 3221224592 3221223536 134559308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2479 566 18 0 3935 0
vsize: 15812
[startup+530.194 s]
Raw data (loadavg): 1.03 1.02 1.33 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2501 0 0 0 52849 173 0 0 25 0 1 0 772808447 16191488 2479 4294967295 134512640 134581331 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2479 566 18 0 3935 0
vsize: 15812
[startup+540.195 s]
Raw data (loadavg): 1.03 1.02 1.33 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2502 0 0 0 53846 176 0 0 25 0 1 0 772808447 16191488 2480 4294967295 134512640 134581331 3221224592 3221223412 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2480 566 18 0 3935 0
vsize: 15812
[startup+550.196 s]
Raw data (loadavg): 1.02 1.02 1.33 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2502 0 0 0 54842 180 0 0 25 0 1 0 772808447 16191488 2480 4294967295 134512640 134581331 3221224592 3221223584 134560775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2480 566 18 0 3935 0
vsize: 15812
[startup+560.196 s]
Raw data (loadavg): 1.02 1.01 1.32 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2502 0 0 0 55838 183 0 0 25 0 1 0 772808447 16191488 2480 4294967295 134512640 134581331 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2480 566 18 0 3935 0
vsize: 15812
[startup+570.198 s]
Raw data (loadavg): 1.01 1.01 1.32 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2517 0 0 0 56835 187 0 0 25 0 1 0 772808447 16191488 2495 4294967295 134512640 134581331 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2495 566 18 0 3935 0
vsize: 15812
[startup+580.199 s]
Raw data (loadavg): 1.01 1.01 1.31 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2518 0 0 0 57832 190 0 0 25 0 1 0 772808447 16191488 2496 4294967295 134512640 134581331 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2496 566 18 0 3935 0
vsize: 15812
[startup+590.199 s]
Raw data (loadavg): 1.01 1.01 1.31 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2519 0 0 0 58829 193 0 0 25 0 1 0 772808447 16191488 2497 4294967295 134512640 134581331 3221224592 3221223536 134559263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2497 566 18 0 3935 0
vsize: 15812
[startup+600.2 s]
Raw data (loadavg): 1.01 1.01 1.31 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2519 0 0 0 59826 196 0 0 25 0 1 0 772808447 16191488 2497 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2497 566 18 0 3935 0
vsize: 15812
[startup+610.201 s]
Raw data (loadavg): 1.01 1.01 1.30 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2523 0 0 0 60823 199 0 0 25 0 1 0 772808447 16191488 2501 4294967295 134512640 134581331 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2501 566 18 0 3935 0
vsize: 15812
[startup+620.201 s]
Raw data (loadavg): 1.00 1.01 1.30 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2526 0 0 0 61821 202 0 0 25 0 1 0 772808447 16191488 2504 4294967295 134512640 134581331 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2504 566 18 0 3935 0
vsize: 15812
[startup+630.202 s]
Raw data (loadavg): 1.00 1.01 1.29 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2526 0 0 0 62818 205 0 0 25 0 1 0 772808447 16191488 2504 4294967295 134512640 134581331 3221224592 3221223504 134527332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2504 566 18 0 3935 0
vsize: 15812
[startup+640.203 s]
Raw data (loadavg): 1.00 1.01 1.29 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2526 0 0 0 63815 208 0 0 25 0 1 0 772808447 16191488 2504 4294967295 134512640 134581331 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 2504 566 18 0 3935 0
vsize: 15812
[startup+650.203 s]
Raw data (loadavg): 1.00 1.01 1.29 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2537 0 0 0 64813 210 0 0 25 0 1 0 772808447 16326656 2515 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3986 2515 566 18 0 3968 0
vsize: 15944
[startup+660.204 s]
Raw data (loadavg): 1.00 1.00 1.28 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2619 0 0 0 65810 213 0 0 25 0 1 0 772808447 16588800 2597 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4050 2597 566 18 0 4032 0
vsize: 16200
[startup+670.205 s]
Raw data (loadavg): 1.00 1.00 1.28 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2633 0 0 0 66808 215 0 0 25 0 1 0 772808447 16740352 2611 4294967295 134512640 134581331 3221224592 3221223456 134528272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4087 2611 566 18 0 4069 0
vsize: 16348
[startup+680.205 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2636 0 0 0 67806 217 0 0 25 0 1 0 772808447 16740352 2614 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4087 2614 566 18 0 4069 0
vsize: 16348
[startup+690.205 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2636 0 0 0 68804 220 0 0 25 0 1 0 772808447 16740352 2614 4294967295 134512640 134581331 3221224592 3221223496 134527743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4087 2614 566 18 0 4069 0
vsize: 16348
[startup+700.207 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2675 0 0 0 69801 223 0 0 25 0 1 0 772808447 16871424 2653 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2653 566 18 0 4101 0
vsize: 16476
[startup+710.207 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2688 0 0 0 70798 226 0 0 25 0 1 0 772808447 16871424 2666 4294967295 134512640 134581331 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2666 566 18 0 4101 0
vsize: 16476
[startup+720.207 s]
Raw data (loadavg): 1.00 1.00 1.26 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2688 0 0 0 71795 228 0 0 25 0 1 0 772808447 16871424 2666 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2666 566 18 0 4101 0
vsize: 16476
[startup+730.208 s]
Raw data (loadavg): 1.00 1.00 1.26 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2688 0 0 0 72793 230 0 0 25 0 1 0 772808447 16871424 2666 4294967295 134512640 134581331 3221224592 3221223228 1075289104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2666 566 18 0 4101 0
vsize: 16476
[startup+740.207 s]
Raw data (loadavg): 1.00 1.00 1.26 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2699 0 0 0 73791 233 0 0 25 0 1 0 772808447 17010688 2677 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4153 2677 566 18 0 4135 0
vsize: 16612
[startup+750.208 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2699 0 0 0 74788 235 0 0 25 0 1 0 772808447 17010688 2677 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4153 2677 566 18 0 4135 0
vsize: 16612
[startup+760.215 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2770 0 0 0 75787 237 0 0 25 0 1 0 772808447 17276928 2748 4294967295 134512640 134581331 3221224592 3221223536 134559312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 2748 566 18 0 4200 0
vsize: 16872
[startup+770.214 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2773 0 0 0 76783 241 0 0 25 0 1 0 772808447 17276928 2751 4294967295 134512640 134581331 3221224592 3221223376 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 2751 566 18 0 4200 0
vsize: 16872
[startup+780.226 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2777 0 0 0 77781 244 0 0 25 0 1 0 772808447 17276928 2755 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 2755 566 18 0 4200 0
vsize: 16872
[startup+790.226 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2781 0 0 0 78779 246 0 0 25 0 1 0 772808447 17276928 2759 4294967295 134512640 134581331 3221224592 3221223536 134559312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 2759 566 18 0 4200 0
vsize: 16872
[startup+800.33 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2781 0 0 0 79788 248 0 0 25 0 1 0 772808447 17276928 2759 4294967295 134512640 134581331 3221224592 3221223584 134560860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 2759 566 18 0 4200 0
vsize: 16872
[startup+810.334 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2786 0 0 0 80786 250 0 0 25 0 1 0 772808447 17432576 2764 4294967295 134512640 134581331 3221224592 3221223376 134528765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 2764 566 18 0 4238 0
vsize: 17024
[startup+820.353 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2810 0 0 0 81782 256 0 0 25 0 1 0 772808447 17432576 2788 4294967295 134512640 134581331 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 2788 566 18 0 4238 0
vsize: 17024
[startup+830.353 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2810 0 0 0 82779 259 0 0 25 0 1 0 772808447 17432576 2788 4294967295 134512640 134581331 3221224592 3221223568 134560718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 2788 566 18 0 4238 0
vsize: 17024
[startup+840.353 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2810 0 0 0 83776 262 0 0 25 0 1 0 772808447 17432576 2788 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 2788 566 18 0 4238 0
vsize: 17024
[startup+850.354 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2827 0 0 0 84775 263 0 0 25 0 1 0 772808447 17571840 2805 4294967295 134512640 134581331 3221224592 3221223456 134526909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4290 2805 566 18 0 4272 0
vsize: 17160
[startup+860.366 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2842 0 0 0 85775 265 0 0 25 0 1 0 772808447 17571840 2820 4294967295 134512640 134581331 3221224592 3221223456 134560366 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4290 2820 566 18 0 4272 0
vsize: 17160
[startup+870.366 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2844 0 0 0 86771 268 0 0 25 0 1 0 772808447 17719296 2822 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4326 2822 566 18 0 4308 0
vsize: 17304
[startup+880.367 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2844 0 0 0 87770 270 0 0 25 0 1 0 772808447 17719296 2822 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4326 2822 566 18 0 4308 0
vsize: 17304
[startup+890.367 s]
Raw data (loadavg): 1.00 1.00 1.21 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2844 0 0 0 88767 273 0 0 25 0 1 0 772808447 17719296 2822 4294967295 134512640 134581331 3221224592 3221223456 134560244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4326 2822 566 18 0 4308 0
vsize: 17304
[startup+900.368 s]
Raw data (loadavg): 1.00 1.00 1.21 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 2931 0 0 0 89764 276 0 0 25 0 1 0 772808447 17981440 2909 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4390 2909 566 18 0 4372 0
vsize: 17560
[startup+910.369 s]
Raw data (loadavg): 1.00 1.00 1.21 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3043 0 0 0 90761 279 0 0 25 0 1 0 772808447 18509824 3021 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4519 3021 566 18 0 4501 0
vsize: 18076
[startup+920.369 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3048 0 0 0 91759 281 0 0 25 0 1 0 772808447 18509824 3026 4294967295 134512640 134581331 3221224592 3221223472 134520304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4519 3026 566 18 0 4501 0
vsize: 18076
[startup+930.37 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3049 0 0 0 92757 283 0 0 25 0 1 0 772808447 18509824 3027 4294967295 134512640 134581331 3221224592 3221223412 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4519 3027 566 18 0 4501 0
vsize: 18076
[startup+940.37 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3115 0 0 0 93755 285 0 0 25 0 1 0 772808447 18780160 3093 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4585 3093 566 18 0 4567 0
vsize: 18340
[startup+950.37 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3287 0 0 0 94752 288 0 0 25 0 1 0 772808447 19443712 3265 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4747 3265 566 18 0 4729 0
vsize: 18988
[startup+960.371 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3402 0 0 0 95750 291 0 0 25 0 1 0 772808447 19976192 3380 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4877 3380 566 18 0 4859 0
vsize: 19508
[startup+970.37 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3402 0 0 0 96748 293 0 0 25 0 1 0 772808447 19976192 3380 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4877 3380 566 18 0 4859 0
vsize: 19508
[startup+980.371 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3403 0 0 0 97746 295 0 0 25 0 1 0 772808447 19976192 3381 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4877 3381 566 18 0 4859 0
vsize: 19508
[startup+990.372 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3403 0 0 0 98743 298 0 0 25 0 1 0 772808447 19976192 3381 4294967295 134512640 134581331 3221224592 3221223568 134560718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4877 3381 566 18 0 4859 0
vsize: 19508
[startup+1000.37 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3404 0 0 0 99741 300 0 0 25 0 1 0 772808447 19976192 3382 4294967295 134512640 134581331 3221224592 3221223552 134531400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4877 3382 566 18 0 4859 0
vsize: 19508
[startup+1010.37 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3440 0 0 0 100740 301 0 0 25 0 1 0 772808447 20107264 3418 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4909 3418 566 18 0 4891 0
vsize: 19636
[startup+1020.37 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3507 0 0 0 101737 304 0 0 25 0 1 0 772808447 20373504 3485 4294967295 134512640 134581331 3221224592 3221223504 134527980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3485 566 18 0 4956 0
vsize: 19896
[startup+1030.37 s]
Raw data (loadavg): 1.00 1.00 1.17 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3507 0 0 0 102735 307 0 0 25 0 1 0 772808447 20373504 3485 4294967295 134512640 134581331 3221224592 3221223404 134516176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3485 566 18 0 4956 0
vsize: 19896
[startup+1040.37 s]
Raw data (loadavg): 1.00 1.00 1.17 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3507 0 0 0 103733 309 0 0 25 0 1 0 772808447 20373504 3485 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3485 566 18 0 4956 0
vsize: 19896
[startup+1050.37 s]
Raw data (loadavg): 1.00 1.00 1.17 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3507 0 0 0 104730 312 0 0 25 0 1 0 772808447 20373504 3485 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3485 566 18 0 4956 0
vsize: 19896
[startup+1060.37 s]
Raw data (loadavg): 1.07 1.02 1.17 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3507 0 0 0 105729 313 0 0 25 0 1 0 772808447 20373504 3485 4294967295 134512640 134581331 3221224592 3221223280 1075289377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3485 566 18 0 4956 0
vsize: 19896
[startup+1070.38 s]
Raw data (loadavg): 1.06 1.01 1.17 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3507 0 0 0 106725 316 0 0 25 0 1 0 772808447 20373504 3485 4294967295 134512640 134581331 3221224592 3221223340 1075285208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3485 566 18 0 4956 0
vsize: 19896
[startup+1080.38 s]
Raw data (loadavg): 1.05 1.01 1.17 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3507 0 0 0 107723 319 0 0 25 0 1 0 772808447 20373504 3485 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 3485 566 18 0 4956 0
vsize: 19896
[startup+1090.38 s]
Raw data (loadavg): 1.04 1.01 1.17 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 108721 320 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1100.38 s]
Raw data (loadavg): 1.03 1.01 1.17 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 109720 322 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223480 134560302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1110.38 s]
Raw data (loadavg): 1.03 1.01 1.16 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 110719 323 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223564 134554712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1120.38 s]
Raw data (loadavg): 1.02 1.01 1.16 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 111715 326 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1130.39 s]
Raw data (loadavg): 1.02 1.01 1.16 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 112711 331 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223504 134527995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1140.39 s]
Raw data (loadavg): 1.02 1.01 1.16 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 113711 333 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1150.39 s]
Raw data (loadavg): 1.01 1.01 1.16 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 114709 335 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223520 134519855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1160.39 s]
Raw data (loadavg): 1.01 1.01 1.15 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 115707 337 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223472 134520291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1170.39 s]
Raw data (loadavg): 1.01 1.00 1.15 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 116706 338 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1180.4 s]
Raw data (loadavg): 1.01 1.00 1.15 2/54 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 117705 340 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 20100
[startup+1188.98 s]
Raw data (loadavg): 1.01 1.00 1.15 1/53 1409
Raw data (stat): 1409 (Pueblo) R 1408 1269 1268 0 -1 0 3515 0 0 0 117705 340 0 0 25 0 1 0 772808447 20582400 3493 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5025 3493 566 18 0 5007 0
vsize: 0

Child status: 10
Real time (s): 1188.98
CPU time (s): 1189.02
CPU user time (s): 1185.59
CPU system time (s): 3.42448
CPU usage (%): 100.003
Max. virtual memory (Kb): 20100
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	25
#### END VERIFIER DATA ####