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/miplib/normalized-mps-v2-13-7-misc07.opb
MD5SUM9cc94d1db4d494288ef67a8d5ad5d77e
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1408128
Optimality of the best value was proved NO
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 11486079
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables280
Total number of constraints471
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint1
Maximum length of a constraint253

Trace number 8463

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-20 16:25:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5595 boxname=wulflinc17 idbench=907 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  9cc94d1db4d494288ef67a8d5ad5d77e  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-misc07.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5595
/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:        875412 kB
Buffers:         32852 kB
Cached:          97300 kB
SwapCached:        612 kB
Active:          48284 kB
Inactive:        84420 kB
HighTotal:      131008 kB
HighFree:        29624 kB
LowTotal:       903652 kB
LowFree:        845788 kB
SwapTotal:     2097892 kB
SwapFree:      2096676 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            20820 kB
Committed_AS:    64292 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:45:34 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 5595 0 1189.02 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: 280 - #constraints read: 507
c total time              : 1189.01 s
s SATISFIABLE
v -COL260_bit_7 -COL260_bit_6 -COL260_bit_5 -COL260_bit_4 -COL260_bit_3 -COL260_bit_2 -COL260_bit_1 COL260_bit0 -COL260_bit1 -COL260_bit2 COL260_bit3 COL260_bit4 COL260_bit5 COL260_bit6 COL260_bit7 -COL260_bit8 COL260_bit9 -COL260_bit10 COL260_bit11 -COL260_bit12 COL260_bit13 -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 COL005_bit0 -COL006_bit0 -COL007_bit0 -COL008_bit0 -COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 -COL017_bit0 -COL018_bit0 -COL019_bit0 -COL020_bit0 -COL021_bit0 -COL022_bit0 -COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 -COL032_bit0 -COL033_bit0 -COL034_bit0 COL035_bit0 -COL036_bit0 -COL037_bit0 -COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 -COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 -COL055_bit0 -COL056_bit0 -COL057_bit0 -COL058_bit0 -COL059_bit0 -COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 -COL070_bit0 -COL071_bit0 -COL072_bit0 -COL073_bit0 -COL074_bit0 -COL075_bit0 -COL076_bit0 COL077_bit0 -COL078_bit0 -COL079_bit0 -COL080_bit0 -COL081_bit0 -COL082_bit0 -COL083_bit0 -COL084_bit0 -COL085_bit0 -COL086_bit0 -COL087_bit0 -COL088_bit0 -COL089_bit0 -COL090_bit0 -COL091_bit0 -COL092_bit0 -COL093_bit0 -COL094_bit0 -COL095_bit0 COL096_bit0 -COL097_bit0 -COL098_bit0 -COL099_bit0 -COL100_bit0 -COL101_bit0 -COL102_bit0 -COL103_bit0 -COL104_bit0 -COL105_bit0 -COL106_bit0 -COL107_bit0 -COL108_bit0 -COL109_bit0 -COL110_bit0 -COL111_bit0 -COL112_bit0 -COL113_bit0 -COL114_bit0 -COL115_bit0 -COL116_bit0 -COL117_bit0 -COL118_bit0 -COL119_bit0 -COL120_bit0 -COL121_bit0 -COL122_bit0 -COL123_bit0 -COL124_bit0 -COL125_bit0 -COL126_bit0 -COL127_bit0 -COL128_bit0 -COL129_bit0 -COL130_bit0 -COL131_bit0 COL132_bit0 -COL133_bit0 -COL134_bit0 -COL135_bit0 -COL136_bit0 -COL137_bit0 -COL138_bit0 -COL139_bit0 -COL140_bit0 -COL141_bit0 -COL142_bit0 -COL143_bit0 -COL144_bit0 -COL145_bit0 -COL146_bit0 -COL147_bit0 -COL148_bit0 -COL149_bit0 -COL150_bit0 -COL151_bit0 -COL152_bit0 -COL153_bit0 COL154_bit0 -COL155_bit0 -COL156_bit0 -COL157_bit0 -COL158_bit0 -COL159_bit0 -COL160_bit0 -COL161_bit0 -COL162_bit0 -COL163_bit0 -COL164_bit0 -COL165_bit0 -COL166_bit0 -COL167_bit0 -COL168_bit0 -COL169_bit0 -COL170_bit0 -COL171_bit0 -COL172_bit0 -COL173_bit0 -COL174_bit0 -COL175_bit0 -COL176_bit0 -COL177_bit0 -COL178_bit0 -COL179_bit0 -COL180_bit0 -COL181_bit0 -COL182_bit0 -COL183_bit0 COL184_bit0 -COL185_bit0 -COL186_bit0 -COL187_bit0 -COL188_bit0 -COL189_bit0 -COL190_bit0 COL191_bit0 -COL192_bit0 -COL193_bit0 -COL194_bit0 -COL195_bit0 -COL196_bit0 -COL197_bit0 -COL198_bit0 -COL199_bit0 -COL200_bit0 COL201_bit0 -COL202_bit0 -COL203_bit0 -COL204_bit0 COL205_bit0 -COL206_bit0 -COL207_bit0 -COL208_bit0 -COL209_bit0 -COL210_bit0 -COL211_bit0 -COL212_bit0 -COL213_bit0 -COL214_bit0 -COL215_bit0 -COL216_bit0 -COL217_bit0 -COL218_bit0 -COL219_bit0 -COL220_bit0 -COL221_bit0 -COL222_bit0 -COL223_bit0 -COL224_bit0 -COL225_bit0 -COL226_bit0 -COL227_bit0 -COL228_bit0 -COL229_bit0 -COL230_bit0 -COL231_bit0 -COL232_bit0 -COL233_bit0 -COL234_bit0 -COL235_bit0 -COL236_bit0 -COL237_bit0 -COL238_bit0 -COL239_bit0 -COL240_bit0 -COL241_bit0 -COL242_bit0 -COL243_bit0 COL244_bit0 -COL245_bit0 COL246_bit0 -COL247_bit0 COL248_bit0 -COL249_bit0 COL250_bit0 -COL251_bit0 COL252_bit0 -COL253_bit0 COL254_bit0 -COL255_bit0 COL256_bit0 -COL257_bit0 COL258_bit0 -COL259_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/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859984351 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 41 3 40 18 0 23 0
[pid=25673] 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.0025 s]
Raw data (loadavg): 0.76 0.85 0.89 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 450 0 0 0 910 30 0 0 25 0 1 0 1859984351 3407872 416 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 832 416 566 18 0 814 0
[pid=25673] vsize: 3328
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (Kb) 3328

[startup+20.0031 s]
Raw data (loadavg): 0.80 0.86 0.89 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 487 0 0 0 1838 57 0 0 25 0 1 0 1859984351 3522560 453 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 860 453 566 18 0 842 0
[pid=25673] vsize: 3440
Current children cumulated CPU time (s) 18.95
Current children cumulated vsize (Kb) 3440

[startup+30.0057 s]
Raw data (loadavg): 0.83 0.86 0.89 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 512 0 0 0 2764 82 0 0 25 0 1 0 1859984351 3629056 478 4294967295 134512640 134578447 3221224624 3221223296 134523780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 886 478 566 18 0 868 0
[pid=25673] vsize: 3544
Current children cumulated CPU time (s) 28.46
Current children cumulated vsize (Kb) 3544

[startup+40.0063 s]
Raw data (loadavg): 0.85 0.86 0.89 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 537 0 0 0 3707 103 0 0 25 0 1 0 1859984351 3743744 503 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 914 503 566 18 0 896 0
[pid=25673] vsize: 3656
Current children cumulated CPU time (s) 38.1
Current children cumulated vsize (Kb) 3656

[startup+50.0069 s]
Raw data (loadavg): 0.88 0.87 0.89 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 553 0 0 0 4658 119 0 0 25 0 1 0 1859984351 3743744 519 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 914 519 566 18 0 896 0
[pid=25673] vsize: 3656
Current children cumulated CPU time (s) 47.77
Current children cumulated vsize (Kb) 3656

[startup+60.0065 s]
Raw data (loadavg): 0.89 0.87 0.89 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 557 0 0 0 5603 139 0 0 25 0 1 0 1859984351 3878912 523 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 947 523 566 18 0 929 0
[pid=25673] vsize: 3788
Current children cumulated CPU time (s) 57.42
Current children cumulated vsize (Kb) 3788

[startup+70.0081 s]
Raw data (loadavg): 0.91 0.88 0.89 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 562 0 0 0 6552 156 0 0 25 0 1 0 1859984351 3854336 528 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 941 528 566 18 0 923 0
[pid=25673] vsize: 3764
Current children cumulated CPU time (s) 67.08
Current children cumulated vsize (Kb) 3764

[startup+80.0087 s]
Raw data (loadavg): 0.92 0.88 0.90 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 574 0 0 0 7495 174 0 0 25 0 1 0 1859984351 3854336 540 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 941 540 566 18 0 923 0
[pid=25673] vsize: 3764
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (Kb) 3764

[startup+90.0093 s]
Raw data (loadavg): 0.93 0.88 0.90 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 590 0 0 0 8447 191 0 0 25 0 1 0 1859984351 3960832 556 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 967 556 566 18 0 949 0
[pid=25673] vsize: 3868
Current children cumulated CPU time (s) 86.38
Current children cumulated vsize (Kb) 3868

[startup+100.01 s]
Raw data (loadavg): 0.94 0.89 0.90 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 597 0 0 0 9400 207 0 0 25 0 1 0 1859984351 3960832 563 4294967295 134512640 134578447 3221224624 3221223520 134519858 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 967 563 566 18 0 949 0
[pid=25673] vsize: 3868
Current children cumulated CPU time (s) 96.07
Current children cumulated vsize (Kb) 3868

[startup+110.009 s]
Raw data (loadavg): 0.95 0.89 0.90 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 597 0 0 0 10352 223 0 0 25 0 1 0 1859984351 3960832 563 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 967 563 566 18 0 949 0
[pid=25673] vsize: 3868
Current children cumulated CPU time (s) 105.75
Current children cumulated vsize (Kb) 3868

[startup+120.01 s]
Raw data (loadavg): 0.96 0.89 0.90 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 608 0 0 0 11302 240 0 0 25 0 1 0 1859984351 3960832 574 4294967295 134512640 134578447 3221224624 3221223416 1075291224 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 967 574 566 18 0 949 0
[pid=25673] vsize: 3868
Current children cumulated CPU time (s) 115.42
Current children cumulated vsize (Kb) 3868

[startup+130.011 s]
Raw data (loadavg): 0.97 0.90 0.90 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 620 0 0 0 12253 257 0 0 25 0 1 0 1859984351 4091904 586 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 999 586 566 18 0 981 0
[pid=25673] vsize: 3996
Current children cumulated CPU time (s) 125.1
Current children cumulated vsize (Kb) 3996

[startup+140.011 s]
Raw data (loadavg): 0.97 0.90 0.90 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 631 0 0 0 13212 274 0 0 25 0 1 0 1859984351 4091904 597 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 999 597 566 18 0 981 0
[pid=25673] vsize: 3996
Current children cumulated CPU time (s) 134.86
Current children cumulated vsize (Kb) 3996

[startup+150.012 s]
Raw data (loadavg): 0.97 0.90 0.90 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 646 0 0 0 14168 290 0 0 25 0 1 0 1859984351 4222976 612 4294967295 134512640 134578447 3221224624 3221223496 134520089 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 612 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 144.58
Current children cumulated vsize (Kb) 4124

[startup+160.012 s]
Raw data (loadavg): 0.98 0.90 0.90 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 646 0 0 0 15129 302 0 0 25 0 1 0 1859984351 4222976 612 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 612 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 154.31
Current children cumulated vsize (Kb) 4124

[startup+170.012 s]
Raw data (loadavg): 0.98 0.91 0.90 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 646 0 0 0 16086 316 0 0 25 0 1 0 1859984351 4222976 612 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 612 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 164.02
Current children cumulated vsize (Kb) 4124

[startup+180.013 s]
Raw data (loadavg): 0.98 0.91 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 646 0 0 0 17043 332 0 0 25 0 1 0 1859984351 4222976 612 4294967295 134512640 134578447 3221224624 3221223536 134516775 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 612 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 173.75
Current children cumulated vsize (Kb) 4124

[startup+190.014 s]
Raw data (loadavg): 0.98 0.91 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 646 0 0 0 18000 347 0 0 25 0 1 0 1859984351 4222976 612 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 612 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 183.47
Current children cumulated vsize (Kb) 4124

[startup+200.015 s]
Raw data (loadavg): 0.99 0.91 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 646 0 0 0 18943 367 0 0 25 0 1 0 1859984351 4222976 612 4294967295 134512640 134578447 3221224624 3221222976 134532499 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 612 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 193.1
Current children cumulated vsize (Kb) 4124

[startup+210.015 s]
Raw data (loadavg): 0.99 0.92 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 658 0 0 0 19904 381 0 0 25 0 1 0 1859984351 4222976 624 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 624 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 202.85
Current children cumulated vsize (Kb) 4124

[startup+220.015 s]
Raw data (loadavg): 0.99 0.92 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 658 0 0 0 20859 396 0 0 25 0 1 0 1859984351 4222976 624 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 624 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 212.55
Current children cumulated vsize (Kb) 4124

[startup+230.015 s]
Raw data (loadavg): 0.99 0.92 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 660 0 0 0 21817 413 0 0 25 0 1 0 1859984351 4222976 626 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 626 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (Kb) 4124

[startup+240.015 s]
Raw data (loadavg): 0.99 0.92 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 660 0 0 0 22773 427 0 0 25 0 1 0 1859984351 4222976 626 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 626 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 232
Current children cumulated vsize (Kb) 4124

[startup+250.016 s]
Raw data (loadavg): 0.99 0.92 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 670 0 0 0 23732 441 0 0 25 0 1 0 1859984351 4222976 636 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1031 636 566 18 0 1013 0
[pid=25673] vsize: 4124
Current children cumulated CPU time (s) 241.73
Current children cumulated vsize (Kb) 4124

[startup+260.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 686 0 0 0 24691 456 0 0 25 0 1 0 1859984351 4325376 652 4294967295 134512640 134578447 3221224624 3221223696 134560606 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1056 652 566 18 0 1038 0
[pid=25673] vsize: 4224
Current children cumulated CPU time (s) 251.47
Current children cumulated vsize (Kb) 4224

[startup+270.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 686 0 0 0 25654 470 0 0 25 0 1 0 1859984351 4325376 652 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1056 652 566 18 0 1038 0
[pid=25673] vsize: 4224
Current children cumulated CPU time (s) 261.24
Current children cumulated vsize (Kb) 4224

[startup+280.018 s]
Raw data (loadavg): 0.99 0.93 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 686 0 0 0 26611 487 0 0 25 0 1 0 1859984351 4325376 652 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1056 652 566 18 0 1038 0
[pid=25673] vsize: 4224
Current children cumulated CPU time (s) 270.98
Current children cumulated vsize (Kb) 4224

[startup+290.018 s]
Raw data (loadavg): 0.99 0.93 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 687 0 0 0 27564 505 0 0 25 0 1 0 1859984351 4325376 653 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1056 653 566 18 0 1038 0
[pid=25673] vsize: 4224
Current children cumulated CPU time (s) 280.69
Current children cumulated vsize (Kb) 4224

[startup+300.019 s]
Raw data (loadavg): 0.99 0.93 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 696 0 0 0 28494 531 0 0 25 0 1 0 1859984351 4325376 662 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1056 662 566 18 0 1038 0
[pid=25673] vsize: 4224
Current children cumulated CPU time (s) 290.25
Current children cumulated vsize (Kb) 4224

[startup+310.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 696 0 0 0 29456 545 0 0 25 0 1 0 1859984351 4325376 662 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1056 662 566 18 0 1038 0
[pid=25673] vsize: 4224
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 4224

[startup+320.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 696 0 0 0 30414 560 0 0 25 0 1 0 1859984351 4325376 662 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1056 662 566 18 0 1038 0
[pid=25673] vsize: 4224
Current children cumulated CPU time (s) 309.74
Current children cumulated vsize (Kb) 4224

[startup+330.02 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 703 0 0 0 31377 572 0 0 25 0 1 0 1859984351 4423680 669 4294967295 134512640 134578447 3221224624 3221223536 134556878 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1080 669 566 18 0 1062 0
[pid=25673] vsize: 4320
Current children cumulated CPU time (s) 319.49
Current children cumulated vsize (Kb) 4320

[startup+340.02 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 706 0 0 0 32339 585 0 0 25 0 1 0 1859984351 4423680 672 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1080 672 566 18 0 1062 0
[pid=25673] vsize: 4320
Current children cumulated CPU time (s) 329.24
Current children cumulated vsize (Kb) 4320

[startup+350.02 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 706 0 0 0 33299 599 0 0 25 0 1 0 1859984351 4423680 672 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1080 672 566 18 0 1062 0
[pid=25673] vsize: 4320
Current children cumulated CPU time (s) 338.98
Current children cumulated vsize (Kb) 4320

[startup+360.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 706 0 0 0 34260 611 0 0 25 0 1 0 1859984351 4423680 672 4294967295 134512640 134578447 3221224624 3221223456 134528457 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1080 672 566 18 0 1062 0
[pid=25673] vsize: 4320
Current children cumulated CPU time (s) 348.71
Current children cumulated vsize (Kb) 4320

[startup+370.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 706 0 0 0 35218 624 0 0 20 0 1 0 1859984351 4423680 672 4294967295 134512640 134578447 3221224624 3221223504 134528051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1080 672 566 18 0 1062 0
[pid=25673] vsize: 4320
Current children cumulated CPU time (s) 358.42
Current children cumulated vsize (Kb) 4320

[startup+380.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 721 0 0 0 36179 637 0 0 25 0 1 0 1859984351 4423680 687 4294967295 134512640 134578447 3221224624 3221223536 134516768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1080 687 566 18 0 1062 0
[pid=25673] vsize: 4320
Current children cumulated CPU time (s) 368.16
Current children cumulated vsize (Kb) 4320

[startup+390.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 721 0 0 0 37130 653 0 0 25 0 1 0 1859984351 4423680 687 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1080 687 566 18 0 1062 0
[pid=25673] vsize: 4320
Current children cumulated CPU time (s) 377.83
Current children cumulated vsize (Kb) 4320

[startup+400.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 723 0 0 0 38095 665 0 0 25 0 1 0 1859984351 4521984 689 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1104 689 566 18 0 1086 0
[pid=25673] vsize: 4416
Current children cumulated CPU time (s) 387.6
Current children cumulated vsize (Kb) 4416

[startup+410.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 723 0 0 0 39053 678 0 0 25 0 1 0 1859984351 4521984 689 4294967295 134512640 134578447 3221224624 3221223408 134528801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1104 689 566 18 0 1086 0
[pid=25673] vsize: 4416
Current children cumulated CPU time (s) 397.31
Current children cumulated vsize (Kb) 4416

[startup+420.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 723 0 0 0 40015 693 0 0 25 0 1 0 1859984351 4521984 689 4294967295 134512640 134578447 3221224624 3221223476 134555832 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1104 689 566 18 0 1086 0
[pid=25673] vsize: 4416
Current children cumulated CPU time (s) 407.08
Current children cumulated vsize (Kb) 4416

[startup+430.024 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 727 0 0 0 40977 708 0 0 25 0 1 0 1859984351 4521984 693 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1104 693 566 18 0 1086 0
[pid=25673] vsize: 4416
Current children cumulated CPU time (s) 416.85
Current children cumulated vsize (Kb) 4416

[startup+440.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 727 0 0 0 41935 723 0 0 25 0 1 0 1859984351 4521984 693 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1104 693 566 18 0 1086 0
[pid=25673] vsize: 4416
Current children cumulated CPU time (s) 426.58
Current children cumulated vsize (Kb) 4416

[startup+450.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 727 0 0 0 42899 735 0 0 25 0 1 0 1859984351 4521984 693 4294967295 134512640 134578447 3221224624 3221223288 1075291503 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1104 693 566 18 0 1086 0
[pid=25673] vsize: 4416
Current children cumulated CPU time (s) 436.34
Current children cumulated vsize (Kb) 4416

[startup+460.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 727 0 0 0 43855 752 0 0 25 0 1 0 1859984351 4521984 693 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1104 693 566 18 0 1086 0
[pid=25673] vsize: 4416
Current children cumulated CPU time (s) 446.07
Current children cumulated vsize (Kb) 4416

[startup+470.025 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 732 0 0 0 44805 768 0 0 25 0 1 0 1859984351 4521984 698 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1104 698 566 18 0 1086 0
[pid=25673] vsize: 4416
Current children cumulated CPU time (s) 455.73
Current children cumulated vsize (Kb) 4416

[startup+480.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 750 0 0 0 45766 783 0 0 25 0 1 0 1859984351 4542464 716 4294967295 134512640 134578447 3221224624 3221223504 134527875 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1109 716 566 18 0 1091 0
[pid=25673] vsize: 4436
Current children cumulated CPU time (s) 465.49
Current children cumulated vsize (Kb) 4436

[startup+490.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 750 0 0 0 46721 799 0 0 25 0 1 0 1859984351 4542464 716 4294967295 134512640 134578447 3221224624 3221223280 1075288574 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1109 716 566 18 0 1091 0
[pid=25673] vsize: 4436
Current children cumulated CPU time (s) 475.2
Current children cumulated vsize (Kb) 4436

[startup+500.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 751 0 0 0 47683 811 0 0 25 0 1 0 1859984351 4677632 717 4294967295 134512640 134578447 3221224624 3221223456 134528418 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1142 717 566 18 0 1124 0
[pid=25673] vsize: 4568
Current children cumulated CPU time (s) 484.94
Current children cumulated vsize (Kb) 4568

[startup+510.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 757 0 0 0 48645 824 0 0 25 0 1 0 1859984351 4657152 723 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1137 723 566 18 0 1119 0
[pid=25673] vsize: 4548
Current children cumulated CPU time (s) 494.69
Current children cumulated vsize (Kb) 4548

[startup+520.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 757 0 0 0 49606 838 0 0 25 0 1 0 1859984351 4648960 723 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1135 723 566 18 0 1117 0
[pid=25673] vsize: 4540
Current children cumulated CPU time (s) 504.44
Current children cumulated vsize (Kb) 4540

[startup+530.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 759 0 0 0 50567 851 0 0 25 0 1 0 1859984351 4648960 725 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1135 725 566 18 0 1117 0
[pid=25673] vsize: 4540
Current children cumulated CPU time (s) 514.18
Current children cumulated vsize (Kb) 4540

[startup+540.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 759 0 0 0 51531 863 0 0 25 0 1 0 1859984351 4648960 725 4294967295 134512640 134578447 3221224624 3221223476 134555840 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1135 725 566 18 0 1117 0
[pid=25673] vsize: 4540
Current children cumulated CPU time (s) 523.94
Current children cumulated vsize (Kb) 4540

[startup+550.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 778 0 0 0 52493 876 0 0 25 0 1 0 1859984351 4689920 744 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1145 744 566 18 0 1127 0
[pid=25673] vsize: 4580
Current children cumulated CPU time (s) 533.69
Current children cumulated vsize (Kb) 4580

[startup+560.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 778 0 0 0 53454 889 0 0 25 0 1 0 1859984351 4689920 744 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1145 744 566 18 0 1127 0
[pid=25673] vsize: 4580
Current children cumulated CPU time (s) 543.43
Current children cumulated vsize (Kb) 4580

[startup+570.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 787 0 0 0 54423 900 0 0 25 0 1 0 1859984351 4808704 753 4294967295 134512640 134578447 3221224624 3221223456 134528371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 753 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 553.23
Current children cumulated vsize (Kb) 4696

[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 55393 912 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 563.05
Current children cumulated vsize (Kb) 4696

[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 56361 922 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 572.83
Current children cumulated vsize (Kb) 4696

[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 57320 937 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 582.57
Current children cumulated vsize (Kb) 4696

[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 58285 948 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 592.33
Current children cumulated vsize (Kb) 4696

[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 59244 965 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 602.09
Current children cumulated vsize (Kb) 4696

[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 60212 976 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 611.88
Current children cumulated vsize (Kb) 4696

[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 61179 988 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 621.67
Current children cumulated vsize (Kb) 4696

[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 62139 1003 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 631.42
Current children cumulated vsize (Kb) 4696

[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 63096 1020 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 641.16
Current children cumulated vsize (Kb) 4696

[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 800 0 0 0 64059 1033 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 650.92
Current children cumulated vsize (Kb) 4696

[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 65017 1047 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 660.64
Current children cumulated vsize (Kb) 4696

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 800 0 0 0 65981 1062 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 670.43
Current children cumulated vsize (Kb) 4696

[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 66941 1076 0 0 25 0 1 0 1859984351 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1174 766 566 18 0 1156 0
[pid=25673] vsize: 4696
Current children cumulated CPU time (s) 680.17
Current children cumulated vsize (Kb) 4696

[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 67902 1090 0 0 25 0 1 0 1859984351 4800512 766 4294967295 134512640 134578447 3221224624 3221223456 134526965 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 766 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 689.92
Current children cumulated vsize (Kb) 4688

[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 68867 1101 0 0 25 0 1 0 1859984351 4800512 766 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 766 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 699.68
Current children cumulated vsize (Kb) 4688

[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 69832 1114 0 0 25 0 1 0 1859984351 4800512 766 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 766 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 709.46
Current children cumulated vsize (Kb) 4688

[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 70795 1125 0 0 25 0 1 0 1859984351 4800512 766 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 766 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 719.2
Current children cumulated vsize (Kb) 4688

[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 71760 1139 0 0 25 0 1 0 1859984351 4800512 766 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 766 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 728.99
Current children cumulated vsize (Kb) 4688

[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 72726 1150 0 0 25 0 1 0 1859984351 4800512 766 4294967295 134512640 134578447 3221224624 3221223432 134532025 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 766 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 738.76
Current children cumulated vsize (Kb) 4688

[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 73692 1163 0 0 25 0 1 0 1859984351 4800512 766 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 766 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 748.55
Current children cumulated vsize (Kb) 4688

[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 74654 1175 0 0 25 0 1 0 1859984351 4800512 766 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 766 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 758.29
Current children cumulated vsize (Kb) 4688

[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 800 0 0 0 75615 1188 0 0 25 0 1 0 1859984351 4800512 766 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 766 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 768.03
Current children cumulated vsize (Kb) 4688

[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 802 0 0 0 76581 1202 0 0 25 0 1 0 1859984351 4800512 768 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 768 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 777.83
Current children cumulated vsize (Kb) 4688

[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 812 0 0 0 77549 1212 0 0 25 0 1 0 1859984351 4800512 778 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1172 778 566 18 0 1154 0
[pid=25673] vsize: 4688
Current children cumulated CPU time (s) 787.61
Current children cumulated vsize (Kb) 4688

[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 818 0 0 0 78510 1227 0 0 25 0 1 0 1859984351 4886528 784 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1193 784 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 797.37
Current children cumulated vsize (Kb) 4772

[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 818 0 0 0 79477 1240 0 0 25 0 1 0 1859984351 4886528 784 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1193 784 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 807.17
Current children cumulated vsize (Kb) 4772

[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 818 0 0 0 80445 1251 0 0 25 0 1 0 1859984351 4886528 784 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 784 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 816.96
Current children cumulated vsize (Kb) 4772

[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 818 0 0 0 81407 1264 0 0 25 0 1 0 1859984351 4886528 784 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 784 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 826.71
Current children cumulated vsize (Kb) 4772

[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 818 0 0 0 82366 1280 0 0 25 0 1 0 1859984351 4886528 784 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 784 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 836.46
Current children cumulated vsize (Kb) 4772

[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 819 0 0 0 83327 1294 0 0 25 0 1 0 1859984351 4886528 785 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 785 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 846.21
Current children cumulated vsize (Kb) 4772

[startup+880.042 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 837 0 0 0 84275 1311 0 0 20 0 1 0 1859984351 5017600 803 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1225 803 566 18 0 1207 0
[pid=25673] vsize: 4900
Current children cumulated CPU time (s) 855.86
Current children cumulated vsize (Kb) 4900

[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 85228 1328 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 865.56
Current children cumulated vsize (Kb) 4772

[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 86189 1343 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 875.32
Current children cumulated vsize (Kb) 4772

[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 87146 1355 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223296 134524066 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 885.01
Current children cumulated vsize (Kb) 4772

[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 88111 1368 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 894.79
Current children cumulated vsize (Kb) 4772

[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 89079 1379 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 904.58
Current children cumulated vsize (Kb) 4772

[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 90043 1391 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 914.34
Current children cumulated vsize (Kb) 4772

[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 91006 1404 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 924.1
Current children cumulated vsize (Kb) 4772

[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 91972 1415 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 933.87
Current children cumulated vsize (Kb) 4772

[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 92932 1430 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223488 134517601 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 943.62
Current children cumulated vsize (Kb) 4772

[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 93897 1441 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 953.38
Current children cumulated vsize (Kb) 4772

[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 94846 1460 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527441 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 963.06
Current children cumulated vsize (Kb) 4772

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 837 0 0 0 95809 1473 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 972.82
Current children cumulated vsize (Kb) 4772

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 96774 1486 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 982.6
Current children cumulated vsize (Kb) 4772

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 97745 1496 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 992.41
Current children cumulated vsize (Kb) 4772

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 98718 1507 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (Kb) 4772

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 99686 1518 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1012.04
Current children cumulated vsize (Kb) 4772

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 100657 1528 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1021.85
Current children cumulated vsize (Kb) 4772

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 101627 1540 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1031.67
Current children cumulated vsize (Kb) 4772

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 102595 1549 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1041.44
Current children cumulated vsize (Kb) 4772

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 103567 1559 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1051.26
Current children cumulated vsize (Kb) 4772

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 104537 1569 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1061.06
Current children cumulated vsize (Kb) 4772

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 105508 1579 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1070.87
Current children cumulated vsize (Kb) 4772

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 106477 1590 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223456 134528399 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1080.67
Current children cumulated vsize (Kb) 4772

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 837 0 0 0 107449 1600 0 0 25 0 1 0 1859984351 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1193 800 566 18 0 1175 0
[pid=25673] vsize: 4772
Current children cumulated CPU time (s) 1090.49
Current children cumulated vsize (Kb) 4772

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 848 0 0 0 108410 1614 0 0 25 0 1 0 1859984351 5021696 811 4294967295 134512640 134578447 3221224624 3221223536 134516761 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1226 811 566 18 0 1208 0
[pid=25673] vsize: 4904
Current children cumulated CPU time (s) 1100.24
Current children cumulated vsize (Kb) 4904

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 849 0 0 0 109374 1626 0 0 25 0 1 0 1859984351 5005312 812 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1222 812 566 18 0 1204 0
[pid=25673] vsize: 4888
Current children cumulated CPU time (s) 1110
Current children cumulated vsize (Kb) 4888

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 849 0 0 0 110334 1641 0 0 25 0 1 0 1859984351 5005312 812 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1222 812 566 18 0 1204 0
[pid=25673] vsize: 4888
Current children cumulated CPU time (s) 1119.75
Current children cumulated vsize (Kb) 4888

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 849 0 0 0 111300 1653 0 0 25 0 1 0 1859984351 5005312 812 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1222 812 566 18 0 1204 0
[pid=25673] vsize: 4888
Current children cumulated CPU time (s) 1129.53
Current children cumulated vsize (Kb) 4888

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) T 25672 25673 19316 0 -1 0 859 0 0 0 112270 1663 0 0 25 0 1 0 1859984351 5005312 822 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1222 822 566 18 0 1204 0
[pid=25673] vsize: 4888
Current children cumulated CPU time (s) 1139.33
Current children cumulated vsize (Kb) 4888

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 873 0 0 0 113243 1673 0 0 25 0 1 0 1859984351 5140480 836 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1255 836 566 18 0 1237 0
[pid=25673] vsize: 5020
Current children cumulated CPU time (s) 1149.16
Current children cumulated vsize (Kb) 5020

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 873 0 0 0 114212 1685 0 0 25 0 1 0 1859984351 5058560 836 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1235 836 566 18 0 1217 0
[pid=25673] vsize: 4940
Current children cumulated CPU time (s) 1158.97
Current children cumulated vsize (Kb) 4940

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 873 0 0 0 115184 1694 0 0 25 0 1 0 1859984351 5050368 836 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/25673/statm): 1233 836 566 18 0 1215 0
[pid=25673] vsize: 4932
Current children cumulated CPU time (s) 1168.78
Current children cumulated vsize (Kb) 4932

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 873 0 0 0 116154 1704 0 0 25 0 1 0 1859984351 5050368 836 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1233 836 566 18 0 1215 0
[pid=25673] vsize: 4932
Current children cumulated CPU time (s) 1178.58
Current children cumulated vsize (Kb) 4932

[startup+1220.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 25673
Raw data (/proc/25673/stat): 25673 (Pueblo) R 25672 25673 19316 0 -1 0 873 0 0 0 117118 1717 0 0 25 0 1 0 1859984351 5050368 836 4294967295 134512640 134578447 3221224624 3221223504 134527761 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25673/statm): 1233 836 566 18 0 1215 0
[pid=25673] vsize: 4932
Current children cumulated CPU time (s) 1188.35
Current children cumulated vsize (Kb) 4932
One traced child (pid=25673) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1220.72
CPU time (s): 1189.02
CPU user time (s): 1171.83
CPU system time (s): 17.1834
CPU usage (%): 97.4026
Max. virtual memory (cumulated for all children) (Kb): 5020

Verifier Data

Verifier:	OK	1408128