Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb |
MD5SUM | 9c5126d785c8d5465220e290c5fc25a6 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6656 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 20 |
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 | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 2421502 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 675 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 95 |
LAUNCH ON wulflinc2 THE 2005-09-20 16:51:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5662 boxname=wulflinc2 idbench=974 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 9c5126d785c8d5465220e290c5fc25a6 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-pk1.opb REAL COMMAND: Pueblo IDLAUNCH: 5662 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 880916 kB Buffers: 32844 kB Cached: 95896 kB SwapCached: 1004 kB Active: 56568 kB Inactive: 74844 kB HighTotal: 131008 kB HighFree: 33572 kB LowTotal: 903652 kB LowFree: 847344 kB SwapTotal: 2097136 kB SwapFree: 2095552 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 16696 kB Committed_AS: 72496 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 17:11:44 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 5662 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: 675 - #constraints read: 116 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 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_bit0 -x46_bit0 -x47_bit0 x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit_7 -x57_bit_6 -x57_bit_5 -x57_bit_4 -x57_bit_3 -x57_bit_2 -x57_bit_1 x57_bit0 x57_bit1 -x57_bit2 -x57_bit3 x57_bit4 x57_bit5 -x57_bit6 -x57_bit7 -x57_bit8 -x57_bit9 -x57_bit10 -x57_bit11 -x57_bit12 -x58_bit_7 -x58_bit_6 -x58_bit_5 -x58_bit_4 -x58_bit_3 -x58_bit_2 -x58_bit_1 -x58_bit0 -x58_bit1 -x58_bit2 -x58_bit3 -x58_bit4 -x58_bit5 -x58_bit6 -x58_bit7 -x58_bit8 -x58_bit9 -x58_bit10 -x58_bit11 -x58_bit12 -x75_bit_7 -x75_bit_6 -x75_bit_5 -x75_bit_4 -x75_bit_3 -x75_bit_2 -x75_bit_1 -x75_bit0 x75_bit1 x75_bit2 x75_bit3 -x75_bit4 -x75_bit5 -x75_bit6 -x75_bit7 -x75_bit8 -x75_bit9 -x75_bit10 -x75_bit11 -x75_bit12 -x76_bit_7 -x76_bit_6 -x76_bit_5 -x76_bit_4 -x76_bit_3 -x76_bit_2 -x76_bit_1 -x76_bit0 -x76_bit1 -x76_bit2 -x76_bit3 -x76_bit4 -x76_bit5 -x76_bit6 -x76_bit7 -x76_bit8 -x76_bit9 -x76_bit10 -x76_bit11 -x76_bit12 -x77_bit_7 -x77_bit_6 -x77_bit_5 -x77_bit_4 -x77_bit_3 -x77_bit_2 -x77_bit_1 -x77_bit0 -x77_bit1 x77_bit2 -x77_bit3 x77_bit4 x77_bit5 -x77_bit6 -x77_bit7 -x77_bit8 -x77_bit9 -x77_bit10 -x77_bit11 -x77_bit12 -x78_bit_7 -x78_bit_6 -x78_bit_5 -x78_bit_4 -x78_bit_3 -x78_bit_2 -x78_bit_1 -x78_bit0 x78_bit1 -x78_bit2 -x78_bit3 -x78_bit4 -x78_bit5 -x78_bit6 -x78_bit7 -x78_bit8 -x78_bit9 -x78_bit10 -x78_bit11 -x78_bit12 -x79_bit_7 -x79_bit_6 -x79_bit_5 -x79_bit_4 -x79_bit_3 -x79_bit_2 -x79_bit_1 -x79_bit0 -x79_bit1 -x79_bit2 -x79_bit3 -x79_bit4 -x79_bit5 -x79_bit6 -x79_bit7 -x79_bit8 -x79_bit9 -x79_bit10 -x79_bit11 -x79_bit12 -x80_bit_7 -x80_bit_6 -x80_bit_5 -x80_bit_4 -x80_bit_3 -x80_bit_2 -x80_bit_1 x80_bit0 x80_bit1 x80_bit2 x80_bit3 -x80_bit4 x80_bit5 -x80_bit6 -x80_bit7 -x80_bit8 -x80_bit9 -x80_bit10 -x80_bit11 -x80_bit12 -x81_bit_7 -x81_bit_6 -x81_bit_5 -x81_bit_4 -x81_bit_3 -x81_bit_2 -x81_bit_1 x81_bit0 -x81_bit1 -x81_bit2 -x81_bit3 -x81_bit4 -x81_bit5 -x81_bit6 -x81_bit7 -x81_bit8 -x81_bit9 -x81_bit10 -x81_bit11 -x81_bit12 -x82_bit_7 -x82_bit_6 -x82_bit_5 -x82_bit_4 -x82_bit_3 -x82_bit_2 -x82_bit_1 -x82_bit0 -x82_bit1 -x82_bit2 x82_bit3 -x82_bit4 x82_bit5 -x82_bit6 -x82_bit7 -x82_bit8 -x82_bit9 -x82_bit10 -x82_bit11 -x82_bit12 -x83_bit_7 -x83_bit_6 -x83_bit_5 -x83_bit_4 -x83_bit_3 -x83_bit_2 -x83_bit_1 -x83_bit0 -x83_bit1 -x83_bit2 -x83_bit3 -x83_bit4 -x83_bit5 -x83_bit6 -x83_bit7 -x83_bit8 -x83_bit9 -x83_bit10 -x83_bit11 -x83_bit12 -x84_bit_7 -x84_bit_6 -x84_bit_5 -x84_bit_4 -x84_bit_3 -x84_bit_2 -x84_bit_1 -x84_bit0 x84_bit1 -x84_bit2 x84_bit3 x84_bit4 -x84_bit5 -x84_bit6 -x84_bit7 -x84_bit8 -x84_bit9 -x84_bit10 -x84_bit11 -x84_bit12 -x85_bit_7 -x85_bit_6 -x85_bit_5 -x85_bit_4 -x85_bit_3 -x85_bit_2 -x85_bit_1 -x85_bit0 x85_bit1 -x85_bit2 x85_bit3 x85_bit4 -x85_bit5 -x85_bit6 -x85_bit7 -x85_bit8 -x85_bit9 -x85_bit10 -x85_bit11 -x85_bit12 -x86_bit_7 -x86_bit_6 -x86_bit_5 -x86_bit_4 -x86_bit_3 -x86_bit_2 -x86_bit_1 -x86_bit0 -x86_bit1 -x86_bit2 -x86_bit3 -x86_bit4 -x86_bit5 -x86_bit6 -x86_bit7 -x86_bit8 -x86_bit9 -x86_bit10 -x86_bit11 -x86_bit12 -x59_bit_7 -x59_bit_6 -x59_bit_5 -x59_bit_4 -x59_bit_3 -x59_bit_2 -x59_bit_1 -x59_bit0 -x59_bit1 -x59_bit2 -x59_bit3 -x59_bit4 -x59_bit5 -x59_bit6 -x59_bit7 -x59_bit8 -x59_bit9 -x59_bit10 -x59_bit11 -x59_bit12 -x60_bit_7 -x60_bit_6 -x60_bit_5 -x60_bit_4 -x60_bit_3 -x60_bit_2 -x60_bit_1 -x60_bit0 -x60_bit1 x60_bit2 -x60_bit3 x60_bit4 x60_bit5 -x60_bit6 -x60_bit7 -x60_bit8 -x60_bit9 -x60_bit10 -x60_bit11 -x60_bit12 -x61_bit_7 -x61_bit_6 -x61_bit_5 -x61_bit_4 -x61_bit_3 -x61_bit_2 -x61_bit_1 -x61_bit0 -x61_bit1 -x61_bit2 -x61_bit3 -x61_bit4 -x61_bit5 -x61_bit6 -x61_bit7 -x61_bit8 -x61_bit9 -x61_bit10 -x61_bit11 -x61_bit12 -x62_bit_7 -x62_bit_6 -x62_bit_5 -x62_bit_4 -x62_bit_3 -x62_bit_2 -x62_bit_1 -x62_bit0 x62_bit1 x62_bit2 -x62_bit3 x62_bit4 -x62_bit5 -x62_bit6 -x62_bit7 -x62_bit8 -x62_bit9 -x62_bit10 -x62_bit11 -x62_bit12 -x63_bit_7 -x63_bit_6 -x63_bit_5 -x63_bit_4 -x63_bit_3 -x63_bit_2 -x63_bit_1 x63_bit0 -x63_bit1 -x63_bit2 -x63_bit3 -x63_bit4 -x63_bit5 -x63_bit6 -x63_bit7 -x63_bit8 -x63_bit9 -x63_bit10 -x63_bit11 -x63_bit12 -x64_bit_7 -x64_bit_6 -x64_bit_5 -x64_bit_4 -x64_bit_3 -x64_bit_2 -x64_bit_1 -x64_bit0 -x64_bit1 -x64_bit2 x64_bit3 -x64_bit4 x64_bit5 -x64_bit6 -x64_bit7 -x64_bit8 -x64_bit9 -x64_bit10 -x64_bit11 -x64_bit12 -x65_bit_7 -x65_bit_6 -x65_bit_5 -x65_bit_4 -x65_bit_3 -x65_bit_2 -x65_bit_1 -x65_bit0 -x65_bit1 -x65_bit2 -x65_bit3 -x65_bit4 -x65_bit5 -x65_bit6 -x65_bit7 -x65_bit8 -x65_bit9 -x65_bit10 -x65_bit11 -x65_bit12 -x66_bit_7 -x66_bit_6 -x66_bit_5 -x66_bit_4 -x66_bit_3 -x66_bit_2 -x66_bit_1 -x66_bit0 -x66_bit1 x66_bit2 x66_bit3 -x66_bit4 x66_bit5 -x66_bit6 -x66_bit7 -x66_bit8 -x66_bit9 -x66_bit10 -x66_bit11 -x66_bit12 -x67_bit_7 -x67_bit_6 -x67_bit_5 -x67_bit_4 -x67_bit_3 -x67_bit_2 -x67_bit_1 x67_bit0 x67_bit1 -x67_bit2 x67_bit3 -x67_bit4 -x67_bit5 -x67_bit6 -x67_bit7 -x67_bit8 -x67_bit9 -x67_bit10 -x67_bit11 -x67_bit12 -x68_bit_7 -x68_bit_6 -x68_bit_5 -x68_bit_4 -x68_bit_3 -x68_bit_2 -x68_bit_1 -x68_bit0 -x68_bit1 -x68_bit2 -x68_bit3 -x68_bit4 -x68_bit5 -x68_bit6 -x68_bit7 -x68_bit8 -x68_bit9 -x68_bit10 -x68_bit11 -x68_bit12 -x69_bit_7 -x69_bit_6 -x69_bit_5 -x69_bit_4 -x69_bit_3 -x69_bit_2 -x69_bit_1 x69_bit0 -x69_bit1 x69_bit2 -x69_bit3 x69_bit4 -x69_bit5 -x69_bit6 -x69_bit7 -x69_bit8 -x69_bit9 -x69_bit10 -x69_bit11 -x69_bit12 -x70_bit_7 -x70_bit_6 -x70_bit_5 -x70_bit_4 -x70_bit_3 -x70_bit_2 -x70_bit_1 -x70_bit0 -x70_bit1 -x70_bit2 -x70_bit3 -x70_bit4 -x70_bit5 -x70_bit6 -x70_bit7 -x70_bit8 -x70_bit9 -x70_bit10 -x70_bit11 -x70_bit12 -x71_bit_7 -x71_bit_6 -x71_bit_5 -x71_bit_4 -x71_bit_3 -x71_bit_2 -x71_bit_1 -x71_bit0 -x71_bit1 -x71_bit2 -x71_bit3 x71_bit4 x71_bit5 -x71_bit6 -x71_bit7 -x71_bit8 -x71_bit9 -x71_bit10 -x71_bit11 -x71_bit12 -x72_bit_7 -x72_bit_6 -x72_bit_5 -x72_bit_4 -x72_bit_3 -x72_bit_2 -x72_bit_1 -x72_bit0 -x72_bit1 -x72_bit2 -x72_bit3 -x72_bit4 -x72_bit5 -x72_bit6 -x72_bit7 -x72_bit8 -x72_bit9 -x72_bit10 -x72_bit11 -x72_bit12 -x73_bit_7 -x73_bit_6 -x73_bit_5 -x73_bit_4 -x73_bit_3 -x73_bit_2 -x73_bit_1 -x73_bit0 -x73_bit1 -x73_bit2 -x73_bit3 -x73_bit4 -x73_bit5 -x73_bit6 -x73_bit7 -x73_bit8 -x73_bit9 -x73_bit10 -x73_bit11 -x73_bit12 -x74_bit_7 -x74_bit_6 -x74_bit_5 -x74_bit_4 -x74_bit_3 -x74_bit_2 -x74_bit_1 -x74_bit0 x74_bit1 x74_bit2 x74_bit3 -x74_bit4 x74_bit5 -x74_bit6 -x74_bit7 -x74_bit8 -x74_bit9 -x74_bit10 -x74_bit11 -x74_bit12
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/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801899563 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 41 3 40 18 0 23 0 [pid=14169] 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.0037 s] Raw data (loadavg): 0.93 0.98 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 379 0 0 0 934 22 0 0 25 0 1 0 1801899563 3047424 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 744 345 566 18 0 726 0 [pid=14169] vsize: 2976 Current children cumulated CPU time (s) 9.56 Current children cumulated vsize (Kb) 2976 [startup+20.0044 s] Raw data (loadavg): 0.94 0.98 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 380 0 0 0 1895 37 0 0 25 0 1 0 1801899563 3047424 346 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 744 346 566 18 0 726 0 [pid=14169] vsize: 2976 Current children cumulated CPU time (s) 19.32 Current children cumulated vsize (Kb) 2976 [startup+30.0041 s] Raw data (loadavg): 0.95 0.98 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 381 0 0 0 2860 50 0 0 25 0 1 0 1801899563 3047424 347 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 744 347 566 18 0 726 0 [pid=14169] vsize: 2976 Current children cumulated CPU time (s) 29.1 Current children cumulated vsize (Kb) 2976 [startup+40.0048 s] Raw data (loadavg): 0.96 0.98 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 382 0 0 0 3824 65 0 0 25 0 1 0 1801899563 3178496 348 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 776 348 566 18 0 758 0 [pid=14169] vsize: 3104 Current children cumulated CPU time (s) 38.89 Current children cumulated vsize (Kb) 3104 [startup+50.0045 s] Raw data (loadavg): 0.96 0.98 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 385 0 0 0 4787 78 0 0 22 0 1 0 1801899563 3178496 351 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 776 351 566 18 0 758 0 [pid=14169] vsize: 3104 Current children cumulated CPU time (s) 48.65 Current children cumulated vsize (Kb) 3104 [startup+60.0052 s] Raw data (loadavg): 0.97 0.98 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 390 0 0 0 5742 94 0 0 25 0 1 0 1801899563 3178496 356 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 776 356 566 18 0 758 0 [pid=14169] vsize: 3104 Current children cumulated CPU time (s) 58.36 Current children cumulated vsize (Kb) 3104 [startup+70.0059 s] Raw data (loadavg): 0.97 0.98 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 391 0 0 0 6705 106 0 0 25 0 1 0 1801899563 3178496 357 4294967295 134512640 134578447 3221224624 3221223556 134527379 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 776 357 566 18 0 758 0 [pid=14169] vsize: 3104 Current children cumulated CPU time (s) 68.11 Current children cumulated vsize (Kb) 3104 [startup+80.0056 s] Raw data (loadavg): 0.98 0.98 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 395 0 0 0 7660 122 0 0 25 0 1 0 1801899563 3178496 361 4294967295 134512640 134578447 3221224624 3221223536 134556791 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 776 361 566 18 0 758 0 [pid=14169] vsize: 3104 Current children cumulated CPU time (s) 77.82 Current children cumulated vsize (Kb) 3104 [startup+90.0063 s] Raw data (loadavg): 0.98 0.98 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 398 0 0 0 8612 139 0 0 25 0 1 0 1801899563 3178496 364 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 776 364 566 18 0 758 0 [pid=14169] vsize: 3104 Current children cumulated CPU time (s) 87.51 Current children cumulated vsize (Kb) 3104 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 421 0 0 0 9561 156 0 0 25 0 1 0 1801899563 3309568 387 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 387 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 97.17 Current children cumulated vsize (Kb) 3232 [startup+110.007 s] Raw data (loadavg): 1.06 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 421 0 0 0 10508 176 0 0 25 0 1 0 1801899563 3309568 387 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 387 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 106.84 Current children cumulated vsize (Kb) 3232 [startup+120.008 s] Raw data (loadavg): 1.05 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 11444 200 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 116.44 Current children cumulated vsize (Kb) 3232 [startup+130.008 s] Raw data (loadavg): 1.04 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 12387 219 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 126.06 Current children cumulated vsize (Kb) 3232 [startup+140.008 s] Raw data (loadavg): 1.03 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 13331 237 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 135.68 Current children cumulated vsize (Kb) 3232 [startup+150.008 s] Raw data (loadavg): 1.03 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 14273 259 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 145.32 Current children cumulated vsize (Kb) 3232 [startup+160.009 s] Raw data (loadavg): 1.02 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 15213 281 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 154.94 Current children cumulated vsize (Kb) 3232 [startup+170.009 s] Raw data (loadavg): 1.02 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 16160 299 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 164.59 Current children cumulated vsize (Kb) 3232 [startup+180.009 s] Raw data (loadavg): 1.02 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 17098 323 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 174.21 Current children cumulated vsize (Kb) 3232 [startup+190.009 s] Raw data (loadavg): 1.01 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 18032 345 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 183.77 Current children cumulated vsize (Kb) 3232 [startup+200.009 s] Raw data (loadavg): 1.01 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 18972 365 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 193.37 Current children cumulated vsize (Kb) 3232 [startup+210.01 s] Raw data (loadavg): 1.01 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 19916 386 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 203.02 Current children cumulated vsize (Kb) 3232 [startup+220.01 s] Raw data (loadavg): 1.01 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 20857 409 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 212.66 Current children cumulated vsize (Kb) 3232 [startup+230.01 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 21790 431 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (Kb) 3232 [startup+240.011 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 22726 455 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 231.81 Current children cumulated vsize (Kb) 3232 [startup+250.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 23665 477 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 241.42 Current children cumulated vsize (Kb) 3232 [startup+260.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 24602 500 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223536 134556909 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 251.02 Current children cumulated vsize (Kb) 3232 [startup+270.013 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 25547 520 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 260.67 Current children cumulated vsize (Kb) 3232 [startup+280.013 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 26487 538 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 270.25 Current children cumulated vsize (Kb) 3232 [startup+290.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 27426 562 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 279.88 Current children cumulated vsize (Kb) 3232 [startup+300.013 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 28360 585 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 289.45 Current children cumulated vsize (Kb) 3232 [startup+310.014 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 29301 607 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 299.08 Current children cumulated vsize (Kb) 3232 [startup+320.014 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 30243 627 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 308.7 Current children cumulated vsize (Kb) 3232 [startup+330.014 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 31183 648 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 318.31 Current children cumulated vsize (Kb) 3232 [startup+340.015 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 32127 667 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 327.94 Current children cumulated vsize (Kb) 3232 [startup+350.015 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 33064 687 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 337.51 Current children cumulated vsize (Kb) 3232 [startup+360.015 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 34008 707 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 347.15 Current children cumulated vsize (Kb) 3232 [startup+370.016 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 34953 725 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 356.78 Current children cumulated vsize (Kb) 3232 [startup+380.016 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 35890 747 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 366.37 Current children cumulated vsize (Kb) 3232 [startup+390.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 36830 768 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 375.98 Current children cumulated vsize (Kb) 3232 [startup+400.017 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 37775 787 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 385.62 Current children cumulated vsize (Kb) 3232 [startup+410.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 38716 807 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 395.23 Current children cumulated vsize (Kb) 3232 [startup+420.018 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 39655 828 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 404.83 Current children cumulated vsize (Kb) 3232 [startup+430.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 40596 851 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 414.47 Current children cumulated vsize (Kb) 3232 [startup+440.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 41542 869 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134531670 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 424.11 Current children cumulated vsize (Kb) 3232 [startup+450.02 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 42487 889 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 433.76 Current children cumulated vsize (Kb) 3232 [startup+460.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 43431 908 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 443.39 Current children cumulated vsize (Kb) 3232 [startup+470.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 44374 928 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 453.02 Current children cumulated vsize (Kb) 3232 [startup+480.021 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 45312 949 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 462.61 Current children cumulated vsize (Kb) 3232 [startup+490.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 46254 970 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 472.24 Current children cumulated vsize (Kb) 3232 [startup+500.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 47195 991 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 481.86 Current children cumulated vsize (Kb) 3232 [startup+510.023 s] Raw data (loadavg): 1.08 1.02 0.95 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 48135 1013 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 491.48 Current children cumulated vsize (Kb) 3232 [startup+520.023 s] Raw data (loadavg): 1.07 1.02 0.95 1/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 49079 1033 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 501.12 Current children cumulated vsize (Kb) 3232 [startup+530.023 s] Raw data (loadavg): 1.06 1.01 0.95 2/56 14169 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 50015 1057 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 510.72 Current children cumulated vsize (Kb) 3232 [startup+540.024 s] Raw data (loadavg): 1.13 1.03 0.95 1/60 14221 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 50943 1082 0 0 17 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 520.25 Current children cumulated vsize (Kb) 3232 [startup+550.024 s] Raw data (loadavg): 1.11 1.03 0.95 2/56 14224 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 51883 1103 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 529.86 Current children cumulated vsize (Kb) 3232 [startup+560.024 s] Raw data (loadavg): 1.09 1.03 0.95 1/56 14224 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 52820 1126 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 539.46 Current children cumulated vsize (Kb) 3232 [startup+570.025 s] Raw data (loadavg): 1.08 1.03 0.95 2/56 14224 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 53758 1148 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 549.06 Current children cumulated vsize (Kb) 3232 [startup+580.025 s] Raw data (loadavg): 1.06 1.03 0.95 2/56 14224 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 54696 1171 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 558.67 Current children cumulated vsize (Kb) 3232 [startup+590.025 s] Raw data (loadavg): 1.05 1.02 0.95 2/56 14224 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 55636 1192 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 568.28 Current children cumulated vsize (Kb) 3232 [startup+600.026 s] Raw data (loadavg): 1.04 1.02 0.95 1/56 14224 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 56577 1212 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 577.89 Current children cumulated vsize (Kb) 3232 [startup+610.027 s] Raw data (loadavg): 1.04 1.02 0.95 2/56 14226 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 57525 1233 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 587.58 Current children cumulated vsize (Kb) 3232 [startup+620.026 s] Raw data (loadavg): 1.03 1.02 0.95 1/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 58460 1256 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 597.16 Current children cumulated vsize (Kb) 3232 [startup+630.027 s] Raw data (loadavg): 1.03 1.02 0.95 1/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 59392 1282 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 606.74 Current children cumulated vsize (Kb) 3232 [startup+640.028 s] Raw data (loadavg): 1.02 1.02 0.95 1/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 60332 1306 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 616.38 Current children cumulated vsize (Kb) 3232 [startup+650.028 s] Raw data (loadavg): 1.02 1.02 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 61275 1326 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 626.01 Current children cumulated vsize (Kb) 3232 [startup+660.028 s] Raw data (loadavg): 1.01 1.02 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 62216 1348 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 635.64 Current children cumulated vsize (Kb) 3232 [startup+670.029 s] Raw data (loadavg): 1.01 1.02 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 63154 1368 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 645.22 Current children cumulated vsize (Kb) 3232 [startup+680.029 s] Raw data (loadavg): 1.01 1.02 0.95 1/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 64097 1389 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 654.86 Current children cumulated vsize (Kb) 3232 [startup+690.029 s] Raw data (loadavg): 1.01 1.02 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 65035 1413 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 664.48 Current children cumulated vsize (Kb) 3232 [startup+700.03 s] Raw data (loadavg): 1.01 1.01 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 65975 1433 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 674.08 Current children cumulated vsize (Kb) 3232 [startup+710.031 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 66912 1455 0 0 22 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 683.67 Current children cumulated vsize (Kb) 3232 [startup+720.03 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 67848 1477 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 693.25 Current children cumulated vsize (Kb) 3232 [startup+730.031 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 68793 1498 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 702.91 Current children cumulated vsize (Kb) 3232 [startup+740.031 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 69731 1519 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 712.5 Current children cumulated vsize (Kb) 3232 [startup+750.032 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 70673 1541 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 722.14 Current children cumulated vsize (Kb) 3232 [startup+760.032 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 71615 1562 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 731.77 Current children cumulated vsize (Kb) 3232 [startup+770.033 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 72552 1585 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 741.37 Current children cumulated vsize (Kb) 3232 [startup+780.033 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 73485 1606 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 750.91 Current children cumulated vsize (Kb) 3232 [startup+790.033 s] Raw data (loadavg): 1.00 1.01 0.95 1/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 74420 1629 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 760.49 Current children cumulated vsize (Kb) 3232 [startup+800.033 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 75357 1651 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 770.08 Current children cumulated vsize (Kb) 3232 [startup+810.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 76290 1675 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 779.65 Current children cumulated vsize (Kb) 3232 [startup+820.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 77226 1696 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 789.22 Current children cumulated vsize (Kb) 3232 [startup+830.033 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 78162 1720 0 0 22 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 798.82 Current children cumulated vsize (Kb) 3232 [startup+840.034 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 424 0 0 0 79096 1740 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 808.36 Current children cumulated vsize (Kb) 3232 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 424 0 0 0 80027 1763 0 0 25 0 1 0 1801899563 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 390 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 817.9 Current children cumulated vsize (Kb) 3232 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 425 0 0 0 80973 1781 0 0 25 0 1 0 1801899563 3309568 391 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 391 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 827.54 Current children cumulated vsize (Kb) 3232 [startup+870.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 426 0 0 0 81912 1803 0 0 25 0 1 0 1801899563 3309568 392 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 392 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 837.15 Current children cumulated vsize (Kb) 3232 [startup+880.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 427 0 0 0 82858 1821 0 0 25 0 1 0 1801899563 3309568 393 4294967295 134512640 134578447 3221224624 3221223556 134527386 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 393 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 846.79 Current children cumulated vsize (Kb) 3232 [startup+890.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 427 0 0 0 83800 1842 0 0 25 0 1 0 1801899563 3309568 393 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 393 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 856.42 Current children cumulated vsize (Kb) 3232 [startup+900.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14228 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 427 0 0 0 84746 1861 0 0 25 0 1 0 1801899563 3309568 393 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 393 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 866.07 Current children cumulated vsize (Kb) 3232 [startup+910.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 427 0 0 0 85684 1883 0 0 25 0 1 0 1801899563 3309568 393 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 393 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 875.67 Current children cumulated vsize (Kb) 3232 [startup+920.035 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 427 0 0 0 86631 1901 0 0 25 0 1 0 1801899563 3309568 393 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 393 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 885.32 Current children cumulated vsize (Kb) 3232 [startup+930.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 427 0 0 0 87571 1921 0 0 25 0 1 0 1801899563 3309568 393 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 393 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 894.92 Current children cumulated vsize (Kb) 3232 [startup+940.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 429 0 0 0 88509 1944 0 0 25 0 1 0 1801899563 3309568 395 4294967295 134512640 134578447 3221224624 3221223456 134528490 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 395 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 904.53 Current children cumulated vsize (Kb) 3232 [startup+950.036 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 429 0 0 0 89448 1964 0 0 25 0 1 0 1801899563 3309568 395 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 395 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 914.12 Current children cumulated vsize (Kb) 3232 [startup+960.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 90392 1983 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 923.75 Current children cumulated vsize (Kb) 3232 [startup+970.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 91338 2002 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 933.4 Current children cumulated vsize (Kb) 3232 [startup+980.036 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 430 0 0 0 92280 2023 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 943.03 Current children cumulated vsize (Kb) 3232 [startup+990.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 93219 2045 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 952.64 Current children cumulated vsize (Kb) 3232 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 94158 2067 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 962.25 Current children cumulated vsize (Kb) 3232 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 95097 2089 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 971.86 Current children cumulated vsize (Kb) 3232 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 96042 2110 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223556 134527367 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 981.52 Current children cumulated vsize (Kb) 3232 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 96977 2133 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 991.1 Current children cumulated vsize (Kb) 3232 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 430 0 0 0 97914 2155 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1000.69 Current children cumulated vsize (Kb) 3232 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 98858 2174 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223280 1075289393 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1010.32 Current children cumulated vsize (Kb) 3232 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 99801 2193 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1019.94 Current children cumulated vsize (Kb) 3232 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 430 0 0 0 100744 2213 0 0 25 0 1 0 1801899563 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 396 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1029.57 Current children cumulated vsize (Kb) 3232 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 433 0 0 0 101689 2235 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1039.24 Current children cumulated vsize (Kb) 3232 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 433 0 0 0 102625 2258 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1048.83 Current children cumulated vsize (Kb) 3232 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 433 0 0 0 103568 2279 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1058.47 Current children cumulated vsize (Kb) 3232 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 433 0 0 0 104509 2300 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1068.09 Current children cumulated vsize (Kb) 3232 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 433 0 0 0 105448 2322 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1077.7 Current children cumulated vsize (Kb) 3232 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 433 0 0 0 106391 2340 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1087.31 Current children cumulated vsize (Kb) 3232 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 433 0 0 0 107328 2362 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1096.9 Current children cumulated vsize (Kb) 3232 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 433 0 0 0 108267 2383 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1106.5 Current children cumulated vsize (Kb) 3232 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 433 0 0 0 109212 2403 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1116.15 Current children cumulated vsize (Kb) 3232 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 433 0 0 0 110151 2425 0 0 20 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1125.76 Current children cumulated vsize (Kb) 3232 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 433 0 0 0 111090 2445 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1135.35 Current children cumulated vsize (Kb) 3232 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 433 0 0 0 112025 2468 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1144.93 Current children cumulated vsize (Kb) 3232 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 433 0 0 0 112970 2486 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223552 134552669 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1154.56 Current children cumulated vsize (Kb) 3232 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 433 0 0 0 113912 2507 0 0 25 0 1 0 1801899563 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 399 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1164.19 Current children cumulated vsize (Kb) 3232 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) R 14168 14169 6872 0 -1 0 434 0 0 0 114846 2532 0 0 25 0 1 0 1801899563 3309568 400 4294967295 134512640 134578447 3221224624 3221223504 134528051 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14169/statm): 808 400 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1173.78 Current children cumulated vsize (Kb) 3232 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 14230 Raw data (/proc/14169/stat): 14169 (Pueblo) T 14168 14169 6872 0 -1 0 434 0 0 0 115787 2552 0 0 25 0 1 0 1801899563 3309568 400 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14169/statm): 808 400 566 18 0 790 0 [pid=14169] vsize: 3232 Current children cumulated CPU time (s) 1183.39 Current children cumulated vsize (Kb) 3232 One traced child (pid=14169) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1235.88 CPU time (s): 1189.01 CPU user time (s): 1163.36 CPU system time (s): 25.6491 CPU usage (%): 96.2076 Max. virtual memory (cumulated for all children) (Kb): 3232
Verifier: OK 6656