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/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
MD5SUM	f1382105ee9fb79777762a53cf6a73c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	21166
Optimality of the best value was proved	NO
Number of terms in the objective function	304
Biggest coefficient in the objective function	62376
Number of bits for the biggest coefficient in the objective function	16
Sum of the numbers in the objective function	3092598
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	62376
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	3092598
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1177.34
Number of variables	556
Total number of constraints	217
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	191
Minimum length of a constraint	1
Maximum length of a constraint	48
Trace number 40022

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 00:38:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28079 boxname=wulflinc6 idbench=1035 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-gt2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-gt2.opb
IDLAUNCH: 28079
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        726128 kB
Buffers:         22504 kB
Cached:         264252 kB
SwapCached:       1020 kB
Active:          26960 kB
Inactive:       261964 kB
HighTotal:      131008 kB
HighFree:          532 kB
LowTotal:       903652 kB
LowFree:        725596 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13952 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:58:15 (client local time) WITH STATUS 10 IN 1177.34 SECONDS
stats: 28079 0 1177.34 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 556 variables and 180 constraints.
c After prepocess the problem consists of 556 variables and 193 constraints.
c preprocess terminated 0.777 s
c Initial Lower Bound: 17002
c Lower Bound Elapsed time: 0.038
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 176910 @ 16.108
c NEW SOLUTION FOUND: 171540 @ 16.143
c NEW SOLUTION FOUND: 168716 @ 16.28
c NEW SOLUTION FOUND: 166170 @ 16.297
c NEW SOLUTION FOUND: 164510 @ 16.476
c NEW SOLUTION FOUND: 163485 @ 16.895
c NEW SOLUTION FOUND: 161825 @ 17.172
c NEW SOLUTION FOUND: 160661 @ 17.581
c NEW SOLUTION FOUND: 158115 @ 17.744
c NEW SOLUTION FOUND: 156455 @ 18.179
c NEW SOLUTION FOUND: 156291 @ 23.834
c NEW SOLUTION FOUND: 153411 @ 24.061
c NEW SOLUTION FOUND: 151751 @ 24.327
c NEW SOLUTION FOUND: 150726 @ 27.906
c NEW SOLUTION FOUND: 149066 @ 28.016
c NEW SOLUTION FOUND: 148261 @ 29.948
c NEW SOLUTION FOUND: 147626 @ 44.193
c NEW SOLUTION FOUND: 145966 @ 44.32
c NEW SOLUTION FOUND: 145551 @ 45.595
c NEW SOLUTION FOUND: 145161 @ 47.563
c NEW SOLUTION FOUND: 144966 @ 56.652
c NEW SOLUTION FOUND: 144526 @ 57.889
c NEW SOLUTION FOUND: 144136 @ 58
c NEW SOLUTION FOUND: 143721 @ 66.579
c NEW SOLUTION FOUND: 141426 @ 103.102
c NEW SOLUTION FOUND: 141011 @ 105.411
c NEW SOLUTION FOUND: 140621 @ 106.46
s SATISFIABLE
v -x_0x2e__0x2e__0x2e_0101_bit0 -x_0x2e__0x2e__0x2e_0101_bit1 -x_0x2e__0x2e__0x2e_0101_bit2 -x_0x2e__0x2e__0x2e_0101_bit3 -x_0x2e__0x2e__0x2e_0201_bit0 -x_0x2e__0x2e__0x2e_0201_bit1 -x_0x2e__0x2e__0x2e_0201_bit2 -x_0x2e__0x2e__0x2e_0201_bit3 -x_0x2e__0x2e__0x2e_0301_bit0 -x_0x2e__0x2e__0x2e_0301_bit1 -x_0x2e__0x2e__0x2e_0301_bit2 -x_0x2e__0x2e__0x2e_0301_bit3 -x_0x2e__0x2e__0x2e_0401_bit0 -x_0x2e__0x2e__0x2e_0401_bit1 -x_0x2e__0x2e__0x2e_0401_bit2 -x_0x2e__0x2e__0x2e_0401_bit3 -x_0x2e__0x2e__0x2e_0701_bit0 -x_0x2e__0x2e__0x2e_0701_bit1 -x_0x2e__0x2e__0x2e_0701_bit2 x_0x2e__0x2e__0x2e_0701_bit3 -x_0x2e__0x2e__0x2e_0801_bit0 -x_0x2e__0x2e__0x2e_0801_bit1 -x_0x2e__0x2e__0x2e_0801_bit2 -x_0x2e__0x2e__0x2e_0801_bit3 -x_0x2e__0x2e__0x2e_0901_bit0 -x_0x2e__0x2e__0x2e_0901_bit1 -x_0x2e__0x2e__0x2e_0901_bit2 -x_0x2e__0x2e__0x2e_0901_bit3 -x_0x2e__0x2e__0x2e_1001_bit0 -x_0x2e__0x2e__0x2e_1001_bit1 -x_0x2e__0x2e__0x2e_1001_bit2 -x_0x2e__0x2e__0x2e_1001_bit3 x_0x2e__0x2e__0x2e_0102_bit0 x_0x2e__0x2e__0x2e_0102_bit1 -x_0x2e__0x2e__0x2e_0102_bit2 -x_0x2e__0x2e__0x2e_0102_bit3 -x_0x2e__0x2e__0x2e_0202_bit0 -x_0x2e__0x2e__0x2e_0202_bit1 -x_0x2e__0x2e__0x2e_0202_bit2 -x_0x2e__0x2e__0x2e_0202_bit3 -x_0x2e__0x2e__0x2e_0302_bit0 -x_0x2e__0x2e__0x2e_0302_bit1 -x_0x2e__0x2e__0x2e_0302_bit2 x_0x2e__0x2e__0x2e_0302_bit3 x_0x2e__0x2e__0x2e_0402_bit0 -x_0x2e__0x2e__0x2e_0402_bit1 -x_0x2e__0x2e__0x2e_0402_bit2 -x_0x2e__0x2e__0x2e_0402_bit3 -x_0x2e__0x2e__0x2e_0502_bit0 -x_0x2e__0x2e__0x2e_0502_bit1 -x_0x2e__0x2e__0x2e_0502_bit2 -x_0x2e__0x2e__0x2e_0502_bit3 -x_0x2e__0x2e__0x2e_0602_bit0 -x_0x2e__0x2e__0x2e_0602_bit1 -x_0x2e__0x2e__0x2e_0602_bit2 -x_0x2e__0x2e__0x2e_0602_bit3 -x_0x2e__0x2e__0x2e_0702_bit0 -x_0x2e__0x2e__0x2e_0702_bit1 -x_0x2e__0x2e__0x2e_0702_bit2 -x_0x2e__0x2e__0x2e_0702_bit3 x_0x2e__0x2e__0x2e_0802_bit0 -x_0x2e__0x2e__0x2e_0802_bit1 -x_0x2e__0x2e__0x2e_0802_bit2 -x_0x2e__0x2e__0x2e_0802_bit3 -x_0x2e__0x2e__0x2e_0902_bit0 -x_0x2e__0x2e__0x2e_0902_bit1 -x_0x2e__0x2e__0x2e_0902_bit2 -x_0x2e__0x2e__0x2e_0902_bit3 -x_0x2e__0x2e__0x2e_1002_bit0 -x_0x2e__0x2e__0x2e_1002_bit1 -x_0x2e__0x2e__0x2e_1002_bit2 -x_0x2e__0x2e__0x2e_1002_bit3 -x_0x2e__0x2e__0x2e_1102_bit0 x_0x2e__0x2e__0x2e_1102_bit1 -x_0x2e__0x2e__0x2e_1102_bit2 -x_0x2e__0x2e__0x2e_1102_bit3 -x_0x2e__0x2e__0x2e_1202_bit0 -x_0x2e__0x2e__0x2e_1202_bit1 -x_0x2e__0x2e__0x2e_1202_bit2 -x_0x2e__0x2e__0x2e_1202_bit3 -x_0x2e__0x2e__0x2e_0103_bit0 x_0x2e__0x2e__0x2e_0103_bit1 -x_0x2e__0x2e__0x2e_0103_bit2 -x_0x2e__0x2e__0x2e_0103_bit3 -x_0x2e__0x2e__0x2e_0203_bit0 -x_0x2e__0x2e__0x2e_0203_bit1 -x_0x2e__0x2e__0x2e_0203_bit2 -x_0x2e__0x2e__0x2e_0203_bit3 -x_0x2e__0x2e__0x2e_0303_bit0 -x_0x2e__0x2e__0x2e_0303_bit1 -x_0x2e__0x2e__0x2e_0303_bit2 -x_0x2e__0x2e__0x2e_0303_bit3 -x_0x2e__0x2e__0x2e_0403_bit0 -x_0x2e__0x2e__0x2e_0403_bit1 -x_0x2e__0x2e__0x2e_0403_bit2 -x_0x2e__0x2e__0x2e_0403_bit3 -x_0x2e__0x2e__0x2e_0503_bit0 -x_0x2e__0x2e__0x2e_0503_bit1 -x_0x2e__0x2e__0x2e_0503_bit2 -x_0x2e__0x2e__0x2e_0503_bit3 -x_0x2e__0x2e__0x2e_0603_bit0 -x_0x2e__0x2e__0x2e_0603_bit1 -x_0x2e__0x2e__0x2e_0603_bit2 -x_0x2e__0x2e__0x2e_0603_bit3 -x_0x2e__0x2e__0x2e_0703_bit0 -x_0x2e__0x2e__0x2e_0703_bit1 -x_0x2e__0x2e__0x2e_0703_bit2 -x_0x2e__0x2e__0x2e_0703_bit3 -x_0x2e__0x2e__0x2e_0803_bit0 -x_0x2e__0x2e__0x2e_0803_bit1 -x_0x2e__0x2e__0x2e_0803_bit2 -x_0x2e__0x2e__0x2e_0803_bit3 -x_0x2e__0x2e__0x2e_0903_bit0 -x_0x2e__0x2e__0x2e_0903_bit1 -x_0x2e__0x2e__0x2e_0903_bit2 -x_0x2e__0x2e__0x2e_0903_bit3 x_0x2e__0x2e__0x2e_1003_bit0 -x_0x2e__0x2e__0x2e_1003_bit1 -x_0x2e__0x2e__0x2e_1003_bit2 -x_0x2e__0x2e__0x2e_1003_bit3 -x_0x2e__0x2e__0x2e_1103_bit0 -x_0x2e__0x2e__0x2e_1103_bit1 -x_0x2e__0x2e__0x2e_1103_bit2 -x_0x2e__0x2e__0x2e_1103_bit3 -x_0x2e__0x2e__0x2e_1203_bit0 -x_0x2e__0x2e__0x2e_1203_bit1 -x_0x2e__0x2e__0x2e_1203_bit2 -x_0x2e__0x2e__0x2e_1203_bit3 -x_0x2e__0x2e__0x2e_0104_bit0 -x_0x2e__0x2e__0x2e_0204_bit0 -x_0x2e__0x2e__0x2e_0304_bit0 -x_0x2e__0x2e__0x2e_0404_bit0 -x_0x2e__0x2e__0x2e_0504_bit0 -x_0x2e__0x2e__0x2e_0604_bit0 -x_0x2e__0x2e__0x2e_0704_bit0 -x_0x2e__0x2e__0x2e_0804_bit0 x_0x2e__0x2e__0x2e_0904_bit0 -x_0x2e__0x2e__0x2e_1004_bit0 -x_0x2e__0x2e__0x2e_1104_bit0 -x_0x2e__0x2e__0x2e_1204_bit0 -x_0x2e__0x2e__0x2e_0105_bit0 -x_0x2e__0x2e__0x2e_0105_bit1 -x_0x2e__0x2e__0x2e_0105_bit2 -x_0x2e__0x2e__0x2e_0205_bit0 -x_0x2e__0x2e__0x2e_0205_bit1 -x_0x2e__0x2e__0x2e_0205_bit2 -x_0x2e__0x2e__0x2e_0305_bit0 -x_0x2e__0x2e__0x2e_0305_bit1 -x_0x2e__0x2e__0x2e_0305_bit2 -x_0x2e__0x2e__0x2e_0405_bit0 -x_0x2e__0x2e__0x2e_0405_bit1 -x_0x2e__0x2e__0x2e_0405_bit2 -x_0x2e__0x2e__0x2e_0505_bit0 -x_0x2e__0x2e__0x2e_0505_bit1 -x_0x2e__0x2e__0x2e_0505_bit2 -x_0x2e__0x2e__0x2e_0605_bit0 -x_0x2e__0x2e__0x2e_0605_bit1 -x_0x2e__0x2e__0x2e_0605_bit2 -x_0x2e__0x2e__0x2e_0705_bit0 -x_0x2e__0x2e__0x2e_0705_bit1 -x_0x2e__0x2e__0x2e_0705_bit2 -x_0x2e__0x2e__0x2e_0805_bit0 -x_0x2e__0x2e__0x2e_0805_bit1 -x_0x2e__0x2e__0x2e_0805_bit2 x_0x2e__0x2e__0x2e_0905_bit0 -x_0x2e__0x2e__0x2e_0905_bit1 x_0x2e__0x2e__0x2e_0905_bit2 -x_0x2e__0x2e__0x2e_1005_bit0 -x_0x2e__0x2e__0x2e_1005_bit1 -x_0x2e__0x2e__0x2e_1005_bit2 -x_0x2e__0x2e__0x2e_1105_bit0 -x_0x2e__0x2e__0x2e_1105_bit1 -x_0x2e__0x2e__0x2e_1105_bit2 -x_0x2e__0x2e__0x2e_1205_bit0 -x_0x2e__0x2e__0x2e_1205_bit1 -x_0x2e__0x2e__0x2e_1205_bit2 -x_0x2e__0x2e__0x2e_0106_bit0 -x_0x2e__0x2e__0x2e_0106_bit1 -x_0x2e__0x2e__0x2e_0106_bit2 -x_0x2e__0x2e__0x2e_0106_bit3 -x_0x2e__0x2e__0x2e_0206_bit0 -x_0x2e__0x2e__0x2e_0206_bit1 -x_0x2e__0x2e__0x2e_0206_bit2 -x_0x2e__0x2e__0x2e_0206_bit3 -x_0x2e__0x2e__0x2e_0306_bit0 -x_0x2e__0x2e__0x2e_0306_bit1 -x_0x2e__0x2e__0x2e_0306_bit2 -x_0x2e__0x2e__0x2e_0306_bit3 -x_0x2e__0x2e__0x2e_0406_bit0 -x_0x2e__0x2e__0x2e_0406_bit1 -x_0x2e__0x2e__0x2e_0406_bit2 -x_0x2e__0x2e__0x2e_0406_bit3 -x_0x2e__0x2e__0x2e_0506_bit0 -x_0x2e__0x2e__0x2e_0506_bit1 -x_0x2e__0x2e__0x2e_0506_bit2 x_0x2e__0x2e__0x2e_0506_bit3 -x_0x2e__0x2e__0x2e_0606_bit0 -x_0x2e__0x2e__0x2e_0606_bit1 -x_0x2e__0x2e__0x2e_0606_bit2 -x_0x2e__0x2e__0x2e_0606_bit3 -x_0x2e__0x2e__0x2e_0706_bit0 -x_0x2e__0x2e__0x2e_0706_bit1 -x_0x2e__0x2e__0x2e_0706_bit2 -x_0x2e__0x2e__0x2e_0706_bit3 -x_0x2e__0x2e__0x2e_0806_bit0 -x_0x2e__0x2e__0x2e_0806_bit1 -x_0x2e__0x2e__0x2e_0806_bit2 -x_0x2e__0x2e__0x2e_0806_bit3 -x_0x2e__0x2e__0x2e_0906_bit0 -x_0x2e__0x2e__0x2e_0906_bit1 -x_0x2e__0x2e__0x2e_0906_bit2 -x_0x2e__0x2e__0x2e_0906_bit3 -x_0x2e__0x2e__0x2e_1006_bit0 -x_0x2e__0x2e__0x2e_1006_bit1 -x_0x2e__0x2e__0x2e_1006_bit2 -x_0x2e__0x2e__0x2e_1006_bit3 -x_0x2e__0x2e__0x2e_1106_bit0 -x_0x2e__0x2e__0x2e_1106_bit1 -x_0x2e__0x2e__0x2e_1106_bit2 -x_0x2e__0x2e__0x2e_1106_bit3 -x_0x2e__0x2e__0x2e_1206_bit0 -x_0x2e__0x2e__0x2e_1206_bit1 -x_0x2e__0x2e__0x2e_1206_bit2 -x_0x2e__0x2e__0x2e_1206_bit3 -x_0x2e__0x2e__0x2e_0507_bit0 -x_0x2e__0x2e__0x2e_0507_bit1 -x_0x2e__0x2e__0x2e_0507_bit2 -x_0x2e__0x2e__0x2e_0607_bit0 -x_0x2e__0x2e__0x2e_0607_bit1 -x_0x2e__0x2e__0x2e_0607_bit2 -x_0x2e__0x2e__0x2e_1107_bit0 -x_0x2e__0x2e__0x2e_1107_bit1 -x_0x2e__0x2e__0x2e_1107_bit2 -x_0x2e__0x2e__0x2e_1207_bit0 -x_0x2e__0x2e__0x2e_1207_bit1 -x_0x2e__0x2e__0x2e_1207_bit2 -x_0x2e__0x2e__0x2e_0108_bit0 -x_0x2e__0x2e__0x2e_0108_bit1 -x_0x2e__0x2e__0x2e_0108_bit2 -x_0x2e__0x2e__0x2e_0108_bit3 -x_0x2e__0x2e__0x2e_0208_bit0 -x_0x2e__0x2e__0x2e_0208_bit1 -x_0x2e__0x2e__0x2e_0208_bit2 -x_0x2e__0x2e__0x2e_0208_bit3 -x_0x2e__0x2e__0x2e_0308_bit0 -x_0x2e__0x2e__0x2e_0308_bit1 -x_0x2e__0x2e__0x2e_0308_bit2 -x_0x2e__0x2e__0x2e_0308_bit3 -x_0x2e__0x2e__0x2e_0408_bit0 -x_0x2e__0x2e__0x2e_0408_bit1 x_0x2e__0x2e__0x2e_0408_bit2 -x_0x2e__0x2e__0x2e_0408_bit3 -x_0x2e__0x2e__0x2e_0708_bit0 -x_0x2e__0x2e__0x2e_0708_bit1 -x_0x2e__0x2e__0x2e_0708_bit2 -x_0x2e__0x2e__0x2e_0708_bit3 -x_0x2e__0x2e__0x2e_0808_bit0 -x_0x2e__0x2e__0x2e_0808_bit1 -x_0x2e__0x2e__0x2e_0808_bit2 -x_0x2e__0x2e__0x2e_0808_bit3 -x_0x2e__0x2e__0x2e_0908_bit0 -x_0x2e__0x2e__0x2e_0908_bit1 -x_0x2e__0x2e__0x2e_0908_bit2 -x_0x2e__0x2e__0x2e_0908_bit3 -x_0x2e__0x2e__0x2e_1008_bit0 -x_0x2e__0x2e__0x2e_1008_bit1 x_0x2e__0x2e__0x2e_1008_bit2 -x_0x2e__0x2e__0x2e_1008_bit3 -x_0x2e__0x2e__0x2e_0109_bit0 -x_0x2e__0x2e__0x2e_0109_bit1 -x_0x2e__0x2e__0x2e_0109_bit2 -x_0x2e__0x2e__0x2e_0209_bit0 -x_0x2e__0x2e__0x2e_0209_bit1 -x_0x2e__0x2e__0x2e_0209_bit2 -x_0x2e__0x2e__0x2e_0309_bit0 -x_0x2e__0x2e__0x2e_0309_bit1 -x_0x2e__0x2e__0x2e_0309_bit2 -x_0x2e__0x2e__0x2e_0409_bit0 -x_0x2e__0x2e__0x2e_0409_bit1 -x_0x2e__0x2e__0x2e_0409_bit2 -x_0x2e__0x2e__0x2e_0509_bit0 -x_0x2e__0x2e__0x2e_0509_bit1 -x_0x2e__0x2e__0x2e_0509_bit2 -x_0x2e__0x2e__0x2e_0609_bit0 -x_0x2e__0x2e__0x2e_0609_bit1 x_0x2e__0x2e__0x2e_0609_bit2 -x_0x2e__0x2e__0x2e_0709_bit0 -x_0x2e__0x2e__0x2e_0709_bit1 -x_0x2e__0x2e__0x2e_0709_bit2 -x_0x2e__0x2e__0x2e_0809_bit0 -x_0x2e__0x2e__0x2e_0809_bit1 -x_0x2e__0x2e__0x2e_0809_bit2 -x_0x2e__0x2e__0x2e_0909_bit0 -x_0x2e__0x2e__0x2e_0909_bit1 -x_0x2e__0x2e__0x2e_0909_bit2 -x_0x2e__0x2e__0x2e_1009_bit0 -x_0x2e__0x2e__0x2e_1009_bit1 -x_0x2e__0x2e__0x2e_1009_bit2 -x_0x2e__0x2e__0x2e_1109_bit0 -x_0x2e__0x2e__0x2e_1109_bit1 -x_0x2e__0x2e__0x2e_1109_bit2 -x_0x2e__0x2e__0x2e_1209_bit0 -x_0x2e__0x2e__0x2e_1209_bit1 -x_0x2e__0x2e__0x2e_1209_bit2 -x_0x2e__0x2e__0x2e_0110_bit0 -x_0x2e__0x2e__0x2e_0110_bit1 -x_0x2e__0x2e__0x2e_0110_bit2 -x_0x2e__0x2e__0x2e_0111_bit0 -x_0x2e__0x2e__0x2e_0111_bit1 -x_0x2e__0x2e__0x2e_0111_bit2 -x_0x2e__0x2e__0x2e_0112_bit0 -x_0x2e__0x2e__0x2e_0112_bit1 -x_0x2e__0x2e__0x2e_0112_bit2 -x_0x2e__0x2e__0x2e_0112_bit3 -x_0x2e__0x2e__0x2e_0113_bit0 -x_0x2e__0x2e__0x2e_0113_bit1 -x_0x2e__0x2e__0x2e_0113_bit2 -x_0x2e__0x2e__0x2e_0114_bit0 -x_0x2e__0x2e__0x2e_0114_bit1 -x_0x2e__0x2e__0x2e_0114_bit2 -x_0x2e__0x2e__0x2e_0115_bit0 -x_0x2e__0x2e__0x2e_0115_bit1 -x_0x2e__0x2e__0x2e_0116_bit0 -x_0x2e__0x2e__0x2e_0116_bit1 -x_0x2e__0x2e__0x2e_0210_bit0 x_0x2e__0x2e__0x2e_0210_bit1 -x_0x2e__0x2e__0x2e_0210_bit2 -x_0x2e__0x2e__0x2e_0211_bit0 -x_0x2e__0x2e__0x2e_0211_bit1 -x_0x2e__0x2e__0x2e_0211_bit2 -x_0x2e__0x2e__0x2e_0212_bit0 -x_0x2e__0x2e__0x2e_0212_bit1 -x_0x2e__0x2e__0x2e_0212_bit2 -x_0x2e__0x2e__0x2e_0212_bit3 -x_0x2e__0x2e__0x2e_0213_bit0 -x_0x2e__0x2e__0x2e_0213_bit1 -x_0x2e__0x2e__0x2e_0213_bit2 -x_0x2e__0x2e__0x2e_0214_bit0 x_0x2e__0x2e__0x2e_0214_bit1 -x_0x2e__0x2e__0x2e_0214_bit2 -x_0x2e__0x2e__0x2e_0215_bit0 -x_0x2e__0x2e__0x2e_0215_bit1 -x_0x2e__0x2e__0x2e_0216_bit0 -x_0x2e__0x2e__0x2e_0216_bit1 -x_0x2e__0x2e__0x2e_0310_bit0 -x_0x2e__0x2e__0x2e_0310_bit1 -x_0x2e__0x2e__0x2e_0310_bit2 -x_0x2e__0x2e__0x2e_0311_bit0 -x_0x2e__0x2e__0x2e_0311_bit1 -x_0x2e__0x2e__0x2e_0311_bit2 -x_0x2e__0x2e__0x2e_0312_bit0 -x_0x2e__0x2e__0x2e_0312_bit1 -x_0x2e__0x2e__0x2e_0312_bit2 -x_0x2e__0x2e__0x2e_0312_bit3 -x_0x2e__0x2e__0x2e_0313_bit0 -x_0x2e__0x2e__0x2e_0313_bit1 -x_0x2e__0x2e__0x2e_0313_bit2 -x_0x2e__0x2e__0x2e_0314_bit0 -x_0x2e__0x2e__0x2e_0314_bit1 -x_0x2e__0x2e__0x2e_0314_bit2 -x_0x2e__0x2e__0x2e_0315_bit0 -x_0x2e__0x2e__0x2e_0315_bit1 -x_0x2e__0x2e__0x2e_0316_bit0 -x_0x2e__0x2e__0x2e_0316_bit1 -x_0x2e__0x2e__0x2e_0410_bit0 -x_0x2e__0x2e__0x2e_0410_bit1 -x_0x2e__0x2e__0x2e_0410_bit2 -x_0x2e__0x2e__0x2e_0411_bit0 -x_0x2e__0x2e__0x2e_0411_bit1 -x_0x2e__0x2e__0x2e_0411_bit2 x_0x2e__0x2e__0x2e_0412_bit0 -x_0x2e__0x2e__0x2e_0412_bit1 -x_0x2e__0x2e__0x2e_0412_bit2 -x_0x2e__0x2e__0x2e_0412_bit3 -x_0x2e__0x2e__0x2e_0413_bit0 -x_0x2e__0x2e__0x2e_0413_bit1 -x_0x2e__0x2e__0x2e_0413_bit2 -x_0x2e__0x2e__0x2e_0414_bit0 -x_0x2e__0x2e__0x2e_0414_bit1 -x_0x2e__0x2e__0x2e_0414_bit2 -x_0x2e__0x2e__0x2e_0415_bit0 -x_0x2e__0x2e__0x2e_0415_bit1 -x_0x2e__0x2e__0x2e_0416_bit0 -x_0x2e__0x2e__0x2e_0416_bit1 -x_0x2e__0x2e__0x2e_0510_bit0 -x_0x2e__0x2e__0x2e_0510_bit1 -x_0x2e__0x2e__0x2e_0510_bit2 -x_0x2e__0x2e__0x2e_0511_bit0 -x_0x2e__0x2e__0x2e_0511_bit1 -x_0x2e__0x2e__0x2e_0511_bit2 -x_0x2e__0x2e__0x2e_0512_bit0 -x_0x2e__0x2e__0x2e_0512_bit1 -x_0x2e__0x2e__0x2e_0512_bit2 -x_0x2e__0x2e__0x2e_0512_bit3 -x_0x2e__0x2e__0x2e_0513_bit0 -x_0x2e__0x2e__0x2e_0513_bit1 -x_0x2e__0x2e__0x2e_0513_bit2 -x_0x2e__0x2e__0x2e_0514_bit0 -x_0x2e__0x2e__0x2e_0514_bit1 -x_0x2e__0x2e__0x2e_0514_bit2 -x_0x2e__0x2e__0x2e_0515_bit0 -x_0x2e__0x2e__0x2e_0515_bit1 -x_0x2e__0x2e__0x2e_0516_bit0 -x_0x2e__0x2e__0x2e_0516_bit1 -x_0x2e__0x2e__0x2e_0610_bit0 -x_0x2e__0x2e__0x2e_0610_bit1 -x_0x2e__0x2e__0x2e_0610_bit2 -x_0x2e__0x2e__0x2e_0611_bit0 -x_0x2e__0x2e__0x2e_0611_bit1 -x_0x2e__0x2e__0x2e_0611_bit2 -x_0x2e__0x2e__0x2e_0612_bit0 -x_0x2e__0x2e__0x2e_0612_bit1 -x_0x2e__0x2e__0x2e_0612_bit2 -x_0x2e__0x2e__0x2e_0612_bit3 -x_0x2e__0x2e__0x2e_0613_bit0 -x_0x2e__0x2e__0x2e_0613_bit1 -x_0x2e__0x2e__0x2e_0613_bit2 -x_0x2e__0x2e__0x2e_0614_bit0 -x_0x2e__0x2e__0x2e_0614_bit1 -x_0x2e__0x2e__0x2e_0614_bit2 -x_0x2e__0x2e__0x2e_0615_bit0 -x_0x2e__0x2e__0x2e_0615_bit1 -x_0x2e__0x2e__0x2e_0616_bit0 -x_0x2e__0x2e__0x2e_0616_bit1 -x_0x2e__0x2e__0x2e_0710_bit0 -x_0x2e__0x2e__0x2e_0710_bit1 -x_0x2e__0x2e__0x2e_0710_bit2 -x_0x2e__0x2e__0x2e_0711_bit0 -x_0x2e__0x2e__0x2e_0711_bit1 -x_0x2e__0x2e__0x2e_0711_bit2 -x_0x2e__0x2e__0x2e_0712_bit0 -x_0x2e__0x2e__0x2e_0712_bit1 -x_0x2e__0x2e__0x2e_0712_bit2 -x_0x2e__0x2e__0x2e_0712_bit3 -x_0x2e__0x2e__0x2e_0713_bit0 -x_0x2e__0x2e__0x2e_0713_bit1 -x_0x2e__0x2e__0x2e_0713_bit2 -x_0x2e__0x2e__0x2e_0714_bit0 -x_0x2e__0x2e__0x2e_0714_bit1 -x_0x2e__0x2e__0x2e_0714_bit2 -x_0x2e__0x2e__0x2e_0715_bit0 -x_0x2e__0x2e__0x2e_0715_bit1 -x_0x2e__0x2e__0x2e_0716_bit0 -x_0x2e__0x2e__0x2e_0716_bit1 -x_0x2e__0x2e__0x2e_0810_bit0 -x_0x2e__0x2e__0x2e_0810_bit1 -x_0x2e__0x2e__0x2e_0810_bit2 -x_0x2e__0x2e__0x2e_0811_bit0 -x_0x2e__0x2e__0x2e_0811_bit1 -x_0x2e__0x2e__0x2e_0811_bit2 -x_0x2e__0x2e__0x2e_0812_bit0 -x_0x2e__0x2e__0x2e_0812_bit1 -x_0x2e__0x2e__0x2e_0812_bit2 -x_0x2e__0x2e__0x2e_0812_bit3 x_0x2e__0x2e__0x2e_0813_bit0 -x_0x2e__0x2e__0x2e_0813_bit1 -x_0x2e__0x2e__0x2e_0813_bit2 -x_0x2e__0x2e__0x2e_0814_bit0 -x_0x2e__0x2e__0x2e_0814_bit1 -x_0x2e__0x2e__0x2e_0814_bit2 -x_0x2e__0x2e__0x2e_0815_bit0 -x_0x2e__0x2e__0x2e_0815_bit1 -x_0x2e__0x2e__0x2e_0816_bit0 -x_0x2e__0x2e__0x2e_0816_bit1 x_0x2e__0x2e__0x2e_0910_bit0 -x_0x2e__0x2e__0x2e_0910_bit1 -x_0x2e__0x2e__0x2e_0910_bit2 x_0x2e__0x2e__0x2e_0911_bit0 x_0x2e__0x2e__0x2e_0911_bit1 -x_0x2e__0x2e__0x2e_0911_bit2 -x_0x2e__0x2e__0x2e_0912_bit0 -x_0x2e__0x2e__0x2e_0912_bit1 -x_0x2e__0x2e__0x2e_0912_bit2 -x_0x2e__0x2e__0x2e_0912_bit3 -x_0x2e__0x2e__0x2e_0913_bit0 -x_0x2e__0x2e__0x2e_0913_bit1 -x_0x2e__0x2e__0x2e_0913_bit2 -x_0x2e__0x2e__0x2e_0914_bit0 -x_0x2e__0x2e__0x2e_0914_bit1 -x_0x2e__0x2e__0x2e_0914_bit2 x_0x2e__0x2e__0x2e_0915_bit0 -x_0x2e__0x2e__0x2e_0915_bit1 -x_0x2e__0x2e__0x2e_0916_bit0 -x_0x2e__0x2e__0x2e_0916_bit1 -x_0x2e__0x2e__0x2e_1010_bit0 x_0x2e__0x2e__0x2e_1010_bit1 -x_0x2e__0x2e__0x2e_1010_bit2 -x_0x2e__0x2e__0x2e_1011_bit0 -x_0x2e__0x2e__0x2e_1011_bit1 -x_0x2e__0x2e__0x2e_1011_bit2 -x_0x2e__0x2e__0x2e_1012_bit0 -x_0x2e__0x2e__0x2e_1012_bit1 -x_0x2e__0x2e__0x2e_1012_bit2 -x_0x2e__0x2e__0x2e_1012_bit3 -x_0x2e__0x2e__0x2e_1013_bit0 -x_0x2e__0x2e__0x2e_1013_bit1 -x_0x2e__0x2e__0x2e_1013_bit2 -x_0x2e__0x2e__0x2e_1014_bit0 -x_0x2e__0x2e__0x2e_1014_bit1 -x_0x2e__0x2e__0x2e_1014_bit2 -x_0x2e__0x2e__0x2e_1015_bit0 -x_0x2e__0x2e__0x2e_1015_bit1 -x_0x2e__0x2e__0x2e_1016_bit0 -x_0x2e__0x2e__0x2e_1016_bit1 -x_0x2e__0x2e__0x2e_1110_bit0 -x_0x2e__0x2e__0x2e_1110_bit1 -x_0x2e__0x2e__0x2e_1110_bit2 x_0x2e__0x2e__0x2e_1111_bit0 -x_0x2e__0x2e__0x2e_1111_bit1 -x_0x2e__0x2e__0x2e_1111_bit2 -x_0x2e__0x2e__0x2e_1112_bit0 -x_0x2e__0x2e__0x2e_1112_bit1 -x_0x2e__0x2e__0x2e_1112_bit2 -x_0x2e__0x2e__0x2e_1112_bit3 -x_0x2e__0x2e__0x2e_1113_bit0 -x_0x2e__0x2e__0x2e_1113_bit1 -x_0x2e__0x2e__0x2e_1113_bit2 -x_0x2e__0x2e__0x2e_1114_bit0 -x_0x2e__0x2e__0x2e_1114_bit1 -x_0x2e__0x2e__0x2e_1114_bit2 -x_0x2e__0x2e__0x2e_1115_bit0 -x_0x2e__0x2e__0x2e_1115_bit1 -x_0x2e__0x2e__0x2e_1116_bit0 -x_0x2e__0x2e__0x2e_1116_bit1 -x_0x2e__0x2e__0x2e_1210_bit0 -x_0x2e__0x2e__0x2e_1210_bit1 -x_0x2e__0x2e__0x2e_1210_bit2 -x_0x2e__0x2e__0x2e_1211_bit0 -x_0x2e__0x2e__0x2e_1211_bit1 -x_0x2e__0x2e__0x2e_1211_bit2 -x_0x2e__0x2e__0x2e_1212_bit0 -x_0x2e__0x2e__0x2e_1212_bit1 -x_0x2e__0x2e__0x2e_1212_bit2 -x_0x2e__0x2e__0x2e_1212_bit3 -x_0x2e__0x2e__0x2e_1213_bit0 -x_0x2e__0x2e__0x2e_1213_bit1 -x_0x2e__0x2e__0x2e_1213_bit2 -x_0x2e__0x2e__0x2e_1214_bit0 -x_0x2e__0x2e__0x2e_1214_bit1 -x_0x2e__0x2e__0x2e_1214_bit2 -x_0x2e__0x2e__0x2e_1215_bit0 -x_0x2e__0x2e__0x2e_1215_bit1 -x_0x2e__0x2e__0x2e_1216_bit0 -x_0x2e__0x2e__0x2e_1216_bit1 -x_0x2e__0x2e__0x2e_0117_bit0 -x_0x2e__0x2e__0x2e_0217_bit0 -x_0x2e__0x2e__0x2e_0317_bit0 -x_0x2e__0x2e__0x2e_0417_bit0 -x_0x2e__0x2e__0x2e_0517_bit0 -x_0x2e__0x2e__0x2e_0617_bit0 -x_0x2e__0x2e__0x2e_0717_bit0 -x_0x2e__0x2e__0x2e_0817_bit0 x_0x2e__0x2e__0x2e_0917_bit0 -x_0x2e__0x2e__0x2e_1017_bit0 -x_0x2e__0x2e__0x2e_1117_bit0 -x_0x2e__0x2e__0x2e_1217_bit0 
c Exit Code: 10
c Total time: 1177.3 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.93 0.90 2/54 22405
Raw data (stat): 22405 (runsolver) R 22404 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897375097 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 5113 0 0 0 985 12 0 0 25 0 1 0 897375097 11087872 2014 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 3225643616 0 0 17 1 0 0
Raw data (statm): 2705 2012 1111 63 0 2642 0
vsize: 10828
[startup+20.0016 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 8558 0 0 0 1968 29 0 0 25 0 1 0 897375097 11919360 2220 4294967295 134512640 134716908 3221224576 3221222992 1074116657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 2221 1111 63 0 2903 0
vsize: 11640
[startup+30.0032 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 15907 0 0 0 2938 59 0 0 25 0 1 0 897375097 14192640 2772 4294967295 134512640 134716908 3221224576 3221222848 1074056084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3465 2772 1111 63 0 3402 0
vsize: 13860
[startup+40.0041 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 23647 0 0 0 3911 86 0 0 25 0 1 0 897375097 16199680 3267 4294967295 134512640 134716908 3221224576 3221222912 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3267 1111 63 0 3892 0
vsize: 15820
[startup+50.005 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 31635 0 0 0 4884 113 0 0 25 0 1 0 897375097 17952768 3697 4294967295 134512640 134716908 3221224576 3221222324 1077374180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4383 3697 1111 63 0 4320 0
vsize: 17532
[startup+60.0057 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 39283 0 0 0 5858 140 0 0 25 0 1 0 897375097 19640320 4111 4294967295 134512640 134716908 3221224576 3221222320 1075640213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4795 4111 1111 63 0 4732 0
vsize: 19180
[startup+70.0068 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 45594 0 0 0 6833 165 0 0 25 0 1 0 897375097 21127168 4361 4294967295 134512640 134716908 3221224576 3221221808 1074829857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5158 4361 1111 63 0 5095 0
vsize: 20632
[startup+80.0076 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 49674 0 0 0 7823 175 0 0 25 0 1 0 897375097 21110784 4473 4294967295 134512640 134716908 3221224576 3221222892 1074050752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5154 4473 1111 63 0 5091 0
vsize: 20616
[startup+90.0085 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 59163 0 0 0 8795 204 0 0 25 0 1 0 897375097 23404544 4916 4294967295 134512640 134716908 3221224576 3221221676 1075971140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5714 4916 1111 63 0 5651 0
vsize: 22856
[startup+100.009 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 64045 0 0 0 9782 217 0 0 25 0 1 0 897375097 24223744 5225 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5914 5225 1111 63 0 5851 0
vsize: 23656
[startup+110.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 79474 0 0 0 10741 258 0 0 25 0 1 0 897375097 25059328 5436 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6118 5436 1111 63 0 6055 0
vsize: 24472
[startup+120.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 92328 0 0 0 11708 292 0 0 25 0 1 0 897375097 26238976 5724 4294967295 134512640 134716908 3221224576 3221221680 1074138755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6406 5724 1111 63 0 6343 0
vsize: 25624
[startup+130.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 105040 0 0 0 12675 325 0 0 25 0 1 0 897375097 27119616 5936 4294967295 134512640 134716908 3221224576 3221222512 1073986813 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6621 5936 1111 63 0 6558 0
vsize: 26484
[startup+140.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 118871 0 0 0 13639 361 0 0 25 0 1 0 897375097 28381184 6247 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6929 6247 1111 63 0 6866 0
vsize: 27716
[startup+150.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 130280 0 0 0 14609 392 0 0 25 0 1 0 897375097 30580736 6571 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7466 6571 1111 63 0 7403 0
vsize: 29864
[startup+160.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 145531 0 0 0 15567 434 0 0 25 0 1 0 897375097 32026624 7092 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7819 7092 1111 63 0 7756 0
vsize: 31276
[startup+170.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 160722 0 0 0 16524 478 0 0 25 0 1 0 897375097 34127872 7607 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 7607 1111 63 0 8269 0
vsize: 33328
[startup+180.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 166148 0 0 0 17510 492 0 0 25 0 1 0 897375097 35246080 7887 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8605 7887 1111 63 0 8542 0
vsize: 34420
[startup+190.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 166392 0 0 0 18509 493 0 0 25 0 1 0 897375097 35553280 7937 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8680 7937 1111 63 0 8617 0
vsize: 34720
[startup+200.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 167811 0 0 0 19506 497 0 0 25 0 1 0 897375097 35409920 7924 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8645 7924 1111 63 0 8582 0
vsize: 34580
[startup+210.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 176803 0 0 0 20486 517 0 0 25 0 1 0 897375097 35725312 8003 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 8003 1111 63 0 8659 0
vsize: 34888
[startup+220.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 179851 0 0 0 21478 525 0 0 25 0 1 0 897375097 35143680 7862 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8580 7862 1111 63 0 8517 0
vsize: 34320
[startup+230.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 184634 0 0 0 22466 537 0 0 25 0 1 0 897375097 35340288 7910 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8628 7910 1111 63 0 8565 0
vsize: 34512
[startup+240.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 189901 0 0 0 23452 552 0 0 25 0 1 0 897375097 36409344 8148 4294967295 134512640 134716908 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 8148 1111 63 0 8826 0
vsize: 35556
[startup+250.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 192113 0 0 0 24446 557 0 0 25 0 1 0 897375097 36581376 8213 4294967295 134512640 134716908 3221224576 3221223288 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8931 8213 1111 63 0 8868 0
vsize: 35724
[startup+260.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 193437 0 0 0 25443 561 0 0 25 0 1 0 897375097 37232640 8319 4294967295 134512640 134716908 3221224576 3221222320 1075645388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9090 8319 1111 63 0 9027 0
vsize: 36360
[startup+270.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 194219 0 0 0 26442 563 0 0 25 0 1 0 897375097 36745216 8245 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8971 8245 1111 63 0 8908 0
vsize: 35884
[startup+280.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 205859 0 0 0 27415 590 0 0 25 0 1 0 897375097 36564992 8197 4294967295 134512640 134716908 3221224576 3221223292 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8927 8197 1111 63 0 8864 0
vsize: 35708
[startup+290.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 213476 0 0 0 28399 607 0 0 25 0 1 0 897375097 36134912 8104 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8822 8104 1111 63 0 8759 0
vsize: 35288
[startup+300.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 218627 0 0 0 29386 620 0 0 25 0 1 0 897375097 36831232 8274 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8992 8274 1111 63 0 8929 0
vsize: 35968
[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 233159 0 0 0 30352 654 0 0 25 0 1 0 897375097 37490688 8435 4294967295 134512640 134716908 3221224576 3221222824 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9153 8435 1111 63 0 9090 0
vsize: 36612
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 238987 0 0 0 31340 667 0 0 25 0 1 0 897375097 37990400 8555 4294967295 134512640 134716908 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9275 8555 1111 63 0 9212 0
vsize: 37100
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 249709 0 0 0 32312 695 0 0 25 0 1 0 897375097 39227392 8858 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9577 8858 1111 63 0 9514 0
vsize: 38308
[startup+340.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 258794 0 0 0 33288 719 0 0 25 0 1 0 897375097 42340352 9609 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 9609 1111 63 0 10274 0
vsize: 41348
[startup+350.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 260177 0 0 0 34285 722 0 0 25 0 1 0 897375097 41369600 9374 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10100 9374 1111 63 0 10037 0
vsize: 40400
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 271333 0 0 0 35261 747 0 0 25 0 1 0 897375097 41132032 9323 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10042 9323 1111 63 0 9979 0
vsize: 40168
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 273625 0 0 0 36255 754 0 0 25 0 1 0 897375097 43958272 10006 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10732 10006 1111 63 0 10669 0
vsize: 42928
[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 275390 0 0 0 37251 758 0 0 25 0 1 0 897375097 42618880 9686 4294967295 134512640 134716908 3221224576 3221223296 134622905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10405 9686 1111 63 0 10342 0
vsize: 41620
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 275889 0 0 0 38250 759 0 0 25 0 1 0 897375097 43429888 9868 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10603 9868 1111 63 0 10540 0
vsize: 42412
[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 277243 0 0 0 39247 763 0 0 25 0 1 0 897375097 42225664 9590 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10309 9590 1111 63 0 10246 0
vsize: 41236
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 283464 0 0 0 40232 778 0 0 25 0 1 0 897375097 41689088 9459 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10178 9459 1111 63 0 10115 0
vsize: 40712
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 297132 0 0 0 41200 810 0 0 25 0 1 0 897375097 42500096 9657 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9663 1111 63 0 10665 0
vsize: 41504
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 303801 0 0 0 42184 826 0 0 25 0 1 0 897375097 44023808 10029 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10029 1111 63 0 10685 0
vsize: 42992
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 307614 0 0 0 43176 835 0 0 25 0 1 0 897375097 45903872 9966 4294967295 134512640 134716908 3221224576 3221221176 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11207 9966 1111 63 0 11144 0
vsize: 44828
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 312170 0 0 0 44164 847 0 0 25 0 1 0 897375097 43585536 9922 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10641 9922 1111 63 0 10578 0
vsize: 42564
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 317797 0 0 0 45151 861 0 0 25 0 1 0 897375097 43524096 9908 4294967295 134512640 134716908 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10626 9908 1111 63 0 10563 0
vsize: 42504
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 325154 0 0 0 46135 877 0 0 25 0 1 0 897375097 44515328 10062 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11132 10068 1111 63 0 11069 0
vsize: 43472
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 341821 0 0 0 47094 919 0 0 25 0 1 0 897375097 48001024 10919 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11719 10919 1111 63 0 11656 0
vsize: 46876
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 343042 0 0 0 48091 922 0 0 25 0 1 0 897375097 48287744 11020 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11789 11020 1111 63 0 11726 0
vsize: 47156
[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 352623 0 0 0 49068 946 0 0 25 0 1 0 897375097 48914432 11183 4294967295 134512640 134716908 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11942 11183 1111 63 0 11879 0
vsize: 47768
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 356909 0 0 0 50057 956 0 0 25 0 1 0 897375097 50262016 11513 4294967295 134512640 134716908 3221224576 3221223356 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12271 11513 1111 63 0 12208 0
vsize: 49084
[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 356909 0 0 0 51058 956 0 0 25 0 1 0 897375097 50262016 11513 4294967295 134512640 134716908 3221224576 3221223392 134622641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12271 11513 1111 63 0 12208 0
vsize: 49084
[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 357875 0 0 0 52056 959 0 0 25 0 1 0 897375097 50040832 11446 4294967295 134512640 134716908 3221224576 3221223052 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12217 11446 1111 63 0 12154 0
vsize: 48868
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 366347 0 0 0 53035 980 0 0 25 0 1 0 897375097 49725440 11382 4294967295 134512640 134716908 3221224576 3221223168 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12140 11382 1111 63 0 12077 0
vsize: 48560
[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 376778 0 0 0 54006 1009 0 0 25 0 1 0 897375097 50774016 11638 4294967295 134512640 134716908 3221224576 3221222576 1074917959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12396 11638 1111 63 0 12333 0
vsize: 49584
[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 380241 0 0 0 54995 1020 0 0 25 0 1 0 897375097 53821440 12371 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13140 12371 1111 63 0 13077 0
vsize: 52560
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 381985 0 0 0 55991 1024 0 0 25 0 1 0 897375097 52277248 12005 4294967295 134512640 134716908 3221224576 3221223392 134622264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12763 12005 1111 63 0 12700 0
vsize: 51052
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 384220 0 0 0 56988 1028 0 0 25 0 1 0 897375097 51486720 11812 4294967295 134512640 134716908 3221224576 3221222520 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12570 11812 1111 63 0 12507 0
vsize: 50280
[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 398624 0 0 0 57948 1068 0 0 25 0 1 0 897375097 53780480 12366 4294967295 134512640 134716908 3221224576 3221222812 1077404753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13130 12366 1111 63 0 13067 0
vsize: 52520
[startup+600.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 410075 0 0 0 58918 1099 0 0 25 0 1 0 897375097 56217600 12948 4294967295 134512640 134716908 3221224576 3221222928 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13725 12948 1111 63 0 13662 0
vsize: 54900
[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 417312 0 0 0 59897 1120 0 0 25 0 1 0 897375097 56643584 13069 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13829 13069 1111 63 0 13766 0
vsize: 55316
[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 425121 0 0 0 60875 1143 0 0 25 0 1 0 897375097 58142720 13394 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14195 13394 1111 63 0 14132 0
vsize: 56780
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 436756 0 0 0 61843 1175 0 0 25 0 1 0 897375097 60121088 13883 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14678 13883 1111 63 0 14615 0
vsize: 58712
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 440514 0 0 0 62834 1185 0 0 25 0 1 0 897375097 61489152 14215 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15012 14215 1111 63 0 14949 0
vsize: 60048
[startup+650.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 451130 0 0 0 63806 1213 0 0 25 0 1 0 897375097 62173184 14399 4294967295 134512640 134716908 3221224576 3221222304 1075635444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15179 14399 1111 63 0 15116 0
vsize: 60716
[startup+660.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 455805 0 0 0 64796 1224 0 0 25 0 1 0 897375097 64208896 14896 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15676 14896 1111 63 0 15613 0
vsize: 62704
[startup+670.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 455950 0 0 0 65794 1226 0 0 25 0 1 0 897375097 64598016 14983 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15771 14983 1111 63 0 15708 0
vsize: 63084
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 456800 0 0 0 66792 1228 0 0 25 0 1 0 897375097 66818048 15524 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16313 15524 1111 63 0 16250 0
vsize: 65252
[startup+690.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 456800 0 0 0 67792 1228 0 0 25 0 1 0 897375097 66818048 15524 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16313 15524 1111 63 0 16250 0
vsize: 65252
[startup+700.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 459099 0 0 0 68788 1234 0 0 25 0 1 0 897375097 64724992 15027 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15802 15027 1111 63 0 15739 0
vsize: 63208
[startup+710.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 459099 0 0 0 69788 1234 0 0 25 0 1 0 897375097 64724992 15027 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15802 15027 1111 63 0 15739 0
vsize: 63208
[startup+720.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 459099 0 0 0 70789 1234 0 0 25 0 1 0 897375097 64724992 15027 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15802 15027 1111 63 0 15739 0
vsize: 63208
[startup+730.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 460590 0 0 0 71785 1238 0 0 25 0 1 0 897375097 64323584 14927 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15704 14927 1111 63 0 15641 0
vsize: 62816
[startup+740.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 464576 0 0 0 72774 1249 0 0 25 0 1 0 897375097 63713280 14783 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15555 14783 1111 63 0 15492 0
vsize: 62220
[startup+750.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 470548 0 0 0 73759 1264 0 0 25 0 1 0 897375097 64425984 14957 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15729 14957 1111 63 0 15666 0
vsize: 62916
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 480879 0 0 0 74726 1298 0 0 25 0 1 0 897375097 65847296 15290 4294967295 134512640 134716908 3221224576 3221222576 1074056648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16076 15290 1111 63 0 16013 0
vsize: 64304
[startup+770.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 487462 0 0 0 75705 1318 0 0 25 0 1 0 897375097 67895296 15787 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16576 15787 1111 63 0 16513 0
vsize: 66304
[startup+780.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 496059 0 0 0 76681 1343 0 0 25 0 1 0 897375097 69885952 16204 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17062 16204 1111 63 0 16999 0
vsize: 68248
[startup+790.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 496770 0 0 0 77677 1348 0 0 25 0 1 0 897375097 71827456 16701 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17536 16701 1111 63 0 17473 0
vsize: 70144
[startup+800.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 498525 0 0 0 78674 1351 0 0 25 0 1 0 897375097 70303744 16335 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17164 16335 1111 63 0 17101 0
vsize: 68656
[startup+810.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 498525 0 0 0 79674 1351 0 0 25 0 1 0 897375097 70303744 16335 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17164 16335 1111 63 0 17101 0
vsize: 68656
[startup+820.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 498525 0 0 0 80675 1351 0 0 25 0 1 0 897375097 70303744 16335 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17164 16335 1111 63 0 17101 0
vsize: 68656
[startup+830.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 510765 0 0 0 81637 1390 0 0 25 0 1 0 897375097 70860800 16461 4294967295 134512640 134716908 3221224576 3221222576 1074918109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17300 16461 1111 63 0 17237 0
vsize: 69200
[startup+840.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 512460 0 0 0 82632 1395 0 0 25 0 1 0 897375097 72884224 16948 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17794 16948 1111 63 0 17731 0
vsize: 71176
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 513731 0 0 0 83630 1397 0 0 25 0 1 0 897375097 71749632 16688 4294967295 134512640 134716908 3221224576 3221223288 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17517 16688 1111 63 0 17454 0
vsize: 70068
[startup+860.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 518154 0 0 0 84618 1410 0 0 25 0 1 0 897375097 71860224 16684 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17544 16684 1111 63 0 17481 0
vsize: 70176
[startup+870.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 519523 0 0 0 85615 1413 0 0 25 0 1 0 897375097 71794688 16699 4294967295 134512640 134716908 3221224576 3221223288 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17528 16699 1111 63 0 17465 0
vsize: 70112
[startup+880.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 519802 0 0 0 86615 1414 0 0 25 0 1 0 897375097 72413184 16818 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17679 16818 1111 63 0 17616 0
vsize: 70716
[startup+890.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 525028 0 0 0 87601 1428 0 0 25 0 1 0 897375097 71929856 16700 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17561 16700 1111 63 0 17498 0
vsize: 70244
[startup+900.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 532352 0 0 0 88579 1451 0 0 25 0 1 0 897375097 72429568 16845 4294967295 134512640 134716908 3221224576 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17683 16845 1111 63 0 17620 0
vsize: 70732
[startup+910.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 533822 0 0 0 89573 1457 0 0 25 0 1 0 897375097 73760768 17172 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 17172 1111 63 0 17945 0
vsize: 72032
[startup+920.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 533944 0 0 0 90572 1459 0 0 25 0 1 0 897375097 73940992 17223 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18052 17223 1111 63 0 17989 0
vsize: 72208
[startup+930.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 534031 0 0 0 91571 1460 0 0 25 0 1 0 897375097 74350592 17310 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18152 17310 1111 63 0 18089 0
vsize: 72608
[startup+940.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 534093 0 0 0 92570 1461 0 0 25 0 1 0 897375097 74682368 17372 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18233 17372 1111 63 0 18170 0
vsize: 72932
[startup+950.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 535303 0 0 0 93568 1464 0 0 25 0 1 0 897375097 77713408 18133 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18973 18133 1111 63 0 18910 0
vsize: 75892
[startup+960.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 535303 0 0 0 94568 1464 0 0 25 0 1 0 897375097 77713408 18133 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18973 18133 1111 63 0 18910 0
vsize: 75892
[startup+970.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 535303 0 0 0 95568 1464 0 0 25 0 1 0 897375097 77713408 18133 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18973 18133 1111 63 0 18910 0
vsize: 75892
[startup+980.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 538895 0 0 0 96559 1474 0 0 25 0 1 0 897375097 73715712 17168 4294967295 134512640 134716908 3221224576 3221222912 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17997 17168 1111 63 0 17934 0
vsize: 71988
[startup+990.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 539007 0 0 0 97557 1475 0 0 25 0 1 0 897375097 74174464 17280 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18109 17280 1111 63 0 18046 0
vsize: 72436
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 539054 0 0 0 98556 1477 0 0 25 0 1 0 897375097 74366976 17327 4294967295 134512640 134716908 3221224576 3221222560 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18156 17327 1111 63 0 18093 0
vsize: 72624
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 539928 0 0 0 99554 1479 0 0 25 0 1 0 897375097 76546048 17844 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18688 17844 1111 63 0 18625 0
vsize: 74752
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 542671 0 0 0 100549 1484 0 0 25 0 1 0 897375097 74444800 17346 4294967295 134512640 134716908 3221224576 3221223288 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18175 17346 1111 63 0 18112 0
vsize: 72700
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 542671 0 0 0 101549 1484 0 0 25 0 1 0 897375097 74444800 17346 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18175 17346 1111 63 0 18112 0
vsize: 72700
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 542671 0 0 0 102550 1484 0 0 25 0 1 0 897375097 74444800 17346 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18175 17346 1111 63 0 18112 0
vsize: 72700
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 542757 0 0 0 103549 1485 0 0 25 0 1 0 897375097 73691136 17162 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17991 17162 1111 63 0 17928 0
vsize: 71964
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 545208 0 0 0 104545 1490 0 0 25 0 1 0 897375097 78475264 17344 4294967295 134512640 134716908 3221224576 3221221696 1074834473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19159 17347 1111 63 0 19096 0
vsize: 76636
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 562963 0 0 0 105504 1531 0 0 25 0 1 0 897375097 73338880 17076 4294967295 134512640 134716908 3221224576 3221222940 1077410225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17905 17076 1111 63 0 17842 0
vsize: 71620
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 575449 0 0 0 106475 1560 0 0 25 0 1 0 897375097 73486336 17112 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17941 17112 1111 63 0 17878 0
vsize: 71764
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 575990 0 0 0 107473 1563 0 0 25 0 1 0 897375097 75108352 17501 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18337 17501 1111 63 0 18274 0
vsize: 73348
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 577523 0 0 0 108470 1566 0 0 25 0 1 0 897375097 73900032 17213 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 17213 1111 63 0 17979 0
vsize: 72168
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 590331 0 0 0 109439 1597 0 0 25 0 1 0 897375097 74145792 17249 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18102 17249 1111 63 0 18039 0
vsize: 72408
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 591374 0 0 0 110437 1600 0 0 25 0 1 0 897375097 73674752 17158 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17987 17158 1111 63 0 17924 0
vsize: 71948
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 600969 0 0 0 111416 1622 0 0 25 0 1 0 897375097 73682944 17157 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17989 17157 1111 63 0 17926 0
vsize: 71956
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 614569 0 0 0 112380 1657 0 0 25 0 1 0 897375097 74133504 17267 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18099 17267 1111 63 0 18036 0
vsize: 72396
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 617625 0 0 0 113372 1666 0 0 25 0 1 0 897375097 76337152 17801 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18637 17801 1111 63 0 18574 0
vsize: 74548
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 619249 0 0 0 114369 1669 0 0 25 0 1 0 897375097 75083776 17502 4294967295 134512640 134716908 3221224576 3221223356 134542422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18331 17502 1111 63 0 18268 0
vsize: 73324
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 619249 0 0 0 115369 1669 0 0 25 0 1 0 897375097 75083776 17502 4294967295 134512640 134716908 3221224576 3221223376 134622654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18331 17502 1111 63 0 18268 0
vsize: 73324
[startup+1177.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 22405
Raw data (stat): 22405 (bsolo_lpr-v2) R 22404 25568 25567 0 -1 0 619249 0 0 0 115369 1669 0 0 25 0 1 0 897375097 75083776 17502 4294967295 134512640 134716908 3221224576 3221223376 134622654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18331 17502 1111 63 0 18268 0
vsize: 0

Child status: 10
Real time (s): 1177.01
CPU time (s): 1177.34
CPU user time (s): 1160.61
CPU system time (s): 16.7295
CPU usage (%): 100.028
Max. virtual memory (Kb): 76636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	140621
#### END VERIFIER DATA ####