PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb
MD5SUM	9cc94d1db4d494288ef67a8d5ad5d77e
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 39121

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        301640 kB
Buffers:         21680 kB
Cached:         688748 kB
SwapCached:        240 kB
Active:          27952 kB
Inactive:       685004 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        301388 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14324 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:18:52 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27181 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/wulflinc3/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
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.80 0.95 0.91 1/54 19792
Raw data (stat): 19792 (runsolver) R 19791 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852844403 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.83 0.95 0.91 2/54 19792
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 384 0 0 0 989 9 0 0 25 0 1 0 852844403 7229440 358 4294967295 134512640 134581267 3221224576 3221223520 134559268 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.0013 s]
Raw data (loadavg): 0.85 0.95 0.91 2/54 19792
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 399 0 0 0 1980 18 0 0 25 0 1 0 852844403 7229440 373 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 373 566 18 0 1747 0
vsize: 7060
[startup+30.0022 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 19792
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 416 0 0 0 2971 28 0 0 25 0 1 0 852844403 7360512 390 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1797 390 566 18 0 1779 0
vsize: 7188
[startup+40.0023 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 19792
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 426 0 0 0 3960 38 0 0 25 0 1 0 852844403 7360512 400 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1797 400 566 18 0 1779 0
vsize: 7188
[startup+50.0029 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 19792
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 447 0 0 0 4954 44 0 0 25 0 1 0 852844403 7434240 421 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 421 566 18 0 1797 0
vsize: 7260
[startup+60.0035 s]
Raw data (loadavg): 0.92 0.96 0.91 3/55 19793
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 447 0 0 0 5947 52 0 0 25 0 1 0 852844403 7434240 421 4294967295 134512640 134581267 3221224576 3221223484 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 421 566 18 0 1797 0
vsize: 7260
[startup+70.0049 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19845
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 447 0 0 0 6940 59 0 0 25 0 1 0 852844403 7434240 421 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 421 566 18 0 1797 0
vsize: 7260
[startup+80.0057 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19845
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 453 0 0 0 7932 67 0 0 25 0 1 0 852844403 7434240 427 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 427 566 18 0 1797 0
vsize: 7260
[startup+90.0052 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19845
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 470 0 0 0 8924 75 0 0 25 0 1 0 852844403 7565312 444 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1847 444 566 18 0 1829 0
vsize: 7388
[startup+100.006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19845
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 470 0 0 0 9916 83 0 0 25 0 1 0 852844403 7565312 444 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1847 444 566 18 0 1829 0
vsize: 7388
[startup+110.007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19845
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 485 0 0 0 10909 90 0 0 25 0 1 0 852844403 7565312 459 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1847 459 566 18 0 1829 0
vsize: 7388
[startup+120.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19845
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 494 0 0 0 11903 96 0 0 25 0 1 0 852844403 7680000 468 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1875 468 566 18 0 1857 0
vsize: 7500
[startup+130.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19845
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 494 0 0 0 12896 104 0 0 25 0 1 0 852844403 7680000 468 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1875 468 566 18 0 1857 0
vsize: 7500
[startup+140.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 500 0 0 0 13890 110 0 0 25 0 1 0 852844403 7680000 474 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1875 474 566 18 0 1857 0
vsize: 7500
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 505 0 0 0 14885 115 0 0 25 0 1 0 852844403 7680000 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1875 479 566 18 0 1857 0
vsize: 7500
[startup+160.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 513 0 0 0 15878 123 0 0 25 0 1 0 852844403 7680000 487 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1875 487 566 18 0 1857 0
vsize: 7500
[startup+170.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 513 0 0 0 16870 131 0 0 25 0 1 0 852844403 7680000 487 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1875 487 566 18 0 1857 0
vsize: 7500
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 529 0 0 0 17864 137 0 0 25 0 1 0 852844403 7811072 503 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 529 0 0 0 18857 144 0 0 25 0 1 0 852844403 7811072 503 4294967295 134512640 134581267 3221224576 3221223616 134564993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 529 0 0 0 19849 152 0 0 25 0 1 0 852844403 7811072 503 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 529 0 0 0 20841 160 0 0 25 0 1 0 852844403 7811072 503 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 529 0 0 0 21834 168 0 0 25 0 1 0 852844403 7811072 503 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 529 0 0 0 22828 174 0 0 25 0 1 0 852844403 7811072 503 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 530 0 0 0 23823 179 0 0 25 0 1 0 852844403 7811072 504 4294967295 134512640 134581267 3221224576 3221223488 134531500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 504 566 18 0 1889 0
vsize: 7628
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 547 0 0 0 24817 185 0 0 25 0 1 0 852844403 7811072 521 4294967295 134512640 134581267 3221224576 3221223520 134558800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 547 0 0 0 25809 194 0 0 25 0 1 0 852844403 7811072 521 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 547 0 0 0 26804 199 0 0 25 0 1 0 852844403 7811072 521 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 547 0 0 0 27797 206 0 0 25 0 1 0 852844403 7811072 521 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 547 0 0 0 28788 215 0 0 25 0 1 0 852844403 7811072 521 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 547 0 0 0 29781 222 0 0 25 0 1 0 852844403 7811072 521 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 547 0 0 0 30774 230 0 0 25 0 1 0 852844403 7811072 521 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 521 566 18 0 1889 0
vsize: 7628
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 548 0 0 0 31768 236 0 0 25 0 1 0 852844403 7811072 522 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 522 566 18 0 1889 0
vsize: 7628
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 551 0 0 0 32763 241 0 0 25 0 1 0 852844403 7892992 525 4294967295 134512640 134581267 3221224576 3221223396 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 525 566 18 0 1909 0
vsize: 7708
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 561 0 0 0 33756 248 0 0 25 0 1 0 852844403 7892992 535 4294967295 134512640 134581267 3221224576 3221223600 134561614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 535 566 18 0 1909 0
vsize: 7708
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 34750 254 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 35742 262 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19847
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 36735 270 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 37727 278 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223264 1075288432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 38720 285 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 39714 292 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223488 134527355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 40707 299 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 41699 307 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 42691 315 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 580 0 0 0 43685 321 0 0 25 0 1 0 852844403 8024064 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 554 566 18 0 1941 0
vsize: 7836
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 582 0 0 0 44677 329 0 0 25 0 1 0 852844403 8024064 556 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 556 566 18 0 1941 0
vsize: 7836
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 591 0 0 0 45671 336 0 0 25 0 1 0 852844403 8024064 565 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 565 566 18 0 1941 0
vsize: 7836
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 591 0 0 0 46665 342 0 0 25 0 1 0 852844403 8024064 565 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 565 566 18 0 1941 0
vsize: 7836
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 591 0 0 0 47658 349 0 0 25 0 1 0 852844403 8024064 565 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 565 566 18 0 1941 0
vsize: 7836
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 591 0 0 0 48652 355 0 0 25 0 1 0 852844403 8024064 565 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 565 566 18 0 1941 0
vsize: 7836
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 591 0 0 0 49646 361 0 0 25 0 1 0 852844403 8024064 565 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 565 566 18 0 1941 0
vsize: 7836
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 597 0 0 0 50640 368 0 0 25 0 1 0 852844403 8024064 571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 571 566 18 0 1941 0
vsize: 7836
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 604 0 0 0 51633 375 0 0 25 0 1 0 852844403 8114176 578 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 578 566 18 0 1963 0
vsize: 7924
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 604 0 0 0 52628 380 0 0 25 0 1 0 852844403 8114176 578 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 578 566 18 0 1963 0
vsize: 7924
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 604 0 0 0 53622 386 0 0 25 0 1 0 852844403 8114176 578 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 578 566 18 0 1963 0
vsize: 7924
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 608 0 0 0 54615 393 0 0 25 0 1 0 852844403 8114176 582 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 608 0 0 0 55608 401 0 0 25 0 1 0 852844403 8114176 582 4294967295 134512640 134581267 3221224576 3221223264 1075288432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 608 0 0 0 56600 408 0 0 25 0 1 0 852844403 8114176 582 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 608 0 0 0 57593 416 0 0 25 0 1 0 852844403 8114176 582 4294967295 134512640 134581267 3221224576 3221223460 134560152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 608 0 0 0 58586 423 0 0 25 0 1 0 852844403 8114176 582 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 608 0 0 0 59580 429 0 0 25 0 1 0 852844403 8114176 582 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 608 0 0 0 60574 435 0 0 25 0 1 0 852844403 8114176 582 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 608 0 0 0 61566 443 0 0 25 0 1 0 852844403 8114176 582 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 582 566 18 0 1963 0
vsize: 7924
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 609 0 0 0 62559 451 0 0 25 0 1 0 852844403 8114176 583 4294967295 134512640 134581267 3221224576 3221223472 134517792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 609 0 0 0 63553 457 0 0 25 0 1 0 852844403 8114176 583 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 609 0 0 0 64545 465 0 0 25 0 1 0 852844403 8114176 583 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 609 0 0 0 65540 471 0 0 25 0 1 0 852844403 8114176 583 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 609 0 0 0 66533 477 0 0 25 0 1 0 852844403 8114176 583 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 609 0 0 0 67527 484 0 0 25 0 1 0 852844403 8114176 583 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 609 0 0 0 68519 492 0 0 25 0 1 0 852844403 8114176 583 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 609 0 0 0 69512 499 0 0 25 0 1 0 852844403 8114176 583 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 609 0 0 0 70506 505 0 0 25 0 1 0 852844403 8114176 583 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 583 566 18 0 1963 0
vsize: 7924
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 613 0 0 0 71500 512 0 0 25 0 1 0 852844403 8114176 587 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 587 566 18 0 1963 0
vsize: 7924
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 622 0 0 0 72493 519 0 0 25 0 1 0 852844403 8114176 596 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 622 0 0 0 73485 527 0 0 25 0 1 0 852844403 8114176 596 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 622 0 0 0 74479 533 0 0 25 0 1 0 852844403 8114176 596 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 622 0 0 0 75471 541 0 0 25 0 1 0 852844403 8114176 596 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 622 0 0 0 76464 548 0 0 25 0 1 0 852844403 8114176 596 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 622 0 0 0 77458 554 0 0 25 0 1 0 852844403 8114176 596 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 622 0 0 0 78453 560 0 0 25 0 1 0 852844403 8114176 596 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 596 566 18 0 1963 0
vsize: 7924
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 79447 566 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 80441 572 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223504 134519826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 81434 580 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 82426 587 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 83420 594 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 84411 602 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 85405 608 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223504 134519896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 86400 614 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 87395 619 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223520 134558812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 632 0 0 0 88389 625 0 0 25 0 1 0 852844403 8196096 606 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 606 566 18 0 1983 0
vsize: 8004
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 639 0 0 0 89385 630 0 0 25 0 1 0 852844403 8196096 613 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 613 566 18 0 1983 0
vsize: 8004
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 639 0 0 0 90378 637 0 0 25 0 1 0 852844403 8196096 613 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 613 566 18 0 1983 0
vsize: 8004
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 639 0 0 0 91372 643 0 0 25 0 1 0 852844403 8196096 613 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 613 566 18 0 1983 0
vsize: 8004
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 92365 650 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 93359 657 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 94349 666 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 95341 674 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 96333 683 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 97327 689 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 98319 697 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 99310 706 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 100296 720 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 101287 730 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 102274 742 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 103264 753 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223488 134527420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 104251 766 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 105237 780 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 106227 790 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 107216 802 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 643 0 0 0 108206 812 0 0 25 0 1 0 852844403 8196096 617 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 109195 823 0 0 25 0 1 0 852844403 8327168 623 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2033 623 566 18 0 2015 0
vsize: 8132
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 110186 832 0 0 25 0 1 0 852844403 8294400 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2025 623 566 18 0 2007 0
vsize: 8100
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 111177 841 0 0 25 0 1 0 852844403 8294400 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2025 623 566 18 0 2007 0
vsize: 8100
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 112168 850 0 0 25 0 1 0 852844403 8290304 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2024 623 566 18 0 2006 0
vsize: 8096
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 113159 859 0 0 25 0 1 0 852844403 8290304 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2024 623 566 18 0 2006 0
vsize: 8096
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 114152 867 0 0 25 0 1 0 852844403 8290304 623 4294967295 134512640 134581267 3221224576 3221223440 134528380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2024 623 566 18 0 2006 0
vsize: 8096
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 115142 877 0 0 25 0 1 0 852844403 8261632 623 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2017 623 566 18 0 1999 0
vsize: 8068
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 116127 892 0 0 25 0 1 0 852844403 8261632 623 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2017 623 566 18 0 1999 0
vsize: 8068
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 117116 903 0 0 25 0 1 0 852844403 8261632 623 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2017 623 566 18 0 1999 0
vsize: 8068
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19849
Raw data (stat): 19792 (Pueblo-v2) R 19791 20224 20223 0 -1 0 649 0 0 0 117116 903 0 0 25 0 1 0 852844403 8261632 623 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2017 623 566 18 0 1999 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1179.87
CPU system time (s): 9.13461
CPU usage (%): 100.015
Max. virtual memory (Kb): 8132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1408128
#### END VERIFIER DATA ####