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/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM5b41c3eb79e4b3bf301d25b20a1c7b76
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
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 variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11

Trace number 7860

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-20 14:34:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4997 boxname=wulflinc15 idbench=309 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5b41c3eb79e4b3bf301d25b20a1c7b76  /oldhome/oroussel/tmp/wulflinc15/normalized-cache.inv14.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4997
/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:        821376 kB
Buffers:         30908 kB
Cached:         152356 kB
SwapCached:        744 kB
Active:          72324 kB
Inactive:       113588 kB
HighTotal:      131008 kB
HighFree:         3780 kB
LowTotal:       903652 kB
LowFree:        817596 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            21800 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:54:54 (client local time) WITH STATUS 0 IN 1207.12 SECONDS
stats: 4997 7 1207.12 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/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801057004 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 41 3 40 18 0 23 0
[pid=13595] 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.0034 s]
Raw data (loadavg): 0.84 0.95 0.91 1/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 100490 0 0 0 780 191 0 0 25 0 1 0 1801057004 38977536 9068 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13595/statm): 9516 9068 566 18 0 9498 0
[pid=13595] vsize: 38064
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (Kb) 38064

[startup+20.0042 s]
Raw data (loadavg): 0.86 0.95 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 396123 0 0 0 1204 711 0 0 25 0 1 0 1801057004 38977536 9023 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9516 9023 566 18 0 9498 0
[pid=13595] vsize: 38064
Current children cumulated CPU time (s) 19.15
Current children cumulated vsize (Kb) 38064

[startup+30.004 s]
Raw data (loadavg): 0.88 0.95 0.91 1/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 689924 0 0 0 1628 1231 0 0 25 0 1 0 1801057004 38977536 9068 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13595/statm): 9516 9068 566 18 0 9498 0
[pid=13595] vsize: 38064
Current children cumulated CPU time (s) 28.59
Current children cumulated vsize (Kb) 38064

[startup+40.0038 s]
Raw data (loadavg): 0.90 0.95 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 989694 0 0 0 2061 1741 0 0 25 0 1 0 1801057004 38977536 9068 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9516 9068 566 18 0 9498 0
[pid=13595] vsize: 38064
Current children cumulated CPU time (s) 38.02
Current children cumulated vsize (Kb) 38064

[startup+50.0047 s]
Raw data (loadavg): 0.92 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 1285688 0 0 0 2491 2250 0 0 25 0 1 0 1801057004 38977536 9012 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9516 9012 566 18 0 9498 0
[pid=13595] vsize: 38064
Current children cumulated CPU time (s) 47.41
Current children cumulated vsize (Kb) 38064

[startup+60.0045 s]
Raw data (loadavg): 0.93 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 1582401 0 0 0 2923 2758 0 0 25 0 1 0 1801057004 38977536 9055 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 9516 9064 566 18 0 9498 0
[pid=13595] vsize: 38064
Current children cumulated CPU time (s) 56.81
Current children cumulated vsize (Kb) 38064

[startup+70.0053 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 1882073 0 0 0 3356 3267 0 0 25 0 1 0 1801057004 38977536 9020 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9516 9020 566 18 0 9498 0
[pid=13595] vsize: 38064
Current children cumulated CPU time (s) 66.23
Current children cumulated vsize (Kb) 38064

[startup+80.0061 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 2177608 0 0 0 3792 3771 0 0 25 0 1 0 1801057004 39239680 9062 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9580 9062 566 18 0 9562 0
[pid=13595] vsize: 38320
Current children cumulated CPU time (s) 75.63
Current children cumulated vsize (Kb) 38320

[startup+90.0059 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 2471452 0 0 0 4227 4277 0 0 25 0 1 0 1801057004 39239680 9088 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9580 9088 566 18 0 9562 0
[pid=13595] vsize: 38320
Current children cumulated CPU time (s) 85.04
Current children cumulated vsize (Kb) 38320

[startup+100.007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 2770440 0 0 0 4664 4784 0 0 25 0 1 0 1801057004 39239680 9112 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 9580 9112 566 18 0 9562 0
[pid=13595] vsize: 38320
Current children cumulated CPU time (s) 94.48
Current children cumulated vsize (Kb) 38320

[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 3068401 0 0 0 5104 5289 0 0 25 0 1 0 1801057004 39239680 9101 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9580 9101 566 18 0 9562 0
[pid=13595] vsize: 38320
Current children cumulated CPU time (s) 103.93
Current children cumulated vsize (Kb) 38320

[startup+120.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 3362583 0 0 0 5534 5802 0 0 25 0 1 0 1801057004 39239680 9093 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9580 9093 566 18 0 9562 0
[pid=13595] vsize: 38320
Current children cumulated CPU time (s) 113.36
Current children cumulated vsize (Kb) 38320

[startup+130.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 3656554 0 0 0 5963 6316 0 0 25 0 1 0 1801057004 39239680 9122 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9580 9122 566 18 0 9562 0
[pid=13595] vsize: 38320
Current children cumulated CPU time (s) 122.79
Current children cumulated vsize (Kb) 38320

[startup+140.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 3953197 0 0 0 6387 6835 0 0 25 0 1 0 1801057004 39239680 9095 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9580 9095 566 18 0 9562 0
[pid=13595] vsize: 38320
Current children cumulated CPU time (s) 132.22
Current children cumulated vsize (Kb) 38320

[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 4247288 0 0 0 6820 7340 0 0 25 0 1 0 1801057004 39501824 9120 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9644 9120 566 18 0 9626 0
[pid=13595] vsize: 38576
Current children cumulated CPU time (s) 141.6
Current children cumulated vsize (Kb) 38576

[startup+160.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 4541962 0 0 0 7242 7859 0 0 25 0 1 0 1801057004 39501824 9108 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 9644 9116 566 18 0 9626 0
[pid=13595] vsize: 38576
Current children cumulated CPU time (s) 151.01
Current children cumulated vsize (Kb) 38576

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 4838090 0 0 0 7676 8371 0 0 25 0 1 0 1801057004 39501824 9124 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 9644 9133 566 18 0 9626 0
[pid=13595] vsize: 38576
Current children cumulated CPU time (s) 160.47
Current children cumulated vsize (Kb) 38576

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 5134971 0 0 0 8104 8886 0 0 25 0 1 0 1801057004 39501824 9149 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13595/statm): 9644 9149 566 18 0 9626 0
[pid=13595] vsize: 38576
Current children cumulated CPU time (s) 169.9
Current children cumulated vsize (Kb) 38576

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 5426343 0 0 0 8527 9400 0 0 25 0 1 0 1801057004 39907328 9245 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13595/statm): 9743 9245 566 18 0 9725 0
[pid=13595] vsize: 38972
Current children cumulated CPU time (s) 179.27
Current children cumulated vsize (Kb) 38972

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 5719085 0 0 0 8956 9913 0 0 25 0 1 0 1801057004 40312832 9347 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13595/statm): 9842 9347 566 18 0 9824 0
[pid=13595] vsize: 39368
Current children cumulated CPU time (s) 188.69
Current children cumulated vsize (Kb) 39368

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 6012450 0 0 0 9383 10428 0 0 25 0 1 0 1801057004 40718336 9452 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 9941 9452 566 18 0 9923 0
[pid=13595] vsize: 39764
Current children cumulated CPU time (s) 198.11
Current children cumulated vsize (Kb) 39764

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 6310231 0 0 0 9815 10937 0 0 25 0 1 0 1801057004 41119744 9509 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 10039 9509 566 18 0 10021 0
[pid=13595] vsize: 40156
Current children cumulated CPU time (s) 207.52
Current children cumulated vsize (Kb) 40156

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 6604822 0 0 0 10238 11457 0 0 25 0 1 0 1801057004 41660416 9663 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 10171 9669 566 18 0 10153 0
[pid=13595] vsize: 40684
Current children cumulated CPU time (s) 216.95
Current children cumulated vsize (Kb) 40684

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 6902473 0 0 0 10672 11964 0 0 25 0 1 0 1801057004 42065920 9775 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 10270 9777 566 18 0 10252 0
[pid=13595] vsize: 41080
Current children cumulated CPU time (s) 226.36
Current children cumulated vsize (Kb) 41080

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 7202103 0 0 0 11113 12468 0 0 25 0 1 0 1801057004 42471424 9883 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 10369 9883 566 18 0 10351 0
[pid=13595] vsize: 41476
Current children cumulated CPU time (s) 235.81
Current children cumulated vsize (Kb) 41476

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 7501455 0 0 0 11551 12970 0 0 25 0 1 0 1801057004 42876928 9961 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 10468 9961 566 18 0 10450 0
[pid=13595] vsize: 41872
Current children cumulated CPU time (s) 245.21
Current children cumulated vsize (Kb) 41872

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 7798045 0 0 0 11982 13476 0 0 25 0 1 0 1801057004 43282432 10067 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 10567 10067 566 18 0 10549 0
[pid=13595] vsize: 42268
Current children cumulated CPU time (s) 254.58
Current children cumulated vsize (Kb) 42268

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 8095776 0 0 0 12421 13979 0 0 25 0 1 0 1801057004 43433984 10136 4294967295 134512640 134578447 3221224624 3221223440 1075289570 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 10604 10136 566 18 0 10586 0
[pid=13595] vsize: 42416
Current children cumulated CPU time (s) 264
Current children cumulated vsize (Kb) 42416

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 8393577 0 0 0 12850 14490 0 0 25 0 1 0 1801057004 44617728 10275 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 10893 10284 566 18 0 10875 0
[pid=13595] vsize: 43572
Current children cumulated CPU time (s) 273.4
Current children cumulated vsize (Kb) 43572

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 8690811 0 0 0 13289 14997 0 0 25 0 1 0 1801057004 45023232 10405 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13595/statm): 10992 10405 566 18 0 10974 0
[pid=13595] vsize: 43968
Current children cumulated CPU time (s) 282.86
Current children cumulated vsize (Kb) 43968

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 8980787 0 0 0 13710 15514 0 0 25 0 1 0 1801057004 45428736 10469 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 11091 10469 566 18 0 11073 0
[pid=13595] vsize: 44364
Current children cumulated CPU time (s) 292.24
Current children cumulated vsize (Kb) 44364

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 9270224 0 0 0 14140 16024 0 0 25 0 1 0 1801057004 45834240 10614 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 11190 10614 566 18 0 11172 0
[pid=13595] vsize: 44760
Current children cumulated CPU time (s) 301.64
Current children cumulated vsize (Kb) 44760

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 9569355 0 0 0 14568 16540 0 0 25 0 1 0 1801057004 46239744 10719 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13595/statm): 11289 10719 566 18 0 11271 0
[pid=13595] vsize: 45156
Current children cumulated CPU time (s) 311.08
Current children cumulated vsize (Kb) 45156

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 9870722 0 0 0 15004 17046 0 0 25 0 1 0 1801057004 46645248 10828 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13595/statm): 11388 10828 566 18 0 11370 0
[pid=13595] vsize: 45552
Current children cumulated CPU time (s) 320.5
Current children cumulated vsize (Kb) 45552

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 10169686 0 0 0 15432 17560 0 0 25 0 1 0 1801057004 47050752 10890 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 11487 10898 566 18 0 11469 0
[pid=13595] vsize: 45948
Current children cumulated CPU time (s) 329.92
Current children cumulated vsize (Kb) 45948

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 10468852 0 0 0 15868 18065 0 0 25 0 1 0 1801057004 47456256 11030 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 11586 11034 566 18 0 11568 0
[pid=13595] vsize: 46344
Current children cumulated CPU time (s) 339.33
Current children cumulated vsize (Kb) 46344

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 10768981 0 0 0 16302 18574 0 0 25 0 1 0 1801057004 47861760 11141 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13595/statm): 11685 11141 566 18 0 11667 0
[pid=13595] vsize: 46740
Current children cumulated CPU time (s) 348.76
Current children cumulated vsize (Kb) 46740

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11066082 0 0 0 16735 19079 0 0 25 0 1 0 1801057004 48267264 11200 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 11784 11200 566 18 0 11766 0
[pid=13595] vsize: 47136
Current children cumulated CPU time (s) 358.14
Current children cumulated vsize (Kb) 47136

[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11361169 0 0 0 17172 19586 0 0 25 0 1 0 1801057004 48672768 11353 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 11883 11353 566 18 0 11865 0
[pid=13595] vsize: 47532
Current children cumulated CPU time (s) 367.58
Current children cumulated vsize (Kb) 47532

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612384 0 0 0 17699 20008 0 0 25 0 1 0 1801057004 50356224 11716 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11716 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 377.07
Current children cumulated vsize (Kb) 49176

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612417 0 0 0 18699 20008 0 0 25 0 1 0 1801057004 50356224 11749 4294967295 134512640 134578447 3221224624 3221223568 134558949 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11749 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 387.07
Current children cumulated vsize (Kb) 49176

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612422 0 0 0 19698 20009 0 0 25 0 1 0 1801057004 50356224 11754 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11754 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 397.07
Current children cumulated vsize (Kb) 49176

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612422 0 0 0 20698 20009 0 0 25 0 1 0 1801057004 50356224 11754 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11754 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 407.07
Current children cumulated vsize (Kb) 49176

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612422 0 0 0 21698 20009 0 0 25 0 1 0 1801057004 50356224 11754 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11754 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 417.07
Current children cumulated vsize (Kb) 49176

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 3/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 22697 20010 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 427.07
Current children cumulated vsize (Kb) 49176

[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 23696 20010 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 437.06
Current children cumulated vsize (Kb) 49176

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 24696 20011 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223476 134555875 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 447.07
Current children cumulated vsize (Kb) 49176

[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 25696 20011 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 457.07
Current children cumulated vsize (Kb) 49176

[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 26696 20011 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134558903 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 467.07
Current children cumulated vsize (Kb) 49176

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 27696 20011 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 477.07
Current children cumulated vsize (Kb) 49176

[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 28696 20012 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 487.08
Current children cumulated vsize (Kb) 49176

[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 29695 20012 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 497.07
Current children cumulated vsize (Kb) 49176

[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 30695 20013 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 507.08
Current children cumulated vsize (Kb) 49176

[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 31694 20013 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 517.07
Current children cumulated vsize (Kb) 49176

[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 32694 20014 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 527.08
Current children cumulated vsize (Kb) 49176

[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 33694 20014 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 537.08
Current children cumulated vsize (Kb) 49176

[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 34693 20014 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 547.07
Current children cumulated vsize (Kb) 49176

[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 35693 20015 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 557.08
Current children cumulated vsize (Kb) 49176

[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 36693 20015 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 567.08
Current children cumulated vsize (Kb) 49176

[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 37692 20016 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 577.08
Current children cumulated vsize (Kb) 49176

[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 38692 20016 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 587.08
Current children cumulated vsize (Kb) 49176

[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 39692 20016 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223584 134558605 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 597.08
Current children cumulated vsize (Kb) 49176

[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 40691 20017 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 607.08
Current children cumulated vsize (Kb) 49176

[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 41691 20017 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 617.08
Current children cumulated vsize (Kb) 49176

[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 42691 20017 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 627.08
Current children cumulated vsize (Kb) 49176

[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 43690 20018 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 637.08
Current children cumulated vsize (Kb) 49176

[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 44690 20018 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 647.08
Current children cumulated vsize (Kb) 49176

[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 45690 20018 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 657.08
Current children cumulated vsize (Kb) 49176

[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 46689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 667.08
Current children cumulated vsize (Kb) 49176

[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 47689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 677.08
Current children cumulated vsize (Kb) 49176

[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 48689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 687.08
Current children cumulated vsize (Kb) 49176

[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 49689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223568 134558669 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 697.08
Current children cumulated vsize (Kb) 49176

[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 50689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 707.08
Current children cumulated vsize (Kb) 49176

[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 51688 20020 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223536 134557051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 717.08
Current children cumulated vsize (Kb) 49176

[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 52688 20020 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 727.08
Current children cumulated vsize (Kb) 49176

[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 53688 20020 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223536 134557264 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 737.08
Current children cumulated vsize (Kb) 49176

[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 54688 20020 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223500 134558259 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 747.08
Current children cumulated vsize (Kb) 49176

[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 55688 20021 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0
[pid=13595] vsize: 49176
Current children cumulated CPU time (s) 757.09
Current children cumulated vsize (Kb) 49176

[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612525 0 0 0 56687 20021 0 0 25 0 1 0 1801057004 50753536 11857 4294967295 134512640 134578447 3221224624 3221223536 134557203 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12391 11857 566 18 0 12373 0
[pid=13595] vsize: 49564
Current children cumulated CPU time (s) 767.08
Current children cumulated vsize (Kb) 49564

[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612600 0 0 0 57686 20022 0 0 25 0 1 0 1801057004 51130368 11932 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12483 11932 566 18 0 12465 0
[pid=13595] vsize: 49932
Current children cumulated CPU time (s) 777.08
Current children cumulated vsize (Kb) 49932

[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612893 0 0 0 58685 20023 0 0 25 0 1 0 1801057004 52277248 12225 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12763 12225 566 18 0 12745 0
[pid=13595] vsize: 51052
Current children cumulated CPU time (s) 787.08
Current children cumulated vsize (Kb) 51052

[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613075 0 0 0 59684 20024 0 0 25 0 1 0 1801057004 53018624 12407 4294967295 134512640 134578447 3221224624 3221223472 134558418 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 12944 12407 566 18 0 12926 0
[pid=13595] vsize: 51776
Current children cumulated CPU time (s) 797.08
Current children cumulated vsize (Kb) 51776

[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613249 0 0 0 60683 20024 0 0 25 0 1 0 1801057004 53846016 12581 4294967295 134512640 134578447 3221224624 3221223476 134555740 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 13146 12581 566 18 0 13128 0
[pid=13595] vsize: 52584
Current children cumulated CPU time (s) 807.07
Current children cumulated vsize (Kb) 52584

[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613259 0 0 0 61683 20025 0 0 25 0 1 0 1801057004 53780480 12591 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 13130 12591 566 18 0 13112 0
[pid=13595] vsize: 52520
Current children cumulated CPU time (s) 817.08
Current children cumulated vsize (Kb) 52520

[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613337 0 0 0 62682 20025 0 0 25 0 1 0 1801057004 54243328 12669 4294967295 134512640 134578447 3221224624 3221223648 134554125 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 13243 12669 566 18 0 13225 0
[pid=13595] vsize: 52972
Current children cumulated CPU time (s) 827.07
Current children cumulated vsize (Kb) 52972

[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613485 0 0 0 63682 20026 0 0 25 0 1 0 1801057004 54886400 12817 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 13400 12817 566 18 0 13382 0
[pid=13595] vsize: 53600
Current children cumulated CPU time (s) 837.08
Current children cumulated vsize (Kb) 53600

[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613594 0 0 0 64681 20027 0 0 25 0 1 0 1801057004 55267328 12926 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 13493 12926 566 18 0 13475 0
[pid=13595] vsize: 53972
Current children cumulated CPU time (s) 847.08
Current children cumulated vsize (Kb) 53972

[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613697 0 0 0 65681 20027 0 0 25 0 1 0 1801057004 55603200 13029 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 13575 13029 566 18 0 13557 0
[pid=13595] vsize: 54300
Current children cumulated CPU time (s) 857.08
Current children cumulated vsize (Kb) 54300

[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613891 0 0 0 66679 20028 0 0 25 0 1 0 1801057004 56430592 13223 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 13777 13223 566 18 0 13759 0
[pid=13595] vsize: 55108
Current children cumulated CPU time (s) 867.07
Current children cumulated vsize (Kb) 55108

[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614069 0 0 0 67678 20030 0 0 25 0 1 0 1801057004 57180160 13401 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 13960 13401 566 18 0 13942 0
[pid=13595] vsize: 55840
Current children cumulated CPU time (s) 877.08
Current children cumulated vsize (Kb) 55840

[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614115 0 0 0 68678 20030 0 0 25 0 1 0 1801057004 57311232 13447 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 13992 13447 566 18 0 13974 0
[pid=13595] vsize: 55968
Current children cumulated CPU time (s) 887.08
Current children cumulated vsize (Kb) 55968

[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614218 0 0 0 69676 20031 0 0 25 0 1 0 1801057004 57831424 13550 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 14119 13550 566 18 0 14101 0
[pid=13595] vsize: 56476
Current children cumulated CPU time (s) 897.07
Current children cumulated vsize (Kb) 56476

[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614385 0 0 0 70675 20032 0 0 25 0 1 0 1801057004 58490880 13717 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 14280 13717 566 18 0 14262 0
[pid=13595] vsize: 57120
Current children cumulated CPU time (s) 907.07
Current children cumulated vsize (Kb) 57120

[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614638 0 0 0 71674 20033 0 0 25 0 1 0 1801057004 59555840 13970 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 14540 13970 566 18 0 14522 0
[pid=13595] vsize: 58160
Current children cumulated CPU time (s) 917.07
Current children cumulated vsize (Kb) 58160

[startup+950.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614783 0 0 0 72673 20034 0 0 25 0 1 0 1801057004 60116992 14115 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 14677 14115 566 18 0 14659 0
[pid=13595] vsize: 58708
Current children cumulated CPU time (s) 927.07
Current children cumulated vsize (Kb) 58708

[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614835 0 0 0 73672 20035 0 0 25 0 1 0 1801057004 60366848 14167 4294967295 134512640 134578447 3221224624 3221223584 134559011 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 14738 14167 566 18 0 14720 0
[pid=13595] vsize: 58952
Current children cumulated CPU time (s) 937.07
Current children cumulated vsize (Kb) 58952

[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614892 0 0 0 74672 20035 0 0 25 0 1 0 1801057004 60485632 14224 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 14767 14224 566 18 0 14749 0
[pid=13595] vsize: 59068
Current children cumulated CPU time (s) 947.07
Current children cumulated vsize (Kb) 59068

[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615043 0 0 0 75671 20036 0 0 25 0 1 0 1801057004 61161472 14375 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 14932 14375 566 18 0 14914 0
[pid=13595] vsize: 59728
Current children cumulated CPU time (s) 957.07
Current children cumulated vsize (Kb) 59728

[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615238 0 0 0 76670 20036 0 0 25 0 1 0 1801057004 61968384 14570 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 15129 14570 566 18 0 15111 0
[pid=13595] vsize: 60516
Current children cumulated CPU time (s) 967.06
Current children cumulated vsize (Kb) 60516

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615356 0 0 0 77670 20037 0 0 25 0 1 0 1801057004 62492672 14688 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 15257 14688 566 18 0 15239 0
[pid=13595] vsize: 61028
Current children cumulated CPU time (s) 977.07
Current children cumulated vsize (Kb) 61028

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615479 0 0 0 78669 20037 0 0 25 0 1 0 1801057004 63004672 14811 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 15382 14811 566 18 0 15364 0
[pid=13595] vsize: 61528
Current children cumulated CPU time (s) 987.06
Current children cumulated vsize (Kb) 61528

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615593 0 0 0 79669 20038 0 0 25 0 1 0 1801057004 63434752 14925 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 15487 14925 566 18 0 15469 0
[pid=13595] vsize: 61948
Current children cumulated CPU time (s) 997.07
Current children cumulated vsize (Kb) 61948

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615701 0 0 0 80668 20039 0 0 25 0 1 0 1801057004 63799296 15033 4294967295 134512640 134578447 3221224624 3221223476 134555895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 15576 15033 566 18 0 15558 0
[pid=13595] vsize: 62304
Current children cumulated CPU time (s) 1007.07
Current children cumulated vsize (Kb) 62304

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615879 0 0 0 81667 20039 0 0 25 0 1 0 1801057004 64569344 15211 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 15764 15211 566 18 0 15746 0
[pid=13595] vsize: 63056
Current children cumulated CPU time (s) 1017.06
Current children cumulated vsize (Kb) 63056

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616155 0 0 0 82666 20040 0 0 25 0 1 0 1801057004 65695744 15487 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13595/statm): 16039 15487 566 18 0 16021 0
[pid=13595] vsize: 64156
Current children cumulated CPU time (s) 1027.06
Current children cumulated vsize (Kb) 64156

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616279 0 0 0 83665 20041 0 0 25 0 1 0 1801057004 66220032 15611 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 16167 15611 566 18 0 16149 0
[pid=13595] vsize: 64668
Current children cumulated CPU time (s) 1037.06
Current children cumulated vsize (Kb) 64668

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616464 0 0 0 84664 20042 0 0 25 0 1 0 1801057004 66936832 15796 4294967295 134512640 134578447 3221224624 3221223536 134557190 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 16342 15796 566 18 0 16324 0
[pid=13595] vsize: 65368
Current children cumulated CPU time (s) 1047.06
Current children cumulated vsize (Kb) 65368

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616671 0 0 0 85663 20043 0 0 25 0 1 0 1801057004 67780608 16003 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 16548 16003 566 18 0 16530 0
[pid=13595] vsize: 66192
Current children cumulated CPU time (s) 1057.06
Current children cumulated vsize (Kb) 66192

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616833 0 0 0 86662 20044 0 0 25 0 1 0 1801057004 68448256 16165 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 16711 16165 566 18 0 16693 0
[pid=13595] vsize: 66844
Current children cumulated CPU time (s) 1067.06
Current children cumulated vsize (Kb) 66844

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616937 0 0 0 87663 20044 0 0 25 0 1 0 1801057004 68853760 16269 4294967295 134512640 134578447 3221224624 3221223504 134518936 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 16810 16269 566 18 0 16792 0
[pid=13595] vsize: 67240
Current children cumulated CPU time (s) 1077.07
Current children cumulated vsize (Kb) 67240

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617069 0 0 0 88662 20044 0 0 25 0 1 0 1801057004 69390336 16401 4294967295 134512640 134578447 3221224624 3221223476 134555888 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 16941 16401 566 18 0 16923 0
[pid=13595] vsize: 67764
Current children cumulated CPU time (s) 1087.06
Current children cumulated vsize (Kb) 67764

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617201 0 0 0 89662 20044 0 0 25 0 1 0 1801057004 70062080 16533 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 17105 16533 566 18 0 17087 0
[pid=13595] vsize: 68420
Current children cumulated CPU time (s) 1097.06
Current children cumulated vsize (Kb) 68420

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617276 0 0 0 90662 20045 0 0 25 0 1 0 1801057004 70307840 16608 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 17165 16608 566 18 0 17147 0
[pid=13595] vsize: 68660
Current children cumulated CPU time (s) 1107.07
Current children cumulated vsize (Kb) 68660

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617502 0 0 0 91661 20046 0 0 25 0 1 0 1801057004 71168000 16834 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 17375 16834 566 18 0 17357 0
[pid=13595] vsize: 69500
Current children cumulated CPU time (s) 1117.07
Current children cumulated vsize (Kb) 69500

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617655 0 0 0 92661 20046 0 0 25 0 1 0 1801057004 71815168 16987 4294967295 134512640 134578447 3221224624 3221223600 134519645 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 17533 16987 566 18 0 17515 0
[pid=13595] vsize: 70132
Current children cumulated CPU time (s) 1127.07
Current children cumulated vsize (Kb) 70132

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617774 0 0 0 93661 20046 0 0 25 0 1 0 1801057004 72314880 17106 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 17655 17106 566 18 0 17637 0
[pid=13595] vsize: 70620
Current children cumulated CPU time (s) 1137.07
Current children cumulated vsize (Kb) 70620

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617877 0 0 0 94660 20047 0 0 25 0 1 0 1801057004 72712192 17209 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 17752 17209 566 18 0 17734 0
[pid=13595] vsize: 71008
Current children cumulated CPU time (s) 1147.07
Current children cumulated vsize (Kb) 71008

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618022 0 0 0 95660 20047 0 0 25 0 1 0 1801057004 73392128 17354 4294967295 134512640 134578447 3221224624 3221223476 134555800 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 17918 17354 566 18 0 17900 0
[pid=13595] vsize: 71672
Current children cumulated CPU time (s) 1157.07
Current children cumulated vsize (Kb) 71672

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618145 0 0 0 96660 20047 0 0 25 0 1 0 1801057004 73916416 17477 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 18046 17477 566 18 0 18028 0
[pid=13595] vsize: 72184
Current children cumulated CPU time (s) 1167.07
Current children cumulated vsize (Kb) 72184

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618286 0 0 0 97659 20048 0 0 25 0 1 0 1801057004 74461184 17618 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 18179 17618 566 18 0 18161 0
[pid=13595] vsize: 72716
Current children cumulated CPU time (s) 1177.07
Current children cumulated vsize (Kb) 72716

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618432 0 0 0 98659 20048 0 0 25 0 1 0 1801057004 75190272 17764 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 18357 17764 566 18 0 18339 0
[pid=13595] vsize: 73428
Current children cumulated CPU time (s) 1187.07
Current children cumulated vsize (Kb) 73428

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618527 0 0 0 99659 20049 0 0 25 0 1 0 1801057004 75550720 17859 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 18445 17859 566 18 0 18427 0
[pid=13595] vsize: 73780
Current children cumulated CPU time (s) 1197.08
Current children cumulated vsize (Kb) 73780

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618642 0 0 0 100658 20049 0 0 25 0 1 0 1801057004 75931648 17974 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 18538 17974 566 18 0 18520 0
[pid=13595] vsize: 74152
Current children cumulated CPU time (s) 1207.07
Current children cumulated vsize (Kb) 74152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13595
Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618642 0 0 0 100658 20049 0 0 25 0 1 0 1801057004 75931648 17974 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13595/statm): 18538 17974 566 18 0 18520 0
[pid=13595] vsize: 74152
Current children cumulated CPU time (s) 1207.07
Current children cumulated vsize (Kb) 74152

Sending SIGTERM to -13595
Sleeping 2 seconds
One traced child (pid=13595) 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): 1230.1
CPU time (s): 1207.12
CPU user time (s): 1006.59
CPU system time (s): 200.527
CPU usage (%): 98.1316
Max. virtual memory (cumulated for all children) (Kb): 74152

Verifier Data

ERROR: no interpretation found !