PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 19:12:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29728 boxname=wulflinc1 idbench=1512 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-neos1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-neos1.opb
IDLAUNCH: 29728
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        937896 kB
Buffers:           148 kB
Cached:          73144 kB
SwapCached:       1100 kB
Active:          23432 kB
Inactive:        51952 kB
HighTotal:      131008 kB
HighFree:        54628 kB
LowTotal:       903652 kB
LowFree:        883268 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5216 kB
Slab:            15528 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:32:19 (client local time) WITH STATUS 10 IN 1176.61 SECONDS
stats: 29728 0 1176.61 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.782 s
c Initial Lower Bound: 12
c Lower Bound Elapsed time: 2.1255
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 36 @ 66.573
c NEW SOLUTION FOUND: 34 @ 135.368
c NEW SOLUTION FOUND: 33 @ 556.801
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: 1176.57 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.82 0.93 0.90 2/55 9268
Raw data (stat): 9268 (runsolver) R 9267 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855845520 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.85 0.93 0.90 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 14684 0 0 0 961 36 0 0 25 0 1 0 855845520 63262720 14602 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15445 14602 1111 63 0 15382 0
vsize: 61780
[startup+20.0005 s]
Raw data (loadavg): 0.87 0.93 0.90 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 14768 0 0 0 1960 37 0 0 25 0 1 0 855845520 63668224 14686 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 14686 1111 63 0 15481 0
vsize: 62176
[startup+30.0013 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 14862 0 0 0 2961 37 0 0 25 0 1 0 855845520 64073728 14780 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15643 14780 1111 63 0 15580 0
vsize: 62572
[startup+40.001 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 14952 0 0 0 3960 37 0 0 25 0 1 0 855845520 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.0019 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 17054 0 0 0 4956 42 0 0 25 0 1 0 855845520 67915776 15844 4294967295 134512640 134716908 3221224560 3221222676 1075964296 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.0017 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 20695 0 0 0 5946 52 0 0 25 0 1 0 855845520 67215360 15726 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16410 15726 1111 63 0 16347 0
vsize: 65640
[startup+70.0015 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 23963 0 0 0 6935 61 0 0 25 0 1 0 855845520 66891776 15648 4294967295 134512640 134716908 3221224560 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16331 15648 1111 63 0 16268 0
vsize: 65324
[startup+80.0022 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 32889 0 0 0 7915 82 0 0 25 0 1 0 855845520 66945024 15663 4294967295 134512640 134716908 3221224560 3221222448 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16344 15663 1111 63 0 16281 0
vsize: 65376
[startup+90.0019 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 50427 0 0 0 8871 126 0 0 25 0 1 0 855845520 70176768 16014 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17133 16014 1111 63 0 17070 0
vsize: 68532
[startup+100.002 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 67095 0 0 0 9828 168 0 0 25 0 1 0 855845520 67858432 15887 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16567 15887 1111 63 0 16504 0
vsize: 66268
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 82131 0 0 0 10789 208 0 0 25 0 1 0 855845520 68124672 15952 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16632 15952 1111 63 0 16569 0
vsize: 66528
[startup+120.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 96377 0 0 0 11755 242 0 0 25 0 1 0 855845520 68173824 15964 4294967295 134512640 134716908 3221224560 3221222912 1074153672 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.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 109967 0 0 0 12723 275 0 0 25 0 1 0 855845520 71467008 16064 4294967295 134512640 134716908 3221224560 3221220720 1074794689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17448 16064 1111 63 0 17385 0
vsize: 69792
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 114587 0 0 0 13710 287 0 0 25 0 1 0 855845520 68804608 16118 4294967295 134512640 134716908 3221224560 3221222960 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16798 16118 1111 63 0 16735 0
vsize: 67192
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 117440 0 0 0 14704 293 0 0 25 0 1 0 855845520 69136384 16199 4294967295 134512640 134716908 3221224560 3221222920 1077410279 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.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 120005 0 0 0 15698 300 0 0 25 0 1 0 855845520 69029888 16173 4294967295 134512640 134716908 3221224560 3221222944 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16853 16173 1111 63 0 16790 0
vsize: 67412
[startup+170.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 122612 0 0 0 16691 306 0 0 25 0 1 0 855845520 69189632 16212 4294967295 134512640 134716908 3221224560 3221222944 1074153822 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.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 125145 0 0 0 17685 312 0 0 25 0 1 0 855845520 69189632 16212 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16892 16212 1111 63 0 16829 0
vsize: 67568
[startup+190.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 127752 0 0 0 18680 318 0 0 25 0 1 0 855845520 73015296 16502 4294967295 134512640 134716908 3221224560 3221220800 1075115696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17826 16502 1111 63 0 17763 0
vsize: 71304
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 130799 0 0 0 19672 325 0 0 25 0 1 0 855845520 73043968 16449 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17833 16449 1111 63 0 17770 0
vsize: 71332
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 133889 0 0 0 20665 333 0 0 25 0 1 0 855845520 73031680 16472 4294967295 134512640 134716908 3221224560 3221220472 1074788384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17830 16472 1111 63 0 17767 0
vsize: 71320
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 137051 0 0 0 21658 341 0 0 25 0 1 0 855845520 72986624 16492 4294967295 134512640 134716908 3221224560 3221221488 1075960291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17819 16492 1111 63 0 17756 0
vsize: 71276
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 140215 0 0 0 22651 348 0 0 25 0 1 0 855845520 69234688 16223 4294967295 134512640 134716908 3221224560 3221222944 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16903 16223 1111 63 0 16840 0
vsize: 67612
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 142921 0 0 0 23645 354 0 0 25 0 1 0 855845520 69234688 16223 4294967295 134512640 134716908 3221224560 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16903 16223 1111 63 0 16840 0
vsize: 67612
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 145863 0 0 0 24638 361 0 0 25 0 1 0 855845520 69431296 16271 4294967295 134512640 134716908 3221224560 3221222472 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16951 16271 1111 63 0 16888 0
vsize: 67804
[startup+260.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 148140 0 0 0 25632 367 0 0 25 0 1 0 855845520 69234688 16223 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16903 16223 1111 63 0 16840 0
vsize: 67612
[startup+270.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 150533 0 0 0 26626 373 0 0 25 0 1 0 855845520 69234688 16223 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16903 16223 1111 63 0 16840 0
vsize: 67612
[startup+280.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 152676 0 0 0 27621 379 0 0 25 0 1 0 855845520 69234688 16223 4294967295 134512640 134716908 3221224560 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16903 16223 1111 63 0 16840 0
vsize: 67612
[startup+290.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 154659 0 0 0 28616 383 0 0 25 0 1 0 855845520 69234688 16223 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16903 16223 1111 63 0 16840 0
vsize: 67612
[startup+300.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 156933 0 0 0 29610 389 0 0 25 0 1 0 855845520 69632000 16320 4294967295 134512640 134716908 3221224560 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17000 16320 1111 63 0 16937 0
vsize: 68000
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 158959 0 0 0 30605 395 0 0 25 0 1 0 855845520 69488640 16285 4294967295 134512640 134716908 3221224560 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16965 16285 1111 63 0 16902 0
vsize: 67860
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 160443 0 0 0 31600 399 0 0 25 0 1 0 855845520 69672960 16330 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17010 16330 1111 63 0 16947 0
vsize: 68040
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 161771 0 0 0 32597 403 0 0 25 0 1 0 855845520 69672960 16330 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17010 16330 1111 63 0 16947 0
vsize: 68040
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 162836 0 0 0 33594 406 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221222792 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 163977 0 0 0 34591 410 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 165375 0 0 0 35588 413 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 166507 0 0 0 36584 417 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221223184 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 167706 0 0 0 37581 420 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221222684 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 168844 0 0 0 38579 422 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221222912 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 169819 0 0 0 39576 425 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221222384 1075823107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 170952 0 0 0 40573 428 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 172036 0 0 0 41571 431 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 173569 0 0 0 42567 435 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 176173 0 0 0 43560 442 0 0 25 0 1 0 855845520 69619712 16317 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16997 16317 1111 63 0 16934 0
vsize: 67988
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 180613 0 0 0 44549 453 0 0 25 0 1 0 855845520 70279168 16446 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17158 16446 1111 63 0 17095 0
vsize: 68632
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 185257 0 0 0 45534 468 0 0 25 0 1 0 855845520 71385088 16729 4294967295 134512640 134716908 3221224560 3221221752 1074138271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17428 16729 1111 63 0 17365 0
vsize: 69712
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 187079 0 0 0 46529 473 0 0 25 0 1 0 855845520 71217152 16707 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17387 16707 1111 63 0 17324 0
vsize: 69548
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 190068 0 0 0 47522 480 0 0 25 0 1 0 855845520 71966720 16858 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17570 16858 1111 63 0 17507 0
vsize: 70280
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 193102 0 0 0 48515 488 0 0 25 0 1 0 855845520 75804672 17190 4294967295 134512640 134716908 3221224560 3221221712 1075969830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18507 17190 1111 63 0 18444 0
vsize: 74028
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 194387 0 0 0 49512 491 0 0 25 0 1 0 855845520 73576448 17109 4294967295 134512640 134716908 3221224560 3221221040 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17963 17109 1111 63 0 17900 0
vsize: 71852
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 195458 0 0 0 50509 495 0 0 25 0 1 0 855845520 72650752 17057 4294967295 134512640 134716908 3221224560 3221223120 134652538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 196477 0 0 0 51507 496 0 0 25 0 1 0 855845520 72650752 17057 4294967295 134512640 134716908 3221224560 3221222784 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 197669 0 0 0 52505 499 0 0 25 0 1 0 855845520 73269248 17073 4294967295 134512640 134716908 3221224560 3221220784 1074960822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17888 17073 1111 63 0 17825 0
vsize: 71552
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 199175 0 0 0 53500 503 0 0 25 0 1 0 855845520 74997760 17082 4294967295 134512640 134716908 3221224560 3221220712 1074883029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18310 17082 1111 63 0 18247 0
vsize: 73240
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 201031 0 0 0 54495 509 0 0 25 0 1 0 855845520 72650752 17057 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 202925 0 0 0 55491 513 0 0 25 0 1 0 855845520 72650752 17057 4294967295 134512640 134716908 3221224560 3221222288 1075829036 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 205181 0 0 0 56486 518 0 0 25 0 1 0 855845520 72650752 17057 4294967295 134512640 134716908 3221224560 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17737 17057 1111 63 0 17674 0
vsize: 70948
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 208166 0 0 0 57479 525 0 0 25 0 1 0 855845520 73166848 17148 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17863 17155 1111 63 0 17800 0
vsize: 71452
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 210860 0 0 0 58470 534 0 0 25 0 1 0 855845520 73064448 17158 4294967295 134512640 134716908 3221224560 3221222848 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17838 17158 1111 63 0 17775 0
vsize: 71352
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 213644 0 0 0 59463 541 0 0 25 0 1 0 855845520 73371648 17201 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17913 17201 1111 63 0 17850 0
vsize: 71652
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 217764 0 0 0 60454 551 0 0 25 0 1 0 855845520 73621504 17224 4294967295 134512640 134716908 3221224560 3221222208 1075817784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17974 17225 1111 63 0 17911 0
vsize: 71896
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 222218 0 0 0 61443 562 0 0 25 0 1 0 855845520 73293824 17214 4294967295 134512640 134716908 3221224560 3221222896 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17894 17214 1111 63 0 17831 0
vsize: 71576
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 227176 0 0 0 62432 572 0 0 25 0 1 0 855845520 73691136 17311 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17991 17311 1111 63 0 17928 0
vsize: 71964
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 231302 0 0 0 63421 584 0 0 25 0 1 0 855845520 73760768 17328 4294967295 134512640 134716908 3221224560 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18008 17328 1111 63 0 17945 0
vsize: 72032
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 235871 0 0 0 64410 596 0 0 25 0 1 0 855845520 74362880 17453 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18155 17453 1111 63 0 18092 0
vsize: 72620
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 240434 0 0 0 65399 606 0 0 25 0 1 0 855845520 74698752 17530 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18237 17530 1111 63 0 18174 0
vsize: 72948
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 245600 0 0 0 66387 618 0 0 25 0 1 0 855845520 74838016 17591 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18271 17591 1111 63 0 18208 0
vsize: 73084
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 249565 0 0 0 67376 630 0 0 25 0 1 0 855845520 75042816 17641 4294967295 134512640 134716908 3221224560 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 17641 1111 63 0 18258 0
vsize: 73284
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 253570 0 0 0 68365 641 0 0 25 0 1 0 855845520 75874304 17810 4294967295 134512640 134716908 3221224560 3221221664 1074138723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18524 17810 1111 63 0 18461 0
vsize: 74096
[startup+700.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 257194 0 0 0 69355 651 0 0 25 0 1 0 855845520 75550720 17765 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18445 17765 1111 63 0 18382 0
vsize: 73780
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 260747 0 0 0 70345 661 0 0 25 0 1 0 855845520 76050432 17878 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18567 17878 1111 63 0 18504 0
vsize: 74268
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 264171 0 0 0 71335 671 0 0 25 0 1 0 855845520 76283904 17944 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18624 17944 1111 63 0 18561 0
vsize: 74496
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 267206 0 0 0 72328 678 0 0 25 0 1 0 855845520 79224832 18003 4294967295 134512640 134716908 3221224560 3221221632 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19342 18003 1111 63 0 19279 0
vsize: 77368
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 269483 0 0 0 73322 684 0 0 25 0 1 0 855845520 76345344 17959 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18639 17959 1111 63 0 18576 0
vsize: 74556
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 272422 0 0 0 74314 693 0 0 25 0 1 0 855845520 76541952 18007 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18687 18007 1111 63 0 18624 0
vsize: 74748
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 275334 0 0 0 75307 700 0 0 25 0 1 0 855845520 80400384 18321 4294967295 134512640 134716908 3221224560 3221221680 1074835529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19629 18321 1111 63 0 19566 0
vsize: 78516
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 278018 0 0 0 76301 707 0 0 25 0 1 0 855845520 77250560 18178 4294967295 134512640 134716908 3221224560 3221222672 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18860 18178 1111 63 0 18797 0
vsize: 75440
[startup+780.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 280369 0 0 0 77294 713 0 0 25 0 1 0 855845520 77295616 18191 4294967295 134512640 134716908 3221224560 3221222184 1074138319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18871 18191 1111 63 0 18808 0
vsize: 75484
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 282467 0 0 0 78290 718 0 0 25 0 1 0 855845520 77447168 18228 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18908 18228 1111 63 0 18845 0
vsize: 75632
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 284346 0 0 0 79285 723 0 0 25 0 1 0 855845520 77524992 18247 4294967295 134512640 134716908 3221224560 3221222744 1077378123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18927 18247 1111 63 0 18864 0
vsize: 75708
[startup+810.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 286106 0 0 0 80280 727 0 0 25 0 1 0 855845520 77524992 18247 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18927 18247 1111 63 0 18864 0
vsize: 75708
[startup+820.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 287598 0 0 0 81277 731 0 0 25 0 1 0 855845520 77484032 18237 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 289086 0 0 0 82272 736 0 0 25 0 1 0 855845520 81682432 18678 4294967295 134512640 134716908 3221224560 3221220428 1074787708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19942 18678 1111 63 0 19879 0
vsize: 79768
[startup+840.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 291878 0 0 0 83265 743 0 0 25 0 1 0 855845520 77520896 18246 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18926 18246 1111 63 0 18863 0
vsize: 75704
[startup+850.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 294329 0 0 0 84260 749 0 0 25 0 1 0 855845520 77520896 18246 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18926 18246 1111 63 0 18863 0
vsize: 75704
[startup+860.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 296744 0 0 0 85254 755 0 0 25 0 1 0 855845520 77520896 18246 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18926 18246 1111 63 0 18863 0
vsize: 75704
[startup+870.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 299120 0 0 0 86248 761 0 0 25 0 1 0 855845520 80896000 18444 4294967295 134512640 134716908 3221224560 3221221600 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19750 18444 1111 63 0 19687 0
vsize: 79000
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 301482 0 0 0 87242 767 0 0 25 0 1 0 855845520 78188544 18327 4294967295 134512640 134716908 3221224560 3221222288 1075828500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19089 18327 1111 63 0 19026 0
vsize: 76356
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 303533 0 0 0 88237 772 0 0 25 0 1 0 855845520 80842752 18414 4294967295 134512640 134716908 3221224560 3221220800 1075115768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19737 18414 1111 63 0 19674 0
vsize: 78948
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 305254 0 0 0 89232 778 0 0 25 0 1 0 855845520 77643776 18276 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18956 18276 1111 63 0 18893 0
vsize: 75824
[startup+910.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 307056 0 0 0 90227 782 0 0 25 0 1 0 855845520 77606912 18267 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18947 18267 1111 63 0 18884 0
vsize: 75788
[startup+920.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 308736 0 0 0 91224 786 0 0 25 0 1 0 855845520 80338944 18289 4294967295 134512640 134716908 3221224560 3221221720 1077374433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19614 18289 1111 63 0 19551 0
vsize: 78456
[startup+930.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 310185 0 0 0 92219 790 0 0 25 0 1 0 855845520 77484032 18237 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+940.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 311858 0 0 0 93215 795 0 0 25 0 1 0 855845520 77484032 18237 4294967295 134512640 134716908 3221224560 3221222896 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+950.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 313609 0 0 0 94209 801 0 0 25 0 1 0 855845520 77484032 18237 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18917 18237 1111 63 0 18854 0
vsize: 75668
[startup+960.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 315501 0 0 0 95204 806 0 0 25 0 1 0 855845520 77668352 18263 4294967295 134512640 134716908 3221224560 3221222304 1075646979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18925 18245 1111 63 0 18862 0
vsize: 75848
[startup+970.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 317638 0 0 0 96198 812 0 0 25 0 1 0 855845520 77709312 18292 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18972 18292 1111 63 0 18909 0
vsize: 75888
[startup+980.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 320720 0 0 0 97190 820 0 0 25 0 1 0 855845520 77557760 18255 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18935 18255 1111 63 0 18872 0
vsize: 75740
[startup+990.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 324414 0 0 0 98182 830 0 0 25 0 1 0 855845520 77557760 18255 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18935 18255 1111 63 0 18872 0
vsize: 75740
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 328050 0 0 0 99175 837 0 0 25 0 1 0 855845520 77692928 18288 4294967295 134512640 134716908 3221224560 3221223232 134652572 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18968 18288 1111 63 0 18905 0
vsize: 75872
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 332489 0 0 0 100163 849 0 0 25 0 1 0 855845520 80900096 18409 4294967295 134512640 134716908 3221224560 3221221160 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19751 18409 1111 63 0 19688 0
vsize: 79004
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 335647 0 0 0 101155 857 0 0 25 0 1 0 855845520 78196736 18379 4294967295 134512640 134716908 3221224560 3221222392 1074057994 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19091 18379 1111 63 0 19028 0
vsize: 76364
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 339505 0 0 0 102145 867 0 0 25 0 1 0 855845520 78258176 18388 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19106 18392 1111 63 0 19043 0
vsize: 76424
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 343731 0 0 0 103136 876 0 0 25 0 1 0 855845520 78086144 18384 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19064 18384 1111 63 0 19001 0
vsize: 76256
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 347890 0 0 0 104126 886 0 0 25 0 1 0 855845520 78151680 18400 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19080 18400 1111 63 0 19017 0
vsize: 76320
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 351219 0 0 0 105118 895 0 0 25 0 1 0 855845520 78479360 18480 4294967295 134512640 134716908 3221224560 3221222912 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19160 18480 1111 63 0 19097 0
vsize: 76640
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 353757 0 0 0 106111 902 0 0 25 0 1 0 855845520 78827520 18565 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19245 18565 1111 63 0 19182 0
vsize: 76980
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 356146 0 0 0 107106 907 0 0 25 0 1 0 855845520 79101952 18632 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19312 18632 1111 63 0 19249 0
vsize: 77248
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 358574 0 0 0 108100 914 0 0 25 0 1 0 855845520 79101952 18632 4294967295 134512640 134716908 3221224560 3221222488 1077378722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19312 18632 1111 63 0 19249 0
vsize: 77248
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 361047 0 0 0 109092 921 0 0 25 0 1 0 855845520 79101952 18632 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19312 18632 1111 63 0 19249 0
vsize: 77248
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 364498 0 0 0 110085 929 0 0 25 0 1 0 855845520 82382848 18763 4294967295 134512640 134716908 3221224560 3221220720 1075091819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20113 18765 1111 63 0 20050 0
vsize: 80452
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 366729 0 0 0 111079 935 0 0 25 0 1 0 855845520 79396864 18704 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 18704 1111 63 0 19321 0
vsize: 77536
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 369950 0 0 0 112070 944 0 0 25 0 1 0 855845520 82599936 18832 4294967295 134512640 134716908 3221224560 3221220764 1075564165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20166 18832 1111 63 0 20103 0
vsize: 80664
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 373145 0 0 0 113061 953 0 0 25 0 1 0 855845520 79577088 18748 4294967295 134512640 134716908 3221224560 3221222944 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19428 18748 1111 63 0 19365 0
vsize: 77712
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 376938 0 0 0 114051 963 0 0 25 0 1 0 855845520 83161088 18973 4294967295 134512640 134716908 3221224560 3221220800 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20303 18973 1111 63 0 20240 0
vsize: 81212
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 380758 0 0 0 115043 972 0 0 25 0 1 0 855845520 80068608 18848 4294967295 134512640 134716908 3221224560 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19548 18848 1111 63 0 19485 0
vsize: 78192
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 384920 0 0 0 116031 984 0 0 25 0 1 0 855845520 79872000 18819 4294967295 134512640 134716908 3221224560 3221222560 1074916669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19500 18819 1111 63 0 19437 0
vsize: 78000
[startup+1176.47 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9268
Raw data (stat): 9268 (bsolo_lpr_cuts-) R 9267 8378 8377 0 -1 0 384920 0 0 0 116031 984 0 0 25 0 1 0 855845520 79872000 18819 4294967295 134512640 134716908 3221224560 3221222560 1074916669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19500 18819 1111 63 0 19437 0
vsize: 0

Child status: 10
Real time (s): 1176.47
CPU time (s): 1176.61
CPU user time (s): 1166.65
CPU system time (s): 9.96848
CPU usage (%): 100.012
Max. virtual memory (Kb): 81212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	33
#### END VERIFIER DATA ####