Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb |
MD5SUM | 7872170cf5be0e3f0e6be125266c16ee |
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 | 1364 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 230637 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 12800 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 879673 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 19292 |
Total number of constraints | 4170 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1403 |
Number of constraints which are nor clauses,nor cardinality constraints | 2767 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 980 |
LAUNCH ON wulflinc19 THE 2005-09-20 16:41:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5628 boxname=wulflinc19 idbench=940 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 7872170cf5be0e3f0e6be125266c16ee /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-aflow40b.opb REAL COMMAND: Pueblo IDLAUNCH: 5628 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 3 cpu MHz : 451.037 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: 840428 kB Buffers: 32324 kB Cached: 133188 kB SwapCached: 884 kB Active: 64500 kB Inactive: 103644 kB HighTotal: 131008 kB HighFree: 14672 kB LowTotal: 903652 kB LowFree: 825756 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5564 kB Slab: 20460 kB Committed_AS: 64152 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 17:01:46 (client local time) WITH STATUS 0 IN 1209.84 SECONDS stats: 5628 7 1209.84 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/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860041596 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 41 3 40 18 0 23 0 [pid=15937] 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.0044 s] Raw data (loadavg): 0.93 0.95 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 2855 0 0 0 988 9 0 0 25 0 1 0 1860041596 14290944 2821 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 3489 2821 566 18 0 3471 0 [pid=15937] vsize: 13956 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 13956 [startup+20.0052 s] Raw data (loadavg): 0.94 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 2877 0 0 0 1987 9 0 0 25 0 1 0 1860041596 14475264 2843 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 3534 2843 566 18 0 3516 0 [pid=15937] vsize: 14136 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 14136 [startup+30.005 s] Raw data (loadavg): 0.95 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 3075 0 0 0 2985 10 0 0 25 0 1 0 1860041596 15175680 3041 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 3705 3041 566 18 0 3687 0 [pid=15937] vsize: 14820 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 14820 [startup+40.0058 s] Raw data (loadavg): 0.96 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 3279 0 0 0 3984 11 0 0 25 0 1 0 1860041596 15966208 3245 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 3898 3245 566 18 0 3880 0 [pid=15937] vsize: 15592 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 15592 [startup+50.0066 s] Raw data (loadavg): 0.96 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 3721 0 0 0 4982 13 0 0 25 0 1 0 1860041596 17813504 3687 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 4349 3687 566 18 0 4331 0 [pid=15937] vsize: 17396 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 17396 [startup+60.0074 s] Raw data (loadavg): 0.97 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4009 0 0 0 5980 14 0 0 25 0 1 0 1860041596 19001344 3975 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 4639 3975 566 18 0 4621 0 [pid=15937] vsize: 18556 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 18556 [startup+70.0082 s] Raw data (loadavg): 0.97 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4261 0 0 0 6976 17 0 0 25 0 1 0 1860041596 20049920 4227 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 4895 4227 566 18 0 4877 0 [pid=15937] vsize: 19580 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 19580 [startup+80.008 s] Raw data (loadavg): 0.98 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4562 0 0 0 7974 19 0 0 25 0 1 0 1860041596 21241856 4528 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 5186 4528 566 18 0 5168 0 [pid=15937] vsize: 20744 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 20744 [startup+90.0088 s] Raw data (loadavg): 0.98 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4638 0 0 0 8974 19 0 0 25 0 1 0 1860041596 21639168 4604 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 5283 4604 566 18 0 5265 0 [pid=15937] vsize: 21132 Current children cumulated CPU time (s) 89.93 Current children cumulated vsize (Kb) 21132 [startup+100.009 s] Raw data (loadavg): 0.98 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4638 0 0 0 9973 20 0 0 25 0 1 0 1860041596 21639168 4604 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 5283 4604 566 18 0 5265 0 [pid=15937] vsize: 21132 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 21132 [startup+110.01 s] Raw data (loadavg): 0.98 0.96 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4638 0 0 0 10972 21 0 0 25 0 1 0 1860041596 21639168 4604 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 5283 4604 566 18 0 5265 0 [pid=15937] vsize: 21132 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 21132 [startup+120.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4832 0 0 0 11970 22 0 0 25 0 1 0 1860041596 22405120 4798 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 5470 4798 566 18 0 5452 0 [pid=15937] vsize: 21880 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 21880 [startup+130.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4832 0 0 0 12970 23 0 0 25 0 1 0 1860041596 22405120 4798 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 5470 4798 566 18 0 5452 0 [pid=15937] vsize: 21880 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 21880 [startup+140.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4832 0 0 0 13969 23 0 0 25 0 1 0 1860041596 22405120 4798 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 5470 4798 566 18 0 5452 0 [pid=15937] vsize: 21880 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 21880 [startup+150.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 4899 0 0 0 14968 25 0 0 25 0 1 0 1860041596 22663168 4865 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 5533 4865 566 18 0 5515 0 [pid=15937] vsize: 22132 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 22132 [startup+160.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5242 0 0 0 15966 26 0 0 25 0 1 0 1860041596 24096768 5208 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 5883 5208 566 18 0 5865 0 [pid=15937] vsize: 23532 Current children cumulated CPU time (s) 159.92 Current children cumulated vsize (Kb) 23532 [startup+170.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5398 0 0 0 16965 27 0 0 25 0 1 0 1860041596 24748032 5364 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 6042 5364 566 18 0 6024 0 [pid=15937] vsize: 24168 Current children cumulated CPU time (s) 169.92 Current children cumulated vsize (Kb) 24168 [startup+180.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5398 0 0 0 17965 27 0 0 25 0 1 0 1860041596 24748032 5364 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 6042 5364 566 18 0 6024 0 [pid=15937] vsize: 24168 Current children cumulated CPU time (s) 179.92 Current children cumulated vsize (Kb) 24168 [startup+190.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5398 0 0 0 18964 28 0 0 25 0 1 0 1860041596 24748032 5364 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 6042 5364 566 18 0 6024 0 [pid=15937] vsize: 24168 Current children cumulated CPU time (s) 189.92 Current children cumulated vsize (Kb) 24168 [startup+200.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5398 0 0 0 19964 28 0 0 25 0 1 0 1860041596 24748032 5364 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 6042 5364 566 18 0 6024 0 [pid=15937] vsize: 24168 Current children cumulated CPU time (s) 199.92 Current children cumulated vsize (Kb) 24168 [startup+210.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5525 0 0 0 20963 28 0 0 25 0 1 0 1860041596 25223168 5491 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 6158 5491 566 18 0 6140 0 [pid=15937] vsize: 24632 Current children cumulated CPU time (s) 209.91 Current children cumulated vsize (Kb) 24632 [startup+220.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 5814 0 0 0 21961 29 0 0 25 0 1 0 1860041596 26353664 5780 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 6434 5780 566 18 0 6416 0 [pid=15937] vsize: 25736 Current children cumulated CPU time (s) 219.9 Current children cumulated vsize (Kb) 25736 [startup+230.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 6028 0 0 0 22960 30 0 0 25 0 1 0 1860041596 27230208 5994 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 6648 5994 566 18 0 6630 0 [pid=15937] vsize: 26592 Current children cumulated CPU time (s) 229.9 Current children cumulated vsize (Kb) 26592 [startup+240.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 6204 0 0 0 23959 31 0 0 25 0 1 0 1860041596 27996160 6170 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 6835 6170 566 18 0 6817 0 [pid=15937] vsize: 27340 Current children cumulated CPU time (s) 239.9 Current children cumulated vsize (Kb) 27340 [startup+250.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 6501 0 0 0 24957 33 0 0 25 0 1 0 1860041596 29196288 6467 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 7128 6467 566 18 0 7110 0 [pid=15937] vsize: 28512 Current children cumulated CPU time (s) 249.9 Current children cumulated vsize (Kb) 28512 [startup+260.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 6864 0 0 0 25955 33 0 0 25 0 1 0 1860041596 30728192 6830 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 7502 6830 566 18 0 7484 0 [pid=15937] vsize: 30008 Current children cumulated CPU time (s) 259.88 Current children cumulated vsize (Kb) 30008 [startup+270.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7153 0 0 0 26954 34 0 0 25 0 1 0 1860041596 31903744 7119 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 7789 7119 566 18 0 7771 0 [pid=15937] vsize: 31156 Current children cumulated CPU time (s) 269.88 Current children cumulated vsize (Kb) 31156 [startup+280.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 27953 35 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0 [pid=15937] vsize: 32160 Current children cumulated CPU time (s) 279.88 Current children cumulated vsize (Kb) 32160 [startup+290.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 28952 35 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0 [pid=15937] vsize: 32160 Current children cumulated CPU time (s) 289.87 Current children cumulated vsize (Kb) 32160 [startup+300.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 29952 36 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0 [pid=15937] vsize: 32160 Current children cumulated CPU time (s) 299.88 Current children cumulated vsize (Kb) 32160 [startup+310.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 30951 36 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223456 134558433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0 [pid=15937] vsize: 32160 Current children cumulated CPU time (s) 309.87 Current children cumulated vsize (Kb) 32160 [startup+320.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7418 0 0 0 31951 36 0 0 25 0 1 0 1860041596 32931840 7384 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 8040 7384 566 18 0 8022 0 [pid=15937] vsize: 32160 Current children cumulated CPU time (s) 319.87 Current children cumulated vsize (Kb) 32160 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7455 0 0 0 32950 37 0 0 25 0 1 0 1860041596 33062912 7421 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 8072 7421 566 18 0 8054 0 [pid=15937] vsize: 32288 Current children cumulated CPU time (s) 329.87 Current children cumulated vsize (Kb) 32288 [startup+340.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 7784 0 0 0 33948 38 0 0 25 0 1 0 1860041596 34504704 7750 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 8424 7750 566 18 0 8406 0 [pid=15937] vsize: 33696 Current children cumulated CPU time (s) 339.86 Current children cumulated vsize (Kb) 33696 [startup+350.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 8029 0 0 0 34947 40 0 0 25 0 1 0 1860041596 35512320 7995 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 8670 7995 566 18 0 8652 0 [pid=15937] vsize: 34680 Current children cumulated CPU time (s) 349.87 Current children cumulated vsize (Kb) 34680 [startup+360.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 8266 0 0 0 35946 41 0 0 25 0 1 0 1860041596 36401152 8232 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 8887 8232 566 18 0 8869 0 [pid=15937] vsize: 35548 Current children cumulated CPU time (s) 359.87 Current children cumulated vsize (Kb) 35548 [startup+370.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 8590 0 0 0 36944 42 0 0 25 0 1 0 1860041596 37793792 8556 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 9227 8556 566 18 0 9209 0 [pid=15937] vsize: 36908 Current children cumulated CPU time (s) 369.86 Current children cumulated vsize (Kb) 36908 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 8810 0 0 0 37943 43 0 0 25 0 1 0 1860041596 38699008 8776 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 9448 8776 566 18 0 9430 0 [pid=15937] vsize: 37792 Current children cumulated CPU time (s) 379.86 Current children cumulated vsize (Kb) 37792 [startup+390.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 9106 0 0 0 38942 44 0 0 25 0 1 0 1860041596 39821312 9072 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 9722 9072 566 18 0 9704 0 [pid=15937] vsize: 38888 Current children cumulated CPU time (s) 389.86 Current children cumulated vsize (Kb) 38888 [startup+400.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 9471 0 0 0 39941 45 0 0 25 0 1 0 1860041596 41349120 9437 4294967295 134512640 134578447 3221224624 3221223340 1075285167 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10095 9437 566 18 0 10077 0 [pid=15937] vsize: 40380 Current children cumulated CPU time (s) 399.86 Current children cumulated vsize (Kb) 40380 [startup+410.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 9761 0 0 0 40939 46 0 0 25 0 1 0 1860041596 42651648 9727 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10413 9727 566 18 0 10395 0 [pid=15937] vsize: 41652 Current children cumulated CPU time (s) 409.85 Current children cumulated vsize (Kb) 41652 [startup+420.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10189 0 0 0 41936 48 0 0 25 0 1 0 1860041596 44306432 10155 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10817 10155 566 18 0 10799 0 [pid=15937] vsize: 43268 Current children cumulated CPU time (s) 419.84 Current children cumulated vsize (Kb) 43268 [startup+430.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 42936 49 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 429.85 Current children cumulated vsize (Kb) 43624 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 43936 49 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 439.85 Current children cumulated vsize (Kb) 43624 [startup+450.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 44935 49 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 449.84 Current children cumulated vsize (Kb) 43624 [startup+460.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 45934 49 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 459.83 Current children cumulated vsize (Kb) 43624 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 46934 50 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 469.84 Current children cumulated vsize (Kb) 43624 [startup+480.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 47933 50 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 479.83 Current children cumulated vsize (Kb) 43624 [startup+490.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 48933 51 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 489.84 Current children cumulated vsize (Kb) 43624 [startup+500.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 49932 51 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 499.83 Current children cumulated vsize (Kb) 43624 [startup+510.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 50932 52 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 509.84 Current children cumulated vsize (Kb) 43624 [startup+520.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 51932 52 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 519.84 Current children cumulated vsize (Kb) 43624 [startup+530.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 52931 52 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 529.83 Current children cumulated vsize (Kb) 43624 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10267 0 0 0 53931 52 0 0 25 0 1 0 1860041596 44670976 10233 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10233 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 539.83 Current children cumulated vsize (Kb) 43624 [startup+550.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10270 0 0 0 54930 53 0 0 25 0 1 0 1860041596 44670976 10236 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 10906 10236 566 18 0 10888 0 [pid=15937] vsize: 43624 Current children cumulated CPU time (s) 549.83 Current children cumulated vsize (Kb) 43624 [startup+560.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10416 0 0 0 55929 53 0 0 25 0 1 0 1860041596 45256704 10382 4294967295 134512640 134578447 3221224624 3221223488 134517843 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 11049 10382 566 18 0 11031 0 [pid=15937] vsize: 44196 Current children cumulated CPU time (s) 559.82 Current children cumulated vsize (Kb) 44196 [startup+570.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10573 0 0 0 56928 54 0 0 25 0 1 0 1860041596 45940736 10539 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 11216 10539 566 18 0 11198 0 [pid=15937] vsize: 44864 Current children cumulated CPU time (s) 569.82 Current children cumulated vsize (Kb) 44864 [startup+580.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10728 0 0 0 57928 55 0 0 25 0 1 0 1860041596 46571520 10694 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 11370 10694 566 18 0 11352 0 [pid=15937] vsize: 45480 Current children cumulated CPU time (s) 579.83 Current children cumulated vsize (Kb) 45480 [startup+590.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 10882 0 0 0 58927 55 0 0 25 0 1 0 1860041596 47190016 10848 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 11521 10848 566 18 0 11503 0 [pid=15937] vsize: 46084 Current children cumulated CPU time (s) 589.82 Current children cumulated vsize (Kb) 46084 [startup+600.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11020 0 0 0 59927 56 0 0 25 0 1 0 1860041596 47702016 10986 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 11646 10986 566 18 0 11628 0 [pid=15937] vsize: 46584 Current children cumulated CPU time (s) 599.83 Current children cumulated vsize (Kb) 46584 [startup+610.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11126 0 0 0 60926 56 0 0 25 0 1 0 1860041596 48254976 11092 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 11781 11092 566 18 0 11763 0 [pid=15937] vsize: 47124 Current children cumulated CPU time (s) 609.82 Current children cumulated vsize (Kb) 47124 [startup+620.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11339 0 0 0 61926 57 0 0 25 0 1 0 1860041596 49029120 11305 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 11970 11305 566 18 0 11952 0 [pid=15937] vsize: 47880 Current children cumulated CPU time (s) 619.83 Current children cumulated vsize (Kb) 47880 [startup+630.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11669 0 0 0 62924 58 0 0 25 0 1 0 1860041596 50384896 11635 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 12301 11635 566 18 0 12283 0 [pid=15937] vsize: 49204 Current children cumulated CPU time (s) 629.82 Current children cumulated vsize (Kb) 49204 [startup+640.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 11940 0 0 0 63924 59 0 0 25 0 1 0 1860041596 51466240 11906 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 12565 11906 566 18 0 12547 0 [pid=15937] vsize: 50260 Current children cumulated CPU time (s) 639.83 Current children cumulated vsize (Kb) 50260 [startup+650.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 12168 0 0 0 64922 59 0 0 25 0 1 0 1860041596 52506624 12134 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 12819 12134 566 18 0 12801 0 [pid=15937] vsize: 51276 Current children cumulated CPU time (s) 649.81 Current children cumulated vsize (Kb) 51276 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 12350 0 0 0 65921 60 0 0 25 0 1 0 1860041596 53157888 12316 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 12978 12316 566 18 0 12960 0 [pid=15937] vsize: 51912 Current children cumulated CPU time (s) 659.81 Current children cumulated vsize (Kb) 51912 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 12513 0 0 0 66921 60 0 0 25 0 1 0 1860041596 53805056 12479 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 13136 12479 566 18 0 13118 0 [pid=15937] vsize: 52544 Current children cumulated CPU time (s) 669.81 Current children cumulated vsize (Kb) 52544 [startup+680.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 12815 0 0 0 67920 61 0 0 25 0 1 0 1860041596 55123968 12781 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 13458 12781 566 18 0 13440 0 [pid=15937] vsize: 53832 Current children cumulated CPU time (s) 679.81 Current children cumulated vsize (Kb) 53832 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13050 0 0 0 68919 62 0 0 25 0 1 0 1860041596 56057856 13016 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 13686 13016 566 18 0 13668 0 [pid=15937] vsize: 54744 Current children cumulated CPU time (s) 689.81 Current children cumulated vsize (Kb) 54744 [startup+700.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13305 0 0 0 69918 62 0 0 25 0 1 0 1860041596 57098240 13271 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 13940 13271 566 18 0 13922 0 [pid=15937] vsize: 55760 Current children cumulated CPU time (s) 699.8 Current children cumulated vsize (Kb) 55760 [startup+710.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13513 0 0 0 70917 63 0 0 25 0 1 0 1860041596 57896960 13479 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 14135 13479 566 18 0 14117 0 [pid=15937] vsize: 56540 Current children cumulated CPU time (s) 709.8 Current children cumulated vsize (Kb) 56540 [startup+720.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13760 0 0 0 71916 64 0 0 25 0 1 0 1860041596 58966016 13726 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 14396 13726 566 18 0 14378 0 [pid=15937] vsize: 57584 Current children cumulated CPU time (s) 719.8 Current children cumulated vsize (Kb) 57584 [startup+730.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 13983 0 0 0 72916 64 0 0 25 0 1 0 1860041596 59854848 13949 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 14613 13949 566 18 0 14595 0 [pid=15937] vsize: 58452 Current children cumulated CPU time (s) 729.8 Current children cumulated vsize (Kb) 58452 [startup+740.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 14244 0 0 0 73915 65 0 0 25 0 1 0 1860041596 60997632 14210 4294967295 134512640 134578447 3221224624 3221223304 1075291632 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 14892 14210 566 18 0 14874 0 [pid=15937] vsize: 59568 Current children cumulated CPU time (s) 739.8 Current children cumulated vsize (Kb) 59568 [startup+750.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 14649 0 0 0 74913 66 0 0 25 0 1 0 1860041596 62619648 14615 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 15288 14615 566 18 0 15270 0 [pid=15937] vsize: 61152 Current children cumulated CPU time (s) 749.79 Current children cumulated vsize (Kb) 61152 [startup+760.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 14945 0 0 0 75912 67 0 0 25 0 1 0 1860041596 63836160 14911 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 15585 14911 566 18 0 15567 0 [pid=15937] vsize: 62340 Current children cumulated CPU time (s) 759.79 Current children cumulated vsize (Kb) 62340 [startup+770.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15184 0 0 0 76911 67 0 0 25 0 1 0 1860041596 64811008 15150 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 15823 15150 566 18 0 15805 0 [pid=15937] vsize: 63292 Current children cumulated CPU time (s) 769.78 Current children cumulated vsize (Kb) 63292 [startup+780.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15298 0 0 0 77911 67 0 0 25 0 1 0 1860041596 65220608 15264 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 15923 15264 566 18 0 15905 0 [pid=15937] vsize: 63692 Current children cumulated CPU time (s) 779.78 Current children cumulated vsize (Kb) 63692 [startup+790.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15364 0 0 0 78910 68 0 0 25 0 1 0 1860041596 65617920 15330 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 16020 15330 566 18 0 16002 0 [pid=15937] vsize: 64080 Current children cumulated CPU time (s) 789.78 Current children cumulated vsize (Kb) 64080 [startup+800.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15431 0 0 0 79910 68 0 0 25 0 1 0 1860041596 65888256 15397 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 16086 15397 566 18 0 16068 0 [pid=15937] vsize: 64344 Current children cumulated CPU time (s) 799.78 Current children cumulated vsize (Kb) 64344 [startup+810.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15687 0 0 0 80909 69 0 0 25 0 1 0 1860041596 66801664 15653 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 16309 15653 566 18 0 16291 0 [pid=15937] vsize: 65236 Current children cumulated CPU time (s) 809.78 Current children cumulated vsize (Kb) 65236 [startup+820.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15808 0 0 0 81908 70 0 0 25 0 1 0 1860041596 67436544 15774 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 16464 15774 566 18 0 16446 0 [pid=15937] vsize: 65856 Current children cumulated CPU time (s) 819.78 Current children cumulated vsize (Kb) 65856 [startup+830.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 15905 0 0 0 82908 70 0 0 25 0 1 0 1860041596 67764224 15871 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 16544 15871 566 18 0 16526 0 [pid=15937] vsize: 66176 Current children cumulated CPU time (s) 829.78 Current children cumulated vsize (Kb) 66176 [startup+840.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16013 0 0 0 83908 70 0 0 25 0 1 0 1860041596 68206592 15979 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 16652 15979 566 18 0 16634 0 [pid=15937] vsize: 66608 Current children cumulated CPU time (s) 839.78 Current children cumulated vsize (Kb) 66608 [startup+850.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16181 0 0 0 84907 70 0 0 25 0 1 0 1860041596 68943872 16147 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 16832 16147 566 18 0 16814 0 [pid=15937] vsize: 67328 Current children cumulated CPU time (s) 849.77 Current children cumulated vsize (Kb) 67328 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16357 0 0 0 85907 71 0 0 25 0 1 0 1860041596 69660672 16323 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15937/statm): 17007 16323 566 18 0 16989 0 [pid=15937] vsize: 68028 Current children cumulated CPU time (s) 859.78 Current children cumulated vsize (Kb) 68028 [startup+870.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16577 0 0 0 86906 71 0 0 25 0 1 0 1860041596 70471680 16543 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 17205 16543 566 18 0 17187 0 [pid=15937] vsize: 68820 Current children cumulated CPU time (s) 869.77 Current children cumulated vsize (Kb) 68820 [startup+880.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16704 0 0 0 87905 72 0 0 25 0 1 0 1860041596 71016448 16670 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 17338 16670 566 18 0 17320 0 [pid=15937] vsize: 69352 Current children cumulated CPU time (s) 879.77 Current children cumulated vsize (Kb) 69352 [startup+890.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 16890 0 0 0 88905 72 0 0 25 0 1 0 1860041596 71860224 16856 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 17544 16856 566 18 0 17526 0 [pid=15937] vsize: 70176 Current children cumulated CPU time (s) 889.77 Current children cumulated vsize (Kb) 70176 [startup+900.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17031 0 0 0 89904 72 0 0 25 0 1 0 1860041596 72323072 16997 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 17657 16997 566 18 0 17639 0 [pid=15937] vsize: 70628 Current children cumulated CPU time (s) 899.76 Current children cumulated vsize (Kb) 70628 [startup+910.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17150 0 0 0 90904 73 0 0 25 0 1 0 1860041596 72810496 17116 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 17776 17116 566 18 0 17758 0 [pid=15937] vsize: 71104 Current children cumulated CPU time (s) 909.77 Current children cumulated vsize (Kb) 71104 [startup+920.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17269 0 0 0 91904 73 0 0 25 0 1 0 1860041596 73297920 17235 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 17895 17235 566 18 0 17877 0 [pid=15937] vsize: 71580 Current children cumulated CPU time (s) 919.77 Current children cumulated vsize (Kb) 71580 [startup+930.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17381 0 0 0 92903 73 0 0 25 0 1 0 1860041596 73781248 17347 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18013 17347 566 18 0 17995 0 [pid=15937] vsize: 72052 Current children cumulated CPU time (s) 929.76 Current children cumulated vsize (Kb) 72052 [startup+940.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17502 0 0 0 93903 74 0 0 25 0 1 0 1860041596 74276864 17468 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18134 17468 566 18 0 18116 0 [pid=15937] vsize: 72536 Current children cumulated CPU time (s) 939.77 Current children cumulated vsize (Kb) 72536 [startup+950.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17642 0 0 0 94902 74 0 0 25 0 1 0 1860041596 74895360 17608 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18285 17608 566 18 0 18267 0 [pid=15937] vsize: 73140 Current children cumulated CPU time (s) 949.76 Current children cumulated vsize (Kb) 73140 [startup+960.041 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 17886 0 0 0 95901 75 0 0 25 0 1 0 1860041596 75911168 17852 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18533 17852 566 18 0 18515 0 [pid=15937] vsize: 74132 Current children cumulated CPU time (s) 959.76 Current children cumulated vsize (Kb) 74132 [startup+970.041 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18107 0 0 0 96899 76 0 0 25 0 1 0 1860041596 76840960 18073 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18760 18073 566 18 0 18742 0 [pid=15937] vsize: 75040 Current children cumulated CPU time (s) 969.75 Current children cumulated vsize (Kb) 75040 [startup+980.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 97899 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 979.75 Current children cumulated vsize (Kb) 75336 [startup+990.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 98899 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 989.75 Current children cumulated vsize (Kb) 75336 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 99899 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 999.75 Current children cumulated vsize (Kb) 75336 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 100899 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1009.75 Current children cumulated vsize (Kb) 75336 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 101900 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1019.76 Current children cumulated vsize (Kb) 75336 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 102900 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1029.76 Current children cumulated vsize (Kb) 75336 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 103900 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1039.76 Current children cumulated vsize (Kb) 75336 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 104900 76 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1049.76 Current children cumulated vsize (Kb) 75336 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 105900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1059.77 Current children cumulated vsize (Kb) 75336 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 106900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1069.77 Current children cumulated vsize (Kb) 75336 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 107900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1079.77 Current children cumulated vsize (Kb) 75336 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 108900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1089.77 Current children cumulated vsize (Kb) 75336 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/56 15937 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 109900 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1099.77 Current children cumulated vsize (Kb) 75336 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/57 15938 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 110901 77 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1109.78 Current children cumulated vsize (Kb) 75336 [startup+1120.04 s] Raw data (loadavg): 1.07 0.99 0.93 2/56 15992 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 111900 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1119.78 Current children cumulated vsize (Kb) 75336 [startup+1130.04 s] Raw data (loadavg): 1.06 0.99 0.93 2/56 15992 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 112900 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1129.78 Current children cumulated vsize (Kb) 75336 [startup+1140.05 s] Raw data (loadavg): 1.05 0.99 0.93 2/56 15992 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 113900 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1139.78 Current children cumulated vsize (Kb) 75336 [startup+1150.05 s] Raw data (loadavg): 1.04 0.99 0.93 2/56 15992 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 114900 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1149.78 Current children cumulated vsize (Kb) 75336 [startup+1160.05 s] Raw data (loadavg): 1.03 0.99 0.93 2/56 15992 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 115901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1159.79 Current children cumulated vsize (Kb) 75336 [startup+1170.05 s] Raw data (loadavg): 1.03 0.99 0.93 2/56 15992 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 116901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1169.79 Current children cumulated vsize (Kb) 75336 [startup+1180.05 s] Raw data (loadavg): 1.02 0.99 0.93 2/56 15996 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 117901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1179.79 Current children cumulated vsize (Kb) 75336 [startup+1190.05 s] Raw data (loadavg): 1.02 0.99 0.93 2/56 15996 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 118901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1189.79 Current children cumulated vsize (Kb) 75336 [startup+1200.05 s] Raw data (loadavg): 1.02 0.99 0.93 2/56 15996 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 119901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223536 134556906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1199.79 Current children cumulated vsize (Kb) 75336 [startup+1210.05 s] Raw data (loadavg): 1.01 0.99 0.93 2/56 15996 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 120901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1209.79 Current children cumulated vsize (Kb) 75336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.05 s] Raw data (loadavg): 1.01 0.99 0.93 2/56 15996 Raw data (/proc/15937/stat): 15937 (Pueblo) R 15936 15937 5929 0 -1 0 18210 0 0 0 120901 78 0 0 25 0 1 0 1860041596 77144064 18176 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15937/statm): 18834 18176 566 18 0 18816 0 [pid=15937] vsize: 75336 Current children cumulated CPU time (s) 1209.79 Current children cumulated vsize (Kb) 75336 Sending SIGTERM to -15937 Sleeping 2 seconds One traced child (pid=15937) 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.09 CPU time (s): 1209.84 CPU user time (s): 1209.02 CPU system time (s): 0.818875 CPU usage (%): 99.9795 Max. virtual memory (cumulated for all children) (Kb): 75336
ERROR: no interpretation found !