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 41194

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 07:41:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29251 boxname=wulflinc1 idbench=1035 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-gt2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-gt2.opb
IDLAUNCH: 29251
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        902492 kB
Buffers:         11596 kB
Cached:          96540 kB
SwapCached:       1140 kB
Active:          23496 kB
Inactive:        86792 kB
HighTotal:      131008 kB
HighFree:        32088 kB
LowTotal:       903652 kB
LowFree:        870404 kB
SwapTotal:     2097136 kB
SwapFree:      2094820 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16032 kB
Committed_AS:    92712 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:00:44 (client local time) WITH STATUS 10 IN 1182.28 SECONDS
stats: 29251 0 1182.28 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.772 s
c Initial Lower Bound: 17006
c Lower Bound Elapsed time: 0.068
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 162325 @ 16.793
c NEW SOLUTION FOUND: 156125 @ 16.989
c NEW SOLUTION FOUND: 152277 @ 17.335
c NEW SOLUTION FOUND: 149925 @ 17.675
c NEW SOLUTION FOUND: 143725 @ 17.758
c NEW SOLUTION FOUND: 142165 @ 17.823
c NEW SOLUTION FOUND: 131325 @ 17.93
c NEW SOLUTION FOUND: 130749 @ 18.503
c NEW SOLUTION FOUND: 130673 @ 22.597
c NEW SOLUTION FOUND: 130097 @ 22.89
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: 1182.24 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.84 0.93 0.90 2/55 1193
Raw data (stat): 1193 (runsolver) R 1192 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851694938 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.86 0.93 0.90 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 5704 0 0 0 982 16 0 0 25 0 1 0 851694938 11390976 2019 4294967295 134512640 134716908 3221224560 3221220720 1075094808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2781 2019 1111 63 0 2718 0
vsize: 11124
[startup+20.0004 s]
Raw data (loadavg): 0.88 0.93 0.90 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 10597 0 0 0 1960 37 0 0 25 0 1 0 851694938 11866112 2208 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 2208 1111 63 0 2834 0
vsize: 11588
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 17997 0 0 0 2930 67 0 0 25 0 1 0 851694938 14557184 2866 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3554 2866 1111 63 0 3491 0
vsize: 14216
[startup+40.0009 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 26320 0 0 0 3894 104 0 0 25 0 1 0 851694938 17186816 3510 4294967295 134512640 134716908 3221224560 3221222740 1077378662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4196 3510 1111 63 0 4133 0
vsize: 16784
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 35268 0 0 0 4864 135 0 0 25 0 1 0 851694938 18300928 3701 4294967295 134512640 134716908 3221224560 3221221216 1075966572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3701 1111 63 0 4405 0
vsize: 17872
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 44373 0 0 0 5828 171 0 0 25 0 1 0 851694938 19103744 3981 4294967295 134512640 134716908 3221224560 3221222304 1075646985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3981 1111 63 0 4601 0
vsize: 18656
[startup+70.0013 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 56912 0 0 0 6788 210 0 0 25 0 1 0 851694938 21258240 4507 4294967295 134512640 134716908 3221224560 3221222496 1074207529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4507 1111 63 0 5127 0
vsize: 20760
[startup+80.002 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 64750 0 0 0 7768 231 0 0 25 0 1 0 851694938 22503424 4785 4294967295 134512640 134716908 3221224560 3221222800 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 4785 1111 63 0 5431 0
vsize: 21976
[startup+90.0017 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 93039 0 0 0 8703 296 0 0 25 0 1 0 851694938 24276992 5244 4294967295 134512640 134716908 3221224560 3221223176 134675297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5927 5244 1111 63 0 5864 0
vsize: 23708
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 115105 0 0 0 9651 348 0 0 25 0 1 0 851694938 26300416 5744 4294967295 134512640 134716908 3221224560 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6454 5744 1111 63 0 6391 0
vsize: 25684
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 137127 0 0 0 10598 402 0 0 25 0 1 0 851694938 28274688 6226 4294967295 134512640 134716908 3221224560 3221223008 1073990032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6226 1111 63 0 6840 0
vsize: 27612
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 155850 0 0 0 11550 450 0 0 25 0 1 0 851694938 31739904 7048 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7749 7048 1111 63 0 7686 0
vsize: 30996
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 169441 0 0 0 12515 485 0 0 25 0 1 0 851694938 31358976 6979 4294967295 134512640 134716908 3221224560 3221223436 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7656 6979 1111 63 0 7593 0
vsize: 30624
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 181510 0 0 0 13485 515 0 0 25 0 1 0 851694938 32661504 7292 4294967295 134512640 134716908 3221224560 3221222800 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 7292 1111 63 0 7911 0
vsize: 31896
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 186748 0 0 0 14474 526 0 0 25 0 1 0 851694938 32174080 7155 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 7155 1111 63 0 7792 0
vsize: 31420
[startup+160.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 195033 0 0 0 15454 546 0 0 25 0 1 0 851694938 31879168 7107 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7783 7107 1111 63 0 7720 0
vsize: 31132
[startup+170.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 208947 0 0 0 16422 578 0 0 25 0 1 0 851694938 32104448 7128 4294967295 134512640 134716908 3221224560 3221222304 1075646862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7803 7127 1111 63 0 7740 0
vsize: 31352
[startup+180.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 227024 0 0 0 17382 619 0 0 25 0 1 0 851694938 33529856 7482 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8186 7482 1111 63 0 8123 0
vsize: 32744
[startup+190.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 230631 0 0 0 18372 628 0 0 25 0 1 0 851694938 33759232 7566 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8242 7566 1111 63 0 8179 0
vsize: 32968
[startup+200.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 232496 0 0 0 19367 633 0 0 25 0 1 0 851694938 33767424 7568 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8244 7568 1111 63 0 8181 0
vsize: 32976
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 235775 0 0 0 20358 643 0 0 25 0 1 0 851694938 35352576 7603 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8631 7603 1111 63 0 8568 0
vsize: 34524
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 239184 0 0 0 21348 653 0 0 25 0 1 0 851694938 33755136 7565 4294967295 134512640 134716908 3221224560 3221223344 134622555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8241 7565 1111 63 0 8178 0
vsize: 32964
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 250842 0 0 0 22322 679 0 0 25 0 1 0 851694938 33755136 7565 4294967295 134512640 134716908 3221224560 3221223352 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8241 7565 1111 63 0 8178 0
vsize: 32964
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 266319 0 0 0 23285 716 0 0 25 0 1 0 851694938 36081664 8126 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8809 8126 1111 63 0 8746 0
vsize: 35236
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 270431 0 0 0 24274 727 0 0 25 0 1 0 851694938 36548608 7994 4294967295 134512640 134716908 3221224560 3221222256 1075970717 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7999 1111 63 0 8860 0
vsize: 35692
[startup+260.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 288359 0 0 0 25230 772 0 0 25 0 1 0 851694938 35803136 8065 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8741 8065 1111 63 0 8678 0
vsize: 34964
[startup+270.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 318490 0 0 0 26159 842 0 0 25 0 1 0 851694938 38563840 8723 4294967295 134512640 134716908 3221224560 3221222976 1074116414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 8723 1111 63 0 9417 0
vsize: 37660
[startup+280.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 331839 0 0 0 27132 870 0 0 25 0 1 0 851694938 39673856 8990 4294967295 134512640 134716908 3221224560 3221223280 134622748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9686 8990 1111 63 0 9623 0
vsize: 38744
[startup+290.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 353359 0 0 0 28085 917 0 0 25 0 1 0 851694938 39702528 8990 4294967295 134512640 134716908 3221224560 3221222560 1074916373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9693 8990 1111 63 0 9630 0
vsize: 38772
[startup+300.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 373352 0 0 0 29041 961 0 0 25 0 1 0 851694938 41226240 9387 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10065 9387 1111 63 0 10002 0
vsize: 40260
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 388728 0 0 0 30004 998 0 0 25 0 1 0 851694938 41832448 9516 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10213 9516 1111 63 0 10150 0
vsize: 40852
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 395899 0 0 0 30988 1014 0 0 25 0 1 0 851694938 42360832 9639 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10342 9639 1111 63 0 10279 0
vsize: 41368
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 399519 0 0 0 31981 1022 0 0 25 0 1 0 851694938 42635264 9731 4294967295 134512640 134716908 3221224560 3221223352 134536897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 9731 1111 63 0 10346 0
vsize: 41636
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 415832 0 0 0 32943 1059 0 0 25 0 1 0 851694938 42319872 9654 4294967295 134512640 134716908 3221224560 3221222368 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10332 9654 1111 63 0 10269 0
vsize: 41328
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 421136 0 0 0 33932 1071 0 0 25 0 1 0 851694938 42524672 9704 4294967295 134512640 134716908 3221224560 3221222684 1077379821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10382 9704 1111 63 0 10319 0
vsize: 41528
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 437627 0 0 0 34892 1111 0 0 25 0 1 0 851694938 46317568 10477 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11308 10477 1111 63 0 11245 0
vsize: 45232
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 447128 0 0 0 35870 1134 0 0 25 0 1 0 851694938 43696128 9991 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10668 9991 1111 63 0 10605 0
vsize: 42672
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 463292 0 0 0 36833 1171 0 0 25 0 1 0 851694938 43864064 10012 4294967295 134512640 134716908 3221224560 3221223352 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10709 10012 1111 63 0 10646 0
vsize: 42836
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 471990 0 0 0 37814 1189 0 0 25 0 1 0 851694938 43704320 9974 4294967295 134512640 134716908 3221224560 3221222864 1074207681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10670 9974 1111 63 0 10607 0
vsize: 42680
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 489562 0 0 0 38774 1230 0 0 25 0 1 0 851694938 43622400 9973 4294967295 134512640 134716908 3221224560 3221222836 1077374580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10650 9973 1111 63 0 10587 0
vsize: 42600
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 495739 0 0 0 39760 1244 0 0 25 0 1 0 851694938 44380160 10157 4294967295 134512640 134716908 3221224560 3221222560 1074919284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10835 10157 1111 63 0 10772 0
vsize: 43340
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 504971 0 0 0 40736 1268 0 0 25 0 1 0 851694938 44457984 10165 4294967295 134512640 134716908 3221224560 3221223352 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10854 10165 1111 63 0 10791 0
vsize: 43416
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 517428 0 0 0 41704 1300 0 0 25 0 1 0 851694938 45469696 10379 4294967295 134512640 134716908 3221224560 3221223280 134622780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11101 10379 1111 63 0 11038 0
vsize: 44404
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 538396 0 0 0 42649 1355 0 0 25 0 1 0 851694938 46657536 10708 4294967295 134512640 134716908 3221224560 3221222288 1075828248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11391 10708 1111 63 0 11328 0
vsize: 45564
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 547071 0 0 0 43626 1378 0 0 25 0 1 0 851694938 48234496 11070 4294967295 134512640 134716908 3221224560 3221223352 134536901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11776 11070 1111 63 0 11713 0
vsize: 47104
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 562311 0 0 0 44587 1418 0 0 25 0 1 0 851694938 49201152 11330 4294967295 134512640 134716908 3221224560 3221223360 134622284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12012 11330 1111 63 0 11949 0
vsize: 48048
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 577948 0 0 0 45549 1456 0 0 25 0 1 0 851694938 49561600 11418 4294967295 134512640 134716908 3221224560 3221222880 1074206853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12100 11418 1111 63 0 12037 0
vsize: 48400
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 589404 0 0 0 46520 1486 0 0 25 0 1 0 851694938 49786880 11473 4294967295 134512640 134716908 3221224560 3221223336 134622713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12155 11473 1111 63 0 12092 0
vsize: 48620
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 599572 0 0 0 47497 1509 0 0 25 0 1 0 851694938 51023872 11775 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12457 11775 1111 63 0 12394 0
vsize: 49828
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 604299 0 0 0 48487 1519 0 0 25 0 1 0 851694938 51912704 11982 4294967295 134512640 134716908 3221224560 3221222560 1074916756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12674 11982 1111 63 0 12611 0
vsize: 50696
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 607814 0 0 0 49477 1528 0 0 25 0 1 0 851694938 51228672 11800 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12507 11800 1111 63 0 12444 0
vsize: 50028
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 611407 0 0 0 50469 1537 0 0 25 0 1 0 851694938 50507776 11649 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12331 11649 1111 63 0 12268 0
vsize: 49324
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 621034 0 0 0 51443 1563 0 0 25 0 1 0 851694938 50925568 11751 4294967295 134512640 134716908 3221224560 3221223280 134622777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12433 11751 1111 63 0 12370 0
vsize: 49732
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 645639 0 0 0 52386 1620 0 0 25 0 1 0 851694938 54517760 12619 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13310 12619 1111 63 0 13247 0
vsize: 53240
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 651140 0 0 0 53374 1633 0 0 25 0 1 0 851694938 55947264 12949 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13659 12949 1111 63 0 13596 0
vsize: 54636
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 665948 0 0 0 54338 1669 0 0 25 0 1 0 851694938 56233984 13019 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13729 13019 1111 63 0 13666 0
vsize: 54916
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 676037 0 0 0 55314 1693 0 0 25 0 1 0 851694938 56442880 13070 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13780 13070 1111 63 0 13717 0
vsize: 55120
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 690046 0 0 0 56281 1726 0 0 25 0 1 0 851694938 57131008 13238 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13948 13238 1111 63 0 13885 0
vsize: 55792
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 705039 0 0 0 57244 1763 0 0 25 0 1 0 851694938 58519552 13530 4294967295 134512640 134716908 3221224560 3221222560 1074916941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14287 13530 1111 63 0 14224 0
vsize: 57148
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 717990 0 0 0 58215 1793 0 0 25 0 1 0 851694938 58728448 13581 4294967295 134512640 134716908 3221224560 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14338 13581 1111 63 0 14275 0
vsize: 57352
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 737061 0 0 0 59168 1840 0 0 25 0 1 0 851694938 58986496 13644 4294967295 134512640 134716908 3221224560 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14531 13647 1111 63 0 14468 0
vsize: 57604
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 744036 0 0 0 60151 1857 0 0 25 0 1 0 851694938 59600896 13794 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14551 13794 1111 63 0 14488 0
vsize: 58204
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 746436 0 0 0 61144 1864 0 0 25 0 1 0 851694938 61906944 14277 4294967295 134512640 134716908 3221224560 3221221680 1074837180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15048 14211 1111 63 0 14985 0
vsize: 60456
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 763245 0 0 0 62108 1901 0 0 25 0 1 0 851694938 60162048 13918 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14688 13918 1111 63 0 14625 0
vsize: 58752
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 767046 0 0 0 63098 1910 0 0 25 0 1 0 851694938 59891712 13865 4294967295 134512640 134716908 3221224560 3221222560 1074918968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14622 13865 1111 63 0 14559 0
vsize: 58488
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 778443 0 0 0 64069 1940 0 0 25 0 1 0 851694938 59731968 13826 4294967295 134512640 134716908 3221224560 3221222208 1075818335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14583 13826 1111 63 0 14520 0
vsize: 58332
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 784709 0 0 0 65054 1955 0 0 25 0 1 0 851694938 61665280 14132 4294967295 134512640 134716908 3221224560 3221220592 1074790236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15055 14132 1111 63 0 14992 0
vsize: 60220
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 789042 0 0 0 66043 1966 0 0 25 0 1 0 851694938 59731968 13826 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14583 13826 1111 63 0 14520 0
vsize: 58332
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 795366 0 0 0 67027 1982 0 0 25 0 1 0 851694938 59748352 13830 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14587 13830 1111 63 0 14524 0
vsize: 58348
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 801750 0 0 0 68011 1998 0 0 25 0 1 0 851694938 59731968 13826 4294967295 134512640 134716908 3221224560 3221222856 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14583 13826 1111 63 0 14520 0
vsize: 58332
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 807279 0 0 0 68999 2010 0 0 25 0 1 0 851694938 60493824 13979 4294967295 134512640 134716908 3221224560 3221223288 134622822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14769 13979 1111 63 0 14706 0
vsize: 59076
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 811793 0 0 0 69989 2021 0 0 25 0 1 0 851694938 60018688 13896 4294967295 134512640 134716908 3221224560 3221223196 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14653 13896 1111 63 0 14590 0
vsize: 58612
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 815026 0 0 0 70981 2029 0 0 25 0 1 0 851694938 60010496 13894 4294967295 134512640 134716908 3221224560 3221222672 1074867296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14651 13894 1111 63 0 14588 0
vsize: 58604
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 817193 0 0 0 71976 2034 0 0 25 0 1 0 851694938 62885888 14261 4294967295 134512640 134716908 3221224560 3221220720 1075091819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15353 14261 1111 63 0 15290 0
vsize: 61412
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 820801 0 0 0 72967 2043 0 0 25 0 1 0 851694938 62316544 14336 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15214 14336 1111 63 0 15151 0
vsize: 60856
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 829007 0 0 0 73949 2062 0 0 25 0 1 0 851694938 60612608 14041 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14798 14041 1111 63 0 14735 0
vsize: 59192
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 836066 0 0 0 74932 2079 0 0 25 0 1 0 851694938 60055552 13905 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14662 13905 1111 63 0 14599 0
vsize: 58648
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 847354 0 0 0 75904 2107 0 0 25 0 1 0 851694938 61005824 14122 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 14122 1111 63 0 14831 0
vsize: 59576
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 861295 0 0 0 76870 2141 0 0 25 0 1 0 851694938 61849600 14343 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15100 14343 1111 63 0 15037 0
vsize: 60400
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 872021 0 0 0 77845 2166 0 0 25 0 1 0 851694938 63811584 14820 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15579 14820 1111 63 0 15516 0
vsize: 62316
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 879244 0 0 0 78830 2181 0 0 25 0 1 0 851694938 63180800 14668 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15425 14668 1111 63 0 15362 0
vsize: 61700
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 895230 0 0 0 79791 2220 0 0 25 0 1 0 851694938 62771200 14568 4294967295 134512640 134716908 3221224560 3221223188 1077374592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15325 14568 1111 63 0 15262 0
vsize: 61300
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 910841 0 0 0 80755 2257 0 0 25 0 1 0 851694938 62918656 14572 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15361 14572 1111 63 0 15298 0
vsize: 61444
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 923743 0 0 0 81724 2288 0 0 25 0 1 0 851694938 64282624 14931 4294967295 134512640 134716908 3221224560 3221222560 1074916974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15694 14931 1111 63 0 15631 0
vsize: 62776
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 926010 0 0 0 82719 2293 0 0 25 0 1 0 851694938 63860736 14833 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15591 14833 1111 63 0 15528 0
vsize: 62364
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 929372 0 0 0 83711 2301 0 0 25 0 1 0 851694938 65605632 14879 4294967295 134512640 134716908 3221224560 3221221616 1075277524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16017 14879 1111 63 0 15954 0
vsize: 64068
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 933760 0 0 0 84700 2313 0 0 25 0 1 0 851694938 65794048 15306 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16063 15306 1111 63 0 16000 0
vsize: 64252
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 939664 0 0 0 85689 2324 0 0 25 0 1 0 851694938 67846144 15738 4294967295 134512640 134716908 3221224560 3221220768 1074815176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16564 15738 1111 63 0 16501 0
vsize: 66256
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 940936 0 0 0 86686 2327 0 0 25 0 1 0 851694938 65376256 15173 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15961 15173 1111 63 0 15898 0
vsize: 63844
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 941417 0 0 0 87684 2329 0 0 25 0 1 0 851694938 65466368 15226 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15983 15226 1111 63 0 15920 0
vsize: 63932
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 947111 0 0 0 88670 2343 0 0 25 0 1 0 851694938 65351680 15191 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15955 15191 1111 63 0 15892 0
vsize: 63820
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 955379 0 0 0 89651 2362 0 0 25 0 1 0 851694938 64512000 14993 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15750 14993 1111 63 0 15687 0
vsize: 63000
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 957046 0 0 0 90648 2366 0 0 25 0 1 0 851694938 64528384 14997 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15754 14997 1111 63 0 15691 0
vsize: 63016
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 972526 0 0 0 91613 2401 0 0 25 0 1 0 851694938 64122880 14898 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15655 14898 1111 63 0 15592 0
vsize: 62620
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 981554 0 0 0 92592 2422 0 0 25 0 1 0 851694938 64122880 14898 4294967295 134512640 134716908 3221224560 3221223356 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15655 14898 1111 63 0 15592 0
vsize: 62620
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 993761 0 0 0 93564 2451 0 0 25 0 1 0 851694938 64122880 14898 4294967295 134512640 134716908 3221224560 3221223116 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15655 14898 1111 63 0 15592 0
vsize: 62620
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1011553 0 0 0 94522 2493 0 0 25 0 1 0 851694938 64122880 14898 4294967295 134512640 134716908 3221224560 3221222368 1073986807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15655 14898 1111 63 0 15592 0
vsize: 62620
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1028238 0 0 0 95484 2531 0 0 25 0 1 0 851694938 65019904 15100 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15874 15100 1111 63 0 15811 0
vsize: 63496
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1046040 0 0 0 96443 2572 0 0 25 0 1 0 851694938 66088960 15336 4294967295 134512640 134716908 3221224560 3221223296 134622912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16135 15336 1111 63 0 16072 0
vsize: 64540
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1066639 0 0 0 97393 2622 0 0 25 0 1 0 851694938 65298432 15163 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15942 15163 1111 63 0 15879 0
vsize: 63768
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1075561 0 0 0 98372 2644 0 0 25 0 1 0 851694938 65818624 15290 4294967295 134512640 134716908 3221224560 3221223356 134543553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16069 15290 1111 63 0 16006 0
vsize: 64276
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1087245 0 0 0 99344 2672 0 0 25 0 1 0 851694938 65802240 15286 4294967295 134512640 134716908 3221224560 3221222800 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16065 15286 1111 63 0 16002 0
vsize: 64260
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1103145 0 0 0 100308 2708 0 0 25 0 1 0 851694938 66105344 15360 4294967295 134512640 134716908 3221224560 3221222560 1074913466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 15360 1111 63 0 16076 0
vsize: 64556
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1113700 0 0 0 101284 2732 0 0 25 0 1 0 851694938 66879488 15549 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16328 15549 1111 63 0 16265 0
vsize: 65312
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1119345 0 0 0 102271 2745 0 0 25 0 1 0 851694938 70615040 16334 4294967295 134512640 134716908 3221224560 3221220736 1074882616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17240 16334 1111 63 0 17177 0
vsize: 68960
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1120397 0 0 0 103268 2748 0 0 25 0 1 0 851694938 68177920 15829 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16645 15829 1111 63 0 16582 0
vsize: 66580
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1126453 0 0 0 104254 2762 0 0 25 0 1 0 851694938 68759552 15936 4294967295 134512640 134716908 3221224560 3221221840 1074140670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16787 15936 1111 63 0 16724 0
vsize: 67148
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1130190 0 0 0 105246 2770 0 0 25 0 1 0 851694938 68284416 15845 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16671 15845 1111 63 0 16608 0
vsize: 66684
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1133055 0 0 0 106238 2778 0 0 25 0 1 0 851694938 67624960 15723 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16510 15723 1111 63 0 16447 0
vsize: 66040
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1142519 0 0 0 107217 2800 0 0 25 0 1 0 851694938 69779456 15675 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17036 15676 1111 63 0 16973 0
vsize: 68144
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1153365 0 0 0 108191 2826 0 0 25 0 1 0 851694938 67674112 15712 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16522 15712 1111 63 0 16459 0
vsize: 66088
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1176105 0 0 0 109140 2877 0 0 25 0 1 0 851694938 71659520 16436 4294967295 134512640 134716908 3221224560 3221220788 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17495 16436 1111 63 0 17432 0
vsize: 69980
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1183848 0 0 0 110123 2895 0 0 25 0 1 0 851694938 71462912 16096 4294967295 134512640 134716908 3221224560 3221221504 1074620241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17447 16096 1111 63 0 17384 0
vsize: 69788
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1193
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1205572 0 0 0 111071 2946 0 0 25 0 1 0 851694938 70885376 16510 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17306 16510 1111 63 0 17243 0
vsize: 69224
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1247
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1207669 0 0 0 112064 2953 0 0 25 0 1 0 851694938 71450624 16634 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17444 16634 1111 63 0 17381 0
vsize: 69776
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1247
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1215090 0 0 0 113046 2971 0 0 25 0 1 0 851694938 70541312 16419 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17222 16419 1111 63 0 17159 0
vsize: 68888
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1247
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1218192 0 0 0 114039 2978 0 0 25 0 1 0 851694938 71323648 16589 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17413 16589 1111 63 0 17350 0
vsize: 69652
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1247
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1221290 0 0 0 115033 2985 0 0 25 0 1 0 851694938 71045120 16555 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 16555 1111 63 0 17282 0
vsize: 69380
[startup+1182.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1247
Raw data (stat): 1193 (bsolo_lpr_cuts-) R 1192 8378 8377 0 -1 0 1221290 0 0 0 115033 2985 0 0 25 0 1 0 851694938 71045120 16555 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 16555 1111 63 0 17282 0
vsize: 0

Child status: 10
Real time (s): 1182.12
CPU time (s): 1182.28
CPU user time (s): 1152.4
CPU system time (s): 29.8835
CPU usage (%): 100.014
Max. virtual memory (Kb): 69980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	130097
#### END VERIFIER DATA ####