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 27459

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        903532 kB
Buffers:          4504 kB
Cached:         105452 kB
SwapCached:        612 kB
Active:          29968 kB
Inactive:        82492 kB
HighTotal:      131008 kB
HighFree:        21840 kB
LowTotal:       903652 kB
LowFree:        881692 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5624 kB
Slab:            13084 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:15:44 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 17011 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/wulflinc23/normalized-mps-v2-13-7-misc07.opb
c #variables read: 280 - #constraints read: 507
s SATISFIABLE
v -COL260_bit_7 -COL260_bit_6 -COL260_bit_5 -COL260_bit_4 -COL260_bit_3 -COL260_bit_2 -COL260_bit_1 COL260_bit0 -COL260_bit1 -COL260_bit2 COL260_bit3 COL260_bit4 COL260_bit5 COL260_bit6 COL260_bit7 -COL260_bit8 COL260_bit9 -COL260_bit10 COL260_bit11 -COL260_bit12 COL260_bit13 -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 COL005_bit0 -COL006_bit0 -COL007_bit0 -COL008_bit0 -COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 -COL017_bit0 -COL018_bit0 -COL019_bit0 -COL020_bit0 -COL021_bit0 -COL022_bit0 -COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 -COL032_bit0 -COL033_bit0 -COL034_bit0 COL035_bit0 -COL036_bit0 -COL037_bit0 -COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 -COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 -COL055_bit0 -COL056_bit0 -COL057_bit0 -COL058_bit0 -COL059_bit0 -COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 -COL070_bit0 -COL071_bit0 -COL072_bit0 -COL073_bit0 -COL074_bit0 -COL075_bit0 -COL076_bit0 COL077_bit0 -COL078_bit0 -COL079_bit0 -COL080_bit0 -COL081_bit0 -COL082_bit0 -COL083_bit0 -COL084_bit0 -COL085_bit0 -COL086_bit0 -COL087_bit0 -COL088_bit0 -COL089_bit0 -COL090_bit0 -COL091_bit0 -COL092_bit0 -COL093_bit0 -COL094_bit0 -COL095_bit0 COL096_bit0 -COL097_bit0 -COL098_bit0 -COL099_bit0 -COL100_bit0 -COL101_bit0 -COL102_bit0 -COL103_bit0 -COL104_bit0 -COL105_bit0 -COL106_bit0 -COL107_bit0 -COL108_bit0 -COL109_bit0 -COL110_bit0 -COL111_bit0 -COL112_bit0 -COL113_bit0 -COL114_bit0 -COL115_bit0 -COL116_bit0 -COL117_bit0 -COL118_bit0 -COL119_bit0 -COL120_bit0 -COL121_bit0 -COL122_bit0 -COL123_bit0 -COL124_bit0 -COL125_bit0 -COL126_bit0 -COL127_bit0 -COL128_bit0 -COL129_bit0 -COL130_bit0 -COL131_bit0 COL132_bit0 -COL133_bit0 -COL134_bit0 -COL135_bit0 -COL136_bit0 -COL137_bit0 -COL138_bit0 -COL139_bit0 -COL140_bit0 -COL141_bit0 -COL142_bit0 -COL143_bit0 -COL144_bit0 -COL145_bit0 -COL146_bit0 -COL147_bit0 -COL148_bit0 -COL149_bit0 -COL150_bit0 -COL151_bit0 -COL152_bit0 -COL153_bit0 COL154_bit0 -COL155_bit0 -COL156_bit0 -COL157_bit0 -COL158_bit0 -COL159_bit0 -COL160_bit0 -COL161_bit0 -COL162_bit0 -COL163_bit0 -COL164_bit0 -COL165_bit0 -COL166_bit0 -COL167_bit0 -COL168_bit0 -COL169_bit0 -COL170_bit0 -COL171_bit0 -COL172_bit0 -COL173_bit0 -COL174_bit0 -COL175_bit0 -COL176_bit0 -COL177_bit0 -COL178_bit0 -COL179_bit0 -COL180_bit0 -COL181_bit0 -COL182_bit0 -COL183_bit0 COL184_bit0 -COL185_bit0 -COL186_bit0 -COL187_bit0 -COL188_bit0 -COL189_bit0 -COL190_bit0 COL191_bit0 -COL192_bit0 -COL193_bit0 -COL194_bit0 -COL195_bit0 -COL196_bit0 -COL197_bit0 -COL198_bit0 -COL199_bit0 -COL200_bit0 COL201_bit0 -COL202_bit0 -COL203_bit0 -COL204_bit0 COL205_bit0 -COL206_bit0 -COL207_bit0 -COL208_bit0 -COL209_bit0 -COL210_bit0 -COL211_bit0 -COL212_bit0 -COL213_bit0 -COL214_bit0 -COL215_bit0 -COL216_bit0 -COL217_bit0 -COL218_bit0 -COL219_bit0 -COL220_bit0 -COL221_bit0 -COL222_bit0 -COL223_bit0 -COL224_bit0 -COL225_bit0 -COL226_bit0 -COL227_bit0 -COL228_bit0 -COL229_bit0 -COL230_bit0 -COL231_bit0 -COL232_bit0 -COL233_bit0 -COL234_bit0 -COL235_bit0 -COL236_bit0 -COL237_bit0 -COL238_bit0 -COL239_bit0 -COL240_bit0 -COL241_bit0 -COL242_bit0 -COL243_bit0 COL244_bit0 -COL245_bit0 COL246_bit0 -COL247_bit0 COL248_bit0 -COL249_bit0 COL250_bit0 -COL251_bit0 COL252_bit0 -COL253_bit0 COL254_bit0 -COL255_bit0 COL256_bit0 -COL257_bit0 COL258_bit0 -COL259_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 10449
Raw data (stat): 10449 (runsolver) R 10448 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833646752 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 431 0 0 0 994 5 0 0 25 0 1 0 833646752 7368704 409 4294967295 134512640 134581331 3221224592 3221223456 134528541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1799 409 566 18 0 1781 0
vsize: 7196
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 464 0 0 0 1992 7 0 0 25 0 1 0 833646752 7503872 442 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1832 442 566 18 0 1814 0
vsize: 7328
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 487 0 0 0 2990 9 0 0 25 0 1 0 833646752 7639040 465 4294967295 134512640 134581331 3221224592 3221223504 134527780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 465 566 18 0 1847 0
vsize: 7460
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 515 0 0 0 3988 11 0 0 25 0 1 0 833646752 7753728 493 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1893 493 566 18 0 1875 0
vsize: 7572
[startup+50.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 518 0 0 0 4986 13 0 0 25 0 1 0 833646752 7753728 496 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1893 496 566 18 0 1875 0
vsize: 7572
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 528 0 0 0 5984 16 0 0 25 0 1 0 833646752 7753728 506 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1893 506 566 18 0 1875 0
vsize: 7572
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 529 0 0 0 6982 18 0 0 25 0 1 0 833646752 7753728 507 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1893 507 566 18 0 1875 0
vsize: 7572
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 555 0 0 0 7979 20 0 0 25 0 1 0 833646752 7872512 533 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 533 566 18 0 1904 0
vsize: 7688
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 565 0 0 0 8977 23 0 0 25 0 1 0 833646752 7966720 543 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 543 566 18 0 1927 0
vsize: 7780
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 565 0 0 0 9976 24 0 0 25 0 1 0 833646752 7966720 543 4294967295 134512640 134581331 3221224592 3221223504 134527355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 543 566 18 0 1927 0
vsize: 7780
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 572 0 0 0 10975 26 0 0 25 0 1 0 833646752 7966720 550 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 550 566 18 0 1927 0
vsize: 7780
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 582 0 0 0 11973 28 0 0 25 0 1 0 833646752 7966720 560 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 560 566 18 0 1927 0
vsize: 7780
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 591 0 0 0 12971 30 0 0 25 0 1 0 833646752 8081408 569 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 569 566 18 0 1955 0
vsize: 7892
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 609 0 0 0 13968 33 0 0 25 0 1 0 833646752 8081408 587 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 609 0 0 0 14966 35 0 0 25 0 1 0 833646752 8081408 587 4294967295 134512640 134581331 3221224592 3221223472 134558172 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 609 0 0 0 15965 37 0 0 25 0 1 0 833646752 8081408 587 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 609 0 0 0 16962 39 0 0 25 0 1 0 833646752 8081408 587 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 609 0 0 0 17960 42 0 0 25 0 1 0 833646752 8081408 587 4294967295 134512640 134581331 3221224592 3221223340 1075285229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 609 0 0 0 18958 44 0 0 25 0 1 0 833646752 8081408 587 4294967295 134512640 134581331 3221224592 3221223280 1075288338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1973 587 566 18 0 1955 0
vsize: 7892
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 621 0 0 0 19957 46 0 0 25 0 1 0 833646752 8212480 599 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2005 599 566 18 0 1987 0
vsize: 8020
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 621 0 0 0 20955 47 0 0 25 0 1 0 833646752 8212480 599 4294967295 134512640 134581331 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2005 599 566 18 0 1987 0
vsize: 8020
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 621 0 0 0 21953 49 0 0 25 0 1 0 833646752 8208384 599 4294967295 134512640 134581331 3221224592 3221223476 134557960 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2004 599 566 18 0 1986 0
vsize: 8016
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 631 0 0 0 22951 51 0 0 25 0 1 0 833646752 8204288 609 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2003 609 566 18 0 1985 0
vsize: 8012
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10449
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 641 0 0 0 23949 53 0 0 25 0 1 0 833646752 8335360 619 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2035 619 566 18 0 2017 0
vsize: 8140
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 10485
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 645 0 0 0 24949 54 0 0 25 0 1 0 833646752 8331264 623 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2034 623 566 18 0 2016 0
vsize: 8136
[startup+260.005 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 10502
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 645 0 0 0 25946 57 0 0 25 0 1 0 833646752 8323072 623 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 623 566 18 0 2014 0
vsize: 8128
[startup+270.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 10502
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 648 0 0 0 26945 59 0 0 25 0 1 0 833646752 8323072 626 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 626 566 18 0 2014 0
vsize: 8128
[startup+280.006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 10502
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 651 0 0 0 27942 62 0 0 25 0 1 0 833646752 8323072 629 4294967295 134512640 134581331 3221224592 3221223456 134528526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 629 566 18 0 2014 0
vsize: 8128
[startup+290.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 10502
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 654 0 0 0 28940 64 0 0 25 0 1 0 833646752 8323072 632 4294967295 134512640 134581331 3221224592 3221223516 134558020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+300.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10502
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 654 0 0 0 29939 65 0 0 25 0 1 0 833646752 8323072 632 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+310.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10502
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 659 0 0 0 30938 67 0 0 25 0 1 0 833646752 8323072 637 4294967295 134512640 134581331 3221224592 3221223584 134560979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 637 566 18 0 2014 0
vsize: 8128
[startup+320.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10502
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 668 0 0 0 31936 69 0 0 25 0 1 0 833646752 8323072 646 4294967295 134512640 134581331 3221224592 3221223536 134558859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 646 566 18 0 2014 0
vsize: 8128
[startup+330.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 668 0 0 0 32934 71 0 0 25 0 1 0 833646752 8323072 646 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 646 566 18 0 2014 0
vsize: 8128
[startup+340.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 668 0 0 0 33931 74 0 0 25 0 1 0 833646752 8323072 646 4294967295 134512640 134581331 3221224592 3221223272 1075288181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 646 566 18 0 2014 0
vsize: 8128
[startup+350.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 668 0 0 0 34930 75 0 0 25 0 1 0 833646752 8323072 646 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 646 566 18 0 2014 0
vsize: 8128
[startup+360.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 682 0 0 0 35929 77 0 0 25 0 1 0 833646752 8458240 660 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2065 660 566 18 0 2047 0
vsize: 8260
[startup+370.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 682 0 0 0 36927 79 0 0 25 0 1 0 833646752 8445952 660 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 660 566 18 0 2044 0
vsize: 8248
[startup+380.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 682 0 0 0 37926 80 0 0 25 0 1 0 833646752 8445952 660 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 660 566 18 0 2044 0
vsize: 8248
[startup+390.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 682 0 0 0 38924 82 0 0 25 0 1 0 833646752 8445952 660 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 660 566 18 0 2044 0
vsize: 8248
[startup+400.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 682 0 0 0 39923 83 0 0 25 0 1 0 833646752 8445952 660 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 660 566 18 0 2044 0
vsize: 8248
[startup+410.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 687 0 0 0 40921 85 0 0 25 0 1 0 833646752 8445952 665 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 665 566 18 0 2044 0
vsize: 8248
[startup+420.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 687 0 0 0 41918 88 0 0 25 0 1 0 833646752 8445952 665 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 665 566 18 0 2044 0
vsize: 8248
[startup+430.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 687 0 0 0 42917 90 0 0 25 0 1 0 833646752 8445952 665 4294967295 134512640 134581331 3221224592 3221223500 134528312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 665 566 18 0 2044 0
vsize: 8248
[startup+440.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 687 0 0 0 43915 91 0 0 25 0 1 0 833646752 8445952 665 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2062 665 566 18 0 2044 0
vsize: 8248
[startup+450.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 704 0 0 0 44914 93 0 0 25 0 1 0 833646752 8499200 682 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2075 682 566 18 0 2057 0
vsize: 8300
[startup+460.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 704 0 0 0 45913 94 0 0 25 0 1 0 833646752 8499200 682 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2075 682 566 18 0 2057 0
vsize: 8300
[startup+470.008 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 704 0 0 0 46911 96 0 0 25 0 1 0 833646752 8499200 682 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2075 682 566 18 0 2057 0
vsize: 8300
[startup+480.008 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 712 0 0 0 47910 97 0 0 25 0 1 0 833646752 8499200 690 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2075 690 566 18 0 2057 0
vsize: 8300
[startup+490.009 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 712 0 0 0 48908 99 0 0 25 0 1 0 833646752 8499200 690 4294967295 134512640 134581331 3221224592 3221223504 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2075 690 566 18 0 2057 0
vsize: 8300
[startup+500.009 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 716 0 0 0 49907 101 0 0 25 0 1 0 833646752 8630272 694 4294967295 134512640 134581331 3221224592 3221223504 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2107 694 566 18 0 2089 0
vsize: 8428
[startup+510.009 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 716 0 0 0 50905 103 0 0 25 0 1 0 833646752 8630272 694 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2107 694 566 18 0 2089 0
vsize: 8428
[startup+520.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 728 0 0 0 51904 105 0 0 25 0 1 0 833646752 8630272 706 4294967295 134512640 134581331 3221224592 3221223476 134557903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2107 706 566 18 0 2089 0
vsize: 8428
[startup+530.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 728 0 0 0 52901 107 0 0 25 0 1 0 833646752 8630272 706 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2107 706 566 18 0 2089 0
vsize: 8428
[startup+540.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 741 0 0 0 53900 108 0 0 25 0 1 0 833646752 8630272 719 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2107 719 566 18 0 2089 0
vsize: 8428
[startup+550.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 741 0 0 0 54899 110 0 0 25 0 1 0 833646752 8630272 719 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2107 719 566 18 0 2089 0
vsize: 8428
[startup+560.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 55898 111 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223564 134527302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+570.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 56896 113 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+580.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 57895 114 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223384 1075288422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+590.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10504
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 58893 116 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+600.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 59892 118 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+610.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 60890 119 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+620.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 61888 122 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223584 134561071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+630.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 62887 123 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+640.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 63886 124 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+650.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 64885 125 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+660.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 65884 127 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+670.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 66883 128 0 0 25 0 1 0 833646752 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+680.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 67882 129 0 0 25 0 1 0 833646752 8712192 730 4294967295 134512640 134581331 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+690.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 68881 131 0 0 25 0 1 0 833646752 8712192 730 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+700.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 69879 132 0 0 25 0 1 0 833646752 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+710.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 70878 133 0 0 25 0 1 0 833646752 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+720.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 71877 134 0 0 25 0 1 0 833646752 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+730.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 72877 135 0 0 25 0 1 0 833646752 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+740.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 73875 137 0 0 25 0 1 0 833646752 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+750.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 752 0 0 0 74875 138 0 0 25 0 1 0 833646752 8712192 730 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 730 566 18 0 2109 0
vsize: 8508
[startup+760.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 754 0 0 0 75873 140 0 0 25 0 1 0 833646752 8712192 732 4294967295 134512640 134581331 3221224592 3221223584 134526643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 732 566 18 0 2109 0
vsize: 8508
[startup+770.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 754 0 0 0 76872 141 0 0 25 0 1 0 833646752 8712192 732 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 732 566 18 0 2109 0
vsize: 8508
[startup+780.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 768 0 0 0 77870 143 0 0 25 0 1 0 833646752 8802304 746 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+790.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 768 0 0 0 78869 145 0 0 25 0 1 0 833646752 8802304 746 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+800.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 768 0 0 0 79867 147 0 0 25 0 1 0 833646752 8802304 746 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+810.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 768 0 0 0 80866 148 0 0 25 0 1 0 833646752 8802304 746 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+820.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 768 0 0 0 81863 150 0 0 25 0 1 0 833646752 8802304 746 4294967295 134512640 134581331 3221224592 3221223312 134522624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+830.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 768 0 0 0 82862 152 0 0 25 0 1 0 833646752 8802304 746 4294967295 134512640 134581331 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 746 566 18 0 2131 0
vsize: 8596
[startup+840.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 83860 154 0 0 25 0 1 0 833646752 8933376 765 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 765 566 18 0 2163 0
vsize: 8724
[startup+850.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 84857 157 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223420 134528696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+860.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 85857 158 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+870.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 86855 160 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+880.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 87853 162 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+890.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 88852 163 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+900.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 89850 165 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+910.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 90848 167 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223576 134560819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+920.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 91846 169 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+930.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 92845 171 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+940.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 93844 172 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+950.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 94842 174 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+960.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 95841 176 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+970.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 96840 177 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+980.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 97840 177 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+990.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 98838 179 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 99836 181 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 100835 182 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 101834 184 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 102833 185 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 103832 186 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 787 0 0 0 104831 187 0 0 25 0 1 0 833646752 8802304 764 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 764 566 18 0 2131 0
vsize: 8596
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 791 0 0 0 105831 188 0 0 25 0 1 0 833646752 8937472 768 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2182 768 566 18 0 2164 0
vsize: 8728
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 791 0 0 0 106829 189 0 0 25 0 1 0 833646752 8937472 768 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2182 768 566 18 0 2164 0
vsize: 8728
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 791 0 0 0 107828 191 0 0 25 0 1 0 833646752 8933376 768 4294967295 134512640 134581331 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 768 566 18 0 2163 0
vsize: 8724
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 793 0 0 0 108827 192 0 0 25 0 1 0 833646752 8933376 770 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 770 566 18 0 2163 0
vsize: 8724
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 796 0 0 0 109826 193 0 0 25 0 1 0 833646752 8933376 773 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 773 566 18 0 2163 0
vsize: 8724
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 797 0 0 0 110824 195 0 0 25 0 1 0 833646752 8933376 774 4294967295 134512640 134581331 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 774 566 18 0 2163 0
vsize: 8724
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 808 0 0 0 111823 196 0 0 25 0 1 0 833646752 8933376 785 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 785 566 18 0 2163 0
vsize: 8724
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 821 0 0 0 112822 197 0 0 25 0 1 0 833646752 9064448 798 4294967295 134512640 134581331 3221224592 3221223456 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2213 798 566 18 0 2195 0
vsize: 8852
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 821 0 0 0 113822 198 0 0 25 0 1 0 833646752 9031680 798 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2205 798 566 18 0 2187 0
vsize: 8820
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 821 0 0 0 114820 200 0 0 25 0 1 0 833646752 9027584 798 4294967295 134512640 134581331 3221224592 3221223504 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2204 798 566 18 0 2186 0
vsize: 8816
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 821 0 0 0 115819 202 0 0 25 0 1 0 833646752 8998912 798 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2197 798 566 18 0 2179 0
vsize: 8788
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 821 0 0 0 116817 203 0 0 25 0 1 0 833646752 8974336 798 4294967295 134512640 134581331 3221224592 3221223504 134527554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2191 798 566 18 0 2173 0
vsize: 8764
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 821 0 0 0 117816 205 0 0 25 0 1 0 833646752 8974336 798 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2191 798 566 18 0 2173 0
vsize: 8764
[startup+1188.81 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 10506
Raw data (stat): 10449 (Pueblo) R 10448 5562 5561 0 -1 0 821 0 0 0 117816 205 0 0 25 0 1 0 833646752 8974336 798 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2191 798 566 18 0 2173 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1186.95
CPU system time (s): 2.06669
CPU usage (%): 100.017
Max. virtual memory (Kb): 8852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1408128
#### END VERIFIER DATA ####