Name | mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb |
MD5SUM | 9136d330eaa53552ba154b6915193b35 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 7560 |
Biggest coefficient in the objective function | 2097152 |
Number of bits for the biggest coefficient in the objective function | 22 |
Sum of the numbers in the objective function | 876993750 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 2097152 |
Number of bits of the biggest number in a constraint | 22 |
Biggest sum of numbers in a constraint | 876993750 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 14760 |
Total number of constraints | 1110 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 360 |
Number of constraints which are nor clauses,nor cardinality constraints | 750 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 252 |
LAUNCH ON wulflinc15 THE 2005-09-20 17:50:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5847 boxname=wulflinc15 idbench=1159 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 9136d330eaa53552ba154b6915193b35 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-tr12-30.opb REAL COMMAND: Pueblo IDLAUNCH: 5847 /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: 821452 kB Buffers: 32168 kB Cached: 150756 kB SwapCached: 744 kB Active: 76576 kB Inactive: 109036 kB HighTotal: 131008 kB HighFree: 2296 kB LowTotal: 903652 kB LowFree: 819156 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 21932 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 18:10:24 (client local time) WITH STATUS 0 IN 1200.14 SECONDS stats: 5847 7 1200.14 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/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1802233193 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 41 3 40 18 0 23 0 [pid=16888] 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.0045 s] Raw data (loadavg): 0.65 0.87 0.90 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2290 0 0 0 989 7 0 0 25 0 1 0 1802233193 11096064 2256 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 2709 2256 566 18 0 2691 0 [pid=16888] vsize: 10836 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 10836 [startup+20.0054 s] Raw data (loadavg): 0.70 0.87 0.90 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2432 0 0 0 1988 8 0 0 25 0 1 0 1802233193 11620352 2398 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 2837 2398 566 18 0 2819 0 [pid=16888] vsize: 11348 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 11348 [startup+30.0072 s] Raw data (loadavg): 0.75 0.88 0.90 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2655 0 0 0 2987 9 0 0 25 0 1 0 1802233193 12541952 2621 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3062 2621 566 18 0 3044 0 [pid=16888] vsize: 12248 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 12248 [startup+40.008 s] Raw data (loadavg): 0.79 0.88 0.90 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2655 0 0 0 3987 9 0 0 25 0 1 0 1802233193 12541952 2621 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3062 2621 566 18 0 3044 0 [pid=16888] vsize: 12248 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 12248 [startup+50.0088 s] Raw data (loadavg): 0.82 0.88 0.90 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 4987 10 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 12504 [startup+60.0096 s] Raw data (loadavg): 0.85 0.89 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 5986 10 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 12504 [startup+70.0105 s] Raw data (loadavg): 0.87 0.89 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 6986 11 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 12504 [startup+80.0123 s] Raw data (loadavg): 0.89 0.89 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 7985 12 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 12504 [startup+90.0131 s] Raw data (loadavg): 0.91 0.90 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 8985 12 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 12504 [startup+100.013 s] Raw data (loadavg): 0.92 0.90 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 9985 12 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223552 134516687 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 12504 [startup+110.014 s] Raw data (loadavg): 0.93 0.90 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 10985 13 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 12504 [startup+120.015 s] Raw data (loadavg): 0.94 0.90 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 11984 14 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 12504 [startup+130.015 s] Raw data (loadavg): 0.95 0.91 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 12983 14 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 12504 [startup+140.016 s] Raw data (loadavg): 0.96 0.91 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 13983 15 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 12504 [startup+150.017 s] Raw data (loadavg): 0.96 0.91 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 14983 15 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 12504 [startup+160.018 s] Raw data (loadavg): 0.97 0.91 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 15982 15 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 12504 [startup+170.018 s] Raw data (loadavg): 0.97 0.92 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 16982 16 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 12504 [startup+180.019 s] Raw data (loadavg): 0.98 0.92 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 17982 16 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 12504 [startup+190.02 s] Raw data (loadavg): 0.98 0.92 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 18982 17 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 12504 [startup+200.02 s] Raw data (loadavg): 0.98 0.92 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 19981 17 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 12504 [startup+210.021 s] Raw data (loadavg): 0.98 0.92 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 20981 18 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 12504 [startup+220.022 s] Raw data (loadavg): 0.99 0.93 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 21981 18 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 12504 [startup+230.023 s] Raw data (loadavg): 0.99 0.93 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 22980 18 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 229.98 Current children cumulated vsize (Kb) 12504 [startup+240.023 s] Raw data (loadavg): 0.99 0.93 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 23980 19 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223560 134519713 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 239.99 Current children cumulated vsize (Kb) 12504 [startup+250.024 s] Raw data (loadavg): 0.99 0.93 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 24979 20 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 249.99 Current children cumulated vsize (Kb) 12504 [startup+260.025 s] Raw data (loadavg): 0.99 0.93 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 25979 20 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 12504 [startup+270.026 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 26979 20 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 269.99 Current children cumulated vsize (Kb) 12504 [startup+280.028 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 27978 21 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134556791 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 279.99 Current children cumulated vsize (Kb) 12504 [startup+290.028 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 28978 21 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 289.99 Current children cumulated vsize (Kb) 12504 [startup+300.029 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 29978 22 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223504 1075289600 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 300 Current children cumulated vsize (Kb) 12504 [startup+310.03 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 30977 22 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 309.99 Current children cumulated vsize (Kb) 12504 [startup+320.031 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 31977 23 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 320 Current children cumulated vsize (Kb) 12504 [startup+330.033 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 32977 23 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223472 134520270 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 330 Current children cumulated vsize (Kb) 12504 [startup+340.034 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 33976 23 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 339.99 Current children cumulated vsize (Kb) 12504 [startup+350.034 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 34976 24 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 350 Current children cumulated vsize (Kb) 12504 [startup+360.035 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 35976 24 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223484 1075285664 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 360 Current children cumulated vsize (Kb) 12504 [startup+370.036 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 36975 25 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 370 Current children cumulated vsize (Kb) 12504 [startup+380.037 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 37975 25 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 380 Current children cumulated vsize (Kb) 12504 [startup+390.038 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 38975 25 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 390 Current children cumulated vsize (Kb) 12504 [startup+400.038 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 39975 25 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 400 Current children cumulated vsize (Kb) 12504 [startup+410.039 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 40974 26 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223584 134559057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 410 Current children cumulated vsize (Kb) 12504 [startup+420.04 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2709 0 0 0 41974 26 0 0 25 0 1 0 1802233193 12804096 2675 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2675 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 420 Current children cumulated vsize (Kb) 12504 [startup+430.041 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2720 0 0 0 42974 27 0 0 25 0 1 0 1802233193 12804096 2686 4294967295 134512640 134578447 3221224624 3221223552 134516687 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2686 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 430.01 Current children cumulated vsize (Kb) 12504 [startup+440.042 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2720 0 0 0 43973 28 0 0 25 0 1 0 1802233193 12804096 2686 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2686 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 440.01 Current children cumulated vsize (Kb) 12504 [startup+450.043 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2720 0 0 0 44972 29 0 0 25 0 1 0 1802233193 12804096 2686 4294967295 134512640 134578447 3221224624 3221223520 134519893 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2686 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 450.01 Current children cumulated vsize (Kb) 12504 [startup+460.043 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2720 0 0 0 45971 30 0 0 25 0 1 0 1802233193 12804096 2686 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2686 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 460.01 Current children cumulated vsize (Kb) 12504 [startup+470.043 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2720 0 0 0 46970 30 0 0 25 0 1 0 1802233193 12804096 2686 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2686 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 470 Current children cumulated vsize (Kb) 12504 [startup+480.044 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2720 0 0 0 47970 31 0 0 25 0 1 0 1802233193 12804096 2686 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2686 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 480.01 Current children cumulated vsize (Kb) 12504 [startup+490.045 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2720 0 0 0 48969 32 0 0 25 0 1 0 1802233193 12804096 2686 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2686 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 490.01 Current children cumulated vsize (Kb) 12504 [startup+500.045 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2720 0 0 0 49969 32 0 0 25 0 1 0 1802233193 12804096 2686 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2686 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 500.01 Current children cumulated vsize (Kb) 12504 [startup+510.045 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2720 0 0 0 50968 33 0 0 25 0 1 0 1802233193 12804096 2686 4294967295 134512640 134578447 3221224624 3221223368 1075285693 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3126 2686 566 18 0 3108 0 [pid=16888] vsize: 12504 Current children cumulated CPU time (s) 510.01 Current children cumulated vsize (Kb) 12504 [startup+520.046 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 2984 0 0 0 51966 34 0 0 25 0 1 0 1802233193 13856768 2950 4294967295 134512640 134578447 3221224624 3221223536 134556644 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3383 2950 566 18 0 3365 0 [pid=16888] vsize: 13532 Current children cumulated CPU time (s) 520 Current children cumulated vsize (Kb) 13532 [startup+530.047 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3342 0 0 0 52965 36 0 0 25 0 1 0 1802233193 15425536 3308 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3766 3308 566 18 0 3748 0 [pid=16888] vsize: 15064 Current children cumulated CPU time (s) 530.01 Current children cumulated vsize (Kb) 15064 [startup+540.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3342 0 0 0 53964 37 0 0 25 0 1 0 1802233193 15425536 3308 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3766 3308 566 18 0 3748 0 [pid=16888] vsize: 15064 Current children cumulated CPU time (s) 540.01 Current children cumulated vsize (Kb) 15064 [startup+550.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3342 0 0 0 54964 37 0 0 25 0 1 0 1802233193 15425536 3308 4294967295 134512640 134578447 3221224624 3221223584 134559078 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3766 3308 566 18 0 3748 0 [pid=16888] vsize: 15064 Current children cumulated CPU time (s) 550.01 Current children cumulated vsize (Kb) 15064 [startup+560.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3342 0 0 0 55963 38 0 0 25 0 1 0 1802233193 15425536 3308 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3766 3308 566 18 0 3748 0 [pid=16888] vsize: 15064 Current children cumulated CPU time (s) 560.01 Current children cumulated vsize (Kb) 15064 [startup+570.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 16888 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3342 0 0 0 56963 38 0 0 25 0 1 0 1802233193 15425536 3308 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 3766 3308 566 18 0 3748 0 [pid=16888] vsize: 15064 Current children cumulated CPU time (s) 570.01 Current children cumulated vsize (Kb) 15064 [startup+580.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 16889 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3342 0 0 0 57961 41 0 0 25 0 1 0 1802233193 15425536 3308 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 3766 3308 566 18 0 3748 0 [pid=16888] vsize: 15064 Current children cumulated CPU time (s) 580.02 Current children cumulated vsize (Kb) 15064 [startup+590.054 s] Raw data (loadavg): 1.07 0.99 0.91 2/56 16943 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3342 0 0 0 58961 41 0 0 25 0 1 0 1802233193 15425536 3308 4294967295 134512640 134578447 3221224624 3221223456 134528488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 3766 3308 566 18 0 3748 0 [pid=16888] vsize: 15064 Current children cumulated CPU time (s) 590.02 Current children cumulated vsize (Kb) 15064 [startup+600.055 s] Raw data (loadavg): 1.06 0.99 0.91 2/56 16943 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3591 0 0 0 59960 41 0 0 25 0 1 0 1802233193 16351232 3557 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 3992 3557 566 18 0 3974 0 [pid=16888] vsize: 15968 Current children cumulated CPU time (s) 600.01 Current children cumulated vsize (Kb) 15968 [startup+610.056 s] Raw data (loadavg): 1.05 0.99 0.91 2/56 16943 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3591 0 0 0 60961 41 0 0 25 0 1 0 1802233193 16351232 3557 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 3992 3557 566 18 0 3974 0 [pid=16888] vsize: 15968 Current children cumulated CPU time (s) 610.02 Current children cumulated vsize (Kb) 15968 [startup+620.055 s] Raw data (loadavg): 1.04 0.99 0.91 2/56 16943 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3591 0 0 0 61961 41 0 0 25 0 1 0 1802233193 16351232 3557 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 3992 3557 566 18 0 3974 0 [pid=16888] vsize: 15968 Current children cumulated CPU time (s) 620.02 Current children cumulated vsize (Kb) 15968 [startup+630.057 s] Raw data (loadavg): 1.03 0.99 0.91 2/56 16943 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3591 0 0 0 62961 41 0 0 25 0 1 0 1802233193 16351232 3557 4294967295 134512640 134578447 3221224624 3221223520 134519724 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 3992 3557 566 18 0 3974 0 [pid=16888] vsize: 15968 Current children cumulated CPU time (s) 630.02 Current children cumulated vsize (Kb) 15968 [startup+640.058 s] Raw data (loadavg): 1.03 0.99 0.91 2/56 16943 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3591 0 0 0 63961 41 0 0 25 0 1 0 1802233193 16351232 3557 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 3992 3557 566 18 0 3974 0 [pid=16888] vsize: 15968 Current children cumulated CPU time (s) 640.02 Current children cumulated vsize (Kb) 15968 [startup+650.058 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 16945 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 64961 41 0 0 25 0 1 0 1802233193 16613376 3603 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4056 3603 566 18 0 4038 0 [pid=16888] vsize: 16224 Current children cumulated CPU time (s) 650.02 Current children cumulated vsize (Kb) 16224 [startup+660.059 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 65962 41 0 0 25 0 1 0 1802233193 16613376 3603 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4056 3603 566 18 0 4038 0 [pid=16888] vsize: 16224 Current children cumulated CPU time (s) 660.03 Current children cumulated vsize (Kb) 16224 [startup+670.059 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 66962 41 0 0 25 0 1 0 1802233193 16531456 3603 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4036 3603 566 18 0 4018 0 [pid=16888] vsize: 16144 Current children cumulated CPU time (s) 670.03 Current children cumulated vsize (Kb) 16144 [startup+680.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 67962 41 0 0 25 0 1 0 1802233193 16531456 3603 4294967295 134512640 134578447 3221224624 3221223340 1075285160 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4036 3603 566 18 0 4018 0 [pid=16888] vsize: 16144 Current children cumulated CPU time (s) 680.03 Current children cumulated vsize (Kb) 16144 [startup+690.061 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 68962 41 0 0 25 0 1 0 1802233193 16531456 3603 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4036 3603 566 18 0 4018 0 [pid=16888] vsize: 16144 Current children cumulated CPU time (s) 690.03 Current children cumulated vsize (Kb) 16144 [startup+700.061 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 69962 41 0 0 25 0 1 0 1802233193 16531456 3603 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4036 3603 566 18 0 4018 0 [pid=16888] vsize: 16144 Current children cumulated CPU time (s) 700.03 Current children cumulated vsize (Kb) 16144 [startup+710.061 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 70963 41 0 0 25 0 1 0 1802233193 16531456 3603 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4036 3603 566 18 0 4018 0 [pid=16888] vsize: 16144 Current children cumulated CPU time (s) 710.04 Current children cumulated vsize (Kb) 16144 [startup+720.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 71963 41 0 0 25 0 1 0 1802233193 16531456 3603 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4036 3603 566 18 0 4018 0 [pid=16888] vsize: 16144 Current children cumulated CPU time (s) 720.04 Current children cumulated vsize (Kb) 16144 [startup+730.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 72963 41 0 0 25 0 1 0 1802233193 16531456 3603 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4036 3603 566 18 0 4018 0 [pid=16888] vsize: 16144 Current children cumulated CPU time (s) 730.04 Current children cumulated vsize (Kb) 16144 [startup+740.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3637 0 0 0 73963 41 0 0 25 0 1 0 1802233193 16531456 3603 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4036 3603 566 18 0 4018 0 [pid=16888] vsize: 16144 Current children cumulated CPU time (s) 740.04 Current children cumulated vsize (Kb) 16144 [startup+750.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 3811 0 0 0 74963 42 0 0 25 0 1 0 1802233193 17313792 3777 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4227 3777 566 18 0 4209 0 [pid=16888] vsize: 16908 Current children cumulated CPU time (s) 750.05 Current children cumulated vsize (Kb) 16908 [startup+760.062 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4415 0 0 0 75961 43 0 0 25 0 1 0 1802233193 19857408 4381 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 4848 4381 566 18 0 4830 0 [pid=16888] vsize: 19392 Current children cumulated CPU time (s) 760.04 Current children cumulated vsize (Kb) 19392 [startup+770.062 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 76959 45 0 0 25 0 1 0 1802233193 21594112 4800 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5272 4800 566 18 0 5254 0 [pid=16888] vsize: 21088 Current children cumulated CPU time (s) 770.04 Current children cumulated vsize (Kb) 21088 [startup+780.062 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 77959 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 780.04 Current children cumulated vsize (Kb) 21080 [startup+790.063 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 78960 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 790.05 Current children cumulated vsize (Kb) 21080 [startup+800.063 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 79960 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 800.05 Current children cumulated vsize (Kb) 21080 [startup+810.064 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 80960 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 810.05 Current children cumulated vsize (Kb) 21080 [startup+820.064 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 81960 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559057 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 820.05 Current children cumulated vsize (Kb) 21080 [startup+830.065 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 82960 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 830.05 Current children cumulated vsize (Kb) 21080 [startup+840.065 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 83961 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223484 134558259 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 840.06 Current children cumulated vsize (Kb) 21080 [startup+850.065 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 84961 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 850.06 Current children cumulated vsize (Kb) 21080 [startup+860.066 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 85961 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 860.06 Current children cumulated vsize (Kb) 21080 [startup+870.067 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 86961 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 870.06 Current children cumulated vsize (Kb) 21080 [startup+880.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 87962 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 880.07 Current children cumulated vsize (Kb) 21080 [startup+890.067 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 88962 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 890.07 Current children cumulated vsize (Kb) 21080 [startup+900.067 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 89962 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 900.07 Current children cumulated vsize (Kb) 21080 [startup+910.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16947 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 90962 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 910.07 Current children cumulated vsize (Kb) 21080 [startup+920.068 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 91962 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223520 134520047 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 920.07 Current children cumulated vsize (Kb) 21080 [startup+930.069 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 92963 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 930.08 Current children cumulated vsize (Kb) 21080 [startup+940.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 93963 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 940.08 Current children cumulated vsize (Kb) 21080 [startup+950.069 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 94963 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223632 134559482 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 950.08 Current children cumulated vsize (Kb) 21080 [startup+960.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 95963 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 960.08 Current children cumulated vsize (Kb) 21080 [startup+970.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 96963 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 970.08 Current children cumulated vsize (Kb) 21080 [startup+980.071 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 97964 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 980.09 Current children cumulated vsize (Kb) 21080 [startup+990.072 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 98964 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 990.09 Current children cumulated vsize (Kb) 21080 [startup+1000.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 99964 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1000.09 Current children cumulated vsize (Kb) 21080 [startup+1010.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 100964 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223520 134519771 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1010.09 Current children cumulated vsize (Kb) 21080 [startup+1020.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 101964 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1020.09 Current children cumulated vsize (Kb) 21080 [startup+1030.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 102965 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1030.1 Current children cumulated vsize (Kb) 21080 [startup+1040.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 103965 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1040.1 Current children cumulated vsize (Kb) 21080 [startup+1050.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 104965 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1050.1 Current children cumulated vsize (Kb) 21080 [startup+1060.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 105965 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1060.1 Current children cumulated vsize (Kb) 21080 [startup+1070.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 106965 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223616 1074910621 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1070.1 Current children cumulated vsize (Kb) 21080 [startup+1080.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 107964 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223280 1075288289 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1080.09 Current children cumulated vsize (Kb) 21080 [startup+1090.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 108964 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1090.09 Current children cumulated vsize (Kb) 21080 [startup+1100.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 109964 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1100.09 Current children cumulated vsize (Kb) 21080 [startup+1110.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 110965 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1110.1 Current children cumulated vsize (Kb) 21080 [startup+1120.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 111965 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1120.1 Current children cumulated vsize (Kb) 21080 [startup+1130.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 112965 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1130.1 Current children cumulated vsize (Kb) 21080 [startup+1140.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 113965 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1140.1 Current children cumulated vsize (Kb) 21080 [startup+1150.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 114966 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1150.11 Current children cumulated vsize (Kb) 21080 [startup+1160.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 115966 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1160.11 Current children cumulated vsize (Kb) 21080 [startup+1170.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 116966 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1170.11 Current children cumulated vsize (Kb) 21080 [startup+1180.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 117966 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1180.11 Current children cumulated vsize (Kb) 21080 [startup+1190.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 118967 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1190.12 Current children cumulated vsize (Kb) 21080 [startup+1200.08 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 119967 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1200.12 Current children cumulated vsize (Kb) 21080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.09 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 16949 Raw data (/proc/16888/stat): 16888 (Pueblo) R 16887 16888 31778 0 -1 0 4834 0 0 0 119967 45 0 0 25 0 1 0 1802233193 21585920 4800 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/16888/statm): 5270 4800 566 18 0 5252 0 [pid=16888] vsize: 21080 Current children cumulated CPU time (s) 1200.12 Current children cumulated vsize (Kb) 21080 Sending SIGTERM to -16888 Sleeping 2 seconds One traced child (pid=16888) 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): 1200.1 CPU time (s): 1200.14 CPU user time (s): 1199.67 CPU system time (s): 0.466929 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (Kb): 21088
ERROR: no interpretation found !