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-ii8a3.opb
MD5SUMa430664a9b4f203a5896b33ca2b0e0e5
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved NO
Number of terms in the objective function 528
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 528
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 528
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables528
Total number of constraints1816
Number of constraints which are clauses1816
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 7780

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        884564 kB
Buffers:         30364 kB
Cached:          94772 kB
SwapCached:       1004 kB
Active:          53496 kB
Inactive:        74316 kB
HighTotal:      131008 kB
HighFree:        34636 kB
LowTotal:       903652 kB
LowFree:        849928 kB
SwapTotal:     2097136 kB
SwapFree:      2095552 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            16544 kB
Committed_AS:    72492 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:19:54 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 4911 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: 528 - #constraints read: 1817
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 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 x494 -x495 x496 -x497 x498 -x499 x500 -x501 x502 x503 -x504 -x505 x506 x507 -x508 -x509 x510 -x511 x512 -x513 x514 -x515 x516 -x517 x518 x519 -x520 -x521 x522 -x523 x524 -x525 x526 -x527 x528

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/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800872648 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 41 3 40 18 0 23 0
[pid=12875] 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.004 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 12930
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 651 0 0 0 966 21 0 0 25 0 1 0 1800872648 4243456 617 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1036 617 566 18 0 1018 0
[pid=12875] vsize: 4144
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 4144

[startup+20.0047 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 12930
Raw data (/proc/12875/stat): 12875 (Pueblo) T 12874 12875 6872 0 -1 0 707 0 0 0 1955 24 0 0 25 0 1 0 1800872648 4452352 673 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1087 673 566 18 0 1069 0
[pid=12875] vsize: 4348
Current children cumulated CPU time (s) 19.79
Current children cumulated vsize (Kb) 4348

[startup+30.0484 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 12930
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 757 0 0 0 2948 27 0 0 25 0 1 0 1800872648 4587520 723 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1120 723 566 18 0 1102 0
[pid=12875] vsize: 4480
Current children cumulated CPU time (s) 29.75
Current children cumulated vsize (Kb) 4480

[startup+40.0491 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 12930
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 848 0 0 0 3939 31 0 0 25 0 1 0 1800872648 4984832 814 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1217 814 566 18 0 1199 0
[pid=12875] vsize: 4868
Current children cumulated CPU time (s) 39.7
Current children cumulated vsize (Kb) 4868

[startup+50.0488 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12930
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 901 0 0 0 4929 34 0 0 25 0 1 0 1800872648 5206016 859 4294967295 134512640 134578447 3221224624 3221223568 134558765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1271 859 566 18 0 1253 0
[pid=12875] vsize: 5084
Current children cumulated CPU time (s) 49.63
Current children cumulated vsize (Kb) 5084

[startup+60.0495 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12930
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 901 0 0 0 5922 36 0 0 25 0 1 0 1800872648 5206016 859 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1271 859 566 18 0 1253 0
[pid=12875] vsize: 5084
Current children cumulated CPU time (s) 59.58
Current children cumulated vsize (Kb) 5084

[startup+70.0502 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12930
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 931 0 0 0 6911 41 0 0 25 0 1 0 1800872648 5357568 884 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1308 884 566 18 0 1290 0
[pid=12875] vsize: 5232
Current children cumulated CPU time (s) 69.52
Current children cumulated vsize (Kb) 5232

[startup+80.0499 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 931 0 0 0 7903 43 0 0 25 0 1 0 1800872648 5357568 884 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1308 884 566 18 0 1290 0
[pid=12875] vsize: 5232
Current children cumulated CPU time (s) 79.46
Current children cumulated vsize (Kb) 5232

[startup+90.0496 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1010 0 0 0 8892 48 0 0 25 0 1 0 1800872648 5677056 963 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1386 963 566 18 0 1368 0
[pid=12875] vsize: 5544
Current children cumulated CPU time (s) 89.4
Current children cumulated vsize (Kb) 5544

[startup+100.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1010 0 0 0 9880 52 0 0 25 0 1 0 1800872648 5632000 963 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1375 963 566 18 0 1357 0
[pid=12875] vsize: 5500
Current children cumulated CPU time (s) 99.32
Current children cumulated vsize (Kb) 5500

[startup+110.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1010 0 0 0 10868 55 0 0 25 0 1 0 1800872648 5632000 963 4294967295 134512640 134578447 3221224624 3221222384 134532404 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1375 963 566 18 0 1357 0
[pid=12875] vsize: 5500
Current children cumulated CPU time (s) 109.23
Current children cumulated vsize (Kb) 5500

[startup+120.051 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1100 0 0 0 11856 59 0 0 25 0 1 0 1800872648 6045696 1053 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1476 1053 566 18 0 1458 0
[pid=12875] vsize: 5904
Current children cumulated CPU time (s) 119.15
Current children cumulated vsize (Kb) 5904

[startup+130.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1100 0 0 0 12845 63 0 0 25 0 1 0 1800872648 6045696 1053 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1476 1053 566 18 0 1458 0
[pid=12875] vsize: 5904
Current children cumulated CPU time (s) 129.08
Current children cumulated vsize (Kb) 5904

[startup+140.051 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1100 0 0 0 13835 67 0 0 25 0 1 0 1800872648 6045696 1053 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1476 1053 566 18 0 1458 0
[pid=12875] vsize: 5904
Current children cumulated CPU time (s) 139.02
Current children cumulated vsize (Kb) 5904

[startup+150.052 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1100 0 0 0 14829 69 0 0 25 0 1 0 1800872648 6045696 1053 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1476 1053 566 18 0 1458 0
[pid=12875] vsize: 5904
Current children cumulated CPU time (s) 148.98
Current children cumulated vsize (Kb) 5904

[startup+160.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1100 0 0 0 15822 72 0 0 25 0 1 0 1800872648 6045696 1053 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1476 1053 566 18 0 1458 0
[pid=12875] vsize: 5904
Current children cumulated CPU time (s) 158.94
Current children cumulated vsize (Kb) 5904

[startup+170.052 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1100 0 0 0 16815 74 0 0 25 0 1 0 1800872648 6045696 1053 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1476 1053 566 18 0 1458 0
[pid=12875] vsize: 5904
Current children cumulated CPU time (s) 168.89
Current children cumulated vsize (Kb) 5904

[startup+180.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1116 0 0 0 17808 77 0 0 25 0 1 0 1800872648 6045696 1069 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1476 1069 566 18 0 1458 0
[pid=12875] vsize: 5904
Current children cumulated CPU time (s) 178.85
Current children cumulated vsize (Kb) 5904

[startup+190.054 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1157 0 0 0 18797 80 0 0 25 0 1 0 1800872648 6066176 1084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1481 1084 566 18 0 1463 0
[pid=12875] vsize: 5924
Current children cumulated CPU time (s) 188.77
Current children cumulated vsize (Kb) 5924

[startup+200.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1165 0 0 0 19789 83 0 0 25 0 1 0 1800872648 6066176 1084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1481 1084 566 18 0 1463 0
[pid=12875] vsize: 5924
Current children cumulated CPU time (s) 198.72
Current children cumulated vsize (Kb) 5924

[startup+210.054 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1186 0 0 0 20780 86 0 0 25 0 1 0 1800872648 6201344 1105 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1514 1105 566 18 0 1496 0
[pid=12875] vsize: 6056
Current children cumulated CPU time (s) 208.66
Current children cumulated vsize (Kb) 6056

[startup+220.055 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1186 0 0 0 21773 89 0 0 25 0 1 0 1800872648 6189056 1105 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1511 1105 566 18 0 1493 0
[pid=12875] vsize: 6044
Current children cumulated CPU time (s) 218.62
Current children cumulated vsize (Kb) 6044

[startup+230.054 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1191 0 0 0 22764 93 0 0 25 0 1 0 1800872648 6189056 1110 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1511 1110 566 18 0 1493 0
[pid=12875] vsize: 6044
Current children cumulated CPU time (s) 228.57
Current children cumulated vsize (Kb) 6044

[startup+240.055 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1191 0 0 0 23756 97 0 0 25 0 1 0 1800872648 6189056 1110 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1511 1110 566 18 0 1493 0
[pid=12875] vsize: 6044
Current children cumulated CPU time (s) 238.53
Current children cumulated vsize (Kb) 6044

[startup+250.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1191 0 0 0 24751 99 0 0 25 0 1 0 1800872648 6189056 1110 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1511 1110 566 18 0 1493 0
[pid=12875] vsize: 6044
Current children cumulated CPU time (s) 248.5
Current children cumulated vsize (Kb) 6044

[startup+260.057 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1191 0 0 0 25746 102 0 0 25 0 1 0 1800872648 6189056 1110 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1511 1110 566 18 0 1493 0
[pid=12875] vsize: 6044
Current children cumulated CPU time (s) 258.48
Current children cumulated vsize (Kb) 6044

[startup+270.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1191 0 0 0 26741 103 0 0 25 0 1 0 1800872648 6189056 1110 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1511 1110 566 18 0 1493 0
[pid=12875] vsize: 6044
Current children cumulated CPU time (s) 268.44
Current children cumulated vsize (Kb) 6044

[startup+280.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1191 0 0 0 27733 106 0 0 25 0 1 0 1800872648 6189056 1110 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1511 1110 566 18 0 1493 0
[pid=12875] vsize: 6044
Current children cumulated CPU time (s) 278.39
Current children cumulated vsize (Kb) 6044

[startup+290.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1191 0 0 0 28727 108 0 0 25 0 1 0 1800872648 6189056 1110 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1511 1110 566 18 0 1493 0
[pid=12875] vsize: 6044
Current children cumulated CPU time (s) 288.35
Current children cumulated vsize (Kb) 6044

[startup+300.055 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1191 0 0 0 29718 111 0 0 25 0 1 0 1800872648 6189056 1110 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1511 1110 566 18 0 1493 0
[pid=12875] vsize: 6044
Current children cumulated CPU time (s) 298.29
Current children cumulated vsize (Kb) 6044

[startup+310.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1261 0 0 0 30710 114 0 0 25 0 1 0 1800872648 6467584 1180 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1579 1180 566 18 0 1561 0
[pid=12875] vsize: 6316
Current children cumulated CPU time (s) 308.24
Current children cumulated vsize (Kb) 6316

[startup+320.057 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 31704 116 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 318.2
Current children cumulated vsize (Kb) 6452

[startup+330.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 32699 118 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 328.17
Current children cumulated vsize (Kb) 6452

[startup+340.057 s]
Raw data (loadavg): 1.08 1.02 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 33693 121 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 338.14
Current children cumulated vsize (Kb) 6452

[startup+350.057 s]
Raw data (loadavg): 1.07 1.02 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 34688 123 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 348.11
Current children cumulated vsize (Kb) 6452

[startup+360.058 s]
Raw data (loadavg): 1.06 1.01 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 35681 126 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 358.07
Current children cumulated vsize (Kb) 6452

[startup+370.058 s]
Raw data (loadavg): 1.05 1.01 0.91 2/56 12934
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 36679 128 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 368.07
Current children cumulated vsize (Kb) 6452

[startup+380.058 s]
Raw data (loadavg): 1.04 1.01 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 37674 130 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 378.04
Current children cumulated vsize (Kb) 6452

[startup+390.059 s]
Raw data (loadavg): 1.03 1.01 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 38672 131 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 388.03
Current children cumulated vsize (Kb) 6452

[startup+400.058 s]
Raw data (loadavg): 1.03 1.01 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 39668 132 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 398
Current children cumulated vsize (Kb) 6452

[startup+410.059 s]
Raw data (loadavg): 1.02 1.01 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 40665 133 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 407.98
Current children cumulated vsize (Kb) 6452

[startup+420.06 s]
Raw data (loadavg): 1.02 1.01 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 41661 135 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 417.96
Current children cumulated vsize (Kb) 6452

[startup+430.059 s]
Raw data (loadavg): 1.02 1.01 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 42658 136 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 427.94
Current children cumulated vsize (Kb) 6452

[startup+440.059 s]
Raw data (loadavg): 1.01 1.01 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 43654 137 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 437.91
Current children cumulated vsize (Kb) 6452

[startup+450.059 s]
Raw data (loadavg): 1.01 1.01 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 44649 139 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 447.88
Current children cumulated vsize (Kb) 6452

[startup+460.06 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 45645 141 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 457.86
Current children cumulated vsize (Kb) 6452

[startup+470.059 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 46641 142 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 467.83
Current children cumulated vsize (Kb) 6452

[startup+480.059 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 47636 144 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 477.8
Current children cumulated vsize (Kb) 6452

[startup+490.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 48632 146 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 487.78
Current children cumulated vsize (Kb) 6452

[startup+500.059 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 49629 148 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223476 134555775 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 497.77
Current children cumulated vsize (Kb) 6452

[startup+510.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 50626 149 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 507.75
Current children cumulated vsize (Kb) 6452

[startup+520.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 51623 151 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 517.74
Current children cumulated vsize (Kb) 6452

[startup+530.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 52620 152 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 527.72
Current children cumulated vsize (Kb) 6452

[startup+540.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 53615 154 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223560 134527397 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 537.69
Current children cumulated vsize (Kb) 6452

[startup+550.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 54611 155 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 547.66
Current children cumulated vsize (Kb) 6452

[startup+560.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 55606 157 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 557.63
Current children cumulated vsize (Kb) 6452

[startup+570.062 s]
Raw data (loadavg): 1.00 1.00 0.91 3/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 56600 159 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 567.59
Current children cumulated vsize (Kb) 6452

[startup+580.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 57594 160 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 577.54
Current children cumulated vsize (Kb) 6452

[startup+590.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1281 0 0 0 58587 162 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 587.49
Current children cumulated vsize (Kb) 6452

[startup+600.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) T 12874 12875 6872 0 -1 0 1281 0 0 0 59583 164 0 0 25 0 1 0 1800872648 6606848 1200 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1613 1200 566 18 0 1595 0
[pid=12875] vsize: 6452
Current children cumulated CPU time (s) 597.47
Current children cumulated vsize (Kb) 6452

[startup+610.064 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1310 0 0 0 60577 166 0 0 25 0 1 0 1800872648 6742016 1229 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1229 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 607.43
Current children cumulated vsize (Kb) 6584

[startup+620.065 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 61574 168 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 617.42
Current children cumulated vsize (Kb) 6584

[startup+630.064 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 62572 169 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 627.41
Current children cumulated vsize (Kb) 6584

[startup+640.065 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 63568 171 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 637.39
Current children cumulated vsize (Kb) 6584

[startup+650.065 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 64564 172 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223376 134528897 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 647.36
Current children cumulated vsize (Kb) 6584

[startup+660.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 65560 173 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 657.33
Current children cumulated vsize (Kb) 6584

[startup+670.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 66556 175 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 667.31
Current children cumulated vsize (Kb) 6584

[startup+680.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 67548 177 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 677.25
Current children cumulated vsize (Kb) 6584

[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 68544 179 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 687.23
Current children cumulated vsize (Kb) 6584

[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 69539 180 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 697.19
Current children cumulated vsize (Kb) 6584

[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 70535 181 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 707.16
Current children cumulated vsize (Kb) 6584

[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 71531 183 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 717.14
Current children cumulated vsize (Kb) 6584

[startup+730.068 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 72527 184 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 727.11
Current children cumulated vsize (Kb) 6584

[startup+740.068 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1323 0 0 0 73522 186 0 0 25 0 1 0 1800872648 6742016 1242 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1646 1242 566 18 0 1628 0
[pid=12875] vsize: 6584
Current children cumulated CPU time (s) 737.08
Current children cumulated vsize (Kb) 6584

[startup+750.068 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 74517 188 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 747.05
Current children cumulated vsize (Kb) 6716

[startup+760.069 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 75512 190 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 757.02
Current children cumulated vsize (Kb) 6716

[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 76507 192 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 766.99
Current children cumulated vsize (Kb) 6716

[startup+780.069 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 77502 194 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 776.96
Current children cumulated vsize (Kb) 6716

[startup+790.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 78495 197 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 786.92
Current children cumulated vsize (Kb) 6716

[startup+800.069 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 79490 199 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 796.89
Current children cumulated vsize (Kb) 6716

[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 80486 201 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 806.87
Current children cumulated vsize (Kb) 6716

[startup+820.071 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 81481 202 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 816.83
Current children cumulated vsize (Kb) 6716

[startup+830.071 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 82477 204 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 826.81
Current children cumulated vsize (Kb) 6716

[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 83473 205 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 836.78
Current children cumulated vsize (Kb) 6716

[startup+850.072 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 84471 206 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 846.77
Current children cumulated vsize (Kb) 6716

[startup+860.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 85467 208 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 856.75
Current children cumulated vsize (Kb) 6716

[startup+870.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 86463 210 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 866.73
Current children cumulated vsize (Kb) 6716

[startup+880.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 87459 212 0 0 25 0 1 0 1800872648 6877184 1258 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1679 1258 566 18 0 1661 0
[pid=12875] vsize: 6716
Current children cumulated CPU time (s) 876.71
Current children cumulated vsize (Kb) 6716

[startup+890.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 88457 213 0 0 25 0 1 0 1800872648 6860800 1258 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1675 1258 566 18 0 1657 0
[pid=12875] vsize: 6700
Current children cumulated CPU time (s) 886.7
Current children cumulated vsize (Kb) 6700

[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 89453 214 0 0 25 0 1 0 1800872648 6860800 1258 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1675 1258 566 18 0 1657 0
[pid=12875] vsize: 6700
Current children cumulated CPU time (s) 896.67
Current children cumulated vsize (Kb) 6700

[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1339 0 0 0 90450 216 0 0 25 0 1 0 1800872648 6860800 1258 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1675 1258 566 18 0 1657 0
[pid=12875] vsize: 6700
Current children cumulated CPU time (s) 906.66
Current children cumulated vsize (Kb) 6700

[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1342 0 0 0 91444 218 0 0 25 0 1 0 1800872648 6860800 1261 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1675 1261 566 18 0 1657 0
[pid=12875] vsize: 6700
Current children cumulated CPU time (s) 916.62
Current children cumulated vsize (Kb) 6700

[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1383 0 0 0 92438 221 0 0 25 0 1 0 1800872648 6995968 1302 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1708 1302 566 18 0 1690 0
[pid=12875] vsize: 6832
Current children cumulated CPU time (s) 926.59
Current children cumulated vsize (Kb) 6832

[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1393 0 0 0 93429 224 0 0 25 0 1 0 1800872648 7131136 1312 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1741 1312 566 18 0 1723 0
[pid=12875] vsize: 6964
Current children cumulated CPU time (s) 936.53
Current children cumulated vsize (Kb) 6964

[startup+950.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1393 0 0 0 94424 226 0 0 25 0 1 0 1800872648 7131136 1312 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1741 1312 566 18 0 1723 0
[pid=12875] vsize: 6964
Current children cumulated CPU time (s) 946.5
Current children cumulated vsize (Kb) 6964

[startup+960.074 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1395 0 0 0 95419 227 0 0 25 0 1 0 1800872648 7131136 1314 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1741 1314 566 18 0 1723 0
[pid=12875] vsize: 6964
Current children cumulated CPU time (s) 956.46
Current children cumulated vsize (Kb) 6964

[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1395 0 0 0 96415 229 0 0 25 0 1 0 1800872648 7131136 1314 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1741 1314 566 18 0 1723 0
[pid=12875] vsize: 6964
Current children cumulated CPU time (s) 966.44
Current children cumulated vsize (Kb) 6964

[startup+980.074 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1395 0 0 0 97411 230 0 0 25 0 1 0 1800872648 7131136 1314 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1741 1314 566 18 0 1723 0
[pid=12875] vsize: 6964
Current children cumulated CPU time (s) 976.41
Current children cumulated vsize (Kb) 6964

[startup+990.075 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1395 0 0 0 98408 232 0 0 25 0 1 0 1800872648 7131136 1314 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1741 1314 566 18 0 1723 0
[pid=12875] vsize: 6964
Current children cumulated CPU time (s) 986.4
Current children cumulated vsize (Kb) 6964

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1395 0 0 0 99405 233 0 0 25 0 1 0 1800872648 7131136 1314 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1741 1314 566 18 0 1723 0
[pid=12875] vsize: 6964
Current children cumulated CPU time (s) 996.38
Current children cumulated vsize (Kb) 6964

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1395 0 0 0 100401 235 0 0 25 0 1 0 1800872648 7131136 1314 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1741 1314 566 18 0 1723 0
[pid=12875] vsize: 6964
Current children cumulated CPU time (s) 1006.36
Current children cumulated vsize (Kb) 6964

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1395 0 0 0 101395 237 0 0 25 0 1 0 1800872648 7127040 1314 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1740 1314 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1016.32
Current children cumulated vsize (Kb) 6960

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1395 0 0 0 102387 240 0 0 25 0 1 0 1800872648 7127040 1314 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1314 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1026.27
Current children cumulated vsize (Kb) 6960

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1399 0 0 0 103379 243 0 0 25 0 1 0 1800872648 7127040 1318 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1318 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1036.22
Current children cumulated vsize (Kb) 6960

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 104371 246 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1046.17
Current children cumulated vsize (Kb) 6960

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 105365 248 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1056.13
Current children cumulated vsize (Kb) 6960

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 106356 253 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1066.09
Current children cumulated vsize (Kb) 6960

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 107351 255 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1076.06
Current children cumulated vsize (Kb) 6960

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 108348 256 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1086.04
Current children cumulated vsize (Kb) 6960

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 109342 259 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1096.01
Current children cumulated vsize (Kb) 6960

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 110333 263 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1105.96
Current children cumulated vsize (Kb) 6960

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 111324 266 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1115.9
Current children cumulated vsize (Kb) 6960

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 112318 268 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1125.86
Current children cumulated vsize (Kb) 6960

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 113309 270 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1135.79
Current children cumulated vsize (Kb) 6960

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1410 0 0 0 114304 273 0 0 25 0 1 0 1800872648 7127040 1329 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12875/statm): 1740 1329 566 18 0 1722 0
[pid=12875] vsize: 6960
Current children cumulated CPU time (s) 1145.77
Current children cumulated vsize (Kb) 6960

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1425 0 0 0 115299 275 0 0 25 0 1 0 1800872648 7176192 1344 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1752 1344 566 18 0 1734 0
[pid=12875] vsize: 7008
Current children cumulated CPU time (s) 1155.74
Current children cumulated vsize (Kb) 7008

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1425 0 0 0 116292 277 0 0 25 0 1 0 1800872648 7172096 1344 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1751 1344 566 18 0 1733 0
[pid=12875] vsize: 7004
Current children cumulated CPU time (s) 1165.69
Current children cumulated vsize (Kb) 7004

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1425 0 0 0 117287 279 0 0 25 0 1 0 1800872648 7172096 1344 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1751 1344 566 18 0 1733 0
[pid=12875] vsize: 7004
Current children cumulated CPU time (s) 1175.66
Current children cumulated vsize (Kb) 7004

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 12936
Raw data (/proc/12875/stat): 12875 (Pueblo) R 12874 12875 6872 0 -1 0 1425 0 0 0 118280 282 0 0 25 0 1 0 1800872648 7172096 1344 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12875/statm): 1751 1344 566 18 0 1733 0
[pid=12875] vsize: 7004
Current children cumulated CPU time (s) 1185.62
Current children cumulated vsize (Kb) 7004
One traced child (pid=12875) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1193.48
CPU time (s): 1189.01
CPU user time (s): 1186.18
CPU system time (s): 2.83457
CPU usage (%): 99.6259
Max. virtual memory (cumulated for all children) (Kb): 7008

Verifier Data

Verifier:	OK	191