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 39238

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        416200 kB
Buffers:         31388 kB
Cached:         564424 kB
SwapCached:       1160 kB
Active:          43096 kB
Inactive:       555192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        415948 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14380 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 00:36:33 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27302 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/wulflinc2/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
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.67 0.88 0.88 2/54 1764
Raw data (stat): 1764 (runsolver) R 1763 31399 31398 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 854042235 884736 93 4294967295 134512640 135332820 3221224464 3221219508 134703346 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99985 s]
Raw data (loadavg): 0.72 0.89 0.88 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 384 0 0 0 988 10 0 0 25 0 1 0 854042235 7229440 358 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 358 566 18 0 1747 0
vsize: 7060
[startup+20.0002 s]
Raw data (loadavg): 0.77 0.89 0.88 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 399 0 0 0 1979 19 0 0 25 0 1 0 854042235 7229440 373 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 373 566 18 0 1747 0
vsize: 7060
[startup+30.0002 s]
Raw data (loadavg): 0.80 0.89 0.88 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 416 0 0 0 2969 29 0 0 25 0 1 0 854042235 7360512 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 390 566 18 0 1779 0
vsize: 7188
[startup+39.9996 s]
Raw data (loadavg): 0.83 0.89 0.89 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 426 0 0 0 3958 40 0 0 25 0 1 0 854042235 7360512 400 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 400 566 18 0 1779 0
vsize: 7188
[startup+50.0003 s]
Raw data (loadavg): 0.86 0.90 0.89 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 447 0 0 0 4950 48 0 0 25 0 1 0 854042235 7434240 421 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 421 566 18 0 1797 0
vsize: 7260
[startup+60.0003 s]
Raw data (loadavg): 0.88 0.90 0.89 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 447 0 0 0 5943 55 0 0 25 0 1 0 854042235 7434240 421 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 421 566 18 0 1797 0
vsize: 7260
[startup+70.0007 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 447 0 0 0 6938 61 0 0 25 0 1 0 854042235 7434240 421 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 421 566 18 0 1797 0
vsize: 7260
[startup+80.0014 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 453 0 0 0 7930 69 0 0 25 0 1 0 854042235 7434240 427 4294967295 134512640 134581267 3221224576 3221223520 134558762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 427 566 18 0 1797 0
vsize: 7260
[startup+90.0014 s]
Raw data (loadavg): 0.93 0.91 0.89 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 470 0 0 0 8925 74 0 0 25 0 1 0 854042235 7565312 444 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1847 444 566 18 0 1829 0
vsize: 7388
[startup+100.002 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 470 0 0 0 9918 82 0 0 25 0 1 0 854042235 7565312 444 4294967295 134512640 134581267 3221224576 3221223488 134527464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1847 444 566 18 0 1829 0
vsize: 7388
[startup+110.002 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 485 0 0 0 10912 88 0 0 25 0 1 0 854042235 7565312 459 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1847 459 566 18 0 1829 0
vsize: 7388
[startup+120.003 s]
Raw data (loadavg): 0.95 0.92 0.89 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 494 0 0 0 11905 95 0 0 25 0 1 0 854042235 7680000 468 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1875 468 566 18 0 1857 0
vsize: 7500
[startup+130.002 s]
Raw data (loadavg): 0.96 0.92 0.89 3/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 494 0 0 0 12898 102 0 0 25 0 1 0 854042235 7680000 468 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1875 468 566 18 0 1857 0
vsize: 7500
[startup+140.002 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 500 0 0 0 13891 110 0 0 25 0 1 0 854042235 7680000 474 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1875 474 566 18 0 1857 0
vsize: 7500
[startup+150.003 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 505 0 0 0 14884 116 0 0 25 0 1 0 854042235 7680000 479 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1875 479 566 18 0 1857 0
vsize: 7500
[startup+160.002 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 513 0 0 0 15878 123 0 0 25 0 1 0 854042235 7680000 487 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1875 487 566 18 0 1857 0
vsize: 7500
[startup+170.003 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 513 0 0 0 16872 129 0 0 25 0 1 0 854042235 7680000 487 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1875 487 566 18 0 1857 0
vsize: 7500
[startup+180.003 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 529 0 0 0 17865 137 0 0 25 0 1 0 854042235 7811072 503 4294967295 134512640 134581267 3221224576 3221223396 1075289770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+190.002 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 529 0 0 0 18858 143 0 0 25 0 1 0 854042235 7811072 503 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+200.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 529 0 0 0 19848 153 0 0 25 0 1 0 854042235 7811072 503 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+210.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 529 0 0 0 20842 160 0 0 25 0 1 0 854042235 7811072 503 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+220.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 529 0 0 0 21836 166 0 0 25 0 1 0 854042235 7811072 503 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+230.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 529 0 0 0 22829 173 0 0 25 0 1 0 854042235 7811072 503 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+240.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 530 0 0 0 23824 178 0 0 25 0 1 0 854042235 7811072 504 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 504 566 18 0 1889 0
vsize: 7628
[startup+250.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 547 0 0 0 24818 184 0 0 25 0 1 0 854042235 7811072 521 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+260.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 547 0 0 0 25813 190 0 0 25 0 1 0 854042235 7811072 521 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+270.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 547 0 0 0 26806 197 0 0 25 0 1 0 854042235 7811072 521 4294967295 134512640 134581267 3221224576 3221223488 134527554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+280.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 547 0 0 0 27799 203 0 0 25 0 1 0 854042235 7811072 521 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+290.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 547 0 0 0 28792 211 0 0 25 0 1 0 854042235 7811072 521 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+300.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 547 0 0 0 29784 219 0 0 25 0 1 0 854042235 7811072 521 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+310.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 547 0 0 0 30776 227 0 0 25 0 1 0 854042235 7811072 521 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+320.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 548 0 0 0 31770 234 0 0 25 0 1 0 854042235 7811072 522 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 522 566 18 0 1889 0
vsize: 7628
[startup+330.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 551 0 0 0 32762 242 0 0 25 0 1 0 854042235 7892992 525 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1927 525 566 18 0 1909 0
vsize: 7708
[startup+340.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 561 0 0 0 33753 251 0 0 25 0 1 0 854042235 7892992 535 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1927 535 566 18 0 1909 0
vsize: 7708
[startup+350.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 34748 257 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+360.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 35741 263 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+370.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 36732 272 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+380.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 37724 280 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+390.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 38716 289 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+400.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 39709 296 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+410.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 40702 304 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+420.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 41695 311 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223184 1075290861 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+430.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 42687 319 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+440.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 580 0 0 0 43681 325 0 0 25 0 1 0 854042235 8024064 554 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+450.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 582 0 0 0 44675 332 0 0 25 0 1 0 854042235 8024064 556 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 556 566 18 0 1941 0
vsize: 7836
[startup+460.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 591 0 0 0 45669 338 0 0 25 0 1 0 854042235 8024064 565 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 565 566 18 0 1941 0
vsize: 7836
[startup+470.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 591 0 0 0 46663 343 0 0 25 0 1 0 854042235 8024064 565 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 565 566 18 0 1941 0
vsize: 7836
[startup+480.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 591 0 0 0 47658 349 0 0 25 0 1 0 854042235 8024064 565 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 565 566 18 0 1941 0
vsize: 7836
[startup+490.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 591 0 0 0 48652 355 0 0 25 0 1 0 854042235 8024064 565 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 565 566 18 0 1941 0
vsize: 7836
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 597 0 0 0 49647 360 0 0 25 0 1 0 854042235 8024064 571 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 571 566 18 0 1941 0
vsize: 7836
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 597 0 0 0 50641 366 0 0 25 0 1 0 854042235 8024064 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 571 566 18 0 1941 0
vsize: 7836
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 604 0 0 0 51636 372 0 0 25 0 1 0 854042235 8114176 578 4294967295 134512640 134581267 3221224576 3221223504 134519988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 578 566 18 0 1963 0
vsize: 7924
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 604 0 0 0 52629 379 0 0 25 0 1 0 854042235 8114176 578 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 578 566 18 0 1963 0
vsize: 7924
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 604 0 0 0 53623 385 0 0 25 0 1 0 854042235 8114176 578 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 578 566 18 0 1963 0
vsize: 7924
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 608 0 0 0 54617 391 0 0 25 0 1 0 854042235 8114176 582 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 608 0 0 0 55611 397 0 0 25 0 1 0 854042235 8114176 582 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 608 0 0 0 56605 403 0 0 25 0 1 0 854042235 8114176 582 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 608 0 0 0 57599 410 0 0 25 0 1 0 854042235 8114176 582 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 608 0 0 0 58593 416 0 0 25 0 1 0 854042235 8114176 582 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 608 0 0 0 59586 424 0 0 25 0 1 0 854042235 8114176 582 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 608 0 0 0 60576 433 0 0 25 0 1 0 854042235 8114176 582 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 608 0 0 0 61568 441 0 0 25 0 1 0 854042235 8114176 582 4294967295 134512640 134581267 3221224576 3221223440 134560206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 609 0 0 0 62561 449 0 0 25 0 1 0 854042235 8114176 583 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 609 0 0 0 63554 456 0 0 25 0 1 0 854042235 8114176 583 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 609 0 0 0 64549 461 0 0 25 0 1 0 854042235 8114176 583 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 609 0 0 0 65542 468 0 0 25 0 1 0 854042235 8114176 583 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 609 0 0 0 66536 475 0 0 25 0 1 0 854042235 8114176 583 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 609 0 0 0 67529 482 0 0 25 0 1 0 854042235 8114176 583 4294967295 134512640 134581267 3221224576 3221223536 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 609 0 0 0 68523 488 0 0 25 0 1 0 854042235 8114176 583 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 609 0 0 0 69516 495 0 0 25 0 1 0 854042235 8114176 583 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 609 0 0 0 70509 502 0 0 25 0 1 0 854042235 8114176 583 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 613 0 0 0 71503 509 0 0 25 0 1 0 854042235 8114176 587 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 587 566 18 0 1963 0
vsize: 7924
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 622 0 0 0 72496 516 0 0 25 0 1 0 854042235 8114176 596 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 622 0 0 0 73489 523 0 0 25 0 1 0 854042235 8114176 596 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 622 0 0 0 74482 531 0 0 25 0 1 0 854042235 8114176 596 4294967295 134512640 134581267 3221224576 3221223488 134527396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 622 0 0 0 75475 538 0 0 25 0 1 0 854042235 8114176 596 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 622 0 0 0 76467 546 0 0 25 0 1 0 854042235 8114176 596 4294967295 134512640 134581267 3221224576 3221223488 134527621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 622 0 0 0 77462 551 0 0 25 0 1 0 854042235 8114176 596 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 622 0 0 0 78455 558 0 0 25 0 1 0 854042235 8114176 596 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 79451 563 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 80445 569 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223464 1075285665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 81438 576 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 82431 583 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 83425 589 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 84417 597 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 85412 603 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 86405 609 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 87399 616 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 632 0 0 0 88393 622 0 0 25 0 1 0 854042235 8196096 606 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 639 0 0 0 89388 628 0 0 25 0 1 0 854042235 8196096 613 4294967295 134512640 134581267 3221224576 3221223264 1075288633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 613 566 18 0 1983 0
vsize: 8004
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 639 0 0 0 90380 635 0 0 25 0 1 0 854042235 8196096 613 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 613 566 18 0 1983 0
vsize: 8004
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 639 0 0 0 91372 644 0 0 25 0 1 0 854042235 8196096 613 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 613 566 18 0 1983 0
vsize: 8004
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 92367 649 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 93360 656 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 94352 664 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 95345 672 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 96337 679 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 97330 687 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 98321 696 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 99311 707 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223284 1075289600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 100299 718 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 101287 730 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 102277 741 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 103267 751 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 104258 760 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 105246 772 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 106237 782 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 107228 791 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 643 0 0 0 108218 801 0 0 25 0 1 0 854042235 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 109209 810 0 0 25 0 1 0 854042235 8298496 623 4294967295 134512640 134581267 3221224576 3221223568 134561096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 623 566 18 0 2008 0
vsize: 8104
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 110199 820 0 0 25 0 1 0 854042235 8294400 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2025 623 566 18 0 2007 0
vsize: 8100
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 111193 827 0 0 25 0 1 0 854042235 8294400 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2025 623 566 18 0 2007 0
vsize: 8100
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 112183 836 0 0 25 0 1 0 854042235 8290304 623 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2024 623 566 18 0 2006 0
vsize: 8096
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 113171 848 0 0 25 0 1 0 854042235 8290304 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2024 623 566 18 0 2006 0
vsize: 8096
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 114163 857 0 0 25 0 1 0 854042235 8290304 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2024 623 566 18 0 2006 0
vsize: 8096
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 115152 869 0 0 25 0 1 0 854042235 8261632 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2017 623 566 18 0 1999 0
vsize: 8068
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 116140 881 0 0 25 0 1 0 854042235 8261632 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2017 623 566 18 0 1999 0
vsize: 8068
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 117127 893 0 0 25 0 1 0 854042235 8261632 623 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2017 623 566 18 0 1999 0
vsize: 8068
[startup+1188.82 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1764
Raw data (stat): 1764 (Pueblo-v2) R 1763 31399 31398 0 -1 0 649 0 0 0 117127 893 0 0 25 0 1 0 854042235 8261632 623 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2017 623 566 18 0 1999 0
vsize: 0

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