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 28068

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 00:16:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14639 boxname=wulflinc6 idbench=1127 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos1.opb
IDLAUNCH: 14639
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        817180 kB
Buffers:         29296 kB
Cached:         165864 kB
SwapCached:        408 kB
Active:          61668 kB
Inactive:       135784 kB
HighTotal:      131008 kB
HighFree:        36820 kB
LowTotal:       903652 kB
LowFree:        780360 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:            2104 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            14500 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:35:39 (client local time) WITH STATUS 10 IN 1175.26 SECONDS
stats: 14639 0 1175.26 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.986 s
c Initial Lower Bound: 12
c Lower Bound Elapsed time: 2.4475
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 45 @ 219.09
c NEW SOLUTION FOUND: 44 @ 591.469
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.22 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
Raw data (loadavg): 0.86 0.97 0.94 1/54 31498
Raw data (stat): 31498 (runsolver) D 31497 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 776263515 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 14681 0 0 0 952 35 0 0 25 0 1 0 776263515 63262720 14603 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15445 14603 1111 63 0 15382 0
vsize: 61780
[startup+20.0012 s]
Raw data (loadavg): 0.90 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 14763 0 0 0 1952 36 0 0 25 0 1 0 776263515 63668224 14685 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 14685 1111 63 0 15481 0
vsize: 62176
[startup+30.0074 s]
Raw data (loadavg): 0.91 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 14857 0 0 0 2952 36 0 0 25 0 1 0 776263515 64073728 14779 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15643 14779 1111 63 0 15580 0
vsize: 62572
[startup+40.0076 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 14948 0 0 0 3952 37 0 0 25 0 1 0 776263515 64479232 14870 4294967295 134512640 134714508 3221224592 3221223264 134627250 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.0083 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 16714 0 0 0 4948 41 0 0 25 0 1 0 776263515 70828032 16015 4294967295 134512640 134714508 3221224592 3221221060 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17292 16015 1111 63 0 17229 0
vsize: 69168
[startup+60.008 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21312 0 0 0 5935 53 0 0 25 0 1 0 776263515 67256320 15739 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+70.016 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21312 0 0 0 6934 55 0 0 25 0 1 0 776263515 67256320 15739 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+80.0215 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21312 0 0 0 7932 57 0 0 25 0 1 0 776263515 67256320 15739 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+90.0213 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21312 0 0 0 8931 59 0 0 25 0 1 0 776263515 67256320 15739 4294967295 134512640 134714508 3221224592 3221223352 134613522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+100.021 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21312 0 0 0 9929 61 0 0 25 0 1 0 776263515 67256320 15739 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+110.041 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21335 0 0 0 10929 63 0 0 25 0 1 0 776263515 67391488 15762 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16453 15762 1111 63 0 16390 0
vsize: 65812
[startup+120.051 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21361 0 0 0 11929 65 0 0 25 0 1 0 776263515 67526656 15788 4294967295 134512640 134714508 3221224592 3221223392 134597560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16486 15788 1111 63 0 16423 0
vsize: 65944
[startup+130.051 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21397 0 0 0 12927 67 0 0 25 0 1 0 776263515 67661824 15824 4294967295 134512640 134714508 3221224592 3221223392 134597663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16519 15824 1111 63 0 16456 0
vsize: 66076
[startup+140.051 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21431 0 0 0 13924 70 0 0 25 0 1 0 776263515 67796992 15858 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16552 15858 1111 63 0 16489 0
vsize: 66208
[startup+150.058 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21474 0 0 0 14923 73 0 0 25 0 1 0 776263515 67932160 15901 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16585 15901 1111 63 0 16522 0
vsize: 66340
[startup+160.058 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21514 0 0 0 15921 75 0 0 25 0 1 0 776263515 68202496 15941 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16651 15941 1111 63 0 16588 0
vsize: 66604
[startup+170.059 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21599 0 0 0 16918 78 0 0 25 0 1 0 776263515 68472832 16026 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16717 16026 1111 63 0 16654 0
vsize: 66868
[startup+180.059 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21709 0 0 0 17915 81 0 0 25 0 1 0 776263515 69013504 16136 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16849 16136 1111 63 0 16786 0
vsize: 67396
[startup+190.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21819 0 0 0 18914 83 0 0 25 0 1 0 776263515 69419008 16246 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16948 16246 1111 63 0 16885 0
vsize: 67792
[startup+200.079 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 21898 0 0 0 19914 85 0 0 25 0 1 0 776263515 69689344 16325 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17014 16325 1111 63 0 16951 0
vsize: 68056
[startup+210.079 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 22037 0 0 0 20911 89 0 0 25 0 1 0 776263515 70230016 16464 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17146 16464 1111 63 0 17083 0
vsize: 68584
[startup+220.082 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 23235 0 0 0 21906 94 0 0 25 0 1 0 776263515 71307264 16712 4294967295 134512640 134714508 3221224592 3221222992 1074118870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17409 16712 1111 63 0 17346 0
vsize: 69636
[startup+230.094 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 26918 0 0 0 22897 104 0 0 25 0 1 0 776263515 71815168 16756 4294967295 134512640 134714508 3221224592 3221220704 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17533 16756 1111 63 0 17470 0
vsize: 70132
[startup+240.094 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 36438 0 0 0 23872 128 0 0 25 0 1 0 776263515 71413760 16755 4294967295 134512640 134714508 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17435 16755 1111 63 0 17372 0
vsize: 69740
[startup+250.094 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 45501 0 0 0 24851 149 0 0 25 0 1 0 776263515 74346496 16782 4294967295 134512640 134714508 3221224592 3221220752 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18151 16782 1111 63 0 18088 0
vsize: 72604
[startup+260.095 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 52457 0 0 0 25835 165 0 0 25 0 1 0 776263515 71376896 16747 4294967295 134512640 134714508 3221224592 3221222976 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17426 16747 1111 63 0 17363 0
vsize: 69704
[startup+270.095 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 57031 0 0 0 26825 175 0 0 25 0 1 0 776263515 71458816 16767 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17446 16767 1111 63 0 17383 0
vsize: 69784
[startup+280.095 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 64561 0 0 0 27807 194 0 0 25 0 1 0 776263515 71421952 16758 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 16758 1111 63 0 17374 0
vsize: 69748
[startup+290.21 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 74408 0 0 0 28795 218 0 0 25 0 1 0 776263515 71421952 16758 4294967295 134512640 134714508 3221224592 3221222320 1075635444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 16758 1111 63 0 17374 0
vsize: 69748
[startup+300.21 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 83764 0 0 0 29772 241 0 0 25 0 1 0 776263515 71421952 16758 4294967295 134512640 134714508 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 16758 1111 63 0 17374 0
vsize: 69748
[startup+310.21 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 92474 0 0 0 30753 261 0 0 25 0 1 0 776263515 71421952 16758 4294967295 134512640 134714508 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 16758 1111 63 0 17374 0
vsize: 69748
[startup+320.211 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 99318 0 0 0 31737 277 0 0 25 0 1 0 776263515 71421952 16758 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 16758 1111 63 0 17374 0
vsize: 69748
[startup+330.211 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 106137 0 0 0 32721 293 0 0 25 0 1 0 776263515 71421952 16758 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 16758 1111 63 0 17374 0
vsize: 69748
[startup+340.211 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 112790 0 0 0 33705 309 0 0 25 0 1 0 776263515 71421952 16758 4294967295 134512640 134714508 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 16758 1111 63 0 17374 0
vsize: 69748
[startup+350.211 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 118010 0 0 0 34693 322 0 0 25 0 1 0 776263515 71421952 16758 4294967295 134512640 134714508 3221224592 3221222320 1075828543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 16758 1111 63 0 17374 0
vsize: 69748
[startup+360.211 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 125930 0 0 0 35674 341 0 0 25 0 1 0 776263515 71421952 16758 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 16758 1111 63 0 17374 0
vsize: 69748
[startup+370.211 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 133201 0 0 0 36655 360 0 0 25 0 1 0 776263515 71376896 16747 4294967295 134512640 134714508 3221224592 3221222572 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17426 16747 1111 63 0 17363 0
vsize: 69704
[startup+380.211 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 139732 0 0 0 37638 377 0 0 25 0 1 0 776263515 71352320 16741 4294967295 134512640 134714508 3221224592 3221222904 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17420 16741 1111 63 0 17357 0
vsize: 69680
[startup+390.212 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 146844 0 0 0 38620 396 0 0 25 0 1 0 776263515 71503872 16778 4294967295 134512640 134714508 3221224592 3221222336 1075645319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17457 16778 1111 63 0 17394 0
vsize: 69828
[startup+400.22 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 152349 0 0 0 39608 410 0 0 25 0 1 0 776263515 71389184 16750 4294967295 134512640 134714508 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17429 16750 1111 63 0 17366 0
vsize: 69716
[startup+410.235 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 159596 0 0 0 40592 427 0 0 25 0 1 0 776263515 71389184 16750 4294967295 134512640 134714508 3221224592 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17429 16750 1111 63 0 17366 0
vsize: 69716
[startup+420.234 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 165733 0 0 0 41577 443 0 0 25 0 1 0 776263515 71389184 16750 4294967295 134512640 134714508 3221224592 3221223008 1074116396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17429 16750 1111 63 0 17366 0
vsize: 69716
[startup+430.234 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 172637 0 0 0 42560 459 0 0 25 0 1 0 776263515 71389184 16750 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17429 16750 1111 63 0 17366 0
vsize: 69716
[startup+440.235 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 178745 0 0 0 43545 475 0 0 25 0 1 0 776263515 71389184 16750 4294967295 134512640 134714508 3221224592 3221222600 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17429 16750 1111 63 0 17366 0
vsize: 69716
[startup+450.234 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 183429 0 0 0 44533 487 0 0 25 0 1 0 776263515 74502144 16790 4294967295 134512640 134714508 3221224592 3221221656 1075007302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18189 16790 1111 63 0 18126 0
vsize: 72756
[startup+460.235 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 188072 0 0 0 45522 499 0 0 25 0 1 0 776263515 71389184 16750 4294967295 134512640 134714508 3221224592 3221222728 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17429 16750 1111 63 0 17366 0
vsize: 69716
[startup+470.25 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 196214 0 0 0 46506 517 0 0 25 0 1 0 776263515 71385088 16749 4294967295 134512640 134714508 3221224592 3221222944 1074115244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17428 16749 1111 63 0 17365 0
vsize: 69712
[startup+480.25 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 202390 0 0 0 47490 533 0 0 25 0 1 0 776263515 71520256 16780 4294967295 134512640 134714508 3221224592 3221221824 1074140697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17461 16780 1111 63 0 17398 0
vsize: 69844
[startup+490.25 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 206352 0 0 0 48480 544 0 0 25 0 1 0 776263515 71446528 16764 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17443 16764 1111 63 0 17380 0
vsize: 69772
[startup+500.261 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 211195 0 0 0 49470 555 0 0 25 0 1 0 776263515 71516160 16781 4294967295 134512640 134714508 3221224592 3221222864 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17460 16781 1111 63 0 17397 0
vsize: 69840
[startup+510.261 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 215610 0 0 0 50459 567 0 0 25 0 1 0 776263515 71520256 16782 4294967295 134512640 134714508 3221224592 3221222240 1075818396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17461 16782 1111 63 0 17398 0
vsize: 69844
[startup+520.262 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 221695 0 0 0 51443 582 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+530.267 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 226286 0 0 0 52433 594 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222856 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+540.275 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 229181 0 0 0 53427 601 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+550.275 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 233306 0 0 0 54417 611 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+560.275 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 236197 0 0 0 55411 618 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+570.275 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 240586 0 0 0 56400 628 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+580.275 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 247675 0 0 0 57383 646 0 0 25 0 1 0 776263515 74350592 16796 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18152 16796 1111 63 0 18089 0
vsize: 72608
[startup+590.38 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 250838 0 0 0 58386 654 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222856 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+600.38 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 254524 0 0 0 59377 663 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+610.38 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 256283 0 0 0 60372 668 0 0 25 0 1 0 776263515 71532544 16783 4294967295 134512640 134714508 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16783 1111 63 0 17401 0
vsize: 69856
[startup+620.38 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 257872 0 0 0 61367 674 0 0 25 0 1 0 776263515 71532544 16784 4294967295 134512640 134714508 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16784 1111 63 0 17401 0
vsize: 69856
[startup+630.38 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 259236 0 0 0 62362 679 0 0 25 0 1 0 776263515 71532544 16784 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16784 1111 63 0 17401 0
vsize: 69856
[startup+640.388 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 261632 0 0 0 63357 685 0 0 25 0 1 0 776263515 74350592 16799 4294967295 134512640 134714508 3221224592 3221221248 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18152 16799 1111 63 0 18089 0
vsize: 72608
[startup+650.396 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 264025 0 0 0 64352 691 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+660.403 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 266866 0 0 0 65344 699 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+670.403 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 268550 0 0 0 66340 704 0 0 25 0 1 0 776263515 71897088 16797 4294967295 134512640 134714508 3221224592 3221221548 1074621034 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17553 16797 1111 63 0 17490 0
vsize: 70212
[startup+680.404 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 270437 0 0 0 67336 708 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222992 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+690.404 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 272305 0 0 0 68331 714 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+700.404 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 274120 0 0 0 69327 718 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+710.411 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 275922 0 0 0 70323 722 0 0 25 0 1 0 776263515 71532544 16783 4294967295 134512640 134714508 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16783 1111 63 0 17401 0
vsize: 69856
[startup+720.41 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 277475 0 0 0 71319 727 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222760 1077377422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+730.411 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 279299 0 0 0 72313 733 0 0 25 0 1 0 776263515 74350592 16802 4294967295 134512640 134714508 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18152 16802 1111 63 0 18089 0
vsize: 72608
[startup+740.41 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 280904 0 0 0 73308 739 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+750.419 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 282491 0 0 0 74305 743 0 0 25 0 1 0 776263515 71532544 16783 4294967295 134512640 134714508 3221224592 3221222312 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16783 1111 63 0 17401 0
vsize: 69856
[startup+760.419 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 284316 0 0 0 75299 749 0 0 25 0 1 0 776263515 71532544 16783 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16783 1111 63 0 17401 0
vsize: 69856
[startup+770.424 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 286129 0 0 0 76294 755 0 0 25 0 1 0 776263515 71532544 16783 4294967295 134512640 134714508 3221224592 3221222572 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16783 1111 63 0 17401 0
vsize: 69856
[startup+780.432 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 287715 0 0 0 77290 760 0 0 25 0 1 0 776263515 71532544 16784 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16784 1111 63 0 17401 0
vsize: 69856
[startup+790.433 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 289514 0 0 0 78284 766 0 0 25 0 1 0 776263515 71516160 16781 4294967295 134512640 134714508 3221224592 3221222896 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17460 16781 1111 63 0 17397 0
vsize: 69840
[startup+800.432 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 291111 0 0 0 79279 772 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+810.433 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 292944 0 0 0 80275 776 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+820.438 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 294702 0 0 0 81272 781 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222992 1074119114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+830.439 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 296249 0 0 0 82267 785 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+840.439 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 297860 0 0 0 83262 790 0 0 25 0 1 0 776263515 71532544 16785 4294967295 134512640 134714508 3221224592 3221222880 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17464 16785 1111 63 0 17401 0
vsize: 69856
[startup+850.439 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 299441 0 0 0 84258 795 0 0 25 0 1 0 776263515 74350592 16799 4294967295 134512640 134714508 3221224592 3221220912 1075171889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18152 16799 1111 63 0 18089 0
vsize: 72608
[startup+860.439 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 303253 0 0 0 85249 804 0 0 25 0 1 0 776263515 71495680 16776 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17455 16776 1111 63 0 17392 0
vsize: 69820
[startup+870.439 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 305712 0 0 0 86242 812 0 0 25 0 1 0 776263515 71495680 16776 4294967295 134512640 134714508 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17455 16776 1111 63 0 17392 0
vsize: 69820
[startup+880.441 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 309622 0 0 0 87232 822 0 0 25 0 1 0 776263515 71434240 16761 4294967295 134512640 134714508 3221224592 3221222556 1073972552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17440 16761 1111 63 0 17377 0
vsize: 69760
[startup+890.444 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 311767 0 0 0 88227 828 0 0 25 0 1 0 776263515 71520256 16782 4294967295 134512640 134714508 3221224592 3221222464 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17461 16782 1111 63 0 17398 0
vsize: 69844
[startup+900.444 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 313189 0 0 0 89223 833 0 0 25 0 1 0 776263515 71491584 16775 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17454 16775 1111 63 0 17391 0
vsize: 69816
[startup+910.444 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 314674 0 0 0 90219 837 0 0 25 0 1 0 776263515 71462912 16768 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17447 16768 1111 63 0 17384 0
vsize: 69788
[startup+920.445 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 316174 0 0 0 91213 843 0 0 25 0 1 0 776263515 71487488 16774 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17453 16774 1111 63 0 17390 0
vsize: 69812
[startup+930.445 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 317930 0 0 0 92209 847 0 0 25 0 1 0 776263515 74334208 16791 4294967295 134512640 134714508 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16791 1111 63 0 18085 0
vsize: 72592
[startup+940.445 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 319588 0 0 0 93204 853 0 0 25 0 1 0 776263515 74305536 16786 4294967295 134512640 134714508 3221224592 3221221248 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18141 16786 1111 63 0 18078 0
vsize: 72564
[startup+950.45 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 321026 0 0 0 94201 857 0 0 25 0 1 0 776263515 71487488 16774 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17453 16774 1111 63 0 17390 0
vsize: 69812
[startup+960.453 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 322431 0 0 0 95198 861 0 0 25 0 1 0 776263515 74334208 16795 4294967295 134512640 134714508 3221224592 3221220928 1075113634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16795 1111 63 0 18085 0
vsize: 72592
[startup+970.453 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 323896 0 0 0 96193 865 0 0 25 0 1 0 776263515 71516160 16781 4294967295 134512640 134714508 3221224592 3221223292 134551637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17460 16781 1111 63 0 17397 0
vsize: 69840
[startup+980.564 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 325957 0 0 0 97199 871 0 0 25 0 1 0 776263515 71516160 16781 4294967295 134512640 134714508 3221224592 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17460 16781 1111 63 0 17397 0
vsize: 69840
[startup+990.57 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 327328 0 0 0 98196 875 0 0 25 0 1 0 776263515 71540736 16787 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17466 16787 1111 63 0 17403 0
vsize: 69864
[startup+1000.58 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 329369 0 0 0 99191 881 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1010.62 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 330968 0 0 0 100190 886 0 0 25 0 1 0 776263515 74326016 16794 4294967295 134512640 134714508 3221224592 3221220912 1075169805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18146 16794 1111 63 0 18083 0
vsize: 72584
[startup+1020.62 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 332532 0 0 0 101186 891 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1030.62 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 334134 0 0 0 102182 895 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1040.62 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 335767 0 0 0 103178 900 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221222992 1074153893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1050.62 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 337806 0 0 0 104174 904 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1060.62 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 339310 0 0 0 105170 909 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1070.65 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 341138 0 0 0 106167 914 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1080.76 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 342791 0 0 0 107175 918 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1090.76 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 344320 0 0 0 108171 922 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1100.76 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 345900 0 0 0 109167 927 0 0 25 0 1 0 776263515 71462912 16768 4294967295 134512640 134714508 3221224592 3221222896 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17447 16768 1111 63 0 17384 0
vsize: 69788
[startup+1110.76 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 347404 0 0 0 110163 931 0 0 25 0 1 0 776263515 71462912 16768 4294967295 134512640 134714508 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17447 16768 1111 63 0 17384 0
vsize: 69788
[startup+1120.76 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 349195 0 0 0 111160 935 0 0 25 0 1 0 776263515 71462912 16768 4294967295 134512640 134714508 3221224592 3221222592 1074915856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17447 16768 1111 63 0 17384 0
vsize: 69788
[startup+1130.78 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 350892 0 0 0 112157 940 0 0 25 0 1 0 776263515 71540736 16787 4294967295 134512640 134714508 3221224592 3221222992 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17466 16787 1111 63 0 17403 0
vsize: 69864
[startup+1140.78 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 352456 0 0 0 113153 945 0 0 25 0 1 0 776263515 71557120 16791 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17470 16791 1111 63 0 17407 0
vsize: 69880
[startup+1150.78 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 353826 0 0 0 114150 948 0 0 25 0 1 0 776263515 71507968 16779 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16779 1111 63 0 17395 0
vsize: 69832
[startup+1160.79 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 355542 0 0 0 115145 953 0 0 25 0 1 0 776263515 71462912 16768 4294967295 134512640 134714508 3221224592 3221222240 1075818343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17447 16768 1111 63 0 17384 0
vsize: 69788
[startup+1170.79 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 357381 0 0 0 116140 958 0 0 25 0 1 0 776263515 71462912 16768 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17447 16768 1111 63 0 17384 0
vsize: 69788
[startup+1175.09 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 31498
Raw data (stat): 31498 (bsolo_lpr) R 31497 25568 25567 0 -1 0 357381 0 0 0 116140 958 0 0 25 0 1 0 776263515 71462912 16768 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17447 16768 1111 63 0 17384 0
vsize: 0

Child status: 10
Real time (s): 1175.09
CPU time (s): 1175.26
CPU user time (s): 1165.61
CPU system time (s): 9.64453
CPU usage (%): 100.014
Max. virtual memory (Kb): 72756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	44
#### END VERIFIER DATA ####