Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb |
MD5SUM | 3b5121187baf09367bd50bdc4d869d21 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5632 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 140 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 7340025 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 7340025 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.36 |
Number of variables | 200 |
Total number of constraints | 67 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 80 |
LAUNCH ON wulflinc28 THE 2005-09-20 16:44:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5645 boxname=wulflinc28 idbench=957 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 3b5121187baf09367bd50bdc4d869d21 /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-markshare2.opb REAL COMMAND: Pueblo IDLAUNCH: 5645 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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.077 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: 832232 kB Buffers: 30656 kB Cached: 142560 kB SwapCached: 660 kB Active: 64744 kB Inactive: 111028 kB HighTotal: 131008 kB HighFree: 448 kB LowTotal: 903652 kB LowFree: 831784 kB SwapTotal: 2097640 kB SwapFree: 2096408 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5832 kB Slab: 20916 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 17:06:09 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 5645 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: 200 - #constraints read: 75 c total time : 1189 s s SATISFIABLE v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 -x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 -x3_bit0 x3_bit1 -x3_bit2 -x3_bit3 x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 x5_bit0 x5_bit1 x5_bit2 -x5_bit3 -x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit10 -x5_bit11 -x5_bit12 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 x7_bit1 x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 x9_bit0 x9_bit1 x9_bit2 x9_bit3 x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit10 -x9_bit11 -x9_bit12 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 x11_bit0 x11_bit1 -x11_bit2 x11_bit3 -x11_bit4 -x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit10 -x11_bit11 -x11_bit12 -x13_bit_7 -x13_bit_6 -x13_bit_5 -x13_bit_4 -x13_bit_3 -x13_bit_2 -x13_bit_1 x13_bit0 -x13_bit1 x13_bit2 x13_bit3 x13_bit4 x13_bit5 -x13_bit6 -x13_bit7 -x13_bit8 -x13_bit9 -x13_bit10 -x13_bit11 -x13_bit12 -x15_bit0 x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 x31_bit0 x32_bit0 x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 x37_bit0 -x38_bit0 -x39_bit0 x40_bit0 x41_bit0 x42_bit0 x43_bit0 -x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 x50_bit0 x51_bit0 x52_bit0 x53_bit0 x54_bit0 -x55_bit0 x56_bit0 -x57_bit0 x58_bit0 x59_bit0 x60_bit0 x61_bit0 x62_bit0 -x63_bit0 -x64_bit0 x65_bit0 x66_bit0 -x67_bit0 x68_bit0 x69_bit0 x70_bit0 -x71_bit0 x72_bit0 x73_bit0 x74_bit0
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/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860088128 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 41 3 40 18 0 23 0 [pid=30829] 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.0039 s] Raw data (loadavg): 0.82 0.92 0.90 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 301 0 0 0 900 35 0 0 25 0 1 0 1860088128 2772992 267 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 677 267 566 18 0 659 0 [pid=30829] vsize: 2708 Current children cumulated CPU time (s) 9.35 Current children cumulated vsize (Kb) 2708 [startup+20.0035 s] Raw data (loadavg): 0.84 0.93 0.90 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 306 0 0 0 1807 70 0 0 25 0 1 0 1860088128 2772992 272 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 677 272 566 18 0 659 0 [pid=30829] vsize: 2708 Current children cumulated CPU time (s) 18.77 Current children cumulated vsize (Kb) 2708 [startup+30.0042 s] Raw data (loadavg): 0.87 0.93 0.90 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 308 0 0 0 2708 102 0 0 25 0 1 0 1860088128 2772992 274 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 677 274 566 18 0 659 0 [pid=30829] vsize: 2708 Current children cumulated CPU time (s) 28.1 Current children cumulated vsize (Kb) 2708 [startup+40.0049 s] Raw data (loadavg): 0.89 0.93 0.90 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 309 0 0 0 3636 128 0 0 25 0 1 0 1860088128 2772992 275 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 677 275 566 18 0 659 0 [pid=30829] vsize: 2708 Current children cumulated CPU time (s) 37.64 Current children cumulated vsize (Kb) 2708 [startup+50.0046 s] Raw data (loadavg): 0.98 0.95 0.90 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 314 0 0 0 4538 162 0 0 25 0 1 0 1860088128 2772992 280 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 677 280 566 18 0 659 0 [pid=30829] vsize: 2708 Current children cumulated CPU time (s) 47 Current children cumulated vsize (Kb) 2708 [startup+60.0053 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 317 0 0 0 5444 197 0 0 25 0 1 0 1860088128 2772992 283 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 677 283 566 18 0 659 0 [pid=30829] vsize: 2708 Current children cumulated CPU time (s) 56.41 Current children cumulated vsize (Kb) 2708 [startup+70.0049 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 320 0 0 0 6353 230 0 0 24 0 1 0 1860088128 2899968 286 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 286 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 65.83 Current children cumulated vsize (Kb) 2832 [startup+80.0056 s] Raw data (loadavg): 0.99 0.95 0.91 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 320 0 0 0 7258 264 0 0 25 0 1 0 1860088128 2899968 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 286 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 75.22 Current children cumulated vsize (Kb) 2832 [startup+90.0063 s] Raw data (loadavg): 0.99 0.95 0.91 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 320 0 0 0 8162 299 0 0 25 0 1 0 1860088128 2899968 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 286 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 84.61 Current children cumulated vsize (Kb) 2832 [startup+100.006 s] Raw data (loadavg): 1.06 0.97 0.91 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 320 0 0 0 9061 333 0 0 25 0 1 0 1860088128 2899968 286 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 286 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 93.94 Current children cumulated vsize (Kb) 2832 [startup+110.007 s] Raw data (loadavg): 1.05 0.97 0.91 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 320 0 0 0 9963 368 0 0 25 0 1 0 1860088128 2899968 286 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 286 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 103.31 Current children cumulated vsize (Kb) 2832 [startup+120.007 s] Raw data (loadavg): 1.12 0.99 0.92 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 320 0 0 0 10864 404 0 0 25 0 1 0 1860088128 2899968 286 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 286 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 112.68 Current children cumulated vsize (Kb) 2832 [startup+130.008 s] Raw data (loadavg): 1.10 0.99 0.92 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 323 0 0 0 11748 442 0 0 18 0 1 0 1860088128 2899968 289 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 289 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 121.9 Current children cumulated vsize (Kb) 2832 [startup+140.008 s] Raw data (loadavg): 1.08 0.99 0.92 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 329 0 0 0 12634 481 0 0 24 0 1 0 1860088128 2899968 295 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 295 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 131.15 Current children cumulated vsize (Kb) 2832 [startup+150.008 s] Raw data (loadavg): 1.07 0.99 0.92 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 329 0 0 0 13513 523 0 0 25 0 1 0 1860088128 2899968 295 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 295 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 140.36 Current children cumulated vsize (Kb) 2832 [startup+160.009 s] Raw data (loadavg): 1.06 0.99 0.92 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 14396 564 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223472 134520245 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 149.6 Current children cumulated vsize (Kb) 2832 [startup+170.009 s] Raw data (loadavg): 1.05 0.99 0.92 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 15299 599 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 158.98 Current children cumulated vsize (Kb) 2832 [startup+180.009 s] Raw data (loadavg): 1.04 0.99 0.92 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 16221 627 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 168.48 Current children cumulated vsize (Kb) 2832 [startup+190.009 s] Raw data (loadavg): 1.04 0.99 0.92 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 333 0 0 0 17145 655 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 178 Current children cumulated vsize (Kb) 2832 [startup+200.009 s] Raw data (loadavg): 1.03 0.99 0.92 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 18064 685 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 187.49 Current children cumulated vsize (Kb) 2832 [startup+210.011 s] Raw data (loadavg): 1.10 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 18987 711 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 196.98 Current children cumulated vsize (Kb) 2832 [startup+220.011 s] Raw data (loadavg): 1.08 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 19900 742 0 0 21 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 206.42 Current children cumulated vsize (Kb) 2832 [startup+230.012 s] Raw data (loadavg): 1.07 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 20811 772 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 215.83 Current children cumulated vsize (Kb) 2832 [startup+240.012 s] Raw data (loadavg): 1.06 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 21722 804 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 225.26 Current children cumulated vsize (Kb) 2832 [startup+250.012 s] Raw data (loadavg): 1.05 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 22632 837 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 234.69 Current children cumulated vsize (Kb) 2832 [startup+260.012 s] Raw data (loadavg): 1.04 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 23546 866 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 244.12 Current children cumulated vsize (Kb) 2832 [startup+270.012 s] Raw data (loadavg): 1.03 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 24455 895 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 253.5 Current children cumulated vsize (Kb) 2832 [startup+280.012 s] Raw data (loadavg): 1.03 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 25368 928 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 262.96 Current children cumulated vsize (Kb) 2832 [startup+290.012 s] Raw data (loadavg): 1.02 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 333 0 0 0 26277 960 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 272.37 Current children cumulated vsize (Kb) 2832 [startup+300.012 s] Raw data (loadavg): 1.02 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 333 0 0 0 27184 993 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 281.77 Current children cumulated vsize (Kb) 2832 [startup+310.012 s] Raw data (loadavg): 1.02 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 28095 1027 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 291.22 Current children cumulated vsize (Kb) 2832 [startup+320.012 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 29010 1058 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 300.68 Current children cumulated vsize (Kb) 2832 [startup+330.013 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 29922 1090 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223456 134528420 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 310.12 Current children cumulated vsize (Kb) 2832 [startup+340.013 s] Raw data (loadavg): 1.09 1.02 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 333 0 0 0 30835 1122 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 319.57 Current children cumulated vsize (Kb) 2832 [startup+350.013 s] Raw data (loadavg): 1.07 1.02 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 31741 1157 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223456 134528371 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 328.98 Current children cumulated vsize (Kb) 2832 [startup+360.013 s] Raw data (loadavg): 1.06 1.01 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 333 0 0 0 32646 1190 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 338.36 Current children cumulated vsize (Kb) 2832 [startup+370.012 s] Raw data (loadavg): 1.05 1.01 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 333 0 0 0 33545 1225 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 347.7 Current children cumulated vsize (Kb) 2832 [startup+380.013 s] Raw data (loadavg): 1.04 1.01 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 34450 1256 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 357.06 Current children cumulated vsize (Kb) 2832 [startup+390.013 s] Raw data (loadavg): 1.04 1.01 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 35342 1293 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 366.35 Current children cumulated vsize (Kb) 2832 [startup+400.012 s] Raw data (loadavg): 1.03 1.01 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 333 0 0 0 36250 1326 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 375.76 Current children cumulated vsize (Kb) 2832 [startup+410.013 s] Raw data (loadavg): 1.03 1.01 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 333 0 0 0 37145 1362 0 0 25 0 1 0 1860088128 2899968 299 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 299 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 385.07 Current children cumulated vsize (Kb) 2832 [startup+420.013 s] Raw data (loadavg): 1.02 1.01 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 335 0 0 0 38050 1395 0 0 25 0 1 0 1860088128 2899968 301 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 301 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 394.45 Current children cumulated vsize (Kb) 2832 [startup+430.013 s] Raw data (loadavg): 1.02 1.01 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 335 0 0 0 38947 1433 0 0 24 0 1 0 1860088128 2899968 301 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 301 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 403.8 Current children cumulated vsize (Kb) 2832 [startup+440.014 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 335 0 0 0 39831 1473 0 0 25 0 1 0 1860088128 2899968 301 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 301 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 413.04 Current children cumulated vsize (Kb) 2832 [startup+450.014 s] Raw data (loadavg): 1.01 1.01 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 335 0 0 0 40709 1514 0 0 25 0 1 0 1860088128 2899968 301 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 301 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 422.23 Current children cumulated vsize (Kb) 2832 [startup+460.014 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 335 0 0 0 41606 1550 0 0 25 0 1 0 1860088128 2899968 301 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 301 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 431.56 Current children cumulated vsize (Kb) 2832 [startup+470.014 s] Raw data (loadavg): 1.01 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 335 0 0 0 42502 1586 0 0 25 0 1 0 1860088128 2899968 301 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 301 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 440.88 Current children cumulated vsize (Kb) 2832 [startup+480.015 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 335 0 0 0 43400 1622 0 0 21 0 1 0 1860088128 2899968 301 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 301 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 450.22 Current children cumulated vsize (Kb) 2832 [startup+490.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 44301 1655 0 0 24 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 459.56 Current children cumulated vsize (Kb) 2832 [startup+500.014 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 45200 1691 0 0 22 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 468.91 Current children cumulated vsize (Kb) 2832 [startup+510.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 46092 1730 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 478.22 Current children cumulated vsize (Kb) 2832 [startup+520.015 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 46983 1771 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 487.54 Current children cumulated vsize (Kb) 2832 [startup+530.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 47889 1804 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 496.93 Current children cumulated vsize (Kb) 2832 [startup+540.016 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 48779 1846 0 0 21 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 506.25 Current children cumulated vsize (Kb) 2832 [startup+550.016 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 49673 1882 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 515.55 Current children cumulated vsize (Kb) 2832 [startup+560.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 50565 1920 0 0 24 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 524.85 Current children cumulated vsize (Kb) 2832 [startup+570.015 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 51449 1960 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 534.09 Current children cumulated vsize (Kb) 2832 [startup+580.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 52325 2006 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 543.31 Current children cumulated vsize (Kb) 2832 [startup+590.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 53211 2047 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 552.58 Current children cumulated vsize (Kb) 2832 [startup+600.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 54097 2088 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223696 134561209 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 561.85 Current children cumulated vsize (Kb) 2832 [startup+610.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 54973 2131 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 571.04 Current children cumulated vsize (Kb) 2832 [startup+620.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 55853 2173 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 580.26 Current children cumulated vsize (Kb) 2832 [startup+630.015 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 56745 2212 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 589.57 Current children cumulated vsize (Kb) 2832 [startup+640.016 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 57649 2244 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 598.93 Current children cumulated vsize (Kb) 2832 [startup+650.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 58547 2280 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 608.27 Current children cumulated vsize (Kb) 2832 [startup+660.016 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 59437 2318 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 617.55 Current children cumulated vsize (Kb) 2832 [startup+670.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 60346 2351 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 626.97 Current children cumulated vsize (Kb) 2832 [startup+680.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 61250 2384 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 636.34 Current children cumulated vsize (Kb) 2832 [startup+690.017 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 341 0 0 0 62145 2419 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 645.64 Current children cumulated vsize (Kb) 2832 [startup+700.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 341 0 0 0 63041 2454 0 0 25 0 1 0 1860088128 2899968 307 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 307 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 654.95 Current children cumulated vsize (Kb) 2832 [startup+710.017 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 342 0 0 0 63932 2492 0 0 25 0 1 0 1860088128 2899968 308 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 308 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 664.24 Current children cumulated vsize (Kb) 2832 [startup+720.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 343 0 0 0 64828 2531 0 0 25 0 1 0 1860088128 2899968 309 4294967295 134512640 134578447 3221224624 3221223472 134520239 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 309 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 673.59 Current children cumulated vsize (Kb) 2832 [startup+730.019 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 343 0 0 0 65711 2572 0 0 25 0 1 0 1860088128 2899968 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 309 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 682.83 Current children cumulated vsize (Kb) 2832 [startup+740.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 347 0 0 0 66584 2617 0 0 25 0 1 0 1860088128 2899968 313 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 313 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 692.01 Current children cumulated vsize (Kb) 2832 [startup+750.018 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 348 0 0 0 67436 2667 0 0 25 0 1 0 1860088128 2899968 314 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 314 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 701.03 Current children cumulated vsize (Kb) 2832 [startup+760.019 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 348 0 0 0 68327 2706 0 0 25 0 1 0 1860088128 2899968 314 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 708 314 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 710.33 Current children cumulated vsize (Kb) 2832 [startup+770.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 348 0 0 0 69219 2748 0 0 17 0 1 0 1860088128 2899968 314 4294967295 134512640 134578447 3221224624 3221223488 134517867 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 314 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 719.67 Current children cumulated vsize (Kb) 2832 [startup+780.019 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 348 0 0 0 70117 2785 0 0 25 0 1 0 1860088128 2899968 314 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 314 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 729.02 Current children cumulated vsize (Kb) 2832 [startup+790.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 348 0 0 0 71017 2819 0 0 25 0 1 0 1860088128 2899968 314 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 314 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 738.36 Current children cumulated vsize (Kb) 2832 [startup+800.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 348 0 0 0 71908 2858 0 0 25 0 1 0 1860088128 2899968 314 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 314 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 747.66 Current children cumulated vsize (Kb) 2832 [startup+810.02 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 349 0 0 0 72796 2901 0 0 25 0 1 0 1860088128 2899968 315 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 315 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 756.97 Current children cumulated vsize (Kb) 2832 [startup+820.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 349 0 0 0 73688 2939 0 0 25 0 1 0 1860088128 2899968 315 4294967295 134512640 134578447 3221224624 3221223552 134516659 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 315 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 766.27 Current children cumulated vsize (Kb) 2832 [startup+830.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 349 0 0 0 74584 2973 0 0 25 0 1 0 1860088128 2899968 315 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 315 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 775.57 Current children cumulated vsize (Kb) 2832 [startup+840.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 349 0 0 0 75473 3013 0 0 25 0 1 0 1860088128 2899968 315 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 315 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 784.86 Current children cumulated vsize (Kb) 2832 [startup+850.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 349 0 0 0 76362 3051 0 0 25 0 1 0 1860088128 2899968 315 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 315 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 794.13 Current children cumulated vsize (Kb) 2832 [startup+860.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 349 0 0 0 77247 3091 0 0 25 0 1 0 1860088128 2899968 315 4294967295 134512640 134578447 3221224624 3221223536 134556778 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 315 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 803.38 Current children cumulated vsize (Kb) 2832 [startup+870.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 349 0 0 0 78124 3137 0 0 25 0 1 0 1860088128 2899968 315 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 708 315 566 18 0 690 0 [pid=30829] vsize: 2832 Current children cumulated CPU time (s) 812.61 Current children cumulated vsize (Kb) 2832 [startup+880.024 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 351 0 0 0 79013 3174 0 0 18 0 1 0 1860088128 3026944 317 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 317 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 821.87 Current children cumulated vsize (Kb) 2956 [startup+890.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 351 0 0 0 79917 3210 0 0 21 0 1 0 1860088128 3026944 317 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 317 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 831.27 Current children cumulated vsize (Kb) 2956 [startup+900.024 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 351 0 0 0 80812 3245 0 0 25 0 1 0 1860088128 3026944 317 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 317 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 840.57 Current children cumulated vsize (Kb) 2956 [startup+910.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 30829 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 351 0 0 0 81709 3281 0 0 25 0 1 0 1860088128 3026944 317 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 317 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 849.9 Current children cumulated vsize (Kb) 2956 [startup+920.025 s] Raw data (loadavg): 1.08 1.02 0.94 2/56 30884 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 82586 3327 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 859.13 Current children cumulated vsize (Kb) 2956 [startup+930.025 s] Raw data (loadavg): 1.07 1.02 0.94 1/56 30884 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 352 0 0 0 83485 3362 0 0 22 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 868.47 Current children cumulated vsize (Kb) 2956 [startup+940.026 s] Raw data (loadavg): 1.06 1.01 0.94 2/56 30884 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 84378 3397 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 877.75 Current children cumulated vsize (Kb) 2956 [startup+950.026 s] Raw data (loadavg): 1.05 1.01 0.94 1/56 30884 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 352 0 0 0 85270 3436 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 887.06 Current children cumulated vsize (Kb) 2956 [startup+960.026 s] Raw data (loadavg): 1.04 1.01 0.94 2/56 30884 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 86173 3469 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223412 1075289756 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 896.42 Current children cumulated vsize (Kb) 2956 [startup+970.027 s] Raw data (loadavg): 1.03 1.01 0.94 2/56 30884 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 87069 3507 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 905.76 Current children cumulated vsize (Kb) 2956 [startup+980.028 s] Raw data (loadavg): 1.03 1.01 0.94 1/56 30886 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 352 0 0 0 87962 3546 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 915.08 Current children cumulated vsize (Kb) 2956 [startup+990.028 s] Raw data (loadavg): 1.02 1.01 0.94 1/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 352 0 0 0 88853 3587 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 924.4 Current children cumulated vsize (Kb) 2956 [startup+1000.03 s] Raw data (loadavg): 1.02 1.01 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 89755 3620 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 933.75 Current children cumulated vsize (Kb) 2956 [startup+1010.03 s] Raw data (loadavg): 1.02 1.01 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 90650 3658 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223288 1075291503 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 943.08 Current children cumulated vsize (Kb) 2956 [startup+1020.03 s] Raw data (loadavg): 1.01 1.01 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 91550 3692 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 952.42 Current children cumulated vsize (Kb) 2956 [startup+1030.03 s] Raw data (loadavg): 1.01 1.01 0.94 1/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 352 0 0 0 92451 3727 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 961.78 Current children cumulated vsize (Kb) 2956 [startup+1040.03 s] Raw data (loadavg): 1.01 1.00 0.94 1/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 352 0 0 0 93340 3763 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 971.03 Current children cumulated vsize (Kb) 2956 [startup+1050.03 s] Raw data (loadavg): 1.01 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 94243 3799 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 980.42 Current children cumulated vsize (Kb) 2956 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 95136 3835 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 989.71 Current children cumulated vsize (Kb) 2956 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 96042 3870 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 999.12 Current children cumulated vsize (Kb) 2956 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 96943 3907 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1008.5 Current children cumulated vsize (Kb) 2956 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 97836 3943 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1017.79 Current children cumulated vsize (Kb) 2956 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 98724 3982 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223552 134552695 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1027.06 Current children cumulated vsize (Kb) 2956 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 352 0 0 0 99623 4017 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1036.4 Current children cumulated vsize (Kb) 2956 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 352 0 0 0 100516 4056 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1045.72 Current children cumulated vsize (Kb) 2956 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 352 0 0 0 101416 4093 0 0 25 0 1 0 1860088128 3026944 318 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 318 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1055.09 Current children cumulated vsize (Kb) 2956 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 354 0 0 0 102317 4127 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223504 134528051 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1064.44 Current children cumulated vsize (Kb) 2956 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 354 0 0 0 103219 4161 0 0 18 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1073.8 Current children cumulated vsize (Kb) 2956 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 354 0 0 0 104115 4196 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1083.11 Current children cumulated vsize (Kb) 2956 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 354 0 0 0 105011 4230 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1092.41 Current children cumulated vsize (Kb) 2956 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 354 0 0 0 105896 4271 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1101.67 Current children cumulated vsize (Kb) 2956 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 354 0 0 0 106776 4314 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223456 134528488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1110.9 Current children cumulated vsize (Kb) 2956 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 354 0 0 0 107673 4348 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1120.21 Current children cumulated vsize (Kb) 2956 [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 354 0 0 0 108566 4387 0 0 21 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1129.53 Current children cumulated vsize (Kb) 2956 [startup+1220.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 354 0 0 0 109455 4427 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1138.82 Current children cumulated vsize (Kb) 2956 [startup+1230.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 30888 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 354 0 0 0 110353 4465 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1148.18 Current children cumulated vsize (Kb) 2956 [startup+1240.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30890 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 354 0 0 0 111241 4503 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1157.44 Current children cumulated vsize (Kb) 2956 [startup+1250.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30890 Raw data (/proc/30829/stat): 30829 (Pueblo) T 30828 30829 20115 0 -1 0 354 0 0 0 112137 4538 0 0 25 0 1 0 1860088128 3026944 320 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 320 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1166.75 Current children cumulated vsize (Kb) 2956 [startup+1260.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 30890 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 355 0 0 0 113020 4577 0 0 25 0 1 0 1860088128 3026944 321 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 321 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1175.97 Current children cumulated vsize (Kb) 2956 [startup+1270.03 s] Raw data (loadavg): 1.07 1.02 0.94 2/56 30890 Raw data (/proc/30829/stat): 30829 (Pueblo) R 30828 30829 20115 0 -1 0 358 0 0 0 113898 4623 0 0 25 0 1 0 1860088128 3026944 324 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30829/statm): 739 324 566 18 0 721 0 [pid=30829] vsize: 2956 Current children cumulated CPU time (s) 1185.21 Current children cumulated vsize (Kb) 2956 One traced child (pid=30829) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1274.17 CPU time (s): 1189.01 CPU user time (s): 1142.6 CPU system time (s): 46.4089 CPU usage (%): 93.3161 Max. virtual memory (cumulated for all children) (Kb): 2956
Verifier: OK 17152