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/miplib3/normalized-mps-v2-13-7-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 benchmark664.088
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 8583

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        736680 kB
Buffers:         39588 kB
Cached:         231096 kB
SwapCached:        228 kB
Active:          88076 kB
Inactive:       185536 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        736428 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6292 kB
Slab:            18660 kB
Committed_AS:    64140 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:28:37 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5709 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/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802017900 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 41 3 40 18 0 23 0
[pid=25481] 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.0033 s]
Raw data (loadavg): 0.95 0.99 0.93 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 327 0 0 0 787 72 0 0 25 0 1 0 1802017900 2904064 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 709 293 566 18 0 691 0
[pid=25481] vsize: 2836
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (Kb) 2836

[startup+20.0039 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 332 0 0 0 1653 118 0 0 25 0 1 0 1802017900 2904064 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 709 298 566 18 0 691 0
[pid=25481] vsize: 2836
Current children cumulated CPU time (s) 17.71
Current children cumulated vsize (Kb) 2836

[startup+30.0044 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 337 0 0 0 2519 167 0 0 25 0 1 0 1802017900 2904064 303 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 709 303 566 18 0 691 0
[pid=25481] vsize: 2836
Current children cumulated CPU time (s) 26.86
Current children cumulated vsize (Kb) 2836

[startup+40.005 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 339 0 0 0 3411 207 0 0 25 0 1 0 1802017900 2904064 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 709 305 566 18 0 691 0
[pid=25481] vsize: 2836
Current children cumulated CPU time (s) 36.18
Current children cumulated vsize (Kb) 2836

[startup+50.0056 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 345 0 0 0 4302 245 0 0 25 0 1 0 1802017900 2904064 311 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 709 311 566 18 0 691 0
[pid=25481] vsize: 2836
Current children cumulated CPU time (s) 45.47
Current children cumulated vsize (Kb) 2836

[startup+60.0061 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 349 0 0 0 5200 279 0 0 25 0 1 0 1802017900 2904064 315 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 709 315 566 18 0 691 0
[pid=25481] vsize: 2836
Current children cumulated CPU time (s) 54.79
Current children cumulated vsize (Kb) 2836

[startup+70.0067 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 352 0 0 0 6094 315 0 0 25 0 1 0 1802017900 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 318 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 64.09
Current children cumulated vsize (Kb) 2956

[startup+80.0072 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 356 0 0 0 6982 355 0 0 25 0 1 0 1802017900 3026944 322 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 322 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 73.37
Current children cumulated vsize (Kb) 2956

[startup+90.0078 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 357 0 0 0 7863 397 0 0 25 0 1 0 1802017900 3026944 323 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 323 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 82.6
Current children cumulated vsize (Kb) 2956

[startup+100.007 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 365 0 0 0 8770 428 0 0 25 0 1 0 1802017900 3026944 331 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 331 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 91.98
Current children cumulated vsize (Kb) 2956

[startup+110.008 s]
Raw data (loadavg): 1.08 1.02 0.94 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 365 0 0 0 9687 457 0 0 25 0 1 0 1802017900 3026944 331 4294967295 134512640 134578447 3221224624 3221223472 134520230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 331 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (Kb) 2956

[startup+120.008 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 367 0 0 0 10605 484 0 0 25 0 1 0 1802017900 3026944 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 739 333 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 110.89
Current children cumulated vsize (Kb) 2956

[startup+130.009 s]
Raw data (loadavg): 1.06 1.01 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 367 0 0 0 11515 516 0 0 25 0 1 0 1802017900 3026944 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 333 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 120.31
Current children cumulated vsize (Kb) 2956

[startup+140.01 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 368 0 0 0 12421 549 0 0 25 0 1 0 1802017900 3026944 334 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 334 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 129.7
Current children cumulated vsize (Kb) 2956

[startup+150.01 s]
Raw data (loadavg): 1.04 1.01 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 370 0 0 0 13328 581 0 0 25 0 1 0 1802017900 3026944 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 336 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 139.09
Current children cumulated vsize (Kb) 2956

[startup+160.011 s]
Raw data (loadavg): 1.04 1.01 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 370 0 0 0 14244 610 0 0 25 0 1 0 1802017900 3026944 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 336 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 148.54
Current children cumulated vsize (Kb) 2956

[startup+170.011 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 370 0 0 0 15161 638 0 0 25 0 1 0 1802017900 3026944 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 336 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 157.99
Current children cumulated vsize (Kb) 2956

[startup+180.012 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 376 0 0 0 16046 677 0 0 25 0 1 0 1802017900 3026944 342 4294967295 134512640 134578447 3221224624 3221223472 134520160 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 739 342 566 18 0 721 0
[pid=25481] vsize: 2956
Current children cumulated CPU time (s) 167.23
Current children cumulated vsize (Kb) 2956

[startup+190.012 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 381 0 0 0 16939 713 0 0 23 0 1 0 1802017900 3158016 347 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 771 347 566 18 0 753 0
[pid=25481] vsize: 3084
Current children cumulated CPU time (s) 176.52
Current children cumulated vsize (Kb) 3084

[startup+200.012 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 381 0 0 0 17814 757 0 0 25 0 1 0 1802017900 3158016 347 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 771 347 566 18 0 753 0
[pid=25481] vsize: 3084
Current children cumulated CPU time (s) 185.71
Current children cumulated vsize (Kb) 3084

[startup+210.013 s]
Raw data (loadavg): 1.09 1.02 0.95 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 382 0 0 0 18706 793 0 0 25 0 1 0 1802017900 3125248 348 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 348 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 194.99
Current children cumulated vsize (Kb) 3052

[startup+220.013 s]
Raw data (loadavg): 1.16 1.04 0.95 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 382 0 0 0 19620 823 0 0 25 0 1 0 1802017900 3125248 348 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 348 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (Kb) 3052

[startup+230.014 s]
Raw data (loadavg): 1.13 1.04 0.95 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 382 0 0 0 20511 864 0 0 24 0 1 0 1802017900 3125248 348 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 348 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 213.75
Current children cumulated vsize (Kb) 3052

[startup+240.014 s]
Raw data (loadavg): 1.11 1.04 0.95 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 384 0 0 0 21391 904 0 0 24 0 1 0 1802017900 3125248 350 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 763 350 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 222.95
Current children cumulated vsize (Kb) 3052

[startup+250.015 s]
Raw data (loadavg): 1.10 1.03 0.95 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 384 0 0 0 22263 948 0 0 25 0 1 0 1802017900 3125248 350 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 350 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 232.11
Current children cumulated vsize (Kb) 3052

[startup+260.015 s]
Raw data (loadavg): 1.08 1.03 0.95 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 387 0 0 0 23118 996 0 0 25 0 1 0 1802017900 3125248 353 4294967295 134512640 134578447 3221224624 3221223412 1075289770 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 353 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 241.14
Current children cumulated vsize (Kb) 3052

[startup+270.016 s]
Raw data (loadavg): 1.07 1.03 0.95 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 387 0 0 0 23981 1044 0 0 18 0 1 0 1802017900 3125248 353 4294967295 134512640 134578447 3221224624 3221223556 134527379 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 353 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 250.25
Current children cumulated vsize (Kb) 3052

[startup+280.017 s]
Raw data (loadavg): 1.06 1.03 0.95 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 387 0 0 0 24830 1096 0 0 25 0 1 0 1802017900 3125248 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 353 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 259.26
Current children cumulated vsize (Kb) 3052

[startup+290.017 s]
Raw data (loadavg): 1.05 1.03 0.95 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 387 0 0 0 25689 1146 0 0 25 0 1 0 1802017900 3125248 353 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 353 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 268.35
Current children cumulated vsize (Kb) 3052

[startup+300.017 s]
Raw data (loadavg): 1.04 1.03 0.95 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 387 0 0 0 26549 1196 0 0 24 0 1 0 1802017900 3125248 353 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 353 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 277.45
Current children cumulated vsize (Kb) 3052

[startup+310.017 s]
Raw data (loadavg): 1.03 1.03 0.95 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 389 0 0 0 27459 1228 0 0 25 0 1 0 1802017900 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 763 355 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 286.87
Current children cumulated vsize (Kb) 3052

[startup+320.018 s]
Raw data (loadavg): 1.03 1.02 0.95 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 389 0 0 0 28349 1267 0 0 25 0 1 0 1802017900 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 355 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 296.16
Current children cumulated vsize (Kb) 3052

[startup+330.018 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 389 0 0 0 29230 1309 0 0 25 0 1 0 1802017900 3125248 355 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 355 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 305.39
Current children cumulated vsize (Kb) 3052

[startup+340.019 s]
Raw data (loadavg): 1.10 1.04 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 389 0 0 0 30091 1354 0 0 25 0 1 0 1802017900 3125248 355 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 355 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 314.45
Current children cumulated vsize (Kb) 3052

[startup+350.018 s]
Raw data (loadavg): 1.08 1.04 0.96 3/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 389 0 0 0 30954 1404 0 0 25 0 1 0 1802017900 3125248 355 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 355 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 323.58
Current children cumulated vsize (Kb) 3052

[startup+360.019 s]
Raw data (loadavg): 1.07 1.04 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 393 0 0 0 31826 1448 0 0 24 0 1 0 1802017900 3125248 359 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 359 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 332.74
Current children cumulated vsize (Kb) 3052

[startup+370.02 s]
Raw data (loadavg): 1.06 1.03 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 393 0 0 0 32697 1494 0 0 25 0 1 0 1802017900 3125248 359 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 359 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 341.91
Current children cumulated vsize (Kb) 3052

[startup+380.02 s]
Raw data (loadavg): 1.05 1.03 0.96 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 393 0 0 0 33578 1534 0 0 25 0 1 0 1802017900 3125248 359 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 359 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 351.12
Current children cumulated vsize (Kb) 3052

[startup+390.021 s]
Raw data (loadavg): 1.04 1.03 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 393 0 0 0 34444 1577 0 0 25 0 1 0 1802017900 3125248 359 4294967295 134512640 134578447 3221224624 3221223504 134527444 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 359 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 360.21
Current children cumulated vsize (Kb) 3052

[startup+400.02 s]
Raw data (loadavg): 1.03 1.03 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 393 0 0 0 35327 1615 0 0 25 0 1 0 1802017900 3125248 359 4294967295 134512640 134578447 3221224624 3221223456 134558435 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 359 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 369.42
Current children cumulated vsize (Kb) 3052

[startup+410.021 s]
Raw data (loadavg): 1.11 1.04 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 395 0 0 0 36206 1658 0 0 25 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 378.64
Current children cumulated vsize (Kb) 3052

[startup+420.021 s]
Raw data (loadavg): 1.09 1.04 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 395 0 0 0 37110 1691 0 0 25 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 388.01
Current children cumulated vsize (Kb) 3052

[startup+430.022 s]
Raw data (loadavg): 1.08 1.04 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 395 0 0 0 37992 1732 0 0 25 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 397.24
Current children cumulated vsize (Kb) 3052

[startup+440.022 s]
Raw data (loadavg): 1.06 1.04 0.96 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 395 0 0 0 38876 1770 0 0 25 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 406.46
Current children cumulated vsize (Kb) 3052

[startup+450.021 s]
Raw data (loadavg): 1.05 1.04 0.96 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 395 0 0 0 39728 1820 0 0 25 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 415.48
Current children cumulated vsize (Kb) 3052

[startup+460.022 s]
Raw data (loadavg): 1.05 1.03 0.96 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 395 0 0 0 40571 1876 0 0 24 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 424.47
Current children cumulated vsize (Kb) 3052

[startup+470.021 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 395 0 0 0 41441 1922 0 0 25 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 433.63
Current children cumulated vsize (Kb) 3052

[startup+480.022 s]
Raw data (loadavg): 1.03 1.03 0.96 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 395 0 0 0 42338 1959 0 0 25 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 442.97
Current children cumulated vsize (Kb) 3052

[startup+490.022 s]
Raw data (loadavg): 1.03 1.03 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 395 0 0 0 43238 1995 0 0 25 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 452.33
Current children cumulated vsize (Kb) 3052

[startup+500.022 s]
Raw data (loadavg): 1.02 1.03 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 395 0 0 0 44152 2025 0 0 25 0 1 0 1802017900 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 361 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 461.77
Current children cumulated vsize (Kb) 3052

[startup+510.022 s]
Raw data (loadavg): 1.02 1.03 0.96 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 397 0 0 0 45069 2055 0 0 25 0 1 0 1802017900 3125248 363 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 363 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 471.24
Current children cumulated vsize (Kb) 3052

[startup+520.023 s]
Raw data (loadavg): 1.02 1.03 0.96 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 397 0 0 0 45942 2098 0 0 25 0 1 0 1802017900 3125248 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 763 363 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 480.4
Current children cumulated vsize (Kb) 3052

[startup+530.024 s]
Raw data (loadavg): 1.09 1.04 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 397 0 0 0 46862 2126 0 0 25 0 1 0 1802017900 3125248 363 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 363 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 489.88
Current children cumulated vsize (Kb) 3052

[startup+540.024 s]
Raw data (loadavg): 1.07 1.04 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 398 0 0 0 47768 2156 0 0 25 0 1 0 1802017900 3125248 364 4294967295 134512640 134578447 3221224624 3221223504 134528126 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 364 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 499.24
Current children cumulated vsize (Kb) 3052

[startup+550.025 s]
Raw data (loadavg): 1.06 1.04 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 400 0 0 0 48693 2183 0 0 25 0 1 0 1802017900 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 366 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 508.76
Current children cumulated vsize (Kb) 3052

[startup+560.025 s]
Raw data (loadavg): 1.05 1.04 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 400 0 0 0 49600 2215 0 0 25 0 1 0 1802017900 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 366 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 518.15
Current children cumulated vsize (Kb) 3052

[startup+570.026 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 400 0 0 0 50494 2251 0 0 25 0 1 0 1802017900 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527799 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 366 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 527.45
Current children cumulated vsize (Kb) 3052

[startup+580.026 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 400 0 0 0 51394 2285 0 0 25 0 1 0 1802017900 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 366 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 536.79
Current children cumulated vsize (Kb) 3052

[startup+590.027 s]
Raw data (loadavg): 1.03 1.03 0.97 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 400 0 0 0 52244 2338 0 0 24 0 1 0 1802017900 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 366 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 545.82
Current children cumulated vsize (Kb) 3052

[startup+600.027 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 400 0 0 0 53119 2384 0 0 25 0 1 0 1802017900 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 366 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 555.03
Current children cumulated vsize (Kb) 3052

[startup+610.027 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 400 0 0 0 54014 2422 0 0 25 0 1 0 1802017900 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 366 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 564.36
Current children cumulated vsize (Kb) 3052

[startup+620.027 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 400 0 0 0 54880 2469 0 0 25 0 1 0 1802017900 3125248 366 4294967295 134512640 134578447 3221224624 3221223472 134558306 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 366 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 573.49
Current children cumulated vsize (Kb) 3052

[startup+630.027 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 402 0 0 0 55747 2517 0 0 25 0 1 0 1802017900 3125248 368 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25481/statm): 763 368 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 582.64
Current children cumulated vsize (Kb) 3052

[startup+640.028 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 402 0 0 0 56632 2558 0 0 25 0 1 0 1802017900 3125248 368 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 763 368 566 18 0 745 0
[pid=25481] vsize: 3052
Current children cumulated CPU time (s) 591.9
Current children cumulated vsize (Kb) 3052

[startup+650.027 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 57507 2603 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 601.1
Current children cumulated vsize (Kb) 3168

[startup+660.028 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 58375 2650 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 610.25
Current children cumulated vsize (Kb) 3168

[startup+670.028 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 59230 2697 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 619.27
Current children cumulated vsize (Kb) 3168

[startup+680.029 s]
Raw data (loadavg): 1.16 1.05 0.98 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 408 0 0 0 60111 2738 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 628.49
Current children cumulated vsize (Kb) 3168

[startup+690.03 s]
Raw data (loadavg): 1.13 1.05 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 60978 2783 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 637.61
Current children cumulated vsize (Kb) 3168

[startup+700.03 s]
Raw data (loadavg): 1.11 1.05 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 61843 2825 0 0 20 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 646.68
Current children cumulated vsize (Kb) 3168

[startup+710.031 s]
Raw data (loadavg): 1.10 1.05 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 62657 2889 0 0 24 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 655.46
Current children cumulated vsize (Kb) 3168

[startup+720.031 s]
Raw data (loadavg): 1.08 1.05 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 63475 2951 0 0 23 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 664.26
Current children cumulated vsize (Kb) 3168

[startup+730.033 s]
Raw data (loadavg): 1.15 1.06 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 64303 3011 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223692 134561235 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 673.14
Current children cumulated vsize (Kb) 3168

[startup+740.032 s]
Raw data (loadavg): 1.12 1.06 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 65105 3076 0 0 20 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 681.81
Current children cumulated vsize (Kb) 3168

[startup+750.032 s]
Raw data (loadavg): 1.10 1.06 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 65909 3144 0 0 23 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223580 134558755 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 690.53
Current children cumulated vsize (Kb) 3168

[startup+760.033 s]
Raw data (loadavg): 1.09 1.05 0.98 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 408 0 0 0 66750 3200 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 699.5
Current children cumulated vsize (Kb) 3168

[startup+770.033 s]
Raw data (loadavg): 1.07 1.05 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 67588 3252 0 0 23 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 708.4
Current children cumulated vsize (Kb) 3168

[startup+780.034 s]
Raw data (loadavg): 1.06 1.05 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 68434 3304 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 717.38
Current children cumulated vsize (Kb) 3168

[startup+790.034 s]
Raw data (loadavg): 1.05 1.05 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 69298 3353 0 0 24 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223456 134528247 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 726.51
Current children cumulated vsize (Kb) 3168

[startup+800.036 s]
Raw data (loadavg): 1.04 1.05 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 70087 3425 0 0 23 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 735.12
Current children cumulated vsize (Kb) 3168

[startup+810.036 s]
Raw data (loadavg): 1.04 1.04 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 70903 3487 0 0 22 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223120 134564776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 743.9
Current children cumulated vsize (Kb) 3168

[startup+820.037 s]
Raw data (loadavg): 1.03 1.04 0.98 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 71748 3538 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527638 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 752.86
Current children cumulated vsize (Kb) 3168

[startup+830.037 s]
Raw data (loadavg): 1.10 1.06 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 72609 3585 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (Kb) 3168

[startup+840.038 s]
Raw data (loadavg): 1.09 1.05 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 73449 3638 0 0 24 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 770.87
Current children cumulated vsize (Kb) 3168

[startup+850.039 s]
Raw data (loadavg): 1.07 1.05 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 74279 3698 0 0 24 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 779.77
Current children cumulated vsize (Kb) 3168

[startup+860.039 s]
Raw data (loadavg): 1.06 1.05 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 75118 3754 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 788.72
Current children cumulated vsize (Kb) 3168

[startup+870.04 s]
Raw data (loadavg): 1.05 1.05 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 75961 3805 0 0 22 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 797.66
Current children cumulated vsize (Kb) 3168

[startup+880.04 s]
Raw data (loadavg): 1.04 1.05 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 76796 3862 0 0 23 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223604 134519484 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 806.58
Current children cumulated vsize (Kb) 3168

[startup+890.04 s]
Raw data (loadavg): 1.04 1.04 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 77622 3921 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 815.43
Current children cumulated vsize (Kb) 3168

[startup+900.04 s]
Raw data (loadavg): 1.03 1.04 0.99 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 408 0 0 0 78467 3972 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 824.39
Current children cumulated vsize (Kb) 3168

[startup+910.041 s]
Raw data (loadavg): 1.03 1.04 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 79283 4031 0 0 21 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 833.14
Current children cumulated vsize (Kb) 3168

[startup+920.04 s]
Raw data (loadavg): 1.02 1.04 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 80105 4090 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223524 1075290612 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 841.95
Current children cumulated vsize (Kb) 3168

[startup+930.041 s]
Raw data (loadavg): 1.02 1.04 0.99 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 408 0 0 0 80936 4147 0 0 22 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 850.83
Current children cumulated vsize (Kb) 3168

[startup+940.042 s]
Raw data (loadavg): 1.01 1.04 0.99 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 408 0 0 0 81765 4205 0 0 24 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 859.7
Current children cumulated vsize (Kb) 3168

[startup+950.041 s]
Raw data (loadavg): 1.01 1.03 0.99 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 408 0 0 0 82595 4260 0 0 22 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 868.55
Current children cumulated vsize (Kb) 3168

[startup+960.042 s]
Raw data (loadavg): 1.01 1.03 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 83388 4330 0 0 21 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 877.18
Current children cumulated vsize (Kb) 3168

[startup+970.042 s]
Raw data (loadavg): 1.01 1.03 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 84227 4386 0 0 23 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 886.13
Current children cumulated vsize (Kb) 3168

[startup+980.043 s]
Raw data (loadavg): 1.01 1.03 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 85030 4450 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 894.8
Current children cumulated vsize (Kb) 3168

[startup+990.043 s]
Raw data (loadavg): 1.00 1.03 0.99 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 408 0 0 0 85885 4499 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 903.84
Current children cumulated vsize (Kb) 3168

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.03 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 86718 4556 0 0 24 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223220 1075290785 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 912.74
Current children cumulated vsize (Kb) 3168

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.03 0.99 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 408 0 0 0 87535 4615 0 0 22 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 921.5
Current children cumulated vsize (Kb) 3168

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.02 0.99 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 408 0 0 0 88358 4677 0 0 22 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 930.35
Current children cumulated vsize (Kb) 3168

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 89187 4736 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 939.23
Current children cumulated vsize (Kb) 3168

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 408 0 0 0 90053 4785 0 0 25 0 1 0 1802017900 3244032 374 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 374 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 948.38
Current children cumulated vsize (Kb) 3168

[startup+1050.04 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 90913 4834 0 0 25 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 957.47
Current children cumulated vsize (Kb) 3168

[startup+1060.05 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 91741 4895 0 0 25 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 966.36
Current children cumulated vsize (Kb) 3168

[startup+1070.05 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 92585 4948 0 0 25 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 975.33
Current children cumulated vsize (Kb) 3168

[startup+1080.05 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 93374 5022 0 0 22 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223520 134519893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 983.96
Current children cumulated vsize (Kb) 3168

[startup+1090.05 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 410 0 0 0 94194 5085 0 0 24 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 992.79
Current children cumulated vsize (Kb) 3168

[startup+1100.05 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 410 0 0 0 95044 5135 0 0 25 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (Kb) 3168

[startup+1110.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 95881 5190 0 0 25 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1010.71
Current children cumulated vsize (Kb) 3168

[startup+1120.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 96717 5244 0 0 24 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1019.61
Current children cumulated vsize (Kb) 3168

[startup+1130.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 97556 5297 0 0 25 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1028.53
Current children cumulated vsize (Kb) 3168

[startup+1140.05 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 410 0 0 0 98359 5367 0 0 22 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1037.26
Current children cumulated vsize (Kb) 3168

[startup+1150.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 99227 5411 0 0 25 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1046.38
Current children cumulated vsize (Kb) 3168

[startup+1160.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 100068 5464 0 0 25 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223472 134520252 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1055.32
Current children cumulated vsize (Kb) 3168

[startup+1170.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 410 0 0 0 100927 5515 0 0 22 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1064.42
Current children cumulated vsize (Kb) 3168

[startup+1180.05 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 410 0 0 0 101751 5572 0 0 25 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1073.23
Current children cumulated vsize (Kb) 3168

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 102573 5633 0 0 21 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1082.06
Current children cumulated vsize (Kb) 3168

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 410 0 0 0 103407 5690 0 0 23 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1090.97
Current children cumulated vsize (Kb) 3168

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 410 0 0 0 104240 5750 0 0 24 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1099.9
Current children cumulated vsize (Kb) 3168

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 105059 5813 0 0 21 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223508 1075285509 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1108.72
Current children cumulated vsize (Kb) 3168

[startup+1230.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 410 0 0 0 105869 5881 0 0 23 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1117.5
Current children cumulated vsize (Kb) 3168

[startup+1240.05 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 410 0 0 0 106677 5946 0 0 22 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1126.23
Current children cumulated vsize (Kb) 3168

[startup+1250.06 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 410 0 0 0 107512 6002 0 0 22 0 1 0 1802017900 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 376 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1135.14
Current children cumulated vsize (Kb) 3168

[startup+1260.06 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 417 0 0 0 108340 6060 0 0 23 0 1 0 1802017900 3244032 383 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 383 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1144
Current children cumulated vsize (Kb) 3168

[startup+1270.06 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 421 0 0 0 109196 6108 0 0 25 0 1 0 1802017900 3244032 387 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 387 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1153.04
Current children cumulated vsize (Kb) 3168

[startup+1280.06 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) T 25480 25481 22582 0 -1 0 423 0 0 0 110047 6158 0 0 25 0 1 0 1802017900 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 389 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1162.05
Current children cumulated vsize (Kb) 3168

[startup+1290.06 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 423 0 0 0 110892 6212 0 0 25 0 1 0 1802017900 3244032 389 4294967295 134512640 134578447 3221224624 3221223456 134528371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 389 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1171.04
Current children cumulated vsize (Kb) 3168

[startup+1300.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 25481
Raw data (/proc/25481/stat): 25481 (Pueblo) R 25480 25481 22582 0 -1 0 423 0 0 0 111765 6254 0 0 25 0 1 0 1802017900 3244032 389 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25481/statm): 792 389 566 18 0 774 0
[pid=25481] vsize: 3168
Current children cumulated CPU time (s) 1180.19
Current children cumulated vsize (Kb) 3168
One traced child (pid=25481) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1309.89
CPU time (s): 1189.01
CPU user time (s): 1125.92
CPU system time (s): 63.0854
CPU usage (%): 90.7712
Max. virtual memory (cumulated for all children) (Kb): 3168

Verifier Data

Verifier:	OK	1313