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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM	5fcfa2f72175b9723ffb2781fb76fcdc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 26683

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        492240 kB
Buffers:         34692 kB
Cached:         476940 kB
SwapCached:        680 kB
Active:          28100 kB
Inactive:       486180 kB
HighTotal:      131008 kB
HighFree:        17248 kB
LowTotal:       903652 kB
LowFree:        474992 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            22616 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:02:15 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 11928 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/wulflinc26/normalized-mps-v2-20-10-lseu.opb
c #variables read: 89 - #constraints read: 118
s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 -C108_bit0 -C111_bit0 -C112_bit0 -C113_bit0 C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 -C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 -C133_bit0 -C134_bit0 C135_bit0 -C136_bit0 -C137_bit0 -C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 -C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 C150_bit0 -C151_bit0 C152_bit0 -C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 -C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 C163_bit0 -C164_bit0 -C165_bit0 C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 -C107_bit0 C109_bit0 -C110_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.85 0.95 0.98 2/54 21900
Raw data (stat): 21900 (runsolver) R 21899 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831770053 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 305 0 0 0 988 10 0 0 25 0 1 0 831770053 6959104 283 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 283 566 18 0 1681 0
vsize: 6796
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 314 0 0 0 1982 16 0 0 25 0 1 0 831770053 6959104 292 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 292 566 18 0 1681 0
vsize: 6796
[startup+30.0004 s]
Raw data (loadavg): 0.91 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 316 0 0 0 2977 21 0 0 25 0 1 0 831770053 6959104 294 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 294 566 18 0 1681 0
vsize: 6796
[startup+40.001 s]
Raw data (loadavg): 0.92 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 322 0 0 0 3973 25 0 0 25 0 1 0 831770053 6959104 300 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 300 566 18 0 1681 0
vsize: 6796
[startup+50.0014 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 325 0 0 0 4969 30 0 0 25 0 1 0 831770053 6959104 303 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 303 566 18 0 1681 0
vsize: 6796
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 327 0 0 0 5964 35 0 0 25 0 1 0 831770053 6959104 305 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 305 566 18 0 1681 0
vsize: 6796
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 330 0 0 0 6959 39 0 0 25 0 1 0 831770053 6959104 308 4294967295 134512640 134581331 3221224608 3221223552 134559279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 308 566 18 0 1681 0
vsize: 6796
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 332 0 0 0 7954 44 0 0 25 0 1 0 831770053 6959104 310 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 310 566 18 0 1681 0
vsize: 6796
[startup+90.0015 s]
Raw data (loadavg): 0.96 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 338 0 0 0 8951 48 0 0 25 0 1 0 831770053 7086080 316 4294967295 134512640 134581331 3221224608 3221223552 134558881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 316 566 18 0 1712 0
vsize: 6920
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 338 0 0 0 9947 52 0 0 25 0 1 0 831770053 7069696 316 4294967295 134512640 134581331 3221224608 3221223472 134527162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 316 566 18 0 1708 0
vsize: 6904
[startup+110.001 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 339 0 0 0 10944 55 0 0 25 0 1 0 831770053 7069696 317 4294967295 134512640 134581331 3221224608 3221223520 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 317 566 18 0 1708 0
vsize: 6904
[startup+120.001 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 339 0 0 0 11941 59 0 0 25 0 1 0 831770053 7069696 317 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 317 566 18 0 1708 0
vsize: 6904
[startup+130 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 341 0 0 0 12938 62 0 0 25 0 1 0 831770053 7069696 319 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 319 566 18 0 1708 0
vsize: 6904
[startup+140.001 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 341 0 0 0 13933 66 0 0 25 0 1 0 831770053 7069696 319 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 319 566 18 0 1708 0
vsize: 6904
[startup+150.001 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 342 0 0 0 14930 70 0 0 25 0 1 0 831770053 7069696 320 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 320 566 18 0 1708 0
vsize: 6904
[startup+160 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 346 0 0 0 15926 74 0 0 25 0 1 0 831770053 7069696 324 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 324 566 18 0 1708 0
vsize: 6904
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 348 0 0 0 16922 79 0 0 25 0 1 0 831770053 7069696 326 4294967295 134512640 134581331 3221224608 3221223472 134560228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 326 566 18 0 1708 0
vsize: 6904
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 350 0 0 0 17917 84 0 0 25 0 1 0 831770053 7069696 328 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 328 566 18 0 1708 0
vsize: 6904
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 351 0 0 0 18913 88 0 0 25 0 1 0 831770053 7069696 329 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 329 566 18 0 1708 0
vsize: 6904
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 351 0 0 0 19910 91 0 0 25 0 1 0 831770053 7069696 329 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 329 566 18 0 1708 0
vsize: 6904
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 352 0 0 0 20906 95 0 0 25 0 1 0 831770053 7069696 330 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 330 566 18 0 1708 0
vsize: 6904
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 356 0 0 0 21900 101 0 0 25 0 1 0 831770053 7069696 334 4294967295 134512640 134581331 3221224608 3221223488 134520271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 334 566 18 0 1708 0
vsize: 6904
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 356 0 0 0 22895 106 0 0 25 0 1 0 831770053 7069696 334 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 334 566 18 0 1708 0
vsize: 6904
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 359 0 0 0 23888 114 0 0 25 0 1 0 831770053 7069696 337 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 337 566 18 0 1708 0
vsize: 6904
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 359 0 0 0 24881 121 0 0 25 0 1 0 831770053 7069696 337 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 337 566 18 0 1708 0
vsize: 6904
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 359 0 0 0 25874 128 0 0 25 0 1 0 831770053 7069696 337 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 337 566 18 0 1708 0
vsize: 6904
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 359 0 0 0 26869 134 0 0 25 0 1 0 831770053 7069696 337 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 337 566 18 0 1708 0
vsize: 6904
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 360 0 0 0 27865 137 0 0 25 0 1 0 831770053 7069696 338 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 338 566 18 0 1708 0
vsize: 6904
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 361 0 0 0 28861 142 0 0 25 0 1 0 831770053 7069696 339 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 339 566 18 0 1708 0
vsize: 6904
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 361 0 0 0 29856 147 0 0 25 0 1 0 831770053 7069696 339 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 339 566 18 0 1708 0
vsize: 6904
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 361 0 0 0 30849 154 0 0 25 0 1 0 831770053 7069696 339 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 339 566 18 0 1708 0
vsize: 6904
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 361 0 0 0 31843 161 0 0 25 0 1 0 831770053 7069696 339 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 339 566 18 0 1708 0
vsize: 6904
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 362 0 0 0 32838 166 0 0 25 0 1 0 831770053 7069696 340 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 340 566 18 0 1708 0
vsize: 6904
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 362 0 0 0 33833 171 0 0 25 0 1 0 831770053 7069696 340 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 340 566 18 0 1708 0
vsize: 6904
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 362 0 0 0 34827 177 0 0 25 0 1 0 831770053 7069696 340 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 340 566 18 0 1708 0
vsize: 6904
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 362 0 0 0 35822 182 0 0 25 0 1 0 831770053 7069696 340 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 340 566 18 0 1708 0
vsize: 6904
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 365 0 0 0 36816 189 0 0 25 0 1 0 831770053 7172096 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1751 343 566 18 0 1733 0
vsize: 7004
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 365 0 0 0 37811 194 0 0 25 0 1 0 831770053 7172096 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1751 343 566 18 0 1733 0
vsize: 7004
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 365 0 0 0 38805 199 0 0 25 0 1 0 831770053 7159808 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 343 566 18 0 1730 0
vsize: 6992
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 365 0 0 0 39800 205 0 0 25 0 1 0 831770053 7151616 343 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 343 566 18 0 1728 0
vsize: 6984
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 365 0 0 0 40793 212 0 0 25 0 1 0 831770053 7151616 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 343 566 18 0 1728 0
vsize: 6984
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 365 0 0 0 41787 218 0 0 25 0 1 0 831770053 7151616 343 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 343 566 18 0 1728 0
vsize: 6984
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 366 0 0 0 42781 224 0 0 25 0 1 0 831770053 7151616 344 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 344 566 18 0 1728 0
vsize: 6984
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 366 0 0 0 43778 228 0 0 25 0 1 0 831770053 7151616 344 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 344 566 18 0 1728 0
vsize: 6984
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 366 0 0 0 44774 232 0 0 25 0 1 0 831770053 7151616 344 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 344 566 18 0 1728 0
vsize: 6984
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 368 0 0 0 45770 236 0 0 25 0 1 0 831770053 7151616 346 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 346 566 18 0 1728 0
vsize: 6984
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 368 0 0 0 46766 240 0 0 25 0 1 0 831770053 7151616 346 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 346 566 18 0 1728 0
vsize: 6984
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 371 0 0 0 47763 244 0 0 25 0 1 0 831770053 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 371 0 0 0 48759 247 0 0 25 0 1 0 831770053 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 371 0 0 0 49756 251 0 0 25 0 1 0 831770053 7151616 349 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 371 0 0 0 50752 255 0 0 25 0 1 0 831770053 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 371 0 0 0 51749 259 0 0 25 0 1 0 831770053 7151616 349 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 371 0 0 0 52741 267 0 0 25 0 1 0 831770053 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 371 0 0 0 53735 273 0 0 25 0 1 0 831770053 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 371 0 0 0 54731 277 0 0 25 0 1 0 831770053 7151616 349 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 371 0 0 0 55724 284 0 0 25 0 1 0 831770053 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 374 0 0 0 56720 288 0 0 25 0 1 0 831770053 7151616 352 4294967295 134512640 134581331 3221224608 3221223520 134527464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 352 566 18 0 1728 0
vsize: 6984
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 378 0 0 0 57715 293 0 0 25 0 1 0 831770053 7151616 356 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 378 0 0 0 58711 298 0 0 25 0 1 0 831770053 7151616 356 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 378 0 0 0 59705 304 0 0 25 0 1 0 831770053 7151616 356 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 378 0 0 0 60698 311 0 0 25 0 1 0 831770053 7151616 356 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 378 0 0 0 61693 317 0 0 25 0 1 0 831770053 7151616 356 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 378 0 0 0 62686 324 0 0 25 0 1 0 831770053 7151616 356 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 378 0 0 0 63679 331 0 0 25 0 1 0 831770053 7151616 356 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 379 0 0 0 64670 339 0 0 25 0 1 0 831770053 7151616 357 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 357 566 18 0 1728 0
vsize: 6984
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 379 0 0 0 65661 349 0 0 25 0 1 0 831770053 7151616 357 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 357 566 18 0 1728 0
vsize: 6984
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 379 0 0 0 66652 358 0 0 25 0 1 0 831770053 7151616 357 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 357 566 18 0 1728 0
vsize: 6984
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 379 0 0 0 67645 365 0 0 25 0 1 0 831770053 7151616 357 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 357 566 18 0 1728 0
vsize: 6984
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 68637 373 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223552 134559223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 69632 379 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 70622 389 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 71614 397 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 72609 403 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 73603 409 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 74595 417 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 75587 425 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 76580 432 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 77572 440 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 78564 449 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 79557 456 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 80549 464 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223472 134526909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 81541 472 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 82534 479 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 83526 488 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 84517 497 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 85509 505 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 86502 512 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 87493 521 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 88486 529 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 89478 537 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223472 134528342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 380 0 0 0 90472 543 0 0 25 0 1 0 831770053 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 91465 551 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223520 134566369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 92458 558 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 93448 568 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 94440 577 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 95435 582 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 96428 589 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223664 134555845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 97419 599 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 98412 605 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 99405 612 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223372 1075288811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 100399 619 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223504 134528064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 381 0 0 0 101392 626 0 0 25 0 1 0 831770053 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 382 0 0 0 102386 633 0 0 25 0 1 0 831770053 7151616 360 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 382 0 0 0 103379 639 0 0 25 0 1 0 831770053 7151616 360 4294967295 134512640 134581331 3221224608 3221223504 134517512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1050.03 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 21900
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 382 0 0 0 104371 648 0 0 25 0 1 0 831770053 7151616 360 4294967295 134512640 134581331 3221224608 3221223536 134520095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1060.02 s]
Raw data (loadavg): 1.06 0.99 0.98 2/57 21916
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 382 0 0 0 105363 656 0 0 25 0 1 0 831770053 7151616 360 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1070.02 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 21953
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 382 0 0 0 106353 666 0 0 25 0 1 0 831770053 7151616 360 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1080.02 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 21953
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 382 0 0 0 107345 674 0 0 25 0 1 0 831770053 7151616 360 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1090.02 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 21953
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 387 0 0 0 108338 681 0 0 25 0 1 0 831770053 7254016 365 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 365 566 18 0 1753 0
vsize: 7084
[startup+1100.02 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 21953
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 109332 688 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1110.02 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 21953
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 110326 694 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1120.02 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 21953
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 111319 700 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1130.02 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 21955
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 112314 706 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1140.03 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 21955
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 113308 712 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1150.03 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 21955
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 114303 717 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1160.02 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 21955
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 115296 725 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1170.03 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 21955
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 116288 733 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21955
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 117281 740 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223488 134527008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1188.81 s]
Raw data (loadavg): 1.00 0.99 0.98 1/53 21955
Raw data (stat): 21900 (Pueblo) R 21899 20687 20686 0 -1 0 390 0 0 0 117281 740 0 0 25 0 1 0 831770053 7254016 368 4294967295 134512640 134581331 3221224608 3221223488 134527008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1181.54
CPU system time (s): 7.46487
CPU usage (%): 100.016
Max. virtual memory (Kb): 7084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1313
#### END VERIFIER DATA ####