Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb |
MD5SUM | 151e246868267296e134c3c76a3cb289 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 286 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 664 |
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 | 664 |
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 | 664 |
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.06 |
Number of variables | 664 |
Total number of constraints | 3035 |
Number of constraints which are clauses | 3035 |
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 | 32 |
LAUNCH ON wulflinc4 THE 2005-09-20 13:59:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4910 boxname=wulflinc4 idbench=222 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 151e246868267296e134c3c76a3cb289 /oldhome/oroussel/tmp/wulflinc4/normalized-ii32d1.opb REAL COMMAND: Pueblo IDLAUNCH: 4910 /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: 819484 kB Buffers: 34204 kB Cached: 154504 kB SwapCached: 876 kB Active: 99576 kB Inactive: 91724 kB HighTotal: 131008 kB HighFree: 1176 kB LowTotal: 903652 kB LowFree: 818308 kB SwapTotal: 2097136 kB SwapFree: 2095644 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5540 kB Slab: 18256 kB Committed_AS: 72324 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 14:19:52 (client local time) WITH STATUS 10 IN 1189.06 SECONDS stats: 4910 0 1189.06 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: 664 - #constraints read: 3036 c total time : 1189.05 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
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/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800845874 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 41 3 40 18 0 23 0 [pid=13903] 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.0034 s] Raw data (loadavg): 1.01 1.00 0.91 3/59 13954 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 844 0 0 0 968 20 0 0 21 0 1 0 1800845874 4952064 810 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1209 810 566 18 0 1191 0 [pid=13903] vsize: 4836 Current children cumulated CPU time (s) 9.88 Current children cumulated vsize (Kb) 4836 [startup+20.0132 s] Raw data (loadavg): 1.01 1.00 0.91 2/56 13958 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1051 0 0 0 1956 26 0 0 25 0 1 0 1800845874 5914624 1017 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1444 1017 566 18 0 1426 0 [pid=13903] vsize: 5776 Current children cumulated CPU time (s) 19.82 Current children cumulated vsize (Kb) 5776 [startup+30.0141 s] Raw data (loadavg): 1.01 1.00 0.91 2/56 13958 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1070 0 0 0 2950 28 0 0 25 0 1 0 1800845874 5902336 1036 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1441 1036 566 18 0 1423 0 [pid=13903] vsize: 5764 Current children cumulated CPU time (s) 29.78 Current children cumulated vsize (Kb) 5764 [startup+40.0139 s] Raw data (loadavg): 1.01 1.00 0.91 2/56 13958 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1076 0 0 0 3941 31 0 0 25 0 1 0 1800845874 5902336 1042 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1441 1042 566 18 0 1423 0 [pid=13903] vsize: 5764 Current children cumulated CPU time (s) 39.72 Current children cumulated vsize (Kb) 5764 [startup+50.0148 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13958 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1080 0 0 0 4930 35 0 0 25 0 1 0 1800845874 5902336 1046 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1441 1046 566 18 0 1423 0 [pid=13903] vsize: 5764 Current children cumulated CPU time (s) 49.65 Current children cumulated vsize (Kb) 5764 [startup+60.0147 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13958 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1111 0 0 0 5922 38 0 0 25 0 1 0 1800845874 6037504 1077 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 1474 1077 566 18 0 1456 0 [pid=13903] vsize: 5896 Current children cumulated CPU time (s) 59.6 Current children cumulated vsize (Kb) 5896 [startup+70.0155 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13958 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1117 0 0 0 6915 40 0 0 25 0 1 0 1800845874 6086656 1083 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 1486 1083 566 18 0 1468 0 [pid=13903] vsize: 5944 Current children cumulated CPU time (s) 69.55 Current children cumulated vsize (Kb) 5944 [startup+80.0163 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1143 0 0 0 7905 44 0 0 25 0 1 0 1800845874 6160384 1108 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1504 1108 566 18 0 1486 0 [pid=13903] vsize: 6016 Current children cumulated CPU time (s) 79.49 Current children cumulated vsize (Kb) 6016 [startup+90.0162 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1143 0 0 0 8898 47 0 0 25 0 1 0 1800845874 6160384 1108 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 1504 1108 566 18 0 1486 0 [pid=13903] vsize: 6016 Current children cumulated CPU time (s) 89.45 Current children cumulated vsize (Kb) 6016 [startup+100.017 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1147 0 0 0 9890 50 0 0 25 0 1 0 1800845874 6307840 1112 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 1540 1112 566 18 0 1522 0 [pid=13903] vsize: 6160 Current children cumulated CPU time (s) 99.4 Current children cumulated vsize (Kb) 6160 [startup+110.018 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1175 0 0 0 10884 52 0 0 25 0 1 0 1800845874 6193152 1117 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 1512 1117 566 18 0 1494 0 [pid=13903] vsize: 6048 Current children cumulated CPU time (s) 109.36 Current children cumulated vsize (Kb) 6048 [startup+120.019 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1209 0 0 0 11877 54 0 0 25 0 1 0 1800845874 6217728 1123 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 1518 1123 566 18 0 1500 0 [pid=13903] vsize: 6072 Current children cumulated CPU time (s) 119.31 Current children cumulated vsize (Kb) 6072 [startup+130.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1209 0 0 0 12870 57 0 0 19 0 1 0 1800845874 6217728 1123 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1518 1123 566 18 0 1500 0 [pid=13903] vsize: 6072 Current children cumulated CPU time (s) 129.27 Current children cumulated vsize (Kb) 6072 [startup+140.019 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1228 0 0 0 13863 60 0 0 25 0 1 0 1800845874 6361088 1142 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1553 1144 566 18 0 1535 0 [pid=13903] vsize: 6212 Current children cumulated CPU time (s) 139.23 Current children cumulated vsize (Kb) 6212 [startup+150.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1261 0 0 0 14858 61 0 0 21 0 1 0 1800845874 6496256 1175 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 1586 1175 566 18 0 1568 0 [pid=13903] vsize: 6344 Current children cumulated CPU time (s) 149.19 Current children cumulated vsize (Kb) 6344 [startup+160.021 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1262 0 0 0 15852 63 0 0 25 0 1 0 1800845874 6496256 1176 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1586 1176 566 18 0 1568 0 [pid=13903] vsize: 6344 Current children cumulated CPU time (s) 159.15 Current children cumulated vsize (Kb) 6344 [startup+170.021 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1268 0 0 0 16848 65 0 0 25 0 1 0 1800845874 6496256 1182 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1586 1182 566 18 0 1568 0 [pid=13903] vsize: 6344 Current children cumulated CPU time (s) 169.13 Current children cumulated vsize (Kb) 6344 [startup+180.022 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1268 0 0 0 17843 66 0 0 25 0 1 0 1800845874 6496256 1182 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1586 1182 566 18 0 1568 0 [pid=13903] vsize: 6344 Current children cumulated CPU time (s) 179.09 Current children cumulated vsize (Kb) 6344 [startup+190.022 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1268 0 0 0 18838 68 0 0 25 0 1 0 1800845874 6496256 1182 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1586 1182 566 18 0 1568 0 [pid=13903] vsize: 6344 Current children cumulated CPU time (s) 189.06 Current children cumulated vsize (Kb) 6344 [startup+200.023 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1268 0 0 0 19831 70 0 0 25 0 1 0 1800845874 6496256 1182 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1586 1182 566 18 0 1568 0 [pid=13903] vsize: 6344 Current children cumulated CPU time (s) 199.01 Current children cumulated vsize (Kb) 6344 [startup+210.023 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1268 0 0 0 20821 74 0 0 25 0 1 0 1800845874 6496256 1182 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1586 1182 566 18 0 1568 0 [pid=13903] vsize: 6344 Current children cumulated CPU time (s) 208.95 Current children cumulated vsize (Kb) 6344 [startup+220.023 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1268 0 0 0 21816 75 0 0 25 0 1 0 1800845874 6496256 1182 4294967295 134512640 134578447 3221224624 3221223456 134526932 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1586 1182 566 18 0 1568 0 [pid=13903] vsize: 6344 Current children cumulated CPU time (s) 218.91 Current children cumulated vsize (Kb) 6344 [startup+230.024 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1382 0 0 0 22810 77 0 0 25 0 1 0 1800845874 7049216 1296 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1721 1296 566 18 0 1703 0 [pid=13903] vsize: 6884 Current children cumulated CPU time (s) 228.87 Current children cumulated vsize (Kb) 6884 [startup+240.024 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1382 0 0 0 23806 78 0 0 25 0 1 0 1800845874 7049216 1296 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1721 1296 566 18 0 1703 0 [pid=13903] vsize: 6884 Current children cumulated CPU time (s) 238.84 Current children cumulated vsize (Kb) 6884 [startup+250.025 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1382 0 0 0 24802 80 0 0 25 0 1 0 1800845874 7049216 1296 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1721 1296 566 18 0 1703 0 [pid=13903] vsize: 6884 Current children cumulated CPU time (s) 248.82 Current children cumulated vsize (Kb) 6884 [startup+260.025 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1393 0 0 0 25800 81 0 0 25 0 1 0 1800845874 7049216 1307 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1721 1307 566 18 0 1703 0 [pid=13903] vsize: 6884 Current children cumulated CPU time (s) 258.81 Current children cumulated vsize (Kb) 6884 [startup+270.024 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1476 0 0 0 26793 83 0 0 25 0 1 0 1800845874 7311360 1390 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1785 1390 566 18 0 1767 0 [pid=13903] vsize: 7140 Current children cumulated CPU time (s) 268.76 Current children cumulated vsize (Kb) 7140 [startup+280.025 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1560 0 0 0 27786 86 0 0 25 0 1 0 1800845874 7737344 1474 4294967295 134512640 134578447 3221224624 3221223476 134555888 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 1889 1474 566 18 0 1871 0 [pid=13903] vsize: 7556 Current children cumulated CPU time (s) 278.72 Current children cumulated vsize (Kb) 7556 [startup+290.025 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 1882 0 0 0 28774 92 0 0 25 0 1 0 1800845874 9043968 1796 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2208 1796 566 18 0 2190 0 [pid=13903] vsize: 8832 Current children cumulated CPU time (s) 288.66 Current children cumulated vsize (Kb) 8832 [startup+300.026 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2036 0 0 0 29761 97 0 0 25 0 1 0 1800845874 9687040 1950 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2365 1950 566 18 0 2347 0 [pid=13903] vsize: 9460 Current children cumulated CPU time (s) 298.58 Current children cumulated vsize (Kb) 9460 [startup+310.027 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13962 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2036 0 0 0 30747 101 0 0 25 0 1 0 1800845874 9687040 1950 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 2365 1950 566 18 0 2347 0 [pid=13903] vsize: 9460 Current children cumulated CPU time (s) 308.48 Current children cumulated vsize (Kb) 9460 [startup+320.028 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2036 0 0 0 31740 104 0 0 25 0 1 0 1800845874 9687040 1950 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2365 1950 566 18 0 2347 0 [pid=13903] vsize: 9460 Current children cumulated CPU time (s) 318.44 Current children cumulated vsize (Kb) 9460 [startup+330.029 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2036 0 0 0 32735 106 0 0 25 0 1 0 1800845874 9687040 1950 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2365 1950 566 18 0 2347 0 [pid=13903] vsize: 9460 Current children cumulated CPU time (s) 328.41 Current children cumulated vsize (Kb) 9460 [startup+340.028 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2036 0 0 0 33731 107 0 0 25 0 1 0 1800845874 9670656 1950 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2361 1950 566 18 0 2343 0 [pid=13903] vsize: 9444 Current children cumulated CPU time (s) 338.38 Current children cumulated vsize (Kb) 9444 [startup+350.029 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2036 0 0 0 34727 109 0 0 25 0 1 0 1800845874 9670656 1950 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2361 1950 566 18 0 2343 0 [pid=13903] vsize: 9444 Current children cumulated CPU time (s) 348.36 Current children cumulated vsize (Kb) 9444 [startup+360.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2036 0 0 0 35716 113 0 0 25 0 1 0 1800845874 9662464 1950 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2359 1950 566 18 0 2341 0 [pid=13903] vsize: 9436 Current children cumulated CPU time (s) 358.29 Current children cumulated vsize (Kb) 9436 [startup+370.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2121 0 0 0 36705 117 0 0 25 0 1 0 1800845874 10047488 2035 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2035 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 368.22 Current children cumulated vsize (Kb) 9812 [startup+380.031 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2121 0 0 0 37701 119 0 0 25 0 1 0 1800845874 10047488 2035 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2035 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 378.2 Current children cumulated vsize (Kb) 9812 [startup+390.032 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2121 0 0 0 38698 120 0 0 25 0 1 0 1800845874 10047488 2035 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2035 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 388.18 Current children cumulated vsize (Kb) 9812 [startup+400.033 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2121 0 0 0 39694 121 0 0 25 0 1 0 1800845874 10047488 2035 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2035 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 398.15 Current children cumulated vsize (Kb) 9812 [startup+410.032 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 40691 123 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 408.14 Current children cumulated vsize (Kb) 9812 [startup+420.032 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 41688 124 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 418.12 Current children cumulated vsize (Kb) 9812 [startup+430.033 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 42686 124 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 428.1 Current children cumulated vsize (Kb) 9812 [startup+440.033 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 43684 125 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 438.09 Current children cumulated vsize (Kb) 9812 [startup+450.034 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 44682 126 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 448.08 Current children cumulated vsize (Kb) 9812 [startup+460.035 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 45676 128 0 0 19 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 458.04 Current children cumulated vsize (Kb) 9812 [startup+470.034 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 46664 133 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 467.97 Current children cumulated vsize (Kb) 9812 [startup+480.035 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 47656 135 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 477.91 Current children cumulated vsize (Kb) 9812 [startup+490.036 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 48651 137 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 487.88 Current children cumulated vsize (Kb) 9812 [startup+500.037 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 49647 139 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 497.86 Current children cumulated vsize (Kb) 9812 [startup+510.038 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 50640 142 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 507.82 Current children cumulated vsize (Kb) 9812 [startup+520.038 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 51631 144 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 517.75 Current children cumulated vsize (Kb) 9812 [startup+530.041 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 52621 148 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 527.69 Current children cumulated vsize (Kb) 9812 [startup+540.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 53614 150 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 537.64 Current children cumulated vsize (Kb) 9812 [startup+550.041 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 54609 152 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 547.61 Current children cumulated vsize (Kb) 9812 [startup+560.042 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 55600 156 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223340 1075285160 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 557.56 Current children cumulated vsize (Kb) 9812 [startup+570.042 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 56592 158 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 567.5 Current children cumulated vsize (Kb) 9812 [startup+580.043 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 57583 161 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223456 134527053 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 577.44 Current children cumulated vsize (Kb) 9812 [startup+590.043 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 58578 163 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 587.41 Current children cumulated vsize (Kb) 9812 [startup+600.044 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 59573 165 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 597.38 Current children cumulated vsize (Kb) 9812 [startup+610.044 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 60567 166 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 607.33 Current children cumulated vsize (Kb) 9812 [startup+620.044 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 61559 169 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223476 134555740 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 617.28 Current children cumulated vsize (Kb) 9812 [startup+630.045 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 62551 172 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 627.23 Current children cumulated vsize (Kb) 9812 [startup+640.045 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 63544 175 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 637.19 Current children cumulated vsize (Kb) 9812 [startup+650.046 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 64537 177 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 647.14 Current children cumulated vsize (Kb) 9812 [startup+660.046 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 65527 180 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 657.07 Current children cumulated vsize (Kb) 9812 [startup+670.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 66520 183 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 667.03 Current children cumulated vsize (Kb) 9812 [startup+680.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 67517 184 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 677.01 Current children cumulated vsize (Kb) 9812 [startup+690.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 68512 186 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 686.98 Current children cumulated vsize (Kb) 9812 [startup+700.048 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 69508 187 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 696.95 Current children cumulated vsize (Kb) 9812 [startup+710.048 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 70505 188 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 706.93 Current children cumulated vsize (Kb) 9812 [startup+720.048 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 71502 190 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 716.92 Current children cumulated vsize (Kb) 9812 [startup+730.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 72499 190 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 726.89 Current children cumulated vsize (Kb) 9812 [startup+740.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 73495 192 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 736.87 Current children cumulated vsize (Kb) 9812 [startup+750.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 74492 194 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 746.86 Current children cumulated vsize (Kb) 9812 [startup+760.05 s] Raw data (loadavg): 1.00 1.00 0.91 1/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) T 13902 13903 6847 0 -1 0 2135 0 0 0 75487 196 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 756.83 Current children cumulated vsize (Kb) 9812 [startup+770.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 76484 197 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 766.81 Current children cumulated vsize (Kb) 9812 [startup+780.051 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 77481 198 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 776.79 Current children cumulated vsize (Kb) 9812 [startup+790.052 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 78476 200 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 786.76 Current children cumulated vsize (Kb) 9812 [startup+800.052 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 79474 201 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 796.75 Current children cumulated vsize (Kb) 9812 [startup+810.051 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 80469 202 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 806.71 Current children cumulated vsize (Kb) 9812 [startup+820.051 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 81467 204 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 816.71 Current children cumulated vsize (Kb) 9812 [startup+830.052 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 82464 205 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 826.69 Current children cumulated vsize (Kb) 9812 [startup+840.052 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 83458 207 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 836.65 Current children cumulated vsize (Kb) 9812 [startup+850.052 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 84455 208 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 846.63 Current children cumulated vsize (Kb) 9812 [startup+860.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 85454 209 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 856.63 Current children cumulated vsize (Kb) 9812 [startup+870.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 86452 209 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 866.61 Current children cumulated vsize (Kb) 9812 [startup+880.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 87448 211 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 876.59 Current children cumulated vsize (Kb) 9812 [startup+890.054 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 88445 212 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 886.57 Current children cumulated vsize (Kb) 9812 [startup+900.054 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 89442 213 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 896.55 Current children cumulated vsize (Kb) 9812 [startup+910.055 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 90439 214 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 906.53 Current children cumulated vsize (Kb) 9812 [startup+920.055 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 91436 215 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 916.51 Current children cumulated vsize (Kb) 9812 [startup+930.056 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 92434 216 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 926.5 Current children cumulated vsize (Kb) 9812 [startup+940.057 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 93432 216 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 936.48 Current children cumulated vsize (Kb) 9812 [startup+950.056 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 94430 217 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 946.47 Current children cumulated vsize (Kb) 9812 [startup+960.056 s] Raw data (loadavg): 1.00 1.00 0.91 1/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) T 13902 13903 6847 0 -1 0 2135 0 0 0 95426 218 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 956.44 Current children cumulated vsize (Kb) 9812 [startup+970.057 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 96424 219 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 966.43 Current children cumulated vsize (Kb) 9812 [startup+980.058 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 97420 221 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223456 134528594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 976.41 Current children cumulated vsize (Kb) 9812 [startup+990.058 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 98419 221 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 986.4 Current children cumulated vsize (Kb) 9812 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 99417 222 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 996.39 Current children cumulated vsize (Kb) 9812 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 100415 223 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1006.38 Current children cumulated vsize (Kb) 9812 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 101413 224 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1016.37 Current children cumulated vsize (Kb) 9812 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 102410 226 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1026.36 Current children cumulated vsize (Kb) 9812 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 103408 227 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1036.35 Current children cumulated vsize (Kb) 9812 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 104405 228 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1046.33 Current children cumulated vsize (Kb) 9812 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) T 13902 13903 6847 0 -1 0 2135 0 0 0 105402 229 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1056.31 Current children cumulated vsize (Kb) 9812 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 106400 230 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1066.3 Current children cumulated vsize (Kb) 9812 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 107397 231 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1076.28 Current children cumulated vsize (Kb) 9812 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 108394 233 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1086.27 Current children cumulated vsize (Kb) 9812 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 109391 233 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1096.24 Current children cumulated vsize (Kb) 9812 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2135 0 0 0 110385 235 0 0 25 0 1 0 1800845874 10047488 2049 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2453 2049 566 18 0 2435 0 [pid=13903] vsize: 9812 Current children cumulated CPU time (s) 1106.2 Current children cumulated vsize (Kb) 9812 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2151 0 0 0 111382 237 0 0 25 0 1 0 1800845874 10174464 2065 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2484 2065 566 18 0 2466 0 [pid=13903] vsize: 9936 Current children cumulated CPU time (s) 1116.19 Current children cumulated vsize (Kb) 9936 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2151 0 0 0 112378 239 0 0 25 0 1 0 1800845874 10174464 2065 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2484 2065 566 18 0 2466 0 [pid=13903] vsize: 9936 Current children cumulated CPU time (s) 1126.17 Current children cumulated vsize (Kb) 9936 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2151 0 0 0 113373 241 0 0 25 0 1 0 1800845874 10174464 2065 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2484 2065 566 18 0 2466 0 [pid=13903] vsize: 9936 Current children cumulated CPU time (s) 1136.14 Current children cumulated vsize (Kb) 9936 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2151 0 0 0 114370 242 0 0 25 0 1 0 1800845874 10174464 2065 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2484 2065 566 18 0 2466 0 [pid=13903] vsize: 9936 Current children cumulated CPU time (s) 1146.12 Current children cumulated vsize (Kb) 9936 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2151 0 0 0 115367 243 0 0 25 0 1 0 1800845874 10174464 2065 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2484 2065 566 18 0 2466 0 [pid=13903] vsize: 9936 Current children cumulated CPU time (s) 1156.1 Current children cumulated vsize (Kb) 9936 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2151 0 0 0 116365 244 0 0 25 0 1 0 1800845874 10174464 2065 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13903/statm): 2484 2065 566 18 0 2466 0 [pid=13903] vsize: 9936 Current children cumulated CPU time (s) 1166.09 Current children cumulated vsize (Kb) 9936 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2151 0 0 0 117362 245 0 0 25 0 1 0 1800845874 10174464 2065 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 2484 2065 566 18 0 2466 0 [pid=13903] vsize: 9936 Current children cumulated CPU time (s) 1176.07 Current children cumulated vsize (Kb) 9936 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13964 Raw data (/proc/13903/stat): 13903 (Pueblo) R 13902 13903 6847 0 -1 0 2151 0 0 0 118359 247 0 0 25 0 1 0 1800845874 10174464 2065 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13903/statm): 2484 2065 566 18 0 2466 0 [pid=13903] vsize: 9936 Current children cumulated CPU time (s) 1186.06 Current children cumulated vsize (Kb) 9936 One traced child (pid=13903) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1193.08 CPU time (s): 1189.06 CPU user time (s): 1186.58 CPU system time (s): 2.48062 CPU usage (%): 99.6634 Max. virtual memory (cumulated for all children) (Kb): 9936
Verifier: OK 286