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-sc50a.opb
MD5SUM	d1a63d8d6fb70cfa129ffc4588721d0f
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	8388608
Number of bits of the biggest number in a constraint	24
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	1.19282
Number of variables	960
Total number of constraints	49
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	49
Minimum length of a constraint	40
Maximum length of a constraint	80
Trace number 27737

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 23:09:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16147 boxname=wulflinc19 idbench=1243 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  d1a63d8d6fb70cfa129ffc4588721d0f  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-sc50a.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-sc50a.opb
IDLAUNCH: 16147
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        865800 kB
Buffers:         29812 kB
Cached:         112400 kB
SwapCached:        520 kB
Active:          34204 kB
Inactive:       110380 kB
HighTotal:      131008 kB
HighFree:        48440 kB
LowTotal:       903652 kB
LowFree:        817360 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            18724 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:29:15 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 16147 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 960 variables and 69 constraints.
c After prepocess the problem consists of 727 variables and 98 constraints.
c preprocess terminated 0.418 s
c Initial Lower Bound: -8265
c Lower Bound Elapsed time: 0.066
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 0 @ 54.78
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: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.91 2/54 16276
Raw data (stat): 16276 (runsolver) R 16275 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834079954 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 7003 0 0 0 975 22 0 0 25 0 1 0 834079954 9736192 1689 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2374 1686 1111 63 0 2311 0
vsize: 9508
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 12233 0 0 0 1954 44 0 0 25 0 1 0 834079954 9736192 1692 4294967295 134512640 134714508 3221224592 3221223240 134542419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2377 1692 1111 63 0 2314 0
vsize: 9508
[startup+30.001 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 20370 0 0 0 2926 72 0 0 25 0 1 0 834079954 10047488 1764 4294967295 134512640 134714508 3221224592 3221222336 1075640226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2453 1764 1111 63 0 2390 0
vsize: 9812
[startup+40.0021 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 27294 0 0 0 3902 96 0 0 25 0 1 0 834079954 10559488 1893 4294967295 134512640 134714508 3221224592 3221222424 1077377470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2578 1893 1111 63 0 2515 0
vsize: 10312
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 33649 0 0 0 4877 121 0 0 25 0 1 0 834079954 11366400 2090 4294967295 134512640 134714508 3221224592 3221222856 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2775 2090 1111 63 0 2712 0
vsize: 11100
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 39441 0 0 0 5858 140 0 0 25 0 1 0 834079954 12115968 2270 4294967295 134512640 134714508 3221224592 3221223136 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2958 2270 1111 63 0 2895 0
vsize: 11832
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 45013 0 0 0 6837 161 0 0 25 0 1 0 834079954 12718080 2423 4294967295 134512640 134714508 3221224592 3221222416 1075823941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3105 2423 1111 63 0 3042 0
vsize: 12420
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 49465 0 0 0 7825 172 0 0 25 0 1 0 834079954 12845056 2454 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3136 2454 1111 63 0 3073 0
vsize: 12544
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 56779 0 0 0 8804 194 0 0 25 0 1 0 834079954 13205504 2542 4294967295 134512640 134714508 3221224592 3221222320 1075828634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3224 2542 1111 63 0 3161 0
vsize: 12896
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 61648 0 0 0 9789 209 0 0 25 0 1 0 834079954 13463552 2603 4294967295 134512640 134714508 3221224592 3221222504 1074138256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3287 2603 1111 63 0 3224 0
vsize: 13148
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 68509 0 0 0 10765 233 0 0 25 0 1 0 834079954 13651968 2651 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3333 2651 1111 63 0 3270 0
vsize: 13332
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 75688 0 0 0 11740 259 0 0 25 0 1 0 834079954 13897728 2712 4294967295 134512640 134714508 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3393 2712 1111 63 0 3330 0
vsize: 13572
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 81821 0 0 0 12720 279 0 0 25 0 1 0 834079954 14409728 2833 4294967295 134512640 134714508 3221224592 3221221696 1074138794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3518 2833 1111 63 0 3455 0
vsize: 14072
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 86296 0 0 0 13705 294 0 0 25 0 1 0 834079954 14761984 2923 4294967295 134512640 134714508 3221224592 3221222240 1075818355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3604 2923 1111 63 0 3541 0
vsize: 14416
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 88957 0 0 0 14693 306 0 0 25 0 1 0 834079954 14913536 2960 4294967295 134512640 134714508 3221224592 3221222416 1075823566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3641 2960 1111 63 0 3578 0
vsize: 14564
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 93375 0 0 0 15680 319 0 0 25 0 1 0 834079954 15171584 3023 4294967295 134512640 134714508 3221224592 3221222768 1073986821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 3023 1111 63 0 3641 0
vsize: 14816
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 99004 0 0 0 16665 335 0 0 25 0 1 0 834079954 15806464 3111 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 3111 1111 63 0 3796 0
vsize: 15436
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 103935 0 0 0 17651 349 0 0 25 0 1 0 834079954 15626240 3134 4294967295 134512640 134714508 3221224592 3221222784 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3815 3134 1111 63 0 3752 0
vsize: 15260
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 110255 0 0 0 18633 367 0 0 25 0 1 0 834079954 15777792 3171 4294967295 134512640 134714508 3221224592 3221222512 1075799535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3852 3171 1111 63 0 3789 0
vsize: 15408
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 118629 0 0 0 19608 392 0 0 25 0 1 0 834079954 16744448 3334 4294967295 134512640 134714508 3221224592 3221220800 1076111669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4088 3334 1111 63 0 4025 0
vsize: 16352
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 126505 0 0 0 20586 415 0 0 25 0 1 0 834079954 16642048 3382 4294967295 134512640 134714508 3221224592 3221222848 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 3382 1111 63 0 4000 0
vsize: 16252
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 133073 0 0 0 21570 431 0 0 25 0 1 0 834079954 16859136 3435 4294967295 134512640 134714508 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4116 3435 1111 63 0 4053 0
vsize: 16464
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 140369 0 0 0 22548 453 0 0 25 0 1 0 834079954 17444864 3578 4294967295 134512640 134714508 3221224592 3221223400 134622412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4259 3578 1111 63 0 4196 0
vsize: 17036
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 146765 0 0 0 23528 474 0 0 25 0 1 0 834079954 18034688 3648 4294967295 134512640 134714508 3221224592 3221221160 1076050876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4403 3648 1111 63 0 4340 0
vsize: 17612
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 153978 0 0 0 24506 496 0 0 25 0 1 0 834079954 18038784 3723 4294967295 134512640 134714508 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3723 1111 63 0 4341 0
vsize: 17616
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 161788 0 0 0 25485 518 0 0 25 0 1 0 834079954 18558976 3839 4294967295 134512640 134714508 3221224592 3221222592 1074918512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4531 3839 1111 63 0 4468 0
vsize: 18124
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 169116 0 0 0 26464 538 0 0 25 0 1 0 834079954 18776064 3903 4294967295 134512640 134714508 3221224592 3221223056 1074120992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3903 1111 63 0 4521 0
vsize: 18336
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 177450 0 0 0 27442 560 0 0 25 0 1 0 834079954 18890752 3931 4294967295 134512640 134714508 3221224592 3221222592 1074918479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4612 3931 1111 63 0 4549 0
vsize: 18448
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 185097 0 0 0 28420 582 0 0 25 0 1 0 834079954 19456000 4054 4294967295 134512640 134714508 3221224592 3221222240 1075817957 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4750 4054 1111 63 0 4687 0
vsize: 19000
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 191756 0 0 0 29402 600 0 0 25 0 1 0 834079954 19648512 4116 4294967295 134512640 134714508 3221224592 3221222872 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4797 4116 1111 63 0 4734 0
vsize: 19188
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 199336 0 0 0 30382 620 0 0 25 0 1 0 834079954 19996672 4200 4294967295 134512640 134714508 3221224592 3221222336 1075636586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 4200 1111 63 0 4819 0
vsize: 19528
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 206434 0 0 0 31362 641 0 0 25 0 1 0 834079954 20971520 4350 4294967295 134512640 134714508 3221224592 3221221104 1075084528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5120 4350 1111 63 0 5057 0
vsize: 20480
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 213295 0 0 0 32340 663 0 0 25 0 1 0 834079954 21090304 4395 4294967295 134512640 134714508 3221224592 3221220592 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5149 4395 1111 63 0 5086 0
vsize: 20596
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 221173 0 0 0 33320 685 0 0 25 0 1 0 834079954 21041152 4456 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5137 4456 1111 63 0 5074 0
vsize: 20548
[startup+350.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 228703 0 0 0 34306 709 0 0 25 0 1 0 834079954 21434368 4552 4294967295 134512640 134714508 3221224592 3221222784 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 4552 1111 63 0 5170 0
vsize: 20932
[startup+360.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 234634 0 0 0 35290 725 0 0 25 0 1 0 834079954 21868544 4658 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5339 4658 1111 63 0 5276 0
vsize: 21356
[startup+370.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 241852 0 0 0 36272 744 0 0 25 0 1 0 834079954 22712320 4793 4294967295 134512640 134714508 3221224592 3221220960 1075894562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5545 4793 1111 63 0 5482 0
vsize: 22180
[startup+380.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 249307 0 0 0 37251 765 0 0 25 0 1 0 834079954 23162880 4874 4294967295 134512640 134714508 3221224592 3221221192 1075850635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5655 4874 1111 63 0 5592 0
vsize: 22620
[startup+390.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 255929 0 0 0 38234 782 0 0 25 0 1 0 834079954 22986752 4931 4294967295 134512640 134714508 3221224592 3221223136 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5612 4931 1111 63 0 5549 0
vsize: 22448
[startup+400.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 262490 0 0 0 39214 802 0 0 25 0 1 0 834079954 23764992 5075 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5851 5079 1111 63 0 5788 0
vsize: 23208
[startup+410.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 267958 0 0 0 40197 819 0 0 25 0 1 0 834079954 23896064 5147 4294967295 134512640 134714508 3221224592 3221222956 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5834 5147 1111 63 0 5771 0
vsize: 23336
[startup+420.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 274884 0 0 0 41179 838 0 0 25 0 1 0 834079954 24072192 5190 4294967295 134512640 134714508 3221224592 3221222800 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5877 5190 1111 63 0 5814 0
vsize: 23508
[startup+430.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 280381 0 0 0 42164 852 0 0 25 0 1 0 834079954 24395776 5269 4294967295 134512640 134714508 3221224592 3221222904 1074146097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5956 5269 1111 63 0 5893 0
vsize: 23824
[startup+440.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 286517 0 0 0 43147 870 0 0 25 0 1 0 834079954 25489408 5453 4294967295 134512640 134714508 3221224592 3221220560 1074872935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6223 5453 1111 63 0 6160 0
vsize: 24892
[startup+450.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 292486 0 0 0 44128 889 0 0 25 0 1 0 834079954 25214976 5457 4294967295 134512640 134714508 3221224592 3221222592 1074918319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 5457 1111 63 0 6093 0
vsize: 24624
[startup+460.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 299330 0 0 0 45107 910 0 0 25 0 1 0 834079954 25542656 5537 4294967295 134512640 134714508 3221224592 3221222416 1075824332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 5537 1111 63 0 6173 0
vsize: 24944
[startup+470.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 306777 0 0 0 46086 931 0 0 25 0 1 0 834079954 25960448 5639 4294967295 134512640 134714508 3221224592 3221222760 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6338 5639 1111 63 0 6275 0
vsize: 25352
[startup+480.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 314786 0 0 0 47064 953 0 0 25 0 1 0 834079954 26853376 5782 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6556 5782 1111 63 0 6493 0
vsize: 26224
[startup+490.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 321588 0 0 0 48049 969 0 0 25 0 1 0 834079954 26738688 5835 4294967295 134512640 134714508 3221224592 3221222320 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6528 5835 1111 63 0 6465 0
vsize: 26112
[startup+500.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 327786 0 0 0 49031 987 0 0 25 0 1 0 834079954 27787264 6098 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6784 6098 1111 63 0 6721 0
vsize: 27136
[startup+510.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 342360 0 0 0 49997 1021 0 0 25 0 1 0 834079954 27377664 5998 4294967295 134512640 134714508 3221224592 3221222320 1075828481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6684 5998 1111 63 0 6621 0
vsize: 26736
[startup+520.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 360263 0 0 0 50956 1062 0 0 25 0 1 0 834079954 27377664 5998 4294967295 134512640 134714508 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6684 5998 1111 63 0 6621 0
vsize: 26736
[startup+530.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 367771 0 0 0 51935 1083 0 0 25 0 1 0 834079954 27693056 6075 4294967295 134512640 134714508 3221224592 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6761 6075 1111 63 0 6698 0
vsize: 27044
[startup+540.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 373442 0 0 0 52920 1098 0 0 25 0 1 0 834079954 27607040 6054 4294967295 134512640 134714508 3221224592 3221222976 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6740 6054 1111 63 0 6677 0
vsize: 26960
[startup+550.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 384365 0 0 0 53893 1125 0 0 25 0 1 0 834079954 28213248 6195 4294967295 134512640 134714508 3221224592 3221222924 1074207648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6888 6195 1111 63 0 6825 0
vsize: 27552
[startup+560.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 394723 0 0 0 54865 1154 0 0 25 0 1 0 834079954 28495872 6264 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6957 6264 1111 63 0 6894 0
vsize: 27828
[startup+570.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 405609 0 0 0 55837 1182 0 0 25 0 1 0 834079954 28979200 6382 4294967295 134512640 134714508 3221224592 3221222832 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7075 6382 1111 63 0 7012 0
vsize: 28300
[startup+580.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 415210 0 0 0 56813 1206 0 0 25 0 1 0 834079954 29577216 6504 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7221 6504 1111 63 0 7158 0
vsize: 28884
[startup+590.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 425846 0 0 0 57786 1233 0 0 25 0 1 0 834079954 29655040 6547 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7240 6547 1111 63 0 7177 0
vsize: 28960
[startup+600.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 436456 0 0 0 58760 1260 0 0 25 0 1 0 834079954 30056448 6647 4294967295 134512640 134714508 3221224592 3221222592 1074918335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7338 6647 1111 63 0 7275 0
vsize: 29352
[startup+610.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 447030 0 0 0 59733 1287 0 0 25 0 1 0 834079954 30371840 6724 4294967295 134512640 134714508 3221224592 3221223176 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7415 6724 1111 63 0 7352 0
vsize: 29660
[startup+620.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 458112 0 0 0 60705 1315 0 0 25 0 1 0 834079954 31813632 6887 4294967295 134512640 134714508 3221224592 3221220864 1074804590 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7767 6887 1111 63 0 7704 0
vsize: 31068
[startup+630.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 470488 0 0 0 61673 1347 0 0 25 0 1 0 834079954 31199232 6926 4294967295 134512640 134714508 3221224592 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7617 6926 1111 63 0 7554 0
vsize: 30468
[startup+640.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 481627 0 0 0 62645 1375 0 0 25 0 1 0 834079954 32657408 7078 4294967295 134512640 134714508 3221224592 3221221512 1074950096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7973 7078 1111 63 0 7910 0
vsize: 31892
[startup+650.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 492303 0 0 0 63617 1403 0 0 25 0 1 0 834079954 32407552 7207 4294967295 134512640 134714508 3221224592 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7912 7207 1111 63 0 7849 0
vsize: 31648
[startup+660.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 503974 0 0 0 64588 1433 0 0 25 0 1 0 834079954 32661504 7269 4294967295 134512640 134714508 3221224592 3221222928 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 7269 1111 63 0 7911 0
vsize: 31896
[startup+670.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 515046 0 0 0 65560 1461 0 0 25 0 1 0 834079954 34299904 7517 4294967295 134512640 134714508 3221224592 3221220476 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8374 7517 1111 63 0 8311 0
vsize: 33496
[startup+680.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 523038 0 0 0 66539 1482 0 0 25 0 1 0 834079954 35061760 7701 4294967295 134512640 134714508 3221224592 3221220864 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 7701 1111 63 0 8497 0
vsize: 34240
[startup+690.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 534057 0 0 0 67511 1510 0 0 25 0 1 0 834079954 35106816 7653 4294967295 134512640 134714508 3221224592 3221221360 1076083512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8571 7653 1111 63 0 8508 0
vsize: 34284
[startup+700.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 543736 0 0 0 68486 1536 0 0 25 0 1 0 834079954 34549760 7728 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8435 7728 1111 63 0 8372 0
vsize: 33740
[startup+710.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 552435 0 0 0 69464 1558 0 0 25 0 1 0 834079954 35745792 7863 4294967295 134512640 134714508 3221224592 3221221132 1075132864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8727 7863 1111 63 0 8664 0
vsize: 34908
[startup+720.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 560867 0 0 0 70440 1582 0 0 25 0 1 0 834079954 36294656 8008 4294967295 134512640 134714508 3221224592 3221220736 1074969440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8861 8008 1111 63 0 8798 0
vsize: 35444
[startup+730.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 569259 0 0 0 71418 1605 0 0 25 0 1 0 834079954 35377152 7931 4294967295 134512640 134714508 3221224592 3221222592 1074918237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8637 7931 1111 63 0 8574 0
vsize: 34548
[startup+740.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 579974 0 0 0 72392 1630 0 0 25 0 1 0 834079954 35512320 7968 4294967295 134512640 134714508 3221224592 3221222408 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8670 7968 1111 63 0 8607 0
vsize: 34680
[startup+750.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 589678 0 0 0 73367 1655 0 0 25 0 1 0 834079954 36737024 8048 4294967295 134512640 134714508 3221224592 3221221632 1075971389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8969 8052 1111 63 0 8906 0
vsize: 35876
[startup+760.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 601775 0 0 0 74336 1687 0 0 25 0 1 0 834079954 37011456 8117 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 8128 1111 63 0 8973 0
vsize: 36144
[startup+770.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 613549 0 0 0 75306 1717 0 0 25 0 1 0 834079954 36421632 8190 4294967295 134512640 134714508 3221224592 3221222872 1074063729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8892 8190 1111 63 0 8829 0
vsize: 35568
[startup+780.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 624421 0 0 0 76280 1744 0 0 25 0 1 0 834079954 36659200 8250 4294967295 134512640 134714508 3221224592 3221222320 1075828466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8950 8250 1111 63 0 8887 0
vsize: 35800
[startup+790.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 633512 0 0 0 77256 1768 0 0 25 0 1 0 834079954 36978688 8328 4294967295 134512640 134714508 3221224592 3221222592 1074918285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9028 8328 1111 63 0 8965 0
vsize: 36112
[startup+800.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 643101 0 0 0 78231 1792 0 0 25 0 1 0 834079954 37355520 8420 4294967295 134512640 134714508 3221224592 3221222924 1074152851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9120 8420 1111 63 0 9057 0
vsize: 36480
[startup+810.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 652227 0 0 0 79207 1817 0 0 25 0 1 0 834079954 38588416 8568 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9421 8568 1111 63 0 9358 0
vsize: 37684
[startup+820.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 661198 0 0 0 80185 1840 0 0 25 0 1 0 834079954 37847040 8540 4294967295 134512640 134714508 3221224592 3221222928 1074153726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9240 8540 1111 63 0 9177 0
vsize: 36960
[startup+830.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 670717 0 0 0 81161 1864 0 0 25 0 1 0 834079954 39235584 8711 4294967295 134512640 134714508 3221224592 3221221584 1075338810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9579 8711 1111 63 0 9516 0
vsize: 38316
[startup+840.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 681370 0 0 0 82135 1890 0 0 25 0 1 0 834079954 38412288 8674 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9378 8674 1111 63 0 9315 0
vsize: 37512
[startup+850.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 691631 0 0 0 83108 1916 0 0 25 0 1 0 834079954 40026112 8832 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9772 8832 1111 63 0 9709 0
vsize: 39088
[startup+860.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 699899 0 0 0 84088 1937 0 0 25 0 1 0 834079954 40132608 8907 4294967295 134512640 134714508 3221224592 3221220960 1075894549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9798 8907 1111 63 0 9735 0
vsize: 39192
[startup+870.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 710317 0 0 0 85063 1962 0 0 25 0 1 0 834079954 40394752 8992 4294967295 134512640 134714508 3221224592 3221220556 1074860611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9862 8992 1111 63 0 9799 0
vsize: 39448
[startup+880.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 720126 0 0 0 86039 1987 0 0 25 0 1 0 834079954 39723008 8976 4294967295 134512640 134714508 3221224592 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9698 8976 1111 63 0 9635 0
vsize: 38792
[startup+890.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 731325 0 0 0 87011 2015 0 0 25 0 1 0 834079954 41041920 9120 4294967295 134512640 134714508 3221224592 3221220864 1075895158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10020 9120 1111 63 0 9957 0
vsize: 40080
[startup+900.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 740164 0 0 0 87989 2038 0 0 25 0 1 0 834079954 41316352 9208 4294967295 134512640 134714508 3221224592 3221220800 1074815491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10087 9208 1111 63 0 10024 0
vsize: 40348
[startup+910.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 748950 0 0 0 88965 2062 0 0 25 0 1 0 834079954 41410560 9221 4294967295 134512640 134714508 3221224592 3221220976 1074972325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10110 9221 1111 63 0 10047 0
vsize: 40440
[startup+920.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 758479 0 0 0 89942 2085 0 0 25 0 1 0 834079954 40820736 9244 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9966 9244 1111 63 0 9903 0
vsize: 39864
[startup+930.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 767639 0 0 0 90919 2108 0 0 25 0 1 0 834079954 41000960 9288 4294967295 134512640 134714508 3221224592 3221223240 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10010 9288 1111 63 0 9947 0
vsize: 40040
[startup+940.176 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 777004 0 0 0 91896 2132 0 0 25 0 1 0 834079954 41406464 9387 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10109 9387 1111 63 0 10046 0
vsize: 40436
[startup+950.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 786111 0 0 0 92871 2158 0 0 25 0 1 0 834079954 41598976 9434 4294967295 134512640 134714508 3221224592 3221221784 1074138256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10379 9440 1111 63 0 10316 0
vsize: 40624
[startup+960.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 795822 0 0 0 93846 2184 0 0 25 0 1 0 834079954 41885696 9485 4294967295 134512640 134714508 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10226 9485 1111 63 0 10163 0
vsize: 40904
[startup+970.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 803793 0 0 0 94825 2204 0 0 25 0 1 0 834079954 41877504 9502 4294967295 134512640 134714508 3221224592 3221222592 1074917173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10224 9502 1111 63 0 10161 0
vsize: 40896
[startup+980.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 812544 0 0 0 95804 2226 0 0 25 0 1 0 834079954 42004480 9533 4294967295 134512640 134714508 3221224592 3221222396 1073978416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10255 9533 1111 63 0 10192 0
vsize: 41020
[startup+990.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 821254 0 0 0 96781 2249 0 0 25 0 1 0 834079954 42319872 9610 4294967295 134512640 134714508 3221224592 3221222320 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10332 9610 1111 63 0 10269 0
vsize: 41328
[startup+1000.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 830122 0 0 0 97758 2272 0 0 25 0 1 0 834079954 42659840 9693 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10415 9693 1111 63 0 10352 0
vsize: 41660
[startup+1010.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 839156 0 0 0 98735 2295 0 0 25 0 1 0 834079954 43634688 9773 4294967295 134512640 134714508 3221224592 3221220692 1075964296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10653 9773 1111 63 0 10590 0
vsize: 42612
[startup+1020.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 848225 0 0 0 99712 2318 0 0 25 0 1 0 834079954 42909696 9754 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10476 9754 1111 63 0 10413 0
vsize: 41904
[startup+1030.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 857243 0 0 0 100691 2340 0 0 25 0 1 0 834079954 42991616 9774 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10496 9774 1111 63 0 10433 0
vsize: 41984
[startup+1040.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 866680 0 0 0 101667 2364 0 0 25 0 1 0 834079954 44834816 10046 4294967295 134512640 134714508 3221224592 3221220864 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10946 10046 1111 63 0 10883 0
vsize: 43784
[startup+1050.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 873300 0 0 0 102650 2381 0 0 25 0 1 0 834079954 44064768 10009 4294967295 134512640 134714508 3221224592 3221222944 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10758 10009 1111 63 0 10695 0
vsize: 43032
[startup+1060.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 881758 0 0 0 103628 2403 0 0 25 0 1 0 834079954 44339200 10080 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 10080 1111 63 0 10762 0
vsize: 43300
[startup+1070.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 889591 0 0 0 104609 2423 0 0 25 0 1 0 834079954 45420544 10181 4294967295 134512640 134714508 3221224592 3221220736 1074969440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11089 10181 1111 63 0 11026 0
vsize: 44356
[startup+1080.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 896447 0 0 0 105591 2441 0 0 25 0 1 0 834079954 44642304 10154 4294967295 134512640 134714508 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10899 10154 1111 63 0 10836 0
vsize: 43596
[startup+1090.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 902461 0 0 0 106576 2456 0 0 25 0 1 0 834079954 46551040 10536 4294967295 134512640 134714508 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11365 10536 1111 63 0 11302 0
vsize: 45460
[startup+1100.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 911124 0 0 0 107556 2476 0 0 25 0 1 0 834079954 44843008 10203 4294967295 134512640 134714508 3221224592 3221222696 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10948 10203 1111 63 0 10885 0
vsize: 43792
[startup+1110.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 920543 0 0 0 108533 2500 0 0 25 0 1 0 834079954 46493696 10416 4294967295 134512640 134714508 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11351 10416 1111 63 0 11288 0
vsize: 45404
[startup+1120.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 930849 0 0 0 109505 2527 0 0 25 0 1 0 834079954 46682112 10468 4294967295 134512640 134714508 3221224592 3221220864 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11397 10468 1111 63 0 11334 0
vsize: 45588
[startup+1130.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 940120 0 0 0 110481 2552 0 0 25 0 1 0 834079954 47075328 10509 4294967295 134512640 134714508 3221224592 3221221192 1075850815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11493 10509 1111 63 0 11430 0
vsize: 45972
[startup+1140.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 949509 0 0 0 111458 2575 0 0 25 0 1 0 834079954 46751744 10645 4294967295 134512640 134714508 3221224592 3221222280 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11414 10645 1111 63 0 11351 0
vsize: 45656
[startup+1150.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 959402 0 0 0 112437 2596 0 0 25 0 1 0 834079954 46944256 10695 4294967295 134512640 134714508 3221224592 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11461 10695 1111 63 0 11398 0
vsize: 45844
[startup+1160.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 969719 0 0 0 113413 2621 0 0 25 0 1 0 834079954 47288320 10782 4294967295 134512640 134714508 3221224592 3221222784 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11545 10782 1111 63 0 11482 0
vsize: 46180
[startup+1170.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 979815 0 0 0 114388 2645 0 0 25 0 1 0 834079954 47558656 10848 4294967295 134512640 134714508 3221224592 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11611 10848 1111 63 0 11548 0
vsize: 46444
[startup+1174.89 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 16276
Raw data (stat): 16276 (bsolo_lpr) R 16275 10795 10794 0 -1 0 979815 0 0 0 114388 2645 0 0 25 0 1 0 834079954 47558656 10848 4294967295 134512640 134714508 3221224592 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11611 10848 1111 63 0 11548 0
vsize: 0

Child status: 10
Real time (s): 1174.89
CPU time (s): 1175.04
CPU user time (s): 1148.47
CPU system time (s): 26.574
CPU usage (%): 100.013
Max. virtual memory (Kb): 46444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####