Name | web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb |
MD5SUM | e4be8a88d340bbbbfb27e034f74a6524 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(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 | 65 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 254 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 148.053 |
Number of variables | 40605 |
Total number of constraints | 118930 |
Number of constraints which are clauses | 117190 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1740 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
LAUNCH ON wulflinc7 THE 2005-09-20 14:37:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5022 boxname=wulflinc7 idbench=334 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: e4be8a88d340bbbbfb27e034f74a6524 /oldhome/oroussel/tmp/wulflinc7/normalized-ooo.tag14.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 5022 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 451.050 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: 855048 kB Buffers: 31344 kB Cached: 123020 kB SwapCached: 744 kB Active: 75420 kB Inactive: 81540 kB HighTotal: 131008 kB HighFree: 6860 kB LowTotal: 903652 kB LowFree: 848188 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5676 kB Slab: 16964 kB Committed_AS: 64136 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 14:56:13 (client local time) WITH STATUS 20 IN 1136.02 SECONDS stats: 5022 7 1136.02 20
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c starting to Solve c #variables read: 40605 - #constraints read: 118929 c total time : 1135.97 s s UNSATISFIABLE
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/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801108111 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14979/statm): 41 3 40 18 0 23 0 [pid=14979] 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.0039 s] Raw data (loadavg): 0.83 0.93 0.90 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6013 0 0 0 976 17 0 0 25 0 1 0 1801108111 28188672 5979 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14979/statm): 6882 5979 566 18 0 6864 0 [pid=14979] vsize: 27528 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 27528 [startup+20.0046 s] Raw data (loadavg): 0.86 0.93 0.90 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6013 0 0 0 1976 17 0 0 25 0 1 0 1801108111 28188672 5979 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14979/statm): 6882 5979 566 18 0 6864 0 [pid=14979] vsize: 27528 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 27528 [startup+30.0052 s] Raw data (loadavg): 0.88 0.93 0.90 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6053 0 0 0 2975 17 0 0 25 0 1 0 1801108111 28450816 6019 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14979/statm): 6946 6019 566 18 0 6928 0 [pid=14979] vsize: 27784 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 27784 [startup+40.0058 s] Raw data (loadavg): 0.90 0.93 0.90 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6153 0 0 0 3975 18 0 0 25 0 1 0 1801108111 28856320 6119 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14979/statm): 7045 6119 566 18 0 7027 0 [pid=14979] vsize: 28180 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 28180 [startup+50.0065 s] Raw data (loadavg): 0.91 0.93 0.90 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6503 0 0 0 4973 19 0 0 25 0 1 0 1801108111 30470144 6469 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14979/statm): 7439 6469 566 18 0 7421 0 [pid=14979] vsize: 29756 Current children cumulated CPU time (s) 49.92 Current children cumulated vsize (Kb) 29756 [startup+60.0071 s] Raw data (loadavg): 0.92 0.94 0.90 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6856 0 0 0 5972 20 0 0 25 0 1 0 1801108111 31821824 6822 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14979/statm): 7769 6822 566 18 0 7751 0 [pid=14979] vsize: 31076 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (Kb) 31076 [startup+70.0077 s] Raw data (loadavg): 0.94 0.94 0.90 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7211 0 0 0 6971 21 0 0 25 0 1 0 1801108111 33308672 7177 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8132 7177 566 18 0 8114 0 [pid=14979] vsize: 32528 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (Kb) 32528 [startup+80.0074 s] Raw data (loadavg): 0.95 0.94 0.90 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7891 0 0 0 7969 23 0 0 25 0 1 0 1801108111 35921920 7809 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14979/statm): 8770 7809 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 35080 [startup+90.008 s] Raw data (loadavg): 0.95 0.94 0.90 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 8968 23 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 35080 [startup+100.008 s] Raw data (loadavg): 0.96 0.94 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 9967 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134558700 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 99.91 Current children cumulated vsize (Kb) 35080 [startup+110.009 s] Raw data (loadavg): 0.97 0.94 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 10967 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 109.91 Current children cumulated vsize (Kb) 35080 [startup+120.01 s] Raw data (loadavg): 0.97 0.94 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 11967 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 119.91 Current children cumulated vsize (Kb) 35080 [startup+130.01 s] Raw data (loadavg): 0.97 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 12968 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 35080 [startup+140.01 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 13968 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 35080 [startup+150.011 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 14968 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 149.92 Current children cumulated vsize (Kb) 35080 [startup+160.011 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 15968 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 159.92 Current children cumulated vsize (Kb) 35080 [startup+170.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 16969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557196 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 169.93 Current children cumulated vsize (Kb) 35080 [startup+180.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 17969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 179.93 Current children cumulated vsize (Kb) 35080 [startup+190.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 18969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134556889 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 189.93 Current children cumulated vsize (Kb) 35080 [startup+200.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 19969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 199.93 Current children cumulated vsize (Kb) 35080 [startup+210.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 20969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 209.93 Current children cumulated vsize (Kb) 35080 [startup+220.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 21969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 219.93 Current children cumulated vsize (Kb) 35080 [startup+230.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 22970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 229.94 Current children cumulated vsize (Kb) 35080 [startup+240.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 23970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 239.94 Current children cumulated vsize (Kb) 35080 [startup+250.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 24970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134558685 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 249.94 Current children cumulated vsize (Kb) 35080 [startup+260.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 25970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134558636 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 259.94 Current children cumulated vsize (Kb) 35080 [startup+270.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 26970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223552 134531684 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 269.94 Current children cumulated vsize (Kb) 35080 [startup+280.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 27971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 279.95 Current children cumulated vsize (Kb) 35080 [startup+290.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 28971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 289.95 Current children cumulated vsize (Kb) 35080 [startup+300.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 29971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 299.95 Current children cumulated vsize (Kb) 35080 [startup+310.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 30971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 309.95 Current children cumulated vsize (Kb) 35080 [startup+320.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 31971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0 [pid=14979] vsize: 35080 Current children cumulated CPU time (s) 319.95 Current children cumulated vsize (Kb) 35080 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7912 0 0 0 32971 24 0 0 25 0 1 0 1801108111 36052992 7830 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8802 7830 566 18 0 8784 0 [pid=14979] vsize: 35208 Current children cumulated CPU time (s) 329.95 Current children cumulated vsize (Kb) 35208 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8040 0 0 0 33971 25 0 0 25 0 1 0 1801108111 36581376 7958 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 8931 7958 566 18 0 8913 0 [pid=14979] vsize: 35724 Current children cumulated CPU time (s) 339.96 Current children cumulated vsize (Kb) 35724 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8217 0 0 0 34970 25 0 0 25 0 1 0 1801108111 37388288 8135 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 9128 8135 566 18 0 9110 0 [pid=14979] vsize: 36512 Current children cumulated CPU time (s) 349.95 Current children cumulated vsize (Kb) 36512 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8362 0 0 0 35970 26 0 0 25 0 1 0 1801108111 37912576 8280 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 9256 8280 566 18 0 9238 0 [pid=14979] vsize: 37024 Current children cumulated CPU time (s) 359.96 Current children cumulated vsize (Kb) 37024 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8505 0 0 0 36970 26 0 0 25 0 1 0 1801108111 38600704 8423 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 9424 8423 566 18 0 9406 0 [pid=14979] vsize: 37696 Current children cumulated CPU time (s) 369.96 Current children cumulated vsize (Kb) 37696 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8727 0 0 0 37969 27 0 0 25 0 1 0 1801108111 39534592 8645 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 9652 8645 566 18 0 9634 0 [pid=14979] vsize: 38608 Current children cumulated CPU time (s) 379.96 Current children cumulated vsize (Kb) 38608 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8911 0 0 0 38968 27 0 0 25 0 1 0 1801108111 40198144 8829 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 9814 8829 566 18 0 9796 0 [pid=14979] vsize: 39256 Current children cumulated CPU time (s) 389.95 Current children cumulated vsize (Kb) 39256 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9012 0 0 0 39968 27 0 0 25 0 1 0 1801108111 40599552 8930 4294967295 134512640 134578447 3221224624 3221223476 134555729 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 9912 8930 566 18 0 9894 0 [pid=14979] vsize: 39648 Current children cumulated CPU time (s) 399.95 Current children cumulated vsize (Kb) 39648 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9150 0 0 0 40969 28 0 0 25 0 1 0 1801108111 41148416 9068 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 10046 9068 566 18 0 10028 0 [pid=14979] vsize: 40184 Current children cumulated CPU time (s) 409.97 Current children cumulated vsize (Kb) 40184 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9348 0 0 0 41968 28 0 0 25 0 1 0 1801108111 42078208 9266 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 10273 9266 566 18 0 10255 0 [pid=14979] vsize: 41092 Current children cumulated CPU time (s) 419.96 Current children cumulated vsize (Kb) 41092 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9576 0 0 0 42967 29 0 0 25 0 1 0 1801108111 42979328 9494 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 10493 9494 566 18 0 10475 0 [pid=14979] vsize: 41972 Current children cumulated CPU time (s) 429.96 Current children cumulated vsize (Kb) 41972 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9769 0 0 0 43967 30 0 0 25 0 1 0 1801108111 43880448 9687 4294967295 134512640 134578447 3221224624 3221223536 134557067 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 10713 9687 566 18 0 10695 0 [pid=14979] vsize: 42852 Current children cumulated CPU time (s) 439.97 Current children cumulated vsize (Kb) 42852 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9957 0 0 0 44966 30 0 0 25 0 1 0 1801108111 44552192 9875 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 10877 9875 566 18 0 10859 0 [pid=14979] vsize: 43508 Current children cumulated CPU time (s) 449.96 Current children cumulated vsize (Kb) 43508 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10186 0 0 0 45965 31 0 0 25 0 1 0 1801108111 45633536 10104 4294967295 134512640 134578447 3221224624 3221223564 134552640 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 11141 10104 566 18 0 11123 0 [pid=14979] vsize: 44564 Current children cumulated CPU time (s) 459.96 Current children cumulated vsize (Kb) 44564 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10380 0 0 0 46965 31 0 0 25 0 1 0 1801108111 46317568 10298 4294967295 134512640 134578447 3221224624 3221223476 134555700 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 11308 10298 566 18 0 11290 0 [pid=14979] vsize: 45232 Current children cumulated CPU time (s) 469.96 Current children cumulated vsize (Kb) 45232 [startup+480.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10519 0 0 0 47965 32 0 0 25 0 1 0 1801108111 46850048 10437 4294967295 134512640 134578447 3221224624 3221223484 134558154 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 11438 10437 566 18 0 11420 0 [pid=14979] vsize: 45752 Current children cumulated CPU time (s) 479.97 Current children cumulated vsize (Kb) 45752 [startup+490.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10683 0 0 0 48964 33 0 0 25 0 1 0 1801108111 47652864 10601 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 11634 10601 566 18 0 11616 0 [pid=14979] vsize: 46536 Current children cumulated CPU time (s) 489.97 Current children cumulated vsize (Kb) 46536 [startup+500.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10843 0 0 0 49964 33 0 0 25 0 1 0 1801108111 48320512 10761 4294967295 134512640 134578447 3221224624 3221223476 134555859 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 11797 10761 566 18 0 11779 0 [pid=14979] vsize: 47188 Current children cumulated CPU time (s) 499.97 Current children cumulated vsize (Kb) 47188 [startup+510.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11117 0 0 0 50963 34 0 0 25 0 1 0 1801108111 49397760 11035 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 12060 11035 566 18 0 12042 0 [pid=14979] vsize: 48240 Current children cumulated CPU time (s) 509.97 Current children cumulated vsize (Kb) 48240 [startup+520.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11211 0 0 0 51963 34 0 0 25 0 1 0 1801108111 49807360 11129 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 12160 11129 566 18 0 12142 0 [pid=14979] vsize: 48640 Current children cumulated CPU time (s) 519.97 Current children cumulated vsize (Kb) 48640 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11377 0 0 0 52963 34 0 0 25 0 1 0 1801108111 50372608 11295 4294967295 134512640 134578447 3221224624 3221223512 134556433 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 12298 11295 566 18 0 12280 0 [pid=14979] vsize: 49192 Current children cumulated CPU time (s) 529.97 Current children cumulated vsize (Kb) 49192 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11538 0 0 0 53962 35 0 0 25 0 1 0 1801108111 51216384 11456 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 12504 11456 566 18 0 12486 0 [pid=14979] vsize: 50016 Current children cumulated CPU time (s) 539.97 Current children cumulated vsize (Kb) 50016 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11710 0 0 0 54962 36 0 0 25 0 1 0 1801108111 51879936 11628 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 12666 11628 566 18 0 12648 0 [pid=14979] vsize: 50664 Current children cumulated CPU time (s) 549.98 Current children cumulated vsize (Kb) 50664 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11924 0 0 0 55961 36 0 0 25 0 1 0 1801108111 52682752 11842 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 12862 11842 566 18 0 12844 0 [pid=14979] vsize: 51448 Current children cumulated CPU time (s) 559.97 Current children cumulated vsize (Kb) 51448 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12151 0 0 0 56961 37 0 0 25 0 1 0 1801108111 53616640 12069 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 13090 12069 566 18 0 13072 0 [pid=14979] vsize: 52360 Current children cumulated CPU time (s) 569.98 Current children cumulated vsize (Kb) 52360 [startup+580.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12362 0 0 0 57960 37 0 0 25 0 1 0 1801108111 54599680 12280 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 13330 12280 566 18 0 13312 0 [pid=14979] vsize: 53320 Current children cumulated CPU time (s) 579.97 Current children cumulated vsize (Kb) 53320 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12562 0 0 0 58960 38 0 0 25 0 1 0 1801108111 55402496 12480 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 13526 12480 566 18 0 13508 0 [pid=14979] vsize: 54104 Current children cumulated CPU time (s) 589.98 Current children cumulated vsize (Kb) 54104 [startup+600.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12756 0 0 0 59959 38 0 0 25 0 1 0 1801108111 56180736 12674 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 13716 12674 566 18 0 13698 0 [pid=14979] vsize: 54864 Current children cumulated CPU time (s) 599.97 Current children cumulated vsize (Kb) 54864 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12907 0 0 0 60959 39 0 0 25 0 1 0 1801108111 56709120 12825 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 13845 12825 566 18 0 13827 0 [pid=14979] vsize: 55380 Current children cumulated CPU time (s) 609.98 Current children cumulated vsize (Kb) 55380 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13248 0 0 0 61958 40 0 0 25 0 1 0 1801108111 58204160 13166 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 14210 13166 566 18 0 14192 0 [pid=14979] vsize: 56840 Current children cumulated CPU time (s) 619.98 Current children cumulated vsize (Kb) 56840 [startup+630.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13387 0 0 0 62957 41 0 0 25 0 1 0 1801108111 58744832 13305 4294967295 134512640 134578447 3221224624 3221223472 134558418 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 14342 13305 566 18 0 14324 0 [pid=14979] vsize: 57368 Current children cumulated CPU time (s) 629.98 Current children cumulated vsize (Kb) 57368 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13475 0 0 0 63957 41 0 0 25 0 1 0 1801108111 59138048 13393 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 14438 13393 566 18 0 14420 0 [pid=14979] vsize: 57752 Current children cumulated CPU time (s) 639.98 Current children cumulated vsize (Kb) 57752 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13578 0 0 0 64957 41 0 0 25 0 1 0 1801108111 59551744 13496 4294967295 134512640 134578447 3221224624 3221221632 134533139 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 14539 13496 566 18 0 14521 0 [pid=14979] vsize: 58156 Current children cumulated CPU time (s) 649.98 Current children cumulated vsize (Kb) 58156 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13671 0 0 0 65957 41 0 0 25 0 1 0 1801108111 59957248 13589 4294967295 134512640 134578447 3221224624 3221223520 134519903 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 14638 13589 566 18 0 14620 0 [pid=14979] vsize: 58552 Current children cumulated CPU time (s) 659.98 Current children cumulated vsize (Kb) 58552 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13808 0 0 0 66957 41 0 0 25 0 1 0 1801108111 60481536 13726 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 14766 13726 566 18 0 14748 0 [pid=14979] vsize: 59064 Current children cumulated CPU time (s) 669.98 Current children cumulated vsize (Kb) 59064 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13989 0 0 0 67956 42 0 0 25 0 1 0 1801108111 61136896 13907 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 14926 13907 566 18 0 14908 0 [pid=14979] vsize: 59704 Current children cumulated CPU time (s) 679.98 Current children cumulated vsize (Kb) 59704 [startup+690.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14116 0 0 0 68956 42 0 0 25 0 1 0 1801108111 61677568 14034 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 15058 14034 566 18 0 15040 0 [pid=14979] vsize: 60232 Current children cumulated CPU time (s) 689.98 Current children cumulated vsize (Kb) 60232 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14187 0 0 0 69956 42 0 0 25 0 1 0 1801108111 62070784 14105 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 15154 14105 566 18 0 15136 0 [pid=14979] vsize: 60616 Current children cumulated CPU time (s) 699.98 Current children cumulated vsize (Kb) 60616 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14311 0 0 0 70956 42 0 0 25 0 1 0 1801108111 62472192 14229 4294967295 134512640 134578447 3221224624 3221223536 134556909 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 15252 14229 566 18 0 15234 0 [pid=14979] vsize: 61008 Current children cumulated CPU time (s) 709.98 Current children cumulated vsize (Kb) 61008 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14461 0 0 0 71956 43 0 0 25 0 1 0 1801108111 63258624 14379 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 15444 14379 566 18 0 15426 0 [pid=14979] vsize: 61776 Current children cumulated CPU time (s) 719.99 Current children cumulated vsize (Kb) 61776 [startup+730.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14572 0 0 0 72956 43 0 0 25 0 1 0 1801108111 63664128 14490 4294967295 134512640 134578447 3221224624 3221223584 134558800 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 15543 14490 566 18 0 15525 0 [pid=14979] vsize: 62172 Current children cumulated CPU time (s) 729.99 Current children cumulated vsize (Kb) 62172 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14746 0 0 0 73955 43 0 0 25 0 1 0 1801108111 64352256 14664 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 15711 14664 566 18 0 15693 0 [pid=14979] vsize: 62844 Current children cumulated CPU time (s) 739.98 Current children cumulated vsize (Kb) 62844 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14937 0 0 0 74955 44 0 0 25 0 1 0 1801108111 65163264 14855 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 15909 14855 566 18 0 15891 0 [pid=14979] vsize: 63636 Current children cumulated CPU time (s) 749.99 Current children cumulated vsize (Kb) 63636 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15021 0 0 0 75955 44 0 0 25 0 1 0 1801108111 65425408 14939 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 15973 14940 566 18 0 15955 0 [pid=14979] vsize: 63892 Current children cumulated CPU time (s) 759.99 Current children cumulated vsize (Kb) 63892 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15145 0 0 0 76955 45 0 0 25 0 1 0 1801108111 65966080 15063 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16105 15063 566 18 0 16087 0 [pid=14979] vsize: 64420 Current children cumulated CPU time (s) 770 Current children cumulated vsize (Kb) 64420 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15238 0 0 0 77954 45 0 0 25 0 1 0 1801108111 66367488 15156 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16203 15156 566 18 0 16185 0 [pid=14979] vsize: 64812 Current children cumulated CPU time (s) 779.99 Current children cumulated vsize (Kb) 64812 [startup+790.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15311 0 0 0 78955 45 0 0 25 0 1 0 1801108111 66633728 15229 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16268 15229 566 18 0 16250 0 [pid=14979] vsize: 65072 Current children cumulated CPU time (s) 790 Current children cumulated vsize (Kb) 65072 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15426 0 0 0 79955 45 0 0 25 0 1 0 1801108111 67174400 15344 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16400 15344 566 18 0 16382 0 [pid=14979] vsize: 65600 Current children cumulated CPU time (s) 800 Current children cumulated vsize (Kb) 65600 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15516 0 0 0 80954 46 0 0 25 0 1 0 1801108111 67465216 15434 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16471 15434 566 18 0 16453 0 [pid=14979] vsize: 65884 Current children cumulated CPU time (s) 810 Current children cumulated vsize (Kb) 65884 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15614 0 0 0 81954 46 0 0 25 0 1 0 1801108111 67850240 15532 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16565 15532 566 18 0 16547 0 [pid=14979] vsize: 66260 Current children cumulated CPU time (s) 820 Current children cumulated vsize (Kb) 66260 [startup+830.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15744 0 0 0 82954 46 0 0 25 0 1 0 1801108111 68382720 15662 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16695 15662 566 18 0 16677 0 [pid=14979] vsize: 66780 Current children cumulated CPU time (s) 830 Current children cumulated vsize (Kb) 66780 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15810 0 0 0 83954 46 0 0 25 0 1 0 1801108111 68648960 15728 4294967295 134512640 134578447 3221224624 3221223568 134558685 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16760 15728 566 18 0 16742 0 [pid=14979] vsize: 67040 Current children cumulated CPU time (s) 840 Current children cumulated vsize (Kb) 67040 [startup+850.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15890 0 0 0 84954 46 0 0 25 0 1 0 1801108111 69038080 15808 4294967295 134512640 134578447 3221224624 3221223568 134558685 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16855 15808 566 18 0 16837 0 [pid=14979] vsize: 67420 Current children cumulated CPU time (s) 850 Current children cumulated vsize (Kb) 67420 [startup+860.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16026 0 0 0 85953 47 0 0 25 0 1 0 1801108111 69582848 15944 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 16988 15944 566 18 0 16970 0 [pid=14979] vsize: 67952 Current children cumulated CPU time (s) 860 Current children cumulated vsize (Kb) 67952 [startup+870.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16246 0 0 0 86952 48 0 0 25 0 1 0 1801108111 70672384 16164 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17254 16164 566 18 0 17236 0 [pid=14979] vsize: 69016 Current children cumulated CPU time (s) 870 Current children cumulated vsize (Kb) 69016 [startup+880.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16427 0 0 0 87952 48 0 0 25 0 1 0 1801108111 71499776 16345 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17456 16345 566 18 0 17438 0 [pid=14979] vsize: 69824 Current children cumulated CPU time (s) 880 Current children cumulated vsize (Kb) 69824 [startup+890.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16526 0 0 0 88951 49 0 0 25 0 1 0 1801108111 71897088 16444 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17553 16444 566 18 0 17535 0 [pid=14979] vsize: 70212 Current children cumulated CPU time (s) 890 Current children cumulated vsize (Kb) 70212 [startup+900.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16759 0 0 0 89950 50 0 0 25 0 1 0 1801108111 72835072 16677 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17782 16677 566 18 0 17764 0 [pid=14979] vsize: 71128 Current children cumulated CPU time (s) 900 Current children cumulated vsize (Kb) 71128 [startup+910.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16849 0 0 0 90950 51 0 0 25 0 1 0 1801108111 73105408 16767 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17848 16767 566 18 0 17830 0 [pid=14979] vsize: 71392 Current children cumulated CPU time (s) 910.01 Current children cumulated vsize (Kb) 71392 [startup+920.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 91950 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223568 134516683 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 920.01 Current children cumulated vsize (Kb) 71524 [startup+930.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 92950 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 930.01 Current children cumulated vsize (Kb) 71524 [startup+940.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 93950 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 940.01 Current children cumulated vsize (Kb) 71524 [startup+950.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 94951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223520 134519916 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 950.02 Current children cumulated vsize (Kb) 71524 [startup+960.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 95951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223568 134558626 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 960.02 Current children cumulated vsize (Kb) 71524 [startup+970.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 96951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 970.02 Current children cumulated vsize (Kb) 71524 [startup+980.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 97951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 980.02 Current children cumulated vsize (Kb) 71524 [startup+990.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 98951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223472 134520245 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 990.02 Current children cumulated vsize (Kb) 71524 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 99952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1000.03 Current children cumulated vsize (Kb) 71524 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 100952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1010.03 Current children cumulated vsize (Kb) 71524 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 101952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1020.03 Current children cumulated vsize (Kb) 71524 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 102952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1030.03 Current children cumulated vsize (Kb) 71524 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 103952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1040.03 Current children cumulated vsize (Kb) 71524 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 104952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1050.03 Current children cumulated vsize (Kb) 71524 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 105953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1060.04 Current children cumulated vsize (Kb) 71524 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 106953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1070.04 Current children cumulated vsize (Kb) 71524 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 107953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1080.04 Current children cumulated vsize (Kb) 71524 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 108953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134558814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1090.04 Current children cumulated vsize (Kb) 71524 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 109953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1100.04 Current children cumulated vsize (Kb) 71524 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 110954 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1110.05 Current children cumulated vsize (Kb) 71524 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 111954 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1120.05 Current children cumulated vsize (Kb) 71524 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14979 Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 112954 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223520 134519817 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0 [pid=14979] vsize: 71524 Current children cumulated CPU time (s) 1130.05 Current children cumulated vsize (Kb) 71524 One traced child (pid=14979) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 1135.99 CPU time (s): 1136.02 CPU user time (s): 1135.46 CPU system time (s): 0.551916 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (Kb): 71524
ERROR: no interpretation found !