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.mem.LsqHdStrong.ucl.opb
MD5SUMdcb6d1c3f66e900ae345e6fa455bef2a
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 variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 7865

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-20 14:35:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5012 boxname=wulflinc9 idbench=324 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  dcb6d1c3f66e900ae345e6fa455bef2a  /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5012
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        813896 kB
Buffers:         37844 kB
Cached:         153008 kB
SwapCached:       1044 kB
Active:          84140 kB
Inactive:       109444 kB
HighTotal:      131008 kB
HighFree:         3808 kB
LowTotal:       903652 kB
LowFree:        810088 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            21564 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:56:37 (client local time) WITH STATUS 0 IN 1204.76 SECONDS
stats: 5012 7 1204.76 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/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801076096 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 41 3 40 18 0 23 0
[pid=8536] 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.0031 s]
Raw data (loadavg): 0.74 0.90 0.89 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 11052 0 0 0 949 36 0 0 25 0 1 0 1801076096 46829568 11018 4294967295 134512640 134578447 3221224624 3221092132 1074960160 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 11433 11018 566 18 0 11415 0
[pid=8536] vsize: 45732
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 45732

[startup+20.0039 s]
Raw data (loadavg): 0.78 0.90 0.89 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19905 0 0 0 1915 62 0 0 25 0 1 0 1801076096 83111936 19871 4294967295 134512640 134578447 3221224624 3221092092 1075310620 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 20291 19871 566 18 0 20273 0
[pid=8536] vsize: 81164
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 81164

[startup+30.0047 s]
Raw data (loadavg): 0.81 0.90 0.89 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 288589 0 0 0 2368 581 0 0 25 0 1 0 1801076096 109314048 24099 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24107 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 29.49
Current children cumulated vsize (Kb) 106752

[startup+40.0054 s]
Raw data (loadavg): 0.84 0.91 0.89 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 575268 0 0 0 2779 1140 0 0 25 0 1 0 1801076096 109314048 24173 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24181 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 39.19
Current children cumulated vsize (Kb) 106752

[startup+50.0052 s]
Raw data (loadavg): 0.87 0.91 0.89 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 861629 0 0 0 3196 1692 0 0 25 0 1 0 1801076096 109314048 24094 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24102 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 48.88
Current children cumulated vsize (Kb) 106752

[startup+60.0059 s]
Raw data (loadavg): 0.89 0.91 0.89 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 1145044 0 0 0 3610 2250 0 0 25 0 1 0 1801076096 109314048 24040 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26688 24040 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 58.6
Current children cumulated vsize (Kb) 106752

[startup+70.0067 s]
Raw data (loadavg): 0.90 0.91 0.89 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 1429654 0 0 0 4025 2805 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 68.3
Current children cumulated vsize (Kb) 106752

[startup+80.0074 s]
Raw data (loadavg): 0.92 0.92 0.90 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 1715552 0 0 0 4441 3359 0 0 25 0 1 0 1801076096 109314048 24142 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24150 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 78
Current children cumulated vsize (Kb) 106752

[startup+90.0082 s]
Raw data (loadavg): 0.93 0.92 0.90 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 2001169 0 0 0 4856 3916 0 0 25 0 1 0 1801076096 109314048 24144 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24151 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 87.72
Current children cumulated vsize (Kb) 106752

[startup+100.008 s]
Raw data (loadavg): 0.94 0.92 0.90 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 2287159 0 0 0 5269 4476 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 97.45
Current children cumulated vsize (Kb) 106752

[startup+110.009 s]
Raw data (loadavg): 0.95 0.92 0.90 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 2573599 0 0 0 5677 5040 0 0 22 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 107.17
Current children cumulated vsize (Kb) 106752

[startup+120.008 s]
Raw data (loadavg): 0.96 0.92 0.90 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 2859106 0 0 0 6082 5606 0 0 25 0 1 0 1801076096 109314048 24081 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24089 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 116.88
Current children cumulated vsize (Kb) 106752

[startup+130.009 s]
Raw data (loadavg): 0.96 0.93 0.90 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 3143572 0 0 0 6492 6168 0 0 25 0 1 0 1801076096 109314048 24087 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24096 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 126.6
Current children cumulated vsize (Kb) 106752

[startup+140.01 s]
Raw data (loadavg): 0.97 0.93 0.90 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 3428844 0 0 0 6900 6733 0 0 25 0 1 0 1801076096 109314048 24074 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24083 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 136.33
Current children cumulated vsize (Kb) 106752

[startup+150.01 s]
Raw data (loadavg): 0.97 0.93 0.90 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 3714115 0 0 0 7306 7300 0 0 25 0 1 0 1801076096 109314048 24060 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24069 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 146.06
Current children cumulated vsize (Kb) 106752

[startup+160.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 3998638 0 0 0 7713 7866 0 0 25 0 1 0 1801076096 109314048 24123 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24131 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 155.79
Current children cumulated vsize (Kb) 106752

[startup+170.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 4282834 0 0 0 8114 8438 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 165.52
Current children cumulated vsize (Kb) 106752

[startup+180.011 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 4568249 0 0 0 8525 8998 0 0 25 0 1 0 1801076096 109314048 24154 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24161 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 175.23
Current children cumulated vsize (Kb) 106752

[startup+190.012 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 4853239 0 0 0 8936 9560 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 184.96
Current children cumulated vsize (Kb) 106752

[startup+200.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 5138009 0 0 0 9347 10121 0 0 25 0 1 0 1801076096 109314048 24169 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24176 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 194.68
Current children cumulated vsize (Kb) 106752

[startup+210.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 5421632 0 0 0 9753 10685 0 0 20 0 1 0 1801076096 109314048 24157 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24164 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 204.38
Current children cumulated vsize (Kb) 106752

[startup+220.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 5706180 0 0 0 10161 11249 0 0 25 0 1 0 1801076096 109314048 24080 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24089 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 214.1
Current children cumulated vsize (Kb) 106752

[startup+230.013 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 5991244 0 0 0 10573 11811 0 0 25 0 1 0 1801076096 108638208 24024 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26523 24024 566 18 0 26505 0
[pid=8536] vsize: 106092
Current children cumulated CPU time (s) 223.84
Current children cumulated vsize (Kb) 106092

[startup+240.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 6276936 0 0 0 10978 12378 0 0 25 0 1 0 1801076096 109314048 24101 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24109 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 233.56
Current children cumulated vsize (Kb) 106752

[startup+250.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 6562785 0 0 0 11387 12942 0 0 25 0 1 0 1801076096 109314048 24170 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24177 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 243.29
Current children cumulated vsize (Kb) 106752

[startup+260.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 6848283 0 0 0 11800 13500 0 0 25 0 1 0 1801076096 109314048 24053 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24061 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 253
Current children cumulated vsize (Kb) 106752

[startup+270.014 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 7133044 0 0 0 12208 14063 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 262.71
Current children cumulated vsize (Kb) 106752

[startup+280.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 7417438 0 0 0 12620 14621 0 0 25 0 1 0 1801076096 109314048 24123 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24130 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 272.41
Current children cumulated vsize (Kb) 106752

[startup+290.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 7702401 0 0 0 13036 15178 0 0 25 0 1 0 1801076096 109314048 24131 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24138 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (Kb) 106752

[startup+300.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 7985823 0 0 0 13443 15746 0 0 25 0 1 0 1801076096 109314048 24083 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26688 24083 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 291.89
Current children cumulated vsize (Kb) 106752

[startup+310.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 8271090 0 0 0 13841 16321 0 0 25 0 1 0 1801076096 109314048 24065 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24073 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 301.62
Current children cumulated vsize (Kb) 106752

[startup+320.017 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 8555674 0 0 0 14246 16887 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 311.33
Current children cumulated vsize (Kb) 106752

[startup+330.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 8840767 0 0 0 14651 17454 0 0 25 0 1 0 1801076096 109314048 24162 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24170 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 321.05
Current children cumulated vsize (Kb) 106752

[startup+340.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 9125749 0 0 0 15058 18019 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 330.77
Current children cumulated vsize (Kb) 106752

[startup+350.018 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 9410704 0 0 0 15467 18581 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 340.48
Current children cumulated vsize (Kb) 106752

[startup+360.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 9695468 0 0 0 15877 19143 0 0 25 0 1 0 1801076096 109314048 24163 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26688 24163 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 350.2
Current children cumulated vsize (Kb) 106752

[startup+370.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 9980271 0 0 0 16290 19701 0 0 25 0 1 0 1801076096 109314048 24176 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24183 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 359.91
Current children cumulated vsize (Kb) 106752

[startup+380.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 10265999 0 0 0 16703 20260 0 0 19 0 1 0 1801076096 109314048 24124 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24132 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 369.63
Current children cumulated vsize (Kb) 106752

[startup+390.02 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 10551679 0 0 0 17119 20819 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0
[pid=8536] vsize: 106752
Current children cumulated CPU time (s) 379.38
Current children cumulated vsize (Kb) 106752

[startup+400.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 10835984 0 0 0 17522 21387 0 0 25 0 1 0 1801076096 109838336 24199 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24207 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 389.09
Current children cumulated vsize (Kb) 107264

[startup+410.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 11121458 0 0 0 17933 21948 0 0 17 0 1 0 1801076096 109838336 24223 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24231 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 398.81
Current children cumulated vsize (Kb) 107264

[startup+420.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 11405952 0 0 0 18337 22516 0 0 25 0 1 0 1801076096 109838336 24257 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24257 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (Kb) 107264

[startup+430.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 11690047 0 0 0 18753 23073 0 0 25 0 1 0 1801076096 109838336 24222 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24231 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 418.26
Current children cumulated vsize (Kb) 107264

[startup+440.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 11974903 0 0 0 19164 23634 0 0 25 0 1 0 1801076096 109838336 24123 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24132 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 427.98
Current children cumulated vsize (Kb) 107264

[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 12259805 0 0 0 19572 24199 0 0 25 0 1 0 1801076096 109838336 24235 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24243 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 437.71
Current children cumulated vsize (Kb) 107264

[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 12544322 0 0 0 19980 24764 0 0 25 0 1 0 1801076096 109838336 24127 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26816 24127 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 447.44
Current children cumulated vsize (Kb) 107264

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 12827930 0 0 0 20394 25322 0 0 25 0 1 0 1801076096 109838336 24265 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24265 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 457.16
Current children cumulated vsize (Kb) 107264

[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 13111685 0 0 0 20801 25887 0 0 25 0 1 0 1801076096 109838336 24220 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24228 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 466.88
Current children cumulated vsize (Kb) 107264

[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 13395123 0 0 0 21211 26449 0 0 25 0 1 0 1801076096 109838336 24188 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24196 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 476.6
Current children cumulated vsize (Kb) 107264

[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 13678998 0 0 0 21622 27008 0 0 21 0 1 0 1801076096 109838336 24263 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24269 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 486.3
Current children cumulated vsize (Kb) 107264

[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 13962459 0 0 0 22031 27570 0 0 25 0 1 0 1801076096 109838336 24254 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24261 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 496.01
Current children cumulated vsize (Kb) 107264

[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 14246889 0 0 0 22444 28129 0 0 25 0 1 0 1801076096 109838336 24224 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24232 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 505.73
Current children cumulated vsize (Kb) 107264

[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 14530245 0 0 0 22855 28689 0 0 25 0 1 0 1801076096 109838336 24110 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24110 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 515.44
Current children cumulated vsize (Kb) 107264

[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 14815202 0 0 0 23260 29255 0 0 25 0 1 0 1801076096 109162496 24112 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26651 24112 566 18 0 26633 0
[pid=8536] vsize: 106604
Current children cumulated CPU time (s) 525.15
Current children cumulated vsize (Kb) 106604

[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 15099484 0 0 0 23669 29819 0 0 20 0 1 0 1801076096 109838336 24264 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24271 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 534.88
Current children cumulated vsize (Kb) 107264

[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 15382342 0 0 0 24071 30389 0 0 25 0 1 0 1801076096 109838336 24147 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24156 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 544.6
Current children cumulated vsize (Kb) 107264

[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 15666277 0 0 0 24482 30951 0 0 25 0 1 0 1801076096 109162496 24117 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26651 24117 566 18 0 26633 0
[pid=8536] vsize: 106604
Current children cumulated CPU time (s) 554.33
Current children cumulated vsize (Kb) 106604

[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 15950079 0 0 0 24885 31517 0 0 25 0 1 0 1801076096 109838336 24284 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24284 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 564.02
Current children cumulated vsize (Kb) 107264

[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 16233880 0 0 0 25296 32079 0 0 25 0 1 0 1801076096 109838336 24285 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24285 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 573.75
Current children cumulated vsize (Kb) 107264

[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 16518177 0 0 0 25702 32641 0 0 25 0 1 0 1801076096 109838336 24287 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24287 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 583.43
Current children cumulated vsize (Kb) 107264

[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 16802804 0 0 0 26106 33211 0 0 25 0 1 0 1801076096 109838336 24289 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24289 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 593.17
Current children cumulated vsize (Kb) 107264

[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 17086713 0 0 0 26516 33771 0 0 25 0 1 0 1801076096 109838336 24233 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26816 24233 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 602.87
Current children cumulated vsize (Kb) 107264

[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 17370124 0 0 0 26929 34328 0 0 25 0 1 0 1801076096 109838336 24175 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26816 24175 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 612.57
Current children cumulated vsize (Kb) 107264

[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 17651601 0 0 0 27338 34889 0 0 25 0 1 0 1801076096 109838336 24161 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24170 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 622.27
Current children cumulated vsize (Kb) 107264

[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 17936856 0 0 0 27748 35450 0 0 25 0 1 0 1801076096 109838336 24296 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24296 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 631.98
Current children cumulated vsize (Kb) 107264

[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 18221617 0 0 0 28149 36018 0 0 25 0 1 0 1801076096 109838336 24267 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26816 24267 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 641.67
Current children cumulated vsize (Kb) 107264

[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 18504060 0 0 0 28562 36576 0 0 25 0 1 0 1801076096 109838336 24230 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24238 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 651.38
Current children cumulated vsize (Kb) 107264

[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 18789581 0 0 0 28969 37139 0 0 25 0 1 0 1801076096 109162496 24136 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26651 24136 566 18 0 26633 0
[pid=8536] vsize: 106604
Current children cumulated CPU time (s) 661.08
Current children cumulated vsize (Kb) 106604

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19075505 0 0 0 29384 37695 0 0 21 0 1 0 1801076096 109838336 24280 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24287 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 670.79
Current children cumulated vsize (Kb) 107264

[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 19359989 0 0 0 29796 38253 0 0 25 0 1 0 1801076096 109838336 24304 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24304 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 680.49
Current children cumulated vsize (Kb) 107264

[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19645211 0 0 0 30204 38816 0 0 25 0 1 0 1801076096 109838336 24241 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24249 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 690.2
Current children cumulated vsize (Kb) 107264

[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19930164 0 0 0 30605 39386 0 0 25 0 1 0 1801076096 109838336 24239 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24246 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 699.91
Current children cumulated vsize (Kb) 107264

[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 20215139 0 0 0 31008 39951 0 0 25 0 1 0 1801076096 109838336 24259 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24268 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 709.59
Current children cumulated vsize (Kb) 107264

[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 20499981 0 0 0 31422 40506 0 0 21 0 1 0 1801076096 109838336 24311 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24311 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 719.28
Current children cumulated vsize (Kb) 107264

[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 20785102 0 0 0 31826 41071 0 0 25 0 1 0 1801076096 109838336 24312 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24312 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 728.97
Current children cumulated vsize (Kb) 107264

[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 21070369 0 0 0 32238 41630 0 0 25 0 1 0 1801076096 109838336 24294 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24301 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 738.68
Current children cumulated vsize (Kb) 107264

[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 21355904 0 0 0 32653 42182 0 0 25 0 1 0 1801076096 109838336 24214 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24223 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 748.35
Current children cumulated vsize (Kb) 107264

[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 21640841 0 0 0 33060 42747 0 0 25 0 1 0 1801076096 109838336 24196 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26816 24204 566 18 0 26798 0
[pid=8536] vsize: 107264
Current children cumulated CPU time (s) 758.07
Current children cumulated vsize (Kb) 107264

[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 21925195 0 0 0 33473 43302 0 0 21 0 1 0 1801076096 110362624 24255 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24263 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 767.75
Current children cumulated vsize (Kb) 107776

[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 22208896 0 0 0 33884 43862 0 0 25 0 1 0 1801076096 110362624 24156 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26944 24156 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 777.46
Current children cumulated vsize (Kb) 107776

[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 22492456 0 0 0 34289 44426 0 0 25 0 1 0 1801076096 110362624 24246 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24253 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 787.15
Current children cumulated vsize (Kb) 107776

[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 22777128 0 0 0 34695 44991 0 0 25 0 1 0 1801076096 110362624 24293 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26944 24293 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 796.86
Current children cumulated vsize (Kb) 107776

[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 23060466 0 0 0 35104 45553 0 0 25 0 1 0 1801076096 110362624 24326 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24326 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 806.57
Current children cumulated vsize (Kb) 107776

[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 23344228 0 0 0 35509 46119 0 0 25 0 1 0 1801076096 110362624 24288 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24295 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 816.28
Current children cumulated vsize (Kb) 107776

[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 23627907 0 0 0 35920 46680 0 0 25 0 1 0 1801076096 110362624 24167 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26944 24167 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 826
Current children cumulated vsize (Kb) 107776

[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 23909891 0 0 0 36326 47246 0 0 25 0 1 0 1801076096 110362624 24331 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24331 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 835.72
Current children cumulated vsize (Kb) 107776

[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 24193357 0 0 0 36732 47811 0 0 25 0 1 0 1801076096 110362624 24327 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24333 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 845.43
Current children cumulated vsize (Kb) 107776

[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 24477329 0 0 0 37135 48380 0 0 25 0 1 0 1801076096 110362624 24334 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24334 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 855.15
Current children cumulated vsize (Kb) 107776

[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 24760279 0 0 0 37543 48943 0 0 25 0 1 0 1801076096 110362624 24309 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24316 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 864.86
Current children cumulated vsize (Kb) 107776

[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 25044868 0 0 0 37950 49505 0 0 25 0 1 0 1801076096 110362624 24273 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24280 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 874.55
Current children cumulated vsize (Kb) 107776

[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 25329559 0 0 0 38359 50067 0 0 25 0 1 0 1801076096 110362624 24339 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24339 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 884.26
Current children cumulated vsize (Kb) 107776

[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 25614440 0 0 0 38775 50620 0 0 25 0 1 0 1801076096 110362624 24265 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24273 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 893.95
Current children cumulated vsize (Kb) 107776

[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 25896301 0 0 0 39183 51184 0 0 25 0 1 0 1801076096 110362624 24306 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24314 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 903.67
Current children cumulated vsize (Kb) 107776

[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 26179974 0 0 0 39594 51745 0 0 25 0 1 0 1801076096 110362624 24344 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24344 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 913.39
Current children cumulated vsize (Kb) 107776

[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 26463281 0 0 0 40004 52308 0 0 25 0 1 0 1801076096 109686784 24181 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26779 24181 566 18 0 26761 0
[pid=8536] vsize: 107116
Current children cumulated CPU time (s) 923.12
Current children cumulated vsize (Kb) 107116

[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 26746498 0 0 0 40417 52866 0 0 25 0 1 0 1801076096 110362624 24258 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24265 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 932.83
Current children cumulated vsize (Kb) 107776

[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 27029189 0 0 0 40816 53441 0 0 25 0 1 0 1801076096 110362624 24304 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24311 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 942.57
Current children cumulated vsize (Kb) 107776

[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 27311819 0 0 0 41223 54006 0 0 18 0 1 0 1801076096 110362624 24289 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24296 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 952.29
Current children cumulated vsize (Kb) 107776

[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 27594804 0 0 0 41624 54578 0 0 25 0 1 0 1801076096 110362624 24299 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24306 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 962.02
Current children cumulated vsize (Kb) 107776

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 27877395 0 0 0 42029 55144 0 0 25 0 1 0 1801076096 110362624 24245 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24254 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 971.73
Current children cumulated vsize (Kb) 107776

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 28160811 0 0 0 42439 55706 0 0 25 0 1 0 1801076096 110362624 24356 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24356 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 981.45
Current children cumulated vsize (Kb) 107776

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 28443871 0 0 0 42847 56269 0 0 22 0 1 0 1801076096 110362624 24276 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26944 24276 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 991.16
Current children cumulated vsize (Kb) 107776

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 28725774 0 0 0 43251 56836 0 0 25 0 1 0 1801076096 110362624 24359 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24359 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1000.87
Current children cumulated vsize (Kb) 107776

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 29008224 0 0 0 43655 57402 0 0 25 0 1 0 1801076096 110362624 24329 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24336 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1010.57
Current children cumulated vsize (Kb) 107776

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 29290502 0 0 0 44062 57965 0 0 25 0 1 0 1801076096 110362624 24292 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24301 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1020.27
Current children cumulated vsize (Kb) 107776

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 29574479 0 0 0 44466 58531 0 0 25 0 1 0 1801076096 110362624 24304 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24312 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1029.97
Current children cumulated vsize (Kb) 107776

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 29858141 0 0 0 44878 59090 0 0 25 0 1 0 1801076096 110362624 24331 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26944 24331 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1039.68
Current children cumulated vsize (Kb) 107776

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 30138908 0 0 0 45290 59649 0 0 25 0 1 0 1801076096 110362624 24268 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8536/statm): 26944 24268 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1049.39
Current children cumulated vsize (Kb) 107776

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 30421528 0 0 0 45703 60209 0 0 25 0 1 0 1801076096 110362624 24243 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24252 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1059.12
Current children cumulated vsize (Kb) 107776

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 30704961 0 0 0 46111 60774 0 0 25 0 1 0 1801076096 110362624 24371 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24371 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1068.85
Current children cumulated vsize (Kb) 107776

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 30989049 0 0 0 46517 61339 0 0 25 0 1 0 1801076096 110362624 24329 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24336 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1078.56
Current children cumulated vsize (Kb) 107776

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 31273631 0 0 0 46923 61903 0 0 25 0 1 0 1801076096 110362624 24286 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24294 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1088.26
Current children cumulated vsize (Kb) 107776

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 31558511 0 0 0 47327 62471 0 0 25 0 1 0 1801076096 110362624 24376 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24376 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1097.98
Current children cumulated vsize (Kb) 107776

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 31843568 0 0 0 47737 63031 0 0 25 0 1 0 1801076096 110362624 24313 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24320 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1107.68
Current children cumulated vsize (Kb) 107776

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 32128260 0 0 0 48145 63593 0 0 25 0 1 0 1801076096 109686784 24215 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26779 24215 566 18 0 26761 0
[pid=8536] vsize: 107116
Current children cumulated CPU time (s) 1117.38
Current children cumulated vsize (Kb) 107116

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 32412864 0 0 0 48559 64152 0 0 21 0 1 0 1801076096 110362624 24360 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24367 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1127.11
Current children cumulated vsize (Kb) 107776

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 32695863 0 0 0 48962 64719 0 0 25 0 1 0 1801076096 110362624 24383 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24383 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1136.81
Current children cumulated vsize (Kb) 107776

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 32980126 0 0 0 49373 65276 0 0 25 0 1 0 1801076096 110362624 24351 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24359 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1146.49
Current children cumulated vsize (Kb) 107776

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 33264235 0 0 0 49783 65834 0 0 25 0 1 0 1801076096 110362624 24330 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24337 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1156.17
Current children cumulated vsize (Kb) 107776

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 33547987 0 0 0 50195 66392 0 0 25 0 1 0 1801076096 110362624 24282 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26944 24291 566 18 0 26926 0
[pid=8536] vsize: 107776
Current children cumulated CPU time (s) 1165.87
Current children cumulated vsize (Kb) 107776

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 33830252 0 0 0 50592 66964 0 0 25 0 1 0 1801076096 110497792 24397 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8536/statm): 26977 24397 566 18 0 26959 0
[pid=8536] vsize: 107908
Current children cumulated CPU time (s) 1175.56
Current children cumulated vsize (Kb) 107908

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 34111913 0 0 0 50995 67531 0 0 25 0 1 0 1801076096 110632960 24403 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 27010 24410 566 18 0 26992 0
[pid=8536] vsize: 108040
Current children cumulated CPU time (s) 1185.26
Current children cumulated vsize (Kb) 108040

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 34394790 0 0 0 51398 68098 0 0 25 0 1 0 1801076096 110768128 24470 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 27043 24470 566 18 0 27025 0
[pid=8536] vsize: 108172
Current children cumulated CPU time (s) 1194.96
Current children cumulated vsize (Kb) 108172

[startup+1240.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 34677885 0 0 0 51803 68667 0 0 25 0 1 0 1801076096 110903296 24425 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 27076 24433 566 18 0 27058 0
[pid=8536] vsize: 108304
Current children cumulated CPU time (s) 1204.7
Current children cumulated vsize (Kb) 108304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8536
Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 34677911 0 0 0 51803 68667 0 0 25 0 1 0 1801076096 110903296 24451 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8536/statm): 27076 24459 566 18 0 27058 0
[pid=8536] vsize: 108304
Current children cumulated CPU time (s) 1204.7
Current children cumulated vsize (Kb) 108304

Sending SIGTERM to -8536
Sleeping 2 seconds
One traced child (pid=8536) 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): 1240.11
CPU time (s): 1204.76
CPU user time (s): 518.032
CPU system time (s): 686.726
CPU usage (%): 97.1495
Max. virtual memory (cumulated for all children) (Kb): 108304

Verifier Data

ERROR: no interpretation found !