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/logic-synthesis/normalized-e64.b.opb
MD5SUMbf7f8537c6faa135d25c67c53576abb5
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51
Optimality of the best value was proved NO
Number of terms in the objective function 608
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 608
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 608
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 benchmark1195.16
Number of variables607
Total number of constraints1053
Number of constraints which are clauses1022
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint32

Trace number 7640

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-20 13:16:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4752 boxname=wulflinc4 idbench=64 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  bf7f8537c6faa135d25c67c53576abb5  /oldhome/oroussel/tmp/wulflinc4/normalized-e64.b.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4752
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        819732 kB
Buffers:         34136 kB
Cached:         154300 kB
SwapCached:        876 kB
Active:          99516 kB
Inactive:        91548 kB
HighTotal:      131008 kB
HighFree:         1344 kB
LowTotal:       903652 kB
LowFree:        818388 kB
SwapTotal:     2097136 kB
SwapFree:      2095644 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            18236 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 13:36:09 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 4752 0 1189.02 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 608 - #constraints read: 1054
c total time              : 1189.01 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 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 x603 -x604 -x605 -x606 -x607 -x608

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/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 1800582963 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 41 3 40 18 0 23 0
[pid=13459] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0035 s]
Raw data (loadavg): 0.27 0.06 0.06 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 738 0 0 0 957 13 0 0 25 0 1 0 1800582963 4521984 704 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1104 704 566 18 0 1086 0
[pid=13459] vsize: 4416
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (Kb) 4416

[startup+20.0043 s]
Raw data (loadavg): 0.38 0.09 0.07 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 889 0 0 0 1928 22 0 0 25 0 1 0 1800582963 5165056 855 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1261 855 566 18 0 1243 0
[pid=13459] vsize: 5044
Current children cumulated CPU time (s) 19.5
Current children cumulated vsize (Kb) 5044

[startup+30.004 s]
Raw data (loadavg): 0.47 0.12 0.08 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 927 0 0 0 2903 30 0 0 25 0 1 0 1800582963 5398528 893 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1318 893 566 18 0 1300 0
[pid=13459] vsize: 5272
Current children cumulated CPU time (s) 29.33
Current children cumulated vsize (Kb) 5272

[startup+40.0046 s]
Raw data (loadavg): 0.55 0.15 0.09 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 964 0 0 0 3877 39 0 0 25 0 1 0 1800582963 5533696 930 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1351 930 566 18 0 1333 0
[pid=13459] vsize: 5404
Current children cumulated CPU time (s) 39.16
Current children cumulated vsize (Kb) 5404

[startup+50.0054 s]
Raw data (loadavg): 0.62 0.18 0.10 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1015 0 0 0 4860 45 0 0 25 0 1 0 1800582963 5668864 981 4294967295 134512640 134578447 3221224624 3221223248 134526986 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1384 981 566 18 0 1366 0
[pid=13459] vsize: 5536
Current children cumulated CPU time (s) 49.05
Current children cumulated vsize (Kb) 5536

[startup+60.0051 s]
Raw data (loadavg): 0.68 0.20 0.11 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1074 0 0 0 5845 51 0 0 25 0 1 0 1800582963 5750784 1007 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1404 1007 566 18 0 1386 0
[pid=13459] vsize: 5616
Current children cumulated CPU time (s) 58.96
Current children cumulated vsize (Kb) 5616

[startup+70.0048 s]
Raw data (loadavg): 0.73 0.23 0.12 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1098 0 0 0 6825 58 0 0 25 0 1 0 1800582963 5795840 1018 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1415 1018 566 18 0 1397 0
[pid=13459] vsize: 5660
Current children cumulated CPU time (s) 68.83
Current children cumulated vsize (Kb) 5660

[startup+80.0055 s]
Raw data (loadavg): 0.77 0.25 0.12 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1175 0 0 0 7803 65 0 0 25 0 1 0 1800582963 6062080 1083 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1480 1083 566 18 0 1462 0
[pid=13459] vsize: 5920
Current children cumulated CPU time (s) 78.68
Current children cumulated vsize (Kb) 5920

[startup+90.0052 s]
Raw data (loadavg): 0.80 0.28 0.13 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1175 0 0 0 8785 71 0 0 25 0 1 0 1800582963 6062080 1083 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1480 1083 566 18 0 1462 0
[pid=13459] vsize: 5920
Current children cumulated CPU time (s) 88.56
Current children cumulated vsize (Kb) 5920

[startup+100.006 s]
Raw data (loadavg): 0.83 0.30 0.14 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1175 0 0 0 9766 78 0 0 25 0 1 0 1800582963 6062080 1083 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1480 1083 566 18 0 1462 0
[pid=13459] vsize: 5920
Current children cumulated CPU time (s) 98.44
Current children cumulated vsize (Kb) 5920

[startup+110.007 s]
Raw data (loadavg): 0.86 0.32 0.15 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1208 0 0 0 10746 84 0 0 25 0 1 0 1800582963 6201344 1107 4294967295 134512640 134578447 3221224624 3221223536 134516803 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1514 1107 566 18 0 1496 0
[pid=13459] vsize: 6056
Current children cumulated CPU time (s) 108.3
Current children cumulated vsize (Kb) 6056

[startup+120.006 s]
Raw data (loadavg): 0.88 0.35 0.16 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1208 0 0 0 11728 90 0 0 25 0 1 0 1800582963 6201344 1107 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1514 1107 566 18 0 1496 0
[pid=13459] vsize: 6056
Current children cumulated CPU time (s) 118.18
Current children cumulated vsize (Kb) 6056

[startup+130.007 s]
Raw data (loadavg): 0.90 0.37 0.17 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1248 0 0 0 12713 96 0 0 25 0 1 0 1800582963 6340608 1147 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1548 1147 566 18 0 1530 0
[pid=13459] vsize: 6192
Current children cumulated CPU time (s) 128.09
Current children cumulated vsize (Kb) 6192

[startup+140.007 s]
Raw data (loadavg): 0.91 0.39 0.18 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1248 0 0 0 13700 102 0 0 25 0 1 0 1800582963 6340608 1147 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1548 1147 566 18 0 1530 0
[pid=13459] vsize: 6192
Current children cumulated CPU time (s) 138.02
Current children cumulated vsize (Kb) 6192

[startup+150.01 s]
Raw data (loadavg): 0.93 0.41 0.19 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1248 0 0 0 14686 106 0 0 25 0 1 0 1800582963 6340608 1147 4294967295 134512640 134578447 3221224624 3221222064 134532483 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1548 1147 566 18 0 1530 0
[pid=13459] vsize: 6192
Current children cumulated CPU time (s) 147.92
Current children cumulated vsize (Kb) 6192

[startup+160.01 s]
Raw data (loadavg): 0.94 0.43 0.19 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1248 0 0 0 15674 111 0 0 25 0 1 0 1800582963 6340608 1147 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1548 1147 566 18 0 1530 0
[pid=13459] vsize: 6192
Current children cumulated CPU time (s) 157.85
Current children cumulated vsize (Kb) 6192

[startup+170.01 s]
Raw data (loadavg): 0.95 0.44 0.20 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1248 0 0 0 16657 116 0 0 25 0 1 0 1800582963 6340608 1147 4294967295 134512640 134578447 3221224624 3221222368 134532404 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1548 1147 566 18 0 1530 0
[pid=13459] vsize: 6192
Current children cumulated CPU time (s) 167.73
Current children cumulated vsize (Kb) 6192

[startup+180.011 s]
Raw data (loadavg): 0.95 0.46 0.21 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1369 0 0 0 17635 124 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 177.59
Current children cumulated vsize (Kb) 6648

[startup+190.011 s]
Raw data (loadavg): 0.96 0.48 0.22 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1369 0 0 0 18616 131 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 187.47
Current children cumulated vsize (Kb) 6648

[startup+200.011 s]
Raw data (loadavg): 0.97 0.50 0.22 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1369 0 0 0 19599 137 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 197.36
Current children cumulated vsize (Kb) 6648

[startup+210.012 s]
Raw data (loadavg): 0.97 0.51 0.23 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1369 0 0 0 20585 142 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 207.27
Current children cumulated vsize (Kb) 6648

[startup+220.013 s]
Raw data (loadavg): 0.98 0.53 0.24 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1369 0 0 0 21568 148 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 217.16
Current children cumulated vsize (Kb) 6648

[startup+230.014 s]
Raw data (loadavg): 0.98 0.54 0.25 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1369 0 0 0 22551 153 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 227.04
Current children cumulated vsize (Kb) 6648

[startup+240.014 s]
Raw data (loadavg): 0.98 0.56 0.26 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1369 0 0 0 23538 158 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 236.96
Current children cumulated vsize (Kb) 6648

[startup+250.014 s]
Raw data (loadavg): 0.98 0.57 0.26 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1369 0 0 0 24522 163 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223264 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 246.85
Current children cumulated vsize (Kb) 6648

[startup+260.015 s]
Raw data (loadavg): 0.99 0.59 0.27 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1369 0 0 0 25505 169 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 256.74
Current children cumulated vsize (Kb) 6648

[startup+270.015 s]
Raw data (loadavg): 0.99 0.60 0.28 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1369 0 0 0 26490 175 0 0 25 0 1 0 1800582963 6807552 1265 4294967295 134512640 134578447 3221224624 3221223288 1075291634 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1662 1265 566 18 0 1644 0
[pid=13459] vsize: 6648
Current children cumulated CPU time (s) 266.65
Current children cumulated vsize (Kb) 6648

[startup+280.016 s]
Raw data (loadavg): 0.99 0.61 0.29 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1380 0 0 0 27476 180 0 0 25 0 1 0 1800582963 6873088 1276 4294967295 134512640 134578447 3221224624 3221223456 134558354 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1678 1276 566 18 0 1660 0
[pid=13459] vsize: 6712
Current children cumulated CPU time (s) 276.56
Current children cumulated vsize (Kb) 6712

[startup+290.017 s]
Raw data (loadavg): 0.99 0.62 0.29 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1380 0 0 0 28463 186 0 0 25 0 1 0 1800582963 6873088 1276 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1678 1276 566 18 0 1660 0
[pid=13459] vsize: 6712
Current children cumulated CPU time (s) 286.49
Current children cumulated vsize (Kb) 6712

[startup+300.017 s]
Raw data (loadavg): 0.99 0.64 0.30 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1380 0 0 0 29451 190 0 0 25 0 1 0 1800582963 6873088 1276 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1678 1276 566 18 0 1660 0
[pid=13459] vsize: 6712
Current children cumulated CPU time (s) 296.41
Current children cumulated vsize (Kb) 6712

[startup+310.018 s]
Raw data (loadavg): 0.99 0.65 0.31 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1380 0 0 0 30438 194 0 0 25 0 1 0 1800582963 6873088 1276 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1678 1276 566 18 0 1660 0
[pid=13459] vsize: 6712
Current children cumulated CPU time (s) 306.32
Current children cumulated vsize (Kb) 6712

[startup+320.019 s]
Raw data (loadavg): 0.99 0.66 0.31 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1380 0 0 0 31425 199 0 0 25 0 1 0 1800582963 6860800 1276 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1675 1276 566 18 0 1657 0
[pid=13459] vsize: 6700
Current children cumulated CPU time (s) 316.24
Current children cumulated vsize (Kb) 6700

[startup+330.02 s]
Raw data (loadavg): 0.99 0.67 0.32 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1380 0 0 0 32411 204 0 0 25 0 1 0 1800582963 6860800 1276 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1675 1276 566 18 0 1657 0
[pid=13459] vsize: 6700
Current children cumulated CPU time (s) 326.15
Current children cumulated vsize (Kb) 6700

[startup+340.019 s]
Raw data (loadavg): 0.99 0.68 0.33 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1380 0 0 0 33387 212 0 0 25 0 1 0 1800582963 6860800 1276 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1675 1276 566 18 0 1657 0
[pid=13459] vsize: 6700
Current children cumulated CPU time (s) 335.99
Current children cumulated vsize (Kb) 6700

[startup+350.02 s]
Raw data (loadavg): 0.99 0.69 0.33 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1380 0 0 0 34373 217 0 0 25 0 1 0 1800582963 6852608 1276 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1673 1276 566 18 0 1655 0
[pid=13459] vsize: 6692
Current children cumulated CPU time (s) 345.9
Current children cumulated vsize (Kb) 6692

[startup+360.021 s]
Raw data (loadavg): 0.99 0.70 0.34 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1425 0 0 0 35355 222 0 0 25 0 1 0 1800582963 7118848 1320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1738 1320 566 18 0 1720 0
[pid=13459] vsize: 6952
Current children cumulated CPU time (s) 355.77
Current children cumulated vsize (Kb) 6952

[startup+370.021 s]
Raw data (loadavg): 0.99 0.71 0.35 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1425 0 0 0 36340 228 0 0 25 0 1 0 1800582963 7118848 1320 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1738 1320 566 18 0 1720 0
[pid=13459] vsize: 6952
Current children cumulated CPU time (s) 365.68
Current children cumulated vsize (Kb) 6952

[startup+380.022 s]
Raw data (loadavg): 0.99 0.72 0.35 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1425 0 0 0 37326 233 0 0 25 0 1 0 1800582963 7118848 1320 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1738 1320 566 18 0 1720 0
[pid=13459] vsize: 6952
Current children cumulated CPU time (s) 375.59
Current children cumulated vsize (Kb) 6952

[startup+390.023 s]
Raw data (loadavg): 0.99 0.73 0.36 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 38312 238 0 0 25 0 1 0 1800582963 7217152 1344 4294967295 134512640 134578447 3221224624 3221223456 134526991 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1762 1344 566 18 0 1744 0
[pid=13459] vsize: 7048
Current children cumulated CPU time (s) 385.5
Current children cumulated vsize (Kb) 7048

[startup+400.023 s]
Raw data (loadavg): 0.99 0.74 0.37 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 39295 243 0 0 25 0 1 0 1800582963 7217152 1344 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1762 1344 566 18 0 1744 0
[pid=13459] vsize: 7048
Current children cumulated CPU time (s) 395.38
Current children cumulated vsize (Kb) 7048

[startup+410.024 s]
Raw data (loadavg): 0.99 0.74 0.37 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 40282 248 0 0 25 0 1 0 1800582963 7163904 1344 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1749 1344 566 18 0 1731 0
[pid=13459] vsize: 6996
Current children cumulated CPU time (s) 405.3
Current children cumulated vsize (Kb) 6996

[startup+420.024 s]
Raw data (loadavg): 0.99 0.75 0.38 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 41268 254 0 0 25 0 1 0 1800582963 7155712 1344 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1747 1344 566 18 0 1729 0
[pid=13459] vsize: 6988
Current children cumulated CPU time (s) 415.22
Current children cumulated vsize (Kb) 6988

[startup+430.025 s]
Raw data (loadavg): 0.99 0.76 0.38 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 42252 259 0 0 25 0 1 0 1800582963 7155712 1344 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1747 1344 566 18 0 1729 0
[pid=13459] vsize: 6988
Current children cumulated CPU time (s) 425.11
Current children cumulated vsize (Kb) 6988

[startup+440.025 s]
Raw data (loadavg): 0.99 0.77 0.39 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 43238 264 0 0 25 0 1 0 1800582963 7143424 1344 4294967295 134512640 134578447 3221224624 3221223376 134528832 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1744 1344 566 18 0 1726 0
[pid=13459] vsize: 6976
Current children cumulated CPU time (s) 435.02
Current children cumulated vsize (Kb) 6976

[startup+450.025 s]
Raw data (loadavg): 0.99 0.77 0.40 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 44227 268 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223296 134522551 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 444.95
Current children cumulated vsize (Kb) 6968

[startup+460.026 s]
Raw data (loadavg): 0.99 0.78 0.40 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 45214 272 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 454.86
Current children cumulated vsize (Kb) 6968

[startup+470.026 s]
Raw data (loadavg): 0.99 0.79 0.41 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 46200 277 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 464.77
Current children cumulated vsize (Kb) 6968

[startup+480.027 s]
Raw data (loadavg): 0.99 0.79 0.41 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 47186 282 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223488 134517863 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 474.68
Current children cumulated vsize (Kb) 6968

[startup+490.027 s]
Raw data (loadavg): 0.99 0.80 0.42 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 48172 286 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 484.58
Current children cumulated vsize (Kb) 6968

[startup+500.027 s]
Raw data (loadavg): 0.99 0.81 0.43 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 49159 291 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223296 134522529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 494.5
Current children cumulated vsize (Kb) 6968

[startup+510.028 s]
Raw data (loadavg): 0.99 0.81 0.43 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 50148 293 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 504.41
Current children cumulated vsize (Kb) 6968

[startup+520.028 s]
Raw data (loadavg): 0.99 0.82 0.44 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 51134 298 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 514.32
Current children cumulated vsize (Kb) 6968

[startup+530.029 s]
Raw data (loadavg): 0.99 0.82 0.44 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1449 0 0 0 52118 304 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 524.22
Current children cumulated vsize (Kb) 6968

[startup+540.03 s]
Raw data (loadavg): 0.99 0.83 0.45 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 53106 309 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 534.15
Current children cumulated vsize (Kb) 6968

[startup+550.031 s]
Raw data (loadavg): 0.99 0.83 0.45 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 54096 312 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223504 134527881 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 544.08
Current children cumulated vsize (Kb) 6968

[startup+560.032 s]
Raw data (loadavg): 0.99 0.84 0.46 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 55083 317 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 554
Current children cumulated vsize (Kb) 6968

[startup+570.032 s]
Raw data (loadavg): 0.99 0.84 0.46 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 56074 321 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 563.95
Current children cumulated vsize (Kb) 6968

[startup+580.033 s]
Raw data (loadavg): 0.99 0.85 0.47 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 57060 327 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 573.87
Current children cumulated vsize (Kb) 6968

[startup+590.033 s]
Raw data (loadavg): 0.99 0.85 0.47 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1449 0 0 0 58048 331 0 0 25 0 1 0 1800582963 7135232 1344 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1742 1344 566 18 0 1724 0
[pid=13459] vsize: 6968
Current children cumulated CPU time (s) 583.79
Current children cumulated vsize (Kb) 6968

[startup+600.035 s]
Raw data (loadavg): 0.99 0.86 0.48 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1484 0 0 0 59034 335 0 0 25 0 1 0 1800582963 7274496 1379 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1776 1379 566 18 0 1758 0
[pid=13459] vsize: 7104
Current children cumulated CPU time (s) 593.69
Current children cumulated vsize (Kb) 7104

[startup+610.035 s]
Raw data (loadavg): 0.99 0.86 0.48 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1522 0 0 0 60021 339 0 0 25 0 1 0 1800582963 7503872 1417 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1832 1417 566 18 0 1814 0
[pid=13459] vsize: 7328
Current children cumulated CPU time (s) 603.6
Current children cumulated vsize (Kb) 7328

[startup+620.034 s]
Raw data (loadavg): 0.99 0.86 0.49 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1522 0 0 0 61009 343 0 0 25 0 1 0 1800582963 7479296 1417 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1826 1417 566 18 0 1808 0
[pid=13459] vsize: 7304
Current children cumulated CPU time (s) 613.52
Current children cumulated vsize (Kb) 7304

[startup+630.035 s]
Raw data (loadavg): 0.99 0.87 0.49 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1557 0 0 0 61995 347 0 0 25 0 1 0 1800582963 7614464 1448 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1859 1448 566 18 0 1841 0
[pid=13459] vsize: 7436
Current children cumulated CPU time (s) 623.42
Current children cumulated vsize (Kb) 7436

[startup+640.035 s]
Raw data (loadavg): 0.99 0.87 0.50 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1571 0 0 0 62984 351 0 0 25 0 1 0 1800582963 7614464 1462 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1859 1462 566 18 0 1841 0
[pid=13459] vsize: 7436
Current children cumulated CPU time (s) 633.35
Current children cumulated vsize (Kb) 7436

[startup+650.036 s]
Raw data (loadavg): 0.99 0.88 0.50 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1598 0 0 0 63976 354 0 0 25 0 1 0 1800582963 7749632 1489 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1892 1489 566 18 0 1874 0
[pid=13459] vsize: 7568
Current children cumulated CPU time (s) 643.3
Current children cumulated vsize (Kb) 7568

[startup+660.037 s]
Raw data (loadavg): 0.99 0.88 0.51 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1618 0 0 0 64966 359 0 0 25 0 1 0 1800582963 7823360 1509 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1910 1509 566 18 0 1892 0
[pid=13459] vsize: 7640
Current children cumulated CPU time (s) 653.25
Current children cumulated vsize (Kb) 7640

[startup+670.037 s]
Raw data (loadavg): 1.07 0.90 0.52 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1618 0 0 0 65958 362 0 0 25 0 1 0 1800582963 7770112 1500 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1897 1500 566 18 0 1879 0
[pid=13459] vsize: 7588
Current children cumulated CPU time (s) 663.2
Current children cumulated vsize (Kb) 7588

[startup+680.038 s]
Raw data (loadavg): 1.06 0.90 0.52 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1629 0 0 0 66950 365 0 0 25 0 1 0 1800582963 7905280 1507 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1930 1507 566 18 0 1912 0
[pid=13459] vsize: 7720
Current children cumulated CPU time (s) 673.15
Current children cumulated vsize (Kb) 7720

[startup+690.038 s]
Raw data (loadavg): 1.05 0.91 0.53 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1643 0 0 0 67942 367 0 0 25 0 1 0 1800582963 7905280 1521 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1930 1521 566 18 0 1912 0
[pid=13459] vsize: 7720
Current children cumulated CPU time (s) 683.09
Current children cumulated vsize (Kb) 7720

[startup+700.039 s]
Raw data (loadavg): 1.04 0.91 0.53 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1643 0 0 0 68934 370 0 0 25 0 1 0 1800582963 7905280 1521 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1930 1521 566 18 0 1912 0
[pid=13459] vsize: 7720
Current children cumulated CPU time (s) 693.04
Current children cumulated vsize (Kb) 7720

[startup+710.04 s]
Raw data (loadavg): 1.04 0.91 0.54 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1649 0 0 0 69927 372 0 0 25 0 1 0 1800582963 7905280 1527 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1930 1527 566 18 0 1912 0
[pid=13459] vsize: 7720
Current children cumulated CPU time (s) 702.99
Current children cumulated vsize (Kb) 7720

[startup+720.04 s]
Raw data (loadavg): 1.03 0.91 0.54 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1654 0 0 0 70922 374 0 0 25 0 1 0 1800582963 7905280 1532 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1930 1532 566 18 0 1912 0
[pid=13459] vsize: 7720
Current children cumulated CPU time (s) 712.96
Current children cumulated vsize (Kb) 7720

[startup+730.041 s]
Raw data (loadavg): 1.03 0.92 0.55 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1662 0 0 0 71915 376 0 0 25 0 1 0 1800582963 8040448 1540 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1963 1540 566 18 0 1945 0
[pid=13459] vsize: 7852
Current children cumulated CPU time (s) 722.91
Current children cumulated vsize (Kb) 7852

[startup+740.042 s]
Raw data (loadavg): 1.02 0.92 0.55 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1662 0 0 0 72909 379 0 0 25 0 1 0 1800582963 8040448 1540 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1963 1540 566 18 0 1945 0
[pid=13459] vsize: 7852
Current children cumulated CPU time (s) 732.88
Current children cumulated vsize (Kb) 7852

[startup+750.042 s]
Raw data (loadavg): 1.02 0.92 0.56 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1662 0 0 0 73901 383 0 0 25 0 1 0 1800582963 8040448 1540 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1963 1540 566 18 0 1945 0
[pid=13459] vsize: 7852
Current children cumulated CPU time (s) 742.84
Current children cumulated vsize (Kb) 7852

[startup+760.042 s]
Raw data (loadavg): 1.01 0.92 0.56 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1662 0 0 0 74895 386 0 0 25 0 1 0 1800582963 8040448 1540 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1963 1540 566 18 0 1945 0
[pid=13459] vsize: 7852
Current children cumulated CPU time (s) 752.81
Current children cumulated vsize (Kb) 7852

[startup+770.042 s]
Raw data (loadavg): 1.01 0.92 0.56 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1662 0 0 0 75886 390 0 0 25 0 1 0 1800582963 7987200 1540 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1540 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 762.76
Current children cumulated vsize (Kb) 7800

[startup+780.043 s]
Raw data (loadavg): 1.01 0.93 0.57 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1662 0 0 0 76879 393 0 0 25 0 1 0 1800582963 7987200 1540 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1540 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 772.72
Current children cumulated vsize (Kb) 7800

[startup+790.043 s]
Raw data (loadavg): 1.01 0.93 0.57 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1668 0 0 0 77871 396 0 0 25 0 1 0 1800582963 7987200 1546 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1546 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 782.67
Current children cumulated vsize (Kb) 7800

[startup+800.044 s]
Raw data (loadavg): 1.01 0.93 0.58 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 78865 398 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 792.63
Current children cumulated vsize (Kb) 7800

[startup+810.044 s]
Raw data (loadavg): 1.00 0.93 0.58 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 79856 401 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 802.57
Current children cumulated vsize (Kb) 7800

[startup+820.044 s]
Raw data (loadavg): 1.00 0.93 0.58 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 80848 404 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 812.52
Current children cumulated vsize (Kb) 7800

[startup+830.045 s]
Raw data (loadavg): 1.00 0.94 0.59 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 81838 407 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 822.45
Current children cumulated vsize (Kb) 7800

[startup+840.046 s]
Raw data (loadavg): 1.00 0.94 0.59 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 82830 410 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 832.4
Current children cumulated vsize (Kb) 7800

[startup+850.047 s]
Raw data (loadavg): 1.00 0.94 0.59 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 83823 413 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 842.36
Current children cumulated vsize (Kb) 7800

[startup+860.048 s]
Raw data (loadavg): 1.00 0.94 0.60 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 84815 416 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 852.31
Current children cumulated vsize (Kb) 7800

[startup+870.049 s]
Raw data (loadavg): 1.00 0.94 0.60 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 85805 420 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 862.25
Current children cumulated vsize (Kb) 7800

[startup+880.049 s]
Raw data (loadavg): 1.00 0.94 0.61 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 86798 422 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 872.2
Current children cumulated vsize (Kb) 7800

[startup+890.05 s]
Raw data (loadavg): 1.00 0.94 0.61 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 87791 424 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (Kb) 7800

[startup+900.051 s]
Raw data (loadavg): 1.00 0.95 0.61 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 88783 427 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 892.1
Current children cumulated vsize (Kb) 7800

[startup+910.052 s]
Raw data (loadavg): 1.00 0.95 0.62 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 89775 430 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 902.05
Current children cumulated vsize (Kb) 7800

[startup+920.052 s]
Raw data (loadavg): 1.00 0.95 0.62 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 90766 433 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 911.99
Current children cumulated vsize (Kb) 7800

[startup+930.053 s]
Raw data (loadavg): 1.00 0.95 0.63 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 91757 437 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 921.94
Current children cumulated vsize (Kb) 7800

[startup+940.053 s]
Raw data (loadavg): 1.00 0.95 0.63 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1673 0 0 0 92750 439 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 931.89
Current children cumulated vsize (Kb) 7800

[startup+950.054 s]
Raw data (loadavg): 1.00 0.95 0.63 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 93744 441 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (Kb) 7800

[startup+960.055 s]
Raw data (loadavg): 1.00 0.95 0.64 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 94737 443 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 951.8
Current children cumulated vsize (Kb) 7800

[startup+970.055 s]
Raw data (loadavg): 1.00 0.95 0.64 1/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) T 13458 13459 6847 0 -1 0 1673 0 0 0 95729 447 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 961.76
Current children cumulated vsize (Kb) 7800

[startup+980.056 s]
Raw data (loadavg): 1.00 0.95 0.64 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 96720 450 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 971.7
Current children cumulated vsize (Kb) 7800

[startup+990.057 s]
Raw data (loadavg): 1.00 0.95 0.65 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 97713 453 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 981.66
Current children cumulated vsize (Kb) 7800

[startup+1000.06 s]
Raw data (loadavg): 1.00 0.96 0.65 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 98705 457 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 991.62
Current children cumulated vsize (Kb) 7800

[startup+1010.06 s]
Raw data (loadavg): 1.00 0.96 0.65 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 99696 460 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 1001.56
Current children cumulated vsize (Kb) 7800

[startup+1020.06 s]
Raw data (loadavg): 1.00 0.96 0.66 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 100689 463 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 1011.52
Current children cumulated vsize (Kb) 7800

[startup+1030.06 s]
Raw data (loadavg): 1.00 0.96 0.66 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1673 0 0 0 101680 466 0 0 25 0 1 0 1800582963 7987200 1551 4294967295 134512640 134578447 3221224624 3221223412 1075289793 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1950 1551 566 18 0 1932 0
[pid=13459] vsize: 7800
Current children cumulated CPU time (s) 1021.46
Current children cumulated vsize (Kb) 7800

[startup+1040.06 s]
Raw data (loadavg): 1.00 0.96 0.66 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1691 0 0 0 102667 470 0 0 25 0 1 0 1800582963 8077312 1569 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1972 1569 566 18 0 1954 0
[pid=13459] vsize: 7888
Current children cumulated CPU time (s) 1031.37
Current children cumulated vsize (Kb) 7888

[startup+1050.06 s]
Raw data (loadavg): 1.00 0.96 0.66 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1745 0 0 0 103648 477 0 0 25 0 1 0 1800582963 8077312 1575 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1972 1575 566 18 0 1954 0
[pid=13459] vsize: 7888
Current children cumulated CPU time (s) 1041.25
Current children cumulated vsize (Kb) 7888

[startup+1060.06 s]
Raw data (loadavg): 1.00 0.96 0.67 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1766 0 0 0 104632 484 0 0 25 0 1 0 1800582963 8122368 1586 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13459/statm): 1983 1586 566 18 0 1965 0
[pid=13459] vsize: 7932
Current children cumulated CPU time (s) 1051.16
Current children cumulated vsize (Kb) 7932

[startup+1070.07 s]
Raw data (loadavg): 1.00 0.96 0.67 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1872 0 0 0 105617 490 0 0 25 0 1 0 1800582963 8671232 1692 4294967295 134512640 134578447 3221224624 3221223536 134516768 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2117 1692 566 18 0 2099 0
[pid=13459] vsize: 8468
Current children cumulated CPU time (s) 1061.07
Current children cumulated vsize (Kb) 8468

[startup+1080.07 s]
Raw data (loadavg): 1.00 0.96 0.67 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1875 0 0 0 106602 495 0 0 25 0 1 0 1800582963 8568832 1662 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1662 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1070.97
Current children cumulated vsize (Kb) 8368

[startup+1090.07 s]
Raw data (loadavg): 1.00 0.96 0.68 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1875 0 0 0 107591 498 0 0 25 0 1 0 1800582963 8568832 1662 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1662 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1080.89
Current children cumulated vsize (Kb) 8368

[startup+1100.08 s]
Raw data (loadavg): 1.00 0.97 0.68 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1875 0 0 0 108579 503 0 0 25 0 1 0 1800582963 8568832 1662 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1662 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1090.82
Current children cumulated vsize (Kb) 8368

[startup+1110.08 s]
Raw data (loadavg): 1.00 0.97 0.68 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1875 0 0 0 109566 508 0 0 22 0 1 0 1800582963 8568832 1662 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1662 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1100.74
Current children cumulated vsize (Kb) 8368

[startup+1120.08 s]
Raw data (loadavg): 1.00 0.97 0.68 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1875 0 0 0 110554 512 0 0 25 0 1 0 1800582963 8568832 1662 4294967295 134512640 134578447 3221224624 3221223536 134556803 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1662 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1110.66
Current children cumulated vsize (Kb) 8368

[startup+1130.08 s]
Raw data (loadavg): 1.00 0.97 0.69 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1875 0 0 0 111543 517 0 0 25 0 1 0 1800582963 8568832 1662 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1662 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1120.6
Current children cumulated vsize (Kb) 8368

[startup+1140.08 s]
Raw data (loadavg): 1.00 0.97 0.69 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1875 0 0 0 112532 522 0 0 25 0 1 0 1800582963 8568832 1662 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1662 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1130.54
Current children cumulated vsize (Kb) 8368

[startup+1150.08 s]
Raw data (loadavg): 1.00 0.97 0.69 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1875 0 0 0 113520 525 0 0 25 0 1 0 1800582963 8568832 1662 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1662 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1140.45
Current children cumulated vsize (Kb) 8368

[startup+1160.08 s]
Raw data (loadavg): 1.00 0.97 0.70 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1881 0 0 0 114511 529 0 0 25 0 1 0 1800582963 8568832 1668 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1668 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1150.4
Current children cumulated vsize (Kb) 8368

[startup+1170.08 s]
Raw data (loadavg): 1.00 0.97 0.70 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1883 0 0 0 115502 532 0 0 25 0 1 0 1800582963 8568832 1670 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1670 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1160.34
Current children cumulated vsize (Kb) 8368

[startup+1180.08 s]
Raw data (loadavg): 1.00 0.97 0.70 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1883 0 0 0 116494 536 0 0 25 0 1 0 1800582963 8568832 1670 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2092 1670 566 18 0 2074 0
[pid=13459] vsize: 8368
Current children cumulated CPU time (s) 1170.3
Current children cumulated vsize (Kb) 8368

[startup+1190.08 s]
Raw data (loadavg): 1.00 0.97 0.70 2/56 13459
Raw data (/proc/13459/stat): 13459 (Pueblo) R 13458 13459 6847 0 -1 0 1916 0 0 0 117483 540 0 0 25 0 1 0 1800582963 8601600 1702 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13459/statm): 2100 1702 566 18 0 2082 0
[pid=13459] vsize: 8400
Current children cumulated CPU time (s) 1180.23
Current children cumulated vsize (Kb) 8400
One traced child (pid=13459) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1198.93
CPU time (s): 1189.02
CPU user time (s): 1183.58
CPU system time (s): 5.43917
CPU usage (%): 99.1736
Max. virtual memory (cumulated for all children) (Kb): 8468

Verifier Data

Verifier:	OK	59