PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 12:36:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28556 boxname=wulflinc1 idbench=1512 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-neos1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-neos1.opb
IDLAUNCH: 28556
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        910068 kB
Buffers:          2424 kB
Cached:          97896 kB
SwapCached:       1136 kB
Active:          25424 kB
Inactive:        77048 kB
HighTotal:      131008 kB
HighFree:        30772 kB
LowTotal:       903652 kB
LowFree:        879296 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5248 kB
Slab:            16308 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:55:56 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 28556 0 1175.08 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2112 variables and 5120 constraints.
c After prepocess the problem consists of 2112 variables and 6578 constraints.
c preprocess terminated 43.949 s
c Initial Lower Bound: 12
c Lower Bound Elapsed time: 1.8315
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 31 @ 52.688
c NEW SOLUTION FOUND: 30 @ 606.206
c NEW SOLUTION FOUND: 29 @ 608.375
c NEW SOLUTION FOUND: 28 @ 855.214
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 -C0006_bit0 -C0011_bit0 -C0016_bit0 -C0021_bit0 -C0026_bit0 -C0031_bit0 C0036_bit0 -C0041_bit0 -C0046_bit0 -C0051_bit0 -C0056_bit0 -C0061_bit0 -C0066_bit0 -C0071_bit0 -C0076_bit0 -C0081_bit0 -C0086_bit0 -C0091_bit0 -C0096_bit0 -C0101_bit0 -C0106_bit0 -C0111_bit0 -C0116_bit0 -C0121_bit0 -C0126_bit0 -C0131_bit0 -C0136_bit0 -C0141_bit0 -C0146_bit0 -C0151_bit0 -C0156_bit0 -C0062_bit0 -C0067_bit0 -C0072_bit0 -C0077_bit0 -C0142_bit0 -C0147_bit0 -C0152_bit0 -C0157_bit0 -C0362_bit0 -C0367_bit0 -C0372_bit0 -C0377_bit0 -C0382_bit0 -C0387_bit0 -C0392_bit0 -C0397_bit0 -C0442_bit0 -C0447_bit0 -C0452_bit0 C0457_bit0 -C0462_bit0 -C0467_bit0 -C0472_bit0 -C0477_bit0 -C0003_bit0 -C0008_bit0 -C0013_bit0 -C0018_bit0 -C0083_bit0 -C0088_bit0 -C0093_bit0 -C0098_bit0 -C0163_bit0 -C0168_bit0 C0173_bit0 -C0178_bit0 -C0183_bit0 -C0188_bit0 -C0193_bit0 -C0198_bit0 -C0203_bit0 -C0208_bit0 -C0213_bit0 -C0218_bit0 -C0223_bit0 -C0228_bit0 -C0233_bit0 -C0238_bit0 -C0024_bit0 -C0029_bit0 -C0034_bit0 -C0039_bit0 -C0104_bit0 -C0109_bit0 -C0114_bit0 -C0119_bit0 -C0204_bit0 -C0209_bit0 -C0214_bit0 -C0219_bit0 -C0224_bit0 -C0229_bit0 -C0234_bit0 -C0239_bit0 -C0244_bit0 -C0249_bit0 -C0254_bit0 -C0259_bit0 -C0264_bit0 -C0269_bit0 -C0274_bit0 -C0279_bit0 -C0284_bit0 -C0289_bit0 -C0294_bit0 C0299_bit0 -C0304_bit0 -C0309_bit0 -C0314_bit0 -C0319_bit0 -C0025_bit0 -C0030_bit0 -C0035_bit0 -C0040_bit0 -C0105_bit0 -C0110_bit0 -C0115_bit0 -C0120_bit0 -C0205_bit0 -C0210_bit0 -C0215_bit0 -C0220_bit0 -C0225_bit0 -C0230_bit0 -C0235_bit0 -C0240_bit0 -C0245_bit0 C0250_bit0 -C0255_bit0 -C0260_bit0 -C0265_bit0 -C0270_bit0 -C0275_bit0 -C0280_bit0 -C0285_bit0 -C0290_bit0 -C0295_bit0 -C0300_bit0 -C0305_bit0 -C0310_bit0 -C0315_bit0 -C0320_bit0 -C0721_bit0 -C0726_bit0 -C0731_bit0 -C0736_bit0 -C0741_bit0 -C0746_bit0 -C0751_bit0 -C0756_bit0 -C0761_bit0 -C0766_bit0 -C0771_bit0 -C0776_bit0 -C0781_bit0 -C0786_bit0 -C0791_bit0 C0796_bit0 -C0801_bit0 -C0806_bit0 -C0811_bit0 -C0816_bit0 -C0821_bit0 -C0826_bit0 -C0831_bit0 -C0836_bit0 -C0841_bit0 -C0846_bit0 -C0851_bit0 -C0856_bit0 -C0861_bit0 -C0866_bit0 -C0871_bit0 -C0876_bit0 -C0782_bit0 -C0787_bit0 -C0792_bit0 -C0797_bit0 -C0862_bit0 -C0867_bit0 -C0872_bit0 -C0877_bit0 -C1082_bit0 -C1087_bit0 -C1092_bit0 -C1097_bit0 -C1102_bit0 -C1107_bit0 -C1112_bit0 C1117_bit0 -C1162_bit0 -C1167_bit0 -C1172_bit0 -C1177_bit0 -C1182_bit0 -C1187_bit0 -C1192_bit0 -C1197_bit0 -C0723_bit0 -C0728_bit0 -C0733_bit0 -C0738_bit0 -C0803_bit0 -C0808_bit0 -C0813_bit0 -C0818_bit0 -C0883_bit0 -C0888_bit0 -C0893_bit0 -C0898_bit0 -C0903_bit0 -C0908_bit0 -C0913_bit0 -C0918_bit0 C0923_bit0 -C0928_bit0 -C0933_bit0 -C0938_bit0 -C0943_bit0 -C0948_bit0 -C0953_bit0 -C0958_bit0 -C0744_bit0 -C0749_bit0 -C0754_bit0 -C0759_bit0 -C0824_bit0 -C0829_bit0 -C0834_bit0 -C0839_bit0 -C0924_bit0 -C0929_bit0 -C0934_bit0 -C0939_bit0 -C0944_bit0 -C0949_bit0 -C0954_bit0 -C0959_bit0 -C0964_bit0 -C0969_bit0 -C0974_bit0 C0979_bit0 -C0984_bit0 -C0989_bit0 -C0994_bit0 -C0999_bit0 -C1004_bit0 -C1009_bit0 -C1014_bit0 -C1019_bit0 -C1024_bit0 -C1029_bit0 -C1034_bit0 -C1039_bit0 -C0745_bit0 -C0750_bit0 -C0755_bit0 -C0760_bit0 -C0825_bit0 -C0830_bit0 -C0835_bit0 -C0840_bit0 -C0925_bit0 -C0930_bit0 -C0935_bit0 -C0940_bit0 -C0945_bit0 -C0950_bit0 -C0955_bit0 -C0960_bit0 -C0965_bit0 -C0970_bit0 -C0975_bit0 -C0980_bit0 -C0985_bit0 -C0990_bit0 -C0995_bit0 -C1000_bit0 C1005_bit0 -C1010_bit0 -C1015_bit0 -C1020_bit0 -C1025_bit0 -C1030_bit0 -C1035_bit0 -C1040_bit0 -C0481_bit0 -C0486_bit0 -C0491_bit0 -C0496_bit0 -C0501_bit0 -C0506_bit0 -C0511_bit0 -C0516_bit0 C0601_bit0 -C0606_bit0 -C0611_bit0 -C0616_bit0 -C0621_bit0 -C0626_bit0 -C0631_bit0 -C0636_bit0 -C0641_bit0 -C0646_bit0 -C0651_bit0 -C0656_bit0 -C0661_bit0 -C0666_bit0 -C0671_bit0 -C0676_bit0 -C0681_bit0 -C0686_bit0 -C0691_bit0 -C0696_bit0 -C0701_bit0 -C0706_bit0 -C0711_bit0 -C0716_bit0 -C0162_bit0 -C0167_bit0 -C0172_bit0 -C0177_bit0 -C0182_bit0 -C0187_bit0 -C0192_bit0 -C0197_bit0 -C0322_bit0 -C0327_bit0 -C0332_bit0 -C0337_bit0 -C0342_bit0 -C0347_bit0 -C0352_bit0 -C0357_bit0 -C0482_bit0 -C0487_bit0 -C0492_bit0 -C0497_bit0 C0502_bit0 -C0507_bit0 -C0512_bit0 -C0517_bit0 -C0443_bit0 -C0448_bit0 -C0453_bit0 -C0458_bit0 -C0463_bit0 -C0468_bit0 -C0473_bit0 -C0478_bit0 -C0563_bit0 -C0568_bit0 -C0573_bit0 -C0578_bit0 -C0583_bit0 -C0588_bit0 -C0593_bit0 -C0598_bit0 -C0683_bit0 -C0688_bit0 -C0693_bit0 -C0698_bit0 -C0703_bit0 -C0708_bit0 -C0713_bit0 C0718_bit0 -C0444_bit0 -C0449_bit0 -C0454_bit0 -C0459_bit0 -C0464_bit0 -C0469_bit0 -C0474_bit0 -C0479_bit0 -C0564_bit0 -C0569_bit0 -C0574_bit0 -C0579_bit0 -C0584_bit0 -C0589_bit0 -C0594_bit0 -C0599_bit0 -C0684_bit0 -C0689_bit0 -C0694_bit0 -C0699_bit0 -C0704_bit0 -C0709_bit0 -C0714_bit0 C0719_bit0 -C0325_bit0 -C0330_bit0 -C0335_bit0 -C0340_bit0 -C0345_bit0 -C0350_bit0 -C0355_bit0 -C0360_bit0 -C0525_bit0 -C0530_bit0 -C0535_bit0 -C0540_bit0 -C0545_bit0 -C0550_bit0 -C0555_bit0 -C0560_bit0 -C0605_bit0 -C0610_bit0 -C0615_bit0 -C0620_bit0 -C0625_bit0 -C0630_bit0 -C0635_bit0 -C0640_bit0 -C1201_bit0 -C1206_bit0 -C1211_bit0 -C1216_bit0 -C1221_bit0 -C1226_bit0 -C1231_bit0 -C1236_bit0 -C1321_bit0 -C1326_bit0 -C1331_bit0 -C1336_bit0 -C1341_bit0 -C1346_bit0 -C1351_bit0 -C1356_bit0 -C1361_bit0 -C1366_bit0 -C1371_bit0 -C1376_bit0 -C1381_bit0 -C1386_bit0 -C1391_bit0 -C1396_bit0 -C1401_bit0 -C1406_bit0 C1411_bit0 -C1416_bit0 -C1421_bit0 -C1426_bit0 -C1431_bit0 -C1436_bit0 -C0882_bit0 -C0887_bit0 -C0892_bit0 -C0897_bit0 -C0902_bit0 -C0907_bit0 -C0912_bit0 -C0917_bit0 -C1042_bit0 -C1047_bit0 -C1052_bit0 -C1057_bit0 -C1062_bit0 -C1067_bit0 -C1072_bit0 C1077_bit0 -C1202_bit0 -C1207_bit0 -C1212_bit0 -C1217_bit0 -C1222_bit0 -C1227_bit0 -C1232_bit0 -C1237_bit0 -C1163_bit0 -C1168_bit0 -C1173_bit0 -C1178_bit0 -C1183_bit0 -C1188_bit0 -C1193_bit0 -C1198_bit0 -C1283_bit0 -C1288_bit0 C1293_bit0 -C1298_bit0 -C1303_bit0 -C1308_bit0 -C1313_bit0 -C1318_bit0 -C1403_bit0 -C1408_bit0 -C1413_bit0 -C1418_bit0 -C1423_bit0 -C1428_bit0 -C1433_bit0 -C1438_bit0 -C1164_bit0 -C1169_bit0 -C1174_bit0 -C1179_bit0 -C1184_bit0 -C1189_bit0 -C1194_bit0 -C1199_bit0 -C1284_bit0 -C1289_bit0 -C1294_bit0 C1299_bit0 -C1304_bit0 -C1309_bit0 -C1314_bit0 -C1319_bit0 -C1404_bit0 -C1409_bit0 -C1414_bit0 -C1419_bit0 -C1424_bit0 -C1429_bit0 -C1434_bit0 -C1439_bit0 -C1045_bit0 -C1050_bit0 -C1055_bit0 -C1060_bit0 -C1065_bit0 -C1070_bit0 -C1075_bit0 -C1080_bit0 -C1245_bit0 -C1250_bit0 -C1255_bit0 -C1260_bit0 -C1265_bit0 -C1270_bit0 -C1275_bit0 -C1280_bit0 -C1325_bit0 -C1330_bit0 -C1335_bit0 -C1340_bit0 -C1345_bit0 -C1350_bit0 -C1355_bit0 C1360_bit0 -C0161_bit0 -C0166_bit0 -C0171_bit0 -C0176_bit0 -C0181_bit0 -C0186_bit0 -C0191_bit0 -C0196_bit0 -C0201_bit0 -C0206_bit0 -C0211_bit0 -C0216_bit0 -C0221_bit0 -C0226_bit0 -C0231_bit0 -C0236_bit0 C0241_bit0 -C0246_bit0 -C0251_bit0 -C0256_bit0 -C0261_bit0 -C0266_bit0 -C0271_bit0 -C0276_bit0 -C0281_bit0 -C0286_bit0 -C0291_bit0 -C0296_bit0 -C0301_bit0 -C0306_bit0 -C0311_bit0 -C0316_bit0 -C0361_bit0 -C0366_bit0 -C0371_bit0 -C0376_bit0 -C0381_bit0 -C0386_bit0 -C0391_bit0 -C0396_bit0 -C0401_bit0 -C0406_bit0 -C0411_bit0 -C0416_bit0 -C0421_bit0 -C0426_bit0 -C0431_bit0 -C0436_bit0 -C0441_bit0 -C0446_bit0 -C0451_bit0 -C0456_bit0 -C0461_bit0 -C0466_bit0 -C0471_bit0 -C0476_bit0 -C0321_bit0 -C0326_bit0 -C0331_bit0 -C0336_bit0 -C0341_bit0 -C0346_bit0 -C0351_bit0 -C0356_bit0 -C0521_bit0 -C0526_bit0 -C0531_bit0 -C0536_bit0 -C0541_bit0 -C0546_bit0 -C0551_bit0 -C0556_bit0 -C0561_bit0 -C0566_bit0 -C0571_bit0 -C0576_bit0 -C0581_bit0 -C0586_bit0 -C0591_bit0 -C0596_bit0 -C0002_bit0 -C0007_bit0 -C0012_bit0 -C0017_bit0 -C0022_bit0 -C0027_bit0 -C0032_bit0 -C0037_bit0 -C0042_bit0 -C0047_bit0 -C0052_bit0 -C0057_bit0 -C0082_bit0 -C0087_bit0 -C0092_bit0 -C0097_bit0 -C0102_bit0 -C0107_bit0 -C0112_bit0 -C0117_bit0 -C0122_bit0 -C0127_bit0 -C0132_bit0 -C0137_bit0 -C0202_bit0 -C0207_bit0 -C0212_bit0 -C0217_bit0 -C0222_bit0 -C0227_bit0 -C0232_bit0 -C0237_bit0 -C0242_bit0 -C0247_bit0 -C0252_bit0 -C0257_bit0 -C0262_bit0 -C0267_bit0 -C0272_bit0 -C0277_bit0 -C0282_bit0 -C0287_bit0 -C0292_bit0 -C0297_bit0 -C0302_bit0 -C0307_bit0 -C0312_bit0 -C0317_bit0 -C0402_bit0 -C0407_bit0 -C0412_bit0 -C0417_bit0 -C0422_bit0 -C0427_bit0 -C0432_bit0 -C0437_bit0 -C0522_bit0 -C0527_bit0 -C0532_bit0 -C0537_bit0 -C0542_bit0 -C0547_bit0 -C0552_bit0 -C0557_bit0 -C0602_bit0 -C0607_bit0 -C0612_bit0 -C0617_bit0 -C0622_bit0 -C0627_bit0 -C0632_bit0 -C0637_bit0 -C0562_bit0 -C0567_bit0 -C0572_bit0 -C0577_bit0 -C0582_bit0 -C0587_bit0 -C0592_bit0 -C0597_bit0 -C0642_bit0 -C0647_bit0 -C0652_bit0 -C0657_bit0 -C0662_bit0 -C0667_bit0 -C0672_bit0 -C0677_bit0 -C0682_bit0 C0687_bit0 -C0692_bit0 -C0697_bit0 -C0702_bit0 -C0707_bit0 -C0712_bit0 -C0717_bit0 -C0023_bit0 -C0028_bit0 -C0033_bit0 -C0038_bit0 -C0043_bit0 -C0048_bit0 -C0053_bit0 -C0058_bit0 -C0063_bit0 -C0068_bit0 -C0073_bit0 -C0078_bit0 -C0103_bit0 -C0108_bit0 -C0113_bit0 -C0118_bit0 -C0123_bit0 -C0128_bit0 -C0133_bit0 -C0138_bit0 -C0143_bit0 -C0148_bit0 -C0153_bit0 -C0158_bit0 -C0243_bit0 -C0248_bit0 -C0253_bit0 -C0258_bit0 -C0263_bit0 -C0268_bit0 -C0273_bit0 -C0278_bit0 -C0283_bit0 -C0288_bit0 -C0293_bit0 -C0298_bit0 -C0303_bit0 -C0308_bit0 -C0313_bit0 -C0318_bit0 -C0363_bit0 -C0368_bit0 -C0373_bit0 -C0378_bit0 -C0383_bit0 -C0388_bit0 -C0393_bit0 -C0398_bit0 -C0403_bit0 -C0408_bit0 -C0413_bit0 -C0418_bit0 -C0423_bit0 -C0428_bit0 -C0433_bit0 -C0438_bit0 -C0323_bit0 -C0328_bit0 -C0333_bit0 -C0338_bit0 -C0343_bit0 -C0348_bit0 -C0353_bit0 -C0358_bit0 -C0483_bit0 -C0488_bit0 C0493_bit0 -C0498_bit0 -C0503_bit0 -C0508_bit0 -C0513_bit0 -C0518_bit0 -C0523_bit0 -C0528_bit0 -C0533_bit0 -C0538_bit0 -C0543_bit0 -C0548_bit0 -C0553_bit0 -C0558_bit0 -C0603_bit0 -C0608_bit0 -C0613_bit0 -C0618_bit0 -C0623_bit0 -C0628_bit0 -C0633_bit0 -C0638_bit0 -C0643_bit0 -C0648_bit0 -C0653_bit0 -C0658_bit0 -C0663_bit0 -C0668_bit0 -C0673_bit0 -C0678_bit0 -C0004_bit0 -C0009_bit0 -C0014_bit0 -C0019_bit0 -C0044_bit0 -C0049_bit0 -C0054_bit0 -C0059_bit0 -C0064_bit0 -C0069_bit0 -C0074_bit0 -C0079_bit0 -C0084_bit0 -C0089_bit0 -C0094_bit0 -C0099_bit0 -C0124_bit0 -C0129_bit0 -C0134_bit0 -C0139_bit0 -C0144_bit0 -C0149_bit0 -C0154_bit0 -C0159_bit0 -C0164_bit0 -C0169_bit0 -C0174_bit0 -C0179_bit0 -C0184_bit0 -C0189_bit0 -C0194_bit0 -C0199_bit0 -C0364_bit0 -C0369_bit0 -C0374_bit0 -C0379_bit0 -C0384_bit0 -C0389_bit0 -C0394_bit0 -C0399_bit0 C0404_bit0 -C0409_bit0 -C0414_bit0 -C0419_bit0 -C0424_bit0 -C0429_bit0 -C0434_bit0 -C0439_bit0 -C0324_bit0 -C0329_bit0 -C0334_bit0 -C0339_bit0 -C0344_bit0 -C0349_bit0 -C0354_bit0 -C0359_bit0 -C0484_bit0 -C0489_bit0 -C0494_bit0 -C0499_bit0 -C0504_bit0 -C0509_bit0 -C0514_bit0 -C0519_bit0 -C0524_bit0 -C0529_bit0 -C0534_bit0 -C0539_bit0 -C0544_bit0 -C0549_bit0 -C0554_bit0 -C0559_bit0 -C0604_bit0 -C0609_bit0 -C0614_bit0 -C0619_bit0 -C0624_bit0 -C0629_bit0 -C0634_bit0 -C0639_bit0 C0644_bit0 -C0649_bit0 -C0654_bit0 -C0659_bit0 -C0664_bit0 -C0669_bit0 -C0674_bit0 -C0679_bit0 -C0005_bit0 -C0010_bit0 -C0015_bit0 -C0020_bit0 -C0045_bit0 -C0050_bit0 -C0055_bit0 -C0060_bit0 -C0065_bit0 -C0070_bit0 -C0075_bit0 -C0080_bit0 -C0085_bit0 -C0090_bit0 -C0095_bit0 -C0100_bit0 -C0125_bit0 -C0130_bit0 -C0135_bit0 -C0140_bit0 -C0145_bit0 -C0150_bit0 -C0155_bit0 -C0160_bit0 -C0165_bit0 -C0170_bit0 -C0175_bit0 -C0180_bit0 -C0185_bit0 -C0190_bit0 -C0195_bit0 -C0200_bit0 -C0365_bit0 -C0370_bit0 -C0375_bit0 -C0380_bit0 -C0385_bit0 -C0390_bit0 -C0395_bit0 -C0400_bit0 -C0405_bit0 -C0410_bit0 -C0415_bit0 -C0420_bit0 -C0425_bit0 -C0430_bit0 -C0435_bit0 -C0440_bit0 -C0445_bit0 -C0450_bit0 -C0455_bit0 -C0460_bit0 -C0465_bit0 -C0470_bit0 -C0475_bit0 -C0480_bit0 -C0485_bit0 -C0490_bit0 -C0495_bit0 -C0500_bit0 -C0505_bit0 -C0510_bit0 -C0515_bit0 -C0520_bit0 -C0565_bit0 -C0570_bit0 -C0575_bit0 -C0580_bit0 -C0585_bit0 -C0590_bit0 -C0595_bit0 -C0600_bit0 -C0645_bit0 -C0650_bit0 -C0655_bit0 -C0660_bit0 -C0665_bit0 -C0670_bit0 -C0675_bit0 -C0680_bit0 -C0685_bit0 -C0690_bit0 -C0695_bit0 -C0700_bit0 -C0705_bit0 -C0710_bit0 -C0715_bit0 -C0720_bit0 -C0881_bit0 -C0886_bit0 -C0891_bit0 -C0896_bit0 -C0901_bit0 -C0906_bit0 -C0911_bit0 -C0916_bit0 -C0921_bit0 -C0926_bit0 -C0931_bit0 -C0936_bit0 -C0941_bit0 -C0946_bit0 -C0951_bit0 -C0956_bit0 -C0961_bit0 -C0966_bit0 -C0971_bit0 -C0976_bit0 -C0981_bit0 -C0986_bit0 -C0991_bit0 -C0996_bit0 -C1001_bit0 -C1006_bit0 -C1011_bit0 -C1016_bit0 -C1021_bit0 -C1026_bit0 -C1031_bit0 -C1036_bit0 -C1081_bit0 -C1086_bit0 -C1091_bit0 -C1096_bit0 -C1101_bit0 -C1106_bit0 -C1111_bit0 -C1116_bit0 -C1121_bit0 -C1126_bit0 -C1131_bit0 -C1136_bit0 -C1141_bit0 -C1146_bit0 -C1151_bit0 -C1156_bit0 -C1161_bit0 -C1166_bit0 -C1171_bit0 C1176_bit0 -C1181_bit0 -C1186_bit0 -C1191_bit0 -C1196_bit0 -C1041_bit0 -C1046_bit0 -C1051_bit0 -C1056_bit0 -C1061_bit0 -C1066_bit0 -C1071_bit0 -C1076_bit0 -C1241_bit0 -C1246_bit0 -C1251_bit0 -C1256_bit0 -C1261_bit0 -C1266_bit0 -C1271_bit0 -C1276_bit0 -C1281_bit0 -C1286_bit0 -C1291_bit0 -C1296_bit0 -C1301_bit0 -C1306_bit0 -C1311_bit0 -C1316_bit0 -C0722_bit0 -C0727_bit0 -C0732_bit0 -C0737_bit0 -C0742_bit0 -C0747_bit0 -C0752_bit0 -C0757_bit0 -C0762_bit0 -C0767_bit0 -C0772_bit0 -C0777_bit0 -C0802_bit0 -C0807_bit0 -C0812_bit0 -C0817_bit0 -C0822_bit0 -C0827_bit0 -C0832_bit0 -C0837_bit0 -C0842_bit0 -C0847_bit0 -C0852_bit0 -C0857_bit0 -C0922_bit0 -C0927_bit0 -C0932_bit0 -C0937_bit0 -C0942_bit0 -C0947_bit0 -C0952_bit0 -C0957_bit0 -C0962_bit0 -C0967_bit0 -C0972_bit0 C0977_bit0 -C0982_bit0 -C0987_bit0 -C0992_bit0 -C0997_bit0 -C1002_bit0 -C1007_bit0 -C1012_bit0 -C1017_bit0 -C1022_bit0 -C1027_bit0 C1032_bit0 -C1037_bit0 -C1122_bit0 -C1127_bit0 -C1132_bit0 -C1137_bit0 -C1142_bit0 -C1147_bit0 -C1152_bit0 -C1157_bit0 -C1242_bit0 -C1247_bit0 -C1252_bit0 -C1257_bit0 -C1262_bit0 -C1267_bit0 -C1272_bit0 -C1277_bit0 -C1322_bit0 -C1327_bit0 -C1332_bit0 -C1337_bit0 -C1342_bit0 -C1347_bit0 -C1352_bit0 -C1357_bit0 -C1282_bit0 -C1287_bit0 -C1292_bit0 -C1297_bit0 -C1302_bit0 -C1307_bit0 -C1312_bit0 -C1317_bit0 -C1362_bit0 -C1367_bit0 -C1372_bit0 -C1377_bit0 -C1382_bit0 -C1387_bit0 -C1392_bit0 -C1397_bit0 -C1402_bit0 -C1407_bit0 -C1412_bit0 -C1417_bit0 -C1422_bit0 -C1427_bit0 -C1432_bit0 -C1437_bit0 -C0743_bit0 -C0748_bit0 -C0753_bit0 -C0758_bit0 -C0763_bit0 -C0768_bit0 -C0773_bit0 -C0778_bit0 -C0783_bit0 -C0788_bit0 -C0793_bit0 -C0798_bit0 -C0823_bit0 -C0828_bit0 -C0833_bit0 -C0838_bit0 -C0843_bit0 -C0848_bit0 -C0853_bit0 -C0858_bit0 -C0863_bit0 -C0868_bit0 -C0873_bit0 -C0878_bit0 -C0963_bit0 -C0968_bit0 -C0973_bit0 -C0978_bit0 -C0983_bit0 -C0988_bit0 -C0993_bit0 -C0998_bit0 C1003_bit0 -C1008_bit0 -C1013_bit0 -C1018_bit0 -C1023_bit0 -C1028_bit0 -C1033_bit0 -C1038_bit0 -C1083_bit0 -C1088_bit0 -C1093_bit0 -C1098_bit0 -C1103_bit0 -C1108_bit0 -C1113_bit0 -C1118_bit0 -C1123_bit0 C1128_bit0 -C1133_bit0 -C1138_bit0 -C1143_bit0 -C1148_bit0 -C1153_bit0 -C1158_bit0 -C1043_bit0 -C1048_bit0 -C1053_bit0 -C1058_bit0 -C1063_bit0 -C1068_bit0 -C1073_bit0 -C1078_bit0 -C1203_bit0 -C1208_bit0 -C1213_bit0 -C1218_bit0 -C1223_bit0 -C1228_bit0 -C1233_bit0 -C1238_bit0 -C1243_bit0 -C1248_bit0 -C1253_bit0 -C1258_bit0 -C1263_bit0 -C1268_bit0 -C1273_bit0 -C1278_bit0 -C1323_bit0 -C1328_bit0 -C1333_bit0 -C1338_bit0 -C1343_bit0 -C1348_bit0 -C1353_bit0 -C1358_bit0 -C1363_bit0 -C1368_bit0 -C1373_bit0 -C1378_bit0 -C1383_bit0 -C1388_bit0 -C1393_bit0 -C1398_bit0 -C0724_bit0 -C0729_bit0 -C0734_bit0 -C0739_bit0 -C0764_bit0 -C0769_bit0 -C0774_bit0 -C0779_bit0 -C0784_bit0 -C0789_bit0 -C0794_bit0 -C0799_bit0 -C0804_bit0 -C0809_bit0 -C0814_bit0 -C0819_bit0 -C0844_bit0 -C0849_bit0 -C0854_bit0 -C0859_bit0 -C0864_bit0 -C0869_bit0 -C0874_bit0 -C0879_bit0 -C0884_bit0 -C0889_bit0 -C0894_bit0 -C0899_bit0 -C0904_bit0 -C0909_bit0 -C0914_bit0 -C0919_bit0 -C1084_bit0 -C1089_bit0 -C1094_bit0 -C1099_bit0 -C1104_bit0 -C1109_bit0 -C1114_bit0 -C1119_bit0 -C1124_bit0 -C1129_bit0 -C1134_bit0 -C1139_bit0 -C1144_bit0 -C1149_bit0 -C1154_bit0 -C1159_bit0 -C1044_bit0 -C1049_bit0 -C1054_bit0 -C1059_bit0 -C1064_bit0 -C1069_bit0 -C1074_bit0 -C1079_bit0 -C1204_bit0 -C1209_bit0 -C1214_bit0 -C1219_bit0 -C1224_bit0 -C1229_bit0 -C1234_bit0 -C1239_bit0 C1244_bit0 -C1249_bit0 -C1254_bit0 -C1259_bit0 -C1264_bit0 -C1269_bit0 -C1274_bit0 -C1279_bit0 -C1324_bit0 -C1329_bit0 -C1334_bit0 -C1339_bit0 -C1344_bit0 -C1349_bit0 -C1354_bit0 -C1359_bit0 -C1364_bit0 -C1369_bit0 -C1374_bit0 -C1379_bit0 -C1384_bit0 -C1389_bit0 -C1394_bit0 -C1399_bit0 -C0725_bit0 -C0730_bit0 -C0735_bit0 -C0740_bit0 -C0765_bit0 -C0770_bit0 -C0775_bit0 -C0780_bit0 -C0785_bit0 -C0790_bit0 -C0795_bit0 -C0800_bit0 -C0805_bit0 -C0810_bit0 -C0815_bit0 -C0820_bit0 -C0845_bit0 -C0850_bit0 -C0855_bit0 -C0860_bit0 -C0865_bit0 -C0870_bit0 -C0875_bit0 -C0880_bit0 -C0885_bit0 -C0890_bit0 -C0895_bit0 -C0900_bit0 -C0905_bit0 -C0910_bit0 -C0915_bit0 -C0920_bit0 -C1085_bit0 -C1090_bit0 -C1095_bit0 -C1100_bit0 -C1105_bit0 -C1110_bit0 -C1115_bit0 -C1120_bit0 -C1125_bit0 C1130_bit0 -C1135_bit0 -C1140_bit0 -C1145_bit0 -C1150_bit0 -C1155_bit0 -C1160_bit0 -C1165_bit0 -C1170_bit0 -C1175_bit0 -C1180_bit0 -C1185_bit0 -C1190_bit0 -C1195_bit0 -C1200_bit0 -C1205_bit0 -C1210_bit0 -C1215_bit0 -C1220_bit0 -C1225_bit0 -C1230_bit0 -C1235_bit0 -C1240_bit0 -C1285_bit0 -C1290_bit0 -C1295_bit0 -C1300_bit0 -C1305_bit0 -C1310_bit0 -C1315_bit0 -C1320_bit0 -C1365_bit0 -C1370_bit0 -C1375_bit0 C1380_bit0 -C1385_bit0 -C1390_bit0 -C1395_bit0 -C1400_bit0 -C1405_bit0 -C1410_bit0 -C1415_bit0 -C1420_bit0 -C1425_bit0 -C1430_bit0 -C1435_bit0 -C1440_bit0 C1441_bit0 C1442_bit0 C1443_bit0 C1444_bit0 C1445_bit0 C1446_bit0 -C1447_bit0 -C1448_bit0 C1449_bit0 -C1450_bit0 C1451_bit0 C1452_bit0 C1453_bit0 C1454_bit0 C1455_bit0 C1456_bit0 C1457_bit0 C1458_bit0 C1459_bit0 C1460_bit0 C1461_bit0 -C1462_bit0 -C1463_bit0 -C1464_bit0 C1465_bit0 -C1466_bit0 -C1467_bit0 -C1468_bit0 C1469_bit0 C1470_bit0 -C1471_bit0 -C1472_bit0 C1473_bit0 -C1474_bit0 -C1475_bit0 C1476_bit0 C1477_bit0 C1478_bit0 C1479_bit0 C1480_bit0 C1481_bit0 C1482_bit0 C1483_bit0 C1484_bit0 C1485_bit0 C1486_bit0 -C1487_bit0 -C1488_bit0 C1489_bit0 C1490_bit0 -C1491_bit0 -C1492_bit0 C1493_bit0 C1494_bit0 -C1495_bit0 -C1496_bit0 C1497_bit0 -C1498_bit0 -C1499_bit0 -C1500_bit0 C1501_bit0 -C1502_bit0 -C1503_bit0 -C1504_bit0 C1505_bit0 C1506_bit0 -C1507_bit0 C1508_bit0 C1509_bit0 -C1510_bit0 C1511_bit0 C1512_bit0 C1513_bit0 -C1514_bit0 -C1515_bit0 C1516_bit0 C1517_bit0 C1518_bit0 -C1519_bit0 -C1520_bit0 C1521_bit0 -C1522_bit0 C1523_bit0 C1524_bit0 C1525_bit0 -C1526_bit0 -C1527_bit0 -C1528_bit0 C1529_bit0 C1530_bit0 C1531_bit0 C1532_bit0 C1533_bit0 C1534_bit0 -C1535_bit0 C1536_bit0 C1537_bit0 C1538_bit0 C1539_bit0 -C1540_bit0 C1541_bit0 C1542_bit0 C1543_bit0 -C1544_bit0 C1545_bit0 C1546_bit0 -C1547_bit0 -C1548_bit0 C1549_bit0 C1550_bit0 C1551_bit0 C1552_bit0 C1553_bit0 C1554_bit0 -C1555_bit0 C1556_bit0 C1557_bit0 C1558_bit0 C1559_bit0 -C1560_bit0 C1561_bit0 C1562_bit0 C1563_bit0 C1564_bit0 C1565_bit0 C1566_bit0 C1567_bit0 C1568_bit0 C1569_bit0 C1570_bit0 C1571_bit0 C1572_bit0 C1573_bit0 C1574_bit0 C1575_bit0 C1576_bit0 C1577_bit0 -C1578_bit0 -C1579_bit0 C1580_bit0 C1581_bit0 -C1582_bit0 C1583_bit0 -C1584_bit0 C1585_bit0 C1586_bit0 -C1587_bit0 C1588_bit0 C1589_bit0 C1590_bit0 -C1591_bit0 C1592_bit0 C1593_bit0 C1594_bit0 -C1595_bit0 C1596_bit0 C1597_bit0 C1598_bit0 -C1599_bit0 C1600_bit0 C1601_bit0 -C1602_bit0 -C1603_bit0 -C1604_bit0 -C1605_bit0 -C1606_bit0 C1607_bit0 -C1608_bit0 C1609_bit0 C1610_bit0 C1611_bit0 C1612_bit0 C1613_bit0 -C1614_bit0 -C1615_bit0 -C1616_bit0 C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 C1621_bit0 C1622_bit0 -C1623_bit0 C1624_bit0 C1625_bit0 C1626_bit0 C1627_bit0 -C1628_bit0 C1629_bit0 C1630_bit0 C1631_bit0 -C1632_bit0 C1633_bit0 -C1634_bit0 -C1635_bit0 -C1636_bit0 C1637_bit0 C1638_bit0 C1639_bit0 C1640_bit0 -C1641_bit0 -C1642_bit0 -C1643_bit0 C1644_bit0 -C1645_bit0 -C1646_bit0 -C1647_bit0 -C1648_bit0 C1649_bit0 C1650_bit0 -C1651_bit0 C1652_bit0 C1653_bit0 C1654_bit0 C1655_bit0 C1656_bit0 C1657_bit0 C1658_bit0 C1659_bit0 -C1660_bit0 C1661_bit0 C1662_bit0 -C1663_bit0 -C1664_bit0 C1665_bit0 -C1666_bit0 -C1667_bit0 C1668_bit0 C1669_bit0 -C1670_bit0 -C1671_bit0 -C1672_bit0 C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 C1677_bit0 C1678_bit0 C1679_bit0 C1680_bit0 C1681_bit0 C1682_bit0 C1683_bit0 C1684_bit0 C1685_bit0 C1686_bit0 -C1687_bit0 -C1688_bit0 -C1689_bit0 C1690_bit0 -C1691_bit0 -C1692_bit0 C1693_bit0 C1694_bit0 C1695_bit0 -C1696_bit0 C1697_bit0 C1698_bit0 C1699_bit0 -C1700_bit0 C1701_bit0 C1702_bit0 C1703_bit0 C1704_bit0 C1705_bit0 C1706_bit0 C1707_bit0 -C1708_bit0 C1709_bit0 C1710_bit0 -C1711_bit0 -C1712_bit0 C1713_bit0 -C1714_bit0 -C1715_bit0 -C1716_bit0 C1717_bit0 -C1718_bit0 C1719_bit0 -C1720_bit0 C1721_bit0 -C1722_bit0 -C1723_bit0 -C1724_bit0 C1725_bit0 -C1726_bit0 -C1727_bit0 C1728_bit0 C1729_bit0 C1730_bit0 C1731_bit0 -C1732_bit0 C1733_bit0 C1734_bit0 C1735_bit0 C1736_bit0 C1737_bit0 C1738_bit0 C1739_bit0 -C1740_bit0 C1741_bit0 C1742_bit0 C1743_bit0 -C1744_bit0 C1745_bit0 -C1746_bit0 -C1747_bit0 C1748_bit0 C1749_bit0 C1750_bit0 -C1751_bit0 C1752_bit0 C1753_bit0 -C1754_bit0 -C1755_bit0 C1756_bit0 C1757_bit0 C1758_bit0 C1759_bit0 C1760_bit0 C1761_bit0 C1762_bit0 -C1763_bit0 -C1764_bit0 C1765_bit0 C1766_bit0 -C1767_bit0 C1768_bit0 C1769_bit0 -C1770_bit0 -C1771_bit0 -C1772_bit0 C1773_bit0 -C1774_bit0 C1775_bit0 -C1776_bit0 C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_bit0 C1781_bit0 C1782_bit0 -C1783_bit0 -C1784_bit0 C1785_bit0 -C1786_bit0 -C1787_bit0 -C1788_bit0 C1789_bit0 C1790_bit0 -C1791_bit0 C1792_bit0 -C1793_bit0 -C1794_bit0 -C1795_bit0 -C1796_bit0 C1797_bit0 C1798_bit0 C1799_bit0 C1800_bit0 C1801_bit0 -C1802_bit0 C1803_bit0 -C1804_bit0 C1805_bit0 C1806_bit0 C1807_bit0 -C1808_bit0 C1809_bit0 C1810_bit0 C1811_bit0 -C1812_bit0 C1813_bit0 C1814_bit0 C1815_bit0 -C1816_bit0 C1817_bit0 C1818_bit0 -C1819_bit0 C1820_bit0 C1821_bit0 C1822_bit0 -C1823_bit0 C1824_bit0 
c Exit Code: 10
c Total time: 1175.04 s
#### 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.91 0.95 0.90 2/55 22839
Raw data (stat): 22839 (runsolver) R 22838 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 844825973 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 14684 0 0 0 952 33 0 0 25 0 1 0 844825973 63262720 14602 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15445 14602 1111 63 0 15382 0
vsize: 61780
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 14766 0 0 0 1952 33 0 0 25 0 1 0 844825973 63668224 14684 4294967295 134512640 134716908 3221224576 3221223232 134627214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 14684 1111 63 0 15481 0
vsize: 62176
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 14859 0 0 0 2952 34 0 0 25 0 1 0 844825973 64073728 14777 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15643 14777 1111 63 0 15580 0
vsize: 62572
[startup+40.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 14952 0 0 0 3952 34 0 0 25 0 1 0 844825973 64479232 14870 4294967295 134512640 134716908 3221224576 3221223220 134630899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15742 14870 1111 63 0 15679 0
vsize: 62968
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 17101 0 0 0 4945 40 0 0 25 0 1 0 844825973 70717440 15883 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17265 15883 1111 63 0 17202 0
vsize: 69060
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 19846 0 0 0 5938 47 0 0 25 0 1 0 844825973 66891776 15645 4294967295 134512640 134716908 3221224576 3221222912 1074207500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15645 1111 63 0 16268 0
vsize: 65324
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 25883 0 0 0 6924 62 0 0 25 0 1 0 844825973 66891776 15646 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15646 1111 63 0 16268 0
vsize: 65324
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 27400 0 0 0 7920 66 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 28499 0 0 0 8917 70 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 29606 0 0 0 9914 72 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222880 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 31617 0 0 0 10909 78 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 33923 0 0 0 11903 84 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 35679 0 0 0 12898 89 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221221632 1074139075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 37529 0 0 0 13892 95 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 39347 0 0 0 14887 100 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 41191 0 0 0 15882 106 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222848 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 42983 0 0 0 16877 111 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222496 1075802492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 44859 0 0 0 17872 116 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 46214 0 0 0 18868 120 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 47597 0 0 0 19864 124 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 49050 0 0 0 20860 128 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 50196 0 0 0 21857 131 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 51328 0 0 0 22854 135 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 52488 0 0 0 23851 138 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222536 1074138377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 53602 0 0 0 24847 142 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 54689 0 0 0 25845 145 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222620 1077379767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 55766 0 0 0 26841 148 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 56836 0 0 0 27838 152 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222304 1075828687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 57910 0 0 0 28834 156 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 59043 0 0 0 29831 159 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222700 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 60155 0 0 0 30827 164 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 61266 0 0 0 31825 166 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 62358 0 0 0 32821 170 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 63459 0 0 0 33818 173 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074918288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 64543 0 0 0 34815 177 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221221640 1077377734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 65617 0 0 0 35811 180 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222924 1074146096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 66707 0 0 0 36807 184 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 67798 0 0 0 37803 188 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 68961 0 0 0 38800 192 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 70077 0 0 0 39796 196 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 71179 0 0 0 40792 200 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 72294 0 0 0 41790 203 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 73403 0 0 0 42787 206 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 74517 0 0 0 43783 210 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 75685 0 0 0 44779 214 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 76865 0 0 0 45776 218 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222772 1077374062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 77968 0 0 0 46773 220 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 79065 0 0 0 47770 224 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 80121 0 0 0 48767 227 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 81162 0 0 0 49764 230 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 82274 0 0 0 50761 233 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 83336 0 0 0 51758 236 0 0 25 0 1 0 844825973 69238784 15658 4294967295 134512640 134716908 3221224576 3221221344 1076084039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15660 1111 63 0 16841 0
vsize: 67616
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 84460 0 0 0 52754 240 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 85571 0 0 0 53751 244 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 86728 0 0 0 54746 248 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 87857 0 0 0 55743 252 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 88950 0 0 0 56740 255 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 90016 0 0 0 57736 259 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 91104 0 0 0 58733 262 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074916322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 92204 0 0 0 59730 266 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 100030 0 0 0 60711 285 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 101472 0 0 0 61707 289 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 103168 0 0 0 62702 294 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 104269 0 0 0 63699 297 0 0 25 0 1 0 844825973 69238784 15661 4294967295 134512640 134716908 3221224576 3221221636 1074617724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15661 1111 63 0 16841 0
vsize: 67616
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 105370 0 0 0 64695 301 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 106525 0 0 0 65692 305 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 107697 0 0 0 66688 308 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 108705 0 0 0 67685 311 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 109819 0 0 0 68681 315 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 110992 0 0 0 69677 320 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 112192 0 0 0 70673 324 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074118870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 116506 0 0 0 71663 334 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 119405 0 0 0 72656 342 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074918304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 120845 0 0 0 73652 346 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 122974 0 0 0 74646 352 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222880 1074146258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 124146 0 0 0 75642 355 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222992 1074116409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 126304 0 0 0 76637 361 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 127997 0 0 0 77631 367 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 129200 0 0 0 78627 371 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 130420 0 0 0 79623 375 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 131634 0 0 0 80621 378 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 132805 0 0 0 81618 381 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074918266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 133947 0 0 0 82614 385 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 135023 0 0 0 83611 388 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074143002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 136066 0 0 0 84607 392 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 137188 0 0 0 85603 396 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222872 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 138303 0 0 0 86600 400 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 139452 0 0 0 87596 403 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222852 1077374563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 140637 0 0 0 88593 407 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 141794 0 0 0 89590 410 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221223152 134652405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 143002 0 0 0 90586 414 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 144125 0 0 0 91583 417 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 145275 0 0 0 92581 420 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222728 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 146478 0 0 0 93577 424 0 0 25 0 1 0 844825973 69238784 15656 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15659 1111 63 0 16841 0
vsize: 67616
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 147580 0 0 0 94575 426 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 148722 0 0 0 95571 430 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221221856 1074140055 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+970.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 149906 0 0 0 96567 434 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 151073 0 0 0 97563 438 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 152211 0 0 0 98560 441 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 153334 0 0 0 99555 446 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 154492 0 0 0 100552 450 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 155660 0 0 0 101550 452 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222540 1074206265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 156841 0 0 0 102545 457 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 158013 0 0 0 103542 460 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222864 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 159179 0 0 0 104539 463 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 160289 0 0 0 105537 466 0 0 25 0 1 0 844825973 69238784 15661 4294967295 134512640 134716908 3221224576 3221221232 1075967886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15661 1111 63 0 16841 0
vsize: 67616
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 161428 0 0 0 106533 469 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 162574 0 0 0 107529 474 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 163707 0 0 0 108526 477 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 164855 0 0 0 109523 481 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 166012 0 0 0 110519 485 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 167147 0 0 0 111515 489 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 168315 0 0 0 112512 492 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 169481 0 0 0 113509 495 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 170676 0 0 0 114506 498 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 171865 0 0 0 115504 501 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 172985 0 0 0 116501 504 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074917951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1175.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22839
Raw data (stat): 22839 (bsolo_lpr-v2) R 22838 8378 8377 0 -1 0 172985 0 0 0 116501 504 0 0 25 0 1 0 844825973 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074917951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 0

Child status: 10
Real time (s): 1175.04
CPU time (s): 1175.08
CPU user time (s): 1170
CPU system time (s): 5.08623
CPU usage (%): 100.003
Max. virtual memory (Kb): 69060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	28
#### END VERIFIER DATA ####