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-markshare1.opb
MD5SUMba87f5dfbaed559dc55bc00bf07dc880
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3584
Optimality of the best value was proved NO
Number of terms in the objective function 120
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 6291450
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 6291450
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.34
Number of variables170
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint70

Trace number 8587

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        837964 kB
Buffers:         32860 kB
Cached:         136236 kB
SwapCached:        836 kB
Active:          68648 kB
Inactive:       103028 kB
HighTotal:      131008 kB
HighFree:        10080 kB
LowTotal:       903652 kB
LowFree:        827884 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19336 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:29:01 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5710 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: 170 - #constraints read: 63
c total time              : 1189 s
s SATISFIABLE
v -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 -s01_bit0 -s01_bit1 -s01_bit2 s01_bit3 -s01_bit4 s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 s11_bit0 -s11_bit1 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 s21_bit0 -s21_bit1 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 -s31_bit1 -s31_bit2 s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 s41_bit3 s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 s51_bit0 -s51_bit1 -s51_bit2 s51_bit3 s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -x0_bit0 -x1_bit0 -x2_bit0 x3_bit0 x4_bit0 x5_bit0 x6_bit0 x7_bit0 x8_bit0 x9_bit0 x10_bit0 x11_bit0 -x12_bit0 x13_bit0 x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 x18_bit0 -x19_bit0 x20_bit0 x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 x28_bit0 x29_bit0 x30_bit0 -x31_bit0 -x32_bit0 x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 -x39_bit0 x40_bit0 x41_bit0 x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 x48_bit0 -x49_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/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860221510 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 41 3 40 18 0 23 0
[pid=3053] 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.004 s]
Raw data (loadavg): 1.02 1.05 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 298 0 0 0 869 46 0 0 25 0 1 0 1860221510 2768896 264 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 676 264 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 9.15
Current children cumulated vsize (Kb) 2704

[startup+20.0046 s]
Raw data (loadavg): 1.02 1.05 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 303 0 0 0 1743 89 0 0 25 0 1 0 1860221510 2768896 269 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 269 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 18.32
Current children cumulated vsize (Kb) 2704

[startup+30.0053 s]
Raw data (loadavg): 1.02 1.05 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 306 0 0 0 2613 133 0 0 25 0 1 0 1860221510 2768896 272 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 272 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 27.46
Current children cumulated vsize (Kb) 2704

[startup+40.0059 s]
Raw data (loadavg): 1.01 1.04 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 306 0 0 0 3480 179 0 0 25 0 1 0 1860221510 2768896 272 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 272 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 36.59
Current children cumulated vsize (Kb) 2704

[startup+50.0065 s]
Raw data (loadavg): 1.01 1.04 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 307 0 0 0 4350 227 0 0 25 0 1 0 1860221510 2768896 273 4294967295 134512640 134578447 3221224624 3221223504 134527761 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 273 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 45.77
Current children cumulated vsize (Kb) 2704

[startup+60.0072 s]
Raw data (loadavg): 1.01 1.04 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 308 0 0 0 5223 274 0 0 18 0 1 0 1860221510 2768896 274 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 274 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 54.97
Current children cumulated vsize (Kb) 2704

[startup+70.0078 s]
Raw data (loadavg): 1.01 1.04 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 311 0 0 0 6092 318 0 0 25 0 1 0 1860221510 2768896 277 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 277 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 64.1
Current children cumulated vsize (Kb) 2704

[startup+80.0075 s]
Raw data (loadavg): 1.00 1.04 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 311 0 0 0 6960 365 0 0 25 0 1 0 1860221510 2768896 277 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 277 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 73.25
Current children cumulated vsize (Kb) 2704

[startup+90.0081 s]
Raw data (loadavg): 1.00 1.03 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 311 0 0 0 7829 414 0 0 25 0 1 0 1860221510 2768896 277 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 676 277 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 82.43
Current children cumulated vsize (Kb) 2704

[startup+100.009 s]
Raw data (loadavg): 1.00 1.03 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 311 0 0 0 8697 461 0 0 25 0 1 0 1860221510 2768896 277 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 277 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 91.58
Current children cumulated vsize (Kb) 2704

[startup+110.008 s]
Raw data (loadavg): 1.00 1.03 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 313 0 0 0 9555 511 0 0 19 0 1 0 1860221510 2768896 279 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 279 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 100.66
Current children cumulated vsize (Kb) 2704

[startup+120.009 s]
Raw data (loadavg): 1.00 1.03 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 313 0 0 0 10415 560 0 0 25 0 1 0 1860221510 2768896 279 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 279 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 2704

[startup+130.009 s]
Raw data (loadavg): 1.00 1.03 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 314 0 0 0 11277 609 0 0 22 0 1 0 1860221510 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 280 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 118.86
Current children cumulated vsize (Kb) 2704

[startup+140.009 s]
Raw data (loadavg): 1.00 1.03 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 314 0 0 0 12144 655 0 0 25 0 1 0 1860221510 2768896 280 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 280 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 127.99
Current children cumulated vsize (Kb) 2704

[startup+150.01 s]
Raw data (loadavg): 1.00 1.03 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 315 0 0 0 12999 707 0 0 24 0 1 0 1860221510 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 676 281 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 137.06
Current children cumulated vsize (Kb) 2704

[startup+160.01 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 315 0 0 0 13865 756 0 0 25 0 1 0 1860221510 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 676 281 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 146.21
Current children cumulated vsize (Kb) 2704

[startup+170.009 s]
Raw data (loadavg): 1.00 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 315 0 0 0 14720 805 0 0 25 0 1 0 1860221510 2768896 281 4294967295 134512640 134578447 3221224624 3221223456 134526954 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 281 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 155.25
Current children cumulated vsize (Kb) 2704

[startup+180.01 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 315 0 0 0 15586 853 0 0 25 0 1 0 1860221510 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 281 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 164.39
Current children cumulated vsize (Kb) 2704

[startup+190.01 s]
Raw data (loadavg): 1.00 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 316 0 0 0 16453 898 0 0 25 0 1 0 1860221510 2768896 282 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 282 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 173.51
Current children cumulated vsize (Kb) 2704

[startup+200.01 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 317 0 0 0 17302 953 0 0 24 0 1 0 1860221510 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 283 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 182.55
Current children cumulated vsize (Kb) 2704

[startup+210.01 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 317 0 0 0 18169 1001 0 0 25 0 1 0 1860221510 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 283 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 191.7
Current children cumulated vsize (Kb) 2704

[startup+220.01 s]
Raw data (loadavg): 1.00 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 317 0 0 0 19031 1048 0 0 25 0 1 0 1860221510 2768896 283 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 676 283 566 18 0 658 0
[pid=3053] vsize: 2704
Current children cumulated CPU time (s) 200.79
Current children cumulated vsize (Kb) 2704

[startup+230.01 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 321 0 0 0 19906 1092 0 0 24 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 2828

[startup+240.011 s]
Raw data (loadavg): 1.00 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 321 0 0 0 20776 1139 0 0 25 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223436 1075288177 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 219.15
Current children cumulated vsize (Kb) 2828

[startup+250.011 s]
Raw data (loadavg): 1.00 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 321 0 0 0 21641 1189 0 0 25 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 228.3
Current children cumulated vsize (Kb) 2828

[startup+260.011 s]
Raw data (loadavg): 1.00 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 321 0 0 0 22512 1236 0 0 25 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 237.48
Current children cumulated vsize (Kb) 2828

[startup+270.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 321 0 0 0 23365 1288 0 0 25 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 246.53
Current children cumulated vsize (Kb) 2828

[startup+280.011 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 321 0 0 0 24231 1337 0 0 25 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 255.68
Current children cumulated vsize (Kb) 2828

[startup+290.012 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 321 0 0 0 25085 1388 0 0 25 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 264.73
Current children cumulated vsize (Kb) 2828

[startup+300.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 321 0 0 0 25929 1444 0 0 24 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 273.73
Current children cumulated vsize (Kb) 2828

[startup+310.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 321 0 0 0 26773 1500 0 0 24 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223488 134517331 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 282.73
Current children cumulated vsize (Kb) 2828

[startup+320.013 s]
Raw data (loadavg): 1.08 1.03 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 321 0 0 0 27618 1552 0 0 25 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 291.7
Current children cumulated vsize (Kb) 2828

[startup+330.012 s]
Raw data (loadavg): 1.07 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 321 0 0 0 28469 1604 0 0 23 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 300.73
Current children cumulated vsize (Kb) 2828

[startup+340.013 s]
Raw data (loadavg): 1.06 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 321 0 0 0 29312 1660 0 0 20 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223552 134552664 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 309.72
Current children cumulated vsize (Kb) 2828

[startup+350.014 s]
Raw data (loadavg): 1.05 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 321 0 0 0 30159 1710 0 0 24 0 1 0 1860221510 2895872 287 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 287 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 318.69
Current children cumulated vsize (Kb) 2828

[startup+360.014 s]
Raw data (loadavg): 1.04 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 322 0 0 0 31025 1756 0 0 25 0 1 0 1860221510 2895872 288 4294967295 134512640 134578447 3221224624 3221223456 134528429 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 288 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 327.81
Current children cumulated vsize (Kb) 2828

[startup+370.015 s]
Raw data (loadavg): 1.03 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 322 0 0 0 31858 1814 0 0 25 0 1 0 1860221510 2895872 288 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 288 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 336.72
Current children cumulated vsize (Kb) 2828

[startup+380.015 s]
Raw data (loadavg): 1.03 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 322 0 0 0 32700 1868 0 0 25 0 1 0 1860221510 2895872 288 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 288 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 345.68
Current children cumulated vsize (Kb) 2828

[startup+390.015 s]
Raw data (loadavg): 1.02 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 323 0 0 0 33544 1921 0 0 25 0 1 0 1860221510 2895872 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 289 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 354.65
Current children cumulated vsize (Kb) 2828

[startup+400.016 s]
Raw data (loadavg): 1.02 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 323 0 0 0 34389 1973 0 0 25 0 1 0 1860221510 2895872 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 289 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 363.62
Current children cumulated vsize (Kb) 2828

[startup+410.015 s]
Raw data (loadavg): 1.02 1.02 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 323 0 0 0 35228 2029 0 0 25 0 1 0 1860221510 2895872 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 289 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 372.57
Current children cumulated vsize (Kb) 2828

[startup+420.016 s]
Raw data (loadavg): 1.01 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 323 0 0 0 36074 2086 0 0 25 0 1 0 1860221510 2895872 289 4294967295 134512640 134578447 3221224624 3221223456 134528451 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 289 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 381.6
Current children cumulated vsize (Kb) 2828

[startup+430.017 s]
Raw data (loadavg): 1.01 1.02 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 323 0 0 0 36908 2149 0 0 24 0 1 0 1860221510 2895872 289 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 289 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 390.57
Current children cumulated vsize (Kb) 2828

[startup+440.017 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 323 0 0 0 37750 2206 0 0 23 0 1 0 1860221510 2895872 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 289 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 399.56
Current children cumulated vsize (Kb) 2828

[startup+450.018 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 324 0 0 0 38578 2267 0 0 22 0 1 0 1860221510 2895872 290 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 290 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 408.45
Current children cumulated vsize (Kb) 2828

[startup+460.018 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 324 0 0 0 39420 2326 0 0 24 0 1 0 1860221510 2895872 290 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 290 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 417.46
Current children cumulated vsize (Kb) 2828

[startup+470.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 325 0 0 0 40276 2379 0 0 17 0 1 0 1860221510 2895872 291 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 291 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 426.55
Current children cumulated vsize (Kb) 2828

[startup+480.019 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 325 0 0 0 41140 2428 0 0 25 0 1 0 1860221510 2895872 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 291 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 435.68
Current children cumulated vsize (Kb) 2828

[startup+490.02 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 325 0 0 0 42004 2475 0 0 25 0 1 0 1860221510 2895872 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 291 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 444.79
Current children cumulated vsize (Kb) 2828

[startup+500.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 325 0 0 0 42861 2525 0 0 25 0 1 0 1860221510 2895872 291 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 291 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 453.86
Current children cumulated vsize (Kb) 2828

[startup+510.02 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 325 0 0 0 43706 2580 0 0 24 0 1 0 1860221510 2895872 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 291 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 462.86
Current children cumulated vsize (Kb) 2828

[startup+520.019 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 325 0 0 0 44548 2635 0 0 24 0 1 0 1860221510 2895872 291 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 291 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 471.83
Current children cumulated vsize (Kb) 2828

[startup+530.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 325 0 0 0 45392 2688 0 0 19 0 1 0 1860221510 2895872 291 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 291 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 480.8
Current children cumulated vsize (Kb) 2828

[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 327 0 0 0 46249 2738 0 0 21 0 1 0 1860221510 2895872 293 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 293 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 489.87
Current children cumulated vsize (Kb) 2828

[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 327 0 0 0 47082 2799 0 0 23 0 1 0 1860221510 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 293 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 498.81
Current children cumulated vsize (Kb) 2828

[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 327 0 0 0 47920 2857 0 0 24 0 1 0 1860221510 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 293 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 507.77
Current children cumulated vsize (Kb) 2828

[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 327 0 0 0 48751 2917 0 0 24 0 1 0 1860221510 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 293 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 516.68
Current children cumulated vsize (Kb) 2828

[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 327 0 0 0 49585 2972 0 0 25 0 1 0 1860221510 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 293 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 525.57
Current children cumulated vsize (Kb) 2828

[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 327 0 0 0 50421 3027 0 0 17 0 1 0 1860221510 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 293 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 534.48
Current children cumulated vsize (Kb) 2828

[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 327 0 0 0 51255 3084 0 0 24 0 1 0 1860221510 2895872 293 4294967295 134512640 134578447 3221224624 3221223488 134517656 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 293 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 543.39
Current children cumulated vsize (Kb) 2828

[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 327 0 0 0 52090 3142 0 0 25 0 1 0 1860221510 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 293 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 552.32
Current children cumulated vsize (Kb) 2828

[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 327 0 0 0 52929 3199 0 0 24 0 1 0 1860221510 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 293 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 561.28
Current children cumulated vsize (Kb) 2828

[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 329 0 0 0 53765 3255 0 0 25 0 1 0 1860221510 2895872 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 295 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 570.2
Current children cumulated vsize (Kb) 2828

[startup+640.023 s]
Raw data (loadavg): 1.07 1.02 0.99 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 329 0 0 0 54593 3314 0 0 24 0 1 0 1860221510 2895872 295 4294967295 134512640 134578447 3221224624 3221223476 134555792 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 295 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 579.07
Current children cumulated vsize (Kb) 2828

[startup+650.024 s]
Raw data (loadavg): 1.06 1.02 0.99 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 329 0 0 0 55441 3367 0 0 25 0 1 0 1860221510 2895872 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 295 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 588.08
Current children cumulated vsize (Kb) 2828

[startup+660.023 s]
Raw data (loadavg): 1.20 1.05 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 329 0 0 0 56277 3425 0 0 24 0 1 0 1860221510 2895872 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 295 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 597.02
Current children cumulated vsize (Kb) 2828

[startup+670.024 s]
Raw data (loadavg): 1.17 1.04 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 329 0 0 0 57112 3481 0 0 25 0 1 0 1860221510 2895872 295 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 295 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 605.93
Current children cumulated vsize (Kb) 2828

[startup+680.024 s]
Raw data (loadavg): 1.15 1.04 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 329 0 0 0 57946 3543 0 0 24 0 1 0 1860221510 2895872 295 4294967295 134512640 134578447 3221224624 3221223456 134528297 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 295 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 614.89
Current children cumulated vsize (Kb) 2828

[startup+690.024 s]
Raw data (loadavg): 1.12 1.04 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 58790 3597 0 0 22 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 623.87
Current children cumulated vsize (Kb) 2828

[startup+700.025 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 59621 3656 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 632.77
Current children cumulated vsize (Kb) 2828

[startup+710.025 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 60468 3710 0 0 23 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 641.78
Current children cumulated vsize (Kb) 2828

[startup+720.025 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 61324 3761 0 0 23 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 650.85
Current children cumulated vsize (Kb) 2828

[startup+730.025 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 62182 3809 0 0 23 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223488 134517760 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 659.91
Current children cumulated vsize (Kb) 2828

[startup+740.025 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 63035 3862 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223536 134557330 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 668.97
Current children cumulated vsize (Kb) 2828

[startup+750.026 s]
Raw data (loadavg): 1.11 1.05 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 63870 3920 0 0 22 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 677.9
Current children cumulated vsize (Kb) 2828

[startup+760.026 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 64719 3970 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 686.89
Current children cumulated vsize (Kb) 2828

[startup+770.026 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 65565 4025 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 695.9
Current children cumulated vsize (Kb) 2828

[startup+780.027 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 66415 4079 0 0 24 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223456 134528460 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 704.94
Current children cumulated vsize (Kb) 2828

[startup+790.028 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 67252 4137 0 0 23 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 713.89
Current children cumulated vsize (Kb) 2828

[startup+800.028 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 68103 4192 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 722.95
Current children cumulated vsize (Kb) 2828

[startup+810.028 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 68958 4242 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134531684 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 732
Current children cumulated vsize (Kb) 2828

[startup+820.029 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 69802 4295 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 740.97
Current children cumulated vsize (Kb) 2828

[startup+830.028 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 70648 4349 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 749.97
Current children cumulated vsize (Kb) 2828

[startup+840.03 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 71488 4405 0 0 24 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 758.93
Current children cumulated vsize (Kb) 2828

[startup+850.03 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 72336 4457 0 0 23 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 767.93
Current children cumulated vsize (Kb) 2828

[startup+860.03 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 73175 4510 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 776.85
Current children cumulated vsize (Kb) 2828

[startup+870.031 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 74038 4558 0 0 18 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 785.96
Current children cumulated vsize (Kb) 2828

[startup+880.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 74903 4607 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223520 134519742 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 795.1
Current children cumulated vsize (Kb) 2828

[startup+890.031 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 75769 4657 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 804.26
Current children cumulated vsize (Kb) 2828

[startup+900.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 76635 4708 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 813.43
Current children cumulated vsize (Kb) 2828

[startup+910.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 77500 4757 0 0 24 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 822.57
Current children cumulated vsize (Kb) 2828

[startup+920.031 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 78361 4808 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 831.69
Current children cumulated vsize (Kb) 2828

[startup+930.031 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 79228 4853 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 840.81
Current children cumulated vsize (Kb) 2828

[startup+940.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 332 0 0 0 80097 4898 0 0 22 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 849.95
Current children cumulated vsize (Kb) 2828

[startup+950.031 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 332 0 0 0 80958 4946 0 0 25 0 1 0 1860221510 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 298 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 859.04
Current children cumulated vsize (Kb) 2828

[startup+960.032 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 333 0 0 0 81816 4998 0 0 22 0 1 0 1860221510 2895872 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 299 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 868.14
Current children cumulated vsize (Kb) 2828

[startup+970.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 334 0 0 0 82677 5049 0 0 25 0 1 0 1860221510 2895872 300 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 300 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 877.26
Current children cumulated vsize (Kb) 2828

[startup+980.032 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 334 0 0 0 83540 5097 0 0 25 0 1 0 1860221510 2895872 300 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 300 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 886.37
Current children cumulated vsize (Kb) 2828

[startup+990.032 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 84400 5142 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 895.42
Current children cumulated vsize (Kb) 2828

[startup+1000.03 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 85255 5190 0 0 24 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134531684 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 904.45
Current children cumulated vsize (Kb) 2828

[startup+1010.03 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 86113 5243 0 0 22 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 913.56
Current children cumulated vsize (Kb) 2828

[startup+1020.03 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 86976 5291 0 0 21 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 922.67
Current children cumulated vsize (Kb) 2828

[startup+1030.03 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 87839 5339 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 931.78
Current children cumulated vsize (Kb) 2828

[startup+1040.03 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 88692 5392 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 940.84
Current children cumulated vsize (Kb) 2828

[startup+1050.04 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 89543 5444 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 949.87
Current children cumulated vsize (Kb) 2828

[startup+1060.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 90404 5492 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 958.96
Current children cumulated vsize (Kb) 2828

[startup+1070.04 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 91261 5546 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 968.07
Current children cumulated vsize (Kb) 2828

[startup+1080.04 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 92122 5595 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 977.17
Current children cumulated vsize (Kb) 2828

[startup+1090.04 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 92981 5641 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 986.22
Current children cumulated vsize (Kb) 2828

[startup+1100.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 93839 5688 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 995.27
Current children cumulated vsize (Kb) 2828

[startup+1110.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 94701 5734 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1004.35
Current children cumulated vsize (Kb) 2828

[startup+1120.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 95569 5779 0 0 24 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1013.48
Current children cumulated vsize (Kb) 2828

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 96433 5826 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1022.59
Current children cumulated vsize (Kb) 2828

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 97305 5870 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1031.75
Current children cumulated vsize (Kb) 2828

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 98160 5920 0 0 24 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223280 1075288456 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1040.8
Current children cumulated vsize (Kb) 2828

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 99008 5973 0 0 24 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1049.81
Current children cumulated vsize (Kb) 2828

[startup+1170.04 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 99867 6020 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1058.87
Current children cumulated vsize (Kb) 2828

[startup+1180.04 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 100714 6076 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223456 134527234 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1067.9
Current children cumulated vsize (Kb) 2828

[startup+1190.04 s]
Raw data (loadavg): 1.13 1.04 1.01 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 337 0 0 0 101569 6125 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1076.94
Current children cumulated vsize (Kb) 2828

[startup+1200.04 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 337 0 0 0 102423 6174 0 0 25 0 1 0 1860221510 2895872 303 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 303 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1085.97
Current children cumulated vsize (Kb) 2828

[startup+1210.04 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 339 0 0 0 103272 6227 0 0 17 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1094.99
Current children cumulated vsize (Kb) 2828

[startup+1220.04 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 339 0 0 0 104124 6281 0 0 25 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223504 134531689 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1104.05
Current children cumulated vsize (Kb) 2828

[startup+1230.04 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 339 0 0 0 104971 6335 0 0 25 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1113.06
Current children cumulated vsize (Kb) 2828

[startup+1240.04 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 339 0 0 0 105823 6388 0 0 25 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223364 1075289714 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (Kb) 2828

[startup+1250.04 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 339 0 0 0 106681 6435 0 0 17 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1131.16
Current children cumulated vsize (Kb) 2828

[startup+1260.04 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 339 0 0 0 107544 6481 0 0 25 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1140.25
Current children cumulated vsize (Kb) 2828

[startup+1270.04 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 339 0 0 0 108402 6529 0 0 25 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1149.31
Current children cumulated vsize (Kb) 2828

[startup+1280.04 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 339 0 0 0 109261 6578 0 0 25 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1158.39
Current children cumulated vsize (Kb) 2828

[startup+1290.04 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) T 3052 3053 5299 0 -1 0 339 0 0 0 110116 6629 0 0 25 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1167.45
Current children cumulated vsize (Kb) 2828

[startup+1300.04 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 339 0 0 0 110976 6675 0 0 25 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1176.51
Current children cumulated vsize (Kb) 2828

[startup+1310.04 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 3053
Raw data (/proc/3053/stat): 3053 (Pueblo) R 3052 3053 5299 0 -1 0 339 0 0 0 111833 6726 0 0 25 0 1 0 1860221510 2895872 305 4294967295 134512640 134578447 3221224624 3221223488 134528022 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3053/statm): 707 305 566 18 0 689 0
[pid=3053] vsize: 2828
Current children cumulated CPU time (s) 1185.59
Current children cumulated vsize (Kb) 2828
One traced child (pid=3053) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1313.83
CPU time (s): 1189.01
CPU user time (s): 1121.54
CPU system time (s): 67.4657
CPU usage (%): 90.4989
Max. virtual memory (cumulated for all children) (Kb): 2828

Verifier Data

Verifier:	OK	12672