Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUM6005a01d3f2ae55b0ca9c19f876c5827
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 139
Optimality of the best value was proved NO
Number of terms in the objective function 360
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 360
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 360
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables360
Total number of constraints980
Number of constraints which are clauses980
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8

Trace number 7722

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        641960 kB
Buffers:         40724 kB
Cached:         320336 kB
SwapCached:        768 kB
Active:         231108 kB
Inactive:       132424 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        641708 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5688 kB
Slab:            23400 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 13:59:40 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 4844 0 1189.02 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 360 - #constraints read: 981
c total time              : 1189 s
s SATISFIABLE
v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 -x59 x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 -x97 x98 x99 -x100 -x101 -x102 x103 -x104 x105 -x106 -x107 x108 x109 -x110 -x111 -x112 x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 x125 -x126 -x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 x227 -x228 -x229 x230 -x231 x232 -x233 x234 x235 -x236 -x237 x238 -x239 x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 x256 -x257 x258 -x259 x260 x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 x308 -x309 x310 -x311 -x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 x321 -x322 -x323 x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 x340 -x341 x342 x343 -x344 -x345 x346 -x347 x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 x356 -x357 x358 -x359 -x360

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/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1858955344 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 41 3 40 18 0 23 0
[pid=10636] 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.0032 s]
Raw data (loadavg): 0.87 0.80 0.42 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 560 0 0 0 978 9 0 0 25 0 1 0 1858955344 3862528 526 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 943 526 566 18 0 925 0
[pid=10636] vsize: 3772
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 3772

[startup+20.0039 s]
Raw data (loadavg): 0.89 0.80 0.42 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 600 0 0 0 1958 18 0 0 25 0 1 0 1858955344 3948544 566 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 964 566 566 18 0 946 0
[pid=10636] vsize: 3856
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 3856

[startup+30.0047 s]
Raw data (loadavg): 0.90 0.81 0.43 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 667 0 0 0 2934 26 0 0 25 0 1 0 1858955344 4227072 633 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1032 633 566 18 0 1014 0
[pid=10636] vsize: 4128
Current children cumulated CPU time (s) 29.6
Current children cumulated vsize (Kb) 4128

[startup+40.0045 s]
Raw data (loadavg): 0.92 0.81 0.43 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 681 0 0 0 3914 33 0 0 25 0 1 0 1858955344 4280320 647 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1045 647 566 18 0 1027 0
[pid=10636] vsize: 4180
Current children cumulated CPU time (s) 39.47
Current children cumulated vsize (Kb) 4180

[startup+50.0052 s]
Raw data (loadavg): 0.93 0.82 0.44 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 681 0 0 0 4899 38 0 0 25 0 1 0 1858955344 4280320 647 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1045 647 566 18 0 1027 0
[pid=10636] vsize: 4180
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (Kb) 4180

[startup+60.006 s]
Raw data (loadavg): 0.94 0.83 0.45 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 736 0 0 0 5877 46 0 0 25 0 1 0 1858955344 4554752 702 4294967295 134512640 134578447 3221224624 3221221616 134533081 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1112 702 566 18 0 1094 0
[pid=10636] vsize: 4448
Current children cumulated CPU time (s) 59.23
Current children cumulated vsize (Kb) 4448

[startup+70.0058 s]
Raw data (loadavg): 0.95 0.83 0.45 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 736 0 0 0 6858 52 0 0 25 0 1 0 1858955344 4554752 702 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1112 702 566 18 0 1094 0
[pid=10636] vsize: 4448
Current children cumulated CPU time (s) 69.1
Current children cumulated vsize (Kb) 4448

[startup+80.0065 s]
Raw data (loadavg): 0.96 0.83 0.46 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 765 0 0 0 7841 59 0 0 25 0 1 0 1858955344 4608000 731 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1125 731 566 18 0 1107 0
[pid=10636] vsize: 4500
Current children cumulated CPU time (s) 79
Current children cumulated vsize (Kb) 4500

[startup+90.0063 s]
Raw data (loadavg): 0.96 0.84 0.46 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 785 0 0 0 8818 68 0 0 25 0 1 0 1858955344 4739072 751 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1157 751 566 18 0 1139 0
[pid=10636] vsize: 4628
Current children cumulated CPU time (s) 88.86
Current children cumulated vsize (Kb) 4628

[startup+100.007 s]
Raw data (loadavg): 0.97 0.84 0.47 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 785 0 0 0 9795 77 0 0 20 0 1 0 1858955344 4739072 751 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1157 751 566 18 0 1139 0
[pid=10636] vsize: 4628
Current children cumulated CPU time (s) 98.72
Current children cumulated vsize (Kb) 4628

[startup+110.008 s]
Raw data (loadavg): 0.97 0.85 0.47 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 785 0 0 0 10782 81 0 0 25 0 1 0 1858955344 4739072 751 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1157 751 566 18 0 1139 0
[pid=10636] vsize: 4628
Current children cumulated CPU time (s) 108.63
Current children cumulated vsize (Kb) 4628

[startup+120.008 s]
Raw data (loadavg): 0.98 0.85 0.48 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 796 0 0 0 11766 86 0 0 25 0 1 0 1858955344 4739072 762 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1157 762 566 18 0 1139 0
[pid=10636] vsize: 4628
Current children cumulated CPU time (s) 118.52
Current children cumulated vsize (Kb) 4628

[startup+130.008 s]
Raw data (loadavg): 0.98 0.86 0.48 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 803 0 0 0 12748 93 0 0 25 0 1 0 1858955344 4874240 769 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1190 769 566 18 0 1172 0
[pid=10636] vsize: 4760
Current children cumulated CPU time (s) 128.41
Current children cumulated vsize (Kb) 4760

[startup+140.008 s]
Raw data (loadavg): 0.98 0.86 0.49 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 812 0 0 0 13729 99 0 0 25 0 1 0 1858955344 4874240 778 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1190 778 566 18 0 1172 0
[pid=10636] vsize: 4760
Current children cumulated CPU time (s) 138.28
Current children cumulated vsize (Kb) 4760

[startup+150.009 s]
Raw data (loadavg): 0.98 0.87 0.49 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 818 0 0 0 14711 107 0 0 25 0 1 0 1858955344 4874240 784 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1190 784 566 18 0 1172 0
[pid=10636] vsize: 4760
Current children cumulated CPU time (s) 148.18
Current children cumulated vsize (Kb) 4760

[startup+160.009 s]
Raw data (loadavg): 0.99 0.87 0.50 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 828 0 0 0 15692 114 0 0 25 0 1 0 1858955344 4874240 794 4294967295 134512640 134578447 3221224624 3221223296 134523156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1190 794 566 18 0 1172 0
[pid=10636] vsize: 4760
Current children cumulated CPU time (s) 158.06
Current children cumulated vsize (Kb) 4760

[startup+170.009 s]
Raw data (loadavg): 0.99 0.87 0.50 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 848 0 0 0 16678 119 0 0 25 0 1 0 1858955344 5029888 814 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1228 814 566 18 0 1210 0
[pid=10636] vsize: 4912
Current children cumulated CPU time (s) 167.97
Current children cumulated vsize (Kb) 4912

[startup+180.01 s]
Raw data (loadavg): 0.99 0.88 0.51 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 848 0 0 0 17662 123 0 0 25 0 1 0 1858955344 5001216 814 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1221 814 566 18 0 1203 0
[pid=10636] vsize: 4884
Current children cumulated CPU time (s) 177.85
Current children cumulated vsize (Kb) 4884

[startup+190.01 s]
Raw data (loadavg): 0.99 0.88 0.51 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 848 0 0 0 18642 131 0 0 25 0 1 0 1858955344 4993024 814 4294967295 134512640 134578447 3221224624 3221223456 134526986 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1219 814 566 18 0 1201 0
[pid=10636] vsize: 4876
Current children cumulated CPU time (s) 187.73
Current children cumulated vsize (Kb) 4876

[startup+200.011 s]
Raw data (loadavg): 0.99 0.89 0.52 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 848 0 0 0 19621 139 0 0 25 0 1 0 1858955344 4993024 814 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1219 814 566 18 0 1201 0
[pid=10636] vsize: 4876
Current children cumulated CPU time (s) 197.6
Current children cumulated vsize (Kb) 4876

[startup+210.012 s]
Raw data (loadavg): 0.99 0.89 0.52 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 848 0 0 0 20599 147 0 0 25 0 1 0 1858955344 4984832 814 4294967295 134512640 134578447 3221224624 3221223288 1075291145 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1217 814 566 18 0 1199 0
[pid=10636] vsize: 4868
Current children cumulated CPU time (s) 207.46
Current children cumulated vsize (Kb) 4868

[startup+220.011 s]
Raw data (loadavg): 0.99 0.89 0.53 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 848 0 0 0 21580 152 0 0 25 0 1 0 1858955344 4980736 814 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1216 814 566 18 0 1198 0
[pid=10636] vsize: 4864
Current children cumulated CPU time (s) 217.32
Current children cumulated vsize (Kb) 4864

[startup+230.012 s]
Raw data (loadavg): 0.99 0.89 0.53 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 885 0 0 0 22559 160 0 0 25 0 1 0 1858955344 5210112 851 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1272 851 566 18 0 1254 0
[pid=10636] vsize: 5088
Current children cumulated CPU time (s) 227.19
Current children cumulated vsize (Kb) 5088

[startup+240.012 s]
Raw data (loadavg): 0.99 0.90 0.54 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 903 0 0 0 23542 167 0 0 25 0 1 0 1858955344 5210112 869 4294967295 134512640 134578447 3221224624 3221223456 134527014 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1272 869 566 18 0 1254 0
[pid=10636] vsize: 5088
Current children cumulated CPU time (s) 237.09
Current children cumulated vsize (Kb) 5088

[startup+250.013 s]
Raw data (loadavg): 0.99 0.90 0.54 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 933 0 0 0 24524 174 0 0 25 0 1 0 1858955344 5357568 899 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1308 899 566 18 0 1290 0
[pid=10636] vsize: 5232
Current children cumulated CPU time (s) 246.98
Current children cumulated vsize (Kb) 5232

[startup+260.02 s]
Raw data (loadavg): 0.99 0.90 0.55 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 25510 179 0 0 25 0 1 0 1858955344 5353472 905 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1307 905 566 18 0 1289 0
[pid=10636] vsize: 5228
Current children cumulated CPU time (s) 256.89
Current children cumulated vsize (Kb) 5228

[startup+270.02 s]
Raw data (loadavg): 0.99 0.91 0.55 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 26496 184 0 0 25 0 1 0 1858955344 5353472 905 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1307 905 566 18 0 1289 0
[pid=10636] vsize: 5228
Current children cumulated CPU time (s) 266.8
Current children cumulated vsize (Kb) 5228

[startup+280.021 s]
Raw data (loadavg): 0.99 0.91 0.55 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 27487 188 0 0 25 0 1 0 1858955344 5345280 905 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1305 905 566 18 0 1287 0
[pid=10636] vsize: 5220
Current children cumulated CPU time (s) 276.75
Current children cumulated vsize (Kb) 5220

[startup+290.022 s]
Raw data (loadavg): 0.99 0.91 0.56 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 939 0 0 0 28477 192 0 0 25 0 1 0 1858955344 5345280 905 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1305 905 566 18 0 1287 0
[pid=10636] vsize: 5220
Current children cumulated CPU time (s) 286.69
Current children cumulated vsize (Kb) 5220

[startup+300.022 s]
Raw data (loadavg): 0.99 0.91 0.56 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 29464 196 0 0 25 0 1 0 1858955344 5345280 905 4294967295 134512640 134578447 3221224624 3221223404 134528802 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1305 905 566 18 0 1287 0
[pid=10636] vsize: 5220
Current children cumulated CPU time (s) 296.6
Current children cumulated vsize (Kb) 5220

[startup+310.023 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 30454 200 0 0 25 0 1 0 1858955344 5345280 905 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1305 905 566 18 0 1287 0
[pid=10636] vsize: 5220
Current children cumulated CPU time (s) 306.54
Current children cumulated vsize (Kb) 5220

[startup+320.023 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 31441 206 0 0 25 0 1 0 1858955344 5345280 905 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1305 905 566 18 0 1287 0
[pid=10636] vsize: 5220
Current children cumulated CPU time (s) 316.47
Current children cumulated vsize (Kb) 5220

[startup+330.024 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 32432 209 0 0 25 0 1 0 1858955344 5345280 905 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1305 905 566 18 0 1287 0
[pid=10636] vsize: 5220
Current children cumulated CPU time (s) 326.41
Current children cumulated vsize (Kb) 5220

[startup+340.024 s]
Raw data (loadavg): 0.99 0.92 0.58 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 33422 212 0 0 25 0 1 0 1858955344 5341184 905 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1304 905 566 18 0 1286 0
[pid=10636] vsize: 5216
Current children cumulated CPU time (s) 336.34
Current children cumulated vsize (Kb) 5216

[startup+350.024 s]
Raw data (loadavg): 0.99 0.92 0.58 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 34412 215 0 0 25 0 1 0 1858955344 5337088 905 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1303 905 566 18 0 1285 0
[pid=10636] vsize: 5212
Current children cumulated CPU time (s) 346.27
Current children cumulated vsize (Kb) 5212

[startup+360.025 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 35403 219 0 0 25 0 1 0 1858955344 5324800 905 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1300 905 566 18 0 1282 0
[pid=10636] vsize: 5200
Current children cumulated CPU time (s) 356.22
Current children cumulated vsize (Kb) 5200

[startup+370.026 s]
Raw data (loadavg): 0.99 0.93 0.59 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 36393 223 0 0 20 0 1 0 1858955344 5324800 905 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1300 905 566 18 0 1282 0
[pid=10636] vsize: 5200
Current children cumulated CPU time (s) 366.16
Current children cumulated vsize (Kb) 5200

[startup+380.027 s]
Raw data (loadavg): 0.99 0.93 0.59 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 37383 226 0 0 25 0 1 0 1858955344 5271552 894 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1287 894 566 18 0 1269 0
[pid=10636] vsize: 5148
Current children cumulated CPU time (s) 376.09
Current children cumulated vsize (Kb) 5148

[startup+390.027 s]
Raw data (loadavg): 0.99 0.93 0.60 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 38376 229 0 0 25 0 1 0 1858955344 5267456 893 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1286 893 566 18 0 1268 0
[pid=10636] vsize: 5144
Current children cumulated CPU time (s) 386.05
Current children cumulated vsize (Kb) 5144

[startup+400.029 s]
Raw data (loadavg): 0.99 0.93 0.60 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 39366 233 0 0 25 0 1 0 1858955344 5255168 890 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1283 890 566 18 0 1265 0
[pid=10636] vsize: 5132
Current children cumulated CPU time (s) 395.99
Current children cumulated vsize (Kb) 5132

[startup+410.03 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 40358 237 0 0 25 0 1 0 1858955344 5255168 890 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1283 890 566 18 0 1265 0
[pid=10636] vsize: 5132
Current children cumulated CPU time (s) 405.95
Current children cumulated vsize (Kb) 5132

[startup+420.031 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 41346 241 0 0 25 0 1 0 1858955344 5255168 890 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1283 890 566 18 0 1265 0
[pid=10636] vsize: 5132
Current children cumulated CPU time (s) 415.87
Current children cumulated vsize (Kb) 5132

[startup+430.031 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 42336 246 0 0 25 0 1 0 1858955344 5255168 890 4294967295 134512640 134578447 3221224624 3221223504 134527632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1283 890 566 18 0 1265 0
[pid=10636] vsize: 5132
Current children cumulated CPU time (s) 425.82
Current children cumulated vsize (Kb) 5132

[startup+440.032 s]
Raw data (loadavg): 0.99 0.94 0.62 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 939 0 0 0 43321 251 0 0 25 0 1 0 1858955344 5255168 890 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1283 890 566 18 0 1265 0
[pid=10636] vsize: 5132
Current children cumulated CPU time (s) 435.72
Current children cumulated vsize (Kb) 5132

[startup+450.033 s]
Raw data (loadavg): 0.99 0.94 0.62 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 970 0 0 0 44303 258 0 0 25 0 1 0 1858955344 5390336 921 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1316 921 566 18 0 1298 0
[pid=10636] vsize: 5264
Current children cumulated CPU time (s) 445.61
Current children cumulated vsize (Kb) 5264

[startup+460.034 s]
Raw data (loadavg): 0.99 0.94 0.62 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 45292 261 0 0 25 0 1 0 1858955344 5525504 928 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1349 928 566 18 0 1331 0
[pid=10636] vsize: 5396
Current children cumulated CPU time (s) 455.53
Current children cumulated vsize (Kb) 5396

[startup+470.034 s]
Raw data (loadavg): 0.99 0.94 0.63 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 46280 265 0 0 25 0 1 0 1858955344 5525504 928 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1349 928 566 18 0 1331 0
[pid=10636] vsize: 5396
Current children cumulated CPU time (s) 465.45
Current children cumulated vsize (Kb) 5396

[startup+480.034 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 47272 268 0 0 25 0 1 0 1858955344 5525504 928 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1349 928 566 18 0 1331 0
[pid=10636] vsize: 5396
Current children cumulated CPU time (s) 475.4
Current children cumulated vsize (Kb) 5396

[startup+490.034 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 48262 272 0 0 25 0 1 0 1858955344 5525504 928 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1349 928 566 18 0 1331 0
[pid=10636] vsize: 5396
Current children cumulated CPU time (s) 485.34
Current children cumulated vsize (Kb) 5396

[startup+500.035 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 49254 275 0 0 25 0 1 0 1858955344 5525504 928 4294967295 134512640 134578447 3221224624 3221223504 134527548 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1349 928 566 18 0 1331 0
[pid=10636] vsize: 5396
Current children cumulated CPU time (s) 495.29
Current children cumulated vsize (Kb) 5396

[startup+510.036 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 50247 276 0 0 25 0 1 0 1858955344 5525504 928 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1349 928 566 18 0 1331 0
[pid=10636] vsize: 5396
Current children cumulated CPU time (s) 505.23
Current children cumulated vsize (Kb) 5396

[startup+520.035 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 51237 280 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 515.17
Current children cumulated vsize (Kb) 5288

[startup+530.035 s]
Raw data (loadavg): 0.99 0.95 0.65 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 977 0 0 0 52224 285 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 525.09
Current children cumulated vsize (Kb) 5288

[startup+540.036 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 53210 290 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223536 134516763 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 535
Current children cumulated vsize (Kb) 5288

[startup+550.037 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 54196 295 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 544.91
Current children cumulated vsize (Kb) 5288

[startup+560.036 s]
Raw data (loadavg): 0.99 0.95 0.66 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 977 0 0 0 55184 300 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 554.84
Current children cumulated vsize (Kb) 5288

[startup+570.036 s]
Raw data (loadavg): 0.99 0.95 0.66 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 56169 306 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 564.75
Current children cumulated vsize (Kb) 5288

[startup+580.037 s]
Raw data (loadavg): 0.99 0.95 0.66 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 57157 310 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 574.67
Current children cumulated vsize (Kb) 5288

[startup+590.037 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 58144 315 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 584.59
Current children cumulated vsize (Kb) 5288

[startup+600.038 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 59133 320 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 594.53
Current children cumulated vsize (Kb) 5288

[startup+610.038 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 60119 325 0 0 20 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 604.44
Current children cumulated vsize (Kb) 5288

[startup+620.038 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 61104 329 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 614.33
Current children cumulated vsize (Kb) 5288

[startup+630.039 s]
Raw data (loadavg): 0.99 0.96 0.68 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 977 0 0 0 62092 334 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 624.26
Current children cumulated vsize (Kb) 5288

[startup+640.039 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 63081 339 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223456 134527017 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 634.2
Current children cumulated vsize (Kb) 5288

[startup+650.039 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 64070 342 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 644.12
Current children cumulated vsize (Kb) 5288

[startup+660.04 s]
Raw data (loadavg): 0.99 0.96 0.69 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 65061 345 0 0 25 0 1 0 1858955344 5414912 928 4294967295 134512640 134578447 3221224624 3221223456 134526986 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1322 928 566 18 0 1304 0
[pid=10636] vsize: 5288
Current children cumulated CPU time (s) 654.06
Current children cumulated vsize (Kb) 5288

[startup+670.04 s]
Raw data (loadavg): 0.99 0.96 0.69 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 66051 348 0 0 25 0 1 0 1858955344 5410816 928 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1321 928 566 18 0 1303 0
[pid=10636] vsize: 5284
Current children cumulated CPU time (s) 663.99
Current children cumulated vsize (Kb) 5284

[startup+680.041 s]
Raw data (loadavg): 0.99 0.96 0.69 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 67042 351 0 0 25 0 1 0 1858955344 5410816 928 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1321 928 566 18 0 1303 0
[pid=10636] vsize: 5284
Current children cumulated CPU time (s) 673.93
Current children cumulated vsize (Kb) 5284

[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 68032 354 0 0 25 0 1 0 1858955344 5406720 927 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1320 927 566 18 0 1302 0
[pid=10636] vsize: 5280
Current children cumulated CPU time (s) 683.86
Current children cumulated vsize (Kb) 5280

[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 69017 361 0 0 25 0 1 0 1858955344 5406720 927 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1320 927 566 18 0 1302 0
[pid=10636] vsize: 5280
Current children cumulated CPU time (s) 693.78
Current children cumulated vsize (Kb) 5280

[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 70008 364 0 0 25 0 1 0 1858955344 5406720 927 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1320 927 566 18 0 1302 0
[pid=10636] vsize: 5280
Current children cumulated CPU time (s) 703.72
Current children cumulated vsize (Kb) 5280

[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 71002 366 0 0 25 0 1 0 1858955344 5406720 927 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1320 927 566 18 0 1302 0
[pid=10636] vsize: 5280
Current children cumulated CPU time (s) 713.68
Current children cumulated vsize (Kb) 5280

[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 71991 369 0 0 25 0 1 0 1858955344 5406720 927 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1320 927 566 18 0 1302 0
[pid=10636] vsize: 5280
Current children cumulated CPU time (s) 723.6
Current children cumulated vsize (Kb) 5280

[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 977 0 0 0 72979 375 0 0 25 0 1 0 1858955344 5406720 927 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1320 927 566 18 0 1302 0
[pid=10636] vsize: 5280
Current children cumulated CPU time (s) 733.54
Current children cumulated vsize (Kb) 5280

[startup+750.044 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 986 0 0 0 73956 384 0 0 25 0 1 0 1858955344 5537792 936 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1352 936 566 18 0 1334 0
[pid=10636] vsize: 5408
Current children cumulated CPU time (s) 743.4
Current children cumulated vsize (Kb) 5408

[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.72 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 986 0 0 0 74941 388 0 0 25 0 1 0 1858955344 5537792 936 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1352 936 566 18 0 1334 0
[pid=10636] vsize: 5408
Current children cumulated CPU time (s) 753.29
Current children cumulated vsize (Kb) 5408

[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.72 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 986 0 0 0 75927 393 0 0 25 0 1 0 1858955344 5537792 936 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1352 936 566 18 0 1334 0
[pid=10636] vsize: 5408
Current children cumulated CPU time (s) 763.2
Current children cumulated vsize (Kb) 5408

[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.72 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 986 0 0 0 76913 398 0 0 21 0 1 0 1858955344 5537792 936 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1352 936 566 18 0 1334 0
[pid=10636] vsize: 5408
Current children cumulated CPU time (s) 773.11
Current children cumulated vsize (Kb) 5408

[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.72 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 986 0 0 0 77894 405 0 0 25 0 1 0 1858955344 5537792 936 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1352 936 566 18 0 1334 0
[pid=10636] vsize: 5408
Current children cumulated CPU time (s) 782.99
Current children cumulated vsize (Kb) 5408

[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.73 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 1008 0 0 0 78876 412 0 0 25 0 1 0 1858955344 5537792 958 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1352 958 566 18 0 1334 0
[pid=10636] vsize: 5408
Current children cumulated CPU time (s) 792.88
Current children cumulated vsize (Kb) 5408

[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.73 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1008 0 0 0 79868 415 0 0 25 0 1 0 1858955344 5537792 958 4294967295 134512640 134578447 3221224624 3221223504 134527548 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1352 958 566 18 0 1334 0
[pid=10636] vsize: 5408
Current children cumulated CPU time (s) 802.83
Current children cumulated vsize (Kb) 5408

[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.73 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1008 0 0 0 80858 418 0 0 25 0 1 0 1858955344 5537792 958 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1352 958 566 18 0 1334 0
[pid=10636] vsize: 5408
Current children cumulated CPU time (s) 812.76
Current children cumulated vsize (Kb) 5408

[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.73 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1008 0 0 0 81845 422 0 0 25 0 1 0 1858955344 5537792 958 4294967295 134512640 134578447 3221224624 3221223504 134527632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1352 958 566 18 0 1334 0
[pid=10636] vsize: 5408
Current children cumulated CPU time (s) 822.67
Current children cumulated vsize (Kb) 5408

[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.74 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1010 0 0 0 82830 427 0 0 25 0 1 0 1858955344 5611520 960 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1370 960 566 18 0 1352 0
[pid=10636] vsize: 5480
Current children cumulated CPU time (s) 832.57
Current children cumulated vsize (Kb) 5480

[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.74 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1010 0 0 0 83818 431 0 0 25 0 1 0 1858955344 5611520 960 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1370 960 566 18 0 1352 0
[pid=10636] vsize: 5480
Current children cumulated CPU time (s) 842.49
Current children cumulated vsize (Kb) 5480

[startup+860.057 s]
Raw data (loadavg): 0.99 0.97 0.74 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1010 0 0 0 84804 435 0 0 25 0 1 0 1858955344 5611520 960 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1370 960 566 18 0 1352 0
[pid=10636] vsize: 5480
Current children cumulated CPU time (s) 852.39
Current children cumulated vsize (Kb) 5480

[startup+870.056 s]
Raw data (loadavg): 0.99 0.97 0.74 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1010 0 0 0 85791 440 0 0 25 0 1 0 1858955344 5607424 960 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 960 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 862.31
Current children cumulated vsize (Kb) 5476

[startup+880.057 s]
Raw data (loadavg): 0.99 0.97 0.74 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 1010 0 0 0 86779 444 0 0 25 0 1 0 1858955344 5607424 960 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 960 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 872.23
Current children cumulated vsize (Kb) 5476

[startup+890.058 s]
Raw data (loadavg): 0.99 0.97 0.75 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 1014 0 0 0 87765 450 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (Kb) 5476

[startup+900.059 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 88754 453 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 892.07
Current children cumulated vsize (Kb) 5476

[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 89740 458 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 901.98
Current children cumulated vsize (Kb) 5476

[startup+920.058 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 90726 463 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 911.89
Current children cumulated vsize (Kb) 5476

[startup+930.059 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 91712 468 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 921.8
Current children cumulated vsize (Kb) 5476

[startup+940.059 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 92699 474 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 931.73
Current children cumulated vsize (Kb) 5476

[startup+950.059 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 93686 479 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (Kb) 5476

[startup+960.06 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 94672 483 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 951.55
Current children cumulated vsize (Kb) 5476

[startup+970.06 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 95656 489 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 961.45
Current children cumulated vsize (Kb) 5476

[startup+980.061 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 96643 494 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 971.37
Current children cumulated vsize (Kb) 5476

[startup+990.061 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 97626 499 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223476 134555794 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 981.25
Current children cumulated vsize (Kb) 5476

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 98612 505 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 991.17
Current children cumulated vsize (Kb) 5476

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 99601 509 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1001.1
Current children cumulated vsize (Kb) 5476

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 100591 513 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1011.04
Current children cumulated vsize (Kb) 5476

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 101583 515 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1020.98
Current children cumulated vsize (Kb) 5476

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 102571 520 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1030.91
Current children cumulated vsize (Kb) 5476

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 103559 525 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1040.84
Current children cumulated vsize (Kb) 5476

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 104550 529 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1050.79
Current children cumulated vsize (Kb) 5476

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 105536 533 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1060.69
Current children cumulated vsize (Kb) 5476

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 106526 537 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1070.63
Current children cumulated vsize (Kb) 5476

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 107514 542 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1080.56
Current children cumulated vsize (Kb) 5476

[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.79 1/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 1014 0 0 0 108501 546 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1090.47
Current children cumulated vsize (Kb) 5476

[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 1014 0 0 0 109485 551 0 0 21 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1100.36
Current children cumulated vsize (Kb) 5476

[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1014 0 0 0 110473 556 0 0 25 0 1 0 1858955344 5607424 964 4294967295 134512640 134578447 3221224624 3221223492 134528140 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1369 964 566 18 0 1351 0
[pid=10636] vsize: 5476
Current children cumulated CPU time (s) 1110.29
Current children cumulated vsize (Kb) 5476

[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1117 0 0 0 111457 561 0 0 25 0 1 0 1858955344 6012928 1067 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1468 1067 566 18 0 1450 0
[pid=10636] vsize: 5872
Current children cumulated CPU time (s) 1120.18
Current children cumulated vsize (Kb) 5872

[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1117 0 0 0 112443 566 0 0 25 0 1 0 1858955344 6012928 1067 4294967295 134512640 134578447 3221224624 3221223280 1075288837 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1468 1067 566 18 0 1450 0
[pid=10636] vsize: 5872
Current children cumulated CPU time (s) 1130.09
Current children cumulated vsize (Kb) 5872

[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1140 0 0 0 113427 571 0 0 25 0 1 0 1858955344 6148096 1090 4294967295 134512640 134578447 3221224624 3221223456 134526989 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1501 1090 566 18 0 1483 0
[pid=10636] vsize: 6004
Current children cumulated CPU time (s) 1139.98
Current children cumulated vsize (Kb) 6004

[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1140 0 0 0 114417 575 0 0 25 0 1 0 1858955344 6148096 1090 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1501 1090 566 18 0 1483 0
[pid=10636] vsize: 6004
Current children cumulated CPU time (s) 1149.92
Current children cumulated vsize (Kb) 6004

[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1140 0 0 0 115404 579 0 0 25 0 1 0 1858955344 6148096 1090 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1501 1090 566 18 0 1483 0
[pid=10636] vsize: 6004
Current children cumulated CPU time (s) 1159.83
Current children cumulated vsize (Kb) 6004

[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) T 10635 10636 19818 0 -1 0 1140 0 0 0 116382 588 0 0 25 0 1 0 1858955344 6148096 1090 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10636/statm): 1501 1090 566 18 0 1483 0
[pid=10636] vsize: 6004
Current children cumulated CPU time (s) 1169.7
Current children cumulated vsize (Kb) 6004

[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 10636
Raw data (/proc/10636/stat): 10636 (Pueblo) R 10635 10636 19818 0 -1 0 1140 0 0 0 117366 594 0 0 25 0 1 0 1858955344 6148096 1090 4294967295 134512640 134578447 3221224624 3221223376 134528867 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10636/statm): 1501 1090 566 18 0 1483 0
[pid=10636] vsize: 6004
Current children cumulated CPU time (s) 1179.6
Current children cumulated vsize (Kb) 6004
One traced child (pid=10636) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1199.57
CPU time (s): 1189.02
CPU user time (s): 1183.01
CPU system time (s): 6.00709
CPU usage (%): 99.1199
Max. virtual memory (cumulated for all children) (Kb): 6004

Verifier Data

Verifier:	OK	139