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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb
MD5SUM5fcfa2f72175b9723ffb2781fb76fcdc
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.783
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 8494

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-20 16:41:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5624 boxname=wulflinc22 idbench=936 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5624
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        845176 kB
Buffers:         33304 kB
Cached:         128868 kB
SwapCached:        552 kB
Active:          61004 kB
Inactive:       103768 kB
HighTotal:      131008 kB
HighFree:        29680 kB
LowTotal:       903652 kB
LowFree:        815496 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5836 kB
Slab:            19024 kB
Committed_AS:    64304 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 17:02:50 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5624 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/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1860054875 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 41 3 40 18 0 23 0
[pid=25376] 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.0032 s]
Raw data (loadavg): 1.01 0.97 0.94 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 327 0 0 0 797 71 0 0 25 0 1 0 1860054875 2904064 293 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 709 293 566 18 0 691 0
[pid=25376] vsize: 2836
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (Kb) 2836

[startup+20.0029 s]
Raw data (loadavg): 1.01 0.97 0.94 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 332 0 0 0 1660 120 0 0 25 0 1 0 1860054875 2904064 298 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 709 298 566 18 0 691 0
[pid=25376] vsize: 2836
Current children cumulated CPU time (s) 17.8
Current children cumulated vsize (Kb) 2836

[startup+30.0036 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 337 0 0 0 2534 164 0 0 25 0 1 0 1860054875 2904064 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 709 303 566 18 0 691 0
[pid=25376] vsize: 2836
Current children cumulated CPU time (s) 26.98
Current children cumulated vsize (Kb) 2836

[startup+40.0033 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 339 0 0 0 3428 202 0 0 25 0 1 0 1860054875 2904064 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 709 305 566 18 0 691 0
[pid=25376] vsize: 2836
Current children cumulated CPU time (s) 36.3
Current children cumulated vsize (Kb) 2836

[startup+50.004 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 345 0 0 0 4317 239 0 0 25 0 1 0 1860054875 2904064 311 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 709 311 566 18 0 691 0
[pid=25376] vsize: 2836
Current children cumulated CPU time (s) 45.56
Current children cumulated vsize (Kb) 2836

[startup+60.0047 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 349 0 0 0 5219 273 0 0 25 0 1 0 1860054875 2904064 315 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 709 315 566 18 0 691 0
[pid=25376] vsize: 2836
Current children cumulated CPU time (s) 54.92
Current children cumulated vsize (Kb) 2836

[startup+70.0044 s]
Raw data (loadavg): 1.07 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 352 0 0 0 6116 309 0 0 19 0 1 0 1860054875 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 739 318 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 64.25
Current children cumulated vsize (Kb) 2956

[startup+80.0051 s]
Raw data (loadavg): 1.06 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 356 0 0 0 7007 346 0 0 25 0 1 0 1860054875 3026944 322 4294967295 134512640 134578447 3221224624 3221223456 134527268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 739 322 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 73.53
Current children cumulated vsize (Kb) 2956

[startup+90.0048 s]
Raw data (loadavg): 1.05 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 357 0 0 0 7888 389 0 0 25 0 1 0 1860054875 3026944 323 4294967295 134512640 134578447 3221224624 3221223536 134556834 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 739 323 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 82.77
Current children cumulated vsize (Kb) 2956

[startup+100.006 s]
Raw data (loadavg): 1.04 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 365 0 0 0 8800 422 0 0 25 0 1 0 1860054875 3026944 331 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 739 331 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 92.22
Current children cumulated vsize (Kb) 2956

[startup+110.006 s]
Raw data (loadavg): 1.04 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 365 0 0 0 9717 449 0 0 25 0 1 0 1860054875 3026944 331 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 739 331 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (Kb) 2956

[startup+120.006 s]
Raw data (loadavg): 1.03 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 367 0 0 0 10632 479 0 0 25 0 1 0 1860054875 3026944 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 739 333 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 111.11
Current children cumulated vsize (Kb) 2956

[startup+130.007 s]
Raw data (loadavg): 1.03 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 367 0 0 0 11543 509 0 0 25 0 1 0 1860054875 3026944 333 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 739 333 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 120.52
Current children cumulated vsize (Kb) 2956

[startup+140.006 s]
Raw data (loadavg): 1.02 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 368 0 0 0 12448 545 0 0 25 0 1 0 1860054875 3026944 334 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 739 334 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 2956

[startup+150.007 s]
Raw data (loadavg): 1.02 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 370 0 0 0 13354 579 0 0 25 0 1 0 1860054875 3026944 336 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 739 336 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 139.33
Current children cumulated vsize (Kb) 2956

[startup+160.008 s]
Raw data (loadavg): 1.01 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 370 0 0 0 14266 610 0 0 25 0 1 0 1860054875 3026944 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 739 336 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 148.76
Current children cumulated vsize (Kb) 2956

[startup+170.007 s]
Raw data (loadavg): 1.01 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 370 0 0 0 15188 636 0 0 25 0 1 0 1860054875 3026944 336 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 739 336 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 158.24
Current children cumulated vsize (Kb) 2956

[startup+180.008 s]
Raw data (loadavg): 1.01 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 376 0 0 0 16079 675 0 0 25 0 1 0 1860054875 3026944 342 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 739 342 566 18 0 721 0
[pid=25376] vsize: 2956
Current children cumulated CPU time (s) 167.54
Current children cumulated vsize (Kb) 2956

[startup+190.009 s]
Raw data (loadavg): 1.01 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 381 0 0 0 16970 710 0 0 24 0 1 0 1860054875 3158016 347 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 771 347 566 18 0 753 0
[pid=25376] vsize: 3084
Current children cumulated CPU time (s) 176.8
Current children cumulated vsize (Kb) 3084

[startup+200.01 s]
Raw data (loadavg): 1.01 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 381 0 0 0 17844 750 0 0 25 0 1 0 1860054875 3158016 347 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 771 347 566 18 0 753 0
[pid=25376] vsize: 3084
Current children cumulated CPU time (s) 185.94
Current children cumulated vsize (Kb) 3084

[startup+210.009 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 382 0 0 0 18741 788 0 0 25 0 1 0 1860054875 3125248 348 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 348 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 195.29
Current children cumulated vsize (Kb) 3052

[startup+220.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 382 0 0 0 19657 819 0 0 25 0 1 0 1860054875 3125248 348 4294967295 134512640 134578447 3221224624 3221223500 134527821 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 348 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 204.76
Current children cumulated vsize (Kb) 3052

[startup+230.011 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 382 0 0 0 20554 857 0 0 24 0 1 0 1860054875 3125248 348 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 348 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 214.11
Current children cumulated vsize (Kb) 3052

[startup+240.01 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 384 0 0 0 21439 897 0 0 25 0 1 0 1860054875 3125248 350 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 350 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 223.36
Current children cumulated vsize (Kb) 3052

[startup+250.011 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 384 0 0 0 22317 941 0 0 25 0 1 0 1860054875 3125248 350 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 350 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 232.58
Current children cumulated vsize (Kb) 3052

[startup+260.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 387 0 0 0 23178 989 0 0 25 0 1 0 1860054875 3125248 353 4294967295 134512640 134578447 3221224624 3221223556 134527379 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 353 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 241.67
Current children cumulated vsize (Kb) 3052

[startup+270.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 387 0 0 0 24043 1035 0 0 25 0 1 0 1860054875 3125248 353 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 353 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 250.78
Current children cumulated vsize (Kb) 3052

[startup+280.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 387 0 0 0 24894 1083 0 0 25 0 1 0 1860054875 3125248 353 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 353 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 259.77
Current children cumulated vsize (Kb) 3052

[startup+290.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 387 0 0 0 25748 1133 0 0 25 0 1 0 1860054875 3125248 353 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 353 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 268.81
Current children cumulated vsize (Kb) 3052

[startup+300.014 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 387 0 0 0 26604 1181 0 0 25 0 1 0 1860054875 3125248 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 353 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 277.85
Current children cumulated vsize (Kb) 3052

[startup+310.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 389 0 0 0 27514 1213 0 0 25 0 1 0 1860054875 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 355 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 287.27
Current children cumulated vsize (Kb) 3052

[startup+320.015 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 389 0 0 0 28410 1248 0 0 19 0 1 0 1860054875 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 355 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 296.58
Current children cumulated vsize (Kb) 3052

[startup+330.015 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 389 0 0 0 29295 1290 0 0 25 0 1 0 1860054875 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 355 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 305.85
Current children cumulated vsize (Kb) 3052

[startup+340.016 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 389 0 0 0 30156 1337 0 0 25 0 1 0 1860054875 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 355 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 314.93
Current children cumulated vsize (Kb) 3052

[startup+350.016 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 389 0 0 0 31012 1388 0 0 23 0 1 0 1860054875 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 355 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 324
Current children cumulated vsize (Kb) 3052

[startup+360.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 393 0 0 0 31890 1430 0 0 24 0 1 0 1860054875 3125248 359 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 359 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 333.2
Current children cumulated vsize (Kb) 3052

[startup+370.016 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 393 0 0 0 32763 1475 0 0 25 0 1 0 1860054875 3125248 359 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 359 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 342.38
Current children cumulated vsize (Kb) 3052

[startup+380.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 393 0 0 0 33646 1517 0 0 25 0 1 0 1860054875 3125248 359 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 359 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 351.63
Current children cumulated vsize (Kb) 3052

[startup+390.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 393 0 0 0 34515 1559 0 0 25 0 1 0 1860054875 3125248 359 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 359 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 360.74
Current children cumulated vsize (Kb) 3052

[startup+400.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 393 0 0 0 35404 1600 0 0 25 0 1 0 1860054875 3125248 359 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 359 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 370.04
Current children cumulated vsize (Kb) 3052

[startup+410.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 395 0 0 0 36287 1643 0 0 25 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527450 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 379.3
Current children cumulated vsize (Kb) 3052

[startup+420.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 395 0 0 0 37190 1676 0 0 25 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 388.66
Current children cumulated vsize (Kb) 3052

[startup+430.02 s]
Raw data (loadavg): 1.00 0.99 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 395 0 0 0 38072 1716 0 0 25 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 397.88
Current children cumulated vsize (Kb) 3052

[startup+440.021 s]
Raw data (loadavg): 1.08 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 395 0 0 0 38953 1757 0 0 25 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 407.1
Current children cumulated vsize (Kb) 3052

[startup+450.021 s]
Raw data (loadavg): 1.07 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 395 0 0 0 39804 1808 0 0 25 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 416.12
Current children cumulated vsize (Kb) 3052

[startup+460.022 s]
Raw data (loadavg): 1.06 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 395 0 0 0 40660 1858 0 0 25 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527431 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 425.18
Current children cumulated vsize (Kb) 3052

[startup+470.022 s]
Raw data (loadavg): 1.05 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 395 0 0 0 41530 1902 0 0 25 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 434.32
Current children cumulated vsize (Kb) 3052

[startup+480.022 s]
Raw data (loadavg): 1.04 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 395 0 0 0 42429 1935 0 0 25 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223456 134558430 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 443.64
Current children cumulated vsize (Kb) 3052

[startup+490.023 s]
Raw data (loadavg): 1.03 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 395 0 0 0 43323 1972 0 0 25 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 452.95
Current children cumulated vsize (Kb) 3052

[startup+500.024 s]
Raw data (loadavg): 1.03 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 395 0 0 0 44238 2004 0 0 23 0 1 0 1860054875 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134528082 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 361 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 462.42
Current children cumulated vsize (Kb) 3052

[startup+510.024 s]
Raw data (loadavg): 1.02 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 397 0 0 0 45162 2029 0 0 25 0 1 0 1860054875 3125248 363 4294967295 134512640 134578447 3221224624 3221223472 134520239 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 363 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 471.91
Current children cumulated vsize (Kb) 3052

[startup+520.024 s]
Raw data (loadavg): 1.02 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 397 0 0 0 46031 2076 0 0 25 0 1 0 1860054875 3125248 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 363 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 481.07
Current children cumulated vsize (Kb) 3052

[startup+530.025 s]
Raw data (loadavg): 1.02 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 397 0 0 0 46953 2104 0 0 23 0 1 0 1860054875 3125248 363 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 363 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 490.57
Current children cumulated vsize (Kb) 3052

[startup+540.025 s]
Raw data (loadavg): 1.01 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 398 0 0 0 47867 2133 0 0 25 0 1 0 1860054875 3125248 364 4294967295 134512640 134578447 3221224624 3221223228 1075288790 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 364 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 3052

[startup+550.025 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 400 0 0 0 48787 2161 0 0 25 0 1 0 1860054875 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 366 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 509.48
Current children cumulated vsize (Kb) 3052

[startup+560.026 s]
Raw data (loadavg): 1.01 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 400 0 0 0 49693 2193 0 0 25 0 1 0 1860054875 3125248 366 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 366 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 518.86
Current children cumulated vsize (Kb) 3052

[startup+570.026 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 400 0 0 0 50588 2229 0 0 25 0 1 0 1860054875 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 366 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 528.17
Current children cumulated vsize (Kb) 3052

[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 400 0 0 0 51491 2260 0 0 25 0 1 0 1860054875 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 366 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 537.51
Current children cumulated vsize (Kb) 3052

[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 400 0 0 0 52340 2312 0 0 24 0 1 0 1860054875 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 366 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 546.52
Current children cumulated vsize (Kb) 3052

[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 400 0 0 0 53231 2347 0 0 25 0 1 0 1860054875 3125248 366 4294967295 134512640 134578447 3221224624 3221223484 134526920 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 366 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 555.78
Current children cumulated vsize (Kb) 3052

[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 400 0 0 0 54130 2380 0 0 25 0 1 0 1860054875 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 366 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 565.1
Current children cumulated vsize (Kb) 3052

[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 400 0 0 0 55005 2420 0 0 25 0 1 0 1860054875 3125248 366 4294967295 134512640 134578447 3221224624 3221223480 134558258 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 763 366 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 574.25
Current children cumulated vsize (Kb) 3052

[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 402 0 0 0 55879 2465 0 0 25 0 1 0 1860054875 3125248 368 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 368 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 583.44
Current children cumulated vsize (Kb) 3052

[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 402 0 0 0 56763 2505 0 0 25 0 1 0 1860054875 3125248 368 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 763 368 566 18 0 745 0
[pid=25376] vsize: 3052
Current children cumulated CPU time (s) 592.68
Current children cumulated vsize (Kb) 3052

[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 57650 2543 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 601.93
Current children cumulated vsize (Kb) 3168

[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 58525 2585 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 611.1
Current children cumulated vsize (Kb) 3168

[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 59388 2632 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 620.2
Current children cumulated vsize (Kb) 3168

[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 60264 2672 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 629.36
Current children cumulated vsize (Kb) 3168

[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 61143 2712 0 0 17 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 638.55
Current children cumulated vsize (Kb) 3168

[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 62001 2756 0 0 23 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 647.57
Current children cumulated vsize (Kb) 3168

[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 62814 2823 0 0 24 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 656.37
Current children cumulated vsize (Kb) 3168

[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 63638 2885 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 665.23
Current children cumulated vsize (Kb) 3168

[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 64473 2939 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 674.12
Current children cumulated vsize (Kb) 3168

[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 65256 3009 0 0 21 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 682.65
Current children cumulated vsize (Kb) 3168

[startup+750.036 s]
Raw data (loadavg): 1.15 1.03 0.96 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 66088 3064 0 0 21 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 691.52
Current children cumulated vsize (Kb) 3168

[startup+760.036 s]
Raw data (loadavg): 1.13 1.03 0.96 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 66936 3117 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 700.53
Current children cumulated vsize (Kb) 3168

[startup+770.037 s]
Raw data (loadavg): 1.11 1.03 0.96 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 67776 3172 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 709.48
Current children cumulated vsize (Kb) 3168

[startup+780.038 s]
Raw data (loadavg): 1.09 1.03 0.96 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 68630 3223 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 718.53
Current children cumulated vsize (Kb) 3168

[startup+790.037 s]
Raw data (loadavg): 1.08 1.03 0.96 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 69471 3276 0 0 21 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 727.47
Current children cumulated vsize (Kb) 3168

[startup+800.039 s]
Raw data (loadavg): 1.06 1.03 0.96 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 70281 3340 0 0 21 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 736.21
Current children cumulated vsize (Kb) 3168

[startup+810.039 s]
Raw data (loadavg): 1.05 1.02 0.96 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 71104 3398 0 0 24 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 745.02
Current children cumulated vsize (Kb) 3168

[startup+820.038 s]
Raw data (loadavg): 1.05 1.02 0.96 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 71970 3445 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 754.15
Current children cumulated vsize (Kb) 3168

[startup+830.039 s]
Raw data (loadavg): 1.12 1.04 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 72828 3494 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 763.22
Current children cumulated vsize (Kb) 3168

[startup+840.04 s]
Raw data (loadavg): 1.10 1.04 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 73665 3552 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 772.17
Current children cumulated vsize (Kb) 3168

[startup+850.041 s]
Raw data (loadavg): 1.08 1.04 0.97 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 74484 3614 0 0 20 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 780.98
Current children cumulated vsize (Kb) 3168

[startup+860.041 s]
Raw data (loadavg): 1.07 1.03 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 75352 3659 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 790.11
Current children cumulated vsize (Kb) 3168

[startup+870.041 s]
Raw data (loadavg): 1.06 1.03 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 76188 3717 0 0 24 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 799.05
Current children cumulated vsize (Kb) 3168

[startup+880.042 s]
Raw data (loadavg): 1.05 1.03 0.97 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 77012 3778 0 0 24 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223584 134558788 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 807.9
Current children cumulated vsize (Kb) 3168

[startup+890.042 s]
Raw data (loadavg): 1.04 1.03 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 77845 3833 0 0 23 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 816.78
Current children cumulated vsize (Kb) 3168

[startup+900.043 s]
Raw data (loadavg): 1.04 1.03 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 78686 3889 0 0 23 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 825.75
Current children cumulated vsize (Kb) 3168

[startup+910.044 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 79507 3949 0 0 23 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223228 1075288574 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 834.56
Current children cumulated vsize (Kb) 3168

[startup+920.045 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 80346 4005 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223376 134528897 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 843.51
Current children cumulated vsize (Kb) 3168

[startup+930.045 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 81172 4066 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 852.38
Current children cumulated vsize (Kb) 3168

[startup+940.046 s]
Raw data (loadavg): 1.09 1.04 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 82009 4120 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 861.29
Current children cumulated vsize (Kb) 3168

[startup+950.047 s]
Raw data (loadavg): 1.08 1.04 0.97 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 82817 4183 0 0 21 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223556 134527379 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 870
Current children cumulated vsize (Kb) 3168

[startup+960.047 s]
Raw data (loadavg): 1.06 1.04 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 83629 4251 0 0 24 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 878.8
Current children cumulated vsize (Kb) 3168

[startup+970.048 s]
Raw data (loadavg): 1.05 1.03 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 84452 4311 0 0 21 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 887.63
Current children cumulated vsize (Kb) 3168

[startup+980.049 s]
Raw data (loadavg): 1.04 1.03 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 85287 4369 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 896.56
Current children cumulated vsize (Kb) 3168

[startup+990.048 s]
Raw data (loadavg): 1.04 1.03 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 86146 4418 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 905.64
Current children cumulated vsize (Kb) 3168

[startup+1000.05 s]
Raw data (loadavg): 1.03 1.03 0.97 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 86959 4478 0 0 23 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 914.37
Current children cumulated vsize (Kb) 3168

[startup+1010.05 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 87781 4536 0 0 24 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 923.17
Current children cumulated vsize (Kb) 3168

[startup+1020.05 s]
Raw data (loadavg): 1.10 1.04 0.98 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 408 0 0 0 88619 4589 0 0 24 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 932.08
Current children cumulated vsize (Kb) 3168

[startup+1030.05 s]
Raw data (loadavg): 1.08 1.04 0.98 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 408 0 0 0 89460 4641 0 0 25 0 1 0 1860054875 3244032 374 4294967295 134512640 134578447 3221224624 3221223568 134558734 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 374 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 941.01
Current children cumulated vsize (Kb) 3168

[startup+1040.05 s]
Raw data (loadavg): 1.07 1.04 0.98 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 90331 4684 0 0 25 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 950.15
Current children cumulated vsize (Kb) 3168

[startup+1050.05 s]
Raw data (loadavg): 1.06 1.04 0.98 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 91175 4736 0 0 24 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 959.11
Current children cumulated vsize (Kb) 3168

[startup+1060.05 s]
Raw data (loadavg): 1.05 1.04 0.98 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 92015 4791 0 0 25 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 968.06
Current children cumulated vsize (Kb) 3168

[startup+1070.05 s]
Raw data (loadavg): 1.04 1.03 0.98 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 92839 4850 0 0 22 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 976.89
Current children cumulated vsize (Kb) 3168

[startup+1080.05 s]
Raw data (loadavg): 1.04 1.03 0.98 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 410 0 0 0 93627 4925 0 0 23 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 985.52
Current children cumulated vsize (Kb) 3168

[startup+1090.05 s]
Raw data (loadavg): 1.03 1.03 0.98 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 94463 4981 0 0 25 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 994.44
Current children cumulated vsize (Kb) 3168

[startup+1100.05 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 95307 5035 0 0 18 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1003.42
Current children cumulated vsize (Kb) 3168

[startup+1110.06 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 96159 5088 0 0 24 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1012.47
Current children cumulated vsize (Kb) 3168

[startup+1120.06 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 96980 5148 0 0 22 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1021.28
Current children cumulated vsize (Kb) 3168

[startup+1130.06 s]
Raw data (loadavg): 1.01 1.03 0.98 2/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 410 0 0 0 97815 5206 0 0 23 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1030.21
Current children cumulated vsize (Kb) 3168

[startup+1140.06 s]
Raw data (loadavg): 1.01 1.02 0.98 1/56 25376
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 98645 5260 0 0 25 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1039.05
Current children cumulated vsize (Kb) 3168

[startup+1150.06 s]
Raw data (loadavg): 1.09 1.04 0.98 1/56 25431
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 99488 5315 0 0 24 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1048.03
Current children cumulated vsize (Kb) 3168

[startup+1160.06 s]
Raw data (loadavg): 1.07 1.04 0.98 1/56 25431
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 100340 5364 0 0 25 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1057.04
Current children cumulated vsize (Kb) 3168

[startup+1170.06 s]
Raw data (loadavg): 1.14 1.05 0.99 1/56 25431
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 101174 5421 0 0 22 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1065.95
Current children cumulated vsize (Kb) 3168

[startup+1180.06 s]
Raw data (loadavg): 1.12 1.05 0.99 1/56 25431
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 102020 5476 0 0 23 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1074.96
Current children cumulated vsize (Kb) 3168

[startup+1190.06 s]
Raw data (loadavg): 1.10 1.05 0.99 2/56 25431
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 410 0 0 0 102856 5530 0 0 24 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1083.86
Current children cumulated vsize (Kb) 3168

[startup+1200.06 s]
Raw data (loadavg): 1.08 1.05 0.99 1/56 25431
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 103679 5591 0 0 17 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1092.7
Current children cumulated vsize (Kb) 3168

[startup+1210.06 s]
Raw data (loadavg): 1.07 1.04 0.99 1/56 25431
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 104525 5642 0 0 24 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1101.67
Current children cumulated vsize (Kb) 3168

[startup+1220.06 s]
Raw data (loadavg): 1.06 1.04 0.99 2/56 25433
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 410 0 0 0 105327 5705 0 0 21 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223556 134527390 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1110.32
Current children cumulated vsize (Kb) 3168

[startup+1230.06 s]
Raw data (loadavg): 1.05 1.04 0.99 1/56 25435
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 106162 5762 0 0 23 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1119.24
Current children cumulated vsize (Kb) 3168

[startup+1240.06 s]
Raw data (loadavg): 1.04 1.04 0.99 1/56 25435
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 410 0 0 0 106996 5818 0 0 22 0 1 0 1860054875 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 376 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1128.14
Current children cumulated vsize (Kb) 3168

[startup+1250.06 s]
Raw data (loadavg): 1.12 1.05 0.99 1/56 25435
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 417 0 0 0 107821 5877 0 0 23 0 1 0 1860054875 3244032 383 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 383 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1136.98
Current children cumulated vsize (Kb) 3168

[startup+1260.06 s]
Raw data (loadavg): 1.10 1.05 0.99 2/56 25435
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 421 0 0 0 108657 5934 0 0 25 0 1 0 1860054875 3244032 387 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 387 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1145.91
Current children cumulated vsize (Kb) 3168

[startup+1270.06 s]
Raw data (loadavg): 1.08 1.05 0.99 1/56 25435
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 423 0 0 0 109515 5981 0 0 25 0 1 0 1860054875 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25376/statm): 792 389 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1154.96
Current children cumulated vsize (Kb) 3168

[startup+1280.06 s]
Raw data (loadavg): 1.07 1.05 0.99 1/56 25435
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 423 0 0 0 110360 6034 0 0 25 0 1 0 1860054875 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 389 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1163.94
Current children cumulated vsize (Kb) 3168

[startup+1290.06 s]
Raw data (loadavg): 1.06 1.05 0.99 2/56 25435
Raw data (/proc/25376/stat): 25376 (Pueblo) R 25375 25376 21452 0 -1 0 423 0 0 0 111233 6077 0 0 25 0 1 0 1860054875 3244032 389 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 389 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1173.1
Current children cumulated vsize (Kb) 3168

[startup+1300.06 s]
Raw data (loadavg): 1.05 1.04 0.99 1/56 25435
Raw data (/proc/25376/stat): 25376 (Pueblo) T 25375 25376 21452 0 -1 0 423 0 0 0 112106 6121 0 0 25 0 1 0 1860054875 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25376/statm): 792 389 566 18 0 774 0
[pid=25376] vsize: 3168
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (Kb) 3168
One traced child (pid=25376) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1307.59
CPU time (s): 1189.01
CPU user time (s): 1127.41
CPU system time (s): 61.5986
CPU usage (%): 90.9317
Max. virtual memory (cumulated for all children) (Kb): 3168

Verifier Data

Verifier:	OK	1313