Name | web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb |
MD5SUM | e8f0ca38acbe8c57203147fb9147be3a |
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 | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
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 | 84836 |
Total number of constraints | 245062 |
Number of constraints which are clauses | 233598 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11464 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc23 THE 2005-09-20 14:36:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5014 boxname=wulflinc23 idbench=326 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: e8f0ca38acbe8c57203147fb9147be3a /oldhome/oroussel/tmp/wulflinc23/normalized-ooo.unbounded.all.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 5014 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 857624 kB Buffers: 32184 kB Cached: 116716 kB SwapCached: 836 kB Active: 71560 kB Inactive: 79948 kB HighTotal: 131008 kB HighFree: 13580 kB LowTotal: 903652 kB LowFree: 844044 kB SwapTotal: 2097136 kB SwapFree: 2095792 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5672 kB Slab: 19796 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 14:57:02 (client local time) WITH STATUS 0 IN 1203.45 SECONDS stats: 5014 7 1203.45 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/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859319919 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 41 3 40 18 0 23 0 [pid=32655] vsize: 164 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libstdc++.so.5 open syscall for file tls/i686/libstdc++.so.5 open syscall for file tls/mmx/libstdc++.so.5 open syscall for file tls/libstdc++.so.5 open syscall for file i686/mmx/libstdc++.so.5 open syscall for file i686/libstdc++.so.5 open syscall for file mmx/libstdc++.so.5 open syscall for file libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/libstdc++.so.5 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++.so.5 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 [startup+10.0045 s] Raw data (loadavg): 0.94 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 10228 0 0 0 953 33 0 0 25 0 1 0 1859319919 43417600 10194 4294967295 134512640 134578447 3221224624 3221092072 1075245165 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 10600 10194 566 18 0 10582 0 [pid=32655] vsize: 42400 Current children cumulated CPU time (s) 9.86 Current children cumulated vsize (Kb) 42400 [startup+20.0051 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 12555 0 0 0 1946 39 0 0 25 0 1 0 1859319919 56627200 12395 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 13825 12395 566 18 0 13807 0 [pid=32655] vsize: 55300 Current children cumulated CPU time (s) 19.85 Current children cumulated vsize (Kb) 55300 [startup+30.0048 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 12555 0 0 0 2946 39 0 0 25 0 1 0 1859319919 56627200 12395 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 13825 12395 566 18 0 13807 0 [pid=32655] vsize: 55300 Current children cumulated CPU time (s) 29.85 Current children cumulated vsize (Kb) 55300 [startup+40.0054 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 167071 0 0 0 3647 314 0 0 25 0 1 0 1859319919 56967168 12448 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13908 12448 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 39.61 Current children cumulated vsize (Kb) 55632 [startup+50.006 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 460060 0 0 0 4070 844 0 0 25 0 1 0 1859319919 56967168 12447 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 13908 12455 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 49.14 Current children cumulated vsize (Kb) 55632 [startup+60.0067 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 752076 0 0 0 4496 1369 0 0 25 0 1 0 1859319919 56967168 12469 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 13908 12477 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 58.65 Current children cumulated vsize (Kb) 55632 [startup+70.0073 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 1045407 0 0 0 4922 1893 0 0 25 0 1 0 1859319919 56967168 12478 4294967295 134512640 134578447 3221224624 3221223620 1075285507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 13908 12478 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 68.15 Current children cumulated vsize (Kb) 55632 [startup+80.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 1336329 0 0 0 5351 2416 0 0 25 0 1 0 1859319919 56967168 12402 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13908 12402 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 77.67 Current children cumulated vsize (Kb) 55632 [startup+90.0086 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 1627624 0 0 0 5766 2953 0 0 25 0 1 0 1859319919 56967168 12450 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13908 12450 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 87.19 Current children cumulated vsize (Kb) 55632 [startup+100.008 s] Raw data (loadavg): 0.98 0.97 0.91 1/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) T 32654 32655 5299 0 -1 0 1919978 0 0 0 6187 3486 0 0 25 0 1 0 1859319919 56967168 12478 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13908 12478 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 96.73 Current children cumulated vsize (Kb) 55632 [startup+110.01 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) T 32654 32655 5299 0 -1 0 2211308 0 0 0 6612 4015 0 0 25 0 1 0 1859319919 56627200 12395 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13825 12395 566 18 0 13807 0 [pid=32655] vsize: 55300 Current children cumulated CPU time (s) 106.27 Current children cumulated vsize (Kb) 55300 [startup+120.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 2503427 0 0 0 7045 4536 0 0 25 0 1 0 1859319919 56967168 12437 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13908 12437 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 115.81 Current children cumulated vsize (Kb) 55632 [startup+130.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 2794943 0 0 0 7469 5065 0 0 25 0 1 0 1859319919 56967168 12457 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13908 12457 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 125.34 Current children cumulated vsize (Kb) 55632 [startup+140.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 3082583 0 0 0 7895 5592 0 0 25 0 1 0 1859319919 56967168 12419 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13908 12419 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 134.87 Current children cumulated vsize (Kb) 55632 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 3371788 0 0 0 8327 6115 0 0 19 0 1 0 1859319919 56967168 12452 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13908 12452 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 144.42 Current children cumulated vsize (Kb) 55632 [startup+160.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 3662563 0 0 0 8757 6637 0 0 25 0 1 0 1859319919 56627200 12395 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13825 12395 566 18 0 13807 0 [pid=32655] vsize: 55300 Current children cumulated CPU time (s) 153.94 Current children cumulated vsize (Kb) 55300 [startup+170.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 3953541 0 0 0 9175 7172 0 0 25 0 1 0 1859319919 56967168 12458 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13908 12458 566 18 0 13890 0 [pid=32655] vsize: 55632 Current children cumulated CPU time (s) 163.47 Current children cumulated vsize (Kb) 55632 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092239 0 0 0 9899 7425 0 0 25 0 1 0 1859319919 57151488 12463 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13953 12463 566 18 0 13935 0 [pid=32655] vsize: 55812 Current children cumulated CPU time (s) 173.24 Current children cumulated vsize (Kb) 55812 [startup+190.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092246 0 0 0 10898 7426 0 0 25 0 1 0 1859319919 57151488 12470 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13953 12470 566 18 0 13935 0 [pid=32655] vsize: 55812 Current children cumulated CPU time (s) 183.24 Current children cumulated vsize (Kb) 55812 [startup+200.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092252 0 0 0 11898 7426 0 0 25 0 1 0 1859319919 57151488 12476 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13953 12476 566 18 0 13935 0 [pid=32655] vsize: 55812 Current children cumulated CPU time (s) 193.24 Current children cumulated vsize (Kb) 55812 [startup+210.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092259 0 0 0 12898 7427 0 0 25 0 1 0 1859319919 57151488 12483 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13953 12483 566 18 0 13935 0 [pid=32655] vsize: 55812 Current children cumulated CPU time (s) 203.25 Current children cumulated vsize (Kb) 55812 [startup+220.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092265 0 0 0 13897 7427 0 0 25 0 1 0 1859319919 57151488 12489 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13953 12489 566 18 0 13935 0 [pid=32655] vsize: 55812 Current children cumulated CPU time (s) 213.24 Current children cumulated vsize (Kb) 55812 [startup+230.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092272 0 0 0 14897 7428 0 0 25 0 1 0 1859319919 57151488 12496 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 13953 12496 566 18 0 13935 0 [pid=32655] vsize: 55812 Current children cumulated CPU time (s) 223.25 Current children cumulated vsize (Kb) 55812 [startup+240.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092406 0 0 0 15896 7428 0 0 25 0 1 0 1859319919 57692160 12630 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 14085 12630 566 18 0 14067 0 [pid=32655] vsize: 56340 Current children cumulated CPU time (s) 233.24 Current children cumulated vsize (Kb) 56340 [startup+250.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092562 0 0 0 16895 7429 0 0 25 0 1 0 1859319919 58368000 12786 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 14250 12786 566 18 0 14232 0 [pid=32655] vsize: 57000 Current children cumulated CPU time (s) 243.24 Current children cumulated vsize (Kb) 57000 [startup+260.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092718 0 0 0 17895 7430 0 0 25 0 1 0 1859319919 58908672 12942 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 14382 12942 566 18 0 14364 0 [pid=32655] vsize: 57528 Current children cumulated CPU time (s) 253.25 Current children cumulated vsize (Kb) 57528 [startup+270.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092868 0 0 0 18894 7431 0 0 25 0 1 0 1859319919 59584512 13092 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 14547 13092 566 18 0 14529 0 [pid=32655] vsize: 58188 Current children cumulated CPU time (s) 263.25 Current children cumulated vsize (Kb) 58188 [startup+280.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093020 0 0 0 19893 7432 0 0 25 0 1 0 1859319919 60649472 13244 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 14807 13244 566 18 0 14789 0 [pid=32655] vsize: 59228 Current children cumulated CPU time (s) 273.25 Current children cumulated vsize (Kb) 59228 [startup+290.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093173 0 0 0 20891 7433 0 0 25 0 1 0 1859319919 61325312 13397 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 14972 13397 566 18 0 14954 0 [pid=32655] vsize: 59888 Current children cumulated CPU time (s) 283.24 Current children cumulated vsize (Kb) 59888 [startup+300.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093327 0 0 0 21890 7434 0 0 25 0 1 0 1859319919 61865984 13551 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 15104 13551 566 18 0 15086 0 [pid=32655] vsize: 60416 Current children cumulated CPU time (s) 293.24 Current children cumulated vsize (Kb) 60416 [startup+310.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093477 0 0 0 22889 7436 0 0 25 0 1 0 1859319919 62406656 13701 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 15236 13701 566 18 0 15218 0 [pid=32655] vsize: 60944 Current children cumulated CPU time (s) 303.25 Current children cumulated vsize (Kb) 60944 [startup+320.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093626 0 0 0 23887 7437 0 0 25 0 1 0 1859319919 63078400 13850 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 15400 13850 566 18 0 15382 0 [pid=32655] vsize: 61600 Current children cumulated CPU time (s) 313.24 Current children cumulated vsize (Kb) 61600 [startup+330.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093787 0 0 0 24886 7438 0 0 25 0 1 0 1859319919 63619072 14011 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 15532 14011 566 18 0 15514 0 [pid=32655] vsize: 62128 Current children cumulated CPU time (s) 323.24 Current children cumulated vsize (Kb) 62128 [startup+340.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093942 0 0 0 25886 7439 0 0 25 0 1 0 1859319919 64294912 14166 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 15697 14166 566 18 0 15679 0 [pid=32655] vsize: 62788 Current children cumulated CPU time (s) 333.25 Current children cumulated vsize (Kb) 62788 [startup+350.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094093 0 0 0 26885 7440 0 0 25 0 1 0 1859319919 64835584 14317 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 15829 14317 566 18 0 15811 0 [pid=32655] vsize: 63316 Current children cumulated CPU time (s) 343.25 Current children cumulated vsize (Kb) 63316 [startup+360.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094249 0 0 0 27884 7441 0 0 25 0 1 0 1859319919 65511424 14473 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 15994 14473 566 18 0 15976 0 [pid=32655] vsize: 63976 Current children cumulated CPU time (s) 353.25 Current children cumulated vsize (Kb) 63976 [startup+370.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094404 0 0 0 28884 7441 0 0 25 0 1 0 1859319919 66052096 14628 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 16126 14628 566 18 0 16108 0 [pid=32655] vsize: 64504 Current children cumulated CPU time (s) 363.25 Current children cumulated vsize (Kb) 64504 [startup+380.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094556 0 0 0 29883 7442 0 0 25 0 1 0 1859319919 66727936 14780 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 16291 14780 566 18 0 16273 0 [pid=32655] vsize: 65164 Current children cumulated CPU time (s) 373.25 Current children cumulated vsize (Kb) 65164 [startup+390.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094712 0 0 0 30883 7442 0 0 25 0 1 0 1859319919 67268608 14936 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 16423 14936 566 18 0 16405 0 [pid=32655] vsize: 65692 Current children cumulated CPU time (s) 383.25 Current children cumulated vsize (Kb) 65692 [startup+400.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094862 0 0 0 31883 7442 0 0 25 0 1 0 1859319919 67944448 15086 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 16588 15086 566 18 0 16570 0 [pid=32655] vsize: 66352 Current children cumulated CPU time (s) 393.25 Current children cumulated vsize (Kb) 66352 [startup+410.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4095012 0 0 0 32882 7443 0 0 25 0 1 0 1859319919 68485120 15236 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 16720 15236 566 18 0 16702 0 [pid=32655] vsize: 66880 Current children cumulated CPU time (s) 403.25 Current children cumulated vsize (Kb) 66880 [startup+420.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4095163 0 0 0 33882 7444 0 0 25 0 1 0 1859319919 69025792 15387 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 16852 15387 566 18 0 16834 0 [pid=32655] vsize: 67408 Current children cumulated CPU time (s) 413.26 Current children cumulated vsize (Kb) 67408 [startup+430.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4095929 0 0 0 34879 7446 0 0 25 0 1 0 1859319919 72134656 16153 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 17611 16153 566 18 0 17593 0 [pid=32655] vsize: 70444 Current children cumulated CPU time (s) 423.25 Current children cumulated vsize (Kb) 70444 [startup+440.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096921 0 0 0 35876 7450 0 0 25 0 1 0 1859319919 76443648 17145 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/32655/statm): 18663 17145 566 18 0 18645 0 [pid=32655] vsize: 74652 Current children cumulated CPU time (s) 433.26 Current children cumulated vsize (Kb) 74652 [startup+450.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096929 0 0 0 36874 7450 0 0 25 0 1 0 1859319919 76443648 17153 4294967295 134512640 134578447 3221224624 3221223296 134522757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18663 17153 566 18 0 18645 0 [pid=32655] vsize: 74652 Current children cumulated CPU time (s) 443.24 Current children cumulated vsize (Kb) 74652 [startup+460.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096930 0 0 0 37875 7450 0 0 25 0 1 0 1859319919 76443648 17154 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18663 17154 566 18 0 18645 0 [pid=32655] vsize: 74652 Current children cumulated CPU time (s) 453.25 Current children cumulated vsize (Kb) 74652 [startup+470.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096930 0 0 0 38875 7450 0 0 25 0 1 0 1859319919 76443648 17154 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18663 17154 566 18 0 18645 0 [pid=32655] vsize: 74652 Current children cumulated CPU time (s) 463.25 Current children cumulated vsize (Kb) 74652 [startup+480.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096930 0 0 0 39875 7450 0 0 25 0 1 0 1859319919 76443648 17154 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18663 17154 566 18 0 18645 0 [pid=32655] vsize: 74652 Current children cumulated CPU time (s) 473.25 Current children cumulated vsize (Kb) 74652 [startup+490.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096930 0 0 0 40875 7450 0 0 25 0 1 0 1859319919 76443648 17154 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18663 17154 566 18 0 18645 0 [pid=32655] vsize: 74652 Current children cumulated CPU time (s) 483.25 Current children cumulated vsize (Kb) 74652 [startup+500.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096936 0 0 0 41876 7450 0 0 25 0 1 0 1859319919 76705792 17160 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17160 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 493.26 Current children cumulated vsize (Kb) 74908 [startup+510.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096936 0 0 0 42876 7450 0 0 25 0 1 0 1859319919 76705792 17160 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17160 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 503.26 Current children cumulated vsize (Kb) 74908 [startup+520.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096936 0 0 0 43876 7450 0 0 25 0 1 0 1859319919 76705792 17160 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17160 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 513.26 Current children cumulated vsize (Kb) 74908 [startup+530.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 44876 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 523.26 Current children cumulated vsize (Kb) 74908 [startup+540.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 45876 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 533.26 Current children cumulated vsize (Kb) 74908 [startup+550.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 46877 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 543.27 Current children cumulated vsize (Kb) 74908 [startup+560.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 47877 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 553.27 Current children cumulated vsize (Kb) 74908 [startup+570.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 48877 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223472 134558386 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 563.27 Current children cumulated vsize (Kb) 74908 [startup+580.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 49877 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 573.27 Current children cumulated vsize (Kb) 74908 [startup+590.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 50877 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 583.28 Current children cumulated vsize (Kb) 74908 [startup+600.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 51878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 593.29 Current children cumulated vsize (Kb) 74908 [startup+610.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 52878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 603.29 Current children cumulated vsize (Kb) 74908 [startup+620.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 53878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 613.29 Current children cumulated vsize (Kb) 74908 [startup+630.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 54878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 623.29 Current children cumulated vsize (Kb) 74908 [startup+640.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 55878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223472 134558160 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 633.29 Current children cumulated vsize (Kb) 74908 [startup+650.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 56878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 643.29 Current children cumulated vsize (Kb) 74908 [startup+660.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 57879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 653.3 Current children cumulated vsize (Kb) 74908 [startup+670.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 58879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559095 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 663.3 Current children cumulated vsize (Kb) 74908 [startup+680.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 59879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 673.3 Current children cumulated vsize (Kb) 74908 [startup+690.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 60879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 683.3 Current children cumulated vsize (Kb) 74908 [startup+700.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 61879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 693.3 Current children cumulated vsize (Kb) 74908 [startup+710.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 62880 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 703.31 Current children cumulated vsize (Kb) 74908 [startup+720.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 63880 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 713.31 Current children cumulated vsize (Kb) 74908 [startup+730.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 64880 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223472 134558415 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 723.31 Current children cumulated vsize (Kb) 74908 [startup+740.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 65880 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 733.32 Current children cumulated vsize (Kb) 74908 [startup+750.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 66880 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223476 134555805 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 743.32 Current children cumulated vsize (Kb) 74908 [startup+760.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 67880 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 753.32 Current children cumulated vsize (Kb) 74908 [startup+770.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 68881 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 763.33 Current children cumulated vsize (Kb) 74908 [startup+780.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 69881 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223472 134558200 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0 [pid=32655] vsize: 74908 Current children cumulated CPU time (s) 773.33 Current children cumulated vsize (Kb) 74908 [startup+790.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096974 0 0 0 70881 7452 0 0 25 0 1 0 1859319919 76967936 17198 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17198 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 783.33 Current children cumulated vsize (Kb) 75164 [startup+800.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096975 0 0 0 71881 7452 0 0 25 0 1 0 1859319919 76967936 17199 4294967295 134512640 134578447 3221224624 3221223600 134519639 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17199 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 793.33 Current children cumulated vsize (Kb) 75164 [startup+810.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096976 0 0 0 72881 7452 0 0 25 0 1 0 1859319919 76967936 17200 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17200 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 803.33 Current children cumulated vsize (Kb) 75164 [startup+820.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096977 0 0 0 73881 7452 0 0 25 0 1 0 1859319919 76967936 17201 4294967295 134512640 134578447 3221224624 3221223536 134556934 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17201 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 813.33 Current children cumulated vsize (Kb) 75164 [startup+830.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096978 0 0 0 74882 7452 0 0 25 0 1 0 1859319919 76967936 17202 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17202 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 823.34 Current children cumulated vsize (Kb) 75164 [startup+840.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096980 0 0 0 75882 7452 0 0 25 0 1 0 1859319919 76967936 17204 4294967295 134512640 134578447 3221224624 3221223472 134558319 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17204 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 833.34 Current children cumulated vsize (Kb) 75164 [startup+850.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096980 0 0 0 76882 7452 0 0 25 0 1 0 1859319919 76967936 17204 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17204 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 843.34 Current children cumulated vsize (Kb) 75164 [startup+860.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096981 0 0 0 77882 7452 0 0 25 0 1 0 1859319919 76967936 17205 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17205 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 853.34 Current children cumulated vsize (Kb) 75164 [startup+870.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096983 0 0 0 78883 7452 0 0 25 0 1 0 1859319919 76967936 17207 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17207 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 863.35 Current children cumulated vsize (Kb) 75164 [startup+880.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096984 0 0 0 79883 7452 0 0 25 0 1 0 1859319919 76967936 17208 4294967295 134512640 134578447 3221224624 3221223476 134555711 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17208 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 873.35 Current children cumulated vsize (Kb) 75164 [startup+890.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096985 0 0 0 80883 7452 0 0 25 0 1 0 1859319919 76967936 17209 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17209 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 883.35 Current children cumulated vsize (Kb) 75164 [startup+900.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096985 0 0 0 81883 7452 0 0 25 0 1 0 1859319919 76967936 17209 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17209 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 893.35 Current children cumulated vsize (Kb) 75164 [startup+910.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096986 0 0 0 82883 7452 0 0 25 0 1 0 1859319919 76967936 17210 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17210 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 903.35 Current children cumulated vsize (Kb) 75164 [startup+920.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096986 0 0 0 83883 7452 0 0 25 0 1 0 1859319919 76967936 17210 4294967295 134512640 134578447 3221224624 3221223476 134555845 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17210 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 913.35 Current children cumulated vsize (Kb) 75164 [startup+930.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096987 0 0 0 84883 7452 0 0 25 0 1 0 1859319919 76967936 17211 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17211 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 923.35 Current children cumulated vsize (Kb) 75164 [startup+940.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096987 0 0 0 85884 7452 0 0 25 0 1 0 1859319919 76967936 17211 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17211 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 933.36 Current children cumulated vsize (Kb) 75164 [startup+950.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096988 0 0 0 86884 7452 0 0 25 0 1 0 1859319919 76967936 17212 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17212 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 943.36 Current children cumulated vsize (Kb) 75164 [startup+960.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096989 0 0 0 87884 7452 0 0 25 0 1 0 1859319919 76967936 17213 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17213 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 953.36 Current children cumulated vsize (Kb) 75164 [startup+970.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096989 0 0 0 88884 7453 0 0 25 0 1 0 1859319919 76967936 17213 4294967295 134512640 134578447 3221224624 3221223244 1075288811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17213 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 963.37 Current children cumulated vsize (Kb) 75164 [startup+980.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096990 0 0 0 89884 7453 0 0 25 0 1 0 1859319919 76967936 17214 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17214 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 973.37 Current children cumulated vsize (Kb) 75164 [startup+990.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096990 0 0 0 90884 7453 0 0 25 0 1 0 1859319919 76967936 17214 4294967295 134512640 134578447 3221224624 3221223472 134556058 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17214 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 983.37 Current children cumulated vsize (Kb) 75164 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096992 0 0 0 91884 7453 0 0 25 0 1 0 1859319919 76967936 17216 4294967295 134512640 134578447 3221224624 3221223412 1075289714 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17216 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 993.37 Current children cumulated vsize (Kb) 75164 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096994 0 0 0 92885 7453 0 0 25 0 1 0 1859319919 76967936 17218 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17218 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1003.38 Current children cumulated vsize (Kb) 75164 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096995 0 0 0 93885 7453 0 0 25 0 1 0 1859319919 76967936 17219 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17219 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1013.38 Current children cumulated vsize (Kb) 75164 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096996 0 0 0 94885 7453 0 0 25 0 1 0 1859319919 76967936 17220 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17220 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1023.38 Current children cumulated vsize (Kb) 75164 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096997 0 0 0 95885 7453 0 0 25 0 1 0 1859319919 76967936 17221 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17221 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1033.38 Current children cumulated vsize (Kb) 75164 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096998 0 0 0 96885 7453 0 0 25 0 1 0 1859319919 76967936 17222 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17222 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1043.38 Current children cumulated vsize (Kb) 75164 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096999 0 0 0 97885 7453 0 0 25 0 1 0 1859319919 76967936 17223 4294967295 134512640 134578447 3221224624 3221223520 134519792 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17223 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1053.38 Current children cumulated vsize (Kb) 75164 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097000 0 0 0 98885 7453 0 0 25 0 1 0 1859319919 76967936 17224 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17224 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1063.38 Current children cumulated vsize (Kb) 75164 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097002 0 0 0 99886 7453 0 0 25 0 1 0 1859319919 76967936 17226 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17226 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1073.39 Current children cumulated vsize (Kb) 75164 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097004 0 0 0 100886 7453 0 0 25 0 1 0 1859319919 76967936 17228 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17228 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1083.39 Current children cumulated vsize (Kb) 75164 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097005 0 0 0 101886 7453 0 0 25 0 1 0 1859319919 76967936 17229 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18791 17229 566 18 0 18773 0 [pid=32655] vsize: 75164 Current children cumulated CPU time (s) 1093.39 Current children cumulated vsize (Kb) 75164 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097006 0 0 0 102886 7453 0 0 25 0 1 0 1859319919 77230080 17230 4294967295 134512640 134578447 3221224624 3221223504 134531670 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18855 17230 566 18 0 18837 0 [pid=32655] vsize: 75420 Current children cumulated CPU time (s) 1103.39 Current children cumulated vsize (Kb) 75420 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097007 0 0 0 103886 7453 0 0 25 0 1 0 1859319919 77230080 17231 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18855 17231 566 18 0 18837 0 [pid=32655] vsize: 75420 Current children cumulated CPU time (s) 1113.39 Current children cumulated vsize (Kb) 75420 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097008 0 0 0 104886 7453 0 0 25 0 1 0 1859319919 77230080 17232 4294967295 134512640 134578447 3221224624 3221223472 134558319 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 18855 17232 566 18 0 18837 0 [pid=32655] vsize: 75420 Current children cumulated CPU time (s) 1123.39 Current children cumulated vsize (Kb) 75420 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097158 0 0 0 105886 7454 0 0 25 0 1 0 1859319919 77881344 17382 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 19014 17382 566 18 0 18996 0 [pid=32655] vsize: 76056 Current children cumulated CPU time (s) 1133.4 Current children cumulated vsize (Kb) 76056 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097210 0 0 0 106886 7454 0 0 25 0 1 0 1859319919 78028800 17434 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 19050 17434 566 18 0 19032 0 [pid=32655] vsize: 76200 Current children cumulated CPU time (s) 1143.4 Current children cumulated vsize (Kb) 76200 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097239 0 0 0 107886 7454 0 0 25 0 1 0 1859319919 78159872 17463 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 19082 17463 566 18 0 19064 0 [pid=32655] vsize: 76328 Current children cumulated CPU time (s) 1153.4 Current children cumulated vsize (Kb) 76328 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097247 0 0 0 108886 7454 0 0 25 0 1 0 1859319919 78159872 17471 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 19082 17471 566 18 0 19064 0 [pid=32655] vsize: 76328 Current children cumulated CPU time (s) 1163.4 Current children cumulated vsize (Kb) 76328 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097332 0 0 0 109885 7455 0 0 25 0 1 0 1859319919 78553088 17556 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 19178 17556 566 18 0 19160 0 [pid=32655] vsize: 76712 Current children cumulated CPU time (s) 1173.4 Current children cumulated vsize (Kb) 76712 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097628 0 0 0 110884 7456 0 0 25 0 1 0 1859319919 79749120 17852 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 19470 17852 566 18 0 19452 0 [pid=32655] vsize: 77880 Current children cumulated CPU time (s) 1183.4 Current children cumulated vsize (Kb) 77880 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097781 0 0 0 111884 7457 0 0 25 0 1 0 1859319919 80408576 18005 4294967295 134512640 134578447 3221224624 3221223476 134555746 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 19631 18005 566 18 0 19613 0 [pid=32655] vsize: 78524 Current children cumulated CPU time (s) 1193.41 Current children cumulated vsize (Kb) 78524 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4098041 0 0 0 112883 7457 0 0 25 0 1 0 1859319919 81453056 18265 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 19886 18265 566 18 0 19868 0 [pid=32655] vsize: 79544 Current children cumulated CPU time (s) 1203.4 Current children cumulated vsize (Kb) 79544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 32655 Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4098041 0 0 0 112883 7457 0 0 25 0 1 0 1859319919 81453056 18265 4294967295 134512640 134578447 3221224624 3221223536 134556821 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/32655/statm): 19886 18265 566 18 0 19868 0 [pid=32655] vsize: 79544 Current children cumulated CPU time (s) 1203.4 Current children cumulated vsize (Kb) 79544 Sending SIGTERM to -32655 Sleeping 2 seconds One traced child (pid=32655) 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.1 CPU time (s): 1203.45 CPU user time (s): 1128.84 CPU system time (s): 74.6127 CPU usage (%): 99.4503 Max. virtual memory (cumulated for all children) (Kb): 79544
ERROR: no interpretation found !