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/miplib3/normalized-mps-v2-13-7-misc07.opb
MD5SUM	54df16ee65da54d5975ffedee80d2bb9
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1408128
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	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	11486079
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	280
Total number of constraints	471
Number of constraints which are clauses	127
Number of constraints which are cardinality constraints (but not clauses)	272
Number of constraints which are nor clauses,nor cardinality constraints	72
Minimum length of a constraint	1
Maximum length of a constraint	253
Trace number 27088

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        638568 kB
Buffers:         17060 kB
Cached:         358256 kB
SwapCached:       1064 kB
Active:          95480 kB
Inactive:       282472 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        638316 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            12524 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:28:07 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 18584 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/wulflinc21/normalized-mps-v2-13-7-misc07.opb
c #variables read: 280 - #constraints read: 507
s SATISFIABLE
v -COL260_bit_7 -COL260_bit_6 -COL260_bit_5 -COL260_bit_4 -COL260_bit_3 -COL260_bit_2 -COL260_bit_1 COL260_bit0 -COL260_bit1 -COL260_bit2 COL260_bit3 COL260_bit4 COL260_bit5 COL260_bit6 COL260_bit7 -COL260_bit8 COL260_bit9 -COL260_bit10 COL260_bit11 -COL260_bit12 COL260_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 -COL073_bit0 -COL074_bit0 -COL075_bit0 -COL076_bit0 COL077_bit0 -COL078_bit0 -COL079_bit0 -COL080_bit0 -COL081_bit0 -COL082_bit0 -COL083_bit0 -COL084_bit0 -COL085_bit0 -COL086_bit0 -COL087_bit0 -COL088_bit0 -COL089_bit0 -COL090_bit0 -COL091_bit0 -COL092_bit0 -COL093_bit0 -COL094_bit0 -COL095_bit0 COL096_bit0 -COL097_bit0 -COL098_bit0 -COL099_bit0 -COL100_bit0 -COL101_bit0 -COL102_bit0 -COL103_bit0 -COL104_bit0 -COL105_bit0 -COL106_bit0 -COL107_bit0 -COL108_bit0 -COL109_bit0 -COL110_bit0 -COL111_bit0 -COL112_bit0 -COL113_bit0 -COL114_bit0 -COL115_bit0 -COL116_bit0 -COL117_bit0 -COL118_bit0 -COL119_bit0 -COL120_bit0 -COL121_bit0 -COL122_bit0 -COL123_bit0 -COL124_bit0 -COL125_bit0 -COL126_bit0 -COL127_bit0 -COL128_bit0 -COL129_bit0 -COL130_bit0 -COL131_bit0 COL132_bit0 -COL133_bit0 -COL134_bit0 -COL135_bit0 -COL136_bit0 -COL137_bit0 -COL138_bit0 -COL139_bit0 -COL140_bit0 -COL141_bit0 -COL142_bit0 -COL143_bit0 -COL144_bit0 -COL145_bit0 -COL146_bit0 -COL147_bit0 -COL148_bit0 -COL149_bit0 -COL150_bit0 -COL151_bit0 -COL152_bit0 -COL153_bit0 COL154_bit0 -COL155_bit0 -COL156_bit0 -COL157_bit0 -COL158_bit0 -COL159_bit0 -COL160_bit0 -COL161_bit0 -COL162_bit0 -COL163_bit0 -COL164_bit0 -COL165_bit0 -COL166_bit0 -COL167_bit0 -COL168_bit0 -COL169_bit0 -COL170_bit0 -COL171_bit0 -COL172_bit0 -COL173_bit0 -COL174_bit0 -COL175_bit0 -COL176_bit0 -COL177_bit0 -COL178_bit0 -COL179_bit0 -COL180_bit0 -COL181_bit0 -COL182_bit0 -COL183_bit0 COL184_bit0 -COL185_bit0 -COL186_bit0 -COL187_bit0 -COL188_bit0 -COL189_bit0 -COL190_bit0 COL191_bit0 -COL192_bit0 -COL193_bit0 -COL194_bit0 -COL195_bit0 -COL196_bit0 -COL197_bit0 -COL198_bit0 -COL199_bit0 -COL200_bit0 COL201_bit0 -COL202_bit0 -COL203_bit0 -COL204_bit0 COL205_bit0 -COL206_bit0 -COL207_bit0 -COL208_bit0 -COL209_bit0 -COL210_bit0 -COL211_bit0 -COL212_bit0 -COL213_bit0 -COL214_bit0 -COL215_bit0 -COL216_bit0 -COL217_bit0 -COL218_bit0 -COL219_bit0 -COL220_bit0 -COL221_bit0 -COL222_bit0 -COL223_bit0 -COL224_bit0 -COL225_bit0 -COL226_bit0 -COL227_bit0 -COL228_bit0 -COL229_bit0 -COL230_bit0 -COL231_bit0 -COL232_bit0 -COL233_bit0 -COL234_bit0 -COL235_bit0 -COL236_bit0 -COL237_bit0 -COL238_bit0 -COL239_bit0 -COL240_bit0 -COL241_bit0 -COL242_bit0 -COL243_bit0 COL244_bit0 -COL245_bit0 COL246_bit0 -COL247_bit0 COL248_bit0 -COL249_bit0 COL250_bit0 -COL251_bit0 COL252_bit0 -COL253_bit0 COL254_bit0 -COL255_bit0 COL256_bit0 -COL257_bit0 COL258_bit0 -COL259_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/55 5011
Raw data (stat): 5011 (runsolver) R 5010 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 709904048 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 431 0 0 0 994 4 0 0 25 0 1 0 709904048 7368704 409 4294967295 134512640 134581331 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1799 409 566 18 0 1781 0
vsize: 7196
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 462 0 0 0 1990 8 0 0 25 0 1 0 709904048 7503872 440 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1832 440 566 18 0 1814 0
vsize: 7328
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 487 0 0 0 2988 10 0 0 25 0 1 0 709904048 7639040 465 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1865 465 566 18 0 1847 0
vsize: 7460
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 515 0 0 0 3984 13 0 0 25 0 1 0 709904048 7753728 493 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1893 493 566 18 0 1875 0
vsize: 7572
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 518 0 0 0 4981 16 0 0 25 0 1 0 709904048 7753728 496 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1893 496 566 18 0 1875 0
vsize: 7572
[startup+60.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 528 0 0 0 5979 19 0 0 25 0 1 0 709904048 7753728 506 4294967295 134512640 134581331 3221224592 3221223504 134527995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1893 506 566 18 0 1875 0
vsize: 7572
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 529 0 0 0 6977 21 0 0 25 0 1 0 709904048 7753728 507 4294967295 134512640 134581331 3221224592 3221223532 134559993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1893 507 566 18 0 1875 0
vsize: 7572
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 555 0 0 0 7975 24 0 0 25 0 1 0 709904048 7872512 533 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 533 566 18 0 1904 0
vsize: 7688
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 565 0 0 0 8972 26 0 0 25 0 1 0 709904048 7966720 543 4294967295 134512640 134581331 3221224592 3221223472 134520297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 543 566 18 0 1927 0
vsize: 7780
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 565 0 0 0 9970 28 0 0 25 0 1 0 709904048 7966720 543 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 543 566 18 0 1927 0
vsize: 7780
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 572 0 0 0 10969 30 0 0 25 0 1 0 709904048 7966720 550 4294967295 134512640 134581331 3221224592 3221223456 134527171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 550 566 18 0 1927 0
vsize: 7780
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 582 0 0 0 11967 32 0 0 25 0 1 0 709904048 7966720 560 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 560 566 18 0 1927 0
vsize: 7780
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 591 0 0 0 12964 35 0 0 25 0 1 0 709904048 8081408 569 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 569 566 18 0 1955 0
vsize: 7892
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 609 0 0 0 13963 37 0 0 25 0 1 0 709904048 8081408 587 4294967295 134512640 134581331 3221224592 3221223568 134560718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 609 0 0 0 14961 39 0 0 25 0 1 0 709904048 8081408 587 4294967295 134512640 134581331 3221224592 3221223476 134557913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 609 0 0 0 15959 41 0 0 25 0 1 0 709904048 8081408 587 4294967295 134512640 134581331 3221224592 3221223568 134560795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 609 0 0 0 16956 43 0 0 25 0 1 0 709904048 8081408 587 4294967295 134512640 134581331 3221224592 3221223476 134557930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 609 0 0 0 17954 45 0 0 25 0 1 0 709904048 8081408 587 4294967295 134512640 134581331 3221224592 3221223552 134554662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 609 0 0 0 18951 49 0 0 25 0 1 0 709904048 8081408 587 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 621 0 0 0 19950 50 0 0 25 0 1 0 709904048 8212480 599 4294967295 134512640 134581331 3221224592 3221223536 134516832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2005 599 566 18 0 1987 0
vsize: 8020
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 621 0 0 0 20948 52 0 0 25 0 1 0 709904048 8212480 599 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2005 599 566 18 0 1987 0
vsize: 8020
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 621 0 0 0 21946 55 0 0 25 0 1 0 709904048 8208384 599 4294967295 134512640 134581331 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2004 599 566 18 0 1986 0
vsize: 8016
[startup+229.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 631 0 0 0 22944 57 0 0 25 0 1 0 709904048 8204288 609 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2003 609 566 18 0 1985 0
vsize: 8012
[startup+239.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 641 0 0 0 23943 58 0 0 25 0 1 0 709904048 8335360 619 4294967295 134512640 134581331 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2035 619 566 18 0 2017 0
vsize: 8140
[startup+249.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 645 0 0 0 24942 59 0 0 25 0 1 0 709904048 8327168 623 4294967295 134512640 134581331 3221224592 3221223412 1075289770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2033 623 566 18 0 2015 0
vsize: 8132
[startup+259.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 645 0 0 0 25940 61 0 0 25 0 1 0 709904048 8323072 623 4294967295 134512640 134581331 3221224592 3221223312 134522611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 623 566 18 0 2014 0
vsize: 8128
[startup+269.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 648 0 0 0 26939 62 0 0 25 0 1 0 709904048 8323072 626 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 626 566 18 0 2014 0
vsize: 8128
[startup+279.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 651 0 0 0 27936 65 0 0 25 0 1 0 709904048 8323072 629 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 629 566 18 0 2014 0
vsize: 8128
[startup+289.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 654 0 0 0 28934 68 0 0 25 0 1 0 709904048 8323072 632 4294967295 134512640 134581331 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+299.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 656 0 0 0 29932 70 0 0 25 0 1 0 709904048 8323072 634 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 634 566 18 0 2014 0
vsize: 8128
[startup+309.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 659 0 0 0 30930 72 0 0 25 0 1 0 709904048 8323072 637 4294967295 134512640 134581331 3221224592 3221223536 134559476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 637 566 18 0 2014 0
vsize: 8128
[startup+319.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 668 0 0 0 31928 74 0 0 25 0 1 0 709904048 8323072 646 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 646 566 18 0 2014 0
vsize: 8128
[startup+329.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 668 0 0 0 32926 76 0 0 25 0 1 0 709904048 8323072 646 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 646 566 18 0 2014 0
vsize: 8128
[startup+339.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 668 0 0 0 33924 78 0 0 25 0 1 0 709904048 8323072 646 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 646 566 18 0 2014 0
vsize: 8128
[startup+349.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 668 0 0 0 34922 80 0 0 25 0 1 0 709904048 8323072 646 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 646 566 18 0 2014 0
vsize: 8128
[startup+359.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 682 0 0 0 35920 82 0 0 25 0 1 0 709904048 8458240 660 4294967295 134512640 134581331 3221224592 3221223456 134527162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2065 660 566 18 0 2047 0
vsize: 8260
[startup+369.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 682 0 0 0 36918 84 0 0 25 0 1 0 709904048 8445952 660 4294967295 134512640 134581331 3221224592 3221223572 134561096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2062 660 566 18 0 2044 0
vsize: 8248
[startup+379.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 682 0 0 0 37917 86 0 0 25 0 1 0 709904048 8445952 660 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2062 660 566 18 0 2044 0
vsize: 8248
[startup+389.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 682 0 0 0 38916 87 0 0 25 0 1 0 709904048 8445952 660 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2062 660 566 18 0 2044 0
vsize: 8248
[startup+399.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 682 0 0 0 39915 89 0 0 25 0 1 0 709904048 8445952 660 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2062 660 566 18 0 2044 0
vsize: 8248
[startup+409.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 687 0 0 0 40913 91 0 0 25 0 1 0 709904048 8445952 665 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2062 665 566 18 0 2044 0
vsize: 8248
[startup+419.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 687 0 0 0 41910 93 0 0 25 0 1 0 709904048 8445952 665 4294967295 134512640 134581331 3221224592 3221223488 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2062 665 566 18 0 2044 0
vsize: 8248
[startup+429.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 687 0 0 0 42909 95 0 0 25 0 1 0 709904048 8445952 665 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2062 665 566 18 0 2044 0
vsize: 8248
[startup+439.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 687 0 0 0 43907 97 0 0 25 0 1 0 709904048 8445952 665 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2062 665 566 18 0 2044 0
vsize: 8248
[startup+449.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 704 0 0 0 44905 99 0 0 25 0 1 0 709904048 8499200 682 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2075 682 566 18 0 2057 0
vsize: 8300
[startup+459.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 704 0 0 0 45904 100 0 0 25 0 1 0 709904048 8499200 682 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2075 682 566 18 0 2057 0
vsize: 8300
[startup+469.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 707 0 0 0 46902 102 0 0 25 0 1 0 709904048 8499200 685 4294967295 134512640 134581331 3221224592 3221223568 134560795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2075 685 566 18 0 2057 0
vsize: 8300
[startup+479.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 712 0 0 0 47900 105 0 0 25 0 1 0 709904048 8499200 690 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2075 690 566 18 0 2057 0
vsize: 8300
[startup+489.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 712 0 0 0 48899 106 0 0 25 0 1 0 709904048 8499200 690 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2075 690 566 18 0 2057 0
vsize: 8300
[startup+499.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 716 0 0 0 49897 108 0 0 25 0 1 0 709904048 8630272 694 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2107 694 566 18 0 2089 0
vsize: 8428
[startup+509.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 716 0 0 0 50895 110 0 0 25 0 1 0 709904048 8630272 694 4294967295 134512640 134581331 3221224592 3221223504 134527683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2107 694 566 18 0 2089 0
vsize: 8428
[startup+519.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 728 0 0 0 51894 112 0 0 25 0 1 0 709904048 8630272 706 4294967295 134512640 134581331 3221224592 3221223560 134519777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2107 706 566 18 0 2089 0
vsize: 8428
[startup+529.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 728 0 0 0 52893 113 0 0 25 0 1 0 709904048 8630272 706 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2107 706 566 18 0 2089 0
vsize: 8428
[startup+539.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 741 0 0 0 53891 115 0 0 25 0 1 0 709904048 8630272 719 4294967295 134512640 134581331 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2107 719 566 18 0 2089 0
vsize: 8428
[startup+549.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 54890 116 0 0 25 0 1 0 709904048 8757248 730 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2138 730 566 18 0 2120 0
vsize: 8552
[startup+559.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 55887 119 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+569.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 56885 121 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+579.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 57884 123 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+589.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 58882 124 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+599.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 59880 126 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+609.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 60879 128 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+619.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 61878 129 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+629.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 62876 131 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+639.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 63875 133 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+649.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 64873 135 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+659.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 65871 137 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+669.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 66870 139 0 0 25 0 1 0 709904048 8716288 730 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+679.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 67868 140 0 0 25 0 1 0 709904048 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+689.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 68867 141 0 0 25 0 1 0 709904048 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+699.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 69866 142 0 0 25 0 1 0 709904048 8712192 730 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+709.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 70864 144 0 0 25 0 1 0 709904048 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+719.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 71863 146 0 0 25 0 1 0 709904048 8712192 730 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+729.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 72861 148 0 0 25 0 1 0 709904048 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134527995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+739.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 752 0 0 0 73860 150 0 0 25 0 1 0 709904048 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+749.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 754 0 0 0 74858 152 0 0 25 0 1 0 709904048 8712192 732 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 732 566 18 0 2109 0
vsize: 8508
[startup+759.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 754 0 0 0 75856 154 0 0 25 0 1 0 709904048 8712192 732 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2127 732 566 18 0 2109 0
vsize: 8508
[startup+769.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 768 0 0 0 76855 155 0 0 25 0 1 0 709904048 8802304 746 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+779.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 768 0 0 0 77853 157 0 0 25 0 1 0 709904048 8802304 746 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+789.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 768 0 0 0 78851 159 0 0 25 0 1 0 709904048 8802304 746 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+799.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 768 0 0 0 79850 160 0 0 25 0 1 0 709904048 8802304 746 4294967295 134512640 134581331 3221224592 3221223504 134527492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+809.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 768 0 0 0 80849 162 0 0 25 0 1 0 709904048 8802304 746 4294967295 134512640 134581331 3221224592 3221223584 134561137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+819.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 768 0 0 0 81847 164 0 0 25 0 1 0 709904048 8802304 746 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+829.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 82844 167 0 0 25 0 1 0 709904048 8933376 765 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 765 566 18 0 2163 0
vsize: 8724
[startup+839.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 83842 170 0 0 25 0 1 0 709904048 8933376 765 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 765 566 18 0 2163 0
vsize: 8724
[startup+849.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 84839 172 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223376 134528824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+859.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 85838 173 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+869.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 86836 176 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+879.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 87835 177 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+889.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 88833 179 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+899.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 89832 180 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+909.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 90831 182 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+919.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 91829 184 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+929.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 92827 185 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+939.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 93825 188 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+949.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 94825 188 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+959.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 95824 189 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+969.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 96823 190 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+979.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 97822 192 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+989.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 98820 194 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+999.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 99819 195 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 100817 198 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 101816 199 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 787 0 0 0 102814 201 0 0 25 0 1 0 709904048 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 791 0 0 0 103813 202 0 0 25 0 1 0 709904048 8937472 768 4294967295 134512640 134581331 3221224592 3221223536 134516839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2182 768 566 18 0 2164 0
vsize: 8728
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 791 0 0 0 104812 203 0 0 25 0 1 0 709904048 8937472 768 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2182 768 566 18 0 2164 0
vsize: 8728
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 791 0 0 0 105811 205 0 0 25 0 1 0 709904048 8937472 768 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2182 768 566 18 0 2164 0
vsize: 8728
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 791 0 0 0 106809 206 0 0 25 0 1 0 709904048 8933376 768 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 768 566 18 0 2163 0
vsize: 8724
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 796 0 0 0 107808 208 0 0 25 0 1 0 709904048 8933376 773 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 773 566 18 0 2163 0
vsize: 8724
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 796 0 0 0 108807 209 0 0 25 0 1 0 709904048 8933376 773 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 773 566 18 0 2163 0
vsize: 8724
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 797 0 0 0 109806 210 0 0 25 0 1 0 709904048 8933376 774 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 774 566 18 0 2163 0
vsize: 8724
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 812 0 0 0 110805 212 0 0 25 0 1 0 709904048 8933376 789 4294967295 134512640 134581331 3221224592 3221223312 134523457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 789 566 18 0 2163 0
vsize: 8724
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 821 0 0 0 111803 213 0 0 25 0 1 0 709904048 9064448 798 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2213 798 566 18 0 2195 0
vsize: 8852
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 821 0 0 0 112802 214 0 0 25 0 1 0 709904048 9031680 798 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2205 798 566 18 0 2187 0
vsize: 8820
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 821 0 0 0 113800 216 0 0 25 0 1 0 709904048 9027584 798 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2204 798 566 18 0 2186 0
vsize: 8816
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 821 0 0 0 114800 217 0 0 25 0 1 0 709904048 8998912 798 4294967295 134512640 134581331 3221224592 3221222080 134532805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2197 798 566 18 0 2179 0
vsize: 8788
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 821 0 0 0 115798 219 0 0 25 0 1 0 709904048 8974336 798 4294967295 134512640 134581331 3221224592 3221223568 134560807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2191 798 566 18 0 2173 0
vsize: 8764
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 821 0 0 0 116797 221 0 0 25 0 1 0 709904048 8974336 798 4294967295 134512640 134581331 3221224592 3221223368 1075285790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2191 798 566 18 0 2173 0
vsize: 8764
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 821 0 0 0 117796 222 0 0 25 0 1 0 709904048 8953856 798 4294967295 134512640 134581331 3221224592 3221223536 134558978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2186 798 566 18 0 2168 0
vsize: 8744
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5011
Raw data (stat): 5011 (Pueblo) R 5010 32363 32362 0 -1 0 821 0 0 0 117796 222 0 0 25 0 1 0 709904048 8953856 798 4294967295 134512640 134581331 3221224592 3221223536 134558978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2186 798 566 18 0 2168 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1186.77
CPU system time (s): 2.24066
CPU usage (%): 100.016
Max. virtual memory (Kb): 8852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1408128
#### END VERIFIER DATA ####