PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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	1175.14
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 41577

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 16:04:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29635 boxname=wulflinc2 idbench=1419 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-gt2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-gt2.opb
IDLAUNCH: 29635
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        899184 kB
Buffers:          9320 kB
Cached:         105180 kB
SwapCached:       1440 kB
Active:          27300 kB
Inactive:        89204 kB
HighTotal:      131008 kB
HighFree:        65464 kB
LowTotal:       903652 kB
LowFree:        833720 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13356 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:23:36 (client local time) WITH STATUS 10 IN 1175.14 SECONDS
stats: 29635 0 1175.14 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.763 s
c Initial Lower Bound: 17006
c Lower Bound Elapsed time: 0.067
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 162325 @ 16.566
c NEW SOLUTION FOUND: 156125 @ 16.76
c NEW SOLUTION FOUND: 152277 @ 17.101
c NEW SOLUTION FOUND: 149925 @ 17.436
c NEW SOLUTION FOUND: 143725 @ 17.518
c NEW SOLUTION FOUND: 142165 @ 17.582
c NEW SOLUTION FOUND: 131325 @ 17.687
c NEW SOLUTION FOUND: 130749 @ 18.249
c NEW SOLUTION FOUND: 130673 @ 22.261
c NEW SOLUTION FOUND: 130097 @ 22.549
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.1 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.83 0.94 0.90 2/54 30866
Raw data (stat): 30866 (runsolver) R 30865 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911573880 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.85 0.94 0.90 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 5763 0 0 0 980 18 0 0 25 0 1 0 911573880 11079680 2014 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2705 2014 1111 63 0 2642 0
vsize: 10820
[startup+20.0016 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 10805 0 0 0 1958 40 0 0 25 0 1 0 911573880 11898880 2216 4294967295 134512640 134716908 3221224560 3221222480 1075799500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2905 2216 1111 63 0 2842 0
vsize: 11620
[startup+30.0027 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 18144 0 0 0 2926 72 0 0 25 0 1 0 911573880 14675968 2895 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3583 2895 1111 63 0 3520 0
vsize: 14332
[startup+40.0029 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 27175 0 0 0 3887 111 0 0 25 0 1 0 911573880 17248256 3525 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4211 3525 1111 63 0 4148 0
vsize: 16844
[startup+50.0025 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 35947 0 0 0 4854 144 0 0 25 0 1 0 911573880 18231296 3763 4294967295 134512640 134716908 3221224560 3221222896 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4451 3763 1111 63 0 4388 0
vsize: 17804
[startup+60.0035 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 45561 0 0 0 5819 180 0 0 25 0 1 0 911573880 19312640 4025 4294967295 134512640 134716908 3221224560 3221222560 1074056617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4715 4025 1111 63 0 4652 0
vsize: 18860
[startup+70.004 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 57562 0 0 0 6779 220 0 0 25 0 1 0 911573880 21319680 4522 4294967295 134512640 134716908 3221224560 3221222288 1075828198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5205 4522 1111 63 0 5142 0
vsize: 20820
[startup+80.0036 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 65149 0 0 0 7757 242 0 0 25 0 1 0 911573880 23384064 4836 4294967295 134512640 134716908 3221224560 3221221216 1075967942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4836 1111 63 0 5646 0
vsize: 22836
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 94646 0 0 0 8685 314 0 0 25 0 1 0 911573880 24498176 5301 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5981 5301 1111 63 0 5918 0
vsize: 23924
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 116083 0 0 0 9634 365 0 0 25 0 1 0 911573880 26300416 5744 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6421 5744 1111 63 0 6358 0
vsize: 25684
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 137693 0 0 0 10583 417 0 0 25 0 1 0 911573880 28397568 6247 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6933 6247 1111 63 0 6870 0
vsize: 27732
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 155850 0 0 0 11539 461 0 0 25 0 1 0 911573880 31739904 7048 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7749 7048 1111 63 0 7686 0
vsize: 30996
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30866
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 169375 0 0 0 12506 494 0 0 25 0 1 0 911573880 31358976 6979 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7656 6979 1111 63 0 7593 0
vsize: 30624
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 181506 0 0 0 13478 522 0 0 25 0 1 0 911573880 32645120 7288 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7288 1111 63 0 7907 0
vsize: 31880
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 186393 0 0 0 14465 535 0 0 25 0 1 0 911573880 32681984 7276 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7979 7276 1111 63 0 7916 0
vsize: 31916
[startup+160.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 193174 0 0 0 15449 551 0 0 25 0 1 0 911573880 32043008 7144 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7823 7144 1111 63 0 7760 0
vsize: 31292
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 208037 0 0 0 16413 588 0 0 25 0 1 0 911573880 32329728 7194 4294967295 134512640 134716908 3221224560 3221222548 1077378713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 7194 1111 63 0 7830 0
vsize: 31572
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 224977 0 0 0 17371 630 0 0 25 0 1 0 911573880 32649216 7286 4294967295 134512640 134716908 3221224560 3221222288 1075828211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7971 7286 1111 63 0 7908 0
vsize: 31884
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 229763 0 0 0 18359 642 0 0 25 0 1 0 911573880 34242560 7684 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8360 7684 1111 63 0 8297 0
vsize: 33440
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 232239 0 0 0 19354 648 0 0 25 0 1 0 911573880 33771520 7569 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 7569 1111 63 0 8182 0
vsize: 32980
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 234984 0 0 0 20345 656 0 0 25 0 1 0 911573880 33755136 7565 4294967295 134512640 134716908 3221224560 3221222560 1074918215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8241 7565 1111 63 0 8178 0
vsize: 32964
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 237690 0 0 0 21337 664 0 0 25 0 1 0 911573880 33755136 7565 4294967295 134512640 134716908 3221224560 3221223352 134542414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8241 7565 1111 63 0 8178 0
vsize: 32964
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 242510 0 0 0 22324 678 0 0 25 0 1 0 911573880 34455552 7736 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8412 7736 1111 63 0 8349 0
vsize: 33648
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 265775 0 0 0 23267 735 0 0 25 0 1 0 911573880 38645760 8598 4294967295 134512640 134716908 3221224560 3221220572 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9435 8598 1111 63 0 9372 0
vsize: 37740
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 270035 0 0 0 24257 745 0 0 25 0 1 0 911573880 35700736 7997 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8716 7997 1111 63 0 8653 0
vsize: 34864
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 281804 0 0 0 25228 775 0 0 25 0 1 0 911573880 35471360 7984 4294967295 134512640 134716908 3221224560 3221223368 134622428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8660 7984 1111 63 0 8597 0
vsize: 34640
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 306886 0 0 0 26168 835 0 0 25 0 1 0 911573880 37007360 8356 4294967295 134512640 134716908 3221224560 3221223244 134524384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9035 8356 1111 63 0 8972 0
vsize: 36140
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 326879 0 0 0 27120 883 0 0 25 0 1 0 911573880 40255488 8895 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9828 8896 1111 63 0 9765 0
vsize: 39312
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 344740 0 0 0 28080 924 0 0 25 0 1 0 911573880 39219200 8897 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9575 8897 1111 63 0 9512 0
vsize: 38300
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 367425 0 0 0 29027 977 0 0 25 0 1 0 911573880 40615936 9238 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9916 9238 1111 63 0 9853 0
vsize: 39664
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 382003 0 0 0 29993 1011 0 0 25 0 1 0 911573880 41476096 9448 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10126 9448 1111 63 0 10063 0
vsize: 40504
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 392634 0 0 0 30966 1038 0 0 25 0 1 0 911573880 42278912 9644 4294967295 134512640 134716908 3221224560 3221223352 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10322 9644 1111 63 0 10259 0
vsize: 41288
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 399519 0 0 0 31949 1055 0 0 25 0 1 0 911573880 42635264 9731 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 9731 1111 63 0 10346 0
vsize: 41636
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 407774 0 0 0 32930 1074 0 0 25 0 1 0 911573880 42139648 9610 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10288 9610 1111 63 0 10225 0
vsize: 41152
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 418078 0 0 0 33905 1100 0 0 25 0 1 0 911573880 42926080 9777 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10480 9777 1111 63 0 10417 0
vsize: 41920
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 432358 0 0 0 34868 1136 0 0 25 0 1 0 911573880 42524672 9704 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10382 9704 1111 63 0 10319 0
vsize: 41528
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 442388 0 0 0 35845 1160 0 0 25 0 1 0 911573880 43315200 9898 4294967295 134512640 134716908 3221224560 3221223188 134542962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10575 9898 1111 63 0 10512 0
vsize: 42300
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 457126 0 0 0 36810 1195 0 0 25 0 1 0 911573880 45658112 10114 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11147 10114 1111 63 0 11084 0
vsize: 44588
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 468777 0 0 0 37781 1224 0 0 25 0 1 0 911573880 43544576 9954 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10631 9954 1111 63 0 10568 0
vsize: 42524
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 479101 0 0 0 38757 1249 0 0 25 0 1 0 911573880 44695552 9987 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10912 9993 1111 63 0 10849 0
vsize: 43648
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 494143 0 0 0 39722 1284 0 0 25 0 1 0 911573880 46551040 10585 4294967295 134512640 134716908 3221224560 3221220604 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11365 10585 1111 63 0 11302 0
vsize: 45460
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 501194 0 0 0 40705 1301 0 0 25 0 1 0 911573880 43589632 9965 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10642 9965 1111 63 0 10579 0
vsize: 42568
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 510143 0 0 0 41681 1325 0 0 25 0 1 0 911573880 43823104 10019 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10699 10019 1111 63 0 10636 0
vsize: 42796
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 525075 0 0 0 42641 1365 0 0 25 0 1 0 911573880 46788608 10492 4294967295 134512640 134716908 3221224560 3221222092 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11423 10492 1111 63 0 11360 0
vsize: 45692
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 546219 0 0 0 43588 1418 0 0 25 0 1 0 911573880 48697344 11171 4294967295 134512640 134716908 3221224560 3221221752 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11889 11171 1111 63 0 11826 0
vsize: 47556
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 557384 0 0 0 44560 1447 0 0 25 0 1 0 911573880 48467968 11137 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11833 11137 1111 63 0 11770 0
vsize: 47332
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 571226 0 0 0 45523 1484 0 0 25 0 1 0 911573880 49258496 11334 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12026 11334 1111 63 0 11963 0
vsize: 48104
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 583344 0 0 0 46489 1518 0 0 25 0 1 0 911573880 49860608 11463 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12173 11463 1111 63 0 12110 0
vsize: 48692
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 596390 0 0 0 47458 1550 0 0 25 0 1 0 911573880 50253824 11582 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12269 11582 1111 63 0 12206 0
vsize: 49076
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 601386 0 0 0 48445 1563 0 0 25 0 1 0 911573880 51830784 11965 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11965 1111 63 0 12591 0
vsize: 50616
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 605698 0 0 0 49434 1573 0 0 25 0 1 0 911573880 51810304 11967 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12649 11967 1111 63 0 12586 0
vsize: 50596
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 609251 0 0 0 50425 1583 0 0 25 0 1 0 911573880 50778112 11715 4294967295 134512640 134716908 3221224560 3221222848 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12397 11715 1111 63 0 12334 0
vsize: 49588
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 616355 0 0 0 51408 1600 0 0 25 0 1 0 911573880 50606080 11673 4294967295 134512640 134716908 3221224560 3221223024 1074119512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12355 11673 1111 63 0 12292 0
vsize: 49420
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 627266 0 0 0 52378 1630 0 0 25 0 1 0 911573880 51179520 11811 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12495 11811 1111 63 0 12432 0
vsize: 49980
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 649036 0 0 0 53324 1684 0 0 25 0 1 0 911573880 56389632 13055 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13767 13055 1111 63 0 13704 0
vsize: 55068
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 658736 0 0 0 54300 1709 0 0 25 0 1 0 911573880 56258560 12995 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13735 12995 1111 63 0 13672 0
vsize: 54940
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 668683 0 0 0 55272 1737 0 0 25 0 1 0 911573880 56344576 13038 4294967295 134512640 134716908 3221224560 3221222560 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13756 13038 1111 63 0 13693 0
vsize: 55024
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 680775 0 0 0 56241 1768 0 0 25 0 1 0 911573880 57257984 13237 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 13237 1111 63 0 13916 0
vsize: 55916
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 693940 0 0 0 57210 1799 0 0 25 0 1 0 911573880 58327040 13275 4294967295 134512640 134716908 3221224560 3221221600 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14240 13276 1111 63 0 14177 0
vsize: 56960
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 707362 0 0 0 58176 1834 0 0 25 0 1 0 911573880 58605568 13551 4294967295 134512640 134716908 3221224560 3221222816 1074143979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14308 13551 1111 63 0 14245 0
vsize: 57232
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 723767 0 0 0 59136 1874 0 0 25 0 1 0 911573880 58728448 13581 4294967295 134512640 134716908 3221224560 3221222896 1074208598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14338 13581 1111 63 0 14275 0
vsize: 57352
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 739625 0 0 0 60096 1913 0 0 25 0 1 0 911573880 59072512 13665 4294967295 134512640 134716908 3221224560 3221222872 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14422 13665 1111 63 0 14359 0
vsize: 57688
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 744036 0 0 0 61085 1925 0 0 25 0 1 0 911573880 59600896 13794 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14551 13794 1111 63 0 14488 0
vsize: 58204
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 748768 0 0 0 62073 1937 0 0 25 0 1 0 911573880 59744256 13829 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14586 13829 1111 63 0 14523 0
vsize: 58344
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 763245 0 0 0 63035 1975 0 0 25 0 1 0 911573880 60162048 13918 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14688 13918 1111 63 0 14625 0
vsize: 58752
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 767881 0 0 0 64023 1988 0 0 25 0 1 0 911573880 59752448 13831 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14588 13831 1111 63 0 14525 0
vsize: 58352
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 779480 0 0 0 64993 2017 0 0 25 0 1 0 911573880 59731968 13826 4294967295 134512640 134716908 3221224560 3221222928 1074140697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14583 13826 1111 63 0 14520 0
vsize: 58332
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 785254 0 0 0 65978 2032 0 0 25 0 1 0 911573880 59731968 13826 4294967295 134512640 134716908 3221224560 3221223300 134622720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14583 13826 1111 63 0 14520 0
vsize: 58332
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 789374 0 0 0 66969 2042 0 0 25 0 1 0 911573880 61493248 13870 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15013 13870 1111 63 0 14950 0
vsize: 60052
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 795522 0 0 0 67953 2058 0 0 25 0 1 0 911573880 61493248 13863 4294967295 134512640 134716908 3221224560 3221220788 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15013 13863 1111 63 0 14950 0
vsize: 60052
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 802763 0 0 0 68935 2076 0 0 25 0 1 0 911573880 59731968 13826 4294967295 134512640 134716908 3221224560 3221222760 1077378283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14583 13826 1111 63 0 14520 0
vsize: 58332
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 807279 0 0 0 69925 2087 0 0 25 0 1 0 911573880 60235776 13916 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14706 13916 1111 63 0 14643 0
vsize: 58824
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 811861 0 0 0 70913 2099 0 0 25 0 1 0 911573880 60157952 13930 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14687 13930 1111 63 0 14624 0
vsize: 58748
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 815253 0 0 0 71904 2108 0 0 25 0 1 0 911573880 60010496 13894 4294967295 134512640 134716908 3221224560 3221223296 134622867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14651 13894 1111 63 0 14588 0
vsize: 58604
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 817636 0 0 0 72898 2114 0 0 25 0 1 0 911573880 60239872 13936 4294967295 134512640 134716908 3221224560 3221222896 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14707 13936 1111 63 0 14644 0
vsize: 58828
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 821118 0 0 0 73890 2122 0 0 25 0 1 0 911573880 60055552 13905 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14662 13905 1111 63 0 14599 0
vsize: 58648
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 829007 0 0 0 74871 2142 0 0 25 0 1 0 911573880 60612608 14041 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14798 14041 1111 63 0 14735 0
vsize: 59192
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 836481 0 0 0 75852 2160 0 0 25 0 1 0 911573880 60055552 13905 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14662 13905 1111 63 0 14599 0
vsize: 58648
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 847354 0 0 0 76826 2187 0 0 25 0 1 0 911573880 61005824 14122 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14894 14122 1111 63 0 14831 0
vsize: 59576
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 861323 0 0 0 77789 2224 0 0 25 0 1 0 911573880 61997056 14370 4294967295 134512640 134716908 3221224560 3221222560 1074918288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15136 14370 1111 63 0 15073 0
vsize: 60544
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 872021 0 0 0 78761 2252 0 0 25 0 1 0 911573880 63811584 14820 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15579 14820 1111 63 0 15516 0
vsize: 62316
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 879244 0 0 0 79743 2271 0 0 25 0 1 0 911573880 63180800 14668 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15425 14668 1111 63 0 15362 0
vsize: 61700
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 892947 0 0 0 80708 2306 0 0 25 0 1 0 911573880 62771200 14568 4294967295 134512640 134716908 3221224560 3221223100 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15325 14568 1111 63 0 15262 0
vsize: 61300
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 910416 0 0 0 81667 2347 0 0 25 0 1 0 911573880 62771200 14568 4294967295 134512640 134716908 3221224560 3221222716 1077404748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15325 14568 1111 63 0 15262 0
vsize: 61300
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 922695 0 0 0 82634 2380 0 0 25 0 1 0 911573880 64180224 14911 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15669 14911 1111 63 0 15606 0
vsize: 62676
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 925838 0 0 0 83626 2388 0 0 25 0 1 0 911573880 64008192 14837 4294967295 134512640 134716908 3221224560 3221223280 134622782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15627 14837 1111 63 0 15564 0
vsize: 62508
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 928883 0 0 0 84617 2397 0 0 25 0 1 0 911573880 63844352 14830 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15587 14830 1111 63 0 15524 0
vsize: 62348
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 933600 0 0 0 85605 2409 0 0 25 0 1 0 911573880 65798144 15307 4294967295 134512640 134716908 3221224560 3221222520 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16064 15307 1111 63 0 16001 0
vsize: 64256
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 939597 0 0 0 86591 2424 0 0 25 0 1 0 911573880 68214784 15829 4294967295 134512640 134716908 3221224560 3221220720 1075094874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16654 15829 1111 63 0 16591 0
vsize: 66616
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 940936 0 0 0 87587 2428 0 0 25 0 1 0 911573880 65376256 15173 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15961 15173 1111 63 0 15898 0
vsize: 63844
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 941027 0 0 0 88586 2429 0 0 25 0 1 0 911573880 65056768 15105 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15883 15105 1111 63 0 15820 0
vsize: 63532
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 947111 0 0 0 89571 2444 0 0 25 0 1 0 911573880 65351680 15191 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15955 15191 1111 63 0 15892 0
vsize: 63820
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 953128 0 0 0 90557 2459 0 0 25 0 1 0 911573880 68276224 15747 4294967295 134512640 134716908 3221224560 3221220768 1074815423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16669 15747 1111 63 0 16606 0
vsize: 66676
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 955379 0 0 0 91551 2465 0 0 25 0 1 0 911573880 64147456 14904 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15661 14904 1111 63 0 15598 0
vsize: 62644
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 966638 0 0 0 92523 2493 0 0 25 0 1 0 911573880 64122880 14898 4294967295 134512640 134716908 3221224560 3221223208 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15655 14898 1111 63 0 15592 0
vsize: 62620
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 975225 0 0 0 93502 2514 0 0 25 0 1 0 911573880 66596864 15220 4294967295 134512640 134716908 3221224560 3221220720 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16259 15220 1111 63 0 16196 0
vsize: 65036
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 989323 0 0 0 94468 2548 0 0 25 0 1 0 911573880 66752512 14947 4294967295 134512640 134716908 3221224560 3221220704 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16297 14947 1111 63 0 16234 0
vsize: 65188
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1006124 0 0 0 95427 2589 0 0 25 0 1 0 911573880 64122880 14898 4294967295 134512640 134716908 3221224560 3221223104 134652453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15655 14898 1111 63 0 15592 0
vsize: 62620
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1027216 0 0 0 96377 2640 0 0 25 0 1 0 911573880 65163264 15148 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15909 15148 1111 63 0 15846 0
vsize: 63636
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1043950 0 0 0 97335 2681 0 0 25 0 1 0 911573880 65646592 15226 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16027 15226 1111 63 0 15964 0
vsize: 64108
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1059495 0 0 0 98297 2720 0 0 25 0 1 0 911573880 68112384 15553 4294967295 134512640 134716908 3221224560 3221220720 1075091458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16629 15553 1111 63 0 16566 0
vsize: 66516
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1072926 0 0 0 99264 2753 0 0 25 0 1 0 911573880 68816896 15463 4294967295 134512640 134716908 3221224560 3221221488 1075960393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16801 15463 1111 63 0 16738 0
vsize: 67204
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1082291 0 0 0 100240 2778 0 0 25 0 1 0 911573880 67452928 15394 4294967295 134512640 134716908 3221224560 3221220508 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16468 15394 1111 63 0 16405 0
vsize: 65872
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1095790 0 0 0 101206 2811 0 0 25 0 1 0 911573880 67702784 15353 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16529 15356 1111 63 0 16466 0
vsize: 66116
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1110755 0 0 0 102168 2850 0 0 25 0 1 0 911573880 66879488 15549 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16328 15549 1111 63 0 16265 0
vsize: 65312
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1115885 0 0 0 103155 2863 0 0 25 0 1 0 911573880 69361664 15773 4294967295 134512640 134716908 3221224560 3221222200 1075850294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16934 15773 1111 63 0 16871 0
vsize: 67736
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1120397 0 0 0 104143 2875 0 0 25 0 1 0 911573880 68177920 15829 4294967295 134512640 134716908 3221224560 3221223280 134622850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16645 15829 1111 63 0 16582 0
vsize: 66580
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1123650 0 0 0 105136 2882 0 0 25 0 1 0 911573880 67297280 15651 4294967295 134512640 134716908 3221224560 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16430 15651 1111 63 0 16367 0
vsize: 65720
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1130190 0 0 0 106120 2898 0 0 25 0 1 0 911573880 68284416 15845 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16671 15845 1111 63 0 16608 0
vsize: 66684
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1130954 0 0 0 107118 2900 0 0 25 0 1 0 911573880 70643712 16246 4294967295 134512640 134716908 3221224560 3221220800 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17247 16246 1111 63 0 17184 0
vsize: 68988
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1135025 0 0 0 108108 2911 0 0 25 0 1 0 911573880 67305472 15653 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16432 15653 1111 63 0 16369 0
vsize: 65728
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1151947 0 0 0 109067 2952 0 0 25 0 1 0 911573880 67751936 15730 4294967295 134512640 134716908 3221224560 3221223288 134622873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16541 15730 1111 63 0 16478 0
vsize: 66164
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1159932 0 0 0 110047 2972 0 0 25 0 1 0 911573880 69099520 15791 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 15791 1111 63 0 16807 0
vsize: 67480
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1178923 0 0 0 111003 3017 0 0 25 0 1 0 911573880 68509696 15953 4294967295 134512640 134716908 3221224560 3221222784 1074206907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16726 15953 1111 63 0 16663 0
vsize: 66904
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1193382 0 0 0 111965 3054 0 0 25 0 1 0 911573880 69021696 16078 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16851 16078 1111 63 0 16788 0
vsize: 67404
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1207669 0 0 0 112931 3088 0 0 25 0 1 0 911573880 71450624 16634 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17444 16634 1111 63 0 17381 0
vsize: 69776
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1211630 0 0 0 113922 3098 0 0 25 0 1 0 911573880 70635520 16474 4294967295 134512640 134716908 3221224560 3221222432 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17245 16474 1111 63 0 17182 0
vsize: 68980
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 30868
Raw data (stat): 30866 (bsolo_lpr_cuts-) R 30865 31399 31398 0 -1 0 1211630 0 0 0 113922 3098 0 0 25 0 1 0 911573880 70635520 16474 4294967295 134512640 134716908 3221224560 3221222432 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17245 16474 1111 63 0 17182 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.14
CPU user time (s): 1144.05
CPU system time (s): 31.0933
CPU usage (%): 100.016
Max. virtual memory (Kb): 69776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	130097
#### END VERIFIER DATA ####