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 25997

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 18:54:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16160 boxname=wulflinc31 idbench=1244 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  36d973d6ac0a73f611c4998ee3e157d3  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc50b.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc50b.opb
IDLAUNCH: 16160
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        782316 kB
Buffers:         28688 kB
Cached:         201096 kB
SwapCached:        940 kB
Active:         165752 kB
Inactive:        66152 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        782064 kB
SwapTotal:     2097892 kB
SwapFree:      2095924 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14828 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 19:13:40 (client local time) WITH STATUS 10 IN 1175.1 SECONDS
stats: 16160 0 1175.1 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.359 s
c Initial Lower Bound: -8960
c Lower Bound Elapsed time: 0.102
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 0 @ 3.196
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.07 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.92 0.95 0.90 2/55 13806
Raw data (stat): 13806 (runsolver) R 13805 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 823892943 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 6852 0 0 0 973 23 0 0 25 0 1 0 823892943 9773056 1696 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2386 1696 1111 63 0 2323 0
vsize: 9544
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 10622 0 0 0 1960 36 0 0 25 0 1 0 823892943 10137600 1787 4294967295 134512640 134714508 3221221776 3221219936 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2475 1787 1111 63 0 2412 0
vsize: 9900
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 13035 0 0 0 2950 46 0 0 25 0 1 0 823892943 10743808 1886 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2623 1887 1111 63 0 2560 0
vsize: 10492
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 16035 0 0 0 3938 58 0 0 25 0 1 0 823892943 10956800 1939 4294967295 134512640 134714508 3221221776 3221218760 1074831591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2675 1939 1111 63 0 2612 0
vsize: 10700
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 18464 0 0 0 4929 67 0 0 25 0 1 0 823892943 10948608 1972 4294967295 134512640 134714508 3221221776 3221219696 1075799488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2673 1972 1111 63 0 2610 0
vsize: 10692
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 22553 0 0 0 5918 78 0 0 25 0 1 0 823892943 10903552 1977 4294967295 134512640 134714508 3221221776 3221219968 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2662 1977 1111 63 0 2599 0
vsize: 10648
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 24997 0 0 0 6910 86 0 0 25 0 1 0 823892943 10997760 2001 4294967295 134512640 134714508 3221221776 3221219776 1074916715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2685 2001 1111 63 0 2622 0
vsize: 10740
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 29087 0 0 0 7898 99 0 0 25 0 1 0 823892943 11214848 2054 4294967295 134512640 134714508 3221221776 3221218968 1074138294 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2813 2059 1111 63 0 2750 0
vsize: 10952
[startup+90.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 33984 0 0 0 8883 114 0 0 25 0 1 0 823892943 11239424 2058 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2744 2058 1111 63 0 2681 0
vsize: 10976
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 38341 0 0 0 9872 125 0 0 25 0 1 0 823892943 11436032 2096 4294967295 134512640 134714508 3221221776 3221220140 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2792 2096 1111 63 0 2729 0
vsize: 11168
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 43052 0 0 0 10859 138 0 0 25 0 1 0 823892943 11902976 2152 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2906 2153 1111 63 0 2843 0
vsize: 11624
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 46887 0 0 0 11848 150 0 0 25 0 1 0 823892943 11812864 2201 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2884 2201 1111 63 0 2821 0
vsize: 11536
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 50157 0 0 0 12838 160 0 0 25 0 1 0 823892943 11632640 2157 4294967295 134512640 134714508 3221221776 3221219920 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2840 2157 1111 63 0 2777 0
vsize: 11360
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 54767 0 0 0 13826 171 0 0 25 0 1 0 823892943 11739136 2171 4294967295 134512640 134714508 3221221776 3221218832 1074138803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2866 2171 1111 63 0 2803 0
vsize: 11464
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 60751 0 0 0 14810 188 0 0 25 0 1 0 823892943 12046336 2260 4294967295 134512640 134714508 3221221776 3221219792 1074153783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2941 2260 1111 63 0 2878 0
vsize: 11764
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 65571 0 0 0 15796 203 0 0 25 0 1 0 823892943 12214272 2291 4294967295 134512640 134714508 3221221776 3221219920 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2982 2291 1111 63 0 2919 0
vsize: 11928
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 70306 0 0 0 16782 216 0 0 25 0 1 0 823892943 12136448 2282 4294967295 134512640 134714508 3221221776 3221219612 1077404777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2963 2282 1111 63 0 2900 0
vsize: 11852
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 75515 0 0 0 17766 233 0 0 25 0 1 0 823892943 12165120 2289 4294967295 134512640 134714508 3221221776 3221219888 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2289 1111 63 0 2907 0
vsize: 11880
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 80678 0 0 0 18752 246 0 0 25 0 1 0 823892943 12095488 2272 4294967295 134512640 134714508 3221221776 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2953 2272 1111 63 0 2890 0
vsize: 11812
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 85629 0 0 0 19739 260 0 0 25 0 1 0 823892943 12234752 2303 4294967295 134512640 134714508 3221221776 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2987 2303 1111 63 0 2924 0
vsize: 11948
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 89358 0 0 0 20727 272 0 0 25 0 1 0 823892943 12234752 2303 4294967295 134512640 134714508 3221221776 3221219776 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2987 2303 1111 63 0 2924 0
vsize: 11948
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 93694 0 0 0 21716 283 0 0 25 0 1 0 823892943 12259328 2312 4294967295 134512640 134714508 3221221776 3221219840 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2993 2312 1111 63 0 2930 0
vsize: 11972
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 98363 0 0 0 22703 296 0 0 25 0 1 0 823892943 12328960 2329 4294967295 134512640 134714508 3221221776 3221220180 1077374560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3010 2329 1111 63 0 2947 0
vsize: 12040
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 101588 0 0 0 23694 305 0 0 25 0 1 0 823892943 12320768 2327 4294967295 134512640 134714508 3221221776 3221218896 1074865658 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3008 2327 1111 63 0 2945 0
vsize: 12032
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 104076 0 0 0 24686 314 0 0 25 0 1 0 823892943 12320768 2327 4294967295 134512640 134714508 3221221776 3221219960 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3008 2327 1111 63 0 2945 0
vsize: 12032
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 107312 0 0 0 25676 324 0 0 25 0 1 0 823892943 12320768 2327 4294967295 134512640 134714508 3221221776 3221219976 1077378191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3008 2327 1111 63 0 2945 0
vsize: 12032
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 112411 0 0 0 26661 339 0 0 25 0 1 0 823892943 12824576 2373 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2377 1111 63 0 3068 0
vsize: 12524
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 117529 0 0 0 27646 354 0 0 25 0 1 0 823892943 12525568 2370 4294967295 134512640 134714508 3221221776 3221219776 1074918347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3058 2370 1111 63 0 2995 0
vsize: 12232
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 122780 0 0 0 28631 370 0 0 25 0 1 0 823892943 12668928 2376 4294967295 134512640 134714508 3221221776 3221219888 1074867274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3093 2376 1111 63 0 3030 0
vsize: 12372
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 127793 0 0 0 29615 386 0 0 25 0 1 0 823892943 12480512 2366 4294967295 134512640 134714508 3221221776 3221219696 1075802488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3047 2366 1111 63 0 2984 0
vsize: 12188
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 133164 0 0 0 30599 401 0 0 25 0 1 0 823892943 12480512 2365 4294967295 134512640 134714508 3221221776 3221219504 1075828615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3047 2365 1111 63 0 2984 0
vsize: 12188
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 138761 0 0 0 31583 418 0 0 25 0 1 0 823892943 12591104 2393 4294967295 134512640 134714508 3221221776 3221219984 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3074 2393 1111 63 0 3011 0
vsize: 12296
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 144100 0 0 0 32569 432 0 0 25 0 1 0 823892943 12595200 2394 4294967295 134512640 134714508 3221221776 3221219352 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3071 2390 1111 63 0 3008 0
vsize: 12300
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 149331 0 0 0 33552 449 0 0 25 0 1 0 823892943 12718080 2421 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 2421 1111 63 0 3042 0
vsize: 12420
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13806
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 154342 0 0 0 34539 463 0 0 25 0 1 0 823892943 12718080 2424 4294967295 134512640 134714508 3221221776 3221219692 1077377434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 2424 1111 63 0 3042 0
vsize: 12420
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 13809
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 159723 0 0 0 35519 483 0 0 25 0 1 0 823892943 13189120 2474 4294967295 134512640 134714508 3221221776 3221217752 1074788005 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3220 2474 1111 63 0 3157 0
vsize: 12880
[startup+370.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 13859
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 165276 0 0 0 36500 501 0 0 25 0 1 0 823892943 12943360 2478 4294967295 134512640 134714508 3221221776 3221220108 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3160 2478 1111 63 0 3097 0
vsize: 12640
[startup+380.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 13859
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 169534 0 0 0 37488 514 0 0 25 0 1 0 823892943 13340672 2509 4294967295 134512640 134714508 3221221776 3221217936 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3257 2509 1111 63 0 3194 0
vsize: 13028
[startup+390.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 13859
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 173092 0 0 0 38477 524 0 0 25 0 1 0 823892943 13021184 2498 4294967295 134512640 134714508 3221221776 3221219744 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3179 2498 1111 63 0 3116 0
vsize: 12716
[startup+400.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 13859
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 177221 0 0 0 39465 537 0 0 25 0 1 0 823892943 13316096 2503 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3251 2503 1111 63 0 3188 0
vsize: 13004
[startup+410.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 13859
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 180864 0 0 0 40455 548 0 0 25 0 1 0 823892943 13017088 2497 4294967295 134512640 134714508 3221221776 3221219968 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3178 2497 1111 63 0 3115 0
vsize: 12712
[startup+420.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 13859
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 185128 0 0 0 41443 559 0 0 25 0 1 0 823892943 13017088 2495 4294967295 134512640 134714508 3221221776 3221219984 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3178 2495 1111 63 0 3115 0
vsize: 12712
[startup+430.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 13859
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 189269 0 0 0 42433 570 0 0 25 0 1 0 823892943 12992512 2491 4294967295 134512640 134714508 3221221776 3221219600 1075823398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3172 2491 1111 63 0 3109 0
vsize: 12688
[startup+440.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 194026 0 0 0 43417 586 0 0 25 0 1 0 823892943 13012992 2496 4294967295 134512640 134714508 3221221776 3221219632 1075799758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3177 2496 1111 63 0 3114 0
vsize: 12708
[startup+450.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 198910 0 0 0 44403 600 0 0 25 0 1 0 823892943 13279232 2495 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3242 2496 1111 63 0 3179 0
vsize: 12968
[startup+460.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 203847 0 0 0 45391 612 0 0 25 0 1 0 823892943 12992512 2491 4294967295 134512640 134714508 3221221776 3221220224 134650190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3172 2491 1111 63 0 3109 0
vsize: 12688
[startup+470.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 208253 0 0 0 46377 626 0 0 25 0 1 0 823892943 12992512 2491 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3172 2491 1111 63 0 3109 0
vsize: 12688
[startup+480.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 212879 0 0 0 47366 638 0 0 25 0 1 0 823892943 12992512 2491 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3172 2491 1111 63 0 3109 0
vsize: 12688
[startup+490.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 217391 0 0 0 48353 651 0 0 25 0 1 0 823892943 12992512 2491 4294967295 134512640 134714508 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3172 2491 1111 63 0 3109 0
vsize: 12688
[startup+500.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 222276 0 0 0 49339 665 0 0 25 0 1 0 823892943 12992512 2491 4294967295 134512640 134714508 3221221776 3221219512 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3172 2491 1111 63 0 3109 0
vsize: 12688
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 227575 0 0 0 50323 681 0 0 25 0 1 0 823892943 13291520 2512 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3245 2512 1111 63 0 3182 0
vsize: 12980
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 233196 0 0 0 51307 697 0 0 25 0 1 0 823892943 13041664 2497 4294967295 134512640 134714508 3221221776 3221219432 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2497 1111 63 0 3121 0
vsize: 12736
[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 239206 0 0 0 52291 713 0 0 25 0 1 0 823892943 13328384 2520 4294967295 134512640 134714508 3221221776 3221218040 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2520 1111 63 0 3191 0
vsize: 13016
[startup+540.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 245348 0 0 0 53273 732 0 0 25 0 1 0 823892943 13045760 2501 4294967295 134512640 134714508 3221221776 3221219424 1074247426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2501 1111 63 0 3122 0
vsize: 12740
[startup+550.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 251385 0 0 0 54255 750 0 0 25 0 1 0 823892943 13418496 2522 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2522 1111 63 0 3213 0
vsize: 13104
[startup+560.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 257413 0 0 0 55238 768 0 0 25 0 1 0 823892943 13340672 2523 4294967295 134512640 134714508 3221221776 3221218096 1075171671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3257 2523 1111 63 0 3194 0
vsize: 13028
[startup+570.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 263067 0 0 0 56221 784 0 0 25 0 1 0 823892943 13361152 2534 4294967295 134512640 134714508 3221221776 3221218352 1076050296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2534 1111 63 0 3199 0
vsize: 13048
[startup+580.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 268734 0 0 0 57205 800 0 0 25 0 1 0 823892943 13070336 2511 4294967295 134512640 134714508 3221221776 3221220128 1074142880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3191 2511 1111 63 0 3128 0
vsize: 12764
[startup+590.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 273703 0 0 0 58191 815 0 0 25 0 1 0 823892943 13660160 2589 4294967295 134512640 134714508 3221221776 3221218696 1074950119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3335 2589 1111 63 0 3272 0
vsize: 13340
[startup+600.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 278206 0 0 0 59177 829 0 0 25 0 1 0 823892943 13361152 2582 4294967295 134512640 134714508 3221221776 3221219632 1075460154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2582 1111 63 0 3199 0
vsize: 13048
[startup+610.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 282509 0 0 0 60165 842 0 0 25 0 1 0 823892943 13361152 2582 4294967295 134512640 134714508 3221221776 3221219632 1075460113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2582 1111 63 0 3199 0
vsize: 13048
[startup+620.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 287035 0 0 0 61152 855 0 0 25 0 1 0 823892943 13385728 2588 4294967295 134512640 134714508 3221221776 3221220176 1074119057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3268 2588 1111 63 0 3205 0
vsize: 13072
[startup+630.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 290769 0 0 0 62141 866 0 0 25 0 1 0 823892943 13766656 2614 4294967295 134512640 134714508 3221221776 3221217820 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3361 2614 1111 63 0 3298 0
vsize: 13444
[startup+640.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 294052 0 0 0 63130 877 0 0 25 0 1 0 823892943 13787136 2619 4294967295 134512640 134714508 3221221776 3221218064 1075114279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2619 1111 63 0 3303 0
vsize: 13464
[startup+650.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 297180 0 0 0 64117 890 0 0 25 0 1 0 823892943 13729792 2603 4294967295 134512640 134714508 3221221776 3221218836 1074617732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3352 2603 1111 63 0 3289 0
vsize: 13408
[startup+660.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 301644 0 0 0 65105 902 0 0 25 0 1 0 823892943 13844480 2635 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3380 2635 1111 63 0 3317 0
vsize: 13520
[startup+670.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 304789 0 0 0 66095 912 0 0 25 0 1 0 823892943 13512704 2619 4294967295 134512640 134714508 3221221776 3221219656 1077378337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3299 2619 1111 63 0 3236 0
vsize: 13196
[startup+680.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 308709 0 0 0 67084 924 0 0 25 0 1 0 823892943 13918208 2650 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3398 2652 1111 63 0 3335 0
vsize: 13592
[startup+690.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13861
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 311634 0 0 0 68072 935 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219728 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+700.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 314208 0 0 0 69064 944 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219424 1075818298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+710.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 316005 0 0 0 70058 950 0 0 25 0 1 0 823892943 13787136 2652 4294967295 134512640 134714508 3221221776 3221218000 1074961496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2652 1111 63 0 3303 0
vsize: 13464
[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 317413 0 0 0 71052 957 0 0 25 0 1 0 823892943 13778944 2651 4294967295 134512640 134714508 3221221776 3221218308 1074260642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2651 1111 63 0 3301 0
vsize: 13456
[startup+730.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 318761 0 0 0 72046 963 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+740.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 320061 0 0 0 73041 968 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221219696 1075799682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 321436 0 0 0 74036 973 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219936 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+760.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 322743 0 0 0 75031 979 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221219696 1075799560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+770.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 324027 0 0 0 76025 984 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221219600 1075823496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+780.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 325360 0 0 0 77021 989 0 0 25 0 1 0 823892943 13787136 2652 4294967295 134512640 134714508 3221221776 3221217584 1074870938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2652 1111 63 0 3303 0
vsize: 13464
[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 326710 0 0 0 78016 994 0 0 25 0 1 0 823892943 13791232 2653 4294967295 134512640 134714508 3221221776 3221217920 1074969669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3367 2653 1111 63 0 3304 0
vsize: 13468
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 328261 0 0 0 79009 1001 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221220448 134650233 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 330479 0 0 0 80002 1009 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+820.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 333016 0 0 0 80993 1018 0 0 25 0 1 0 823892943 13938688 2658 4294967295 134512640 134714508 3221221776 3221217780 1074875737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3403 2658 1111 63 0 3340 0
vsize: 13612
[startup+830.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 334987 0 0 0 81987 1024 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219504 1075828211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 337054 0 0 0 82977 1033 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221219072 1074839043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 338464 0 0 0 83972 1039 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 340096 0 0 0 84968 1043 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221220128 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+870.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 341600 0 0 0 85962 1050 0 0 25 0 1 0 823892943 13778944 2650 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2650 1111 63 0 3301 0
vsize: 13456
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 343004 0 0 0 86957 1055 0 0 25 0 1 0 823892943 13791232 2655 4294967295 134512640 134714508 3221221776 3221217776 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3367 2655 1111 63 0 3304 0
vsize: 13468
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 344822 0 0 0 87951 1060 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219888 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+900.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 346722 0 0 0 88946 1066 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219056 1074140032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 348670 0 0 0 89939 1073 0 0 25 0 1 0 823892943 13787136 2651 4294967295 134512640 134714508 3221221776 3221217820 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2651 1111 63 0 3303 0
vsize: 13464
[startup+920.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 350509 0 0 0 90933 1080 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221219904 134650472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+930.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 352282 0 0 0 91927 1085 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221219888 1074867283 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+940.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 353682 0 0 0 92922 1091 0 0 25 0 1 0 823892943 13778944 2651 4294967295 134512640 134714508 3221221776 3221218720 1074620308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2651 1111 63 0 3301 0
vsize: 13456
[startup+950.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 355030 0 0 0 93916 1097 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221219576 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+960.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 356470 0 0 0 94910 1103 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219728 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+970.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 358008 0 0 0 95903 1110 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221218888 1077378064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+980.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 359710 0 0 0 96896 1118 0 0 25 0 1 0 823892943 13787136 2649 4294967295 134512640 134714508 3221221776 3221218716 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2649 1111 63 0 3303 0
vsize: 13464
[startup+990.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 361706 0 0 0 97889 1125 0 0 25 0 1 0 823892943 13938688 2654 4294967295 134512640 134714508 3221221776 3221218816 1075971264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3403 2654 1111 63 0 3340 0
vsize: 13612
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 364445 0 0 0 98880 1134 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219832 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 367534 0 0 0 99871 1143 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219696 1075799732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 370474 0 0 0 100861 1153 0 0 25 0 1 0 823892943 13627392 2647 4294967295 134512640 134714508 3221221776 3221219240 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2647 1111 63 0 3264 0
vsize: 13308
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 373699 0 0 0 101852 1163 0 0 25 0 1 0 823892943 13639680 2650 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2650 1111 63 0 3267 0
vsize: 13320
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 377425 0 0 0 102840 1174 0 0 25 0 1 0 823892943 13975552 2676 4294967295 134512640 134714508 3221221776 3221217920 1074969685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2676 1111 63 0 3349 0
vsize: 13648
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 381995 0 0 0 103829 1186 0 0 25 0 1 0 823892943 13664256 2653 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3336 2653 1111 63 0 3273 0
vsize: 13344
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 387195 0 0 0 104816 1199 0 0 25 0 1 0 823892943 14065664 2693 4294967295 134512640 134714508 3221221776 3221218112 1075114279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3434 2693 1111 63 0 3371 0
vsize: 13736
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 391721 0 0 0 105804 1212 0 0 25 0 1 0 823892943 13983744 2734 4294967295 134512640 134714508 3221221776 3221219776 1074916565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3414 2734 1111 63 0 3351 0
vsize: 13656
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 394757 0 0 0 106795 1221 0 0 25 0 1 0 823892943 13983744 2734 4294967295 134512640 134714508 3221221776 3221219888 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3414 2734 1111 63 0 3351 0
vsize: 13656
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 398216 0 0 0 107784 1232 0 0 25 0 1 0 823892943 13975552 2732 4294967295 134512640 134714508 3221221776 3221219808 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2732 1111 63 0 3349 0
vsize: 13648
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 402259 0 0 0 108773 1243 0 0 25 0 1 0 823892943 14000128 2738 4294967295 134512640 134714508 3221221776 3221219584 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2738 1111 63 0 3355 0
vsize: 13672
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 406432 0 0 0 109761 1255 0 0 25 0 1 0 823892943 14065664 2754 4294967295 134512640 134714508 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3434 2754 1111 63 0 3371 0
vsize: 13736
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 410692 0 0 0 110750 1266 0 0 25 0 1 0 823892943 14295040 2746 4294967295 134512640 134714508 3221221776 3221217780 1074875808 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2746 1111 63 0 3427 0
vsize: 13960
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 414694 0 0 0 111738 1278 0 0 25 0 1 0 823892943 14098432 2762 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2762 1111 63 0 3379 0
vsize: 13768
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 419274 0 0 0 112726 1290 0 0 25 0 1 0 823892943 14553088 2783 4294967295 134512640 134714508 3221221776 3221218816 1075860487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2783 1111 63 0 3490 0
vsize: 14212
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 423508 0 0 0 113714 1303 0 0 25 0 1 0 823892943 14925824 2931 4294967295 134512640 134714508 3221221776 3221219520 1075645388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3644 2931 1111 63 0 3581 0
vsize: 14576
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 427672 0 0 0 114702 1315 0 0 25 0 1 0 823892943 14741504 2830 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3599 2832 1111 63 0 3536 0
vsize: 14396
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 430320 0 0 0 115693 1324 0 0 25 0 1 0 823892943 14319616 2816 4294967295 134512640 134714508 3221221776 3221219008 1075552839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2816 1111 63 0 3433 0
vsize: 13984
[startup+1174.96 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 13863
Raw data (stat): 13806 (bsolo_lpr) R 13805 7876 7672 0 -1 0 430320 0 0 0 115693 1324 0 0 25 0 1 0 823892943 14319616 2816 4294967295 134512640 134714508 3221221776 3221219008 1075552839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2816 1111 63 0 3433 0
vsize: 0

Child status: 10
Real time (s): 1174.96
CPU time (s): 1175.1
CPU user time (s): 1161.78
CPU system time (s): 13.314
CPU usage (%): 100.011
Max. virtual memory (Kb): 14576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####