Name | web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb |
MD5SUM | f306f9e77db4c563a096b79aebdedeaa |
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 | 71 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 261 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 23621 |
Total number of constraints | 67526 |
Number of constraints which are clauses | 65126 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2400 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
LAUNCH ON wulflinc22 THE 2005-09-20 14:35:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5010 boxname=wulflinc22 idbench=322 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: f306f9e77db4c563a096b79aebdedeaa /oldhome/oroussel/tmp/wulflinc22/normalized-ooo.burch_dill.6.accl.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 5010 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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.031 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: 821328 kB Buffers: 31596 kB Cached: 154172 kB SwapCached: 552 kB Active: 58884 kB Inactive: 129548 kB HighTotal: 131008 kB HighFree: 2688 kB LowTotal: 903652 kB LowFree: 818640 kB SwapTotal: 2097892 kB SwapFree: 2096768 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5836 kB Slab: 19316 kB Committed_AS: 64268 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 14:55:45 (client local time) WITH STATUS 0 IN 1209.93 SECONDS stats: 5010 7 1209.93 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/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859302039 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23032/statm): 41 3 40 18 0 23 0 [pid=23032] vsize: 164 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libstdc++.so.5 open syscall for file tls/i686/libstdc++.so.5 open syscall for file tls/mmx/libstdc++.so.5 open syscall for file tls/libstdc++.so.5 open syscall for file i686/mmx/libstdc++.so.5 open syscall for file i686/libstdc++.so.5 open syscall for file mmx/libstdc++.so.5 open syscall for file libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/libstdc++.so.5 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++.so.5 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 [startup+10.0033 s] Raw data (loadavg): 0.93 1.03 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 3656 0 0 0 986 9 0 0 25 0 1 0 1859302039 17166336 3622 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 4191 3622 566 18 0 4173 0 [pid=23032] vsize: 16764 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 16764 [startup+20.004 s] Raw data (loadavg): 0.94 1.03 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4059 0 0 0 1985 10 0 0 25 0 1 0 1859302039 18915328 4025 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 4618 4025 566 18 0 4600 0 [pid=23032] vsize: 18472 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 18472 [startup+30.0047 s] Raw data (loadavg): 0.95 1.03 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4792 0 0 0 2982 13 0 0 25 0 1 0 1859302039 22126592 4758 4294967295 134512640 134578447 3221224624 3221223536 134557225 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23032/statm): 5402 4758 566 18 0 5384 0 [pid=23032] vsize: 21608 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 21608 [startup+40.0054 s] Raw data (loadavg): 0.96 1.03 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4796 0 0 0 3981 13 0 0 25 0 1 0 1859302039 22126592 4762 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 5402 4762 566 18 0 5384 0 [pid=23032] vsize: 21608 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 21608 [startup+50.0061 s] Raw data (loadavg): 0.96 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4797 0 0 0 4982 13 0 0 25 0 1 0 1859302039 22126592 4763 4294967295 134512640 134578447 3221224624 3221223516 134531720 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 5402 4763 566 18 0 5384 0 [pid=23032] vsize: 21608 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 21608 [startup+60.0058 s] Raw data (loadavg): 0.97 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4797 0 0 0 5982 13 0 0 25 0 1 0 1859302039 22126592 4763 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 5402 4763 566 18 0 5384 0 [pid=23032] vsize: 21608 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 21608 [startup+70.0065 s] Raw data (loadavg): 0.97 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4797 0 0 0 6981 14 0 0 25 0 1 0 1859302039 22126592 4763 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 5402 4763 566 18 0 5384 0 [pid=23032] vsize: 21608 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 21608 [startup+80.0072 s] Raw data (loadavg): 0.98 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4797 0 0 0 7982 14 0 0 25 0 1 0 1859302039 22126592 4763 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 5402 4763 566 18 0 5384 0 [pid=23032] vsize: 21608 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 21608 [startup+90.0079 s] Raw data (loadavg): 0.98 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 5115 0 0 0 8981 14 0 0 25 0 1 0 1859302039 23486464 5081 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 5734 5081 566 18 0 5716 0 [pid=23032] vsize: 22936 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 22936 [startup+100.008 s] Raw data (loadavg): 0.98 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 5166 0 0 0 9980 15 0 0 25 0 1 0 1859302039 23756800 5132 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 5800 5132 566 18 0 5782 0 [pid=23032] vsize: 23200 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 23200 [startup+110.008 s] Raw data (loadavg): 0.98 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 5366 0 0 0 10980 16 0 0 25 0 1 0 1859302039 24530944 5332 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 5989 5332 566 18 0 5971 0 [pid=23032] vsize: 23956 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 23956 [startup+120.009 s] Raw data (loadavg): 0.99 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 5999 0 0 0 11977 18 0 0 25 0 1 0 1859302039 27213824 5965 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 6644 5965 566 18 0 6626 0 [pid=23032] vsize: 26576 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 26576 [startup+130.009 s] Raw data (loadavg): 0.99 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 6408 0 0 0 12976 19 0 0 25 0 1 0 1859302039 28811264 6374 4294967295 134512640 134578447 3221224624 3221223472 134556274 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 7034 6374 566 18 0 7016 0 [pid=23032] vsize: 28136 Current children cumulated CPU time (s) 129.95 Current children cumulated vsize (Kb) 28136 [startup+140.009 s] Raw data (loadavg): 0.99 1.02 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 6945 0 0 0 13974 20 0 0 25 0 1 0 1859302039 30994432 6911 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 7567 6911 566 18 0 7549 0 [pid=23032] vsize: 30268 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 30268 [startup+150.01 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 7495 0 0 0 14972 22 0 0 25 0 1 0 1859302039 33333248 7461 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 8138 7461 566 18 0 8120 0 [pid=23032] vsize: 32552 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 32552 [startup+160.01 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 7733 0 0 0 15971 23 0 0 25 0 1 0 1859302039 34226176 7699 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 8356 7699 566 18 0 8338 0 [pid=23032] vsize: 33424 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 33424 [startup+170.011 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 8231 0 0 0 16969 25 0 0 25 0 1 0 1859302039 36220928 8197 4294967295 134512640 134578447 3221224624 3221223584 134558912 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 8843 8197 566 18 0 8825 0 [pid=23032] vsize: 35372 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 35372 [startup+180.01 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 8630 0 0 0 17967 26 0 0 25 0 1 0 1859302039 37888000 8596 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 9250 8596 566 18 0 9232 0 [pid=23032] vsize: 37000 Current children cumulated CPU time (s) 179.93 Current children cumulated vsize (Kb) 37000 [startup+190.011 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 9026 0 0 0 18966 27 0 0 25 0 1 0 1859302039 39571456 8992 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 9661 8992 566 18 0 9643 0 [pid=23032] vsize: 38644 Current children cumulated CPU time (s) 189.93 Current children cumulated vsize (Kb) 38644 [startup+200.011 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 9401 0 0 0 19965 28 0 0 25 0 1 0 1859302039 41054208 9367 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 10023 9367 566 18 0 10005 0 [pid=23032] vsize: 40092 Current children cumulated CPU time (s) 199.93 Current children cumulated vsize (Kb) 40092 [startup+210.01 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 9916 0 0 0 20963 30 0 0 25 0 1 0 1859302039 43163648 9882 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 10538 9882 566 18 0 10520 0 [pid=23032] vsize: 42152 Current children cumulated CPU time (s) 209.93 Current children cumulated vsize (Kb) 42152 [startup+220.011 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 10336 0 0 0 21961 31 0 0 25 0 1 0 1859302039 44859392 10302 4294967295 134512640 134578447 3221224624 3221223584 134559002 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 10952 10302 566 18 0 10934 0 [pid=23032] vsize: 43808 Current children cumulated CPU time (s) 219.92 Current children cumulated vsize (Kb) 43808 [startup+230.011 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 10669 0 0 0 22960 32 0 0 25 0 1 0 1859302039 46309376 10635 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 11306 10635 566 18 0 11288 0 [pid=23032] vsize: 45224 Current children cumulated CPU time (s) 229.92 Current children cumulated vsize (Kb) 45224 [startup+240.012 s] Raw data (loadavg): 0.99 1.01 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 11256 0 0 0 23958 34 0 0 25 0 1 0 1859302039 48754688 11222 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 11903 11222 566 18 0 11885 0 [pid=23032] vsize: 47612 Current children cumulated CPU time (s) 239.92 Current children cumulated vsize (Kb) 47612 [startup+250.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 12016 0 0 0 24955 37 0 0 25 0 1 0 1859302039 51834880 11982 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 12655 11982 566 18 0 12637 0 [pid=23032] vsize: 50620 Current children cumulated CPU time (s) 249.92 Current children cumulated vsize (Kb) 50620 [startup+260.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 12567 0 0 0 25952 39 0 0 25 0 1 0 1859302039 54120448 12533 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 13213 12533 566 18 0 13195 0 [pid=23032] vsize: 52852 Current children cumulated CPU time (s) 259.91 Current children cumulated vsize (Kb) 52852 [startup+270.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 12776 0 0 0 26950 41 0 0 25 0 1 0 1859302039 54988800 12742 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 13425 12742 566 18 0 13407 0 [pid=23032] vsize: 53700 Current children cumulated CPU time (s) 269.91 Current children cumulated vsize (Kb) 53700 [startup+280.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 13220 0 0 0 27947 42 0 0 25 0 1 0 1859302039 56758272 13186 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 13857 13186 566 18 0 13839 0 [pid=23032] vsize: 55428 Current children cumulated CPU time (s) 279.89 Current children cumulated vsize (Kb) 55428 [startup+290.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 13402 0 0 0 28946 43 0 0 25 0 1 0 1859302039 57565184 13368 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 14054 13368 566 18 0 14036 0 [pid=23032] vsize: 56216 Current children cumulated CPU time (s) 289.89 Current children cumulated vsize (Kb) 56216 [startup+300.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 13740 0 0 0 29945 45 0 0 25 0 1 0 1859302039 58892288 13706 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 14378 13706 566 18 0 14360 0 [pid=23032] vsize: 57512 Current children cumulated CPU time (s) 299.9 Current children cumulated vsize (Kb) 57512 [startup+310.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 14130 0 0 0 30943 47 0 0 25 0 1 0 1859302039 60489728 14096 4294967295 134512640 134578447 3221224624 3221223572 134558622 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 14768 14096 566 18 0 14750 0 [pid=23032] vsize: 59072 Current children cumulated CPU time (s) 309.9 Current children cumulated vsize (Kb) 59072 [startup+320.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 14572 0 0 0 31941 49 0 0 25 0 1 0 1859302039 62296064 14538 4294967295 134512640 134578447 3221224624 3221223476 134555817 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 15209 14538 566 18 0 15191 0 [pid=23032] vsize: 60836 Current children cumulated CPU time (s) 319.9 Current children cumulated vsize (Kb) 60836 [startup+330.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 15053 0 0 0 32939 50 0 0 25 0 1 0 1859302039 64278528 15019 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 15693 15019 566 18 0 15675 0 [pid=23032] vsize: 62772 Current children cumulated CPU time (s) 329.89 Current children cumulated vsize (Kb) 62772 [startup+340.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 15393 0 0 0 33938 51 0 0 25 0 1 0 1859302039 65708032 15359 4294967295 134512640 134578447 3221224624 3221223200 134554164 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 16042 15359 566 18 0 16024 0 [pid=23032] vsize: 64168 Current children cumulated CPU time (s) 339.89 Current children cumulated vsize (Kb) 64168 [startup+350.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 15829 0 0 0 34937 53 0 0 25 0 1 0 1859302039 67432448 15795 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 16463 15795 566 18 0 16445 0 [pid=23032] vsize: 65852 Current children cumulated CPU time (s) 349.9 Current children cumulated vsize (Kb) 65852 [startup+360.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 16258 0 0 0 35934 55 0 0 25 0 1 0 1859302039 69246976 16224 4294967295 134512640 134578447 3221224624 3221223504 134527554 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 16906 16224 566 18 0 16888 0 [pid=23032] vsize: 67624 Current children cumulated CPU time (s) 359.89 Current children cumulated vsize (Kb) 67624 [startup+370.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 16634 0 0 0 36933 56 0 0 25 0 1 0 1859302039 70709248 16600 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 17263 16600 566 18 0 17245 0 [pid=23032] vsize: 69052 Current children cumulated CPU time (s) 369.89 Current children cumulated vsize (Kb) 69052 [startup+380.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 17139 0 0 0 37931 58 0 0 25 0 1 0 1859302039 72757248 17105 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 17763 17105 566 18 0 17745 0 [pid=23032] vsize: 71052 Current children cumulated CPU time (s) 379.89 Current children cumulated vsize (Kb) 71052 [startup+390.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 17463 0 0 0 38930 59 0 0 25 0 1 0 1859302039 74162176 17429 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 18106 17429 566 18 0 18088 0 [pid=23032] vsize: 72424 Current children cumulated CPU time (s) 389.89 Current children cumulated vsize (Kb) 72424 [startup+400.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 17838 0 0 0 39929 60 0 0 25 0 1 0 1859302039 75628544 17804 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 18464 17804 566 18 0 18446 0 [pid=23032] vsize: 73856 Current children cumulated CPU time (s) 399.89 Current children cumulated vsize (Kb) 73856 [startup+410.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 18004 0 0 0 40928 61 0 0 25 0 1 0 1859302039 76288000 17970 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 18625 17970 566 18 0 18607 0 [pid=23032] vsize: 74500 Current children cumulated CPU time (s) 409.89 Current children cumulated vsize (Kb) 74500 [startup+420.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 18472 0 0 0 41926 63 0 0 25 0 1 0 1859302039 78290944 18438 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 19114 18438 566 18 0 19096 0 [pid=23032] vsize: 76456 Current children cumulated CPU time (s) 419.89 Current children cumulated vsize (Kb) 76456 [startup+430.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 18735 0 0 0 42925 64 0 0 25 0 1 0 1859302039 79327232 18701 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 19367 18701 566 18 0 19349 0 [pid=23032] vsize: 77468 Current children cumulated CPU time (s) 429.89 Current children cumulated vsize (Kb) 77468 [startup+440.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19136 0 0 0 43923 65 0 0 25 0 1 0 1859302039 80994304 19102 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 19774 19102 566 18 0 19756 0 [pid=23032] vsize: 79096 Current children cumulated CPU time (s) 439.88 Current children cumulated vsize (Kb) 79096 [startup+450.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19546 0 0 0 44922 66 0 0 25 0 1 0 1859302039 82599936 19512 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 20166 19512 566 18 0 20148 0 [pid=23032] vsize: 80664 Current children cumulated CPU time (s) 449.88 Current children cumulated vsize (Kb) 80664 [startup+460.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19716 0 0 0 45921 67 0 0 25 0 1 0 1859302039 83243008 19682 4294967295 134512640 134578447 3221224624 3221223648 134554164 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 20323 19682 566 18 0 20305 0 [pid=23032] vsize: 81292 Current children cumulated CPU time (s) 459.88 Current children cumulated vsize (Kb) 81292 [startup+470.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19970 0 0 0 46921 68 0 0 25 0 1 0 1859302039 84312064 19936 4294967295 134512640 134578447 3221224624 3221223476 134555869 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 20584 19936 566 18 0 20566 0 [pid=23032] vsize: 82336 Current children cumulated CPU time (s) 469.89 Current children cumulated vsize (Kb) 82336 [startup+480.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 20376 0 0 0 47919 69 0 0 25 0 1 0 1859302039 86286336 20342 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 21066 20342 566 18 0 21048 0 [pid=23032] vsize: 84264 Current children cumulated CPU time (s) 479.88 Current children cumulated vsize (Kb) 84264 [startup+490.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 20761 0 0 0 48918 70 0 0 25 0 1 0 1859302039 87867392 20727 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 21452 20727 566 18 0 21434 0 [pid=23032] vsize: 85808 Current children cumulated CPU time (s) 489.88 Current children cumulated vsize (Kb) 85808 [startup+500.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 21054 0 0 0 49917 71 0 0 25 0 1 0 1859302039 89038848 21020 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 21738 21020 566 18 0 21720 0 [pid=23032] vsize: 86952 Current children cumulated CPU time (s) 499.88 Current children cumulated vsize (Kb) 86952 [startup+510.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 21455 0 0 0 50915 72 0 0 25 0 1 0 1859302039 90640384 21421 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 22129 21421 566 18 0 22111 0 [pid=23032] vsize: 88516 Current children cumulated CPU time (s) 509.87 Current children cumulated vsize (Kb) 88516 [startup+520.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 21753 0 0 0 51914 73 0 0 25 0 1 0 1859302039 91930624 21719 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 22444 21719 566 18 0 22426 0 [pid=23032] vsize: 89776 Current children cumulated CPU time (s) 519.87 Current children cumulated vsize (Kb) 89776 [startup+530.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 21953 0 0 0 52914 74 0 0 25 0 1 0 1859302039 92672000 21919 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 22625 21919 566 18 0 22607 0 [pid=23032] vsize: 90500 Current children cumulated CPU time (s) 529.88 Current children cumulated vsize (Kb) 90500 [startup+540.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 22172 0 0 0 53913 75 0 0 25 0 1 0 1859302039 93556736 22138 4294967295 134512640 134578447 3221224624 3221223476 134555825 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 22841 22138 566 18 0 22823 0 [pid=23032] vsize: 91364 Current children cumulated CPU time (s) 539.88 Current children cumulated vsize (Kb) 91364 [startup+550.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 22519 0 0 0 54912 76 0 0 25 0 1 0 1859302039 95064064 22485 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 23209 22485 566 18 0 23191 0 [pid=23032] vsize: 92836 Current children cumulated CPU time (s) 549.88 Current children cumulated vsize (Kb) 92836 [startup+560.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 23059 0 0 0 55910 77 0 0 25 0 1 0 1859302039 97169408 23025 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 23723 23025 566 18 0 23705 0 [pid=23032] vsize: 94892 Current children cumulated CPU time (s) 559.87 Current children cumulated vsize (Kb) 94892 [startup+570.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 23382 0 0 0 56909 78 0 0 25 0 1 0 1859302039 98594816 23348 4294967295 134512640 134578447 3221224624 3221223476 134555916 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 24071 23349 566 18 0 24053 0 [pid=23032] vsize: 96284 Current children cumulated CPU time (s) 569.87 Current children cumulated vsize (Kb) 96284 [startup+580.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 23860 0 0 0 57908 79 0 0 25 0 1 0 1859302039 100474880 23826 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 24530 23826 566 18 0 24512 0 [pid=23032] vsize: 98120 Current children cumulated CPU time (s) 579.87 Current children cumulated vsize (Kb) 98120 [startup+590.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 24374 0 0 0 58906 81 0 0 25 0 1 0 1859302039 102604800 24340 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 25050 24340 566 18 0 25032 0 [pid=23032] vsize: 100200 Current children cumulated CPU time (s) 589.87 Current children cumulated vsize (Kb) 100200 [startup+600.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 24596 0 0 0 59906 81 0 0 25 0 1 0 1859302039 103534592 24562 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 25277 24562 566 18 0 25259 0 [pid=23032] vsize: 101108 Current children cumulated CPU time (s) 599.87 Current children cumulated vsize (Kb) 101108 [startup+610.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 24888 0 0 0 60905 82 0 0 25 0 1 0 1859302039 104722432 24854 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 25567 24854 566 18 0 25549 0 [pid=23032] vsize: 102268 Current children cumulated CPU time (s) 609.87 Current children cumulated vsize (Kb) 102268 [startup+620.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 25250 0 0 0 61903 84 0 0 25 0 1 0 1859302039 106139648 25216 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 25913 25216 566 18 0 25895 0 [pid=23032] vsize: 103652 Current children cumulated CPU time (s) 619.87 Current children cumulated vsize (Kb) 103652 [startup+630.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 25644 0 0 0 62901 85 0 0 25 0 1 0 1859302039 107806720 25610 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 26320 25610 566 18 0 26302 0 [pid=23032] vsize: 105280 Current children cumulated CPU time (s) 629.86 Current children cumulated vsize (Kb) 105280 [startup+640.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 25888 0 0 0 63900 85 0 0 25 0 1 0 1859302039 108863488 25854 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 26578 25854 566 18 0 26560 0 [pid=23032] vsize: 106312 Current children cumulated CPU time (s) 639.85 Current children cumulated vsize (Kb) 106312 [startup+650.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 26237 0 0 0 64899 86 0 0 25 0 1 0 1859302039 110256128 26203 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 26918 26203 566 18 0 26900 0 [pid=23032] vsize: 107672 Current children cumulated CPU time (s) 649.85 Current children cumulated vsize (Kb) 107672 [startup+660.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 26463 0 0 0 65898 87 0 0 25 0 1 0 1859302039 111128576 26429 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 27131 26429 566 18 0 27113 0 [pid=23032] vsize: 108524 Current children cumulated CPU time (s) 659.85 Current children cumulated vsize (Kb) 108524 [startup+670.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 26874 0 0 0 66896 89 0 0 25 0 1 0 1859302039 112816128 26840 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 27543 26840 566 18 0 27525 0 [pid=23032] vsize: 110172 Current children cumulated CPU time (s) 669.85 Current children cumulated vsize (Kb) 110172 [startup+680.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 27052 0 0 0 67896 90 0 0 25 0 1 0 1859302039 113545216 27018 4294967295 134512640 134578447 3221224624 3221223184 134525270 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 27721 27018 566 18 0 27703 0 [pid=23032] vsize: 110884 Current children cumulated CPU time (s) 679.86 Current children cumulated vsize (Kb) 110884 [startup+690.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 27504 0 0 0 68894 91 0 0 25 0 1 0 1859302039 115376128 27470 4294967295 134512640 134578447 3221224624 3221223296 134524069 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 28168 27470 566 18 0 28150 0 [pid=23032] vsize: 112672 Current children cumulated CPU time (s) 689.85 Current children cumulated vsize (Kb) 112672 [startup+700.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 27809 0 0 0 69893 92 0 0 25 0 1 0 1859302039 116670464 27775 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 28484 27775 566 18 0 28466 0 [pid=23032] vsize: 113936 Current children cumulated CPU time (s) 699.85 Current children cumulated vsize (Kb) 113936 [startup+710.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 28168 0 0 0 70892 93 0 0 25 0 1 0 1859302039 118071296 28134 4294967295 134512640 134578447 3221224624 3221223472 134558430 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 28826 28134 566 18 0 28808 0 [pid=23032] vsize: 115304 Current children cumulated CPU time (s) 709.85 Current children cumulated vsize (Kb) 115304 [startup+720.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 28627 0 0 0 71891 94 0 0 25 0 1 0 1859302039 119959552 28593 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 29287 28593 566 18 0 29269 0 [pid=23032] vsize: 117148 Current children cumulated CPU time (s) 719.85 Current children cumulated vsize (Kb) 117148 [startup+730.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 28933 0 0 0 72890 95 0 0 25 0 1 0 1859302039 121270272 28899 4294967295 134512640 134578447 3221224624 3221223520 134519916 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 29607 28899 566 18 0 29589 0 [pid=23032] vsize: 118428 Current children cumulated CPU time (s) 729.85 Current children cumulated vsize (Kb) 118428 [startup+740.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 29187 0 0 0 73889 95 0 0 25 0 1 0 1859302039 122261504 29153 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 29849 29153 566 18 0 29831 0 [pid=23032] vsize: 119396 Current children cumulated CPU time (s) 739.84 Current children cumulated vsize (Kb) 119396 [startup+750.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 29464 0 0 0 74888 96 0 0 25 0 1 0 1859302039 123383808 29430 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 30123 29430 566 18 0 30105 0 [pid=23032] vsize: 120492 Current children cumulated CPU time (s) 749.84 Current children cumulated vsize (Kb) 120492 [startup+760.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 29834 0 0 0 75887 97 0 0 25 0 1 0 1859302039 124887040 29800 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 30490 29800 566 18 0 30472 0 [pid=23032] vsize: 121960 Current children cumulated CPU time (s) 759.84 Current children cumulated vsize (Kb) 121960 [startup+770.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 30225 0 0 0 76885 99 0 0 25 0 1 0 1859302039 126582784 30191 4294967295 134512640 134578447 3221224624 3221223472 134520230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 30904 30191 566 18 0 30886 0 [pid=23032] vsize: 123616 Current children cumulated CPU time (s) 769.84 Current children cumulated vsize (Kb) 123616 [startup+780.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 30370 0 0 0 77884 99 0 0 25 0 1 0 1859302039 127102976 30336 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 31031 30336 566 18 0 31013 0 [pid=23032] vsize: 124124 Current children cumulated CPU time (s) 779.83 Current children cumulated vsize (Kb) 124124 [startup+790.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 30813 0 0 0 78883 100 0 0 25 0 1 0 1859302039 128970752 30779 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 31487 30779 566 18 0 31469 0 [pid=23032] vsize: 125948 Current children cumulated CPU time (s) 789.83 Current children cumulated vsize (Kb) 125948 [startup+800.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 31223 0 0 0 79882 101 0 0 25 0 1 0 1859302039 130576384 31189 4294967295 134512640 134578447 3221224624 3221223488 134517863 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 31879 31189 566 18 0 31861 0 [pid=23032] vsize: 127516 Current children cumulated CPU time (s) 799.83 Current children cumulated vsize (Kb) 127516 [startup+810.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 31514 0 0 0 80882 102 0 0 25 0 1 0 1859302039 131756032 31480 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 32167 31480 566 18 0 32149 0 [pid=23032] vsize: 128668 Current children cumulated CPU time (s) 809.84 Current children cumulated vsize (Kb) 128668 [startup+820.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 31725 0 0 0 81881 102 0 0 25 0 1 0 1859302039 132616192 31691 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 32377 31691 566 18 0 32359 0 [pid=23032] vsize: 129508 Current children cumulated CPU time (s) 819.83 Current children cumulated vsize (Kb) 129508 [startup+830.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 32163 0 0 0 82880 104 0 0 25 0 1 0 1859302039 134496256 32129 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 32836 32129 566 18 0 32818 0 [pid=23032] vsize: 131344 Current children cumulated CPU time (s) 829.84 Current children cumulated vsize (Kb) 131344 [startup+840.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 32526 0 0 0 83878 105 0 0 25 0 1 0 1859302039 135962624 32492 4294967295 134512640 134578447 3221224624 3221223472 134556010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 33194 32492 566 18 0 33176 0 [pid=23032] vsize: 132776 Current children cumulated CPU time (s) 839.83 Current children cumulated vsize (Kb) 132776 [startup+850.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 32970 0 0 0 84877 106 0 0 25 0 1 0 1859302039 137711616 32936 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 33621 32936 566 18 0 33603 0 [pid=23032] vsize: 134484 Current children cumulated CPU time (s) 849.83 Current children cumulated vsize (Kb) 134484 [startup+860.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 33370 0 0 0 85875 109 0 0 25 0 1 0 1859302039 139366400 33336 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 34025 33336 566 18 0 34007 0 [pid=23032] vsize: 136100 Current children cumulated CPU time (s) 859.84 Current children cumulated vsize (Kb) 136100 [startup+870.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 33616 0 0 0 86873 110 0 0 25 0 1 0 1859302039 140455936 33582 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 34291 33582 566 18 0 34273 0 [pid=23032] vsize: 137164 Current children cumulated CPU time (s) 869.83 Current children cumulated vsize (Kb) 137164 [startup+880.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 33840 0 0 0 87872 111 0 0 25 0 1 0 1859302039 141328384 33806 4294967295 134512640 134578447 3221224624 3221223536 134556768 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 34504 33806 566 18 0 34486 0 [pid=23032] vsize: 138016 Current children cumulated CPU time (s) 879.83 Current children cumulated vsize (Kb) 138016 [startup+890.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 34353 0 0 0 88870 114 0 0 25 0 1 0 1859302039 143384576 34319 4294967295 134512640 134578447 3221224624 3221223520 134519828 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 35006 34319 566 18 0 34988 0 [pid=23032] vsize: 140024 Current children cumulated CPU time (s) 889.84 Current children cumulated vsize (Kb) 140024 [startup+900.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 34683 0 0 0 89869 115 0 0 25 0 1 0 1859302039 144814080 34649 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 35355 34649 566 18 0 35337 0 [pid=23032] vsize: 141420 Current children cumulated CPU time (s) 899.84 Current children cumulated vsize (Kb) 141420 [startup+910.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 34908 0 0 0 90868 116 0 0 25 0 1 0 1859302039 145702912 34874 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 35572 34874 566 18 0 35554 0 [pid=23032] vsize: 142288 Current children cumulated CPU time (s) 909.84 Current children cumulated vsize (Kb) 142288 [startup+920.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 35249 0 0 0 91867 117 0 0 25 0 1 0 1859302039 147075072 35215 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 35907 35215 566 18 0 35889 0 [pid=23032] vsize: 143628 Current children cumulated CPU time (s) 919.84 Current children cumulated vsize (Kb) 143628 [startup+930.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 35666 0 0 0 92865 118 0 0 25 0 1 0 1859302039 148803584 35632 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 36329 35632 566 18 0 36311 0 [pid=23032] vsize: 145316 Current children cumulated CPU time (s) 929.83 Current children cumulated vsize (Kb) 145316 [startup+940.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 35747 0 0 0 93865 118 0 0 25 0 1 0 1859302039 149168128 35713 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 36418 35713 566 18 0 36400 0 [pid=23032] vsize: 145672 Current children cumulated CPU time (s) 939.83 Current children cumulated vsize (Kb) 145672 [startup+950.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 36140 0 0 0 94864 120 0 0 25 0 1 0 1859302039 150802432 36106 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 36817 36106 566 18 0 36799 0 [pid=23032] vsize: 147268 Current children cumulated CPU time (s) 949.84 Current children cumulated vsize (Kb) 147268 [startup+960.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 36381 0 0 0 95863 121 0 0 25 0 1 0 1859302039 151748608 36347 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 37048 36347 566 18 0 37030 0 [pid=23032] vsize: 148192 Current children cumulated CPU time (s) 959.84 Current children cumulated vsize (Kb) 148192 [startup+970.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 36755 0 0 0 96862 122 0 0 25 0 1 0 1859302039 153214976 36721 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 37406 36721 566 18 0 37388 0 [pid=23032] vsize: 149624 Current children cumulated CPU time (s) 969.84 Current children cumulated vsize (Kb) 149624 [startup+980.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 37168 0 0 0 97860 123 0 0 25 0 1 0 1859302039 155009024 37134 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 37844 37134 566 18 0 37826 0 [pid=23032] vsize: 151376 Current children cumulated CPU time (s) 979.83 Current children cumulated vsize (Kb) 151376 [startup+990.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 37409 0 0 0 98859 124 0 0 25 0 1 0 1859302039 156012544 37375 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 38089 37375 566 18 0 38071 0 [pid=23032] vsize: 152356 Current children cumulated CPU time (s) 989.83 Current children cumulated vsize (Kb) 152356 [startup+1000.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 37665 0 0 0 99859 124 0 0 25 0 1 0 1859302039 156966912 37631 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 38322 37631 566 18 0 38304 0 [pid=23032] vsize: 153288 Current children cumulated CPU time (s) 999.83 Current children cumulated vsize (Kb) 153288 [startup+1010.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 37965 0 0 0 100857 126 0 0 25 0 1 0 1859302039 158216192 37931 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 38627 37931 566 18 0 38609 0 [pid=23032] vsize: 154508 Current children cumulated CPU time (s) 1009.83 Current children cumulated vsize (Kb) 154508 [startup+1020.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 38455 0 0 0 101855 127 0 0 25 0 1 0 1859302039 160292864 38421 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39134 38421 566 18 0 39116 0 [pid=23032] vsize: 156536 Current children cumulated CPU time (s) 1019.82 Current children cumulated vsize (Kb) 156536 [startup+1030.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 38455 0 0 0 102855 127 0 0 25 0 1 0 1859302039 160292864 38421 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39134 38421 566 18 0 39116 0 [pid=23032] vsize: 156536 Current children cumulated CPU time (s) 1029.82 Current children cumulated vsize (Kb) 156536 [startup+1040.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 38480 0 0 0 103856 127 0 0 25 0 1 0 1859302039 160292864 38446 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39134 38446 566 18 0 39116 0 [pid=23032] vsize: 156536 Current children cumulated CPU time (s) 1039.83 Current children cumulated vsize (Kb) 156536 [startup+1050.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 38928 0 0 0 104854 129 0 0 25 0 1 0 1859302039 162172928 38894 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39593 38894 566 18 0 39575 0 [pid=23032] vsize: 158372 Current children cumulated CPU time (s) 1049.83 Current children cumulated vsize (Kb) 158372 [startup+1060.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39136 0 0 0 105853 130 0 0 25 0 1 0 1859302039 163000320 39102 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39795 39102 566 18 0 39777 0 [pid=23032] vsize: 159180 Current children cumulated CPU time (s) 1059.83 Current children cumulated vsize (Kb) 159180 [startup+1070.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39136 0 0 0 106853 130 0 0 25 0 1 0 1859302039 163000320 39102 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39795 39102 566 18 0 39777 0 [pid=23032] vsize: 159180 Current children cumulated CPU time (s) 1069.83 Current children cumulated vsize (Kb) 159180 [startup+1080.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 107853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1079.83 Current children cumulated vsize (Kb) 159920 [startup+1090.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 108853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1089.83 Current children cumulated vsize (Kb) 159920 [startup+1100.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 109853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1099.83 Current children cumulated vsize (Kb) 159920 [startup+1110.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 110853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223476 134555881 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1109.83 Current children cumulated vsize (Kb) 159920 [startup+1120.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 111853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1119.83 Current children cumulated vsize (Kb) 159920 [startup+1130.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 112854 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1129.84 Current children cumulated vsize (Kb) 159920 [startup+1140.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 113853 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1139.84 Current children cumulated vsize (Kb) 159920 [startup+1150.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 114854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1149.85 Current children cumulated vsize (Kb) 159920 [startup+1160.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 115854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223632 134563233 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1159.85 Current children cumulated vsize (Kb) 159920 [startup+1170.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 116854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1169.85 Current children cumulated vsize (Kb) 159920 [startup+1180.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 117854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1179.85 Current children cumulated vsize (Kb) 159920 [startup+1190.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 118854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1189.85 Current children cumulated vsize (Kb) 159920 [startup+1200.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 119854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1199.85 Current children cumulated vsize (Kb) 159920 [startup+1210.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 120854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1209.85 Current children cumulated vsize (Kb) 159920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 23032 Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 120854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0 [pid=23032] vsize: 159920 Current children cumulated CPU time (s) 1209.85 Current children cumulated vsize (Kb) 159920 Sending SIGTERM to -23032 Sleeping 2 seconds One traced child (pid=23032) 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.11 CPU time (s): 1209.93 CPU user time (s): 1208.55 CPU system time (s): 1.38879 CPU usage (%): 99.9852 Max. virtual memory (cumulated for all children) (Kb): 159920
ERROR: no interpretation found !