Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb |
MD5SUM | 8a77190c2eeefb9e88447a9087adfd6f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 283 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 792 |
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 | 792 |
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 | 792 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.02 |
Number of variables | 792 |
Total number of constraints | 3194 |
Number of constraints which are clauses | 3194 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
LAUNCH ON wulflinc4 THE 2005-09-20 13:40:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4845 boxname=wulflinc4 idbench=157 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 8a77190c2eeefb9e88447a9087adfd6f /oldhome/oroussel/tmp/wulflinc4/normalized-ii8a4.opb REAL COMMAND: Pueblo IDLAUNCH: 4845 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 819384 kB Buffers: 34188 kB Cached: 154520 kB SwapCached: 876 kB Active: 99556 kB Inactive: 91692 kB HighTotal: 131008 kB HighFree: 1148 kB LowTotal: 903652 kB LowFree: 818236 kB SwapTotal: 2097136 kB SwapFree: 2095644 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5540 kB Slab: 18332 kB Committed_AS: 72360 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 13:59:52 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 4845 0 1189.02 10
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: 792 - #constraints read: 3195 c total time : 1189 s s SATISFIABLE v -x1 x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 -x59 x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 -x75 x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 -x109 x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 -x155 x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 x229 -x230 -x231 x232 -x233 x234 -x235 x236 -x237 x238 -x239 x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 x256 x257 -x258 -x259 x260 -x261 x262 -x263 x264 -x265 x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 x314 -x315 x316 x317 -x318 -x319 x320 -x321 x322 -x323 x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 x337 -x338 -x339 x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 -x349 x350 x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 -x395 x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 -x443 x444 -x445 x446 -x447 -x448 -x449 x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 -x499 x500 -x501 x502 -x503 x504 -x505 x506 -x507 x508 x509 -x510 -x511 x512 -x513 x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 -x523 x524 -x525 x526 -x527 x528 -x529 x530 -x531 x532 x533 -x534 -x535 x536 -x537 x538 -x539 x540 -x541 x542 x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 x558 -x559 -x560 x561 -x562 -x563 -x564 x565 -x566 -x567 x568 -x569 -x570 -x571 x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 x581 -x582 -x583 x584 -x585 x586 -x587 x588 -x589 x590 x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 x604 x605 -x606 -x607 x608 -x609 x610 -x611 x612 -x613 x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 x623 -x624 x625 -x626 -x627 x628 -x629 x630 -x631 x632 -x633 x634 -x635 x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 x662 x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 x688 x689 -x690 -x691 x692 -x693 x694 -x695 x696 -x697 x698 x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 x712 x713 -x714 -x715 x716 -x717 x718 -x719 x720 -x721 x722 x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 x748 -x749 x750 -x751 x752 -x753 x754 -x755 x756 -x757 x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 x770 -x771 -x772 -x773 x774 -x775 -x776 x777 -x778 -x779 -x780 x781 -x782 -x783 x784 -x785 x786 -x787 x788 -x789 x790 -x791 x792
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/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 19 0 0 0 0 0 0 0 20 0 1 0 1800726064 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13792/statm): 41 3 40 18 0 23 0 [pid=13792] 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.0032 s] Raw data (loadavg): 0.93 0.94 0.75 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 942 0 0 0 987 6 0 0 25 0 1 0 1800726064 5427200 908 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1325 908 566 18 0 1307 0 [pid=13792] vsize: 5300 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 5300 [startup+20.0041 s] Raw data (loadavg): 0.94 0.95 0.75 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1240 0 0 0 1971 13 0 0 25 0 1 0 1800726064 6414336 1154 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1566 1154 566 18 0 1548 0 [pid=13792] vsize: 6264 Current children cumulated CPU time (s) 19.84 Current children cumulated vsize (Kb) 6264 [startup+30.005 s] Raw data (loadavg): 0.95 0.95 0.75 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1273 0 0 0 2966 15 0 0 25 0 1 0 1800726064 6553600 1187 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1600 1187 566 18 0 1582 0 [pid=13792] vsize: 6400 Current children cumulated CPU time (s) 29.81 Current children cumulated vsize (Kb) 6400 [startup+40.0048 s] Raw data (loadavg): 0.95 0.95 0.75 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1402 0 0 0 3961 17 0 0 25 0 1 0 1800726064 7081984 1316 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1729 1316 566 18 0 1711 0 [pid=13792] vsize: 6916 Current children cumulated CPU time (s) 39.78 Current children cumulated vsize (Kb) 6916 [startup+50.0057 s] Raw data (loadavg): 0.96 0.95 0.76 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 4957 19 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 49.76 Current children cumulated vsize (Kb) 7044 [startup+60.0055 s] Raw data (loadavg): 0.97 0.95 0.76 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 5956 20 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 59.76 Current children cumulated vsize (Kb) 7044 [startup+70.0064 s] Raw data (loadavg): 0.97 0.95 0.76 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 6955 20 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 69.75 Current children cumulated vsize (Kb) 7044 [startup+80.0072 s] Raw data (loadavg): 0.97 0.95 0.76 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 7954 21 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 79.75 Current children cumulated vsize (Kb) 7044 [startup+90.0071 s] Raw data (loadavg): 0.98 0.95 0.76 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 8952 22 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 89.74 Current children cumulated vsize (Kb) 7044 [startup+100.008 s] Raw data (loadavg): 0.98 0.95 0.77 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 9951 22 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 99.73 Current children cumulated vsize (Kb) 7044 [startup+110.009 s] Raw data (loadavg): 0.98 0.95 0.77 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 10949 23 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 109.72 Current children cumulated vsize (Kb) 7044 [startup+120.01 s] Raw data (loadavg): 0.99 0.96 0.77 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 11949 23 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 119.72 Current children cumulated vsize (Kb) 7044 [startup+130.01 s] Raw data (loadavg): 0.99 0.96 0.77 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 12948 24 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 129.72 Current children cumulated vsize (Kb) 7044 [startup+140.01 s] Raw data (loadavg): 0.99 0.96 0.77 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 13946 24 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 139.7 Current children cumulated vsize (Kb) 7044 [startup+150.011 s] Raw data (loadavg): 0.99 0.96 0.78 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 14945 24 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 149.69 Current children cumulated vsize (Kb) 7044 [startup+160.011 s] Raw data (loadavg): 0.99 0.96 0.78 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 15944 25 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 159.69 Current children cumulated vsize (Kb) 7044 [startup+170.012 s] Raw data (loadavg): 0.99 0.96 0.78 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 16944 25 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 169.69 Current children cumulated vsize (Kb) 7044 [startup+180.013 s] Raw data (loadavg): 0.99 0.96 0.78 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 17943 26 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 179.69 Current children cumulated vsize (Kb) 7044 [startup+190.013 s] Raw data (loadavg): 0.99 0.96 0.78 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 18941 27 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 189.68 Current children cumulated vsize (Kb) 7044 [startup+200.013 s] Raw data (loadavg): 0.99 0.96 0.79 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 19940 28 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 199.68 Current children cumulated vsize (Kb) 7044 [startup+210.014 s] Raw data (loadavg): 0.99 0.96 0.79 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 20940 28 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 209.68 Current children cumulated vsize (Kb) 7044 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 21939 29 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 219.68 Current children cumulated vsize (Kb) 7044 [startup+230.015 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 22938 29 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 229.67 Current children cumulated vsize (Kb) 7044 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 23936 30 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 239.66 Current children cumulated vsize (Kb) 7044 [startup+250.016 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 24935 31 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 249.66 Current children cumulated vsize (Kb) 7044 [startup+260.015 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1437 0 0 0 25933 32 0 0 25 0 1 0 1800726064 7213056 1351 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1761 1351 566 18 0 1743 0 [pid=13792] vsize: 7044 Current children cumulated CPU time (s) 259.65 Current children cumulated vsize (Kb) 7044 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1457 0 0 0 26930 33 0 0 25 0 1 0 1800726064 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1794 1371 566 18 0 1776 0 [pid=13792] vsize: 7176 Current children cumulated CPU time (s) 269.63 Current children cumulated vsize (Kb) 7176 [startup+280.016 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1457 0 0 0 27928 34 0 0 25 0 1 0 1800726064 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1794 1371 566 18 0 1776 0 [pid=13792] vsize: 7176 Current children cumulated CPU time (s) 279.62 Current children cumulated vsize (Kb) 7176 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1457 0 0 0 28925 35 0 0 25 0 1 0 1800726064 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1794 1371 566 18 0 1776 0 [pid=13792] vsize: 7176 Current children cumulated CPU time (s) 289.6 Current children cumulated vsize (Kb) 7176 [startup+300.017 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1457 0 0 0 29923 36 0 0 25 0 1 0 1800726064 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13792/statm): 1794 1371 566 18 0 1776 0 [pid=13792] vsize: 7176 Current children cumulated CPU time (s) 299.59 Current children cumulated vsize (Kb) 7176 [startup+310.018 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1457 0 0 0 30921 36 0 0 25 0 1 0 1800726064 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1794 1371 566 18 0 1776 0 [pid=13792] vsize: 7176 Current children cumulated CPU time (s) 309.57 Current children cumulated vsize (Kb) 7176 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1457 0 0 0 31920 38 0 0 25 0 1 0 1800726064 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1794 1371 566 18 0 1776 0 [pid=13792] vsize: 7176 Current children cumulated CPU time (s) 319.58 Current children cumulated vsize (Kb) 7176 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1457 0 0 0 32918 38 0 0 25 0 1 0 1800726064 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1794 1371 566 18 0 1776 0 [pid=13792] vsize: 7176 Current children cumulated CPU time (s) 329.56 Current children cumulated vsize (Kb) 7176 [startup+340.017 s] Raw data (loadavg): 1.07 0.99 0.82 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1457 0 0 0 33918 38 0 0 25 0 1 0 1800726064 7348224 1371 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1794 1371 566 18 0 1776 0 [pid=13792] vsize: 7176 Current children cumulated CPU time (s) 339.56 Current children cumulated vsize (Kb) 7176 [startup+350.018 s] Raw data (loadavg): 1.14 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1470 0 0 0 34917 39 0 0 25 0 1 0 1800726064 7348224 1384 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1794 1384 566 18 0 1776 0 [pid=13792] vsize: 7176 Current children cumulated CPU time (s) 349.56 Current children cumulated vsize (Kb) 7176 [startup+360.018 s] Raw data (loadavg): 1.11 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1496 0 0 0 35916 39 0 0 25 0 1 0 1800726064 7479296 1410 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1826 1410 566 18 0 1808 0 [pid=13792] vsize: 7304 Current children cumulated CPU time (s) 359.55 Current children cumulated vsize (Kb) 7304 [startup+370.018 s] Raw data (loadavg): 1.10 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1528 0 0 0 36915 40 0 0 25 0 1 0 1800726064 7606272 1442 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1442 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 369.55 Current children cumulated vsize (Kb) 7428 [startup+380.019 s] Raw data (loadavg): 1.08 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1528 0 0 0 37912 40 0 0 25 0 1 0 1800726064 7606272 1442 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1442 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 379.52 Current children cumulated vsize (Kb) 7428 [startup+390.019 s] Raw data (loadavg): 1.07 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1541 0 0 0 38909 41 0 0 25 0 1 0 1800726064 7606272 1455 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1455 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 389.5 Current children cumulated vsize (Kb) 7428 [startup+400.019 s] Raw data (loadavg): 1.06 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1541 0 0 0 39907 42 0 0 25 0 1 0 1800726064 7606272 1455 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1455 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 399.49 Current children cumulated vsize (Kb) 7428 [startup+410.02 s] Raw data (loadavg): 1.05 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1541 0 0 0 40906 43 0 0 25 0 1 0 1800726064 7606272 1455 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1455 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 409.49 Current children cumulated vsize (Kb) 7428 [startup+420.02 s] Raw data (loadavg): 1.04 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1541 0 0 0 41903 44 0 0 25 0 1 0 1800726064 7606272 1455 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1455 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 419.47 Current children cumulated vsize (Kb) 7428 [startup+430.021 s] Raw data (loadavg): 1.03 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1541 0 0 0 42901 45 0 0 25 0 1 0 1800726064 7606272 1455 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1455 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 429.46 Current children cumulated vsize (Kb) 7428 [startup+440.021 s] Raw data (loadavg): 1.03 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1541 0 0 0 43898 46 0 0 25 0 1 0 1800726064 7606272 1455 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1455 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 439.44 Current children cumulated vsize (Kb) 7428 [startup+450.022 s] Raw data (loadavg): 1.02 1.00 0.83 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1541 0 0 0 44895 47 0 0 25 0 1 0 1800726064 7606272 1455 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1455 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 449.42 Current children cumulated vsize (Kb) 7428 [startup+460.021 s] Raw data (loadavg): 1.02 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1541 0 0 0 45892 48 0 0 25 0 1 0 1800726064 7606272 1455 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1857 1455 566 18 0 1839 0 [pid=13792] vsize: 7428 Current children cumulated CPU time (s) 459.4 Current children cumulated vsize (Kb) 7428 [startup+470.021 s] Raw data (loadavg): 1.02 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1576 0 0 0 46888 50 0 0 25 0 1 0 1800726064 7741440 1490 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1890 1490 566 18 0 1872 0 [pid=13792] vsize: 7560 Current children cumulated CPU time (s) 469.38 Current children cumulated vsize (Kb) 7560 [startup+480.022 s] Raw data (loadavg): 1.01 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1582 0 0 0 47886 51 0 0 25 0 1 0 1800726064 7741440 1496 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1890 1496 566 18 0 1872 0 [pid=13792] vsize: 7560 Current children cumulated CPU time (s) 479.37 Current children cumulated vsize (Kb) 7560 [startup+490.022 s] Raw data (loadavg): 1.01 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1610 0 0 0 48880 53 0 0 25 0 1 0 1800726064 7884800 1524 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 1925 1524 566 18 0 1907 0 [pid=13792] vsize: 7700 Current children cumulated CPU time (s) 489.33 Current children cumulated vsize (Kb) 7700 [startup+500.023 s] Raw data (loadavg): 1.01 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1782 0 0 0 49870 57 0 0 25 0 1 0 1800726064 8232960 1599 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2010 1599 566 18 0 1992 0 [pid=13792] vsize: 8040 Current children cumulated CPU time (s) 499.27 Current children cumulated vsize (Kb) 8040 [startup+510.024 s] Raw data (loadavg): 1.01 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1782 0 0 0 50862 61 0 0 25 0 1 0 1800726064 8212480 1599 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2005 1599 566 18 0 1987 0 [pid=13792] vsize: 8020 Current children cumulated CPU time (s) 509.23 Current children cumulated vsize (Kb) 8020 [startup+520.024 s] Raw data (loadavg): 1.00 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 51852 65 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 519.17 Current children cumulated vsize (Kb) 8036 [startup+530.024 s] Raw data (loadavg): 1.00 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 52850 66 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 529.16 Current children cumulated vsize (Kb) 8036 [startup+540.024 s] Raw data (loadavg): 1.00 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 53847 67 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 539.14 Current children cumulated vsize (Kb) 8036 [startup+550.025 s] Raw data (loadavg): 1.00 1.00 0.84 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 54845 69 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 549.14 Current children cumulated vsize (Kb) 8036 [startup+560.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 55842 69 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 559.11 Current children cumulated vsize (Kb) 8036 [startup+570.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 56838 72 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 569.1 Current children cumulated vsize (Kb) 8036 [startup+580.026 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 57833 73 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 579.06 Current children cumulated vsize (Kb) 8036 [startup+590.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 58829 75 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 589.04 Current children cumulated vsize (Kb) 8036 [startup+600.026 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 59828 76 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 599.04 Current children cumulated vsize (Kb) 8036 [startup+610.027 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 60823 77 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 609 Current children cumulated vsize (Kb) 8036 [startup+620.027 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 61821 79 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 619 Current children cumulated vsize (Kb) 8036 [startup+630.027 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 62818 79 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 628.97 Current children cumulated vsize (Kb) 8036 [startup+640.027 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 63817 80 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 638.97 Current children cumulated vsize (Kb) 8036 [startup+650.028 s] Raw data (loadavg): 1.00 1.00 0.85 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 64815 81 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 648.96 Current children cumulated vsize (Kb) 8036 [startup+660.028 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 65813 81 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 658.94 Current children cumulated vsize (Kb) 8036 [startup+670.028 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 66811 82 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 668.93 Current children cumulated vsize (Kb) 8036 [startup+680.029 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 67808 83 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 678.91 Current children cumulated vsize (Kb) 8036 [startup+690.029 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 68806 84 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223556 134527386 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 688.9 Current children cumulated vsize (Kb) 8036 [startup+700.03 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 69804 85 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 698.89 Current children cumulated vsize (Kb) 8036 [startup+710.03 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 70801 87 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 708.88 Current children cumulated vsize (Kb) 8036 [startup+720.029 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 71798 88 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 718.86 Current children cumulated vsize (Kb) 8036 [startup+730.03 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 72795 89 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 728.84 Current children cumulated vsize (Kb) 8036 [startup+740.03 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 73792 90 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 738.82 Current children cumulated vsize (Kb) 8036 [startup+750.031 s] Raw data (loadavg): 1.00 1.00 0.86 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 74791 90 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 748.81 Current children cumulated vsize (Kb) 8036 [startup+760.031 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 75790 91 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 758.81 Current children cumulated vsize (Kb) 8036 [startup+770.031 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 76788 92 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 768.8 Current children cumulated vsize (Kb) 8036 [startup+780.032 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 77786 93 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 778.79 Current children cumulated vsize (Kb) 8036 [startup+790.032 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 78783 94 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 788.77 Current children cumulated vsize (Kb) 8036 [startup+800.033 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 79780 95 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 798.75 Current children cumulated vsize (Kb) 8036 [startup+810.033 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 80778 96 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 808.74 Current children cumulated vsize (Kb) 8036 [startup+820.033 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 81774 98 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 818.72 Current children cumulated vsize (Kb) 8036 [startup+830.033 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 82771 99 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 828.7 Current children cumulated vsize (Kb) 8036 [startup+840.033 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 83769 99 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 838.68 Current children cumulated vsize (Kb) 8036 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 84767 100 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 848.67 Current children cumulated vsize (Kb) 8036 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 0.87 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 85764 101 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 858.65 Current children cumulated vsize (Kb) 8036 [startup+870.034 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1815 0 0 0 86760 103 0 0 25 0 1 0 1800726064 8228864 1615 4294967295 134512640 134578447 3221224624 3221223508 1075285509 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2009 1615 566 18 0 1991 0 [pid=13792] vsize: 8036 Current children cumulated CPU time (s) 868.63 Current children cumulated vsize (Kb) 8036 [startup+880.035 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1909 0 0 0 87757 104 0 0 25 0 1 0 1800726064 8634368 1709 4294967295 134512640 134578447 3221224624 3221221504 134532461 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2108 1709 566 18 0 2090 0 [pid=13792] vsize: 8432 Current children cumulated CPU time (s) 878.61 Current children cumulated vsize (Kb) 8432 [startup+890.035 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1909 0 0 0 88754 105 0 0 25 0 1 0 1800726064 8634368 1709 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2108 1709 566 18 0 2090 0 [pid=13792] vsize: 8432 Current children cumulated CPU time (s) 888.59 Current children cumulated vsize (Kb) 8432 [startup+900.036 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1909 0 0 0 89751 106 0 0 25 0 1 0 1800726064 8634368 1709 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2108 1709 566 18 0 2090 0 [pid=13792] vsize: 8432 Current children cumulated CPU time (s) 898.57 Current children cumulated vsize (Kb) 8432 [startup+910.036 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1909 0 0 0 90748 107 0 0 25 0 1 0 1800726064 8634368 1709 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2108 1709 566 18 0 2090 0 [pid=13792] vsize: 8432 Current children cumulated CPU time (s) 908.55 Current children cumulated vsize (Kb) 8432 [startup+920.035 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1909 0 0 0 91746 108 0 0 25 0 1 0 1800726064 8634368 1709 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2108 1709 566 18 0 2090 0 [pid=13792] vsize: 8432 Current children cumulated CPU time (s) 918.54 Current children cumulated vsize (Kb) 8432 [startup+930.036 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1909 0 0 0 92744 109 0 0 25 0 1 0 1800726064 8634368 1709 4294967295 134512640 134578447 3221224624 3221223476 134555859 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13792/statm): 2108 1709 566 18 0 2090 0 [pid=13792] vsize: 8432 Current children cumulated CPU time (s) 928.53 Current children cumulated vsize (Kb) 8432 [startup+940.037 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1934 0 0 0 93739 111 0 0 25 0 1 0 1800726064 8765440 1734 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1734 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 938.5 Current children cumulated vsize (Kb) 8560 [startup+950.038 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1934 0 0 0 94737 112 0 0 25 0 1 0 1800726064 8765440 1734 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1734 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 948.49 Current children cumulated vsize (Kb) 8560 [startup+960.039 s] Raw data (loadavg): 1.00 1.00 0.88 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1934 0 0 0 95736 112 0 0 25 0 1 0 1800726064 8765440 1734 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1734 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 958.48 Current children cumulated vsize (Kb) 8560 [startup+970.039 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1934 0 0 0 96734 113 0 0 25 0 1 0 1800726064 8765440 1734 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1734 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 968.47 Current children cumulated vsize (Kb) 8560 [startup+980.039 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1934 0 0 0 97731 114 0 0 25 0 1 0 1800726064 8765440 1734 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1734 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 978.45 Current children cumulated vsize (Kb) 8560 [startup+990.038 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1934 0 0 0 98729 115 0 0 25 0 1 0 1800726064 8765440 1734 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1734 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 988.44 Current children cumulated vsize (Kb) 8560 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1934 0 0 0 99724 117 0 0 25 0 1 0 1800726064 8765440 1734 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1734 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 998.41 Current children cumulated vsize (Kb) 8560 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 100722 118 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1008.4 Current children cumulated vsize (Kb) 8560 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 101719 120 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1018.39 Current children cumulated vsize (Kb) 8560 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 102717 120 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1028.37 Current children cumulated vsize (Kb) 8560 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 103716 121 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1038.37 Current children cumulated vsize (Kb) 8560 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 104713 122 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1048.35 Current children cumulated vsize (Kb) 8560 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.89 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 105712 123 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1058.35 Current children cumulated vsize (Kb) 8560 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 106710 124 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1068.34 Current children cumulated vsize (Kb) 8560 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 107708 125 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1078.33 Current children cumulated vsize (Kb) 8560 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 108705 126 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1088.31 Current children cumulated vsize (Kb) 8560 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 109703 127 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223456 134528426 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1098.3 Current children cumulated vsize (Kb) 8560 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 110700 129 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1108.29 Current children cumulated vsize (Kb) 8560 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 111698 130 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1118.28 Current children cumulated vsize (Kb) 8560 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 112696 131 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1128.27 Current children cumulated vsize (Kb) 8560 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 113693 132 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1138.25 Current children cumulated vsize (Kb) 8560 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 114687 134 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1148.21 Current children cumulated vsize (Kb) 8560 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 115684 135 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1158.19 Current children cumulated vsize (Kb) 8560 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 116679 137 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1168.16 Current children cumulated vsize (Kb) 8560 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 117675 139 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1178.14 Current children cumulated vsize (Kb) 8560 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13792 Raw data (/proc/13792/stat): 13792 (Pueblo) R 13791 13792 6847 0 -1 0 1940 0 0 0 118670 141 0 0 25 0 1 0 1800726064 8765440 1740 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13792/statm): 2140 1740 566 18 0 2122 0 [pid=13792] vsize: 8560 Current children cumulated CPU time (s) 1188.11 Current children cumulated vsize (Kb) 8560 One traced child (pid=13792) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1190.95 CPU time (s): 1189.02 CPU user time (s): 1187.6 CPU system time (s): 1.42078 CPU usage (%): 99.8382 Max. virtual memory (cumulated for all children) (Kb): 8560
Verifier: OK 283