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-misc07.opb
MD5SUM54df16ee65da54d5975ffedee80d2bb9
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.03
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 8584

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        824988 kB
Buffers:         32076 kB
Cached:         147720 kB
SwapCached:        744 kB
Active:          71796 kB
Inactive:       110628 kB
HighTotal:      131008 kB
HighFree:         3080 kB
LowTotal:       903652 kB
LowFree:        821908 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            21664 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:28:52 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 5716 0 1189.03 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 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/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801981834 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 41 3 40 18 0 23 0
[pid=15889] 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.0032 s]
Raw data (loadavg): 0.73 0.91 0.90 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 450 0 0 0 909 31 0 0 25 0 1 0 1801981834 3407872 416 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 832 416 566 18 0 814 0
[pid=15889] vsize: 3328
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (Kb) 3328

[startup+20.0041 s]
Raw data (loadavg): 0.77 0.91 0.90 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 487 0 0 0 1838 55 0 0 25 0 1 0 1801981834 3522560 453 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 860 453 566 18 0 842 0
[pid=15889] vsize: 3440
Current children cumulated CPU time (s) 18.93
Current children cumulated vsize (Kb) 3440

[startup+30.0049 s]
Raw data (loadavg): 0.80 0.91 0.90 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 512 0 0 0 2768 77 0 0 25 0 1 0 1801981834 3629056 478 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 886 478 566 18 0 868 0
[pid=15889] vsize: 3544
Current children cumulated CPU time (s) 28.45
Current children cumulated vsize (Kb) 3544

[startup+40.0057 s]
Raw data (loadavg): 0.83 0.92 0.90 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 537 0 0 0 3711 98 0 0 25 0 1 0 1801981834 3743744 503 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 914 503 566 18 0 896 0
[pid=15889] vsize: 3656
Current children cumulated CPU time (s) 38.09
Current children cumulated vsize (Kb) 3656

[startup+50.0065 s]
Raw data (loadavg): 0.86 0.92 0.90 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 553 0 0 0 4660 115 0 0 25 0 1 0 1801981834 3743744 519 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 914 519 566 18 0 896 0
[pid=15889] vsize: 3656
Current children cumulated CPU time (s) 47.75
Current children cumulated vsize (Kb) 3656

[startup+60.0063 s]
Raw data (loadavg): 0.88 0.92 0.90 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 557 0 0 0 5606 133 0 0 25 0 1 0 1801981834 3878912 523 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 947 523 566 18 0 929 0
[pid=15889] vsize: 3788
Current children cumulated CPU time (s) 57.39
Current children cumulated vsize (Kb) 3788

[startup+70.0071 s]
Raw data (loadavg): 0.90 0.92 0.90 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 562 0 0 0 6554 152 0 0 25 0 1 0 1801981834 3854336 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15889/statm): 941 528 566 18 0 923 0
[pid=15889] vsize: 3764
Current children cumulated CPU time (s) 67.06
Current children cumulated vsize (Kb) 3764

[startup+80.008 s]
Raw data (loadavg): 0.91 0.92 0.90 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 574 0 0 0 7500 170 0 0 25 0 1 0 1801981834 3854336 540 4294967295 134512640 134578447 3221224624 3221223456 134528605 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 941 540 566 18 0 923 0
[pid=15889] vsize: 3764
Current children cumulated CPU time (s) 76.7
Current children cumulated vsize (Kb) 3764

[startup+90.0088 s]
Raw data (loadavg): 0.93 0.93 0.90 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 589 0 0 0 8452 188 0 0 25 0 1 0 1801981834 3960832 555 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 967 555 566 18 0 949 0
[pid=15889] vsize: 3868
Current children cumulated CPU time (s) 86.4
Current children cumulated vsize (Kb) 3868

[startup+100.01 s]
Raw data (loadavg): 0.94 0.93 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 597 0 0 0 9407 205 0 0 25 0 1 0 1801981834 3960832 563 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 967 563 566 18 0 949 0
[pid=15889] vsize: 3868
Current children cumulated CPU time (s) 96.12
Current children cumulated vsize (Kb) 3868

[startup+110.009 s]
Raw data (loadavg): 0.95 0.93 0.91 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 597 0 0 0 10363 220 0 0 25 0 1 0 1801981834 3960832 563 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15889/statm): 967 563 566 18 0 949 0
[pid=15889] vsize: 3868
Current children cumulated CPU time (s) 105.83
Current children cumulated vsize (Kb) 3868

[startup+120.01 s]
Raw data (loadavg): 0.95 0.93 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 608 0 0 0 11316 236 0 0 25 0 1 0 1801981834 3960832 574 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 967 574 566 18 0 949 0
[pid=15889] vsize: 3868
Current children cumulated CPU time (s) 115.52
Current children cumulated vsize (Kb) 3868

[startup+130.011 s]
Raw data (loadavg): 0.96 0.93 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 620 0 0 0 12270 251 0 0 25 0 1 0 1801981834 4091904 586 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 999 586 566 18 0 981 0
[pid=15889] vsize: 3996
Current children cumulated CPU time (s) 125.21
Current children cumulated vsize (Kb) 3996

[startup+140.012 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 631 0 0 0 13231 265 0 0 25 0 1 0 1801981834 4091904 597 4294967295 134512640 134578447 3221224624 3221223504 134528036 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 999 597 566 18 0 981 0
[pid=15889] vsize: 3996
Current children cumulated CPU time (s) 134.96
Current children cumulated vsize (Kb) 3996

[startup+150.013 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 646 0 0 0 14189 279 0 0 25 0 1 0 1801981834 4222976 612 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1031 612 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 144.68
Current children cumulated vsize (Kb) 4124

[startup+160.013 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 646 0 0 0 15149 294 0 0 25 0 1 0 1801981834 4222976 612 4294967295 134512640 134578447 3221224624 3221223520 134519742 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1031 612 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 154.43
Current children cumulated vsize (Kb) 4124

[startup+170.013 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 646 0 0 0 16106 310 0 0 25 0 1 0 1801981834 4222976 612 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1031 612 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 164.16
Current children cumulated vsize (Kb) 4124

[startup+180.014 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 646 0 0 0 17060 326 0 0 25 0 1 0 1801981834 4222976 612 4294967295 134512640 134578447 3221224624 3221223280 1075289355 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1031 612 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 173.86
Current children cumulated vsize (Kb) 4124

[startup+190.015 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 646 0 0 0 18015 341 0 0 25 0 1 0 1801981834 4222976 612 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1031 612 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 183.56
Current children cumulated vsize (Kb) 4124

[startup+200.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 646 0 0 0 18954 361 0 0 25 0 1 0 1801981834 4222976 612 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1031 612 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 193.15
Current children cumulated vsize (Kb) 4124

[startup+210.016 s]
Raw data (loadavg): 1.06 0.96 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 658 0 0 0 19914 372 0 0 25 0 1 0 1801981834 4222976 624 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1031 624 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 202.86
Current children cumulated vsize (Kb) 4124

[startup+220.016 s]
Raw data (loadavg): 1.05 0.96 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 658 0 0 0 20874 387 0 0 25 0 1 0 1801981834 4222976 624 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1031 624 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 212.61
Current children cumulated vsize (Kb) 4124

[startup+230.016 s]
Raw data (loadavg): 1.04 0.96 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 660 0 0 0 21832 400 0 0 25 0 1 0 1801981834 4222976 626 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1031 626 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (Kb) 4124

[startup+240.017 s]
Raw data (loadavg): 1.04 0.97 0.91 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 660 0 0 0 22787 415 0 0 25 0 1 0 1801981834 4222976 626 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1031 626 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 232.02
Current children cumulated vsize (Kb) 4124

[startup+250.018 s]
Raw data (loadavg): 1.03 0.97 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 670 0 0 0 23747 427 0 0 25 0 1 0 1801981834 4222976 636 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1031 636 566 18 0 1013 0
[pid=15889] vsize: 4124
Current children cumulated CPU time (s) 241.74
Current children cumulated vsize (Kb) 4124

[startup+260.018 s]
Raw data (loadavg): 1.02 0.97 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 678 0 0 0 24706 442 0 0 25 0 1 0 1801981834 4325376 644 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1056 644 566 18 0 1038 0
[pid=15889] vsize: 4224
Current children cumulated CPU time (s) 251.48
Current children cumulated vsize (Kb) 4224

[startup+270.019 s]
Raw data (loadavg): 1.02 0.97 0.91 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 686 0 0 0 25668 453 0 0 25 0 1 0 1801981834 4325376 652 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1056 652 566 18 0 1038 0
[pid=15889] vsize: 4224
Current children cumulated CPU time (s) 261.21
Current children cumulated vsize (Kb) 4224

[startup+280.018 s]
Raw data (loadavg): 1.02 0.97 0.91 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 686 0 0 0 26624 468 0 0 25 0 1 0 1801981834 4325376 652 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1056 652 566 18 0 1038 0
[pid=15889] vsize: 4224
Current children cumulated CPU time (s) 270.92
Current children cumulated vsize (Kb) 4224

[startup+290.019 s]
Raw data (loadavg): 1.01 0.97 0.91 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 687 0 0 0 27581 482 0 0 25 0 1 0 1801981834 4325376 653 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1056 653 566 18 0 1038 0
[pid=15889] vsize: 4224
Current children cumulated CPU time (s) 280.63
Current children cumulated vsize (Kb) 4224

[startup+300.02 s]
Raw data (loadavg): 1.08 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 696 0 0 0 28512 506 0 0 25 0 1 0 1801981834 4325376 662 4294967295 134512640 134578447 3221224624 3221223424 134528633 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1056 662 566 18 0 1038 0
[pid=15889] vsize: 4224
Current children cumulated CPU time (s) 290.18
Current children cumulated vsize (Kb) 4224

[startup+310.02 s]
Raw data (loadavg): 1.07 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 696 0 0 0 29473 520 0 0 25 0 1 0 1801981834 4325376 662 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1056 662 566 18 0 1038 0
[pid=15889] vsize: 4224
Current children cumulated CPU time (s) 299.93
Current children cumulated vsize (Kb) 4224

[startup+320.021 s]
Raw data (loadavg): 1.06 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 696 0 0 0 30433 532 0 0 25 0 1 0 1801981834 4325376 662 4294967295 134512640 134578447 3221224624 3221223504 134527438 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1056 662 566 18 0 1038 0
[pid=15889] vsize: 4224
Current children cumulated CPU time (s) 309.65
Current children cumulated vsize (Kb) 4224

[startup+330.021 s]
Raw data (loadavg): 1.05 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 703 0 0 0 31398 545 0 0 25 0 1 0 1801981834 4423680 669 4294967295 134512640 134578447 3221224624 3221223504 134531689 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1080 669 566 18 0 1062 0
[pid=15889] vsize: 4320
Current children cumulated CPU time (s) 319.43
Current children cumulated vsize (Kb) 4320

[startup+340.022 s]
Raw data (loadavg): 1.04 0.99 0.92 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 706 0 0 0 32358 559 0 0 25 0 1 0 1801981834 4423680 672 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1080 672 566 18 0 1062 0
[pid=15889] vsize: 4320
Current children cumulated CPU time (s) 329.17
Current children cumulated vsize (Kb) 4320

[startup+350.023 s]
Raw data (loadavg): 1.04 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 706 0 0 0 33320 572 0 0 25 0 1 0 1801981834 4423680 672 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1080 672 566 18 0 1062 0
[pid=15889] vsize: 4320
Current children cumulated CPU time (s) 338.92
Current children cumulated vsize (Kb) 4320

[startup+360.023 s]
Raw data (loadavg): 1.03 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 706 0 0 0 34282 585 0 0 25 0 1 0 1801981834 4423680 672 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1080 672 566 18 0 1062 0
[pid=15889] vsize: 4320
Current children cumulated CPU time (s) 348.67
Current children cumulated vsize (Kb) 4320

[startup+370.025 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 706 0 0 0 35243 598 0 0 25 0 1 0 1801981834 4423680 672 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1080 672 566 18 0 1062 0
[pid=15889] vsize: 4320
Current children cumulated CPU time (s) 358.41
Current children cumulated vsize (Kb) 4320

[startup+380.025 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 706 0 0 0 36207 611 0 0 25 0 1 0 1801981834 4423680 672 4294967295 134512640 134578447 3221224624 3221223072 1075288782 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1080 672 566 18 0 1062 0
[pid=15889] vsize: 4320
Current children cumulated CPU time (s) 368.18
Current children cumulated vsize (Kb) 4320

[startup+390.025 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 721 0 0 0 37158 627 0 0 25 0 1 0 1801981834 4423680 687 4294967295 134512640 134578447 3221224624 3221223280 1075288837 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1080 687 566 18 0 1062 0
[pid=15889] vsize: 4320
Current children cumulated CPU time (s) 377.85
Current children cumulated vsize (Kb) 4320

[startup+400.026 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 723 0 0 0 38122 639 0 0 25 0 1 0 1801981834 4521984 689 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1104 689 566 18 0 1086 0
[pid=15889] vsize: 4416
Current children cumulated CPU time (s) 387.61
Current children cumulated vsize (Kb) 4416

[startup+410.026 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 723 0 0 0 39079 654 0 0 17 0 1 0 1801981834 4521984 689 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1104 689 566 18 0 1086 0
[pid=15889] vsize: 4416
Current children cumulated CPU time (s) 397.33
Current children cumulated vsize (Kb) 4416

[startup+420.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 723 0 0 0 40044 665 0 0 25 0 1 0 1801981834 4521984 689 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1104 689 566 18 0 1086 0
[pid=15889] vsize: 4416
Current children cumulated CPU time (s) 407.09
Current children cumulated vsize (Kb) 4416

[startup+430.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 727 0 0 0 41008 678 0 0 25 0 1 0 1801981834 4521984 693 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1104 693 566 18 0 1086 0
[pid=15889] vsize: 4416
Current children cumulated CPU time (s) 416.86
Current children cumulated vsize (Kb) 4416

[startup+440.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 727 0 0 0 41968 690 0 0 25 0 1 0 1801981834 4521984 693 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1104 693 566 18 0 1086 0
[pid=15889] vsize: 4416
Current children cumulated CPU time (s) 426.58
Current children cumulated vsize (Kb) 4416

[startup+450.028 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 727 0 0 0 42929 705 0 0 25 0 1 0 1801981834 4521984 693 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1104 693 566 18 0 1086 0
[pid=15889] vsize: 4416
Current children cumulated CPU time (s) 436.34
Current children cumulated vsize (Kb) 4416

[startup+460.028 s]
Raw data (loadavg): 1.08 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 727 0 0 0 43885 721 0 0 25 0 1 0 1801981834 4521984 693 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1104 693 566 18 0 1086 0
[pid=15889] vsize: 4416
Current children cumulated CPU time (s) 446.06
Current children cumulated vsize (Kb) 4416

[startup+470.029 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 727 0 0 0 44834 740 0 0 25 0 1 0 1801981834 4521984 693 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1104 693 566 18 0 1086 0
[pid=15889] vsize: 4416
Current children cumulated CPU time (s) 455.74
Current children cumulated vsize (Kb) 4416

[startup+480.029 s]
Raw data (loadavg): 1.06 1.00 0.93 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 750 0 0 0 45791 755 0 0 25 0 1 0 1801981834 4542464 716 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1109 716 566 18 0 1091 0
[pid=15889] vsize: 4436
Current children cumulated CPU time (s) 465.46
Current children cumulated vsize (Kb) 4436

[startup+490.03 s]
Raw data (loadavg): 1.05 1.00 0.93 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 750 0 0 0 46748 771 0 0 25 0 1 0 1801981834 4542464 716 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1109 716 566 18 0 1091 0
[pid=15889] vsize: 4436
Current children cumulated CPU time (s) 475.19
Current children cumulated vsize (Kb) 4436

[startup+500.03 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 751 0 0 0 47708 785 0 0 25 0 1 0 1801981834 4677632 717 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1142 717 566 18 0 1124 0
[pid=15889] vsize: 4568
Current children cumulated CPU time (s) 484.93
Current children cumulated vsize (Kb) 4568

[startup+510.03 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 757 0 0 0 48673 798 0 0 25 0 1 0 1801981834 4657152 723 4294967295 134512640 134578447 3221224624 3221223456 134526993 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1137 723 566 18 0 1119 0
[pid=15889] vsize: 4548
Current children cumulated CPU time (s) 494.71
Current children cumulated vsize (Kb) 4548

[startup+520.031 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 757 0 0 0 49641 810 0 0 25 0 1 0 1801981834 4648960 723 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1135 723 566 18 0 1117 0
[pid=15889] vsize: 4540
Current children cumulated CPU time (s) 504.51
Current children cumulated vsize (Kb) 4540

[startup+530.032 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 759 0 0 0 50602 822 0 0 25 0 1 0 1801981834 4648960 725 4294967295 134512640 134578447 3221224624 3221223536 134556784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1135 725 566 18 0 1117 0
[pid=15889] vsize: 4540
Current children cumulated CPU time (s) 514.24
Current children cumulated vsize (Kb) 4540

[startup+540.033 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 759 0 0 0 51569 834 0 0 25 0 1 0 1801981834 4648960 725 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1135 725 566 18 0 1117 0
[pid=15889] vsize: 4540
Current children cumulated CPU time (s) 524.03
Current children cumulated vsize (Kb) 4540

[startup+550.033 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 778 0 0 0 52532 847 0 0 25 0 1 0 1801981834 4689920 744 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1145 744 566 18 0 1127 0
[pid=15889] vsize: 4580
Current children cumulated CPU time (s) 533.79
Current children cumulated vsize (Kb) 4580

[startup+560.033 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 778 0 0 0 53493 862 0 0 25 0 1 0 1801981834 4689920 744 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1145 744 566 18 0 1127 0
[pid=15889] vsize: 4580
Current children cumulated CPU time (s) 543.55
Current children cumulated vsize (Kb) 4580

[startup+570.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 787 0 0 0 54461 875 0 0 25 0 1 0 1801981834 4808704 753 4294967295 134512640 134578447 3221224624 3221223504 134527875 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1174 753 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 553.36
Current children cumulated vsize (Kb) 4696

[startup+580.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 55426 886 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 563.12
Current children cumulated vsize (Kb) 4696

[startup+590.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 56392 898 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 572.9
Current children cumulated vsize (Kb) 4696

[startup+600.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 57352 912 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223476 134555711 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 582.64
Current children cumulated vsize (Kb) 4696

[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 800 0 0 0 58313 925 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 592.38
Current children cumulated vsize (Kb) 4696

[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 59270 939 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527770 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 602.09
Current children cumulated vsize (Kb) 4696

[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 60239 949 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 611.88
Current children cumulated vsize (Kb) 4696

[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 61207 961 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 621.68
Current children cumulated vsize (Kb) 4696

[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 62167 974 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 631.41
Current children cumulated vsize (Kb) 4696

[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 63124 991 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 641.15
Current children cumulated vsize (Kb) 4696

[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 64081 1006 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 650.87
Current children cumulated vsize (Kb) 4696

[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 65044 1018 0 0 18 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 660.62
Current children cumulated vsize (Kb) 4696

[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 66007 1030 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 670.37
Current children cumulated vsize (Kb) 4696

[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 66970 1043 0 0 25 0 1 0 1801981834 4808704 766 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1174 766 566 18 0 1156 0
[pid=15889] vsize: 4696
Current children cumulated CPU time (s) 680.13
Current children cumulated vsize (Kb) 4696

[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 67936 1056 0 0 25 0 1 0 1801981834 4800512 766 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1172 766 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 689.92
Current children cumulated vsize (Kb) 4688

[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 68903 1067 0 0 25 0 1 0 1801981834 4800512 766 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1172 766 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 699.7
Current children cumulated vsize (Kb) 4688

[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 69865 1079 0 0 25 0 1 0 1801981834 4800512 766 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1172 766 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 709.44
Current children cumulated vsize (Kb) 4688

[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 70830 1091 0 0 25 0 1 0 1801981834 4800512 766 4294967295 134512640 134578447 3221224624 3221222976 134532540 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1172 766 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 719.21
Current children cumulated vsize (Kb) 4688

[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 71793 1102 0 0 25 0 1 0 1801981834 4800512 766 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1172 766 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 728.95
Current children cumulated vsize (Kb) 4688

[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 72760 1113 0 0 25 0 1 0 1801981834 4800512 766 4294967295 134512640 134578447 3221224624 3221223504 134527460 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1172 766 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 738.73
Current children cumulated vsize (Kb) 4688

[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 800 0 0 0 73724 1126 0 0 25 0 1 0 1801981834 4800512 766 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1172 766 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 748.5
Current children cumulated vsize (Kb) 4688

[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 74690 1139 0 0 25 0 1 0 1801981834 4800512 766 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1172 766 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 758.29
Current children cumulated vsize (Kb) 4688

[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 800 0 0 0 75649 1152 0 0 25 0 1 0 1801981834 4800512 766 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1172 766 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 768.01
Current children cumulated vsize (Kb) 4688

[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 802 0 0 0 76616 1164 0 0 25 0 1 0 1801981834 4800512 768 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1172 768 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 777.8
Current children cumulated vsize (Kb) 4688

[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 812 0 0 0 77580 1177 0 0 25 0 1 0 1801981834 4800512 778 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1172 778 566 18 0 1154 0
[pid=15889] vsize: 4688
Current children cumulated CPU time (s) 787.57
Current children cumulated vsize (Kb) 4688

[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 818 0 0 0 78541 1191 0 0 25 0 1 0 1801981834 4886528 784 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 784 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 797.32
Current children cumulated vsize (Kb) 4772

[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 818 0 0 0 79507 1202 0 0 25 0 1 0 1801981834 4886528 784 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1193 784 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 807.09
Current children cumulated vsize (Kb) 4772

[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 818 0 0 0 80468 1214 0 0 25 0 1 0 1801981834 4886528 784 4294967295 134512640 134578447 3221224624 3221223492 134528140 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 784 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 816.82
Current children cumulated vsize (Kb) 4772

[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 818 0 0 0 81431 1225 0 0 25 0 1 0 1801981834 4886528 784 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 784 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 826.56
Current children cumulated vsize (Kb) 4772

[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 818 0 0 0 82390 1240 0 0 25 0 1 0 1801981834 4886528 784 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1193 784 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 836.3
Current children cumulated vsize (Kb) 4772

[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 837 0 0 0 83353 1254 0 0 25 0 1 0 1801981834 5021696 803 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1226 803 566 18 0 1208 0
[pid=15889] vsize: 4904
Current children cumulated CPU time (s) 846.07
Current children cumulated vsize (Kb) 4904

[startup+880.048 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 84297 1274 0 0 25 0 1 0 1801981834 5017600 803 4294967295 134512640 134578447 3221224624 3221223476 134555838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1225 803 566 18 0 1207 0
[pid=15889] vsize: 4900
Current children cumulated CPU time (s) 855.71
Current children cumulated vsize (Kb) 4900

[startup+890.048 s]
Raw data (loadavg): 1.06 1.02 0.93 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 837 0 0 0 85255 1287 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 865.42
Current children cumulated vsize (Kb) 4772

[startup+900.049 s]
Raw data (loadavg): 1.13 1.03 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 86217 1300 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 875.17
Current children cumulated vsize (Kb) 4772

[startup+910.049 s]
Raw data (loadavg): 1.11 1.03 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 87177 1314 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221222688 134532461 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 884.91
Current children cumulated vsize (Kb) 4772

[startup+920.05 s]
Raw data (loadavg): 1.09 1.03 0.94 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 837 0 0 0 88143 1326 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 894.69
Current children cumulated vsize (Kb) 4772

[startup+930.05 s]
Raw data (loadavg): 1.08 1.03 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 89109 1339 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 904.48
Current children cumulated vsize (Kb) 4772

[startup+940.05 s]
Raw data (loadavg): 1.07 1.03 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 90073 1351 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223668 134558972 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 914.24
Current children cumulated vsize (Kb) 4772

[startup+950.051 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 91038 1363 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 924.01
Current children cumulated vsize (Kb) 4772

[startup+960.051 s]
Raw data (loadavg): 1.05 1.02 0.94 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 837 0 0 0 92008 1374 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 933.82
Current children cumulated vsize (Kb) 4772

[startup+970.052 s]
Raw data (loadavg): 1.04 1.02 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 92967 1389 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 943.56
Current children cumulated vsize (Kb) 4772

[startup+980.052 s]
Raw data (loadavg): 1.03 1.02 0.94 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 837 0 0 0 93933 1401 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 953.34
Current children cumulated vsize (Kb) 4772

[startup+990.053 s]
Raw data (loadavg): 1.03 1.02 0.94 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 837 0 0 0 94884 1418 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 963.02
Current children cumulated vsize (Kb) 4772

[startup+1000.05 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 95849 1431 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 972.8
Current children cumulated vsize (Kb) 4772

[startup+1010.05 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 96818 1440 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 982.58
Current children cumulated vsize (Kb) 4772

[startup+1020.05 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 97788 1451 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 992.39
Current children cumulated vsize (Kb) 4772

[startup+1030.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 98759 1461 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1002.2
Current children cumulated vsize (Kb) 4772

[startup+1040.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 99727 1474 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1012.01
Current children cumulated vsize (Kb) 4772

[startup+1050.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 100699 1483 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1021.82
Current children cumulated vsize (Kb) 4772

[startup+1060.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 101670 1495 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1031.65
Current children cumulated vsize (Kb) 4772

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 102636 1505 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1041.41
Current children cumulated vsize (Kb) 4772

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 103606 1516 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527438 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1051.22
Current children cumulated vsize (Kb) 4772

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 104576 1526 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1061.02
Current children cumulated vsize (Kb) 4772

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 105546 1535 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1070.81
Current children cumulated vsize (Kb) 4772

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 837 0 0 0 106515 1546 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1080.61
Current children cumulated vsize (Kb) 4772

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 837 0 0 0 107485 1557 0 0 25 0 1 0 1801981834 4886528 800 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1193 800 566 18 0 1175 0
[pid=15889] vsize: 4772
Current children cumulated CPU time (s) 1090.42
Current children cumulated vsize (Kb) 4772

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 841 0 0 0 108446 1569 0 0 25 0 1 0 1801981834 5021696 804 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1226 804 566 18 0 1208 0
[pid=15889] vsize: 4904
Current children cumulated CPU time (s) 1100.15
Current children cumulated vsize (Kb) 4904

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 849 0 0 0 109415 1579 0 0 25 0 1 0 1801981834 5005312 812 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1222 812 566 18 0 1204 0
[pid=15889] vsize: 4888
Current children cumulated CPU time (s) 1109.94
Current children cumulated vsize (Kb) 4888

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 849 0 0 0 110379 1592 0 0 25 0 1 0 1801981834 5005312 812 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1222 812 566 18 0 1204 0
[pid=15889] vsize: 4888
Current children cumulated CPU time (s) 1119.71
Current children cumulated vsize (Kb) 4888

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 849 0 0 0 111345 1605 0 0 25 0 1 0 1801981834 5005312 812 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1222 812 566 18 0 1204 0
[pid=15889] vsize: 4888
Current children cumulated CPU time (s) 1129.5
Current children cumulated vsize (Kb) 4888

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 859 0 0 0 112315 1615 0 0 25 0 1 0 1801981834 5005312 822 4294967295 134512640 134578447 3221224624 3221223472 134520160 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1222 822 566 18 0 1204 0
[pid=15889] vsize: 4888
Current children cumulated CPU time (s) 1139.3
Current children cumulated vsize (Kb) 4888

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 873 0 0 0 113286 1626 0 0 25 0 1 0 1801981834 5140480 836 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1255 836 566 18 0 1237 0
[pid=15889] vsize: 5020
Current children cumulated CPU time (s) 1149.12
Current children cumulated vsize (Kb) 5020

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 873 0 0 0 114250 1639 0 0 25 0 1 0 1801981834 5058560 836 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1235 836 566 18 0 1217 0
[pid=15889] vsize: 4940
Current children cumulated CPU time (s) 1158.89
Current children cumulated vsize (Kb) 4940

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 873 0 0 0 115220 1650 0 0 25 0 1 0 1801981834 5050368 836 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1233 836 566 18 0 1215 0
[pid=15889] vsize: 4932
Current children cumulated CPU time (s) 1168.7
Current children cumulated vsize (Kb) 4932

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) R 15888 15889 31778 0 -1 0 873 0 0 0 116188 1660 0 0 25 0 1 0 1801981834 5050368 836 4294967295 134512640 134578447 3221224624 3221223476 134555711 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15889/statm): 1233 836 566 18 0 1215 0
[pid=15889] vsize: 4932
Current children cumulated CPU time (s) 1178.48
Current children cumulated vsize (Kb) 4932

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 15889
Raw data (/proc/15889/stat): 15889 (Pueblo) T 15888 15889 31778 0 -1 0 873 0 0 0 117156 1671 0 0 25 0 1 0 1801981834 5050368 836 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/15889/statm): 1233 836 566 18 0 1215 0
[pid=15889] vsize: 4932
Current children cumulated CPU time (s) 1188.27
Current children cumulated vsize (Kb) 4932
One traced child (pid=15889) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1220.82
CPU time (s): 1189.03
CPU user time (s): 1172.3
CPU system time (s): 16.7235
CPU usage (%): 97.3955
Max. virtual memory (cumulated for all children) (Kb): 5020

Verifier Data

Verifier:	OK	1408128