Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM1b379137169731592d0d61cac8bf57af
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5123480
Optimality of the best value was proved NO
Number of terms in the objective function 8282
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 524133752
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 524133752
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.32
Number of variables9890
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1072

Trace number 8450

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-20 16:24:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5583 boxname=wulflinc26 idbench=895 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  1b379137169731592d0d61cac8bf57af  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5583
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        803300 kB
Buffers:         34544 kB
Cached:         167772 kB
SwapCached:        868 kB
Active:          89148 kB
Inactive:       115844 kB
HighTotal:      131008 kB
HighFree:         1540 kB
LowTotal:       903652 kB
LowFree:        801760 kB
SwapTotal:     2097892 kB
SwapFree:      2096540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            20716 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:44:27 (client local time) WITH STATUS 0 IN 1200.1 SECONDS
stats: 5583 7 1200.1 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/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859965589 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 41 3 40 18 0 23 0
[pid=31806] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0026 s]
Raw data (loadavg): 0.58 0.82 0.86 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 2315 0 0 0 991 6 0 0 25 0 1 0 1859965589 11382784 2281 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 2779 2281 566 18 0 2761 0
[pid=31806] vsize: 11116
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 11116

[startup+20.0033 s]
Raw data (loadavg): 0.64 0.82 0.86 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 2401 0 0 0 1990 6 0 0 25 0 1 0 1859965589 11776000 2367 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 2875 2367 566 18 0 2857 0
[pid=31806] vsize: 11500
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 11500

[startup+30.004 s]
Raw data (loadavg): 0.70 0.83 0.86 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 2523 0 0 0 2990 6 0 0 25 0 1 0 1859965589 12292096 2489 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 3001 2489 566 18 0 2983 0
[pid=31806] vsize: 12004
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 12004

[startup+40.0047 s]
Raw data (loadavg): 0.74 0.83 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 3269 0 0 0 3987 8 0 0 25 0 1 0 1859965589 15278080 3235 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 3730 3235 566 18 0 3712 0
[pid=31806] vsize: 14920
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 14920

[startup+50.0054 s]
Raw data (loadavg): 0.78 0.84 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 3455 0 0 0 4986 9 0 0 25 0 1 0 1859965589 16060416 3421 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 3921 3421 566 18 0 3903 0
[pid=31806] vsize: 15684
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 15684

[startup+60.0061 s]
Raw data (loadavg): 0.82 0.84 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 5984 11 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528048 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 18480

[startup+70.0067 s]
Raw data (loadavg): 0.84 0.85 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 6983 11 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223280 1075288331 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 18480

[startup+80.0074 s]
Raw data (loadavg): 0.87 0.85 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 7983 11 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 18480

[startup+90.0081 s]
Raw data (loadavg): 0.89 0.86 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 8983 12 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 18480

[startup+100.009 s]
Raw data (loadavg): 0.90 0.86 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 9982 12 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 18480

[startup+110.009 s]
Raw data (loadavg): 0.92 0.86 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 10982 12 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 109.94
Current children cumulated vsize (Kb) 18480

[startup+120.01 s]
Raw data (loadavg): 0.93 0.87 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 11981 13 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 119.94
Current children cumulated vsize (Kb) 18480

[startup+130.01 s]
Raw data (loadavg): 0.94 0.87 0.87 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 12981 13 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 129.94
Current children cumulated vsize (Kb) 18480

[startup+140.011 s]
Raw data (loadavg): 0.95 0.88 0.88 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 13980 14 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 18480

[startup+150.011 s]
Raw data (loadavg): 0.96 0.88 0.88 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 14980 14 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 18480

[startup+160.011 s]
Raw data (loadavg): 0.96 0.88 0.88 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 15979 14 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 159.93
Current children cumulated vsize (Kb) 18480

[startup+170.012 s]
Raw data (loadavg): 0.97 0.89 0.88 3/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 16979 15 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 18480

[startup+180.013 s]
Raw data (loadavg): 0.97 0.89 0.88 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 17978 15 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527881 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 179.93
Current children cumulated vsize (Kb) 18480

[startup+190.014 s]
Raw data (loadavg): 0.98 0.89 0.88 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 18978 15 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 189.93
Current children cumulated vsize (Kb) 18480

[startup+200.015 s]
Raw data (loadavg): 0.98 0.90 0.88 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 19978 15 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 199.93
Current children cumulated vsize (Kb) 18480

[startup+210.014 s]
Raw data (loadavg): 0.98 0.90 0.88 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 20978 16 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 209.94
Current children cumulated vsize (Kb) 18480

[startup+220.015 s]
Raw data (loadavg): 0.98 0.90 0.88 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 21977 16 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 219.93
Current children cumulated vsize (Kb) 18480

[startup+230.016 s]
Raw data (loadavg): 0.99 0.90 0.88 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 22977 17 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 229.94
Current children cumulated vsize (Kb) 18480

[startup+240.017 s]
Raw data (loadavg): 0.99 0.91 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 23976 17 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 239.93
Current children cumulated vsize (Kb) 18480

[startup+250.018 s]
Raw data (loadavg): 0.99 0.91 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 24976 17 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 249.93
Current children cumulated vsize (Kb) 18480

[startup+260.019 s]
Raw data (loadavg): 0.99 0.91 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 25975 17 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223564 134527396 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 259.92
Current children cumulated vsize (Kb) 18480

[startup+270.019 s]
Raw data (loadavg): 0.99 0.91 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 26975 18 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 269.93
Current children cumulated vsize (Kb) 18480

[startup+280.019 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 27974 18 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (Kb) 18480

[startup+290.02 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 28974 18 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 289.92
Current children cumulated vsize (Kb) 18480

[startup+300.02 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 29974 19 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 299.93
Current children cumulated vsize (Kb) 18480

[startup+310.02 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 30973 19 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223508 1075285501 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 309.92
Current children cumulated vsize (Kb) 18480

[startup+320.021 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 31973 19 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 319.92
Current children cumulated vsize (Kb) 18480

[startup+330.022 s]
Raw data (loadavg): 0.99 0.93 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 32973 19 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 329.92
Current children cumulated vsize (Kb) 18480

[startup+340.022 s]
Raw data (loadavg): 0.99 0.93 0.89 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 33972 20 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 339.92
Current children cumulated vsize (Kb) 18480

[startup+350.023 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 34972 20 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 349.92
Current children cumulated vsize (Kb) 18480

[startup+360.024 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 35972 20 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 359.92
Current children cumulated vsize (Kb) 18480

[startup+370.024 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 36971 21 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 369.92
Current children cumulated vsize (Kb) 18480

[startup+380.024 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 37971 22 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 379.93
Current children cumulated vsize (Kb) 18480

[startup+390.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 38970 22 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 389.92
Current children cumulated vsize (Kb) 18480

[startup+400.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 39970 23 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 399.93
Current children cumulated vsize (Kb) 18480

[startup+410.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 40969 23 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 409.92
Current children cumulated vsize (Kb) 18480

[startup+420.026 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 41969 24 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 419.93
Current children cumulated vsize (Kb) 18480

[startup+430.026 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 42969 24 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 429.93
Current children cumulated vsize (Kb) 18480

[startup+440.027 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 43969 24 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 439.93
Current children cumulated vsize (Kb) 18480

[startup+450.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 44969 24 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134527244 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 449.93
Current children cumulated vsize (Kb) 18480

[startup+460.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 45969 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 459.94
Current children cumulated vsize (Kb) 18480

[startup+470.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 46969 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 469.94
Current children cumulated vsize (Kb) 18480

[startup+480.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 47969 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 479.94
Current children cumulated vsize (Kb) 18480

[startup+490.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 48970 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 489.95
Current children cumulated vsize (Kb) 18480

[startup+500.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 49970 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 499.95
Current children cumulated vsize (Kb) 18480

[startup+510.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 50970 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 509.95
Current children cumulated vsize (Kb) 18480

[startup+520.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 51970 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 519.95
Current children cumulated vsize (Kb) 18480

[startup+530.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 52970 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 529.95
Current children cumulated vsize (Kb) 18480

[startup+540.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 53970 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 539.95
Current children cumulated vsize (Kb) 18480

[startup+550.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 54970 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 549.95
Current children cumulated vsize (Kb) 18480

[startup+560.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 55971 25 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 559.96
Current children cumulated vsize (Kb) 18480

[startup+570.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 56970 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 569.96
Current children cumulated vsize (Kb) 18480

[startup+580.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 57971 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 579.97
Current children cumulated vsize (Kb) 18480

[startup+590.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 58971 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 589.97
Current children cumulated vsize (Kb) 18480

[startup+600.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 59971 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 599.97
Current children cumulated vsize (Kb) 18480

[startup+610.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 60971 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 609.97
Current children cumulated vsize (Kb) 18480

[startup+620.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 61971 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 619.97
Current children cumulated vsize (Kb) 18480

[startup+630.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 62972 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528460 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 629.98
Current children cumulated vsize (Kb) 18480

[startup+640.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 63971 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 639.97
Current children cumulated vsize (Kb) 18480

[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 64972 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 649.98
Current children cumulated vsize (Kb) 18480

[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 65972 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223520 134519887 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 659.98
Current children cumulated vsize (Kb) 18480

[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 66972 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 669.98
Current children cumulated vsize (Kb) 18480

[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 67972 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223536 134556778 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 679.98
Current children cumulated vsize (Kb) 18480

[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 68972 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 689.98
Current children cumulated vsize (Kb) 18480

[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 69973 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 699.99
Current children cumulated vsize (Kb) 18480

[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 70972 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 709.98
Current children cumulated vsize (Kb) 18480

[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 71973 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 719.99
Current children cumulated vsize (Kb) 18480

[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 72973 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 729.99
Current children cumulated vsize (Kb) 18480

[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 73973 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527788 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 739.99
Current children cumulated vsize (Kb) 18480

[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 74973 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 749.99
Current children cumulated vsize (Kb) 18480

[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 75973 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 759.99
Current children cumulated vsize (Kb) 18480

[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 76974 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 770
Current children cumulated vsize (Kb) 18480

[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 77974 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 780
Current children cumulated vsize (Kb) 18480

[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 78974 26 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 790
Current children cumulated vsize (Kb) 18480

[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 79974 27 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 800.01
Current children cumulated vsize (Kb) 18480

[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 80974 27 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 810.01
Current children cumulated vsize (Kb) 18480

[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 81974 27 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 820.01
Current children cumulated vsize (Kb) 18480

[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 82973 28 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223536 134557627 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 830.01
Current children cumulated vsize (Kb) 18480

[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 83972 29 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 840.01
Current children cumulated vsize (Kb) 18480

[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 84972 29 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 850.01
Current children cumulated vsize (Kb) 18480

[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 85972 30 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 860.02
Current children cumulated vsize (Kb) 18480

[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 86972 30 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 870.02
Current children cumulated vsize (Kb) 18480

[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 87972 30 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 880.02
Current children cumulated vsize (Kb) 18480

[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 88972 30 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 890.02
Current children cumulated vsize (Kb) 18480

[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 89972 30 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 900.02
Current children cumulated vsize (Kb) 18480

[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 90972 31 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 910.03
Current children cumulated vsize (Kb) 18480

[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 91972 31 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527764 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 920.03
Current children cumulated vsize (Kb) 18480

[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 92972 31 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 930.03
Current children cumulated vsize (Kb) 18480

[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 93972 31 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 940.03
Current children cumulated vsize (Kb) 18480

[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 94972 31 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 950.03
Current children cumulated vsize (Kb) 18480

[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 95972 31 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 960.03
Current children cumulated vsize (Kb) 18480

[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 96972 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 970.04
Current children cumulated vsize (Kb) 18480

[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 97972 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 980.04
Current children cumulated vsize (Kb) 18480

[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 98972 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528460 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 990.04
Current children cumulated vsize (Kb) 18480

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 99973 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1000.05
Current children cumulated vsize (Kb) 18480

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 100972 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1010.04
Current children cumulated vsize (Kb) 18480

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 101973 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1020.05
Current children cumulated vsize (Kb) 18480

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 102973 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1030.05
Current children cumulated vsize (Kb) 18480

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 103973 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1040.05
Current children cumulated vsize (Kb) 18480

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 104973 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528439 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1050.05
Current children cumulated vsize (Kb) 18480

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 105973 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223412 1075289805 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1060.05
Current children cumulated vsize (Kb) 18480

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 106973 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1070.05
Current children cumulated vsize (Kb) 18480

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 107973 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1080.05
Current children cumulated vsize (Kb) 18480

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 108973 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1090.05
Current children cumulated vsize (Kb) 18480

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 109974 32 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1100.06
Current children cumulated vsize (Kb) 18480

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 110973 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1110.06
Current children cumulated vsize (Kb) 18480

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 111974 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1120.07
Current children cumulated vsize (Kb) 18480

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 112974 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1130.07
Current children cumulated vsize (Kb) 18480

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 113974 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1140.07
Current children cumulated vsize (Kb) 18480

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 114974 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1150.07
Current children cumulated vsize (Kb) 18480

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 115974 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1160.07
Current children cumulated vsize (Kb) 18480

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 116974 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1170.07
Current children cumulated vsize (Kb) 18480

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 117974 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1180.07
Current children cumulated vsize (Kb) 18480

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 118975 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1190.08
Current children cumulated vsize (Kb) 18480

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 119975 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223440 134527291 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (Kb) 18480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 31806
Raw data (/proc/31806/stat): 31806 (Pueblo) R 31805 31806 16528 0 -1 0 4141 0 0 0 119975 33 0 0 25 0 1 0 1859965589 18923520 4107 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31806/statm): 4620 4107 566 18 0 4602 0
[pid=31806] vsize: 18480
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (Kb) 18480

Sending SIGTERM to -31806
Sleeping 2 seconds
One traced child (pid=31806) 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.05
CPU time (s): 1200.1
CPU user time (s): 1199.75
CPU system time (s): 0.346947
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (Kb): 18480

Verifier Data

ERROR: no interpretation found !