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 34427
#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-27 22:30:25 (client local time)
PB2005-SCRIPT v4.0
MARKUPS: idlaunch=14646 boxname=wulflinc11 idbench=1127 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322 /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH: 3fce91583b30a82646d8d8e778b97a89 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-neos1.opb
REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-neos1.opb 0
IDLAUNCH: 14646
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 7
model name : Pentium III (Katmai)
stepping : 2
cpu MHz : 451.028
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.028
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 : 899.07
/proc/meminfo:
MemTotal: 1034660 kB
MemFree: 617352 kB
Buffers: 35356 kB
Cached: 360592 kB
SwapCached: 900 kB
Active: 46436 kB
Inactive: 352024 kB
HighTotal: 131008 kB
HighFree: 252 kB
LowTotal: 903652 kB
LowFree: 617100 kB
SwapTotal: 2097136 kB
SwapFree: 2095372 kB
Dirty: 12 kB
Writeback: 0 kB
Mapped: 5052 kB
Slab: 13216 kB
Committed_AS: 63604 kB
PageTables: 316 kB
VmallocTotal: 114680 kB
VmallocUsed: 1364 kB
VmallocChunk: 113256 kB
JOB ENDED THE 2005-05-27 22:56:20 (client local time) WITH STATUS 10 IN 1555.15 SECONDS
stats: 14646 0 1555.15 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 1289349; #end-nodes: 193896;
#proof improvement attempts: 0; #restarts: 631
Current batch, end-nodes: 334 / 347 (237)
#axs: 5121, #non-axs: 13361
tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 225 (62:>=*);
#decisions: 285; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5121, #non-axs: 13361
tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 226 (61:>=*);
#decisions: 284; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5121, #non-axs: 13361
tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 227 (60:>=*);
#decisions: 281; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5121, #non-axs: 13361
tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 228 (59:>=*);
#decisions: 1496363; #end-nodes: 206122;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 313 (271)
#axs: 5121, #non-axs: 6842
tight: meta-meta: start: 4, end: 5; meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 228 (59:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 120 (#equs: 0)
Time taken: 5 min, 24 sec
2:
seed: 0
Nr of vars set: 120 (#equs: 0)
Nr of vars set: 120 (#equs: 0)
#decisions: 1156672; #end-nodes: 157784;
#proof improvement attempts: 0; #restarts: 559
Current batch, end-nodes: 133 / 276 (259)
#axs: 4841, #non-axs: 11582
tight: meta-meta: start: 3, end: 4; meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 229 (58:>=*);
#decisions: 280; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 120 (120)
#axs: 4841, #non-axs: 11582
tight: meta-meta: start: 3, end: 4; meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 230 (57:>=*);
#decisions: 6066694; #end-nodes: 939457;
#proof improvement attempts: 0; #restarts: 1735
Current batch, end-nodes: 821 / 896 (553)
#axs: 4841, #non-axs: 7684
tight: meta-meta: start: 3, end: 3; meta: start: 5, end (keep): 8
loose: meta-meta: start: 6, end: 9; meta: start: 14, end (keep): 19
Model found with constant: 231 (56:>=*);
#decisions: 2386; #end-nodes: 83;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 83 / 120 (120)
#axs: 4841, #non-axs: 7684
tight: meta-meta: start: 3, end: 3; meta: start: 5, end (keep): 8
loose: meta-meta: start: 6, end: 9; meta: start: 14, end (keep): 19
Model found with constant: 232 (55:>=*);
#decisions: 1632; #end-nodes: 102;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 102 / 120 (120)
#axs: 4841, #non-axs: 7684
tight: meta-meta: start: 3, end: 3; meta: start: 5, end (keep): 8
loose: meta-meta: start: 6, end: 9; meta: start: 14, end (keep): 19
Model found with constant: 233 (54:>=*);
Interupt request received.
#decisions: 5114390; #end-nodes: 661045;
#proof improvement attempts: 0; #restarts: 1497
Current batch, end-nodes: 1158 / 1617 (494)
#axs: 4841, #non-axs: 19654
tight: meta-meta: start: 3, end: 3; meta: start: 5, end (keep): 8
loose: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 12
Model found with constant:
(pushed:) 233 (54:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1557 (#equs: 0)
Time taken: 20 min, 29 sec
times:
0m0.017s 0m0.011s
24m56.004s 0m58.313s
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
s SATISFIABLE
Interupt; Current theory and settings are copied here:
/tmp/vallst_sh_out_theory.vnf
/tmp/vallst_sh_changing_setting.options
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.57 0.86 0.87 1/54 31940
Raw data (stat): 31940 (runsolver) R 31939 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 801549759 884736 94 4294967295 134512640 135332820 3221224448 3221219612 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.63 0.87 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+20.0018 s]
Raw data (loadavg): 0.69 0.87 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+30.0016 s]
Raw data (loadavg): 0.74 0.87 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+40.0014 s]
Raw data (loadavg): 0.78 0.88 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+50.0012 s]
Raw data (loadavg): 0.81 0.88 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+60.002 s]
Raw data (loadavg): 0.84 0.89 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+70.0018 s]
Raw data (loadavg): 0.86 0.89 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+80.0055 s]
Raw data (loadavg): 0.88 0.89 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+90.0053 s]
Raw data (loadavg): 0.90 0.89 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+100.005 s]
Raw data (loadavg): 0.92 0.90 0.88 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+110.006 s]
Raw data (loadavg): 0.93 0.90 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+120.006 s]
Raw data (loadavg): 0.94 0.90 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+130.005 s]
Raw data (loadavg): 0.95 0.91 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+140.006 s]
Raw data (loadavg): 0.95 0.91 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+150.006 s]
Raw data (loadavg): 0.96 0.91 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+160.007 s]
Raw data (loadavg): 0.97 0.91 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+170.007 s]
Raw data (loadavg): 0.97 0.92 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+180.007 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+190.007 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+200.007 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+210.008 s]
Raw data (loadavg): 0.98 0.92 0.90 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+220.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+230.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+240.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+250.01 s]
Raw data (loadavg): 1.07 0.95 0.90 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+260.011 s]
Raw data (loadavg): 1.06 0.95 0.91 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+270.011 s]
Raw data (loadavg): 1.05 0.95 0.91 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+280.011 s]
Raw data (loadavg): 1.04 0.95 0.91 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+290.012 s]
Raw data (loadavg): 1.03 0.95 0.91 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+300.012 s]
Raw data (loadavg): 1.03 0.95 0.91 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+310.013 s]
Raw data (loadavg): 1.02 0.95 0.91 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+320.014 s]
Raw data (loadavg): 1.02 0.95 0.91 2/55 31943
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 801549759 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+330.013 s]
Raw data (loadavg): 1.02 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+340.013 s]
Raw data (loadavg): 1.01 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+350.013 s]
Raw data (loadavg): 1.01 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+360.014 s]
Raw data (loadavg): 1.01 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+370.014 s]
Raw data (loadavg): 1.01 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+380.014 s]
Raw data (loadavg): 1.01 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+390.015 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+400.015 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+410.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+420.017 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+430.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+440.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+450.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+460.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+470.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+480.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+490.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+500.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+510.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+520.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+530.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+540.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+550.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+560.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+570.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+580.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+590.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+600.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+610.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+620.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+630.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+640.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+650.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+660.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+670.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+680.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+690.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+700.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+710.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+720.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+730.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+740.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+750.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+760.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+770.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+780.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+790.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+800.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+810.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+820.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+830.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+840.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+850.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+860.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+870.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+880.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+890.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+900.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+910.155 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+920.163 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+930.162 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+940.162 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+950.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+960.171 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+970.171 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+980.171 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+990.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1000.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1010.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1020.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1030.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1040.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1050.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1060.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1070.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1120.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1130.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1140.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1150.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1160.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1170.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1180.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1190.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1200.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1210.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1220.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1230.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1240.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1250.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1260.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1270.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1280.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1290.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1300.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1310.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1320.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1330.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1340.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1350.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1360.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1370.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1380.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1390.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1400.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1410.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1420.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1430.21 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1440.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1450.22 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1460.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1470.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1480.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1490.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1500.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1510.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1520.34 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1530.35 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1540.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1550.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 31945
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1555.52 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 31957
Raw data (stat): 31940 (vallstSAT2005PB) S 31939 25830 25829 0 -1 0 369 1304 0 0 1 1 31093 1324 19 0 1 0 801549759 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 0
Child status: 10
Real time (s): 1555.52
CPU time (s): 1555.15
CPU user time (s): 1496.6
CPU system time (s): 58.5471
CPU usage (%): 99.9765
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier: OK 54
#### END VERIFIER DATA ####