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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb
MD5SUMf1382105ee9fb79777762a53cf6a73c1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.14
Number of variables556
Total number of constraints217
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints191
Minimum length of a constraint1
Maximum length of a constraint48

Trace number 40404

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 09:10:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28463 boxname=wulflinc5 idbench=1419 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gt2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gt2.opb
IDLAUNCH: 28463
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        903620 kB
Buffers:         10644 kB
Cached:          98344 kB
SwapCached:        696 kB
Active:          22152 kB
Inactive:        88860 kB
HighTotal:      131008 kB
HighFree:        42672 kB
LowTotal:       903652 kB
LowFree:        860948 kB
SwapTotal:     2097136 kB
SwapFree:      2095476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            14372 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:29:44 (client local time) WITH STATUS 10 IN 1175.31 SECONDS
stats: 28463 0 1175.31 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.774 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.253
c NEW SOLUTION FOUND: 171540 @ 16.288
c NEW SOLUTION FOUND: 168716 @ 16.425
c NEW SOLUTION FOUND: 166170 @ 16.442
c NEW SOLUTION FOUND: 164510 @ 16.62
c NEW SOLUTION FOUND: 163485 @ 17.042
c NEW SOLUTION FOUND: 161825 @ 17.317
c NEW SOLUTION FOUND: 160661 @ 17.719
c NEW SOLUTION FOUND: 158115 @ 17.877
c NEW SOLUTION FOUND: 156455 @ 18.308
c NEW SOLUTION FOUND: 156291 @ 23.949
c NEW SOLUTION FOUND: 153411 @ 24.176
c NEW SOLUTION FOUND: 151751 @ 24.443
c NEW SOLUTION FOUND: 150726 @ 28.014
c NEW SOLUTION FOUND: 149066 @ 28.123
c NEW SOLUTION FOUND: 148261 @ 30.056
c NEW SOLUTION FOUND: 147626 @ 44.554
c NEW SOLUTION FOUND: 145966 @ 44.683
c NEW SOLUTION FOUND: 145551 @ 45.979
c NEW SOLUTION FOUND: 145161 @ 47.963
c NEW SOLUTION FOUND: 144966 @ 56.52
c NEW SOLUTION FOUND: 144526 @ 57.747
c NEW SOLUTION FOUND: 144136 @ 57.856
c NEW SOLUTION FOUND: 143721 @ 66.405
c NEW SOLUTION FOUND: 141426 @ 102.936
c NEW SOLUTION FOUND: 141011 @ 105.251
c NEW SOLUTION FOUND: 140621 @ 106.298
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: 1175.26 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.73 0.90 0.89 2/54 17853
Raw data (stat): 17853 (runsolver) R 17852 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900445512 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.77 0.90 0.89 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 5091 0 0 0 983 15 0 0 25 0 1 0 900445512 11259904 2024 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2749 2024 1111 63 0 2686 0
vsize: 10996
[startup+20.0018 s]
Raw data (loadavg): 0.81 0.90 0.89 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 8507 0 0 0 1966 32 0 0 25 0 1 0 900445512 12148736 2221 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2910 2220 1111 63 0 2847 0
vsize: 11864
[startup+30.0023 s]
Raw data (loadavg): 0.84 0.91 0.89 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 15769 0 0 0 2936 61 0 0 25 0 1 0 900445512 14204928 2765 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3468 2765 1111 63 0 3405 0
vsize: 13872
[startup+40.0027 s]
Raw data (loadavg): 0.86 0.91 0.89 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 23431 0 0 0 3906 92 0 0 25 0 1 0 900445512 16109568 3244 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3933 3244 1111 63 0 3870 0
vsize: 15732
[startup+50.0034 s]
Raw data (loadavg): 0.88 0.91 0.89 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 31318 0 0 0 4877 121 0 0 25 0 1 0 900445512 17870848 3681 4294967295 134512640 134716908 3221224576 3221222708 1077378716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4363 3681 1111 63 0 4300 0
vsize: 17452
[startup+60.0041 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 39408 0 0 0 5849 149 0 0 25 0 1 0 900445512 19640320 4111 4294967295 134512640 134716908 3221224576 3221222828 1077411540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4795 4111 1111 63 0 4732 0
vsize: 19180
[startup+70.0049 s]
Raw data (loadavg): 0.92 0.92 0.89 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 45626 0 0 0 6825 173 0 0 25 0 1 0 900445512 20672512 4363 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5047 4363 1111 63 0 4984 0
vsize: 20188
[startup+80.0066 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 49788 0 0 0 7814 184 0 0 25 0 1 0 900445512 21110784 4473 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5154 4473 1111 63 0 5091 0
vsize: 20616
[startup+90.0068 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 59225 0 0 0 8786 212 0 0 25 0 1 0 900445512 23015424 4917 4294967295 134512640 134716908 3221224576 3221222864 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5619 4917 1111 63 0 5556 0
vsize: 22476
[startup+100.007 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 64045 0 0 0 9773 226 0 0 25 0 1 0 900445512 24223744 5225 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5914 5225 1111 63 0 5851 0
vsize: 23656
[startup+110.008 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 79548 0 0 0 10729 270 0 0 25 0 1 0 900445512 25042944 5432 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6114 5432 1111 63 0 6051 0
vsize: 24456
[startup+120.009 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 92897 0 0 0 11693 306 0 0 25 0 1 0 900445512 27238400 5731 4294967295 134512640 134716908 3221224576 3221220736 1075094962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6650 5731 1111 63 0 6587 0
vsize: 26600
[startup+130.009 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 105539 0 0 0 12660 339 0 0 25 0 1 0 900445512 27295744 5982 4294967295 134512640 134716908 3221224576 3221223472 134621531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6664 5982 1111 63 0 6601 0
vsize: 26656
[startup+140.01 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 119280 0 0 0 13625 374 0 0 25 0 1 0 900445512 28381184 6247 4294967295 134512640 134716908 3221224576 3221222972 1077781665 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.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 131215 0 0 0 14595 404 0 0 25 0 1 0 900445512 29581312 6540 4294967295 134512640 134716908 3221224576 3221222992 1074116193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7222 6540 1111 63 0 7159 0
vsize: 28888
[startup+160.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 146139 0 0 0 15555 445 0 0 25 0 1 0 900445512 31682560 7036 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7735 7036 1111 63 0 7672 0
vsize: 30940
[startup+170.01 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 161857 0 0 0 16510 489 0 0 25 0 1 0 900445512 34422784 7658 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8404 7658 1111 63 0 8341 0
vsize: 33616
[startup+180.011 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 166148 0 0 0 17501 499 0 0 25 0 1 0 900445512 35246080 7887 4294967295 134512640 134716908 3221224576 3221223288 134543168 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.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 166908 0 0 0 18499 501 0 0 25 0 1 0 900445512 35094528 7838 4294967295 134512640 134716908 3221224576 3221223368 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8568 7838 1111 63 0 8505 0
vsize: 34272
[startup+200.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 172179 0 0 0 19488 512 0 0 25 0 1 0 900445512 34770944 7771 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8489 7771 1111 63 0 8426 0
vsize: 33956
[startup+210.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 177303 0 0 0 20475 525 0 0 25 0 1 0 900445512 35278848 7895 4294967295 134512640 134716908 3221224576 3221223328 134556642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8613 7895 1111 63 0 8550 0
vsize: 34452
[startup+220.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 183959 0 0 0 21460 541 0 0 25 0 1 0 900445512 35442688 7935 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8653 7935 1111 63 0 8590 0
vsize: 34612
[startup+230.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 189654 0 0 0 22444 557 0 0 25 0 1 0 900445512 35495936 7948 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8666 7948 1111 63 0 8603 0
vsize: 34664
[startup+240.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 190487 0 0 0 23442 559 0 0 25 0 1 0 900445512 38010880 8555 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9280 8555 1111 63 0 9217 0
vsize: 37120
[startup+250.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 192208 0 0 0 24438 564 0 0 25 0 1 0 900445512 36388864 8137 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8884 8137 1111 63 0 8821 0
vsize: 35536
[startup+260.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 193955 0 0 0 25435 567 0 0 25 0 1 0 900445512 36380672 8164 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8882 8164 1111 63 0 8819 0
vsize: 35528
[startup+270.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 201031 0 0 0 26418 584 0 0 25 0 1 0 900445512 36007936 8072 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8791 8072 1111 63 0 8728 0
vsize: 35164
[startup+280.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 210460 0 0 0 27396 607 0 0 25 0 1 0 900445512 36261888 8126 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 8126 1111 63 0 8790 0
vsize: 35412
[startup+290.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 217421 0 0 0 28376 626 0 0 25 0 1 0 900445512 36249600 8132 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8850 8132 1111 63 0 8787 0
vsize: 35400
[startup+300.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 223226 0 0 0 29361 641 0 0 25 0 1 0 900445512 36491264 8191 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 8191 1111 63 0 8846 0
vsize: 35636
[startup+310.017 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 235827 0 0 0 30329 674 0 0 25 0 1 0 900445512 38309888 8633 4294967295 134512640 134716908 3221224576 3221223368 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9353 8633 1111 63 0 9290 0
vsize: 37412
[startup+320.018 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 243242 0 0 0 31310 693 0 0 25 0 1 0 900445512 38445056 8666 4294967295 134512640 134716908 3221224576 3221223296 134622957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9386 8666 1111 63 0 9323 0
vsize: 37544
[startup+330.019 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 258220 0 0 0 32273 730 0 0 25 0 1 0 900445512 40513536 9172 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9891 9172 1111 63 0 9828 0
vsize: 39564
[startup+340.019 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 259967 0 0 0 33269 734 0 0 25 0 1 0 900445512 41353216 9377 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10096 9377 1111 63 0 10033 0
vsize: 40384
[startup+350.018 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 265132 0 0 0 34256 747 0 0 25 0 1 0 900445512 40853504 9255 4294967295 134512640 134716908 3221224576 3221222660 1077378674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9974 9255 1111 63 0 9911 0
vsize: 39896
[startup+360.019 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 273096 0 0 0 35235 768 0 0 25 0 1 0 900445512 42524672 9663 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10382 9663 1111 63 0 10319 0
vsize: 41528
[startup+370.019 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 275390 0 0 0 36230 774 0 0 25 0 1 0 900445512 42618880 9686 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10405 9686 1111 63 0 10342 0
vsize: 41620
[startup+380.02 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 275471 0 0 0 37230 774 0 0 25 0 1 0 900445512 42319872 9590 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10332 9590 1111 63 0 10269 0
vsize: 41328
[startup+390.02 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 277243 0 0 0 38226 779 0 0 25 0 1 0 900445512 42225664 9590 4294967295 134512640 134716908 3221224576 3221223368 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10309 9590 1111 63 0 10246 0
vsize: 41236
[startup+400.02 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 278874 0 0 0 39223 782 0 0 25 0 1 0 900445512 41844736 9471 4294967295 134512640 134716908 3221224576 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10216 9471 1111 63 0 10153 0
vsize: 40864
[startup+410.021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 288750 0 0 0 40199 806 0 0 25 0 1 0 900445512 41934848 9519 4294967295 134512640 134716908 3221224576 3221223368 134536915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10238 9519 1111 63 0 10175 0
vsize: 40952
[startup+420.021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 301353 0 0 0 41168 837 0 0 25 0 1 0 900445512 42868736 9747 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10466 9747 1111 63 0 10403 0
vsize: 41864
[startup+430.021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 306745 0 0 0 42156 849 0 0 25 0 1 0 900445512 44244992 10008 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10802 10008 1111 63 0 10739 0
vsize: 43208
[startup+440.022 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 311167 0 0 0 43146 860 0 0 25 0 1 0 900445512 43601920 9925 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10645 9925 1111 63 0 10582 0
vsize: 42580
[startup+450.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 312228 0 0 0 44143 862 0 0 25 0 1 0 900445512 43491328 9889 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10618 9889 1111 63 0 10555 0
vsize: 42472
[startup+460.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 320286 0 0 0 45122 884 0 0 25 0 1 0 900445512 43724800 9957 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10675 9957 1111 63 0 10612 0
vsize: 42700
[startup+470.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 335066 0 0 0 46086 920 0 0 25 0 1 0 900445512 46632960 10590 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11385 10590 1111 63 0 11322 0
vsize: 45540
[startup+480.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 342828 0 0 0 47064 942 0 0 25 0 1 0 900445512 48525312 11067 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11847 11067 1111 63 0 11784 0
vsize: 47388
[startup+490.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 346476 0 0 0 48055 952 0 0 25 0 1 0 900445512 48066560 10972 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11735 10972 1111 63 0 11672 0
vsize: 46940
[startup+500.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 355413 0 0 0 49035 972 0 0 25 0 1 0 900445512 51634176 11770 4294967295 134512640 134716908 3221224576 3221222304 1075828336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12606 11770 1111 63 0 12543 0
vsize: 50424
[startup+510.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 356909 0 0 0 50031 976 0 0 25 0 1 0 900445512 50262016 11513 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12271 11513 1111 63 0 12208 0
vsize: 49084
[startup+520.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 357875 0 0 0 51030 977 0 0 25 0 1 0 900445512 50040832 11446 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12217 11446 1111 63 0 12154 0
vsize: 48868
[startup+530.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 359677 0 0 0 52027 981 0 0 25 0 1 0 900445512 49729536 11383 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12141 11383 1111 63 0 12078 0
vsize: 48564
[startup+540.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 371133 0 0 0 53000 1008 0 0 25 0 1 0 900445512 50085888 11470 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12228 11470 1111 63 0 12165 0
vsize: 48912
[startup+550.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 379661 0 0 0 53977 1031 0 0 25 0 1 0 900445512 52224000 11974 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12750 11974 1111 63 0 12687 0
vsize: 51000
[startup+560.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 380241 0 0 0 54975 1033 0 0 25 0 1 0 900445512 53821440 12371 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13140 12371 1111 63 0 13077 0
vsize: 52560
[startup+570.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 382207 0 0 0 55970 1038 0 0 25 0 1 0 900445512 52183040 11975 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12740 11975 1111 63 0 12677 0
vsize: 50960
[startup+580.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 391251 0 0 0 56943 1065 0 0 25 0 1 0 900445512 52637696 12094 4294967295 134512640 134716908 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12851 12094 1111 63 0 12788 0
vsize: 51404
[startup+590.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 404856 0 0 0 57907 1101 0 0 25 0 1 0 900445512 54886400 12640 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13400 12640 1111 63 0 13337 0
vsize: 53600
[startup+600.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 410875 0 0 0 58890 1119 0 0 25 0 1 0 900445512 56532992 13030 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13802 13030 1111 63 0 13739 0
vsize: 55208
[startup+610.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 422377 0 0 0 59860 1149 0 0 25 0 1 0 900445512 58335232 13467 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14242 13467 1111 63 0 14179 0
vsize: 56968
[startup+620.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 430934 0 0 0 60838 1171 0 0 25 0 1 0 900445512 60772352 13687 4294967295 134512640 134716908 3221224576 3221222904 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14485 13681 1111 63 0 14422 0
vsize: 59348
[startup+630.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 439669 0 0 0 61813 1196 0 0 25 0 1 0 900445512 61247488 14159 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14953 14159 1111 63 0 14890 0
vsize: 59812
[startup+640.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 442650 0 0 0 62805 1205 0 0 25 0 1 0 900445512 61120512 14128 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14922 14128 1111 63 0 14859 0
vsize: 59688
[startup+650.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 455731 0 0 0 63769 1241 0 0 25 0 1 0 900445512 64008192 14822 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15627 14822 1111 63 0 15564 0
vsize: 62508
[startup+660.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 455898 0 0 0 64765 1244 0 0 25 0 1 0 900445512 64331776 14931 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15706 14931 1111 63 0 15643 0
vsize: 62824
[startup+670.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 456800 0 0 0 65763 1247 0 0 25 0 1 0 900445512 66818048 15524 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16313 15524 1111 63 0 16250 0
vsize: 65252
[startup+680.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 456800 0 0 0 66763 1247 0 0 25 0 1 0 900445512 66818048 15524 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16313 15524 1111 63 0 16250 0
vsize: 65252
[startup+690.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 459099 0 0 0 67757 1253 0 0 25 0 1 0 900445512 64724992 15027 4294967295 134512640 134716908 3221224576 3221223368 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15802 15027 1111 63 0 15739 0
vsize: 63208
[startup+700.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 459099 0 0 0 68758 1253 0 0 25 0 1 0 900445512 64724992 15027 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15802 15027 1111 63 0 15739 0
vsize: 63208
[startup+710.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 459099 0 0 0 69758 1253 0 0 25 0 1 0 900445512 64724992 15027 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15802 15027 1111 63 0 15739 0
vsize: 63208
[startup+720.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 459159 0 0 0 70758 1253 0 0 25 0 1 0 900445512 63959040 14840 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15615 14840 1111 63 0 15552 0
vsize: 62460
[startup+730.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 461147 0 0 0 71754 1257 0 0 25 0 1 0 900445512 63713280 14780 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15555 14780 1111 63 0 15492 0
vsize: 62220
[startup+740.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 468437 0 0 0 72733 1279 0 0 25 0 1 0 900445512 63995904 14852 4294967295 134512640 134716908 3221224576 3221222496 1073986677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15624 14852 1111 63 0 15561 0
vsize: 62496
[startup+750.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 474485 0 0 0 73713 1299 0 0 25 0 1 0 900445512 65196032 14980 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16414 14985 1111 63 0 16351 0
vsize: 63668
[startup+760.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 483467 0 0 0 74680 1331 0 0 25 0 1 0 900445512 66301952 15405 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16187 15405 1111 63 0 16124 0
vsize: 64748
[startup+770.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 490808 0 0 0 75655 1356 0 0 25 0 1 0 900445512 67371008 15659 4294967295 134512640 134716908 3221224576 3221223212 134535484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16448 15659 1111 63 0 16385 0
vsize: 65792
[startup+780.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 496129 0 0 0 76638 1374 0 0 25 0 1 0 900445512 70078464 16274 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17109 16274 1111 63 0 17046 0
vsize: 68436
[startup+790.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 497456 0 0 0 77634 1378 0 0 25 0 1 0 900445512 77029376 16997 4294967295 134512640 134716908 3221224576 3221221504 1075890968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18806 16997 1111 63 0 18743 0
vsize: 75224
[startup+800.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 498525 0 0 0 78633 1380 0 0 25 0 1 0 900445512 70303744 16335 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17164 16335 1111 63 0 17101 0
vsize: 68656
[startup+810.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 498525 0 0 0 79633 1380 0 0 25 0 1 0 900445512 70303744 16335 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17164 16335 1111 63 0 17101 0
vsize: 68656
[startup+820.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 506150 0 0 0 80611 1402 0 0 25 0 1 0 900445512 70070272 16273 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17107 16276 1111 63 0 17044 0
vsize: 68428
[startup+830.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 512460 0 0 0 81592 1420 0 0 25 0 1 0 900445512 72884224 16948 4294967295 134512640 134716908 3221224576 3221222576 1074916988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17794 16948 1111 63 0 17731 0
vsize: 71176
[startup+840.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 513731 0 0 0 82590 1423 0 0 25 0 1 0 900445512 71749632 16688 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17517 16688 1111 63 0 17454 0
vsize: 70068
[startup+850.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 518083 0 0 0 83578 1435 0 0 25 0 1 0 900445512 71442432 16613 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17442 16613 1111 63 0 17379 0
vsize: 69768
[startup+860.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 519523 0 0 0 84574 1439 0 0 25 0 1 0 900445512 71794688 16699 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17528 16699 1111 63 0 17465 0
vsize: 70112
[startup+870.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 519802 0 0 0 85574 1440 0 0 25 0 1 0 900445512 72413184 16818 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17679 16818 1111 63 0 17616 0
vsize: 70716
[startup+880.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 524921 0 0 0 86560 1453 0 0 25 0 1 0 900445512 71430144 16610 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17439 16610 1111 63 0 17376 0
vsize: 69756
[startup+890.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 532096 0 0 0 87540 1474 0 0 25 0 1 0 900445512 72355840 16835 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17665 16835 1111 63 0 17602 0
vsize: 70660
[startup+900.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 533823 0 0 0 88533 1481 0 0 25 0 1 0 900445512 73764864 17173 4294967295 134512640 134716908 3221224576 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18009 17173 1111 63 0 17946 0
vsize: 72036
[startup+910.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 533943 0 0 0 89531 1483 0 0 25 0 1 0 900445512 73936896 17222 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18051 17222 1111 63 0 17988 0
vsize: 72204
[startup+920.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 534028 0 0 0 90530 1485 0 0 25 0 1 0 900445512 74338304 17307 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18149 17307 1111 63 0 18086 0
vsize: 72596
[startup+930.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 534090 0 0 0 91529 1486 0 0 25 0 1 0 900445512 74670080 17369 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18230 17369 1111 63 0 18167 0
vsize: 72920
[startup+940.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 535303 0 0 0 92526 1489 0 0 25 0 1 0 900445512 77713408 18133 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18973 18133 1111 63 0 18910 0
vsize: 75892
[startup+950.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 535303 0 0 0 93526 1489 0 0 25 0 1 0 900445512 77713408 18133 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18973 18133 1111 63 0 18910 0
vsize: 75892
[startup+960.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 535303 0 0 0 94526 1489 0 0 25 0 1 0 900445512 77713408 18133 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18973 18133 1111 63 0 18910 0
vsize: 75892
[startup+970.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 538887 0 0 0 95517 1499 0 0 25 0 1 0 900445512 73682944 17160 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17989 17160 1111 63 0 17926 0
vsize: 71956
[startup+980.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 538998 0 0 0 96516 1500 0 0 25 0 1 0 900445512 74137600 17271 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18100 17271 1111 63 0 18037 0
vsize: 72400
[startup+990.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 539048 0 0 0 97515 1501 0 0 25 0 1 0 900445512 74342400 17321 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18150 17321 1111 63 0 18087 0
vsize: 72600
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 539928 0 0 0 98513 1503 0 0 25 0 1 0 900445512 76546048 17844 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18688 17844 1111 63 0 18625 0
vsize: 74752
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 542671 0 0 0 99507 1509 0 0 25 0 1 0 900445512 74444800 17346 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18175 17346 1111 63 0 18112 0
vsize: 72700
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 542671 0 0 0 100507 1509 0 0 25 0 1 0 900445512 74444800 17346 4294967295 134512640 134716908 3221224576 3221223304 134622771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18175 17346 1111 63 0 18112 0
vsize: 72700
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 542671 0 0 0 101507 1509 0 0 25 0 1 0 900445512 74444800 17346 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18175 17346 1111 63 0 18112 0
vsize: 72700
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 542749 0 0 0 102506 1511 0 0 25 0 1 0 900445512 73658368 17154 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17983 17154 1111 63 0 17920 0
vsize: 71932
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 544946 0 0 0 103500 1517 0 0 25 0 1 0 900445512 73805824 17188 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18019 17188 1111 63 0 17956 0
vsize: 72076
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 556926 0 0 0 104473 1545 0 0 25 0 1 0 900445512 73338880 17076 4294967295 134512640 134716908 3221224576 3221223368 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17905 17076 1111 63 0 17842 0
vsize: 71620
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 574273 0 0 0 105433 1584 0 0 25 0 1 0 900445512 73338880 17076 4294967295 134512640 134716908 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17905 17076 1111 63 0 17842 0
vsize: 71620
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 575990 0 0 0 106428 1589 0 0 25 0 1 0 900445512 75108352 17501 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18337 17501 1111 63 0 18274 0
vsize: 73348
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 577523 0 0 0 107426 1592 0 0 25 0 1 0 900445512 73900032 17213 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 17213 1111 63 0 17979 0
vsize: 72168
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 590180 0 0 0 108397 1621 0 0 25 0 1 0 900445512 73555968 17098 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17958 17098 1111 63 0 17895 0
vsize: 71832
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 591374 0 0 0 109394 1625 0 0 25 0 1 0 900445512 74084352 17246 4294967295 134512640 134716908 3221224576 3221223368 134536897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18087 17246 1111 63 0 18024 0
vsize: 72348
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 600598 0 0 0 110372 1647 0 0 25 0 1 0 900445512 73666560 17156 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17985 17156 1111 63 0 17922 0
vsize: 71940
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 612215 0 0 0 111340 1678 0 0 25 0 1 0 900445512 74190848 17284 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18113 17284 1111 63 0 18050 0
vsize: 72452
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 617111 0 0 0 112329 1690 0 0 25 0 1 0 900445512 74977280 17457 4294967295 134512640 134716908 3221224576 3221222912 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17457 1111 63 0 18242 0
vsize: 73220
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 619249 0 0 0 113324 1695 0 0 25 0 1 0 900445512 75083776 17502 4294967295 134512640 134716908 3221224576 3221223352 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18331 17502 1111 63 0 18268 0
vsize: 73324
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 619249 0 0 0 114324 1695 0 0 25 0 1 0 900445512 75083776 17502 4294967295 134512640 134716908 3221224576 3221223372 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18331 17502 1111 63 0 18268 0
vsize: 73324
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 619249 0 0 0 115324 1695 0 0 25 0 1 0 900445512 74403840 17336 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18165 17336 1111 63 0 18102 0
vsize: 72660
[startup+1175.14 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 17853
Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 619249 0 0 0 115324 1695 0 0 25 0 1 0 900445512 74403840 17336 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18165 17336 1111 63 0 18102 0
vsize: 0

Child status: 10
Real time (s): 1175.14
CPU time (s): 1175.31
CPU user time (s): 1158.1
CPU system time (s): 17.2064
CPU usage (%): 100.014
Max. virtual memory (Kb): 75892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	140621
#### END VERIFIER DATA ####