Name | mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb |
MD5SUM | f88781e3d6e9a5487d13eaa213c27b55 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5237 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 120 |
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 | 6291450 |
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 | 6291450 |
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.45 |
Number of variables | 205 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 45 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 105 |
LAUNCH ON wulflinc8 THE 2005-09-20 17:39:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5787 boxname=wulflinc8 idbench=1099 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: f88781e3d6e9a5487d13eaa213c27b55 /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-markshare1_1.opb REAL COMMAND: Pueblo IDLAUNCH: 5787 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 742592 kB Buffers: 34096 kB Cached: 231724 kB SwapCached: 876 kB Active: 87244 kB Inactive: 181276 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 742340 kB SwapTotal: 2097136 kB SwapFree: 2095848 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5768 kB Slab: 17932 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 18:00:47 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 5787 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: 205 - #constraints read: 63 c total time : 1189 s s SATISFIABLE v s01_bit_7 s01_bit_6 s01_bit_5 -s01_bit_4 s01_bit_3 s01_bit_2 -s01_bit_1 s01_bit0 -s01_bit1 -s01_bit2 s01_bit3 s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 s11_bit_7 s11_bit_6 s11_bit_5 s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 s11_bit1 s11_bit2 -s11_bit3 s11_bit4 -s11_bit5 s11_bit6 s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 s21_bit_7 -s21_bit_6 -s21_bit_5 s21_bit_4 s21_bit_3 s21_bit_2 s21_bit_1 -s21_bit0 -s21_bit1 s21_bit2 s21_bit3 -s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 s31_bit_7 s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 -s31_bit1 -s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 s41_bit_7 -s41_bit_6 s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 -s51_bit_5 s51_bit_4 -s51_bit_3 -s51_bit_2 s51_bit_1 s51_bit0 s51_bit1 s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -x0_bit_7 -x0_bit_6 -x0_bit_5 -x0_bit_4 -x0_bit_3 -x0_bit_2 -x0_bit_1 x0_bit0 -x1_bit0 x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 x6_bit0 -x7_bit0 x8_bit0 -x9_bit0 x10_bit0 -x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 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_bit_7 x45_bit_6 x45_bit_5 x45_bit_4 x45_bit_3 x45_bit_2 x45_bit_1 -x45_bit0 x46_bit_7 x46_bit_6 x46_bit_5 x46_bit_4 x46_bit_3 x46_bit_2 -x46_bit_1 -x46_bit0 x47_bit_7 x47_bit_6 x47_bit_5 x47_bit_4 x47_bit_3 x47_bit_2 x47_bit_1 -x47_bit0 -x48_bit0 x49_bit_7 -x49_bit_6 x49_bit_5 x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_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/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788613058 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 41 3 40 18 0 23 0 [pid=8206] vsize: 164 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libstdc++.so.5 open syscall for file tls/i686/libstdc++.so.5 open syscall for file tls/mmx/libstdc++.so.5 open syscall for file tls/libstdc++.so.5 open syscall for file i686/mmx/libstdc++.so.5 open syscall for file i686/libstdc++.so.5 open syscall for file mmx/libstdc++.so.5 open syscall for file libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/libstdc++.so.5 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++.so.5 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 [startup+10.0034 s] Raw data (loadavg): 0.95 0.99 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 322 0 0 0 894 36 0 0 25 0 1 0 1788613058 2891776 288 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 706 288 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 9.3 Current children cumulated vsize (Kb) 2824 [startup+20.0042 s] Raw data (loadavg): 0.96 0.99 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 332 0 0 0 1784 74 0 0 25 0 1 0 1788613058 2891776 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 706 298 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 18.58 Current children cumulated vsize (Kb) 2824 [startup+30.006 s] Raw data (loadavg): 0.96 0.99 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 334 0 0 0 2676 114 0 0 25 0 1 0 1788613058 2891776 300 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 706 300 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 27.9 Current children cumulated vsize (Kb) 2824 [startup+40.0068 s] Raw data (loadavg): 0.97 0.99 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 336 0 0 0 3570 152 0 0 25 0 1 0 1788613058 2891776 302 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 706 302 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 37.22 Current children cumulated vsize (Kb) 2824 [startup+50.0066 s] Raw data (loadavg): 0.97 0.99 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 341 0 0 0 4464 186 0 0 25 0 1 0 1788613058 2891776 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 706 307 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 46.5 Current children cumulated vsize (Kb) 2824 [startup+60.0074 s] Raw data (loadavg): 0.98 0.99 0.93 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 343 0 0 0 5366 222 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 706 309 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 55.88 Current children cumulated vsize (Kb) 2824 [startup+70.0081 s] Raw data (loadavg): 0.98 0.99 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 343 0 0 0 6249 263 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 706 309 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 65.12 Current children cumulated vsize (Kb) 2824 [startup+80.0089 s] Raw data (loadavg): 0.98 0.99 0.93 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 343 0 0 0 7124 308 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 706 309 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 74.32 Current children cumulated vsize (Kb) 2824 [startup+90.0097 s] Raw data (loadavg): 0.98 0.99 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 343 0 0 0 8003 347 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 706 309 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 83.5 Current children cumulated vsize (Kb) 2824 [startup+100.01 s] Raw data (loadavg): 0.99 0.99 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 343 0 0 0 8884 389 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8206/statm): 706 309 566 18 0 688 0 [pid=8206] vsize: 2824 Current children cumulated CPU time (s) 92.73 Current children cumulated vsize (Kb) 2824 [startup+110.01 s] Raw data (loadavg): 0.99 0.99 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 9781 423 0 0 25 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 318 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 102.04 Current children cumulated vsize (Kb) 2952 [startup+120.01 s] Raw data (loadavg): 1.07 1.01 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 10663 466 0 0 25 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 318 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 111.29 Current children cumulated vsize (Kb) 2952 [startup+130.011 s] Raw data (loadavg): 1.06 1.01 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 11536 509 0 0 25 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8206/statm): 738 318 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 120.45 Current children cumulated vsize (Kb) 2952 [startup+140.012 s] Raw data (loadavg): 1.05 1.01 0.93 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 12437 543 0 0 25 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 318 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 129.8 Current children cumulated vsize (Kb) 2952 [startup+150.011 s] Raw data (loadavg): 1.12 1.02 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 13343 578 0 0 23 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 318 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 139.21 Current children cumulated vsize (Kb) 2952 [startup+160.012 s] Raw data (loadavg): 1.10 1.02 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 357 0 0 0 14236 617 0 0 25 0 1 0 1788613058 3022848 323 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 323 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 148.53 Current children cumulated vsize (Kb) 2952 [startup+170.013 s] Raw data (loadavg): 1.09 1.02 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 357 0 0 0 15120 659 0 0 25 0 1 0 1788613058 3022848 323 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 323 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 157.79 Current children cumulated vsize (Kb) 2952 [startup+180.014 s] Raw data (loadavg): 1.07 1.02 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 363 0 0 0 16001 703 0 0 25 0 1 0 1788613058 3022848 329 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 329 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 167.04 Current children cumulated vsize (Kb) 2952 [startup+190.015 s] Raw data (loadavg): 1.06 1.02 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 368 0 0 0 16909 736 0 0 25 0 1 0 1788613058 3022848 334 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 334 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 176.45 Current children cumulated vsize (Kb) 2952 [startup+200.014 s] Raw data (loadavg): 1.05 1.02 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 377 0 0 0 17815 770 0 0 25 0 1 0 1788613058 3022848 343 4294967295 134512640 134578447 3221224624 3221223504 134528059 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 343 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 185.85 Current children cumulated vsize (Kb) 2952 [startup+210.015 s] Raw data (loadavg): 1.04 1.02 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 379 0 0 0 18724 802 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223504 134527875 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 345 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 195.26 Current children cumulated vsize (Kb) 2952 [startup+220.015 s] Raw data (loadavg): 1.04 1.02 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 379 0 0 0 19651 824 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 738 345 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 204.75 Current children cumulated vsize (Kb) 2952 [startup+230.016 s] Raw data (loadavg): 1.03 1.02 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 379 0 0 0 20564 855 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 345 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 214.19 Current children cumulated vsize (Kb) 2952 [startup+240.017 s] Raw data (loadavg): 1.02 1.01 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 379 0 0 0 21472 887 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 345 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 223.59 Current children cumulated vsize (Kb) 2952 [startup+250.016 s] Raw data (loadavg): 1.02 1.01 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 379 0 0 0 22388 918 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 738 345 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 233.06 Current children cumulated vsize (Kb) 2952 [startup+260.017 s] Raw data (loadavg): 1.02 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 379 0 0 0 23294 950 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 345 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 242.44 Current children cumulated vsize (Kb) 2952 [startup+270.017 s] Raw data (loadavg): 1.01 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 379 0 0 0 24199 984 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 738 345 566 18 0 720 0 [pid=8206] vsize: 2952 Current children cumulated CPU time (s) 251.83 Current children cumulated vsize (Kb) 2952 [startup+280.018 s] Raw data (loadavg): 1.01 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 25112 1015 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 261.27 Current children cumulated vsize (Kb) 3072 [startup+290.018 s] Raw data (loadavg): 1.01 1.01 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 26017 1049 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223536 134556897 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 270.66 Current children cumulated vsize (Kb) 3072 [startup+300.018 s] Raw data (loadavg): 1.01 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 26918 1085 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 280.03 Current children cumulated vsize (Kb) 3072 [startup+310.019 s] Raw data (loadavg): 1.01 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 27820 1122 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 289.42 Current children cumulated vsize (Kb) 3072 [startup+320.019 s] Raw data (loadavg): 1.00 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 28731 1152 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 298.83 Current children cumulated vsize (Kb) 3072 [startup+330.02 s] Raw data (loadavg): 1.00 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 29648 1183 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 308.31 Current children cumulated vsize (Kb) 3072 [startup+340.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 30562 1215 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 317.77 Current children cumulated vsize (Kb) 3072 [startup+350.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 31479 1244 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 327.23 Current children cumulated vsize (Kb) 3072 [startup+360.02 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 32389 1278 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 336.67 Current children cumulated vsize (Kb) 3072 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 33293 1312 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 346.05 Current children cumulated vsize (Kb) 3072 [startup+380.021 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 34198 1344 0 0 22 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 355.42 Current children cumulated vsize (Kb) 3072 [startup+390.021 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 35100 1379 0 0 24 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 364.79 Current children cumulated vsize (Kb) 3072 [startup+400.021 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 36002 1415 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 374.17 Current children cumulated vsize (Kb) 3072 [startup+410.022 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 36911 1445 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 383.56 Current children cumulated vsize (Kb) 3072 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 37828 1474 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223456 134527260 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 393.02 Current children cumulated vsize (Kb) 3072 [startup+430.022 s] Raw data (loadavg): 1.07 1.02 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 38734 1509 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 402.43 Current children cumulated vsize (Kb) 3072 [startup+440.023 s] Raw data (loadavg): 1.06 1.02 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 39638 1545 0 0 20 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 411.83 Current children cumulated vsize (Kb) 3072 [startup+450.023 s] Raw data (loadavg): 1.05 1.01 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 40554 1577 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223552 134552660 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 421.31 Current children cumulated vsize (Kb) 3072 [startup+460.024 s] Raw data (loadavg): 1.04 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 41478 1603 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 430.81 Current children cumulated vsize (Kb) 3072 [startup+470.025 s] Raw data (loadavg): 1.04 1.01 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 42380 1643 0 0 24 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 440.23 Current children cumulated vsize (Kb) 3072 [startup+480.025 s] Raw data (loadavg): 1.03 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 43292 1672 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 449.64 Current children cumulated vsize (Kb) 3072 [startup+490.026 s] Raw data (loadavg): 1.02 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 44191 1707 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 458.98 Current children cumulated vsize (Kb) 3072 [startup+500.026 s] Raw data (loadavg): 1.02 1.01 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 45138 1726 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 468.64 Current children cumulated vsize (Kb) 3072 [startup+510.027 s] Raw data (loadavg): 1.02 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 46090 1745 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 478.35 Current children cumulated vsize (Kb) 3072 [startup+520.027 s] Raw data (loadavg): 1.01 1.01 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 47007 1776 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 487.83 Current children cumulated vsize (Kb) 3072 [startup+530.027 s] Raw data (loadavg): 1.01 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 47924 1806 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 497.3 Current children cumulated vsize (Kb) 3072 [startup+540.028 s] Raw data (loadavg): 1.01 1.01 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 48832 1837 0 0 20 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 506.69 Current children cumulated vsize (Kb) 3072 [startup+550.028 s] Raw data (loadavg): 1.01 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 49734 1868 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 516.02 Current children cumulated vsize (Kb) 3072 [startup+560.029 s] Raw data (loadavg): 1.01 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 50628 1906 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 525.34 Current children cumulated vsize (Kb) 3072 [startup+570.029 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 51526 1945 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 358 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 534.71 Current children cumulated vsize (Kb) 3072 [startup+580.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 393 0 0 0 52429 1978 0 0 25 0 1 0 1788613058 3145728 359 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 359 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 544.07 Current children cumulated vsize (Kb) 3072 [startup+590.031 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 393 0 0 0 53330 2016 0 0 24 0 1 0 1788613058 3145728 359 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 359 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 553.46 Current children cumulated vsize (Kb) 3072 [startup+600.031 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 54247 2048 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 562.95 Current children cumulated vsize (Kb) 3072 [startup+610.032 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 55150 2082 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 572.32 Current children cumulated vsize (Kb) 3072 [startup+620.032 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 56056 2115 0 0 18 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 581.71 Current children cumulated vsize (Kb) 3072 [startup+630.033 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 56956 2150 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 591.06 Current children cumulated vsize (Kb) 3072 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 57862 2181 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 600.43 Current children cumulated vsize (Kb) 3072 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 397 0 0 0 58756 2218 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 609.74 Current children cumulated vsize (Kb) 3072 [startup+660.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 397 0 0 0 59664 2249 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 619.13 Current children cumulated vsize (Kb) 3072 [startup+670.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 60570 2281 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 628.51 Current children cumulated vsize (Kb) 3072 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 61477 2315 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 637.92 Current children cumulated vsize (Kb) 3072 [startup+690.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 397 0 0 0 62373 2355 0 0 23 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 647.28 Current children cumulated vsize (Kb) 3072 [startup+700.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 397 0 0 0 63289 2386 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 656.75 Current children cumulated vsize (Kb) 3072 [startup+710.036 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 64203 2416 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 666.19 Current children cumulated vsize (Kb) 3072 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 65118 2444 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 675.62 Current children cumulated vsize (Kb) 3072 [startup+730.038 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 66027 2477 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 685.04 Current children cumulated vsize (Kb) 3072 [startup+740.039 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 66938 2507 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 694.45 Current children cumulated vsize (Kb) 3072 [startup+750.039 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 67859 2533 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 703.92 Current children cumulated vsize (Kb) 3072 [startup+760.039 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 68766 2568 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 713.34 Current children cumulated vsize (Kb) 3072 [startup+770.039 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 69674 2601 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 363 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 722.75 Current children cumulated vsize (Kb) 3072 [startup+780.04 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 398 0 0 0 70578 2633 0 0 25 0 1 0 1788613058 3145728 364 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 364 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 732.11 Current children cumulated vsize (Kb) 3072 [startup+790.041 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 71474 2669 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 369 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 741.43 Current children cumulated vsize (Kb) 3072 [startup+800.04 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 72371 2705 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 369 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 750.76 Current children cumulated vsize (Kb) 3072 [startup+810.041 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 73277 2738 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 369 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 760.15 Current children cumulated vsize (Kb) 3072 [startup+820.041 s] Raw data (loadavg): 1.07 1.02 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 74177 2773 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 369 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 769.5 Current children cumulated vsize (Kb) 3072 [startup+830.043 s] Raw data (loadavg): 1.06 1.02 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 403 0 0 0 75078 2812 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 369 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 778.9 Current children cumulated vsize (Kb) 3072 [startup+840.043 s] Raw data (loadavg): 1.05 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 75980 2848 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 369 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 788.28 Current children cumulated vsize (Kb) 3072 [startup+850.042 s] Raw data (loadavg): 1.04 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 76868 2889 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 369 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 797.57 Current children cumulated vsize (Kb) 3072 [startup+860.043 s] Raw data (loadavg): 1.04 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 77771 2923 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 369 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 806.94 Current children cumulated vsize (Kb) 3072 [startup+870.043 s] Raw data (loadavg): 1.03 1.01 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 403 0 0 0 78663 2962 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 369 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 816.25 Current children cumulated vsize (Kb) 3072 [startup+880.044 s] Raw data (loadavg): 1.02 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 404 0 0 0 79556 3002 0 0 22 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 370 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 825.58 Current children cumulated vsize (Kb) 3072 [startup+890.045 s] Raw data (loadavg): 1.02 1.01 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 404 0 0 0 80450 3042 0 0 25 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 370 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 834.92 Current children cumulated vsize (Kb) 3072 [startup+900.044 s] Raw data (loadavg): 1.02 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 404 0 0 0 81357 3077 0 0 25 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8206/statm): 768 370 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 844.34 Current children cumulated vsize (Kb) 3072 [startup+910.045 s] Raw data (loadavg): 1.01 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 404 0 0 0 82260 3109 0 0 25 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 370 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 853.69 Current children cumulated vsize (Kb) 3072 [startup+920.045 s] Raw data (loadavg): 1.01 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 404 0 0 0 83172 3141 0 0 25 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 370 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 863.13 Current children cumulated vsize (Kb) 3072 [startup+930.046 s] Raw data (loadavg): 1.01 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 405 0 0 0 84075 3174 0 0 25 0 1 0 1788613058 3145728 371 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 768 371 566 18 0 750 0 [pid=8206] vsize: 3072 Current children cumulated CPU time (s) 872.49 Current children cumulated vsize (Kb) 3072 [startup+940.047 s] Raw data (loadavg): 1.01 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 84995 3202 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (Kb) 3196 [startup+950.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 85903 3234 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 891.37 Current children cumulated vsize (Kb) 3196 [startup+960.047 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 86806 3269 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 900.75 Current children cumulated vsize (Kb) 3196 [startup+970.047 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 87720 3299 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 910.19 Current children cumulated vsize (Kb) 3196 [startup+980.048 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 88627 3331 0 0 17 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 919.58 Current children cumulated vsize (Kb) 3196 [startup+990.048 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 89536 3363 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 928.99 Current children cumulated vsize (Kb) 3196 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 90436 3397 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 938.33 Current children cumulated vsize (Kb) 3196 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 91317 3437 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 947.54 Current children cumulated vsize (Kb) 3196 [startup+1020.05 s] Raw data (loadavg): 1.07 1.02 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 92203 3479 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 956.82 Current children cumulated vsize (Kb) 3196 [startup+1030.05 s] Raw data (loadavg): 1.06 1.02 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 93097 3515 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 966.12 Current children cumulated vsize (Kb) 3196 [startup+1040.05 s] Raw data (loadavg): 1.05 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 94001 3547 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 975.48 Current children cumulated vsize (Kb) 3196 [startup+1050.05 s] Raw data (loadavg): 1.04 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 94898 3583 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 984.81 Current children cumulated vsize (Kb) 3196 [startup+1060.05 s] Raw data (loadavg): 1.04 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 95795 3619 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 994.14 Current children cumulated vsize (Kb) 3196 [startup+1070.05 s] Raw data (loadavg): 1.03 1.01 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 96685 3656 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1003.41 Current children cumulated vsize (Kb) 3196 [startup+1080.05 s] Raw data (loadavg): 1.02 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 97582 3694 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1012.76 Current children cumulated vsize (Kb) 3196 [startup+1090.05 s] Raw data (loadavg): 1.02 1.01 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 98488 3727 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1022.15 Current children cumulated vsize (Kb) 3196 [startup+1100.05 s] Raw data (loadavg): 1.02 1.01 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 99378 3766 0 0 21 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1031.44 Current children cumulated vsize (Kb) 3196 [startup+1110.05 s] Raw data (loadavg): 1.01 1.01 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 100299 3795 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1040.94 Current children cumulated vsize (Kb) 3196 [startup+1120.05 s] Raw data (loadavg): 1.01 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 101216 3826 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1050.42 Current children cumulated vsize (Kb) 3196 [startup+1130.05 s] Raw data (loadavg): 1.01 1.01 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 102112 3863 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1059.75 Current children cumulated vsize (Kb) 3196 [startup+1140.05 s] Raw data (loadavg): 1.01 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 103006 3902 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1069.08 Current children cumulated vsize (Kb) 3196 [startup+1150.05 s] Raw data (loadavg): 1.01 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 103909 3937 0 0 19 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1078.46 Current children cumulated vsize (Kb) 3196 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 104826 3966 0 0 22 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1087.92 Current children cumulated vsize (Kb) 3196 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 105742 3999 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1097.41 Current children cumulated vsize (Kb) 3196 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 106631 4041 0 0 20 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1106.72 Current children cumulated vsize (Kb) 3196 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 107521 4079 0 0 21 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1116 Current children cumulated vsize (Kb) 3196 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 108415 4114 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1125.29 Current children cumulated vsize (Kb) 3196 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 109304 4153 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1134.57 Current children cumulated vsize (Kb) 3196 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 8206 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 110191 4194 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1143.85 Current children cumulated vsize (Kb) 3196 [startup+1230.06 s] Raw data (loadavg): 1.24 1.05 0.97 2/59 8257 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 111046 4247 0 0 17 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1152.93 Current children cumulated vsize (Kb) 3196 [startup+1240.06 s] Raw data (loadavg): 1.20 1.05 0.97 2/56 8261 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 111941 4284 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1162.25 Current children cumulated vsize (Kb) 3196 [startup+1250.06 s] Raw data (loadavg): 1.17 1.05 0.97 1/56 8261 Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 112848 4318 0 0 19 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1171.66 Current children cumulated vsize (Kb) 3196 [startup+1260.06 s] Raw data (loadavg): 1.14 1.04 0.97 2/56 8261 Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 113754 4352 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8206/statm): 799 392 566 18 0 781 0 [pid=8206] vsize: 3196 Current children cumulated CPU time (s) 1181.06 Current children cumulated vsize (Kb) 3196 One traced child (pid=8206) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1268.68 CPU time (s): 1189.01 CPU user time (s): 1145.13 CPU system time (s): 43.8773 CPU usage (%): 93.7201 Max. virtual memory (cumulated for all children) (Kb): 3196
Verifier: OK 49679