Name | submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb |
MD5SUM | a18434ce5469ba587063f7e76ce3e080 |
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 | 4500 |
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 | 4500 |
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 | 4500 |
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 | 4500 |
Total number of constraints | 72413 |
Number of constraints which are clauses | 72413 |
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 | 18 |
LAUNCH ON wulflinc15 THE 2005-09-20 13:17:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4814 boxname=wulflinc15 idbench=126 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: a18434ce5469ba587063f7e76ce3e080 /oldhome/oroussel/tmp/wulflinc15/normalized-g125.18.opb REAL COMMAND: Pueblo IDLAUNCH: 4814 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 827312 kB Buffers: 29984 kB Cached: 147228 kB SwapCached: 744 kB Active: 67368 kB Inactive: 112472 kB HighTotal: 131008 kB HighFree: 3724 kB LowTotal: 903652 kB LowFree: 823588 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 21728 kB Committed_AS: 64156 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 13:38:00 (client local time) WITH STATUS 0 IN 1209.45 SECONDS stats: 4814 7 1209.45 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/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800597572 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 41 3 40 18 0 23 0 [pid=12644] vsize: 164 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libstdc++.so.5 open syscall for file tls/i686/libstdc++.so.5 open syscall for file tls/mmx/libstdc++.so.5 open syscall for file tls/libstdc++.so.5 open syscall for file i686/mmx/libstdc++.so.5 open syscall for file i686/libstdc++.so.5 open syscall for file mmx/libstdc++.so.5 open syscall for file libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/libstdc++.so.5 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++.so.5 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 [startup+10.0033 s] Raw data (loadavg): 0.33 0.09 0.03 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 3083 0 0 0 986 9 0 0 25 0 1 0 1800597572 14610432 3049 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 3567 3049 566 18 0 3549 0 [pid=12644] vsize: 14268 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 14268 [startup+20.0041 s] Raw data (loadavg): 0.43 0.12 0.04 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 3169 0 0 0 1985 10 0 0 25 0 1 0 1800597572 14979072 3135 4294967295 134512640 134578447 3221224624 3221223536 134557217 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 3657 3135 566 18 0 3639 0 [pid=12644] vsize: 14628 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 14628 [startup+30.0049 s] Raw data (loadavg): 0.52 0.15 0.05 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 4231 0 0 0 2981 13 0 0 25 0 1 0 1800597572 19369984 4197 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 4729 4197 566 18 0 4711 0 [pid=12644] vsize: 18916 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 18916 [startup+40.0057 s] Raw data (loadavg): 0.59 0.18 0.06 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 5244 0 0 0 3975 17 0 0 25 0 1 0 1800597572 23437312 5210 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 5722 5210 566 18 0 5704 0 [pid=12644] vsize: 22888 Current children cumulated CPU time (s) 39.92 Current children cumulated vsize (Kb) 22888 [startup+50.0065 s] Raw data (loadavg): 0.65 0.21 0.07 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 6213 0 0 0 4969 21 0 0 25 0 1 0 1800597572 27471872 6179 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 6707 6179 566 18 0 6689 0 [pid=12644] vsize: 26828 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 26828 [startup+60.0073 s] Raw data (loadavg): 0.71 0.23 0.08 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 7152 0 0 0 5965 24 0 0 25 0 1 0 1800597572 31277056 7118 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 7636 7118 566 18 0 7618 0 [pid=12644] vsize: 30544 Current children cumulated CPU time (s) 59.89 Current children cumulated vsize (Kb) 30544 [startup+70.0081 s] Raw data (loadavg): 0.75 0.26 0.09 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 8107 0 0 0 6960 27 0 0 25 0 1 0 1800597572 35151872 8073 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 8582 8073 566 18 0 8564 0 [pid=12644] vsize: 34328 Current children cumulated CPU time (s) 69.87 Current children cumulated vsize (Kb) 34328 [startup+80.0089 s] Raw data (loadavg): 0.79 0.28 0.10 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 8889 0 0 0 7956 30 0 0 25 0 1 0 1800597572 38391808 8855 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 9373 8855 566 18 0 9355 0 [pid=12644] vsize: 37492 Current children cumulated CPU time (s) 79.86 Current children cumulated vsize (Kb) 37492 [startup+90.0088 s] Raw data (loadavg): 0.82 0.30 0.11 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 9760 0 0 0 8953 33 0 0 25 0 1 0 1800597572 42000384 9726 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 10254 9726 566 18 0 10236 0 [pid=12644] vsize: 41016 Current children cumulated CPU time (s) 89.86 Current children cumulated vsize (Kb) 41016 [startup+100.009 s] Raw data (loadavg): 0.85 0.33 0.12 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 10666 0 0 0 9947 37 0 0 25 0 1 0 1800597572 45740032 10632 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 11167 10632 566 18 0 11149 0 [pid=12644] vsize: 44668 Current children cumulated CPU time (s) 99.84 Current children cumulated vsize (Kb) 44668 [startup+110.009 s] Raw data (loadavg): 0.87 0.35 0.13 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 11488 0 0 0 10944 39 0 0 25 0 1 0 1800597572 49156096 11454 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 12001 11454 566 18 0 11983 0 [pid=12644] vsize: 48004 Current children cumulated CPU time (s) 109.83 Current children cumulated vsize (Kb) 48004 [startup+120.01 s] Raw data (loadavg): 0.89 0.37 0.13 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 12280 0 0 0 11941 41 0 0 25 0 1 0 1800597572 52355072 12246 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 12782 12246 566 18 0 12764 0 [pid=12644] vsize: 51128 Current children cumulated CPU time (s) 119.82 Current children cumulated vsize (Kb) 51128 [startup+130.011 s] Raw data (loadavg): 0.91 0.39 0.14 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 13245 0 0 0 12936 45 0 0 25 0 1 0 1800597572 56324096 13211 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 13751 13211 566 18 0 13733 0 [pid=12644] vsize: 55004 Current children cumulated CPU time (s) 129.81 Current children cumulated vsize (Kb) 55004 [startup+140.011 s] Raw data (loadavg): 0.92 0.41 0.15 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 14116 0 0 0 13933 47 0 0 25 0 1 0 1800597572 59797504 14082 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 14599 14082 566 18 0 14581 0 [pid=12644] vsize: 58396 Current children cumulated CPU time (s) 139.8 Current children cumulated vsize (Kb) 58396 [startup+150.012 s] Raw data (loadavg): 0.93 0.43 0.16 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 14913 0 0 0 14928 50 0 0 25 0 1 0 1800597572 63148032 14879 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 15417 14879 566 18 0 15399 0 [pid=12644] vsize: 61668 Current children cumulated CPU time (s) 149.78 Current children cumulated vsize (Kb) 61668 [startup+160.012 s] Raw data (loadavg): 0.94 0.45 0.17 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 15859 0 0 0 15924 53 0 0 25 0 1 0 1800597572 66998272 15825 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 16357 15825 566 18 0 16339 0 [pid=12644] vsize: 65428 Current children cumulated CPU time (s) 159.77 Current children cumulated vsize (Kb) 65428 [startup+170.013 s] Raw data (loadavg): 0.95 0.46 0.18 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 16631 0 0 0 16921 55 0 0 25 0 1 0 1800597572 70127616 16597 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 17121 16597 566 18 0 17103 0 [pid=12644] vsize: 68484 Current children cumulated CPU time (s) 169.76 Current children cumulated vsize (Kb) 68484 [startup+180.014 s] Raw data (loadavg): 0.96 0.48 0.19 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 17325 0 0 0 17916 58 0 0 25 0 1 0 1800597572 72978432 17291 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 17817 17291 566 18 0 17799 0 [pid=12644] vsize: 71268 Current children cumulated CPU time (s) 179.74 Current children cumulated vsize (Kb) 71268 [startup+190.014 s] Raw data (loadavg): 0.96 0.50 0.19 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 17928 0 0 0 18913 61 0 0 25 0 1 0 1800597572 75472896 17894 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 18426 17894 566 18 0 18408 0 [pid=12644] vsize: 73704 Current children cumulated CPU time (s) 189.74 Current children cumulated vsize (Kb) 73704 [startup+200.014 s] Raw data (loadavg): 0.97 0.51 0.20 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 18526 0 0 0 19910 63 0 0 25 0 1 0 1800597572 77901824 18492 4294967295 134512640 134578447 3221224624 3221223472 134520155 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/12644/statm): 19019 18492 566 18 0 19001 0 [pid=12644] vsize: 76076 Current children cumulated CPU time (s) 199.73 Current children cumulated vsize (Kb) 76076 [startup+210.014 s] Raw data (loadavg): 0.97 0.53 0.21 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 19346 0 0 0 20907 65 0 0 25 0 1 0 1800597572 81399808 19312 4294967295 134512640 134578447 3221224624 3221223520 134520040 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 19873 19312 566 18 0 19855 0 [pid=12644] vsize: 79492 Current children cumulated CPU time (s) 209.72 Current children cumulated vsize (Kb) 79492 [startup+220.015 s] Raw data (loadavg): 0.98 0.54 0.22 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 20086 0 0 0 21904 68 0 0 25 0 1 0 1800597572 84361216 20052 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 20596 20052 566 18 0 20578 0 [pid=12644] vsize: 82384 Current children cumulated CPU time (s) 219.72 Current children cumulated vsize (Kb) 82384 [startup+230.016 s] Raw data (loadavg): 0.98 0.56 0.23 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 20796 0 0 0 22901 70 0 0 25 0 1 0 1800597572 87314432 20762 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 21317 20762 566 18 0 21299 0 [pid=12644] vsize: 85268 Current children cumulated CPU time (s) 229.71 Current children cumulated vsize (Kb) 85268 [startup+240.016 s] Raw data (loadavg): 0.98 0.57 0.23 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 21504 0 0 0 23899 71 0 0 25 0 1 0 1800597572 90202112 21470 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 22022 21470 566 18 0 22004 0 [pid=12644] vsize: 88088 Current children cumulated CPU time (s) 239.7 Current children cumulated vsize (Kb) 88088 [startup+250.017 s] Raw data (loadavg): 0.98 0.59 0.24 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 22209 0 0 0 24897 73 0 0 25 0 1 0 1800597572 93118464 22175 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 22734 22175 566 18 0 22716 0 [pid=12644] vsize: 90936 Current children cumulated CPU time (s) 249.7 Current children cumulated vsize (Kb) 90936 [startup+260.016 s] Raw data (loadavg): 0.99 0.60 0.25 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 22950 0 0 0 25894 75 0 0 25 0 1 0 1800597572 96149504 22916 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 23474 22916 566 18 0 23456 0 [pid=12644] vsize: 93896 Current children cumulated CPU time (s) 259.69 Current children cumulated vsize (Kb) 93896 [startup+270.016 s] Raw data (loadavg): 0.99 0.61 0.26 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 23672 0 0 0 26892 77 0 0 25 0 1 0 1800597572 99102720 23638 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 24195 23638 566 18 0 24177 0 [pid=12644] vsize: 96780 Current children cumulated CPU time (s) 269.69 Current children cumulated vsize (Kb) 96780 [startup+280.017 s] Raw data (loadavg): 0.99 0.62 0.27 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 24370 0 0 0 27889 79 0 0 25 0 1 0 1800597572 101908480 24336 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 24880 24336 566 18 0 24862 0 [pid=12644] vsize: 99520 Current children cumulated CPU time (s) 279.68 Current children cumulated vsize (Kb) 99520 [startup+290.018 s] Raw data (loadavg): 0.99 0.64 0.27 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 25056 0 0 0 28888 80 0 0 25 0 1 0 1800597572 104730624 25022 4294967295 134512640 134578447 3221224624 3221223536 134557046 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 25569 25022 566 18 0 25551 0 [pid=12644] vsize: 102276 Current children cumulated CPU time (s) 289.68 Current children cumulated vsize (Kb) 102276 [startup+300.018 s] Raw data (loadavg): 0.99 0.65 0.28 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 25750 0 0 0 29885 82 0 0 25 0 1 0 1800597572 107565056 25716 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 26261 25717 566 18 0 26243 0 [pid=12644] vsize: 105044 Current children cumulated CPU time (s) 299.67 Current children cumulated vsize (Kb) 105044 [startup+310.019 s] Raw data (loadavg): 0.99 0.66 0.29 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 26437 0 0 0 30883 83 0 0 25 0 1 0 1800597572 110321664 26403 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 26934 26403 566 18 0 26916 0 [pid=12644] vsize: 107736 Current children cumulated CPU time (s) 309.66 Current children cumulated vsize (Kb) 107736 [startup+320.018 s] Raw data (loadavg): 0.99 0.67 0.29 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 27084 0 0 0 31881 84 0 0 25 0 1 0 1800597572 112967680 27050 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 27580 27050 566 18 0 27562 0 [pid=12644] vsize: 110320 Current children cumulated CPU time (s) 319.65 Current children cumulated vsize (Kb) 110320 [startup+330.019 s] Raw data (loadavg): 0.99 0.68 0.30 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 27631 0 0 0 32880 85 0 0 25 0 1 0 1800597572 115245056 27597 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 28136 27597 566 18 0 28118 0 [pid=12644] vsize: 112544 Current children cumulated CPU time (s) 329.65 Current children cumulated vsize (Kb) 112544 [startup+340.019 s] Raw data (loadavg): 0.99 0.69 0.31 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 28111 0 0 0 33878 86 0 0 25 0 1 0 1800597572 117268480 28077 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 28630 28077 566 18 0 28612 0 [pid=12644] vsize: 114520 Current children cumulated CPU time (s) 339.64 Current children cumulated vsize (Kb) 114520 [startup+350.02 s] Raw data (loadavg): 0.99 0.70 0.31 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 28642 0 0 0 34876 87 0 0 25 0 1 0 1800597572 119427072 28608 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 29157 28608 566 18 0 29139 0 [pid=12644] vsize: 116628 Current children cumulated CPU time (s) 349.63 Current children cumulated vsize (Kb) 116628 [startup+360.02 s] Raw data (loadavg): 0.99 0.71 0.32 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 29161 0 0 0 35873 89 0 0 25 0 1 0 1800597572 121573376 29127 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 29681 29127 566 18 0 29663 0 [pid=12644] vsize: 118724 Current children cumulated CPU time (s) 359.62 Current children cumulated vsize (Kb) 118724 [startup+370.019 s] Raw data (loadavg): 0.99 0.72 0.33 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 29699 0 0 0 36871 90 0 0 25 0 1 0 1800597572 123715584 29665 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 30204 29665 566 18 0 30186 0 [pid=12644] vsize: 120816 Current children cumulated CPU time (s) 369.61 Current children cumulated vsize (Kb) 120816 [startup+380.02 s] Raw data (loadavg): 0.99 0.73 0.33 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 30224 0 0 0 37870 92 0 0 25 0 1 0 1800597572 125820928 30190 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 30718 30190 566 18 0 30700 0 [pid=12644] vsize: 122872 Current children cumulated CPU time (s) 379.62 Current children cumulated vsize (Kb) 122872 [startup+390.021 s] Raw data (loadavg): 0.99 0.74 0.34 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 30699 0 0 0 38868 93 0 0 25 0 1 0 1800597572 127815680 30665 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 31205 30665 566 18 0 31187 0 [pid=12644] vsize: 124820 Current children cumulated CPU time (s) 389.61 Current children cumulated vsize (Kb) 124820 [startup+400.021 s] Raw data (loadavg): 0.99 0.74 0.35 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 31208 0 0 0 39866 94 0 0 25 0 1 0 1800597572 129863680 31174 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 31705 31174 566 18 0 31687 0 [pid=12644] vsize: 126820 Current children cumulated CPU time (s) 399.6 Current children cumulated vsize (Kb) 126820 [startup+410.022 s] Raw data (loadavg): 0.99 0.75 0.35 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 31769 0 0 0 40864 96 0 0 25 0 1 0 1800597572 132202496 31735 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 32276 31735 566 18 0 32258 0 [pid=12644] vsize: 129104 Current children cumulated CPU time (s) 409.6 Current children cumulated vsize (Kb) 129104 [startup+420.021 s] Raw data (loadavg): 0.99 0.76 0.36 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 32280 0 0 0 41863 97 0 0 25 0 1 0 1800597572 134320128 32246 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 32793 32246 566 18 0 32775 0 [pid=12644] vsize: 131172 Current children cumulated CPU time (s) 419.6 Current children cumulated vsize (Kb) 131172 [startup+430.022 s] Raw data (loadavg): 0.99 0.77 0.37 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 32829 0 0 0 42860 98 0 0 25 0 1 0 1800597572 136585216 32795 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 33346 32795 566 18 0 33328 0 [pid=12644] vsize: 133384 Current children cumulated CPU time (s) 429.58 Current children cumulated vsize (Kb) 133384 [startup+440.022 s] Raw data (loadavg): 0.99 0.77 0.37 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 33360 0 0 0 43858 100 0 0 25 0 1 0 1800597572 138760192 33326 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 33877 33326 566 18 0 33859 0 [pid=12644] vsize: 135508 Current children cumulated CPU time (s) 439.58 Current children cumulated vsize (Kb) 135508 [startup+450.022 s] Raw data (loadavg): 0.99 0.78 0.38 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 33809 0 0 0 44857 101 0 0 25 0 1 0 1800597572 140517376 33775 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 34306 33775 566 18 0 34288 0 [pid=12644] vsize: 137224 Current children cumulated CPU time (s) 449.58 Current children cumulated vsize (Kb) 137224 [startup+460.023 s] Raw data (loadavg): 0.99 0.79 0.39 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 34278 0 0 0 45855 102 0 0 25 0 1 0 1800597572 142426112 34244 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 34772 34244 566 18 0 34754 0 [pid=12644] vsize: 139088 Current children cumulated CPU time (s) 459.57 Current children cumulated vsize (Kb) 139088 [startup+470.022 s] Raw data (loadavg): 0.99 0.79 0.39 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 34753 0 0 0 46854 103 0 0 25 0 1 0 1800597572 144400384 34719 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 35254 34719 566 18 0 35236 0 [pid=12644] vsize: 141016 Current children cumulated CPU time (s) 469.57 Current children cumulated vsize (Kb) 141016 [startup+480.023 s] Raw data (loadavg): 0.99 0.80 0.40 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 35243 0 0 0 47852 105 0 0 25 0 1 0 1800597572 146440192 35209 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 35752 35209 566 18 0 35734 0 [pid=12644] vsize: 143008 Current children cumulated CPU time (s) 479.57 Current children cumulated vsize (Kb) 143008 [startup+490.024 s] Raw data (loadavg): 0.99 0.81 0.40 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 35794 0 0 0 48849 107 0 0 25 0 1 0 1800597572 148746240 35760 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 36315 35760 566 18 0 36297 0 [pid=12644] vsize: 145260 Current children cumulated CPU time (s) 489.56 Current children cumulated vsize (Kb) 145260 [startup+500.024 s] Raw data (loadavg): 0.99 0.81 0.41 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 36318 0 0 0 49847 109 0 0 25 0 1 0 1800597572 150835200 36284 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 36825 36284 566 18 0 36807 0 [pid=12644] vsize: 147300 Current children cumulated CPU time (s) 499.56 Current children cumulated vsize (Kb) 147300 [startup+510.024 s] Raw data (loadavg): 0.99 0.82 0.41 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 36843 0 0 0 50846 110 0 0 25 0 1 0 1800597572 153001984 36809 4294967295 134512640 134578447 3221224624 3221223364 1075289770 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 37354 36809 566 18 0 37336 0 [pid=12644] vsize: 149416 Current children cumulated CPU time (s) 509.56 Current children cumulated vsize (Kb) 149416 [startup+520.024 s] Raw data (loadavg): 0.99 0.82 0.42 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 37328 0 0 0 51844 112 0 0 25 0 1 0 1800597572 154959872 37294 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 37832 37294 566 18 0 37814 0 [pid=12644] vsize: 151328 Current children cumulated CPU time (s) 519.56 Current children cumulated vsize (Kb) 151328 [startup+530.024 s] Raw data (loadavg): 0.99 0.83 0.43 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 37771 0 0 0 52843 113 0 0 25 0 1 0 1800597572 156798976 37737 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 38281 37737 566 18 0 38263 0 [pid=12644] vsize: 153124 Current children cumulated CPU time (s) 529.56 Current children cumulated vsize (Kb) 153124 [startup+540.024 s] Raw data (loadavg): 0.99 0.83 0.43 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 38336 0 0 0 53840 115 0 0 25 0 1 0 1800597572 159059968 38302 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 38833 38302 566 18 0 38815 0 [pid=12644] vsize: 155332 Current children cumulated CPU time (s) 539.55 Current children cumulated vsize (Kb) 155332 [startup+550.024 s] Raw data (loadavg): 0.99 0.84 0.44 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 38900 0 0 0 54838 117 0 0 25 0 1 0 1800597572 161406976 38866 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 39406 38866 566 18 0 39388 0 [pid=12644] vsize: 157624 Current children cumulated CPU time (s) 549.55 Current children cumulated vsize (Kb) 157624 [startup+560.025 s] Raw data (loadavg): 0.99 0.84 0.44 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 39457 0 0 0 55836 118 0 0 25 0 1 0 1800597572 163659776 39423 4294967295 134512640 134578447 3221224624 3221223520 134520028 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 39956 39423 566 18 0 39938 0 [pid=12644] vsize: 159824 Current children cumulated CPU time (s) 559.54 Current children cumulated vsize (Kb) 159824 [startup+570.025 s] Raw data (loadavg): 0.99 0.85 0.45 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 39965 0 0 0 56833 120 0 0 25 0 1 0 1800597572 165769216 39931 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 40471 39931 566 18 0 40453 0 [pid=12644] vsize: 161884 Current children cumulated CPU time (s) 569.53 Current children cumulated vsize (Kb) 161884 [startup+580.025 s] Raw data (loadavg): 0.99 0.85 0.46 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 40501 0 0 0 57832 121 0 0 25 0 1 0 1800597572 168181760 40467 4294967295 134512640 134578447 3221224624 3221223308 1075288331 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 41060 40467 566 18 0 41042 0 [pid=12644] vsize: 164240 Current children cumulated CPU time (s) 579.53 Current children cumulated vsize (Kb) 164240 [startup+590.026 s] Raw data (loadavg): 0.99 0.86 0.46 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 41017 0 0 0 58829 123 0 0 25 0 1 0 1800597572 170332160 40983 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 41585 40983 566 18 0 41567 0 [pid=12644] vsize: 166340 Current children cumulated CPU time (s) 589.52 Current children cumulated vsize (Kb) 166340 [startup+600.026 s] Raw data (loadavg): 0.99 0.86 0.47 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 41470 0 0 0 59827 125 0 0 25 0 1 0 1800597572 172126208 41436 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 42023 41436 566 18 0 42005 0 [pid=12644] vsize: 168092 Current children cumulated CPU time (s) 599.52 Current children cumulated vsize (Kb) 168092 [startup+610.027 s] Raw data (loadavg): 0.99 0.86 0.47 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 41946 0 0 0 60824 127 0 0 25 0 1 0 1800597572 174182400 41912 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 42525 41912 566 18 0 42507 0 [pid=12644] vsize: 170100 Current children cumulated CPU time (s) 609.51 Current children cumulated vsize (Kb) 170100 [startup+620.027 s] Raw data (loadavg): 0.99 0.87 0.48 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 42401 0 0 0 61822 129 0 0 25 0 1 0 1800597572 175947776 42367 4294967295 134512640 134578447 3221224624 3221223520 134519951 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 42956 42367 566 18 0 42938 0 [pid=12644] vsize: 171824 Current children cumulated CPU time (s) 619.51 Current children cumulated vsize (Kb) 171824 [startup+630.027 s] Raw data (loadavg): 0.99 0.87 0.48 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 42845 0 0 0 62821 130 0 0 25 0 1 0 1800597572 177836032 42811 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 43417 42811 566 18 0 43399 0 [pid=12644] vsize: 173668 Current children cumulated CPU time (s) 629.51 Current children cumulated vsize (Kb) 173668 [startup+640.028 s] Raw data (loadavg): 0.99 0.88 0.49 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 43371 0 0 0 63818 132 0 0 25 0 1 0 1800597572 179904512 43337 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 43922 43337 566 18 0 43904 0 [pid=12644] vsize: 175688 Current children cumulated CPU time (s) 639.5 Current children cumulated vsize (Kb) 175688 [startup+650.028 s] Raw data (loadavg): 0.99 0.88 0.49 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 43906 0 0 0 64817 133 0 0 25 0 1 0 1800597572 182190080 43872 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 44480 43872 566 18 0 44462 0 [pid=12644] vsize: 177920 Current children cumulated CPU time (s) 649.5 Current children cumulated vsize (Kb) 177920 [startup+660.029 s] Raw data (loadavg): 0.99 0.88 0.50 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 44383 0 0 0 65815 134 0 0 25 0 1 0 1800597572 184086528 44349 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 44943 44349 566 18 0 44925 0 [pid=12644] vsize: 179772 Current children cumulated CPU time (s) 659.49 Current children cumulated vsize (Kb) 179772 [startup+670.03 s] Raw data (loadavg): 0.99 0.89 0.50 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 44940 0 0 0 66813 135 0 0 25 0 1 0 1800597572 186425344 44906 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 45514 44906 566 18 0 45496 0 [pid=12644] vsize: 182056 Current children cumulated CPU time (s) 669.48 Current children cumulated vsize (Kb) 182056 [startup+680.03 s] Raw data (loadavg): 0.99 0.89 0.50 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 45384 0 0 0 67811 137 0 0 25 0 1 0 1800597572 188227584 45350 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 45954 45350 566 18 0 45936 0 [pid=12644] vsize: 183816 Current children cumulated CPU time (s) 679.48 Current children cumulated vsize (Kb) 183816 [startup+690.03 s] Raw data (loadavg): 0.99 0.89 0.51 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 45777 0 0 0 68810 138 0 0 25 0 1 0 1800597572 189804544 45743 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 46339 45743 566 18 0 46321 0 [pid=12644] vsize: 185356 Current children cumulated CPU time (s) 689.48 Current children cumulated vsize (Kb) 185356 [startup+700.031 s] Raw data (loadavg): 0.99 0.90 0.51 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 46174 0 0 0 69808 139 0 0 25 0 1 0 1800597572 191455232 46140 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 46742 46140 566 18 0 46724 0 [pid=12644] vsize: 186968 Current children cumulated CPU time (s) 699.47 Current children cumulated vsize (Kb) 186968 [startup+710.032 s] Raw data (loadavg): 0.99 0.90 0.52 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 46607 0 0 0 70806 142 0 0 25 0 1 0 1800597572 193216512 46573 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 47172 46573 566 18 0 47154 0 [pid=12644] vsize: 188688 Current children cumulated CPU time (s) 709.48 Current children cumulated vsize (Kb) 188688 [startup+720.032 s] Raw data (loadavg): 0.99 0.90 0.52 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 46983 0 0 0 71804 143 0 0 25 0 1 0 1800597572 194732032 46949 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 47542 46949 566 18 0 47524 0 [pid=12644] vsize: 190168 Current children cumulated CPU time (s) 719.47 Current children cumulated vsize (Kb) 190168 [startup+730.033 s] Raw data (loadavg): 0.99 0.90 0.53 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 47347 0 0 0 72803 143 0 0 25 0 1 0 1800597572 196276224 47313 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 47919 47313 566 18 0 47901 0 [pid=12644] vsize: 191676 Current children cumulated CPU time (s) 729.46 Current children cumulated vsize (Kb) 191676 [startup+740.033 s] Raw data (loadavg): 0.99 0.91 0.53 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 47646 0 0 0 73802 144 0 0 25 0 1 0 1800597572 197554176 47612 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 48231 47612 566 18 0 48213 0 [pid=12644] vsize: 192924 Current children cumulated CPU time (s) 739.46 Current children cumulated vsize (Kb) 192924 [startup+750.033 s] Raw data (loadavg): 0.99 0.91 0.54 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 47959 0 0 0 74800 146 0 0 25 0 1 0 1800597572 198864896 47925 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 48551 47925 566 18 0 48533 0 [pid=12644] vsize: 194204 Current children cumulated CPU time (s) 749.46 Current children cumulated vsize (Kb) 194204 [startup+760.034 s] Raw data (loadavg): 0.99 0.91 0.54 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 48350 0 0 0 75799 147 0 0 25 0 1 0 1800597572 200396800 48316 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 48925 48316 566 18 0 48907 0 [pid=12644] vsize: 195700 Current children cumulated CPU time (s) 759.46 Current children cumulated vsize (Kb) 195700 [startup+770.035 s] Raw data (loadavg): 0.99 0.91 0.55 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 48697 0 0 0 76798 148 0 0 25 0 1 0 1800597572 201838592 48663 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 49277 48663 566 18 0 49259 0 [pid=12644] vsize: 197108 Current children cumulated CPU time (s) 769.46 Current children cumulated vsize (Kb) 197108 [startup+780.036 s] Raw data (loadavg): 0.99 0.92 0.55 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 49021 0 0 0 77796 149 0 0 25 0 1 0 1800597572 203235328 48987 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 49618 48987 566 18 0 49600 0 [pid=12644] vsize: 198472 Current children cumulated CPU time (s) 779.45 Current children cumulated vsize (Kb) 198472 [startup+790.036 s] Raw data (loadavg): 0.99 0.92 0.56 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 49386 0 0 0 78795 150 0 0 25 0 1 0 1800597572 204722176 49352 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 49981 49352 566 18 0 49963 0 [pid=12644] vsize: 199924 Current children cumulated CPU time (s) 789.45 Current children cumulated vsize (Kb) 199924 [startup+800.036 s] Raw data (loadavg): 0.99 0.92 0.56 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 49730 0 0 0 79794 151 0 0 25 0 1 0 1800597572 206118912 49696 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 50322 49696 566 18 0 50304 0 [pid=12644] vsize: 201288 Current children cumulated CPU time (s) 799.45 Current children cumulated vsize (Kb) 201288 [startup+810.037 s] Raw data (loadavg): 0.99 0.92 0.56 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 50051 0 0 0 80794 152 0 0 25 0 1 0 1800597572 207384576 50017 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 50631 50017 566 18 0 50613 0 [pid=12644] vsize: 202524 Current children cumulated CPU time (s) 809.46 Current children cumulated vsize (Kb) 202524 [startup+820.037 s] Raw data (loadavg): 0.99 0.92 0.57 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 50371 0 0 0 81792 153 0 0 25 0 1 0 1800597572 208760832 50337 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 50967 50337 566 18 0 50949 0 [pid=12644] vsize: 203868 Current children cumulated CPU time (s) 819.45 Current children cumulated vsize (Kb) 203868 [startup+830.038 s] Raw data (loadavg): 0.99 0.93 0.57 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 50712 0 0 0 82791 154 0 0 25 0 1 0 1800597572 210149376 50678 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 51306 50678 566 18 0 51288 0 [pid=12644] vsize: 205224 Current children cumulated CPU time (s) 829.45 Current children cumulated vsize (Kb) 205224 [startup+840.038 s] Raw data (loadavg): 0.99 0.93 0.58 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 51023 0 0 0 83791 154 0 0 25 0 1 0 1800597572 211427328 50989 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 51618 50989 566 18 0 51600 0 [pid=12644] vsize: 206472 Current children cumulated CPU time (s) 839.45 Current children cumulated vsize (Kb) 206472 [startup+850.038 s] Raw data (loadavg): 0.99 0.93 0.58 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 51356 0 0 0 84790 155 0 0 25 0 1 0 1800597572 212713472 51322 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 51932 51322 566 18 0 51914 0 [pid=12644] vsize: 207728 Current children cumulated CPU time (s) 849.45 Current children cumulated vsize (Kb) 207728 [startup+860.039 s] Raw data (loadavg): 0.99 0.93 0.58 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 51723 0 0 0 85789 156 0 0 25 0 1 0 1800597572 214253568 51689 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 52308 51689 566 18 0 52290 0 [pid=12644] vsize: 209232 Current children cumulated CPU time (s) 859.45 Current children cumulated vsize (Kb) 209232 [startup+870.039 s] Raw data (loadavg): 0.99 0.93 0.59 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 52113 0 0 0 86787 157 0 0 25 0 1 0 1800597572 215920640 52079 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 52715 52079 566 18 0 52697 0 [pid=12644] vsize: 210860 Current children cumulated CPU time (s) 869.44 Current children cumulated vsize (Kb) 210860 [startup+880.04 s] Raw data (loadavg): 0.99 0.94 0.59 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 52472 0 0 0 87786 158 0 0 25 0 1 0 1800597572 217300992 52438 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 53052 52438 566 18 0 53034 0 [pid=12644] vsize: 212208 Current children cumulated CPU time (s) 879.44 Current children cumulated vsize (Kb) 212208 [startup+890.04 s] Raw data (loadavg): 0.99 0.94 0.60 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 52778 0 0 0 88785 159 0 0 25 0 1 0 1800597572 218574848 52744 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 53363 52744 566 18 0 53345 0 [pid=12644] vsize: 213452 Current children cumulated CPU time (s) 889.44 Current children cumulated vsize (Kb) 213452 [startup+900.04 s] Raw data (loadavg): 0.99 0.94 0.60 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 53116 0 0 0 89784 160 0 0 25 0 1 0 1800597572 219963392 53082 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 53702 53082 566 18 0 53684 0 [pid=12644] vsize: 214808 Current children cumulated CPU time (s) 899.44 Current children cumulated vsize (Kb) 214808 [startup+910.041 s] Raw data (loadavg): 0.99 0.94 0.60 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 53520 0 0 0 90782 161 0 0 25 0 1 0 1800597572 221585408 53486 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 54098 53486 566 18 0 54080 0 [pid=12644] vsize: 216392 Current children cumulated CPU time (s) 909.43 Current children cumulated vsize (Kb) 216392 [startup+920.041 s] Raw data (loadavg): 0.99 0.94 0.61 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 54010 0 0 0 91781 162 0 0 25 0 1 0 1800597572 223604736 53976 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 54591 53976 566 18 0 54573 0 [pid=12644] vsize: 218364 Current children cumulated CPU time (s) 919.43 Current children cumulated vsize (Kb) 218364 [startup+930.042 s] Raw data (loadavg): 0.99 0.94 0.61 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 54445 0 0 0 92780 163 0 0 25 0 1 0 1800597572 225370112 54411 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 55022 54411 566 18 0 55004 0 [pid=12644] vsize: 220088 Current children cumulated CPU time (s) 929.43 Current children cumulated vsize (Kb) 220088 [startup+940.043 s] Raw data (loadavg): 0.99 0.94 0.61 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 54914 0 0 0 93778 165 0 0 25 0 1 0 1800597572 227364864 54880 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 55509 54880 566 18 0 55491 0 [pid=12644] vsize: 222036 Current children cumulated CPU time (s) 939.43 Current children cumulated vsize (Kb) 222036 [startup+950.043 s] Raw data (loadavg): 0.99 0.95 0.62 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 55456 0 0 0 94776 166 0 0 25 0 1 0 1800597572 229494784 55422 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 56029 55422 566 18 0 56011 0 [pid=12644] vsize: 224116 Current children cumulated CPU time (s) 949.42 Current children cumulated vsize (Kb) 224116 [startup+960.043 s] Raw data (loadavg): 0.99 0.95 0.62 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 55919 0 0 0 95775 167 0 0 25 0 1 0 1800597572 231411712 55885 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 56497 55885 566 18 0 56479 0 [pid=12644] vsize: 225988 Current children cumulated CPU time (s) 959.42 Current children cumulated vsize (Kb) 225988 [startup+970.043 s] Raw data (loadavg): 0.99 0.95 0.63 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 56406 0 0 0 96773 168 0 0 25 0 1 0 1800597572 233410560 56372 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 56985 56372 566 18 0 56967 0 [pid=12644] vsize: 227940 Current children cumulated CPU time (s) 969.41 Current children cumulated vsize (Kb) 227940 [startup+980.044 s] Raw data (loadavg): 0.99 0.95 0.63 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 56897 0 0 0 97772 169 0 0 25 0 1 0 1800597572 235429888 56863 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 57478 56863 566 18 0 57460 0 [pid=12644] vsize: 229912 Current children cumulated CPU time (s) 979.41 Current children cumulated vsize (Kb) 229912 [startup+990.044 s] Raw data (loadavg): 0.99 0.95 0.63 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 57315 0 0 0 98771 169 0 0 25 0 1 0 1800597572 237211648 57281 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 57913 57281 566 18 0 57895 0 [pid=12644] vsize: 231652 Current children cumulated CPU time (s) 989.4 Current children cumulated vsize (Kb) 231652 [startup+1000.04 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 57726 0 0 0 99770 171 0 0 25 0 1 0 1800597572 238874624 57692 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 58319 57692 566 18 0 58301 0 [pid=12644] vsize: 233276 Current children cumulated CPU time (s) 999.41 Current children cumulated vsize (Kb) 233276 [startup+1010.04 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 58175 0 0 0 100767 172 0 0 25 0 1 0 1800597572 240648192 58141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 58752 58141 566 18 0 58734 0 [pid=12644] vsize: 235008 Current children cumulated CPU time (s) 1009.39 Current children cumulated vsize (Kb) 235008 [startup+1020.04 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 58571 0 0 0 101767 173 0 0 25 0 1 0 1800597572 242262016 58537 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 59146 58537 566 18 0 59128 0 [pid=12644] vsize: 236584 Current children cumulated CPU time (s) 1019.4 Current children cumulated vsize (Kb) 236584 [startup+1030.05 s] Raw data (loadavg): 0.99 0.95 0.65 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 59037 0 0 0 102765 174 0 0 25 0 1 0 1800597572 244264960 59003 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 59635 59003 566 18 0 59617 0 [pid=12644] vsize: 238540 Current children cumulated CPU time (s) 1029.39 Current children cumulated vsize (Kb) 238540 [startup+1040.05 s] Raw data (loadavg): 0.99 0.95 0.65 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 59485 0 0 0 103764 175 0 0 25 0 1 0 1800597572 246018048 59451 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 60063 59451 566 18 0 60045 0 [pid=12644] vsize: 240252 Current children cumulated CPU time (s) 1039.39 Current children cumulated vsize (Kb) 240252 [startup+1050.05 s] Raw data (loadavg): 0.99 0.96 0.65 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 59918 0 0 0 104762 176 0 0 25 0 1 0 1800597572 247771136 59884 4294967295 134512640 134578447 3221224624 3221223520 134520053 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 60491 59884 566 18 0 60473 0 [pid=12644] vsize: 241964 Current children cumulated CPU time (s) 1049.38 Current children cumulated vsize (Kb) 241964 [startup+1060.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 60363 0 0 0 105760 177 0 0 25 0 1 0 1800597572 249626624 60329 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 60944 60329 566 18 0 60926 0 [pid=12644] vsize: 243776 Current children cumulated CPU time (s) 1059.37 Current children cumulated vsize (Kb) 243776 [startup+1070.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 60824 0 0 0 106759 179 0 0 25 0 1 0 1800597572 251523072 60790 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 61407 60790 566 18 0 61389 0 [pid=12644] vsize: 245628 Current children cumulated CPU time (s) 1069.38 Current children cumulated vsize (Kb) 245628 [startup+1080.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 61220 0 0 0 107757 180 0 0 25 0 1 0 1800597572 253145088 61186 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 61803 61186 566 18 0 61785 0 [pid=12644] vsize: 247212 Current children cumulated CPU time (s) 1079.37 Current children cumulated vsize (Kb) 247212 [startup+1090.05 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 61653 0 0 0 108755 182 0 0 25 0 1 0 1800597572 254922752 61619 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 62237 61619 566 18 0 62219 0 [pid=12644] vsize: 248948 Current children cumulated CPU time (s) 1089.37 Current children cumulated vsize (Kb) 248948 [startup+1100.05 s] Raw data (loadavg): 0.99 0.96 0.67 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 62115 0 0 0 109752 184 0 0 25 0 1 0 1800597572 256806912 62081 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 62697 62081 566 18 0 62679 0 [pid=12644] vsize: 250788 Current children cumulated CPU time (s) 1099.36 Current children cumulated vsize (Kb) 250788 [startup+1110.05 s] Raw data (loadavg): 0.99 0.96 0.67 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 62512 0 0 0 110752 184 0 0 25 0 1 0 1800597572 258449408 62478 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 63098 62478 566 18 0 63080 0 [pid=12644] vsize: 252392 Current children cumulated CPU time (s) 1109.36 Current children cumulated vsize (Kb) 252392 [startup+1120.05 s] Raw data (loadavg): 0.99 0.96 0.67 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 63022 0 0 0 111750 186 0 0 25 0 1 0 1800597572 260567040 62988 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 63615 62988 566 18 0 63597 0 [pid=12644] vsize: 254460 Current children cumulated CPU time (s) 1119.36 Current children cumulated vsize (Kb) 254460 [startup+1130.05 s] Raw data (loadavg): 0.99 0.96 0.68 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 63444 0 0 0 112748 187 0 0 25 0 1 0 1800597572 262230016 63410 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 64021 63410 566 18 0 64003 0 [pid=12644] vsize: 256084 Current children cumulated CPU time (s) 1129.35 Current children cumulated vsize (Kb) 256084 [startup+1140.05 s] Raw data (loadavg): 0.99 0.96 0.68 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 63883 0 0 0 113747 188 0 0 25 0 1 0 1800597572 264097792 63849 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 64477 63849 566 18 0 64459 0 [pid=12644] vsize: 257908 Current children cumulated CPU time (s) 1139.35 Current children cumulated vsize (Kb) 257908 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.68 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 64273 0 0 0 114746 189 0 0 25 0 1 0 1800597572 265613312 64239 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 64847 64239 566 18 0 64829 0 [pid=12644] vsize: 259388 Current children cumulated CPU time (s) 1149.35 Current children cumulated vsize (Kb) 259388 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.68 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 64681 0 0 0 115744 190 0 0 25 0 1 0 1800597572 267333632 64647 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 65267 64647 566 18 0 65249 0 [pid=12644] vsize: 261068 Current children cumulated CPU time (s) 1159.34 Current children cumulated vsize (Kb) 261068 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.69 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 65192 0 0 0 116741 192 0 0 25 0 1 0 1800597572 269459456 65158 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 65786 65158 566 18 0 65768 0 [pid=12644] vsize: 263144 Current children cumulated CPU time (s) 1169.33 Current children cumulated vsize (Kb) 263144 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.69 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 65662 0 0 0 117740 193 0 0 25 0 1 0 1800597572 271347712 65628 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 66247 65628 566 18 0 66229 0 [pid=12644] vsize: 264988 Current children cumulated CPU time (s) 1179.33 Current children cumulated vsize (Kb) 264988 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.69 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 65977 0 0 0 118739 194 0 0 25 0 1 0 1800597572 272596992 65943 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 66552 65943 566 18 0 66534 0 [pid=12644] vsize: 266208 Current children cumulated CPU time (s) 1189.33 Current children cumulated vsize (Kb) 266208 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.70 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 66368 0 0 0 119736 196 0 0 25 0 1 0 1800597572 274259968 66334 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 66958 66334 566 18 0 66940 0 [pid=12644] vsize: 267832 Current children cumulated CPU time (s) 1199.32 Current children cumulated vsize (Kb) 267832 [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.70 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 66725 0 0 0 120734 198 0 0 25 0 1 0 1800597572 275640320 66691 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 67295 66691 566 18 0 67277 0 [pid=12644] vsize: 269180 Current children cumulated CPU time (s) 1209.32 Current children cumulated vsize (Kb) 269180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.70 2/56 12644 Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 66725 0 0 0 120734 198 0 0 25 0 1 0 1800597572 275640320 66691 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12644/statm): 67295 66691 566 18 0 67277 0 [pid=12644] vsize: 269180 Current children cumulated CPU time (s) 1209.32 Current children cumulated vsize (Kb) 269180 Sending SIGTERM to -12644 Sleeping 2 seconds One traced child (pid=12644) 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.18 CPU time (s): 1209.45 CPU user time (s): 1207.35 CPU system time (s): 2.10468 CPU usage (%): 99.9399 Max. virtual memory (cumulated for all children) (Kb): 269180
ERROR: no interpretation found !