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-markshare2.opb
MD5SUMb54bb080800e2327586cd478559c04ff
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5632
Optimality of the best value was proved NO
Number of terms in the objective function 140
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 7340025
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 7340025
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.36
Number of variables200
Total number of constraints67
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint80

Trace number 8585

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        867360 kB
Buffers:         32936 kB
Cached:         105376 kB
SwapCached:        612 kB
Active:          50504 kB
Inactive:        90312 kB
HighTotal:      131008 kB
HighFree:        25116 kB
LowTotal:       903652 kB
LowFree:        842244 kB
SwapTotal:     2097892 kB
SwapFree:      2096676 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            20836 kB
Committed_AS:    64320 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 17:28:55 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5711 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: 200 - #constraints read: 75
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 -s61_bit_7 -s61_bit_6 -s61_bit_5 -s61_bit_4 -s61_bit_3 -s61_bit_2 -s61_bit_1 s61_bit0 -s61_bit1 s61_bit2 s61_bit3 s61_bit4 s61_bit5 -s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 -s61_bit10 -s61_bit11 -s61_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 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 x55_bit0 -x56_bit0 x57_bit0 x58_bit0 x59_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/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860239250 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 41 3 40 18 0 23 0
[pid=26400] 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.0026 s]
Raw data (loadavg): 0.89 0.98 0.91 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 301 0 0 0 904 36 0 0 25 0 1 0 1860239250 2772992 267 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 677 267 566 18 0 659 0
[pid=26400] vsize: 2708
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (Kb) 2708

[startup+20.0032 s]
Raw data (loadavg): 0.91 0.98 0.91 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 306 0 0 0 1808 68 0 0 25 0 1 0 1860239250 2772992 272 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 677 272 566 18 0 659 0
[pid=26400] vsize: 2708
Current children cumulated CPU time (s) 18.76
Current children cumulated vsize (Kb) 2708

[startup+30.0038 s]
Raw data (loadavg): 0.92 0.98 0.91 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 308 0 0 0 2714 101 0 0 25 0 1 0 1860239250 2772992 274 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 677 274 566 18 0 659 0
[pid=26400] vsize: 2708
Current children cumulated CPU time (s) 28.15
Current children cumulated vsize (Kb) 2708

[startup+40.0034 s]
Raw data (loadavg): 0.93 0.98 0.91 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 309 0 0 0 3634 132 0 0 25 0 1 0 1860239250 2772992 275 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 677 275 566 18 0 659 0
[pid=26400] vsize: 2708
Current children cumulated CPU time (s) 37.66
Current children cumulated vsize (Kb) 2708

[startup+50.004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 314 0 0 0 4532 168 0 0 25 0 1 0 1860239250 2772992 280 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 677 280 566 18 0 659 0
[pid=26400] vsize: 2708
Current children cumulated CPU time (s) 47
Current children cumulated vsize (Kb) 2708

[startup+60.0036 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 317 0 0 0 5438 202 0 0 25 0 1 0 1860239250 2772992 283 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 677 283 566 18 0 659 0
[pid=26400] vsize: 2708
Current children cumulated CPU time (s) 56.4
Current children cumulated vsize (Kb) 2708

[startup+70.0042 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 320 0 0 0 6340 239 0 0 25 0 1 0 1860239250 2899968 286 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 286 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 65.79
Current children cumulated vsize (Kb) 2832

[startup+80.0049 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 320 0 0 0 7245 273 0 0 25 0 1 0 1860239250 2899968 286 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 286 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 75.18
Current children cumulated vsize (Kb) 2832

[startup+90.0045 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 320 0 0 0 8146 308 0 0 25 0 1 0 1860239250 2899968 286 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 286 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 84.54
Current children cumulated vsize (Kb) 2832

[startup+100.004 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 320 0 0 0 9051 343 0 0 25 0 1 0 1860239250 2899968 286 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 286 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 93.94
Current children cumulated vsize (Kb) 2832

[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.91 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 320 0 0 0 9947 381 0 0 25 0 1 0 1860239250 2899968 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 286 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 103.28
Current children cumulated vsize (Kb) 2832

[startup+120.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 320 0 0 0 10849 415 0 0 25 0 1 0 1860239250 2899968 286 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 286 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 112.64
Current children cumulated vsize (Kb) 2832

[startup+130.005 s]
Raw data (loadavg): 0.98 0.98 0.91 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 323 0 0 0 11739 456 0 0 25 0 1 0 1860239250 2899968 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 289 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 121.95
Current children cumulated vsize (Kb) 2832

[startup+140.004 s]
Raw data (loadavg): 0.98 0.98 0.91 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 329 0 0 0 12617 497 0 0 25 0 1 0 1860239250 2899968 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 295 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 131.14
Current children cumulated vsize (Kb) 2832

[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 329 0 0 0 13492 539 0 0 25 0 1 0 1860239250 2899968 295 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 295 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 140.31
Current children cumulated vsize (Kb) 2832

[startup+160.006 s]
Raw data (loadavg): 1.07 0.99 0.92 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 333 0 0 0 14379 580 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 149.59
Current children cumulated vsize (Kb) 2832

[startup+170.006 s]
Raw data (loadavg): 1.06 0.99 0.92 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 15289 613 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 159.02
Current children cumulated vsize (Kb) 2832

[startup+180.007 s]
Raw data (loadavg): 1.13 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 16208 642 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223456 134528371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 168.5
Current children cumulated vsize (Kb) 2832

[startup+190.007 s]
Raw data (loadavg): 1.11 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 17131 671 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 178.02
Current children cumulated vsize (Kb) 2832

[startup+200.007 s]
Raw data (loadavg): 1.09 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 18054 699 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 187.53
Current children cumulated vsize (Kb) 2832

[startup+210.007 s]
Raw data (loadavg): 1.08 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 18980 726 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 197.06
Current children cumulated vsize (Kb) 2832

[startup+220.007 s]
Raw data (loadavg): 1.06 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 19898 754 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 206.52
Current children cumulated vsize (Kb) 2832

[startup+230.007 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 20810 786 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 215.96
Current children cumulated vsize (Kb) 2832

[startup+240.006 s]
Raw data (loadavg): 1.05 1.00 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 333 0 0 0 21725 817 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 225.42
Current children cumulated vsize (Kb) 2832

[startup+250.007 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 22639 849 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134531752 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 234.88
Current children cumulated vsize (Kb) 2832

[startup+260.008 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 23552 877 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 244.29
Current children cumulated vsize (Kb) 2832

[startup+270.008 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 24465 908 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 253.73
Current children cumulated vsize (Kb) 2832

[startup+280.008 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 25377 940 0 0 23 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223456 134528434 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 263.17
Current children cumulated vsize (Kb) 2832

[startup+290.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 26293 971 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 272.64
Current children cumulated vsize (Kb) 2832

[startup+300.008 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 333 0 0 0 27204 1003 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (Kb) 2832

[startup+310.009 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 28116 1034 0 0 24 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 291.5
Current children cumulated vsize (Kb) 2832

[startup+320.009 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 29028 1064 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 300.92
Current children cumulated vsize (Kb) 2832

[startup+330.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 29937 1095 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 310.32
Current children cumulated vsize (Kb) 2832

[startup+340.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 30850 1128 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (Kb) 2832

[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 31761 1159 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 329.2
Current children cumulated vsize (Kb) 2832

[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 32667 1194 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 338.61
Current children cumulated vsize (Kb) 2832

[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 33567 1229 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 347.96
Current children cumulated vsize (Kb) 2832

[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 34470 1263 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 357.33
Current children cumulated vsize (Kb) 2832

[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 333 0 0 0 35370 1302 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 366.72
Current children cumulated vsize (Kb) 2832

[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 36279 1334 0 0 24 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 376.13
Current children cumulated vsize (Kb) 2832

[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 333 0 0 0 37179 1368 0 0 25 0 1 0 1860239250 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 299 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 385.47
Current children cumulated vsize (Kb) 2832

[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 335 0 0 0 38080 1403 0 0 25 0 1 0 1860239250 2899968 301 4294967295 134512640 134578447 3221224624 3221223504 134527691 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 301 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 394.83
Current children cumulated vsize (Kb) 2832

[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 335 0 0 0 38973 1444 0 0 25 0 1 0 1860239250 2899968 301 4294967295 134512640 134578447 3221224624 3221223468 134526926 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 301 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 404.17
Current children cumulated vsize (Kb) 2832

[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 335 0 0 0 39858 1483 0 0 25 0 1 0 1860239250 2899968 301 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 301 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 413.41
Current children cumulated vsize (Kb) 2832

[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 335 0 0 0 40736 1528 0 0 25 0 1 0 1860239250 2899968 301 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 301 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 422.64
Current children cumulated vsize (Kb) 2832

[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 335 0 0 0 41631 1565 0 0 25 0 1 0 1860239250 2899968 301 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 301 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 431.96
Current children cumulated vsize (Kb) 2832

[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 335 0 0 0 42515 1606 0 0 25 0 1 0 1860239250 2899968 301 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 301 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 441.21
Current children cumulated vsize (Kb) 2832

[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 335 0 0 0 43416 1640 0 0 25 0 1 0 1860239250 2899968 301 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 301 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 450.56
Current children cumulated vsize (Kb) 2832

[startup+490.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 44314 1677 0 0 23 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223404 1075285664 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 459.91
Current children cumulated vsize (Kb) 2832

[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 45210 1714 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 469.24
Current children cumulated vsize (Kb) 2832

[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 46096 1753 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 478.49
Current children cumulated vsize (Kb) 2832

[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 46994 1792 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 487.86
Current children cumulated vsize (Kb) 2832

[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 47893 1829 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 497.22
Current children cumulated vsize (Kb) 2832

[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 48788 1869 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 506.57
Current children cumulated vsize (Kb) 2832

[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 49684 1906 0 0 23 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 515.9
Current children cumulated vsize (Kb) 2832

[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 50578 1941 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223692 134515824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 525.19
Current children cumulated vsize (Kb) 2832

[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 51463 1981 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223536 134558047 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 534.44
Current children cumulated vsize (Kb) 2832

[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 52344 2026 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223456 134528426 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 543.7
Current children cumulated vsize (Kb) 2832

[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 341 0 0 0 53228 2071 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 552.99
Current children cumulated vsize (Kb) 2832

[startup+600.021 s]
Raw data (loadavg): 1.08 1.02 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 54112 2113 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 562.25
Current children cumulated vsize (Kb) 2832

[startup+610.022 s]
Raw data (loadavg): 1.07 1.02 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 341 0 0 0 54990 2157 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 571.47
Current children cumulated vsize (Kb) 2832

[startup+620.022 s]
Raw data (loadavg): 1.06 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 55869 2202 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 580.71
Current children cumulated vsize (Kb) 2832

[startup+630.023 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 56768 2241 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 590.09
Current children cumulated vsize (Kb) 2832

[startup+640.024 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 57662 2277 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 599.39
Current children cumulated vsize (Kb) 2832

[startup+650.024 s]
Raw data (loadavg): 1.03 1.01 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 341 0 0 0 58564 2314 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 608.78
Current children cumulated vsize (Kb) 2832

[startup+660.025 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 59455 2352 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 618.07
Current children cumulated vsize (Kb) 2832

[startup+670.025 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 60359 2386 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 627.45
Current children cumulated vsize (Kb) 2832

[startup+680.026 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 341 0 0 0 61266 2417 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 636.83
Current children cumulated vsize (Kb) 2832

[startup+690.026 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 341 0 0 0 62160 2454 0 0 25 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 646.14
Current children cumulated vsize (Kb) 2832

[startup+700.026 s]
Raw data (loadavg): 1.01 1.01 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 341 0 0 0 63054 2490 0 0 23 0 1 0 1860239250 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 307 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 655.44
Current children cumulated vsize (Kb) 2832

[startup+710.026 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 342 0 0 0 63946 2530 0 0 25 0 1 0 1860239250 2899968 308 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 308 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 664.76
Current children cumulated vsize (Kb) 2832

[startup+720.026 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 343 0 0 0 64842 2569 0 0 25 0 1 0 1860239250 2899968 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 309 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 674.11
Current children cumulated vsize (Kb) 2832

[startup+730.027 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 343 0 0 0 65730 2611 0 0 25 0 1 0 1860239250 2899968 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 309 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 683.41
Current children cumulated vsize (Kb) 2832

[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 347 0 0 0 66601 2655 0 0 25 0 1 0 1860239250 2899968 313 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 313 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 692.56
Current children cumulated vsize (Kb) 2832

[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 348 0 0 0 67454 2706 0 0 25 0 1 0 1860239250 2899968 314 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 314 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 701.6
Current children cumulated vsize (Kb) 2832

[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 348 0 0 0 68347 2744 0 0 25 0 1 0 1860239250 2899968 314 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 314 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 710.91
Current children cumulated vsize (Kb) 2832

[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 348 0 0 0 69241 2780 0 0 25 0 1 0 1860239250 2899968 314 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 314 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 720.21
Current children cumulated vsize (Kb) 2832

[startup+780.029 s]
Raw data (loadavg): 1.08 1.02 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 348 0 0 0 70142 2815 0 0 25 0 1 0 1860239250 2899968 314 4294967295 134512640 134578447 3221224624 3221223280 1075288289 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 314 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 729.57
Current children cumulated vsize (Kb) 2832

[startup+790.03 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 348 0 0 0 71038 2852 0 0 25 0 1 0 1860239250 2899968 314 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 314 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 738.9
Current children cumulated vsize (Kb) 2832

[startup+800.03 s]
Raw data (loadavg): 1.06 1.01 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 348 0 0 0 71931 2891 0 0 25 0 1 0 1860239250 2899968 314 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 314 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 748.22
Current children cumulated vsize (Kb) 2832

[startup+810.03 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 349 0 0 0 72821 2932 0 0 25 0 1 0 1860239250 2899968 315 4294967295 134512640 134578447 3221224624 3221223488 134517860 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 315 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 757.53
Current children cumulated vsize (Kb) 2832

[startup+820.03 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 349 0 0 0 73712 2971 0 0 25 0 1 0 1860239250 2899968 315 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 315 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 766.83
Current children cumulated vsize (Kb) 2832

[startup+830.03 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 349 0 0 0 74602 3009 0 0 25 0 1 0 1860239250 2899968 315 4294967295 134512640 134578447 3221224624 3221223504 134527698 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 315 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 776.11
Current children cumulated vsize (Kb) 2832

[startup+840.03 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 349 0 0 0 75492 3048 0 0 25 0 1 0 1860239250 2899968 315 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 315 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 785.4
Current children cumulated vsize (Kb) 2832

[startup+850.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 349 0 0 0 76379 3088 0 0 25 0 1 0 1860239250 2899968 315 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26400/statm): 708 315 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 794.67
Current children cumulated vsize (Kb) 2832

[startup+860.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 349 0 0 0 77269 3130 0 0 25 0 1 0 1860239250 2899968 315 4294967295 134512640 134578447 3221224624 3221223536 134556901 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 315 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 803.99
Current children cumulated vsize (Kb) 2832

[startup+870.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 349 0 0 0 78138 3178 0 0 25 0 1 0 1860239250 2899968 315 4294967295 134512640 134578447 3221224624 3221223624 134558149 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 708 315 566 18 0 690 0
[pid=26400] vsize: 2832
Current children cumulated CPU time (s) 813.16
Current children cumulated vsize (Kb) 2832

[startup+880.031 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 351 0 0 0 79027 3218 0 0 25 0 1 0 1860239250 3026944 317 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 317 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 822.45
Current children cumulated vsize (Kb) 2956

[startup+890.031 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 351 0 0 0 79920 3257 0 0 25 0 1 0 1860239250 3026944 317 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 739 317 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 831.77
Current children cumulated vsize (Kb) 2956

[startup+900.031 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 351 0 0 0 80820 3292 0 0 25 0 1 0 1860239250 3026944 317 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 317 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 841.12
Current children cumulated vsize (Kb) 2956

[startup+910.032 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 351 0 0 0 81727 3324 0 0 25 0 1 0 1860239250 3026944 317 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 317 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 850.51
Current children cumulated vsize (Kb) 2956

[startup+920.032 s]
Raw data (loadavg): 1.08 1.02 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 82633 3358 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 859.91
Current children cumulated vsize (Kb) 2956

[startup+930.033 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 83536 3393 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223536 134557627 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 869.29
Current children cumulated vsize (Kb) 2956

[startup+940.033 s]
Raw data (loadavg): 1.06 1.02 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 84427 3434 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 878.61
Current children cumulated vsize (Kb) 2956

[startup+950.033 s]
Raw data (loadavg): 1.05 1.02 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 85323 3469 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 887.92
Current children cumulated vsize (Kb) 2956

[startup+960.034 s]
Raw data (loadavg): 1.04 1.02 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 86222 3507 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 897.29
Current children cumulated vsize (Kb) 2956

[startup+970.034 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 87119 3541 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 906.6
Current children cumulated vsize (Kb) 2956

[startup+980.034 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 88011 3576 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 915.87
Current children cumulated vsize (Kb) 2956

[startup+990.035 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 88900 3613 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 925.13
Current children cumulated vsize (Kb) 2956

[startup+1000.04 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 89791 3652 0 0 18 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 934.43
Current children cumulated vsize (Kb) 2956

[startup+1010.03 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 90680 3691 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 943.71
Current children cumulated vsize (Kb) 2956

[startup+1020.04 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 91581 3726 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 953.07
Current children cumulated vsize (Kb) 2956

[startup+1030.04 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 92482 3762 0 0 18 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 962.44
Current children cumulated vsize (Kb) 2956

[startup+1040.04 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 93377 3800 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 971.77
Current children cumulated vsize (Kb) 2956

[startup+1050.04 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 94283 3832 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223552 134552669 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 981.15
Current children cumulated vsize (Kb) 2956

[startup+1060.04 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 95181 3871 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 990.52
Current children cumulated vsize (Kb) 2956

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 96081 3908 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 999.89
Current children cumulated vsize (Kb) 2956

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 96986 3944 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1009.3
Current children cumulated vsize (Kb) 2956

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 97875 3982 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1018.57
Current children cumulated vsize (Kb) 2956

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 98766 4018 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1027.84
Current children cumulated vsize (Kb) 2956

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 352 0 0 0 99669 4055 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1037.24
Current children cumulated vsize (Kb) 2956

[startup+1120.04 s]
Raw data (loadavg): 1.08 1.02 0.95 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 100573 4088 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1046.61
Current children cumulated vsize (Kb) 2956

[startup+1130.04 s]
Raw data (loadavg): 1.07 1.02 0.95 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 352 0 0 0 101479 4119 0 0 25 0 1 0 1860239250 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 739 318 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1055.98
Current children cumulated vsize (Kb) 2956

[startup+1140.04 s]
Raw data (loadavg): 1.06 1.01 0.95 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 354 0 0 0 102383 4153 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1065.36
Current children cumulated vsize (Kb) 2956

[startup+1150.04 s]
Raw data (loadavg): 1.05 1.01 0.95 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 354 0 0 0 103287 4187 0 0 18 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1074.74
Current children cumulated vsize (Kb) 2956

[startup+1160.04 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 354 0 0 0 104189 4220 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223536 134557586 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1084.09
Current children cumulated vsize (Kb) 2956

[startup+1170.04 s]
Raw data (loadavg): 1.03 1.01 0.95 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 354 0 0 0 105082 4259 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1093.41
Current children cumulated vsize (Kb) 2956

[startup+1180.04 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 354 0 0 0 105965 4300 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1102.65
Current children cumulated vsize (Kb) 2956

[startup+1190.04 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 354 0 0 0 106845 4340 0 0 24 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1111.85
Current children cumulated vsize (Kb) 2956

[startup+1200.04 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 354 0 0 0 107741 4377 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1121.18
Current children cumulated vsize (Kb) 2956

[startup+1210.04 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 354 0 0 0 108631 4419 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1130.5
Current children cumulated vsize (Kb) 2956

[startup+1220.04 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 354 0 0 0 109521 4458 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1139.79
Current children cumulated vsize (Kb) 2956

[startup+1230.04 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 354 0 0 0 110423 4491 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1149.14
Current children cumulated vsize (Kb) 2956

[startup+1240.04 s]
Raw data (loadavg): 1.01 1.00 0.95 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 354 0 0 0 111315 4528 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1158.43
Current children cumulated vsize (Kb) 2956

[startup+1250.04 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 354 0 0 0 112210 4565 0 0 25 0 1 0 1860239250 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 320 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1167.75
Current children cumulated vsize (Kb) 2956

[startup+1260.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) T 26399 26400 19316 0 -1 0 355 0 0 0 113096 4604 0 0 25 0 1 0 1860239250 3026944 321 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 321 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1177
Current children cumulated vsize (Kb) 2956

[startup+1270.05 s]
Raw data (loadavg): 1.08 1.02 0.95 2/56 26400
Raw data (/proc/26400/stat): 26400 (Pueblo) R 26399 26400 19316 0 -1 0 358 0 0 0 113980 4648 0 0 25 0 1 0 1860239250 3026944 324 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26400/statm): 739 324 566 18 0 721 0
[pid=26400] vsize: 2956
Current children cumulated CPU time (s) 1186.28
Current children cumulated vsize (Kb) 2956
One traced child (pid=26400) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1273.01
CPU time (s): 1189.01
CPU user time (s): 1142.41
CPU system time (s): 46.5969
CPU usage (%): 93.4012
Max. virtual memory (cumulated for all children) (Kb): 2956

Verifier Data

Verifier:	OK	17152