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-alu4.b.opb
MD5SUMdb06e7fbd4f70a4af68f8f196fdb3636
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50
Optimality of the best value was proved NO
Number of terms in the objective function 808
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 808
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 808
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.2
Number of variables807
Total number of constraints1838
Number of constraints which are clauses1823
Number of constraints which are cardinality constraints (but not clauses)15
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98

Trace number 7641

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-20 13:16:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4760 boxname=wulflinc30 idbench=72 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc30/normalized-alu4.b.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4760
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        847652 kB
Buffers:         34412 kB
Cached:         122564 kB
SwapCached:        784 kB
Active:          80784 kB
Inactive:        78928 kB
HighTotal:      131008 kB
HighFree:        18704 kB
LowTotal:       903652 kB
LowFree:        828948 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5792 kB
Slab:            21600 kB
Committed_AS:    64272 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 13:36:10 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 4760 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: 808 - #constraints read: 1711
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 -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 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 x785 x786 -x787 -x788 x789 -x790 -x791 -x792 x793 -x794 x795 x796 x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 

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/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1858812334 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 41 3 40 18 0 23 0
[pid=7728] 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.0044 s]
Raw data (loadavg): 0.37 0.09 0.03 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 900 0 0 0 973 10 0 0 25 0 1 0 1858812334 5234688 866 4294967295 134512640 134578447 3221224624 3221222368 134532528 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1278 866 566 18 0 1260 0
[pid=7728] vsize: 5112
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 5112

[startup+20.0052 s]
Raw data (loadavg): 0.47 0.12 0.04 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1092 0 0 0 1953 17 0 0 25 0 1 0 1858812334 5951488 1031 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1453 1031 566 18 0 1435 0
[pid=7728] vsize: 5812
Current children cumulated CPU time (s) 19.7
Current children cumulated vsize (Kb) 5812

[startup+30.0049 s]
Raw data (loadavg): 0.55 0.15 0.05 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1229 0 0 0 2937 24 0 0 25 0 1 0 1858812334 6295552 1132 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1537 1132 566 18 0 1519 0
[pid=7728] vsize: 6148
Current children cumulated CPU time (s) 29.61
Current children cumulated vsize (Kb) 6148

[startup+40.0057 s]
Raw data (loadavg): 0.62 0.18 0.06 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1337 0 0 0 3921 29 0 0 25 0 1 0 1858812334 6684672 1212 4294967295 134512640 134578447 3221224624 3221223296 134522551 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 1632 1212 566 18 0 1614 0
[pid=7728] vsize: 6528
Current children cumulated CPU time (s) 39.5
Current children cumulated vsize (Kb) 6528

[startup+50.0064 s]
Raw data (loadavg): 0.67 0.20 0.07 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1337 0 0 0 4906 34 0 0 25 0 1 0 1858812334 6684672 1212 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1632 1212 566 18 0 1614 0
[pid=7728] vsize: 6528
Current children cumulated CPU time (s) 49.4
Current children cumulated vsize (Kb) 6528

[startup+60.0072 s]
Raw data (loadavg): 0.72 0.23 0.08 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1346 0 0 0 5886 41 0 0 25 0 1 0 1858812334 6684672 1221 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 1632 1221 566 18 0 1614 0
[pid=7728] vsize: 6528
Current children cumulated CPU time (s) 59.27
Current children cumulated vsize (Kb) 6528

[startup+70.0079 s]
Raw data (loadavg): 0.77 0.25 0.09 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1402 0 0 0 6863 50 0 0 25 0 1 0 1858812334 6934528 1277 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1693 1277 566 18 0 1675 0
[pid=7728] vsize: 6772
Current children cumulated CPU time (s) 69.13
Current children cumulated vsize (Kb) 6772

[startup+80.0087 s]
Raw data (loadavg): 0.80 0.28 0.10 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1406 0 0 0 7849 55 0 0 25 0 1 0 1858812334 6807552 1269 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1662 1269 566 18 0 1644 0
[pid=7728] vsize: 6648
Current children cumulated CPU time (s) 79.04
Current children cumulated vsize (Kb) 6648

[startup+90.0094 s]
Raw data (loadavg): 0.83 0.30 0.11 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1460 0 0 0 8835 60 0 0 25 0 1 0 1858812334 7049216 1323 4294967295 134512640 134578447 3221224624 3221223504 134527799 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 1721 1323 566 18 0 1703 0
[pid=7728] vsize: 6884
Current children cumulated CPU time (s) 88.95
Current children cumulated vsize (Kb) 6884

[startup+100.009 s]
Raw data (loadavg): 0.86 0.32 0.11 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1532 0 0 0 9817 67 0 0 25 0 1 0 1858812334 7360512 1385 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1797 1385 566 18 0 1779 0
[pid=7728] vsize: 7188
Current children cumulated CPU time (s) 98.84
Current children cumulated vsize (Kb) 7188

[startup+110.011 s]
Raw data (loadavg): 0.88 0.35 0.12 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1571 0 0 0 10798 73 0 0 25 0 1 0 1858812334 7458816 1424 4294967295 134512640 134578447 3221224624 3221223536 134556906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1821 1424 566 18 0 1803 0
[pid=7728] vsize: 7284
Current children cumulated CPU time (s) 108.71
Current children cumulated vsize (Kb) 7284

[startup+120.012 s]
Raw data (loadavg): 0.90 0.37 0.13 3/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1631 0 0 0 11774 82 0 0 25 0 1 0 1858812334 7737344 1484 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1889 1484 566 18 0 1871 0
[pid=7728] vsize: 7556
Current children cumulated CPU time (s) 118.56
Current children cumulated vsize (Kb) 7556

[startup+130.011 s]
Raw data (loadavg): 0.91 0.39 0.14 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1631 0 0 0 12756 86 0 0 25 0 1 0 1858812334 7737344 1484 4294967295 134512640 134578447 3221224624 3221223476 134555845 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1889 1484 566 18 0 1871 0
[pid=7728] vsize: 7556
Current children cumulated CPU time (s) 128.42
Current children cumulated vsize (Kb) 7556

[startup+140.012 s]
Raw data (loadavg): 0.93 0.41 0.15 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1639 0 0 0 13741 91 0 0 25 0 1 0 1858812334 7737344 1492 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1889 1492 566 18 0 1871 0
[pid=7728] vsize: 7556
Current children cumulated CPU time (s) 138.32
Current children cumulated vsize (Kb) 7556

[startup+150.013 s]
Raw data (loadavg): 0.94 0.43 0.16 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1639 0 0 0 14725 97 0 0 25 0 1 0 1858812334 7737344 1492 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 1889 1492 566 18 0 1871 0
[pid=7728] vsize: 7556
Current children cumulated CPU time (s) 148.22
Current children cumulated vsize (Kb) 7556

[startup+160.014 s]
Raw data (loadavg): 0.95 0.44 0.17 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1639 0 0 0 15712 101 0 0 25 0 1 0 1858812334 7737344 1492 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1889 1492 566 18 0 1871 0
[pid=7728] vsize: 7556
Current children cumulated CPU time (s) 158.13
Current children cumulated vsize (Kb) 7556

[startup+170.014 s]
Raw data (loadavg): 0.95 0.46 0.18 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1639 0 0 0 16703 104 0 0 25 0 1 0 1858812334 7737344 1492 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1889 1492 566 18 0 1871 0
[pid=7728] vsize: 7556
Current children cumulated CPU time (s) 168.07
Current children cumulated vsize (Kb) 7556

[startup+180.015 s]
Raw data (loadavg): 0.96 0.48 0.18 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1718 0 0 0 17684 110 0 0 25 0 1 0 1858812334 7991296 1558 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 1951 1558 566 18 0 1933 0
[pid=7728] vsize: 7804
Current children cumulated CPU time (s) 177.94
Current children cumulated vsize (Kb) 7804

[startup+190.016 s]
Raw data (loadavg): 0.97 0.50 0.19 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1718 0 0 0 18666 117 0 0 25 0 1 0 1858812334 7991296 1558 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1951 1558 566 18 0 1933 0
[pid=7728] vsize: 7804
Current children cumulated CPU time (s) 187.83
Current children cumulated vsize (Kb) 7804

[startup+200.017 s]
Raw data (loadavg): 0.97 0.51 0.20 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1718 0 0 0 19614 134 0 0 25 0 1 0 1858812334 7839744 1521 4294967295 134512640 134578447 3221224624 3221223476 134555838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1914 1521 566 18 0 1896 0
[pid=7728] vsize: 7656
Current children cumulated CPU time (s) 197.48
Current children cumulated vsize (Kb) 7656

[startup+210.018 s]
Raw data (loadavg): 0.97 0.53 0.21 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1718 0 0 0 20593 141 0 0 25 0 1 0 1858812334 7839744 1521 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1914 1521 566 18 0 1896 0
[pid=7728] vsize: 7656
Current children cumulated CPU time (s) 207.34
Current children cumulated vsize (Kb) 7656

[startup+220.018 s]
Raw data (loadavg): 0.98 0.54 0.22 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1793 0 0 0 21578 146 0 0 25 0 1 0 1858812334 8040448 1570 4294967295 134512640 134578447 3221224624 3221223508 1075285638 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1963 1570 566 18 0 1945 0
[pid=7728] vsize: 7852
Current children cumulated CPU time (s) 217.24
Current children cumulated vsize (Kb) 7852

[startup+230.018 s]
Raw data (loadavg): 0.98 0.56 0.22 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1793 0 0 0 22565 153 0 0 25 0 1 0 1858812334 8040448 1570 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1963 1570 566 18 0 1945 0
[pid=7728] vsize: 7852
Current children cumulated CPU time (s) 227.18
Current children cumulated vsize (Kb) 7852

[startup+240.019 s]
Raw data (loadavg): 0.98 0.57 0.23 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1856 0 0 0 23551 158 0 0 25 0 1 0 1858812334 8110080 1587 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1980 1587 566 18 0 1962 0
[pid=7728] vsize: 7920
Current children cumulated CPU time (s) 237.09
Current children cumulated vsize (Kb) 7920

[startup+250.019 s]
Raw data (loadavg): 0.99 0.58 0.24 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1871 0 0 0 24535 163 0 0 25 0 1 0 1858812334 8110080 1587 4294967295 134512640 134578447 3221224624 3221223472 134556149 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1980 1587 566 18 0 1962 0
[pid=7728] vsize: 7920
Current children cumulated CPU time (s) 246.98
Current children cumulated vsize (Kb) 7920

[startup+260.02 s]
Raw data (loadavg): 0.99 0.60 0.25 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1871 0 0 0 25523 167 0 0 25 0 1 0 1858812334 8110080 1587 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1980 1587 566 18 0 1962 0
[pid=7728] vsize: 7920
Current children cumulated CPU time (s) 256.9
Current children cumulated vsize (Kb) 7920

[startup+270.021 s]
Raw data (loadavg): 0.99 0.61 0.25 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1871 0 0 0 26509 173 0 0 25 0 1 0 1858812334 8110080 1587 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1980 1587 566 18 0 1962 0
[pid=7728] vsize: 7920
Current children cumulated CPU time (s) 266.82
Current children cumulated vsize (Kb) 7920

[startup+280.021 s]
Raw data (loadavg): 0.99 0.62 0.26 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1871 0 0 0 27465 189 0 0 25 0 1 0 1858812334 8110080 1587 4294967295 134512640 134578447 3221224624 3221223536 134557429 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 1980 1587 566 18 0 1962 0
[pid=7728] vsize: 7920
Current children cumulated CPU time (s) 276.54
Current children cumulated vsize (Kb) 7920

[startup+290.021 s]
Raw data (loadavg): 0.99 0.64 0.27 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1871 0 0 0 28442 198 0 0 25 0 1 0 1858812334 8110080 1587 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 1980 1587 566 18 0 1962 0
[pid=7728] vsize: 7920
Current children cumulated CPU time (s) 286.4
Current children cumulated vsize (Kb) 7920

[startup+300.021 s]
Raw data (loadavg): 0.99 0.65 0.28 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1885 0 0 0 29420 206 0 0 25 0 1 0 1858812334 8228864 1601 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2009 1601 566 18 0 1991 0
[pid=7728] vsize: 8036
Current children cumulated CPU time (s) 296.26
Current children cumulated vsize (Kb) 8036

[startup+310.022 s]
Raw data (loadavg): 0.99 0.66 0.28 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 1970 0 0 0 30377 223 0 0 25 0 1 0 1858812334 8609792 1686 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2102 1686 566 18 0 2084 0
[pid=7728] vsize: 8408
Current children cumulated CPU time (s) 306
Current children cumulated vsize (Kb) 8408

[startup+320.023 s]
Raw data (loadavg): 0.99 0.67 0.29 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2011 0 0 0 31350 233 0 0 25 0 1 0 1858812334 8609792 1709 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2102 1709 566 18 0 2084 0
[pid=7728] vsize: 8408
Current children cumulated CPU time (s) 315.83
Current children cumulated vsize (Kb) 8408

[startup+330.023 s]
Raw data (loadavg): 0.99 0.68 0.30 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2022 0 0 0 32330 242 0 0 25 0 1 0 1858812334 8622080 1712 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2105 1712 566 18 0 2087 0
[pid=7728] vsize: 8420
Current children cumulated CPU time (s) 325.72
Current children cumulated vsize (Kb) 8420

[startup+340.023 s]
Raw data (loadavg): 0.99 0.69 0.31 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2022 0 0 0 33312 248 0 0 25 0 1 0 1858812334 8622080 1712 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2105 1712 566 18 0 2087 0
[pid=7728] vsize: 8420
Current children cumulated CPU time (s) 335.6
Current children cumulated vsize (Kb) 8420

[startup+350.023 s]
Raw data (loadavg): 0.99 0.70 0.31 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2062 0 0 0 34297 255 0 0 25 0 1 0 1858812334 8904704 1752 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2174 1752 566 18 0 2156 0
[pid=7728] vsize: 8696
Current children cumulated CPU time (s) 345.52
Current children cumulated vsize (Kb) 8696

[startup+360.024 s]
Raw data (loadavg): 0.99 0.71 0.32 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2079 0 0 0 35285 259 0 0 25 0 1 0 1858812334 8822784 1744 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2154 1744 566 18 0 2136 0
[pid=7728] vsize: 8616
Current children cumulated CPU time (s) 355.44
Current children cumulated vsize (Kb) 8616

[startup+370.025 s]
Raw data (loadavg): 0.99 0.72 0.33 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2079 0 0 0 36275 263 0 0 25 0 1 0 1858812334 8822784 1744 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2154 1744 566 18 0 2136 0
[pid=7728] vsize: 8616
Current children cumulated CPU time (s) 365.38
Current children cumulated vsize (Kb) 8616

[startup+380.024 s]
Raw data (loadavg): 0.99 0.73 0.33 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2101 0 0 0 37264 267 0 0 25 0 1 0 1858812334 8884224 1766 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2169 1766 566 18 0 2151 0
[pid=7728] vsize: 8676
Current children cumulated CPU time (s) 375.31
Current children cumulated vsize (Kb) 8676

[startup+390.025 s]
Raw data (loadavg): 0.99 0.74 0.34 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2101 0 0 0 38251 272 0 0 25 0 1 0 1858812334 8884224 1766 4294967295 134512640 134578447 3221224624 3221223280 1075288306 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2169 1766 566 18 0 2151 0
[pid=7728] vsize: 8676
Current children cumulated CPU time (s) 385.23
Current children cumulated vsize (Kb) 8676

[startup+400.026 s]
Raw data (loadavg): 0.99 0.74 0.35 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2124 0 0 0 39237 277 0 0 25 0 1 0 1858812334 8896512 1779 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2172 1779 566 18 0 2154 0
[pid=7728] vsize: 8688
Current children cumulated CPU time (s) 395.14
Current children cumulated vsize (Kb) 8688

[startup+410.027 s]
Raw data (loadavg): 0.99 0.75 0.35 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2124 0 0 0 40221 283 0 0 25 0 1 0 1858812334 8896512 1779 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2172 1779 566 18 0 2154 0
[pid=7728] vsize: 8688
Current children cumulated CPU time (s) 405.04
Current children cumulated vsize (Kb) 8688

[startup+420.028 s]
Raw data (loadavg): 0.99 0.76 0.36 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2166 0 0 0 41199 291 0 0 25 0 1 0 1858812334 9011200 1807 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2200 1807 566 18 0 2182 0
[pid=7728] vsize: 8800
Current children cumulated CPU time (s) 414.9
Current children cumulated vsize (Kb) 8800

[startup+430.028 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2182 0 0 0 42188 295 0 0 25 0 1 0 1858812334 9011200 1807 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2200 1807 566 18 0 2182 0
[pid=7728] vsize: 8800
Current children cumulated CPU time (s) 424.83
Current children cumulated vsize (Kb) 8800

[startup+440.029 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2205 0 0 0 43177 298 0 0 25 0 1 0 1858812334 9146368 1830 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2233 1830 566 18 0 2215 0
[pid=7728] vsize: 8932
Current children cumulated CPU time (s) 434.75
Current children cumulated vsize (Kb) 8932

[startup+450.03 s]
Raw data (loadavg): 0.99 0.78 0.38 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2205 0 0 0 44168 302 0 0 25 0 1 0 1858812334 9146368 1830 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2233 1830 566 18 0 2215 0
[pid=7728] vsize: 8932
Current children cumulated CPU time (s) 444.7
Current children cumulated vsize (Kb) 8932

[startup+460.03 s]
Raw data (loadavg): 0.99 0.79 0.38 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2216 0 0 0 45157 307 0 0 25 0 1 0 1858812334 9170944 1841 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2239 1841 566 18 0 2221 0
[pid=7728] vsize: 8956
Current children cumulated CPU time (s) 454.64
Current children cumulated vsize (Kb) 8956

[startup+470.031 s]
Raw data (loadavg): 0.99 0.79 0.39 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2216 0 0 0 46147 310 0 0 25 0 1 0 1858812334 9170944 1841 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2239 1841 566 18 0 2221 0
[pid=7728] vsize: 8956
Current children cumulated CPU time (s) 464.57
Current children cumulated vsize (Kb) 8956

[startup+480.03 s]
Raw data (loadavg): 0.99 0.80 0.40 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2216 0 0 0 47138 312 0 0 25 0 1 0 1858812334 9170944 1841 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2239 1841 566 18 0 2221 0
[pid=7728] vsize: 8956
Current children cumulated CPU time (s) 474.5
Current children cumulated vsize (Kb) 8956

[startup+490.031 s]
Raw data (loadavg): 0.99 0.81 0.40 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2216 0 0 0 48129 315 0 0 25 0 1 0 1858812334 9170944 1841 4294967295 134512640 134578447 3221224624 3221223296 134522529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2239 1841 566 18 0 2221 0
[pid=7728] vsize: 8956
Current children cumulated CPU time (s) 484.44
Current children cumulated vsize (Kb) 8956

[startup+500.032 s]
Raw data (loadavg): 0.99 0.81 0.41 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2216 0 0 0 49117 319 0 0 25 0 1 0 1858812334 9093120 1827 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2220 1827 566 18 0 2202 0
[pid=7728] vsize: 8880
Current children cumulated CPU time (s) 494.36
Current children cumulated vsize (Kb) 8880

[startup+510.033 s]
Raw data (loadavg): 0.99 0.82 0.41 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2221 0 0 0 50109 322 0 0 25 0 1 0 1858812334 9211904 1827 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1827 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 504.31
Current children cumulated vsize (Kb) 8996

[startup+520.033 s]
Raw data (loadavg): 0.99 0.82 0.42 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2221 0 0 0 51100 324 0 0 25 0 1 0 1858812334 9211904 1827 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1827 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 514.24
Current children cumulated vsize (Kb) 8996

[startup+530.033 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2221 0 0 0 52089 329 0 0 25 0 1 0 1858812334 9211904 1827 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2249 1827 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 524.18
Current children cumulated vsize (Kb) 8996

[startup+540.034 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2237 0 0 0 53081 332 0 0 25 0 1 0 1858812334 9211904 1843 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2249 1843 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 534.13
Current children cumulated vsize (Kb) 8996

[startup+550.034 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2237 0 0 0 54071 336 0 0 25 0 1 0 1858812334 9211904 1843 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1843 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 544.07
Current children cumulated vsize (Kb) 8996

[startup+560.035 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2237 0 0 0 55063 340 0 0 25 0 1 0 1858812334 9211904 1843 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1843 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 554.03
Current children cumulated vsize (Kb) 8996

[startup+570.035 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2258 0 0 0 56055 343 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 563.98
Current children cumulated vsize (Kb) 8996

[startup+580.035 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2258 0 0 0 57046 346 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 573.92
Current children cumulated vsize (Kb) 8996

[startup+590.036 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2258 0 0 0 58037 349 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 583.86
Current children cumulated vsize (Kb) 8996

[startup+600.036 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) T 7727 7728 5245 0 -1 0 2267 0 0 0 59025 353 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 593.78
Current children cumulated vsize (Kb) 8996

[startup+610.035 s]
Raw data (loadavg): 0.99 0.86 0.47 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2267 0 0 0 60016 357 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 603.73
Current children cumulated vsize (Kb) 8996

[startup+620.036 s]
Raw data (loadavg): 0.99 0.87 0.47 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2267 0 0 0 61005 361 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223536 134516775 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 613.66
Current children cumulated vsize (Kb) 8996

[startup+630.037 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2267 0 0 0 61994 365 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 623.59
Current children cumulated vsize (Kb) 8996

[startup+640.038 s]
Raw data (loadavg): 0.99 0.88 0.48 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2267 0 0 0 62984 369 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 633.53
Current children cumulated vsize (Kb) 8996

[startup+650.039 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2290 0 0 0 63973 373 0 0 25 0 1 0 1858812334 9302016 1878 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2271 1878 566 18 0 2253 0
[pid=7728] vsize: 9084
Current children cumulated CPU time (s) 643.46
Current children cumulated vsize (Kb) 9084

[startup+660.038 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2290 0 0 0 64963 376 0 0 25 0 1 0 1858812334 9302016 1878 4294967295 134512640 134578447 3221224624 3221222384 134532461 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2271 1878 566 18 0 2253 0
[pid=7728] vsize: 9084
Current children cumulated CPU time (s) 653.39
Current children cumulated vsize (Kb) 9084

[startup+670.039 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2290 0 0 0 65953 380 0 0 25 0 1 0 1858812334 9302016 1878 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2271 1878 566 18 0 2253 0
[pid=7728] vsize: 9084
Current children cumulated CPU time (s) 663.33
Current children cumulated vsize (Kb) 9084

[startup+680.039 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2290 0 0 0 66944 384 0 0 25 0 1 0 1858812334 9302016 1878 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2271 1878 566 18 0 2253 0
[pid=7728] vsize: 9084
Current children cumulated CPU time (s) 673.28
Current children cumulated vsize (Kb) 9084

[startup+690.04 s]
Raw data (loadavg): 0.99 0.89 0.51 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2290 0 0 0 67933 388 0 0 25 0 1 0 1858812334 9302016 1878 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2271 1878 566 18 0 2253 0
[pid=7728] vsize: 9084
Current children cumulated CPU time (s) 683.21
Current children cumulated vsize (Kb) 9084

[startup+700.04 s]
Raw data (loadavg): 0.99 0.90 0.51 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2290 0 0 0 68924 391 0 0 25 0 1 0 1858812334 9302016 1878 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2271 1878 566 18 0 2253 0
[pid=7728] vsize: 9084
Current children cumulated CPU time (s) 693.15
Current children cumulated vsize (Kb) 9084

[startup+710.039 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2290 0 0 0 69913 395 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 703.08
Current children cumulated vsize (Kb) 8996

[startup+720.04 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2290 0 0 0 70903 397 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 713
Current children cumulated vsize (Kb) 8996

[startup+730.04 s]
Raw data (loadavg): 0.99 0.90 0.53 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2290 0 0 0 71893 401 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 722.94
Current children cumulated vsize (Kb) 8996

[startup+740.041 s]
Raw data (loadavg): 0.99 0.91 0.53 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2303 0 0 0 72885 405 0 0 25 0 1 0 1858812334 9211904 1856 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2249 1856 566 18 0 2231 0
[pid=7728] vsize: 8996
Current children cumulated CPU time (s) 732.9
Current children cumulated vsize (Kb) 8996

[startup+750.041 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2384 0 0 0 73872 409 0 0 25 0 1 0 1858812334 9637888 1937 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2353 1937 566 18 0 2335 0
[pid=7728] vsize: 9412
Current children cumulated CPU time (s) 742.81
Current children cumulated vsize (Kb) 9412

[startup+760.041 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2400 0 0 0 74861 413 0 0 25 0 1 0 1858812334 9629696 1953 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2351 1953 566 18 0 2333 0
[pid=7728] vsize: 9404
Current children cumulated CPU time (s) 752.74
Current children cumulated vsize (Kb) 9404

[startup+770.042 s]
Raw data (loadavg): 0.99 0.91 0.55 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2400 0 0 0 75848 418 0 0 25 0 1 0 1858812334 9629696 1953 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2351 1953 566 18 0 2333 0
[pid=7728] vsize: 9404
Current children cumulated CPU time (s) 762.66
Current children cumulated vsize (Kb) 9404

[startup+780.042 s]
Raw data (loadavg): 0.99 0.92 0.55 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2505 0 0 0 76836 422 0 0 25 0 1 0 1858812334 10043392 2058 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2452 2058 566 18 0 2434 0
[pid=7728] vsize: 9808
Current children cumulated CPU time (s) 772.58
Current children cumulated vsize (Kb) 9808

[startup+790.043 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2544 0 0 0 77824 427 0 0 25 0 1 0 1858812334 10330112 2097 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2522 2097 566 18 0 2504 0
[pid=7728] vsize: 10088
Current children cumulated CPU time (s) 782.51
Current children cumulated vsize (Kb) 10088

[startup+800.043 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2556 0 0 0 78814 430 0 0 25 0 1 0 1858812334 10330112 2109 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2522 2109 566 18 0 2504 0
[pid=7728] vsize: 10088
Current children cumulated CPU time (s) 792.44
Current children cumulated vsize (Kb) 10088

[startup+810.043 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2617 0 0 0 79803 436 0 0 25 0 1 0 1858812334 10366976 2138 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2531 2138 566 18 0 2513 0
[pid=7728] vsize: 10124
Current children cumulated CPU time (s) 802.39
Current children cumulated vsize (Kb) 10124

[startup+820.043 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2693 0 0 0 80795 438 0 0 25 0 1 0 1858812334 10780672 2214 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2632 2214 566 18 0 2614 0
[pid=7728] vsize: 10528
Current children cumulated CPU time (s) 812.33
Current children cumulated vsize (Kb) 10528

[startup+830.044 s]
Raw data (loadavg): 0.99 0.93 0.57 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2728 0 0 0 81786 443 0 0 25 0 1 0 1858812334 10915840 2249 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2665 2249 566 18 0 2647 0
[pid=7728] vsize: 10660
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (Kb) 10660

[startup+840.044 s]
Raw data (loadavg): 0.99 0.93 0.57 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2728 0 0 0 82778 445 0 0 25 0 1 0 1858812334 10891264 2249 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2659 2249 566 18 0 2641 0
[pid=7728] vsize: 10636
Current children cumulated CPU time (s) 832.23
Current children cumulated vsize (Kb) 10636

[startup+850.044 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 83771 447 0 0 25 0 1 0 1858812334 10891264 2266 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2659 2266 566 18 0 2641 0
[pid=7728] vsize: 10636
Current children cumulated CPU time (s) 842.18
Current children cumulated vsize (Kb) 10636

[startup+860.045 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 84763 450 0 0 25 0 1 0 1858812334 10891264 2266 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2659 2266 566 18 0 2641 0
[pid=7728] vsize: 10636
Current children cumulated CPU time (s) 852.13
Current children cumulated vsize (Kb) 10636

[startup+870.046 s]
Raw data (loadavg): 0.99 0.93 0.59 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 85754 453 0 0 25 0 1 0 1858812334 10891264 2266 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2659 2266 566 18 0 2641 0
[pid=7728] vsize: 10636
Current children cumulated CPU time (s) 862.07
Current children cumulated vsize (Kb) 10636

[startup+880.046 s]
Raw data (loadavg): 0.99 0.94 0.59 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 86745 457 0 0 25 0 1 0 1858812334 10891264 2266 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2659 2266 566 18 0 2641 0
[pid=7728] vsize: 10636
Current children cumulated CPU time (s) 872.02
Current children cumulated vsize (Kb) 10636

[startup+890.047 s]
Raw data (loadavg): 0.99 0.94 0.59 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 87737 461 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (Kb) 10576

[startup+900.047 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 88729 464 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 891.93
Current children cumulated vsize (Kb) 10576

[startup+910.047 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 89723 466 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 901.89
Current children cumulated vsize (Kb) 10576

[startup+920.048 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 90717 469 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223520 134520026 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 911.86
Current children cumulated vsize (Kb) 10576

[startup+930.049 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 91709 472 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 921.81
Current children cumulated vsize (Kb) 10576

[startup+940.049 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 92697 478 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 931.75
Current children cumulated vsize (Kb) 10576

[startup+950.049 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 93687 482 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (Kb) 10576

[startup+960.049 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 94679 486 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 951.65
Current children cumulated vsize (Kb) 10576

[startup+970.05 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 95671 489 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 961.6
Current children cumulated vsize (Kb) 10576

[startup+980.05 s]
Raw data (loadavg): 0.99 0.95 0.63 1/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) T 7727 7728 5245 0 -1 0 2821 0 0 0 96662 492 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 971.54
Current children cumulated vsize (Kb) 10576

[startup+990.05 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 97652 496 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 981.48
Current children cumulated vsize (Kb) 10576

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 98644 500 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 991.44
Current children cumulated vsize (Kb) 10576

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 99635 504 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1001.39
Current children cumulated vsize (Kb) 10576

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 100627 507 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1011.34
Current children cumulated vsize (Kb) 10576

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 101618 511 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1021.29
Current children cumulated vsize (Kb) 10576

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 102609 514 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1031.23
Current children cumulated vsize (Kb) 10576

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.96 0.65 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 103601 517 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1041.18
Current children cumulated vsize (Kb) 10576

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.96 0.65 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 104593 520 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1051.13
Current children cumulated vsize (Kb) 10576

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 105581 524 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223456 134528429 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1061.05
Current children cumulated vsize (Kb) 10576

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 106571 528 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1070.99
Current children cumulated vsize (Kb) 10576

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 107565 529 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223536 134557632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1080.94
Current children cumulated vsize (Kb) 10576

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 108557 532 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1090.89
Current children cumulated vsize (Kb) 10576

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 109548 535 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1100.83
Current children cumulated vsize (Kb) 10576

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 110538 538 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1110.76
Current children cumulated vsize (Kb) 10576

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 111528 542 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1120.7
Current children cumulated vsize (Kb) 10576

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 112520 545 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1130.65
Current children cumulated vsize (Kb) 10576

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.68 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 113510 548 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1140.58
Current children cumulated vsize (Kb) 10576

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.68 1/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) T 7727 7728 5245 0 -1 0 2821 0 0 0 114501 551 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1150.52
Current children cumulated vsize (Kb) 10576

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 115493 553 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1160.46
Current children cumulated vsize (Kb) 10576

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 116486 556 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1170.42
Current children cumulated vsize (Kb) 10576

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 7728
Raw data (/proc/7728/stat): 7728 (Pueblo) R 7727 7728 5245 0 -1 0 2821 0 0 0 117475 560 0 0 25 0 1 0 1858812334 10829824 2251 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7728/statm): 2644 2251 566 18 0 2626 0
[pid=7728] vsize: 10576
Current children cumulated CPU time (s) 1180.35
Current children cumulated vsize (Kb) 10576
One traced child (pid=7728) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1198.77
CPU time (s): 1189.02
CPU user time (s): 1183.38
CPU system time (s): 5.64614
CPU usage (%): 99.1869
Max. virtual memory (cumulated for all children) (Kb): 10660

Verifier Data

Verifier:	OK	53