Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb |
MD5SUM | 33d46caaa6c22613488909eddb5a530f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 162 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 444 |
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 | 444 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 444 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 94.0497 |
Number of variables | 444 |
Total number of constraints | 1408 |
Number of constraints which are clauses | 1408 |
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 wulflinc12 THE 2005-09-20 13:37:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4838 boxname=wulflinc12 idbench=150 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 33d46caaa6c22613488909eddb5a530f /oldhome/oroussel/tmp/wulflinc12/normalized-ii32e1.opb REAL COMMAND: Pueblo IDLAUNCH: 4838 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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: 891556 kB Buffers: 34004 kB Cached: 78452 kB SwapCached: 492 kB Active: 67936 kB Inactive: 47048 kB HighTotal: 131008 kB HighFree: 50400 kB LowTotal: 903652 kB LowFree: 841156 kB SwapTotal: 2097136 kB SwapFree: 2096072 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5900 kB Slab: 22424 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 13:57:51 (client local time) WITH STATUS 10 IN 1189.04 SECONDS stats: 4838 0 1189.04 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: 444 - #constraints read: 1409 c total time : 1189.02 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
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/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800715156 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 41 3 40 18 0 23 0 [pid=19687] 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.0043 s] Raw data (loadavg): 0.94 0.96 0.70 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 874 0 0 0 969 11 0 0 25 0 1 0 1800715156 5079040 840 4294967295 134512640 134578447 3221224624 3221223456 134558319 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1240 840 566 18 0 1222 0 [pid=19687] vsize: 4960 Current children cumulated CPU time (s) 9.8 Current children cumulated vsize (Kb) 4960 [startup+20.0052 s] Raw data (loadavg): 0.95 0.96 0.71 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 972 0 0 0 1941 21 0 0 25 0 1 0 1800715156 5472256 938 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1336 938 566 18 0 1318 0 [pid=19687] vsize: 5344 Current children cumulated CPU time (s) 19.62 Current children cumulated vsize (Kb) 5344 [startup+30.006 s] Raw data (loadavg): 0.95 0.96 0.71 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1054 0 0 0 2911 32 0 0 25 0 1 0 1800715156 5758976 1010 4294967295 134512640 134578447 3221224624 3221223504 134527770 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1406 1010 566 18 0 1388 0 [pid=19687] vsize: 5624 Current children cumulated CPU time (s) 29.43 Current children cumulated vsize (Kb) 5624 [startup+40.0068 s] Raw data (loadavg): 0.96 0.96 0.71 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1143 0 0 0 3883 41 0 0 25 0 1 0 1800715156 5980160 1067 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1460 1067 566 18 0 1442 0 [pid=19687] vsize: 5840 Current children cumulated CPU time (s) 39.24 Current children cumulated vsize (Kb) 5840 [startup+50.0076 s] Raw data (loadavg): 0.97 0.96 0.72 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1263 0 0 0 4857 51 0 0 25 0 1 0 1800715156 6119424 1083 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1494 1083 566 18 0 1476 0 [pid=19687] vsize: 5976 Current children cumulated CPU time (s) 49.08 Current children cumulated vsize (Kb) 5976 [startup+60.0085 s] Raw data (loadavg): 0.97 0.97 0.72 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1371 0 0 0 5831 59 0 0 25 0 1 0 1800715156 6389760 1151 4294967295 134512640 134578447 3221224624 3221223456 134528432 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1560 1151 566 18 0 1542 0 [pid=19687] vsize: 6240 Current children cumulated CPU time (s) 58.9 Current children cumulated vsize (Kb) 6240 [startup+70.0093 s] Raw data (loadavg): 0.97 0.97 0.72 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1379 0 0 0 6809 67 0 0 25 0 1 0 1800715156 6389760 1159 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1560 1159 566 18 0 1542 0 [pid=19687] vsize: 6240 Current children cumulated CPU time (s) 68.76 Current children cumulated vsize (Kb) 6240 [startup+80.0101 s] Raw data (loadavg): 0.98 0.97 0.72 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1384 0 0 0 7786 74 0 0 25 0 1 0 1800715156 6389760 1164 4294967295 134512640 134578447 3221224624 3221223376 134528891 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1560 1164 566 18 0 1542 0 [pid=19687] vsize: 6240 Current children cumulated CPU time (s) 78.6 Current children cumulated vsize (Kb) 6240 [startup+90.0099 s] Raw data (loadavg): 0.98 0.97 0.73 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1461 0 0 0 8764 82 0 0 25 0 1 0 1800715156 6578176 1213 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1606 1213 566 18 0 1588 0 [pid=19687] vsize: 6424 Current children cumulated CPU time (s) 88.46 Current children cumulated vsize (Kb) 6424 [startup+100.01 s] Raw data (loadavg): 0.98 0.97 0.73 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1475 0 0 0 9738 91 0 0 25 0 1 0 1800715156 6643712 1227 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1622 1227 566 18 0 1604 0 [pid=19687] vsize: 6488 Current children cumulated CPU time (s) 98.29 Current children cumulated vsize (Kb) 6488 [startup+110.011 s] Raw data (loadavg): 0.99 0.97 0.73 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1479 0 0 0 10714 100 0 0 25 0 1 0 1800715156 6643712 1229 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1622 1229 566 18 0 1604 0 [pid=19687] vsize: 6488 Current children cumulated CPU time (s) 108.14 Current children cumulated vsize (Kb) 6488 [startup+120.011 s] Raw data (loadavg): 0.99 0.97 0.73 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1479 0 0 0 11693 108 0 0 25 0 1 0 1800715156 6643712 1229 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1622 1229 566 18 0 1604 0 [pid=19687] vsize: 6488 Current children cumulated CPU time (s) 118.01 Current children cumulated vsize (Kb) 6488 [startup+130.012 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1534 0 0 0 12672 116 0 0 25 0 1 0 1800715156 6889472 1284 4294967295 134512640 134578447 3221224624 3221223472 134520160 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1682 1284 566 18 0 1664 0 [pid=19687] vsize: 6728 Current children cumulated CPU time (s) 127.88 Current children cumulated vsize (Kb) 6728 [startup+140.013 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1552 0 0 0 13655 121 0 0 25 0 1 0 1800715156 6979584 1302 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1704 1302 566 18 0 1686 0 [pid=19687] vsize: 6816 Current children cumulated CPU time (s) 137.76 Current children cumulated vsize (Kb) 6816 [startup+150.014 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1556 0 0 0 14635 129 0 0 25 0 1 0 1800715156 7012352 1306 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1712 1306 566 18 0 1694 0 [pid=19687] vsize: 6848 Current children cumulated CPU time (s) 147.64 Current children cumulated vsize (Kb) 6848 [startup+160.015 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1556 0 0 0 15615 137 0 0 25 0 1 0 1800715156 7012352 1306 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1712 1306 566 18 0 1694 0 [pid=19687] vsize: 6848 Current children cumulated CPU time (s) 157.52 Current children cumulated vsize (Kb) 6848 [startup+170.015 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1556 0 0 0 16596 143 0 0 25 0 1 0 1800715156 7012352 1306 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1712 1306 566 18 0 1694 0 [pid=19687] vsize: 6848 Current children cumulated CPU time (s) 167.39 Current children cumulated vsize (Kb) 6848 [startup+180.015 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1556 0 0 0 17577 151 0 0 25 0 1 0 1800715156 7012352 1306 4294967295 134512640 134578447 3221224624 3221223456 134528426 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1712 1306 566 18 0 1694 0 [pid=19687] vsize: 6848 Current children cumulated CPU time (s) 177.28 Current children cumulated vsize (Kb) 6848 [startup+190.016 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1556 0 0 0 18557 157 0 0 25 0 1 0 1800715156 7012352 1306 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1712 1306 566 18 0 1694 0 [pid=19687] vsize: 6848 Current children cumulated CPU time (s) 187.14 Current children cumulated vsize (Kb) 6848 [startup+200.016 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1556 0 0 0 19537 164 0 0 25 0 1 0 1800715156 7012352 1306 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1712 1306 566 18 0 1694 0 [pid=19687] vsize: 6848 Current children cumulated CPU time (s) 197.01 Current children cumulated vsize (Kb) 6848 [startup+210.017 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1556 0 0 0 20523 169 0 0 25 0 1 0 1800715156 7012352 1306 4294967295 134512640 134578447 3221224624 3221223536 134556768 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1712 1306 566 18 0 1694 0 [pid=19687] vsize: 6848 Current children cumulated CPU time (s) 206.92 Current children cumulated vsize (Kb) 6848 [startup+220.018 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1584 0 0 0 21511 173 0 0 25 0 1 0 1800715156 7098368 1334 4294967295 134512640 134578447 3221224624 3221223536 134516815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1733 1334 566 18 0 1715 0 [pid=19687] vsize: 6932 Current children cumulated CPU time (s) 216.84 Current children cumulated vsize (Kb) 6932 [startup+230.018 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1584 0 0 0 22500 177 0 0 25 0 1 0 1800715156 7098368 1334 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1733 1334 566 18 0 1715 0 [pid=19687] vsize: 6932 Current children cumulated CPU time (s) 226.77 Current children cumulated vsize (Kb) 6932 [startup+240.018 s] Raw data (loadavg): 0.99 0.97 0.76 1/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1584 0 0 0 23490 181 0 0 25 0 1 0 1800715156 7098368 1334 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1733 1334 566 18 0 1715 0 [pid=19687] vsize: 6932 Current children cumulated CPU time (s) 236.71 Current children cumulated vsize (Kb) 6932 [startup+250.018 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1617 0 0 0 24476 187 0 0 25 0 1 0 1800715156 7168000 1357 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1750 1357 566 18 0 1732 0 [pid=19687] vsize: 7000 Current children cumulated CPU time (s) 246.63 Current children cumulated vsize (Kb) 7000 [startup+260.019 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1627 0 0 0 25460 193 0 0 25 0 1 0 1800715156 7307264 1367 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1784 1367 566 18 0 1766 0 [pid=19687] vsize: 7136 Current children cumulated CPU time (s) 256.53 Current children cumulated vsize (Kb) 7136 [startup+270.019 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1669 0 0 0 26444 199 0 0 25 0 1 0 1800715156 7307264 1391 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1784 1391 566 18 0 1766 0 [pid=19687] vsize: 7136 Current children cumulated CPU time (s) 266.43 Current children cumulated vsize (Kb) 7136 [startup+280.02 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1669 0 0 0 27425 206 0 0 25 0 1 0 1800715156 7307264 1391 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1784 1391 566 18 0 1766 0 [pid=19687] vsize: 7136 Current children cumulated CPU time (s) 276.31 Current children cumulated vsize (Kb) 7136 [startup+290.02 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1677 0 0 0 28406 213 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 286.19 Current children cumulated vsize (Kb) 7220 [startup+300.02 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1677 0 0 0 29386 219 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 296.05 Current children cumulated vsize (Kb) 7220 [startup+310.021 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1677 0 0 0 30372 224 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 305.96 Current children cumulated vsize (Kb) 7220 [startup+320.022 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1677 0 0 0 31356 229 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 315.85 Current children cumulated vsize (Kb) 7220 [startup+330.023 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1677 0 0 0 32338 236 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 325.74 Current children cumulated vsize (Kb) 7220 [startup+340.024 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1677 0 0 0 33322 242 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223456 134528513 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 335.64 Current children cumulated vsize (Kb) 7220 [startup+350.023 s] Raw data (loadavg): 0.99 0.97 0.78 1/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1677 0 0 0 34308 246 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 345.54 Current children cumulated vsize (Kb) 7220 [startup+360.024 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1677 0 0 0 35295 252 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 355.47 Current children cumulated vsize (Kb) 7220 [startup+370.025 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1677 0 0 0 36280 257 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 365.37 Current children cumulated vsize (Kb) 7220 [startup+380.026 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1677 0 0 0 37267 261 0 0 25 0 1 0 1800715156 7393280 1399 4294967295 134512640 134578447 3221224624 3221223424 134528633 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1805 1399 566 18 0 1787 0 [pid=19687] vsize: 7220 Current children cumulated CPU time (s) 375.28 Current children cumulated vsize (Kb) 7220 [startup+390.027 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1780 0 0 0 38252 267 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 385.19 Current children cumulated vsize (Kb) 7560 [startup+400.026 s] Raw data (loadavg): 0.99 0.97 0.79 1/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1780 0 0 0 39235 273 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 395.08 Current children cumulated vsize (Kb) 7560 [startup+410.027 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1780 0 0 0 40220 277 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 404.97 Current children cumulated vsize (Kb) 7560 [startup+420.028 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1780 0 0 0 41202 284 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 414.86 Current children cumulated vsize (Kb) 7560 [startup+430.029 s] Raw data (loadavg): 0.99 0.97 0.79 1/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1780 0 0 0 42183 290 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 424.73 Current children cumulated vsize (Kb) 7560 [startup+440.03 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1780 0 0 0 43158 299 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 434.57 Current children cumulated vsize (Kb) 7560 [startup+450.03 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1780 0 0 0 44130 309 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 444.39 Current children cumulated vsize (Kb) 7560 [startup+460.03 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1780 0 0 0 45104 318 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221222668 134532304 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 454.22 Current children cumulated vsize (Kb) 7560 [startup+470.031 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1780 0 0 0 46081 325 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 464.06 Current children cumulated vsize (Kb) 7560 [startup+480.032 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1780 0 0 0 47054 334 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223456 134528448 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 473.88 Current children cumulated vsize (Kb) 7560 [startup+490.033 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1780 0 0 0 48028 342 0 0 25 0 1 0 1800715156 7741440 1497 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1890 1497 566 18 0 1872 0 [pid=19687] vsize: 7560 Current children cumulated CPU time (s) 483.7 Current children cumulated vsize (Kb) 7560 [startup+500.034 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1790 0 0 0 48999 352 0 0 25 0 1 0 1800715156 7872512 1507 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1922 1507 566 18 0 1904 0 [pid=19687] vsize: 7688 Current children cumulated CPU time (s) 493.51 Current children cumulated vsize (Kb) 7688 [startup+510.035 s] Raw data (loadavg): 0.99 0.97 0.81 1/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1790 0 0 0 49963 365 0 0 25 0 1 0 1800715156 7872512 1507 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1922 1507 566 18 0 1904 0 [pid=19687] vsize: 7688 Current children cumulated CPU time (s) 503.28 Current children cumulated vsize (Kb) 7688 [startup+520.035 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1869 0 0 0 50944 372 0 0 25 0 1 0 1800715156 8138752 1586 4294967295 134512640 134578447 3221224624 3221223488 134517551 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 1987 1586 566 18 0 1969 0 [pid=19687] vsize: 7948 Current children cumulated CPU time (s) 513.16 Current children cumulated vsize (Kb) 7948 [startup+530.036 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1891 0 0 0 51928 377 0 0 25 0 1 0 1800715156 8216576 1608 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2006 1608 566 18 0 1988 0 [pid=19687] vsize: 8024 Current children cumulated CPU time (s) 523.05 Current children cumulated vsize (Kb) 8024 [startup+540.037 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1898 0 0 0 52916 381 0 0 25 0 1 0 1800715156 8355840 1615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2040 1615 566 18 0 2022 0 [pid=19687] vsize: 8160 Current children cumulated CPU time (s) 532.97 Current children cumulated vsize (Kb) 8160 [startup+550.037 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 53900 386 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 542.86 Current children cumulated vsize (Kb) 8096 [startup+560.038 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 54887 391 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 552.78 Current children cumulated vsize (Kb) 8096 [startup+570.038 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 55873 396 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 562.69 Current children cumulated vsize (Kb) 8096 [startup+580.039 s] Raw data (loadavg): 0.99 0.97 0.82 1/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1905 0 0 0 56859 402 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 572.61 Current children cumulated vsize (Kb) 8096 [startup+590.04 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 57843 409 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 582.52 Current children cumulated vsize (Kb) 8096 [startup+600.041 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 58829 414 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 592.43 Current children cumulated vsize (Kb) 8096 [startup+610.042 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 59812 419 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 602.31 Current children cumulated vsize (Kb) 8096 [startup+620.042 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 60791 428 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 612.19 Current children cumulated vsize (Kb) 8096 [startup+630.042 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 61768 436 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223420 134528977 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 622.04 Current children cumulated vsize (Kb) 8096 [startup+640.044 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 62752 442 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527799 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 631.94 Current children cumulated vsize (Kb) 8096 [startup+650.044 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 63731 449 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221221904 134533206 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 641.8 Current children cumulated vsize (Kb) 8096 [startup+660.045 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 64713 456 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 651.69 Current children cumulated vsize (Kb) 8096 [startup+670.046 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 65694 463 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 661.57 Current children cumulated vsize (Kb) 8096 [startup+680.047 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 66675 470 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 671.45 Current children cumulated vsize (Kb) 8096 [startup+690.046 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1905 0 0 0 67658 475 0 0 25 0 1 0 1800715156 8290304 1622 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2024 1622 566 18 0 2006 0 [pid=19687] vsize: 8096 Current children cumulated CPU time (s) 681.33 Current children cumulated vsize (Kb) 8096 [startup+700.046 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1956 0 0 0 68644 480 0 0 25 0 1 0 1800715156 8527872 1673 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2082 1673 566 18 0 2064 0 [pid=19687] vsize: 8328 Current children cumulated CPU time (s) 691.24 Current children cumulated vsize (Kb) 8328 [startup+710.047 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1956 0 0 0 69629 486 0 0 25 0 1 0 1800715156 8359936 1648 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 2041 1648 566 18 0 2023 0 [pid=19687] vsize: 8164 Current children cumulated CPU time (s) 701.15 Current children cumulated vsize (Kb) 8164 [startup+720.048 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1956 0 0 0 70608 493 0 0 25 0 1 0 1800715156 8359936 1648 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2041 1648 566 18 0 2023 0 [pid=19687] vsize: 8164 Current children cumulated CPU time (s) 711.01 Current children cumulated vsize (Kb) 8164 [startup+730.049 s] Raw data (loadavg): 0.99 0.97 0.84 1/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 1956 0 0 0 71590 500 0 0 25 0 1 0 1800715156 8359936 1648 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/19687/statm): 2041 1648 566 18 0 2023 0 [pid=19687] vsize: 8164 Current children cumulated CPU time (s) 720.9 Current children cumulated vsize (Kb) 8164 [startup+740.049 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1956 0 0 0 72575 506 0 0 25 0 1 0 1800715156 8359936 1648 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2041 1648 566 18 0 2023 0 [pid=19687] vsize: 8164 Current children cumulated CPU time (s) 730.81 Current children cumulated vsize (Kb) 8164 [startup+750.049 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 1957 0 0 0 73561 511 0 0 25 0 1 0 1800715156 8486912 1649 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2072 1649 566 18 0 2054 0 [pid=19687] vsize: 8288 Current children cumulated CPU time (s) 740.72 Current children cumulated vsize (Kb) 8288 [startup+760.05 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2017 0 0 0 74544 517 0 0 25 0 1 0 1800715156 8626176 1709 4294967295 134512640 134578447 3221224624 3221223536 134556768 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2106 1709 566 18 0 2088 0 [pid=19687] vsize: 8424 Current children cumulated CPU time (s) 750.61 Current children cumulated vsize (Kb) 8424 [startup+770.05 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2017 0 0 0 75525 525 0 0 25 0 1 0 1800715156 8626176 1709 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2106 1709 566 18 0 2088 0 [pid=19687] vsize: 8424 Current children cumulated CPU time (s) 760.5 Current children cumulated vsize (Kb) 8424 [startup+780.051 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2017 0 0 0 76510 529 0 0 25 0 1 0 1800715156 8626176 1709 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2106 1709 566 18 0 2088 0 [pid=19687] vsize: 8424 Current children cumulated CPU time (s) 770.39 Current children cumulated vsize (Kb) 8424 [startup+790.052 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2059 0 0 0 77492 534 0 0 25 0 1 0 1800715156 8904704 1751 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2174 1751 566 18 0 2156 0 [pid=19687] vsize: 8696 Current children cumulated CPU time (s) 780.26 Current children cumulated vsize (Kb) 8696 [startup+800.051 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 78478 539 0 0 25 0 1 0 1800715156 9146368 1818 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2233 1818 566 18 0 2215 0 [pid=19687] vsize: 8932 Current children cumulated CPU time (s) 790.17 Current children cumulated vsize (Kb) 8932 [startup+810.052 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 79468 543 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 800.11 Current children cumulated vsize (Kb) 8844 [startup+820.052 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 80456 547 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 810.03 Current children cumulated vsize (Kb) 8844 [startup+830.053 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 81446 550 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 819.96 Current children cumulated vsize (Kb) 8844 [startup+840.054 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 82436 553 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 829.89 Current children cumulated vsize (Kb) 8844 [startup+850.054 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 83426 557 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 839.83 Current children cumulated vsize (Kb) 8844 [startup+860.054 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 84420 559 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 849.79 Current children cumulated vsize (Kb) 8844 [startup+870.055 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 85412 562 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 859.74 Current children cumulated vsize (Kb) 8844 [startup+880.056 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 86404 565 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 869.69 Current children cumulated vsize (Kb) 8844 [startup+890.056 s] Raw data (loadavg): 0.99 0.97 0.85 1/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 2126 0 0 0 87394 569 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 879.63 Current children cumulated vsize (Kb) 8844 [startup+900.057 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 88384 573 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 889.57 Current children cumulated vsize (Kb) 8844 [startup+910.058 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 89374 577 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 899.51 Current children cumulated vsize (Kb) 8844 [startup+920.057 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 90364 580 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 909.44 Current children cumulated vsize (Kb) 8844 [startup+930.057 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 91351 586 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223456 134528444 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 919.37 Current children cumulated vsize (Kb) 8844 [startup+940.058 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2126 0 0 0 92344 587 0 0 25 0 1 0 1800715156 9056256 1818 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2211 1818 566 18 0 2193 0 [pid=19687] vsize: 8844 Current children cumulated CPU time (s) 929.31 Current children cumulated vsize (Kb) 8844 [startup+950.058 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2132 0 0 0 93335 592 0 0 25 0 1 0 1800715156 9183232 1824 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 2242 1824 566 18 0 2224 0 [pid=19687] vsize: 8968 Current children cumulated CPU time (s) 939.27 Current children cumulated vsize (Kb) 8968 [startup+960.059 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2226 0 0 0 94325 596 0 0 25 0 1 0 1800715156 9580544 1918 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1918 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 949.21 Current children cumulated vsize (Kb) 9356 [startup+970.058 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2226 0 0 0 95317 599 0 0 25 0 1 0 1800715156 9580544 1918 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1918 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 959.16 Current children cumulated vsize (Kb) 9356 [startup+980.058 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2230 0 0 0 96309 601 0 0 25 0 1 0 1800715156 9580544 1922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1922 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 969.1 Current children cumulated vsize (Kb) 9356 [startup+990.059 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2234 0 0 0 97303 604 0 0 25 0 1 0 1800715156 9580544 1926 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1926 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 979.07 Current children cumulated vsize (Kb) 9356 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2234 0 0 0 98294 607 0 0 25 0 1 0 1800715156 9580544 1926 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1926 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 989.01 Current children cumulated vsize (Kb) 9356 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2236 0 0 0 99287 610 0 0 25 0 1 0 1800715156 9580544 1928 4294967295 134512640 134578447 3221224624 3221223432 134528629 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1928 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 998.97 Current children cumulated vsize (Kb) 9356 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2236 0 0 0 100279 613 0 0 25 0 1 0 1800715156 9580544 1928 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1928 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1008.92 Current children cumulated vsize (Kb) 9356 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 101269 617 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1018.86 Current children cumulated vsize (Kb) 9356 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 102260 619 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1028.79 Current children cumulated vsize (Kb) 9356 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 103253 621 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1038.74 Current children cumulated vsize (Kb) 9356 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 104244 625 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1048.69 Current children cumulated vsize (Kb) 9356 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 105234 628 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221222208 134533073 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1058.62 Current children cumulated vsize (Kb) 9356 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 106225 632 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1068.57 Current children cumulated vsize (Kb) 9356 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 107215 634 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1078.49 Current children cumulated vsize (Kb) 9356 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) T 19686 19687 8263 0 -1 0 2240 0 0 0 108206 638 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1088.44 Current children cumulated vsize (Kb) 9356 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 109194 642 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1098.36 Current children cumulated vsize (Kb) 9356 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.87 3/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 110184 646 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1108.3 Current children cumulated vsize (Kb) 9356 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 111174 650 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1118.24 Current children cumulated vsize (Kb) 9356 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 112165 653 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1128.18 Current children cumulated vsize (Kb) 9356 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 113154 657 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1138.11 Current children cumulated vsize (Kb) 9356 [startup+1160.07 s] Raw data (loadavg): 0.99 0.97 0.88 3/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 114145 659 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1148.04 Current children cumulated vsize (Kb) 9356 [startup+1170.07 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 115135 663 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1157.98 Current children cumulated vsize (Kb) 9356 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 116127 666 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1167.93 Current children cumulated vsize (Kb) 9356 [startup+1190.07 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 117118 669 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1177.87 Current children cumulated vsize (Kb) 9356 [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 19687 Raw data (/proc/19687/stat): 19687 (Pueblo) R 19686 19687 8263 0 -1 0 2240 0 0 0 118107 673 0 0 25 0 1 0 1800715156 9580544 1932 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19687/statm): 2339 1932 566 18 0 2321 0 [pid=19687] vsize: 9356 Current children cumulated CPU time (s) 1187.8 Current children cumulated vsize (Kb) 9356 One traced child (pid=19687) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1201.3 CPU time (s): 1189.04 CPU user time (s): 1182.3 CPU system time (s): 6.73898 CPU usage (%): 98.979 Max. virtual memory (cumulated for all children) (Kb): 9356
Verifier: OK 162