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/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb
MD5SUM	4f7891bf040f9fa135208e1a9808a8bc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1430464
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	81788220
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.00309
Number of variables	1320
Total number of constraints	374
Number of constraints which are clauses	155
Number of constraints which are cardinality constraints (but not clauses)	82
Number of constraints which are nor clauses,nor cardinality constraints	137
Minimum length of a constraint	1
Maximum length of a constraint	301
Trace number 39118

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 20:55:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27179 boxname=wulflinc4 idbench=1307 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  4f7891bf040f9fa135208e1a9808a8bc  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-misc05.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-misc05.opb
IDLAUNCH: 27179
/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:        133184 kB
Buffers:         34992 kB
Cached:         843476 kB
SwapCached:        568 kB
Active:          41704 kB
Inactive:       838872 kB
HighTotal:      131008 kB
HighFree:        16884 kB
LowTotal:       903652 kB
LowFree:        116300 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            15100 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:15:34 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 27179 0 1189.02 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-misc05.opb
c #variables read: 1320 - #constraints read: 404
s SATISFIABLE
v -COL133_bit_7 -COL133_bit_6 -COL133_bit_5 -COL133_bit_4 -COL133_bit_3 -COL133_bit_2 COL133_bit_1 COL133_bit0 COL133_bit1 COL133_bit2 -COL133_bit3 -COL133_bit4 COL133_bit5 -COL133_bit6 COL133_bit7 COL133_bit8 COL133_bit9 -COL133_bit10 COL133_bit11 -COL133_bit12 COL133_bit13 -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 COL007_bit0 -COL008_bit0 -COL009_bit0 -COL010_bit0 COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 COL017_bit0 -COL018_bit0 -COL019_bit0 -COL020_bit0 -COL021_bit0 -COL022_bit0 -COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 COL032_bit0 -COL033_bit0 -COL034_bit0 -COL035_bit0 -COL036_bit0 COL037_bit0 -COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 -COL046_bit0 COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 -COL055_bit0 COL056_bit0 -COL057_bit0 COL058_bit0 COL059_bit0 -COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 COL069_bit0 -COL070_bit0 COL071_bit0 -COL072_bit0 COL129_bit0 COL130_bit0 -COL134_bit_7 -COL134_bit_6 -COL134_bit_5 -COL134_bit_4 -COL134_bit_3 -COL134_bit_2 -COL134_bit_1 COL134_bit0 COL134_bit1 -COL134_bit2 -COL134_bit3 -COL134_bit4 COL134_bit5 -COL134_bit6 COL134_bit7 -COL134_bit8 COL134_bit9 COL134_bit10 -COL134_bit11 -COL134_bit12 COL134_bit13 -COL135_bit_7 -COL135_bit_6 -COL135_bit_5 -COL135_bit_4 -COL135_bit_3 -COL135_bit_2 -COL135_bit_1 COL135_bit0 -COL135_bit1 COL135_bit2 -COL135_bit3 -COL135_bit4 -COL135_bit5 -COL135_bit6 COL135_bit7 COL135_bit8 COL135_bit9 -COL135_bit10 -COL135_bit11 -COL135_bit12 COL135_bit13 -COL136_bit_7 -COL136_bit_6 -COL136_bit_5 -COL136_bit_4 -COL136_bit_3 -COL136_bit_2 COL136_bit_1 COL136_bit0 -COL136_bit1 COL136_bit2 COL136_bit3 COL136_bit4 COL136_bit5 COL136_bit6 -COL136_bit7 COL136_bit8 -COL136_bit9 -COL136_bit10 -COL136_bit11 -COL136_bit12 COL136_bit13 -COL115_bit_7 -COL115_bit_6 -COL115_bit_5 -COL115_bit_4 -COL115_bit_3 -COL115_bit_2 -COL115_bit_1 -COL115_bit0 -COL115_bit1 -COL115_bit2 -COL115_bit3 -COL115_bit4 -COL115_bit5 -COL115_bit6 -COL115_bit7 -COL115_bit8 -COL115_bit9 -COL115_bit10 -COL115_bit11 -COL115_bit12 -COL116_bit_7 -COL116_bit_6 -COL116_bit_5 -COL116_bit_4 -COL116_bit_3 -COL116_bit_2 -COL116_bit_1 -COL116_bit0 COL116_bit1 -COL116_bit2 -COL116_bit3 -COL116_bit4 COL116_bit5 -COL116_bit6 -COL116_bit7 COL116_bit8 -COL116_bit9 -COL116_bit10 -COL116_bit11 -COL116_bit12 -COL117_bit_7 -COL117_bit_6 -COL117_bit_5 -COL117_bit_4 -COL117_bit_3 -COL117_bit_2 -COL117_bit_1 -COL117_bit0 -COL117_bit1 COL117_bit2 -COL117_bit3 COL117_bit4 COL117_bit5 COL117_bit6 COL117_bit7 COL117_bit8 -COL117_bit9 -COL117_bit10 -COL117_bit11 -COL117_bit12 -COL118_bit_7 -COL118_bit_6 -COL118_bit_5 -COL118_bit_4 -COL118_bit_3 -COL118_bit_2 -COL118_bit_1 -COL118_bit0 -COL118_bit1 -COL118_bit2 -COL118_bit3 -COL118_bit4 -COL118_bit5 -COL118_bit6 -COL118_bit7 -COL118_bit8 -COL118_bit9 -COL118_bit10 -COL118_bit11 -COL118_bit12 -COL119_bit_7 -COL119_bit_6 -COL119_bit_5 -COL119_bit_4 -COL119_bit_3 -COL119_bit_2 -COL119_bit_1 -COL119_bit0 -COL119_bit1 -COL119_bit2 -COL119_bit3 -COL119_bit4 -COL119_bit5 -COL119_bit6 -COL119_bit7 -COL119_bit8 -COL119_bit9 -COL119_bit10 -COL119_bit11 -COL119_bit12 -COL120_bit_7 -COL120_bit_6 -COL120_bit_5 -COL120_bit_4 -COL120_bit_3 -COL120_bit_2 -COL120_bit_1 -COL120_bit0 -COL120_bit1 -COL120_bit2 -COL120_bit3 -COL120_bit4 -COL120_bit5 -COL120_bit6 -COL120_bit7 -COL120_bit8 -COL120_bit9 -COL120_bit10 -COL120_bit11 -COL120_bit12 -COL121_bit_7 -COL121_bit_6 -COL121_bit_5 -COL121_bit_4 -COL121_bit_3 -COL121_bit_2 -COL121_bit_1 -COL121_bit0 -COL121_bit1 -COL121_bit2 -COL121_bit3 -COL121_bit4 -COL121_bit5 -COL121_bit6 -COL121_bit7 -COL121_bit8 -COL121_bit9 -COL121_bit10 -COL121_bit11 -COL121_bit12 -COL122_bit_7 -COL122_bit_6 -COL122_bit_5 -COL122_bit_4 -COL122_bit_3 -COL122_bit_2 -COL122_bit_1 -COL122_bit0 -COL122_bit1 -COL122_bit2 -COL122_bit3 -COL122_bit4 -COL122_bit5 -COL122_bit6 -COL122_bit7 -COL122_bit8 -COL122_bit9 -COL122_bit10 -COL122_bit11 -COL122_bit12 -COL123_bit_7 -COL123_bit_6 -COL123_bit_5 -COL123_bit_4 -COL123_bit_3 -COL123_bit_2 -COL123_bit_1 -COL123_bit0 -COL123_bit1 -COL123_bit2 -COL123_bit3 -COL123_bit4 -COL123_bit5 -COL123_bit6 -COL123_bit7 -COL123_bit8 -COL123_bit9 -COL123_bit10 -COL123_bit11 -COL123_bit12 -COL124_bit_7 -COL124_bit_6 -COL124_bit_5 -COL124_bit_4 -COL124_bit_3 -COL124_bit_2 -COL124_bit_1 -COL124_bit0 -COL124_bit1 -COL124_bit2 -COL124_bit3 -COL124_bit4 -COL124_bit5 -COL124_bit6 -COL124_bit7 -COL124_bit8 -COL124_bit9 -COL124_bit10 -COL124_bit11 -COL124_bit12 -COL125_bit_7 -COL125_bit_6 -COL125_bit_5 -COL125_bit_4 -COL125_bit_3 -COL125_bit_2 -COL125_bit_1 -COL125_bit0 -COL125_bit1 -COL125_bit2 -COL125_bit3 -COL125_bit4 -COL125_bit5 -COL125_bit6 -COL125_bit7 -COL125_bit8 -COL125_bit9 -COL125_bit10 -COL125_bit11 -COL125_bit12 -COL126_bit_7 -COL126_bit_6 -COL126_bit_5 -COL126_bit_4 -COL126_bit_3 -COL126_bit_2 -COL126_bit_1 -COL126_bit0 COL126_bit1 -COL126_bit2 COL126_bit3 COL126_bit4 -COL126_bit5 COL126_bit6 -COL126_bit7 -COL126_bit8 -COL126_bit9 -COL126_bit10 -COL126_bit11 -COL126_bit12 -COL127_bit_7 -COL127_bit_6 -COL127_bit_5 -COL127_bit_4 -COL127_bit_3 -COL127_bit_2 -COL127_bit_1 -COL127_bit0 -COL127_bit1 -COL127_bit2 -COL127_bit3 -COL127_bit4 -COL127_bit5 -COL127_bit6 -COL127_bit7 -COL127_bit8 -COL127_bit9 -COL127_bit10 -COL127_bit11 -COL127_bit12 -COL128_bit_7 -COL128_bit_6 -COL128_bit_5 -COL128_bit_4 -COL128_bit_3 -COL128_bit_2 -COL128_bit_1 -COL128_bit0 -COL128_bit1 COL128_bit2 -COL128_bit3 COL128_bit4 COL128_bit5 -COL128_bit6 COL128_bit7 -COL128_bit8 -COL128_bit9 -COL128_bit10 -COL128_bit11 -COL128_bit12 -COL073_bit_7 -COL073_bit_6 -COL073_bit_5 -COL073_bit_4 -COL073_bit_3 -COL073_bit_2 -COL073_bit_1 -COL073_bit0 -COL073_bit1 -COL073_bit2 -COL073_bit3 -COL073_bit4 -COL073_bit5 -COL073_bit6 -COL073_bit7 -COL073_bit8 -COL073_bit9 -COL073_bit10 -COL073_bit11 -COL073_bit12 -COL074_bit_7 -COL074_bit_6 -COL074_bit_5 -COL074_bit_4 -COL074_bit_3 -COL074_bit_2 -COL074_bit_1 -COL074_bit0 -COL074_bit1 -COL074_bit2 -COL074_bit3 -COL074_bit4 -COL074_bit5 -COL074_bit6 -COL074_bit7 -COL074_bit8 -COL074_bit9 -COL074_bit10 -COL074_bit11 -COL074_bit12 -COL075_bit_7 -COL075_bit_6 -COL075_bit_5 -COL075_bit_4 -COL075_bit_3 -COL075_bit_2 -COL075_bit_1 -COL075_bit0 -COL075_bit1 -COL075_bit2 -COL075_bit3 -COL075_bit4 -COL075_bit5 -COL075_bit6 -COL075_bit7 -COL075_bit8 -COL075_bit9 -COL075_bit10 -COL075_bit11 -COL075_bit12 -COL076_bit_7 -COL076_bit_6 -COL076_bit_5 -COL076_bit_4 -COL076_bit_3 -COL076_bit_2 -COL076_bit_1 -COL076_bit0 -COL076_bit1 -COL076_bit2 -COL076_bit3 -COL076_bit4 -COL076_bit5 -COL076_bit6 -COL076_bit7 -COL076_bit8 -COL076_bit9 -COL076_bit10 -COL076_bit11 -COL076_bit12 -COL077_bit_7 -COL077_bit_6 -COL077_bit_5 -COL077_bit_4 -COL077_bit_3 -COL077_bit_2 -COL077_bit_1 -COL077_bit0 -COL077_bit1 -COL077_bit2 -COL077_bit3 -COL077_bit4 -COL077_bit5 -COL077_bit6 -COL077_bit7 -COL077_bit8 -COL077_bit9 -COL077_bit10 -COL077_bit11 -COL077_bit12 -COL078_bit_7 -COL078_bit_6 -COL078_bit_5 -COL078_bit_4 -COL078_bit_3 -COL078_bit_2 -COL078_bit_1 -COL078_bit0 -COL078_bit1 -COL078_bit2 -COL078_bit3 -COL078_bit4 -COL078_bit5 -COL078_bit6 -COL078_bit7 -COL078_bit8 -COL078_bit9 -COL078_bit10 -COL078_bit11 -COL078_bit12 -COL079_bit_7 -COL079_bit_6 -COL079_bit_5 -COL079_bit_4 -COL079_bit_3 -COL079_bit_2 -COL079_bit_1 -COL079_bit0 -COL079_bit1 -COL079_bit2 -COL079_bit3 -COL079_bit4 -COL079_bit5 -COL079_bit6 -COL079_bit7 -COL079_bit8 -COL079_bit9 -COL079_bit10 -COL079_bit11 -COL079_bit12 -COL085_bit_7 -COL085_bit_6 -COL085_bit_5 -COL085_bit_4 -COL085_bit_3 -COL085_bit_2 -COL085_bit_1 -COL085_bit0 -COL085_bit1 COL085_bit2 COL085_bit3 -COL085_bit4 COL085_bit5 -COL085_bit6 -COL085_bit7 COL085_bit8 -COL085_bit9 -COL085_bit10 -COL085_bit11 -COL085_bit12 -COL091_bit_7 -COL091_bit_6 -COL091_bit_5 -COL091_bit_4 -COL091_bit_3 -COL091_bit_2 -COL091_bit_1 -COL091_bit0 -COL091_bit1 -COL091_bit2 -COL091_bit3 -COL091_bit4 -COL091_bit5 -COL091_bit6 -COL091_bit7 -COL091_bit8 -COL091_bit9 -COL091_bit10 -COL091_bit11 -COL091_bit12 -COL097_bit_7 -COL097_bit_6 -COL097_bit_5 -COL097_bit_4 -COL097_bit_3 -COL097_bit_2 -COL097_bit_1 -COL097_bit0 -COL097_bit1 -COL097_bit2 -COL097_bit3 -COL097_bit4 -COL097_bit5 -COL097_bit6 -COL097_bit7 -COL097_bit8 -COL097_bit9 -COL097_bit10 -COL097_bit11 -COL097_bit12 -COL103_bit_7 -COL103_bit_6 -COL103_bit_5 -COL103_bit_4 -COL103_bit_3 -COL103_bit_2 -COL103_bit_1 -COL103_bit0 -COL103_bit1 -COL103_bit2 -COL103_bit3 -COL103_bit4 -COL103_bit5 -COL103_bit6 -COL103_bit7 -COL103_bit8 -COL103_bit9 -COL103_bit10 -COL103_bit11 -COL103_bit12 -COL109_bit_7 -COL109_bit_6 -COL109_bit_5 -COL109_bit_4 -COL109_bit_3 -COL109_bit_2 -COL109_bit_1 -COL109_bit0 -COL109_bit1 -COL109_bit2 -COL109_bit3 -COL109_bit4 -COL109_bit5 -COL109_bit6 -COL109_bit7 -COL109_bit8 -COL109_bit9 -COL109_bit10 -COL109_bit11 -COL109_bit12 -COL080_bit_7 -COL080_bit_6 -COL080_bit_5 -COL080_bit_4 -COL080_bit_3 -COL080_bit_2 -COL080_bit_1 -COL080_bit0 -COL080_bit1 -COL080_bit2 -COL080_bit3 -COL080_bit4 -COL080_bit5 -COL080_bit6 -COL080_bit7 -COL080_bit8 -COL080_bit9 -COL080_bit10 -COL080_bit11 -COL080_bit12 -COL081_bit_7 -COL081_bit_6 -COL081_bit_5 -COL081_bit_4 -COL081_bit_3 -COL081_bit_2 -COL081_bit_1 -COL081_bit0 COL081_bit1 -COL081_bit2 COL081_bit3 COL081_bit4 COL081_bit5 COL081_bit6 COL081_bit7 -COL081_bit8 -COL081_bit9 -COL081_bit10 -COL081_bit11 -COL081_bit12 -COL082_bit_7 -COL082_bit_6 -COL082_bit_5 -COL082_bit_4 -COL082_bit_3 -COL082_bit_2 -COL082_bit_1 -COL082_bit0 -COL082_bit1 -COL082_bit2 -COL082_bit3 -COL082_bit4 -COL082_bit5 -COL082_bit6 -COL082_bit7 -COL082_bit8 -COL082_bit9 -COL082_bit10 -COL082_bit11 -COL082_bit12 -COL083_bit_7 -COL083_bit_6 -COL083_bit_5 -COL083_bit_4 -COL083_bit_3 -COL083_bit_2 -COL083_bit_1 -COL083_bit0 -COL083_bit1 -COL083_bit2 -COL083_bit3 -COL083_bit4 -COL083_bit5 -COL083_bit6 -COL083_bit7 -COL083_bit8 -COL083_bit9 -COL083_bit10 -COL083_bit11 -COL083_bit12 -COL084_bit_7 -COL084_bit_6 -COL084_bit_5 -COL084_bit_4 -COL084_bit_3 -COL084_bit_2 -COL084_bit_1 -COL084_bit0 -COL084_bit1 -COL084_bit2 -COL084_bit3 -COL084_bit4 -COL084_bit5 -COL084_bit6 -COL084_bit7 -COL084_bit8 -COL084_bit9 -COL084_bit10 -COL084_bit11 -COL084_bit12 -COL086_bit_7 -COL086_bit_6 -COL086_bit_5 -COL086_bit_4 -COL086_bit_3 -COL086_bit_2 -COL086_bit_1 -COL086_bit0 -COL086_bit1 -COL086_bit2 -COL086_bit3 -COL086_bit4 -COL086_bit5 -COL086_bit6 -COL086_bit7 -COL086_bit8 -COL086_bit9 -COL086_bit10 -COL086_bit11 -COL086_bit12 -COL092_bit_7 -COL092_bit_6 -COL092_bit_5 -COL092_bit_4 -COL092_bit_3 -COL092_bit_2 -COL092_bit_1 -COL092_bit0 -COL092_bit1 -COL092_bit2 -COL092_bit3 -COL092_bit4 -COL092_bit5 -COL092_bit6 -COL092_bit7 -COL092_bit8 -COL092_bit9 -COL092_bit10 -COL092_bit11 -COL092_bit12 -COL098_bit_7 -COL098_bit_6 -COL098_bit_5 -COL098_bit_4 -COL098_bit_3 -COL098_bit_2 -COL098_bit_1 -COL098_bit0 -COL098_bit1 -COL098_bit2 -COL098_bit3 -COL098_bit4 -COL098_bit5 -COL098_bit6 -COL098_bit7 -COL098_bit8 -COL098_bit9 -COL098_bit10 -COL098_bit11 -COL098_bit12 -COL104_bit_7 -COL104_bit_6 -COL104_bit_5 -COL104_bit_4 -COL104_bit_3 -COL104_bit_2 -COL104_bit_1 -COL104_bit0 -COL104_bit1 -COL104_bit2 -COL104_bit3 -COL104_bit4 -COL104_bit5 -COL104_bit6 -COL104_bit7 -COL104_bit8 -COL104_bit9 -COL104_bit10 -COL104_bit11 -COL104_bit12 -COL110_bit_7 -COL110_bit_6 -COL110_bit_5 -COL110_bit_4 -COL110_bit_3 -COL110_bit_2 -COL110_bit_1 -COL110_bit0 -COL110_bit1 -COL110_bit2 -COL110_bit3 -COL110_bit4 -COL110_bit5 -COL110_bit6 -COL110_bit7 -COL110_bit8 -COL110_bit9 -COL110_bit10 -COL110_bit11 -COL110_bit12 -COL087_bit_7 -COL087_bit_6 -COL087_bit_5 -COL087_bit_4 -COL087_bit_3 -COL087_bit_2 -COL087_bit_1 -COL087_bit0 -COL087_bit1 -COL087_bit2 -COL087_bit3 -COL087_bit4 -COL087_bit5 -COL087_bit6 -COL087_bit7 -COL087_bit8 -COL087_bit9 -COL087_bit10 -COL087_bit11 -COL087_bit12 -COL088_bit_7 -COL088_bit_6 -COL088_bit_5 -COL088_bit_4 -COL088_bit_3 -COL088_bit_2 -COL088_bit_1 -COL088_bit0 -COL088_bit1 -COL088_bit2 -COL088_bit3 -COL088_bit4 -COL088_bit5 -COL088_bit6 -COL088_bit7 -COL088_bit8 -COL088_bit9 -COL088_bit10 -COL088_bit11 -COL088_bit12 -COL089_bit_7 -COL089_bit_6 -COL089_bit_5 -COL089_bit_4 -COL089_bit_3 -COL089_bit_2 -COL089_bit_1 -COL089_bit0 -COL089_bit1 -COL089_bit2 -COL089_bit3 -COL089_bit4 -COL089_bit5 -COL089_bit6 -COL089_bit7 -COL089_bit8 -COL089_bit9 -COL089_bit10 -COL089_bit11 -COL089_bit12 -COL090_bit_7 -COL090_bit_6 -COL090_bit_5 -COL090_bit_4 -COL090_bit_3 -COL090_bit_2 -COL090_bit_1 -COL090_bit0 -COL090_bit1 -COL090_bit2 -COL090_bit3 -COL090_bit4 -COL090_bit5 -COL090_bit6 -COL090_bit7 -COL090_bit8 -COL090_bit9 -COL090_bit10 -COL090_bit11 -COL090_bit12 -COL093_bit_7 -COL093_bit_6 -COL093_bit_5 -COL093_bit_4 -COL093_bit_3 -COL093_bit_2 -COL093_bit_1 -COL093_bit0 -COL093_bit1 -COL093_bit2 -COL093_bit3 -COL093_bit4 -COL093_bit5 -COL093_bit6 -COL093_bit7 -COL093_bit8 -COL093_bit9 -COL093_bit10 -COL093_bit11 -COL093_bit12 -COL099_bit_7 -COL099_bit_6 -COL099_bit_5 -COL099_bit_4 -COL099_bit_3 -COL099_bit_2 -COL099_bit_1 -COL099_bit0 -COL099_bit1 -COL099_bit2 -COL099_bit3 -COL099_bit4 -COL099_bit5 -COL099_bit6 -COL099_bit7 -COL099_bit8 -COL099_bit9 -COL099_bit10 -COL099_bit11 -COL099_bit12 -COL105_bit_7 -COL105_bit_6 -COL105_bit_5 -COL105_bit_4 -COL105_bit_3 -COL105_bit_2 -COL105_bit_1 -COL105_bit0 -COL105_bit1 -COL105_bit2 -COL105_bit3 -COL105_bit4 -COL105_bit5 -COL105_bit6 -COL105_bit7 -COL105_bit8 -COL105_bit9 -COL105_bit10 -COL105_bit11 -COL105_bit12 -COL111_bit_7 -COL111_bit_6 -COL111_bit_5 -COL111_bit_4 -COL111_bit_3 -COL111_bit_2 -COL111_bit_1 -COL111_bit0 -COL111_bit1 -COL111_bit2 -COL111_bit3 -COL111_bit4 -COL111_bit5 -COL111_bit6 -COL111_bit7 -COL111_bit8 -COL111_bit9 -COL111_bit10 -COL111_bit11 -COL111_bit12 -COL094_bit_7 -COL094_bit_6 -COL094_bit_5 -COL094_bit_4 -COL094_bit_3 -COL094_bit_2 -COL094_bit_1 -COL094_bit0 -COL094_bit1 -COL094_bit2 -COL094_bit3 -COL094_bit4 -COL094_bit5 -COL094_bit6 -COL094_bit7 -COL094_bit8 -COL094_bit9 -COL094_bit10 -COL094_bit11 -COL094_bit12 -COL095_bit_7 -COL095_bit_6 -COL095_bit_5 -COL095_bit_4 -COL095_bit_3 -COL095_bit_2 -COL095_bit_1 -COL095_bit0 -COL095_bit1 -COL095_bit2 -COL095_bit3 -COL095_bit4 -COL095_bit5 -COL095_bit6 -COL095_bit7 -COL095_bit8 -COL095_bit9 -COL095_bit10 -COL095_bit11 -COL095_bit12 -COL096_bit_7 -COL096_bit_6 -COL096_bit_5 -COL096_bit_4 -COL096_bit_3 -COL096_bit_2 -COL096_bit_1 -COL096_bit0 -COL096_bit1 -COL096_bit2 -COL096_bit3 -COL096_bit4 -COL096_bit5 -COL096_bit6 -COL096_bit7 -COL096_bit8 -COL096_bit9 -COL096_bit10 -COL096_bit11 -COL096_bit12 -COL100_bit_7 -COL100_bit_6 -COL100_bit_5 -COL100_bit_4 -COL100_bit_3 -COL100_bit_2 -COL100_bit_1 -COL100_bit0 -COL100_bit1 -COL100_bit2 -COL100_bit3 -COL100_bit4 -COL100_bit5 -COL100_bit6 -COL100_bit7 -COL100_bit8 -COL100_bit9 -COL100_bit10 -COL100_bit11 -COL100_bit12 -COL106_bit_7 -COL106_bit_6 -COL106_bit_5 -COL106_bit_4 -COL106_bit_3 -COL106_bit_2 -COL106_bit_1 -COL106_bit0 -COL106_bit1 -COL106_bit2 -COL106_bit3 -COL106_bit4 -COL106_bit5 -COL106_bit6 -COL106_bit7 -COL106_bit8 -COL106_bit9 -COL106_bit10 -COL106_bit11 -COL106_bit12 -COL112_bit_7 -COL112_bit_6 -COL112_bit_5 -COL112_bit_4 -COL112_bit_3 -COL112_bit_2 -COL112_bit_1 -COL112_bit0 -COL112_bit1 -COL112_bit2 -COL112_bit3 -COL112_bit4 -COL112_bit5 -COL112_bit6 -COL112_bit7 -COL112_bit8 -COL112_bit9 -COL112_bit10 -COL112_bit11 -COL112_bit12 -COL101_bit_7 -COL101_bit_6 -COL101_bit_5 -COL101_bit_4 -COL101_bit_3 -COL101_bit_2 -COL101_bit_1 -COL101_bit0 COL101_bit1 COL101_bit2 COL101_bit3 COL101_bit4 -COL101_bit5 -COL101_bit6 -COL101_bit7 -COL101_bit8 -COL101_bit9 -COL101_bit10 -COL101_bit11 -COL101_bit12 -COL102_bit_7 -COL102_bit_6 -COL102_bit_5 -COL102_bit_4 -COL102_bit_3 -COL102_bit_2 -COL102_bit_1 -COL102_bit0 -COL102_bit1 -COL102_bit2 -COL102_bit3 -COL102_bit4 -COL102_bit5 -COL102_bit6 -COL102_bit7 -COL102_bit8 -COL102_bit9 -COL102_bit10 -COL102_bit11 -COL102_bit12 -COL107_bit_7 -COL107_bit_6 -COL107_bit_5 -COL107_bit_4 -COL107_bit_3 -COL107_bit_2 -COL107_bit_1 -COL107_bit0 -COL107_bit1 -COL107_bit2 -COL107_bit3 -COL107_bit4 -COL107_bit5 -COL107_bit6 -COL107_bit7 -COL107_bit8 -COL107_bit9 -COL107_bit10 -COL107_bit11 -COL107_bit12 -COL113_bit_7 -COL113_bit_6 -COL113_bit_5 -COL113_bit_4 -COL113_bit_3 -COL113_bit_2 -COL113_bit_1 -COL113_bit0 -COL113_bit1 -COL113_bit2 -COL113_bit3 -COL113_bit4 -COL113_bit5 -COL113_bit6 -COL113_bit7 -COL113_bit8 -COL113_bit9 -COL113_bit10 -COL113_bit11 -COL113_bit12 -COL108_bit_7 -COL108_bit_6 -COL108_bit_5 -COL108_bit_4 -COL108_bit_3 -COL108_bit_2 -COL108_bit_1 -COL108_bit0 -COL108_bit1 -COL108_bit2 -COL108_bit3 -COL108_bit4 -COL108_bit5 -COL108_bit6 -COL108_bit7 -COL108_bit8 -COL108_bit9 -COL108_bit10 -COL108_bit11 -COL108_bit12 -COL114_bit_7 -COL114_bit_6 -COL114_bit_5 -COL114_bit_4 -COL114_bit_3 -COL114_bit_2 -COL114_bit_1 -COL114_bit0 -COL114_bit1 -COL114_bit2 -COL114_bit3 -COL114_bit4 -COL114_bit5 -COL114_bit6 -COL114_bit7 -COL114_bit8 -COL114_bit9 -COL114_bit10 -COL114_bit11 -COL114_bit12 -COL131_bit_7 -COL131_bit_6 -COL131_bit_5 -COL131_bit_4 -COL131_bit_3 -COL131_bit_2 -COL131_bit_1 COL131_bit0 -COL131_bit1 -COL131_bit2 -COL131_bit3 -COL131_bit4 -COL131_bit5 -COL131_bit6 -COL131_bit7 -COL131_bit8 -COL131_bit9 -COL131_bit10 -COL131_bit11 -COL131_bit12 COL131_bit13 -COL132_bit_7 -COL132_bit_6 -COL132_bit_5 -COL132_bit_4 -COL132_bit_3 -COL132_bit_2 -COL132_bit_1 COL132_bit0 -COL132_bit1 -COL132_bit2 -COL132_bit3 -COL132_bit4 -COL132_bit5 -COL132_bit6 -COL132_bit7 -COL132_bit8 -COL132_bit9 -COL132_bit10 -COL132_bit11 -COL132_bit12 COL132_bit13 
#### 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.74 0.90 0.89 1/54 21807
Raw data (stat): 21807 (runsolver) R 21806 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852823687 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0017 s]
Raw data (loadavg): 0.78 0.90 0.89 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 492 0 0 0 998 1 0 0 25 0 1 0 852823687 7643136 466 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1866 466 566 18 0 1848 0
vsize: 7464
[startup+20.0019 s]
Raw data (loadavg): 0.81 0.90 0.89 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 657 0 0 0 1997 2 0 0 25 0 1 0 852823687 8306688 631 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2028 631 566 18 0 2010 0
vsize: 8112
[startup+30.0018 s]
Raw data (loadavg): 0.84 0.91 0.89 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 790 0 0 0 2996 2 0 0 25 0 1 0 852823687 8835072 764 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2157 764 566 18 0 2139 0
vsize: 8628
[startup+40.0022 s]
Raw data (loadavg): 0.86 0.91 0.89 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 841 0 0 0 3996 3 0 0 25 0 1 0 852823687 9101312 815 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2222 815 566 18 0 2204 0
vsize: 8888
[startup+50.0032 s]
Raw data (loadavg): 0.88 0.91 0.89 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 841 0 0 0 4996 3 0 0 25 0 1 0 852823687 9097216 815 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2221 815 566 18 0 2203 0
vsize: 8884
[startup+60.0034 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 913 0 0 0 5995 5 0 0 25 0 1 0 852823687 9359360 887 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2285 887 566 18 0 2267 0
vsize: 9140
[startup+70.0048 s]
Raw data (loadavg): 0.92 0.92 0.89 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 966 0 0 0 6994 6 0 0 25 0 1 0 852823687 9621504 940 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2349 940 566 18 0 2331 0
vsize: 9396
[startup+80.0051 s]
Raw data (loadavg): 0.93 0.92 0.89 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1145 0 0 0 7993 7 0 0 25 0 1 0 852823687 10289152 1119 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2512 1119 566 18 0 2494 0
vsize: 10048
[startup+90.005 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1150 0 0 0 8993 7 0 0 25 0 1 0 852823687 10424320 1124 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2545 1124 566 18 0 2527 0
vsize: 10180
[startup+100.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1151 0 0 0 9992 7 0 0 25 0 1 0 852823687 10420224 1125 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2544 1125 566 18 0 2526 0
vsize: 10176
[startup+110.007 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1151 0 0 0 10992 8 0 0 25 0 1 0 852823687 10420224 1125 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2544 1125 566 18 0 2526 0
vsize: 10176
[startup+120.008 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1151 0 0 0 11992 9 0 0 25 0 1 0 852823687 10416128 1125 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2543 1125 566 18 0 2525 0
vsize: 10172
[startup+130.008 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1151 0 0 0 12991 10 0 0 25 0 1 0 852823687 10403840 1125 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1125 566 18 0 2522 0
vsize: 10160
[startup+140.009 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1151 0 0 0 13990 11 0 0 25 0 1 0 852823687 10371072 1125 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2532 1125 566 18 0 2514 0
vsize: 10128
[startup+150.009 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1151 0 0 0 14989 11 0 0 25 0 1 0 852823687 10371072 1125 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2532 1125 566 18 0 2514 0
vsize: 10128
[startup+160.011 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1151 0 0 0 15989 12 0 0 25 0 1 0 852823687 10371072 1125 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2532 1125 566 18 0 2514 0
vsize: 10128
[startup+170.012 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1151 0 0 0 16987 14 0 0 25 0 1 0 852823687 10371072 1125 4294967295 134512640 134581267 3221224576 3221223488 134527725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2532 1125 566 18 0 2514 0
vsize: 10128
[startup+180.012 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1151 0 0 0 17986 15 0 0 25 0 1 0 852823687 10371072 1125 4294967295 134512640 134581267 3221224576 3221223440 134560435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2532 1125 566 18 0 2514 0
vsize: 10128
[startup+190.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1187 0 0 0 18986 15 0 0 25 0 1 0 852823687 10502144 1161 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2564 1161 566 18 0 2546 0
vsize: 10256
[startup+200.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1286 0 0 0 19985 16 0 0 25 0 1 0 852823687 10899456 1260 4294967295 134512640 134581267 3221224576 3221223488 134527420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2661 1260 566 18 0 2643 0
vsize: 10644
[startup+210.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1286 0 0 0 20984 17 0 0 25 0 1 0 852823687 10899456 1260 4294967295 134512640 134581267 3221224576 3221223264 1075288383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2661 1260 566 18 0 2643 0
vsize: 10644
[startup+220.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1286 0 0 0 21982 19 0 0 25 0 1 0 852823687 10899456 1260 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2661 1260 566 18 0 2643 0
vsize: 10644
[startup+230.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1305 0 0 0 22982 20 0 0 25 0 1 0 852823687 11030528 1279 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2693 1279 566 18 0 2675 0
vsize: 10772
[startup+240.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1305 0 0 0 23982 20 0 0 25 0 1 0 852823687 11030528 1279 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2693 1279 566 18 0 2675 0
vsize: 10772
[startup+250.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21807
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1306 0 0 0 24981 21 0 0 25 0 1 0 852823687 10969088 1280 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2678 1280 566 18 0 2660 0
vsize: 10712
[startup+260.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 21843
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1306 0 0 0 25979 22 0 0 25 0 1 0 852823687 10948608 1280 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2673 1280 566 18 0 2655 0
vsize: 10692
[startup+270.018 s]
Raw data (loadavg): 1.07 0.96 0.91 2/54 21860
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1377 0 0 0 26979 23 0 0 25 0 1 0 852823687 11341824 1351 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1351 566 18 0 2751 0
vsize: 11076
[startup+280.019 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 21860
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1377 0 0 0 27978 24 0 0 25 0 1 0 852823687 11341824 1351 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1351 566 18 0 2751 0
vsize: 11076
[startup+290.02 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 21860
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1377 0 0 0 28977 25 0 0 25 0 1 0 852823687 11296768 1351 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2758 1351 566 18 0 2740 0
vsize: 11032
[startup+300.02 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 21860
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1506 0 0 0 29976 26 0 0 25 0 1 0 852823687 11829248 1480 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2888 1480 566 18 0 2870 0
vsize: 11552
[startup+310.02 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 21860
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1566 0 0 0 30976 27 0 0 25 0 1 0 852823687 12091392 1540 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1540 566 18 0 2934 0
vsize: 11808
[startup+320.021 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 21860
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1566 0 0 0 31975 28 0 0 25 0 1 0 852823687 12091392 1540 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1540 566 18 0 2934 0
vsize: 11808
[startup+330.021 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1566 0 0 0 32974 29 0 0 25 0 1 0 852823687 12091392 1540 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1540 566 18 0 2934 0
vsize: 11808
[startup+340.021 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1566 0 0 0 33974 29 0 0 25 0 1 0 852823687 12091392 1540 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1540 566 18 0 2934 0
vsize: 11808
[startup+350.021 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1566 0 0 0 34974 29 0 0 25 0 1 0 852823687 12091392 1540 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1540 566 18 0 2934 0
vsize: 11808
[startup+360.022 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1566 0 0 0 35973 30 0 0 25 0 1 0 852823687 12091392 1540 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1540 566 18 0 2934 0
vsize: 11808
[startup+370.022 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 36973 31 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+380.022 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 37972 32 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+390.023 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 38971 33 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+400.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 39969 35 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+410.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 40969 36 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+420.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 41969 36 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+430.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 42968 37 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+440.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 43967 38 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+450.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 44966 39 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+460.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1579 0 0 0 45966 40 0 0 25 0 1 0 852823687 12091392 1553 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1553 566 18 0 2934 0
vsize: 11808
[startup+470.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1662 0 0 0 46965 41 0 0 25 0 1 0 852823687 12484608 1636 4294967295 134512640 134581267 3221224576 3221223568 134560622 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3048 1636 566 18 0 3030 0
vsize: 12192
[startup+480.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1886 0 0 0 47964 41 0 0 25 0 1 0 852823687 13406208 1860 4294967295 134512640 134581267 3221224576 3221223440 134527111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3273 1860 566 18 0 3255 0
vsize: 13092
[startup+490.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1886 0 0 0 48964 42 0 0 25 0 1 0 852823687 13406208 1860 4294967295 134512640 134581267 3221224576 3221223440 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3273 1860 566 18 0 3255 0
vsize: 13092
[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1886 0 0 0 49964 43 0 0 25 0 1 0 852823687 13406208 1860 4294967295 134512640 134581267 3221224576 3221223488 134527791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3273 1860 566 18 0 3255 0
vsize: 13092
[startup+510.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1886 0 0 0 50963 43 0 0 25 0 1 0 852823687 13344768 1860 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 1860 566 18 0 3240 0
vsize: 13032
[startup+520.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1886 0 0 0 51963 44 0 0 25 0 1 0 852823687 13344768 1860 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 1860 566 18 0 3240 0
vsize: 13032
[startup+530.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1886 0 0 0 52963 44 0 0 25 0 1 0 852823687 13344768 1860 4294967295 134512640 134581267 3221224576 3221223488 134527676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 1860 566 18 0 3240 0
vsize: 13032
[startup+540.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1886 0 0 0 53962 45 0 0 25 0 1 0 852823687 13344768 1860 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 1860 566 18 0 3240 0
vsize: 13032
[startup+550.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1886 0 0 0 54961 46 0 0 25 0 1 0 852823687 13344768 1860 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 1860 566 18 0 3240 0
vsize: 13032
[startup+560.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 1886 0 0 0 55961 46 0 0 25 0 1 0 852823687 13344768 1860 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 1860 566 18 0 3240 0
vsize: 13032
[startup+570.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21862
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 56961 47 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+580.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 57960 48 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+590.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 58959 50 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+600.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 59958 50 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+610.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 60958 50 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+620.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 61957 51 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+630.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 62957 52 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+640.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 63957 53 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+650.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 64956 53 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+660.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 65956 54 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+670.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 66955 54 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+680.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 67955 55 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+690.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 68955 55 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+700.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 69955 56 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+710.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 70954 56 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+720.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 71954 57 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+730.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 72953 57 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+740.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 73953 58 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+750.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 74952 59 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+760.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 75951 61 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+770.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 76950 62 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223544 134527298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+780.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 77948 63 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+790.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 78948 64 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+800.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 79948 64 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+810.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 80948 65 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+820.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 81947 65 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+830.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 82947 66 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+840.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 83947 66 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+850.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 84946 67 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+860.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 85944 69 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+870.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 86944 69 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+880.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 87943 70 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+890.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 88943 70 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+900.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 89943 71 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+910.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 90943 71 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+920.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 91942 72 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+930.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 92941 73 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+940.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 93940 74 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+950.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 94941 74 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+960.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 95940 75 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+970.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 96940 75 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+980.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 97940 75 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+990.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2054 0 0 0 98940 75 0 0 25 0 1 0 852823687 14004224 2028 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2028 566 18 0 3401 0
vsize: 13676
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2215 0 0 0 99940 76 0 0 25 0 1 0 852823687 14667776 2189 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3581 2189 566 18 0 3563 0
vsize: 14324
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 100940 76 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 101940 77 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 102939 77 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 103939 78 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 104938 78 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223536 134554632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 105938 79 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223520 134559417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 106938 79 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 107938 79 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 108937 80 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 109937 81 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 110936 82 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 111935 83 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 112934 84 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 113934 84 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 114934 84 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 115934 85 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 116934 85 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 117934 85 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 14976
[startup+1188.88 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 21864
Raw data (stat): 21807 (Pueblo-v2) R 21806 21152 21151 0 -1 0 2367 0 0 0 117934 85 0 0 25 0 1 0 852823687 15335424 2341 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2341 566 18 0 3726 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.02
CPU user time (s): 1188.15
CPU system time (s): 0.869867
CPU usage (%): 100.012
Max. virtual memory (Kb): 14976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1430464
#### END VERIFIER DATA ####