Name | web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb |
MD5SUM | 46f4eb904b1c96b45521a6459aa5d49d |
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 | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 109757 |
Total number of constraints | 313451 |
Number of constraints which are clauses | 295929 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17522 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc19 THE 2005-09-20 14:32:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4991 boxname=wulflinc19 idbench=303 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 46f4eb904b1c96b45521a6459aa5d49d /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 4991 /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: 858672 kB Buffers: 29276 kB Cached: 117672 kB SwapCached: 884 kB Active: 71220 kB Inactive: 78360 kB HighTotal: 131008 kB HighFree: 14700 kB LowTotal: 903652 kB LowFree: 843972 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5564 kB Slab: 20712 kB Committed_AS: 64152 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 14:53:10 (client local time) WITH STATUS 0 IN 1201.1 SECONDS stats: 4991 7 1201.1 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/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859269882 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 41 3 40 18 0 23 0 [pid=13481] 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.0035 s] Raw data (loadavg): 0.82 0.91 0.90 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 11184 0 0 0 949 36 0 0 25 0 1 0 1859269882 47374336 11150 4294967295 134512640 134578447 3221224624 3221092128 1074910621 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 11566 11150 566 18 0 11548 0 [pid=13481] vsize: 46264 Current children cumulated CPU time (s) 9.85 Current children cumulated vsize (Kb) 46264 [startup+20.0043 s] Raw data (loadavg): 0.85 0.91 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 16089 0 0 0 1933 49 0 0 25 0 1 0 1859269882 68792320 15929 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16795 15929 566 18 0 16777 0 [pid=13481] vsize: 67180 Current children cumulated CPU time (s) 19.82 Current children cumulated vsize (Kb) 67180 [startup+30.0051 s] Raw data (loadavg): 0.87 0.91 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 254979 0 0 0 2454 496 0 0 25 0 1 0 1859269882 69234688 16031 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 29.5 Current children cumulated vsize (Kb) 67612 [startup+40.0059 s] Raw data (loadavg): 0.89 0.91 0.91 1/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) T 13480 13481 5929 0 -1 0 543345 0 0 0 2875 1040 0 0 17 0 1 0 1859269882 68792320 15929 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16795 15929 566 18 0 16777 0 [pid=13481] vsize: 67180 Current children cumulated CPU time (s) 39.15 Current children cumulated vsize (Kb) 67180 [startup+50.0057 s] Raw data (loadavg): 0.91 0.92 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 835176 0 0 0 3297 1578 0 0 25 0 1 0 1859269882 69234688 15944 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 15944 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 48.75 Current children cumulated vsize (Kb) 67612 [startup+60.0065 s] Raw data (loadavg): 0.92 0.92 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 1128211 0 0 0 3715 2125 0 0 25 0 1 0 1859269882 69234688 15975 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 15975 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 58.4 Current children cumulated vsize (Kb) 67612 [startup+70.0063 s] Raw data (loadavg): 0.93 0.92 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 1422255 0 0 0 4143 2659 0 0 25 0 1 0 1859269882 69234688 15935 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 15935 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 68.02 Current children cumulated vsize (Kb) 67612 [startup+80.0072 s] Raw data (loadavg): 0.94 0.92 0.91 1/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) T 13480 13481 5929 0 -1 0 1715469 0 0 0 4559 3206 0 0 25 0 1 0 1859269882 68792320 15929 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16795 15929 566 18 0 16777 0 [pid=13481] vsize: 67180 Current children cumulated CPU time (s) 77.65 Current children cumulated vsize (Kb) 67180 [startup+90.0079 s] Raw data (loadavg): 0.95 0.92 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 2008411 0 0 0 4981 3750 0 0 25 0 1 0 1859269882 69234688 15975 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 15975 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 87.31 Current children cumulated vsize (Kb) 67612 [startup+100.009 s] Raw data (loadavg): 0.96 0.93 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 2302211 0 0 0 5409 4284 0 0 25 0 1 0 1859269882 69234688 16015 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 16023 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 96.93 Current children cumulated vsize (Kb) 67612 [startup+110.009 s] Raw data (loadavg): 0.96 0.93 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 2593071 0 0 0 5832 4823 0 0 25 0 1 0 1859269882 69234688 16031 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 106.55 Current children cumulated vsize (Kb) 67612 [startup+120.01 s] Raw data (loadavg): 0.97 0.93 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 2883381 0 0 0 6253 5362 0 0 25 0 1 0 1859269882 69234688 16037 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 116.15 Current children cumulated vsize (Kb) 67612 [startup+130.011 s] Raw data (loadavg): 0.97 0.93 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 3174168 0 0 0 6674 5903 0 0 25 0 1 0 1859269882 69234688 15980 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 15988 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 125.77 Current children cumulated vsize (Kb) 67612 [startup+140.012 s] Raw data (loadavg): 0.98 0.93 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 3464908 0 0 0 7092 6444 0 0 25 0 1 0 1859269882 69234688 15984 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 15992 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 135.36 Current children cumulated vsize (Kb) 67612 [startup+150.012 s] Raw data (loadavg): 0.98 0.94 0.91 1/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) T 13480 13481 5929 0 -1 0 3753753 0 0 0 7513 6983 0 0 25 0 1 0 1859269882 69234688 16037 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 144.96 Current children cumulated vsize (Kb) 67612 [startup+160.012 s] Raw data (loadavg): 0.98 0.94 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 4042574 0 0 0 7929 7526 0 0 25 0 1 0 1859269882 69234688 15958 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 15966 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 154.55 Current children cumulated vsize (Kb) 67612 [startup+170.012 s] Raw data (loadavg): 0.98 0.94 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 4332245 0 0 0 8340 8075 0 0 25 0 1 0 1859269882 69234688 15973 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 15973 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 164.15 Current children cumulated vsize (Kb) 67612 [startup+180.012 s] Raw data (loadavg): 0.99 0.94 0.91 1/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) T 13480 13481 5929 0 -1 0 4622073 0 0 0 8761 8613 0 0 25 0 1 0 1859269882 69234688 16037 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 16037 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 173.74 Current children cumulated vsize (Kb) 67612 [startup+190.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 4913116 0 0 0 9177 9155 0 0 25 0 1 0 1859269882 69234688 16021 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 16021 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 183.32 Current children cumulated vsize (Kb) 67612 [startup+200.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 5205376 0 0 0 9592 9701 0 0 25 0 1 0 1859269882 69234688 16032 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 16032 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 192.93 Current children cumulated vsize (Kb) 67612 [startup+210.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 5496828 0 0 0 10010 10239 0 0 25 0 1 0 1859269882 69234688 15992 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 15999 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 202.49 Current children cumulated vsize (Kb) 67612 [startup+220.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 5785748 0 0 0 10434 10777 0 0 25 0 1 0 1859269882 69234688 16012 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16903 16020 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 212.11 Current children cumulated vsize (Kb) 67612 [startup+230.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6074113 0 0 0 10851 11321 0 0 25 0 1 0 1859269882 69234688 16017 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 16023 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 221.72 Current children cumulated vsize (Kb) 67612 [startup+240.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6362204 0 0 0 11267 11866 0 0 25 0 1 0 1859269882 69234688 15964 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 16903 15964 566 18 0 16885 0 [pid=13481] vsize: 67612 Current children cumulated CPU time (s) 231.33 Current children cumulated vsize (Kb) 67612 [startup+250.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651674 0 0 0 11692 12398 0 0 25 0 1 0 1859269882 69316608 15994 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 15994 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 240.9 Current children cumulated vsize (Kb) 67692 [startup+260.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651678 0 0 0 12692 12398 0 0 25 0 1 0 1859269882 69316608 15998 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 15998 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 250.9 Current children cumulated vsize (Kb) 67692 [startup+270.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651683 0 0 0 13692 12398 0 0 25 0 1 0 1859269882 69316608 16003 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16003 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 260.9 Current children cumulated vsize (Kb) 67692 [startup+280.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651688 0 0 0 14692 12398 0 0 25 0 1 0 1859269882 69316608 16008 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16008 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 270.9 Current children cumulated vsize (Kb) 67692 [startup+290.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651693 0 0 0 15692 12398 0 0 25 0 1 0 1859269882 69316608 16013 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16013 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 280.9 Current children cumulated vsize (Kb) 67692 [startup+300.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651698 0 0 0 16692 12398 0 0 25 0 1 0 1859269882 69316608 16018 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16018 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 290.9 Current children cumulated vsize (Kb) 67692 [startup+310.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651703 0 0 0 17692 12398 0 0 25 0 1 0 1859269882 69316608 16023 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16023 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 300.9 Current children cumulated vsize (Kb) 67692 [startup+320.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651707 0 0 0 18693 12398 0 0 25 0 1 0 1859269882 69316608 16027 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16027 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 310.91 Current children cumulated vsize (Kb) 67692 [startup+330.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651712 0 0 0 19693 12399 0 0 25 0 1 0 1859269882 69316608 16032 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16032 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 320.92 Current children cumulated vsize (Kb) 67692 [startup+340.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651717 0 0 0 20693 12399 0 0 25 0 1 0 1859269882 69316608 16037 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16037 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 330.92 Current children cumulated vsize (Kb) 67692 [startup+350.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651722 0 0 0 21693 12399 0 0 25 0 1 0 1859269882 69316608 16042 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16042 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 340.92 Current children cumulated vsize (Kb) 67692 [startup+360.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651727 0 0 0 22693 12399 0 0 25 0 1 0 1859269882 69316608 16047 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16047 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 350.92 Current children cumulated vsize (Kb) 67692 [startup+370.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651732 0 0 0 23693 12399 0 0 25 0 1 0 1859269882 69316608 16052 4294967295 134512640 134578447 3221224624 3221223616 134532015 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16923 16052 566 18 0 16905 0 [pid=13481] vsize: 67692 Current children cumulated CPU time (s) 360.92 Current children cumulated vsize (Kb) 67692 [startup+380.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651757 0 0 0 24694 12399 0 0 25 0 1 0 1859269882 69451776 16077 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 16956 16077 566 18 0 16938 0 [pid=13481] vsize: 67824 Current children cumulated CPU time (s) 370.93 Current children cumulated vsize (Kb) 67824 [startup+390.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651868 0 0 0 25693 12399 0 0 25 0 1 0 1859269882 70381568 16188 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 17183 16188 566 18 0 17165 0 [pid=13481] vsize: 68732 Current children cumulated CPU time (s) 380.92 Current children cumulated vsize (Kb) 68732 [startup+400.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6651978 0 0 0 26693 12400 0 0 25 0 1 0 1859269882 70922240 16298 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 17315 16298 566 18 0 17297 0 [pid=13481] vsize: 69260 Current children cumulated CPU time (s) 390.93 Current children cumulated vsize (Kb) 69260 [startup+410.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652087 0 0 0 27693 12400 0 0 25 0 1 0 1859269882 71327744 16407 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 17414 16407 566 18 0 17396 0 [pid=13481] vsize: 69656 Current children cumulated CPU time (s) 400.93 Current children cumulated vsize (Kb) 69656 [startup+420.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652199 0 0 0 28693 12400 0 0 25 0 1 0 1859269882 71733248 16519 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 17513 16519 566 18 0 17495 0 [pid=13481] vsize: 70052 Current children cumulated CPU time (s) 410.93 Current children cumulated vsize (Kb) 70052 [startup+430.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652310 0 0 0 29692 12401 0 0 25 0 1 0 1859269882 72138752 16630 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 17612 16630 566 18 0 17594 0 [pid=13481] vsize: 70448 Current children cumulated CPU time (s) 420.93 Current children cumulated vsize (Kb) 70448 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652420 0 0 0 30692 12401 0 0 25 0 1 0 1859269882 72544256 16740 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 17711 16740 566 18 0 17693 0 [pid=13481] vsize: 70844 Current children cumulated CPU time (s) 430.93 Current children cumulated vsize (Kb) 70844 [startup+450.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652529 0 0 0 31692 12402 0 0 25 0 1 0 1859269882 72949760 16849 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 17810 16849 566 18 0 17792 0 [pid=13481] vsize: 71240 Current children cumulated CPU time (s) 440.94 Current children cumulated vsize (Kb) 71240 [startup+460.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652640 0 0 0 32692 12402 0 0 25 0 1 0 1859269882 73490432 16960 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 17942 16960 566 18 0 17924 0 [pid=13481] vsize: 71768 Current children cumulated CPU time (s) 450.94 Current children cumulated vsize (Kb) 71768 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652748 0 0 0 33691 12403 0 0 25 0 1 0 1859269882 73895936 17068 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18041 17068 566 18 0 18023 0 [pid=13481] vsize: 72164 Current children cumulated CPU time (s) 460.94 Current children cumulated vsize (Kb) 72164 [startup+480.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652860 0 0 0 34691 12403 0 0 25 0 1 0 1859269882 74301440 17180 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18140 17180 566 18 0 18122 0 [pid=13481] vsize: 72560 Current children cumulated CPU time (s) 470.94 Current children cumulated vsize (Kb) 72560 [startup+490.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6652969 0 0 0 35691 12403 0 0 25 0 1 0 1859269882 74706944 17289 4294967295 134512640 134578447 3221224624 3221223616 134532015 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18239 17289 566 18 0 18221 0 [pid=13481] vsize: 72956 Current children cumulated CPU time (s) 480.94 Current children cumulated vsize (Kb) 72956 [startup+500.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653081 0 0 0 36691 12404 0 0 25 0 1 0 1859269882 75112448 17401 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18338 17401 566 18 0 18320 0 [pid=13481] vsize: 73352 Current children cumulated CPU time (s) 490.95 Current children cumulated vsize (Kb) 73352 [startup+510.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653193 0 0 0 37690 12404 0 0 25 0 1 0 1859269882 75653120 17513 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18470 17513 566 18 0 18452 0 [pid=13481] vsize: 73880 Current children cumulated CPU time (s) 500.94 Current children cumulated vsize (Kb) 73880 [startup+520.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653305 0 0 0 38690 12404 0 0 25 0 1 0 1859269882 76058624 17625 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18569 17625 566 18 0 18551 0 [pid=13481] vsize: 74276 Current children cumulated CPU time (s) 510.94 Current children cumulated vsize (Kb) 74276 [startup+530.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653414 0 0 0 39690 12405 0 0 25 0 1 0 1859269882 76464128 17734 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18668 17734 566 18 0 18650 0 [pid=13481] vsize: 74672 Current children cumulated CPU time (s) 520.95 Current children cumulated vsize (Kb) 74672 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653527 0 0 0 40690 12405 0 0 25 0 1 0 1859269882 76869632 17847 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18767 17847 566 18 0 18749 0 [pid=13481] vsize: 75068 Current children cumulated CPU time (s) 530.95 Current children cumulated vsize (Kb) 75068 [startup+550.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653643 0 0 0 41689 12405 0 0 25 0 1 0 1859269882 77410304 17963 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18899 17963 566 18 0 18881 0 [pid=13481] vsize: 75596 Current children cumulated CPU time (s) 540.94 Current children cumulated vsize (Kb) 75596 [startup+560.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653752 0 0 0 42689 12406 0 0 25 0 1 0 1859269882 77815808 18072 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 18998 18072 566 18 0 18980 0 [pid=13481] vsize: 75992 Current children cumulated CPU time (s) 550.95 Current children cumulated vsize (Kb) 75992 [startup+570.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653868 0 0 0 43689 12406 0 0 25 0 1 0 1859269882 78221312 18188 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 19097 18188 566 18 0 19079 0 [pid=13481] vsize: 76388 Current children cumulated CPU time (s) 560.95 Current children cumulated vsize (Kb) 76388 [startup+580.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6653986 0 0 0 44688 12407 0 0 25 0 1 0 1859269882 78761984 18306 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 19229 18306 566 18 0 19211 0 [pid=13481] vsize: 76916 Current children cumulated CPU time (s) 570.95 Current children cumulated vsize (Kb) 76916 [startup+590.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654095 0 0 0 45687 12408 0 0 25 0 1 0 1859269882 79167488 18415 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 19328 18415 566 18 0 19310 0 [pid=13481] vsize: 77312 Current children cumulated CPU time (s) 580.95 Current children cumulated vsize (Kb) 77312 [startup+600.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654209 0 0 0 46686 12409 0 0 25 0 1 0 1859269882 79572992 18529 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 19427 18529 566 18 0 19409 0 [pid=13481] vsize: 77708 Current children cumulated CPU time (s) 590.95 Current children cumulated vsize (Kb) 77708 [startup+610.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654319 0 0 0 47686 12410 0 0 25 0 1 0 1859269882 79978496 18639 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 19526 18639 566 18 0 19508 0 [pid=13481] vsize: 78104 Current children cumulated CPU time (s) 600.96 Current children cumulated vsize (Kb) 78104 [startup+620.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654429 0 0 0 48686 12410 0 0 25 0 1 0 1859269882 80519168 18749 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 19658 18749 566 18 0 19640 0 [pid=13481] vsize: 78632 Current children cumulated CPU time (s) 610.96 Current children cumulated vsize (Kb) 78632 [startup+630.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654541 0 0 0 49685 12411 0 0 25 0 1 0 1859269882 80924672 18861 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 19757 18861 566 18 0 19739 0 [pid=13481] vsize: 79028 Current children cumulated CPU time (s) 620.96 Current children cumulated vsize (Kb) 79028 [startup+640.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654650 0 0 0 50685 12411 0 0 25 0 1 0 1859269882 81330176 18970 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 19856 18970 566 18 0 19838 0 [pid=13481] vsize: 79424 Current children cumulated CPU time (s) 630.96 Current children cumulated vsize (Kb) 79424 [startup+650.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654760 0 0 0 51684 12412 0 0 25 0 1 0 1859269882 82784256 19080 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 20211 19080 566 18 0 20193 0 [pid=13481] vsize: 80844 Current children cumulated CPU time (s) 640.96 Current children cumulated vsize (Kb) 80844 [startup+660.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654871 0 0 0 52684 12412 0 0 25 0 1 0 1859269882 83189760 19191 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 20310 19191 566 18 0 20292 0 [pid=13481] vsize: 81240 Current children cumulated CPU time (s) 650.96 Current children cumulated vsize (Kb) 81240 [startup+670.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6654984 0 0 0 53683 12413 0 0 25 0 1 0 1859269882 83730432 19304 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 20442 19304 566 18 0 20424 0 [pid=13481] vsize: 81768 Current children cumulated CPU time (s) 660.96 Current children cumulated vsize (Kb) 81768 [startup+680.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655093 0 0 0 54683 12414 0 0 25 0 1 0 1859269882 84135936 19413 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 20541 19413 566 18 0 20523 0 [pid=13481] vsize: 82164 Current children cumulated CPU time (s) 670.97 Current children cumulated vsize (Kb) 82164 [startup+690.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655204 0 0 0 55683 12414 0 0 25 0 1 0 1859269882 84541440 19524 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 20640 19524 566 18 0 20622 0 [pid=13481] vsize: 82560 Current children cumulated CPU time (s) 680.97 Current children cumulated vsize (Kb) 82560 [startup+700.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655322 0 0 0 56682 12415 0 0 25 0 1 0 1859269882 84946944 19642 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 20739 19642 566 18 0 20721 0 [pid=13481] vsize: 82956 Current children cumulated CPU time (s) 690.97 Current children cumulated vsize (Kb) 82956 [startup+710.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655439 0 0 0 57682 12415 0 0 25 0 1 0 1859269882 85487616 19759 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 20871 19759 566 18 0 20853 0 [pid=13481] vsize: 83484 Current children cumulated CPU time (s) 700.97 Current children cumulated vsize (Kb) 83484 [startup+720.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6655807 0 0 0 58681 12416 0 0 25 0 1 0 1859269882 86974464 20127 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 21234 20127 566 18 0 21216 0 [pid=13481] vsize: 84936 Current children cumulated CPU time (s) 710.97 Current children cumulated vsize (Kb) 84936 [startup+730.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6656416 0 0 0 59679 12418 0 0 25 0 1 0 1859269882 89407488 20736 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 21828 20736 566 18 0 21810 0 [pid=13481] vsize: 87312 Current children cumulated CPU time (s) 720.97 Current children cumulated vsize (Kb) 87312 [startup+740.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6657024 0 0 0 60677 12420 0 0 25 0 1 0 1859269882 91840512 21344 4294967295 134512640 134578447 3221224624 3221223616 134532015 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 22422 21344 566 18 0 22404 0 [pid=13481] vsize: 89688 Current children cumulated CPU time (s) 730.97 Current children cumulated vsize (Kb) 89688 [startup+750.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6657641 0 0 0 61675 12422 0 0 25 0 1 0 1859269882 94408704 21961 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23049 21961 566 18 0 23031 0 [pid=13481] vsize: 92196 Current children cumulated CPU time (s) 740.97 Current children cumulated vsize (Kb) 92196 [startup+760.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658120 0 0 0 62672 12424 0 0 25 0 1 0 1859269882 96616448 22440 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 23588 22440 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 750.96 Current children cumulated vsize (Kb) 94352 [startup+770.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658121 0 0 0 63672 12424 0 0 25 0 1 0 1859269882 96616448 22441 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 23588 22441 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 760.96 Current children cumulated vsize (Kb) 94352 [startup+780.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658121 0 0 0 64670 12425 0 0 25 0 1 0 1859269882 96616448 22441 4294967295 134512640 134578447 3221224624 3221223572 134526370 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13481/statm): 23588 22441 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 770.95 Current children cumulated vsize (Kb) 94352 [startup+790.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 65670 12425 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 780.95 Current children cumulated vsize (Kb) 94352 [startup+800.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 66670 12425 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223200 134554125 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 790.95 Current children cumulated vsize (Kb) 94352 [startup+810.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 67670 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223412 1075289793 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 800.96 Current children cumulated vsize (Kb) 94352 [startup+820.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 68670 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 810.96 Current children cumulated vsize (Kb) 94352 [startup+830.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 69670 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 820.96 Current children cumulated vsize (Kb) 94352 [startup+840.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 70671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 830.97 Current children cumulated vsize (Kb) 94352 [startup+850.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 71671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 840.97 Current children cumulated vsize (Kb) 94352 [startup+860.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 72671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134557033 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 850.97 Current children cumulated vsize (Kb) 94352 [startup+870.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 73671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 860.97 Current children cumulated vsize (Kb) 94352 [startup+880.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 74671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 870.97 Current children cumulated vsize (Kb) 94352 [startup+890.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 75671 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 880.97 Current children cumulated vsize (Kb) 94352 [startup+900.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 76672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 890.98 Current children cumulated vsize (Kb) 94352 [startup+910.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 77672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 900.98 Current children cumulated vsize (Kb) 94352 [startup+920.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 78672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 910.98 Current children cumulated vsize (Kb) 94352 [startup+930.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 79672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 920.98 Current children cumulated vsize (Kb) 94352 [startup+940.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 80672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 930.98 Current children cumulated vsize (Kb) 94352 [startup+950.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 81672 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 940.98 Current children cumulated vsize (Kb) 94352 [startup+960.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 82673 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 950.99 Current children cumulated vsize (Kb) 94352 [startup+970.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 83673 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 960.99 Current children cumulated vsize (Kb) 94352 [startup+980.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 84673 12426 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 970.99 Current children cumulated vsize (Kb) 94352 [startup+990.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 85673 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 981 Current children cumulated vsize (Kb) 94352 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 86673 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 991 Current children cumulated vsize (Kb) 94352 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 87673 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134558889 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1001 Current children cumulated vsize (Kb) 94352 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 88673 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1011 Current children cumulated vsize (Kb) 94352 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 89674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1021.01 Current children cumulated vsize (Kb) 94352 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 90674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1031.01 Current children cumulated vsize (Kb) 94352 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 91674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223648 134554125 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1041.01 Current children cumulated vsize (Kb) 94352 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 92674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1051.01 Current children cumulated vsize (Kb) 94352 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 93674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1061.01 Current children cumulated vsize (Kb) 94352 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 94674 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1071.01 Current children cumulated vsize (Kb) 94352 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 95675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1081.02 Current children cumulated vsize (Kb) 94352 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 96675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223456 134527053 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1091.02 Current children cumulated vsize (Kb) 94352 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 97675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1101.02 Current children cumulated vsize (Kb) 94352 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 98675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1111.02 Current children cumulated vsize (Kb) 94352 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 99675 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1121.02 Current children cumulated vsize (Kb) 94352 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 100676 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223552 134552652 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1131.03 Current children cumulated vsize (Kb) 94352 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 101676 12427 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1141.03 Current children cumulated vsize (Kb) 94352 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 102676 12428 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223556 134552644 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1151.04 Current children cumulated vsize (Kb) 94352 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 103676 12428 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1161.04 Current children cumulated vsize (Kb) 94352 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 104676 12428 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1171.04 Current children cumulated vsize (Kb) 94352 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 105675 12429 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1181.04 Current children cumulated vsize (Kb) 94352 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 106674 12430 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1191.04 Current children cumulated vsize (Kb) 94352 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 107674 12430 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223472 134558198 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1201.04 Current children cumulated vsize (Kb) 94352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13481 Raw data (/proc/13481/stat): 13481 (Pueblo) R 13480 13481 5929 0 -1 0 6658122 0 0 0 107674 12430 0 0 25 0 1 0 1859269882 96616448 22442 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13481/statm): 23588 22442 566 18 0 23570 0 [pid=13481] vsize: 94352 Current children cumulated CPU time (s) 1201.04 Current children cumulated vsize (Kb) 94352 Sending SIGTERM to -13481 Sleeping 2 seconds One traced child (pid=13481) ended because it received signal 15 (SIGTERM) All traced children have exited ! Game is over. Child ended because it received signal 15 (SIGTERM) Real time (s): 1210.11 CPU time (s): 1201.1 CPU user time (s): 1076.74 CPU system time (s): 124.353 CPU usage (%): 99.2552 Max. virtual memory (cumulated for all children) (Kb): 94352
ERROR: no interpretation found !