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-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM46f4eb904b1c96b45521a6459aa5d49d
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables109757
Total number of constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 7858

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-20 14:32:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4991 boxname=wulflinc19 idbench=303 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  46f4eb904b1c96b45521a6459aa5d49d  /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4991
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        858672 kB
Buffers:         29276 kB
Cached:         117672 kB
SwapCached:        884 kB
Active:          71220 kB
Inactive:        78360 kB
HighTotal:      131008 kB
HighFree:        14700 kB
LowTotal:       903652 kB
LowFree:        843972 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5564 kB
Slab:            20712 kB
Committed_AS:    64152 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:53:10 (client local time) WITH STATUS 0 IN 1201.1 SECONDS
stats: 4991 7 1201.1 0

Solver Data

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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859269882 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 41 3 40 18 0 23 0
[pid=13481] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0035 s]
Raw data (loadavg): 0.82 0.91 0.90 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 11184 0 0 0 949 36 0 0 25 0 1 0 1859269882 47374336 11150 4294967295 134512640 134578447 3221224624 3221092128 1074910621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 11566 11150 566 18 0 11548 0
[pid=13481] vsize: 46264
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 46264

[startup+20.0043 s]
Raw data (loadavg): 0.85 0.91 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 16089 0 0 0 1933 49 0 0 25 0 1 0 1859269882 68792320 15929 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16795 15929 566 18 0 16777 0
[pid=13481] vsize: 67180
Current children cumulated CPU time (s) 19.82
Current children cumulated vsize (Kb) 67180

[startup+30.0051 s]
Raw data (loadavg): 0.87 0.91 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 254979 0 0 0 2454 496 0 0 25 0 1 0 1859269882 69234688 16031 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 29.5
Current children cumulated vsize (Kb) 67612

[startup+40.0059 s]
Raw data (loadavg): 0.89 0.91 0.91 1/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) T 13480 13481 5929 0 -1 0 543345 0 0 0 2875 1040 0 0 17 0 1 0 1859269882 68792320 15929 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16795 15929 566 18 0 16777 0
[pid=13481] vsize: 67180
Current children cumulated CPU time (s) 39.15
Current children cumulated vsize (Kb) 67180

[startup+50.0057 s]
Raw data (loadavg): 0.91 0.92 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 835176 0 0 0 3297 1578 0 0 25 0 1 0 1859269882 69234688 15944 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 15944 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 48.75
Current children cumulated vsize (Kb) 67612

[startup+60.0065 s]
Raw data (loadavg): 0.92 0.92 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 1128211 0 0 0 3715 2125 0 0 25 0 1 0 1859269882 69234688 15975 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 15975 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 58.4
Current children cumulated vsize (Kb) 67612

[startup+70.0063 s]
Raw data (loadavg): 0.93 0.92 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 1422255 0 0 0 4143 2659 0 0 25 0 1 0 1859269882 69234688 15935 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 15935 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 68.02
Current children cumulated vsize (Kb) 67612

[startup+80.0072 s]
Raw data (loadavg): 0.94 0.92 0.91 1/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) T 13480 13481 5929 0 -1 0 1715469 0 0 0 4559 3206 0 0 25 0 1 0 1859269882 68792320 15929 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16795 15929 566 18 0 16777 0
[pid=13481] vsize: 67180
Current children cumulated CPU time (s) 77.65
Current children cumulated vsize (Kb) 67180

[startup+90.0079 s]
Raw data (loadavg): 0.95 0.92 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 2008411 0 0 0 4981 3750 0 0 25 0 1 0 1859269882 69234688 15975 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 15975 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 87.31
Current children cumulated vsize (Kb) 67612

[startup+100.009 s]
Raw data (loadavg): 0.96 0.93 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 2302211 0 0 0 5409 4284 0 0 25 0 1 0 1859269882 69234688 16015 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 16023 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 96.93
Current children cumulated vsize (Kb) 67612

[startup+110.009 s]
Raw data (loadavg): 0.96 0.93 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 2593071 0 0 0 5832 4823 0 0 25 0 1 0 1859269882 69234688 16031 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 106.55
Current children cumulated vsize (Kb) 67612

[startup+120.01 s]
Raw data (loadavg): 0.97 0.93 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 2883381 0 0 0 6253 5362 0 0 25 0 1 0 1859269882 69234688 16037 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 116.15
Current children cumulated vsize (Kb) 67612

[startup+130.011 s]
Raw data (loadavg): 0.97 0.93 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 3174168 0 0 0 6674 5903 0 0 25 0 1 0 1859269882 69234688 15980 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 15988 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 125.77
Current children cumulated vsize (Kb) 67612

[startup+140.012 s]
Raw data (loadavg): 0.98 0.93 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 3464908 0 0 0 7092 6444 0 0 25 0 1 0 1859269882 69234688 15984 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 15992 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 135.36
Current children cumulated vsize (Kb) 67612

[startup+150.012 s]
Raw data (loadavg): 0.98 0.94 0.91 1/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) T 13480 13481 5929 0 -1 0 3753753 0 0 0 7513 6983 0 0 25 0 1 0 1859269882 69234688 16037 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 144.96
Current children cumulated vsize (Kb) 67612

[startup+160.012 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 4042574 0 0 0 7929 7526 0 0 25 0 1 0 1859269882 69234688 15958 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 15966 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 154.55
Current children cumulated vsize (Kb) 67612

[startup+170.012 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 4332245 0 0 0 8340 8075 0 0 25 0 1 0 1859269882 69234688 15973 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 15973 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 164.15
Current children cumulated vsize (Kb) 67612

[startup+180.012 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) T 13480 13481 5929 0 -1 0 4622073 0 0 0 8761 8613 0 0 25 0 1 0 1859269882 69234688 16037 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 173.74
Current children cumulated vsize (Kb) 67612

[startup+190.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 4913116 0 0 0 9177 9155 0 0 25 0 1 0 1859269882 69234688 16021 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 16021 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 183.32
Current children cumulated vsize (Kb) 67612

[startup+200.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 5205376 0 0 0 9592 9701 0 0 25 0 1 0 1859269882 69234688 16032 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 16032 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 192.93
Current children cumulated vsize (Kb) 67612

[startup+210.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 5496828 0 0 0 10010 10239 0 0 25 0 1 0 1859269882 69234688 15992 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 15999 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 202.49
Current children cumulated vsize (Kb) 67612

[startup+220.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 5785748 0 0 0 10434 10777 0 0 25 0 1 0 1859269882 69234688 16012 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16903 16020 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 212.11
Current children cumulated vsize (Kb) 67612

[startup+230.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6074113 0 0 0 10851 11321 0 0 25 0 1 0 1859269882 69234688 16017 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 16023 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 221.72
Current children cumulated vsize (Kb) 67612

[startup+240.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6362204 0 0 0 11267 11866 0 0 25 0 1 0 1859269882 69234688 15964 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 16903 15964 566 18 0 16885 0
[pid=13481] vsize: 67612
Current children cumulated CPU time (s) 231.33
Current children cumulated vsize (Kb) 67612

[startup+250.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651674 0 0 0 11692 12398 0 0 25 0 1 0 1859269882 69316608 15994 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 15994 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 240.9
Current children cumulated vsize (Kb) 67692

[startup+260.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651678 0 0 0 12692 12398 0 0 25 0 1 0 1859269882 69316608 15998 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 15998 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 250.9
Current children cumulated vsize (Kb) 67692

[startup+270.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651683 0 0 0 13692 12398 0 0 25 0 1 0 1859269882 69316608 16003 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16003 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 260.9
Current children cumulated vsize (Kb) 67692

[startup+280.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651688 0 0 0 14692 12398 0 0 25 0 1 0 1859269882 69316608 16008 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16008 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 270.9
Current children cumulated vsize (Kb) 67692

[startup+290.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651693 0 0 0 15692 12398 0 0 25 0 1 0 1859269882 69316608 16013 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16013 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (Kb) 67692

[startup+300.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651698 0 0 0 16692 12398 0 0 25 0 1 0 1859269882 69316608 16018 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16018 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 290.9
Current children cumulated vsize (Kb) 67692

[startup+310.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651703 0 0 0 17692 12398 0 0 25 0 1 0 1859269882 69316608 16023 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16023 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 300.9
Current children cumulated vsize (Kb) 67692

[startup+320.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651707 0 0 0 18693 12398 0 0 25 0 1 0 1859269882 69316608 16027 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16027 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 310.91
Current children cumulated vsize (Kb) 67692

[startup+330.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651712 0 0 0 19693 12399 0 0 25 0 1 0 1859269882 69316608 16032 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16032 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 320.92
Current children cumulated vsize (Kb) 67692

[startup+340.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651717 0 0 0 20693 12399 0 0 25 0 1 0 1859269882 69316608 16037 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16037 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 330.92
Current children cumulated vsize (Kb) 67692

[startup+350.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651722 0 0 0 21693 12399 0 0 25 0 1 0 1859269882 69316608 16042 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16042 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (Kb) 67692

[startup+360.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651727 0 0 0 22693 12399 0 0 25 0 1 0 1859269882 69316608 16047 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16047 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 350.92
Current children cumulated vsize (Kb) 67692

[startup+370.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651732 0 0 0 23693 12399 0 0 25 0 1 0 1859269882 69316608 16052 4294967295 134512640 134578447 3221224624 3221223616 134532015 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16923 16052 566 18 0 16905 0
[pid=13481] vsize: 67692
Current children cumulated CPU time (s) 360.92
Current children cumulated vsize (Kb) 67692

[startup+380.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651757 0 0 0 24694 12399 0 0 25 0 1 0 1859269882 69451776 16077 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 16956 16077 566 18 0 16938 0
[pid=13481] vsize: 67824
Current children cumulated CPU time (s) 370.93
Current children cumulated vsize (Kb) 67824

[startup+390.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651868 0 0 0 25693 12399 0 0 25 0 1 0 1859269882 70381568 16188 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 17183 16188 566 18 0 17165 0
[pid=13481] vsize: 68732
Current children cumulated CPU time (s) 380.92
Current children cumulated vsize (Kb) 68732

[startup+400.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651978 0 0 0 26693 12400 0 0 25 0 1 0 1859269882 70922240 16298 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 17315 16298 566 18 0 17297 0
[pid=13481] vsize: 69260
Current children cumulated CPU time (s) 390.93
Current children cumulated vsize (Kb) 69260

[startup+410.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652087 0 0 0 27693 12400 0 0 25 0 1 0 1859269882 71327744 16407 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 17414 16407 566 18 0 17396 0
[pid=13481] vsize: 69656
Current children cumulated CPU time (s) 400.93
Current children cumulated vsize (Kb) 69656

[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652199 0 0 0 28693 12400 0 0 25 0 1 0 1859269882 71733248 16519 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 17513 16519 566 18 0 17495 0
[pid=13481] vsize: 70052
Current children cumulated CPU time (s) 410.93
Current children cumulated vsize (Kb) 70052

[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652310 0 0 0 29692 12401 0 0 25 0 1 0 1859269882 72138752 16630 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 17612 16630 566 18 0 17594 0
[pid=13481] vsize: 70448
Current children cumulated CPU time (s) 420.93
Current children cumulated vsize (Kb) 70448

[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652420 0 0 0 30692 12401 0 0 25 0 1 0 1859269882 72544256 16740 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 17711 16740 566 18 0 17693 0
[pid=13481] vsize: 70844
Current children cumulated CPU time (s) 430.93
Current children cumulated vsize (Kb) 70844

[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652529 0 0 0 31692 12402 0 0 25 0 1 0 1859269882 72949760 16849 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 17810 16849 566 18 0 17792 0
[pid=13481] vsize: 71240
Current children cumulated CPU time (s) 440.94
Current children cumulated vsize (Kb) 71240

[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652640 0 0 0 32692 12402 0 0 25 0 1 0 1859269882 73490432 16960 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 17942 16960 566 18 0 17924 0
[pid=13481] vsize: 71768
Current children cumulated CPU time (s) 450.94
Current children cumulated vsize (Kb) 71768

[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652748 0 0 0 33691 12403 0 0 25 0 1 0 1859269882 73895936 17068 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18041 17068 566 18 0 18023 0
[pid=13481] vsize: 72164
Current children cumulated CPU time (s) 460.94
Current children cumulated vsize (Kb) 72164

[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652860 0 0 0 34691 12403 0 0 25 0 1 0 1859269882 74301440 17180 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18140 17180 566 18 0 18122 0
[pid=13481] vsize: 72560
Current children cumulated CPU time (s) 470.94
Current children cumulated vsize (Kb) 72560

[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652969 0 0 0 35691 12403 0 0 25 0 1 0 1859269882 74706944 17289 4294967295 134512640 134578447 3221224624 3221223616 134532015 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18239 17289 566 18 0 18221 0
[pid=13481] vsize: 72956
Current children cumulated CPU time (s) 480.94
Current children cumulated vsize (Kb) 72956

[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653081 0 0 0 36691 12404 0 0 25 0 1 0 1859269882 75112448 17401 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18338 17401 566 18 0 18320 0
[pid=13481] vsize: 73352
Current children cumulated CPU time (s) 490.95
Current children cumulated vsize (Kb) 73352

[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653193 0 0 0 37690 12404 0 0 25 0 1 0 1859269882 75653120 17513 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18470 17513 566 18 0 18452 0
[pid=13481] vsize: 73880
Current children cumulated CPU time (s) 500.94
Current children cumulated vsize (Kb) 73880

[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653305 0 0 0 38690 12404 0 0 25 0 1 0 1859269882 76058624 17625 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18569 17625 566 18 0 18551 0
[pid=13481] vsize: 74276
Current children cumulated CPU time (s) 510.94
Current children cumulated vsize (Kb) 74276

[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653414 0 0 0 39690 12405 0 0 25 0 1 0 1859269882 76464128 17734 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18668 17734 566 18 0 18650 0
[pid=13481] vsize: 74672
Current children cumulated CPU time (s) 520.95
Current children cumulated vsize (Kb) 74672

[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653527 0 0 0 40690 12405 0 0 25 0 1 0 1859269882 76869632 17847 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18767 17847 566 18 0 18749 0
[pid=13481] vsize: 75068
Current children cumulated CPU time (s) 530.95
Current children cumulated vsize (Kb) 75068

[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653643 0 0 0 41689 12405 0 0 25 0 1 0 1859269882 77410304 17963 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18899 17963 566 18 0 18881 0
[pid=13481] vsize: 75596
Current children cumulated CPU time (s) 540.94
Current children cumulated vsize (Kb) 75596

[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653752 0 0 0 42689 12406 0 0 25 0 1 0 1859269882 77815808 18072 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 18998 18072 566 18 0 18980 0
[pid=13481] vsize: 75992
Current children cumulated CPU time (s) 550.95
Current children cumulated vsize (Kb) 75992

[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653868 0 0 0 43689 12406 0 0 25 0 1 0 1859269882 78221312 18188 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 19097 18188 566 18 0 19079 0
[pid=13481] vsize: 76388
Current children cumulated CPU time (s) 560.95
Current children cumulated vsize (Kb) 76388

[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653986 0 0 0 44688 12407 0 0 25 0 1 0 1859269882 78761984 18306 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 19229 18306 566 18 0 19211 0
[pid=13481] vsize: 76916
Current children cumulated CPU time (s) 570.95
Current children cumulated vsize (Kb) 76916

[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654095 0 0 0 45687 12408 0 0 25 0 1 0 1859269882 79167488 18415 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 19328 18415 566 18 0 19310 0
[pid=13481] vsize: 77312
Current children cumulated CPU time (s) 580.95
Current children cumulated vsize (Kb) 77312

[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654209 0 0 0 46686 12409 0 0 25 0 1 0 1859269882 79572992 18529 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 19427 18529 566 18 0 19409 0
[pid=13481] vsize: 77708
Current children cumulated CPU time (s) 590.95
Current children cumulated vsize (Kb) 77708

[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654319 0 0 0 47686 12410 0 0 25 0 1 0 1859269882 79978496 18639 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 19526 18639 566 18 0 19508 0
[pid=13481] vsize: 78104
Current children cumulated CPU time (s) 600.96
Current children cumulated vsize (Kb) 78104

[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654429 0 0 0 48686 12410 0 0 25 0 1 0 1859269882 80519168 18749 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 19658 18749 566 18 0 19640 0
[pid=13481] vsize: 78632
Current children cumulated CPU time (s) 610.96
Current children cumulated vsize (Kb) 78632

[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654541 0 0 0 49685 12411 0 0 25 0 1 0 1859269882 80924672 18861 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 19757 18861 566 18 0 19739 0
[pid=13481] vsize: 79028
Current children cumulated CPU time (s) 620.96
Current children cumulated vsize (Kb) 79028

[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654650 0 0 0 50685 12411 0 0 25 0 1 0 1859269882 81330176 18970 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 19856 18970 566 18 0 19838 0
[pid=13481] vsize: 79424
Current children cumulated CPU time (s) 630.96
Current children cumulated vsize (Kb) 79424

[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654760 0 0 0 51684 12412 0 0 25 0 1 0 1859269882 82784256 19080 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 20211 19080 566 18 0 20193 0
[pid=13481] vsize: 80844
Current children cumulated CPU time (s) 640.96
Current children cumulated vsize (Kb) 80844

[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654871 0 0 0 52684 12412 0 0 25 0 1 0 1859269882 83189760 19191 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 20310 19191 566 18 0 20292 0
[pid=13481] vsize: 81240
Current children cumulated CPU time (s) 650.96
Current children cumulated vsize (Kb) 81240

[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654984 0 0 0 53683 12413 0 0 25 0 1 0 1859269882 83730432 19304 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 20442 19304 566 18 0 20424 0
[pid=13481] vsize: 81768
Current children cumulated CPU time (s) 660.96
Current children cumulated vsize (Kb) 81768

[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655093 0 0 0 54683 12414 0 0 25 0 1 0 1859269882 84135936 19413 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 20541 19413 566 18 0 20523 0
[pid=13481] vsize: 82164
Current children cumulated CPU time (s) 670.97
Current children cumulated vsize (Kb) 82164

[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655204 0 0 0 55683 12414 0 0 25 0 1 0 1859269882 84541440 19524 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 20640 19524 566 18 0 20622 0
[pid=13481] vsize: 82560
Current children cumulated CPU time (s) 680.97
Current children cumulated vsize (Kb) 82560

[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655322 0 0 0 56682 12415 0 0 25 0 1 0 1859269882 84946944 19642 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 20739 19642 566 18 0 20721 0
[pid=13481] vsize: 82956
Current children cumulated CPU time (s) 690.97
Current children cumulated vsize (Kb) 82956

[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655439 0 0 0 57682 12415 0 0 25 0 1 0 1859269882 85487616 19759 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 20871 19759 566 18 0 20853 0
[pid=13481] vsize: 83484
Current children cumulated CPU time (s) 700.97
Current children cumulated vsize (Kb) 83484

[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655807 0 0 0 58681 12416 0 0 25 0 1 0 1859269882 86974464 20127 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 21234 20127 566 18 0 21216 0
[pid=13481] vsize: 84936
Current children cumulated CPU time (s) 710.97
Current children cumulated vsize (Kb) 84936

[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6656416 0 0 0 59679 12418 0 0 25 0 1 0 1859269882 89407488 20736 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 21828 20736 566 18 0 21810 0
[pid=13481] vsize: 87312
Current children cumulated CPU time (s) 720.97
Current children cumulated vsize (Kb) 87312

[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6657024 0 0 0 60677 12420 0 0 25 0 1 0 1859269882 91840512 21344 4294967295 134512640 134578447 3221224624 3221223616 134532015 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 22422 21344 566 18 0 22404 0
[pid=13481] vsize: 89688
Current children cumulated CPU time (s) 730.97
Current children cumulated vsize (Kb) 89688

[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6657641 0 0 0 61675 12422 0 0 25 0 1 0 1859269882 94408704 21961 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23049 21961 566 18 0 23031 0
[pid=13481] vsize: 92196
Current children cumulated CPU time (s) 740.97
Current children cumulated vsize (Kb) 92196

[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658120 0 0 0 62672 12424 0 0 25 0 1 0 1859269882 96616448 22440 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 23588 22440 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 750.96
Current children cumulated vsize (Kb) 94352

[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658121 0 0 0 63672 12424 0 0 25 0 1 0 1859269882 96616448 22441 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 23588 22441 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 760.96
Current children cumulated vsize (Kb) 94352

[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658121 0 0 0 64670 12425 0 0 25 0 1 0 1859269882 96616448 22441 4294967295 134512640 134578447 3221224624 3221223572 134526370 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13481/statm): 23588 22441 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 770.95
Current children cumulated vsize (Kb) 94352

[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 65670 12425 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 780.95
Current children cumulated vsize (Kb) 94352

[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 66670 12425 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223200 134554125 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 790.95
Current children cumulated vsize (Kb) 94352

[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 67670 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223412 1075289793 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 800.96
Current children cumulated vsize (Kb) 94352

[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 68670 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 810.96
Current children cumulated vsize (Kb) 94352

[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 69670 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 820.96
Current children cumulated vsize (Kb) 94352

[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 70671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 830.97
Current children cumulated vsize (Kb) 94352

[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 71671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 840.97
Current children cumulated vsize (Kb) 94352

[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 72671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134557033 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 850.97
Current children cumulated vsize (Kb) 94352

[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 73671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 860.97
Current children cumulated vsize (Kb) 94352

[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 74671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 870.97
Current children cumulated vsize (Kb) 94352

[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 75671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 880.97
Current children cumulated vsize (Kb) 94352

[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 76672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 890.98
Current children cumulated vsize (Kb) 94352

[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 77672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 900.98
Current children cumulated vsize (Kb) 94352

[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 78672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 910.98
Current children cumulated vsize (Kb) 94352

[startup+930.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 79672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 920.98
Current children cumulated vsize (Kb) 94352

[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 80672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 930.98
Current children cumulated vsize (Kb) 94352

[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 81672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 940.98
Current children cumulated vsize (Kb) 94352

[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 82673 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 950.99
Current children cumulated vsize (Kb) 94352

[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 83673 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 960.99
Current children cumulated vsize (Kb) 94352

[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 84673 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 970.99
Current children cumulated vsize (Kb) 94352

[startup+990.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 85673 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 981
Current children cumulated vsize (Kb) 94352

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 86673 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 991
Current children cumulated vsize (Kb) 94352

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 87673 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134558889 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1001
Current children cumulated vsize (Kb) 94352

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 88673 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1011
Current children cumulated vsize (Kb) 94352

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 89674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1021.01
Current children cumulated vsize (Kb) 94352

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 90674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1031.01
Current children cumulated vsize (Kb) 94352

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 91674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223648 134554125 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1041.01
Current children cumulated vsize (Kb) 94352

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 92674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1051.01
Current children cumulated vsize (Kb) 94352

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 93674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1061.01
Current children cumulated vsize (Kb) 94352

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 94674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1071.01
Current children cumulated vsize (Kb) 94352

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 95675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1081.02
Current children cumulated vsize (Kb) 94352

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 96675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223456 134527053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1091.02
Current children cumulated vsize (Kb) 94352

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 97675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1101.02
Current children cumulated vsize (Kb) 94352

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 98675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1111.02
Current children cumulated vsize (Kb) 94352

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 99675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1121.02
Current children cumulated vsize (Kb) 94352

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 100676 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223552 134552652 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1131.03
Current children cumulated vsize (Kb) 94352

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 101676 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1141.03
Current children cumulated vsize (Kb) 94352

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 102676 12428 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223556 134552644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1151.04
Current children cumulated vsize (Kb) 94352

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 103676 12428 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1161.04
Current children cumulated vsize (Kb) 94352

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 104676 12428 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1171.04
Current children cumulated vsize (Kb) 94352

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 105675 12429 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1181.04
Current children cumulated vsize (Kb) 94352

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 106674 12430 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1191.04
Current children cumulated vsize (Kb) 94352

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 107674 12430 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223472 134558198 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1201.04
Current children cumulated vsize (Kb) 94352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13481
Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 107674 12430 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0
[pid=13481] vsize: 94352
Current children cumulated CPU time (s) 1201.04
Current children cumulated vsize (Kb) 94352

Sending SIGTERM to -13481
Sleeping 2 seconds
One traced child (pid=13481) 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): 1210.11
CPU time (s): 1201.1
CPU user time (s): 1076.74
CPU system time (s): 124.353
CPU usage (%): 99.2552
Max. virtual memory (cumulated for all children) (Kb): 94352

Verifier Data

ERROR: no interpretation found !