Name | submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb |
MD5SUM | b552ff39062b6c42ea64365c815cbd78 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
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 | 2650 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2650 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2650 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2650 |
Total number of constraints | 6619 |
Number of constraints which are clauses | 6619 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
LAUNCH ON wulflinc25 THE 2005-09-20 13:53:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4881 boxname=wulflinc25 idbench=193 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: b552ff39062b6c42ea64365c815cbd78 /oldhome/oroussel/tmp/wulflinc25/normalized-par32-3-c.opb REAL COMMAND: Pueblo IDLAUNCH: 4881 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 859232 kB Buffers: 32992 kB Cached: 114972 kB SwapCached: 888 kB Active: 59092 kB Inactive: 91516 kB HighTotal: 131008 kB HighFree: 18620 kB LowTotal: 903652 kB LowFree: 840612 kB SwapTotal: 2097892 kB SwapFree: 2096524 kB Dirty: 52 kB Writeback: 0 kB Mapped: 5732 kB Slab: 19264 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 14:13:36 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 4881 7 1200.22 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/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859076714 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/2856/statm): 41 3 40 18 0 23 0 [pid=2856] 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.93 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 751 0 0 0 997 1 0 0 25 0 1 0 1859076714 4665344 717 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1139 717 566 18 0 1121 0 [pid=2856] vsize: 4556 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 4556 [startup+20.003 s] Raw data (loadavg): 0.94 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 856 0 0 0 1996 1 0 0 25 0 1 0 1859076714 5193728 822 4294967295 134512640 134578447 3221224624 3221223552 134552645 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1268 822 566 18 0 1250 0 [pid=2856] vsize: 5072 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 5072 [startup+30.0036 s] Raw data (loadavg): 0.95 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 899 0 0 0 2996 1 0 0 25 0 1 0 1859076714 5324800 865 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1300 865 566 18 0 1282 0 [pid=2856] vsize: 5200 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 5200 [startup+40.0032 s] Raw data (loadavg): 0.96 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 979 0 0 0 3997 1 0 0 25 0 1 0 1859076714 5595136 945 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1366 945 566 18 0 1348 0 [pid=2856] vsize: 5464 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 5464 [startup+50.0038 s] Raw data (loadavg): 0.96 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 979 0 0 0 4997 1 0 0 25 0 1 0 1859076714 5595136 945 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1366 945 566 18 0 1348 0 [pid=2856] vsize: 5464 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 5464 [startup+60.0034 s] Raw data (loadavg): 0.97 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1023 0 0 0 5996 2 0 0 25 0 1 0 1859076714 5861376 989 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1431 989 566 18 0 1413 0 [pid=2856] vsize: 5724 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 5724 [startup+70.003 s] Raw data (loadavg): 0.97 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1072 0 0 0 6996 2 0 0 25 0 1 0 1859076714 5992448 1038 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1463 1038 566 18 0 1445 0 [pid=2856] vsize: 5852 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 5852 [startup+80.0036 s] Raw data (loadavg): 0.98 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1088 0 0 0 7996 2 0 0 25 0 1 0 1859076714 6164480 1054 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1505 1054 566 18 0 1487 0 [pid=2856] vsize: 6020 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 6020 [startup+90.0032 s] Raw data (loadavg): 0.98 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1133 0 0 0 8996 3 0 0 25 0 1 0 1859076714 6295552 1099 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1537 1099 566 18 0 1519 0 [pid=2856] vsize: 6148 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 6148 [startup+100.004 s] Raw data (loadavg): 0.98 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1202 0 0 0 9994 5 0 0 25 0 1 0 1859076714 6561792 1168 4294967295 134512640 134578447 3221224624 3221223536 134557225 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1602 1168 566 18 0 1584 0 [pid=2856] vsize: 6408 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 6408 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.87 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1236 0 0 0 10994 5 0 0 25 0 1 0 1859076714 6692864 1202 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1634 1202 566 18 0 1616 0 [pid=2856] vsize: 6536 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 6536 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1236 0 0 0 11994 6 0 0 25 0 1 0 1859076714 6692864 1202 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1634 1202 566 18 0 1616 0 [pid=2856] vsize: 6536 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 6536 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1259 0 0 0 12994 6 0 0 25 0 1 0 1859076714 6828032 1225 4294967295 134512640 134578447 3221224624 3221223520 134519742 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1667 1225 566 18 0 1649 0 [pid=2856] vsize: 6668 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 6668 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1431 0 0 0 13992 7 0 0 25 0 1 0 1859076714 7487488 1397 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1828 1397 566 18 0 1810 0 [pid=2856] vsize: 7312 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 7312 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1506 0 0 0 14992 8 0 0 25 0 1 0 1859076714 7884800 1472 4294967295 134512640 134578447 3221224624 3221223504 134519923 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1925 1472 566 18 0 1907 0 [pid=2856] vsize: 7700 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 7700 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1595 0 0 0 15991 9 0 0 25 0 1 0 1859076714 8151040 1561 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 1990 1561 566 18 0 1972 0 [pid=2856] vsize: 7960 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 7960 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1672 0 0 0 16991 9 0 0 25 0 1 0 1859076714 8548352 1638 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2087 1638 566 18 0 2069 0 [pid=2856] vsize: 8348 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 8348 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1828 0 0 0 17990 10 0 0 25 0 1 0 1859076714 9203712 1794 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2247 1794 566 18 0 2229 0 [pid=2856] vsize: 8988 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 8988 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1903 0 0 0 18990 10 0 0 25 0 1 0 1859076714 9465856 1869 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1869 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 9244 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 19990 10 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 9244 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 20990 10 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 210 Current children cumulated vsize (Kb) 9244 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 21990 10 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 220 Current children cumulated vsize (Kb) 9244 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 22991 10 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223472 134558515 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 230.01 Current children cumulated vsize (Kb) 9244 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 23990 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 240.01 Current children cumulated vsize (Kb) 9244 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 24991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 250.02 Current children cumulated vsize (Kb) 9244 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 25991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223484 134558154 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 260.02 Current children cumulated vsize (Kb) 9244 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 26991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 270.02 Current children cumulated vsize (Kb) 9244 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 27991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 280.02 Current children cumulated vsize (Kb) 9244 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 28991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (Kb) 9244 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 29991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 300.02 Current children cumulated vsize (Kb) 9244 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.89 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 30991 11 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223472 134558433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 310.02 Current children cumulated vsize (Kb) 9244 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.90 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 31992 11 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 320.03 Current children cumulated vsize (Kb) 9244 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.90 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 32991 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 330.03 Current children cumulated vsize (Kb) 9244 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.90 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 33992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223440 1075285089 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 340.04 Current children cumulated vsize (Kb) 9244 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.90 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 34992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 350.04 Current children cumulated vsize (Kb) 9244 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.90 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 35992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 360.04 Current children cumulated vsize (Kb) 9244 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.90 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 36992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 370.04 Current children cumulated vsize (Kb) 9244 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.90 2/56 2856 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 37992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223472 134558343 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 380.04 Current children cumulated vsize (Kb) 9244 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.90 2/57 2857 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 38994 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 390.06 Current children cumulated vsize (Kb) 9244 [startup+400.025 s] Raw data (loadavg): 1.07 0.99 0.91 2/56 2911 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 39993 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 400.05 Current children cumulated vsize (Kb) 9244 [startup+410.024 s] Raw data (loadavg): 1.06 0.99 0.91 2/56 2911 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 40994 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 410.06 Current children cumulated vsize (Kb) 9244 [startup+420.024 s] Raw data (loadavg): 1.05 0.99 0.91 2/56 2911 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 41994 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223524 134556722 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 420.06 Current children cumulated vsize (Kb) 9244 [startup+430.025 s] Raw data (loadavg): 1.04 0.99 0.91 2/56 2911 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 42994 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 430.06 Current children cumulated vsize (Kb) 9244 [startup+440.024 s] Raw data (loadavg): 1.03 0.99 0.91 2/56 2911 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 43994 13 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 440.07 Current children cumulated vsize (Kb) 9244 [startup+450.025 s] Raw data (loadavg): 1.03 0.99 0.91 2/56 2911 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 44994 13 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 450.07 Current children cumulated vsize (Kb) 9244 [startup+460.024 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 45994 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 460.07 Current children cumulated vsize (Kb) 9244 [startup+470.024 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 46994 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 470.07 Current children cumulated vsize (Kb) 9244 [startup+480.024 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 47994 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 480.07 Current children cumulated vsize (Kb) 9244 [startup+490.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 48995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223520 134519783 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 490.08 Current children cumulated vsize (Kb) 9244 [startup+500.024 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 49995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 500.08 Current children cumulated vsize (Kb) 9244 [startup+510.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 50995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 510.08 Current children cumulated vsize (Kb) 9244 [startup+520.023 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 51995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223536 134556812 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 520.08 Current children cumulated vsize (Kb) 9244 [startup+530.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 52995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 530.08 Current children cumulated vsize (Kb) 9244 [startup+540.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 53995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 540.08 Current children cumulated vsize (Kb) 9244 [startup+550.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 54995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 550.08 Current children cumulated vsize (Kb) 9244 [startup+560.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 55995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223576 134559033 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 560.08 Current children cumulated vsize (Kb) 9244 [startup+570.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 56996 13 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 570.09 Current children cumulated vsize (Kb) 9244 [startup+580.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 57996 13 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 580.09 Current children cumulated vsize (Kb) 9244 [startup+590.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 58995 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 590.09 Current children cumulated vsize (Kb) 9244 [startup+600.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 59996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223472 134558377 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 600.1 Current children cumulated vsize (Kb) 9244 [startup+610.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 60996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223536 134556867 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 610.1 Current children cumulated vsize (Kb) 9244 [startup+620.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 61996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223472 134558409 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 620.1 Current children cumulated vsize (Kb) 9244 [startup+630.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 62996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223572 134559036 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 630.1 Current children cumulated vsize (Kb) 9244 [startup+640.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 63996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223536 134556671 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 640.1 Current children cumulated vsize (Kb) 9244 [startup+650.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 64997 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223472 134558198 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 650.11 Current children cumulated vsize (Kb) 9244 [startup+660.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 65997 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223584 134558919 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 660.11 Current children cumulated vsize (Kb) 9244 [startup+670.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1914 0 0 0 66997 14 0 0 25 0 1 0 1859076714 9465856 1880 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1880 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 670.11 Current children cumulated vsize (Kb) 9244 [startup+680.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1914 0 0 0 67997 14 0 0 25 0 1 0 1859076714 9465856 1880 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1880 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 680.11 Current children cumulated vsize (Kb) 9244 [startup+690.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1914 0 0 0 68997 14 0 0 25 0 1 0 1859076714 9465856 1880 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1880 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 690.11 Current children cumulated vsize (Kb) 9244 [startup+700.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1914 0 0 0 69995 16 0 0 25 0 1 0 1859076714 9465856 1880 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2311 1880 566 18 0 2293 0 [pid=2856] vsize: 9244 Current children cumulated CPU time (s) 700.11 Current children cumulated vsize (Kb) 9244 [startup+710.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 70995 16 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 710.11 Current children cumulated vsize (Kb) 9404 [startup+720.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 71995 16 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 720.11 Current children cumulated vsize (Kb) 9404 [startup+730.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 72995 17 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223520 134519847 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 730.12 Current children cumulated vsize (Kb) 9404 [startup+740.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 73995 17 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 740.12 Current children cumulated vsize (Kb) 9404 [startup+750.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2915 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 74995 17 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223520 134557473 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 750.12 Current children cumulated vsize (Kb) 9404 [startup+760.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 75995 18 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223560 134552641 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 760.13 Current children cumulated vsize (Kb) 9404 [startup+770.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1926 0 0 0 76995 18 0 0 25 0 1 0 1859076714 9629696 1892 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1892 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 770.13 Current children cumulated vsize (Kb) 9404 [startup+780.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1926 0 0 0 77995 18 0 0 25 0 1 0 1859076714 9629696 1892 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1892 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 780.13 Current children cumulated vsize (Kb) 9404 [startup+790.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1931 0 0 0 78995 18 0 0 25 0 1 0 1859076714 9629696 1897 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1897 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 790.13 Current children cumulated vsize (Kb) 9404 [startup+800.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1932 0 0 0 79995 18 0 0 25 0 1 0 1859076714 9629696 1898 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1898 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 800.13 Current children cumulated vsize (Kb) 9404 [startup+810.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1937 0 0 0 80995 18 0 0 25 0 1 0 1859076714 9629696 1903 4294967295 134512640 134578447 3221224624 3221223536 134557341 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1903 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 810.13 Current children cumulated vsize (Kb) 9404 [startup+820.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 81995 18 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 820.13 Current children cumulated vsize (Kb) 9404 [startup+830.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 82995 18 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 830.13 Current children cumulated vsize (Kb) 9404 [startup+840.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 83995 19 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223568 134558951 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 840.14 Current children cumulated vsize (Kb) 9404 [startup+850.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 84995 19 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 850.14 Current children cumulated vsize (Kb) 9404 [startup+860.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 85995 19 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 860.14 Current children cumulated vsize (Kb) 9404 [startup+870.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 86995 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223504 134531670 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 870.14 Current children cumulated vsize (Kb) 9404 [startup+880.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 87995 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 880.14 Current children cumulated vsize (Kb) 9404 [startup+890.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 88995 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 890.14 Current children cumulated vsize (Kb) 9404 [startup+900.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 89996 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223584 134558898 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 900.15 Current children cumulated vsize (Kb) 9404 [startup+910.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 90996 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0 [pid=2856] vsize: 9404 Current children cumulated CPU time (s) 910.15 Current children cumulated vsize (Kb) 9404 [startup+920.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2011 0 0 0 91995 20 0 0 25 0 1 0 1859076714 10043392 1977 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1977 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 920.15 Current children cumulated vsize (Kb) 9808 [startup+930.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 92995 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 930.15 Current children cumulated vsize (Kb) 9808 [startup+940.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 93995 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 940.15 Current children cumulated vsize (Kb) 9808 [startup+950.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 94995 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 950.15 Current children cumulated vsize (Kb) 9808 [startup+960.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 95996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 960.16 Current children cumulated vsize (Kb) 9808 [startup+970.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 96996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 970.16 Current children cumulated vsize (Kb) 9808 [startup+980.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 97996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 980.16 Current children cumulated vsize (Kb) 9808 [startup+990.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 98996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 990.16 Current children cumulated vsize (Kb) 9808 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 99996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134558819 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1000.16 Current children cumulated vsize (Kb) 9808 [startup+1010.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 100996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1010.16 Current children cumulated vsize (Kb) 9808 [startup+1020.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 101996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1020.16 Current children cumulated vsize (Kb) 9808 [startup+1030.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 102996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1030.16 Current children cumulated vsize (Kb) 9808 [startup+1040.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 103996 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1040.17 Current children cumulated vsize (Kb) 9808 [startup+1050.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 104996 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1050.17 Current children cumulated vsize (Kb) 9808 [startup+1060.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 105997 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1060.18 Current children cumulated vsize (Kb) 9808 [startup+1070.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 106997 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1070.18 Current children cumulated vsize (Kb) 9808 [startup+1080.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 107997 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1080.18 Current children cumulated vsize (Kb) 9808 [startup+1090.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2019 0 0 0 108997 21 0 0 25 0 1 0 1859076714 10043392 1985 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1985 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1090.18 Current children cumulated vsize (Kb) 9808 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2019 0 0 0 109997 21 0 0 25 0 1 0 1859076714 10043392 1985 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1985 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1100.18 Current children cumulated vsize (Kb) 9808 [startup+1110.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2027 0 0 0 110997 21 0 0 25 0 1 0 1859076714 10043392 1993 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2452 1993 566 18 0 2434 0 [pid=2856] vsize: 9808 Current children cumulated CPU time (s) 1110.18 Current children cumulated vsize (Kb) 9808 [startup+1120.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 111997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1120.19 Current children cumulated vsize (Kb) 10192 [startup+1130.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 112997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1130.19 Current children cumulated vsize (Kb) 10192 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 113997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223472 134558415 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1140.19 Current children cumulated vsize (Kb) 10192 [startup+1150.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 114997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1150.19 Current children cumulated vsize (Kb) 10192 [startup+1160.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 115998 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223472 134520200 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1160.2 Current children cumulated vsize (Kb) 10192 [startup+1170.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 116998 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1170.2 Current children cumulated vsize (Kb) 10192 [startup+1180.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 117997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1180.19 Current children cumulated vsize (Kb) 10192 [startup+1190.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2140 0 0 0 118998 22 0 0 25 0 1 0 1859076714 10436608 2106 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2106 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1190.2 Current children cumulated vsize (Kb) 10192 [startup+1200.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2140 0 0 0 119998 22 0 0 25 0 1 0 1859076714 10436608 2106 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2106 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1200.2 Current children cumulated vsize (Kb) 10192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 2917 Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2140 0 0 0 119998 22 0 0 25 0 1 0 1859076714 10436608 2106 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/2856/statm): 2548 2106 566 18 0 2530 0 [pid=2856] vsize: 10192 Current children cumulated CPU time (s) 1200.2 Current children cumulated vsize (Kb) 10192 Sending SIGTERM to -2856 Sleeping 2 seconds One traced child (pid=2856) 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): 1200.03 CPU time (s): 1200.22 CPU user time (s): 1199.98 CPU system time (s): 0.231964 CPU usage (%): 100.016 Max. virtual memory (cumulated for all children) (Kb): 10192
ERROR: no interpretation found !