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 26265

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 14:39:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14640 boxname=wulflinc27 idbench=1127 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-neos1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-neos1.opb
IDLAUNCH: 14640
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922980 kB
Buffers:         33976 kB
Cached:          55700 kB
SwapCached:        628 kB
Active:          62648 kB
Inactive:        29480 kB
HighTotal:      131008 kB
HighFree:        72016 kB
LowTotal:       903652 kB
LowFree:        850964 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13936 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 14:58:43 (client local time) WITH STATUS 10 IN 1175.27 SECONDS
stats: 14640 0 1175.27 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.31 s
c Initial Lower Bound: 12
c Lower Bound Elapsed time: 2.289
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 45 @ 218.884
s SATISFIABLE
v -C1825_bit0 -C1826_bit0 -C1827_bit0 -C1828_bit0 -C1829_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 C1833_bit0 -C1834_bit0 -C1835_bit0 -C1836_bit0 -C1837_bit0 -C1838_bit0 C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 C1843_bit0 -C1844_bit0 -C1845_bit0 -C1846_bit0 -C1847_bit0 -C1848_bit0 -C1849_bit0 -C1850_bit0 -C1851_bit0 -C1852_bit0 C1853_bit0 -C1854_bit0 -C1855_bit0 -C1856_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1860_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C1864_bit0 -C1865_bit0 -C1866_bit0 -C1867_bit0 -C1868_bit0 -C1869_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 C1874_bit0 -C1875_bit0 -C1876_bit0 -C1877_bit0 -C1878_bit0 -C1879_bit0 -C1880_bit0 -C1881_bit0 -C1882_bit0 -C1883_bit0 C1884_bit0 -C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 -C1889_bit0 -C1890_bit0 -C1891_bit0 -C1892_bit0 -C1893_bit0 C1894_bit0 -C1895_bit0 -C1896_bit0 -C1897_bit0 C1898_bit0 -C1899_bit0 -C1900_bit0 -C1901_bit0 -C1902_bit0 -C1903_bit0 -C1904_bit0 -C1905_bit0 -C1906_bit0 C1907_bit0 -C1908_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C1912_bit0 -C1913_bit0 -C1914_bit0 -C1915_bit0 C1916_bit0 -C1917_bit0 -C1918_bit0 -C1919_bit0 -C1920_bit0 -C1921_bit0 -C1922_bit0 C1923_bit0 -C1924_bit0 -C1925_bit0 C1926_bit0 -C1927_bit0 -C1928_bit0 -C1929_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1933_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 -C1943_bit0 -C1944_bit0 -C1945_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 -C1950_bit0 C1951_bit0 -C1952_bit0 -C1953_bit0 -C1954_bit0 C1955_bit0 C1956_bit0 -C1957_bit0 -C1958_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 C1962_bit0 -C1963_bit0 -C1964_bit0 C1965_bit0 -C1966_bit0 -C1967_bit0 -C1968_bit0 -C1969_bit0 C1970_bit0 -C1971_bit0 C1972_bit0 C1973_bit0 -C1974_bit0 -C1975_bit0 -C1976_bit0 -C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_bit0 -C1981_bit0 -C1982_bit0 -C1983_bit0 -C1984_bit0 -C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 -C1991_bit0 -C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 C1996_bit0 -C1997_bit0 -C1998_bit0 -C1999_bit0 C2000_bit0 -C2001_bit0 -C2002_bit0 -C2003_bit0 C2004_bit0 -C2005_bit0 -C2006_bit0 -C2007_bit0 -C2008_bit0 -C2009_bit0 -C2010_bit0 -C2011_bit0 C2012_bit0 -C2013_bit0 -C2014_bit0 -C2015_bit0 -C2016_bit0 -C2017_bit0 C2018_bit0 C2019_bit0 C2020_bit0 -C2021_bit0 -C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_bit0 C2027_bit0 -C2028_bit0 -C2029_bit0 -C2030_bit0 C2031_bit0 -C2032_bit0 -C2033_bit0 -C2034_bit0 C2035_bit0 -C2036_bit0 C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 -C2042_bit0 -C2043_bit0 -C2044_bit0 -C2045_bit0 -C2046_bit0 -C2047_bit0 C2048_bit0 -C2049_bit0 C2050_bit0 -C2051_bit0 -C2052_bit0 C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 -C2060_bit0 C2061_bit0 -C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 C2067_bit0 -C2068_bit0 -C2069_bit0 -C2070_bit0 -C2071_bit0 -C2072_bit0 C2073_bit0 C2074_bit0 -C2075_bit0 -C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 C2080_bit0 -C2081_bit0 C2082_bit0 -C2083_bit0 -C2084_bit0 -C2085_bit0 -C2086_bit0 -C2087_bit0 -C2088_bit0 -C2089_bit0 C2090_bit0 -C2091_bit0 -C2092_bit0 -C2093_bit0 -C2094_bit0 C2095_bit0 -C2096_bit0 -C2097_bit0 -C2098_bit0 -C2099_bit0 C2100_bit0 -C2101_bit0 C2102_bit0 -C2103_bit0 -C2104_bit0 -C2105_bit0 -C2106_bit0 -C2107_bit0 -C2108_bit0 -C2109_bit0 -C2110_bit0 -C2111_bit0 C2112_bit0 -C0001_bit0 -C0006_bit0 -C0011_bit0 -C0016_bit0 -C0021_bit0 -C0026_bit0 -C0031_bit0 -C0036_bit0 C0041_bit0 -C0046_bit0 -C0051_bit0 -C0056_bit0 -C0061_bit0 -C0066_bit0 -C0071_bit0 -C0076_bit0 -C0081_bit0 -C0086_bit0 -C0091_bit0 -C0096_bit0 -C0101_bit0 -C0106_bit0 -C0111_bit0 -C0116_bit0 -C0121_bit0 -C0126_bit0 -C0131_bit0 -C0136_bit0 -C0141_bit0 -C0146_bit0 -C0151_bit0 -C0156_bit0 -C0062_bit0 -C0067_bit0 -C0072_bit0 -C0077_bit0 -C0142_bit0 -C0147_bit0 -C0152_bit0 -C0157_bit0 -C0362_bit0 -C0367_bit0 -C0372_bit0 -C0377_bit0 -C0382_bit0 -C0387_bit0 -C0392_bit0 -C0397_bit0 -C0442_bit0 -C0447_bit0 -C0452_bit0 C0457_bit0 -C0462_bit0 -C0467_bit0 -C0472_bit0 -C0477_bit0 -C0003_bit0 -C0008_bit0 -C0013_bit0 -C0018_bit0 -C0083_bit0 -C0088_bit0 C0093_bit0 -C0098_bit0 -C0163_bit0 -C0168_bit0 -C0173_bit0 -C0178_bit0 -C0183_bit0 -C0188_bit0 -C0193_bit0 -C0198_bit0 -C0203_bit0 -C0208_bit0 -C0213_bit0 -C0218_bit0 -C0223_bit0 -C0228_bit0 -C0233_bit0 -C0238_bit0 -C0024_bit0 -C0029_bit0 -C0034_bit0 -C0039_bit0 -C0104_bit0 -C0109_bit0 -C0114_bit0 -C0119_bit0 -C0204_bit0 -C0209_bit0 -C0214_bit0 -C0219_bit0 -C0224_bit0 -C0229_bit0 -C0234_bit0 -C0239_bit0 -C0244_bit0 -C0249_bit0 -C0254_bit0 -C0259_bit0 -C0264_bit0 -C0269_bit0 -C0274_bit0 -C0279_bit0 -C0284_bit0 -C0289_bit0 -C0294_bit0 C0299_bit0 -C0304_bit0 -C0309_bit0 -C0314_bit0 -C0319_bit0 -C0025_bit0 -C0030_bit0 -C0035_bit0 -C0040_bit0 -C0105_bit0 -C0110_bit0 -C0115_bit0 -C0120_bit0 -C0205_bit0 -C0210_bit0 -C0215_bit0 -C0220_bit0 -C0225_bit0 -C0230_bit0 -C0235_bit0 -C0240_bit0 -C0245_bit0 C0250_bit0 -C0255_bit0 -C0260_bit0 -C0265_bit0 -C0270_bit0 -C0275_bit0 -C0280_bit0 -C0285_bit0 -C0290_bit0 -C0295_bit0 -C0300_bit0 -C0305_bit0 -C0310_bit0 -C0315_bit0 -C0320_bit0 -C0721_bit0 C0726_bit0 -C0731_bit0 -C0736_bit0 C0741_bit0 -C0746_bit0 -C0751_bit0 -C0756_bit0 -C0761_bit0 -C0766_bit0 -C0771_bit0 -C0776_bit0 -C0781_bit0 -C0786_bit0 -C0791_bit0 -C0796_bit0 -C0801_bit0 -C0806_bit0 -C0811_bit0 -C0816_bit0 -C0821_bit0 -C0826_bit0 -C0831_bit0 -C0836_bit0 -C0841_bit0 -C0846_bit0 -C0851_bit0 -C0856_bit0 -C0861_bit0 -C0866_bit0 -C0871_bit0 C0876_bit0 -C0782_bit0 -C0787_bit0 -C0792_bit0 -C0797_bit0 -C0862_bit0 -C0867_bit0 -C0872_bit0 -C0877_bit0 -C1082_bit0 -C1087_bit0 -C1092_bit0 -C1097_bit0 -C1102_bit0 -C1107_bit0 -C1112_bit0 C1117_bit0 -C1162_bit0 -C1167_bit0 -C1172_bit0 -C1177_bit0 -C1182_bit0 -C1187_bit0 -C1192_bit0 -C1197_bit0 -C0723_bit0 -C0728_bit0 -C0733_bit0 -C0738_bit0 -C0803_bit0 -C0808_bit0 -C0813_bit0 -C0818_bit0 -C0883_bit0 -C0888_bit0 -C0893_bit0 C0898_bit0 -C0903_bit0 -C0908_bit0 -C0913_bit0 -C0918_bit0 -C0923_bit0 -C0928_bit0 -C0933_bit0 -C0938_bit0 -C0943_bit0 -C0948_bit0 -C0953_bit0 -C0958_bit0 -C0744_bit0 -C0749_bit0 -C0754_bit0 -C0759_bit0 -C0824_bit0 -C0829_bit0 -C0834_bit0 -C0839_bit0 -C0924_bit0 -C0929_bit0 -C0934_bit0 -C0939_bit0 -C0944_bit0 -C0949_bit0 -C0954_bit0 -C0959_bit0 -C0964_bit0 -C0969_bit0 -C0974_bit0 C0979_bit0 -C0984_bit0 -C0989_bit0 -C0994_bit0 -C0999_bit0 -C1004_bit0 -C1009_bit0 -C1014_bit0 -C1019_bit0 -C1024_bit0 -C1029_bit0 -C1034_bit0 -C1039_bit0 -C0745_bit0 -C0750_bit0 -C0755_bit0 -C0760_bit0 -C0825_bit0 -C0830_bit0 -C0835_bit0 -C0840_bit0 -C0925_bit0 -C0930_bit0 -C0935_bit0 -C0940_bit0 -C0945_bit0 -C0950_bit0 -C0955_bit0 -C0960_bit0 -C0965_bit0 -C0970_bit0 -C0975_bit0 -C0980_bit0 -C0985_bit0 -C0990_bit0 -C0995_bit0 -C1000_bit0 -C1005_bit0 -C1010_bit0 C1015_bit0 -C1020_bit0 -C1025_bit0 -C1030_bit0 -C1035_bit0 -C1040_bit0 -C0481_bit0 -C0486_bit0 -C0491_bit0 -C0496_bit0 -C0501_bit0 -C0506_bit0 -C0511_bit0 -C0516_bit0 -C0601_bit0 -C0606_bit0 -C0611_bit0 -C0616_bit0 -C0621_bit0 -C0626_bit0 -C0631_bit0 -C0636_bit0 -C0641_bit0 -C0646_bit0 -C0651_bit0 C0656_bit0 -C0661_bit0 -C0666_bit0 -C0671_bit0 -C0676_bit0 -C0681_bit0 -C0686_bit0 -C0691_bit0 -C0696_bit0 -C0701_bit0 -C0706_bit0 -C0711_bit0 -C0716_bit0 -C0162_bit0 -C0167_bit0 -C0172_bit0 -C0177_bit0 -C0182_bit0 -C0187_bit0 -C0192_bit0 -C0197_bit0 -C0322_bit0 -C0327_bit0 -C0332_bit0 -C0337_bit0 -C0342_bit0 -C0347_bit0 -C0352_bit0 -C0357_bit0 -C0482_bit0 -C0487_bit0 -C0492_bit0 -C0497_bit0 -C0502_bit0 C0507_bit0 -C0512_bit0 -C0517_bit0 -C0443_bit0 -C0448_bit0 -C0453_bit0 C0458_bit0 -C0463_bit0 -C0468_bit0 -C0473_bit0 -C0478_bit0 -C0563_bit0 -C0568_bit0 -C0573_bit0 -C0578_bit0 -C0583_bit0 -C0588_bit0 -C0593_bit0 -C0598_bit0 -C0683_bit0 -C0688_bit0 -C0693_bit0 -C0698_bit0 -C0703_bit0 -C0708_bit0 -C0713_bit0 -C0718_bit0 -C0444_bit0 -C0449_bit0 -C0454_bit0 -C0459_bit0 -C0464_bit0 -C0469_bit0 -C0474_bit0 -C0479_bit0 -C0564_bit0 -C0569_bit0 -C0574_bit0 -C0579_bit0 -C0584_bit0 -C0589_bit0 -C0594_bit0 -C0599_bit0 -C0684_bit0 -C0689_bit0 -C0694_bit0 -C0699_bit0 C0704_bit0 -C0709_bit0 -C0714_bit0 -C0719_bit0 -C0325_bit0 -C0330_bit0 -C0335_bit0 -C0340_bit0 -C0345_bit0 -C0350_bit0 -C0355_bit0 -C0360_bit0 -C0525_bit0 -C0530_bit0 -C0535_bit0 -C0540_bit0 -C0545_bit0 -C0550_bit0 -C0555_bit0 -C0560_bit0 -C0605_bit0 -C0610_bit0 -C0615_bit0 -C0620_bit0 -C0625_bit0 -C0630_bit0 -C0635_bit0 -C0640_bit0 -C1201_bit0 -C1206_bit0 -C1211_bit0 -C1216_bit0 -C1221_bit0 -C1226_bit0 -C1231_bit0 -C1236_bit0 -C1321_bit0 C1326_bit0 -C1331_bit0 -C1336_bit0 -C1341_bit0 -C1346_bit0 -C1351_bit0 -C1356_bit0 -C1361_bit0 -C1366_bit0 -C1371_bit0 -C1376_bit0 -C1381_bit0 -C1386_bit0 -C1391_bit0 -C1396_bit0 -C1401_bit0 -C1406_bit0 -C1411_bit0 -C1416_bit0 -C1421_bit0 -C1426_bit0 -C1431_bit0 -C1436_bit0 -C0882_bit0 -C0887_bit0 -C0892_bit0 -C0897_bit0 -C0902_bit0 -C0907_bit0 -C0912_bit0 -C0917_bit0 -C1042_bit0 -C1047_bit0 -C1052_bit0 -C1057_bit0 C1062_bit0 -C1067_bit0 -C1072_bit0 -C1077_bit0 -C1202_bit0 -C1207_bit0 -C1212_bit0 -C1217_bit0 -C1222_bit0 -C1227_bit0 -C1232_bit0 -C1237_bit0 -C1163_bit0 -C1168_bit0 -C1173_bit0 -C1178_bit0 -C1183_bit0 -C1188_bit0 -C1193_bit0 -C1198_bit0 -C1283_bit0 -C1288_bit0 -C1293_bit0 -C1298_bit0 -C1303_bit0 -C1308_bit0 -C1313_bit0 -C1318_bit0 -C1403_bit0 -C1408_bit0 -C1413_bit0 -C1418_bit0 -C1423_bit0 -C1428_bit0 -C1433_bit0 C1438_bit0 -C1164_bit0 -C1169_bit0 -C1174_bit0 -C1179_bit0 -C1184_bit0 -C1189_bit0 -C1194_bit0 -C1199_bit0 -C1284_bit0 C1289_bit0 -C1294_bit0 -C1299_bit0 -C1304_bit0 -C1309_bit0 -C1314_bit0 -C1319_bit0 -C1404_bit0 -C1409_bit0 -C1414_bit0 -C1419_bit0 -C1424_bit0 -C1429_bit0 -C1434_bit0 -C1439_bit0 -C1045_bit0 -C1050_bit0 -C1055_bit0 -C1060_bit0 -C1065_bit0 -C1070_bit0 -C1075_bit0 -C1080_bit0 -C1245_bit0 -C1250_bit0 -C1255_bit0 -C1260_bit0 -C1265_bit0 -C1270_bit0 -C1275_bit0 C1280_bit0 -C1325_bit0 -C1330_bit0 -C1335_bit0 -C1340_bit0 -C1345_bit0 -C1350_bit0 -C1355_bit0 -C1360_bit0 -C0161_bit0 -C0166_bit0 -C0171_bit0 -C0176_bit0 -C0181_bit0 -C0186_bit0 -C0191_bit0 -C0196_bit0 -C0201_bit0 -C0206_bit0 -C0211_bit0 -C0216_bit0 -C0221_bit0 -C0226_bit0 -C0231_bit0 -C0236_bit0 -C0241_bit0 -C0246_bit0 -C0251_bit0 -C0256_bit0 -C0261_bit0 -C0266_bit0 -C0271_bit0 -C0276_bit0 -C0281_bit0 -C0286_bit0 -C0291_bit0 -C0296_bit0 -C0301_bit0 -C0306_bit0 -C0311_bit0 -C0316_bit0 -C0361_bit0 -C0366_bit0 -C0371_bit0 -C0376_bit0 -C0381_bit0 -C0386_bit0 -C0391_bit0 -C0396_bit0 -C0401_bit0 -C0406_bit0 C0411_bit0 -C0416_bit0 -C0421_bit0 -C0426_bit0 -C0431_bit0 -C0436_bit0 -C0441_bit0 -C0446_bit0 -C0451_bit0 -C0456_bit0 -C0461_bit0 -C0466_bit0 -C0471_bit0 -C0476_bit0 -C0321_bit0 -C0326_bit0 -C0331_bit0 -C0336_bit0 -C0341_bit0 -C0346_bit0 -C0351_bit0 -C0356_bit0 -C0521_bit0 -C0526_bit0 -C0531_bit0 -C0536_bit0 -C0541_bit0 -C0546_bit0 -C0551_bit0 -C0556_bit0 -C0561_bit0 -C0566_bit0 -C0571_bit0 -C0576_bit0 -C0581_bit0 -C0586_bit0 -C0591_bit0 -C0596_bit0 -C0002_bit0 -C0007_bit0 -C0012_bit0 -C0017_bit0 -C0022_bit0 -C0027_bit0 -C0032_bit0 -C0037_bit0 -C0042_bit0 -C0047_bit0 -C0052_bit0 -C0057_bit0 -C0082_bit0 -C0087_bit0 -C0092_bit0 -C0097_bit0 -C0102_bit0 -C0107_bit0 -C0112_bit0 -C0117_bit0 -C0122_bit0 -C0127_bit0 -C0132_bit0 -C0137_bit0 -C0202_bit0 -C0207_bit0 -C0212_bit0 -C0217_bit0 -C0222_bit0 -C0227_bit0 -C0232_bit0 -C0237_bit0 -C0242_bit0 -C0247_bit0 -C0252_bit0 -C0257_bit0 -C0262_bit0 -C0267_bit0 -C0272_bit0 -C0277_bit0 -C0282_bit0 -C0287_bit0 -C0292_bit0 -C0297_bit0 -C0302_bit0 -C0307_bit0 -C0312_bit0 -C0317_bit0 -C0402_bit0 -C0407_bit0 -C0412_bit0 -C0417_bit0 -C0422_bit0 -C0427_bit0 -C0432_bit0 -C0437_bit0 -C0522_bit0 -C0527_bit0 -C0532_bit0 -C0537_bit0 -C0542_bit0 -C0547_bit0 -C0552_bit0 -C0557_bit0 -C0602_bit0 -C0607_bit0 -C0612_bit0 -C0617_bit0 -C0622_bit0 -C0627_bit0 -C0632_bit0 -C0637_bit0 -C0562_bit0 -C0567_bit0 -C0572_bit0 -C0577_bit0 -C0582_bit0 -C0587_bit0 -C0592_bit0 -C0597_bit0 -C0642_bit0 -C0647_bit0 -C0652_bit0 -C0657_bit0 -C0662_bit0 -C0667_bit0 -C0672_bit0 -C0677_bit0 -C0682_bit0 C0687_bit0 -C0692_bit0 -C0697_bit0 -C0702_bit0 -C0707_bit0 -C0712_bit0 -C0717_bit0 -C0023_bit0 -C0028_bit0 -C0033_bit0 -C0038_bit0 -C0043_bit0 -C0048_bit0 -C0053_bit0 -C0058_bit0 -C0063_bit0 -C0068_bit0 C0073_bit0 -C0078_bit0 -C0103_bit0 -C0108_bit0 -C0113_bit0 -C0118_bit0 -C0123_bit0 -C0128_bit0 -C0133_bit0 -C0138_bit0 -C0143_bit0 -C0148_bit0 -C0153_bit0 -C0158_bit0 -C0243_bit0 -C0248_bit0 -C0253_bit0 -C0258_bit0 -C0263_bit0 -C0268_bit0 -C0273_bit0 -C0278_bit0 -C0283_bit0 -C0288_bit0 -C0293_bit0 -C0298_bit0 -C0303_bit0 -C0308_bit0 -C0313_bit0 -C0318_bit0 -C0363_bit0 -C0368_bit0 -C0373_bit0 -C0378_bit0 -C0383_bit0 -C0388_bit0 -C0393_bit0 -C0398_bit0 -C0403_bit0 -C0408_bit0 -C0413_bit0 -C0418_bit0 -C0423_bit0 -C0428_bit0 -C0433_bit0 -C0438_bit0 -C0323_bit0 -C0328_bit0 -C0333_bit0 -C0338_bit0 -C0343_bit0 -C0348_bit0 -C0353_bit0 -C0358_bit0 -C0483_bit0 -C0488_bit0 -C0493_bit0 -C0498_bit0 -C0503_bit0 -C0508_bit0 -C0513_bit0 -C0518_bit0 -C0523_bit0 -C0528_bit0 -C0533_bit0 -C0538_bit0 -C0543_bit0 -C0548_bit0 -C0553_bit0 -C0558_bit0 -C0603_bit0 -C0608_bit0 -C0613_bit0 -C0618_bit0 -C0623_bit0 -C0628_bit0 -C0633_bit0 -C0638_bit0 -C0643_bit0 -C0648_bit0 -C0653_bit0 -C0658_bit0 -C0663_bit0 -C0668_bit0 -C0673_bit0 -C0678_bit0 -C0004_bit0 -C0009_bit0 -C0014_bit0 -C0019_bit0 C0044_bit0 -C0049_bit0 -C0054_bit0 -C0059_bit0 -C0064_bit0 -C0069_bit0 -C0074_bit0 -C0079_bit0 -C0084_bit0 -C0089_bit0 -C0094_bit0 -C0099_bit0 -C0124_bit0 -C0129_bit0 -C0134_bit0 -C0139_bit0 C0144_bit0 -C0149_bit0 -C0154_bit0 -C0159_bit0 -C0164_bit0 -C0169_bit0 -C0174_bit0 -C0179_bit0 -C0184_bit0 -C0189_bit0 -C0194_bit0 -C0199_bit0 -C0364_bit0 C0369_bit0 -C0374_bit0 -C0379_bit0 -C0384_bit0 -C0389_bit0 -C0394_bit0 -C0399_bit0 -C0404_bit0 -C0409_bit0 C0414_bit0 -C0419_bit0 -C0424_bit0 -C0429_bit0 -C0434_bit0 -C0439_bit0 -C0324_bit0 -C0329_bit0 -C0334_bit0 -C0339_bit0 -C0344_bit0 C0349_bit0 -C0354_bit0 -C0359_bit0 -C0484_bit0 -C0489_bit0 C0494_bit0 -C0499_bit0 -C0504_bit0 -C0509_bit0 -C0514_bit0 -C0519_bit0 -C0524_bit0 -C0529_bit0 -C0534_bit0 -C0539_bit0 -C0544_bit0 -C0549_bit0 -C0554_bit0 -C0559_bit0 -C0604_bit0 -C0609_bit0 -C0614_bit0 -C0619_bit0 -C0624_bit0 -C0629_bit0 C0634_bit0 -C0639_bit0 -C0644_bit0 -C0649_bit0 C0654_bit0 -C0659_bit0 -C0664_bit0 -C0669_bit0 -C0674_bit0 -C0679_bit0 -C0005_bit0 -C0010_bit0 -C0015_bit0 -C0020_bit0 -C0045_bit0 -C0050_bit0 -C0055_bit0 -C0060_bit0 -C0065_bit0 -C0070_bit0 -C0075_bit0 -C0080_bit0 -C0085_bit0 -C0090_bit0 -C0095_bit0 -C0100_bit0 -C0125_bit0 -C0130_bit0 -C0135_bit0 -C0140_bit0 -C0145_bit0 -C0150_bit0 -C0155_bit0 -C0160_bit0 -C0165_bit0 -C0170_bit0 -C0175_bit0 -C0180_bit0 -C0185_bit0 -C0190_bit0 -C0195_bit0 -C0200_bit0 -C0365_bit0 -C0370_bit0 -C0375_bit0 -C0380_bit0 -C0385_bit0 -C0390_bit0 -C0395_bit0 -C0400_bit0 -C0405_bit0 -C0410_bit0 -C0415_bit0 -C0420_bit0 -C0425_bit0 -C0430_bit0 -C0435_bit0 -C0440_bit0 -C0445_bit0 -C0450_bit0 -C0455_bit0 -C0460_bit0 -C0465_bit0 -C0470_bit0 -C0475_bit0 -C0480_bit0 -C0485_bit0 -C0490_bit0 -C0495_bit0 -C0500_bit0 -C0505_bit0 -C0510_bit0 -C0515_bit0 -C0520_bit0 -C0565_bit0 -C0570_bit0 -C0575_bit0 -C0580_bit0 -C0585_bit0 -C0590_bit0 -C0595_bit0 -C0600_bit0 -C0645_bit0 -C0650_bit0 -C0655_bit0 -C0660_bit0 -C0665_bit0 -C0670_bit0 -C0675_bit0 -C0680_bit0 -C0685_bit0 -C0690_bit0 -C0695_bit0 -C0700_bit0 -C0705_bit0 -C0710_bit0 -C0715_bit0 -C0720_bit0 -C0881_bit0 -C0886_bit0 -C0891_bit0 C0896_bit0 -C0901_bit0 -C0906_bit0 -C0911_bit0 -C0916_bit0 -C0921_bit0 -C0926_bit0 -C0931_bit0 -C0936_bit0 -C0941_bit0 -C0946_bit0 -C0951_bit0 -C0956_bit0 -C0961_bit0 C0966_bit0 -C0971_bit0 -C0976_bit0 -C0981_bit0 -C0986_bit0 -C0991_bit0 -C0996_bit0 -C1001_bit0 -C1006_bit0 -C1011_bit0 -C1016_bit0 -C1021_bit0 -C1026_bit0 -C1031_bit0 -C1036_bit0 -C1081_bit0 -C1086_bit0 -C1091_bit0 -C1096_bit0 -C1101_bit0 -C1106_bit0 -C1111_bit0 -C1116_bit0 -C1121_bit0 -C1126_bit0 -C1131_bit0 -C1136_bit0 -C1141_bit0 -C1146_bit0 -C1151_bit0 -C1156_bit0 -C1161_bit0 -C1166_bit0 -C1171_bit0 -C1176_bit0 C1181_bit0 -C1186_bit0 -C1191_bit0 -C1196_bit0 -C1041_bit0 -C1046_bit0 C1051_bit0 -C1056_bit0 -C1061_bit0 -C1066_bit0 -C1071_bit0 -C1076_bit0 C1241_bit0 -C1246_bit0 -C1251_bit0 -C1256_bit0 -C1261_bit0 -C1266_bit0 -C1271_bit0 -C1276_bit0 -C1281_bit0 C1286_bit0 -C1291_bit0 -C1296_bit0 -C1301_bit0 -C1306_bit0 -C1311_bit0 -C1316_bit0 -C0722_bit0 -C0727_bit0 -C0732_bit0 C0737_bit0 -C0742_bit0 -C0747_bit0 -C0752_bit0 -C0757_bit0 -C0762_bit0 -C0767_bit0 -C0772_bit0 -C0777_bit0 -C0802_bit0 -C0807_bit0 -C0812_bit0 -C0817_bit0 -C0822_bit0 -C0827_bit0 -C0832_bit0 -C0837_bit0 -C0842_bit0 -C0847_bit0 -C0852_bit0 C0857_bit0 -C0922_bit0 -C0927_bit0 -C0932_bit0 C0937_bit0 -C0942_bit0 -C0947_bit0 -C0952_bit0 -C0957_bit0 -C0962_bit0 -C0967_bit0 C0972_bit0 -C0977_bit0 -C0982_bit0 -C0987_bit0 -C0992_bit0 -C0997_bit0 -C1002_bit0 -C1007_bit0 -C1012_bit0 -C1017_bit0 -C1022_bit0 -C1027_bit0 -C1032_bit0 -C1037_bit0 -C1122_bit0 -C1127_bit0 -C1132_bit0 -C1137_bit0 -C1142_bit0 -C1147_bit0 -C1152_bit0 -C1157_bit0 -C1242_bit0 C1247_bit0 -C1252_bit0 -C1257_bit0 -C1262_bit0 -C1267_bit0 -C1272_bit0 -C1277_bit0 -C1322_bit0 -C1327_bit0 -C1332_bit0 -C1337_bit0 -C1342_bit0 -C1347_bit0 C1352_bit0 -C1357_bit0 -C1282_bit0 -C1287_bit0 -C1292_bit0 -C1297_bit0 -C1302_bit0 -C1307_bit0 -C1312_bit0 -C1317_bit0 -C1362_bit0 -C1367_bit0 -C1372_bit0 C1377_bit0 -C1382_bit0 -C1387_bit0 -C1392_bit0 -C1397_bit0 -C1402_bit0 -C1407_bit0 -C1412_bit0 -C1417_bit0 -C1422_bit0 -C1427_bit0 -C1432_bit0 -C1437_bit0 -C0743_bit0 -C0748_bit0 -C0753_bit0 -C0758_bit0 -C0763_bit0 -C0768_bit0 -C0773_bit0 -C0778_bit0 -C0783_bit0 -C0788_bit0 -C0793_bit0 -C0798_bit0 -C0823_bit0 -C0828_bit0 -C0833_bit0 -C0838_bit0 -C0843_bit0 -C0848_bit0 -C0853_bit0 -C0858_bit0 -C0863_bit0 -C0868_bit0 -C0873_bit0 -C0878_bit0 -C0963_bit0 C0968_bit0 -C0973_bit0 -C0978_bit0 -C0983_bit0 -C0988_bit0 -C0993_bit0 -C0998_bit0 -C1003_bit0 -C1008_bit0 -C1013_bit0 -C1018_bit0 -C1023_bit0 -C1028_bit0 C1033_bit0 -C1038_bit0 -C1083_bit0 -C1088_bit0 -C1093_bit0 -C1098_bit0 -C1103_bit0 -C1108_bit0 -C1113_bit0 -C1118_bit0 -C1123_bit0 -C1128_bit0 -C1133_bit0 -C1138_bit0 C1143_bit0 -C1148_bit0 -C1153_bit0 -C1158_bit0 -C1043_bit0 -C1048_bit0 -C1053_bit0 -C1058_bit0 -C1063_bit0 -C1068_bit0 -C1073_bit0 -C1078_bit0 -C1203_bit0 -C1208_bit0 C1213_bit0 -C1218_bit0 -C1223_bit0 -C1228_bit0 -C1233_bit0 -C1238_bit0 -C1243_bit0 -C1248_bit0 -C1253_bit0 -C1258_bit0 -C1263_bit0 -C1268_bit0 -C1273_bit0 -C1278_bit0 -C1323_bit0 C1328_bit0 -C1333_bit0 -C1338_bit0 -C1343_bit0 -C1348_bit0 -C1353_bit0 -C1358_bit0 -C1363_bit0 -C1368_bit0 -C1373_bit0 -C1378_bit0 -C1383_bit0 C1388_bit0 -C1393_bit0 -C1398_bit0 -C0724_bit0 -C0729_bit0 -C0734_bit0 -C0739_bit0 -C0764_bit0 -C0769_bit0 -C0774_bit0 -C0779_bit0 -C0784_bit0 -C0789_bit0 -C0794_bit0 -C0799_bit0 -C0804_bit0 -C0809_bit0 -C0814_bit0 -C0819_bit0 -C0844_bit0 -C0849_bit0 -C0854_bit0 -C0859_bit0 -C0864_bit0 -C0869_bit0 -C0874_bit0 -C0879_bit0 -C0884_bit0 -C0889_bit0 -C0894_bit0 -C0899_bit0 -C0904_bit0 -C0909_bit0 -C0914_bit0 -C0919_bit0 -C1084_bit0 -C1089_bit0 -C1094_bit0 -C1099_bit0 -C1104_bit0 -C1109_bit0 -C1114_bit0 -C1119_bit0 -C1124_bit0 -C1129_bit0 -C1134_bit0 -C1139_bit0 -C1144_bit0 -C1149_bit0 -C1154_bit0 -C1159_bit0 -C1044_bit0 -C1049_bit0 -C1054_bit0 -C1059_bit0 -C1064_bit0 -C1069_bit0 -C1074_bit0 -C1079_bit0 -C1204_bit0 -C1209_bit0 -C1214_bit0 -C1219_bit0 -C1224_bit0 -C1229_bit0 -C1234_bit0 -C1239_bit0 C1244_bit0 -C1249_bit0 -C1254_bit0 -C1259_bit0 -C1264_bit0 -C1269_bit0 -C1274_bit0 -C1279_bit0 -C1324_bit0 -C1329_bit0 -C1334_bit0 -C1339_bit0 -C1344_bit0 -C1349_bit0 -C1354_bit0 -C1359_bit0 -C1364_bit0 -C1369_bit0 -C1374_bit0 -C1379_bit0 -C1384_bit0 -C1389_bit0 -C1394_bit0 -C1399_bit0 -C0725_bit0 -C0730_bit0 -C0735_bit0 -C0740_bit0 -C0765_bit0 -C0770_bit0 -C0775_bit0 -C0780_bit0 -C0785_bit0 -C0790_bit0 -C0795_bit0 -C0800_bit0 -C0805_bit0 -C0810_bit0 -C0815_bit0 -C0820_bit0 -C0845_bit0 -C0850_bit0 -C0855_bit0 -C0860_bit0 -C0865_bit0 -C0870_bit0 -C0875_bit0 -C0880_bit0 -C0885_bit0 -C0890_bit0 -C0895_bit0 -C0900_bit0 -C0905_bit0 -C0910_bit0 -C0915_bit0 -C0920_bit0 -C1085_bit0 -C1090_bit0 -C1095_bit0 -C1100_bit0 -C1105_bit0 -C1110_bit0 -C1115_bit0 -C1120_bit0 -C1125_bit0 C1130_bit0 -C1135_bit0 -C1140_bit0 -C1145_bit0 -C1150_bit0 -C1155_bit0 -C1160_bit0 -C1165_bit0 -C1170_bit0 -C1175_bit0 -C1180_bit0 -C1185_bit0 -C1190_bit0 -C1195_bit0 -C1200_bit0 -C1205_bit0 -C1210_bit0 -C1215_bit0 -C1220_bit0 -C1225_bit0 -C1230_bit0 -C1235_bit0 -C1240_bit0 -C1285_bit0 -C1290_bit0 -C1295_bit0 -C1300_bit0 -C1305_bit0 -C1310_bit0 -C1315_bit0 -C1320_bit0 -C1365_bit0 -C1370_bit0 -C1375_bit0 -C1380_bit0 -C1385_bit0 -C1390_bit0 -C1395_bit0 -C1400_bit0 -C1405_bit0 -C1410_bit0 -C1415_bit0 -C1420_bit0 -C1425_bit0 -C1430_bit0 -C1435_bit0 -C1440_bit0 C1441_bit0 C1442_bit0 C1443_bit0 C1444_bit0 C1445_bit0 C1446_bit0 C1447_bit0 C1448_bit0 C1449_bit0 C1450_bit0 C1451_bit0 C1452_bit0 C1453_bit0 C1454_bit0 C1455_bit0 C1456_bit0 C1457_bit0 C1458_bit0 C1459_bit0 C1460_bit0 C1461_bit0 C1462_bit0 C1463_bit0 C1464_bit0 C1465_bit0 C1466_bit0 C1467_bit0 C1468_bit0 C1469_bit0 C1470_bit0 C1471_bit0 C1472_bit0 C1473_bit0 C1474_bit0 C1475_bit0 C1476_bit0 C1477_bit0 C1478_bit0 C1479_bit0 C1480_bit0 C1481_bit0 C1482_bit0 C1483_bit0 C1484_bit0 C1485_bit0 C1486_bit0 C1487_bit0 C1488_bit0 C1489_bit0 C1490_bit0 C1491_bit0 C1492_bit0 C1493_bit0 C1494_bit0 C1495_bit0 C1496_bit0 C1497_bit0 C1498_bit0 C1499_bit0 C1500_bit0 C1501_bit0 C1502_bit0 C1503_bit0 C1504_bit0 C1505_bit0 C1506_bit0 C1507_bit0 C1508_bit0 C1509_bit0 C1510_bit0 C1511_bit0 C1512_bit0 C1513_bit0 C1514_bit0 C1515_bit0 C1516_bit0 C1517_bit0 C1518_bit0 C1519_bit0 C1520_bit0 C1521_bit0 C1522_bit0 C1523_bit0 C1524_bit0 C1525_bit0 C1526_bit0 C1527_bit0 C1528_bit0 C1529_bit0 C1530_bit0 C1531_bit0 C1532_bit0 C1533_bit0 C1534_bit0 C1535_bit0 C1536_bit0 C1537_bit0 C1538_bit0 C1539_bit0 C1540_bit0 C1541_bit0 C1542_bit0 C1543_bit0 C1544_bit0 C1545_bit0 C1546_bit0 C1547_bit0 C1548_bit0 C1549_bit0 C1550_bit0 C1551_bit0 C1552_bit0 C1553_bit0 C1554_bit0 C1555_bit0 C1556_bit0 C1557_bit0 C1558_bit0 C1559_bit0 C1560_bit0 C1561_bit0 C1562_bit0 C1563_bit0 C1564_bit0 C1565_bit0 C1566_bit0 C1567_bit0 C1568_bit0 C1569_bit0 C1570_bit0 C1571_bit0 C1572_bit0 C1573_bit0 C1574_bit0 C1575_bit0 C1576_bit0 C1577_bit0 C1578_bit0 C1579_bit0 C1580_bit0 C1581_bit0 C1582_bit0 C1583_bit0 C1584_bit0 C1585_bit0 C1586_bit0 C1587_bit0 C1588_bit0 C1589_bit0 C1590_bit0 C1591_bit0 C1592_bit0 C1593_bit0 C1594_bit0 C1595_bit0 C1596_bit0 C1597_bit0 C1598_bit0 C1599_bit0 C1600_bit0 C1601_bit0 C1602_bit0 C1603_bit0 C1604_bit0 C1605_bit0 C1606_bit0 C1607_bit0 C1608_bit0 C1609_bit0 C1610_bit0 C1611_bit0 C1612_bit0 C1613_bit0 C1614_bit0 C1615_bit0 C1616_bit0 C1617_bit0 C1618_bit0 C1619_bit0 C1620_bit0 C1621_bit0 C1622_bit0 C1623_bit0 C1624_bit0 C1625_bit0 C1626_bit0 C1627_bit0 C1628_bit0 C1629_bit0 C1630_bit0 C1631_bit0 C1632_bit0 C1633_bit0 C1634_bit0 C1635_bit0 C1636_bit0 -C1637_bit0 C1638_bit0 C1639_bit0 C1640_bit0 C1641_bit0 C1642_bit0 C1643_bit0 C1644_bit0 C1645_bit0 C1646_bit0 C1647_bit0 C1648_bit0 C1649_bit0 C1650_bit0 C1651_bit0 C1652_bit0 C1653_bit0 C1654_bit0 C1655_bit0 C1656_bit0 C1657_bit0 C1658_bit0 C1659_bit0 C1660_bit0 C1661_bit0 C1662_bit0 C1663_bit0 C1664_bit0 C1665_bit0 C1666_bit0 C1667_bit0 C1668_bit0 C1669_bit0 C1670_bit0 C1671_bit0 C1672_bit0 C1673_bit0 C1674_bit0 C1675_bit0 C1676_bit0 -C1677_bit0 C1678_bit0 C1679_bit0 C1680_bit0 -C1681_bit0 C1682_bit0 C1683_bit0 C1684_bit0 C1685_bit0 C1686_bit0 C1687_bit0 C1688_bit0 C1689_bit0 C1690_bit0 C1691_bit0 C1692_bit0 C1693_bit0 C1694_bit0 C1695_bit0 C1696_bit0 C1697_bit0 C1698_bit0 C1699_bit0 C1700_bit0 C1701_bit0 C1702_bit0 C1703_bit0 C1704_bit0 C1705_bit0 C1706_bit0 C1707_bit0 C1708_bit0 C1709_bit0 C1710_bit0 C1711_bit0 C1712_bit0 C1713_bit0 C1714_bit0 C1715_bit0 C1716_bit0 C1717_bit0 C1718_bit0 C1719_bit0 C1720_bit0 C1721_bit0 C1722_bit0 C1723_bit0 C1724_bit0 C1725_bit0 C1726_bit0 C1727_bit0 C1728_bit0 C1729_bit0 C1730_bit0 C1731_bit0 C1732_bit0 C1733_bit0 C1734_bit0 C1735_bit0 C1736_bit0 C1737_bit0 C1738_bit0 C1739_bit0 C1740_bit0 C1741_bit0 C1742_bit0 C1743_bit0 C1744_bit0 C1745_bit0 C1746_bit0 C1747_bit0 C1748_bit0 C1749_bit0 C1750_bit0 C1751_bit0 C1752_bit0 C1753_bit0 C1754_bit0 C1755_bit0 C1756_bit0 C1757_bit0 C1758_bit0 C1759_bit0 C1760_bit0 C1761_bit0 C1762_bit0 C1763_bit0 C1764_bit0 C1765_bit0 C1766_bit0 C1767_bit0 C1768_bit0 C1769_bit0 C1770_bit0 C1771_bit0 C1772_bit0 C1773_bit0 C1774_bit0 C1775_bit0 C1776_bit0 C1777_bit0 C1778_bit0 C1779_bit0 C1780_bit0 C1781_bit0 C1782_bit0 C1783_bit0 C1784_bit0 C1785_bit0 C1786_bit0 C1787_bit0 C1788_bit0 C1789_bit0 C1790_bit0 C1791_bit0 C1792_bit0 C1793_bit0 C1794_bit0 C1795_bit0 C1796_bit0 C1797_bit0 C1798_bit0 C1799_bit0 C1800_bit0 C1801_bit0 C1802_bit0 C1803_bit0 C1804_bit0 C1805_bit0 C1806_bit0 C1807_bit0 C1808_bit0 C1809_bit0 C1810_bit0 C1811_bit0 C1812_bit0 C1813_bit0 C1814_bit0 C1815_bit0 C1816_bit0 C1817_bit0 C1818_bit0 C1819_bit0 C1820_bit0 C1821_bit0 C1822_bit0 C1823_bit0 C1824_bit0 
c Exit Code: 10
c Total time: 1175.22 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.64 1.02 1.57 2/54 4182
Raw data (stat): 4182 (runsolver) R 4181 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831018099 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.70 1.01 1.57 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 14681 0 0 0 961 36 0 0 25 0 1 0 831018099 63262720 14603 4294967295 134512640 134714508 3221224576 3221223248 134627244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15445 14603 1111 63 0 15382 0
vsize: 61780
[startup+20.0002 s]
Raw data (loadavg): 0.74 1.01 1.56 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 14762 0 0 0 1961 37 0 0 25 0 1 0 831018099 63668224 14684 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 14684 1111 63 0 15481 0
vsize: 62176
[startup+30.0013 s]
Raw data (loadavg): 0.78 1.01 1.55 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 14855 0 0 0 2961 37 0 0 25 0 1 0 831018099 64073728 14777 4294967295 134512640 134714508 3221224576 3221223248 134627170 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15643 14777 1111 63 0 15580 0
vsize: 62572
[startup+40.0009 s]
Raw data (loadavg): 0.81 1.01 1.55 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 14948 0 0 0 3961 37 0 0 25 0 1 0 831018099 64479232 14870 4294967295 134512640 134714508 3221224576 3221223236 134627197 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.0009 s]
Raw data (loadavg): 0.84 1.01 1.54 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 16865 0 2 0 4930 44 0 0 25 0 1 0 831018099 69500928 15801 4294967295 134512640 134714508 3221224576 3221221696 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16968 15803 1111 63 0 16905 0
vsize: 67872
[startup+60.0017 s]
Raw data (loadavg): 0.87 1.01 1.53 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21310 0 2 0 5916 57 0 0 25 0 1 0 831018099 67256320 15739 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+70.0067 s]
Raw data (loadavg): 0.89 1.01 1.53 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21310 0 2 0 6913 59 0 0 25 0 1 0 831018099 67256320 15739 4294967295 134512640 134714508 3221224576 3221223376 134597690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+80.0072 s]
Raw data (loadavg): 0.90 1.01 1.52 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21310 0 2 0 7911 62 0 0 25 0 1 0 831018099 67256320 15739 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+90.0071 s]
Raw data (loadavg): 0.92 1.01 1.52 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21310 0 2 0 8909 64 0 0 25 0 1 0 831018099 67256320 15739 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+100.007 s]
Raw data (loadavg): 0.93 1.01 1.51 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21310 0 2 0 9907 67 0 0 25 0 1 0 831018099 67256320 15739 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16420 15739 1111 63 0 16357 0
vsize: 65680
[startup+110.008 s]
Raw data (loadavg): 0.94 1.00 1.51 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21333 0 2 0 10904 69 0 0 25 0 1 0 831018099 67391488 15762 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16453 15762 1111 63 0 16390 0
vsize: 65812
[startup+120.008 s]
Raw data (loadavg): 0.95 1.00 1.50 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21360 0 2 0 11902 72 0 0 25 0 1 0 831018099 67526656 15789 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16486 15789 1111 63 0 16423 0
vsize: 65944
[startup+130.008 s]
Raw data (loadavg): 0.96 1.00 1.49 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21396 0 2 0 12899 74 0 0 25 0 1 0 831018099 67661824 15825 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16519 15825 1111 63 0 16456 0
vsize: 66076
[startup+140.007 s]
Raw data (loadavg): 0.96 1.00 1.49 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21429 0 2 0 13897 77 0 0 25 0 1 0 831018099 67796992 15858 4294967295 134512640 134714508 3221224576 3221223368 134597569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16552 15858 1111 63 0 16489 0
vsize: 66208
[startup+150.007 s]
Raw data (loadavg): 0.97 1.00 1.48 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21472 0 2 0 14895 79 0 0 25 0 1 0 831018099 67932160 15901 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16585 15901 1111 63 0 16522 0
vsize: 66340
[startup+160.008 s]
Raw data (loadavg): 0.97 1.00 1.48 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21512 0 2 0 15894 81 0 0 25 0 1 0 831018099 68202496 15941 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16651 15941 1111 63 0 16588 0
vsize: 66604
[startup+170.008 s]
Raw data (loadavg): 0.98 1.00 1.47 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21597 0 2 0 16891 84 0 0 25 0 1 0 831018099 68472832 16026 4294967295 134512640 134714508 3221224576 3221223376 134597698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16717 16026 1111 63 0 16654 0
vsize: 66868
[startup+180.008 s]
Raw data (loadavg): 0.98 1.00 1.46 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21709 0 2 0 17889 86 0 0 25 0 1 0 831018099 69013504 16138 4294967295 134512640 134714508 3221224576 3221223336 134613522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16849 16138 1111 63 0 16786 0
vsize: 67396
[startup+190.013 s]
Raw data (loadavg): 0.98 1.00 1.46 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21817 0 2 0 18887 89 0 0 25 0 1 0 831018099 69419008 16246 4294967295 134512640 134714508 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16948 16246 1111 63 0 16885 0
vsize: 67792
[startup+200.012 s]
Raw data (loadavg): 0.98 1.00 1.45 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 21896 0 2 0 19885 91 0 0 25 0 1 0 831018099 69689344 16325 4294967295 134512640 134714508 3221224576 3221223168 134542731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17014 16325 1111 63 0 16951 0
vsize: 68056
[startup+210.012 s]
Raw data (loadavg): 0.99 1.00 1.45 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 22035 0 2 0 20882 93 0 0 25 0 1 0 831018099 70230016 16464 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17146 16464 1111 63 0 17083 0
vsize: 68584
[startup+220.014 s]
Raw data (loadavg): 0.99 1.00 1.44 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 23496 0 2 0 21877 98 0 0 25 0 1 0 831018099 71307264 16711 4294967295 134512640 134714508 3221224576 3221222400 1075823367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17409 16711 1111 63 0 17346 0
vsize: 69636
[startup+230.014 s]
Raw data (loadavg): 0.99 1.00 1.44 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 29511 0 2 0 22864 112 0 0 25 0 1 0 831018099 71548928 16783 4294967295 134512640 134714508 3221224576 3221222976 1074118879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17468 16783 1111 63 0 17405 0
vsize: 69872
[startup+240.014 s]
Raw data (loadavg): 0.99 1.00 1.43 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 31318 0 2 0 23857 119 0 0 25 0 1 0 831018099 74989568 16944 4294967295 134512640 134714508 3221224576 3221220960 1074973240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16944 1111 63 0 18245 0
vsize: 73232
[startup+250.014 s]
Raw data (loadavg): 0.99 1.00 1.43 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 33462 0 2 0 24851 124 0 0 25 0 1 0 831018099 72134656 16932 4294967295 134512640 134714508 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17611 16932 1111 63 0 17548 0
vsize: 70444
[startup+260.015 s]
Raw data (loadavg): 0.99 1.00 1.42 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 37266 0 2 0 25843 134 0 0 25 0 1 0 831018099 75735040 17156 4294967295 134512640 134714508 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18490 17156 1111 63 0 18427 0
vsize: 73960
[startup+270.015 s]
Raw data (loadavg): 0.99 1.00 1.42 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 39586 0 2 0 26837 140 0 0 25 0 1 0 831018099 73166848 17185 4294967295 134512640 134714508 3221224576 3221221920 1074839115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17863 17185 1111 63 0 17800 0
vsize: 71452
[startup+280.015 s]
Raw data (loadavg): 0.99 1.00 1.41 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 41571 0 2 0 27832 144 0 0 25 0 1 0 831018099 76304384 17270 4294967295 134512640 134714508 3221224576 3221220844 1076079124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18629 17270 1111 63 0 18566 0
vsize: 74516
[startup+290.016 s]
Raw data (loadavg): 0.99 1.00 1.41 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 43867 0 2 0 28825 152 0 0 25 0 1 0 831018099 76333056 17303 4294967295 134512640 134714508 3221224576 3221221232 1075967926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18636 17303 1111 63 0 18573 0
vsize: 74544
[startup+300.016 s]
Raw data (loadavg): 0.99 1.00 1.40 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 48031 0 2 0 29813 163 0 0 25 0 1 0 831018099 73752576 17312 4294967295 134512640 134714508 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18006 17312 1111 63 0 17943 0
vsize: 72024
[startup+310.028 s]
Raw data (loadavg): 0.99 1.00 1.40 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 51946 0 2 0 30805 174 0 0 25 0 1 0 831018099 76967936 17415 4294967295 134512640 134714508 3221224576 3221220804 1075115057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18791 17415 1111 63 0 18728 0
vsize: 75164
[startup+320.027 s]
Raw data (loadavg): 0.99 1.00 1.39 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 54830 0 2 0 31797 181 0 0 25 0 1 0 831018099 74031104 17396 4294967295 134512640 134714508 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18074 17396 1111 63 0 18011 0
vsize: 72296
[startup+330.029 s]
Raw data (loadavg): 0.99 1.00 1.39 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 57014 0 2 0 32791 187 0 0 25 0 1 0 831018099 74915840 17475 4294967295 134512640 134714508 3221224576 3221220672 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18290 17475 1111 63 0 18227 0
vsize: 73160
[startup+340.028 s]
Raw data (loadavg): 0.99 1.00 1.38 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 59547 0 2 0 33784 195 0 0 25 0 1 0 831018099 77361152 17532 4294967295 134512640 134714508 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18887 17532 1111 63 0 18824 0
vsize: 75548
[startup+350.028 s]
Raw data (loadavg): 0.99 1.00 1.38 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 62174 0 2 0 34778 201 0 0 25 0 1 0 831018099 74067968 17405 4294967295 134512640 134714508 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18083 17405 1111 63 0 18020 0
vsize: 72332
[startup+360.029 s]
Raw data (loadavg): 0.99 1.00 1.37 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 65719 0 2 0 35768 211 0 0 25 0 1 0 831018099 77426688 17552 4294967295 134512640 134714508 3221224576 3221220620 1074873486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18903 17552 1111 63 0 18840 0
vsize: 75612
[startup+370.029 s]
Raw data (loadavg): 0.99 1.00 1.37 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 70155 0 2 0 36757 222 0 0 25 0 1 0 831018099 74190848 17435 4294967295 134512640 134714508 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18113 17435 1111 63 0 18050 0
vsize: 72452
[startup+380.03 s]
Raw data (loadavg): 0.99 1.00 1.36 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 74708 0 2 0 37747 233 0 0 25 0 1 0 831018099 77824000 17660 4294967295 134512640 134714508 3221224576 3221220896 1075171765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19000 17660 1111 63 0 18937 0
vsize: 76000
[startup+390.03 s]
Raw data (loadavg): 0.99 1.00 1.36 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 78738 0 2 0 38737 242 0 0 25 0 1 0 831018099 77983744 17717 4294967295 134512640 134714508 3221224576 3221221728 1075969830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19039 17717 1111 63 0 18976 0
vsize: 76156
[startup+400.029 s]
Raw data (loadavg): 0.99 1.00 1.36 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 83444 0 2 0 39725 255 0 0 25 0 1 0 831018099 75616256 17765 4294967295 134512640 134714508 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18461 17765 1111 63 0 18398 0
vsize: 73844
[startup+410.03 s]
Raw data (loadavg): 0.99 1.00 1.35 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 86781 0 2 0 40717 264 0 0 25 0 1 0 831018099 78884864 17903 4294967295 134512640 134714508 3221224576 3221220672 1074790226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19259 17903 1111 63 0 19196 0
vsize: 77036
[startup+420.03 s]
Raw data (loadavg): 0.99 1.00 1.35 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 90227 0 2 0 41709 272 0 0 25 0 1 0 831018099 78917632 17905 4294967295 134512640 134714508 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19267 17905 1111 63 0 19204 0
vsize: 77068
[startup+430.031 s]
Raw data (loadavg): 0.99 1.00 1.34 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 93192 0 2 0 42701 279 0 0 25 0 1 0 831018099 75829248 17817 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18513 17817 1111 63 0 18450 0
vsize: 74052
[startup+440.031 s]
Raw data (loadavg): 0.99 1.00 1.34 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 95679 0 2 0 43694 286 0 0 25 0 1 0 831018099 75821056 17833 4294967295 134512640 134714508 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18511 17833 1111 63 0 18448 0
vsize: 74044
[startup+450.031 s]
Raw data (loadavg): 0.99 1.00 1.34 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 98472 0 2 0 44686 295 0 0 25 0 1 0 831018099 79007744 17951 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19289 17951 1111 63 0 19226 0
vsize: 77156
[startup+460.032 s]
Raw data (loadavg): 0.99 1.00 1.33 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 101524 0 2 0 45679 303 0 0 25 0 1 0 831018099 76328960 17940 4294967295 134512640 134714508 3221224576 3221222320 1075645384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18635 17940 1111 63 0 18572 0
vsize: 74540
[startup+470.032 s]
Raw data (loadavg): 0.99 1.00 1.33 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 104860 0 2 0 46670 312 0 0 25 0 1 0 831018099 76304384 17919 4294967295 134512640 134714508 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18629 17919 1111 63 0 18566 0
vsize: 74516
[startup+480.032 s]
Raw data (loadavg): 0.99 1.00 1.33 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 108362 0 2 0 47661 320 0 0 25 0 1 0 831018099 76427264 17981 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18659 17981 1111 63 0 18596 0
vsize: 74636
[startup+490.032 s]
Raw data (loadavg): 0.99 1.00 1.32 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 111036 0 2 0 48655 326 0 0 25 0 1 0 831018099 76427264 17981 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18659 17981 1111 63 0 18596 0
vsize: 74636
[startup+500.032 s]
Raw data (loadavg): 0.99 1.00 1.32 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 114160 0 2 0 49646 336 0 0 25 0 1 0 831018099 76857344 18086 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18764 18086 1111 63 0 18701 0
vsize: 75056
[startup+510.033 s]
Raw data (loadavg): 0.99 1.00 1.31 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 117183 0 2 0 50637 345 0 0 25 0 1 0 831018099 79990784 18204 4294967295 134512640 134714508 3221224576 3221220476 1074787659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19529 18204 1111 63 0 19466 0
vsize: 78116
[startup+520.032 s]
Raw data (loadavg): 0.99 1.00 1.31 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 120187 0 2 0 51629 354 0 0 25 0 1 0 831018099 80367616 18286 4294967295 134512640 134714508 3221224576 3221220736 1074883530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19621 18286 1111 63 0 19558 0
vsize: 78484
[startup+530.033 s]
Raw data (loadavg): 0.99 1.00 1.31 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 123485 0 2 0 52621 362 0 0 25 0 1 0 831018099 77438976 18228 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18906 18228 1111 63 0 18843 0
vsize: 75624
[startup+540.033 s]
Raw data (loadavg): 0.99 1.00 1.30 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 126404 0 2 0 53614 368 0 0 25 0 1 0 831018099 78254080 18342 4294967295 134512640 134714508 3221224576 3221222400 1075824279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19105 18348 1111 63 0 19042 0
vsize: 76420
[startup+550.033 s]
Raw data (loadavg): 0.99 1.00 1.30 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 128381 0 2 0 54609 374 0 0 25 0 1 0 831018099 81072128 18475 4294967295 134512640 134714508 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19793 18475 1111 63 0 19730 0
vsize: 79172
[startup+560.033 s]
Raw data (loadavg): 0.99 1.00 1.29 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 130353 0 2 0 55603 379 0 0 25 0 1 0 831018099 77840384 18326 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19004 18326 1111 63 0 18941 0
vsize: 76016
[startup+570.033 s]
Raw data (loadavg): 0.99 1.00 1.29 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 133150 0 2 0 56596 387 0 0 25 0 1 0 831018099 77840384 18326 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19004 18326 1111 63 0 18941 0
vsize: 76016
[startup+580.033 s]
Raw data (loadavg): 0.99 1.00 1.29 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 136701 0 2 0 57589 395 0 0 25 0 1 0 831018099 78237696 18423 4294967295 134512640 134714508 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19101 18423 1111 63 0 19038 0
vsize: 76404
[startup+590.034 s]
Raw data (loadavg): 0.99 1.00 1.28 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 139939 0 2 0 58580 403 0 0 25 0 1 0 831018099 81526784 18598 4294967295 134512640 134714508 3221224576 3221221088 1075084536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19904 18598 1111 63 0 19841 0
vsize: 79616
[startup+600.033 s]
Raw data (loadavg): 0.99 1.00 1.28 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 142993 0 2 0 59573 411 0 0 25 0 1 0 831018099 78815232 18564 4294967295 134512640 134714508 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19242 18564 1111 63 0 19179 0
vsize: 76968
[startup+610.033 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 146206 0 2 0 60566 418 0 0 25 0 1 0 831018099 82251776 18758 4294967295 134512640 134714508 3221224576 3221220720 1074969678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20081 18758 1111 63 0 20018 0
vsize: 80324
[startup+620.033 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 148285 0 2 0 61559 425 0 0 25 0 1 0 831018099 79200256 18658 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19336 18658 1111 63 0 19273 0
vsize: 77344
[startup+630.034 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 151017 0 2 0 62552 432 0 0 25 0 1 0 831018099 81797120 18998 4294967295 134512640 134714508 3221224576 3221220736 1075093371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19970 18998 1111 63 0 19907 0
vsize: 79880
[startup+640.034 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 154911 0 2 0 63542 442 0 0 25 0 1 0 831018099 79192064 18656 4294967295 134512640 134714508 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19334 18656 1111 63 0 19271 0
vsize: 77336
[startup+650.035 s]
Raw data (loadavg): 0.99 1.00 1.26 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 158844 0 2 0 64533 452 0 0 25 0 1 0 831018099 79421440 18712 4294967295 134512640 134714508 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19390 18712 1111 63 0 19327 0
vsize: 77560
[startup+660.035 s]
Raw data (loadavg): 0.99 1.00 1.26 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 162664 0 2 0 65524 461 0 0 25 0 1 0 831018099 79982592 18848 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19527 18848 1111 63 0 19464 0
vsize: 78108
[startup+670.035 s]
Raw data (loadavg): 0.99 1.00 1.26 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 166653 0 2 0 66515 470 0 0 25 0 1 0 831018099 82067456 19057 4294967295 134512640 134714508 3221224576 3221220736 1074794682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20036 19057 1111 63 0 19973 0
vsize: 80144
[startup+680.035 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 169455 0 2 0 67508 477 0 0 25 0 1 0 831018099 79818752 18809 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19487 18809 1111 63 0 19424 0
vsize: 77948
[startup+690.035 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 171837 0 2 0 68502 483 0 0 25 0 1 0 831018099 79888384 18826 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19504 18826 1111 63 0 19441 0
vsize: 78016
[startup+700.035 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 174382 0 2 0 69496 489 0 0 25 0 1 0 831018099 82980864 18943 4294967295 134512640 134714508 3221224576 3221221648 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20259 18943 1111 63 0 20196 0
vsize: 81036
[startup+710.036 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 178652 0 2 0 70487 498 0 0 25 0 1 0 831018099 83623936 19051 4294967295 134512640 134714508 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20416 19053 1111 63 0 20353 0
vsize: 81664
[startup+720.035 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 182977 0 2 0 71477 508 0 0 25 0 1 0 831018099 80359424 18909 4294967295 134512640 134714508 3221224576 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19619 18909 1111 63 0 19556 0
vsize: 78476
[startup+730.036 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 186632 0 2 0 72469 517 0 0 25 0 1 0 831018099 80760832 18982 4294967295 134512640 134714508 3221224576 3221222304 1075828615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19717 18982 1111 63 0 19654 0
vsize: 78868
[startup+740.036 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 190050 0 2 0 73462 524 0 0 25 0 1 0 831018099 83750912 19154 4294967295 134512640 134714508 3221224576 3221220848 1074961264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20447 19154 1111 63 0 20384 0
vsize: 81788
[startup+750.036 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 192554 0 2 0 74455 531 0 0 25 0 1 0 831018099 80650240 19012 4294967295 134512640 134714508 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19690 19012 1111 63 0 19627 0
vsize: 78760
[startup+760.037 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 196931 0 2 0 75445 542 0 0 25 0 1 0 831018099 80490496 18973 4294967295 134512640 134714508 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19651 18973 1111 63 0 19588 0
vsize: 78604
[startup+770.038 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 200115 0 2 0 76438 549 0 0 25 0 1 0 831018099 84176896 19251 4294967295 134512640 134714508 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20551 19251 1111 63 0 20488 0
vsize: 82204
[startup+780.038 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 205047 0 2 0 77426 561 0 0 25 0 1 0 831018099 80539648 18985 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19663 18985 1111 63 0 19600 0
vsize: 78652
[startup+790.038 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 208687 0 2 0 78416 571 0 0 25 0 1 0 831018099 80838656 19058 4294967295 134512640 134714508 3221224576 3221223204 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19736 19058 1111 63 0 19673 0
vsize: 78944
[startup+800.038 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 214041 0 2 0 79404 584 0 0 25 0 1 0 831018099 84828160 19392 4294967295 134512640 134714508 3221224576 3221220736 1075091819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20710 19392 1111 63 0 20647 0
vsize: 82840
[startup+810.039 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 217737 0 2 0 80395 593 0 0 25 0 1 0 831018099 84926464 19432 4294967295 134512640 134714508 3221224576 3221220444 1074787481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20734 19432 1111 63 0 20671 0
vsize: 82936
[startup+820.045 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 221490 0 2 0 81386 602 0 0 25 0 1 0 831018099 81510400 19225 4294967295 134512640 134714508 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19900 19225 1111 63 0 19837 0
vsize: 79600
[startup+830.046 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 224786 0 2 0 82379 609 0 0 25 0 1 0 831018099 84738048 19375 4294967295 134512640 134714508 3221224576 3221221672 1075850393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20688 19375 1111 63 0 20625 0
vsize: 82752
[startup+840.046 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 227931 0 2 0 83372 616 0 0 25 0 1 0 831018099 81883136 19312 4294967295 134512640 134714508 3221224576 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19991 19312 1111 63 0 19928 0
vsize: 79964
[startup+850.053 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 231261 0 2 0 84366 624 0 0 25 0 1 0 831018099 81915904 19321 4294967295 134512640 134714508 3221224576 3221222880 1074153587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19999 19321 1111 63 0 19936 0
vsize: 79996
[startup+860.066 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 234875 0 2 0 85358 633 0 0 25 0 1 0 831018099 81907712 19322 4294967295 134512640 134714508 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19997 19322 1111 63 0 19934 0
vsize: 79988
[startup+870.066 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 238859 0 2 0 86350 642 0 0 25 0 1 0 831018099 85307392 19520 4294967295 134512640 134714508 3221224576 3221221084 1074971924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20827 19520 1111 63 0 20764 0
vsize: 83308
[startup+880.067 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 242142 0 2 0 87341 650 0 0 25 0 1 0 831018099 81895424 19319 4294967295 134512640 134714508 3221224576 3221222608 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19994 19319 1111 63 0 19931 0
vsize: 79976
[startup+890.067 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 245555 0 2 0 88334 657 0 0 25 0 1 0 831018099 81989632 19326 4294967295 134512640 134714508 3221224576 3221222976 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20017 19326 1111 63 0 19954 0
vsize: 80068
[startup+900.066 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 248456 0 2 0 89328 663 0 0 25 0 1 0 831018099 82108416 19371 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20046 19371 1111 63 0 19983 0
vsize: 80184
[startup+910.067 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 251563 0 2 0 90321 670 0 0 25 0 1 0 831018099 82178048 19382 4294967295 134512640 134714508 3221224576 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20063 19382 1111 63 0 20000 0
vsize: 80252
[startup+920.067 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 255046 0 2 0 91313 679 0 0 25 0 1 0 831018099 81956864 19301 4294967295 134512640 134714508 3221224576 3221222304 1075829530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20009 19301 1111 63 0 19946 0
vsize: 80036
[startup+930.068 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 258426 0 2 0 92303 689 0 0 25 0 1 0 831018099 84799488 19339 4294967295 134512640 134714508 3221224576 3221220724 1075964396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20703 19339 1111 63 0 20640 0
vsize: 82812
[startup+940.069 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 261740 0 2 0 93295 697 0 0 25 0 1 0 831018099 81633280 19255 4294967295 134512640 134714508 3221224576 3221222488 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19930 19255 1111 63 0 19867 0
vsize: 79720
[startup+950.069 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 265616 0 2 0 94286 707 0 0 25 0 1 0 831018099 82038784 19351 4294967295 134512640 134714508 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20029 19351 1111 63 0 19966 0
vsize: 80116
[startup+960.069 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 268569 0 2 0 95279 714 0 0 25 0 1 0 831018099 85143552 19472 4294967295 134512640 134714508 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20787 19473 1111 63 0 20724 0
vsize: 83148
[startup+970.069 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 272007 0 2 0 96270 723 0 0 25 0 1 0 831018099 84111360 19388 4294967295 134512640 134714508 3221224576 3221222216 1075850409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20535 19388 1111 63 0 20472 0
vsize: 82140
[startup+980.07 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 274995 0 2 0 97264 729 0 0 25 0 1 0 831018099 85467136 19945 4294967295 134512640 134714508 3221224576 3221220848 1074961490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20866 19945 1111 63 0 20803 0
vsize: 83464
[startup+990.07 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 277535 0 2 0 98258 736 0 0 25 0 1 0 831018099 85479424 19917 4294967295 134512640 134714508 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20869 19917 1111 63 0 20806 0
vsize: 83476
[startup+1000.07 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 282084 0 2 0 99246 748 0 0 25 0 1 0 831018099 82534400 19464 4294967295 134512640 134714508 3221224576 3221222712 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20150 19464 1111 63 0 20087 0
vsize: 80600
[startup+1010.07 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 285120 0 2 0 100239 755 0 0 25 0 1 0 831018099 86224896 19760 4294967295 134512640 134714508 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21051 19762 1111 63 0 20988 0
vsize: 84204
[startup+1020.07 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 289319 0 2 0 101229 765 0 0 25 0 1 0 831018099 82796544 19531 4294967295 134512640 134714508 3221224576 3221223040 1074121092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20214 19531 1111 63 0 20151 0
vsize: 80856
[startup+1030.07 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 292007 0 2 0 102224 771 0 0 25 0 1 0 831018099 82821120 19545 4294967295 134512640 134714508 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20220 19545 1111 63 0 20157 0
vsize: 80880
[startup+1040.07 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 296061 0 2 0 103215 780 0 0 25 0 1 0 831018099 85442560 19902 4294967295 134512640 134714508 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20860 19902 1111 63 0 20797 0
vsize: 83440
[startup+1050.07 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 299102 0 2 0 104208 787 0 0 25 0 1 0 831018099 83156992 19627 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20302 19627 1111 63 0 20239 0
vsize: 81208
[startup+1060.07 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 302022 0 2 0 105201 794 0 0 25 0 1 0 831018099 83070976 19606 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20281 19606 1111 63 0 20218 0
vsize: 81124
[startup+1070.07 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 305142 0 2 0 106193 802 0 0 25 0 1 0 831018099 83070976 19606 4294967295 134512640 134714508 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20281 19606 1111 63 0 20218 0
vsize: 81124
[startup+1080.07 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 307943 0 2 0 107186 809 0 0 25 0 1 0 831018099 86355968 19801 4294967295 134512640 134714508 3221224576 3221220472 1074789603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21083 19801 1111 63 0 21020 0
vsize: 84332
[startup+1090.07 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 311436 0 2 0 108178 817 0 0 25 0 1 0 831018099 85573632 19937 4294967295 134512640 134714508 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20892 19937 1111 63 0 20829 0
vsize: 83568
[startup+1100.07 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 313392 0 2 0 109174 822 0 0 25 0 1 0 831018099 85512192 19906 4294967295 134512640 134714508 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20877 19906 1111 63 0 20814 0
vsize: 83508
[startup+1110.08 s]
Raw data (loadavg): 0.99 1.00 1.15 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 316288 0 2 0 110168 828 0 0 25 0 1 0 831018099 83103744 19614 4294967295 134512640 134714508 3221224576 3221223264 134552108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20289 19614 1111 63 0 20226 0
vsize: 81156
[startup+1120.08 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 318765 0 2 0 111162 834 0 0 25 0 1 0 831018099 82993152 19571 4294967295 134512640 134714508 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20262 19571 1111 63 0 20199 0
vsize: 81048
[startup+1130.08 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 321699 0 2 0 112156 841 0 0 25 0 1 0 831018099 86474752 19842 4294967295 134512640 134714508 3221224576 3221220720 1074968620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21112 19842 1111 63 0 21049 0
vsize: 84448
[startup+1140.08 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 327110 0 2 0 113143 853 0 0 25 0 1 0 831018099 86085632 19733 4294967295 134512640 134714508 3221224576 3221220456 1074788427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21017 19733 1111 63 0 20954 0
vsize: 84068
[startup+1150.08 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 330066 0 2 0 114136 861 0 0 25 0 1 0 831018099 83267584 19622 4294967295 134512640 134714508 3221224576 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20329 19622 1111 63 0 20266 0
vsize: 81316
[startup+1160.08 s]
Raw data (loadavg): 0.99 1.00 1.14 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 332525 0 2 0 115129 868 0 0 25 0 1 0 831018099 86679552 19853 4294967295 134512640 134714508 3221224576 3221221520 1074620107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21162 19853 1111 63 0 21099 0
vsize: 84648
[startup+1170.08 s]
Raw data (loadavg): 0.99 1.00 1.13 2/54 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 335724 0 2 0 116122 876 0 0 25 0 1 0 831018099 83099648 19613 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20288 19613 1111 63 0 20225 0
vsize: 81152
[startup+1175.39 s]
Raw data (loadavg): 0.99 1.00 1.13 1/53 4182
Raw data (stat): 4182 (bsolo_lpr_cuts) R 4181 3394 3393 0 -1 0 335724 0 2 0 116122 876 0 0 25 0 1 0 831018099 83099648 19613 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20288 19613 1111 63 0 20225 0
vsize: 0

Child status: 10
Real time (s): 1175.39
CPU time (s): 1175.27
CPU user time (s): 1166.42
CPU system time (s): 8.84366
CPU usage (%): 99.9897
Max. virtual memory (Kb): 84648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	45
#### END VERIFIER DATA ####