Name | submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | 9cfcc49797c7ac58bfef2056b3d91b66 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 7500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 7500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 7500 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc2 THE 2005-09-20 13:19:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4815 boxname=wulflinc2 idbench=127 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 9cfcc49797c7ac58bfef2056b3d91b66 /oldhome/oroussel/tmp/wulflinc2/normalized-g250.15.opb REAL COMMAND: Pueblo IDLAUNCH: 4815 /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: 878440 kB Buffers: 30100 kB Cached: 100544 kB SwapCached: 1004 kB Active: 58600 kB Inactive: 74712 kB HighTotal: 131008 kB HighFree: 28952 kB LowTotal: 903652 kB LowFree: 849488 kB SwapTotal: 2097136 kB SwapFree: 2095552 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 17176 kB Committed_AS: 72496 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 13:39:55 (client local time) WITH STATUS 0 IN 1209.7 SECONDS stats: 4815 7 1209.7 0
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini
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/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1800631029 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12652/statm): 41 3 40 18 0 23 0 [pid=12652] 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.0031 s] Raw data (loadavg): 0.91 0.51 0.20 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 7754 0 0 0 965 24 0 0 25 0 1 0 1800631029 33312768 7720 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12652/statm): 8133 7720 566 18 0 8115 0 [pid=12652] vsize: 32532 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 32532 [startup+20.0038 s] Raw data (loadavg): 0.93 0.53 0.21 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 7867 0 0 0 1964 24 0 0 25 0 1 0 1800631029 33837056 7833 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 8261 7833 566 18 0 8243 0 [pid=12652] vsize: 33044 Current children cumulated CPU time (s) 19.88 Current children cumulated vsize (Kb) 33044 [startup+30.0035 s] Raw data (loadavg): 0.94 0.54 0.22 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 8164 0 0 0 2963 25 0 0 25 0 1 0 1800631029 35307520 8130 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 8620 8130 566 18 0 8602 0 [pid=12652] vsize: 34480 Current children cumulated CPU time (s) 29.88 Current children cumulated vsize (Kb) 34480 [startup+40.0032 s] Raw data (loadavg): 0.95 0.56 0.23 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 8943 0 0 0 3961 27 0 0 25 0 1 0 1800631029 38285312 8909 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 9347 8909 566 18 0 9329 0 [pid=12652] vsize: 37388 Current children cumulated CPU time (s) 39.88 Current children cumulated vsize (Kb) 37388 [startup+50.0039 s] Raw data (loadavg): 0.95 0.57 0.23 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 8950 0 0 0 4961 27 0 0 25 0 1 0 1800631029 38285312 8916 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 9347 8916 566 18 0 9329 0 [pid=12652] vsize: 37388 Current children cumulated CPU time (s) 49.88 Current children cumulated vsize (Kb) 37388 [startup+60.0036 s] Raw data (loadavg): 0.96 0.59 0.24 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 8954 0 0 0 5961 27 0 0 25 0 1 0 1800631029 38436864 8920 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 9384 8920 566 18 0 9366 0 [pid=12652] vsize: 37536 Current children cumulated CPU time (s) 59.88 Current children cumulated vsize (Kb) 37536 [startup+70.0043 s] Raw data (loadavg): 0.97 0.60 0.25 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 8956 0 0 0 6961 28 0 0 25 0 1 0 1800631029 38436864 8922 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 9384 8922 566 18 0 9366 0 [pid=12652] vsize: 37536 Current children cumulated CPU time (s) 69.89 Current children cumulated vsize (Kb) 37536 [startup+80.005 s] Raw data (loadavg): 0.97 0.61 0.26 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 8957 0 0 0 7961 28 0 0 25 0 1 0 1800631029 38436864 8923 4294967295 134512640 134578447 3221224624 3221223536 134556904 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 9384 8923 566 18 0 9366 0 [pid=12652] vsize: 37536 Current children cumulated CPU time (s) 79.89 Current children cumulated vsize (Kb) 37536 [startup+90.0047 s] Raw data (loadavg): 0.97 0.62 0.27 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 8959 0 0 0 8962 28 0 0 25 0 1 0 1800631029 38436864 8925 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 9384 8925 566 18 0 9366 0 [pid=12652] vsize: 37536 Current children cumulated CPU time (s) 89.9 Current children cumulated vsize (Kb) 37536 [startup+100.004 s] Raw data (loadavg): 0.98 0.64 0.27 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 8961 0 0 0 9962 28 0 0 25 0 1 0 1800631029 38436864 8927 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 9384 8927 566 18 0 9366 0 [pid=12652] vsize: 37536 Current children cumulated CPU time (s) 99.9 Current children cumulated vsize (Kb) 37536 [startup+110.004 s] Raw data (loadavg): 0.98 0.65 0.28 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 9115 0 0 0 10962 28 0 0 25 0 1 0 1800631029 39100416 9081 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 9546 9081 566 18 0 9528 0 [pid=12652] vsize: 38184 Current children cumulated CPU time (s) 109.9 Current children cumulated vsize (Kb) 38184 [startup+120.005 s] Raw data (loadavg): 0.98 0.66 0.29 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 9640 0 0 0 11960 29 0 0 25 0 1 0 1800631029 41201664 9606 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 10059 9606 566 18 0 10041 0 [pid=12652] vsize: 40236 Current children cumulated CPU time (s) 119.89 Current children cumulated vsize (Kb) 40236 [startup+130.005 s] Raw data (loadavg): 0.99 0.67 0.29 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 10171 0 0 0 12957 31 0 0 25 0 1 0 1800631029 43302912 10137 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 10572 10137 566 18 0 10554 0 [pid=12652] vsize: 42288 Current children cumulated CPU time (s) 129.88 Current children cumulated vsize (Kb) 42288 [startup+140.004 s] Raw data (loadavg): 0.99 0.68 0.30 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 10680 0 0 0 13955 33 0 0 25 0 1 0 1800631029 45404160 10646 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 11085 10646 566 18 0 11067 0 [pid=12652] vsize: 44340 Current children cumulated CPU time (s) 139.88 Current children cumulated vsize (Kb) 44340 [startup+150.005 s] Raw data (loadavg): 0.99 0.69 0.31 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 11115 0 0 0 14954 34 0 0 25 0 1 0 1800631029 47239168 11081 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 11533 11083 566 18 0 11515 0 [pid=12652] vsize: 46132 Current children cumulated CPU time (s) 149.88 Current children cumulated vsize (Kb) 46132 [startup+160.005 s] Raw data (loadavg): 0.99 0.70 0.31 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 11625 0 0 0 15951 36 0 0 25 0 1 0 1800631029 49324032 11591 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 12042 11591 566 18 0 12024 0 [pid=12652] vsize: 48168 Current children cumulated CPU time (s) 159.87 Current children cumulated vsize (Kb) 48168 [startup+170.005 s] Raw data (loadavg): 0.99 0.71 0.32 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 12258 0 0 0 16949 38 0 0 25 0 1 0 1800631029 51892224 12224 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 12669 12224 566 18 0 12651 0 [pid=12652] vsize: 50676 Current children cumulated CPU time (s) 169.87 Current children cumulated vsize (Kb) 50676 [startup+180.006 s] Raw data (loadavg): 0.99 0.72 0.33 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 12945 0 0 0 17945 41 0 0 25 0 1 0 1800631029 54743040 12911 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 13365 12911 566 18 0 13347 0 [pid=12652] vsize: 53460 Current children cumulated CPU time (s) 179.86 Current children cumulated vsize (Kb) 53460 [startup+190.006 s] Raw data (loadavg): 0.99 0.73 0.34 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 13662 0 0 0 18942 44 0 0 25 0 1 0 1800631029 57794560 13628 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 14110 13628 566 18 0 14092 0 [pid=12652] vsize: 56440 Current children cumulated CPU time (s) 189.86 Current children cumulated vsize (Kb) 56440 [startup+200.006 s] Raw data (loadavg): 0.99 0.74 0.34 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 14462 0 0 0 19939 46 0 0 25 0 1 0 1800631029 60993536 14428 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 14891 14428 566 18 0 14873 0 [pid=12652] vsize: 59564 Current children cumulated CPU time (s) 199.85 Current children cumulated vsize (Kb) 59564 [startup+210.006 s] Raw data (loadavg): 0.99 0.74 0.35 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 15215 0 0 0 20935 49 0 0 25 0 1 0 1800631029 64102400 15181 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 15650 15181 566 18 0 15632 0 [pid=12652] vsize: 62600 Current children cumulated CPU time (s) 209.84 Current children cumulated vsize (Kb) 62600 [startup+220.007 s] Raw data (loadavg): 0.99 0.75 0.36 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 15890 0 0 0 21932 52 0 0 25 0 1 0 1800631029 66871296 15856 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 16326 15856 566 18 0 16308 0 [pid=12652] vsize: 65304 Current children cumulated CPU time (s) 219.84 Current children cumulated vsize (Kb) 65304 [startup+230.007 s] Raw data (loadavg): 0.99 0.76 0.36 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 16487 0 0 0 22930 53 0 0 25 0 1 0 1800631029 69353472 16453 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 16932 16453 566 18 0 16914 0 [pid=12652] vsize: 67728 Current children cumulated CPU time (s) 229.83 Current children cumulated vsize (Kb) 67728 [startup+240.006 s] Raw data (loadavg): 0.99 0.77 0.37 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 17119 0 0 0 23927 55 0 0 25 0 1 0 1800631029 71979008 17085 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 17573 17085 566 18 0 17555 0 [pid=12652] vsize: 70292 Current children cumulated CPU time (s) 239.82 Current children cumulated vsize (Kb) 70292 [startup+250.007 s] Raw data (loadavg): 0.99 0.77 0.37 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 17591 0 0 0 24926 56 0 0 25 0 1 0 1800631029 73826304 17557 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 18024 17557 566 18 0 18006 0 [pid=12652] vsize: 72096 Current children cumulated CPU time (s) 249.82 Current children cumulated vsize (Kb) 72096 [startup+260.007 s] Raw data (loadavg): 0.99 0.78 0.38 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 17957 0 0 0 25924 57 0 0 25 0 1 0 1800631029 75390976 17923 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 18406 17923 566 18 0 18388 0 [pid=12652] vsize: 73624 Current children cumulated CPU time (s) 259.81 Current children cumulated vsize (Kb) 73624 [startup+270.007 s] Raw data (loadavg): 0.99 0.79 0.39 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 18345 0 0 0 26924 58 0 0 25 0 1 0 1800631029 76967936 18311 4294967295 134512640 134578447 3221224624 3221223584 134558809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 18791 18311 566 18 0 18773 0 [pid=12652] vsize: 75164 Current children cumulated CPU time (s) 269.82 Current children cumulated vsize (Kb) 75164 [startup+280.008 s] Raw data (loadavg): 0.99 0.79 0.39 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 18793 0 0 0 27922 59 0 0 25 0 1 0 1800631029 78811136 18759 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 19241 18759 566 18 0 19223 0 [pid=12652] vsize: 76964 Current children cumulated CPU time (s) 279.81 Current children cumulated vsize (Kb) 76964 [startup+290.008 s] Raw data (loadavg): 0.99 0.80 0.40 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 19345 0 0 0 28921 60 0 0 25 0 1 0 1800631029 81043456 19311 4294967295 134512640 134578447 3221224624 3221223472 134558333 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 19786 19311 566 18 0 19768 0 [pid=12652] vsize: 79144 Current children cumulated CPU time (s) 289.81 Current children cumulated vsize (Kb) 79144 [startup+300.008 s] Raw data (loadavg): 0.99 0.81 0.40 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 19853 0 0 0 29918 62 0 0 25 0 1 0 1800631029 83144704 19819 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 20299 19819 566 18 0 20281 0 [pid=12652] vsize: 81196 Current children cumulated CPU time (s) 299.8 Current children cumulated vsize (Kb) 81196 [startup+310.009 s] Raw data (loadavg): 0.99 0.81 0.41 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 20330 0 0 0 30916 64 0 0 25 0 1 0 1800631029 85135360 20296 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 20785 20296 566 18 0 20767 0 [pid=12652] vsize: 83140 Current children cumulated CPU time (s) 309.8 Current children cumulated vsize (Kb) 83140 [startup+320.01 s] Raw data (loadavg): 0.99 0.82 0.42 1/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) T 12651 12652 6872 0 -1 0 20669 0 0 0 31915 66 0 0 25 0 1 0 1800631029 86564864 20635 4294967295 134512640 134578447 3221224624 3221223316 1075693979 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/12652/statm): 21134 20635 566 18 0 21116 0 [pid=12652] vsize: 84536 Current children cumulated CPU time (s) 319.81 Current children cumulated vsize (Kb) 84536 [startup+330.01 s] Raw data (loadavg): 0.99 0.82 0.42 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 21096 0 0 0 32913 66 0 0 25 0 1 0 1800631029 88256512 21062 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 21547 21062 566 18 0 21529 0 [pid=12652] vsize: 86188 Current children cumulated CPU time (s) 329.79 Current children cumulated vsize (Kb) 86188 [startup+340.009 s] Raw data (loadavg): 0.99 0.83 0.43 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 21501 0 0 0 33912 68 0 0 25 0 1 0 1800631029 89841664 21467 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 21934 21467 566 18 0 21916 0 [pid=12652] vsize: 87736 Current children cumulated CPU time (s) 339.8 Current children cumulated vsize (Kb) 87736 [startup+350.01 s] Raw data (loadavg): 0.99 0.83 0.43 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 21885 0 0 0 34910 69 0 0 25 0 1 0 1800631029 91553792 21851 4294967295 134512640 134578447 3221224624 3221223488 134517601 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 22352 21851 566 18 0 22334 0 [pid=12652] vsize: 89408 Current children cumulated CPU time (s) 349.79 Current children cumulated vsize (Kb) 89408 [startup+360.01 s] Raw data (loadavg): 0.99 0.84 0.44 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 22358 0 0 0 35908 71 0 0 25 0 1 0 1800631029 93376512 22324 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 22797 22324 566 18 0 22779 0 [pid=12652] vsize: 91188 Current children cumulated CPU time (s) 359.79 Current children cumulated vsize (Kb) 91188 [startup+370.01 s] Raw data (loadavg): 0.99 0.84 0.45 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 22692 0 0 0 36907 72 0 0 25 0 1 0 1800631029 94810112 22658 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 23147 22658 566 18 0 23129 0 [pid=12652] vsize: 92588 Current children cumulated CPU time (s) 369.79 Current children cumulated vsize (Kb) 92588 [startup+380.01 s] Raw data (loadavg): 0.99 0.85 0.45 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 23059 0 0 0 37905 73 0 0 25 0 1 0 1800631029 96243712 23025 4294967295 134512640 134578447 3221224624 3221223536 134556791 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 23497 23025 566 18 0 23479 0 [pid=12652] vsize: 93988 Current children cumulated CPU time (s) 379.78 Current children cumulated vsize (Kb) 93988 [startup+390.01 s] Raw data (loadavg): 0.99 0.85 0.46 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 23446 0 0 0 38903 75 0 0 25 0 1 0 1800631029 97927168 23412 4294967295 134512640 134578447 3221224624 3221223508 134519920 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 23908 23412 566 18 0 23890 0 [pid=12652] vsize: 95632 Current children cumulated CPU time (s) 389.78 Current children cumulated vsize (Kb) 95632 [startup+400.01 s] Raw data (loadavg): 0.99 0.86 0.46 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 23854 0 0 0 39901 76 0 0 25 0 1 0 1800631029 99610624 23820 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 24319 23820 566 18 0 24301 0 [pid=12652] vsize: 97276 Current children cumulated CPU time (s) 399.77 Current children cumulated vsize (Kb) 97276 [startup+410.01 s] Raw data (loadavg): 0.99 0.86 0.47 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 24345 0 0 0 40899 78 0 0 25 0 1 0 1800631029 101556224 24311 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 24794 24311 566 18 0 24776 0 [pid=12652] vsize: 99176 Current children cumulated CPU time (s) 409.77 Current children cumulated vsize (Kb) 99176 [startup+420.011 s] Raw data (loadavg): 0.99 0.86 0.47 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 24803 0 0 0 41898 79 0 0 25 0 1 0 1800631029 103485440 24769 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 25265 24769 566 18 0 25247 0 [pid=12652] vsize: 101060 Current children cumulated CPU time (s) 419.77 Current children cumulated vsize (Kb) 101060 [startup+430.012 s] Raw data (loadavg): 0.99 0.87 0.48 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 25244 0 0 0 42897 80 0 0 25 0 1 0 1800631029 105287680 25210 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 25705 25210 566 18 0 25687 0 [pid=12652] vsize: 102820 Current children cumulated CPU time (s) 429.77 Current children cumulated vsize (Kb) 102820 [startup+440.011 s] Raw data (loadavg): 0.99 0.87 0.48 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 25692 0 0 0 43895 82 0 0 25 0 1 0 1800631029 107347968 25658 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 26208 25658 566 18 0 26190 0 [pid=12652] vsize: 104832 Current children cumulated CPU time (s) 439.77 Current children cumulated vsize (Kb) 104832 [startup+450.012 s] Raw data (loadavg): 0.99 0.88 0.49 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 26109 0 0 0 44895 83 0 0 25 0 1 0 1800631029 109035520 26075 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 26620 26075 566 18 0 26602 0 [pid=12652] vsize: 106480 Current children cumulated CPU time (s) 449.78 Current children cumulated vsize (Kb) 106480 [startup+460.013 s] Raw data (loadavg): 0.99 0.88 0.49 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 26513 0 0 0 45894 83 0 0 25 0 1 0 1800631029 110735360 26479 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 27035 26479 566 18 0 27017 0 [pid=12652] vsize: 108140 Current children cumulated CPU time (s) 459.77 Current children cumulated vsize (Kb) 108140 [startup+470.013 s] Raw data (loadavg): 0.99 0.88 0.50 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 26936 0 0 0 46891 85 0 0 25 0 1 0 1800631029 112414720 26902 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 27445 26902 566 18 0 27427 0 [pid=12652] vsize: 109780 Current children cumulated CPU time (s) 469.76 Current children cumulated vsize (Kb) 109780 [startup+480.014 s] Raw data (loadavg): 0.99 0.89 0.50 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 27394 0 0 0 47890 87 0 0 25 0 1 0 1800631029 114229248 27360 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 27888 27360 566 18 0 27870 0 [pid=12652] vsize: 111552 Current children cumulated CPU time (s) 479.77 Current children cumulated vsize (Kb) 111552 [startup+490.014 s] Raw data (loadavg): 0.99 0.89 0.51 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 27869 0 0 0 48888 88 0 0 25 0 1 0 1800631029 116178944 27835 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 28364 27835 566 18 0 28346 0 [pid=12652] vsize: 113456 Current children cumulated CPU time (s) 489.76 Current children cumulated vsize (Kb) 113456 [startup+500.014 s] Raw data (loadavg): 0.99 0.89 0.51 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 28327 0 0 0 49887 89 0 0 25 0 1 0 1800631029 118120448 28293 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 28838 28293 566 18 0 28820 0 [pid=12652] vsize: 115352 Current children cumulated CPU time (s) 499.76 Current children cumulated vsize (Kb) 115352 [startup+510.014 s] Raw data (loadavg): 0.99 0.90 0.52 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 28799 0 0 0 50885 90 0 0 25 0 1 0 1800631029 120057856 28765 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 29311 28765 566 18 0 29293 0 [pid=12652] vsize: 117244 Current children cumulated CPU time (s) 509.75 Current children cumulated vsize (Kb) 117244 [startup+520.015 s] Raw data (loadavg): 0.99 0.90 0.52 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 29280 0 0 0 51883 92 0 0 25 0 1 0 1800631029 122036224 29246 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 29794 29246 566 18 0 29776 0 [pid=12652] vsize: 119176 Current children cumulated CPU time (s) 519.75 Current children cumulated vsize (Kb) 119176 [startup+530.015 s] Raw data (loadavg): 0.99 0.90 0.53 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 29680 0 0 0 52882 93 0 0 25 0 1 0 1800631029 123588608 29646 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 30173 29646 566 18 0 30155 0 [pid=12652] vsize: 120692 Current children cumulated CPU time (s) 529.75 Current children cumulated vsize (Kb) 120692 [startup+540.014 s] Raw data (loadavg): 0.99 0.90 0.53 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 29960 0 0 0 53881 94 0 0 25 0 1 0 1800631029 124801024 29926 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 30469 29926 566 18 0 30451 0 [pid=12652] vsize: 121876 Current children cumulated CPU time (s) 539.75 Current children cumulated vsize (Kb) 121876 [startup+550.015 s] Raw data (loadavg): 0.99 0.91 0.54 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 30297 0 0 0 54879 95 0 0 25 0 1 0 1800631029 126238720 30263 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 30820 30263 566 18 0 30802 0 [pid=12652] vsize: 123280 Current children cumulated CPU time (s) 549.74 Current children cumulated vsize (Kb) 123280 [startup+560.016 s] Raw data (loadavg): 0.99 0.91 0.54 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 30623 0 0 0 55878 96 0 0 25 0 1 0 1800631029 127533056 30589 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 31136 30589 566 18 0 31118 0 [pid=12652] vsize: 124544 Current children cumulated CPU time (s) 559.74 Current children cumulated vsize (Kb) 124544 [startup+570.016 s] Raw data (loadavg): 0.99 0.91 0.54 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 30920 0 0 0 56877 97 0 0 25 0 1 0 1800631029 128700416 30886 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 31421 30886 566 18 0 31403 0 [pid=12652] vsize: 125684 Current children cumulated CPU time (s) 569.74 Current children cumulated vsize (Kb) 125684 [startup+580.017 s] Raw data (loadavg): 0.99 0.91 0.55 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 31259 0 0 0 57875 98 0 0 25 0 1 0 1800631029 130125824 31225 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 31769 31225 566 18 0 31751 0 [pid=12652] vsize: 127076 Current children cumulated CPU time (s) 579.73 Current children cumulated vsize (Kb) 127076 [startup+590.017 s] Raw data (loadavg): 0.99 0.92 0.55 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 31600 0 0 0 58874 99 0 0 25 0 1 0 1800631029 131555328 31566 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 32118 31566 566 18 0 32100 0 [pid=12652] vsize: 128472 Current children cumulated CPU time (s) 589.73 Current children cumulated vsize (Kb) 128472 [startup+600.018 s] Raw data (loadavg): 0.99 0.92 0.56 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 32061 0 0 0 59872 101 0 0 25 0 1 0 1800631029 133373952 32027 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 32562 32027 566 18 0 32544 0 [pid=12652] vsize: 130248 Current children cumulated CPU time (s) 599.73 Current children cumulated vsize (Kb) 130248 [startup+610.018 s] Raw data (loadavg): 0.99 0.92 0.56 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 32495 0 0 0 60869 104 0 0 25 0 1 0 1800631029 135192576 32461 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 33006 32461 566 18 0 32988 0 [pid=12652] vsize: 132024 Current children cumulated CPU time (s) 609.73 Current children cumulated vsize (Kb) 132024 [startup+620.019 s] Raw data (loadavg): 0.99 0.92 0.56 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 32918 0 0 0 61867 105 0 0 25 0 1 0 1800631029 136876032 32884 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 33417 32884 566 18 0 33399 0 [pid=12652] vsize: 133668 Current children cumulated CPU time (s) 619.72 Current children cumulated vsize (Kb) 133668 [startup+630.02 s] Raw data (loadavg): 0.99 0.92 0.57 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 33319 0 0 0 62865 107 0 0 25 0 1 0 1800631029 138567680 33285 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 33830 33285 566 18 0 33812 0 [pid=12652] vsize: 135320 Current children cumulated CPU time (s) 629.72 Current children cumulated vsize (Kb) 135320 [startup+640.019 s] Raw data (loadavg): 0.99 0.93 0.57 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 33616 0 0 0 63865 107 0 0 25 0 1 0 1800631029 139755520 33582 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 34120 33582 566 18 0 34102 0 [pid=12652] vsize: 136480 Current children cumulated CPU time (s) 639.72 Current children cumulated vsize (Kb) 136480 [startup+650.02 s] Raw data (loadavg): 0.99 0.93 0.58 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 33847 0 0 0 64865 108 0 0 25 0 1 0 1800631029 140660736 33813 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 34341 33813 566 18 0 34323 0 [pid=12652] vsize: 137364 Current children cumulated CPU time (s) 649.73 Current children cumulated vsize (Kb) 137364 [startup+660.021 s] Raw data (loadavg): 0.99 0.93 0.58 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 34204 0 0 0 65863 110 0 0 25 0 1 0 1800631029 142209024 34170 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 34719 34170 566 18 0 34701 0 [pid=12652] vsize: 138876 Current children cumulated CPU time (s) 659.73 Current children cumulated vsize (Kb) 138876 [startup+670.021 s] Raw data (loadavg): 0.99 0.93 0.58 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 34637 0 0 0 66861 111 0 0 25 0 1 0 1800631029 143917056 34603 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 35136 34603 566 18 0 35118 0 [pid=12652] vsize: 140544 Current children cumulated CPU time (s) 669.72 Current children cumulated vsize (Kb) 140544 [startup+680.021 s] Raw data (loadavg): 0.99 0.93 0.59 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 35048 0 0 0 67860 112 0 0 25 0 1 0 1800631029 145600512 35014 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 35547 35014 566 18 0 35529 0 [pid=12652] vsize: 142188 Current children cumulated CPU time (s) 679.72 Current children cumulated vsize (Kb) 142188 [startup+690.021 s] Raw data (loadavg): 0.99 0.94 0.59 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 35391 0 0 0 68859 112 0 0 25 0 1 0 1800631029 147054592 35357 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 35902 35357 566 18 0 35884 0 [pid=12652] vsize: 143608 Current children cumulated CPU time (s) 689.71 Current children cumulated vsize (Kb) 143608 [startup+700.021 s] Raw data (loadavg): 0.99 0.94 0.60 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 35725 0 0 0 69856 114 0 0 25 0 1 0 1800631029 148471808 35691 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 36248 35691 566 18 0 36230 0 [pid=12652] vsize: 144992 Current children cumulated CPU time (s) 699.7 Current children cumulated vsize (Kb) 144992 [startup+710.022 s] Raw data (loadavg): 0.99 0.94 0.60 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 36034 0 0 0 70855 115 0 0 25 0 1 0 1800631029 149635072 36000 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 36532 36000 566 18 0 36514 0 [pid=12652] vsize: 146128 Current children cumulated CPU time (s) 709.7 Current children cumulated vsize (Kb) 146128 [startup+720.023 s] Raw data (loadavg): 0.99 0.94 0.60 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 36488 0 0 0 71853 116 0 0 25 0 1 0 1800631029 151584768 36454 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 37008 36454 566 18 0 36990 0 [pid=12652] vsize: 148032 Current children cumulated CPU time (s) 719.69 Current children cumulated vsize (Kb) 148032 [startup+730.024 s] Raw data (loadavg): 0.99 0.94 0.61 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 36949 0 0 0 72853 117 0 0 25 0 1 0 1800631029 153407488 36915 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 37453 36915 566 18 0 37435 0 [pid=12652] vsize: 149812 Current children cumulated CPU time (s) 729.7 Current children cumulated vsize (Kb) 149812 [startup+740.023 s] Raw data (loadavg): 0.99 0.94 0.61 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 37412 0 0 0 73851 118 0 0 25 0 1 0 1800631029 155357184 37378 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 37929 37378 566 18 0 37911 0 [pid=12652] vsize: 151716 Current children cumulated CPU time (s) 739.69 Current children cumulated vsize (Kb) 151716 [startup+750.024 s] Raw data (loadavg): 0.99 0.94 0.62 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 37846 0 0 0 74849 120 0 0 25 0 1 0 1800631029 157151232 37812 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 38367 37812 566 18 0 38349 0 [pid=12652] vsize: 153468 Current children cumulated CPU time (s) 749.69 Current children cumulated vsize (Kb) 153468 [startup+760.024 s] Raw data (loadavg): 0.99 0.95 0.62 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 38148 0 0 0 75847 121 0 0 25 0 1 0 1800631029 158326784 38114 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 38654 38114 566 18 0 38636 0 [pid=12652] vsize: 154616 Current children cumulated CPU time (s) 759.68 Current children cumulated vsize (Kb) 154616 [startup+770.024 s] Raw data (loadavg): 0.99 0.95 0.62 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 38501 0 0 0 76846 123 0 0 25 0 1 0 1800631029 159858688 38467 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 39028 38467 566 18 0 39010 0 [pid=12652] vsize: 156112 Current children cumulated CPU time (s) 769.69 Current children cumulated vsize (Kb) 156112 [startup+780.025 s] Raw data (loadavg): 0.99 0.95 0.63 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 38828 0 0 0 77845 124 0 0 25 0 1 0 1800631029 161132544 38794 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 39339 38794 566 18 0 39321 0 [pid=12652] vsize: 157356 Current children cumulated CPU time (s) 779.69 Current children cumulated vsize (Kb) 157356 [startup+790.025 s] Raw data (loadavg): 0.99 0.95 0.63 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 39078 0 0 0 78844 125 0 0 25 0 1 0 1800631029 162197504 39044 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 39599 39044 566 18 0 39581 0 [pid=12652] vsize: 158396 Current children cumulated CPU time (s) 789.69 Current children cumulated vsize (Kb) 158396 [startup+800.026 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 39385 0 0 0 79843 126 0 0 25 0 1 0 1800631029 163508224 39351 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 39919 39351 566 18 0 39901 0 [pid=12652] vsize: 159676 Current children cumulated CPU time (s) 799.69 Current children cumulated vsize (Kb) 159676 [startup+810.025 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 39625 0 0 0 80842 127 0 0 25 0 1 0 1800631029 164438016 39591 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 40146 39591 566 18 0 40128 0 [pid=12652] vsize: 160584 Current children cumulated CPU time (s) 809.69 Current children cumulated vsize (Kb) 160584 [startup+820.026 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 39827 0 0 0 81842 127 0 0 25 0 1 0 1800631029 165249024 39793 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 40344 39793 566 18 0 40326 0 [pid=12652] vsize: 161376 Current children cumulated CPU time (s) 819.69 Current children cumulated vsize (Kb) 161376 [startup+830.026 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 40076 0 0 0 82840 128 0 0 25 0 1 0 1800631029 166264832 40042 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 40592 40042 566 18 0 40574 0 [pid=12652] vsize: 162368 Current children cumulated CPU time (s) 829.68 Current children cumulated vsize (Kb) 162368 [startup+840.026 s] Raw data (loadavg): 0.99 0.95 0.65 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 40266 0 0 0 83840 129 0 0 25 0 1 0 1800631029 167059456 40232 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 40786 40232 566 18 0 40768 0 [pid=12652] vsize: 163144 Current children cumulated CPU time (s) 839.69 Current children cumulated vsize (Kb) 163144 [startup+850.027 s] Raw data (loadavg): 0.99 0.95 0.65 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 40490 0 0 0 84839 130 0 0 25 0 1 0 1800631029 167993344 40456 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 41014 40456 566 18 0 40996 0 [pid=12652] vsize: 164056 Current children cumulated CPU time (s) 849.69 Current children cumulated vsize (Kb) 164056 [startup+860.027 s] Raw data (loadavg): 0.99 0.96 0.65 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 40858 0 0 0 85838 131 0 0 25 0 1 0 1800631029 169570304 40824 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 41399 40824 566 18 0 41381 0 [pid=12652] vsize: 165596 Current children cumulated CPU time (s) 859.69 Current children cumulated vsize (Kb) 165596 [startup+870.027 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 41256 0 0 0 86836 132 0 0 25 0 1 0 1800631029 171233280 41222 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 41805 41222 566 18 0 41787 0 [pid=12652] vsize: 167220 Current children cumulated CPU time (s) 869.68 Current children cumulated vsize (Kb) 167220 [startup+880.028 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 41644 0 0 0 87835 133 0 0 25 0 1 0 1800631029 172785664 41610 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 42184 41610 566 18 0 42166 0 [pid=12652] vsize: 168736 Current children cumulated CPU time (s) 879.68 Current children cumulated vsize (Kb) 168736 [startup+890.028 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 42062 0 0 0 88833 134 0 0 25 0 1 0 1800631029 174477312 42028 4294967295 134512640 134578447 3221224624 3221223520 134520028 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 42597 42028 566 18 0 42579 0 [pid=12652] vsize: 170388 Current children cumulated CPU time (s) 889.67 Current children cumulated vsize (Kb) 170388 [startup+900.029 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 42450 0 0 0 89831 135 0 0 25 0 1 0 1800631029 176029696 42416 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 42976 42416 566 18 0 42958 0 [pid=12652] vsize: 171904 Current children cumulated CPU time (s) 899.66 Current children cumulated vsize (Kb) 171904 [startup+910.029 s] Raw data (loadavg): 0.99 0.96 0.67 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 42736 0 0 0 90830 137 0 0 25 0 1 0 1800631029 177197056 42702 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 43261 42702 566 18 0 43243 0 [pid=12652] vsize: 173044 Current children cumulated CPU time (s) 909.67 Current children cumulated vsize (Kb) 173044 [startup+920.03 s] Raw data (loadavg): 0.99 0.96 0.67 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 43096 0 0 0 91829 138 0 0 25 0 1 0 1800631029 178733056 43062 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 43636 43062 566 18 0 43618 0 [pid=12652] vsize: 174544 Current children cumulated CPU time (s) 919.67 Current children cumulated vsize (Kb) 174544 [startup+930.03 s] Raw data (loadavg): 0.99 0.96 0.67 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 43430 0 0 0 92827 139 0 0 25 0 1 0 1800631029 180015104 43396 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 43949 43396 566 18 0 43931 0 [pid=12652] vsize: 175796 Current children cumulated CPU time (s) 929.66 Current children cumulated vsize (Kb) 175796 [startup+940.03 s] Raw data (loadavg): 0.99 0.96 0.68 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 43791 0 0 0 93826 140 0 0 25 0 1 0 1800631029 181547008 43757 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 44323 43757 566 18 0 44305 0 [pid=12652] vsize: 177292 Current children cumulated CPU time (s) 939.66 Current children cumulated vsize (Kb) 177292 [startup+950.031 s] Raw data (loadavg): 0.99 0.96 0.68 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 44167 0 0 0 94825 141 0 0 25 0 1 0 1800631029 183078912 44133 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 44697 44133 566 18 0 44679 0 [pid=12652] vsize: 178788 Current children cumulated CPU time (s) 949.66 Current children cumulated vsize (Kb) 178788 [startup+960.031 s] Raw data (loadavg): 0.99 0.97 0.68 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 44556 0 0 0 95823 142 0 0 25 0 1 0 1800631029 184619008 44522 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 45073 44522 566 18 0 45055 0 [pid=12652] vsize: 180292 Current children cumulated CPU time (s) 959.65 Current children cumulated vsize (Kb) 180292 [startup+970.031 s] Raw data (loadavg): 0.99 0.97 0.69 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 44876 0 0 0 96822 142 0 0 25 0 1 0 1800631029 186032128 44842 4294967295 134512640 134578447 3221224624 3221223368 1075291826 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 45418 44842 566 18 0 45400 0 [pid=12652] vsize: 181672 Current children cumulated CPU time (s) 969.64 Current children cumulated vsize (Kb) 181672 [startup+980.031 s] Raw data (loadavg): 0.99 0.97 0.69 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 45183 0 0 0 97822 143 0 0 25 0 1 0 1800631029 187195392 45149 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 45702 45149 566 18 0 45684 0 [pid=12652] vsize: 182808 Current children cumulated CPU time (s) 979.65 Current children cumulated vsize (Kb) 182808 [startup+990.031 s] Raw data (loadavg): 0.99 0.97 0.69 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 45512 0 0 0 98820 144 0 0 25 0 1 0 1800631029 188616704 45478 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 46049 45478 566 18 0 46031 0 [pid=12652] vsize: 184196 Current children cumulated CPU time (s) 989.64 Current children cumulated vsize (Kb) 184196 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.69 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 45846 0 0 0 99819 146 0 0 25 0 1 0 1800631029 189935616 45812 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 46371 45812 566 18 0 46353 0 [pid=12652] vsize: 185484 Current children cumulated CPU time (s) 999.65 Current children cumulated vsize (Kb) 185484 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.70 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 46093 0 0 0 100818 146 0 0 25 0 1 0 1800631029 190980096 46059 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 46626 46059 566 18 0 46608 0 [pid=12652] vsize: 186504 Current children cumulated CPU time (s) 1009.64 Current children cumulated vsize (Kb) 186504 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.70 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 46317 0 0 0 101817 147 0 0 25 0 1 0 1800631029 191938560 46283 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 46860 46283 566 18 0 46842 0 [pid=12652] vsize: 187440 Current children cumulated CPU time (s) 1019.64 Current children cumulated vsize (Kb) 187440 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.70 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 46617 0 0 0 102816 148 0 0 25 0 1 0 1800631029 193236992 46583 4294967295 134512640 134578447 3221224624 3221223472 134520396 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 47177 46583 566 18 0 47159 0 [pid=12652] vsize: 188708 Current children cumulated CPU time (s) 1029.64 Current children cumulated vsize (Kb) 188708 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.71 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 46991 0 0 0 103815 149 0 0 25 0 1 0 1800631029 194797568 46957 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 47558 46957 566 18 0 47540 0 [pid=12652] vsize: 190232 Current children cumulated CPU time (s) 1039.64 Current children cumulated vsize (Kb) 190232 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.71 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 47389 0 0 0 104813 150 0 0 25 0 1 0 1800631029 196345856 47355 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 47936 47355 566 18 0 47918 0 [pid=12652] vsize: 191744 Current children cumulated CPU time (s) 1049.63 Current children cumulated vsize (Kb) 191744 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.71 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 47713 0 0 0 105812 152 0 0 25 0 1 0 1800631029 197779456 47679 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 48286 47679 566 18 0 48268 0 [pid=12652] vsize: 193144 Current children cumulated CPU time (s) 1059.64 Current children cumulated vsize (Kb) 193144 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.71 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 48054 0 0 0 106810 153 0 0 25 0 1 0 1800631029 199065600 48020 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 48600 48020 566 18 0 48582 0 [pid=12652] vsize: 194400 Current children cumulated CPU time (s) 1069.63 Current children cumulated vsize (Kb) 194400 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.72 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 48484 0 0 0 107809 154 0 0 25 0 1 0 1800631029 200851456 48450 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 49036 48450 566 18 0 49018 0 [pid=12652] vsize: 196144 Current children cumulated CPU time (s) 1079.63 Current children cumulated vsize (Kb) 196144 [startup+1090.03 s] Raw data (loadavg): 1.07 0.99 0.73 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 48772 0 0 0 108808 155 0 0 25 0 1 0 1800631029 202002432 48738 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 49317 48738 566 18 0 49299 0 [pid=12652] vsize: 197268 Current children cumulated CPU time (s) 1089.63 Current children cumulated vsize (Kb) 197268 [startup+1100.03 s] Raw data (loadavg): 1.14 1.00 0.73 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 49094 0 0 0 109807 156 0 0 25 0 1 0 1800631029 203382784 49060 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 49654 49060 566 18 0 49636 0 [pid=12652] vsize: 198616 Current children cumulated CPU time (s) 1099.63 Current children cumulated vsize (Kb) 198616 [startup+1110.04 s] Raw data (loadavg): 1.12 1.00 0.74 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 49431 0 0 0 110805 157 0 0 25 0 1 0 1800631029 204763136 49397 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 49991 49397 566 18 0 49973 0 [pid=12652] vsize: 199964 Current children cumulated CPU time (s) 1109.62 Current children cumulated vsize (Kb) 199964 [startup+1120.04 s] Raw data (loadavg): 1.10 1.00 0.74 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 49809 0 0 0 111803 158 0 0 25 0 1 0 1800631029 206249984 49775 4294967295 134512640 134578447 3221224624 3221223368 1075291826 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 50354 49775 566 18 0 50336 0 [pid=12652] vsize: 201416 Current children cumulated CPU time (s) 1119.61 Current children cumulated vsize (Kb) 201416 [startup+1130.04 s] Raw data (loadavg): 1.08 1.00 0.74 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 50217 0 0 0 112802 159 0 0 25 0 1 0 1800631029 207990784 50183 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 50779 50183 566 18 0 50761 0 [pid=12652] vsize: 203116 Current children cumulated CPU time (s) 1129.61 Current children cumulated vsize (Kb) 203116 [startup+1140.04 s] Raw data (loadavg): 1.07 1.00 0.74 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 50544 0 0 0 113801 160 0 0 25 0 1 0 1800631029 209256448 50510 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 51088 50510 566 18 0 51070 0 [pid=12652] vsize: 204352 Current children cumulated CPU time (s) 1139.61 Current children cumulated vsize (Kb) 204352 [startup+1150.04 s] Raw data (loadavg): 1.06 1.00 0.74 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 50854 0 0 0 114800 161 0 0 25 0 1 0 1800631029 210530304 50820 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 51399 50820 566 18 0 51381 0 [pid=12652] vsize: 205596 Current children cumulated CPU time (s) 1149.61 Current children cumulated vsize (Kb) 205596 [startup+1160.04 s] Raw data (loadavg): 1.05 1.00 0.75 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 51227 0 0 0 115798 162 0 0 25 0 1 0 1800631029 212037632 51193 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 51767 51193 566 18 0 51749 0 [pid=12652] vsize: 207068 Current children cumulated CPU time (s) 1159.6 Current children cumulated vsize (Kb) 207068 [startup+1170.04 s] Raw data (loadavg): 1.04 1.00 0.75 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 51512 0 0 0 116798 163 0 0 25 0 1 0 1800631029 213311488 51478 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 52078 51478 566 18 0 52060 0 [pid=12652] vsize: 208312 Current children cumulated CPU time (s) 1169.61 Current children cumulated vsize (Kb) 208312 [startup+1180.04 s] Raw data (loadavg): 1.03 1.00 0.75 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 51790 0 0 0 117796 164 0 0 25 0 1 0 1800631029 214482944 51756 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 52364 51756 566 18 0 52346 0 [pid=12652] vsize: 209456 Current children cumulated CPU time (s) 1179.6 Current children cumulated vsize (Kb) 209456 [startup+1190.04 s] Raw data (loadavg): 1.03 1.00 0.75 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 52152 0 0 0 118795 165 0 0 25 0 1 0 1800631029 215977984 52118 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 52729 52118 566 18 0 52711 0 [pid=12652] vsize: 210916 Current children cumulated CPU time (s) 1189.6 Current children cumulated vsize (Kb) 210916 [startup+1200.04 s] Raw data (loadavg): 1.02 1.00 0.75 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 52493 0 0 0 119793 166 0 0 25 0 1 0 1800631029 217329664 52459 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 53059 52459 566 18 0 53041 0 [pid=12652] vsize: 212236 Current children cumulated CPU time (s) 1199.59 Current children cumulated vsize (Kb) 212236 [startup+1210.04 s] Raw data (loadavg): 1.02 1.00 0.76 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 52769 0 0 0 120792 167 0 0 25 0 1 0 1800631029 218468352 52735 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 53337 52735 566 18 0 53319 0 [pid=12652] vsize: 213348 Current children cumulated CPU time (s) 1209.59 Current children cumulated vsize (Kb) 213348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.04 s] Raw data (loadavg): 1.02 1.00 0.76 2/56 12652 Raw data (/proc/12652/stat): 12652 (Pueblo) R 12651 12652 6872 0 -1 0 52769 0 0 0 120792 167 0 0 25 0 1 0 1800631029 218468352 52735 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12652/statm): 53337 52735 566 18 0 53319 0 [pid=12652] vsize: 213348 Current children cumulated CPU time (s) 1209.59 Current children cumulated vsize (Kb) 213348 Sending SIGTERM to -12652 Sleeping 2 seconds One traced child (pid=12652) ended because it received signal 15 (SIGTERM) All traced children have exited ! Game is over. Child ended because it received signal 15 (SIGTERM) Real time (s): 1210.14 CPU time (s): 1209.7 CPU user time (s): 1207.93 CPU system time (s): 1.76773 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (Kb): 213348
ERROR: no interpretation found !