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 41283

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 09:35:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29343 boxname=wulflinc2 idbench=1127 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-neos1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-neos1.opb
IDLAUNCH: 29343
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        961680 kB
Buffers:           260 kB
Cached:          51768 kB
SwapCached:       1420 kB
Active:          21252 kB
Inactive:        32776 kB
HighTotal:      131008 kB
HighFree:       103684 kB
LowTotal:       903652 kB
LowFree:        857996 kB
SwapTotal:     2097136 kB
SwapFree:      2094612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4936 kB
Slab:            13252 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:54:43 (client local time) WITH STATUS 10 IN 1175.5 SECONDS
stats: 29343 0 1175.5 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.266 s
c Initial Lower Bound: 12
c Lower Bound Elapsed time: 2.08125
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 36 @ 67.501
c NEW SOLUTION FOUND: 34 @ 137.638
c NEW SOLUTION FOUND: 33 @ 562.712
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.46 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.93 0.90 2/54 25168
Raw data (stat): 25168 (runsolver) R 25167 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909240217 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 14682 0 1 0 954 39 0 0 25 0 1 0 909240217 63262720 14601 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15445 14601 1111 63 0 15382 0
vsize: 61780
[startup+20.0015 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 14764 0 1 0 1954 39 0 0 25 0 1 0 909240217 63668224 14683 4294967295 134512640 134716908 3221224560 3221223232 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.0023 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 14857 0 1 0 2954 40 0 0 25 0 1 0 909240217 64073728 14776 4294967295 134512640 134716908 3221224560 3221223220 134627213 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.002 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 14951 0 1 0 3953 41 0 0 25 0 1 0 909240217 64479232 14870 4294967295 134512640 134716908 3221224560 3221223232 134627203 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.0017 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 17053 0 1 0 4948 46 0 0 25 0 1 0 909240217 67915776 15844 4294967295 134512640 134716908 3221224560 3221222616 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16581 15844 1111 63 0 16518 0
vsize: 66324
[startup+60.0019 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 20694 0 1 0 5938 56 0 0 25 0 1 0 909240217 67215360 15726 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16410 15726 1111 63 0 16347 0
vsize: 65640
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 23036 0 1 0 6930 65 0 0 25 0 1 0 909240217 68771840 15699 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16790 15699 1111 63 0 16727 0
vsize: 67160
[startup+80.0028 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 32085 0 1 0 7907 88 0 0 25 0 1 0 909240217 66945024 15662 4294967295 134512640 134716908 3221224560 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16344 15662 1111 63 0 16281 0
vsize: 65376
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 47422 0 1 0 8866 128 0 0 25 0 1 0 909240217 67186688 15703 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 15703 1111 63 0 16340 0
vsize: 65612
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 64534 0 1 0 9817 177 0 0 25 0 1 0 909240217 67829760 15880 4294967295 134512640 134716908 3221224560 3221222640 1077380097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16560 15880 1111 63 0 16497 0
vsize: 66240
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 80665 0 1 0 10773 221 0 0 25 0 1 0 909240217 67956736 15911 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16591 15911 1111 63 0 16528 0
vsize: 66364
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 92798 0 1 0 11738 257 0 0 25 0 1 0 909240217 68173824 15964 4294967295 134512640 134716908 3221224560 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16644 15964 1111 63 0 16581 0
vsize: 66576
[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 109344 0 1 0 12694 301 0 0 25 0 1 0 909240217 68370432 16012 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16692 16012 1111 63 0 16629 0
vsize: 66768
[startup+140.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 113857 0 1 0 13680 314 0 0 25 0 1 0 909240217 68653056 16081 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 16081 1111 63 0 16698 0
vsize: 67044
[startup+150.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 116579 0 1 0 14673 322 0 0 25 0 1 0 909240217 69136384 16199 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16879 16199 1111 63 0 16816 0
vsize: 67516
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 119124 0 1 0 15666 329 0 0 25 0 1 0 909240217 69058560 16180 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16860 16180 1111 63 0 16797 0
vsize: 67440
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 121778 0 1 0 16659 336 0 0 25 0 1 0 909240217 69189632 16212 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16892 16212 1111 63 0 16829 0
vsize: 67568
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 124300 0 1 0 17653 342 0 0 25 0 1 0 909240217 72966144 16529 4294967295 134512640 134716908 3221224560 3221221680 1074837183 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17814 16529 1111 63 0 17751 0
vsize: 71256
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 126593 0 1 0 18647 348 0 0 25 0 1 0 909240217 69189632 16212 4294967295 134512640 134716908 3221224560 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16892 16212 1111 63 0 16829 0
vsize: 67568
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 129288 0 1 0 19640 355 0 0 25 0 1 0 909240217 72957952 16491 4294967295 134512640 134716908 3221224560 3221220800 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17812 16491 1111 63 0 17749 0
vsize: 71248
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 132327 0 1 0 20632 364 0 0 25 0 1 0 909240217 73080832 16477 4294967295 134512640 134716908 3221224560 3221221676 1075614715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17842 16477 1111 63 0 17779 0
vsize: 71368
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 135174 0 1 0 21624 371 0 0 25 0 1 0 909240217 69292032 16237 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16917 16237 1111 63 0 16854 0
vsize: 67668
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 138473 0 1 0 22615 380 0 0 25 0 1 0 909240217 73043968 16506 4294967295 134512640 134716908 3221224560 3221220688 1075561208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17833 16506 1111 63 0 17770 0
vsize: 71332
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 141252 0 1 0 23608 388 0 0 25 0 1 0 909240217 72949760 16488 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17810 16488 1111 63 0 17747 0
vsize: 71240
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 144229 0 1 0 24602 394 0 0 25 0 1 0 909240217 69234688 16223 4294967295 134512640 134716908 3221224560 3221222944 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16903 16223 1111 63 0 16840 0
vsize: 67612
[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 146955 0 1 0 25596 400 0 0 25 0 1 0 909240217 69496832 16287 4294967295 134512640 134716908 3221224560 3221222304 1075640405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16967 16287 1111 63 0 16904 0
vsize: 67868
[startup+270.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 149022 0 1 0 26590 406 0 0 25 0 1 0 909240217 72523776 16342 4294967295 134512640 134716908 3221224560 3221220988 1075117859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17706 16342 1111 63 0 17643 0
vsize: 70824
[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 151215 0 1 0 27584 412 0 0 25 0 1 0 909240217 69382144 16259 4294967295 134512640 134716908 3221224560 3221222560 1074918566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16939 16259 1111 63 0 16876 0
vsize: 67756
[startup+290.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 153439 0 1 0 28579 417 0 0 25 0 1 0 909240217 69234688 16223 4294967295 134512640 134716908 3221224560 3221222944 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16903 16223 1111 63 0 16840 0
vsize: 67612
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 155403 0 1 0 29574 423 0 0 25 0 1 0 909240217 69414912 16267 4294967295 134512640 134716908 3221224560 3221222864 1074153474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16947 16267 1111 63 0 16884 0
vsize: 67788
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 157658 0 1 0 30567 429 0 0 25 0 1 0 909240217 69386240 16260 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16940 16260 1111 63 0 16877 0
vsize: 67760
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 159555 0 1 0 31562 435 0 0 25 0 1 0 909240217 69488640 16285 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16965 16285 1111 63 0 16902 0
vsize: 67860
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 160836 0 1 0 32558 439 0 0 25 0 1 0 909240217 69627904 16319 4294967295 134512640 134716908 3221224560 3221222824 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16999 16319 1111 63 0 16936 0
vsize: 67996
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 162139 0 1 0 33554 442 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222944 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 163216 0 1 0 34552 445 0 0 25 0 1 0 909240217 72437760 16354 4294967295 134512640 134716908 3221224560 3221220896 1075113508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17685 16354 1111 63 0 17622 0
vsize: 70740
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 164435 0 1 0 35548 449 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 165751 0 1 0 36544 453 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 166933 0 1 0 37542 456 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 168089 0 1 0 38539 458 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 169110 0 1 0 39537 461 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222912 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 170191 0 1 0 40534 464 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222824 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 171282 0 1 0 41531 467 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 172431 0 1 0 42528 470 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 174221 0 1 0 43523 476 0 0 25 0 1 0 909240217 69619712 16317 4294967295 134512640 134716908 3221224560 3221222560 1074918212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 177389 0 1 0 44514 485 0 0 25 0 1 0 909240217 69890048 16355 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17063 16355 1111 63 0 17000 0
vsize: 68252
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 181871 0 1 0 45501 498 0 0 25 0 1 0 909240217 70209536 16461 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17141 16461 1111 63 0 17078 0
vsize: 68564
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 185851 0 1 0 46490 509 0 0 25 0 1 0 909240217 71217152 16707 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17387 16707 1111 63 0 17324 0
vsize: 69548
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 187972 0 1 0 47484 515 0 0 25 0 1 0 909240217 74428416 16829 4294967295 134512640 134716908 3221224560 3221221552 1075110409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18171 16829 1111 63 0 18108 0
vsize: 72684
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 191306 0 1 0 48476 524 0 0 25 0 1 0 909240217 72540160 17030 4294967295 134512640 134716908 3221224560 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17710 17030 1111 63 0 17647 0
vsize: 70840
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 193600 0 1 0 49470 530 0 0 25 0 1 0 909240217 72802304 17065 4294967295 134512640 134716908 3221224560 3221222288 1075828486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17774 17065 1111 63 0 17711 0
vsize: 71096
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 194709 0 1 0 50467 533 0 0 25 0 1 0 909240217 72650752 17057 4294967295 134512640 134716908 3221224560 3221222944 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 195892 0 1 0 51464 536 0 0 25 0 1 0 909240217 72650752 17057 4294967295 134512640 134716908 3221224560 3221222864 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 197002 0 1 0 52461 539 0 0 25 0 1 0 909240217 72650752 17057 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 198152 0 1 0 53457 543 0 0 25 0 1 0 909240217 72650752 17057 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 199892 0 1 0 54451 549 0 0 25 0 1 0 909240217 72650752 17057 4294967295 134512640 134716908 3221224560 3221222560 1074919726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 201920 0 1 0 55445 555 0 0 25 0 1 0 909240217 72650752 17057 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 203843 0 1 0 56439 561 0 0 25 0 1 0 909240217 72790016 17058 4294967295 134512640 134716908 3221224560 3221222208 1075818355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17771 17058 1111 63 0 17708 0
vsize: 71084
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 206135 0 1 0 57432 568 0 0 25 0 1 0 909240217 72650752 17057 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 209382 0 1 0 58422 579 0 0 25 0 1 0 909240217 73064448 17158 4294967295 134512640 134716908 3221224560 3221222768 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17838 17158 1111 63 0 17775 0
vsize: 71352
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 211800 0 1 0 59414 586 0 0 25 0 1 0 909240217 73097216 17165 4294967295 134512640 134716908 3221224560 3221223128 1077377371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17846 17165 1111 63 0 17783 0
vsize: 71384
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 214751 0 1 0 60405 596 0 0 25 0 1 0 909240217 73232384 17199 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17879 17199 1111 63 0 17816 0
vsize: 71516
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 219692 0 1 0 61391 611 0 0 25 0 1 0 909240217 76730368 17354 4294967295 134512640 134716908 3221224560 3221220896 1075113511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18733 17354 1111 63 0 18670 0
vsize: 74932
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 224151 0 1 0 62379 623 0 0 25 0 1 0 909240217 73293824 17214 4294967295 134512640 134716908 3221224560 3221222896 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17894 17214 1111 63 0 17831 0
vsize: 71576
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 228726 0 1 0 63365 637 0 0 25 0 1 0 909240217 74125312 17390 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18097 17390 1111 63 0 18034 0
vsize: 72388
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 233398 0 1 0 64352 650 0 0 25 0 1 0 909240217 74272768 17430 4294967295 134512640 134716908 3221224560 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18133 17430 1111 63 0 18070 0
vsize: 72532
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 237592 0 1 0 65340 662 0 0 25 0 1 0 909240217 74412032 17468 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17470 1111 63 0 18333 0
vsize: 72668
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 243034 0 1 0 66325 677 0 0 25 0 1 0 909240217 77811712 17634 4294967295 134512640 134716908 3221224560 3221221564 1074621037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18997 17634 1111 63 0 18934 0
vsize: 75988
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 247175 0 1 0 67314 689 0 0 25 0 1 0 909240217 75186176 17644 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18356 17644 1111 63 0 18293 0
vsize: 73424
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 251094 0 1 0 68303 700 0 0 25 0 1 0 909240217 75042816 17641 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18321 17641 1111 63 0 18258 0
vsize: 73284
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 254793 0 1 0 69293 710 0 0 25 0 1 0 909240217 75685888 17798 4294967295 134512640 134716908 3221224560 3221222560 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18478 17798 1111 63 0 18415 0
vsize: 73912
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 258940 0 1 0 70283 721 0 0 25 0 1 0 909240217 75816960 17830 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18510 17830 1111 63 0 18447 0
vsize: 74040
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 262353 0 1 0 71274 730 0 0 25 0 1 0 909240217 76075008 17893 4294967295 134512640 134716908 3221224560 3221222896 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18573 17893 1111 63 0 18510 0
vsize: 74292
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 265527 0 1 0 72266 738 0 0 25 0 1 0 909240217 76242944 17934 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18614 17934 1111 63 0 18551 0
vsize: 74456
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 268142 0 1 0 73259 745 0 0 25 0 1 0 909240217 79400960 18016 4294967295 134512640 134716908 3221224560 3221221588 1075964296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19385 18016 1111 63 0 19322 0
vsize: 77540
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 270604 0 1 0 74251 753 0 0 25 0 1 0 909240217 78286848 18344 4294967295 134512640 134716908 3221224560 3221222672 1074867314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19113 18344 1111 63 0 19050 0
vsize: 76452
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 273781 0 1 0 75243 762 0 0 25 0 1 0 909240217 80441344 18350 4294967295 134512640 134716908 3221224560 3221220616 1074789548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19639 18350 1111 63 0 19576 0
vsize: 78556
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 276702 0 1 0 76236 769 0 0 25 0 1 0 909240217 76808192 18041 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18752 18041 1111 63 0 18689 0
vsize: 75008
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 279372 0 1 0 77229 776 0 0 25 0 1 0 909240217 77537280 18250 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18930 18250 1111 63 0 18867 0
vsize: 75720
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 281331 0 1 0 78225 780 0 0 25 0 1 0 909240217 77447168 18228 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18908 18228 1111 63 0 18845 0
vsize: 75632
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 283411 0 1 0 79219 786 0 0 25 0 1 0 909240217 78864384 18356 4294967295 134512640 134716908 3221224560 3221221632 1074837183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19254 18356 1111 63 0 19191 0
vsize: 77016
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 285240 0 1 0 80214 791 0 0 25 0 1 0 909240217 77524992 18247 4294967295 134512640 134716908 3221224560 3221222944 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18927 18247 1111 63 0 18864 0
vsize: 75708
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 286740 0 1 0 81209 796 0 0 25 0 1 0 909240217 77484032 18237 4294967295 134512640 134716908 3221224560 3221222864 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 288398 0 1 0 82205 801 0 0 25 0 1 0 909240217 77484032 18237 4294967295 134512640 134716908 3221224560 3221222944 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 290373 0 1 0 83200 806 0 0 25 0 1 0 909240217 81588224 18655 4294967295 134512640 134716908 3221224560 3221220720 1074794554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19919 18655 1111 63 0 19856 0
vsize: 79676
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 292839 0 1 0 84193 813 0 0 25 0 1 0 909240217 77713408 18293 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18973 18293 1111 63 0 18910 0
vsize: 75892
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 295496 0 1 0 85187 819 0 0 25 0 1 0 909240217 77520896 18246 4294967295 134512640 134716908 3221224560 3221222816 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18926 18246 1111 63 0 18863 0
vsize: 75704
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 297842 0 1 0 86181 826 0 0 25 0 1 0 909240217 77520896 18246 4294967295 134512640 134716908 3221224560 3221222488 1077378605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18926 18246 1111 63 0 18863 0
vsize: 75704
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 300624 0 1 0 87175 831 0 0 25 0 1 0 909240217 77520896 18246 4294967295 134512640 134716908 3221224560 3221222848 1074143905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18926 18246 1111 63 0 18863 0
vsize: 75704
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 302880 0 1 0 88170 837 0 0 25 0 1 0 909240217 77688832 18287 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18967 18287 1111 63 0 18904 0
vsize: 75868
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 304469 0 1 0 89165 841 0 0 25 0 1 0 909240217 77840384 18324 4294967295 134512640 134716908 3221224560 3221222976 1074117052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19004 18324 1111 63 0 18941 0
vsize: 76016
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 306245 0 1 0 90161 846 0 0 25 0 1 0 909240217 77918208 18267 4294967295 134512640 134716908 3221224560 3221222480 1075799638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19023 18267 1111 63 0 18960 0
vsize: 76092
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 308019 0 1 0 91157 850 0 0 25 0 1 0 909240217 77484032 18237 4294967295 134512640 134716908 3221224560 3221222912 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 309458 0 1 0 92153 854 0 0 25 0 1 0 909240217 77484032 18237 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 311210 0 1 0 93147 860 0 0 25 0 1 0 909240217 77484032 18237 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 313048 0 1 0 94141 867 0 0 25 0 1 0 909240217 77484032 18237 4294967295 134512640 134716908 3221224560 3221222912 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 314706 0 1 0 95136 872 0 0 25 0 1 0 909240217 80470016 18282 4294967295 134512640 134716908 3221224560 3221221136 1076047496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19646 18282 1111 63 0 19583 0
vsize: 78584
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 316552 0 1 0 96131 877 0 0 25 0 1 0 909240217 77819904 18252 4294967295 134512640 134716908 3221224560 3221222288 1075828921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18999 18252 1111 63 0 18936 0
vsize: 75996
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 319255 0 1 0 97125 884 0 0 25 0 1 0 909240217 77516800 18245 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18925 18245 1111 63 0 18862 0
vsize: 75700
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 322900 0 1 0 98114 894 0 0 25 0 1 0 909240217 80867328 18379 4294967295 134512640 134716908 3221224560 3221220704 1075963939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19743 18379 1111 63 0 19680 0
vsize: 78972
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 326411 0 1 0 99105 904 0 0 25 0 1 0 909240217 80891904 18383 4294967295 134512640 134716908 3221224560 3221220832 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19749 18384 1111 63 0 19686 0
vsize: 78996
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 330696 0 1 0 100092 916 0 0 25 0 1 0 909240217 80990208 18407 4294967295 134512640 134716908 3221224560 3221220788 1075115023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19773 18407 1111 63 0 19710 0
vsize: 79092
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 334333 0 1 0 101083 926 0 0 25 0 1 0 909240217 80994304 18423 4294967295 134512640 134716908 3221224560 3221220604 1074873480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19774 18423 1111 63 0 19711 0
vsize: 79096
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 337959 0 1 0 102074 936 0 0 25 0 1 0 909240217 78192640 18385 4294967295 134512640 134716908 3221224560 3221222896 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19090 18385 1111 63 0 19027 0
vsize: 76360
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 342107 0 1 0 103061 949 0 0 25 0 1 0 909240217 81289216 18498 4294967295 134512640 134716908 3221224560 3221220616 1074789548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19846 18498 1111 63 0 19783 0
vsize: 79384
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 346035 0 1 0 104050 959 0 0 25 0 1 0 909240217 81330176 18507 4294967295 134512640 134716908 3221224560 3221220364 1074787538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19856 18507 1111 63 0 19793 0
vsize: 79424
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 349995 0 1 0 105041 969 0 0 25 0 1 0 909240217 81645568 18568 4294967295 134512640 134716908 3221224560 3221220832 1074961363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19933 18568 1111 63 0 19870 0
vsize: 79732
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 352701 0 1 0 106032 978 0 0 25 0 1 0 909240217 78827520 18565 4294967295 134512640 134716908 3221224560 3221222560 1074056648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19245 18565 1111 63 0 19182 0
vsize: 76980
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 355011 0 1 0 107027 984 0 0 25 0 1 0 909240217 78880768 18578 4294967295 134512640 134716908 3221224560 3221222936 1074152892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19258 18578 1111 63 0 19195 0
vsize: 77032
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 357379 0 1 0 108021 990 0 0 25 0 1 0 909240217 79101952 18632 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19312 18632 1111 63 0 19249 0
vsize: 77248
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 359806 0 1 0 109014 997 0 0 25 0 1 0 909240217 79134720 18640 4294967295 134512640 134716908 3221224560 3221222960 1074118870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19320 18640 1111 63 0 19257 0
vsize: 77280
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 363229 0 1 0 110005 1006 0 0 25 0 1 0 909240217 79101952 18632 4294967295 134512640 134716908 3221224560 3221222760 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19312 18632 1111 63 0 19249 0
vsize: 77248
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 365586 0 1 0 110998 1013 0 0 25 0 1 0 909240217 79536128 18709 4294967295 134512640 134716908 3221224560 3221222288 1075828915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19418 18709 1111 63 0 19355 0
vsize: 77672
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 368559 0 1 0 111990 1021 0 0 25 0 1 0 909240217 79454208 18718 4294967295 134512640 134716908 3221224560 3221222816 1077378571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19398 18718 1111 63 0 19335 0
vsize: 77592
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 371979 0 1 0 112982 1030 0 0 25 0 1 0 909240217 82800640 18882 4294967295 134512640 134716908 3221224560 3221221092 1075863666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20215 18882 1111 63 0 20152 0
vsize: 80860
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 374987 0 1 0 113973 1039 0 0 25 0 1 0 909240217 79941632 18837 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19481 18801 1111 63 0 19418 0
vsize: 78068
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 379226 0 1 0 114961 1051 0 0 25 0 1 0 909240217 82264064 19084 4294967295 134512640 134716908 3221224560 3221220528 1074872888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20084 19084 1111 63 0 20021 0
vsize: 80336
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 383038 0 1 0 115950 1062 0 0 25 0 1 0 909240217 79667200 18770 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19450 18770 1111 63 0 19387 0
vsize: 77800
[startup+1175.4 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25168
Raw data (stat): 25168 (bsolo_lpr_cuts-) R 25167 31399 31398 0 -1 0 383038 0 1 0 115950 1062 0 0 25 0 1 0 909240217 79667200 18770 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19450 18770 1111 63 0 19387 0
vsize: 0

Child status: 10
Real time (s): 1175.4
CPU time (s): 1175.5
CPU user time (s): 1164.75
CPU system time (s): 10.7464
CPU usage (%): 100.009
Max. virtual memory (Kb): 80860
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	33
#### END VERIFIER DATA ####