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

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM552cc7fcebca47ae66a3cb1c13679513
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables4602
Total number of constraints34781
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)5543
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint1
Maximum length of a constraint29

Trace number 8026

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-20 15:16:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5078 boxname=wulflinc10 idbench=390 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc10/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5078
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        742384 kB
Buffers:         39336 kB
Cached:         225228 kB
SwapCached:        228 kB
Active:          86124 kB
Inactive:       181396 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742132 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6292 kB
Slab:            19076 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:36:44 (client local time) WITH STATUS 0 IN 1200.14 SECONDS
stats: 5078 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/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801357439 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22804/statm): 41 3 40 18 0 23 0
[pid=22804] 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.0027 s]
Raw data (loadavg): 0.93 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 2103 0 0 0 990 6 0 0 25 0 1 0 1801357439 10448896 2069 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22804/statm): 2551 2069 566 18 0 2533 0
[pid=22804] vsize: 10204
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 10204

[startup+20.0043 s]
Raw data (loadavg): 0.94 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 3194 0 0 0 1985 9 0 0 25 0 1 0 1801357439 15003648 3160 4294967295 134512640 134578447 3221224624 3221223464 1075285089 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22804/statm): 3663 3160 566 18 0 3645 0
[pid=22804] vsize: 14652
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 14652

[startup+30.0048 s]
Raw data (loadavg): 0.95 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 3857 0 0 0 2983 11 0 0 25 0 1 0 1801357439 17813504 3823 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 4349 3823 566 18 0 4331 0
[pid=22804] vsize: 17396
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 17396

[startup+40.0044 s]
Raw data (loadavg): 0.96 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 4766 0 0 0 3979 14 0 0 25 0 1 0 1801357439 21450752 4732 4294967295 134512640 134578447 3221224624 3221223476 134555729 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 5237 4732 566 18 0 5219 0
[pid=22804] vsize: 20948
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 20948

[startup+50.0049 s]
Raw data (loadavg): 0.96 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 5680 0 0 0 4977 16 0 0 25 0 1 0 1801357439 25202688 5646 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 6153 5646 566 18 0 6135 0
[pid=22804] vsize: 24612
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (Kb) 24612

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 6544 0 0 0 5974 18 0 0 25 0 1 0 1801357439 28798976 6510 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 7031 6510 566 18 0 7013 0
[pid=22804] vsize: 28124
Current children cumulated CPU time (s) 59.92
Current children cumulated vsize (Kb) 28124

[startup+70.0051 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 6971 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223456 134558462 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0
[pid=22804] vsize: 30868
Current children cumulated CPU time (s) 69.91
Current children cumulated vsize (Kb) 30868

[startup+80.0056 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 7971 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0
[pid=22804] vsize: 30868
Current children cumulated CPU time (s) 79.91
Current children cumulated vsize (Kb) 30868

[startup+90.0052 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 8972 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0
[pid=22804] vsize: 30868
Current children cumulated CPU time (s) 89.92
Current children cumulated vsize (Kb) 30868

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 9972 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0
[pid=22804] vsize: 30868
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 30868

[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 10972 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0
[pid=22804] vsize: 30868
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 30868

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7684 0 0 0 11971 21 0 0 25 0 1 0 1801357439 33456128 7650 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 8168 7650 566 18 0 8150 0
[pid=22804] vsize: 32672
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 32672

[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 8285 0 0 0 12969 23 0 0 25 0 1 0 1801357439 35946496 8251 4294967295 134512640 134578447 3221224624 3221223520 134519771 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 8776 8251 566 18 0 8758 0
[pid=22804] vsize: 35104
Current children cumulated CPU time (s) 129.92
Current children cumulated vsize (Kb) 35104

[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 8831 0 0 0 13967 24 0 0 25 0 1 0 1801357439 38174720 8797 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9320 8797 566 18 0 9302 0
[pid=22804] vsize: 37280
Current children cumulated CPU time (s) 139.91
Current children cumulated vsize (Kb) 37280

[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9015 0 0 0 14966 25 0 0 25 0 1 0 1801357439 38965248 8981 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9513 8981 566 18 0 9495 0
[pid=22804] vsize: 38052
Current children cumulated CPU time (s) 149.91
Current children cumulated vsize (Kb) 38052

[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 15966 25 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0
[pid=22804] vsize: 38052
Current children cumulated CPU time (s) 159.91
Current children cumulated vsize (Kb) 38052

[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 16967 25 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0
[pid=22804] vsize: 38052
Current children cumulated CPU time (s) 169.92
Current children cumulated vsize (Kb) 38052

[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 17967 25 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0
[pid=22804] vsize: 38052
Current children cumulated CPU time (s) 179.92
Current children cumulated vsize (Kb) 38052

[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 18967 25 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0
[pid=22804] vsize: 38052
Current children cumulated CPU time (s) 189.92
Current children cumulated vsize (Kb) 38052

[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 19966 26 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0
[pid=22804] vsize: 38052
Current children cumulated CPU time (s) 199.92
Current children cumulated vsize (Kb) 38052

[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 20965 27 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0
[pid=22804] vsize: 38052
Current children cumulated CPU time (s) 209.92
Current children cumulated vsize (Kb) 38052

[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9017 0 0 0 21965 27 0 0 25 0 1 0 1801357439 38965248 8983 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9513 8983 566 18 0 9495 0
[pid=22804] vsize: 38052
Current children cumulated CPU time (s) 219.92
Current children cumulated vsize (Kb) 38052

[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9017 0 0 0 22966 27 0 0 25 0 1 0 1801357439 38965248 8983 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9513 8983 566 18 0 9495 0
[pid=22804] vsize: 38052
Current children cumulated CPU time (s) 229.93
Current children cumulated vsize (Kb) 38052

[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9171 0 0 0 23965 28 0 0 25 0 1 0 1801357439 39505920 9137 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 9645 9137 566 18 0 9627 0
[pid=22804] vsize: 38580
Current children cumulated CPU time (s) 239.93
Current children cumulated vsize (Kb) 38580

[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9859 0 0 0 24964 29 0 0 25 0 1 0 1801357439 42340352 9825 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 10337 9825 566 18 0 10319 0
[pid=22804] vsize: 41348
Current children cumulated CPU time (s) 249.93
Current children cumulated vsize (Kb) 41348

[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10512 0 0 0 25961 32 0 0 25 0 1 0 1801357439 45064192 10478 4294967295 134512640 134578447 3221224624 3221223192 1075289077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11002 10478 566 18 0 10984 0
[pid=22804] vsize: 44008
Current children cumulated CPU time (s) 259.93
Current children cumulated vsize (Kb) 44008

[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10896 0 0 0 26960 32 0 0 25 0 1 0 1801357439 46739456 10862 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10862 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 269.92
Current children cumulated vsize (Kb) 45644

[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 27960 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (Kb) 45644

[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 28960 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 289.93
Current children cumulated vsize (Kb) 45644

[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 29961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527761 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 299.94
Current children cumulated vsize (Kb) 45644

[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 30961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 309.94
Current children cumulated vsize (Kb) 45644

[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 31961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 319.94
Current children cumulated vsize (Kb) 45644

[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 32961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 329.94
Current children cumulated vsize (Kb) 45644

[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 33961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 339.94
Current children cumulated vsize (Kb) 45644

[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 34961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 349.94
Current children cumulated vsize (Kb) 45644

[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 35961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 359.94
Current children cumulated vsize (Kb) 45644

[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 36962 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0
[pid=22804] vsize: 45644
Current children cumulated CPU time (s) 369.95
Current children cumulated vsize (Kb) 45644

[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11543 0 0 0 37960 35 0 0 25 0 1 0 1801357439 49373184 11509 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12054 11509 566 18 0 12036 0
[pid=22804] vsize: 48216
Current children cumulated CPU time (s) 379.95
Current children cumulated vsize (Kb) 48216

[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11546 0 0 0 38960 35 0 0 25 0 1 0 1801357439 49504256 11512 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12086 11512 566 18 0 12068 0
[pid=22804] vsize: 48344
Current children cumulated CPU time (s) 389.95
Current children cumulated vsize (Kb) 48344

[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11546 0 0 0 39960 35 0 0 25 0 1 0 1801357439 49504256 11512 4294967295 134512640 134578447 3221224624 3221223368 1075285846 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12086 11512 566 18 0 12068 0
[pid=22804] vsize: 48344
Current children cumulated CPU time (s) 399.95
Current children cumulated vsize (Kb) 48344

[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11547 0 0 0 40960 35 0 0 25 0 1 0 1801357439 49504256 11513 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12086 11513 566 18 0 12068 0
[pid=22804] vsize: 48344
Current children cumulated CPU time (s) 409.95
Current children cumulated vsize (Kb) 48344

[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11548 0 0 0 41960 35 0 0 25 0 1 0 1801357439 49504256 11514 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12086 11514 566 18 0 12068 0
[pid=22804] vsize: 48344
Current children cumulated CPU time (s) 419.95
Current children cumulated vsize (Kb) 48344

[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11552 0 0 0 42961 35 0 0 25 0 1 0 1801357439 49504256 11518 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12086 11518 566 18 0 12068 0
[pid=22804] vsize: 48344
Current children cumulated CPU time (s) 429.96
Current children cumulated vsize (Kb) 48344

[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11563 0 0 0 43961 35 0 0 25 0 1 0 1801357439 49504256 11529 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12086 11529 566 18 0 12068 0
[pid=22804] vsize: 48344
Current children cumulated CPU time (s) 439.96
Current children cumulated vsize (Kb) 48344

[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11720 0 0 0 44961 36 0 0 25 0 1 0 1801357439 50425856 11686 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12311 11686 566 18 0 12293 0
[pid=22804] vsize: 49244
Current children cumulated CPU time (s) 449.97
Current children cumulated vsize (Kb) 49244

[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11720 0 0 0 45961 36 0 0 25 0 1 0 1801357439 50425856 11686 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12311 11686 566 18 0 12293 0
[pid=22804] vsize: 49244
Current children cumulated CPU time (s) 459.97
Current children cumulated vsize (Kb) 49244

[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11723 0 0 0 46961 36 0 0 25 0 1 0 1801357439 50425856 11689 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12311 11689 566 18 0 12293 0
[pid=22804] vsize: 49244
Current children cumulated CPU time (s) 469.97
Current children cumulated vsize (Kb) 49244

[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11724 0 0 0 47961 36 0 0 25 0 1 0 1801357439 50425856 11690 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12311 11690 566 18 0 12293 0
[pid=22804] vsize: 49244
Current children cumulated CPU time (s) 479.97
Current children cumulated vsize (Kb) 49244

[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11737 0 0 0 48961 36 0 0 25 0 1 0 1801357439 50425856 11703 4294967295 134512640 134578447 3221224624 3221223520 134520043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12311 11703 566 18 0 12293 0
[pid=22804] vsize: 49244
Current children cumulated CPU time (s) 489.97
Current children cumulated vsize (Kb) 49244

[startup+500.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11737 0 0 0 49961 36 0 0 25 0 1 0 1801357439 50425856 11703 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12311 11703 566 18 0 12293 0
[pid=22804] vsize: 49244
Current children cumulated CPU time (s) 499.97
Current children cumulated vsize (Kb) 49244

[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11739 0 0 0 50961 36 0 0 25 0 1 0 1801357439 50425856 11705 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12311 11705 566 18 0 12293 0
[pid=22804] vsize: 49244
Current children cumulated CPU time (s) 509.97
Current children cumulated vsize (Kb) 49244

[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11965 0 0 0 51961 37 0 0 25 0 1 0 1801357439 51228672 11931 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12507 11931 566 18 0 12489 0
[pid=22804] vsize: 50028
Current children cumulated CPU time (s) 519.98
Current children cumulated vsize (Kb) 50028

[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 52961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 529.98
Current children cumulated vsize (Kb) 51380

[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 53961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223520 134519783 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 539.98
Current children cumulated vsize (Kb) 51380

[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 54961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 51380

[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 55961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (Kb) 51380

[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 56961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 569.98
Current children cumulated vsize (Kb) 51380

[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 57961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223520 134519751 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 579.98
Current children cumulated vsize (Kb) 51380

[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 58962 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 589.99
Current children cumulated vsize (Kb) 51380

[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 59962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 600
Current children cumulated vsize (Kb) 51380

[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 60962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223376 134528834 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 610
Current children cumulated vsize (Kb) 51380

[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 61962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223296 134522224 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 620
Current children cumulated vsize (Kb) 51380

[startup+630.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 62962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 630
Current children cumulated vsize (Kb) 51380

[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 63962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 640
Current children cumulated vsize (Kb) 51380

[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 64963 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 650.01
Current children cumulated vsize (Kb) 51380

[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 65963 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0
[pid=22804] vsize: 51380
Current children cumulated CPU time (s) 660.01
Current children cumulated vsize (Kb) 51380

[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12364 0 0 0 66963 38 0 0 25 0 1 0 1801357439 52887552 12330 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 12912 12330 566 18 0 12894 0
[pid=22804] vsize: 51648
Current children cumulated CPU time (s) 670.01
Current children cumulated vsize (Kb) 51648

[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12736 0 0 0 67961 39 0 0 25 0 1 0 1801357439 54517760 12702 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13310 12702 566 18 0 13292 0
[pid=22804] vsize: 53240
Current children cumulated CPU time (s) 680
Current children cumulated vsize (Kb) 53240

[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13071 0 0 0 68960 41 0 0 25 0 1 0 1801357439 55853056 13037 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13636 13037 566 18 0 13618 0
[pid=22804] vsize: 54544
Current children cumulated CPU time (s) 690.01
Current children cumulated vsize (Kb) 54544

[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 69959 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 700
Current children cumulated vsize (Kb) 55560

[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 70960 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 710.01
Current children cumulated vsize (Kb) 55560

[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 71960 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 720.01
Current children cumulated vsize (Kb) 55560

[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 72960 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223488 134528148 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 730.01
Current children cumulated vsize (Kb) 55560

[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 73960 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 740.01
Current children cumulated vsize (Kb) 55560

[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 74961 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 750.02
Current children cumulated vsize (Kb) 55560

[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 75961 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 760.02
Current children cumulated vsize (Kb) 55560

[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 76961 42 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 770.03
Current children cumulated vsize (Kb) 55560

[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 77961 42 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 780.03
Current children cumulated vsize (Kb) 55560

[startup+790.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 78961 42 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 790.03
Current children cumulated vsize (Kb) 55560

[startup+800.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 79960 43 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 800.03
Current children cumulated vsize (Kb) 55560

[startup+810.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 80960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 810.04
Current children cumulated vsize (Kb) 55560

[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 81960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 820.04
Current children cumulated vsize (Kb) 55560

[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 82960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223520 134519801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 830.04
Current children cumulated vsize (Kb) 55560

[startup+840.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 83960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 840.04
Current children cumulated vsize (Kb) 55560

[startup+850.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 84960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 850.04
Current children cumulated vsize (Kb) 55560

[startup+860.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 85960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 860.04
Current children cumulated vsize (Kb) 55560

[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 86960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 870.04
Current children cumulated vsize (Kb) 55560

[startup+880.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 87960 45 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 880.05
Current children cumulated vsize (Kb) 55560

[startup+890.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 88960 45 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 890.05
Current children cumulated vsize (Kb) 55560

[startup+900.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 89961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 900.06
Current children cumulated vsize (Kb) 55560

[startup+910.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 90960 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 910.05
Current children cumulated vsize (Kb) 55560

[startup+920.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 91961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223536 134556784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 920.06
Current children cumulated vsize (Kb) 55560

[startup+930.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 92961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 930.06
Current children cumulated vsize (Kb) 55560

[startup+940.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 93961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 940.06
Current children cumulated vsize (Kb) 55560

[startup+950.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 94961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 950.06
Current children cumulated vsize (Kb) 55560

[startup+960.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 95961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 960.06
Current children cumulated vsize (Kb) 55560

[startup+970.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 96962 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 970.07
Current children cumulated vsize (Kb) 55560

[startup+980.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 97962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223456 134527008 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 980.08
Current children cumulated vsize (Kb) 55560

[startup+990.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 98962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 990.08
Current children cumulated vsize (Kb) 55560

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 99962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 1000.08
Current children cumulated vsize (Kb) 55560

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 100962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 1010.08
Current children cumulated vsize (Kb) 55560

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 101962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 1020.08
Current children cumulated vsize (Kb) 55560

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 102962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 1030.08
Current children cumulated vsize (Kb) 55560

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 103962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223488 134517728 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0
[pid=22804] vsize: 55560
Current children cumulated CPU time (s) 1040.08
Current children cumulated vsize (Kb) 55560

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13864 0 0 0 104961 47 0 0 25 0 1 0 1801357439 59109376 13830 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 14431 13830 566 18 0 14413 0
[pid=22804] vsize: 57724
Current children cumulated CPU time (s) 1050.08
Current children cumulated vsize (Kb) 57724

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 14490 0 0 0 105959 49 0 0 25 0 1 0 1801357439 61657088 14456 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 15053 14456 566 18 0 15035 0
[pid=22804] vsize: 60212
Current children cumulated CPU time (s) 1060.08
Current children cumulated vsize (Kb) 60212

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 15125 0 0 0 106957 52 0 0 25 0 1 0 1801357439 64352256 15091 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 15711 15091 566 18 0 15693 0
[pid=22804] vsize: 62844
Current children cumulated CPU time (s) 1070.09
Current children cumulated vsize (Kb) 62844

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 15636 0 0 0 107954 54 0 0 25 0 1 0 1801357439 66351104 15602 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16199 15602 566 18 0 16181 0
[pid=22804] vsize: 64796
Current children cumulated CPU time (s) 1080.08
Current children cumulated vsize (Kb) 64796

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16182 0 0 0 108953 55 0 0 25 0 1 0 1801357439 68874240 16148 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16815 16148 566 18 0 16797 0
[pid=22804] vsize: 67260
Current children cumulated CPU time (s) 1090.08
Current children cumulated vsize (Kb) 67260

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 109952 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1100.08
Current children cumulated vsize (Kb) 67792

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 110953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223376 134528872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1110.09
Current children cumulated vsize (Kb) 67792

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 111953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1120.09
Current children cumulated vsize (Kb) 67792

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 112953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1130.09
Current children cumulated vsize (Kb) 67792

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 113953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1140.09
Current children cumulated vsize (Kb) 67792

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 114953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1150.09
Current children cumulated vsize (Kb) 67792

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 115953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1160.09
Current children cumulated vsize (Kb) 67792

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 116954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1170.1
Current children cumulated vsize (Kb) 67792

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 117954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1180.1
Current children cumulated vsize (Kb) 67792

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 118954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1190.1
Current children cumulated vsize (Kb) 67792

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 119954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (Kb) 67792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 22804
Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 119954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0
[pid=22804] vsize: 67792
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (Kb) 67792

Sending SIGTERM to -22804
Sleeping 2 seconds
One traced child (pid=22804) 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.54
CPU system time (s): 0.598908
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (Kb): 67792

Verifier Data

ERROR: no interpretation found !