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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
MD5SUMb2d6fc6e4e4b51f8b59d0f4ed12a9f74
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2678
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2678
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2678
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2678
Total number of constraints6689
Number of constraints which are clauses6689
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3

Trace number 7764

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-20 13:56:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4885 boxname=wulflinc26 idbench=197 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc26/normalized-par32-5-c.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4885
/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:        808672 kB
Buffers:         34224 kB
Cached:         163264 kB
SwapCached:        868 kB
Active:          80820 kB
Inactive:       119284 kB
HighTotal:      131008 kB
HighFree:         3416 kB
LowTotal:       903652 kB
LowFree:        805256 kB
SwapTotal:     2097892 kB
SwapFree:      2096540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            20392 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:16:32 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 4885 7 1200.28 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/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859077985 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28623/statm): 41 3 40 18 0 23 0
[pid=28623] 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.0037 s]
Raw data (loadavg): 0.94 0.96 0.88 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 756 0 0 0 996 2 0 0 25 0 1 0 1859077985 4673536 722 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1141 722 566 18 0 1123 0
[pid=28623] vsize: 4564
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 4564

[startup+20.0044 s]
Raw data (loadavg): 0.95 0.96 0.88 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 834 0 0 0 1996 2 0 0 25 0 1 0 1859077985 5079040 800 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1240 800 566 18 0 1222 0
[pid=28623] vsize: 4960
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 4960

[startup+30.005 s]
Raw data (loadavg): 0.95 0.96 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 931 0 0 0 2995 3 0 0 25 0 1 0 1859077985 5476352 897 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1337 897 566 18 0 1319 0
[pid=28623] vsize: 5348
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 5348

[startup+40.0047 s]
Raw data (loadavg): 0.96 0.96 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1026 0 0 0 3995 3 0 0 25 0 1 0 1859077985 5869568 992 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1433 992 566 18 0 1415 0
[pid=28623] vsize: 5732
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 5732

[startup+50.0054 s]
Raw data (loadavg): 0.97 0.97 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1080 0 0 0 4995 4 0 0 25 0 1 0 1859077985 6000640 1046 4294967295 134512640 134578447 3221224624 3221223584 134559101 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1465 1046 566 18 0 1447 0
[pid=28623] vsize: 5860
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 5860

[startup+60.0051 s]
Raw data (loadavg): 0.97 0.97 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1084 0 0 0 5995 4 0 0 25 0 1 0 1859077985 6000640 1050 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1465 1050 566 18 0 1447 0
[pid=28623] vsize: 5860
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 5860

[startup+70.0048 s]
Raw data (loadavg): 0.97 0.97 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1137 0 0 0 6995 4 0 0 25 0 1 0 1859077985 6262784 1103 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1529 1103 566 18 0 1511 0
[pid=28623] vsize: 6116
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 6116

[startup+80.0055 s]
Raw data (loadavg): 0.98 0.97 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1144 0 0 0 7995 4 0 0 25 0 1 0 1859077985 6262784 1110 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1529 1110 566 18 0 1511 0
[pid=28623] vsize: 6116
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 6116

[startup+90.0051 s]
Raw data (loadavg): 0.98 0.97 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1144 0 0 0 8995 4 0 0 25 0 1 0 1859077985 6262784 1110 4294967295 134512640 134578447 3221224624 3221223520 134519771 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1529 1110 566 18 0 1511 0
[pid=28623] vsize: 6116
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 6116

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1190 0 0 0 9994 5 0 0 25 0 1 0 1859077985 6537216 1156 4294967295 134512640 134578447 3221224624 3221223584 134559101 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1596 1156 566 18 0 1578 0
[pid=28623] vsize: 6384
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 6384

[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1216 0 0 0 10993 6 0 0 25 0 1 0 1859077985 6668288 1182 4294967295 134512640 134578447 3221224624 3221223536 134557051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1628 1182 566 18 0 1610 0
[pid=28623] vsize: 6512
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 6512

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1259 0 0 0 11993 7 0 0 25 0 1 0 1859077985 6811648 1225 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1663 1225 566 18 0 1645 0
[pid=28623] vsize: 6652
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 6652

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1275 0 0 0 12993 7 0 0 25 0 1 0 1859077985 6946816 1241 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1696 1241 566 18 0 1678 0
[pid=28623] vsize: 6784
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 6784

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1275 0 0 0 13993 7 0 0 25 0 1 0 1859077985 6946816 1241 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1696 1241 566 18 0 1678 0
[pid=28623] vsize: 6784
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 6784

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1303 0 0 0 14993 8 0 0 25 0 1 0 1859077985 6946816 1269 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1696 1269 566 18 0 1678 0
[pid=28623] vsize: 6784
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 6784

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1307 0 0 0 15992 8 0 0 25 0 1 0 1859077985 7081984 1273 4294967295 134512640 134578447 3221224624 3221223536 134557175 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1729 1273 566 18 0 1711 0
[pid=28623] vsize: 6916
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 6916

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1376 0 0 0 16992 9 0 0 25 0 1 0 1859077985 7360512 1342 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1797 1342 566 18 0 1779 0
[pid=28623] vsize: 7188
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 7188

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1406 0 0 0 17992 9 0 0 25 0 1 0 1859077985 7360512 1372 4294967295 134512640 134578447 3221224624 3221223500 134520088 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1797 1372 566 18 0 1779 0
[pid=28623] vsize: 7188
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 7188

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1406 0 0 0 18992 9 0 0 25 0 1 0 1859077985 7360512 1372 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1797 1372 566 18 0 1779 0
[pid=28623] vsize: 7188
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 7188

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1406 0 0 0 19992 9 0 0 25 0 1 0 1859077985 7360512 1372 4294967295 134512640 134578447 3221224624 3221223472 134558276 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1797 1372 566 18 0 1779 0
[pid=28623] vsize: 7188
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 7188

[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 28623
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1406 0 0 0 20997 10 0 0 25 0 1 0 1859077985 7360512 1372 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1797 1372 566 18 0 1779 0
[pid=28623] vsize: 7188
Current children cumulated CPU time (s) 210.07
Current children cumulated vsize (Kb) 7188

[startup+220.053 s]
Raw data (loadavg): 1.23 1.02 0.92 2/56 28678
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1426 0 0 0 21997 10 0 0 25 0 1 0 1859077985 7495680 1392 4294967295 134512640 134578447 3221224624 3221223520 134519856 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1830 1392 566 18 0 1812 0
[pid=28623] vsize: 7320
Current children cumulated CPU time (s) 220.07
Current children cumulated vsize (Kb) 7320

[startup+230.054 s]
Raw data (loadavg): 1.19 1.02 0.92 2/56 28678
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1479 0 0 0 22997 10 0 0 25 0 1 0 1859077985 7757824 1445 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1445 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 230.07
Current children cumulated vsize (Kb) 7576

[startup+240.053 s]
Raw data (loadavg): 1.16 1.02 0.92 2/56 28678
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1503 0 0 0 23997 10 0 0 25 0 1 0 1859077985 7757824 1469 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1469 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 240.07
Current children cumulated vsize (Kb) 7576

[startup+250.054 s]
Raw data (loadavg): 1.14 1.02 0.92 2/56 28678
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1503 0 0 0 24996 10 0 0 25 0 1 0 1859077985 7757824 1469 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1469 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 250.06
Current children cumulated vsize (Kb) 7576

[startup+260.055 s]
Raw data (loadavg): 1.12 1.02 0.92 2/56 28678
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1504 0 0 0 25997 10 0 0 25 0 1 0 1859077985 7757824 1470 4294967295 134512640 134578447 3221224624 3221223304 1075291328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1470 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 260.07
Current children cumulated vsize (Kb) 7576

[startup+270.054 s]
Raw data (loadavg): 1.10 1.02 0.92 2/56 28678
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1504 0 0 0 26997 10 0 0 25 0 1 0 1859077985 7757824 1470 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1470 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 270.07
Current children cumulated vsize (Kb) 7576

[startup+280.055 s]
Raw data (loadavg): 1.08 1.01 0.92 2/56 28678
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1504 0 0 0 27997 10 0 0 25 0 1 0 1859077985 7757824 1470 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1470 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 280.07
Current children cumulated vsize (Kb) 7576

[startup+290.056 s]
Raw data (loadavg): 1.07 1.01 0.92 2/56 28680
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1504 0 0 0 28997 10 0 0 25 0 1 0 1859077985 7757824 1470 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1470 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 290.07
Current children cumulated vsize (Kb) 7576

[startup+300.056 s]
Raw data (loadavg): 1.06 1.01 0.92 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1504 0 0 0 29997 10 0 0 25 0 1 0 1859077985 7757824 1470 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1470 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 300.07
Current children cumulated vsize (Kb) 7576

[startup+310.056 s]
Raw data (loadavg): 1.05 1.01 0.92 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1504 0 0 0 30997 10 0 0 25 0 1 0 1859077985 7757824 1470 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1470 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 310.07
Current children cumulated vsize (Kb) 7576

[startup+320.057 s]
Raw data (loadavg): 1.11 1.03 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1504 0 0 0 31998 10 0 0 25 0 1 0 1859077985 7757824 1470 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1894 1470 566 18 0 1876 0
[pid=28623] vsize: 7576
Current children cumulated CPU time (s) 320.08
Current children cumulated vsize (Kb) 7576

[startup+330.057 s]
Raw data (loadavg): 1.10 1.03 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1525 0 0 0 32997 11 0 0 25 0 1 0 1859077985 7888896 1491 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1926 1491 566 18 0 1908 0
[pid=28623] vsize: 7704
Current children cumulated CPU time (s) 330.08
Current children cumulated vsize (Kb) 7704

[startup+340.056 s]
Raw data (loadavg): 1.08 1.03 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1530 0 0 0 33997 11 0 0 25 0 1 0 1859077985 7888896 1496 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1926 1496 566 18 0 1908 0
[pid=28623] vsize: 7704
Current children cumulated CPU time (s) 340.08
Current children cumulated vsize (Kb) 7704

[startup+350.057 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1530 0 0 0 34998 11 0 0 25 0 1 0 1859077985 7888896 1496 4294967295 134512640 134578447 3221224624 3221223536 134557270 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1926 1496 566 18 0 1908 0
[pid=28623] vsize: 7704
Current children cumulated CPU time (s) 350.09
Current children cumulated vsize (Kb) 7704

[startup+360.057 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1531 0 0 0 35998 11 0 0 25 0 1 0 1859077985 7888896 1497 4294967295 134512640 134578447 3221224624 3221223520 134519771 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1926 1497 566 18 0 1908 0
[pid=28623] vsize: 7704
Current children cumulated CPU time (s) 360.09
Current children cumulated vsize (Kb) 7704

[startup+370.056 s]
Raw data (loadavg): 1.05 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1536 0 0 0 36998 11 0 0 25 0 1 0 1859077985 7888896 1502 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1926 1502 566 18 0 1908 0
[pid=28623] vsize: 7704
Current children cumulated CPU time (s) 370.09
Current children cumulated vsize (Kb) 7704

[startup+380.057 s]
Raw data (loadavg): 1.04 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1536 0 0 0 37998 11 0 0 25 0 1 0 1859077985 7888896 1502 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1926 1502 566 18 0 1908 0
[pid=28623] vsize: 7704
Current children cumulated CPU time (s) 380.09
Current children cumulated vsize (Kb) 7704

[startup+390.058 s]
Raw data (loadavg): 1.03 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1541 0 0 0 38998 11 0 0 25 0 1 0 1859077985 8048640 1507 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1965 1507 566 18 0 1947 0
[pid=28623] vsize: 7860
Current children cumulated CPU time (s) 390.09
Current children cumulated vsize (Kb) 7860

[startup+400.058 s]
Raw data (loadavg): 1.03 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1555 0 0 0 39998 11 0 0 25 0 1 0 1859077985 8048640 1521 4294967295 134512640 134578447 3221224624 3221223572 134559040 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1965 1521 566 18 0 1947 0
[pid=28623] vsize: 7860
Current children cumulated CPU time (s) 400.09
Current children cumulated vsize (Kb) 7860

[startup+410.059 s]
Raw data (loadavg): 1.02 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1602 0 0 0 40998 11 0 0 25 0 1 0 1859077985 8179712 1568 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 1997 1568 566 18 0 1979 0
[pid=28623] vsize: 7988
Current children cumulated CPU time (s) 410.09
Current children cumulated vsize (Kb) 7988

[startup+420.06 s]
Raw data (loadavg): 1.02 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1620 0 0 0 41998 12 0 0 25 0 1 0 1859077985 8314880 1586 4294967295 134512640 134578447 3221224624 3221223472 134558512 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2030 1586 566 18 0 2012 0
[pid=28623] vsize: 8120
Current children cumulated CPU time (s) 420.1
Current children cumulated vsize (Kb) 8120

[startup+430.06 s]
Raw data (loadavg): 1.02 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1631 0 0 0 42999 12 0 0 25 0 1 0 1859077985 8314880 1597 4294967295 134512640 134578447 3221224624 3221223568 134558940 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2030 1597 566 18 0 2012 0
[pid=28623] vsize: 8120
Current children cumulated CPU time (s) 430.11
Current children cumulated vsize (Kb) 8120

[startup+440.061 s]
Raw data (loadavg): 1.01 1.02 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1632 0 0 0 43999 12 0 0 25 0 1 0 1859077985 8314880 1598 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2030 1598 566 18 0 2012 0
[pid=28623] vsize: 8120
Current children cumulated CPU time (s) 440.11
Current children cumulated vsize (Kb) 8120

[startup+450.062 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1636 0 0 0 44999 12 0 0 25 0 1 0 1859077985 8314880 1602 4294967295 134512640 134578447 3221224624 3221223472 134558453 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2030 1602 566 18 0 2012 0
[pid=28623] vsize: 8120
Current children cumulated CPU time (s) 450.11
Current children cumulated vsize (Kb) 8120

[startup+460.061 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1636 0 0 0 45999 12 0 0 25 0 1 0 1859077985 8314880 1602 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2030 1602 566 18 0 2012 0
[pid=28623] vsize: 8120
Current children cumulated CPU time (s) 460.11
Current children cumulated vsize (Kb) 8120

[startup+470.061 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1636 0 0 0 46999 12 0 0 25 0 1 0 1859077985 8314880 1602 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2030 1602 566 18 0 2012 0
[pid=28623] vsize: 8120
Current children cumulated CPU time (s) 470.11
Current children cumulated vsize (Kb) 8120

[startup+480.061 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1636 0 0 0 47999 12 0 0 25 0 1 0 1859077985 8314880 1602 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2030 1602 566 18 0 2012 0
[pid=28623] vsize: 8120
Current children cumulated CPU time (s) 480.11
Current children cumulated vsize (Kb) 8120

[startup+490.061 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1636 0 0 0 48999 12 0 0 25 0 1 0 1859077985 8314880 1602 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2030 1602 566 18 0 2012 0
[pid=28623] vsize: 8120
Current children cumulated CPU time (s) 490.11
Current children cumulated vsize (Kb) 8120

[startup+500.062 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1636 0 0 0 50000 12 0 0 25 0 1 0 1859077985 8314880 1602 4294967295 134512640 134578447 3221224624 3221223472 134558435 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2030 1602 566 18 0 2012 0
[pid=28623] vsize: 8120
Current children cumulated CPU time (s) 500.12
Current children cumulated vsize (Kb) 8120

[startup+510.062 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1639 0 0 0 50999 12 0 0 25 0 1 0 1859077985 8454144 1605 4294967295 134512640 134578447 3221224624 3221223520 134519742 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2064 1605 566 18 0 2046 0
[pid=28623] vsize: 8256
Current children cumulated CPU time (s) 510.11
Current children cumulated vsize (Kb) 8256

[startup+520.062 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1681 0 0 0 51999 13 0 0 25 0 1 0 1859077985 8585216 1647 4294967295 134512640 134578447 3221224624 3221223520 134519724 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2096 1647 566 18 0 2078 0
[pid=28623] vsize: 8384
Current children cumulated CPU time (s) 520.12
Current children cumulated vsize (Kb) 8384

[startup+530.062 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 28682
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1708 0 0 0 53000 13 0 0 25 0 1 0 1859077985 8716288 1674 4294967295 134512640 134578447 3221224624 3221223472 134558172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2128 1674 566 18 0 2110 0
[pid=28623] vsize: 8512
Current children cumulated CPU time (s) 530.13
Current children cumulated vsize (Kb) 8512

[startup+540.062 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1708 0 0 0 54000 13 0 0 25 0 1 0 1859077985 8716288 1674 4294967295 134512640 134578447 3221224624 3221223568 134558643 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2128 1674 566 18 0 2110 0
[pid=28623] vsize: 8512
Current children cumulated CPU time (s) 540.13
Current children cumulated vsize (Kb) 8512

[startup+550.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1739 0 0 0 55000 13 0 0 25 0 1 0 1859077985 8847360 1705 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2160 1705 566 18 0 2142 0
[pid=28623] vsize: 8640
Current children cumulated CPU time (s) 550.13
Current children cumulated vsize (Kb) 8640

[startup+560.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1764 0 0 0 56000 13 0 0 25 0 1 0 1859077985 8847360 1730 4294967295 134512640 134578447 3221224624 3221223536 134557386 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2160 1730 566 18 0 2142 0
[pid=28623] vsize: 8640
Current children cumulated CPU time (s) 560.13
Current children cumulated vsize (Kb) 8640

[startup+570.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1765 0 0 0 57000 13 0 0 25 0 1 0 1859077985 8847360 1731 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2160 1731 566 18 0 2142 0
[pid=28623] vsize: 8640
Current children cumulated CPU time (s) 570.13
Current children cumulated vsize (Kb) 8640

[startup+580.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1821 0 0 0 58000 13 0 0 25 0 1 0 1859077985 9109504 1787 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2224 1787 566 18 0 2206 0
[pid=28623] vsize: 8896
Current children cumulated CPU time (s) 580.13
Current children cumulated vsize (Kb) 8896

[startup+590.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1821 0 0 0 59000 13 0 0 25 0 1 0 1859077985 9109504 1787 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2224 1787 566 18 0 2206 0
[pid=28623] vsize: 8896
Current children cumulated CPU time (s) 590.13
Current children cumulated vsize (Kb) 8896

[startup+600.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1842 0 0 0 60000 13 0 0 25 0 1 0 1859077985 9240576 1808 4294967295 134512640 134578447 3221224624 3221223584 134559082 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2256 1808 566 18 0 2238 0
[pid=28623] vsize: 9024
Current children cumulated CPU time (s) 600.13
Current children cumulated vsize (Kb) 9024

[startup+610.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1842 0 0 0 61001 13 0 0 25 0 1 0 1859077985 9240576 1808 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2256 1808 566 18 0 2238 0
[pid=28623] vsize: 9024
Current children cumulated CPU time (s) 610.14
Current children cumulated vsize (Kb) 9024

[startup+620.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1842 0 0 0 62001 13 0 0 25 0 1 0 1859077985 9240576 1808 4294967295 134512640 134578447 3221224624 3221223520 134519768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2256 1808 566 18 0 2238 0
[pid=28623] vsize: 9024
Current children cumulated CPU time (s) 620.14
Current children cumulated vsize (Kb) 9024

[startup+630.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1852 0 0 0 63001 13 0 0 25 0 1 0 1859077985 9240576 1818 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2256 1818 566 18 0 2238 0
[pid=28623] vsize: 9024
Current children cumulated CPU time (s) 630.14
Current children cumulated vsize (Kb) 9024

[startup+640.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1857 0 0 0 64001 13 0 0 25 0 1 0 1859077985 9240576 1823 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2256 1823 566 18 0 2238 0
[pid=28623] vsize: 9024
Current children cumulated CPU time (s) 640.14
Current children cumulated vsize (Kb) 9024

[startup+650.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1874 0 0 0 65001 13 0 0 25 0 1 0 1859077985 9375744 1840 4294967295 134512640 134578447 3221224624 3221223472 134558290 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2289 1840 566 18 0 2271 0
[pid=28623] vsize: 9156
Current children cumulated CPU time (s) 650.14
Current children cumulated vsize (Kb) 9156

[startup+660.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1874 0 0 0 66001 13 0 0 25 0 1 0 1859077985 9375744 1840 4294967295 134512640 134578447 3221224624 3221223584 134559082 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2289 1840 566 18 0 2271 0
[pid=28623] vsize: 9156
Current children cumulated CPU time (s) 660.14
Current children cumulated vsize (Kb) 9156

[startup+670.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 67002 13 0 0 25 0 1 0 1859077985 9506816 1868 4294967295 134512640 134578447 3221224624 3221223536 134556921 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2321 1868 566 18 0 2303 0
[pid=28623] vsize: 9284
Current children cumulated CPU time (s) 670.15
Current children cumulated vsize (Kb) 9284

[startup+680.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 68001 14 0 0 25 0 1 0 1859077985 9498624 1868 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2319 1868 566 18 0 2301 0
[pid=28623] vsize: 9276
Current children cumulated CPU time (s) 680.15
Current children cumulated vsize (Kb) 9276

[startup+690.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 69002 14 0 0 25 0 1 0 1859077985 9498624 1868 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2319 1868 566 18 0 2301 0
[pid=28623] vsize: 9276
Current children cumulated CPU time (s) 690.16
Current children cumulated vsize (Kb) 9276

[startup+700.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 70001 15 0 0 25 0 1 0 1859077985 9498624 1868 4294967295 134512640 134578447 3221224624 3221223584 134558830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2319 1868 566 18 0 2301 0
[pid=28623] vsize: 9276
Current children cumulated CPU time (s) 700.16
Current children cumulated vsize (Kb) 9276

[startup+710.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 71000 16 0 0 25 0 1 0 1859077985 9498624 1868 4294967295 134512640 134578447 3221224624 3221223472 134520219 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2319 1868 566 18 0 2301 0
[pid=28623] vsize: 9276
Current children cumulated CPU time (s) 710.16
Current children cumulated vsize (Kb) 9276

[startup+720.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 72000 16 0 0 25 0 1 0 1859077985 9498624 1868 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2319 1868 566 18 0 2301 0
[pid=28623] vsize: 9276
Current children cumulated CPU time (s) 720.16
Current children cumulated vsize (Kb) 9276

[startup+730.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 73000 17 0 0 25 0 1 0 1859077985 9498624 1868 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2319 1868 566 18 0 2301 0
[pid=28623] vsize: 9276
Current children cumulated CPU time (s) 730.17
Current children cumulated vsize (Kb) 9276

[startup+740.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 74000 17 0 0 25 0 1 0 1859077985 9498624 1868 4294967295 134512640 134578447 3221224624 3221223536 134556821 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2319 1868 566 18 0 2301 0
[pid=28623] vsize: 9276
Current children cumulated CPU time (s) 740.17
Current children cumulated vsize (Kb) 9276

[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 75000 17 0 0 25 0 1 0 1859077985 9494528 1868 4294967295 134512640 134578447 3221224624 3221223472 134558372 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2318 1868 566 18 0 2300 0
[pid=28623] vsize: 9272
Current children cumulated CPU time (s) 750.17
Current children cumulated vsize (Kb) 9272

[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 76000 17 0 0 25 0 1 0 1859077985 9494528 1868 4294967295 134512640 134578447 3221224624 3221223472 134558337 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2318 1868 566 18 0 2300 0
[pid=28623] vsize: 9272
Current children cumulated CPU time (s) 760.17
Current children cumulated vsize (Kb) 9272

[startup+770.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 77000 17 0 0 25 0 1 0 1859077985 9494528 1868 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2318 1868 566 18 0 2300 0
[pid=28623] vsize: 9272
Current children cumulated CPU time (s) 770.17
Current children cumulated vsize (Kb) 9272

[startup+780.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 78000 17 0 0 25 0 1 0 1859077985 9494528 1868 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2318 1868 566 18 0 2300 0
[pid=28623] vsize: 9272
Current children cumulated CPU time (s) 780.17
Current children cumulated vsize (Kb) 9272

[startup+790.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 79000 18 0 0 25 0 1 0 1859077985 9494528 1868 4294967295 134512640 134578447 3221224624 3221223568 134558685 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2318 1868 566 18 0 2300 0
[pid=28623] vsize: 9272
Current children cumulated CPU time (s) 790.18
Current children cumulated vsize (Kb) 9272

[startup+800.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1902 0 0 0 80000 18 0 0 25 0 1 0 1859077985 9494528 1868 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2318 1868 566 18 0 2300 0
[pid=28623] vsize: 9272
Current children cumulated CPU time (s) 800.18
Current children cumulated vsize (Kb) 9272

[startup+810.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1954 0 0 0 81000 19 0 0 25 0 1 0 1859077985 9625600 1920 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2350 1920 566 18 0 2332 0
[pid=28623] vsize: 9400
Current children cumulated CPU time (s) 810.19
Current children cumulated vsize (Kb) 9400

[startup+820.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1960 0 0 0 82000 19 0 0 25 0 1 0 1859077985 9777152 1926 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1926 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 820.19
Current children cumulated vsize (Kb) 9548

[startup+830.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1963 0 0 0 83000 19 0 0 25 0 1 0 1859077985 9777152 1929 4294967295 134512640 134578447 3221224624 3221223576 134558611 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1929 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 830.19
Current children cumulated vsize (Kb) 9548

[startup+840.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1964 0 0 0 84000 19 0 0 25 0 1 0 1859077985 9777152 1930 4294967295 134512640 134578447 3221224624 3221223628 134563037 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1930 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 840.19
Current children cumulated vsize (Kb) 9548

[startup+850.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1966 0 0 0 85000 19 0 0 25 0 1 0 1859077985 9777152 1932 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1932 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 850.19
Current children cumulated vsize (Kb) 9548

[startup+860.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1989 0 0 0 86000 19 0 0 25 0 1 0 1859077985 9777152 1955 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1955 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 860.19
Current children cumulated vsize (Kb) 9548

[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1989 0 0 0 87000 19 0 0 25 0 1 0 1859077985 9777152 1955 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1955 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 870.19
Current children cumulated vsize (Kb) 9548

[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1989 0 0 0 88000 19 0 0 25 0 1 0 1859077985 9777152 1955 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1955 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 880.19
Current children cumulated vsize (Kb) 9548

[startup+890.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1989 0 0 0 89000 20 0 0 25 0 1 0 1859077985 9777152 1955 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1955 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 890.2
Current children cumulated vsize (Kb) 9548

[startup+900.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1990 0 0 0 90000 20 0 0 25 0 1 0 1859077985 9777152 1956 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1956 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 900.2
Current children cumulated vsize (Kb) 9548

[startup+910.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1990 0 0 0 91000 20 0 0 25 0 1 0 1859077985 9777152 1956 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1956 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 910.2
Current children cumulated vsize (Kb) 9548

[startup+920.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1990 0 0 0 92001 20 0 0 25 0 1 0 1859077985 9777152 1956 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2387 1956 566 18 0 2369 0
[pid=28623] vsize: 9548
Current children cumulated CPU time (s) 920.21
Current children cumulated vsize (Kb) 9548

[startup+930.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 1998 0 0 0 93001 20 0 0 25 0 1 0 1859077985 9912320 1964 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1964 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 930.21
Current children cumulated vsize (Kb) 9680

[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 94001 20 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 940.21
Current children cumulated vsize (Kb) 9680

[startup+950.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 95001 20 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223472 134558435 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 950.21
Current children cumulated vsize (Kb) 9680

[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 96001 20 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 960.21
Current children cumulated vsize (Kb) 9680

[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 97001 20 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 970.21
Current children cumulated vsize (Kb) 9680

[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 98002 20 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223536 134556747 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 980.22
Current children cumulated vsize (Kb) 9680

[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 99001 21 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 990.22
Current children cumulated vsize (Kb) 9680

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 100001 21 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223472 134558276 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1000.22
Current children cumulated vsize (Kb) 9680

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 101002 21 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223584 134559020 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1010.23
Current children cumulated vsize (Kb) 9680

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 102002 21 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1020.23
Current children cumulated vsize (Kb) 9680

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 103002 21 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223520 134520053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1030.23
Current children cumulated vsize (Kb) 9680

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 104002 21 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223536 134556881 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1040.23
Current children cumulated vsize (Kb) 9680

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 105002 21 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223520 134519768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1050.23
Current children cumulated vsize (Kb) 9680

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2003 0 0 0 106003 21 0 0 25 0 1 0 1859077985 9912320 1969 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1969 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1060.24
Current children cumulated vsize (Kb) 9680

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2011 0 0 0 107003 21 0 0 25 0 1 0 1859077985 9912320 1977 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1977 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1070.24
Current children cumulated vsize (Kb) 9680

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2011 0 0 0 108003 21 0 0 25 0 1 0 1859077985 9912320 1977 4294967295 134512640 134578447 3221224624 3221223584 134559104 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1977 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1080.24
Current children cumulated vsize (Kb) 9680

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2011 0 0 0 109003 21 0 0 25 0 1 0 1859077985 9912320 1977 4294967295 134512640 134578447 3221224624 3221223384 1075285885 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1977 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1090.24
Current children cumulated vsize (Kb) 9680

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2011 0 0 0 110003 21 0 0 25 0 1 0 1859077985 9912320 1977 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1977 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1100.24
Current children cumulated vsize (Kb) 9680

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2011 0 0 0 111003 21 0 0 25 0 1 0 1859077985 9912320 1977 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1977 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1110.24
Current children cumulated vsize (Kb) 9680

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2011 0 0 0 112003 21 0 0 25 0 1 0 1859077985 9912320 1977 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1977 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1120.24
Current children cumulated vsize (Kb) 9680

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2011 0 0 0 113004 21 0 0 25 0 1 0 1859077985 9912320 1977 4294967295 134512640 134578447 3221224624 3221223584 134558919 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2420 1977 566 18 0 2402 0
[pid=28623] vsize: 9680
Current children cumulated CPU time (s) 1130.25
Current children cumulated vsize (Kb) 9680

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2026 0 0 0 114004 21 0 0 25 0 1 0 1859077985 10047488 1992 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2453 1992 566 18 0 2435 0
[pid=28623] vsize: 9812
Current children cumulated CPU time (s) 1140.25
Current children cumulated vsize (Kb) 9812

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2026 0 0 0 115004 21 0 0 25 0 1 0 1859077985 10047488 1992 4294967295 134512640 134578447 3221224624 3221223536 134557013 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2453 1992 566 18 0 2435 0
[pid=28623] vsize: 9812
Current children cumulated CPU time (s) 1150.25
Current children cumulated vsize (Kb) 9812

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2048 0 0 0 116004 22 0 0 25 0 1 0 1859077985 10047488 2014 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2453 2014 566 18 0 2435 0
[pid=28623] vsize: 9812
Current children cumulated CPU time (s) 1160.26
Current children cumulated vsize (Kb) 9812

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2049 0 0 0 117004 22 0 0 25 0 1 0 1859077985 10047488 2015 4294967295 134512640 134578447 3221224624 3221223472 134558386 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2453 2015 566 18 0 2435 0
[pid=28623] vsize: 9812
Current children cumulated CPU time (s) 1170.26
Current children cumulated vsize (Kb) 9812

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2050 0 0 0 118005 22 0 0 25 0 1 0 1859077985 10047488 2016 4294967295 134512640 134578447 3221224624 3221223552 134516659 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2453 2016 566 18 0 2435 0
[pid=28623] vsize: 9812
Current children cumulated CPU time (s) 1180.27
Current children cumulated vsize (Kb) 9812

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2050 0 0 0 119004 22 0 0 25 0 1 0 1859077985 10047488 2016 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2453 2016 566 18 0 2435 0
[pid=28623] vsize: 9812
Current children cumulated CPU time (s) 1190.26
Current children cumulated vsize (Kb) 9812

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2050 0 0 0 120005 22 0 0 25 0 1 0 1859077985 10047488 2016 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2453 2016 566 18 0 2435 0
[pid=28623] vsize: 9812
Current children cumulated CPU time (s) 1200.27
Current children cumulated vsize (Kb) 9812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28684
Raw data (/proc/28623/stat): 28623 (Pueblo) R 28622 28623 16528 0 -1 0 2050 0 0 0 120005 22 0 0 25 0 1 0 1859077985 10047488 2016 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28623/statm): 2453 2016 566 18 0 2435 0
[pid=28623] vsize: 9812
Current children cumulated CPU time (s) 1200.27
Current children cumulated vsize (Kb) 9812

Sending SIGTERM to -28623
Sleeping 2 seconds
One traced child (pid=28623) 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.1
CPU time (s): 1200.28
CPU user time (s): 1200.05
CPU system time (s): 0.227965
CPU usage (%): 100.015
Max. virtual memory (cumulated for all children) (Kb): 9812

Verifier Data

ERROR: no interpretation found !