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-ii32c1.opb
MD5SUM8afff0cc8710524125079d5ef00fedc0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 167
Optimality of the best value was proved YES
Number of terms in the objective function 450
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 450
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 450
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark58.6491
Number of variables450
Total number of constraints1505
Number of constraints which are clauses1505
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 constraint32

Trace number 7696

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        869428 kB
Buffers:         30460 kB
Cached:         107016 kB
SwapCached:        836 kB
Active:          62604 kB
Inactive:        77556 kB
HighTotal:      131008 kB
HighFree:        23184 kB
LowTotal:       903652 kB
LowFree:        846244 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19316 kB
Committed_AS:    64156 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 13:56:24 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 4832 0 1189.01 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: 450 - #constraints read: 1506
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 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 -x450

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/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1858957561 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 41 3 40 18 0 23 0
[pid=32256] 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.0039 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 877 0 0 0 966 11 0 0 25 0 1 0 1858957561 5120000 843 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1250 843 566 18 0 1232 0
[pid=32256] vsize: 5000
Current children cumulated CPU time (s) 9.77
Current children cumulated vsize (Kb) 5000

[startup+20.0036 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 877 0 0 0 1957 14 0 0 25 0 1 0 1858957561 5120000 843 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1250 843 566 18 0 1232 0
[pid=32256] vsize: 5000
Current children cumulated CPU time (s) 19.71
Current children cumulated vsize (Kb) 5000

[startup+30.0042 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 894 0 0 0 2946 18 0 0 25 0 1 0 1858957561 5210112 860 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1272 860 566 18 0 1254 0
[pid=32256] vsize: 5088
Current children cumulated CPU time (s) 29.64
Current children cumulated vsize (Kb) 5088

[startup+40.0048 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 949 0 0 0 3931 23 0 0 25 0 1 0 1858957561 5279744 896 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1289 896 566 18 0 1271 0
[pid=32256] vsize: 5156
Current children cumulated CPU time (s) 39.54
Current children cumulated vsize (Kb) 5156

[startup+50.0045 s]
Raw data (loadavg): 0.99 0.97 0.72 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 949 0 0 0 4925 25 0 0 25 0 1 0 1858957561 5279744 896 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1289 896 566 18 0 1271 0
[pid=32256] vsize: 5156
Current children cumulated CPU time (s) 49.5
Current children cumulated vsize (Kb) 5156

[startup+60.0041 s]
Raw data (loadavg): 0.99 0.97 0.72 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 949 0 0 0 5917 28 0 0 25 0 1 0 1858957561 5279744 896 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1289 896 566 18 0 1271 0
[pid=32256] vsize: 5156
Current children cumulated CPU time (s) 59.45
Current children cumulated vsize (Kb) 5156

[startup+70.0047 s]
Raw data (loadavg): 0.99 0.97 0.72 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 957 0 0 0 6907 32 0 0 25 0 1 0 1858957561 5410816 904 4294967295 134512640 134578447 3221224624 3221223228 1075288574 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1321 904 566 18 0 1303 0
[pid=32256] vsize: 5284
Current children cumulated CPU time (s) 69.39
Current children cumulated vsize (Kb) 5284

[startup+80.0054 s]
Raw data (loadavg): 0.99 0.97 0.73 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 984 0 0 0 7899 35 0 0 25 0 1 0 1858957561 5545984 931 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1354 931 566 18 0 1336 0
[pid=32256] vsize: 5416
Current children cumulated CPU time (s) 79.34
Current children cumulated vsize (Kb) 5416

[startup+90.005 s]
Raw data (loadavg): 0.99 0.97 0.73 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 984 0 0 0 8894 37 0 0 25 0 1 0 1858957561 5545984 931 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1354 931 566 18 0 1336 0
[pid=32256] vsize: 5416
Current children cumulated CPU time (s) 89.31
Current children cumulated vsize (Kb) 5416

[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.73 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 984 0 0 0 9891 38 0 0 25 0 1 0 1858957561 5545984 931 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1354 931 566 18 0 1336 0
[pid=32256] vsize: 5416
Current children cumulated CPU time (s) 99.29
Current children cumulated vsize (Kb) 5416

[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.73 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 984 0 0 0 10885 41 0 0 25 0 1 0 1858957561 5545984 931 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1354 931 566 18 0 1336 0
[pid=32256] vsize: 5416
Current children cumulated CPU time (s) 109.26
Current children cumulated vsize (Kb) 5416

[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.73 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 991 0 0 0 11879 43 0 0 25 0 1 0 1858957561 5545984 938 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1354 938 566 18 0 1336 0
[pid=32256] vsize: 5416
Current children cumulated CPU time (s) 119.22
Current children cumulated vsize (Kb) 5416

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.74 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1045 0 0 0 12871 46 0 0 25 0 1 0 1858957561 5681152 992 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1387 992 566 18 0 1369 0
[pid=32256] vsize: 5548
Current children cumulated CPU time (s) 129.17
Current children cumulated vsize (Kb) 5548

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.74 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1069 0 0 0 13863 49 0 0 25 0 1 0 1858957561 5812224 1016 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1419 1016 566 18 0 1401 0
[pid=32256] vsize: 5676
Current children cumulated CPU time (s) 139.12
Current children cumulated vsize (Kb) 5676

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.74 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1069 0 0 0 14852 53 0 0 25 0 1 0 1858957561 5812224 1016 4294967295 134512640 134578447 3221224624 3221223536 134556768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1419 1016 566 18 0 1401 0
[pid=32256] vsize: 5676
Current children cumulated CPU time (s) 149.05
Current children cumulated vsize (Kb) 5676

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.74 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1191 0 0 0 15836 59 0 0 25 0 1 0 1858957561 6266880 1120 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1530 1120 566 18 0 1512 0
[pid=32256] vsize: 6120
Current children cumulated CPU time (s) 158.95
Current children cumulated vsize (Kb) 6120

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.74 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1265 0 0 0 16819 65 0 0 25 0 1 0 1858957561 6537216 1194 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1596 1194 566 18 0 1578 0
[pid=32256] vsize: 6384
Current children cumulated CPU time (s) 168.84
Current children cumulated vsize (Kb) 6384

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1265 0 0 0 17812 68 0 0 25 0 1 0 1858957561 6537216 1194 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1596 1194 566 18 0 1578 0
[pid=32256] vsize: 6384
Current children cumulated CPU time (s) 178.8
Current children cumulated vsize (Kb) 6384

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1265 0 0 0 18800 72 0 0 25 0 1 0 1858957561 6430720 1177 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1570 1177 566 18 0 1552 0
[pid=32256] vsize: 6280
Current children cumulated CPU time (s) 188.72
Current children cumulated vsize (Kb) 6280

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1265 0 0 0 19792 75 0 0 25 0 1 0 1858957561 6430720 1177 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1570 1177 566 18 0 1552 0
[pid=32256] vsize: 6280
Current children cumulated CPU time (s) 198.67
Current children cumulated vsize (Kb) 6280

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1265 0 0 0 20783 79 0 0 25 0 1 0 1858957561 6430720 1177 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1570 1177 566 18 0 1552 0
[pid=32256] vsize: 6280
Current children cumulated CPU time (s) 208.62
Current children cumulated vsize (Kb) 6280

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.75 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1265 0 0 0 21772 83 0 0 25 0 1 0 1858957561 6430720 1177 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1570 1177 566 18 0 1552 0
[pid=32256] vsize: 6280
Current children cumulated CPU time (s) 218.55
Current children cumulated vsize (Kb) 6280

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1348 0 0 0 22758 87 0 0 25 0 1 0 1858957561 6836224 1260 4294967295 134512640 134578447 3221224624 3221223296 134522203 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1669 1260 566 18 0 1651 0
[pid=32256] vsize: 6676
Current children cumulated CPU time (s) 228.45
Current children cumulated vsize (Kb) 6676

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 23743 92 0 0 25 0 1 0 1858957561 6901760 1290 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1685 1290 566 18 0 1667 0
[pid=32256] vsize: 6740
Current children cumulated CPU time (s) 238.35
Current children cumulated vsize (Kb) 6740

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 24738 95 0 0 25 0 1 0 1858957561 6901760 1290 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1685 1290 566 18 0 1667 0
[pid=32256] vsize: 6740
Current children cumulated CPU time (s) 248.33
Current children cumulated vsize (Kb) 6740

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 25733 96 0 0 25 0 1 0 1858957561 6901760 1290 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1685 1290 566 18 0 1667 0
[pid=32256] vsize: 6740
Current children cumulated CPU time (s) 258.29
Current children cumulated vsize (Kb) 6740

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.76 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 26726 99 0 0 25 0 1 0 1858957561 6901760 1290 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1685 1290 566 18 0 1667 0
[pid=32256] vsize: 6740
Current children cumulated CPU time (s) 268.25
Current children cumulated vsize (Kb) 6740

[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 27719 101 0 0 25 0 1 0 1858957561 6901760 1290 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1685 1290 566 18 0 1667 0
[pid=32256] vsize: 6740
Current children cumulated CPU time (s) 278.2
Current children cumulated vsize (Kb) 6740

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 28709 105 0 0 25 0 1 0 1858957561 6901760 1290 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1685 1290 566 18 0 1667 0
[pid=32256] vsize: 6740
Current children cumulated CPU time (s) 288.14
Current children cumulated vsize (Kb) 6740

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 29703 108 0 0 25 0 1 0 1858957561 6901760 1290 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1685 1290 566 18 0 1667 0
[pid=32256] vsize: 6740
Current children cumulated CPU time (s) 298.11
Current children cumulated vsize (Kb) 6740

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 30696 110 0 0 25 0 1 0 1858957561 6811648 1270 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1663 1270 566 18 0 1645 0
[pid=32256] vsize: 6652
Current children cumulated CPU time (s) 308.06
Current children cumulated vsize (Kb) 6652

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.77 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 31692 112 0 0 25 0 1 0 1858957561 6811648 1270 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1663 1270 566 18 0 1645 0
[pid=32256] vsize: 6652
Current children cumulated CPU time (s) 318.04
Current children cumulated vsize (Kb) 6652

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 32684 115 0 0 25 0 1 0 1858957561 6811648 1270 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1663 1270 566 18 0 1645 0
[pid=32256] vsize: 6652
Current children cumulated CPU time (s) 327.99
Current children cumulated vsize (Kb) 6652

[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 33680 117 0 0 25 0 1 0 1858957561 6811648 1270 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1663 1270 566 18 0 1645 0
[pid=32256] vsize: 6652
Current children cumulated CPU time (s) 337.97
Current children cumulated vsize (Kb) 6652

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 34676 118 0 0 25 0 1 0 1858957561 6811648 1270 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1663 1270 566 18 0 1645 0
[pid=32256] vsize: 6652
Current children cumulated CPU time (s) 347.94
Current children cumulated vsize (Kb) 6652

[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 35671 120 0 0 25 0 1 0 1858957561 6811648 1270 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1663 1270 566 18 0 1645 0
[pid=32256] vsize: 6652
Current children cumulated CPU time (s) 357.91
Current children cumulated vsize (Kb) 6652

[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.78 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 36666 122 0 0 25 0 1 0 1858957561 6811648 1270 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1663 1270 566 18 0 1645 0
[pid=32256] vsize: 6652
Current children cumulated CPU time (s) 367.88
Current children cumulated vsize (Kb) 6652

[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1385 0 0 0 37654 127 0 0 25 0 1 0 1858957561 6811648 1270 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1663 1270 566 18 0 1645 0
[pid=32256] vsize: 6652
Current children cumulated CPU time (s) 377.81
Current children cumulated vsize (Kb) 6652

[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 38639 132 0 0 25 0 1 0 1858957561 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1794 1371 566 18 0 1776 0
[pid=32256] vsize: 7176
Current children cumulated CPU time (s) 387.71
Current children cumulated vsize (Kb) 7176

[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 39634 134 0 0 25 0 1 0 1858957561 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1794 1371 566 18 0 1776 0
[pid=32256] vsize: 7176
Current children cumulated CPU time (s) 397.68
Current children cumulated vsize (Kb) 7176

[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 40627 135 0 0 25 0 1 0 1858957561 7299072 1371 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1782 1371 566 18 0 1764 0
[pid=32256] vsize: 7128
Current children cumulated CPU time (s) 407.62
Current children cumulated vsize (Kb) 7128

[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 41612 141 0 0 25 0 1 0 1858957561 7290880 1371 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1780 1371 566 18 0 1762 0
[pid=32256] vsize: 7120
Current children cumulated CPU time (s) 417.53
Current children cumulated vsize (Kb) 7120

[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.79 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 42600 145 0 0 25 0 1 0 1858957561 7290880 1371 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1780 1371 566 18 0 1762 0
[pid=32256] vsize: 7120
Current children cumulated CPU time (s) 427.45
Current children cumulated vsize (Kb) 7120

[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 43594 147 0 0 25 0 1 0 1858957561 7282688 1371 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1778 1371 566 18 0 1760 0
[pid=32256] vsize: 7112
Current children cumulated CPU time (s) 437.41
Current children cumulated vsize (Kb) 7112

[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 44591 148 0 0 25 0 1 0 1858957561 7282688 1371 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1778 1371 566 18 0 1760 0
[pid=32256] vsize: 7112
Current children cumulated CPU time (s) 447.39
Current children cumulated vsize (Kb) 7112

[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 45588 149 0 0 25 0 1 0 1858957561 7282688 1371 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1778 1371 566 18 0 1760 0
[pid=32256] vsize: 7112
Current children cumulated CPU time (s) 457.37
Current children cumulated vsize (Kb) 7112

[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 46584 151 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 467.35
Current children cumulated vsize (Kb) 7096

[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.80 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 47577 154 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 477.31
Current children cumulated vsize (Kb) 7096

[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.81 1/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) T 32255 32256 5299 0 -1 0 1486 0 0 0 48571 156 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 487.27
Current children cumulated vsize (Kb) 7096

[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.81 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 49557 162 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 497.19
Current children cumulated vsize (Kb) 7096

[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 50546 165 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 507.11
Current children cumulated vsize (Kb) 7096

[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 51541 168 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 517.09
Current children cumulated vsize (Kb) 7096

[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.81 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 52536 170 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 527.06
Current children cumulated vsize (Kb) 7096

[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 53535 170 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 537.05
Current children cumulated vsize (Kb) 7096

[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 54533 171 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 547.04
Current children cumulated vsize (Kb) 7096

[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 55531 172 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 557.03
Current children cumulated vsize (Kb) 7096

[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 56528 173 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 567.01
Current children cumulated vsize (Kb) 7096

[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 57521 175 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 576.96
Current children cumulated vsize (Kb) 7096

[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 58515 178 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 586.93
Current children cumulated vsize (Kb) 7096

[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 59509 181 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 596.9
Current children cumulated vsize (Kb) 7096

[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.82 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1486 0 0 0 60495 185 0 0 25 0 1 0 1858957561 7266304 1371 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1774 1371 566 18 0 1756 0
[pid=32256] vsize: 7096
Current children cumulated CPU time (s) 606.8
Current children cumulated vsize (Kb) 7096

[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1572 0 0 0 61484 190 0 0 25 0 1 0 1858957561 7569408 1451 4294967295 134512640 134578447 3221224624 3221222976 134532501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1848 1451 566 18 0 1830 0
[pid=32256] vsize: 7392
Current children cumulated CPU time (s) 616.74
Current children cumulated vsize (Kb) 7392

[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.83 1/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) T 32255 32256 5299 0 -1 0 1592 0 0 0 62475 193 0 0 25 0 1 0 1858957561 7692288 1471 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1878 1471 566 18 0 1860 0
[pid=32256] vsize: 7512
Current children cumulated CPU time (s) 626.68
Current children cumulated vsize (Kb) 7512

[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1592 0 0 0 63471 194 0 0 25 0 1 0 1858957561 7692288 1471 4294967295 134512640 134578447 3221224624 3221223404 1075285664 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1878 1471 566 18 0 1860 0
[pid=32256] vsize: 7512
Current children cumulated CPU time (s) 636.65
Current children cumulated vsize (Kb) 7512

[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1592 0 0 0 64468 195 0 0 25 0 1 0 1858957561 7655424 1471 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1869 1471 566 18 0 1851 0
[pid=32256] vsize: 7476
Current children cumulated CPU time (s) 646.63
Current children cumulated vsize (Kb) 7476

[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1592 0 0 0 65464 196 0 0 25 0 1 0 1858957561 7655424 1471 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1869 1471 566 18 0 1851 0
[pid=32256] vsize: 7476
Current children cumulated CPU time (s) 656.6
Current children cumulated vsize (Kb) 7476

[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1592 0 0 0 66456 200 0 0 25 0 1 0 1858957561 7655424 1471 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1869 1471 566 18 0 1851 0
[pid=32256] vsize: 7476
Current children cumulated CPU time (s) 666.56
Current children cumulated vsize (Kb) 7476

[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1592 0 0 0 67451 201 0 0 25 0 1 0 1858957561 7655424 1471 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1869 1471 566 18 0 1851 0
[pid=32256] vsize: 7476
Current children cumulated CPU time (s) 676.52
Current children cumulated vsize (Kb) 7476

[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) T 32255 32256 5299 0 -1 0 1592 0 0 0 68444 204 0 0 25 0 1 0 1858957561 7655424 1471 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1869 1471 566 18 0 1851 0
[pid=32256] vsize: 7476
Current children cumulated CPU time (s) 686.48
Current children cumulated vsize (Kb) 7476

[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1594 0 0 0 69432 209 0 0 25 0 1 0 1858957561 7655424 1473 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1869 1473 566 18 0 1851 0
[pid=32256] vsize: 7476
Current children cumulated CPU time (s) 696.41
Current children cumulated vsize (Kb) 7476

[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1594 0 0 0 70428 211 0 0 25 0 1 0 1858957561 7655424 1473 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1869 1473 566 18 0 1851 0
[pid=32256] vsize: 7476
Current children cumulated CPU time (s) 706.39
Current children cumulated vsize (Kb) 7476

[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 71419 215 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 716.34
Current children cumulated vsize (Kb) 7548

[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 72410 218 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 726.28
Current children cumulated vsize (Kb) 7548

[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 73406 219 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 736.25
Current children cumulated vsize (Kb) 7548

[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 74402 221 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 746.23
Current children cumulated vsize (Kb) 7548

[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 75397 223 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 756.2
Current children cumulated vsize (Kb) 7548

[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 76393 224 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223228 1075288939 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 766.17
Current children cumulated vsize (Kb) 7548

[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 77389 226 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 776.15
Current children cumulated vsize (Kb) 7548

[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 78384 227 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223536 134556909 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 786.11
Current children cumulated vsize (Kb) 7548

[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 79379 229 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 796.08
Current children cumulated vsize (Kb) 7548

[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 80372 232 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 806.04
Current children cumulated vsize (Kb) 7548

[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 81366 234 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 816
Current children cumulated vsize (Kb) 7548

[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 82360 236 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 825.96
Current children cumulated vsize (Kb) 7548

[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.85 1/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) T 32255 32256 5299 0 -1 0 1598 0 0 0 83356 238 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 835.94
Current children cumulated vsize (Kb) 7548

[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 84349 240 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 845.89
Current children cumulated vsize (Kb) 7548

[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 85345 242 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223520 134520026 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 855.87
Current children cumulated vsize (Kb) 7548

[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 86339 244 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 865.83
Current children cumulated vsize (Kb) 7548

[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 87335 245 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 875.8
Current children cumulated vsize (Kb) 7548

[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 88329 248 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 885.77
Current children cumulated vsize (Kb) 7548

[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 89323 250 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223536 134557624 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 895.73
Current children cumulated vsize (Kb) 7548

[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 90319 252 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 905.71
Current children cumulated vsize (Kb) 7548

[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 91315 253 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 915.68
Current children cumulated vsize (Kb) 7548

[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 92311 254 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 925.65
Current children cumulated vsize (Kb) 7548

[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 93308 255 0 0 25 0 1 0 1858957561 7729152 1477 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1887 1477 566 18 0 1869 0
[pid=32256] vsize: 7548
Current children cumulated CPU time (s) 935.63
Current children cumulated vsize (Kb) 7548

[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 94303 257 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 945.6
Current children cumulated vsize (Kb) 7472

[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 95298 259 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 955.57
Current children cumulated vsize (Kb) 7472

[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 96293 260 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 965.53
Current children cumulated vsize (Kb) 7472

[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 97289 262 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 975.51
Current children cumulated vsize (Kb) 7472

[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 98284 264 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 985.48
Current children cumulated vsize (Kb) 7472

[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 99279 266 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 995.45
Current children cumulated vsize (Kb) 7472

[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 100274 268 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 1005.42
Current children cumulated vsize (Kb) 7472

[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 101267 271 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 1015.38
Current children cumulated vsize (Kb) 7472

[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 102260 274 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 1025.34
Current children cumulated vsize (Kb) 7472

[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 103255 275 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 1035.3
Current children cumulated vsize (Kb) 7472

[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 104252 276 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223584 134558704 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 1045.28
Current children cumulated vsize (Kb) 7472

[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1598 0 0 0 105246 278 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 1055.24
Current children cumulated vsize (Kb) 7472

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.87 1/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) T 32255 32256 5299 0 -1 0 1598 0 0 0 106235 282 0 0 25 0 1 0 1858957561 7651328 1475 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1868 1475 566 18 0 1850 0
[pid=32256] vsize: 7472
Current children cumulated CPU time (s) 1065.17
Current children cumulated vsize (Kb) 7472

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 107228 285 0 0 25 0 1 0 1858957561 7917568 1512 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1933 1512 566 18 0 1915 0
[pid=32256] vsize: 7732
Current children cumulated CPU time (s) 1075.13
Current children cumulated vsize (Kb) 7732

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 108225 286 0 0 25 0 1 0 1858957561 7892992 1512 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1927 1512 566 18 0 1909 0
[pid=32256] vsize: 7708
Current children cumulated CPU time (s) 1085.11
Current children cumulated vsize (Kb) 7708

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 109218 288 0 0 25 0 1 0 1858957561 7892992 1512 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1927 1512 566 18 0 1909 0
[pid=32256] vsize: 7708
Current children cumulated CPU time (s) 1095.06
Current children cumulated vsize (Kb) 7708

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 110207 292 0 0 25 0 1 0 1858957561 7888896 1512 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1926 1512 566 18 0 1908 0
[pid=32256] vsize: 7704
Current children cumulated CPU time (s) 1104.99
Current children cumulated vsize (Kb) 7704

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 111196 296 0 0 25 0 1 0 1858957561 7888896 1512 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1926 1512 566 18 0 1908 0
[pid=32256] vsize: 7704
Current children cumulated CPU time (s) 1114.92
Current children cumulated vsize (Kb) 7704

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 112186 301 0 0 25 0 1 0 1858957561 7888896 1512 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1926 1512 566 18 0 1908 0
[pid=32256] vsize: 7704
Current children cumulated CPU time (s) 1124.87
Current children cumulated vsize (Kb) 7704

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 113177 305 0 0 25 0 1 0 1858957561 7888896 1512 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1926 1512 566 18 0 1908 0
[pid=32256] vsize: 7704
Current children cumulated CPU time (s) 1134.82
Current children cumulated vsize (Kb) 7704

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 114172 307 0 0 25 0 1 0 1858957561 7888896 1512 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1926 1512 566 18 0 1908 0
[pid=32256] vsize: 7704
Current children cumulated CPU time (s) 1144.79
Current children cumulated vsize (Kb) 7704

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.88 1/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) T 32255 32256 5299 0 -1 0 1635 0 0 0 115167 308 0 0 25 0 1 0 1858957561 7888896 1512 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/32256/statm): 1926 1512 566 18 0 1908 0
[pid=32256] vsize: 7704
Current children cumulated CPU time (s) 1154.75
Current children cumulated vsize (Kb) 7704

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 116162 310 0 0 25 0 1 0 1858957561 7888896 1512 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1926 1512 566 18 0 1908 0
[pid=32256] vsize: 7704
Current children cumulated CPU time (s) 1164.72
Current children cumulated vsize (Kb) 7704

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 117153 314 0 0 25 0 1 0 1858957561 7888896 1512 4294967295 134512640 134578447 3221224624 3221223536 134556803 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1926 1512 566 18 0 1908 0
[pid=32256] vsize: 7704
Current children cumulated CPU time (s) 1174.67
Current children cumulated vsize (Kb) 7704

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 32256
Raw data (/proc/32256/stat): 32256 (Pueblo) R 32255 32256 5299 0 -1 0 1635 0 0 0 118135 320 0 0 25 0 1 0 1858957561 7888896 1512 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32256/statm): 1926 1512 566 18 0 1908 0
[pid=32256] vsize: 7704
Current children cumulated CPU time (s) 1184.55
Current children cumulated vsize (Kb) 7704
One traced child (pid=32256) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1194.51
CPU time (s): 1189.01
CPU user time (s): 1185.77
CPU system time (s): 3.23451
CPU usage (%): 99.5391
Max. virtual memory (cumulated for all children) (Kb): 7732

Verifier Data

Verifier:	OK	167