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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb
MD5SUM99657262afbbfce7034a3ec6b29d9b3b
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
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 numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark661.762
Number of variables89
Total number of constraints117
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint47

Trace number 8336

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-20 16:01:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5325 boxname=wulflinc17 idbench=637 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5325
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        881516 kB
Buffers:         32716 kB
Cached:          91044 kB
SwapCached:        612 kB
Active:          46764 kB
Inactive:        79548 kB
HighTotal:      131008 kB
HighFree:        35896 kB
LowTotal:       903652 kB
LowFree:        845620 kB
SwapTotal:     2097892 kB
SwapFree:      2096676 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            21128 kB
Committed_AS:    64284 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:22:55 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5325 0 1189.01 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 89 - #constraints read: 118
c total time              : 1189 s
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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859839744 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 41 3 40 18 0 23 0
[pid=24113] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0039 s]
Raw data (loadavg): 0.71 0.90 0.89 2/56 24115
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 327 0 0 0 793 71 0 0 23 0 1 0 1859839744 2904064 293 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 709 293 566 18 0 691 0
[pid=24113] vsize: 2836
Current children cumulated CPU time (s) 8.64
Current children cumulated vsize (Kb) 2836

[startup+20.0045 s]
Raw data (loadavg): 0.76 0.90 0.89 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 332 0 0 0 1659 120 0 0 25 0 1 0 1859839744 2904064 298 4294967295 134512640 134578447 3221224624 3221223488 134528143 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 709 298 566 18 0 691 0
[pid=24113] vsize: 2836
Current children cumulated CPU time (s) 17.79
Current children cumulated vsize (Kb) 2836

[startup+30.0051 s]
Raw data (loadavg): 0.79 0.90 0.89 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 337 0 0 0 2527 167 0 0 25 0 1 0 1859839744 2904064 303 4294967295 134512640 134578447 3221224624 3221223488 134517715 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 709 303 566 18 0 691 0
[pid=24113] vsize: 2836
Current children cumulated CPU time (s) 26.94
Current children cumulated vsize (Kb) 2836

[startup+40.0057 s]
Raw data (loadavg): 0.82 0.90 0.89 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 339 0 0 0 3420 205 0 0 25 0 1 0 1859839744 2904064 305 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 709 305 566 18 0 691 0
[pid=24113] vsize: 2836
Current children cumulated CPU time (s) 36.25
Current children cumulated vsize (Kb) 2836

[startup+50.0063 s]
Raw data (loadavg): 0.85 0.91 0.89 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 345 0 0 0 4317 241 0 0 25 0 1 0 1859839744 2904064 311 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 709 311 566 18 0 691 0
[pid=24113] vsize: 2836
Current children cumulated CPU time (s) 45.58
Current children cumulated vsize (Kb) 2836

[startup+60.0069 s]
Raw data (loadavg): 0.87 0.91 0.89 1/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 350 0 0 0 5217 277 0 0 25 0 1 0 1859839744 2904064 316 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 709 316 566 18 0 691 0
[pid=24113] vsize: 2836
Current children cumulated CPU time (s) 54.94
Current children cumulated vsize (Kb) 2836

[startup+70.0075 s]
Raw data (loadavg): 0.89 0.91 0.89 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 352 0 0 0 6110 315 0 0 24 0 1 0 1859839744 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 318 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 64.25
Current children cumulated vsize (Kb) 2956

[startup+80.0081 s]
Raw data (loadavg): 0.91 0.91 0.89 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 356 0 0 0 7006 350 0 0 25 0 1 0 1859839744 3026944 322 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 322 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 73.56
Current children cumulated vsize (Kb) 2956

[startup+90.0087 s]
Raw data (loadavg): 0.92 0.92 0.89 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 357 0 0 0 7890 391 0 0 25 0 1 0 1859839744 3026944 323 4294967295 134512640 134578447 3221224624 3221223532 134557949 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 323 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 82.81
Current children cumulated vsize (Kb) 2956

[startup+100.008 s]
Raw data (loadavg): 0.93 0.92 0.89 1/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 365 0 0 0 8804 420 0 0 25 0 1 0 1859839744 3026944 331 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 331 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 92.24
Current children cumulated vsize (Kb) 2956

[startup+110.009 s]
Raw data (loadavg): 0.94 0.92 0.90 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 365 0 0 0 9725 448 0 0 25 0 1 0 1859839744 3026944 331 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 331 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (Kb) 2956

[startup+120.01 s]
Raw data (loadavg): 0.95 0.92 0.90 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 367 0 0 0 10643 479 0 0 25 0 1 0 1859839744 3026944 333 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 333 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 111.22
Current children cumulated vsize (Kb) 2956

[startup+130.01 s]
Raw data (loadavg): 0.96 0.92 0.90 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 367 0 0 0 11556 509 0 0 25 0 1 0 1859839744 3026944 333 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 333 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 120.65
Current children cumulated vsize (Kb) 2956

[startup+140.011 s]
Raw data (loadavg): 0.96 0.93 0.90 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 368 0 0 0 12461 545 0 0 25 0 1 0 1859839744 3026944 334 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 334 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 130.06
Current children cumulated vsize (Kb) 2956

[startup+150.011 s]
Raw data (loadavg): 0.97 0.93 0.90 1/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 370 0 0 0 13370 577 0 0 25 0 1 0 1859839744 3026944 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 336 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 139.47
Current children cumulated vsize (Kb) 2956

[startup+160.012 s]
Raw data (loadavg): 0.97 0.93 0.90 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 370 0 0 0 14288 606 0 0 25 0 1 0 1859839744 3026944 336 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 336 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 148.94
Current children cumulated vsize (Kb) 2956

[startup+170.013 s]
Raw data (loadavg): 0.98 0.93 0.90 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 370 0 0 0 15201 636 0 0 25 0 1 0 1859839744 3026944 336 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 739 336 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 158.37
Current children cumulated vsize (Kb) 2956

[startup+180.014 s]
Raw data (loadavg): 0.98 0.93 0.90 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 376 0 0 0 16095 676 0 0 25 0 1 0 1859839744 3026944 342 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/24113/statm): 739 342 566 18 0 721 0
[pid=24113] vsize: 2956
Current children cumulated CPU time (s) 167.71
Current children cumulated vsize (Kb) 2956

[startup+190.015 s]
Raw data (loadavg): 0.98 0.94 0.90 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 381 0 0 0 16977 718 0 0 23 0 1 0 1859839744 3158016 347 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 771 347 566 18 0 753 0
[pid=24113] vsize: 3084
Current children cumulated CPU time (s) 176.95
Current children cumulated vsize (Kb) 3084

[startup+200.015 s]
Raw data (loadavg): 0.98 0.94 0.90 1/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 381 0 0 0 17867 755 0 0 25 0 1 0 1859839744 3158016 347 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 771 347 566 18 0 753 0
[pid=24113] vsize: 3084
Current children cumulated CPU time (s) 186.22
Current children cumulated vsize (Kb) 3084

[startup+210.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 382 0 0 0 18769 789 0 0 25 0 1 0 1859839744 3125248 348 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 348 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 195.58
Current children cumulated vsize (Kb) 3052

[startup+220.017 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 382 0 0 0 19684 818 0 0 25 0 1 0 1859839744 3125248 348 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 348 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 205.02
Current children cumulated vsize (Kb) 3052

[startup+230.017 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 382 0 0 0 20576 856 0 0 25 0 1 0 1859839744 3125248 348 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 763 348 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 214.32
Current children cumulated vsize (Kb) 3052

[startup+240.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 384 0 0 0 21461 898 0 0 25 0 1 0 1859839744 3125248 350 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 350 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 223.59
Current children cumulated vsize (Kb) 3052

[startup+250.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 384 0 0 0 22329 943 0 0 23 0 1 0 1859839744 3125248 350 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 350 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 232.72
Current children cumulated vsize (Kb) 3052

[startup+260.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 24117
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 387 0 0 0 23193 990 0 0 25 0 1 0 1859839744 3125248 353 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 353 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 241.83
Current children cumulated vsize (Kb) 3052

[startup+270.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 387 0 0 0 24065 1033 0 0 25 0 1 0 1859839744 3125248 353 4294967295 134512640 134578447 3221224624 3221223244 1075288456 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 353 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 250.98
Current children cumulated vsize (Kb) 3052

[startup+280.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 387 0 0 0 24916 1081 0 0 25 0 1 0 1859839744 3125248 353 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 353 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 259.97
Current children cumulated vsize (Kb) 3052

[startup+290.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 387 0 0 0 25773 1131 0 0 25 0 1 0 1859839744 3125248 353 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 353 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 269.04
Current children cumulated vsize (Kb) 3052

[startup+300.019 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 387 0 0 0 26636 1177 0 0 25 0 1 0 1859839744 3125248 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 353 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 278.13
Current children cumulated vsize (Kb) 3052

[startup+310.02 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 389 0 0 0 27550 1207 0 0 25 0 1 0 1859839744 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 355 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 287.57
Current children cumulated vsize (Kb) 3052

[startup+320.021 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 389 0 0 0 28439 1243 0 0 25 0 1 0 1859839744 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 763 355 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 296.82
Current children cumulated vsize (Kb) 3052

[startup+330.02 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 389 0 0 0 29320 1286 0 0 24 0 1 0 1859839744 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 355 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 306.06
Current children cumulated vsize (Kb) 3052

[startup+340.021 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 389 0 0 0 30182 1336 0 0 25 0 1 0 1859839744 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 355 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 315.18
Current children cumulated vsize (Kb) 3052

[startup+350.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 389 0 0 0 31050 1380 0 0 25 0 1 0 1859839744 3125248 355 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 355 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 324.3
Current children cumulated vsize (Kb) 3052

[startup+360.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 393 0 0 0 31918 1428 0 0 25 0 1 0 1859839744 3125248 359 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 359 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 333.46
Current children cumulated vsize (Kb) 3052

[startup+370.022 s]
Raw data (loadavg): 1.07 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 393 0 0 0 32799 1468 0 0 25 0 1 0 1859839744 3125248 359 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 359 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 342.67
Current children cumulated vsize (Kb) 3052

[startup+380.022 s]
Raw data (loadavg): 1.06 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 393 0 0 0 33690 1505 0 0 25 0 1 0 1859839744 3125248 359 4294967295 134512640 134578447 3221224624 3221223492 134528140 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 359 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 351.95
Current children cumulated vsize (Kb) 3052

[startup+390.023 s]
Raw data (loadavg): 1.05 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 393 0 0 0 34553 1556 0 0 25 0 1 0 1859839744 3125248 359 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 359 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 361.09
Current children cumulated vsize (Kb) 3052

[startup+400.022 s]
Raw data (loadavg): 1.04 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 394 0 0 0 35441 1594 0 0 25 0 1 0 1859839744 3125248 360 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 360 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 370.35
Current children cumulated vsize (Kb) 3052

[startup+410.023 s]
Raw data (loadavg): 1.03 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 395 0 0 0 36332 1632 0 0 25 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 379.64
Current children cumulated vsize (Kb) 3052

[startup+420.024 s]
Raw data (loadavg): 1.03 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 395 0 0 0 37231 1667 0 0 25 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 388.98
Current children cumulated vsize (Kb) 3052

[startup+430.023 s]
Raw data (loadavg): 1.02 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 395 0 0 0 38115 1707 0 0 25 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 398.22
Current children cumulated vsize (Kb) 3052

[startup+440.024 s]
Raw data (loadavg): 1.02 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 395 0 0 0 39001 1749 0 0 25 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 407.5
Current children cumulated vsize (Kb) 3052

[startup+450.023 s]
Raw data (loadavg): 1.02 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 395 0 0 0 39846 1802 0 0 24 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 416.48
Current children cumulated vsize (Kb) 3052

[startup+460.024 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 395 0 0 0 40703 1852 0 0 25 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 425.55
Current children cumulated vsize (Kb) 3052

[startup+470.025 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 395 0 0 0 41577 1893 0 0 25 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 434.7
Current children cumulated vsize (Kb) 3052

[startup+480.024 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 395 0 0 0 42481 1929 0 0 25 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223364 1074910624 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 444.1
Current children cumulated vsize (Kb) 3052

[startup+490.025 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 395 0 0 0 43383 1964 0 0 25 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 453.47
Current children cumulated vsize (Kb) 3052

[startup+500.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 395 0 0 0 44300 1994 0 0 25 0 1 0 1859839744 3125248 361 4294967295 134512640 134578447 3221224624 3221223472 134558281 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 361 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 462.94
Current children cumulated vsize (Kb) 3052

[startup+510.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 397 0 0 0 45210 2024 0 0 25 0 1 0 1859839744 3125248 363 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 363 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 472.34
Current children cumulated vsize (Kb) 3052

[startup+520.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 397 0 0 0 46100 2065 0 0 25 0 1 0 1859839744 3125248 363 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 363 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 481.65
Current children cumulated vsize (Kb) 3052

[startup+530.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 398 0 0 0 47019 2095 0 0 25 0 1 0 1859839744 3125248 364 4294967295 134512640 134578447 3221224624 3221223520 134520026 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 364 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 491.14
Current children cumulated vsize (Kb) 3052

[startup+540.027 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 398 0 0 0 47931 2126 0 0 25 0 1 0 1859839744 3125248 364 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 364 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 500.57
Current children cumulated vsize (Kb) 3052

[startup+550.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 400 0 0 0 48847 2155 0 0 25 0 1 0 1859839744 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527635 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 366 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 510.02
Current children cumulated vsize (Kb) 3052

[startup+560.028 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 400 0 0 0 49755 2187 0 0 25 0 1 0 1859839744 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 763 366 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 519.42
Current children cumulated vsize (Kb) 3052

[startup+570.029 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 400 0 0 0 50652 2221 0 0 25 0 1 0 1859839744 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 366 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 528.73
Current children cumulated vsize (Kb) 3052

[startup+580.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 400 0 0 0 51533 2261 0 0 25 0 1 0 1859839744 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 366 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 537.94
Current children cumulated vsize (Kb) 3052

[startup+590.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 400 0 0 0 52377 2316 0 0 25 0 1 0 1859839744 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 366 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 546.93
Current children cumulated vsize (Kb) 3052

[startup+600.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 400 0 0 0 53276 2352 0 0 25 0 1 0 1859839744 3125248 366 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 366 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 556.28
Current children cumulated vsize (Kb) 3052

[startup+610.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 400 0 0 0 54160 2393 0 0 25 0 1 0 1859839744 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 366 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 565.53
Current children cumulated vsize (Kb) 3052

[startup+620.03 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 400 0 0 0 55032 2436 0 0 25 0 1 0 1859839744 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 763 366 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 574.68
Current children cumulated vsize (Kb) 3052

[startup+630.03 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 402 0 0 0 55918 2473 0 0 25 0 1 0 1859839744 3125248 368 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 763 368 566 18 0 745 0
[pid=24113] vsize: 3052
Current children cumulated CPU time (s) 583.91
Current children cumulated vsize (Kb) 3052

[startup+640.031 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 407 0 0 0 56808 2511 0 0 25 0 1 0 1859839744 3252224 373 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 794 373 566 18 0 776 0
[pid=24113] vsize: 3176
Current children cumulated CPU time (s) 593.19
Current children cumulated vsize (Kb) 3176

[startup+650.031 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 57689 2553 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 602.42
Current children cumulated vsize (Kb) 3168

[startup+660.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 58551 2600 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 611.51
Current children cumulated vsize (Kb) 3168

[startup+670.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 59412 2650 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223488 134517819 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 620.62
Current children cumulated vsize (Kb) 3168

[startup+680.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 60288 2692 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 629.8
Current children cumulated vsize (Kb) 3168

[startup+690.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 61159 2737 0 0 23 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 638.96
Current children cumulated vsize (Kb) 3168

[startup+700.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 61989 2793 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 647.82
Current children cumulated vsize (Kb) 3168

[startup+710.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 62819 2851 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 656.7
Current children cumulated vsize (Kb) 3168

[startup+720.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 63636 2909 0 0 22 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 665.45
Current children cumulated vsize (Kb) 3168

[startup+730.035 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 64466 2970 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 674.36
Current children cumulated vsize (Kb) 3168

[startup+740.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 65253 3041 0 0 21 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223472 134520230 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 682.94
Current children cumulated vsize (Kb) 3168

[startup+750.035 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 66067 3106 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 691.73
Current children cumulated vsize (Kb) 3168

[startup+760.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 66918 3159 0 0 18 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 700.77
Current children cumulated vsize (Kb) 3168

[startup+770.037 s]
Raw data (loadavg): 1.08 0.99 0.92 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 67750 3219 0 0 23 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 709.69
Current children cumulated vsize (Kb) 3168

[startup+780.036 s]
Raw data (loadavg): 1.07 0.99 0.92 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 68623 3261 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 718.84
Current children cumulated vsize (Kb) 3168

[startup+790.037 s]
Raw data (loadavg): 1.06 0.99 0.92 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 69439 3322 0 0 22 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 727.61
Current children cumulated vsize (Kb) 3168

[startup+800.037 s]
Raw data (loadavg): 1.12 1.01 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 70267 3378 0 0 19 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 736.45
Current children cumulated vsize (Kb) 3168

[startup+810.038 s]
Raw data (loadavg): 1.10 1.00 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 71093 3436 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 745.29
Current children cumulated vsize (Kb) 3168

[startup+820.039 s]
Raw data (loadavg): 1.09 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 71955 3479 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223496 1075285892 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 754.34
Current children cumulated vsize (Kb) 3168

[startup+830.039 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 72815 3529 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 763.44
Current children cumulated vsize (Kb) 3168

[startup+840.04 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 73644 3585 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 772.29
Current children cumulated vsize (Kb) 3168

[startup+850.04 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 74475 3644 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 781.19
Current children cumulated vsize (Kb) 3168

[startup+860.041 s]
Raw data (loadavg): 1.04 1.00 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 75330 3696 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 790.26
Current children cumulated vsize (Kb) 3168

[startup+870.042 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 76172 3752 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 799.24
Current children cumulated vsize (Kb) 3168

[startup+880.041 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 76998 3809 0 0 23 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 808.07
Current children cumulated vsize (Kb) 3168

[startup+890.042 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 77828 3865 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 816.93
Current children cumulated vsize (Kb) 3168

[startup+900.043 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 78659 3922 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 825.81
Current children cumulated vsize (Kb) 3168

[startup+910.043 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 79477 3984 0 0 23 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 834.61
Current children cumulated vsize (Kb) 3168

[startup+920.044 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 80327 4034 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 843.61
Current children cumulated vsize (Kb) 3168

[startup+930.043 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 81155 4090 0 0 24 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 852.45
Current children cumulated vsize (Kb) 3168

[startup+940.044 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 81997 4142 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 861.39
Current children cumulated vsize (Kb) 3168

[startup+950.043 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 82800 4208 0 0 23 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 870.08
Current children cumulated vsize (Kb) 3168

[startup+960.044 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 83620 4271 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134528064 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 878.91
Current children cumulated vsize (Kb) 3168

[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 84426 4335 0 0 22 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134518748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 887.61
Current children cumulated vsize (Kb) 3168

[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 85281 4380 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 896.61
Current children cumulated vsize (Kb) 3168

[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 86136 4431 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 905.67
Current children cumulated vsize (Kb) 3168

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 86954 4493 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 914.47
Current children cumulated vsize (Kb) 3168

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 87769 4553 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 923.22
Current children cumulated vsize (Kb) 3168

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 408 0 0 0 88595 4610 0 0 23 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223568 134516705 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 932.05
Current children cumulated vsize (Kb) 3168

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 408 0 0 0 89457 4654 0 0 25 0 1 0 1859839744 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 374 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 941.11
Current children cumulated vsize (Kb) 3168

[startup+1040.05 s]
Raw data (loadavg): 1.08 1.02 0.93 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 90331 4697 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 950.28
Current children cumulated vsize (Kb) 3168

[startup+1050.05 s]
Raw data (loadavg): 1.07 1.02 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 410 0 0 0 91158 4756 0 0 23 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 959.14
Current children cumulated vsize (Kb) 3168

[startup+1060.05 s]
Raw data (loadavg): 1.06 1.01 0.93 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 410 0 0 0 92001 4811 0 0 23 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 968.12
Current children cumulated vsize (Kb) 3168

[startup+1070.05 s]
Raw data (loadavg): 1.13 1.03 0.94 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 92805 4872 0 0 22 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 976.77
Current children cumulated vsize (Kb) 3168

[startup+1080.05 s]
Raw data (loadavg): 1.11 1.03 0.94 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 93611 4938 0 0 21 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 985.49
Current children cumulated vsize (Kb) 3168

[startup+1090.05 s]
Raw data (loadavg): 1.16 1.04 0.94 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 94448 4993 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223360 1075288294 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 994.41
Current children cumulated vsize (Kb) 3168

[startup+1100.05 s]
Raw data (loadavg): 1.22 1.06 0.95 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 410 0 0 0 95287 5048 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1003.35
Current children cumulated vsize (Kb) 3168

[startup+1110.05 s]
Raw data (loadavg): 1.18 1.06 0.95 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 96131 5101 0 0 23 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1012.32
Current children cumulated vsize (Kb) 3168

[startup+1120.05 s]
Raw data (loadavg): 1.23 1.07 0.95 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 410 0 0 0 96974 5151 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1021.25
Current children cumulated vsize (Kb) 3168

[startup+1130.05 s]
Raw data (loadavg): 1.19 1.07 0.95 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 410 0 0 0 97793 5215 0 0 23 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1030.08
Current children cumulated vsize (Kb) 3168

[startup+1140.05 s]
Raw data (loadavg): 1.16 1.06 0.95 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 98636 5268 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1039.04
Current children cumulated vsize (Kb) 3168

[startup+1150.05 s]
Raw data (loadavg): 1.14 1.06 0.95 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 99493 5320 0 0 23 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134556469 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1048.13
Current children cumulated vsize (Kb) 3168

[startup+1160.06 s]
Raw data (loadavg): 1.12 1.06 0.95 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 100362 5363 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223456 134526974 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1057.25
Current children cumulated vsize (Kb) 3168

[startup+1170.06 s]
Raw data (loadavg): 1.10 1.06 0.95 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 101186 5424 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223340 1075285186 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1066.1
Current children cumulated vsize (Kb) 3168

[startup+1180.06 s]
Raw data (loadavg): 1.08 1.05 0.95 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 102027 5477 0 0 20 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1075.04
Current children cumulated vsize (Kb) 3168

[startup+1190.06 s]
Raw data (loadavg): 1.07 1.05 0.95 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 410 0 0 0 102857 5534 0 0 23 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1083.91
Current children cumulated vsize (Kb) 3168

[startup+1200.06 s]
Raw data (loadavg): 1.06 1.05 0.95 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 103683 5594 0 0 24 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1092.77
Current children cumulated vsize (Kb) 3168

[startup+1210.06 s]
Raw data (loadavg): 1.05 1.05 0.95 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 104517 5650 0 0 20 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1101.67
Current children cumulated vsize (Kb) 3168

[startup+1220.06 s]
Raw data (loadavg): 1.04 1.05 0.95 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 105331 5710 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1110.41
Current children cumulated vsize (Kb) 3168

[startup+1230.06 s]
Raw data (loadavg): 1.11 1.06 0.96 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 106146 5772 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223456 134528399 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1119.18
Current children cumulated vsize (Kb) 3168

[startup+1240.06 s]
Raw data (loadavg): 1.09 1.06 0.96 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 410 0 0 0 106992 5827 0 0 25 0 1 0 1859839744 3244032 376 4294967295 134512640 134578447 3221224624 3221223536 134557211 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 376 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1128.19
Current children cumulated vsize (Kb) 3168

[startup+1250.06 s]
Raw data (loadavg): 1.08 1.06 0.96 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 417 0 0 0 107824 5887 0 0 24 0 1 0 1859839744 3244032 383 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 383 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1137.11
Current children cumulated vsize (Kb) 3168

[startup+1260.06 s]
Raw data (loadavg): 1.06 1.05 0.96 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 421 0 0 0 108674 5936 0 0 25 0 1 0 1859839744 3244032 387 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 387 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1146.1
Current children cumulated vsize (Kb) 3168

[startup+1270.06 s]
Raw data (loadavg): 1.05 1.05 0.96 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 423 0 0 0 109524 5991 0 0 25 0 1 0 1859839744 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 389 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1155.15
Current children cumulated vsize (Kb) 3168

[startup+1280.1 s]
Raw data (loadavg): 1.04 1.05 0.96 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 423 0 0 0 110360 6046 0 0 25 0 1 0 1859839744 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/24113/statm): 792 389 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1164.06
Current children cumulated vsize (Kb) 3168

[startup+1290.1 s]
Raw data (loadavg): 1.04 1.05 0.96 1/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) T 24112 24113 19316 0 -1 0 423 0 0 0 111239 6087 0 0 25 0 1 0 1859839744 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 389 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1173.26
Current children cumulated vsize (Kb) 3168

[startup+1300.1 s]
Raw data (loadavg): 1.03 1.05 0.96 2/56 24119
Raw data (/proc/24113/stat): 24113 (Pueblo) R 24112 24113 19316 0 -1 0 423 0 0 0 112091 6139 0 0 24 0 1 0 1859839744 3244032 389 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24113/statm): 792 389 566 18 0 774 0
[pid=24113] vsize: 3168
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (Kb) 3168
One traced child (pid=24113) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1307.52
CPU time (s): 1189.01
CPU user time (s): 1127.26
CPU system time (s): 61.7476
CPU usage (%): 90.936
Max. virtual memory (cumulated for all children) (Kb): 3176

Verifier Data

Verifier:	OK	1313