Name | web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb |
MD5SUM | 5b41c3eb79e4b3bf301d25b20a1c7b76 |
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 | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 62704 |
Total number of constraints | 187107 |
Number of constraints which are clauses | 186603 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
LAUNCH ON wulflinc15 THE 2005-09-20 14:34:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4997 boxname=wulflinc15 idbench=309 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 5b41c3eb79e4b3bf301d25b20a1c7b76 /oldhome/oroussel/tmp/wulflinc15/normalized-cache.inv14.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 4997 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 821376 kB Buffers: 30908 kB Cached: 152356 kB SwapCached: 744 kB Active: 72324 kB Inactive: 113588 kB HighTotal: 131008 kB HighFree: 3780 kB LowTotal: 903652 kB LowFree: 817596 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 21800 kB Committed_AS: 64136 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 14:54:54 (client local time) WITH STATUS 0 IN 1207.12 SECONDS stats: 4997 7 1207.12 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/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801057004 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 41 3 40 18 0 23 0 [pid=13595] 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.0034 s] Raw data (loadavg): 0.84 0.95 0.91 1/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 100490 0 0 0 780 191 0 0 25 0 1 0 1801057004 38977536 9068 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13595/statm): 9516 9068 566 18 0 9498 0 [pid=13595] vsize: 38064 Current children cumulated CPU time (s) 9.71 Current children cumulated vsize (Kb) 38064 [startup+20.0042 s] Raw data (loadavg): 0.86 0.95 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 396123 0 0 0 1204 711 0 0 25 0 1 0 1801057004 38977536 9023 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9516 9023 566 18 0 9498 0 [pid=13595] vsize: 38064 Current children cumulated CPU time (s) 19.15 Current children cumulated vsize (Kb) 38064 [startup+30.004 s] Raw data (loadavg): 0.88 0.95 0.91 1/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 689924 0 0 0 1628 1231 0 0 25 0 1 0 1801057004 38977536 9068 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13595/statm): 9516 9068 566 18 0 9498 0 [pid=13595] vsize: 38064 Current children cumulated CPU time (s) 28.59 Current children cumulated vsize (Kb) 38064 [startup+40.0038 s] Raw data (loadavg): 0.90 0.95 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 989694 0 0 0 2061 1741 0 0 25 0 1 0 1801057004 38977536 9068 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9516 9068 566 18 0 9498 0 [pid=13595] vsize: 38064 Current children cumulated CPU time (s) 38.02 Current children cumulated vsize (Kb) 38064 [startup+50.0047 s] Raw data (loadavg): 0.92 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 1285688 0 0 0 2491 2250 0 0 25 0 1 0 1801057004 38977536 9012 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9516 9012 566 18 0 9498 0 [pid=13595] vsize: 38064 Current children cumulated CPU time (s) 47.41 Current children cumulated vsize (Kb) 38064 [startup+60.0045 s] Raw data (loadavg): 0.93 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 1582401 0 0 0 2923 2758 0 0 25 0 1 0 1801057004 38977536 9055 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 9516 9064 566 18 0 9498 0 [pid=13595] vsize: 38064 Current children cumulated CPU time (s) 56.81 Current children cumulated vsize (Kb) 38064 [startup+70.0053 s] Raw data (loadavg): 0.94 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 1882073 0 0 0 3356 3267 0 0 25 0 1 0 1801057004 38977536 9020 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9516 9020 566 18 0 9498 0 [pid=13595] vsize: 38064 Current children cumulated CPU time (s) 66.23 Current children cumulated vsize (Kb) 38064 [startup+80.0061 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 2177608 0 0 0 3792 3771 0 0 25 0 1 0 1801057004 39239680 9062 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9580 9062 566 18 0 9562 0 [pid=13595] vsize: 38320 Current children cumulated CPU time (s) 75.63 Current children cumulated vsize (Kb) 38320 [startup+90.0059 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 2471452 0 0 0 4227 4277 0 0 25 0 1 0 1801057004 39239680 9088 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9580 9088 566 18 0 9562 0 [pid=13595] vsize: 38320 Current children cumulated CPU time (s) 85.04 Current children cumulated vsize (Kb) 38320 [startup+100.007 s] Raw data (loadavg): 0.96 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 2770440 0 0 0 4664 4784 0 0 25 0 1 0 1801057004 39239680 9112 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 9580 9112 566 18 0 9562 0 [pid=13595] vsize: 38320 Current children cumulated CPU time (s) 94.48 Current children cumulated vsize (Kb) 38320 [startup+110.007 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 3068401 0 0 0 5104 5289 0 0 25 0 1 0 1801057004 39239680 9101 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9580 9101 566 18 0 9562 0 [pid=13595] vsize: 38320 Current children cumulated CPU time (s) 103.93 Current children cumulated vsize (Kb) 38320 [startup+120.007 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 3362583 0 0 0 5534 5802 0 0 25 0 1 0 1801057004 39239680 9093 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9580 9093 566 18 0 9562 0 [pid=13595] vsize: 38320 Current children cumulated CPU time (s) 113.36 Current children cumulated vsize (Kb) 38320 [startup+130.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 3656554 0 0 0 5963 6316 0 0 25 0 1 0 1801057004 39239680 9122 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9580 9122 566 18 0 9562 0 [pid=13595] vsize: 38320 Current children cumulated CPU time (s) 122.79 Current children cumulated vsize (Kb) 38320 [startup+140.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 3953197 0 0 0 6387 6835 0 0 25 0 1 0 1801057004 39239680 9095 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9580 9095 566 18 0 9562 0 [pid=13595] vsize: 38320 Current children cumulated CPU time (s) 132.22 Current children cumulated vsize (Kb) 38320 [startup+150.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 4247288 0 0 0 6820 7340 0 0 25 0 1 0 1801057004 39501824 9120 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9644 9120 566 18 0 9626 0 [pid=13595] vsize: 38576 Current children cumulated CPU time (s) 141.6 Current children cumulated vsize (Kb) 38576 [startup+160.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 4541962 0 0 0 7242 7859 0 0 25 0 1 0 1801057004 39501824 9108 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 9644 9116 566 18 0 9626 0 [pid=13595] vsize: 38576 Current children cumulated CPU time (s) 151.01 Current children cumulated vsize (Kb) 38576 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 4838090 0 0 0 7676 8371 0 0 25 0 1 0 1801057004 39501824 9124 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 9644 9133 566 18 0 9626 0 [pid=13595] vsize: 38576 Current children cumulated CPU time (s) 160.47 Current children cumulated vsize (Kb) 38576 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 5134971 0 0 0 8104 8886 0 0 25 0 1 0 1801057004 39501824 9149 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13595/statm): 9644 9149 566 18 0 9626 0 [pid=13595] vsize: 38576 Current children cumulated CPU time (s) 169.9 Current children cumulated vsize (Kb) 38576 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 5426343 0 0 0 8527 9400 0 0 25 0 1 0 1801057004 39907328 9245 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13595/statm): 9743 9245 566 18 0 9725 0 [pid=13595] vsize: 38972 Current children cumulated CPU time (s) 179.27 Current children cumulated vsize (Kb) 38972 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 5719085 0 0 0 8956 9913 0 0 25 0 1 0 1801057004 40312832 9347 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13595/statm): 9842 9347 566 18 0 9824 0 [pid=13595] vsize: 39368 Current children cumulated CPU time (s) 188.69 Current children cumulated vsize (Kb) 39368 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 6012450 0 0 0 9383 10428 0 0 25 0 1 0 1801057004 40718336 9452 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 9941 9452 566 18 0 9923 0 [pid=13595] vsize: 39764 Current children cumulated CPU time (s) 198.11 Current children cumulated vsize (Kb) 39764 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 6310231 0 0 0 9815 10937 0 0 25 0 1 0 1801057004 41119744 9509 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 10039 9509 566 18 0 10021 0 [pid=13595] vsize: 40156 Current children cumulated CPU time (s) 207.52 Current children cumulated vsize (Kb) 40156 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 6604822 0 0 0 10238 11457 0 0 25 0 1 0 1801057004 41660416 9663 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 10171 9669 566 18 0 10153 0 [pid=13595] vsize: 40684 Current children cumulated CPU time (s) 216.95 Current children cumulated vsize (Kb) 40684 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 6902473 0 0 0 10672 11964 0 0 25 0 1 0 1801057004 42065920 9775 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 10270 9777 566 18 0 10252 0 [pid=13595] vsize: 41080 Current children cumulated CPU time (s) 226.36 Current children cumulated vsize (Kb) 41080 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 7202103 0 0 0 11113 12468 0 0 25 0 1 0 1801057004 42471424 9883 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 10369 9883 566 18 0 10351 0 [pid=13595] vsize: 41476 Current children cumulated CPU time (s) 235.81 Current children cumulated vsize (Kb) 41476 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 7501455 0 0 0 11551 12970 0 0 25 0 1 0 1801057004 42876928 9961 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 10468 9961 566 18 0 10450 0 [pid=13595] vsize: 41872 Current children cumulated CPU time (s) 245.21 Current children cumulated vsize (Kb) 41872 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 7798045 0 0 0 11982 13476 0 0 25 0 1 0 1801057004 43282432 10067 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 10567 10067 566 18 0 10549 0 [pid=13595] vsize: 42268 Current children cumulated CPU time (s) 254.58 Current children cumulated vsize (Kb) 42268 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 8095776 0 0 0 12421 13979 0 0 25 0 1 0 1801057004 43433984 10136 4294967295 134512640 134578447 3221224624 3221223440 1075289570 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 10604 10136 566 18 0 10586 0 [pid=13595] vsize: 42416 Current children cumulated CPU time (s) 264 Current children cumulated vsize (Kb) 42416 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 8393577 0 0 0 12850 14490 0 0 25 0 1 0 1801057004 44617728 10275 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 10893 10284 566 18 0 10875 0 [pid=13595] vsize: 43572 Current children cumulated CPU time (s) 273.4 Current children cumulated vsize (Kb) 43572 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 8690811 0 0 0 13289 14997 0 0 25 0 1 0 1801057004 45023232 10405 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13595/statm): 10992 10405 566 18 0 10974 0 [pid=13595] vsize: 43968 Current children cumulated CPU time (s) 282.86 Current children cumulated vsize (Kb) 43968 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 8980787 0 0 0 13710 15514 0 0 25 0 1 0 1801057004 45428736 10469 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 11091 10469 566 18 0 11073 0 [pid=13595] vsize: 44364 Current children cumulated CPU time (s) 292.24 Current children cumulated vsize (Kb) 44364 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 9270224 0 0 0 14140 16024 0 0 25 0 1 0 1801057004 45834240 10614 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 11190 10614 566 18 0 11172 0 [pid=13595] vsize: 44760 Current children cumulated CPU time (s) 301.64 Current children cumulated vsize (Kb) 44760 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 9569355 0 0 0 14568 16540 0 0 25 0 1 0 1801057004 46239744 10719 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13595/statm): 11289 10719 566 18 0 11271 0 [pid=13595] vsize: 45156 Current children cumulated CPU time (s) 311.08 Current children cumulated vsize (Kb) 45156 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 9870722 0 0 0 15004 17046 0 0 25 0 1 0 1801057004 46645248 10828 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13595/statm): 11388 10828 566 18 0 11370 0 [pid=13595] vsize: 45552 Current children cumulated CPU time (s) 320.5 Current children cumulated vsize (Kb) 45552 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 10169686 0 0 0 15432 17560 0 0 25 0 1 0 1801057004 47050752 10890 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 11487 10898 566 18 0 11469 0 [pid=13595] vsize: 45948 Current children cumulated CPU time (s) 329.92 Current children cumulated vsize (Kb) 45948 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 10468852 0 0 0 15868 18065 0 0 25 0 1 0 1801057004 47456256 11030 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 11586 11034 566 18 0 11568 0 [pid=13595] vsize: 46344 Current children cumulated CPU time (s) 339.33 Current children cumulated vsize (Kb) 46344 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) T 13594 13595 31778 0 -1 0 10768981 0 0 0 16302 18574 0 0 25 0 1 0 1801057004 47861760 11141 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13595/statm): 11685 11141 566 18 0 11667 0 [pid=13595] vsize: 46740 Current children cumulated CPU time (s) 348.76 Current children cumulated vsize (Kb) 46740 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11066082 0 0 0 16735 19079 0 0 25 0 1 0 1801057004 48267264 11200 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 11784 11200 566 18 0 11766 0 [pid=13595] vsize: 47136 Current children cumulated CPU time (s) 358.14 Current children cumulated vsize (Kb) 47136 [startup+390.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11361169 0 0 0 17172 19586 0 0 25 0 1 0 1801057004 48672768 11353 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 11883 11353 566 18 0 11865 0 [pid=13595] vsize: 47532 Current children cumulated CPU time (s) 367.58 Current children cumulated vsize (Kb) 47532 [startup+400.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612384 0 0 0 17699 20008 0 0 25 0 1 0 1801057004 50356224 11716 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11716 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 377.07 Current children cumulated vsize (Kb) 49176 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612417 0 0 0 18699 20008 0 0 25 0 1 0 1801057004 50356224 11749 4294967295 134512640 134578447 3221224624 3221223568 134558949 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11749 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 387.07 Current children cumulated vsize (Kb) 49176 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612422 0 0 0 19698 20009 0 0 25 0 1 0 1801057004 50356224 11754 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11754 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 397.07 Current children cumulated vsize (Kb) 49176 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612422 0 0 0 20698 20009 0 0 25 0 1 0 1801057004 50356224 11754 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11754 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 407.07 Current children cumulated vsize (Kb) 49176 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612422 0 0 0 21698 20009 0 0 25 0 1 0 1801057004 50356224 11754 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11754 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 417.07 Current children cumulated vsize (Kb) 49176 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.91 3/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 22697 20010 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 427.07 Current children cumulated vsize (Kb) 49176 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 23696 20010 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 437.06 Current children cumulated vsize (Kb) 49176 [startup+470.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 24696 20011 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223476 134555875 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 447.07 Current children cumulated vsize (Kb) 49176 [startup+480.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 25696 20011 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 457.07 Current children cumulated vsize (Kb) 49176 [startup+490.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 26696 20011 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134558903 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 467.07 Current children cumulated vsize (Kb) 49176 [startup+500.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 27696 20011 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 477.07 Current children cumulated vsize (Kb) 49176 [startup+510.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 28696 20012 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 487.08 Current children cumulated vsize (Kb) 49176 [startup+520.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 29695 20012 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 497.07 Current children cumulated vsize (Kb) 49176 [startup+530.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 30695 20013 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 507.08 Current children cumulated vsize (Kb) 49176 [startup+540.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 31694 20013 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 517.07 Current children cumulated vsize (Kb) 49176 [startup+550.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 32694 20014 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 527.08 Current children cumulated vsize (Kb) 49176 [startup+560.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 33694 20014 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 537.08 Current children cumulated vsize (Kb) 49176 [startup+570.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 34693 20014 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 547.07 Current children cumulated vsize (Kb) 49176 [startup+580.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 35693 20015 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 557.08 Current children cumulated vsize (Kb) 49176 [startup+590.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 36693 20015 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 567.08 Current children cumulated vsize (Kb) 49176 [startup+600.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 37692 20016 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 577.08 Current children cumulated vsize (Kb) 49176 [startup+610.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612429 0 0 0 38692 20016 0 0 25 0 1 0 1801057004 50356224 11761 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11761 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 587.08 Current children cumulated vsize (Kb) 49176 [startup+620.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 39692 20016 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223584 134558605 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 597.08 Current children cumulated vsize (Kb) 49176 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 40691 20017 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 607.08 Current children cumulated vsize (Kb) 49176 [startup+640.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 41691 20017 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 617.08 Current children cumulated vsize (Kb) 49176 [startup+650.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 42691 20017 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 627.08 Current children cumulated vsize (Kb) 49176 [startup+660.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 43690 20018 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 637.08 Current children cumulated vsize (Kb) 49176 [startup+670.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 44690 20018 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 647.08 Current children cumulated vsize (Kb) 49176 [startup+680.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 45690 20018 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 657.08 Current children cumulated vsize (Kb) 49176 [startup+690.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 46689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 667.08 Current children cumulated vsize (Kb) 49176 [startup+700.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 47689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 677.08 Current children cumulated vsize (Kb) 49176 [startup+710.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 48689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 687.08 Current children cumulated vsize (Kb) 49176 [startup+720.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 49689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223568 134558669 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 697.08 Current children cumulated vsize (Kb) 49176 [startup+730.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 50689 20019 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 707.08 Current children cumulated vsize (Kb) 49176 [startup+740.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 51688 20020 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223536 134557051 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 717.08 Current children cumulated vsize (Kb) 49176 [startup+750.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 52688 20020 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 727.08 Current children cumulated vsize (Kb) 49176 [startup+760.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 53688 20020 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223536 134557264 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 737.08 Current children cumulated vsize (Kb) 49176 [startup+770.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 54688 20020 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223500 134558259 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 747.08 Current children cumulated vsize (Kb) 49176 [startup+780.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612431 0 0 0 55688 20021 0 0 25 0 1 0 1801057004 50356224 11763 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12294 11763 566 18 0 12276 0 [pid=13595] vsize: 49176 Current children cumulated CPU time (s) 757.09 Current children cumulated vsize (Kb) 49176 [startup+790.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612525 0 0 0 56687 20021 0 0 25 0 1 0 1801057004 50753536 11857 4294967295 134512640 134578447 3221224624 3221223536 134557203 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12391 11857 566 18 0 12373 0 [pid=13595] vsize: 49564 Current children cumulated CPU time (s) 767.08 Current children cumulated vsize (Kb) 49564 [startup+800.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612600 0 0 0 57686 20022 0 0 25 0 1 0 1801057004 51130368 11932 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12483 11932 566 18 0 12465 0 [pid=13595] vsize: 49932 Current children cumulated CPU time (s) 777.08 Current children cumulated vsize (Kb) 49932 [startup+810.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11612893 0 0 0 58685 20023 0 0 25 0 1 0 1801057004 52277248 12225 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12763 12225 566 18 0 12745 0 [pid=13595] vsize: 51052 Current children cumulated CPU time (s) 787.08 Current children cumulated vsize (Kb) 51052 [startup+820.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613075 0 0 0 59684 20024 0 0 25 0 1 0 1801057004 53018624 12407 4294967295 134512640 134578447 3221224624 3221223472 134558418 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 12944 12407 566 18 0 12926 0 [pid=13595] vsize: 51776 Current children cumulated CPU time (s) 797.08 Current children cumulated vsize (Kb) 51776 [startup+830.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613249 0 0 0 60683 20024 0 0 25 0 1 0 1801057004 53846016 12581 4294967295 134512640 134578447 3221224624 3221223476 134555740 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 13146 12581 566 18 0 13128 0 [pid=13595] vsize: 52584 Current children cumulated CPU time (s) 807.07 Current children cumulated vsize (Kb) 52584 [startup+840.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613259 0 0 0 61683 20025 0 0 25 0 1 0 1801057004 53780480 12591 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 13130 12591 566 18 0 13112 0 [pid=13595] vsize: 52520 Current children cumulated CPU time (s) 817.08 Current children cumulated vsize (Kb) 52520 [startup+850.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613337 0 0 0 62682 20025 0 0 25 0 1 0 1801057004 54243328 12669 4294967295 134512640 134578447 3221224624 3221223648 134554125 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 13243 12669 566 18 0 13225 0 [pid=13595] vsize: 52972 Current children cumulated CPU time (s) 827.07 Current children cumulated vsize (Kb) 52972 [startup+860.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613485 0 0 0 63682 20026 0 0 25 0 1 0 1801057004 54886400 12817 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 13400 12817 566 18 0 13382 0 [pid=13595] vsize: 53600 Current children cumulated CPU time (s) 837.08 Current children cumulated vsize (Kb) 53600 [startup+870.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613594 0 0 0 64681 20027 0 0 25 0 1 0 1801057004 55267328 12926 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 13493 12926 566 18 0 13475 0 [pid=13595] vsize: 53972 Current children cumulated CPU time (s) 847.08 Current children cumulated vsize (Kb) 53972 [startup+880.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613697 0 0 0 65681 20027 0 0 25 0 1 0 1801057004 55603200 13029 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 13575 13029 566 18 0 13557 0 [pid=13595] vsize: 54300 Current children cumulated CPU time (s) 857.08 Current children cumulated vsize (Kb) 54300 [startup+890.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11613891 0 0 0 66679 20028 0 0 25 0 1 0 1801057004 56430592 13223 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 13777 13223 566 18 0 13759 0 [pid=13595] vsize: 55108 Current children cumulated CPU time (s) 867.07 Current children cumulated vsize (Kb) 55108 [startup+900.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614069 0 0 0 67678 20030 0 0 25 0 1 0 1801057004 57180160 13401 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 13960 13401 566 18 0 13942 0 [pid=13595] vsize: 55840 Current children cumulated CPU time (s) 877.08 Current children cumulated vsize (Kb) 55840 [startup+910.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614115 0 0 0 68678 20030 0 0 25 0 1 0 1801057004 57311232 13447 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 13992 13447 566 18 0 13974 0 [pid=13595] vsize: 55968 Current children cumulated CPU time (s) 887.08 Current children cumulated vsize (Kb) 55968 [startup+920.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614218 0 0 0 69676 20031 0 0 25 0 1 0 1801057004 57831424 13550 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 14119 13550 566 18 0 14101 0 [pid=13595] vsize: 56476 Current children cumulated CPU time (s) 897.07 Current children cumulated vsize (Kb) 56476 [startup+930.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614385 0 0 0 70675 20032 0 0 25 0 1 0 1801057004 58490880 13717 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 14280 13717 566 18 0 14262 0 [pid=13595] vsize: 57120 Current children cumulated CPU time (s) 907.07 Current children cumulated vsize (Kb) 57120 [startup+940.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614638 0 0 0 71674 20033 0 0 25 0 1 0 1801057004 59555840 13970 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 14540 13970 566 18 0 14522 0 [pid=13595] vsize: 58160 Current children cumulated CPU time (s) 917.07 Current children cumulated vsize (Kb) 58160 [startup+950.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614783 0 0 0 72673 20034 0 0 25 0 1 0 1801057004 60116992 14115 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 14677 14115 566 18 0 14659 0 [pid=13595] vsize: 58708 Current children cumulated CPU time (s) 927.07 Current children cumulated vsize (Kb) 58708 [startup+960.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614835 0 0 0 73672 20035 0 0 25 0 1 0 1801057004 60366848 14167 4294967295 134512640 134578447 3221224624 3221223584 134559011 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 14738 14167 566 18 0 14720 0 [pid=13595] vsize: 58952 Current children cumulated CPU time (s) 937.07 Current children cumulated vsize (Kb) 58952 [startup+970.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11614892 0 0 0 74672 20035 0 0 25 0 1 0 1801057004 60485632 14224 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 14767 14224 566 18 0 14749 0 [pid=13595] vsize: 59068 Current children cumulated CPU time (s) 947.07 Current children cumulated vsize (Kb) 59068 [startup+980.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615043 0 0 0 75671 20036 0 0 25 0 1 0 1801057004 61161472 14375 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 14932 14375 566 18 0 14914 0 [pid=13595] vsize: 59728 Current children cumulated CPU time (s) 957.07 Current children cumulated vsize (Kb) 59728 [startup+990.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615238 0 0 0 76670 20036 0 0 25 0 1 0 1801057004 61968384 14570 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 15129 14570 566 18 0 15111 0 [pid=13595] vsize: 60516 Current children cumulated CPU time (s) 967.06 Current children cumulated vsize (Kb) 60516 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615356 0 0 0 77670 20037 0 0 25 0 1 0 1801057004 62492672 14688 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 15257 14688 566 18 0 15239 0 [pid=13595] vsize: 61028 Current children cumulated CPU time (s) 977.07 Current children cumulated vsize (Kb) 61028 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615479 0 0 0 78669 20037 0 0 25 0 1 0 1801057004 63004672 14811 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 15382 14811 566 18 0 15364 0 [pid=13595] vsize: 61528 Current children cumulated CPU time (s) 987.06 Current children cumulated vsize (Kb) 61528 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615593 0 0 0 79669 20038 0 0 25 0 1 0 1801057004 63434752 14925 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 15487 14925 566 18 0 15469 0 [pid=13595] vsize: 61948 Current children cumulated CPU time (s) 997.07 Current children cumulated vsize (Kb) 61948 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615701 0 0 0 80668 20039 0 0 25 0 1 0 1801057004 63799296 15033 4294967295 134512640 134578447 3221224624 3221223476 134555895 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 15576 15033 566 18 0 15558 0 [pid=13595] vsize: 62304 Current children cumulated CPU time (s) 1007.07 Current children cumulated vsize (Kb) 62304 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11615879 0 0 0 81667 20039 0 0 25 0 1 0 1801057004 64569344 15211 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 15764 15211 566 18 0 15746 0 [pid=13595] vsize: 63056 Current children cumulated CPU time (s) 1017.06 Current children cumulated vsize (Kb) 63056 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616155 0 0 0 82666 20040 0 0 25 0 1 0 1801057004 65695744 15487 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13595/statm): 16039 15487 566 18 0 16021 0 [pid=13595] vsize: 64156 Current children cumulated CPU time (s) 1027.06 Current children cumulated vsize (Kb) 64156 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616279 0 0 0 83665 20041 0 0 25 0 1 0 1801057004 66220032 15611 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 16167 15611 566 18 0 16149 0 [pid=13595] vsize: 64668 Current children cumulated CPU time (s) 1037.06 Current children cumulated vsize (Kb) 64668 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616464 0 0 0 84664 20042 0 0 25 0 1 0 1801057004 66936832 15796 4294967295 134512640 134578447 3221224624 3221223536 134557190 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 16342 15796 566 18 0 16324 0 [pid=13595] vsize: 65368 Current children cumulated CPU time (s) 1047.06 Current children cumulated vsize (Kb) 65368 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616671 0 0 0 85663 20043 0 0 25 0 1 0 1801057004 67780608 16003 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 16548 16003 566 18 0 16530 0 [pid=13595] vsize: 66192 Current children cumulated CPU time (s) 1057.06 Current children cumulated vsize (Kb) 66192 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616833 0 0 0 86662 20044 0 0 25 0 1 0 1801057004 68448256 16165 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 16711 16165 566 18 0 16693 0 [pid=13595] vsize: 66844 Current children cumulated CPU time (s) 1067.06 Current children cumulated vsize (Kb) 66844 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11616937 0 0 0 87663 20044 0 0 25 0 1 0 1801057004 68853760 16269 4294967295 134512640 134578447 3221224624 3221223504 134518936 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 16810 16269 566 18 0 16792 0 [pid=13595] vsize: 67240 Current children cumulated CPU time (s) 1077.07 Current children cumulated vsize (Kb) 67240 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617069 0 0 0 88662 20044 0 0 25 0 1 0 1801057004 69390336 16401 4294967295 134512640 134578447 3221224624 3221223476 134555888 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 16941 16401 566 18 0 16923 0 [pid=13595] vsize: 67764 Current children cumulated CPU time (s) 1087.06 Current children cumulated vsize (Kb) 67764 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617201 0 0 0 89662 20044 0 0 25 0 1 0 1801057004 70062080 16533 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 17105 16533 566 18 0 17087 0 [pid=13595] vsize: 68420 Current children cumulated CPU time (s) 1097.06 Current children cumulated vsize (Kb) 68420 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617276 0 0 0 90662 20045 0 0 25 0 1 0 1801057004 70307840 16608 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 17165 16608 566 18 0 17147 0 [pid=13595] vsize: 68660 Current children cumulated CPU time (s) 1107.07 Current children cumulated vsize (Kb) 68660 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617502 0 0 0 91661 20046 0 0 25 0 1 0 1801057004 71168000 16834 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 17375 16834 566 18 0 17357 0 [pid=13595] vsize: 69500 Current children cumulated CPU time (s) 1117.07 Current children cumulated vsize (Kb) 69500 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617655 0 0 0 92661 20046 0 0 25 0 1 0 1801057004 71815168 16987 4294967295 134512640 134578447 3221224624 3221223600 134519645 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 17533 16987 566 18 0 17515 0 [pid=13595] vsize: 70132 Current children cumulated CPU time (s) 1127.07 Current children cumulated vsize (Kb) 70132 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617774 0 0 0 93661 20046 0 0 25 0 1 0 1801057004 72314880 17106 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 17655 17106 566 18 0 17637 0 [pid=13595] vsize: 70620 Current children cumulated CPU time (s) 1137.07 Current children cumulated vsize (Kb) 70620 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11617877 0 0 0 94660 20047 0 0 25 0 1 0 1801057004 72712192 17209 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 17752 17209 566 18 0 17734 0 [pid=13595] vsize: 71008 Current children cumulated CPU time (s) 1147.07 Current children cumulated vsize (Kb) 71008 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618022 0 0 0 95660 20047 0 0 25 0 1 0 1801057004 73392128 17354 4294967295 134512640 134578447 3221224624 3221223476 134555800 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 17918 17354 566 18 0 17900 0 [pid=13595] vsize: 71672 Current children cumulated CPU time (s) 1157.07 Current children cumulated vsize (Kb) 71672 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618145 0 0 0 96660 20047 0 0 25 0 1 0 1801057004 73916416 17477 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 18046 17477 566 18 0 18028 0 [pid=13595] vsize: 72184 Current children cumulated CPU time (s) 1167.07 Current children cumulated vsize (Kb) 72184 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618286 0 0 0 97659 20048 0 0 25 0 1 0 1801057004 74461184 17618 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 18179 17618 566 18 0 18161 0 [pid=13595] vsize: 72716 Current children cumulated CPU time (s) 1177.07 Current children cumulated vsize (Kb) 72716 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618432 0 0 0 98659 20048 0 0 25 0 1 0 1801057004 75190272 17764 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 18357 17764 566 18 0 18339 0 [pid=13595] vsize: 73428 Current children cumulated CPU time (s) 1187.07 Current children cumulated vsize (Kb) 73428 [startup+1220.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618527 0 0 0 99659 20049 0 0 25 0 1 0 1801057004 75550720 17859 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 18445 17859 566 18 0 18427 0 [pid=13595] vsize: 73780 Current children cumulated CPU time (s) 1197.08 Current children cumulated vsize (Kb) 73780 [startup+1230.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618642 0 0 0 100658 20049 0 0 25 0 1 0 1801057004 75931648 17974 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 18538 17974 566 18 0 18520 0 [pid=13595] vsize: 74152 Current children cumulated CPU time (s) 1207.07 Current children cumulated vsize (Kb) 74152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13595 Raw data (/proc/13595/stat): 13595 (Pueblo) R 13594 13595 31778 0 -1 0 11618642 0 0 0 100658 20049 0 0 25 0 1 0 1801057004 75931648 17974 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13595/statm): 18538 17974 566 18 0 18520 0 [pid=13595] vsize: 74152 Current children cumulated CPU time (s) 1207.07 Current children cumulated vsize (Kb) 74152 Sending SIGTERM to -13595 Sleeping 2 seconds One traced child (pid=13595) 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): 1230.1 CPU time (s): 1207.12 CPU user time (s): 1006.59 CPU system time (s): 200.527 CPU usage (%): 98.1316 Max. virtual memory (cumulated for all children) (Kb): 74152
ERROR: no interpretation found !