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 27728

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        452648 kB
Buffers:         35424 kB
Cached:         524964 kB
SwapCached:          0 kB
Active:          69604 kB
Inactive:       493776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        452396 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           7064 kB
Slab:            13028 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:20:49 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 16166 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/wulflinc8/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
Raw data (loadavg): 0.55 0.82 0.86 2/54 9756
Raw data (stat): 9756 (runsolver) R 9755 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 762248018 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.62 0.82 0.86 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 363 0 0 0 996 2 0 0 25 0 1 0 762248018 7110656 341 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1736 341 566 18 0 1718 0
vsize: 6944
[startup+20.0017 s]
Raw data (loadavg): 0.68 0.83 0.86 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 455 0 0 0 1992 7 0 0 25 0 1 0 762248018 7507968 433 4294967295 134512640 134581331 3221224608 3221223536 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 433 566 18 0 1815 0
vsize: 7332
[startup+30.0029 s]
Raw data (loadavg): 0.73 0.83 0.86 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 473 0 0 0 2987 12 0 0 25 0 1 0 762248018 7639040 451 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 451 566 18 0 1847 0
vsize: 7460
[startup+40.0032 s]
Raw data (loadavg): 0.77 0.84 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 480 0 0 0 3981 18 0 0 25 0 1 0 762248018 7614464 458 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 458 566 18 0 1841 0
vsize: 7436
[startup+50.003 s]
Raw data (loadavg): 0.80 0.84 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 486 0 0 0 4977 22 0 0 25 0 1 0 762248018 7614464 464 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 464 566 18 0 1841 0
vsize: 7436
[startup+60.0041 s]
Raw data (loadavg): 0.83 0.85 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 486 0 0 0 5974 25 0 0 25 0 1 0 762248018 7614464 464 4294967295 134512640 134581331 3221224608 3221223600 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 464 566 18 0 1841 0
vsize: 7436
[startup+70.0045 s]
Raw data (loadavg): 0.86 0.85 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 515 0 0 0 6970 29 0 0 25 0 1 0 762248018 7745536 493 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 493 566 18 0 1873 0
vsize: 7564
[startup+80.0053 s]
Raw data (loadavg): 0.88 0.86 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 520 0 0 0 7967 33 0 0 25 0 1 0 762248018 7745536 498 4294967295 134512640 134581331 3221224608 3221223520 134527670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 498 566 18 0 1873 0
vsize: 7564
[startup+90.0055 s]
Raw data (loadavg): 0.90 0.86 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 520 0 0 0 8963 37 0 0 25 0 1 0 762248018 7745536 498 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 498 566 18 0 1873 0
vsize: 7564
[startup+100.005 s]
Raw data (loadavg): 0.91 0.86 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 520 0 0 0 9959 40 0 0 25 0 1 0 762248018 7745536 498 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 498 566 18 0 1873 0
vsize: 7564
[startup+110.006 s]
Raw data (loadavg): 0.93 0.87 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 520 0 0 0 10955 44 0 0 25 0 1 0 762248018 7745536 498 4294967295 134512640 134581331 3221224608 3221223428 1075289770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 498 566 18 0 1873 0
vsize: 7564
[startup+120.007 s]
Raw data (loadavg): 0.94 0.87 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 557 0 0 0 11953 47 0 0 25 0 1 0 762248018 7876608 535 4294967295 134512640 134581331 3221224608 3221223520 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 535 566 18 0 1905 0
vsize: 7692
[startup+130.007 s]
Raw data (loadavg): 0.95 0.88 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 557 0 0 0 12949 51 0 0 25 0 1 0 762248018 7843840 531 4294967295 134512640 134581331 3221224608 3221223520 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 531 566 18 0 1897 0
vsize: 7660
[startup+140.007 s]
Raw data (loadavg): 0.95 0.88 0.87 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 557 0 0 0 13945 56 0 0 25 0 1 0 762248018 7843840 531 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 531 566 18 0 1897 0
vsize: 7660
[startup+150.007 s]
Raw data (loadavg): 0.96 0.88 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 557 0 0 0 14940 61 0 0 25 0 1 0 762248018 7843840 531 4294967295 134512640 134581331 3221224608 3221223296 1075289363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 531 566 18 0 1897 0
vsize: 7660
[startup+160.007 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 557 0 0 0 15936 64 0 0 25 0 1 0 762248018 7843840 531 4294967295 134512640 134581331 3221224608 3221223524 1075285590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 531 566 18 0 1897 0
vsize: 7660
[startup+170.007 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 557 0 0 0 16932 69 0 0 25 0 1 0 762248018 7843840 531 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 531 566 18 0 1897 0
vsize: 7660
[startup+180.009 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 17929 72 0 0 25 0 1 0 762248018 7954432 535 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1942 535 566 18 0 1924 0
vsize: 7768
[startup+190.01 s]
Raw data (loadavg): 0.98 0.89 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 18925 77 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+200.009 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 19921 81 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+210.009 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 20917 84 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+220.01 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 21914 88 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+230.011 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 22911 92 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223520 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+240.011 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 23907 95 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+250.01 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 24903 99 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+260.011 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 9758
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 25899 104 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+270.011 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 26894 108 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223472 134528267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+280.012 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 27890 113 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223520 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+290.012 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 28886 117 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+300.013 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 29883 121 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+310.013 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 561 0 0 0 30880 124 0 0 25 0 1 0 762248018 7868416 535 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1921 535 566 18 0 1903 0
vsize: 7684
[startup+320.013 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 31876 128 0 0 25 0 1 0 762248018 7966720 550 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1945 550 566 18 0 1927 0
vsize: 7780
[startup+330.013 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 32871 133 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+340.013 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 33868 137 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+350.013 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 34864 141 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+360.014 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 35861 144 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+370.015 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 36857 148 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223520 134566369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+380.014 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 37853 152 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+390.014 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 38849 156 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223552 134559115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+400.014 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 39846 160 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223472 134527151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+410.014 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 40842 163 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223536 134519937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+420.014 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 41839 166 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223504 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+430.015 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 42834 170 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223504 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+440.015 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 43831 173 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+450.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 576 0 0 0 44828 176 0 0 25 0 1 0 762248018 7929856 550 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 550 566 18 0 1918 0
vsize: 7744
[startup+460.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 45825 179 0 0 25 0 1 0 762248018 7995392 555 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1952 555 566 18 0 1934 0
vsize: 7808
[startup+470.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 46822 183 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+480.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 47819 186 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+490.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 48815 190 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+500.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 49813 192 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+510.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 50809 196 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+520.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 51806 200 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223472 134528608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+530.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 52803 203 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+540.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 53800 206 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+550.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 54797 209 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223504 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+560.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 55794 213 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223552 134558847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+570.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 56790 217 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+580.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 57785 221 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+590.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 581 0 0 0 58782 225 0 0 25 0 1 0 762248018 7991296 555 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 555 566 18 0 1933 0
vsize: 7804
[startup+600.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 592 0 0 0 59778 230 0 0 25 0 1 0 762248018 7991296 566 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 566 566 18 0 1933 0
vsize: 7804
[startup+610.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 593 0 0 0 60776 233 0 0 25 0 1 0 762248018 7991296 567 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1951 567 566 18 0 1933 0
vsize: 7804
[startup+620.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 595 0 0 0 61773 236 0 0 25 0 1 0 762248018 8118272 569 4294967295 134512640 134581331 3221224608 3221223536 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1982 569 566 18 0 1964 0
vsize: 7928
[startup+630.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 595 0 0 0 62770 239 0 0 25 0 1 0 762248018 8032256 569 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 569 566 18 0 1943 0
vsize: 7844
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 595 0 0 0 63766 242 0 0 25 0 1 0 762248018 8032256 569 4294967295 134512640 134581331 3221224608 3221223504 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 569 566 18 0 1943 0
vsize: 7844
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 595 0 0 0 64763 246 0 0 25 0 1 0 762248018 8032256 569 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 569 566 18 0 1943 0
vsize: 7844
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 65759 250 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 66755 254 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 67752 257 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 68749 260 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 69745 264 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 70742 268 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 71739 271 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223280 1075290883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 72736 275 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+740.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 73734 278 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223588 134560793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 74730 281 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 75728 284 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+770.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 76725 287 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 77720 292 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223504 134517830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 78717 296 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 79714 299 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223552 134558844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 597 0 0 0 80711 302 0 0 25 0 1 0 762248018 8032256 571 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1961 571 566 18 0 1943 0
vsize: 7844
[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 618 0 0 0 81708 306 0 0 25 0 1 0 762248018 8159232 592 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 592 566 18 0 1974 0
vsize: 7968
[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 82705 309 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+840.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 83702 311 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 84698 315 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 85694 319 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+870.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 86691 324 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223472 134528325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+880.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 87688 327 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223600 134560946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+890.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 88685 330 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223356 1075285150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+900.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 89681 333 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+910.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 90677 338 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223428 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+920.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 91674 340 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 92670 345 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+940.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 93667 348 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+950.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 637 0 0 0 94663 352 0 0 25 0 1 0 762248018 8282112 611 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 611 566 18 0 2004 0
vsize: 8088
[startup+960.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 640 0 0 0 95661 354 0 0 25 0 1 0 762248018 8282112 614 4294967295 134512640 134581331 3221224608 3221223536 134519937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 614 566 18 0 2004 0
vsize: 8088
[startup+970.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 640 0 0 0 96659 357 0 0 25 0 1 0 762248018 8282112 614 4294967295 134512640 134581331 3221224608 3221223520 134527464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 614 566 18 0 2004 0
vsize: 8088
[startup+980.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 640 0 0 0 97656 360 0 0 25 0 1 0 762248018 8282112 614 4294967295 134512640 134581331 3221224608 3221223472 134528422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 614 566 18 0 2004 0
vsize: 8088
[startup+990.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 98653 363 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 99650 366 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 100646 371 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 101643 374 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 102639 377 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223520 134527484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 103636 380 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 104631 386 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 105627 390 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223600 134561059 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 106623 394 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 107619 398 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 108615 402 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223488 134520304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 109611 406 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223504 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 110608 410 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 111603 415 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223520 134527950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 112599 419 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 113596 423 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 114592 426 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 115590 429 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 116586 433 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 117582 437 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+1188.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9760
Raw data (stat): 9756 (Pueblo) R 9755 3132 3131 0 -1 0 643 0 0 0 117582 437 0 0 25 0 1 0 762248018 8282112 617 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.01
CPU user time (s): 1184.58
CPU system time (s): 4.42933
CPU usage (%): 100.011
Max. virtual memory (Kb): 8088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####