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 25476

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 17:47:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19645 boxname=wulflinc31 idbench=1512 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos1.opb
IDLAUNCH: 19645
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        711520 kB
Buffers:         33472 kB
Cached:         264204 kB
SwapCached:       5400 kB
Active:         241404 kB
Inactive:        62980 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        711268 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13036 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 18:07:31 (client local time) WITH STATUS 10 IN 1178.25 SECONDS
stats: 19645 0 1178.25 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 45.187 s
c Initial Lower Bound: 12
c Lower Bound Elapsed time: 2.28925
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 45 @ 220.074
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: 1178.21 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.84 0.94 0.98 2/55 23612
Raw data (stat): 23612 (runsolver) R 23611 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 788931720 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.87 0.94 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 14682 0 0 0 959 35 0 0 25 0 1 0 788931720 63266816 14603 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15446 14603 1111 63 0 15383 0
vsize: 61784
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 14762 0 0 0 1959 36 0 0 25 0 1 0 788931720 63672320 14683 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15545 14683 1111 63 0 15482 0
vsize: 62180
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.94 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 14851 0 0 0 2958 36 0 0 25 0 1 0 788931720 64077824 14772 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15644 14772 1111 63 0 15581 0
vsize: 62576
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.94 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 14947 0 0 0 3958 37 0 0 25 0 1 0 788931720 64348160 14868 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15710 14868 1111 63 0 15647 0
vsize: 62840
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.94 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 16619 0 0 0 4955 41 0 0 25 0 1 0 788931720 68861952 15919 4294967295 134512640 134714508 3221221776 3221217916 1075116836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16812 15919 1111 63 0 16749 0
vsize: 67248
[startup+60.0033 s]
Raw data (loadavg): 0.94 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21314 0 0 0 5941 54 0 0 25 0 1 0 788931720 67260416 15740 4294967295 134512640 134714508 3221221776 3221220560 134597611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16421 15740 1111 63 0 16358 0
vsize: 65684
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21314 0 0 0 6938 56 0 0 25 0 1 0 788931720 67260416 15740 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16421 15740 1111 63 0 16358 0
vsize: 65684
[startup+80.0045 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21314 0 0 0 7937 58 0 0 25 0 1 0 788931720 67260416 15740 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16421 15740 1111 63 0 16358 0
vsize: 65684
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21314 0 0 0 8935 60 0 0 25 0 1 0 788931720 67260416 15740 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16421 15740 1111 63 0 16358 0
vsize: 65684
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21314 0 0 0 9932 63 0 0 25 0 1 0 788931720 67260416 15740 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16421 15740 1111 63 0 16358 0
vsize: 65684
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21334 0 0 0 10930 65 0 0 25 0 1 0 788931720 67395584 15760 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16454 15760 1111 63 0 16391 0
vsize: 65816
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21361 0 0 0 11927 68 0 0 25 0 1 0 788931720 67530752 15787 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16487 15787 1111 63 0 16424 0
vsize: 65948
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21397 0 0 0 12925 71 0 0 25 0 1 0 788931720 67665920 15823 4294967295 134512640 134714508 3221221776 3221220464 134535750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16520 15823 1111 63 0 16457 0
vsize: 66080
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21429 0 0 0 13923 73 0 0 25 0 1 0 788931720 67801088 15855 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16553 15855 1111 63 0 16490 0
vsize: 66212
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21472 0 0 0 14921 76 0 0 25 0 1 0 788931720 67936256 15898 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16586 15898 1111 63 0 16523 0
vsize: 66344
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21511 0 0 0 15917 79 0 0 25 0 1 0 788931720 68071424 15937 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16619 15937 1111 63 0 16556 0
vsize: 66476
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21588 0 0 0 16915 81 0 0 25 0 1 0 788931720 68476928 16014 4294967295 134512640 134714508 3221221776 3221220536 134613501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16718 16014 1111 63 0 16655 0
vsize: 66872
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21691 0 0 0 17913 84 0 0 25 0 1 0 788931720 68882432 16117 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16817 16117 1111 63 0 16754 0
vsize: 67268
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21809 0 0 0 18911 86 0 0 25 0 1 0 788931720 69287936 16235 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16916 16235 1111 63 0 16853 0
vsize: 67664
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 21893 0 0 0 19908 89 0 0 25 0 1 0 788931720 69693440 16319 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17015 16319 1111 63 0 16952 0
vsize: 68060
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 22026 0 0 0 20906 91 0 0 25 0 1 0 788931720 70234112 16452 4294967295 134512640 134714508 3221221776 3221220568 134597609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17147 16452 1111 63 0 17084 0
vsize: 68588
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 22278 0 0 0 21902 95 0 0 25 0 1 0 788931720 71311360 16704 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17410 16704 1111 63 0 17347 0
vsize: 69640
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 29166 0 0 0 22886 111 0 0 25 0 1 0 788931720 71864320 16788 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17545 16788 1111 63 0 17482 0
vsize: 70180
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 31162 0 0 0 23880 116 0 0 25 0 1 0 788931720 71962624 16890 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17569 16890 1111 63 0 17506 0
vsize: 70276
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 33235 0 0 0 24874 123 0 0 25 0 1 0 788931720 72138752 16933 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17612 16933 1111 63 0 17549 0
vsize: 70448
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 37047 0 0 0 25865 132 0 0 25 0 1 0 788931720 75730944 17151 4294967295 134512640 134714508 3221221776 3221217808 1075965263 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18489 17151 1111 63 0 18426 0
vsize: 73956
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 39431 0 0 0 26858 139 0 0 25 0 1 0 788931720 73199616 17191 4294967295 134512640 134714508 3221221776 3221220144 1074115878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17871 17191 1111 63 0 17808 0
vsize: 71484
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 41409 0 0 0 27853 144 0 0 25 0 1 0 788931720 76296192 17261 4294967295 134512640 134714508 3221221776 3221217932 1075091137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18627 17261 1111 63 0 18564 0
vsize: 74508
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 43657 0 0 0 28848 150 0 0 25 0 1 0 788931720 74326016 17392 4294967295 134512640 134714508 3221221776 3221217888 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18146 17392 1111 63 0 18083 0
vsize: 72584
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 47625 0 0 0 29837 161 0 0 25 0 1 0 788931720 76791808 17377 4294967295 134512640 134714508 3221221776 3221217620 1074786476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18748 17377 1111 63 0 18685 0
vsize: 74992
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 51518 0 0 0 30827 172 0 0 25 0 1 0 788931720 73973760 17350 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18060 17350 1111 63 0 17997 0
vsize: 72240
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 54728 0 0 0 31818 180 0 0 25 0 1 0 788931720 74035200 17397 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18075 17397 1111 63 0 18012 0
vsize: 72300
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 56876 0 0 0 32811 188 0 0 25 0 1 0 788931720 74166272 17429 4294967295 134512640 134714508 3221221776 3221220088 1074138237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18107 17429 1111 63 0 18044 0
vsize: 72428
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 59263 0 0 0 33805 194 0 0 25 0 1 0 788931720 77275136 17532 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18866 17532 1111 63 0 18803 0
vsize: 75464
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 61918 0 0 0 34798 201 0 0 25 0 1 0 788931720 74072064 17406 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18084 17406 1111 63 0 18021 0
vsize: 72336
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 65372 0 0 0 35791 208 0 0 25 0 1 0 788931720 74260480 17451 4294967295 134512640 134714508 3221221776 3221219776 1074918562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18130 17451 1111 63 0 18067 0
vsize: 72520
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 69539 0 0 0 36781 218 0 0 25 0 1 0 788931720 74608640 17514 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18215 17514 1111 63 0 18152 0
vsize: 72860
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 74165 0 0 0 37769 230 0 0 25 0 1 0 788931720 74719232 17545 4294967295 134512640 134714508 3221221776 3221220416 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18242 17545 1111 63 0 18179 0
vsize: 72968
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 78326 0 0 0 38758 242 0 0 25 0 1 0 788931720 78102528 17711 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19068 17711 1111 63 0 19005 0
vsize: 76272
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 83131 0 0 0 39746 254 0 0 25 0 1 0 788931720 75513856 17758 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18436 17758 1111 63 0 18373 0
vsize: 73744
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 86631 0 0 0 40738 262 0 0 25 0 1 0 788931720 75513856 17758 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18436 17758 1111 63 0 18373 0
vsize: 73744
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 90068 0 0 0 41731 269 0 0 25 0 1 0 788931720 75681792 17797 4294967295 134512640 134714508 3221221776 3221219776 1074056623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18477 17797 1111 63 0 18414 0
vsize: 73908
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 92917 0 0 0 42724 276 0 0 25 0 1 0 788931720 75780096 17823 4294967295 134512640 134714508 3221221776 3221220212 1073991173 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18501 17823 1111 63 0 18438 0
vsize: 74004
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 95617 0 0 0 43717 284 0 0 25 0 1 0 788931720 75825152 17834 4294967295 134512640 134714508 3221221776 3221219056 1074139993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18512 17834 1111 63 0 18449 0
vsize: 74048
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 98345 0 0 0 44711 290 0 0 25 0 1 0 788931720 75902976 17853 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17853 1111 63 0 18468 0
vsize: 74124
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 101401 0 0 0 45703 298 0 0 25 0 1 0 788931720 76001280 17877 4294967295 134512640 134714508 3221221776 3221220072 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18555 17877 1111 63 0 18492 0
vsize: 74220
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 104570 0 0 0 46696 306 0 0 25 0 1 0 788931720 76324864 17924 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18634 17924 1111 63 0 18571 0
vsize: 74536
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 108172 0 0 0 47687 314 0 0 25 0 1 0 788931720 76431360 17982 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18660 17982 1111 63 0 18597 0
vsize: 74640
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 110483 0 0 0 48682 320 0 0 25 0 1 0 788931720 76914688 18025 4294967295 134512640 134714508 3221221776 3221219504 1075829483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18778 18025 1111 63 0 18715 0
vsize: 75112
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 113980 0 0 0 49673 329 0 0 25 0 1 0 788931720 76861440 18087 4294967295 134512640 134714508 3221221776 3221220060 1074206265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18765 18087 1111 63 0 18702 0
vsize: 75060
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 116901 0 0 0 50666 336 0 0 25 0 1 0 788931720 80130048 18208 4294967295 134512640 134714508 3221221776 3221218816 1075860416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19563 18208 1111 63 0 19500 0
vsize: 78252
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 119957 0 0 0 51657 345 0 0 25 0 1 0 788931720 77385728 18191 4294967295 134512640 134714508 3221221776 3221220080 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18893 18191 1111 63 0 18830 0
vsize: 75572
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 123182 0 0 0 52650 352 0 0 25 0 1 0 788931720 80478208 18310 4294967295 134512640 134714508 3221221776 3221217984 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19648 18310 1111 63 0 19585 0
vsize: 78592
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 125964 0 0 0 53643 359 0 0 25 0 1 0 788931720 77410304 18221 4294967295 134512640 134714508 3221221776 3221220112 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18899 18221 1111 63 0 18836 0
vsize: 75596
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 127974 0 0 0 54638 365 0 0 25 0 1 0 788931720 77942784 18351 4294967295 134512640 134714508 3221221776 3221220064 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19029 18351 1111 63 0 18966 0
vsize: 76116
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 130095 0 0 0 55633 370 0 0 25 0 1 0 788931720 80957440 18422 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19765 18422 1111 63 0 19702 0
vsize: 79060
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 132413 0 0 0 56628 375 0 0 25 0 1 0 788931720 77910016 18331 4294967295 134512640 134714508 3221221776 3221220080 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19021 18331 1111 63 0 18958 0
vsize: 76084
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 136166 0 0 0 57619 385 0 0 25 0 1 0 788931720 78241792 18424 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19102 18424 1111 63 0 19039 0
vsize: 76408
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 139343 0 0 0 58610 393 0 0 25 0 1 0 788931720 81768448 18617 4294967295 134512640 134714508 3221221776 3221218000 1075115515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19963 18617 1111 63 0 19900 0
vsize: 79852
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 142395 0 0 0 59601 402 0 0 25 0 1 0 788931720 78446592 18449 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19152 18449 1111 63 0 19089 0
vsize: 76608
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 145762 0 0 0 60594 410 0 0 25 0 1 0 788931720 79052800 18622 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19300 18622 1111 63 0 19237 0
vsize: 77200
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 147835 0 0 0 61589 415 0 0 25 0 1 0 788931720 79204352 18659 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19337 18659 1111 63 0 19274 0
vsize: 77348
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 150062 0 0 0 62584 421 0 0 25 0 1 0 788931720 81637376 18951 4294967295 134512640 134714508 3221221776 3221218352 1076049124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19931 18951 1111 63 0 19868 0
vsize: 79724
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 154247 0 0 0 63574 431 0 0 25 0 1 0 788931720 79196160 18657 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19335 18657 1111 63 0 19272 0
vsize: 77340
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 158420 0 0 0 64564 440 0 0 25 0 1 0 788931720 79425536 18713 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19391 18713 1111 63 0 19328 0
vsize: 77564
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 162255 0 0 0 65555 450 0 0 25 0 1 0 788931720 79634432 18763 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19442 18763 1111 63 0 19379 0
vsize: 77768
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 166644 0 0 0 66544 461 0 0 25 0 1 0 788931720 83009536 19267 4294967295 134512640 134714508 3221221776 3221218112 1075114265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20266 19267 1111 63 0 20203 0
vsize: 81064
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 169311 0 0 0 67538 467 0 0 25 0 1 0 788931720 79880192 18820 4294967295 134512640 134714508 3221221776 3221218880 1074138636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19502 18820 1111 63 0 19439 0
vsize: 78008
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 171841 0 0 0 68532 473 0 0 25 0 1 0 788931720 79892480 18827 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19505 18827 1111 63 0 19442 0
vsize: 78020
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 174260 0 0 0 69525 480 0 0 25 0 1 0 788931720 83156992 19018 4294967295 134512640 134714508 3221221776 3221217676 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20302 19018 1111 63 0 20239 0
vsize: 81208
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 178491 0 0 0 70514 491 0 0 25 0 1 0 788931720 80535552 18944 4294967295 134512640 134714508 3221221776 3221219504 1075828682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19662 18944 1111 63 0 19599 0
vsize: 78648
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 182981 0 0 0 71505 501 0 0 25 0 1 0 788931720 80363520 18910 4294967295 134512640 134714508 3221221776 3221220080 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19620 18910 1111 63 0 19557 0
vsize: 78480
[startup+730.099 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 23612
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 186650 0 0 0 72504 510 0 0 25 0 1 0 788931720 80445440 18962 4294967295 134512640 134714508 3221221776 3221219776 1074918215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19640 18962 1111 63 0 19577 0
vsize: 78560
[startup+740.162 s]
Raw data (loadavg): 1.07 0.99 0.98 2/59 23655
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 190248 0 0 0 73501 519 0 0 25 0 1 0 788931720 80605184 18969 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19679 18969 1111 63 0 19616 0
vsize: 78716
[startup+750.162 s]
Raw data (loadavg): 1.14 1.00 0.99 2/55 23665
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 192688 0 0 0 74495 525 0 0 25 0 1 0 788931720 81010688 19100 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19778 19100 1111 63 0 19715 0
vsize: 79112
[startup+760.163 s]
Raw data (loadavg): 1.11 1.00 0.99 2/55 23665
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 196935 0 0 0 75485 536 0 0 25 0 1 0 788931720 80494592 18974 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19652 18974 1111 63 0 19589 0
vsize: 78608
[startup+770.163 s]
Raw data (loadavg): 1.10 1.00 0.99 2/55 23665
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 200138 0 0 0 76477 543 0 0 25 0 1 0 788931720 84180992 19271 4294967295 134512640 134714508 3221221776 3221218004 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20552 19271 1111 63 0 20489 0
vsize: 82208
[startup+780.163 s]
Raw data (loadavg): 1.08 1.00 0.99 2/55 23665
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 205216 0 0 0 77466 555 0 0 25 0 1 0 788931720 80965632 19079 4294967295 134512640 134714508 3221221776 3221220136 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19767 19079 1111 63 0 19704 0
vsize: 79068
[startup+790.163 s]
Raw data (loadavg): 1.07 1.00 0.99 2/55 23665
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 208691 0 0 0 78460 562 0 0 25 0 1 0 788931720 80842752 19059 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19737 19059 1111 63 0 19674 0
vsize: 78948
[startup+800.163 s]
Raw data (loadavg): 1.06 1.00 0.99 2/55 23665
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 214275 0 0 0 79447 575 0 0 25 0 1 0 788931720 80990208 19098 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19773 19098 1111 63 0 19710 0
vsize: 79092
[startup+810.163 s]
Raw data (loadavg): 1.05 1.00 0.99 2/55 23665
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 217765 0 0 0 80438 583 0 0 25 0 1 0 788931720 84930560 19456 4294967295 134512640 134714508 3221221776 3221218432 1075968660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20735 19456 1111 63 0 20672 0
vsize: 82940
[startup+820.163 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 221494 0 0 0 81430 592 0 0 25 0 1 0 788931720 81514496 19226 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19901 19226 1111 63 0 19838 0
vsize: 79604
[startup+830.164 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 224822 0 0 0 82422 600 0 0 25 0 1 0 788931720 81776640 19290 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19965 19290 1111 63 0 19902 0
vsize: 79860
[startup+840.164 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 228323 0 0 0 83414 608 0 0 25 0 1 0 788931720 82132992 19371 4294967295 134512640 134714508 3221221776 3221219776 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20052 19371 1111 63 0 19989 0
vsize: 80208
[startup+850.165 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 231745 0 0 0 84405 617 0 0 25 0 1 0 788931720 82010112 19347 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20022 19347 1111 63 0 19959 0
vsize: 80088
[startup+860.165 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 235237 0 0 0 85395 627 0 0 25 0 1 0 788931720 85348352 19551 4294967295 134512640 134714508 3221221776 3221218820 1074846155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20837 19551 1111 63 0 20774 0
vsize: 83348
[startup+870.165 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 239053 0 0 0 86386 636 0 0 25 0 1 0 788931720 81879040 19308 4294967295 134512640 134714508 3221221776 3221220080 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19990 19308 1111 63 0 19927 0
vsize: 79960
[startup+880.165 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 242770 0 0 0 87378 645 0 0 25 0 1 0 788931720 84996096 19458 4294967295 134512640 134714508 3221221776 3221217644 1074787823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20751 19458 1111 63 0 20688 0
vsize: 83004
[startup+890.165 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 245559 0 0 0 88371 652 0 0 25 0 1 0 788931720 81993728 19327 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20018 19327 1111 63 0 19955 0
vsize: 80072
[startup+900.166 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 248460 0 0 0 89363 660 0 0 25 0 1 0 788931720 82112512 19372 4294967295 134512640 134714508 3221221776 3221219784 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20047 19372 1111 63 0 19984 0
vsize: 80188
[startup+910.167 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 252046 0 0 0 90356 667 0 0 25 0 1 0 788931720 81915904 19324 4294967295 134512640 134714508 3221221776 3221220112 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19999 19324 1111 63 0 19936 0
vsize: 79996
[startup+920.167 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 255467 0 0 0 91347 676 0 0 25 0 1 0 788931720 81580032 19242 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19917 19242 1111 63 0 19854 0
vsize: 79668
[startup+930.168 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 258523 0 0 0 92341 683 0 0 25 0 1 0 788931720 81973248 19300 4294967295 134512640 134714508 3221221776 3221219360 1075817789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20013 19300 1111 63 0 19950 0
vsize: 80052
[startup+940.168 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 262130 0 0 0 93332 692 0 0 25 0 1 0 788931720 81580032 19242 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19917 19242 1111 63 0 19854 0
vsize: 79668
[startup+950.168 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 265704 0 0 0 94323 701 0 0 25 0 1 0 788931720 81915904 19324 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19999 19324 1111 63 0 19936 0
vsize: 79996
[startup+960.169 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 268678 0 0 0 95314 710 0 0 25 0 1 0 788931720 81825792 19302 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19977 19302 1111 63 0 19914 0
vsize: 79908
[startup+970.168 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 272067 0 0 0 96306 718 0 0 25 0 1 0 788931720 82374656 19416 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20111 19416 1111 63 0 20048 0
vsize: 80444
[startup+980.168 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 274999 0 0 0 97299 725 0 0 25 0 1 0 788931720 85471232 19946 4294967295 134512640 134714508 3221221776 3221217920 1074969660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20867 19946 1111 63 0 20804 0
vsize: 83468
[startup+990.168 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 277539 0 0 0 98293 731 0 0 25 0 1 0 788931720 85483520 19918 4294967295 134512640 134714508 3221221776 3221217920 1074970267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20870 19918 1111 63 0 20807 0
vsize: 83480
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 282090 0 0 0 99282 744 0 0 25 0 1 0 788931720 82538496 19467 4294967295 134512640 134714508 3221221776 3221220032 1074146224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20151 19467 1111 63 0 20088 0
vsize: 80604
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 285440 0 0 0 100274 751 0 0 25 0 1 0 788931720 85823488 19641 4294967295 134512640 134714508 3221221776 3221218872 1075850409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20953 19641 1111 63 0 20890 0
vsize: 83812
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 289323 0 0 0 101264 762 0 0 25 0 1 0 788931720 82800640 19532 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20215 19532 1111 63 0 20152 0
vsize: 80860
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 292011 0 0 0 102257 768 0 0 25 0 1 0 788931720 82825216 19546 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20221 19546 1111 63 0 20158 0
vsize: 80884
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 296065 0 0 0 103248 778 0 0 25 0 1 0 788931720 85446656 19903 4294967295 134512640 134714508 3221221776 3221217820 1074873498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20861 19903 1111 63 0 20798 0
vsize: 83444
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 299106 0 0 0 104241 785 0 0 25 0 1 0 788931720 83161088 19628 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20303 19628 1111 63 0 20240 0
vsize: 81212
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 302026 0 0 0 105234 792 0 0 25 0 1 0 788931720 83075072 19607 4294967295 134512640 134714508 3221221776 3221220072 1074138153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20282 19607 1111 63 0 20219 0
vsize: 81128
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 305146 0 0 0 106227 800 0 0 25 0 1 0 788931720 83075072 19607 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20282 19607 1111 63 0 20219 0
vsize: 81128
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 308226 0 0 0 107218 808 0 0 25 0 1 0 788931720 83062784 19604 4294967295 134512640 134714508 3221221776 3221219776 1074056550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20279 19604 1111 63 0 20216 0
vsize: 81116
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 311445 0 0 0 108209 817 0 0 25 0 1 0 788931720 85577728 19943 4294967295 134512640 134714508 3221221776 3221218544 1076084156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20893 19943 1111 63 0 20830 0
vsize: 83572
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23667
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 313396 0 0 0 109205 822 0 0 25 0 1 0 788931720 85516288 19907 4294967295 134512640 134714508 3221221776 3221218112 1075114277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20878 19907 1111 63 0 20815 0
vsize: 83512
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23669
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 316292 0 0 0 110197 830 0 0 25 0 1 0 788931720 83070976 19606 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20281 19606 1111 63 0 20218 0
vsize: 81124
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23669
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 319049 0 0 0 111190 837 0 0 25 0 1 0 788931720 86335488 19799 4294967295 134512640 134714508 3221221776 3221217580 1074787806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21078 19799 1111 63 0 21015 0
vsize: 84312
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23669
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 322397 0 0 0 112183 845 0 0 25 0 1 0 788931720 86503424 19848 4294967295 134512640 134714508 3221221776 3221217672 1074789711 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21119 19848 1111 63 0 21056 0
vsize: 84476
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23669
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 327214 0 0 0 113171 857 0 0 25 0 1 0 788931720 83124224 19617 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20294 19617 1111 63 0 20231 0
vsize: 81176
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23669
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 330303 0 0 0 114163 865 0 0 25 0 1 0 788931720 84189184 19804 4294967295 134512640 134714508 3221221776 3221218000 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20554 19804 1111 63 0 20491 0
vsize: 82216
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23669
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 332779 0 0 0 115157 870 0 0 25 0 1 0 788931720 83181568 19633 4294967295 134512640 134714508 3221221776 3221220112 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20308 19633 1111 63 0 20245 0
vsize: 81232
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 23669
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 336110 0 0 0 116150 878 0 0 25 0 1 0 788931720 86618112 19865 4294967295 134512640 134714508 3221221776 3221218848 1074867274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21147 19865 1111 63 0 21084 0
vsize: 84588
[startup+1178.14 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 23669
Raw data (stat): 23612 (bsolo_lpr_cuts) R 23611 7876 7672 0 -1 0 336110 0 0 0 116150 878 0 0 25 0 1 0 788931720 86618112 19865 4294967295 134512640 134714508 3221221776 3221218848 1074867274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21147 19865 1111 63 0 21084 0
vsize: 0

Child status: 10
Real time (s): 1178.14
CPU time (s): 1178.25
CPU user time (s): 1169.34
CPU system time (s): 8.91064
CPU usage (%): 100.01
Max. virtual memory (Kb): 84588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	45
#### END VERIFIER DATA ####