Name | web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb |
MD5SUM | 552cc7fcebca47ae66a3cb1c13679513 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 103 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 4602 |
Total number of constraints | 34781 |
Number of constraints which are clauses | 29160 |
Number of constraints which are cardinality constraints (but not clauses) | 5543 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
LAUNCH ON wulflinc10 THE 2005-09-20 15:16:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5078 boxname=wulflinc10 idbench=390 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 552cc7fcebca47ae66a3cb1c13679513 /oldhome/oroussel/tmp/wulflinc10/normalized-ppp:1-11,19,21.opb REAL COMMAND: Pueblo IDLAUNCH: 5078 /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: 742384 kB Buffers: 39336 kB Cached: 225228 kB SwapCached: 228 kB Active: 86124 kB Inactive: 181396 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 742132 kB SwapTotal: 2097136 kB SwapFree: 2096756 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6292 kB Slab: 19076 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 15:36:44 (client local time) WITH STATUS 0 IN 1200.14 SECONDS stats: 5078 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/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801357439 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22804/statm): 41 3 40 18 0 23 0 [pid=22804] 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.0027 s] Raw data (loadavg): 0.93 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 2103 0 0 0 990 6 0 0 25 0 1 0 1801357439 10448896 2069 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22804/statm): 2551 2069 566 18 0 2533 0 [pid=22804] vsize: 10204 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 10204 [startup+20.0043 s] Raw data (loadavg): 0.94 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 3194 0 0 0 1985 9 0 0 25 0 1 0 1801357439 15003648 3160 4294967295 134512640 134578447 3221224624 3221223464 1075285089 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22804/statm): 3663 3160 566 18 0 3645 0 [pid=22804] vsize: 14652 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 14652 [startup+30.0048 s] Raw data (loadavg): 0.95 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 3857 0 0 0 2983 11 0 0 25 0 1 0 1801357439 17813504 3823 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 4349 3823 566 18 0 4331 0 [pid=22804] vsize: 17396 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 17396 [startup+40.0044 s] Raw data (loadavg): 0.96 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 4766 0 0 0 3979 14 0 0 25 0 1 0 1801357439 21450752 4732 4294967295 134512640 134578447 3221224624 3221223476 134555729 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 5237 4732 566 18 0 5219 0 [pid=22804] vsize: 20948 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 20948 [startup+50.0049 s] Raw data (loadavg): 0.96 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 5680 0 0 0 4977 16 0 0 25 0 1 0 1801357439 25202688 5646 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 6153 5646 566 18 0 6135 0 [pid=22804] vsize: 24612 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 24612 [startup+60.0045 s] Raw data (loadavg): 0.97 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 6544 0 0 0 5974 18 0 0 25 0 1 0 1801357439 28798976 6510 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 7031 6510 566 18 0 7013 0 [pid=22804] vsize: 28124 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (Kb) 28124 [startup+70.0051 s] Raw data (loadavg): 0.97 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 6971 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223456 134558462 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0 [pid=22804] vsize: 30868 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 30868 [startup+80.0056 s] Raw data (loadavg): 0.98 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 7971 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0 [pid=22804] vsize: 30868 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 30868 [startup+90.0052 s] Raw data (loadavg): 0.98 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 8972 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0 [pid=22804] vsize: 30868 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 30868 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 9972 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0 [pid=22804] vsize: 30868 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 30868 [startup+110.006 s] Raw data (loadavg): 0.98 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7220 0 0 0 10972 20 0 0 25 0 1 0 1801357439 31608832 7186 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 7717 7186 566 18 0 7699 0 [pid=22804] vsize: 30868 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 30868 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 7684 0 0 0 11971 21 0 0 25 0 1 0 1801357439 33456128 7650 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 8168 7650 566 18 0 8150 0 [pid=22804] vsize: 32672 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 32672 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 8285 0 0 0 12969 23 0 0 25 0 1 0 1801357439 35946496 8251 4294967295 134512640 134578447 3221224624 3221223520 134519771 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 8776 8251 566 18 0 8758 0 [pid=22804] vsize: 35104 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 35104 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 8831 0 0 0 13967 24 0 0 25 0 1 0 1801357439 38174720 8797 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9320 8797 566 18 0 9302 0 [pid=22804] vsize: 37280 Current children cumulated CPU time (s) 139.91 Current children cumulated vsize (Kb) 37280 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9015 0 0 0 14966 25 0 0 25 0 1 0 1801357439 38965248 8981 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9513 8981 566 18 0 9495 0 [pid=22804] vsize: 38052 Current children cumulated CPU time (s) 149.91 Current children cumulated vsize (Kb) 38052 [startup+160.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 15966 25 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0 [pid=22804] vsize: 38052 Current children cumulated CPU time (s) 159.91 Current children cumulated vsize (Kb) 38052 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 16967 25 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0 [pid=22804] vsize: 38052 Current children cumulated CPU time (s) 169.92 Current children cumulated vsize (Kb) 38052 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 17967 25 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0 [pid=22804] vsize: 38052 Current children cumulated CPU time (s) 179.92 Current children cumulated vsize (Kb) 38052 [startup+190.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 18967 25 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0 [pid=22804] vsize: 38052 Current children cumulated CPU time (s) 189.92 Current children cumulated vsize (Kb) 38052 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 19966 26 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0 [pid=22804] vsize: 38052 Current children cumulated CPU time (s) 199.92 Current children cumulated vsize (Kb) 38052 [startup+210.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9016 0 0 0 20965 27 0 0 25 0 1 0 1801357439 38965248 8982 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9513 8982 566 18 0 9495 0 [pid=22804] vsize: 38052 Current children cumulated CPU time (s) 209.92 Current children cumulated vsize (Kb) 38052 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9017 0 0 0 21965 27 0 0 25 0 1 0 1801357439 38965248 8983 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9513 8983 566 18 0 9495 0 [pid=22804] vsize: 38052 Current children cumulated CPU time (s) 219.92 Current children cumulated vsize (Kb) 38052 [startup+230.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9017 0 0 0 22966 27 0 0 25 0 1 0 1801357439 38965248 8983 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9513 8983 566 18 0 9495 0 [pid=22804] vsize: 38052 Current children cumulated CPU time (s) 229.93 Current children cumulated vsize (Kb) 38052 [startup+240.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9171 0 0 0 23965 28 0 0 25 0 1 0 1801357439 39505920 9137 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 9645 9137 566 18 0 9627 0 [pid=22804] vsize: 38580 Current children cumulated CPU time (s) 239.93 Current children cumulated vsize (Kb) 38580 [startup+250.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 9859 0 0 0 24964 29 0 0 25 0 1 0 1801357439 42340352 9825 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 10337 9825 566 18 0 10319 0 [pid=22804] vsize: 41348 Current children cumulated CPU time (s) 249.93 Current children cumulated vsize (Kb) 41348 [startup+260.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10512 0 0 0 25961 32 0 0 25 0 1 0 1801357439 45064192 10478 4294967295 134512640 134578447 3221224624 3221223192 1075289077 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11002 10478 566 18 0 10984 0 [pid=22804] vsize: 44008 Current children cumulated CPU time (s) 259.93 Current children cumulated vsize (Kb) 44008 [startup+270.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10896 0 0 0 26960 32 0 0 25 0 1 0 1801357439 46739456 10862 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10862 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 269.92 Current children cumulated vsize (Kb) 45644 [startup+280.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 27960 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 279.93 Current children cumulated vsize (Kb) 45644 [startup+290.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 28960 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 289.93 Current children cumulated vsize (Kb) 45644 [startup+300.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 29961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527761 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 299.94 Current children cumulated vsize (Kb) 45644 [startup+310.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 30961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 309.94 Current children cumulated vsize (Kb) 45644 [startup+320.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 31961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 319.94 Current children cumulated vsize (Kb) 45644 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 32961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 329.94 Current children cumulated vsize (Kb) 45644 [startup+340.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 33961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 339.94 Current children cumulated vsize (Kb) 45644 [startup+350.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 34961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 349.94 Current children cumulated vsize (Kb) 45644 [startup+360.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 35961 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 359.94 Current children cumulated vsize (Kb) 45644 [startup+370.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 10897 0 0 0 36962 33 0 0 25 0 1 0 1801357439 46739456 10863 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 11411 10863 566 18 0 11393 0 [pid=22804] vsize: 45644 Current children cumulated CPU time (s) 369.95 Current children cumulated vsize (Kb) 45644 [startup+380.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11543 0 0 0 37960 35 0 0 25 0 1 0 1801357439 49373184 11509 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12054 11509 566 18 0 12036 0 [pid=22804] vsize: 48216 Current children cumulated CPU time (s) 379.95 Current children cumulated vsize (Kb) 48216 [startup+390.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11546 0 0 0 38960 35 0 0 25 0 1 0 1801357439 49504256 11512 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12086 11512 566 18 0 12068 0 [pid=22804] vsize: 48344 Current children cumulated CPU time (s) 389.95 Current children cumulated vsize (Kb) 48344 [startup+400.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11546 0 0 0 39960 35 0 0 25 0 1 0 1801357439 49504256 11512 4294967295 134512640 134578447 3221224624 3221223368 1075285846 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12086 11512 566 18 0 12068 0 [pid=22804] vsize: 48344 Current children cumulated CPU time (s) 399.95 Current children cumulated vsize (Kb) 48344 [startup+410.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11547 0 0 0 40960 35 0 0 25 0 1 0 1801357439 49504256 11513 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12086 11513 566 18 0 12068 0 [pid=22804] vsize: 48344 Current children cumulated CPU time (s) 409.95 Current children cumulated vsize (Kb) 48344 [startup+420.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11548 0 0 0 41960 35 0 0 25 0 1 0 1801357439 49504256 11514 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12086 11514 566 18 0 12068 0 [pid=22804] vsize: 48344 Current children cumulated CPU time (s) 419.95 Current children cumulated vsize (Kb) 48344 [startup+430.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11552 0 0 0 42961 35 0 0 25 0 1 0 1801357439 49504256 11518 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12086 11518 566 18 0 12068 0 [pid=22804] vsize: 48344 Current children cumulated CPU time (s) 429.96 Current children cumulated vsize (Kb) 48344 [startup+440.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11563 0 0 0 43961 35 0 0 25 0 1 0 1801357439 49504256 11529 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12086 11529 566 18 0 12068 0 [pid=22804] vsize: 48344 Current children cumulated CPU time (s) 439.96 Current children cumulated vsize (Kb) 48344 [startup+450.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11720 0 0 0 44961 36 0 0 25 0 1 0 1801357439 50425856 11686 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12311 11686 566 18 0 12293 0 [pid=22804] vsize: 49244 Current children cumulated CPU time (s) 449.97 Current children cumulated vsize (Kb) 49244 [startup+460.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11720 0 0 0 45961 36 0 0 25 0 1 0 1801357439 50425856 11686 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12311 11686 566 18 0 12293 0 [pid=22804] vsize: 49244 Current children cumulated CPU time (s) 459.97 Current children cumulated vsize (Kb) 49244 [startup+470.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11723 0 0 0 46961 36 0 0 25 0 1 0 1801357439 50425856 11689 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12311 11689 566 18 0 12293 0 [pid=22804] vsize: 49244 Current children cumulated CPU time (s) 469.97 Current children cumulated vsize (Kb) 49244 [startup+480.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11724 0 0 0 47961 36 0 0 25 0 1 0 1801357439 50425856 11690 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12311 11690 566 18 0 12293 0 [pid=22804] vsize: 49244 Current children cumulated CPU time (s) 479.97 Current children cumulated vsize (Kb) 49244 [startup+490.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11737 0 0 0 48961 36 0 0 25 0 1 0 1801357439 50425856 11703 4294967295 134512640 134578447 3221224624 3221223520 134520043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12311 11703 566 18 0 12293 0 [pid=22804] vsize: 49244 Current children cumulated CPU time (s) 489.97 Current children cumulated vsize (Kb) 49244 [startup+500.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11737 0 0 0 49961 36 0 0 25 0 1 0 1801357439 50425856 11703 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12311 11703 566 18 0 12293 0 [pid=22804] vsize: 49244 Current children cumulated CPU time (s) 499.97 Current children cumulated vsize (Kb) 49244 [startup+510.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11739 0 0 0 50961 36 0 0 25 0 1 0 1801357439 50425856 11705 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12311 11705 566 18 0 12293 0 [pid=22804] vsize: 49244 Current children cumulated CPU time (s) 509.97 Current children cumulated vsize (Kb) 49244 [startup+520.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 11965 0 0 0 51961 37 0 0 25 0 1 0 1801357439 51228672 11931 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12507 11931 566 18 0 12489 0 [pid=22804] vsize: 50028 Current children cumulated CPU time (s) 519.98 Current children cumulated vsize (Kb) 50028 [startup+530.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 52961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 529.98 Current children cumulated vsize (Kb) 51380 [startup+540.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 53961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223520 134519783 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 539.98 Current children cumulated vsize (Kb) 51380 [startup+550.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 54961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 549.98 Current children cumulated vsize (Kb) 51380 [startup+560.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 55961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 559.98 Current children cumulated vsize (Kb) 51380 [startup+570.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 56961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 569.98 Current children cumulated vsize (Kb) 51380 [startup+580.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 57961 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223520 134519751 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 579.98 Current children cumulated vsize (Kb) 51380 [startup+590.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 58962 37 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 589.99 Current children cumulated vsize (Kb) 51380 [startup+600.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 59962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 600 Current children cumulated vsize (Kb) 51380 [startup+610.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 60962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223376 134528834 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 610 Current children cumulated vsize (Kb) 51380 [startup+620.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 61962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223296 134522224 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 620 Current children cumulated vsize (Kb) 51380 [startup+630.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 62962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 630 Current children cumulated vsize (Kb) 51380 [startup+640.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 63962 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 640 Current children cumulated vsize (Kb) 51380 [startup+650.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 64963 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 650.01 Current children cumulated vsize (Kb) 51380 [startup+660.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12296 0 0 0 65963 38 0 0 25 0 1 0 1801357439 52613120 12262 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12845 12262 566 18 0 12827 0 [pid=22804] vsize: 51380 Current children cumulated CPU time (s) 660.01 Current children cumulated vsize (Kb) 51380 [startup+670.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12364 0 0 0 66963 38 0 0 25 0 1 0 1801357439 52887552 12330 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 12912 12330 566 18 0 12894 0 [pid=22804] vsize: 51648 Current children cumulated CPU time (s) 670.01 Current children cumulated vsize (Kb) 51648 [startup+680.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 12736 0 0 0 67961 39 0 0 25 0 1 0 1801357439 54517760 12702 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13310 12702 566 18 0 13292 0 [pid=22804] vsize: 53240 Current children cumulated CPU time (s) 680 Current children cumulated vsize (Kb) 53240 [startup+690.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13071 0 0 0 68960 41 0 0 25 0 1 0 1801357439 55853056 13037 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13636 13037 566 18 0 13618 0 [pid=22804] vsize: 54544 Current children cumulated CPU time (s) 690.01 Current children cumulated vsize (Kb) 54544 [startup+700.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 69959 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 700 Current children cumulated vsize (Kb) 55560 [startup+710.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 70960 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 710.01 Current children cumulated vsize (Kb) 55560 [startup+720.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 71960 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 720.01 Current children cumulated vsize (Kb) 55560 [startup+730.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 72960 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223488 134528148 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 730.01 Current children cumulated vsize (Kb) 55560 [startup+740.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 73960 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 740.01 Current children cumulated vsize (Kb) 55560 [startup+750.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 74961 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 750.02 Current children cumulated vsize (Kb) 55560 [startup+760.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 75961 41 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 760.02 Current children cumulated vsize (Kb) 55560 [startup+770.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 76961 42 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 770.03 Current children cumulated vsize (Kb) 55560 [startup+780.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 77961 42 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 780.03 Current children cumulated vsize (Kb) 55560 [startup+790.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 78961 42 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 790.03 Current children cumulated vsize (Kb) 55560 [startup+800.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 79960 43 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 800.03 Current children cumulated vsize (Kb) 55560 [startup+810.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 80960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 810.04 Current children cumulated vsize (Kb) 55560 [startup+820.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 81960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 820.04 Current children cumulated vsize (Kb) 55560 [startup+830.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 82960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223520 134519801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 830.04 Current children cumulated vsize (Kb) 55560 [startup+840.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 83960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 840.04 Current children cumulated vsize (Kb) 55560 [startup+850.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 84960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 850.04 Current children cumulated vsize (Kb) 55560 [startup+860.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 85960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 860.04 Current children cumulated vsize (Kb) 55560 [startup+870.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 86960 44 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 870.04 Current children cumulated vsize (Kb) 55560 [startup+880.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 87960 45 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 880.05 Current children cumulated vsize (Kb) 55560 [startup+890.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13314 0 0 0 88960 45 0 0 25 0 1 0 1801357439 56893440 13280 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13280 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 890.05 Current children cumulated vsize (Kb) 55560 [startup+900.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 89961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 900.06 Current children cumulated vsize (Kb) 55560 [startup+910.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 90960 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 910.05 Current children cumulated vsize (Kb) 55560 [startup+920.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 91961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223536 134556784 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 920.06 Current children cumulated vsize (Kb) 55560 [startup+930.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 92961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 930.06 Current children cumulated vsize (Kb) 55560 [startup+940.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 93961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 940.06 Current children cumulated vsize (Kb) 55560 [startup+950.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 94961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 950.06 Current children cumulated vsize (Kb) 55560 [startup+960.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 95961 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 960.06 Current children cumulated vsize (Kb) 55560 [startup+970.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 96962 45 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 970.07 Current children cumulated vsize (Kb) 55560 [startup+980.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 97962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223456 134527008 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 980.08 Current children cumulated vsize (Kb) 55560 [startup+990.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 98962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 990.08 Current children cumulated vsize (Kb) 55560 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 99962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 1000.08 Current children cumulated vsize (Kb) 55560 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 100962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 1010.08 Current children cumulated vsize (Kb) 55560 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 101962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 1020.08 Current children cumulated vsize (Kb) 55560 [startup+1030.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 102962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 1030.08 Current children cumulated vsize (Kb) 55560 [startup+1040.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13315 0 0 0 103962 46 0 0 25 0 1 0 1801357439 56893440 13281 4294967295 134512640 134578447 3221224624 3221223488 134517728 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 13890 13281 566 18 0 13872 0 [pid=22804] vsize: 55560 Current children cumulated CPU time (s) 1040.08 Current children cumulated vsize (Kb) 55560 [startup+1050.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 13864 0 0 0 104961 47 0 0 25 0 1 0 1801357439 59109376 13830 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 14431 13830 566 18 0 14413 0 [pid=22804] vsize: 57724 Current children cumulated CPU time (s) 1050.08 Current children cumulated vsize (Kb) 57724 [startup+1060.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 14490 0 0 0 105959 49 0 0 25 0 1 0 1801357439 61657088 14456 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 15053 14456 566 18 0 15035 0 [pid=22804] vsize: 60212 Current children cumulated CPU time (s) 1060.08 Current children cumulated vsize (Kb) 60212 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 15125 0 0 0 106957 52 0 0 25 0 1 0 1801357439 64352256 15091 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 15711 15091 566 18 0 15693 0 [pid=22804] vsize: 62844 Current children cumulated CPU time (s) 1070.09 Current children cumulated vsize (Kb) 62844 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 15636 0 0 0 107954 54 0 0 25 0 1 0 1801357439 66351104 15602 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16199 15602 566 18 0 16181 0 [pid=22804] vsize: 64796 Current children cumulated CPU time (s) 1080.08 Current children cumulated vsize (Kb) 64796 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16182 0 0 0 108953 55 0 0 25 0 1 0 1801357439 68874240 16148 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16815 16148 566 18 0 16797 0 [pid=22804] vsize: 67260 Current children cumulated CPU time (s) 1090.08 Current children cumulated vsize (Kb) 67260 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 109952 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1100.08 Current children cumulated vsize (Kb) 67792 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 110953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223376 134528872 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1110.09 Current children cumulated vsize (Kb) 67792 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 111953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1120.09 Current children cumulated vsize (Kb) 67792 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 112953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1130.09 Current children cumulated vsize (Kb) 67792 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 113953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1140.09 Current children cumulated vsize (Kb) 67792 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 114953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1150.09 Current children cumulated vsize (Kb) 67792 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 115953 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1160.09 Current children cumulated vsize (Kb) 67792 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 116954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1170.1 Current children cumulated vsize (Kb) 67792 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 117954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1180.1 Current children cumulated vsize (Kb) 67792 [startup+1190.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 118954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1190.1 Current children cumulated vsize (Kb) 67792 [startup+1200.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 119954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1200.1 Current children cumulated vsize (Kb) 67792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 22804 Raw data (/proc/22804/stat): 22804 (Pueblo) R 22803 22804 22582 0 -1 0 16316 0 0 0 119954 56 0 0 25 0 1 0 1801357439 69419008 16282 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22804/statm): 16948 16282 566 18 0 16930 0 [pid=22804] vsize: 67792 Current children cumulated CPU time (s) 1200.1 Current children cumulated vsize (Kb) 67792 Sending SIGTERM to -22804 Sleeping 2 seconds One traced child (pid=22804) 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.07 CPU time (s): 1200.14 CPU user time (s): 1199.54 CPU system time (s): 0.598908 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (Kb): 67792
ERROR: no interpretation found !