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 28328

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 01:39:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13443 boxname=wulflinc11 idbench=1035 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-gt2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-gt2.opb
IDLAUNCH: 13443
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        968888 kB
Buffers:          5012 kB
Cached:          40192 kB
SwapCached:        696 kB
Active:          25176 kB
Inactive:        22016 kB
HighTotal:      131008 kB
HighFree:        90860 kB
LowTotal:       903652 kB
LowFree:        878028 kB
SwapTotal:     2097136 kB
SwapFree:      2095464 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            13116 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:59:04 (client local time) WITH STATUS 10 IN 1185.24 SECONDS
stats: 13443 0 1185.24 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.776 s
c Initial Lower Bound: 17011
c Lower Bound Elapsed time: 0.0998
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 267669 @ 21.938
c NEW SOLUTION FOUND: 266191 @ 24.595
c NEW SOLUTION FOUND: 265435 @ 24.61
c NEW SOLUTION FOUND: 262225 @ 24.631
c NEW SOLUTION FOUND: 261469 @ 24.699
c NEW SOLUTION FOUND: 258259 @ 29.471
c NEW SOLUTION FOUND: 257617 @ 29.513
c NEW SOLUTION FOUND: 256490 @ 39.704
c NEW SOLUTION FOUND: 254507 @ 39.994
c NEW SOLUTION FOUND: 252609 @ 589.74
c NEW SOLUTION FOUND: 251957 @ 589.982
c NEW SOLUTION FOUND: 249899 @ 590.029
c NEW SOLUTION FOUND: 249247 @ 590.24
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: 1185.21 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.99 0.99 2/54 1709
Raw data (stat): 1709 (runsolver) R 1708 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776759981 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 3176 0 0 0 988 9 0 0 25 0 1 0 776759981 11980800 2239 4294967295 134512640 134714508 3221224592 3221220912 1075170083 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2925 2239 1111 63 0 2862 0
vsize: 11700
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 3178 0 0 0 1987 9 0 0 25 0 1 0 776759981 11980800 2241 4294967295 134512640 134714508 3221224592 3221221784 1074138268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2925 2241 1111 63 0 2862 0
vsize: 11700
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 6544 0 0 0 2971 26 0 0 25 0 1 0 776759981 12828672 2448 4294967295 134512640 134714508 3221224592 3221223072 1074039475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3132 2448 1111 63 0 3069 0
vsize: 12528
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 13665 0 0 0 3943 52 0 0 25 0 1 0 776759981 14241792 2788 4294967295 134512640 134714508 3221224592 3221222484 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3473 2788 1111 63 0 3410 0
vsize: 13908
[startup+50.0008 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 20994 0 0 0 4918 78 0 0 25 0 1 0 776759981 15679488 3153 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3828 3153 1111 63 0 3765 0
vsize: 15312
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 26839 0 0 0 5898 98 0 0 25 0 1 0 776759981 16683008 3366 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4073 3366 1111 63 0 4010 0
vsize: 16292
[startup+70.001 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 32494 0 0 0 6884 113 0 0 25 0 1 0 776759981 17043456 3486 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4161 3486 1111 63 0 4098 0
vsize: 16644
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 43441 0 0 0 7850 147 0 0 25 0 1 0 776759981 18522112 3847 4294967295 134512640 134714508 3221224592 3221223216 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4522 3847 1111 63 0 4459 0
vsize: 18088
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 55939 0 0 0 8819 177 0 0 25 0 1 0 776759981 19890176 4181 4294967295 134512640 134714508 3221224592 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4856 4181 1111 63 0 4793 0
vsize: 19424
[startup+100.002 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 66001 0 0 0 9794 203 0 0 25 0 1 0 776759981 21270528 4352 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 4347 1111 63 0 4974 0
vsize: 20772
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 76090 0 0 0 10769 228 0 0 25 0 1 0 776759981 22253568 4743 4294967295 134512640 134714508 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5433 4743 1111 63 0 5370 0
vsize: 21732
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 87904 0 0 0 11739 258 0 0 25 0 1 0 776759981 22949888 4920 4294967295 134512640 134714508 3221224592 3221223232 134524466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 4920 1111 63 0 5540 0
vsize: 22412
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 105787 0 0 0 12691 307 0 0 25 0 1 0 776759981 24719360 5352 4294967295 134512640 134714508 3221224592 3221223576 134575929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6035 5352 1111 63 0 5972 0
vsize: 24140
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 116129 0 0 0 13666 332 0 0 25 0 1 0 776759981 26202112 5703 4294967295 134512640 134714508 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 5703 1111 63 0 6334 0
vsize: 25588
[startup+150.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 130647 0 0 0 14631 367 0 0 25 0 1 0 776759981 27111424 5919 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6619 5919 1111 63 0 6556 0
vsize: 26476
[startup+160.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 136495 0 0 0 15616 383 0 0 25 0 1 0 776759981 28020736 5940 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6841 5941 1111 63 0 6778 0
vsize: 27364
[startup+170.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 152146 0 0 0 16574 425 0 0 25 0 1 0 776759981 28557312 6292 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6972 6292 1111 63 0 6909 0
vsize: 27888
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 169104 0 0 0 17532 467 0 0 25 0 1 0 776759981 29687808 6558 4294967295 134512640 134714508 3221224592 3221222532 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7248 6558 1111 63 0 7185 0
vsize: 28992
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 176479 0 0 0 18514 485 0 0 25 0 1 0 776759981 31113216 6916 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7596 6916 1111 63 0 7533 0
vsize: 30384
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 178614 0 0 0 19509 490 0 0 25 0 1 0 776759981 31412224 6989 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7669 6989 1111 63 0 7606 0
vsize: 30676
[startup+210.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 179891 0 0 0 20506 493 0 0 25 0 1 0 776759981 30916608 6868 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7548 6868 1111 63 0 7485 0
vsize: 30192
[startup+220.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 189594 0 0 0 21482 518 0 0 25 0 1 0 776759981 31526912 6989 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 6989 1111 63 0 7634 0
vsize: 30788
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 200397 0 0 0 22455 545 0 0 25 0 1 0 776759981 31625216 7041 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7721 7041 1111 63 0 7658 0
vsize: 30884
[startup+240.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 206229 0 0 0 23439 561 0 0 25 0 1 0 776759981 32165888 7173 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7853 7173 1111 63 0 7790 0
vsize: 31412
[startup+250.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 216359 0 0 0 24411 589 0 0 25 0 1 0 776759981 33112064 7404 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8084 7404 1111 63 0 8021 0
vsize: 32336
[startup+260.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 223668 0 0 0 25393 608 0 0 25 0 1 0 776759981 33161216 7405 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8096 7405 1111 63 0 8033 0
vsize: 32384
[startup+270.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 227948 0 0 0 26381 620 0 0 25 0 1 0 776759981 34181120 7661 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8345 7661 1111 63 0 8282 0
vsize: 33380
[startup+280.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 235541 0 0 0 27363 638 0 0 25 0 1 0 776759981 34222080 7651 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8355 7651 1111 63 0 8292 0
vsize: 33420
[startup+290.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 244073 0 0 0 28342 659 0 0 25 0 1 0 776759981 35430400 7947 4294967295 134512640 134714508 3221224592 3221222448 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8650 7947 1111 63 0 8587 0
vsize: 34600
[startup+300.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 244826 0 0 0 29340 661 0 0 25 0 1 0 776759981 37478400 8443 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9150 8443 1111 63 0 9087 0
vsize: 36600
[startup+310.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 246913 0 0 0 30335 666 0 0 25 0 1 0 776759981 35774464 8033 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8734 8033 1111 63 0 8671 0
vsize: 34936
[startup+320.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 255412 0 0 0 31314 688 0 0 25 0 1 0 776759981 34910208 7822 4294967295 134512640 134714508 3221224592 3221222968 1074137219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8523 7822 1111 63 0 8460 0
vsize: 34092
[startup+330.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 274866 0 0 0 32266 735 0 0 25 0 1 0 776759981 35397632 7944 4294967295 134512640 134714508 3221224592 3221223280 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8642 7944 1111 63 0 8579 0
vsize: 34568
[startup+340.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 292043 0 0 0 33223 779 0 0 25 0 1 0 776759981 35901440 8067 4294967295 134512640 134714508 3221224592 3221221872 1074140062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8765 8067 1111 63 0 8702 0
vsize: 35060
[startup+350.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 316863 0 0 0 34160 842 0 0 25 0 1 0 776759981 36311040 8167 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8865 8167 1111 63 0 8802 0
vsize: 35460
[startup+360.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 344534 0 0 0 35096 906 0 0 25 0 1 0 776759981 36708352 8264 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8962 8264 1111 63 0 8899 0
vsize: 35848
[startup+370.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 354481 0 0 0 36070 932 0 0 25 0 1 0 776759981 38031360 8574 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9285 8574 1111 63 0 9222 0
vsize: 37140
[startup+380.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 355249 0 0 0 37067 935 0 0 25 0 1 0 776759981 40013824 9065 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9769 9065 1111 63 0 9706 0
vsize: 39076
[startup+390.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 357223 0 0 0 38062 940 0 0 25 0 1 0 776759981 38359040 8667 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9365 8667 1111 63 0 9302 0
vsize: 37460
[startup+400.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 357363 0 0 0 39061 941 0 0 25 0 1 0 776759981 37969920 8572 4294967295 134512640 134714508 3221224592 3221222896 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9270 8572 1111 63 0 9207 0
vsize: 37080
[startup+410.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 358984 0 0 0 40058 945 0 0 25 0 1 0 776759981 38039552 8589 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9287 8589 1111 63 0 9224 0
vsize: 37148
[startup+420.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 380249 0 0 0 41009 993 0 0 25 0 1 0 776759981 37625856 8488 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9186 8488 1111 63 0 9123 0
vsize: 36744
[startup+430.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 403979 0 0 0 41951 1051 0 0 25 0 1 0 776759981 38887424 8790 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9494 8790 1111 63 0 9431 0
vsize: 37976
[startup+440.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 418634 0 0 0 42916 1087 0 0 25 0 1 0 776759981 39370752 8908 4294967295 134512640 134714508 3221224592 3221222576 1074052221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9612 8908 1111 63 0 9549 0
vsize: 38448
[startup+450.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 426146 0 0 0 43897 1107 0 0 25 0 1 0 776759981 39878656 9032 4294967295 134512640 134714508 3221224592 3221222928 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 9032 1111 63 0 9673 0
vsize: 38944
[startup+460.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 438072 0 0 0 44867 1136 0 0 25 0 1 0 776759981 40288256 9132 4294967295 134512640 134714508 3221224592 3221223312 134622891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9836 9132 1111 63 0 9773 0
vsize: 39344
[startup+470.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 463728 0 0 0 45805 1198 0 0 25 0 1 0 776759981 40636416 9217 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9921 9217 1111 63 0 9858 0
vsize: 39684
[startup+480.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 483572 0 0 0 46753 1251 0 0 25 0 1 0 776759981 40873984 9275 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9979 9275 1111 63 0 9916 0
vsize: 39916
[startup+490.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 491826 0 0 0 47732 1271 0 0 25 0 1 0 776759981 41029632 9313 4294967295 134512640 134714508 3221224592 3221222576 1074051829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10017 9313 1111 63 0 9954 0
vsize: 40068
[startup+500.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 505581 0 0 0 48694 1310 0 0 25 0 1 0 776759981 42881024 9430 4294967295 134512640 134714508 3221224592 3221221360 1076083427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10469 9430 1111 63 0 10406 0
vsize: 41876
[startup+510.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 527949 0 0 0 49639 1365 0 0 25 0 1 0 776759981 42053632 9553 4294967295 134512640 134714508 3221224592 3221222848 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10267 9553 1111 63 0 10204 0
vsize: 41068
[startup+520.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 539539 0 0 0 50609 1395 0 0 25 0 1 0 776759981 42336256 9635 4294967295 134512640 134714508 3221224592 3221222992 1074118797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10336 9635 1111 63 0 10273 0
vsize: 41344
[startup+530.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 558112 0 0 0 51564 1440 0 0 25 0 1 0 776759981 43106304 9822 4294967295 134512640 134714508 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10524 9822 1111 63 0 10461 0
vsize: 42096
[startup+540.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 568575 0 0 0 52539 1466 0 0 25 0 1 0 776759981 43364352 9886 4294967295 134512640 134714508 3221224592 3221223056 1074039492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10587 9886 1111 63 0 10524 0
vsize: 42348
[startup+550.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 577474 0 0 0 53517 1488 0 0 25 0 1 0 776759981 44126208 10043 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10773 10043 1111 63 0 10710 0
vsize: 43092
[startup+560.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 586306 0 0 0 54496 1510 0 0 25 0 1 0 776759981 44093440 10064 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10765 10064 1111 63 0 10702 0
vsize: 43060
[startup+570.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 589283 0 0 0 55488 1517 0 0 25 0 1 0 776759981 44638208 10197 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10898 10197 1111 63 0 10835 0
vsize: 43592
[startup+580.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 591619 0 0 0 56483 1523 0 0 25 0 1 0 776759981 44216320 10094 4294967295 134512640 134714508 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10795 10094 1111 63 0 10732 0
vsize: 43180
[startup+590.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 612554 0 0 0 57431 1575 0 0 25 0 1 0 776759981 44568576 10172 4294967295 134512640 134714508 3221224592 3221222944 1074115540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10172 1111 63 0 10818 0
vsize: 43524
[startup+600.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 624250 0 0 0 58398 1607 0 0 25 0 1 0 776759981 46657536 10693 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11391 10693 1111 63 0 11328 0
vsize: 45564
[startup+610.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 636271 0 0 0 59366 1639 0 0 25 0 1 0 776759981 48091136 11041 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11741 11041 1111 63 0 11678 0
vsize: 46964
[startup+620.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 650921 0 0 0 60331 1674 0 0 25 0 1 0 776759981 47771648 10951 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11663 10951 1111 63 0 11600 0
vsize: 46652
[startup+630.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 654934 0 0 0 61319 1686 0 0 25 0 1 0 776759981 49131520 11297 4294967295 134512640 134714508 3221224592 3221222848 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11995 11297 1111 63 0 11932 0
vsize: 47980
[startup+640.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 657497 0 0 0 62314 1692 0 0 25 0 1 0 776759981 49229824 11321 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12019 11321 1111 63 0 11956 0
vsize: 48076
[startup+650.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 658560 0 0 0 63311 1694 0 0 25 0 1 0 776759981 48431104 11126 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11824 11126 1111 63 0 11761 0
vsize: 47296
[startup+660.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 671305 0 0 0 64278 1728 0 0 25 0 1 0 776759981 49881088 11448 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12178 11448 1111 63 0 12115 0
vsize: 48712
[startup+670.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 688937 0 0 0 65233 1773 0 0 25 0 1 0 776759981 51453952 11871 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12562 11871 1111 63 0 12499 0
vsize: 50248
[startup+680.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 698824 0 0 0 66207 1799 0 0 25 0 1 0 776759981 51798016 11955 4294967295 134512640 134714508 3221224592 3221223132 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12646 11955 1111 63 0 12583 0
vsize: 50584
[startup+690.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 705473 0 0 0 67190 1817 0 0 25 0 1 0 776759981 52801536 12183 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12891 12183 1111 63 0 12828 0
vsize: 51564
[startup+700.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 707847 0 0 0 68183 1823 0 0 25 0 1 0 776759981 52944896 12235 4294967295 134512640 134714508 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12926 12235 1111 63 0 12863 0
vsize: 51704
[startup+710.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 707847 0 0 0 69183 1823 0 0 25 0 1 0 776759981 52944896 12235 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12926 12235 1111 63 0 12863 0
vsize: 51704
[startup+720.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 711834 0 0 0 70173 1834 0 0 25 0 1 0 776759981 53186560 12292 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12985 12292 1111 63 0 12922 0
vsize: 51940
[startup+730.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 713651 0 0 0 71169 1838 0 0 25 0 1 0 776759981 52482048 12092 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12813 12092 1111 63 0 12750 0
vsize: 51252
[startup+740.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 715885 0 0 0 72162 1845 0 0 25 0 1 0 776759981 54235136 12520 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13241 12520 1111 63 0 13178 0
vsize: 52964
[startup+750.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 717331 0 0 0 73158 1849 0 0 25 0 1 0 776759981 52924416 12230 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12921 12230 1111 63 0 12858 0
vsize: 51684
[startup+760.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 723021 0 0 0 74143 1865 0 0 25 0 1 0 776759981 54566912 12619 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13322 12619 1111 63 0 13259 0
vsize: 53288
[startup+770.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 724287 0 0 0 75140 1867 0 0 25 0 1 0 776759981 53575680 12385 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13080 12385 1111 63 0 13017 0
vsize: 52320
[startup+780.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 731312 0 0 0 76121 1887 0 0 25 0 1 0 776759981 53456896 12357 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13051 12357 1111 63 0 12988 0
vsize: 52204
[startup+790.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 740175 0 0 0 77095 1913 0 0 25 0 1 0 776759981 55054336 12738 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13441 12738 1111 63 0 13378 0
vsize: 53764
[startup+800.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 753456 0 0 0 78055 1953 0 0 25 0 1 0 776759981 56860672 13174 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13882 13174 1111 63 0 13819 0
vsize: 55528
[startup+810.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 768906 0 0 0 79009 1999 0 0 25 0 1 0 776759981 59092992 13602 4294967295 134512640 134714508 3221224592 3221223008 1074116578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14603 13606 1111 63 0 14540 0
vsize: 57708
[startup+820.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 786923 0 0 0 79957 2052 0 0 25 0 1 0 776759981 61296640 14148 4294967295 134512640 134714508 3221224592 3221223132 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14965 14148 1111 63 0 14902 0
vsize: 59860
[startup+830.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 797249 0 0 0 80928 2080 0 0 25 0 1 0 776759981 64004096 14704 4294967295 134512640 134714508 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15626 14708 1111 63 0 15563 0
vsize: 62504
[startup+840.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 804771 0 0 0 81907 2102 0 0 25 0 1 0 776759981 63172608 14599 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15775 14605 1111 63 0 15712 0
vsize: 61692
[startup+850.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 817015 0 0 0 82873 2136 0 0 25 0 1 0 776759981 64843776 14987 4294967295 134512640 134714508 3221224592 3221222704 1074867349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15831 14987 1111 63 0 15768 0
vsize: 63324
[startup+860.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 822554 0 0 0 83858 2151 0 0 25 0 1 0 776759981 65458176 15162 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15981 15162 1111 63 0 15918 0
vsize: 63924
[startup+870.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 833816 0 0 0 84824 2185 0 0 25 0 1 0 776759981 67039232 15524 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16367 15524 1111 63 0 16304 0
vsize: 65468
[startup+880.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 833988 0 0 0 85822 2187 0 0 25 0 1 0 776759981 67506176 15633 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16481 15633 1111 63 0 16418 0
vsize: 65924
[startup+890.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834050 0 0 0 86822 2188 0 0 25 0 1 0 776759981 67751936 15695 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 15695 1111 63 0 16478 0
vsize: 66164
[startup+900.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834116 0 0 0 87821 2189 0 0 25 0 1 0 776759981 67956736 15761 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16591 15761 1111 63 0 16528 0
vsize: 66364
[startup+910.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834220 0 0 0 88820 2190 0 0 25 0 1 0 776759981 68456448 15865 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16713 15865 1111 63 0 16650 0
vsize: 66852
[startup+920.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834260 0 0 0 89820 2191 0 0 25 0 1 0 776759981 68620288 15905 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16753 15905 1111 63 0 16690 0
vsize: 67012
[startup+930.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834300 0 0 0 90819 2191 0 0 25 0 1 0 776759981 68767744 15945 4294967295 134512640 134714508 3221224592 3221222784 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16789 15945 1111 63 0 16726 0
vsize: 67156
[startup+940.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834333 0 0 0 91818 2192 0 0 25 0 1 0 776759981 68902912 15978 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16822 15978 1111 63 0 16759 0
vsize: 67288
[startup+950.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834393 0 0 0 92818 2193 0 0 25 0 1 0 776759981 69038080 16038 4294967295 134512640 134714508 3221224592 3221222848 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16855 16038 1111 63 0 16792 0
vsize: 67420
[startup+960.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834425 0 0 0 93817 2194 0 0 25 0 1 0 776759981 69169152 16070 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16887 16070 1111 63 0 16824 0
vsize: 67548
[startup+970.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834456 0 0 0 94817 2195 0 0 25 0 1 0 776759981 69296128 16101 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16918 16101 1111 63 0 16855 0
vsize: 67672
[startup+980.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 834486 0 0 0 95816 2195 0 0 25 0 1 0 776759981 69419008 16131 4294967295 134512640 134714508 3221224592 3221222800 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16948 16131 1111 63 0 16885 0
vsize: 67792
[startup+990.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 836574 0 0 0 96812 2200 0 0 25 0 1 0 776759981 74956800 17477 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18300 17477 1111 63 0 18237 0
vsize: 73200
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 836574 0 0 0 97812 2200 0 0 25 0 1 0 776759981 74956800 17477 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18300 17477 1111 63 0 18237 0
vsize: 73200
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 836574 0 0 0 98812 2200 0 0 25 0 1 0 776759981 74956800 17477 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18300 17477 1111 63 0 18237 0
vsize: 73200
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 836574 0 0 0 99812 2200 0 0 25 0 1 0 776759981 74956800 17477 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18300 17477 1111 63 0 18237 0
vsize: 73200
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 839449 0 0 0 100805 2207 0 0 25 0 1 0 776759981 72491008 16882 4294967295 134512640 134714508 3221224592 3221223056 1074121071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17698 16882 1111 63 0 17635 0
vsize: 70792
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 843266 0 0 0 101795 2218 0 0 25 0 1 0 776759981 67502080 15664 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16480 15664 1111 63 0 16417 0
vsize: 65920
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 843399 0 0 0 102793 2220 0 0 25 0 1 0 776759981 68046848 15797 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16613 15797 1111 63 0 16550 0
vsize: 66452
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 843459 0 0 0 103792 2221 0 0 25 0 1 0 776759981 68292608 15857 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16673 15857 1111 63 0 16610 0
vsize: 66692
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 844539 0 0 0 104789 2224 0 0 25 0 1 0 776759981 71233536 16573 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16573 1111 63 0 17328 0
vsize: 69564
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 844539 0 0 0 105790 2224 0 0 25 0 1 0 776759981 71233536 16573 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16573 1111 63 0 17328 0
vsize: 69564
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 848303 0 0 0 106780 2234 0 0 25 0 1 0 776759981 67448832 15651 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 15651 1111 63 0 16404 0
vsize: 65868
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 850732 0 0 0 107773 2241 0 0 25 0 1 0 776759981 67514368 15647 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16483 15647 1111 63 0 16420 0
vsize: 65932
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 854491 0 0 0 108765 2250 0 0 25 0 1 0 776759981 74625024 16041 4294967295 134512640 134714508 3221224592 3221220924 1076111473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18219 16041 1111 63 0 18156 0
vsize: 72876
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 864618 0 0 0 109739 2276 0 0 25 0 1 0 776759981 67424256 15615 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16461 15615 1111 63 0 16398 0
vsize: 65844
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 870634 0 0 0 110723 2292 0 0 25 0 1 0 776759981 66715648 15472 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16288 15472 1111 63 0 16225 0
vsize: 65152
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 874843 0 0 0 111712 2303 0 0 25 0 1 0 776759981 66818048 15497 4294967295 134512640 134714508 3221224592 3221223320 134622854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16313 15497 1111 63 0 16250 0
vsize: 65252
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 882688 0 0 0 112692 2323 0 0 25 0 1 0 776759981 66834432 15501 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16317 15501 1111 63 0 16254 0
vsize: 65268
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 885355 0 0 0 113685 2331 0 0 25 0 1 0 776759981 67366912 15631 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16447 15631 1111 63 0 16384 0
vsize: 65788
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 888581 0 0 0 114676 2340 0 0 25 0 1 0 776759981 66891776 15506 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 15506 1111 63 0 16268 0
vsize: 65324
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 890414 0 0 0 115671 2344 0 0 25 0 1 0 776759981 67276800 15609 4294967295 134512640 134714508 3221224592 3221223320 134622755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16425 15609 1111 63 0 16362 0
vsize: 65700
[startup+1185.11 s]
Raw data (loadavg): 0.99 0.99 0.99 1/53 1709
Raw data (stat): 1709 (bsolo_lpr) R 1708 25830 25829 0 -1 0 890414 0 0 0 115671 2344 0 0 25 0 1 0 776759981 67276800 15609 4294967295 134512640 134714508 3221224592 3221223320 134622755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16425 15609 1111 63 0 16362 0
vsize: 0

Child status: 10
Real time (s): 1185.11
CPU time (s): 1185.24
CPU user time (s): 1161.77
CPU system time (s): 23.4774
CPU usage (%): 100.012
Max. virtual memory (Kb): 73200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	249247
#### END VERIFIER DATA ####