Name | web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb |
MD5SUM | 0e5bfa52e1e730089f4eefb216f69dfd |
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 | 73 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 262 |
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 | 21380 |
Total number of constraints | 60984 |
Number of constraints which are clauses | 58828 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2156 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
LAUNCH ON wulflinc18 THE 2005-09-20 14:35:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5011 boxname=wulflinc18 idbench=323 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 0e5bfa52e1e730089f4eefb216f69dfd /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.burch_dill.8.accl.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 5011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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: 865988 kB Buffers: 30420 kB Cached: 109380 kB SwapCached: 756 kB Active: 58076 kB Inactive: 84272 kB HighTotal: 131008 kB HighFree: 25228 kB LowTotal: 903652 kB LowFree: 840760 kB SwapTotal: 2097892 kB SwapFree: 2096536 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5780 kB Slab: 20716 kB Committed_AS: 64188 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 14:55:55 (client local time) WITH STATUS 0 IN 1210.01 SECONDS stats: 5011 7 1210.01 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/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859268380 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 41 3 40 18 0 23 0 [pid=1478] 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.0043 s] Raw data (loadavg): 0.85 0.95 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 3347 0 0 0 983 12 0 0 25 0 1 0 1859268380 16080896 3313 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 3926 3313 566 18 0 3908 0 [pid=1478] vsize: 15704 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 15704 [startup+20.0052 s] Raw data (loadavg): 0.87 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 3914 0 0 0 1981 14 0 0 25 0 1 0 1859268380 18505728 3880 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 4518 3880 566 18 0 4500 0 [pid=1478] vsize: 18072 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 18072 [startup+30.0052 s] Raw data (loadavg): 0.89 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4349 0 0 0 2979 16 0 0 25 0 1 0 1859268380 20189184 4315 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 4929 4315 566 18 0 4911 0 [pid=1478] vsize: 19716 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 19716 [startup+40.0061 s] Raw data (loadavg): 0.91 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4349 0 0 0 3979 17 0 0 25 0 1 0 1859268380 20189184 4315 4294967295 134512640 134578447 3221224624 3221223472 134558290 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 4929 4315 566 18 0 4911 0 [pid=1478] vsize: 19716 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 19716 [startup+50.007 s] Raw data (loadavg): 0.92 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4349 0 0 0 4978 17 0 0 25 0 1 0 1859268380 20189184 4315 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 4929 4315 566 18 0 4911 0 [pid=1478] vsize: 19716 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 19716 [startup+60.008 s] Raw data (loadavg): 0.93 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4349 0 0 0 5978 17 0 0 25 0 1 0 1859268380 20189184 4315 4294967295 134512640 134578447 3221224624 3221223520 134519885 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 4929 4315 566 18 0 4911 0 [pid=1478] vsize: 19716 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 19716 [startup+70.0089 s] Raw data (loadavg): 0.94 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4550 0 0 0 6977 18 0 0 25 0 1 0 1859268380 21123072 4516 4294967295 134512640 134578447 3221224624 3221223476 134555737 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 5157 4516 566 18 0 5139 0 [pid=1478] vsize: 20628 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 20628 [startup+80.0098 s] Raw data (loadavg): 0.95 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4981 0 0 0 7976 20 0 0 25 0 1 0 1859268380 22872064 4947 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 5584 4947 566 18 0 5566 0 [pid=1478] vsize: 22336 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 22336 [startup+90.0107 s] Raw data (loadavg): 0.96 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 5560 0 0 0 8973 22 0 0 25 0 1 0 1859268380 25219072 5526 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 6157 5526 566 18 0 6139 0 [pid=1478] vsize: 24628 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 24628 [startup+100.012 s] Raw data (loadavg): 0.96 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 6106 0 0 0 9971 25 0 0 25 0 1 0 1859268380 27410432 6072 4294967295 134512640 134578447 3221224624 3221223476 134555746 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 6692 6072 566 18 0 6674 0 [pid=1478] vsize: 26768 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 26768 [startup+110.014 s] Raw data (loadavg): 0.97 0.96 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 6685 0 0 0 10968 27 0 0 25 0 1 0 1859268380 29880320 6651 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 7295 6651 566 18 0 7277 0 [pid=1478] vsize: 29180 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 29180 [startup+120.014 s] Raw data (loadavg): 0.97 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 7128 0 0 0 11965 29 0 0 25 0 1 0 1859268380 31645696 7094 4294967295 134512640 134578447 3221224624 3221223476 134555819 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 7726 7094 566 18 0 7708 0 [pid=1478] vsize: 30904 Current children cumulated CPU time (s) 119.94 Current children cumulated vsize (Kb) 30904 [startup+130.014 s] Raw data (loadavg): 0.98 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 7677 0 0 0 12963 32 0 0 25 0 1 0 1859268380 33935360 7643 4294967295 134512640 134578447 3221224624 3221223476 134555854 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 8285 7643 566 18 0 8267 0 [pid=1478] vsize: 33140 Current children cumulated CPU time (s) 129.95 Current children cumulated vsize (Kb) 33140 [startup+140.015 s] Raw data (loadavg): 0.98 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 8196 0 0 0 13961 33 0 0 25 0 1 0 1859268380 36122624 8162 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 8819 8162 566 18 0 8801 0 [pid=1478] vsize: 35276 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 35276 [startup+150.015 s] Raw data (loadavg): 0.98 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 8511 0 0 0 14960 34 0 0 25 0 1 0 1859268380 37277696 8477 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 9101 8477 566 18 0 9083 0 [pid=1478] vsize: 36404 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 36404 [startup+160.017 s] Raw data (loadavg): 0.98 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 8991 0 0 0 15957 36 0 0 25 0 1 0 1859268380 39305216 8957 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 9596 8957 566 18 0 9578 0 [pid=1478] vsize: 38384 Current children cumulated CPU time (s) 159.93 Current children cumulated vsize (Kb) 38384 [startup+170.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 9201 0 0 0 16957 37 0 0 25 0 1 0 1859268380 40103936 9167 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1478/statm): 9791 9167 566 18 0 9773 0 [pid=1478] vsize: 39164 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 39164 [startup+180.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 9350 0 0 0 17956 37 0 0 25 0 1 0 1859268380 40902656 9316 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 9986 9316 566 18 0 9968 0 [pid=1478] vsize: 39944 Current children cumulated CPU time (s) 179.93 Current children cumulated vsize (Kb) 39944 [startup+190.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 9589 0 0 0 18955 38 0 0 25 0 1 0 1859268380 41848832 9555 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 10217 9555 566 18 0 10199 0 [pid=1478] vsize: 40868 Current children cumulated CPU time (s) 189.93 Current children cumulated vsize (Kb) 40868 [startup+200.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 10182 0 0 0 19953 39 0 0 25 0 1 0 1859268380 44326912 10148 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 10822 10148 566 18 0 10804 0 [pid=1478] vsize: 43288 Current children cumulated CPU time (s) 199.92 Current children cumulated vsize (Kb) 43288 [startup+210.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 10716 0 0 0 20951 41 0 0 25 0 1 0 1859268380 46407680 10682 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 11330 10682 566 18 0 11312 0 [pid=1478] vsize: 45320 Current children cumulated CPU time (s) 209.92 Current children cumulated vsize (Kb) 45320 [startup+220.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 11257 0 0 0 21949 43 0 0 25 0 1 0 1859268380 48631808 11223 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 11873 11223 566 18 0 11855 0 [pid=1478] vsize: 47492 Current children cumulated CPU time (s) 219.92 Current children cumulated vsize (Kb) 47492 [startup+230.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 11678 0 0 0 22948 45 0 0 25 0 1 0 1859268380 50442240 11644 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 12315 11644 566 18 0 12297 0 [pid=1478] vsize: 49260 Current children cumulated CPU time (s) 229.93 Current children cumulated vsize (Kb) 49260 [startup+240.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 12092 0 0 0 23947 46 0 0 25 0 1 0 1859268380 52133888 12058 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 12728 12058 566 18 0 12710 0 [pid=1478] vsize: 50912 Current children cumulated CPU time (s) 239.93 Current children cumulated vsize (Kb) 50912 [startup+250.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 12635 0 0 0 24944 48 0 0 25 0 1 0 1859268380 54255616 12601 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 13246 12601 566 18 0 13228 0 [pid=1478] vsize: 52984 Current children cumulated CPU time (s) 249.92 Current children cumulated vsize (Kb) 52984 [startup+260.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 13186 0 0 0 25943 49 0 0 25 0 1 0 1859268380 56569856 13152 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 13811 13152 566 18 0 13793 0 [pid=1478] vsize: 55244 Current children cumulated CPU time (s) 259.92 Current children cumulated vsize (Kb) 55244 [startup+270.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 13687 0 0 0 26940 51 0 0 25 0 1 0 1859268380 58675200 13653 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 14325 13653 566 18 0 14307 0 [pid=1478] vsize: 57300 Current children cumulated CPU time (s) 269.91 Current children cumulated vsize (Kb) 57300 [startup+280.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 14201 0 0 0 27938 52 0 0 25 0 1 0 1859268380 60719104 14167 4294967295 134512640 134578447 3221224624 3221223488 134517457 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 14824 14167 566 18 0 14806 0 [pid=1478] vsize: 59296 Current children cumulated CPU time (s) 279.9 Current children cumulated vsize (Kb) 59296 [startup+290.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 14653 0 0 0 28936 54 0 0 25 0 1 0 1859268380 62496768 14619 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 15258 14619 566 18 0 15240 0 [pid=1478] vsize: 61032 Current children cumulated CPU time (s) 289.9 Current children cumulated vsize (Kb) 61032 [startup+300.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 15225 0 0 0 29935 55 0 0 25 0 1 0 1859268380 64839680 15191 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 15830 15191 566 18 0 15812 0 [pid=1478] vsize: 63320 Current children cumulated CPU time (s) 299.9 Current children cumulated vsize (Kb) 63320 [startup+310.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 15775 0 0 0 30933 57 0 0 25 0 1 0 1859268380 67166208 15741 4294967295 134512640 134578447 3221224624 3221223472 134558343 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 16398 15741 566 18 0 16380 0 [pid=1478] vsize: 65592 Current children cumulated CPU time (s) 309.9 Current children cumulated vsize (Kb) 65592 [startup+320.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 16323 0 0 0 31931 59 0 0 25 0 1 0 1859268380 69427200 16289 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 16950 16290 566 18 0 16932 0 [pid=1478] vsize: 67800 Current children cumulated CPU time (s) 319.9 Current children cumulated vsize (Kb) 67800 [startup+330.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 16895 0 0 0 32929 60 0 0 25 0 1 0 1859268380 71774208 16861 4294967295 134512640 134578447 3221224624 3221223476 134555711 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 17523 16861 566 18 0 17505 0 [pid=1478] vsize: 70092 Current children cumulated CPU time (s) 329.89 Current children cumulated vsize (Kb) 70092 [startup+340.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 17330 0 0 0 33928 61 0 0 25 0 1 0 1859268380 73457664 17296 4294967295 134512640 134578447 3221224624 3221223600 134519639 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 17934 17296 566 18 0 17916 0 [pid=1478] vsize: 71736 Current children cumulated CPU time (s) 339.89 Current children cumulated vsize (Kb) 71736 [startup+350.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 17451 0 0 0 34928 61 0 0 25 0 1 0 1859268380 73986048 17417 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 18063 17417 566 18 0 18045 0 [pid=1478] vsize: 72252 Current children cumulated CPU time (s) 349.89 Current children cumulated vsize (Kb) 72252 [startup+360.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 17539 0 0 0 35927 62 0 0 25 0 1 0 1859268380 74387456 17505 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 18161 17505 566 18 0 18143 0 [pid=1478] vsize: 72644 Current children cumulated CPU time (s) 359.89 Current children cumulated vsize (Kb) 72644 [startup+370.029 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 18066 0 0 0 36925 64 0 0 25 0 1 0 1859268380 76734464 18032 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 18734 18032 566 18 0 18716 0 [pid=1478] vsize: 74936 Current children cumulated CPU time (s) 369.89 Current children cumulated vsize (Kb) 74936 [startup+380.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 18454 0 0 0 37924 65 0 0 25 0 1 0 1859268380 78401536 18420 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 19141 18420 566 18 0 19123 0 [pid=1478] vsize: 76564 Current children cumulated CPU time (s) 379.89 Current children cumulated vsize (Kb) 76564 [startup+390.029 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 18862 0 0 0 38922 67 0 0 25 0 1 0 1859268380 80031744 18828 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 19539 18828 566 18 0 19521 0 [pid=1478] vsize: 78156 Current children cumulated CPU time (s) 389.89 Current children cumulated vsize (Kb) 78156 [startup+400.03 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 19333 0 0 0 39920 68 0 0 25 0 1 0 1859268380 81969152 19299 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 20012 19299 566 18 0 19994 0 [pid=1478] vsize: 80048 Current children cumulated CPU time (s) 399.88 Current children cumulated vsize (Kb) 80048 [startup+410.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 19749 0 0 0 40919 69 0 0 25 0 1 0 1859268380 83623936 19715 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 20416 19715 566 18 0 20398 0 [pid=1478] vsize: 81664 Current children cumulated CPU time (s) 409.88 Current children cumulated vsize (Kb) 81664 [startup+420.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 19933 0 0 0 41919 70 0 0 25 0 1 0 1859268380 84361216 19899 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 20596 19899 566 18 0 20578 0 [pid=1478] vsize: 82384 Current children cumulated CPU time (s) 419.89 Current children cumulated vsize (Kb) 82384 [startup+430.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 20358 0 0 0 42916 72 0 0 25 0 1 0 1859268380 86122496 20324 4294967295 134512640 134578447 3221224624 3221223476 134555838 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 21026 20324 566 18 0 21008 0 [pid=1478] vsize: 84104 Current children cumulated CPU time (s) 429.88 Current children cumulated vsize (Kb) 84104 [startup+440.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 20733 0 0 0 43915 73 0 0 25 0 1 0 1859268380 87707648 20699 4294967295 134512640 134578447 3221224624 3221223184 134525235 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 21413 20699 566 18 0 21395 0 [pid=1478] vsize: 85652 Current children cumulated CPU time (s) 439.88 Current children cumulated vsize (Kb) 85652 [startup+450.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 20888 0 0 0 44915 73 0 0 25 0 1 0 1859268380 88309760 20854 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 21560 20854 566 18 0 21542 0 [pid=1478] vsize: 86240 Current children cumulated CPU time (s) 449.88 Current children cumulated vsize (Kb) 86240 [startup+460.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 21305 0 0 0 45913 75 0 0 25 0 1 0 1859268380 90066944 21271 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 21989 21271 566 18 0 21971 0 [pid=1478] vsize: 87956 Current children cumulated CPU time (s) 459.88 Current children cumulated vsize (Kb) 87956 [startup+470.034 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 21554 0 0 0 46912 76 0 0 25 0 1 0 1859268380 91103232 21520 4294967295 134512640 134578447 3221224624 3221223456 134527020 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 22242 21520 566 18 0 22224 0 [pid=1478] vsize: 88968 Current children cumulated CPU time (s) 469.88 Current children cumulated vsize (Kb) 88968 [startup+480.034 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 21873 0 0 0 47911 76 0 0 25 0 1 0 1859268380 92282880 21839 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 22530 21839 566 18 0 22512 0 [pid=1478] vsize: 90120 Current children cumulated CPU time (s) 479.87 Current children cumulated vsize (Kb) 90120 [startup+490.034 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 22238 0 0 0 48910 78 0 0 25 0 1 0 1859268380 93822976 22204 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 22906 22204 566 18 0 22888 0 [pid=1478] vsize: 91624 Current children cumulated CPU time (s) 489.88 Current children cumulated vsize (Kb) 91624 [startup+500.034 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 22637 0 0 0 49908 79 0 0 25 0 1 0 1859268380 95522816 22603 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 23321 22603 566 18 0 23303 0 [pid=1478] vsize: 93284 Current children cumulated CPU time (s) 499.87 Current children cumulated vsize (Kb) 93284 [startup+510.035 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 22970 0 0 0 50907 80 0 0 25 0 1 0 1859268380 96866304 22936 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 23649 22936 566 18 0 23631 0 [pid=1478] vsize: 94596 Current children cumulated CPU time (s) 509.87 Current children cumulated vsize (Kb) 94596 [startup+520.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 23295 0 0 0 51906 81 0 0 25 0 1 0 1859268380 98111488 23261 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 23953 23261 566 18 0 23935 0 [pid=1478] vsize: 95812 Current children cumulated CPU time (s) 519.87 Current children cumulated vsize (Kb) 95812 [startup+530.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 23732 0 0 0 52904 82 0 0 25 0 1 0 1859268380 99983360 23698 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 24410 23698 566 18 0 24392 0 [pid=1478] vsize: 97640 Current children cumulated CPU time (s) 529.86 Current children cumulated vsize (Kb) 97640 [startup+540.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 24067 0 0 0 53903 83 0 0 25 0 1 0 1859268380 101322752 24033 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 24737 24033 566 18 0 24719 0 [pid=1478] vsize: 98948 Current children cumulated CPU time (s) 539.86 Current children cumulated vsize (Kb) 98948 [startup+550.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 24441 0 0 0 54902 84 0 0 25 0 1 0 1859268380 102850560 24407 4294967295 134512640 134578447 3221224624 3221223476 134555832 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 25110 24407 566 18 0 25092 0 [pid=1478] vsize: 100440 Current children cumulated CPU time (s) 549.86 Current children cumulated vsize (Kb) 100440 [startup+560.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 24740 0 0 0 55901 85 0 0 25 0 1 0 1859268380 104034304 24706 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 25399 24706 566 18 0 25381 0 [pid=1478] vsize: 101596 Current children cumulated CPU time (s) 559.86 Current children cumulated vsize (Kb) 101596 [startup+570.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 25029 0 0 0 56900 86 0 0 25 0 1 0 1859268380 105299968 24995 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 25708 24995 566 18 0 25690 0 [pid=1478] vsize: 102832 Current children cumulated CPU time (s) 569.86 Current children cumulated vsize (Kb) 102832 [startup+580.039 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 25374 0 0 0 57899 87 0 0 25 0 1 0 1859268380 106684416 25340 4294967295 134512640 134578447 3221224624 3221223476 134555881 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 26046 25340 566 18 0 26028 0 [pid=1478] vsize: 104184 Current children cumulated CPU time (s) 579.86 Current children cumulated vsize (Kb) 104184 [startup+590.04 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 25637 0 0 0 58898 88 0 0 25 0 1 0 1859268380 107741184 25603 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 26304 25603 566 18 0 26286 0 [pid=1478] vsize: 105216 Current children cumulated CPU time (s) 589.86 Current children cumulated vsize (Kb) 105216 [startup+600.041 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 25933 0 0 0 59896 89 0 0 25 0 1 0 1859268380 108912640 25899 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 26590 25899 566 18 0 26572 0 [pid=1478] vsize: 106360 Current children cumulated CPU time (s) 599.85 Current children cumulated vsize (Kb) 106360 [startup+610.042 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 26316 0 0 0 60895 90 0 0 25 0 1 0 1859268380 110559232 26282 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 26992 26282 566 18 0 26974 0 [pid=1478] vsize: 107968 Current children cumulated CPU time (s) 609.85 Current children cumulated vsize (Kb) 107968 [startup+620.043 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 26723 0 0 0 61893 92 0 0 25 0 1 0 1859268380 112316416 26689 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27421 26689 566 18 0 27403 0 [pid=1478] vsize: 109684 Current children cumulated CPU time (s) 619.85 Current children cumulated vsize (Kb) 109684 [startup+630.043 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 62892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223456 134528679 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 629.85 Current children cumulated vsize (Kb) 110864 [startup+640.043 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 63892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 639.85 Current children cumulated vsize (Kb) 110864 [startup+650.044 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 64892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223520 134519941 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 649.85 Current children cumulated vsize (Kb) 110864 [startup+660.045 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 65892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 659.85 Current children cumulated vsize (Kb) 110864 [startup+670.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 66892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223520 134520043 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 669.85 Current children cumulated vsize (Kb) 110864 [startup+680.046 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 67893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 679.86 Current children cumulated vsize (Kb) 110864 [startup+690.047 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 68893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223488 134517819 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 689.86 Current children cumulated vsize (Kb) 110864 [startup+700.047 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 69893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 699.86 Current children cumulated vsize (Kb) 110864 [startup+710.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 70893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 709.86 Current children cumulated vsize (Kb) 110864 [startup+720.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 71893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 719.86 Current children cumulated vsize (Kb) 110864 [startup+730.048 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 72893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 729.86 Current children cumulated vsize (Kb) 110864 [startup+740.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 73893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 739.86 Current children cumulated vsize (Kb) 110864 [startup+750.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 74894 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 749.87 Current children cumulated vsize (Kb) 110864 [startup+760.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 75894 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 759.87 Current children cumulated vsize (Kb) 110864 [startup+770.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 76894 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 769.87 Current children cumulated vsize (Kb) 110864 [startup+780.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 77894 93 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 779.87 Current children cumulated vsize (Kb) 110864 [startup+790.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 78894 93 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223184 134525241 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 789.87 Current children cumulated vsize (Kb) 110864 [startup+800.05 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 79894 93 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 799.87 Current children cumulated vsize (Kb) 110864 [startup+810.051 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 80895 93 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 809.88 Current children cumulated vsize (Kb) 110864 [startup+820.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 81895 94 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 819.89 Current children cumulated vsize (Kb) 110864 [startup+830.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 82895 94 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 829.89 Current children cumulated vsize (Kb) 110864 [startup+840.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27022 0 0 0 83895 94 0 0 25 0 1 0 1859268380 113524736 26988 4294967295 134512640 134578447 3221224624 3221223504 134518831 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26988 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 839.89 Current children cumulated vsize (Kb) 110864 [startup+850.052 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27027 0 0 0 84895 94 0 0 25 0 1 0 1859268380 113524736 26993 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26993 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 849.89 Current children cumulated vsize (Kb) 110864 [startup+860.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27028 0 0 0 85895 94 0 0 25 0 1 0 1859268380 113524736 26994 4294967295 134512640 134578447 3221224624 3221223520 134519887 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26994 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 859.89 Current children cumulated vsize (Kb) 110864 [startup+870.053 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27028 0 0 0 86895 94 0 0 25 0 1 0 1859268380 113524736 26994 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26994 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 869.89 Current children cumulated vsize (Kb) 110864 [startup+880.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27029 0 0 0 87896 94 0 0 25 0 1 0 1859268380 113524736 26995 4294967295 134512640 134578447 3221224624 3221223520 134520040 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26995 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 879.9 Current children cumulated vsize (Kb) 110864 [startup+890.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27029 0 0 0 88896 94 0 0 25 0 1 0 1859268380 113524736 26995 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26995 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 889.9 Current children cumulated vsize (Kb) 110864 [startup+900.054 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27029 0 0 0 89896 94 0 0 25 0 1 0 1859268380 113524736 26995 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26995 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 899.9 Current children cumulated vsize (Kb) 110864 [startup+910.055 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 90896 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 909.9 Current children cumulated vsize (Kb) 110864 [startup+920.056 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 91896 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 919.9 Current children cumulated vsize (Kb) 110864 [startup+930.056 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 92896 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 929.9 Current children cumulated vsize (Kb) 110864 [startup+940.057 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 93897 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223476 134555792 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 939.91 Current children cumulated vsize (Kb) 110864 [startup+950.058 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 94897 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 949.91 Current children cumulated vsize (Kb) 110864 [startup+960.059 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 95897 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 959.91 Current children cumulated vsize (Kb) 110864 [startup+970.059 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 96897 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 969.91 Current children cumulated vsize (Kb) 110864 [startup+980.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 97897 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 979.92 Current children cumulated vsize (Kb) 110864 [startup+990.061 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 98897 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 989.92 Current children cumulated vsize (Kb) 110864 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 99898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 999.93 Current children cumulated vsize (Kb) 110864 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 100898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1009.93 Current children cumulated vsize (Kb) 110864 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 101898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1019.93 Current children cumulated vsize (Kb) 110864 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 102898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1029.93 Current children cumulated vsize (Kb) 110864 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 103898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1039.93 Current children cumulated vsize (Kb) 110864 [startup+1050.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 104898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1049.93 Current children cumulated vsize (Kb) 110864 [startup+1060.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27033 0 0 0 105899 95 0 0 25 0 1 0 1859268380 113524736 26999 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26999 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1059.94 Current children cumulated vsize (Kb) 110864 [startup+1070.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27033 0 0 0 106899 95 0 0 25 0 1 0 1859268380 113524736 26999 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26999 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1069.94 Current children cumulated vsize (Kb) 110864 [startup+1080.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27033 0 0 0 107899 95 0 0 25 0 1 0 1859268380 113524736 26999 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 26999 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1079.94 Current children cumulated vsize (Kb) 110864 [startup+1090.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 108899 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1089.94 Current children cumulated vsize (Kb) 110864 [startup+1100.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 109899 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1099.94 Current children cumulated vsize (Kb) 110864 [startup+1110.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 110900 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1109.95 Current children cumulated vsize (Kb) 110864 [startup+1120.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 111900 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1119.95 Current children cumulated vsize (Kb) 110864 [startup+1130.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 112900 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223536 134557422 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1129.95 Current children cumulated vsize (Kb) 110864 [startup+1140.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 113900 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0 [pid=1478] vsize: 110864 Current children cumulated CPU time (s) 1139.95 Current children cumulated vsize (Kb) 110864 [startup+1150.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27232 0 0 0 114899 96 0 0 25 0 1 0 1859268380 114356224 27198 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 27919 27198 566 18 0 27901 0 [pid=1478] vsize: 111676 Current children cumulated CPU time (s) 1149.95 Current children cumulated vsize (Kb) 111676 [startup+1160.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27670 0 0 0 115898 97 0 0 25 0 1 0 1859268380 116195328 27636 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 28368 27636 566 18 0 28350 0 [pid=1478] vsize: 113472 Current children cumulated CPU time (s) 1159.95 Current children cumulated vsize (Kb) 113472 [startup+1170.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 28004 0 0 0 116898 98 0 0 25 0 1 0 1859268380 117530624 27970 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 28694 27970 566 18 0 28676 0 [pid=1478] vsize: 114776 Current children cumulated CPU time (s) 1169.96 Current children cumulated vsize (Kb) 114776 [startup+1180.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 28354 0 0 0 117896 99 0 0 25 0 1 0 1859268380 118874112 28320 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 29022 28320 566 18 0 29004 0 [pid=1478] vsize: 116088 Current children cumulated CPU time (s) 1179.95 Current children cumulated vsize (Kb) 116088 [startup+1190.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 28747 0 0 0 118895 100 0 0 25 0 1 0 1859268380 120545280 28713 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 29430 28713 566 18 0 29412 0 [pid=1478] vsize: 117720 Current children cumulated CPU time (s) 1189.95 Current children cumulated vsize (Kb) 117720 [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 29046 0 0 0 119895 100 0 0 25 0 1 0 1859268380 121737216 29012 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 29721 29012 566 18 0 29703 0 [pid=1478] vsize: 118884 Current children cumulated CPU time (s) 1199.95 Current children cumulated vsize (Kb) 118884 [startup+1210.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 29504 0 0 0 120893 101 0 0 25 0 1 0 1859268380 123691008 29470 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 30198 29470 566 18 0 30180 0 [pid=1478] vsize: 120792 Current children cumulated CPU time (s) 1209.94 Current children cumulated vsize (Kb) 120792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 1478 Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 29504 0 0 0 120893 101 0 0 25 0 1 0 1859268380 123691008 29470 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1478/statm): 30198 29470 566 18 0 30180 0 [pid=1478] vsize: 120792 Current children cumulated CPU time (s) 1209.94 Current children cumulated vsize (Kb) 120792 Sending SIGTERM to -1478 Sleeping 2 seconds One traced child (pid=1478) 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.13 CPU time (s): 1210.01 CPU user time (s): 1208.94 CPU system time (s): 1.07184 CPU usage (%): 99.9895 Max. virtual memory (cumulated for all children) (Kb): 120792
ERROR: no interpretation found !