PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 02:31:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28171 boxname=wulflinc4 idbench=1127 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos1.opb
IDLAUNCH: 28171
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        928440 kB
Buffers:           132 kB
Cached:          84600 kB
SwapCached:        880 kB
Active:          20136 kB
Inactive:        66588 kB
HighTotal:      131008 kB
HighFree:        45808 kB
LowTotal:       903652 kB
LowFree:        882632 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13836 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:51:17 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 28171 0 1175.06 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 44.328 s
c Initial Lower Bound: 12
c Lower Bound Elapsed time: 1.822
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 31 @ 53.072
c NEW SOLUTION FOUND: 30 @ 614.101
c NEW SOLUTION FOUND: 29 @ 616.241
c NEW SOLUTION FOUND: 28 @ 866.175
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.02 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.92 0.90 1/54 25570
Raw data (stat): 25570 (runsolver) R 25569 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898045013 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.0001 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 14684 0 0 0 963 34 0 0 25 0 1 0 898045013 63262720 14602 4294967295 134512640 134716908 3221224576 3221223232 134627282 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.0005 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 14765 0 0 0 1963 34 0 0 25 0 1 0 898045013 63668224 14683 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 14683 1111 63 0 15481 0
vsize: 62176
[startup+30.0007 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 14858 0 0 0 2963 34 0 0 25 0 1 0 898045013 64073728 14776 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15643 14776 1111 63 0 15580 0
vsize: 62572
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 14952 0 0 0 3963 35 0 0 25 0 1 0 898045013 64479232 14870 4294967295 134512640 134716908 3221224576 3221223248 134627254 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.0022 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 16837 0 1 0 4957 39 0 0 25 0 1 0 898045013 67661824 15768 4294967295 134512640 134716908 3221224576 3221222592 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16519 15768 1111 63 0 16456 0
vsize: 66076
[startup+60.0025 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 19812 0 1 0 5949 47 0 0 25 0 1 0 898045013 66891776 15645 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16331 15645 1111 63 0 16268 0
vsize: 65324
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 25619 0 1 0 6934 62 0 0 25 0 1 0 898045013 66891776 15646 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16331 15646 1111 63 0 16268 0
vsize: 65324
[startup+80.0036 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 27372 0 1 0 7928 67 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221221528 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+90.0049 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 28477 0 1 0 8925 71 0 0 25 0 1 0 898045013 69238784 15659 4294967295 134512640 134716908 3221224576 3221220832 1075084536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15659 1111 63 0 16841 0
vsize: 67616
[startup+100.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 29575 0 1 0 9922 74 0 0 25 0 1 0 898045013 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+110.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 31557 0 1 0 10916 81 0 0 25 0 1 0 898045013 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+120.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 33567 0 1 0 11911 86 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222296 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+130.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 35589 0 1 0 12905 91 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153792 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.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 37413 0 1 0 13899 98 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222952 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+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 39202 0 1 0 14894 103 0 0 25 0 1 0 898045013 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+160.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 41042 0 1 0 15889 108 0 0 25 0 1 0 898045013 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+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 42833 0 1 0 16885 113 0 0 25 0 1 0 898045013 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+180.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 44654 0 1 0 17879 119 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222304 1075828921 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.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 46032 0 1 0 18874 124 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222560 1074056237 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.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 47417 0 1 0 19869 129 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222800 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+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 48786 0 1 0 20866 133 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222916 1074153497 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.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 49978 0 1 0 21863 136 0 0 25 0 1 0 898045013 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+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 51093 0 1 0 22860 139 0 0 25 0 1 0 898045013 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+240.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 52190 0 1 0 23856 143 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223020 1077781665 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.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 53333 0 1 0 24853 147 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222952 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+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 54401 0 1 0 25850 150 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222880 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+270.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 55413 0 1 0 26846 154 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222360 1077410205 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.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 56496 0 1 0 27842 158 0 0 25 0 1 0 898045013 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+290.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 57556 0 1 0 28839 161 0 0 25 0 1 0 898045013 69238784 15659 4294967295 134512640 134716908 3221224576 3221220732 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15659 1111 63 0 16841 0
vsize: 67616
[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 58666 0 1 0 29836 164 0 0 25 0 1 0 898045013 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+310.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 59747 0 1 0 30833 167 0 0 25 0 1 0 898045013 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+320.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 60843 0 1 0 31830 170 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222840 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+330.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 61921 0 1 0 32828 173 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222304 1075829551 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.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 63015 0 1 0 33824 177 0 0 25 0 1 0 898045013 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+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 64115 0 1 0 34821 180 0 0 25 0 1 0 898045013 69238784 15661 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15661 1111 63 0 16841 0
vsize: 67616
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 65174 0 1 0 35817 184 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222624 1074867340 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 66219 0 1 0 36814 188 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223096 134543187 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 67302 0 1 0 37810 191 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223348 134597630 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 68411 0 1 0 38807 195 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074918625 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 69557 0 1 0 39803 199 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074115304 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 70628 0 1 0 40800 202 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 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+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 71727 0 1 0 41798 205 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222760 1077377593 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 72837 0 1 0 42795 208 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222864 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+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 73922 0 1 0 43791 212 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222680 1077374858 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 75035 0 1 0 44787 216 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222992 1074117024 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 76186 0 1 0 45783 220 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223184 134549316 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 77348 0 1 0 46779 224 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222880 1073978447 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 78410 0 1 0 47776 227 0 0 25 0 1 0 898045013 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+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 79453 0 1 0 48773 231 0 0 25 0 1 0 898045013 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+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 80554 0 1 0 49770 235 0 0 25 0 1 0 898045013 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+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 81594 0 1 0 50767 237 0 0 25 0 1 0 898045013 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+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 82650 0 1 0 51764 241 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222856 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+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 83698 0 1 0 52761 244 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222736 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+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 84828 0 1 0 53758 248 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221221856 1074139993 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 85962 0 1 0 54754 251 0 0 25 0 1 0 898045013 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+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 87058 0 1 0 55751 254 0 0 25 0 1 0 898045013 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+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 88190 0 1 0 56747 258 0 0 25 0 1 0 898045013 69238784 15662 4294967295 134512640 134716908 3221224576 3221220608 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15662 1111 63 0 16841 0
vsize: 67616
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 89239 0 1 0 57744 262 0 0 25 0 1 0 898045013 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+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 90303 0 1 0 58741 266 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222832 1073987038 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 91395 0 1 0 59737 270 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222600 1077380623 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 92434 0 1 0 60733 273 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222900 1077402435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 100607 0 1 0 61713 294 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223232 134652244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 101745 0 1 0 62709 297 0 0 25 0 1 0 898045013 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+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 103382 0 1 0 63705 301 0 0 25 0 1 0 898045013 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+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 104425 0 1 0 64701 305 0 0 25 0 1 0 898045013 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+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 105581 0 1 0 65698 309 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222744 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 106733 0 1 0 66693 314 0 0 25 0 1 0 898045013 69238784 15659 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15659 1111 63 0 16841 0
vsize: 67616
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 107847 0 1 0 67690 317 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222908 1073986656 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 108860 0 1 0 68687 321 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222880 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+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 109971 0 1 0 69683 324 0 0 25 0 1 0 898045013 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+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 111148 0 1 0 70680 327 0 0 25 0 1 0 898045013 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+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 112333 0 1 0 71677 331 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222848 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+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 116595 0 1 0 72665 343 0 0 25 0 1 0 898045013 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+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 119755 0 1 0 73657 351 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222876 1074206272 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.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 120937 0 1 0 74653 355 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 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+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 123036 0 1 0 75647 361 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222864 1074153794 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.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 124225 0 1 0 76644 365 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223184 134549327 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.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 126336 0 1 0 77639 370 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153794 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 128026 0 1 0 78634 375 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222952 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+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 129199 0 1 0 79631 379 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153669 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 130387 0 1 0 80627 382 0 0 25 0 1 0 898045013 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+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 131603 0 1 0 81624 386 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223184 134549474 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.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 132772 0 1 0 82621 389 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222744 1077377495 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.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 133884 0 1 0 83618 392 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222952 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+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 134952 0 1 0 84613 397 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222784 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+860.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 135969 0 1 0 85610 400 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 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+870.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 137091 0 1 0 86606 405 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 138206 0 1 0 87602 408 0 0 25 0 1 0 898045013 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+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 139346 0 1 0 88599 412 0 0 25 0 1 0 898045013 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+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 140480 0 1 0 89594 416 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223040 1074121076 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.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 141633 0 1 0 90591 420 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221221680 1074138583 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 142829 0 1 0 91588 423 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223152 134549316 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 143929 0 1 0 92584 427 0 0 25 0 1 0 898045013 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+940.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 145078 0 1 0 93581 430 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+950.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 146240 0 1 0 94578 433 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222488 1074138271 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.041 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 147312 0 1 0 95575 437 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074917142 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.041 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 148482 0 1 0 96571 441 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153794 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.041 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 149639 0 1 0 97567 445 0 0 25 0 1 0 898045013 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+990.042 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 150766 0 1 0 98564 449 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221223152 134549327 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.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 151908 0 1 0 99561 452 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 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+1010.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 153004 0 1 0 100557 456 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222832 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+1020.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 154131 0 1 0 101553 460 0 0 25 0 1 0 898045013 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+1030.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 155281 0 1 0 102550 463 0 0 25 0 1 0 898045013 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+1040.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 156445 0 1 0 103546 467 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222960 1074153779 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.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 157599 0 1 0 104543 471 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222928 1074115244 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.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 158765 0 1 0 105540 474 0 0 25 0 1 0 898045013 69238784 15659 4294967295 134512640 134716908 3221224576 3221221568 1075110521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15659 1111 63 0 16841 0
vsize: 67616
[startup+1070.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 159859 0 1 0 106537 477 0 0 25 0 1 0 898045013 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+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 160984 0 1 0 107534 480 0 0 25 0 1 0 898045013 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+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 162102 0 1 0 108531 484 0 0 25 0 1 0 898045013 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+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 163241 0 1 0 109528 487 0 0 25 0 1 0 898045013 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+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 164379 0 1 0 110524 491 0 0 25 0 1 0 898045013 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+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 165542 0 1 0 111521 495 0 0 25 0 1 0 898045013 69238784 15661 4294967295 134512640 134716908 3221224576 3221221696 1074835543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 15661 1111 63 0 16841 0
vsize: 67616
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 166647 0 1 0 112517 498 0 0 25 0 1 0 898045013 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+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 167773 0 1 0 113515 501 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074913440 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.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 168946 0 1 0 114511 505 0 0 25 0 1 0 898045013 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+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 170111 0 1 0 115508 508 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222576 1074056003 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.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 171298 0 1 0 116505 511 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222744 1077377401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15647 1111 63 0 16268 0
vsize: 65324
[startup+1174.94 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 25570
Raw data (stat): 25570 (bsolo_lpr-v2) R 25569 21152 21151 0 -1 0 171298 0 1 0 116505 511 0 0 25 0 1 0 898045013 66891776 15647 4294967295 134512640 134716908 3221224576 3221222744 1077377401 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): 1174.94
CPU time (s): 1175.06
CPU user time (s): 1169.89
CPU system time (s): 5.16621
CPU usage (%): 100.01
Max. virtual memory (Kb): 67616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	28
#### END VERIFIER DATA ####