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/synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUM6292e63147fb202dc159fbf5a9ff5c77
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4882
Optimality of the best value was proved NO
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1196.31
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42

Trace number 7797

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        850920 kB
Buffers:         31948 kB
Cached:         123836 kB
SwapCached:       1160 kB
Active:          49096 kB
Inactive:       109472 kB
HighTotal:      131008 kB
HighFree:         8596 kB
LowTotal:       903652 kB
LowFree:        842324 kB
SwapTotal:     2097892 kB
SwapFree:      2096252 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19564 kB
Committed_AS:    64344 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:31:45 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 4936 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: 771 - #constraints read: 1906
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 -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 -x609 -x610 x611 x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 x631 -x632 -x633 x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 -x675 -x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771

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/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859108775 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 41 3 40 18 0 23 0
[pid=11125] 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.0036 s]
Raw data (loadavg): 0.91 0.97 0.91 2/57 11127
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 798 0 0 0 858 50 0 0 20 0 1 0 1859108775 4755456 764 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1161 764 566 18 0 1143 0
[pid=11125] vsize: 4644
Current children cumulated CPU time (s) 9.08
Current children cumulated vsize (Kb) 4644

[startup+20.0045 s]
Raw data (loadavg): 0.92 0.97 0.91 2/57 11127
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 880 0 0 0 1708 103 0 0 17 0 1 0 1859108775 5144576 846 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 1256 846 566 18 0 1238 0
[pid=11125] vsize: 5024
Current children cumulated CPU time (s) 18.11
Current children cumulated vsize (Kb) 5024

[startup+30.0054 s]
Raw data (loadavg): 0.93 0.97 0.91 2/57 11127
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 960 0 0 0 2578 150 0 0 25 0 1 0 1859108775 5406720 926 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1320 926 566 18 0 1302 0
[pid=11125] vsize: 5280
Current children cumulated CPU time (s) 27.28
Current children cumulated vsize (Kb) 5280

[startup+40.0053 s]
Raw data (loadavg): 0.94 0.97 0.91 2/57 11127
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1015 0 0 0 3454 191 0 0 25 0 1 0 1859108775 5668864 981 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1384 981 566 18 0 1366 0
[pid=11125] vsize: 5536
Current children cumulated CPU time (s) 36.45
Current children cumulated vsize (Kb) 5536

[startup+50.0063 s]
Raw data (loadavg): 0.95 0.97 0.91 2/57 11127
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1034 0 0 0 4347 231 0 0 25 0 1 0 1859108775 5799936 1000 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1416 1000 566 18 0 1398 0
[pid=11125] vsize: 5664
Current children cumulated CPU time (s) 45.78
Current children cumulated vsize (Kb) 5664

[startup+60.0072 s]
Raw data (loadavg): 0.96 0.97 0.91 1/57 11127
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1102 0 0 0 5237 267 0 0 25 0 1 0 1859108775 6062080 1068 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1480 1068 566 18 0 1462 0
[pid=11125] vsize: 5920
Current children cumulated CPU time (s) 55.04
Current children cumulated vsize (Kb) 5920

[startup+70.0091 s]
Raw data (loadavg): 0.96 0.97 0.91 1/57 11129
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1109 0 0 0 6107 311 0 0 20 0 1 0 1859108775 6062080 1075 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1480 1075 566 18 0 1462 0
[pid=11125] vsize: 5920
Current children cumulated CPU time (s) 64.18
Current children cumulated vsize (Kb) 5920

[startup+80.01 s]
Raw data (loadavg): 0.97 0.97 0.91 1/57 11129
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1145 0 0 0 6986 354 0 0 25 0 1 0 1859108775 6193152 1111 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 1512 1111 566 18 0 1494 0
[pid=11125] vsize: 6048
Current children cumulated CPU time (s) 73.4
Current children cumulated vsize (Kb) 6048

[startup+90.01 s]
Raw data (loadavg): 0.97 0.97 0.91 2/57 11129
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1185 0 0 0 7869 396 0 0 25 0 1 0 1859108775 6463488 1151 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1578 1151 566 18 0 1560 0
[pid=11125] vsize: 6312
Current children cumulated CPU time (s) 82.65
Current children cumulated vsize (Kb) 6312

[startup+100.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/57 11129
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1203 0 0 0 8770 429 0 0 25 0 1 0 1859108775 6463488 1169 4294967295 134512640 134578447 3221224624 3221223472 134520200 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1578 1169 566 18 0 1560 0
[pid=11125] vsize: 6312
Current children cumulated CPU time (s) 91.99
Current children cumulated vsize (Kb) 6312

[startup+110.012 s]
Raw data (loadavg): 0.98 0.97 0.91 1/57 11129
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1220 0 0 0 9676 460 0 0 25 0 1 0 1859108775 6549504 1186 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1599 1186 566 18 0 1581 0
[pid=11125] vsize: 6396
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (Kb) 6396

[startup+120.013 s]
Raw data (loadavg): 0.98 0.97 0.91 1/57 11129
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1254 0 0 0 10569 498 0 0 25 0 1 0 1859108775 6680576 1220 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1631 1220 566 18 0 1613 0
[pid=11125] vsize: 6524
Current children cumulated CPU time (s) 110.67
Current children cumulated vsize (Kb) 6524

[startup+130.013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/57 11131
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1302 0 0 0 11455 539 0 0 20 0 1 0 1859108775 6942720 1268 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 1695 1268 566 18 0 1677 0
[pid=11125] vsize: 6780
Current children cumulated CPU time (s) 119.94
Current children cumulated vsize (Kb) 6780

[startup+140.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 11131
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1306 0 0 0 12346 576 0 0 25 0 1 0 1859108775 6942720 1272 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1695 1272 566 18 0 1677 0
[pid=11125] vsize: 6780
Current children cumulated CPU time (s) 129.22
Current children cumulated vsize (Kb) 6780

[startup+150.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 11131
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1318 0 0 0 13238 615 0 0 23 0 1 0 1859108775 6942720 1284 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1695 1284 566 18 0 1677 0
[pid=11125] vsize: 6780
Current children cumulated CPU time (s) 138.53
Current children cumulated vsize (Kb) 6780

[startup+160.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/57 11131
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1325 0 0 0 14126 653 0 0 25 0 1 0 1859108775 6942720 1291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 1695 1291 566 18 0 1677 0
[pid=11125] vsize: 6780
Current children cumulated CPU time (s) 147.79
Current children cumulated vsize (Kb) 6780

[startup+170.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/57 11131
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1330 0 0 0 15024 686 0 0 25 0 1 0 1859108775 6942720 1296 4294967295 134512640 134578447 3221224624 3221223488 134517461 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1695 1296 566 18 0 1677 0
[pid=11125] vsize: 6780
Current children cumulated CPU time (s) 157.1
Current children cumulated vsize (Kb) 6780

[startup+180.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/57 11131
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1349 0 0 0 15923 723 0 0 25 0 1 0 1859108775 7073792 1315 4294967295 134512640 134578447 3221224624 3221223536 134557241 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1727 1315 566 18 0 1709 0
[pid=11125] vsize: 6908
Current children cumulated CPU time (s) 166.46
Current children cumulated vsize (Kb) 6908

[startup+190.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/57 11133
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1396 0 0 0 16802 764 0 0 20 0 1 0 1859108775 7335936 1362 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1791 1362 566 18 0 1773 0
[pid=11125] vsize: 7164
Current children cumulated CPU time (s) 175.66
Current children cumulated vsize (Kb) 7164

[startup+200.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/57 11133
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1421 0 0 0 17686 805 0 0 25 0 1 0 1859108775 7335936 1387 4294967295 134512640 134578447 3221224624 3221223520 134519803 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1791 1387 566 18 0 1773 0
[pid=11125] vsize: 7164
Current children cumulated CPU time (s) 184.91
Current children cumulated vsize (Kb) 7164

[startup+210.017 s]
Raw data (loadavg): 1.03 0.99 0.91 1/57 11133
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1437 0 0 0 18577 841 0 0 23 0 1 0 1859108775 7479296 1403 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 1826 1403 566 18 0 1808 0
[pid=11125] vsize: 7304
Current children cumulated CPU time (s) 194.18
Current children cumulated vsize (Kb) 7304

[startup+220.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/57 11133
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1449 0 0 0 19463 883 0 0 25 0 1 0 1859108775 7479296 1415 4294967295 134512640 134578447 3221224624 3221223488 134517522 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1826 1415 566 18 0 1808 0
[pid=11125] vsize: 7304
Current children cumulated CPU time (s) 203.46
Current children cumulated vsize (Kb) 7304

[startup+230.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/57 11133
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1454 0 0 0 20347 921 0 0 21 0 1 0 1859108775 7479296 1420 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1826 1420 566 18 0 1808 0
[pid=11125] vsize: 7304
Current children cumulated CPU time (s) 212.68
Current children cumulated vsize (Kb) 7304

[startup+240.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/57 11133
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1483 0 0 0 21219 966 0 0 25 0 1 0 1859108775 7614464 1449 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1859 1449 566 18 0 1841 0
[pid=11125] vsize: 7436
Current children cumulated CPU time (s) 221.85
Current children cumulated vsize (Kb) 7436

[startup+250.021 s]
Raw data (loadavg): 1.01 0.99 0.91 1/57 11135
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1491 0 0 0 22079 1014 0 0 20 0 1 0 1859108775 7761920 1457 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1895 1457 566 18 0 1877 0
[pid=11125] vsize: 7580
Current children cumulated CPU time (s) 230.93
Current children cumulated vsize (Kb) 7580

[startup+260.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/57 11135
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1502 0 0 0 22950 1056 0 0 25 0 1 0 1859108775 7761920 1468 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1895 1468 566 18 0 1877 0
[pid=11125] vsize: 7580
Current children cumulated CPU time (s) 240.06
Current children cumulated vsize (Kb) 7580

[startup+270.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/57 11135
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1502 0 0 0 23823 1103 0 0 25 0 1 0 1859108775 7761920 1468 4294967295 134512640 134578447 3221224624 3221223536 134556806 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 1895 1468 566 18 0 1877 0
[pid=11125] vsize: 7580
Current children cumulated CPU time (s) 249.26
Current children cumulated vsize (Kb) 7580

[startup+280.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/57 11135
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1571 0 0 0 24696 1149 0 0 25 0 1 0 1859108775 8024064 1537 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 1959 1537 566 18 0 1941 0
[pid=11125] vsize: 7836
Current children cumulated CPU time (s) 258.45
Current children cumulated vsize (Kb) 7836

[startup+290.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/57 11135
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1636 0 0 0 25587 1184 0 0 25 0 1 0 1859108775 8294400 1602 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2025 1602 566 18 0 2007 0
[pid=11125] vsize: 8100
Current children cumulated CPU time (s) 267.71
Current children cumulated vsize (Kb) 8100

[startup+300.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11135
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1653 0 0 0 26470 1225 0 0 25 0 1 0 1859108775 8433664 1619 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2059 1619 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 276.95
Current children cumulated vsize (Kb) 8236

[startup+310.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11137
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1653 0 0 0 27360 1262 0 0 25 0 1 0 1859108775 8433664 1619 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2059 1619 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 286.22
Current children cumulated vsize (Kb) 8236

[startup+320.025 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11137
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1654 0 0 0 28251 1297 0 0 25 0 1 0 1859108775 8433664 1620 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2059 1620 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 295.48
Current children cumulated vsize (Kb) 8236

[startup+330.026 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11137
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1654 0 0 0 29145 1334 0 0 25 0 1 0 1859108775 8433664 1620 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2059 1620 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 304.79
Current children cumulated vsize (Kb) 8236

[startup+340.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11137
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1654 0 0 0 30035 1374 0 0 25 0 1 0 1859108775 8433664 1620 4294967295 134512640 134578447 3221224624 3221223504 134527761 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2059 1620 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 314.09
Current children cumulated vsize (Kb) 8236

[startup+350.027 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11137
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1654 0 0 0 30921 1411 0 0 25 0 1 0 1859108775 8433664 1620 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2059 1620 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 323.32
Current children cumulated vsize (Kb) 8236

[startup+360.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11137
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1674 0 0 0 31804 1450 0 0 25 0 1 0 1859108775 8433664 1640 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2059 1640 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 332.54
Current children cumulated vsize (Kb) 8236

[startup+370.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11139
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1674 0 0 0 32699 1486 0 0 20 0 1 0 1859108775 8433664 1640 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2059 1640 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 341.85
Current children cumulated vsize (Kb) 8236

[startup+380.029 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11139
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1686 0 0 0 33581 1527 0 0 25 0 1 0 1859108775 8433664 1652 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2059 1652 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 351.08
Current children cumulated vsize (Kb) 8236

[startup+390.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11139
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1687 0 0 0 34461 1568 0 0 25 0 1 0 1859108775 8433664 1653 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2059 1653 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 360.29
Current children cumulated vsize (Kb) 8236

[startup+400.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11139
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1687 0 0 0 35336 1613 0 0 25 0 1 0 1859108775 8433664 1653 4294967295 134512640 134578447 3221224624 3221223536 134557701 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2059 1653 566 18 0 2041 0
[pid=11125] vsize: 8236
Current children cumulated CPU time (s) 369.49
Current children cumulated vsize (Kb) 8236

[startup+410.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11139
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1688 0 0 0 36216 1651 0 0 25 0 1 0 1859108775 8564736 1654 4294967295 134512640 134578447 3221224624 3221223536 134556791 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2091 1654 566 18 0 2073 0
[pid=11125] vsize: 8364
Current children cumulated CPU time (s) 378.67
Current children cumulated vsize (Kb) 8364

[startup+420.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11139
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1743 0 0 0 37084 1696 0 0 25 0 1 0 1859108775 8695808 1709 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2123 1709 566 18 0 2105 0
[pid=11125] vsize: 8492
Current children cumulated CPU time (s) 387.8
Current children cumulated vsize (Kb) 8492

[startup+430.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11141
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1780 0 0 0 37955 1742 0 0 25 0 1 0 1859108775 8839168 1746 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2158 1746 566 18 0 2140 0
[pid=11125] vsize: 8632
Current children cumulated CPU time (s) 396.97
Current children cumulated vsize (Kb) 8632

[startup+440.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11141
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1884 0 0 0 38837 1783 0 0 25 0 1 0 1859108775 9371648 1850 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2288 1850 566 18 0 2270 0
[pid=11125] vsize: 9152
Current children cumulated CPU time (s) 406.2
Current children cumulated vsize (Kb) 9152

[startup+450.034 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11141
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1885 0 0 0 39717 1824 0 0 25 0 1 0 1859108775 9359360 1851 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2285 1851 566 18 0 2267 0
[pid=11125] vsize: 9140
Current children cumulated CPU time (s) 415.41
Current children cumulated vsize (Kb) 9140

[startup+460.035 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11141
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1885 0 0 0 40595 1864 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 424.59
Current children cumulated vsize (Kb) 9136

[startup+470.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11141
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 41483 1904 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 433.87
Current children cumulated vsize (Kb) 9136

[startup+480.037 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11141
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1885 0 0 0 42369 1946 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 443.15
Current children cumulated vsize (Kb) 9136

[startup+490.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11143
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 43259 1982 0 0 21 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 452.41
Current children cumulated vsize (Kb) 9136

[startup+500.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11143
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 44153 2020 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 461.73
Current children cumulated vsize (Kb) 9136

[startup+510.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11143
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 45044 2059 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223536 134557415 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 471.03
Current children cumulated vsize (Kb) 9136

[startup+520.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11143
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 45933 2097 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223488 134517736 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 480.3
Current children cumulated vsize (Kb) 9136

[startup+530.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11143
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 46814 2136 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 489.5
Current children cumulated vsize (Kb) 9136

[startup+540.042 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11143
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1885 0 0 0 47693 2179 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 498.72
Current children cumulated vsize (Kb) 9136

[startup+550.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11145
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 48568 2222 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 507.9
Current children cumulated vsize (Kb) 9136

[startup+560.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11145
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 49447 2262 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 517.09
Current children cumulated vsize (Kb) 9136

[startup+570.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11145
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 50330 2306 0 0 22 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 526.36
Current children cumulated vsize (Kb) 9136

[startup+580.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11145
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 51215 2345 0 0 24 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 535.6
Current children cumulated vsize (Kb) 9136

[startup+590.044 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11145
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1885 0 0 0 52100 2384 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 544.84
Current children cumulated vsize (Kb) 9136

[startup+600.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11145
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 52989 2424 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221222944 134564313 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 554.13
Current children cumulated vsize (Kb) 9136

[startup+610.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11147
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 53876 2463 0 0 21 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223504 134527723 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 563.39
Current children cumulated vsize (Kb) 9136

[startup+620.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11147
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1885 0 0 0 54749 2508 0 0 25 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223520 134519885 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 572.57
Current children cumulated vsize (Kb) 9136

[startup+630.047 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11147
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1885 0 0 0 55591 2563 0 0 21 0 1 0 1859108775 9355264 1851 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2284 1851 566 18 0 2266 0
[pid=11125] vsize: 9136
Current children cumulated CPU time (s) 581.54
Current children cumulated vsize (Kb) 9136

[startup+640.047 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11147
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1921 0 0 0 56431 2615 0 0 25 0 1 0 1859108775 9486336 1887 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2316 1887 566 18 0 2298 0
[pid=11125] vsize: 9264
Current children cumulated CPU time (s) 590.46
Current children cumulated vsize (Kb) 9264

[startup+650.048 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11147
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1925 0 0 0 57316 2655 0 0 25 0 1 0 1859108775 9486336 1891 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2316 1891 566 18 0 2298 0
[pid=11125] vsize: 9264
Current children cumulated CPU time (s) 599.71
Current children cumulated vsize (Kb) 9264

[startup+660.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11147
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1934 0 0 0 58178 2701 0 0 22 0 1 0 1859108775 9486336 1900 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2316 1900 566 18 0 2298 0
[pid=11125] vsize: 9264
Current children cumulated CPU time (s) 608.79
Current children cumulated vsize (Kb) 9264

[startup+670.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11149
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1939 0 0 0 59037 2753 0 0 21 0 1 0 1859108775 9486336 1905 4294967295 134512640 134578447 3221224624 3221223456 134558447 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2316 1905 566 18 0 2298 0
[pid=11125] vsize: 9264
Current children cumulated CPU time (s) 617.9
Current children cumulated vsize (Kb) 9264

[startup+680.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11149
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1941 0 0 0 59931 2789 0 0 25 0 1 0 1859108775 9486336 1907 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2316 1907 566 18 0 2298 0
[pid=11125] vsize: 9264
Current children cumulated CPU time (s) 627.2
Current children cumulated vsize (Kb) 9264

[startup+690.051 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11149
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1941 0 0 0 60801 2832 0 0 25 0 1 0 1859108775 9486336 1907 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2316 1907 566 18 0 2298 0
[pid=11125] vsize: 9264
Current children cumulated CPU time (s) 636.33
Current children cumulated vsize (Kb) 9264

[startup+700.052 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11149
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1948 0 0 0 61706 2865 0 0 25 0 1 0 1859108775 9617408 1914 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2348 1914 566 18 0 2330 0
[pid=11125] vsize: 9392
Current children cumulated CPU time (s) 645.71
Current children cumulated vsize (Kb) 9392

[startup+710.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11149
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1949 0 0 0 62561 2915 0 0 25 0 1 0 1859108775 9617408 1915 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2348 1915 566 18 0 2330 0
[pid=11125] vsize: 9392
Current children cumulated CPU time (s) 654.76
Current children cumulated vsize (Kb) 9392

[startup+720.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11149
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1949 0 0 0 63434 2960 0 0 25 0 1 0 1859108775 9617408 1915 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2348 1915 566 18 0 2330 0
[pid=11125] vsize: 9392
Current children cumulated CPU time (s) 663.94
Current children cumulated vsize (Kb) 9392

[startup+730.055 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11151
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1949 0 0 0 64335 2995 0 0 21 0 1 0 1859108775 9617408 1915 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2348 1915 566 18 0 2330 0
[pid=11125] vsize: 9392
Current children cumulated CPU time (s) 673.3
Current children cumulated vsize (Kb) 9392

[startup+740.056 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11151
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1949 0 0 0 65239 3027 0 0 25 0 1 0 1859108775 9617408 1915 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2348 1915 566 18 0 2330 0
[pid=11125] vsize: 9392
Current children cumulated CPU time (s) 682.66
Current children cumulated vsize (Kb) 9392

[startup+750.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11151
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1995 0 0 0 66142 3060 0 0 25 0 1 0 1859108775 9748480 1961 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2380 1961 566 18 0 2362 0
[pid=11125] vsize: 9520
Current children cumulated CPU time (s) 692.02
Current children cumulated vsize (Kb) 9520

[startup+760.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11151
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1995 0 0 0 67054 3090 0 0 25 0 1 0 1859108775 9711616 1961 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2371 1961 566 18 0 2353 0
[pid=11125] vsize: 9484
Current children cumulated CPU time (s) 701.44
Current children cumulated vsize (Kb) 9484

[startup+770.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11151
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1995 0 0 0 67922 3135 0 0 25 0 1 0 1859108775 9625600 1942 4294967295 134512640 134578447 3221224624 3221223456 134558418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2350 1942 566 18 0 2332 0
[pid=11125] vsize: 9400
Current children cumulated CPU time (s) 710.57
Current children cumulated vsize (Kb) 9400

[startup+780.06 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11151
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1995 0 0 0 68754 3194 0 0 24 0 1 0 1859108775 9625600 1942 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2350 1942 566 18 0 2332 0
[pid=11125] vsize: 9400
Current children cumulated CPU time (s) 719.48
Current children cumulated vsize (Kb) 9400

[startup+790.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11153
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1995 0 0 0 69599 3245 0 0 20 0 1 0 1859108775 9625600 1942 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2350 1942 566 18 0 2332 0
[pid=11125] vsize: 9400
Current children cumulated CPU time (s) 728.44
Current children cumulated vsize (Kb) 9400

[startup+800.062 s]
Raw data (loadavg): 1.00 0.99 0.91 1/57 11153
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 1995 0 0 0 70436 3300 0 0 20 0 1 0 1859108775 9625600 1942 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2350 1942 566 18 0 2332 0
[pid=11125] vsize: 9400
Current children cumulated CPU time (s) 737.36
Current children cumulated vsize (Kb) 9400

[startup+810.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11153
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 1995 0 0 0 71246 3364 0 0 24 0 1 0 1859108775 9625600 1942 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2350 1942 566 18 0 2332 0
[pid=11125] vsize: 9400
Current children cumulated CPU time (s) 746.1
Current children cumulated vsize (Kb) 9400

[startup+820.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 11153
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2000 0 0 0 72087 3415 0 0 17 0 1 0 1859108775 9756672 1947 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1947 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 755.02
Current children cumulated vsize (Kb) 9528

[startup+830.064 s]
Raw data (loadavg): 1.08 1.01 0.92 2/57 11153
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2006 0 0 0 72924 3471 0 0 24 0 1 0 1859108775 9756672 1953 4294967295 134512640 134578447 3221224624 3221223488 134517947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1953 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 763.95
Current children cumulated vsize (Kb) 9528

[startup+840.065 s]
Raw data (loadavg): 1.07 1.01 0.92 2/57 11153
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2006 0 0 0 73774 3523 0 0 24 0 1 0 1859108775 9756672 1953 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1953 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 772.97
Current children cumulated vsize (Kb) 9528

[startup+850.066 s]
Raw data (loadavg): 1.06 1.01 0.92 2/57 11155
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2006 0 0 0 74640 3568 0 0 20 0 1 0 1859108775 9756672 1953 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1953 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 782.08
Current children cumulated vsize (Kb) 9528

[startup+860.067 s]
Raw data (loadavg): 1.05 1.00 0.92 2/57 11155
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2011 0 0 0 75476 3622 0 0 24 0 1 0 1859108775 9756672 1958 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2382 1958 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 790.98
Current children cumulated vsize (Kb) 9528

[startup+870.068 s]
Raw data (loadavg): 1.04 1.00 0.92 2/57 11155
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2011 0 0 0 76280 3689 0 0 23 0 1 0 1859108775 9756672 1958 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1958 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 799.69
Current children cumulated vsize (Kb) 9528

[startup+880.069 s]
Raw data (loadavg): 1.03 1.00 0.92 2/57 11155
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2011 0 0 0 77091 3751 0 0 24 0 1 0 1859108775 9756672 1958 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1958 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 808.42
Current children cumulated vsize (Kb) 9528

[startup+890.069 s]
Raw data (loadavg): 1.03 1.00 0.92 2/57 11155
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2011 0 0 0 77934 3803 0 0 25 0 1 0 1859108775 9756672 1958 4294967295 134512640 134578447 3221224624 3221223472 134556098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1958 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 817.37
Current children cumulated vsize (Kb) 9528

[startup+900.07 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 11155
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2011 0 0 0 78764 3861 0 0 24 0 1 0 1859108775 9756672 1958 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1958 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 826.25
Current children cumulated vsize (Kb) 9528

[startup+910.071 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 11157
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2014 0 0 0 79604 3919 0 0 20 0 1 0 1859108775 9756672 1961 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1961 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 835.23
Current children cumulated vsize (Kb) 9528

[startup+920.072 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 11157
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2014 0 0 0 80444 3972 0 0 24 0 1 0 1859108775 9756672 1961 4294967295 134512640 134578447 3221224624 3221223536 134557782 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1961 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 844.16
Current children cumulated vsize (Kb) 9528

[startup+930.073 s]
Raw data (loadavg): 1.01 1.00 0.92 1/57 11157
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2014 0 0 0 81271 4030 0 0 23 0 1 0 1859108775 9756672 1961 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1961 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 853.01
Current children cumulated vsize (Kb) 9528

[startup+940.074 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 11157
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2014 0 0 0 82110 4086 0 0 21 0 1 0 1859108775 9756672 1961 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2382 1961 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 861.96
Current children cumulated vsize (Kb) 9528

[startup+950.074 s]
Raw data (loadavg): 1.01 1.00 0.92 1/57 11157
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2014 0 0 0 82968 4133 0 0 21 0 1 0 1859108775 9756672 1961 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2382 1961 566 18 0 2364 0
[pid=11125] vsize: 9528
Current children cumulated CPU time (s) 871.01
Current children cumulated vsize (Kb) 9528

[startup+960.075 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 11157
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2080 0 0 0 83799 4185 0 0 25 0 1 0 1859108775 10018816 2027 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2446 2027 566 18 0 2428 0
[pid=11125] vsize: 9784
Current children cumulated CPU time (s) 879.84
Current children cumulated vsize (Kb) 9784

[startup+970.076 s]
Raw data (loadavg): 1.08 1.02 0.93 2/57 11159
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2111 0 0 0 84691 4224 0 0 21 0 1 0 1859108775 10158080 2058 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2480 2058 566 18 0 2462 0
[pid=11125] vsize: 9920
Current children cumulated CPU time (s) 889.15
Current children cumulated vsize (Kb) 9920

[startup+980.075 s]
Raw data (loadavg): 1.07 1.02 0.93 2/57 11159
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2130 0 0 0 85581 4263 0 0 25 0 1 0 1859108775 10289152 2077 4294967295 134512640 134578447 3221224624 3221223472 134520250 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2512 2077 566 18 0 2494 0
[pid=11125] vsize: 10048
Current children cumulated CPU time (s) 898.44
Current children cumulated vsize (Kb) 10048

[startup+990.075 s]
Raw data (loadavg): 1.06 1.01 0.93 1/57 11159
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2160 0 0 0 86458 4306 0 0 25 0 1 0 1859108775 10420224 2107 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2544 2107 566 18 0 2526 0
[pid=11125] vsize: 10176
Current children cumulated CPU time (s) 907.64
Current children cumulated vsize (Kb) 10176

[startup+1000.08 s]
Raw data (loadavg): 1.05 1.01 0.93 2/57 11159
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2178 0 0 0 87344 4344 0 0 25 0 1 0 1859108775 10420224 2125 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2544 2125 566 18 0 2526 0
[pid=11125] vsize: 10176
Current children cumulated CPU time (s) 916.88
Current children cumulated vsize (Kb) 10176

[startup+1010.08 s]
Raw data (loadavg): 1.04 1.01 0.93 2/57 11159
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2185 0 0 0 88233 4382 0 0 25 0 1 0 1859108775 10420224 2132 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2544 2132 566 18 0 2526 0
[pid=11125] vsize: 10176
Current children cumulated CPU time (s) 926.15
Current children cumulated vsize (Kb) 10176

[startup+1020.08 s]
Raw data (loadavg): 1.03 1.01 0.93 1/57 11159
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2185 0 0 0 89117 4422 0 0 25 0 1 0 1859108775 10420224 2132 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2544 2132 566 18 0 2526 0
[pid=11125] vsize: 10176
Current children cumulated CPU time (s) 935.39
Current children cumulated vsize (Kb) 10176

[startup+1030.08 s]
Raw data (loadavg): 1.03 1.01 0.93 1/57 11161
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2196 0 0 0 90000 4461 0 0 21 0 1 0 1859108775 10567680 2143 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2580 2143 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 944.61
Current children cumulated vsize (Kb) 10320

[startup+1040.08 s]
Raw data (loadavg): 1.02 1.01 0.93 1/57 11161
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2199 0 0 0 90882 4501 0 0 25 0 1 0 1859108775 10567680 2146 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2580 2146 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 953.83
Current children cumulated vsize (Kb) 10320

[startup+1050.08 s]
Raw data (loadavg): 1.02 1.01 0.93 2/57 11161
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2199 0 0 0 91760 4543 0 0 25 0 1 0 1859108775 10567680 2146 4294967295 134512640 134578447 3221224624 3221223456 134558314 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2580 2146 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 963.03
Current children cumulated vsize (Kb) 10320

[startup+1060.08 s]
Raw data (loadavg): 1.02 1.01 0.93 2/57 11161
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2203 0 0 0 92649 4581 0 0 22 0 1 0 1859108775 10567680 2150 4294967295 134512640 134578447 3221224624 3221223504 134527770 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2580 2150 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 972.3
Current children cumulated vsize (Kb) 10320

[startup+1070.08 s]
Raw data (loadavg): 1.01 1.01 0.93 1/57 11161
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2203 0 0 0 93536 4618 0 0 25 0 1 0 1859108775 10567680 2150 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2580 2150 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 981.54
Current children cumulated vsize (Kb) 10320

[startup+1080.08 s]
Raw data (loadavg): 1.01 1.01 0.93 2/57 11161
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2204 0 0 0 94422 4656 0 0 25 0 1 0 1859108775 10567680 2151 4294967295 134512640 134578447 3221224624 3221223488 134517551 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2580 2151 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 990.78
Current children cumulated vsize (Kb) 10320

[startup+1090.08 s]
Raw data (loadavg): 1.01 1.00 0.93 2/57 11163
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2209 0 0 0 95306 4697 0 0 25 0 1 0 1859108775 10567680 2156 4294967295 134512640 134578447 3221224624 3221223520 134519885 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2580 2156 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 1000.03
Current children cumulated vsize (Kb) 10320

[startup+1100.08 s]
Raw data (loadavg): 1.01 1.00 0.93 2/57 11163
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2209 0 0 0 96194 4735 0 0 25 0 1 0 1859108775 10567680 2156 4294967295 134512640 134578447 3221224624 3221223552 134516676 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2580 2156 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 1009.29
Current children cumulated vsize (Kb) 10320

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 11163
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2209 0 0 0 97087 4773 0 0 25 0 1 0 1859108775 10567680 2156 4294967295 134512640 134578447 3221224624 3221223472 134558306 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2580 2156 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 1018.6
Current children cumulated vsize (Kb) 10320

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 11163
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2221 0 0 0 97988 4804 0 0 17 0 1 0 1859108775 10567680 2168 4294967295 134512640 134578447 3221224624 3221223456 134558415 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2580 2168 566 18 0 2562 0
[pid=11125] vsize: 10320
Current children cumulated CPU time (s) 1027.92
Current children cumulated vsize (Kb) 10320

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 11163
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2223 0 0 0 98879 4842 0 0 25 0 1 0 1859108775 10715136 2170 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2170 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1037.21
Current children cumulated vsize (Kb) 10464

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 11163
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2223 0 0 0 99765 4880 0 0 25 0 1 0 1859108775 10715136 2170 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2170 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1046.45
Current children cumulated vsize (Kb) 10464

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 11165
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2224 0 0 0 100654 4918 0 0 25 0 1 0 1859108775 10715136 2171 4294967295 134512640 134578447 3221224624 3221223532 1075285472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2171 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1055.72
Current children cumulated vsize (Kb) 10464

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 11165
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2224 0 0 0 101551 4955 0 0 25 0 1 0 1859108775 10715136 2171 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2171 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1065.06
Current children cumulated vsize (Kb) 10464

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 11165
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2224 0 0 0 102442 4992 0 0 25 0 1 0 1859108775 10715136 2171 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2171 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1074.34
Current children cumulated vsize (Kb) 10464

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/57 11165
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2224 0 0 0 103321 5030 0 0 25 0 1 0 1859108775 10715136 2171 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2171 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1083.51
Current children cumulated vsize (Kb) 10464

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/57 11165
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2227 0 0 0 104213 5067 0 0 25 0 1 0 1859108775 10715136 2174 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2174 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1092.8
Current children cumulated vsize (Kb) 10464

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/57 11165
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2232 0 0 0 105096 5105 0 0 25 0 1 0 1859108775 10715136 2179 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2179 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1102.01
Current children cumulated vsize (Kb) 10464

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 11167
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2236 0 0 0 105977 5143 0 0 21 0 1 0 1859108775 10715136 2183 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2616 2183 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1111.2
Current children cumulated vsize (Kb) 10464

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 11167
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2236 0 0 0 106857 5184 0 0 25 0 1 0 1859108775 10715136 2183 4294967295 134512640 134578447 3221224624 3221223536 134557349 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2616 2183 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1120.41
Current children cumulated vsize (Kb) 10464

[startup+1230.09 s]
Raw data (loadavg): 1.08 1.02 0.93 1/57 11167
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2236 0 0 0 107739 5223 0 0 25 0 1 0 1859108775 10715136 2183 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2183 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1129.62
Current children cumulated vsize (Kb) 10464

[startup+1240.09 s]
Raw data (loadavg): 1.07 1.02 0.93 1/57 11167
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2236 0 0 0 108625 5262 0 0 25 0 1 0 1859108775 10715136 2183 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2183 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1138.87
Current children cumulated vsize (Kb) 10464

[startup+1250.1 s]
Raw data (loadavg): 1.06 1.01 0.93 2/57 11167
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2236 0 0 0 109505 5300 0 0 25 0 1 0 1859108775 10715136 2183 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2183 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1148.05
Current children cumulated vsize (Kb) 10464

[startup+1260.1 s]
Raw data (loadavg): 1.05 1.01 0.93 1/57 11167
Raw data (/proc/11125/stat): 11125 (Pueblo) T 11124 11125 9102 0 -1 0 2237 0 0 0 110391 5339 0 0 25 0 1 0 1859108775 10715136 2184 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2184 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1157.3
Current children cumulated vsize (Kb) 10464

[startup+1270.1 s]
Raw data (loadavg): 1.04 1.01 0.93 2/57 11169
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2237 0 0 0 111280 5375 0 0 17 0 1 0 1859108775 10715136 2184 4294967295 134512640 134578447 3221224624 3221223488 134517601 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11125/statm): 2616 2184 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1166.55
Current children cumulated vsize (Kb) 10464

[startup+1280.1 s]
Raw data (loadavg): 1.03 1.01 0.93 2/57 11169
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2237 0 0 0 112173 5412 0 0 25 0 1 0 1859108775 10715136 2184 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2184 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1175.85
Current children cumulated vsize (Kb) 10464

[startup+1290.1 s]
Raw data (loadavg): 1.03 1.01 0.93 2/57 11169
Raw data (/proc/11125/stat): 11125 (Pueblo) R 11124 11125 9102 0 -1 0 2237 0 0 0 113058 5451 0 0 25 0 1 0 1859108775 10715136 2184 4294967295 134512640 134578447 3221224624 3221223664 134531685 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11125/statm): 2616 2184 566 18 0 2598 0
[pid=11125] vsize: 10464
Current children cumulated CPU time (s) 1185.09
Current children cumulated vsize (Kb) 10464
One traced child (pid=11125) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1294.37
CPU time (s): 1189.01
CPU user time (s): 1134.3
CPU system time (s): 54.7077
CPU usage (%): 91.8603
Max. virtual memory (cumulated for all children) (Kb): 10464

Verifier Data

Verifier:	OK	5610