Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUMe6bff154156b54af3a9a38f7579209b6
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15872
Optimality of the best value was proved NO
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.13
Number of variables163
Total number of constraints126
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)56
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint1
Maximum length of a constraint102

Trace number 8438

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        856800 kB
Buffers:         32508 kB
Cached:         116472 kB
SwapCached:        892 kB
Active:          76548 kB
Inactive:        75072 kB
HighTotal:      131008 kB
HighFree:        18536 kB
LowTotal:       903652 kB
LowFree:        838264 kB
SwapTotal:     2097892 kB
SwapFree:      2096548 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            20636 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:40:56 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5433 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: 163 - #constraints read: 127
c total time              : 1189 s
s SATISFIABLE
v -d1_bit0 -d2_bit0 -d3_bit0 -d4_bit0 -d5_bit0 d6_bit0 d7_bit0 -d8_bit0 d9_bit0 d10_bit0 -d11_bit0 d12_bit0 d13_bit0 -d14_bit0 -d15_bit0 d16_bit0 -d17_bit0 -d18_bit0 d19_bit0 -d20_bit0 -d21_bit0 -d22_bit0 -d23_bit0 d24_bit0 -d25_bit0 -d26_bit0 -d27_bit0 -d28_bit0 -d29_bit0 -d30_bit0 d31_bit0 -d32_bit0 d33_bit0 d34_bit0 -d35_bit0 -d36_bit0 -d37_bit0 -d38_bit0 d39_bit0 -d40_bit0 -d41_bit0 -d42_bit0 -d43_bit0 d44_bit0 -d45_bit0 -d46_bit0 -d47_bit0 -d48_bit0 -d49_bit0 -d50_bit0 -d51_bit0 d52_bit0 d53_bit0 -d54_bit_10 -d54_bit_9 -d54_bit_8 -d54_bit_7 d54_bit_6 d54_bit_5 d54_bit_4 -d54_bit_3 d54_bit_2 d54_bit_1 -d54_bit0 -d55_bit_10 -d55_bit_9 -d55_bit_8 -d55_bit_7 -d55_bit_6 -d55_bit_5 -d55_bit_4 -d55_bit_3 -d55_bit_2 -d55_bit_1 -d55_bit0 -d56_bit_10 -d56_bit_9 -d56_bit_8 -d56_bit_7 -d56_bit_6 -d56_bit_5 -d56_bit_4 -d56_bit_3 -d56_bit_2 -d56_bit_1 -d56_bit0 -d57_bit_10 -d57_bit_9 -d57_bit_8 -d57_bit_7 -d57_bit_6 -d57_bit_5 -d57_bit_4 -d57_bit_3 -d57_bit_2 -d57_bit_1 -d57_bit0 -d58_bit_10 -d58_bit_9 -d58_bit_8 -d58_bit_7 -d58_bit_6 -d58_bit_5 -d58_bit_4 -d58_bit_3 -d58_bit_2 -d58_bit_1 -d58_bit0 -d59_bit_10 -d59_bit_9 -d59_bit_8 -d59_bit_7 -d59_bit_6 -d59_bit_5 -d59_bit_4 -d59_bit_3 -d59_bit_2 -d59_bit_1 -d59_bit0 -d60_bit_10 -d60_bit_9 -d60_bit_8 -d60_bit_7 -d60_bit_6 -d60_bit_5 -d60_bit_4 -d60_bit_3 -d60_bit_2 -d60_bit_1 -d60_bit0 -d61_bit_10 -d61_bit_9 d61_bit_8 -d61_bit_7 -d61_bit_6 -d61_bit_5 -d61_bit_4 d61_bit_3 -d61_bit_2 -d61_bit_1 -d61_bit0 -d62_bit_10 -d62_bit_9 d62_bit_8 d62_bit_7 -d62_bit_6 -d62_bit_5 -d62_bit_4 -d62_bit_3 -d62_bit_2 -d62_bit_1 -d62_bit0 -d63_bit_10 -d63_bit_9 -d63_bit_8 -d63_bit_7 -d63_bit_6 -d63_bit_5 -d63_bit_4 -d63_bit_3 -d63_bit_2 -d63_bit_1 -d63_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/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859919834 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 41 3 40 18 0 23 0
[pid=4230] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0039 s]
Raw data (loadavg): 0.94 0.96 0.91 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 359 0 0 0 863 47 0 0 24 0 1 0 1859919834 3043328 325 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 743 325 566 18 0 725 0
[pid=4230] vsize: 2972
Current children cumulated CPU time (s) 9.1
Current children cumulated vsize (Kb) 2972

[startup+20.0046 s]
Raw data (loadavg): 0.95 0.96 0.91 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 381 0 0 0 1694 102 0 0 25 0 1 0 1859919834 3043328 347 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 743 347 566 18 0 725 0
[pid=4230] vsize: 2972
Current children cumulated CPU time (s) 17.96
Current children cumulated vsize (Kb) 2972

[startup+30.0054 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 381 0 0 0 2551 155 0 0 25 0 1 0 1859919834 3043328 347 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 743 347 566 18 0 725 0
[pid=4230] vsize: 2972
Current children cumulated CPU time (s) 27.06
Current children cumulated vsize (Kb) 2972

[startup+40.0061 s]
Raw data (loadavg): 0.96 0.96 0.91 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 389 0 0 0 3318 233 0 0 21 0 1 0 1859919834 3174400 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 775 355 566 18 0 757 0
[pid=4230] vsize: 3100
Current children cumulated CPU time (s) 35.51
Current children cumulated vsize (Kb) 3100

[startup+50.0068 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 392 0 0 0 4071 316 0 0 22 0 1 0 1859919834 3174400 358 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 775 358 566 18 0 757 0
[pid=4230] vsize: 3100
Current children cumulated CPU time (s) 43.87
Current children cumulated vsize (Kb) 3100

[startup+60.0065 s]
Raw data (loadavg): 0.97 0.96 0.91 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 410 0 0 0 4852 391 0 0 22 0 1 0 1859919834 3174400 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 775 376 566 18 0 757 0
[pid=4230] vsize: 3100
Current children cumulated CPU time (s) 52.43
Current children cumulated vsize (Kb) 3100

[startup+70.0073 s]
Raw data (loadavg): 0.97 0.96 0.91 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 413 0 0 0 5595 480 0 0 22 0 1 0 1859919834 3174400 379 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 775 379 566 18 0 757 0
[pid=4230] vsize: 3100
Current children cumulated CPU time (s) 60.75
Current children cumulated vsize (Kb) 3100

[startup+80.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 413 0 0 0 6348 562 0 0 25 0 1 0 1859919834 3174400 379 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 775 379 566 18 0 757 0
[pid=4230] vsize: 3100
Current children cumulated CPU time (s) 69.1
Current children cumulated vsize (Kb) 3100

[startup+90.0077 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 413 0 0 0 7197 612 0 0 23 0 1 0 1859919834 3174400 379 4294967295 134512640 134578447 3221224624 3221223504 134528079 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 775 379 566 18 0 757 0
[pid=4230] vsize: 3100
Current children cumulated CPU time (s) 78.09
Current children cumulated vsize (Kb) 3100

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 413 0 0 0 8050 662 0 0 25 0 1 0 1859919834 3174400 379 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 775 379 566 18 0 757 0
[pid=4230] vsize: 3100
Current children cumulated CPU time (s) 87.12
Current children cumulated vsize (Kb) 3100

[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 416 0 0 0 8905 713 0 0 25 0 1 0 1859919834 3174400 382 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 775 382 566 18 0 757 0
[pid=4230] vsize: 3100
Current children cumulated CPU time (s) 96.18
Current children cumulated vsize (Kb) 3100

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 423 0 0 0 9723 777 0 0 25 0 1 0 1859919834 3305472 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 389 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 105
Current children cumulated vsize (Kb) 3228

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 428 0 0 0 10531 842 0 0 20 0 1 0 1859919834 3305472 394 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 394 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 113.73
Current children cumulated vsize (Kb) 3228

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 433 0 0 0 11248 932 0 0 18 0 1 0 1859919834 3305472 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 807 399 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 121.8
Current children cumulated vsize (Kb) 3228

[startup+150.011 s]
Raw data (loadavg): 1.06 0.99 0.91 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 433 0 0 0 11965 1026 0 0 20 0 1 0 1859919834 3305472 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 399 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 129.91
Current children cumulated vsize (Kb) 3228

[startup+160.012 s]
Raw data (loadavg): 1.05 0.99 0.91 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 445 0 0 0 12747 1102 0 0 23 0 1 0 1859919834 3305472 411 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 411 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 138.49
Current children cumulated vsize (Kb) 3228

[startup+170.011 s]
Raw data (loadavg): 1.05 0.99 0.91 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 445 0 0 0 13542 1170 0 0 18 0 1 0 1859919834 3305472 411 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 807 411 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 147.12
Current children cumulated vsize (Kb) 3228

[startup+180.012 s]
Raw data (loadavg): 1.12 1.00 0.92 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 445 0 0 0 14285 1258 0 0 19 0 1 0 1859919834 3305472 411 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 411 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 155.43
Current children cumulated vsize (Kb) 3228

[startup+190.012 s]
Raw data (loadavg): 1.10 1.00 0.92 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 445 0 0 0 15034 1344 0 0 21 0 1 0 1859919834 3305472 411 4294967295 134512640 134578447 3221224624 3221223536 134556921 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 411 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 163.78
Current children cumulated vsize (Kb) 3228

[startup+200.013 s]
Raw data (loadavg): 1.16 1.02 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 445 0 0 0 15780 1429 0 0 23 0 1 0 1859919834 3305472 411 4294967295 134512640 134578447 3221224624 3221223368 1075291634 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 411 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 172.09
Current children cumulated vsize (Kb) 3228

[startup+210.013 s]
Raw data (loadavg): 1.14 1.02 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 447 0 0 0 16585 1498 0 0 25 0 1 0 1859919834 3305472 413 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 413 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 180.83
Current children cumulated vsize (Kb) 3228

[startup+220.013 s]
Raw data (loadavg): 1.12 1.01 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 447 0 0 0 17432 1550 0 0 25 0 1 0 1859919834 3305472 413 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 413 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 189.82
Current children cumulated vsize (Kb) 3228

[startup+230.014 s]
Raw data (loadavg): 1.10 1.01 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 447 0 0 0 18238 1620 0 0 24 0 1 0 1859919834 3305472 413 4294967295 134512640 134578447 3221224624 3221223536 134556756 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 413 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 198.58
Current children cumulated vsize (Kb) 3228

[startup+240.014 s]
Raw data (loadavg): 1.08 1.01 0.93 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 447 0 0 0 19092 1668 0 0 25 0 1 0 1859919834 3305472 413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 413 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 207.6
Current children cumulated vsize (Kb) 3228

[startup+250.015 s]
Raw data (loadavg): 1.07 1.01 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 447 0 0 0 19942 1720 0 0 24 0 1 0 1859919834 3305472 413 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 413 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 216.62
Current children cumulated vsize (Kb) 3228

[startup+260.015 s]
Raw data (loadavg): 1.06 1.01 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 447 0 0 0 20787 1775 0 0 22 0 1 0 1859919834 3305472 413 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 413 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 225.62
Current children cumulated vsize (Kb) 3228

[startup+270.015 s]
Raw data (loadavg): 1.05 1.01 0.93 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 447 0 0 0 21596 1841 0 0 22 0 1 0 1859919834 3305472 413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 807 413 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 234.37
Current children cumulated vsize (Kb) 3228

[startup+280.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 447 0 0 0 22422 1903 0 0 25 0 1 0 1859919834 3305472 413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 413 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 243.25
Current children cumulated vsize (Kb) 3228

[startup+290.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 447 0 0 0 23260 1959 0 0 22 0 1 0 1859919834 3305472 413 4294967295 134512640 134578447 3221224624 3221223488 134517720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 807 413 566 18 0 789 0
[pid=4230] vsize: 3228
Current children cumulated CPU time (s) 252.19
Current children cumulated vsize (Kb) 3228

[startup+300.016 s]
Raw data (loadavg): 1.03 1.01 0.93 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 451 0 0 0 24106 2013 0 0 25 0 1 0 1859919834 3420160 417 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 835 417 566 18 0 817 0
[pid=4230] vsize: 3340
Current children cumulated CPU time (s) 261.19
Current children cumulated vsize (Kb) 3340

[startup+310.017 s]
Raw data (loadavg): 1.10 1.02 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 472 0 0 0 24963 2062 0 0 25 0 1 0 1859919834 3420160 438 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 835 438 566 18 0 817 0
[pid=4230] vsize: 3340
Current children cumulated CPU time (s) 270.25
Current children cumulated vsize (Kb) 3340

[startup+320.016 s]
Raw data (loadavg): 1.08 1.02 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 481 0 0 0 25820 2111 0 0 25 0 1 0 1859919834 3489792 447 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 852 447 566 18 0 834 0
[pid=4230] vsize: 3408
Current children cumulated CPU time (s) 279.31
Current children cumulated vsize (Kb) 3408

[startup+330.017 s]
Raw data (loadavg): 1.07 1.02 0.93 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 481 0 0 0 26697 2153 0 0 25 0 1 0 1859919834 3489792 447 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 852 447 566 18 0 834 0
[pid=4230] vsize: 3408
Current children cumulated CPU time (s) 288.5
Current children cumulated vsize (Kb) 3408

[startup+340.018 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 483 0 0 0 27587 2192 0 0 25 0 1 0 1859919834 3489792 449 4294967295 134512640 134578447 3221224624 3221223536 134557217 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 852 449 566 18 0 834 0
[pid=4230] vsize: 3408
Current children cumulated CPU time (s) 297.79
Current children cumulated vsize (Kb) 3408

[startup+350.019 s]
Raw data (loadavg): 1.05 1.02 0.93 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 483 0 0 0 28454 2240 0 0 25 0 1 0 1859919834 3489792 449 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 852 449 566 18 0 834 0
[pid=4230] vsize: 3408
Current children cumulated CPU time (s) 306.94
Current children cumulated vsize (Kb) 3408

[startup+360.018 s]
Raw data (loadavg): 1.04 1.02 0.93 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 489 0 0 0 29323 2285 0 0 25 0 1 0 1859919834 3489792 455 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 852 455 566 18 0 834 0
[pid=4230] vsize: 3408
Current children cumulated CPU time (s) 316.08
Current children cumulated vsize (Kb) 3408

[startup+370.018 s]
Raw data (loadavg): 1.03 1.02 0.93 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 489 0 0 0 30186 2333 0 0 25 0 1 0 1859919834 3489792 455 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 852 455 566 18 0 834 0
[pid=4230] vsize: 3408
Current children cumulated CPU time (s) 325.19
Current children cumulated vsize (Kb) 3408

[startup+380.019 s]
Raw data (loadavg): 1.10 1.03 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 490 0 0 0 31056 2375 0 0 25 0 1 0 1859919834 3489792 456 4294967295 134512640 134578447 3221224624 3221223488 134517713 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 852 456 566 18 0 834 0
[pid=4230] vsize: 3408
Current children cumulated CPU time (s) 334.31
Current children cumulated vsize (Kb) 3408

[startup+390.018 s]
Raw data (loadavg): 1.09 1.03 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 490 0 0 0 31916 2421 0 0 25 0 1 0 1859919834 3489792 456 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 852 456 566 18 0 834 0
[pid=4230] vsize: 3408
Current children cumulated CPU time (s) 343.37
Current children cumulated vsize (Kb) 3408

[startup+400.019 s]
Raw data (loadavg): 1.15 1.04 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 490 0 0 0 32774 2473 0 0 25 0 1 0 1859919834 3489792 456 4294967295 134512640 134578447 3221224624 3221223412 1075289765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 852 456 566 18 0 834 0
[pid=4230] vsize: 3408
Current children cumulated CPU time (s) 352.47
Current children cumulated vsize (Kb) 3408

[startup+410.02 s]
Raw data (loadavg): 1.12 1.04 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 33653 2512 0 0 19 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 361.65
Current children cumulated vsize (Kb) 3508

[startup+420.02 s]
Raw data (loadavg): 1.10 1.04 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 498 0 0 0 34526 2556 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 370.82
Current children cumulated vsize (Kb) 3508

[startup+430.02 s]
Raw data (loadavg): 1.09 1.04 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 35391 2602 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 379.93
Current children cumulated vsize (Kb) 3508

[startup+440.021 s]
Raw data (loadavg): 1.07 1.04 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 36249 2649 0 0 18 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 388.98
Current children cumulated vsize (Kb) 3508

[startup+450.022 s]
Raw data (loadavg): 1.06 1.03 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 498 0 0 0 37116 2696 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223432 134532025 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 398.12
Current children cumulated vsize (Kb) 3508

[startup+460.022 s]
Raw data (loadavg): 1.05 1.03 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 498 0 0 0 38007 2733 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 407.4
Current children cumulated vsize (Kb) 3508

[startup+470.023 s]
Raw data (loadavg): 1.04 1.03 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 38901 2768 0 0 19 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 416.69
Current children cumulated vsize (Kb) 3508

[startup+480.024 s]
Raw data (loadavg): 1.04 1.03 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 39773 2813 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 425.86
Current children cumulated vsize (Kb) 3508

[startup+490.024 s]
Raw data (loadavg): 1.03 1.03 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 40610 2869 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 434.79
Current children cumulated vsize (Kb) 3508

[startup+500.024 s]
Raw data (loadavg): 1.02 1.03 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 41485 2912 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 443.97
Current children cumulated vsize (Kb) 3508

[startup+510.024 s]
Raw data (loadavg): 1.02 1.03 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 42366 2952 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 453.18
Current children cumulated vsize (Kb) 3508

[startup+520.024 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 43252 2990 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 462.42
Current children cumulated vsize (Kb) 3508

[startup+530.024 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 498 0 0 0 44102 3040 0 0 25 0 1 0 1859919834 3592192 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 464 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 471.42
Current children cumulated vsize (Kb) 3508

[startup+540.025 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 44983 3081 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 480.64
Current children cumulated vsize (Kb) 3508

[startup+550.026 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 45875 3120 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 489.95
Current children cumulated vsize (Kb) 3508

[startup+560.027 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 46734 3172 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 499.06
Current children cumulated vsize (Kb) 3508

[startup+570.026 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 47566 3233 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 507.99
Current children cumulated vsize (Kb) 3508

[startup+580.027 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 48397 3291 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223452 1075289601 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 516.88
Current children cumulated vsize (Kb) 3508

[startup+590.027 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 49235 3347 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 525.82
Current children cumulated vsize (Kb) 3508

[startup+600.028 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 50074 3399 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 534.73
Current children cumulated vsize (Kb) 3508

[startup+610.028 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 50902 3459 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 543.61
Current children cumulated vsize (Kb) 3508

[startup+620.028 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 51756 3508 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 552.64
Current children cumulated vsize (Kb) 3508

[startup+630.028 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 52617 3553 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 561.7
Current children cumulated vsize (Kb) 3508

[startup+640.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 53483 3600 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 570.83
Current children cumulated vsize (Kb) 3508

[startup+650.029 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 54328 3656 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 579.84
Current children cumulated vsize (Kb) 3508

[startup+660.029 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 55201 3699 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 589
Current children cumulated vsize (Kb) 3508

[startup+670.029 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 56084 3736 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 598.2
Current children cumulated vsize (Kb) 3508

[startup+680.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 56972 3775 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 607.47
Current children cumulated vsize (Kb) 3508

[startup+690.029 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 57841 3823 0 0 25 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 616.64
Current children cumulated vsize (Kb) 3508

[startup+700.03 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 58701 3871 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 625.72
Current children cumulated vsize (Kb) 3508

[startup+710.03 s]
Raw data (loadavg): 1.07 1.02 0.95 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 59538 3926 0 0 18 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 634.64
Current children cumulated vsize (Kb) 3508

[startup+720.03 s]
Raw data (loadavg): 1.06 1.02 0.95 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 60372 3983 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 643.55
Current children cumulated vsize (Kb) 3508

[startup+730.031 s]
Raw data (loadavg): 1.05 1.02 0.95 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 61191 4045 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 652.36
Current children cumulated vsize (Kb) 3508

[startup+740.032 s]
Raw data (loadavg): 1.04 1.02 0.95 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 62014 4106 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 661.2
Current children cumulated vsize (Kb) 3508

[startup+750.032 s]
Raw data (loadavg): 1.04 1.02 0.95 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 62838 4168 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 670.06
Current children cumulated vsize (Kb) 3508

[startup+760.033 s]
Raw data (loadavg): 1.03 1.02 0.95 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 63668 4227 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 678.95
Current children cumulated vsize (Kb) 3508

[startup+770.033 s]
Raw data (loadavg): 1.10 1.03 0.95 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 64492 4288 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223488 134517863 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 687.8
Current children cumulated vsize (Kb) 3508

[startup+780.034 s]
Raw data (loadavg): 1.08 1.03 0.95 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 65313 4350 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 696.63
Current children cumulated vsize (Kb) 3508

[startup+790.034 s]
Raw data (loadavg): 1.07 1.03 0.95 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 66129 4414 0 0 22 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 705.43
Current children cumulated vsize (Kb) 3508

[startup+800.035 s]
Raw data (loadavg): 1.06 1.03 0.95 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 66963 4471 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223280 1075288547 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 714.34
Current children cumulated vsize (Kb) 3508

[startup+810.035 s]
Raw data (loadavg): 1.05 1.03 0.95 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 67800 4526 0 0 21 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 723.26
Current children cumulated vsize (Kb) 3508

[startup+820.035 s]
Raw data (loadavg): 1.04 1.03 0.95 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 68627 4585 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 732.12
Current children cumulated vsize (Kb) 3508

[startup+830.036 s]
Raw data (loadavg): 1.11 1.04 0.96 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 69445 4645 0 0 22 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 740.9
Current children cumulated vsize (Kb) 3508

[startup+840.036 s]
Raw data (loadavg): 1.09 1.04 0.96 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 70259 4707 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 749.66
Current children cumulated vsize (Kb) 3508

[startup+850.037 s]
Raw data (loadavg): 1.08 1.04 0.96 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 71085 4765 0 0 24 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 758.5
Current children cumulated vsize (Kb) 3508

[startup+860.037 s]
Raw data (loadavg): 1.14 1.05 0.96 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 71914 4825 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 767.39
Current children cumulated vsize (Kb) 3508

[startup+870.037 s]
Raw data (loadavg): 1.20 1.07 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 72726 4886 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 776.12
Current children cumulated vsize (Kb) 3508

[startup+880.038 s]
Raw data (loadavg): 1.16 1.06 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 73531 4957 0 0 22 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 784.88
Current children cumulated vsize (Kb) 3508

[startup+890.039 s]
Raw data (loadavg): 1.14 1.06 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 74332 5024 0 0 22 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 793.56
Current children cumulated vsize (Kb) 3508

[startup+900.039 s]
Raw data (loadavg): 1.12 1.06 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 75142 5089 0 0 21 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 802.31
Current children cumulated vsize (Kb) 3508

[startup+910.039 s]
Raw data (loadavg): 1.10 1.06 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 75939 5161 0 0 22 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 811
Current children cumulated vsize (Kb) 3508

[startup+920.04 s]
Raw data (loadavg): 1.08 1.05 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 76755 5225 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223488 134517698 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 819.8
Current children cumulated vsize (Kb) 3508

[startup+930.04 s]
Raw data (loadavg): 1.07 1.05 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 77561 5291 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 828.52
Current children cumulated vsize (Kb) 3508

[startup+940.041 s]
Raw data (loadavg): 1.06 1.05 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 78368 5356 0 0 22 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 837.24
Current children cumulated vsize (Kb) 3508

[startup+950.042 s]
Raw data (loadavg): 1.05 1.05 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 79165 5425 0 0 18 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 845.9
Current children cumulated vsize (Kb) 3508

[startup+960.043 s]
Raw data (loadavg): 1.04 1.05 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 79976 5493 0 0 21 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 854.69
Current children cumulated vsize (Kb) 3508

[startup+970.042 s]
Raw data (loadavg): 1.03 1.04 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 80772 5564 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 863.36
Current children cumulated vsize (Kb) 3508

[startup+980.043 s]
Raw data (loadavg): 1.03 1.04 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 81571 5635 0 0 22 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223504 134527761 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 872.06
Current children cumulated vsize (Kb) 3508

[startup+990.044 s]
Raw data (loadavg): 1.02 1.04 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 514 0 0 0 82369 5702 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 880.71
Current children cumulated vsize (Kb) 3508

[startup+1000.04 s]
Raw data (loadavg): 1.02 1.04 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 514 0 0 0 83179 5763 0 0 23 0 1 0 1859919834 3592192 480 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 877 480 566 18 0 859 0
[pid=4230] vsize: 3508
Current children cumulated CPU time (s) 889.42
Current children cumulated vsize (Kb) 3508

[startup+1010.05 s]
Raw data (loadavg): 1.02 1.04 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 521 0 0 0 84013 5820 0 0 25 0 1 0 1859919834 3719168 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 908 487 566 18 0 890 0
[pid=4230] vsize: 3632
Current children cumulated CPU time (s) 898.33
Current children cumulated vsize (Kb) 3632

[startup+1020.04 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 521 0 0 0 84851 5874 0 0 22 0 1 0 1859919834 3661824 487 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 487 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 907.25
Current children cumulated vsize (Kb) 3576

[startup+1030.05 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 521 0 0 0 85683 5931 0 0 24 0 1 0 1859919834 3661824 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 487 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 916.14
Current children cumulated vsize (Kb) 3576

[startup+1040.05 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 521 0 0 0 86510 5991 0 0 24 0 1 0 1859919834 3661824 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 487 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 925.01
Current children cumulated vsize (Kb) 3576

[startup+1050.05 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 521 0 0 0 87328 6052 0 0 22 0 1 0 1859919834 3661824 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 487 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 933.8
Current children cumulated vsize (Kb) 3576

[startup+1060.05 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 521 0 0 0 88129 6125 0 0 24 0 1 0 1859919834 3661824 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 894 487 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 942.54
Current children cumulated vsize (Kb) 3576

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 532 0 0 0 88957 6186 0 0 25 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 951.43
Current children cumulated vsize (Kb) 3576

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 532 0 0 0 89788 6246 0 0 25 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 960.34
Current children cumulated vsize (Kb) 3576

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 532 0 0 0 90630 6299 0 0 25 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223488 134517728 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 969.29
Current children cumulated vsize (Kb) 3576

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 532 0 0 0 91466 6359 0 0 24 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 978.25
Current children cumulated vsize (Kb) 3576

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 532 0 0 0 92289 6418 0 0 23 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 987.07
Current children cumulated vsize (Kb) 3576

[startup+1120.05 s]
Raw data (loadavg): 1.07 1.04 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 532 0 0 0 93117 6478 0 0 23 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 995.95
Current children cumulated vsize (Kb) 3576

[startup+1130.05 s]
Raw data (loadavg): 1.06 1.04 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 532 0 0 0 93952 6534 0 0 25 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 1004.86
Current children cumulated vsize (Kb) 3576

[startup+1140.05 s]
Raw data (loadavg): 1.05 1.03 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 532 0 0 0 94792 6591 0 0 21 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223536 134558040 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 1013.83
Current children cumulated vsize (Kb) 3576

[startup+1150.05 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 532 0 0 0 95617 6653 0 0 24 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223536 134557434 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 1022.7
Current children cumulated vsize (Kb) 3576

[startup+1160.05 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 532 0 0 0 96457 6711 0 0 24 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 1031.68
Current children cumulated vsize (Kb) 3576

[startup+1170.05 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 532 0 0 0 97298 6767 0 0 24 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223664 134531684 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 1040.65
Current children cumulated vsize (Kb) 3576

[startup+1180.05 s]
Raw data (loadavg): 1.02 1.03 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 532 0 0 0 98139 6822 0 0 25 0 1 0 1859919834 3661824 498 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 498 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 1049.61
Current children cumulated vsize (Kb) 3576

[startup+1190.05 s]
Raw data (loadavg): 1.02 1.03 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 533 0 0 0 98982 6875 0 0 25 0 1 0 1859919834 3661824 499 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 894 499 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 1058.57
Current children cumulated vsize (Kb) 3576

[startup+1200.05 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 535 0 0 0 99803 6939 0 0 21 0 1 0 1859919834 3661824 501 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 894 501 566 18 0 876 0
[pid=4230] vsize: 3576
Current children cumulated CPU time (s) 1067.42
Current children cumulated vsize (Kb) 3576

[startup+1210.05 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 536 0 0 0 100652 6991 0 0 25 0 1 0 1859919834 3735552 502 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 502 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1076.43
Current children cumulated vsize (Kb) 3648

[startup+1220.05 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 547 0 0 0 101513 7040 0 0 25 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1085.53
Current children cumulated vsize (Kb) 3648

[startup+1230.06 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 547 0 0 0 102352 7093 0 0 25 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1094.45
Current children cumulated vsize (Kb) 3648

[startup+1240.06 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 547 0 0 0 103174 7157 0 0 22 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223472 134520239 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1103.31
Current children cumulated vsize (Kb) 3648

[startup+1250.06 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 547 0 0 0 103982 7223 0 0 25 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1112.05
Current children cumulated vsize (Kb) 3648

[startup+1260.06 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 547 0 0 0 104803 7284 0 0 21 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1120.87
Current children cumulated vsize (Kb) 3648

[startup+1270.06 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 547 0 0 0 105661 7333 0 0 25 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223536 134557405 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1129.94
Current children cumulated vsize (Kb) 3648

[startup+1280.06 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 547 0 0 0 106409 7423 0 0 20 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1138.32
Current children cumulated vsize (Kb) 3648

[startup+1290.06 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 547 0 0 0 107179 7502 0 0 23 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223376 134528944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1146.81
Current children cumulated vsize (Kb) 3648

[startup+1300.06 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 547 0 0 0 107992 7566 0 0 21 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1155.58
Current children cumulated vsize (Kb) 3648

[startup+1310.06 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 547 0 0 0 108838 7616 0 0 25 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (Kb) 3648

[startup+1320.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) R 4229 4230 2660 0 -1 0 547 0 0 0 109680 7671 0 0 21 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1173.51
Current children cumulated vsize (Kb) 3648

[startup+1330.06 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4230
Raw data (/proc/4230/stat): 4230 (Pueblo) T 4229 4230 2660 0 -1 0 547 0 0 0 110545 7718 0 0 25 0 1 0 1859919834 3735552 513 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 1 0 0
Raw data (/proc/4230/statm): 912 513 566 18 0 894 0
[pid=4230] vsize: 3648
Current children cumulated CPU time (s) 1182.63
Current children cumulated vsize (Kb) 3648
One traced child (pid=4230) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1337.14
CPU time (s): 1189.01
CPU user time (s): 1111.45
CPU system time (s): 77.5562
CPU usage (%): 88.9214
Max. virtual memory (cumulated for all children) (Kb): 3648

Verifier Data

Verifier:	OK	17408