Name | submitted/een/normalized-lseu.opb |
MD5SUM | a578bf261896413ca78de4dc6db2447f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 526.298 |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
LAUNCH ON wulflinc27 THE 2005-09-20 14:18:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4960 boxname=wulflinc27 idbench=272 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: a578bf261896413ca78de4dc6db2447f /oldhome/oroussel/tmp/wulflinc27/normalized-lseu.opb REAL COMMAND: Pueblo IDLAUNCH: 4960 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 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: 811720 kB Buffers: 33676 kB Cached: 159704 kB SwapCached: 692 kB Active: 68664 kB Inactive: 127208 kB HighTotal: 131008 kB HighFree: 11620 kB LowTotal: 903652 kB LowFree: 800100 kB SwapTotal: 2097892 kB SwapFree: 2096628 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5748 kB Slab: 21256 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 14:40:45 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 4960 0 1189.01 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: 89 - #constraints read: 29 c total time : 1189 s s SATISFIABLE v x0 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
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/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859181052 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 41 3 40 18 0 23 0 [pid=8246] 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.0033 s] Raw data (loadavg): 0.87 0.97 0.90 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 317 0 0 0 768 80 0 0 22 0 1 0 1859181052 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 676 283 566 18 0 658 0 [pid=8246] vsize: 2704 Current children cumulated CPU time (s) 8.48 Current children cumulated vsize (Kb) 2704 [startup+20.0041 s] Raw data (loadavg): 0.89 0.97 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 323 0 0 0 1577 145 0 0 23 0 1 0 1859181052 2904064 289 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 289 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 17.22 Current children cumulated vsize (Kb) 2836 [startup+30.0049 s] Raw data (loadavg): 0.91 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 325 0 0 0 2385 208 0 0 21 0 1 0 1859181052 2904064 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 709 291 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 25.93 Current children cumulated vsize (Kb) 2836 [startup+40.0057 s] Raw data (loadavg): 0.92 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 332 0 0 0 3218 266 0 0 24 0 1 0 1859181052 2904064 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 298 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 34.84 Current children cumulated vsize (Kb) 2836 [startup+50.0066 s] Raw data (loadavg): 0.93 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 333 0 0 0 4033 332 0 0 22 0 1 0 1859181052 2904064 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 299 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 43.65 Current children cumulated vsize (Kb) 2836 [startup+60.0074 s] Raw data (loadavg): 0.94 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 334 0 0 0 4852 394 0 0 23 0 1 0 1859181052 2904064 300 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 300 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 52.46 Current children cumulated vsize (Kb) 2836 [startup+70.0082 s] Raw data (loadavg): 0.95 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 339 0 0 0 5693 447 0 0 25 0 1 0 1859181052 2904064 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 305 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 61.4 Current children cumulated vsize (Kb) 2836 [startup+80.009 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 343 0 0 0 6565 491 0 0 25 0 1 0 1859181052 2904064 309 4294967295 134512640 134578447 3221224624 3221223504 1074910621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 309 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 70.56 Current children cumulated vsize (Kb) 2836 [startup+90.0088 s] Raw data (loadavg): 0.96 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 343 0 0 0 7429 540 0 0 23 0 1 0 1859181052 2904064 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 309 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 79.69 Current children cumulated vsize (Kb) 2836 [startup+100.009 s] Raw data (loadavg): 0.97 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 349 0 0 0 8190 616 0 0 22 0 1 0 1859181052 2904064 315 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 315 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 88.06 Current children cumulated vsize (Kb) 2836 [startup+110.01 s] Raw data (loadavg): 0.97 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 350 0 0 0 8960 690 0 0 19 0 1 0 1859181052 2904064 316 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 316 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 96.5 Current children cumulated vsize (Kb) 2836 [startup+120.011 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 350 0 0 0 9722 772 0 0 21 0 1 0 1859181052 2904064 316 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 709 316 566 18 0 691 0 [pid=8246] vsize: 2836 Current children cumulated CPU time (s) 104.94 Current children cumulated vsize (Kb) 2836 [startup+130.012 s] Raw data (loadavg): 0.98 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 351 0 0 0 10457 861 0 0 20 0 1 0 1859181052 3018752 317 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 317 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 113.18 Current children cumulated vsize (Kb) 2948 [startup+140.013 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 351 0 0 0 11274 925 0 0 23 0 1 0 1859181052 3018752 317 4294967295 134512640 134578447 3221224624 3221223488 134517601 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 317 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 121.99 Current children cumulated vsize (Kb) 2948 [startup+150.013 s] Raw data (loadavg): 0.98 0.97 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 353 0 0 0 12060 995 0 0 22 0 1 0 1859181052 3018752 319 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 319 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 130.55 Current children cumulated vsize (Kb) 2948 [startup+160.014 s] Raw data (loadavg): 1.06 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 353 0 0 0 12834 1070 0 0 21 0 1 0 1859181052 3018752 319 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 319 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 139.04 Current children cumulated vsize (Kb) 2948 [startup+170.014 s] Raw data (loadavg): 1.05 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 353 0 0 0 13577 1158 0 0 21 0 1 0 1859181052 3018752 319 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 319 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 147.35 Current children cumulated vsize (Kb) 2948 [startup+180.015 s] Raw data (loadavg): 1.04 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 360 0 0 0 14447 1203 0 0 25 0 1 0 1859181052 3018752 326 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 326 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 156.5 Current children cumulated vsize (Kb) 2948 [startup+190.015 s] Raw data (loadavg): 1.04 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 367 0 0 0 15347 1237 0 0 25 0 1 0 1859181052 3018752 333 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 333 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 165.84 Current children cumulated vsize (Kb) 2948 [startup+200.015 s] Raw data (loadavg): 1.03 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 367 0 0 0 16243 1274 0 0 20 0 1 0 1859181052 3018752 333 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 333 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 175.17 Current children cumulated vsize (Kb) 2948 [startup+210.016 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 367 0 0 0 17146 1308 0 0 25 0 1 0 1859181052 3018752 333 4294967295 134512640 134578447 3221224624 3221223648 134554219 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 333 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 184.54 Current children cumulated vsize (Kb) 2948 [startup+220.016 s] Raw data (loadavg): 1.02 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 367 0 0 0 18038 1348 0 0 25 0 1 0 1859181052 3018752 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 333 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 193.86 Current children cumulated vsize (Kb) 2948 [startup+230.017 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 368 0 0 0 18922 1388 0 0 25 0 1 0 1859181052 3018752 334 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 334 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 203.1 Current children cumulated vsize (Kb) 2948 [startup+240.017 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 368 0 0 0 19832 1419 0 0 25 0 1 0 1859181052 3018752 334 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 334 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 212.51 Current children cumulated vsize (Kb) 2948 [startup+250.017 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 368 0 0 0 20730 1454 0 0 25 0 1 0 1859181052 3018752 334 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 334 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 221.84 Current children cumulated vsize (Kb) 2948 [startup+260.018 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 368 0 0 0 21630 1490 0 0 25 0 1 0 1859181052 3018752 334 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 334 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 231.2 Current children cumulated vsize (Kb) 2948 [startup+270.017 s] Raw data (loadavg): 1.01 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 368 0 0 0 22527 1525 0 0 25 0 1 0 1859181052 3018752 334 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 334 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 240.52 Current children cumulated vsize (Kb) 2948 [startup+280.018 s] Raw data (loadavg): 1.01 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 368 0 0 0 23425 1559 0 0 25 0 1 0 1859181052 3018752 334 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 334 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 249.84 Current children cumulated vsize (Kb) 2948 [startup+290.019 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 368 0 0 0 24320 1596 0 0 25 0 1 0 1859181052 3018752 334 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 334 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 259.16 Current children cumulated vsize (Kb) 2948 [startup+300.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 368 0 0 0 25214 1632 0 0 25 0 1 0 1859181052 3018752 334 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 334 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 268.46 Current children cumulated vsize (Kb) 2948 [startup+310.02 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 368 0 0 0 26115 1668 0 0 25 0 1 0 1859181052 3018752 334 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 334 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 277.83 Current children cumulated vsize (Kb) 2948 [startup+320.021 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 27000 1708 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 287.08 Current children cumulated vsize (Kb) 2948 [startup+330.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 27872 1752 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 296.24 Current children cumulated vsize (Kb) 2948 [startup+340.021 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 28745 1796 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 305.41 Current children cumulated vsize (Kb) 2948 [startup+350.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 29624 1835 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 314.59 Current children cumulated vsize (Kb) 2948 [startup+360.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 30490 1884 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223440 134527291 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 323.74 Current children cumulated vsize (Kb) 2948 [startup+370.023 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 31328 1940 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 332.68 Current children cumulated vsize (Kb) 2948 [startup+380.023 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 32180 1993 0 0 20 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 341.73 Current children cumulated vsize (Kb) 2948 [startup+390.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 33042 2040 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 350.82 Current children cumulated vsize (Kb) 2948 [startup+400.024 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 33899 2089 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 359.88 Current children cumulated vsize (Kb) 2948 [startup+410.025 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 34773 2131 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 369.04 Current children cumulated vsize (Kb) 2948 [startup+420.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 35614 2187 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 378.01 Current children cumulated vsize (Kb) 2948 [startup+430.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 36503 2229 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223228 1075289363 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 387.32 Current children cumulated vsize (Kb) 2948 [startup+440.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 37395 2265 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527632 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 396.6 Current children cumulated vsize (Kb) 2948 [startup+450.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 38268 2307 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 405.75 Current children cumulated vsize (Kb) 2948 [startup+460.028 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 39146 2348 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 414.94 Current children cumulated vsize (Kb) 2948 [startup+470.029 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 40007 2395 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 424.02 Current children cumulated vsize (Kb) 2948 [startup+480.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 40867 2441 0 0 19 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 433.08 Current children cumulated vsize (Kb) 2948 [startup+490.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 41714 2495 0 0 24 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 442.09 Current children cumulated vsize (Kb) 2948 [startup+500.03 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 42572 2541 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 451.13 Current children cumulated vsize (Kb) 2948 [startup+510.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 43427 2594 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 460.21 Current children cumulated vsize (Kb) 2948 [startup+520.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 44304 2634 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 469.38 Current children cumulated vsize (Kb) 2948 [startup+530.032 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 45149 2690 0 0 23 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 478.39 Current children cumulated vsize (Kb) 2948 [startup+540.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 46022 2734 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 487.56 Current children cumulated vsize (Kb) 2948 [startup+550.032 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 46871 2786 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 496.57 Current children cumulated vsize (Kb) 2948 [startup+560.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 47743 2832 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 505.75 Current children cumulated vsize (Kb) 2948 [startup+570.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 48601 2882 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 514.83 Current children cumulated vsize (Kb) 2948 [startup+580.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 49445 2937 0 0 23 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 523.82 Current children cumulated vsize (Kb) 2948 [startup+590.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 50266 3000 0 0 23 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 532.66 Current children cumulated vsize (Kb) 2948 [startup+600.035 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 51113 3054 0 0 24 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 541.67 Current children cumulated vsize (Kb) 2948 [startup+610.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 51954 3108 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 550.62 Current children cumulated vsize (Kb) 2948 [startup+620.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 52798 3158 0 0 22 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223488 134517461 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 559.56 Current children cumulated vsize (Kb) 2948 [startup+630.038 s] Raw data (loadavg): 1.07 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 53656 3206 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 568.62 Current children cumulated vsize (Kb) 2948 [startup+640.039 s] Raw data (loadavg): 1.06 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 54489 3261 0 0 25 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 577.5 Current children cumulated vsize (Kb) 2948 [startup+650.039 s] Raw data (loadavg): 1.05 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 55301 3322 0 0 24 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 586.23 Current children cumulated vsize (Kb) 2948 [startup+660.04 s] Raw data (loadavg): 1.04 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 56133 3379 0 0 23 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 595.12 Current children cumulated vsize (Kb) 2948 [startup+670.041 s] Raw data (loadavg): 1.04 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 56899 3460 0 0 21 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 603.59 Current children cumulated vsize (Kb) 2948 [startup+680.042 s] Raw data (loadavg): 1.03 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 57672 3534 0 0 22 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 612.06 Current children cumulated vsize (Kb) 2948 [startup+690.042 s] Raw data (loadavg): 1.02 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 58457 3607 0 0 22 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 620.64 Current children cumulated vsize (Kb) 2948 [startup+700.042 s] Raw data (loadavg): 1.02 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 59256 3676 0 0 23 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 629.32 Current children cumulated vsize (Kb) 2948 [startup+710.043 s] Raw data (loadavg): 1.02 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 60049 3748 0 0 22 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 637.97 Current children cumulated vsize (Kb) 2948 [startup+720.043 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 60838 3820 0 0 22 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 646.58 Current children cumulated vsize (Kb) 2948 [startup+730.043 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 61586 3907 0 0 20 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 654.93 Current children cumulated vsize (Kb) 2948 [startup+740.044 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 62314 4002 0 0 20 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 663.16 Current children cumulated vsize (Kb) 2948 [startup+750.044 s] Raw data (loadavg): 1.01 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 63078 4081 0 0 24 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 671.59 Current children cumulated vsize (Kb) 2948 [startup+760.044 s] Raw data (loadavg): 1.01 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 63886 4149 0 0 23 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 680.35 Current children cumulated vsize (Kb) 2948 [startup+770.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 64721 4206 0 0 22 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 689.27 Current children cumulated vsize (Kb) 2948 [startup+780.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 65515 4274 0 0 20 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 697.89 Current children cumulated vsize (Kb) 2948 [startup+790.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 66299 4344 0 0 21 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 706.43 Current children cumulated vsize (Kb) 2948 [startup+800.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 67059 4425 0 0 20 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 714.84 Current children cumulated vsize (Kb) 2948 [startup+810.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 67836 4502 0 0 23 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 723.38 Current children cumulated vsize (Kb) 2948 [startup+820.046 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 68595 4587 0 0 21 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 731.82 Current children cumulated vsize (Kb) 2948 [startup+830.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 69345 4672 0 0 21 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 740.17 Current children cumulated vsize (Kb) 2948 [startup+840.048 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 70072 4762 0 0 20 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 748.34 Current children cumulated vsize (Kb) 2948 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 70787 4856 0 0 18 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 756.43 Current children cumulated vsize (Kb) 2948 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 71549 4937 0 0 22 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223536 134557735 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 764.86 Current children cumulated vsize (Kb) 2948 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 72338 5009 0 0 22 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 773.47 Current children cumulated vsize (Kb) 2948 [startup+880.049 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 73107 5085 0 0 22 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 781.92 Current children cumulated vsize (Kb) 2948 [startup+890.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 73826 5175 0 0 20 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223564 134527348 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 790.01 Current children cumulated vsize (Kb) 2948 [startup+900.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 373 0 0 0 74578 5261 0 0 23 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223580 134558755 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 798.39 Current children cumulated vsize (Kb) 2948 [startup+910.051 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 75375 5330 0 0 20 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 807.05 Current children cumulated vsize (Kb) 2948 [startup+920.052 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 373 0 0 0 76099 5425 0 0 20 0 1 0 1859181052 3018752 339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 737 339 566 18 0 719 0 [pid=8246] vsize: 2948 Current children cumulated CPU time (s) 815.24 Current children cumulated vsize (Kb) 2948 [startup+930.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 380 0 0 0 76806 5524 0 0 20 0 1 0 1859181052 3149824 346 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 769 346 566 18 0 751 0 [pid=8246] vsize: 3076 Current children cumulated CPU time (s) 823.3 Current children cumulated vsize (Kb) 3076 [startup+940.052 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 380 0 0 0 77518 5622 0 0 23 0 1 0 1859181052 3145728 346 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 768 346 566 18 0 750 0 [pid=8246] vsize: 3072 Current children cumulated CPU time (s) 831.4 Current children cumulated vsize (Kb) 3072 [startup+950.053 s] Raw data (loadavg): 1.00 1.00 0.92 3/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 78304 5696 0 0 23 0 1 0 1859181052 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 768 354 566 18 0 750 0 [pid=8246] vsize: 3072 Current children cumulated CPU time (s) 840 Current children cumulated vsize (Kb) 3072 [startup+960.054 s] Raw data (loadavg): 1.07 1.02 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 388 0 0 0 79116 5761 0 0 24 0 1 0 1859181052 3145728 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 768 354 566 18 0 750 0 [pid=8246] vsize: 3072 Current children cumulated CPU time (s) 848.77 Current children cumulated vsize (Kb) 3072 [startup+970.055 s] Raw data (loadavg): 1.06 1.02 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 79919 5831 0 0 22 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 857.5 Current children cumulated vsize (Kb) 3068 [startup+980.054 s] Raw data (loadavg): 1.05 1.01 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 388 0 0 0 80684 5911 0 0 20 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 865.95 Current children cumulated vsize (Kb) 3068 [startup+990.054 s] Raw data (loadavg): 1.04 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 81483 5981 0 0 23 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 874.64 Current children cumulated vsize (Kb) 3068 [startup+1000.05 s] Raw data (loadavg): 1.04 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 82321 6039 0 0 23 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 883.6 Current children cumulated vsize (Kb) 3068 [startup+1010.06 s] Raw data (loadavg): 1.03 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 83090 6116 0 0 23 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 892.06 Current children cumulated vsize (Kb) 3068 [startup+1020.06 s] Raw data (loadavg): 1.02 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 83864 6194 0 0 20 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223552 134552669 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 900.58 Current children cumulated vsize (Kb) 3068 [startup+1030.06 s] Raw data (loadavg): 1.02 1.01 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 388 0 0 0 84610 6279 0 0 21 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 908.89 Current children cumulated vsize (Kb) 3068 [startup+1040.06 s] Raw data (loadavg): 1.02 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 85355 6364 0 0 18 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221221920 134533065 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 917.19 Current children cumulated vsize (Kb) 3068 [startup+1050.06 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 86102 6449 0 0 22 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223456 134526986 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 925.51 Current children cumulated vsize (Kb) 3068 [startup+1060.06 s] Raw data (loadavg): 1.01 1.01 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 388 0 0 0 86900 6522 0 0 20 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 934.22 Current children cumulated vsize (Kb) 3068 [startup+1070.06 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 87639 6606 0 0 18 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 942.45 Current children cumulated vsize (Kb) 3068 [startup+1080.06 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 88432 6677 0 0 23 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 951.09 Current children cumulated vsize (Kb) 3068 [startup+1090.06 s] Raw data (loadavg): 1.01 1.00 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 388 0 0 0 89188 6763 0 0 17 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 959.51 Current children cumulated vsize (Kb) 3068 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 388 0 0 0 89924 6851 0 0 21 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 967.75 Current children cumulated vsize (Kb) 3068 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 388 0 0 0 90704 6929 0 0 23 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 976.33 Current children cumulated vsize (Kb) 3068 [startup+1120.06 s] Raw data (loadavg): 1.08 1.02 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 388 0 0 0 91507 6993 0 0 24 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 985 Current children cumulated vsize (Kb) 3068 [startup+1130.06 s] Raw data (loadavg): 1.06 1.02 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 388 0 0 0 92307 7059 0 0 22 0 1 0 1859181052 3141632 354 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 354 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 993.66 Current children cumulated vsize (Kb) 3068 [startup+1140.06 s] Raw data (loadavg): 1.05 1.02 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 391 0 0 0 93094 7133 0 0 22 0 1 0 1859181052 3141632 357 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 357 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (Kb) 3068 [startup+1150.06 s] Raw data (loadavg): 1.04 1.01 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 392 0 0 0 93870 7209 0 0 20 0 1 0 1859181052 3141632 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 358 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1010.79 Current children cumulated vsize (Kb) 3068 [startup+1160.06 s] Raw data (loadavg): 1.04 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 392 0 0 0 94655 7284 0 0 20 0 1 0 1859181052 3141632 358 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 358 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1019.39 Current children cumulated vsize (Kb) 3068 [startup+1170.06 s] Raw data (loadavg): 1.03 1.01 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 392 0 0 0 95436 7358 0 0 21 0 1 0 1859181052 3141632 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 358 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1027.94 Current children cumulated vsize (Kb) 3068 [startup+1180.06 s] Raw data (loadavg): 1.03 1.01 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 392 0 0 0 96210 7435 0 0 22 0 1 0 1859181052 3141632 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 358 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1036.45 Current children cumulated vsize (Kb) 3068 [startup+1190.06 s] Raw data (loadavg): 1.02 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 392 0 0 0 96994 7507 0 0 22 0 1 0 1859181052 3141632 358 4294967295 134512640 134578447 3221224624 3221223456 134526944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 358 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1045.01 Current children cumulated vsize (Kb) 3068 [startup+1200.06 s] Raw data (loadavg): 1.02 1.01 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 392 0 0 0 97812 7567 0 0 25 0 1 0 1859181052 3141632 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 358 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1053.79 Current children cumulated vsize (Kb) 3068 [startup+1210.06 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 392 0 0 0 98622 7631 0 0 23 0 1 0 1859181052 3141632 358 4294967295 134512640 134578447 3221224624 3221223416 1075291632 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 358 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1062.53 Current children cumulated vsize (Kb) 3068 [startup+1220.06 s] Raw data (loadavg): 1.01 1.01 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 394 0 0 0 99408 7706 0 0 22 0 1 0 1859181052 3141632 360 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 360 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1071.14 Current children cumulated vsize (Kb) 3068 [startup+1230.06 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 394 0 0 0 100199 7778 0 0 19 0 1 0 1859181052 3141632 360 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 360 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1079.77 Current children cumulated vsize (Kb) 3068 [startup+1240.06 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 394 0 0 0 101016 7840 0 0 23 0 1 0 1859181052 3141632 360 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 360 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1088.56 Current children cumulated vsize (Kb) 3068 [startup+1250.06 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 394 0 0 0 101833 7899 0 0 25 0 1 0 1859181052 3141632 360 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 360 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1097.32 Current children cumulated vsize (Kb) 3068 [startup+1260.07 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 394 0 0 0 102584 7983 0 0 22 0 1 0 1859181052 3141632 360 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 360 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1105.67 Current children cumulated vsize (Kb) 3068 [startup+1270.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) R 8245 8246 28974 0 -1 0 394 0 0 0 103371 8057 0 0 23 0 1 0 1859181052 3141632 360 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 360 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1114.28 Current children cumulated vsize (Kb) 3068 [startup+1280.07 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 395 0 0 0 104162 8130 0 0 18 0 1 0 1859181052 3141632 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 361 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1122.92 Current children cumulated vsize (Kb) 3068 [startup+1290.07 s] Raw data (loadavg): 1.16 1.03 0.94 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 395 0 0 0 104933 8211 0 0 20 0 1 0 1859181052 3141632 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 361 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1131.44 Current children cumulated vsize (Kb) 3068 [startup+1300.07 s] Raw data (loadavg): 1.13 1.03 0.94 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 395 0 0 0 105685 8295 0 0 21 0 1 0 1859181052 3141632 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 361 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1139.8 Current children cumulated vsize (Kb) 3068 [startup+1310.07 s] Raw data (loadavg): 1.11 1.03 0.94 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 395 0 0 0 106454 8373 0 0 19 0 1 0 1859181052 3141632 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 361 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1148.27 Current children cumulated vsize (Kb) 3068 [startup+1320.07 s] Raw data (loadavg): 1.09 1.03 0.94 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 395 0 0 0 107227 8450 0 0 23 0 1 0 1859181052 3141632 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 361 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1156.77 Current children cumulated vsize (Kb) 3068 [startup+1330.07 s] Raw data (loadavg): 1.08 1.03 0.94 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 395 0 0 0 108045 8512 0 0 21 0 1 0 1859181052 3141632 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 361 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1165.57 Current children cumulated vsize (Kb) 3068 [startup+1340.07 s] Raw data (loadavg): 1.07 1.03 0.94 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 395 0 0 0 108831 8587 0 0 23 0 1 0 1859181052 3141632 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8246/statm): 767 361 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1174.18 Current children cumulated vsize (Kb) 3068 [startup+1350.07 s] Raw data (loadavg): 1.14 1.04 0.95 1/56 8246 Raw data (/proc/8246/stat): 8246 (Pueblo) T 8245 8246 28974 0 -1 0 395 0 0 0 109657 8644 0 0 21 0 1 0 1859181052 3141632 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8246/statm): 767 361 566 18 0 749 0 [pid=8246] vsize: 3068 Current children cumulated CPU time (s) 1183.01 Current children cumulated vsize (Kb) 3068 One traced child (pid=8246) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1357.04 CPU time (s): 1189.01 CPU user time (s): 1102.05 CPU system time (s): 86.9598 CPU usage (%): 87.618 Max. virtual memory (cumulated for all children) (Kb): 3076
Verifier: OK 1120