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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb
MD5SUM	36d973d6ac0a73f611c4998ee3e157d3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	5767168
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.84657
Number of variables	960
Total number of constraints	48
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	48
Minimum length of a constraint	40
Maximum length of a constraint	80
Trace number 40231

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 04:36:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28288 boxname=wulflinc4 idbench=1244 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  36d973d6ac0a73f611c4998ee3e157d3  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sc50b.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sc50b.opb
IDLAUNCH: 28288
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        839116 kB
Buffers:         10484 kB
Cached:         163812 kB
SwapCached:        872 kB
Active:          22712 kB
Inactive:       153592 kB
HighTotal:      131008 kB
HighFree:          588 kB
LowTotal:       903652 kB
LowFree:        838528 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4916 kB
Slab:            13492 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 04:56:03 (client local time) WITH STATUS 10 IN 1178.74 SECONDS
stats: 28288 0 1178.74 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 960 variables and 68 constraints.
c After prepocess the problem consists of 729 variables and 102 constraints.
c preprocess terminated 0.36 s
c Initial Lower Bound: -8960
c Lower Bound Elapsed time: 0.02875
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 0 @ 3.214
s SATISFIABLE
v -COL00004_bit_7 -COL00004_bit_6 -COL00004_bit_5 -COL00004_bit_4 -COL00004_bit_3 -COL00004_bit_2 -COL00004_bit_1 -COL00004_bit0 -COL00004_bit1 -COL00004_bit2 -COL00004_bit3 -COL00004_bit4 -COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00001_bit_7 -COL00001_bit_6 -COL00001_bit_5 -COL00001_bit_4 -COL00001_bit_3 -COL00001_bit_2 -COL00001_bit_1 -COL00001_bit0 -COL00001_bit1 COL00001_bit2 -COL00001_bit3 -COL00001_bit4 COL00001_bit5 COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00002_bit_7 -COL00002_bit_6 -COL00002_bit_5 -COL00002_bit_4 -COL00002_bit_3 -COL00002_bit_2 -COL00002_bit_1 -COL00002_bit0 -COL00002_bit1 -COL00002_bit2 -COL00002_bit3 -COL00002_bit4 -COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00003_bit_7 -COL00003_bit_6 -COL00003_bit_5 -COL00003_bit_4 -COL00003_bit_3 -COL00003_bit_2 -COL00003_bit_1 -COL00003_bit0 -COL00003_bit1 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00005_bit_7 -COL00005_bit_6 -COL00005_bit_5 -COL00005_bit_4 -COL00005_bit_3 -COL00005_bit_2 -COL00005_bit_1 -COL00005_bit0 -COL00005_bit1 -COL00005_bit2 -COL00005_bit3 -COL00005_bit4 -COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00006_bit_7 -COL00006_bit_6 -COL00006_bit_5 -COL00006_bit_4 -COL00006_bit_3 -COL00006_bit_2 -COL00006_bit_1 -COL00006_bit0 -COL00006_bit1 COL00006_bit2 -COL00006_bit3 -COL00006_bit4 COL00006_bit5 COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00007_bit_7 -COL00007_bit_6 -COL00007_bit_5 -COL00007_bit_4 -COL00007_bit_3 -COL00007_bit_2 -COL00007_bit_1 -COL00007_bit0 -COL00007_bit1 -COL00007_bit2 -COL00007_bit3 -COL00007_bit4 -COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00008_bit_7 -COL00008_bit_6 -COL00008_bit_5 -COL00008_bit_4 -COL00008_bit_3 -COL00008_bit_2 -COL00008_bit_1 -COL00008_bit0 -COL00008_bit1 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00009_bit_7 -COL00009_bit_6 -COL00009_bit_5 -COL00009_bit_4 -COL00009_bit_3 -COL00009_bit_2 -COL00009_bit_1 -COL00009_bit0 -COL00009_bit1 COL00009_bit2 -COL00009_bit3 -COL00009_bit4 COL00009_bit5 COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00010_bit_7 -COL00010_bit_6 -COL00010_bit_5 -COL00010_bit_4 -COL00010_bit_3 -COL00010_bit_2 -COL00010_bit_1 -COL00010_bit0 -COL00010_bit1 -COL00010_bit2 -COL00010_bit3 -COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00011_bit_7 -COL00011_bit_6 -COL00011_bit_5 -COL00011_bit_4 -COL00011_bit_3 -COL00011_bit_2 -COL00011_bit_1 -COL00011_bit0 -COL00011_bit1 -COL00011_bit2 -COL00011_bit3 -COL00011_bit4 -COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 COL00012_bit_7 -COL00012_bit_6 -COL00012_bit_5 -COL00012_bit_4 -COL00012_bit_3 -COL00012_bit_2 -COL00012_bit_1 -COL00012_bit0 -COL00012_bit1 COL00012_bit2 -COL00012_bit3 -COL00012_bit4 -COL00012_bit5 -COL00012_bit6 COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 COL00013_bit_7 -COL00013_bit_6 -COL00013_bit_5 -COL00013_bit_4 -COL00013_bit_3 -COL00013_bit_2 -COL00013_bit_1 -COL00013_bit0 -COL00013_bit1 -COL00013_bit2 -COL00013_bit3 -COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 COL00014_bit_7 -COL00014_bit_6 -COL00014_bit_5 -COL00014_bit_4 -COL00014_bit_3 -COL00014_bit_2 -COL00014_bit_1 -COL00014_bit0 -COL00014_bit1 -COL00014_bit2 -COL00014_bit3 -COL00014_bit4 -COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00015_bit_7 -COL00015_bit_6 -COL00015_bit_5 -COL00015_bit_4 -COL00015_bit_3 -COL00015_bit_2 -COL00015_bit_1 -COL00015_bit0 -COL00015_bit1 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00016_bit_7 -COL00016_bit_6 -COL00016_bit_5 -COL00016_bit_4 -COL00016_bit_3 -COL00016_bit_2 -COL00016_bit_1 -COL00016_bit0 -COL00016_bit1 -COL00016_bit2 -COL00016_bit3 -COL00016_bit4 -COL00016_bit5 -COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 COL00017_bit_7 -COL00017_bit_6 -COL00017_bit_5 -COL00017_bit_4 -COL00017_bit_3 -COL00017_bit_2 -COL00017_bit_1 -COL00017_bit0 -COL00017_bit1 -COL00017_bit2 COL00017_bit3 -COL00017_bit4 COL00017_bit5 COL00017_bit6 COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 COL00018_bit_7 -COL00018_bit_6 -COL00018_bit_5 -COL00018_bit_4 -COL00018_bit_3 -COL00018_bit_2 -COL00018_bit_1 -COL00018_bit0 -COL00018_bit1 -COL00018_bit2 -COL00018_bit3 -COL00018_bit4 -COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 COL00019_bit_7 -COL00019_bit_6 -COL00019_bit_5 -COL00019_bit_4 -COL00019_bit_3 -COL00019_bit_2 -COL00019_bit_1 -COL00019_bit0 -COL00019_bit1 -COL00019_bit2 -COL00019_bit3 -COL00019_bit4 -COL00019_bit5 -COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00020_bit_7 -COL00020_bit_6 -COL00020_bit_5 -COL00020_bit_4 -COL00020_bit_3 -COL00020_bit_2 -COL00020_bit_1 -COL00020_bit0 -COL00020_bit1 -COL00020_bit2 COL00020_bit3 -COL00020_bit4 COL00020_bit5 COL00020_bit6 COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00021_bit_7 -COL00021_bit_6 -COL00021_bit_5 -COL00021_bit_4 -COL00021_bit_3 -COL00021_bit_2 -COL00021_bit_1 -COL00021_bit0 -COL00021_bit1 -COL00021_bit2 -COL00021_bit3 -COL00021_bit4 -COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00022_bit_7 -COL00022_bit_6 -COL00022_bit_5 -COL00022_bit_4 -COL00022_bit_3 -COL00022_bit_2 -COL00022_bit_1 -COL00022_bit0 -COL00022_bit1 -COL00022_bit2 -COL00022_bit3 -COL00022_bit4 -COL00022_bit5 -COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 COL00023_bit_7 COL00023_bit_6 COL00023_bit_5 COL00023_bit_4 COL00023_bit_3 COL00023_bit_2 COL00023_bit_1 COL00023_bit0 COL00023_bit1 COL00023_bit2 -COL00023_bit3 -COL00023_bit4 COL00023_bit5 -COL00023_bit6 COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 COL00024_bit_7 COL00024_bit_6 COL00024_bit_5 COL00024_bit_4 COL00024_bit_3 COL00024_bit_2 COL00024_bit_1 COL00024_bit0 COL00024_bit1 COL00024_bit2 -COL00024_bit3 -COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 COL00025_bit_7 COL00025_bit_6 COL00025_bit_5 COL00025_bit_4 COL00025_bit_3 COL00025_bit_2 COL00025_bit_1 -COL00025_bit0 -COL00025_bit1 -COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 -COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00026_bit_7 -COL00026_bit_6 -COL00026_bit_5 -COL00026_bit_4 -COL00026_bit_3 -COL00026_bit_2 -COL00026_bit_1 -COL00026_bit0 -COL00026_bit1 -COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00027_bit_7 -COL00027_bit_6 -COL00027_bit_5 -COL00027_bit_4 -COL00027_bit_3 -COL00027_bit_2 -COL00027_bit_1 -COL00027_bit0 -COL00027_bit1 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 -COL00027_bit6 -COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00028_bit_7 -COL00028_bit_6 -COL00028_bit_5 -COL00028_bit_4 -COL00028_bit_3 -COL00028_bit_2 -COL00028_bit_1 -COL00028_bit0 -COL00028_bit1 -COL00028_bit2 -COL00028_bit3 COL00028_bit4 -COL00028_bit5 -COL00028_bit6 COL00028_bit7 COL00028_bit8 -COL00028_bit9 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00029_bit_7 -COL00029_bit_6 -COL00029_bit_5 -COL00029_bit_4 -COL00029_bit_3 -COL00029_bit_2 -COL00029_bit_1 -COL00029_bit0 -COL00029_bit1 -COL00029_bit2 COL00029_bit3 -COL00029_bit4 -COL00029_bit5 -COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00030_bit_7 -COL00030_bit_6 -COL00030_bit_5 -COL00030_bit_4 -COL00030_bit_3 -COL00030_bit_2 -COL00030_bit_1 COL00030_bit0 -COL00030_bit1 -COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 -COL00030_bit6 -COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00031_bit_7 -COL00031_bit_6 -COL00031_bit_5 -COL00031_bit_4 -COL00031_bit_3 -COL00031_bit_2 -COL00031_bit_1 -COL00031_bit0 -COL00031_bit1 -COL00031_bit2 -COL00031_bit3 COL00031_bit4 -COL00031_bit5 -COL00031_bit6 COL00031_bit7 COL00031_bit8 -COL00031_bit9 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00032_bit_7 -COL00032_bit_6 -COL00032_bit_5 -COL00032_bit_4 -COL00032_bit_3 -COL00032_bit_2 -COL00032_bit_1 -COL00032_bit0 -COL00032_bit1 -COL00032_bit2 -COL00032_bit3 -COL00032_bit4 -COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00033_bit_7 -COL00033_bit_6 -COL00033_bit_5 -COL00033_bit_4 -COL00033_bit_3 -COL00033_bit_2 -COL00033_bit_1 -COL00033_bit0 -COL00033_bit1 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 -COL00033_bit6 -COL00033_bit7 -COL00033_bit8 -COL00033_bit9 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00034_bit_7 -COL00034_bit_6 -COL00034_bit_5 -COL00034_bit_4 -COL00034_bit_3 -COL00034_bit_2 -COL00034_bit_1 -COL00034_bit0 -COL00034_bit1 -COL00034_bit2 -COL00034_bit3 COL00034_bit4 COL00034_bit5 COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00035_bit_7 -COL00035_bit_6 -COL00035_bit_5 -COL00035_bit_4 -COL00035_bit_3 -COL00035_bit_2 -COL00035_bit_1 -COL00035_bit0 -COL00035_bit1 -COL00035_bit2 COL00035_bit3 COL00035_bit4 COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00036_bit_7 -COL00036_bit_6 -COL00036_bit_5 -COL00036_bit_4 -COL00036_bit_3 -COL00036_bit_2 -COL00036_bit_1 COL00036_bit0 COL00036_bit1 COL00036_bit2 COL00036_bit3 COL00036_bit4 COL00036_bit5 -COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00037_bit_7 -COL00037_bit_6 -COL00037_bit_5 -COL00037_bit_4 -COL00037_bit_3 -COL00037_bit_2 -COL00037_bit_1 -COL00037_bit0 -COL00037_bit1 -COL00037_bit2 -COL00037_bit3 -COL00037_bit4 -COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00038_bit_7 -COL00038_bit_6 -COL00038_bit_5 -COL00038_bit_4 -COL00038_bit_3 -COL00038_bit_2 -COL00038_bit_1 -COL00038_bit0 -COL00038_bit1 -COL00038_bit2 -COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00039_bit_7 -COL00039_bit_6 -COL00039_bit_5 -COL00039_bit_4 -COL00039_bit_3 -COL00039_bit_2 -COL00039_bit_1 -COL00039_bit0 -COL00039_bit1 -COL00039_bit2 -COL00039_bit3 -COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 COL00039_bit9 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00040_bit_7 -COL00040_bit_6 -COL00040_bit_5 -COL00040_bit_4 -COL00040_bit_3 -COL00040_bit_2 -COL00040_bit_1 -COL00040_bit0 -COL00040_bit1 -COL00040_bit2 -COL00040_bit3 -COL00040_bit4 -COL00040_bit5 COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00041_bit_7 -COL00041_bit_6 -COL00041_bit_5 -COL00041_bit_4 -COL00041_bit_3 -COL00041_bit_2 -COL00041_bit_1 -COL00041_bit0 -COL00041_bit1 -COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 COL00041_bit6 -COL00041_bit7 -COL00041_bit8 -COL00041_bit9 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00042_bit_7 -COL00042_bit_6 -COL00042_bit_5 -COL00042_bit_4 -COL00042_bit_3 -COL00042_bit_2 -COL00042_bit_1 -COL00042_bit0 -COL00042_bit1 -COL00042_bit2 -COL00042_bit3 -COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00043_bit_7 -COL00043_bit_6 -COL00043_bit_5 -COL00043_bit_4 -COL00043_bit_3 -COL00043_bit_2 -COL00043_bit_1 -COL00043_bit0 -COL00043_bit1 -COL00043_bit2 -COL00043_bit3 -COL00043_bit4 -COL00043_bit5 -COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00044_bit_7 -COL00044_bit_6 -COL00044_bit_5 -COL00044_bit_4 -COL00044_bit_3 -COL00044_bit_2 -COL00044_bit_1 -COL00044_bit0 -COL00044_bit1 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 -COL00044_bit5 -COL00044_bit6 -COL00044_bit7 -COL00044_bit8 -COL00044_bit9 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00045_bit_7 -COL00045_bit_6 -COL00045_bit_5 -COL00045_bit_4 -COL00045_bit_3 -COL00045_bit_2 -COL00045_bit_1 -COL00045_bit0 -COL00045_bit1 -COL00045_bit2 -COL00045_bit3 -COL00045_bit4 -COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00046_bit_7 -COL00046_bit_6 -COL00046_bit_5 -COL00046_bit_4 -COL00046_bit_3 -COL00046_bit_2 -COL00046_bit_1 -COL00046_bit0 -COL00046_bit1 -COL00046_bit2 -COL00046_bit3 -COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00047_bit_7 -COL00047_bit_6 -COL00047_bit_5 -COL00047_bit_4 -COL00047_bit_3 -COL00047_bit_2 -COL00047_bit_1 -COL00047_bit0 -COL00047_bit1 -COL00047_bit2 -COL00047_bit3 -COL00047_bit4 -COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00048_bit_7 -COL00048_bit_6 -COL00048_bit_5 -COL00048_bit_4 -COL00048_bit_3 -COL00048_bit_2 -COL00048_bit_1 -COL00048_bit0 -COL00048_bit1 -COL00048_bit2 -COL00048_bit3 -COL00048_bit4 -COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 
c Exit Code: 10
c Total time: 1178.72 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.94 0.90 2/54 27168
Raw data (stat): 27168 (runsolver) R 27167 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898793330 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.0001 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 5645 0 0 0 980 17 0 0 25 0 1 0 898793330 9728000 1681 4294967295 134512640 134716908 3221224576 3221223048 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2375 1681 1111 63 0 2312 0
vsize: 9500
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 11254 0 0 0 1959 38 0 0 25 0 1 0 898793330 10416128 1782 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2543 1782 1111 63 0 2480 0
vsize: 10172
[startup+30.002 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 13084 0 0 0 2949 48 0 0 25 0 1 0 898793330 10358784 1836 4294967295 134512640 134716908 3221224576 3221222576 1074916543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2529 1836 1111 63 0 2466 0
vsize: 10116
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 15904 0 0 0 3940 57 0 0 25 0 1 0 898793330 10858496 1927 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2651 1928 1111 63 0 2588 0
vsize: 10604
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 18727 0 0 0 4929 68 0 0 25 0 1 0 898793330 10973184 1987 4294967295 134512640 134716908 3221224576 3221222880 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1987 1111 63 0 2616 0
vsize: 10716
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 22206 0 0 0 5920 77 0 0 25 0 1 0 898793330 11231232 2050 4294967295 134512640 134716908 3221224576 3221222760 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2742 2050 1111 63 0 2679 0
vsize: 10968
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 26345 0 0 0 6906 92 0 0 25 0 1 0 898793330 11390976 2090 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2781 2090 1111 63 0 2718 0
vsize: 11124
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 30893 0 0 0 7894 104 0 0 25 0 1 0 898793330 12136448 2191 4294967295 134512640 134716908 3221224576 3221220740 1075964271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 2191 1111 63 0 2900 0
vsize: 11852
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 35075 0 0 0 8882 116 0 0 25 0 1 0 898793330 11935744 2185 4294967295 134512640 134716908 3221224576 3221222544 1075809065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2914 2185 1111 63 0 2851 0
vsize: 11656
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 39404 0 0 0 9872 126 0 0 25 0 1 0 898793330 11816960 2194 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2885 2194 1111 63 0 2822 0
vsize: 11540
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 43034 0 0 0 10863 135 0 0 25 0 1 0 898793330 11939840 2199 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2915 2199 1111 63 0 2852 0
vsize: 11660
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 46845 0 0 0 11854 145 0 0 25 0 1 0 898793330 11964416 2221 4294967295 134512640 134716908 3221224576 3221222576 1074916750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2921 2221 1111 63 0 2858 0
vsize: 11684
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 51409 0 0 0 12843 156 0 0 25 0 1 0 898793330 12230656 2223 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2986 2223 1111 63 0 2923 0
vsize: 11944
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 55452 0 0 0 13833 166 0 0 25 0 1 0 898793330 11808768 2192 4294967295 134512640 134716908 3221224576 3221222496 1075799783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2883 2192 1111 63 0 2820 0
vsize: 11532
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 60357 0 0 0 14821 178 0 0 25 0 1 0 898793330 11776000 2184 4294967295 134512640 134716908 3221224576 3221222648 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2875 2184 1111 63 0 2812 0
vsize: 11500
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 65541 0 0 0 15808 192 0 0 25 0 1 0 898793330 12546048 2340 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3063 2340 1111 63 0 3000 0
vsize: 12252
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 70033 0 0 0 16797 203 0 0 25 0 1 0 898793330 12054528 2252 4294967295 134512640 134716908 3221224576 3221222332 1077404727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2252 1111 63 0 2880 0
vsize: 11772
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 73655 0 0 0 17786 214 0 0 25 0 1 0 898793330 12054528 2252 4294967295 134512640 134716908 3221224576 3221222716 1074064918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2252 1111 63 0 2880 0
vsize: 11772
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 78042 0 0 0 18775 225 0 0 25 0 1 0 898793330 12054528 2250 4294967295 134512640 134716908 3221224576 3221222924 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2250 1111 63 0 2880 0
vsize: 11772
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 83393 0 0 0 19761 239 0 0 25 0 1 0 898793330 12513280 2281 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2281 1111 63 0 2992 0
vsize: 12220
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 88408 0 0 0 20747 253 0 0 25 0 1 0 898793330 12701696 2316 4294967295 134512640 134716908 3221224576 3221221592 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2316 1111 63 0 3038 0
vsize: 12404
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 92629 0 0 0 21737 264 0 0 25 0 1 0 898793330 12357632 2297 4294967295 134512640 134716908 3221224576 3221222480 1075961299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 2297 1111 63 0 2954 0
vsize: 12068
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 97160 0 0 0 22725 275 0 0 25 0 1 0 898793330 12238848 2297 4294967295 134512640 134716908 3221224576 3221222536 1074138327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2297 1111 63 0 2925 0
vsize: 11952
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 101616 0 0 0 23711 289 0 0 25 0 1 0 898793330 12238848 2297 4294967295 134512640 134716908 3221224576 3221222576 1074918660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2297 1111 63 0 2925 0
vsize: 11952
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 106239 0 0 0 24698 302 0 0 25 0 1 0 898793330 12242944 2290 4294967295 134512640 134716908 3221224576 3221222576 1074918562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2989 2290 1111 63 0 2926 0
vsize: 11956
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 110740 0 0 0 25687 314 0 0 25 0 1 0 898793330 12247040 2295 4294967295 134512640 134716908 3221224576 3221221420 1077782939 0 0 7 0 3225643616 0 0 17 1 0 0
Raw data (statm): 3077 2302 1111 63 0 3014 0
vsize: 11960
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 115493 0 0 0 26674 327 0 0 25 0 1 0 898793330 12181504 2283 4294967295 134512640 134716908 3221224576 3221222728 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2974 2283 1111 63 0 2911 0
vsize: 11896
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 120932 0 0 0 27661 341 0 0 25 0 1 0 898793330 12214272 2291 4294967295 134512640 134716908 3221224576 3221222168 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2982 2291 1111 63 0 2919 0
vsize: 11928
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 126068 0 0 0 28649 353 0 0 25 0 1 0 898793330 12218368 2292 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 2292 1111 63 0 2920 0
vsize: 11932
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 131278 0 0 0 29635 367 0 0 25 0 1 0 898793330 12316672 2312 4294967295 134512640 134716908 3221224576 3221221808 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 2313 1111 63 0 2944 0
vsize: 12028
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 136395 0 0 0 30622 380 0 0 25 0 1 0 898793330 12214272 2291 4294967295 134512640 134716908 3221224576 3221221680 1074138729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2982 2291 1111 63 0 2919 0
vsize: 11928
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 141836 0 0 0 31609 393 0 0 25 0 1 0 898793330 12316672 2316 4294967295 134512640 134716908 3221224576 3221221808 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 2316 1111 63 0 2944 0
vsize: 12028
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 147107 0 0 0 32594 408 0 0 25 0 1 0 898793330 12664832 2317 4294967295 134512640 134716908 3221224576 3221221008 1075895984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 2313 1111 63 0 2944 0
vsize: 12368
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 152024 0 0 0 33582 420 0 0 25 0 1 0 898793330 12849152 2370 4294967295 134512640 134716908 3221224576 3221220756 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 2371 1111 63 0 3074 0
vsize: 12548
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 156665 0 0 0 34571 432 0 0 25 0 1 0 898793330 12673024 2330 4294967295 134512640 134716908 3221224576 3221221516 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3094 2331 1111 63 0 3031 0
vsize: 12376
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 161811 0 0 0 35557 446 0 0 25 0 1 0 898793330 12771328 2376 4294967295 134512640 134716908 3221224576 3221221344 1076084156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3118 2376 1111 63 0 3055 0
vsize: 12472
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 165812 0 0 0 36546 457 0 0 25 0 1 0 898793330 12513280 2364 4294967295 134512640 134716908 3221224576 3221222648 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2364 1111 63 0 2992 0
vsize: 12220
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 169234 0 0 0 37536 467 0 0 25 0 1 0 898793330 12525568 2365 4294967295 134512640 134716908 3221224576 3221221680 1074138729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3058 2365 1111 63 0 2995 0
vsize: 12232
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 172633 0 0 0 38527 476 0 0 25 0 1 0 898793330 12513280 2364 4294967295 134512640 134716908 3221224576 3221222432 1075799695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2364 1111 63 0 2992 0
vsize: 12220
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 176233 0 0 0 39518 486 0 0 25 0 1 0 898793330 12525568 2367 4294967295 134512640 134716908 3221224576 3221222624 1074057766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3058 2367 1111 63 0 2995 0
vsize: 12232
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 180885 0 0 0 40506 498 0 0 25 0 1 0 898793330 12627968 2392 4294967295 134512640 134716908 3221224576 3221222608 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2392 1111 63 0 3020 0
vsize: 12332
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 186280 0 0 0 41490 514 0 0 25 0 1 0 898793330 12902400 2402 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3150 2402 1111 63 0 3087 0
vsize: 12600
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 191743 0 0 0 42476 528 0 0 25 0 1 0 898793330 13053952 2429 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3187 2429 1111 63 0 3124 0
vsize: 12748
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 196900 0 0 0 43463 542 0 0 25 0 1 0 898793330 12673024 2403 4294967295 134512640 134716908 3221224576 3221222752 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3094 2403 1111 63 0 3031 0
vsize: 12376
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 202614 0 0 0 44445 560 0 0 25 0 1 0 898793330 12668928 2395 4294967295 134512640 134716908 3221224576 3221223040 134652923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2395 1111 63 0 3030 0
vsize: 12372
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 208191 0 0 0 45428 577 0 0 25 0 1 0 898793330 12750848 2422 4294967295 134512640 134716908 3221224576 3221222688 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3113 2422 1111 63 0 3050 0
vsize: 12452
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 212553 0 0 0 46415 590 0 0 25 0 1 0 898793330 12759040 2421 4294967295 134512640 134716908 3221224576 3221222496 1074153686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2421 1111 63 0 3052 0
vsize: 12460
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 217319 0 0 0 47402 604 0 0 25 0 1 0 898793330 12726272 2417 4294967295 134512640 134716908 3221224576 3221222592 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3107 2417 1111 63 0 3044 0
vsize: 12428
[startup+490.021 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 221699 0 0 0 48390 616 0 0 25 0 1 0 898793330 12763136 2426 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3116 2426 1111 63 0 3053 0
vsize: 12464
[startup+500.021 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 226408 0 0 0 49378 628 0 0 25 0 1 0 898793330 12791808 2433 4294967295 134512640 134716908 3221224576 3221222600 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3123 2433 1111 63 0 3060 0
vsize: 12492
[startup+510.022 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 231524 0 0 0 50365 641 0 0 25 0 1 0 898793330 12738560 2420 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3110 2420 1111 63 0 3047 0
vsize: 12440
[startup+520.022 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 236633 0 0 0 51350 656 0 0 25 0 1 0 898793330 12787712 2432 4294967295 134512640 134716908 3221224576 3221222544 1074247421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3122 2432 1111 63 0 3059 0
vsize: 12488
[startup+530.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 241667 0 0 0 52337 670 0 0 25 0 1 0 898793330 12972032 2477 4294967295 134512640 134716908 3221224576 3221222104 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3167 2477 1111 63 0 3104 0
vsize: 12668
[startup+540.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 244162 0 0 0 53328 678 0 0 25 0 1 0 898793330 13012992 2487 4294967295 134512640 134716908 3221224576 3221222928 1074142884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3177 2487 1111 63 0 3114 0
vsize: 12708
[startup+550.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 245688 0 0 0 54322 685 0 0 25 0 1 0 898793330 13012992 2487 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3177 2487 1111 63 0 3114 0
vsize: 12708
[startup+560.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 248530 0 0 0 55314 693 0 0 25 0 1 0 898793330 13025280 2490 4294967295 134512640 134716908 3221224576 3221222528 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3180 2490 1111 63 0 3117 0
vsize: 12720
[startup+570.025 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 252991 0 0 0 56303 705 0 0 25 0 1 0 898793330 12939264 2466 4294967295 134512640 134716908 3221224576 3221222780 1074152825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3159 2466 1111 63 0 3096 0
vsize: 12636
[startup+580.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 258008 0 0 0 57288 719 0 0 25 0 1 0 898793330 13090816 2498 4294967295 134512640 134716908 3221224576 3221221680 1074138794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3196 2498 1111 63 0 3133 0
vsize: 12784
[startup+590.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 264079 0 0 0 58272 736 0 0 25 0 1 0 898793330 13348864 2554 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 2554 1111 63 0 3196 0
vsize: 13036
[startup+600.026 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 268818 0 0 0 59258 750 0 0 25 0 1 0 898793330 13422592 2587 4294967295 134512640 134716908 3221224576 3221222400 1075823527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2587 1111 63 0 3214 0
vsize: 13108
[startup+610.026 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 274884 0 0 0 60242 766 0 0 25 0 1 0 898793330 13709312 2657 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 2657 1111 63 0 3284 0
vsize: 13388
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 281255 0 0 0 61227 781 0 0 25 0 1 0 898793330 14422016 2768 4294967295 134512640 134716908 3221224576 3221221696 1074834227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3521 2768 1111 63 0 3458 0
vsize: 14084
[startup+630.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 286486 0 0 0 62213 796 0 0 25 0 1 0 898793330 14180352 2772 4294967295 134512640 134716908 3221224576 3221222528 1074916785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3462 2772 1111 63 0 3399 0
vsize: 13848
[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 289490 0 0 0 63204 805 0 0 25 0 1 0 898793330 14290944 2793 4294967295 134512640 134716908 3221224576 3221222624 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3489 2793 1111 63 0 3426 0
vsize: 13956
[startup+650.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 294828 0 0 0 64191 818 0 0 25 0 1 0 898793330 14397440 2825 4294967295 134512640 134716908 3221224576 3221222696 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3515 2825 1111 63 0 3452 0
vsize: 14060
[startup+660.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 299124 0 0 0 65177 832 0 0 25 0 1 0 898793330 14503936 2849 4294967295 134512640 134716908 3221224576 3221222576 1074918476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3541 2849 1111 63 0 3478 0
vsize: 14164
[startup+670.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 304470 0 0 0 66161 848 0 0 25 0 1 0 898793330 14458880 2838 4294967295 134512640 134716908 3221224576 3221221856 1074140406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3615 2841 1111 63 0 3552 0
vsize: 14120
[startup+680.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 310209 0 0 0 67149 860 0 0 25 0 1 0 898793330 14770176 2903 4294967295 134512640 134716908 3221224576 3221223300 134622899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3606 2903 1111 63 0 3543 0
vsize: 14424
[startup+690.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 315601 0 0 0 68137 872 0 0 25 0 1 0 898793330 14659584 2889 4294967295 134512640 134716908 3221224576 3221222172 1077404740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2889 1111 63 0 3516 0
vsize: 14316
[startup+700.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 319943 0 0 0 69124 885 0 0 25 0 1 0 898793330 14692352 2897 4294967295 134512640 134716908 3221224576 3221221856 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2897 1111 63 0 3524 0
vsize: 14348
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 328798 0 0 0 70101 909 0 0 25 0 1 0 898793330 14786560 2917 4294967295 134512640 134716908 3221224576 3221222576 1074918520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2917 1111 63 0 3547 0
vsize: 14440
[startup+720.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 336682 0 0 0 71079 930 0 0 25 0 1 0 898793330 15089664 2994 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2994 1111 63 0 3621 0
vsize: 14736
[startup+730.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 342577 0 0 0 72063 947 0 0 25 0 1 0 898793330 14991360 2970 4294967295 134512640 134716908 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3660 2970 1111 63 0 3597 0
vsize: 14640
[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 347829 0 0 0 73049 961 0 0 25 0 1 0 898793330 15335424 3054 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3744 3054 1111 63 0 3681 0
vsize: 14976
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 352303 0 0 0 74038 973 0 0 25 0 1 0 898793330 15654912 3132 4294967295 134512640 134716908 3221224576 3221222144 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3822 3132 1111 63 0 3759 0
vsize: 15288
[startup+760.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 358243 0 0 0 75025 986 0 0 25 0 1 0 898793330 15441920 3086 4294967295 134512640 134716908 3221224576 3221223304 134622768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3770 3086 1111 63 0 3707 0
vsize: 15080
[startup+770.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 362265 0 0 0 76015 996 0 0 25 0 1 0 898793330 15282176 3047 4294967295 134512640 134716908 3221224576 3221222580 1077380176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3731 3047 1111 63 0 3668 0
vsize: 14924
[startup+780.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 366388 0 0 0 77005 1007 0 0 25 0 1 0 898793330 15527936 3107 4294967295 134512640 134716908 3221224576 3221222576 1074917060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3791 3107 1111 63 0 3728 0
vsize: 15164
[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 371461 0 0 0 77992 1020 0 0 25 0 1 0 898793330 15454208 3089 4294967295 134512640 134716908 3221224576 3221222680 1077377584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3773 3089 1111 63 0 3710 0
vsize: 15092
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 376984 0 0 0 78977 1034 0 0 25 0 1 0 898793330 16470016 3241 4294967295 134512640 134716908 3221224576 3221220840 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4021 3241 1111 63 0 3958 0
vsize: 16084
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 382066 0 0 0 79963 1048 0 0 25 0 1 0 898793330 16039936 3222 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3916 3222 1111 63 0 3853 0
vsize: 15664
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 386746 0 0 0 80951 1061 0 0 25 0 1 0 898793330 15986688 3219 4294967295 134512640 134716908 3221224576 3221221856 1074140374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3221 1111 63 0 3890 0
vsize: 15612
[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 391356 0 0 0 81940 1072 0 0 25 0 1 0 898793330 15867904 3190 4294967295 134512640 134716908 3221224576 3221222600 1077377797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3190 1111 63 0 3811 0
vsize: 15496
[startup+840.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 396220 0 0 0 82928 1085 0 0 25 0 1 0 898793330 15847424 3181 4294967295 134512640 134716908 3221224576 3221221720 1074138327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3186 1111 63 0 3909 0
vsize: 15476
[startup+850.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 401160 0 0 0 83916 1097 0 0 25 0 1 0 898793330 16093184 3245 4294967295 134512640 134716908 3221224576 3221221696 1074865146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3929 3245 1111 63 0 3866 0
vsize: 15716
[startup+860.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 406106 0 0 0 84903 1109 0 0 25 0 1 0 898793330 16240640 3281 4294967295 134512640 134716908 3221224576 3221222688 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 3281 1111 63 0 3902 0
vsize: 15860
[startup+870.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 409805 0 0 0 85895 1118 0 0 25 0 1 0 898793330 16244736 3275 4294967295 134512640 134716908 3221224576 3221222528 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3966 3275 1111 63 0 3903 0
vsize: 15864
[startup+880.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 414495 0 0 0 86884 1129 0 0 25 0 1 0 898793330 16334848 3269 4294967295 134512640 134716908 3221224576 3221222432 1075799727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3988 3269 1111 63 0 3925 0
vsize: 15952
[startup+890.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 419669 0 0 0 87869 1144 0 0 25 0 1 0 898793330 16199680 3271 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3271 1111 63 0 3892 0
vsize: 15820
[startup+900.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 424672 0 0 0 88858 1156 0 0 25 0 1 0 898793330 16281600 3291 4294967295 134512640 134716908 3221224576 3221223120 134652422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3975 3291 1111 63 0 3912 0
vsize: 15900
[startup+910.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 429925 0 0 0 89844 1170 0 0 25 0 1 0 898793330 16609280 3371 4294967295 134512640 134716908 3221224576 3221222312 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4055 3371 1111 63 0 3992 0
vsize: 16220
[startup+920.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 434285 0 0 0 90832 1181 0 0 25 0 1 0 898793330 16859136 3432 4294967295 134512640 134716908 3221224576 3221221856 1074140070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4116 3432 1111 63 0 4053 0
vsize: 16464
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 439653 0 0 0 91818 1196 0 0 25 0 1 0 898793330 16732160 3401 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4085 3401 1111 63 0 4022 0
vsize: 16340
[startup+940.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 444699 0 0 0 92805 1209 0 0 25 0 1 0 898793330 16896000 3441 4294967295 134512640 134716908 3221224576 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4125 3441 1111 63 0 4062 0
vsize: 16500
[startup+950.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 449563 0 0 0 93793 1222 0 0 25 0 1 0 898793330 16883712 3438 4294967295 134512640 134716908 3221224576 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4122 3438 1111 63 0 4059 0
vsize: 16488
[startup+960.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 454675 0 0 0 94781 1234 0 0 25 0 1 0 898793330 18554880 3838 4294967295 134512640 134716908 3221224576 3221220736 1074883513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4530 3838 1111 63 0 4467 0
vsize: 18120
[startup+970.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 459671 0 0 0 95769 1245 0 0 25 0 1 0 898793330 18505728 3715 4294967295 134512640 134716908 3221224576 3221220784 1074815221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4518 3715 1111 63 0 4455 0
vsize: 18072
[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 464304 0 0 0 96759 1256 0 0 25 0 1 0 898793330 17371136 3557 4294967295 134512640 134716908 3221224576 3221222552 1077378297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4241 3557 1111 63 0 4178 0
vsize: 16964
[startup+990.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 469439 0 0 0 97746 1269 0 0 25 0 1 0 898793330 17911808 3594 4294967295 134512640 134716908 3221224576 3221220712 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4373 3594 1111 63 0 4310 0
vsize: 17492
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 474896 0 0 0 98733 1282 0 0 25 0 1 0 898793330 17395712 3564 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4247 3564 1111 63 0 4184 0
vsize: 16988
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 481785 0 0 0 99717 1298 0 0 25 0 1 0 898793330 17891328 3652 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4368 3653 1111 63 0 4305 0
vsize: 17472
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 487742 0 0 0 100703 1312 0 0 25 0 1 0 898793330 17674240 3632 4294967295 134512640 134716908 3221224576 3221222832 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 3632 1111 63 0 4252 0
vsize: 17260
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 493808 0 0 0 101690 1326 0 0 25 0 1 0 898793330 18415616 3726 4294967295 134512640 134716908 3221224576 3221220608 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4496 3726 1111 63 0 4433 0
vsize: 17984
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 499121 0 0 0 102677 1338 0 0 25 0 1 0 898793330 17969152 3704 4294967295 134512640 134716908 3221224576 3221222288 1074055970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3704 1111 63 0 4324 0
vsize: 17548
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 504995 0 0 0 103663 1353 0 0 25 0 1 0 898793330 17969152 3704 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3704 1111 63 0 4324 0
vsize: 17548
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 511597 0 0 0 104646 1370 0 0 25 0 1 0 898793330 18038784 3721 4294967295 134512640 134716908 3221224576 3221222656 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3721 1111 63 0 4341 0
vsize: 17616
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 518380 0 0 0 105628 1389 0 0 25 0 1 0 898793330 18198528 3750 4294967295 134512640 134716908 3221224576 3221221680 1074138642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4443 3750 1111 63 0 4380 0
vsize: 17772
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 523975 0 0 0 106613 1403 0 0 25 0 1 0 898793330 18419712 3783 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4497 3783 1111 63 0 4434 0
vsize: 17988
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 529658 0 0 0 107600 1416 0 0 25 0 1 0 898793330 18477056 3824 4294967295 134512640 134716908 3221224576 3221222576 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4511 3824 1111 63 0 4448 0
vsize: 18044
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 535106 0 0 0 108587 1430 0 0 25 0 1 0 898793330 18382848 3800 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3800 1111 63 0 4425 0
vsize: 17952
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 541037 0 0 0 109571 1445 0 0 25 0 1 0 898793330 18391040 3807 4294967295 134512640 134716908 3221224576 3221222400 1075823476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4490 3807 1111 63 0 4427 0
vsize: 17960
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 547675 0 0 0 110555 1462 0 0 25 0 1 0 898793330 18567168 3849 4294967295 134512640 134716908 3221224576 3221222928 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4533 3849 1111 63 0 4470 0
vsize: 18132
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 554557 0 0 0 111536 1480 0 0 25 0 1 0 898793330 18735104 3891 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4574 3891 1111 63 0 4511 0
vsize: 18296
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 561033 0 0 0 112522 1494 0 0 25 0 1 0 898793330 18792448 3899 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3899 1111 63 0 4525 0
vsize: 18352
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 566989 0 0 0 113510 1507 0 0 25 0 1 0 898793330 18989056 3953 4294967295 134512640 134716908 3221224576 3221222552 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3953 1111 63 0 4573 0
vsize: 18544
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 572548 0 0 0 114497 1521 0 0 25 0 1 0 898793330 19120128 3965 4294967295 134512640 134716908 3221224576 3221222352 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4668 3965 1111 63 0 4605 0
vsize: 18672
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 576762 0 0 0 115486 1531 0 0 25 0 1 0 898793330 19943424 4186 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4869 4186 1111 63 0 4806 0
vsize: 19476
[startup+1178.6 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 27168
Raw data (stat): 27168 (bsolo_lpr-v2) R 27167 21152 21151 0 -1 0 576762 0 0 0 115486 1531 0 0 25 0 1 0 898793330 19943424 4186 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4869 4186 1111 63 0 4806 0
vsize: 0

Child status: 10
Real time (s): 1178.6
CPU time (s): 1178.74
CPU user time (s): 1163.34
CPU system time (s): 15.4037
CPU usage (%): 100.012
Max. virtual memory (Kb): 19476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####