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 39080

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:         55240 kB
Buffers:         35436 kB
Cached:         921708 kB
SwapCached:        568 kB
Active:          61900 kB
Inactive:       897356 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:         54988 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14556 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 20:14:18 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27116 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sc50b.opb
c #variables read: 960 - #constraints read: 69
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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.62 0.68 0.79 2/54 20817
Raw data (stat): 20817 (runsolver) R 20816 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852455988 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.68 0.69 0.79 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 367 0 0 0 997 2 0 0 25 0 1 0 852455988 7102464 341 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1734 341 566 18 0 1716 0
vsize: 6936
[startup+20.0023 s]
Raw data (loadavg): 0.73 0.70 0.79 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 469 0 0 0 1991 8 0 0 25 0 1 0 852455988 7499776 443 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1831 443 566 18 0 1813 0
vsize: 7324
[startup+30.0025 s]
Raw data (loadavg): 0.77 0.71 0.79 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 484 0 0 0 2986 13 0 0 25 0 1 0 852455988 7614464 458 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 458 566 18 0 1841 0
vsize: 7436
[startup+40.0027 s]
Raw data (loadavg): 0.81 0.72 0.79 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 489 0 0 0 3982 17 0 0 25 0 1 0 852455988 7614464 463 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 463 566 18 0 1841 0
vsize: 7436
[startup+50.0026 s]
Raw data (loadavg): 0.84 0.73 0.80 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 489 0 0 0 4978 21 0 0 25 0 1 0 852455988 7614464 463 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 463 566 18 0 1841 0
vsize: 7436
[startup+60.0031 s]
Raw data (loadavg): 0.86 0.74 0.80 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 519 0 0 0 5976 23 0 0 25 0 1 0 852455988 7745536 493 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 493 566 18 0 1873 0
vsize: 7564
[startup+70.0033 s]
Raw data (loadavg): 0.88 0.74 0.80 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 523 0 0 0 6973 27 0 0 25 0 1 0 852455988 7745536 497 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 497 566 18 0 1873 0
vsize: 7564
[startup+80.0042 s]
Raw data (loadavg): 0.90 0.75 0.80 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 523 0 0 0 7968 32 0 0 25 0 1 0 852455988 7745536 497 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 497 566 18 0 1873 0
vsize: 7564
[startup+90.0037 s]
Raw data (loadavg): 0.91 0.76 0.80 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 523 0 0 0 8964 36 0 0 25 0 1 0 852455988 7745536 497 4294967295 134512640 134581267 3221224576 3221223396 1075289696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 497 566 18 0 1873 0
vsize: 7564
[startup+100.004 s]
Raw data (loadavg): 0.93 0.77 0.81 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 523 0 0 0 9960 40 0 0 25 0 1 0 852455988 7745536 497 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 497 566 18 0 1873 0
vsize: 7564
[startup+110.005 s]
Raw data (loadavg): 0.94 0.77 0.81 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 547 0 0 0 10958 42 0 0 25 0 1 0 852455988 7876608 521 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 521 566 18 0 1905 0
vsize: 7692
[startup+120.004 s]
Raw data (loadavg): 0.95 0.78 0.81 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 11954 46 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+130.005 s]
Raw data (loadavg): 0.95 0.79 0.81 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 12950 51 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+140.004 s]
Raw data (loadavg): 0.96 0.79 0.81 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 13946 54 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+150.004 s]
Raw data (loadavg): 0.97 0.80 0.82 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 14943 58 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+160.004 s]
Raw data (loadavg): 0.97 0.81 0.82 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 15939 62 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223536 134554620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+170.004 s]
Raw data (loadavg): 0.98 0.81 0.82 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 16936 65 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+180.004 s]
Raw data (loadavg): 0.98 0.82 0.82 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 17933 69 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+190.005 s]
Raw data (loadavg): 0.98 0.82 0.82 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 18930 72 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223472 134517779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+200.005 s]
Raw data (loadavg): 0.98 0.83 0.82 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 19927 75 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+210.005 s]
Raw data (loadavg): 0.99 0.83 0.82 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 20924 78 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+220.005 s]
Raw data (loadavg): 0.99 0.84 0.82 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 21921 81 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+230.006 s]
Raw data (loadavg): 0.99 0.84 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 22917 85 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+240.007 s]
Raw data (loadavg): 0.99 0.85 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 23912 91 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+250.007 s]
Raw data (loadavg): 0.99 0.85 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 24908 95 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+260.008 s]
Raw data (loadavg): 0.99 0.86 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 25904 99 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+270.007 s]
Raw data (loadavg): 0.99 0.86 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 26900 103 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+280.007 s]
Raw data (loadavg): 0.99 0.86 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 27895 108 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+290.009 s]
Raw data (loadavg): 0.99 0.87 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 28892 112 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+300.008 s]
Raw data (loadavg): 0.99 0.87 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 560 0 0 0 29889 115 0 0 25 0 1 0 852455988 7876608 534 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 534 566 18 0 1905 0
vsize: 7692
[startup+310.008 s]
Raw data (loadavg): 0.99 0.88 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 30886 118 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+320.008 s]
Raw data (loadavg): 0.99 0.88 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 31882 122 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+330.008 s]
Raw data (loadavg): 0.99 0.88 0.83 2/54 20817
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 32879 126 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223560 134560628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+340.009 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 20870
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 33873 131 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+350.009 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 20870
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 34869 135 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+360.009 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 20870
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 35865 139 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+370.009 s]
Raw data (loadavg): 0.99 0.90 0.84 2/54 20870
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 36862 142 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+380.01 s]
Raw data (loadavg): 0.99 0.90 0.84 2/54 20870
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 37859 146 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223568 134560935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+390.01 s]
Raw data (loadavg): 0.99 0.90 0.84 2/54 20870
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 38854 151 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223520 134559235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+400.01 s]
Raw data (loadavg): 0.99 0.90 0.84 2/54 20870
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 39850 155 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+410.011 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 40846 160 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+420.011 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 41843 162 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+430.012 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 574 0 0 0 42840 166 0 0 25 0 1 0 852455988 7970816 548 4294967295 134512640 134581267 3221224576 3221223472 134517754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 548 566 18 0 1928 0
vsize: 7784
[startup+440.012 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 43837 169 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+450.012 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 44832 174 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+460.012 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 45829 177 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223552 134560686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+470.013 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 46826 180 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+480.013 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 47822 185 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223488 134527689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+490.014 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 48817 189 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+500.013 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 49815 192 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+510.014 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 50812 195 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+520.014 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 51808 199 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+530.015 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 52803 204 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+540.016 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 53799 209 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+550.016 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 54796 212 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+560.017 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 581 0 0 0 55792 217 0 0 25 0 1 0 852455988 7970816 555 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1946 555 566 18 0 1928 0
vsize: 7784
[startup+570.017 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 592 0 0 0 56788 220 0 0 25 0 1 0 852455988 8105984 566 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 566 566 18 0 1961 0
vsize: 7916
[startup+580.017 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 592 0 0 0 57784 224 0 0 25 0 1 0 852455988 8077312 566 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 566 566 18 0 1954 0
vsize: 7888
[startup+590.018 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 594 0 0 0 58781 228 0 0 25 0 1 0 852455988 8077312 568 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 568 566 18 0 1954 0
vsize: 7888
[startup+600.017 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 594 0 0 0 59777 232 0 0 25 0 1 0 852455988 8077312 568 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 568 566 18 0 1954 0
vsize: 7888
[startup+610.018 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 594 0 0 0 60772 237 0 0 25 0 1 0 852455988 8077312 568 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 568 566 18 0 1954 0
vsize: 7888
[startup+620.018 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 594 0 0 0 61767 243 0 0 25 0 1 0 852455988 8077312 568 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 568 566 18 0 1954 0
vsize: 7888
[startup+630.018 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 62763 246 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+640.019 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 63759 250 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+650.019 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 20872
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 64757 253 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+660.019 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 65753 257 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+670.019 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 66749 261 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223440 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+680.02 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 67746 265 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+690.02 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 68742 269 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+700.02 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 69736 274 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+710.021 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 70733 278 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+720.02 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 71729 282 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+730.02 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 72726 286 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+740.02 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 73721 290 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+750.02 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 74718 294 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+760.02 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 75716 296 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+770.02 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 597 0 0 0 76713 298 0 0 25 0 1 0 852455988 8077312 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 571 566 18 0 1954 0
vsize: 7888
[startup+780.021 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 612 0 0 0 77710 302 0 0 25 0 1 0 852455988 8077312 586 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1972 586 566 18 0 1954 0
vsize: 7888
[startup+790.02 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 78707 305 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223492 1075285600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+800.02 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 79703 309 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+810.021 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 80701 312 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 81696 317 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 82692 321 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 83690 323 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 84685 328 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 85682 331 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 86679 335 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 87675 339 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 88673 341 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 636 0 0 0 89670 344 0 0 25 0 1 0 852455988 8208384 610 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 610 566 18 0 1986 0
vsize: 8016
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 639 0 0 0 90666 348 0 0 25 0 1 0 852455988 8208384 613 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 613 566 18 0 1986 0
vsize: 8016
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 639 0 0 0 91664 350 0 0 25 0 1 0 852455988 8208384 613 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 613 566 18 0 1986 0
vsize: 8016
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 639 0 0 0 92661 354 0 0 25 0 1 0 852455988 8208384 613 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 613 566 18 0 1986 0
vsize: 8016
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 93657 358 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 94654 361 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 95651 364 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223520 134559190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 96647 369 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 97644 371 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 98642 374 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223504 134519939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 99640 376 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 100637 380 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 101643 384 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 102639 388 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 103634 393 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 104630 397 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 105626 402 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 106621 407 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 107616 412 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 108612 416 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 109610 419 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223616 134564995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 110604 424 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 111600 428 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 112597 432 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 113593 436 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223520 134558867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 114589 440 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 115585 444 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223460 134527009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 116583 447 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 117579 451 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 8016
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20874
Raw data (stat): 20817 (Pueblo-v2) R 20816 21152 21151 0 -1 0 642 0 0 0 117579 451 0 0 25 0 1 0 852455988 8208384 616 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2004 616 566 18 0 1986 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1184.46
CPU system time (s): 4.54231
CPU usage (%): 100.014
Max. virtual memory (Kb): 8016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####