Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb
MD5SUM5573ac468e70af6b65c69997b62e5033
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 302
Optimality of the best value was proved NO
Number of terms in the objective function 1020
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 1020
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 1020
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.03
Number of variables1020
Total number of constraints3575
Number of constraints which are clauses3575
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10

Trace number 7738

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        848288 kB
Buffers:         33596 kB
Cached:         126376 kB
SwapCached:        916 kB
Active:          72244 kB
Inactive:        90260 kB
HighTotal:      131008 kB
HighFree:         9492 kB
LowTotal:       903652 kB
LowFree:        838796 kB
SwapTotal:     2097136 kB
SwapFree:      2095640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5684 kB
Slab:            18268 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:05:37 (client local time) WITH STATUS 10 IN 1189.09 SECONDS
stats: 4850 0 1189.09 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: 1020 - #constraints read: 3576
c total time              : 1189.07 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 -x809 -x810 -x811 x812 -x813 x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 x862 -x863 x864 -x865 x866 -x867 -x868 x869 -x870 -x871 x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 x884 -x885 x886 -x887 -x888 x889 -x890 -x891 x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 x908 -x909 x910 -x911 x912 -x913 -x914 -x915 x916 -x917 x918 -x919 x920 -x921 x922 -x923 x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 x942 -x943 x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020

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

[startup+10.004 s]
Raw data (loadavg): 0.97 0.98 0.83 1/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) T 4888 4889 9854 0 -1 0 1317 0 0 0 970 11 0 0 25 0 1 0 1800771109 6877184 1246 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4889/statm): 1679 1246 566 18 0 1661 0
[pid=4889] vsize: 6716
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (Kb) 6716

[startup+20.0058 s]
Raw data (loadavg): 0.98 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1487 0 0 0 1954 17 0 0 25 0 1 0 1800771109 7561216 1416 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 1846 1416 566 18 0 1828 0
[pid=4889] vsize: 7384
Current children cumulated CPU time (s) 19.71
Current children cumulated vsize (Kb) 7384

[startup+30.0065 s]
Raw data (loadavg): 0.98 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1491 0 0 0 2950 18 0 0 25 0 1 0 1800771109 7561216 1420 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 1846 1420 566 18 0 1828 0
[pid=4889] vsize: 7384
Current children cumulated CPU time (s) 29.68
Current children cumulated vsize (Kb) 7384

[startup+40.0063 s]
Raw data (loadavg): 0.98 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1521 0 0 0 3948 19 0 0 25 0 1 0 1800771109 7692288 1450 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 1878 1450 566 18 0 1860 0
[pid=4889] vsize: 7512
Current children cumulated CPU time (s) 39.67
Current children cumulated vsize (Kb) 7512

[startup+50.0071 s]
Raw data (loadavg): 0.99 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1600 0 0 0 4946 20 0 0 25 0 1 0 1800771109 7958528 1529 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 1943 1529 566 18 0 1925 0
[pid=4889] vsize: 7772
Current children cumulated CPU time (s) 49.66
Current children cumulated vsize (Kb) 7772

[startup+60.0079 s]
Raw data (loadavg): 0.99 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1659 0 0 0 5942 21 0 0 25 0 1 0 1800771109 8224768 1588 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2008 1588 566 18 0 1990 0
[pid=4889] vsize: 8032
Current children cumulated CPU time (s) 59.63
Current children cumulated vsize (Kb) 8032

[startup+70.0097 s]
Raw data (loadavg): 0.99 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1659 0 0 0 6940 22 0 0 25 0 1 0 1800771109 8224768 1588 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2008 1588 566 18 0 1990 0
[pid=4889] vsize: 8032
Current children cumulated CPU time (s) 69.62
Current children cumulated vsize (Kb) 8032

[startup+80.0105 s]
Raw data (loadavg): 0.99 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1659 0 0 0 7938 22 0 0 25 0 1 0 1800771109 8224768 1588 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2008 1588 566 18 0 1990 0
[pid=4889] vsize: 8032
Current children cumulated CPU time (s) 79.6
Current children cumulated vsize (Kb) 8032

[startup+90.0103 s]
Raw data (loadavg): 0.99 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1659 0 0 0 8935 24 0 0 25 0 1 0 1800771109 8224768 1588 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2008 1588 566 18 0 1990 0
[pid=4889] vsize: 8032
Current children cumulated CPU time (s) 89.59
Current children cumulated vsize (Kb) 8032

[startup+100.011 s]
Raw data (loadavg): 0.99 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1659 0 0 0 9932 25 0 0 25 0 1 0 1800771109 8224768 1588 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2008 1588 566 18 0 1990 0
[pid=4889] vsize: 8032
Current children cumulated CPU time (s) 99.57
Current children cumulated vsize (Kb) 8032

[startup+110.012 s]
Raw data (loadavg): 0.99 0.98 0.83 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1693 0 0 0 10925 28 0 0 25 0 1 0 1800771109 8368128 1622 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2043 1622 566 18 0 2025 0
[pid=4889] vsize: 8172
Current children cumulated CPU time (s) 109.53
Current children cumulated vsize (Kb) 8172

[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.84 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1711 0 0 0 11920 29 0 0 25 0 1 0 1800771109 8499200 1640 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2075 1640 566 18 0 2057 0
[pid=4889] vsize: 8300
Current children cumulated CPU time (s) 119.49
Current children cumulated vsize (Kb) 8300

[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.84 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1874 0 0 0 12917 31 0 0 25 0 1 0 1800771109 9179136 1803 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2241 1803 566 18 0 2223 0
[pid=4889] vsize: 8964
Current children cumulated CPU time (s) 129.48
Current children cumulated vsize (Kb) 8964

[startup+140.013 s]
Raw data (loadavg): 0.99 0.98 0.84 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1874 0 0 0 13914 32 0 0 25 0 1 0 1800771109 9179136 1803 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2241 1803 566 18 0 2223 0
[pid=4889] vsize: 8964
Current children cumulated CPU time (s) 139.46
Current children cumulated vsize (Kb) 8964

[startup+150.014 s]
Raw data (loadavg): 0.99 0.98 0.84 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1887 0 0 0 14910 33 0 0 25 0 1 0 1800771109 9179136 1816 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2241 1816 566 18 0 2223 0
[pid=4889] vsize: 8964
Current children cumulated CPU time (s) 149.43
Current children cumulated vsize (Kb) 8964

[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.84 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1887 0 0 0 15909 34 0 0 25 0 1 0 1800771109 9179136 1816 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2241 1816 566 18 0 2223 0
[pid=4889] vsize: 8964
Current children cumulated CPU time (s) 159.43
Current children cumulated vsize (Kb) 8964

[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.84 1/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) T 4888 4889 9854 0 -1 0 1887 0 0 0 16906 35 0 0 25 0 1 0 1800771109 9179136 1816 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2241 1816 566 18 0 2223 0
[pid=4889] vsize: 8964
Current children cumulated CPU time (s) 169.41
Current children cumulated vsize (Kb) 8964

[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.84 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1887 0 0 0 17905 36 0 0 25 0 1 0 1800771109 9179136 1816 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2241 1816 566 18 0 2223 0
[pid=4889] vsize: 8964
Current children cumulated CPU time (s) 179.41
Current children cumulated vsize (Kb) 8964

[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.84 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1933 0 0 0 18903 36 0 0 25 0 1 0 1800771109 9306112 1862 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2272 1862 566 18 0 2254 0
[pid=4889] vsize: 9088
Current children cumulated CPU time (s) 189.39
Current children cumulated vsize (Kb) 9088

[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.84 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 1997 0 0 0 19902 37 0 0 25 0 1 0 1800771109 9564160 1926 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2335 1926 566 18 0 2317 0
[pid=4889] vsize: 9340
Current children cumulated CPU time (s) 199.39
Current children cumulated vsize (Kb) 9340

[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.84 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2001 0 0 0 20901 37 0 0 25 0 1 0 1800771109 9695232 1930 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2367 1930 566 18 0 2349 0
[pid=4889] vsize: 9468
Current children cumulated CPU time (s) 209.38
Current children cumulated vsize (Kb) 9468

[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2001 0 0 0 21900 37 0 0 25 0 1 0 1800771109 9695232 1930 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2367 1930 566 18 0 2349 0
[pid=4889] vsize: 9468
Current children cumulated CPU time (s) 219.37
Current children cumulated vsize (Kb) 9468

[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2001 0 0 0 22897 39 0 0 25 0 1 0 1800771109 9695232 1930 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2367 1930 566 18 0 2349 0
[pid=4889] vsize: 9468
Current children cumulated CPU time (s) 229.36
Current children cumulated vsize (Kb) 9468

[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2001 0 0 0 23894 40 0 0 25 0 1 0 1800771109 9695232 1930 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2367 1930 566 18 0 2349 0
[pid=4889] vsize: 9468
Current children cumulated CPU time (s) 239.34
Current children cumulated vsize (Kb) 9468

[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2022 0 0 0 24889 42 0 0 25 0 1 0 1800771109 9695232 1951 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2367 1951 566 18 0 2349 0
[pid=4889] vsize: 9468
Current children cumulated CPU time (s) 249.31
Current children cumulated vsize (Kb) 9468

[startup+260.019 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2032 0 0 0 25884 44 0 0 25 0 1 0 1800771109 9695232 1961 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2367 1961 566 18 0 2349 0
[pid=4889] vsize: 9468
Current children cumulated CPU time (s) 259.28
Current children cumulated vsize (Kb) 9468

[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2032 0 0 0 26879 46 0 0 25 0 1 0 1800771109 9695232 1961 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2367 1961 566 18 0 2349 0
[pid=4889] vsize: 9468
Current children cumulated CPU time (s) 269.25
Current children cumulated vsize (Kb) 9468

[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 27865 52 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 279.17
Current children cumulated vsize (Kb) 10644

[startup+290.02 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 28857 55 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 289.12
Current children cumulated vsize (Kb) 10644

[startup+300.021 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 29853 57 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 299.1
Current children cumulated vsize (Kb) 10644

[startup+310.022 s]
Raw data (loadavg): 0.99 0.98 0.85 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 30849 58 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 309.07
Current children cumulated vsize (Kb) 10644

[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 31846 59 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 319.05
Current children cumulated vsize (Kb) 10644

[startup+330.022 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 32841 61 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 329.02
Current children cumulated vsize (Kb) 10644

[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 33838 62 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 339
Current children cumulated vsize (Kb) 10644

[startup+350.023 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 34834 63 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 348.97
Current children cumulated vsize (Kb) 10644

[startup+360.023 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 35833 64 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 358.97
Current children cumulated vsize (Kb) 10644

[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 36832 64 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 368.96
Current children cumulated vsize (Kb) 10644

[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 37829 65 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 378.94
Current children cumulated vsize (Kb) 10644

[startup+390.023 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 38821 68 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 388.89
Current children cumulated vsize (Kb) 10644

[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 39816 70 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 398.86
Current children cumulated vsize (Kb) 10644

[startup+410.024 s]
Raw data (loadavg): 0.99 0.98 0.86 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 40810 72 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 408.82
Current children cumulated vsize (Kb) 10644

[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 41808 73 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 418.81
Current children cumulated vsize (Kb) 10644

[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 42806 73 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 428.79
Current children cumulated vsize (Kb) 10644

[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 43803 75 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 438.78
Current children cumulated vsize (Kb) 10644

[startup+450.027 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 44800 76 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 448.76
Current children cumulated vsize (Kb) 10644

[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 45797 77 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 458.74
Current children cumulated vsize (Kb) 10644

[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 46794 78 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 468.72
Current children cumulated vsize (Kb) 10644

[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 47790 80 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 478.7
Current children cumulated vsize (Kb) 10644

[startup+490.028 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2487 0 0 0 48787 81 0 0 25 0 1 0 1800771109 10899456 2248 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2661 2248 566 18 0 2643 0
[pid=4889] vsize: 10644
Current children cumulated CPU time (s) 488.68
Current children cumulated vsize (Kb) 10644

[startup+500.029 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 49784 82 0 0 25 0 1 0 1800771109 11038720 2257 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2695 2257 566 18 0 2677 0
[pid=4889] vsize: 10780
Current children cumulated CPU time (s) 498.66
Current children cumulated vsize (Kb) 10780

[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 50782 82 0 0 25 0 1 0 1800771109 11038720 2257 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2695 2257 566 18 0 2677 0
[pid=4889] vsize: 10780
Current children cumulated CPU time (s) 508.64
Current children cumulated vsize (Kb) 10780

[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 0.87 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 51779 84 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 518.63
Current children cumulated vsize (Kb) 10728

[startup+530.03 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 52778 84 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 528.62
Current children cumulated vsize (Kb) 10728

[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 53775 85 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 538.6
Current children cumulated vsize (Kb) 10728

[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 54773 86 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 548.59
Current children cumulated vsize (Kb) 10728

[startup+560.031 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 55771 87 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 558.58
Current children cumulated vsize (Kb) 10728

[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 56770 87 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 568.57
Current children cumulated vsize (Kb) 10728

[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 57769 88 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 578.57
Current children cumulated vsize (Kb) 10728

[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 58768 88 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 588.56
Current children cumulated vsize (Kb) 10728

[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 59766 89 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 598.55
Current children cumulated vsize (Kb) 10728

[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 60764 90 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 608.54
Current children cumulated vsize (Kb) 10728

[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.88 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 61761 90 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 618.51
Current children cumulated vsize (Kb) 10728

[startup+630.033 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2496 0 0 0 62759 91 0 0 25 0 1 0 1800771109 10985472 2257 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2257 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 628.5
Current children cumulated vsize (Kb) 10728

[startup+640.033 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2500 0 0 0 63756 92 0 0 25 0 1 0 1800771109 10985472 2261 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2261 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 638.48
Current children cumulated vsize (Kb) 10728

[startup+650.033 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2505 0 0 0 64752 93 0 0 25 0 1 0 1800771109 10985472 2266 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2682 2266 566 18 0 2664 0
[pid=4889] vsize: 10728
Current children cumulated CPU time (s) 648.45
Current children cumulated vsize (Kb) 10728

[startup+660.033 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2522 0 0 0 65751 94 0 0 25 0 1 0 1800771109 11124736 2283 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2716 2283 566 18 0 2698 0
[pid=4889] vsize: 10864
Current children cumulated CPU time (s) 658.45
Current children cumulated vsize (Kb) 10864

[startup+670.034 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2542 0 0 0 66749 94 0 0 25 0 1 0 1800771109 11124736 2303 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2716 2303 566 18 0 2698 0
[pid=4889] vsize: 10864
Current children cumulated CPU time (s) 668.43
Current children cumulated vsize (Kb) 10864

[startup+680.035 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2568 0 0 0 67748 94 0 0 25 0 1 0 1800771109 11264000 2329 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2750 2329 566 18 0 2732 0
[pid=4889] vsize: 11000
Current children cumulated CPU time (s) 678.42
Current children cumulated vsize (Kb) 11000

[startup+690.035 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2574 0 0 0 68746 95 0 0 25 0 1 0 1800771109 11264000 2335 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2750 2335 566 18 0 2732 0
[pid=4889] vsize: 11000
Current children cumulated CPU time (s) 688.41
Current children cumulated vsize (Kb) 11000

[startup+700.035 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2586 0 0 0 69745 95 0 0 25 0 1 0 1800771109 11407360 2347 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2785 2347 566 18 0 2767 0
[pid=4889] vsize: 11140
Current children cumulated CPU time (s) 698.4
Current children cumulated vsize (Kb) 11140

[startup+710.036 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2625 0 0 0 70742 96 0 0 25 0 1 0 1800771109 11534336 2386 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2816 2386 566 18 0 2798 0
[pid=4889] vsize: 11264
Current children cumulated CPU time (s) 708.38
Current children cumulated vsize (Kb) 11264

[startup+720.036 s]
Raw data (loadavg): 0.99 0.98 0.89 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2736 0 0 0 71740 98 0 0 25 0 1 0 1800771109 11927552 2497 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2497 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 718.38
Current children cumulated vsize (Kb) 11648

[startup+730.037 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 72735 99 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 728.34
Current children cumulated vsize (Kb) 11648

[startup+740.037 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 73733 100 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 738.33
Current children cumulated vsize (Kb) 11648

[startup+750.037 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 74731 100 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 748.31
Current children cumulated vsize (Kb) 11648

[startup+760.038 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 75730 100 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 758.3
Current children cumulated vsize (Kb) 11648

[startup+770.038 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 76729 100 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 768.29
Current children cumulated vsize (Kb) 11648

[startup+780.038 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 77727 101 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 778.28
Current children cumulated vsize (Kb) 11648

[startup+790.038 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 78726 102 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 788.28
Current children cumulated vsize (Kb) 11648

[startup+800.039 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 79724 103 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 798.27
Current children cumulated vsize (Kb) 11648

[startup+810.039 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 80722 103 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 808.25
Current children cumulated vsize (Kb) 11648

[startup+820.039 s]
Raw data (loadavg): 0.99 0.98 0.90 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 81721 104 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 818.25
Current children cumulated vsize (Kb) 11648

[startup+830.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 82719 104 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 828.23
Current children cumulated vsize (Kb) 11648

[startup+840.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 83716 106 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 838.22
Current children cumulated vsize (Kb) 11648

[startup+850.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4889
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 84712 108 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 848.2
Current children cumulated vsize (Kb) 11648

[startup+860.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/59 4924
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 85713 109 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 858.22
Current children cumulated vsize (Kb) 11648

[startup+870.082 s]
Raw data (loadavg): 1.07 1.00 0.91 2/56 4944
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 86701 120 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 868.21
Current children cumulated vsize (Kb) 11648

[startup+880.082 s]
Raw data (loadavg): 1.06 1.00 0.91 2/56 4944
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 87697 121 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 878.18
Current children cumulated vsize (Kb) 11648

[startup+890.083 s]
Raw data (loadavg): 1.05 1.00 0.91 2/56 4944
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 88695 122 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 888.17
Current children cumulated vsize (Kb) 11648

[startup+900.084 s]
Raw data (loadavg): 1.04 1.00 0.91 2/56 4944
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 89692 123 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 898.15
Current children cumulated vsize (Kb) 11648

[startup+910.085 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 4944
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 90691 123 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 908.14
Current children cumulated vsize (Kb) 11648

[startup+920.085 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 4944
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 91688 125 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 918.13
Current children cumulated vsize (Kb) 11648

[startup+930.085 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 4946
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 92685 126 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 928.11
Current children cumulated vsize (Kb) 11648

[startup+940.085 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 93683 127 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 938.1
Current children cumulated vsize (Kb) 11648

[startup+950.086 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 94680 128 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 948.08
Current children cumulated vsize (Kb) 11648

[startup+960.087 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2745 0 0 0 95676 130 0 0 25 0 1 0 1800771109 11927552 2506 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2912 2506 566 18 0 2894 0
[pid=4889] vsize: 11648
Current children cumulated CPU time (s) 958.06
Current children cumulated vsize (Kb) 11648

[startup+970.087 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2747 0 0 0 96671 132 0 0 25 0 1 0 1800771109 12066816 2508 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2946 2508 566 18 0 2928 0
[pid=4889] vsize: 11784
Current children cumulated CPU time (s) 968.03
Current children cumulated vsize (Kb) 11784

[startup+980.087 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2747 0 0 0 97669 132 0 0 25 0 1 0 1800771109 12066816 2508 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2946 2508 566 18 0 2928 0
[pid=4889] vsize: 11784
Current children cumulated CPU time (s) 978.01
Current children cumulated vsize (Kb) 11784

[startup+990.088 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2747 0 0 0 98667 133 0 0 25 0 1 0 1800771109 12066816 2508 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2946 2508 566 18 0 2928 0
[pid=4889] vsize: 11784
Current children cumulated CPU time (s) 988
Current children cumulated vsize (Kb) 11784

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2747 0 0 0 99665 134 0 0 25 0 1 0 1800771109 12066816 2508 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2946 2508 566 18 0 2928 0
[pid=4889] vsize: 11784
Current children cumulated CPU time (s) 997.99
Current children cumulated vsize (Kb) 11784

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2770 0 0 0 100663 135 0 0 25 0 1 0 1800771109 12066816 2531 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2946 2531 566 18 0 2928 0
[pid=4889] vsize: 11784
Current children cumulated CPU time (s) 1007.98
Current children cumulated vsize (Kb) 11784

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2787 0 0 0 101661 135 0 0 25 0 1 0 1800771109 12201984 2548 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2548 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1017.96
Current children cumulated vsize (Kb) 11916

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 102660 136 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1027.96
Current children cumulated vsize (Kb) 11916

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 103658 136 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1037.94
Current children cumulated vsize (Kb) 11916

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 104655 138 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1047.93
Current children cumulated vsize (Kb) 11916

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 105652 139 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1057.91
Current children cumulated vsize (Kb) 11916

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 106649 139 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1067.88
Current children cumulated vsize (Kb) 11916

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 107646 140 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1077.86
Current children cumulated vsize (Kb) 11916

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 108643 142 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1087.85
Current children cumulated vsize (Kb) 11916

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 109641 142 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1097.83
Current children cumulated vsize (Kb) 11916

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 110640 143 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1107.83
Current children cumulated vsize (Kb) 11916

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 111638 144 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223456 134528504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1117.82
Current children cumulated vsize (Kb) 11916

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 112634 145 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1127.79
Current children cumulated vsize (Kb) 11916

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 113632 145 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1137.77
Current children cumulated vsize (Kb) 11916

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 114630 146 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1147.76
Current children cumulated vsize (Kb) 11916

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 115628 147 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1157.75
Current children cumulated vsize (Kb) 11916

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4948
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2792 0 0 0 116626 148 0 0 25 0 1 0 1800771109 12201984 2553 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2553 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1167.74
Current children cumulated vsize (Kb) 11916

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4950
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2798 0 0 0 117625 149 0 0 25 0 1 0 1800771109 12201984 2559 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2559 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1177.74
Current children cumulated vsize (Kb) 11916

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4950
Raw data (/proc/4889/stat): 4889 (Pueblo) R 4888 4889 9854 0 -1 0 2806 0 0 0 118621 150 0 0 25 0 1 0 1800771109 12201984 2567 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4889/statm): 2979 2567 566 18 0 2961 0
[pid=4889] vsize: 11916
Current children cumulated CPU time (s) 1187.71
Current children cumulated vsize (Kb) 11916
One traced child (pid=4889) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.47
CPU time (s): 1189.09
CPU user time (s): 1187.58
CPU system time (s): 1.51277
CPU usage (%): 99.8001
Max. virtual memory (cumulated for all children) (Kb): 11916

Verifier Data

Verifier:	OK	340