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-danoint.opb
MD5SUMbf9bbda6f586f0b888182a433f63f010
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 13107200
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 52829966
Number of bits of the biggest sum of numbers26
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9304
Total number of constraints728
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint1
Maximum length of a constraint1000

Trace number 8561

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-20 17:05:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5694 boxname=wulflinc29 idbench=1006 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  bf9bbda6f586f0b888182a433f63f010  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5694
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        622800 kB
Buffers:         41128 kB
Cached:         338496 kB
SwapCached:        768 kB
Active:         236728 kB
Inactive:       145380 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        622548 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5688 kB
Slab:            24164 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 17:25:00 (client local time) WITH STATUS 0 IN 1200.14 SECONDS
stats: 5694 7 1200.14 0

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini

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/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860187503 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 41 3 40 18 0 23 0
[pid=13545] 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.0035 s]
Raw data (loadavg): 0.73 0.91 0.90 2/56 13545
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 1686 0 0 0 992 5 0 0 25 0 1 0 1860187503 8851456 1652 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2161 1652 566 18 0 2143 0
[pid=13545] vsize: 8644
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 8644

[startup+20.0041 s]
Raw data (loadavg): 0.77 0.91 0.90 2/56 13545
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2198 0 0 0 1989 7 0 0 25 0 1 0 1860187503 10960896 2164 4294967295 134512640 134578447 3221224624 3221223456 134527225 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2676 2164 566 18 0 2658 0
[pid=13545] vsize: 10704
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 10704

[startup+30.0049 s]
Raw data (loadavg): 0.81 0.91 0.90 2/56 13545
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2198 0 0 0 2989 7 0 0 25 0 1 0 1860187503 10960896 2164 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2676 2164 566 18 0 2658 0
[pid=13545] vsize: 10704
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 10704

[startup+40.0057 s]
Raw data (loadavg): 0.84 0.92 0.90 2/56 13545
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2241 0 0 0 3988 8 0 0 25 0 1 0 1860187503 11223040 2207 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2740 2207 566 18 0 2722 0
[pid=13545] vsize: 10960
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 10960

[startup+50.0065 s]
Raw data (loadavg): 0.86 0.92 0.90 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2244 0 0 0 4988 8 0 0 25 0 1 0 1860187503 11223040 2210 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2740 2210 566 18 0 2722 0
[pid=13545] vsize: 10960
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 10960

[startup+60.0072 s]
Raw data (loadavg): 0.88 0.92 0.90 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2244 0 0 0 5987 9 0 0 25 0 1 0 1860187503 11223040 2210 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2740 2210 566 18 0 2722 0
[pid=13545] vsize: 10960
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 10960

[startup+70.008 s]
Raw data (loadavg): 0.90 0.92 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2256 0 0 0 6987 9 0 0 25 0 1 0 1860187503 11223040 2222 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2740 2222 566 18 0 2722 0
[pid=13545] vsize: 10960
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 10960

[startup+80.0088 s]
Raw data (loadavg): 0.91 0.92 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2257 0 0 0 7987 9 0 0 25 0 1 0 1860187503 11223040 2223 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2740 2223 566 18 0 2722 0
[pid=13545] vsize: 10960
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 10960

[startup+90.0096 s]
Raw data (loadavg): 0.93 0.93 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2257 0 0 0 8987 9 0 0 25 0 1 0 1860187503 11223040 2223 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2740 2223 566 18 0 2722 0
[pid=13545] vsize: 10960
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 10960

[startup+100.01 s]
Raw data (loadavg): 0.94 0.93 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2269 0 0 0 9986 10 0 0 25 0 1 0 1860187503 11354112 2235 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2235 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 11088

[startup+110.011 s]
Raw data (loadavg): 0.95 0.93 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2269 0 0 0 10986 10 0 0 25 0 1 0 1860187503 11354112 2235 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2235 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 11088

[startup+120.012 s]
Raw data (loadavg): 0.95 0.93 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2269 0 0 0 11985 10 0 0 25 0 1 0 1860187503 11354112 2235 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2235 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 11088

[startup+130.013 s]
Raw data (loadavg): 0.96 0.93 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2269 0 0 0 12985 11 0 0 25 0 1 0 1860187503 11354112 2235 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2235 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 11088

[startup+140.012 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2269 0 0 0 13985 11 0 0 25 0 1 0 1860187503 11354112 2235 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2235 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 11088

[startup+150.014 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2281 0 0 0 14984 11 0 0 25 0 1 0 1860187503 11354112 2247 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2247 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 11088

[startup+160.015 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2281 0 0 0 15984 12 0 0 25 0 1 0 1860187503 11354112 2247 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2247 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 11088

[startup+170.015 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2281 0 0 0 16984 12 0 0 25 0 1 0 1860187503 11354112 2247 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2247 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 11088

[startup+180.016 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2281 0 0 0 17983 12 0 0 25 0 1 0 1860187503 11354112 2247 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2247 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 179.95
Current children cumulated vsize (Kb) 11088

[startup+190.016 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2281 0 0 0 18983 12 0 0 25 0 1 0 1860187503 11354112 2247 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2247 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 11088

[startup+200.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2281 0 0 0 19983 12 0 0 25 0 1 0 1860187503 11354112 2247 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2247 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 11088

[startup+210.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2281 0 0 0 20983 13 0 0 25 0 1 0 1860187503 11354112 2247 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2247 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 209.96
Current children cumulated vsize (Kb) 11088

[startup+220.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2294 0 0 0 21982 13 0 0 25 0 1 0 1860187503 11354112 2260 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2260 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 219.95
Current children cumulated vsize (Kb) 11088

[startup+230.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2294 0 0 0 22982 13 0 0 25 0 1 0 1860187503 11354112 2260 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2260 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 229.95
Current children cumulated vsize (Kb) 11088

[startup+240.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2296 0 0 0 23981 14 0 0 25 0 1 0 1860187503 11354112 2262 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2262 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 239.95
Current children cumulated vsize (Kb) 11088

[startup+250.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2296 0 0 0 24981 14 0 0 25 0 1 0 1860187503 11354112 2262 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13545/statm): 2772 2262 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 249.95
Current children cumulated vsize (Kb) 11088

[startup+260.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2297 0 0 0 25981 14 0 0 25 0 1 0 1860187503 11354112 2263 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2772 2263 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 259.95
Current children cumulated vsize (Kb) 11088

[startup+270.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2297 0 0 0 26981 14 0 0 25 0 1 0 1860187503 11354112 2263 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2772 2263 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 269.95
Current children cumulated vsize (Kb) 11088

[startup+280.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2297 0 0 0 27981 14 0 0 25 0 1 0 1860187503 11354112 2263 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2772 2263 566 18 0 2754 0
[pid=13545] vsize: 11088
Current children cumulated CPU time (s) 279.95
Current children cumulated vsize (Kb) 11088

[startup+290.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2300 0 0 0 28981 15 0 0 25 0 1 0 1860187503 11485184 2266 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2266 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 289.96
Current children cumulated vsize (Kb) 11216

[startup+300.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2300 0 0 0 29981 15 0 0 25 0 1 0 1860187503 11485184 2266 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2266 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 299.96
Current children cumulated vsize (Kb) 11216

[startup+310.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2302 0 0 0 30981 15 0 0 25 0 1 0 1860187503 11485184 2268 4294967295 134512640 134578447 3221224624 3221223504 134528068 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2268 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 309.96
Current children cumulated vsize (Kb) 11216

[startup+320.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2302 0 0 0 31981 15 0 0 25 0 1 0 1860187503 11485184 2268 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2268 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 319.96
Current children cumulated vsize (Kb) 11216

[startup+330.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2302 0 0 0 32981 15 0 0 25 0 1 0 1860187503 11485184 2268 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2268 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 329.96
Current children cumulated vsize (Kb) 11216

[startup+340.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2302 0 0 0 33982 15 0 0 25 0 1 0 1860187503 11485184 2268 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2268 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (Kb) 11216

[startup+350.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2302 0 0 0 34982 15 0 0 25 0 1 0 1860187503 11485184 2268 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2268 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 349.97
Current children cumulated vsize (Kb) 11216

[startup+360.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2305 0 0 0 35982 15 0 0 25 0 1 0 1860187503 11485184 2271 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2271 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 359.97
Current children cumulated vsize (Kb) 11216

[startup+370.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2305 0 0 0 36982 16 0 0 25 0 1 0 1860187503 11485184 2271 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2271 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 369.98
Current children cumulated vsize (Kb) 11216

[startup+380.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2305 0 0 0 37982 16 0 0 25 0 1 0 1860187503 11485184 2271 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2271 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 379.98
Current children cumulated vsize (Kb) 11216

[startup+390.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2320 0 0 0 38982 16 0 0 25 0 1 0 1860187503 11485184 2286 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2286 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 389.98
Current children cumulated vsize (Kb) 11216

[startup+400.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2320 0 0 0 39982 16 0 0 25 0 1 0 1860187503 11485184 2286 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2286 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 11216

[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2320 0 0 0 40981 18 0 0 25 0 1 0 1860187503 11485184 2286 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2286 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 409.99
Current children cumulated vsize (Kb) 11216

[startup+420.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2320 0 0 0 41980 18 0 0 25 0 1 0 1860187503 11485184 2286 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2286 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 419.98
Current children cumulated vsize (Kb) 11216

[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2320 0 0 0 42980 19 0 0 25 0 1 0 1860187503 11485184 2286 4294967295 134512640 134578447 3221224624 3221223412 1075289770 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2286 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 429.99
Current children cumulated vsize (Kb) 11216

[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2320 0 0 0 43980 19 0 0 25 0 1 0 1860187503 11485184 2286 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2286 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 439.99
Current children cumulated vsize (Kb) 11216

[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2320 0 0 0 44979 20 0 0 25 0 1 0 1860187503 11485184 2286 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2286 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 449.99
Current children cumulated vsize (Kb) 11216

[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2320 0 0 0 45980 20 0 0 25 0 1 0 1860187503 11485184 2286 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2286 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 460
Current children cumulated vsize (Kb) 11216

[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2320 0 0 0 46979 20 0 0 25 0 1 0 1860187503 11485184 2286 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2286 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 469.99
Current children cumulated vsize (Kb) 11216

[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2325 0 0 0 47979 21 0 0 25 0 1 0 1860187503 11485184 2291 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2291 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 480
Current children cumulated vsize (Kb) 11216

[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2325 0 0 0 48979 21 0 0 25 0 1 0 1860187503 11485184 2291 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2291 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 490
Current children cumulated vsize (Kb) 11216

[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2325 0 0 0 49979 21 0 0 25 0 1 0 1860187503 11485184 2291 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2291 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 11216

[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2325 0 0 0 50980 21 0 0 25 0 1 0 1860187503 11485184 2291 4294967295 134512640 134578447 3221224624 3221223504 134528057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2291 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 510.01
Current children cumulated vsize (Kb) 11216

[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2325 0 0 0 51979 22 0 0 25 0 1 0 1860187503 11485184 2291 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2291 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 520.01
Current children cumulated vsize (Kb) 11216

[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2325 0 0 0 52980 22 0 0 25 0 1 0 1860187503 11485184 2291 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2291 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 530.02
Current children cumulated vsize (Kb) 11216

[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2325 0 0 0 53980 22 0 0 25 0 1 0 1860187503 11485184 2291 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2291 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 540.02
Current children cumulated vsize (Kb) 11216

[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2330 0 0 0 54979 22 0 0 25 0 1 0 1860187503 11485184 2296 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2296 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 550.01
Current children cumulated vsize (Kb) 11216

[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2330 0 0 0 55980 22 0 0 25 0 1 0 1860187503 11485184 2296 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2296 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 560.02
Current children cumulated vsize (Kb) 11216

[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2330 0 0 0 56980 22 0 0 25 0 1 0 1860187503 11485184 2296 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2804 2296 566 18 0 2786 0
[pid=13545] vsize: 11216
Current children cumulated CPU time (s) 570.02
Current children cumulated vsize (Kb) 11216

[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2351 0 0 0 57980 22 0 0 25 0 1 0 1860187503 11616256 2317 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2836 2317 566 18 0 2818 0
[pid=13545] vsize: 11344
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (Kb) 11344

[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2351 0 0 0 58980 23 0 0 25 0 1 0 1860187503 11616256 2317 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2836 2317 566 18 0 2818 0
[pid=13545] vsize: 11344
Current children cumulated CPU time (s) 590.03
Current children cumulated vsize (Kb) 11344

[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2351 0 0 0 59980 23 0 0 25 0 1 0 1860187503 11616256 2317 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2836 2317 566 18 0 2818 0
[pid=13545] vsize: 11344
Current children cumulated CPU time (s) 600.03
Current children cumulated vsize (Kb) 11344

[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2397 0 0 0 60980 23 0 0 25 0 1 0 1860187503 11878400 2363 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2900 2363 566 18 0 2882 0
[pid=13545] vsize: 11600
Current children cumulated CPU time (s) 610.03
Current children cumulated vsize (Kb) 11600

[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2397 0 0 0 61980 23 0 0 25 0 1 0 1860187503 11878400 2363 4294967295 134512640 134578447 3221224624 3221223504 134528059 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2900 2363 566 18 0 2882 0
[pid=13545] vsize: 11600
Current children cumulated CPU time (s) 620.03
Current children cumulated vsize (Kb) 11600

[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2397 0 0 0 62980 23 0 0 25 0 1 0 1860187503 11878400 2363 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2900 2363 566 18 0 2882 0
[pid=13545] vsize: 11600
Current children cumulated CPU time (s) 630.03
Current children cumulated vsize (Kb) 11600

[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2437 0 0 0 63980 24 0 0 25 0 1 0 1860187503 12009472 2403 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2932 2403 566 18 0 2914 0
[pid=13545] vsize: 11728
Current children cumulated CPU time (s) 640.04
Current children cumulated vsize (Kb) 11728

[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2437 0 0 0 64980 24 0 0 25 0 1 0 1860187503 12009472 2403 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2932 2403 566 18 0 2914 0
[pid=13545] vsize: 11728
Current children cumulated CPU time (s) 650.04
Current children cumulated vsize (Kb) 11728

[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2437 0 0 0 65980 24 0 0 25 0 1 0 1860187503 12009472 2403 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2932 2403 566 18 0 2914 0
[pid=13545] vsize: 11728
Current children cumulated CPU time (s) 660.04
Current children cumulated vsize (Kb) 11728

[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2466 0 0 0 66980 24 0 0 25 0 1 0 1860187503 12140544 2432 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2432 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 670.04
Current children cumulated vsize (Kb) 11856

[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2466 0 0 0 67980 24 0 0 25 0 1 0 1860187503 12140544 2432 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2432 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 680.04
Current children cumulated vsize (Kb) 11856

[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2466 0 0 0 68980 24 0 0 25 0 1 0 1860187503 12140544 2432 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2432 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 690.04
Current children cumulated vsize (Kb) 11856

[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 69980 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 700.05
Current children cumulated vsize (Kb) 11856

[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 70980 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 710.05
Current children cumulated vsize (Kb) 11856

[startup+720.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 71980 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 720.05
Current children cumulated vsize (Kb) 11856

[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 72980 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 730.05
Current children cumulated vsize (Kb) 11856

[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 73981 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 740.06
Current children cumulated vsize (Kb) 11856

[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 74980 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 750.05
Current children cumulated vsize (Kb) 11856

[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 75981 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 760.06
Current children cumulated vsize (Kb) 11856

[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 76980 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 770.05
Current children cumulated vsize (Kb) 11856

[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 77981 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 780.06
Current children cumulated vsize (Kb) 11856

[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2473 0 0 0 78981 25 0 0 25 0 1 0 1860187503 12140544 2439 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2964 2439 566 18 0 2946 0
[pid=13545] vsize: 11856
Current children cumulated CPU time (s) 790.06
Current children cumulated vsize (Kb) 11856

[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2490 0 0 0 79981 26 0 0 25 0 1 0 1860187503 12271616 2456 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2996 2456 566 18 0 2978 0
[pid=13545] vsize: 11984
Current children cumulated CPU time (s) 800.07
Current children cumulated vsize (Kb) 11984

[startup+810.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2490 0 0 0 80981 26 0 0 25 0 1 0 1860187503 12271616 2456 4294967295 134512640 134578447 3221224624 3221223536 134556849 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 2996 2456 566 18 0 2978 0
[pid=13545] vsize: 11984
Current children cumulated CPU time (s) 810.07
Current children cumulated vsize (Kb) 11984

[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2543 0 0 0 81981 26 0 0 25 0 1 0 1860187503 12402688 2509 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3028 2509 566 18 0 3010 0
[pid=13545] vsize: 12112
Current children cumulated CPU time (s) 820.07
Current children cumulated vsize (Kb) 12112

[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2569 0 0 0 82980 27 0 0 25 0 1 0 1860187503 12533760 2535 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3060 2535 566 18 0 3042 0
[pid=13545] vsize: 12240
Current children cumulated CPU time (s) 830.07
Current children cumulated vsize (Kb) 12240

[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2569 0 0 0 83981 27 0 0 25 0 1 0 1860187503 12533760 2535 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3060 2535 566 18 0 3042 0
[pid=13545] vsize: 12240
Current children cumulated CPU time (s) 840.08
Current children cumulated vsize (Kb) 12240

[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2578 0 0 0 84981 27 0 0 25 0 1 0 1860187503 12533760 2544 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3060 2544 566 18 0 3042 0
[pid=13545] vsize: 12240
Current children cumulated CPU time (s) 850.08
Current children cumulated vsize (Kb) 12240

[startup+860.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2578 0 0 0 85981 27 0 0 25 0 1 0 1860187503 12533760 2544 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3060 2544 566 18 0 3042 0
[pid=13545] vsize: 12240
Current children cumulated CPU time (s) 860.08
Current children cumulated vsize (Kb) 12240

[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2578 0 0 0 86981 27 0 0 25 0 1 0 1860187503 12533760 2544 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3060 2544 566 18 0 3042 0
[pid=13545] vsize: 12240
Current children cumulated CPU time (s) 870.08
Current children cumulated vsize (Kb) 12240

[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2691 0 0 0 87981 27 0 0 25 0 1 0 1860187503 13070336 2657 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3191 2657 566 18 0 3173 0
[pid=13545] vsize: 12764
Current children cumulated CPU time (s) 880.08
Current children cumulated vsize (Kb) 12764

[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 2888 0 0 0 88979 28 0 0 25 0 1 0 1860187503 13864960 2854 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3385 2854 566 18 0 3367 0
[pid=13545] vsize: 13540
Current children cumulated CPU time (s) 890.07
Current children cumulated vsize (Kb) 13540

[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3043 0 0 0 89979 29 0 0 25 0 1 0 1860187503 14524416 3009 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3546 3009 566 18 0 3528 0
[pid=13545] vsize: 14184
Current children cumulated CPU time (s) 900.08
Current children cumulated vsize (Kb) 14184

[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3120 0 0 0 90979 29 0 0 25 0 1 0 1860187503 14786560 3086 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3610 3086 566 18 0 3592 0
[pid=13545] vsize: 14440
Current children cumulated CPU time (s) 910.08
Current children cumulated vsize (Kb) 14440

[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3179 0 0 0 91979 30 0 0 25 0 1 0 1860187503 15048704 3145 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3674 3145 566 18 0 3656 0
[pid=13545] vsize: 14696
Current children cumulated CPU time (s) 920.09
Current children cumulated vsize (Kb) 14696

[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3185 0 0 0 92979 30 0 0 25 0 1 0 1860187503 15048704 3151 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3674 3151 566 18 0 3656 0
[pid=13545] vsize: 14696
Current children cumulated CPU time (s) 930.09
Current children cumulated vsize (Kb) 14696

[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3185 0 0 0 93979 30 0 0 25 0 1 0 1860187503 15048704 3151 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3674 3151 566 18 0 3656 0
[pid=13545] vsize: 14696
Current children cumulated CPU time (s) 940.09
Current children cumulated vsize (Kb) 14696

[startup+950.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3185 0 0 0 94979 30 0 0 25 0 1 0 1860187503 15048704 3151 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3674 3151 566 18 0 3656 0
[pid=13545] vsize: 14696
Current children cumulated CPU time (s) 950.09
Current children cumulated vsize (Kb) 14696

[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3185 0 0 0 95979 30 0 0 25 0 1 0 1860187503 15048704 3151 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 3674 3151 566 18 0 3656 0
[pid=13545] vsize: 14696
Current children cumulated CPU time (s) 960.09
Current children cumulated vsize (Kb) 14696

[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3606 0 0 0 96978 31 0 0 25 0 1 0 1860187503 16773120 3572 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4095 3572 566 18 0 4077 0
[pid=13545] vsize: 16380
Current children cumulated CPU time (s) 970.09
Current children cumulated vsize (Kb) 16380

[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3606 0 0 0 97978 31 0 0 25 0 1 0 1860187503 16773120 3572 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4095 3572 566 18 0 4077 0
[pid=13545] vsize: 16380
Current children cumulated CPU time (s) 980.09
Current children cumulated vsize (Kb) 16380

[startup+990.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3606 0 0 0 98978 31 0 0 25 0 1 0 1860187503 16773120 3572 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4095 3572 566 18 0 4077 0
[pid=13545] vsize: 16380
Current children cumulated CPU time (s) 990.09
Current children cumulated vsize (Kb) 16380

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3606 0 0 0 99978 31 0 0 25 0 1 0 1860187503 16773120 3572 4294967295 134512640 134578447 3221224624 3221223504 134528059 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4095 3572 566 18 0 4077 0
[pid=13545] vsize: 16380
Current children cumulated CPU time (s) 1000.09
Current children cumulated vsize (Kb) 16380

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3606 0 0 0 100977 33 0 0 25 0 1 0 1860187503 16773120 3572 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4095 3572 566 18 0 4077 0
[pid=13545] vsize: 16380
Current children cumulated CPU time (s) 1010.1
Current children cumulated vsize (Kb) 16380

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3606 0 0 0 101976 34 0 0 25 0 1 0 1860187503 16674816 3563 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4071 3563 566 18 0 4053 0
[pid=13545] vsize: 16284
Current children cumulated CPU time (s) 1020.1
Current children cumulated vsize (Kb) 16284

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3606 0 0 0 102976 34 0 0 25 0 1 0 1860187503 16674816 3563 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4071 3563 566 18 0 4053 0
[pid=13545] vsize: 16284
Current children cumulated CPU time (s) 1030.1
Current children cumulated vsize (Kb) 16284

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3803 0 0 0 103975 35 0 0 25 0 1 0 1860187503 17600512 3760 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4297 3760 566 18 0 4279 0
[pid=13545] vsize: 17188
Current children cumulated CPU time (s) 1040.1
Current children cumulated vsize (Kb) 17188

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3803 0 0 0 104974 36 0 0 25 0 1 0 1860187503 17600512 3760 4294967295 134512640 134578447 3221224624 3221223340 1075285189 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4297 3760 566 18 0 4279 0
[pid=13545] vsize: 17188
Current children cumulated CPU time (s) 1050.1
Current children cumulated vsize (Kb) 17188

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 3900 0 0 0 105974 36 0 0 25 0 1 0 1860187503 17993728 3857 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4393 3857 566 18 0 4375 0
[pid=13545] vsize: 17572
Current children cumulated CPU time (s) 1060.1
Current children cumulated vsize (Kb) 17572

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4030 0 0 0 106973 37 0 0 25 0 1 0 1860187503 18522112 3987 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4522 3987 566 18 0 4504 0
[pid=13545] vsize: 18088
Current children cumulated CPU time (s) 1070.1
Current children cumulated vsize (Kb) 18088

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4280 0 0 0 107972 38 0 0 25 0 1 0 1860187503 19439616 4237 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4746 4237 566 18 0 4728 0
[pid=13545] vsize: 18984
Current children cumulated CPU time (s) 1080.1
Current children cumulated vsize (Kb) 18984

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 108972 39 0 0 25 0 1 0 1860187503 20103168 4374 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4908 4374 566 18 0 4890 0
[pid=13545] vsize: 19632
Current children cumulated CPU time (s) 1090.11
Current children cumulated vsize (Kb) 19632

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 109972 39 0 0 25 0 1 0 1860187503 20103168 4374 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4908 4374 566 18 0 4890 0
[pid=13545] vsize: 19632
Current children cumulated CPU time (s) 1100.11
Current children cumulated vsize (Kb) 19632

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 110972 39 0 0 25 0 1 0 1860187503 20103168 4374 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4908 4374 566 18 0 4890 0
[pid=13545] vsize: 19632
Current children cumulated CPU time (s) 1110.11
Current children cumulated vsize (Kb) 19632

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 111971 39 0 0 25 0 1 0 1860187503 20103168 4374 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4908 4374 566 18 0 4890 0
[pid=13545] vsize: 19632
Current children cumulated CPU time (s) 1120.1
Current children cumulated vsize (Kb) 19632

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 112972 39 0 0 25 0 1 0 1860187503 20103168 4374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4908 4374 566 18 0 4890 0
[pid=13545] vsize: 19632
Current children cumulated CPU time (s) 1130.11
Current children cumulated vsize (Kb) 19632

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 113972 39 0 0 25 0 1 0 1860187503 20017152 4374 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4887 4374 566 18 0 4869 0
[pid=13545] vsize: 19548
Current children cumulated CPU time (s) 1140.11
Current children cumulated vsize (Kb) 19548

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 114972 40 0 0 25 0 1 0 1860187503 20017152 4374 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4887 4374 566 18 0 4869 0
[pid=13545] vsize: 19548
Current children cumulated CPU time (s) 1150.12
Current children cumulated vsize (Kb) 19548

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 115972 40 0 0 25 0 1 0 1860187503 20017152 4374 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4887 4374 566 18 0 4869 0
[pid=13545] vsize: 19548
Current children cumulated CPU time (s) 1160.12
Current children cumulated vsize (Kb) 19548

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 116972 40 0 0 25 0 1 0 1860187503 20017152 4374 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4887 4374 566 18 0 4869 0
[pid=13545] vsize: 19548
Current children cumulated CPU time (s) 1170.12
Current children cumulated vsize (Kb) 19548

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 117972 40 0 0 25 0 1 0 1860187503 20017152 4374 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4887 4374 566 18 0 4869 0
[pid=13545] vsize: 19548
Current children cumulated CPU time (s) 1180.12
Current children cumulated vsize (Kb) 19548

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 118972 40 0 0 25 0 1 0 1860187503 20017152 4374 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4887 4374 566 18 0 4869 0
[pid=13545] vsize: 19548
Current children cumulated CPU time (s) 1190.12
Current children cumulated vsize (Kb) 19548

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 119972 40 0 0 25 0 1 0 1860187503 20017152 4374 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4887 4374 566 18 0 4869 0
[pid=13545] vsize: 19548
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (Kb) 19548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13547
Raw data (/proc/13545/stat): 13545 (Pueblo) R 13544 13545 19818 0 -1 0 4417 0 0 0 119972 40 0 0 25 0 1 0 1860187503 20017152 4374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13545/statm): 4887 4374 566 18 0 4869 0
[pid=13545] vsize: 19548
Current children cumulated CPU time (s) 1200.12
Current children cumulated vsize (Kb) 19548

Sending SIGTERM to -13545
Sleeping 2 seconds
One traced child (pid=13545) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.14
CPU user time (s): 1199.73
CPU system time (s): 0.415936
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (Kb): 19632

Verifier Data

ERROR: no interpretation found !