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/miplib2003/normalized-mps-v2-13-7-markshare1.opb
MD5SUM6f06e375914e0285ec75de90ad627758
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.33
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 8522

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        736760 kB
Buffers:         39572 kB
Cached:         231044 kB
SwapCached:        228 kB
Active:          88060 kB
Inactive:       185524 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        736508 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6292 kB
Slab:            18652 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:06:41 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5644 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 -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 -x1_bit2 x1_bit3 -x1_bit4 x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 x3_bit0 -x3_bit1 -x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 x5_bit0 -x5_bit1 -x5_bit2 -x5_bit3 -x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit10 -x5_bit11 -x5_bit12 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 -x7_bit1 -x7_bit2 x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x9_bit1 -x9_bit2 x9_bit3 x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit10 -x9_bit11 -x9_bit12 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 x11_bit0 -x11_bit1 -x11_bit2 x11_bit3 x11_bit4 -x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit10 -x11_bit11 -x11_bit12 -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 -x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 x55_bit0 -x56_bit0 x57_bit0 -x58_bit0 x59_bit0 -x60_bit0 x61_bit0 -x62_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/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801885984 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 41 3 40 18 0 23 0
[pid=25309] 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.0028 s]
Raw data (loadavg): 0.93 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 298 0 0 0 865 47 0 0 25 0 1 0 1801885984 2768896 264 4294967295 134512640 134578447 3221224624 3221223444 1075285117 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 264 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 9.12
Current children cumulated vsize (Kb) 2704

[startup+20.0033 s]
Raw data (loadavg): 0.94 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 303 0 0 0 1737 93 0 0 25 0 1 0 1801885984 2768896 269 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 269 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 18.3
Current children cumulated vsize (Kb) 2704

[startup+30.0039 s]
Raw data (loadavg): 0.95 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 306 0 0 0 2608 139 0 0 25 0 1 0 1801885984 2768896 272 4294967295 134512640 134578447 3221224624 3221223488 134517601 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 272 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 27.47
Current children cumulated vsize (Kb) 2704

[startup+40.0035 s]
Raw data (loadavg): 0.96 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 306 0 0 0 3472 186 0 0 25 0 1 0 1801885984 2768896 272 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 676 272 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 36.58
Current children cumulated vsize (Kb) 2704

[startup+50.004 s]
Raw data (loadavg): 0.96 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 307 0 0 0 4346 227 0 0 25 0 1 0 1801885984 2768896 273 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 273 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 45.73
Current children cumulated vsize (Kb) 2704

[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 308 0 0 0 5218 271 0 0 25 0 1 0 1801885984 2768896 274 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 274 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 54.89
Current children cumulated vsize (Kb) 2704

[startup+70.0041 s]
Raw data (loadavg): 0.97 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 311 0 0 0 6084 319 0 0 25 0 1 0 1801885984 2768896 277 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 277 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 64.03
Current children cumulated vsize (Kb) 2704

[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 311 0 0 0 6958 362 0 0 25 0 1 0 1801885984 2768896 277 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 277 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 73.2
Current children cumulated vsize (Kb) 2704

[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 311 0 0 0 7829 406 0 0 25 0 1 0 1801885984 2768896 277 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 277 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 82.35
Current children cumulated vsize (Kb) 2704

[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 311 0 0 0 8697 452 0 0 25 0 1 0 1801885984 2768896 277 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 676 277 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 91.49
Current children cumulated vsize (Kb) 2704

[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 313 0 0 0 9558 502 0 0 25 0 1 0 1801885984 2768896 279 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 279 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 100.6
Current children cumulated vsize (Kb) 2704

[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 313 0 0 0 10425 549 0 0 25 0 1 0 1801885984 2768896 279 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 279 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 109.74
Current children cumulated vsize (Kb) 2704

[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 314 0 0 0 11296 594 0 0 25 0 1 0 1801885984 2768896 280 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 280 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 118.9
Current children cumulated vsize (Kb) 2704

[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 314 0 0 0 12169 640 0 0 25 0 1 0 1801885984 2768896 280 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 280 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 128.09
Current children cumulated vsize (Kb) 2704

[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 315 0 0 0 13023 691 0 0 25 0 1 0 1801885984 2768896 281 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 281 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 137.14
Current children cumulated vsize (Kb) 2704

[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 315 0 0 0 13887 740 0 0 25 0 1 0 1801885984 2768896 281 4294967295 134512640 134578447 3221224624 3221223504 134527875 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 281 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 146.27
Current children cumulated vsize (Kb) 2704

[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 315 0 0 0 14745 789 0 0 25 0 1 0 1801885984 2768896 281 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 281 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 155.34
Current children cumulated vsize (Kb) 2704

[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 315 0 0 0 15614 834 0 0 25 0 1 0 1801885984 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 281 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 164.48
Current children cumulated vsize (Kb) 2704

[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 316 0 0 0 16481 878 0 0 22 0 1 0 1801885984 2768896 282 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 282 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 173.59
Current children cumulated vsize (Kb) 2704

[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 317 0 0 0 17335 929 0 0 23 0 1 0 1801885984 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 676 283 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 182.64
Current children cumulated vsize (Kb) 2704

[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 317 0 0 0 18205 975 0 0 25 0 1 0 1801885984 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 676 283 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 191.8
Current children cumulated vsize (Kb) 2704

[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 317 0 0 0 19067 1024 0 0 25 0 1 0 1801885984 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25309/statm): 676 283 566 18 0 658 0
[pid=25309] vsize: 2704
Current children cumulated CPU time (s) 200.91
Current children cumulated vsize (Kb) 2704

[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 321 0 0 0 19951 1066 0 0 25 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 210.17
Current children cumulated vsize (Kb) 2828

[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 321 0 0 0 20817 1113 0 0 25 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 219.3
Current children cumulated vsize (Kb) 2828

[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 321 0 0 0 21692 1156 0 0 25 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 228.48
Current children cumulated vsize (Kb) 2828

[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 321 0 0 0 22560 1199 0 0 25 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223536 134556756 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 237.59
Current children cumulated vsize (Kb) 2828

[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 321 0 0 0 23425 1244 0 0 23 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 246.69
Current children cumulated vsize (Kb) 2828

[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 321 0 0 0 24300 1285 0 0 25 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 255.85
Current children cumulated vsize (Kb) 2828

[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 321 0 0 0 25148 1336 0 0 25 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 264.84
Current children cumulated vsize (Kb) 2828

[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 321 0 0 0 25995 1390 0 0 24 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223504 134528079 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 273.85
Current children cumulated vsize (Kb) 2828

[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 321 0 0 0 26833 1445 0 0 25 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223536 134556786 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 282.78
Current children cumulated vsize (Kb) 2828

[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 321 0 0 0 27675 1501 0 0 24 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 291.76
Current children cumulated vsize (Kb) 2828

[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 321 0 0 0 28519 1557 0 0 24 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 300.76
Current children cumulated vsize (Kb) 2828

[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 321 0 0 0 29363 1610 0 0 22 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 309.73
Current children cumulated vsize (Kb) 2828

[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 321 0 0 0 30212 1666 0 0 25 0 1 0 1801885984 2895872 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 287 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 318.78
Current children cumulated vsize (Kb) 2828

[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 322 0 0 0 31071 1714 0 0 25 0 1 0 1801885984 2895872 288 4294967295 134512640 134578447 3221224624 3221223504 1074910621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 288 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 327.85
Current children cumulated vsize (Kb) 2828

[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 322 0 0 0 31910 1770 0 0 25 0 1 0 1801885984 2895872 288 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 288 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 336.8
Current children cumulated vsize (Kb) 2828

[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 322 0 0 0 32752 1825 0 0 25 0 1 0 1801885984 2895872 288 4294967295 134512640 134578447 3221224624 3221223504 134527475 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 288 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 345.77
Current children cumulated vsize (Kb) 2828

[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 323 0 0 0 33600 1875 0 0 25 0 1 0 1801885984 2895872 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 289 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 354.75
Current children cumulated vsize (Kb) 2828

[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 323 0 0 0 34448 1929 0 0 25 0 1 0 1801885984 2895872 289 4294967295 134512640 134578447 3221224624 3221223552 134552701 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 289 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 363.77
Current children cumulated vsize (Kb) 2828

[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 323 0 0 0 35293 1981 0 0 25 0 1 0 1801885984 2895872 289 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 289 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 372.74
Current children cumulated vsize (Kb) 2828

[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 323 0 0 0 36143 2032 0 0 24 0 1 0 1801885984 2895872 289 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 289 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 381.75
Current children cumulated vsize (Kb) 2828

[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 323 0 0 0 36982 2088 0 0 25 0 1 0 1801885984 2895872 289 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 289 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 390.7
Current children cumulated vsize (Kb) 2828

[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 323 0 0 0 37826 2143 0 0 24 0 1 0 1801885984 2895872 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 289 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 399.69
Current children cumulated vsize (Kb) 2828

[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 324 0 0 0 38655 2203 0 0 24 0 1 0 1801885984 2895872 290 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 290 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (Kb) 2828

[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 324 0 0 0 39515 2251 0 0 25 0 1 0 1801885984 2895872 290 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 290 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 417.66
Current children cumulated vsize (Kb) 2828

[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 325 0 0 0 40379 2303 0 0 25 0 1 0 1801885984 2895872 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 291 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 426.82
Current children cumulated vsize (Kb) 2828

[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 325 0 0 0 41250 2345 0 0 25 0 1 0 1801885984 2895872 291 4294967295 134512640 134578447 3221224624 3221223364 1075285153 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 291 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 435.95
Current children cumulated vsize (Kb) 2828

[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 325 0 0 0 42115 2394 0 0 21 0 1 0 1801885984 2895872 291 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 291 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 445.09
Current children cumulated vsize (Kb) 2828

[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 325 0 0 0 42982 2441 0 0 25 0 1 0 1801885984 2895872 291 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 291 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 454.23
Current children cumulated vsize (Kb) 2828

[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 325 0 0 0 43831 2495 0 0 24 0 1 0 1801885984 2895872 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 291 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 463.26
Current children cumulated vsize (Kb) 2828

[startup+520.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 325 0 0 0 44676 2550 0 0 23 0 1 0 1801885984 2895872 291 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 291 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 472.26
Current children cumulated vsize (Kb) 2828

[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 325 0 0 0 45524 2604 0 0 24 0 1 0 1801885984 2895872 291 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 291 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 481.28
Current children cumulated vsize (Kb) 2828

[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 327 0 0 0 46375 2655 0 0 25 0 1 0 1801885984 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 293 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 490.3
Current children cumulated vsize (Kb) 2828

[startup+550.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 327 0 0 0 47210 2713 0 0 25 0 1 0 1801885984 2895872 293 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 293 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 499.23
Current children cumulated vsize (Kb) 2828

[startup+560.015 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 327 0 0 0 48049 2767 0 0 25 0 1 0 1801885984 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 293 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 508.16
Current children cumulated vsize (Kb) 2828

[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 327 0 0 0 48872 2829 0 0 25 0 1 0 1801885984 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 293 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 517.01
Current children cumulated vsize (Kb) 2828

[startup+580.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 327 0 0 0 49713 2883 0 0 24 0 1 0 1801885984 2895872 293 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 293 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 525.96
Current children cumulated vsize (Kb) 2828

[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 327 0 0 0 50555 2939 0 0 25 0 1 0 1801885984 2895872 293 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 293 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 534.94
Current children cumulated vsize (Kb) 2828

[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 327 0 0 0 51388 2995 0 0 24 0 1 0 1801885984 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 293 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 543.83
Current children cumulated vsize (Kb) 2828

[startup+610.017 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 327 0 0 0 52230 3052 0 0 24 0 1 0 1801885984 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 293 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 552.82
Current children cumulated vsize (Kb) 2828

[startup+620.017 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 327 0 0 0 53060 3112 0 0 22 0 1 0 1801885984 2895872 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 293 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 561.72
Current children cumulated vsize (Kb) 2828

[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 329 0 0 0 53907 3167 0 0 25 0 1 0 1801885984 2895872 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 295 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 570.74
Current children cumulated vsize (Kb) 2828

[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 329 0 0 0 54741 3223 0 0 25 0 1 0 1801885984 2895872 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 295 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 579.64
Current children cumulated vsize (Kb) 2828

[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 329 0 0 0 55594 3273 0 0 25 0 1 0 1801885984 2895872 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 295 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 588.67
Current children cumulated vsize (Kb) 2828

[startup+660.019 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 329 0 0 0 56433 3327 0 0 24 0 1 0 1801885984 2895872 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 295 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 597.6
Current children cumulated vsize (Kb) 2828

[startup+670.02 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 329 0 0 0 57271 3384 0 0 24 0 1 0 1801885984 2895872 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 295 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 606.55
Current children cumulated vsize (Kb) 2828

[startup+680.02 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 329 0 0 0 58105 3442 0 0 25 0 1 0 1801885984 2895872 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 295 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 615.47
Current children cumulated vsize (Kb) 2828

[startup+690.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 58952 3496 0 0 24 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 624.48
Current children cumulated vsize (Kb) 2828

[startup+700.021 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 59792 3550 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 633.42
Current children cumulated vsize (Kb) 2828

[startup+710.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 60648 3599 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 642.47
Current children cumulated vsize (Kb) 2828

[startup+720.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 61496 3655 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 651.51
Current children cumulated vsize (Kb) 2828

[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 62359 3702 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 660.61
Current children cumulated vsize (Kb) 2828

[startup+740.022 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 63207 3758 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 669.65
Current children cumulated vsize (Kb) 2828

[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 64050 3814 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 678.64
Current children cumulated vsize (Kb) 2828

[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 64906 3863 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223460 1075285501 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 687.69
Current children cumulated vsize (Kb) 2828

[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 65755 3913 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 696.68
Current children cumulated vsize (Kb) 2828

[startup+780.024 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 66595 3971 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 705.66
Current children cumulated vsize (Kb) 2828

[startup+790.024 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 67432 4028 0 0 24 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 714.6
Current children cumulated vsize (Kb) 2828

[startup+800.024 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 68282 4081 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 723.63
Current children cumulated vsize (Kb) 2828

[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 69134 4132 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 732.66
Current children cumulated vsize (Kb) 2828

[startup+820.025 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 69974 4187 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 741.61
Current children cumulated vsize (Kb) 2828

[startup+830.026 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 70830 4236 0 0 22 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 750.66
Current children cumulated vsize (Kb) 2828

[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 71675 4291 0 0 24 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223572 134559040 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 759.66
Current children cumulated vsize (Kb) 2828

[startup+850.027 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 72512 4344 0 0 24 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 768.56
Current children cumulated vsize (Kb) 2828

[startup+860.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 73349 4400 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 777.49
Current children cumulated vsize (Kb) 2828

[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 74208 4447 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 786.55
Current children cumulated vsize (Kb) 2828

[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 75080 4491 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 795.71
Current children cumulated vsize (Kb) 2828

[startup+890.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 75950 4535 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 804.85
Current children cumulated vsize (Kb) 2828

[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 76819 4583 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 814.02
Current children cumulated vsize (Kb) 2828

[startup+910.031 s]
Raw data (loadavg): 0.99 0.98 0.93 1/56 25309
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 77699 4623 0 0 25 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 823.22
Current children cumulated vsize (Kb) 2828

[startup+920.032 s]
Raw data (loadavg): 0.99 0.98 0.93 1/59 25348
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 78551 4679 0 0 17 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 832.3
Current children cumulated vsize (Kb) 2828

[startup+930.035 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 25364
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 332 0 0 0 79405 4730 0 0 16 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223456 134528444 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 841.35
Current children cumulated vsize (Kb) 2828

[startup+940.034 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 25364
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 80277 4775 0 0 16 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 850.52
Current children cumulated vsize (Kb) 2828

[startup+950.035 s]
Raw data (loadavg): 1.05 1.00 0.93 1/56 25364
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 332 0 0 0 81142 4823 0 0 16 0 1 0 1801885984 2895872 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 298 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 859.65
Current children cumulated vsize (Kb) 2828

[startup+960.035 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 25364
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 333 0 0 0 82011 4867 0 0 16 0 1 0 1801885984 2895872 299 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 299 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 868.78
Current children cumulated vsize (Kb) 2828

[startup+970.036 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 25364
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 334 0 0 0 82874 4916 0 0 16 0 1 0 1801885984 2895872 300 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 300 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 877.9
Current children cumulated vsize (Kb) 2828

[startup+980.035 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 25364
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 334 0 0 0 83734 4964 0 0 16 0 1 0 1801885984 2895872 300 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 300 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 886.98
Current children cumulated vsize (Kb) 2828

[startup+990.036 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 25364
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 84592 5015 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 896.07
Current children cumulated vsize (Kb) 2828

[startup+1000.04 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 85449 5065 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 905.14
Current children cumulated vsize (Kb) 2828

[startup+1010.04 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 86306 5115 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 914.21
Current children cumulated vsize (Kb) 2828

[startup+1020.04 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 87168 5167 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 923.35
Current children cumulated vsize (Kb) 2828

[startup+1030.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 88031 5217 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 932.48
Current children cumulated vsize (Kb) 2828

[startup+1040.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 88889 5267 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 941.56
Current children cumulated vsize (Kb) 2828

[startup+1050.04 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 89748 5314 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 950.62
Current children cumulated vsize (Kb) 2828

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 90613 5363 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 959.76
Current children cumulated vsize (Kb) 2828

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 91477 5410 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 968.87
Current children cumulated vsize (Kb) 2828

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 92346 5455 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 978.01
Current children cumulated vsize (Kb) 2828

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 93208 5504 0 0 17 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 987.12
Current children cumulated vsize (Kb) 2828

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 94074 5551 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223536 134556906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 996.25
Current children cumulated vsize (Kb) 2828

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 94939 5598 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1005.37
Current children cumulated vsize (Kb) 2828

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 95808 5644 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1014.52
Current children cumulated vsize (Kb) 2828

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 96670 5695 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1023.65
Current children cumulated vsize (Kb) 2828

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 97540 5742 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1032.82
Current children cumulated vsize (Kb) 2828

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 98402 5791 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1041.93
Current children cumulated vsize (Kb) 2828

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 99255 5841 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1050.96
Current children cumulated vsize (Kb) 2828

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 337 0 0 0 100107 5893 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223456 134528420 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1060
Current children cumulated vsize (Kb) 2828

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 100959 5944 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1069.03
Current children cumulated vsize (Kb) 2828

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 101821 5996 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1078.17
Current children cumulated vsize (Kb) 2828

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 337 0 0 0 102674 6049 0 0 16 0 1 0 1801885984 2895872 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 303 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1087.23
Current children cumulated vsize (Kb) 2828

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 339 0 0 0 103532 6099 0 0 16 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1096.31
Current children cumulated vsize (Kb) 2828

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 339 0 0 0 104384 6152 0 0 16 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1105.36
Current children cumulated vsize (Kb) 2828

[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 339 0 0 0 105238 6202 0 0 17 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223456 134527165 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1114.4
Current children cumulated vsize (Kb) 2828

[startup+1240.05 s]
Raw data (loadavg): 1.08 1.02 0.94 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 339 0 0 0 106099 6250 0 0 16 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1123.49
Current children cumulated vsize (Kb) 2828

[startup+1250.05 s]
Raw data (loadavg): 1.07 1.02 0.94 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 339 0 0 0 106953 6303 0 0 17 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1132.56
Current children cumulated vsize (Kb) 2828

[startup+1260.05 s]
Raw data (loadavg): 1.06 1.01 0.94 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 339 0 0 0 107814 6352 0 0 16 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1141.66
Current children cumulated vsize (Kb) 2828

[startup+1270.05 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 339 0 0 0 108675 6402 0 0 16 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223488 134517414 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1150.77
Current children cumulated vsize (Kb) 2828

[startup+1280.05 s]
Raw data (loadavg): 1.04 1.01 0.94 1/56 25368
Raw data (/proc/25309/stat): 25309 (Pueblo) T 25308 25309 22582 0 -1 0 339 0 0 0 109536 6451 0 0 17 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1159.87
Current children cumulated vsize (Kb) 2828

[startup+1290.05 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 25370
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 339 0 0 0 110396 6497 0 0 16 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1168.93
Current children cumulated vsize (Kb) 2828

[startup+1300.05 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 25370
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 339 0 0 0 111258 6544 0 0 16 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1178.02
Current children cumulated vsize (Kb) 2828

[startup+1310.05 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 25370
Raw data (/proc/25309/stat): 25309 (Pueblo) R 25308 25309 22582 0 -1 0 339 0 0 0 112119 6596 0 0 16 0 1 0 1801885984 2895872 305 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25309/statm): 707 305 566 18 0 689 0
[pid=25309] vsize: 2828
Current children cumulated CPU time (s) 1187.15
Current children cumulated vsize (Kb) 2828
One traced child (pid=25309) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1312.08
CPU time (s): 1189.01
CPU user time (s): 1122.95
CPU system time (s): 66.06
CPU usage (%): 90.6203
Max. virtual memory (cumulated for all children) (Kb): 2828

Verifier Data

Verifier:	OK	12672