Name | submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb |
MD5SUM | 64e81a7b23abbb8a6da4e2377ea69dee |
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 | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 6352 |
Total number of constraints | 13453 |
Number of constraints which are clauses | 13453 |
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 | 1 |
Maximum length of a constraint | 3 |
LAUNCH ON wulflinc15 THE 2005-09-20 13:53:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4879 boxname=wulflinc15 idbench=191 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 64e81a7b23abbb8a6da4e2377ea69dee /oldhome/oroussel/tmp/wulflinc15/normalized-par32-1.opb REAL COMMAND: Pueblo IDLAUNCH: 4879 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 828584 kB Buffers: 30348 kB Cached: 145980 kB SwapCached: 744 kB Active: 66728 kB Inactive: 112288 kB HighTotal: 131008 kB HighFree: 4060 kB LowTotal: 903652 kB LowFree: 824524 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 21512 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 14:13:08 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 4879 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/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1800809357 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13089/statm): 41 3 40 18 0 23 0 [pid=13089] 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.0027 s] Raw data (loadavg): 0.84 0.93 0.83 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1300 0 0 0 994 3 0 0 25 0 1 0 1800809357 7028736 1266 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 1716 1266 566 18 0 1698 0 [pid=13089] vsize: 6864 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 6864 [startup+20.0035 s] Raw data (loadavg): 0.87 0.93 0.83 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1376 0 0 0 1994 4 0 0 25 0 1 0 1800809357 7294976 1342 4294967295 134512640 134578447 3221224624 3221223536 134557211 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 1781 1342 566 18 0 1763 0 [pid=13089] vsize: 7124 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 7124 [startup+30.0043 s] Raw data (loadavg): 0.89 0.93 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1455 0 0 0 2994 4 0 0 25 0 1 0 1800809357 7561216 1421 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 1846 1421 566 18 0 1828 0 [pid=13089] vsize: 7384 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 7384 [startup+40.0052 s] Raw data (loadavg): 0.90 0.93 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1607 0 0 0 3993 4 0 0 25 0 1 0 1800809357 8310784 1573 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2029 1573 566 18 0 2011 0 [pid=13089] vsize: 8116 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 8116 [startup+50.006 s] Raw data (loadavg): 0.92 0.94 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1607 0 0 0 4994 4 0 0 25 0 1 0 1800809357 8310784 1573 4294967295 134512640 134578447 3221224624 3221223520 134519980 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2029 1573 566 18 0 2011 0 [pid=13089] vsize: 8116 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 8116 [startup+60.0058 s] Raw data (loadavg): 0.93 0.94 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1613 0 0 0 5994 4 0 0 25 0 1 0 1800809357 8310784 1579 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2029 1579 566 18 0 2011 0 [pid=13089] vsize: 8116 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 8116 [startup+70.0066 s] Raw data (loadavg): 0.94 0.94 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1619 0 0 0 6994 4 0 0 25 0 1 0 1800809357 8310784 1585 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2029 1585 566 18 0 2011 0 [pid=13089] vsize: 8116 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 8116 [startup+80.0074 s] Raw data (loadavg): 0.95 0.94 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1747 0 0 0 7994 5 0 0 25 0 1 0 1800809357 8835072 1713 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2157 1713 566 18 0 2139 0 [pid=13089] vsize: 8628 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 8628 [startup+90.0082 s] Raw data (loadavg): 0.96 0.94 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1748 0 0 0 8994 5 0 0 25 0 1 0 1800809357 8835072 1714 4294967295 134512640 134578447 3221224624 3221223472 134520242 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2157 1714 566 18 0 2139 0 [pid=13089] vsize: 8628 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 8628 [startup+100.009 s] Raw data (loadavg): 0.96 0.94 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1853 0 0 0 9993 6 0 0 25 0 1 0 1800809357 9371648 1819 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2288 1819 566 18 0 2270 0 [pid=13089] vsize: 9152 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 9152 [startup+110.009 s] Raw data (loadavg): 0.97 0.94 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1863 0 0 0 10993 6 0 0 25 0 1 0 1800809357 9371648 1829 4294967295 134512640 134578447 3221224624 3221223472 134558163 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2288 1829 566 18 0 2270 0 [pid=13089] vsize: 9152 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 9152 [startup+120.01 s] Raw data (loadavg): 0.97 0.95 0.84 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1898 0 0 0 11993 6 0 0 25 0 1 0 1800809357 9502720 1864 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2320 1864 566 18 0 2302 0 [pid=13089] vsize: 9280 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 9280 [startup+130.009 s] Raw data (loadavg): 0.98 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1935 0 0 0 12993 6 0 0 25 0 1 0 1800809357 9637888 1901 4294967295 134512640 134578447 3221224624 3221223584 134559013 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2353 1901 566 18 0 2335 0 [pid=13089] vsize: 9412 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 9412 [startup+140.01 s] Raw data (loadavg): 0.98 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1941 0 0 0 13994 6 0 0 25 0 1 0 1800809357 9637888 1907 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2353 1907 566 18 0 2335 0 [pid=13089] vsize: 9412 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 9412 [startup+150.011 s] Raw data (loadavg): 0.98 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1952 0 0 0 14994 6 0 0 25 0 1 0 1800809357 9801728 1918 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2393 1918 566 18 0 2375 0 [pid=13089] vsize: 9572 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 9572 [startup+160.011 s] Raw data (loadavg): 0.98 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1967 0 0 0 15993 7 0 0 25 0 1 0 1800809357 9801728 1933 4294967295 134512640 134578447 3221224624 3221223560 134552641 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2393 1933 566 18 0 2375 0 [pid=13089] vsize: 9572 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 9572 [startup+170.012 s] Raw data (loadavg): 0.99 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1980 0 0 0 16994 7 0 0 25 0 1 0 1800809357 9965568 1946 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2433 1946 566 18 0 2415 0 [pid=13089] vsize: 9732 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 9732 [startup+180.012 s] Raw data (loadavg): 0.99 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1983 0 0 0 17994 7 0 0 25 0 1 0 1800809357 9965568 1949 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2433 1949 566 18 0 2415 0 [pid=13089] vsize: 9732 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 9732 [startup+190.012 s] Raw data (loadavg): 0.99 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1983 0 0 0 18994 7 0 0 25 0 1 0 1800809357 9965568 1949 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2433 1949 566 18 0 2415 0 [pid=13089] vsize: 9732 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 9732 [startup+200.013 s] Raw data (loadavg): 0.99 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1983 0 0 0 19994 7 0 0 25 0 1 0 1800809357 9965568 1949 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2433 1949 566 18 0 2415 0 [pid=13089] vsize: 9732 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 9732 [startup+210.013 s] Raw data (loadavg): 0.99 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 1983 0 0 0 20995 7 0 0 25 0 1 0 1800809357 9965568 1949 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2433 1949 566 18 0 2415 0 [pid=13089] vsize: 9732 Current children cumulated CPU time (s) 210.02 Current children cumulated vsize (Kb) 9732 [startup+220.014 s] Raw data (loadavg): 0.99 0.95 0.85 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2076 0 0 0 21995 7 0 0 25 0 1 0 1800809357 10227712 2042 4294967295 134512640 134578447 3221224624 3221223584 134559011 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2497 2042 566 18 0 2479 0 [pid=13089] vsize: 9988 Current children cumulated CPU time (s) 220.02 Current children cumulated vsize (Kb) 9988 [startup+230.014 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2091 0 0 0 22995 7 0 0 25 0 1 0 1800809357 10366976 2057 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2531 2057 566 18 0 2513 0 [pid=13089] vsize: 10124 Current children cumulated CPU time (s) 230.02 Current children cumulated vsize (Kb) 10124 [startup+240.014 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2380 0 0 0 23994 7 0 0 25 0 1 0 1800809357 11554816 2346 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2821 2346 566 18 0 2803 0 [pid=13089] vsize: 11284 Current children cumulated CPU time (s) 240.01 Current children cumulated vsize (Kb) 11284 [startup+250.015 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2531 0 0 0 24994 8 0 0 25 0 1 0 1800809357 12115968 2497 4294967295 134512640 134578447 3221224624 3221223520 134519792 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2958 2497 566 18 0 2940 0 [pid=13089] vsize: 11832 Current children cumulated CPU time (s) 250.02 Current children cumulated vsize (Kb) 11832 [startup+260.016 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2531 0 0 0 25994 8 0 0 25 0 1 0 1800809357 12115968 2497 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 2958 2497 566 18 0 2940 0 [pid=13089] vsize: 11832 Current children cumulated CPU time (s) 260.02 Current children cumulated vsize (Kb) 11832 [startup+270.017 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2617 0 0 0 26994 8 0 0 25 0 1 0 1800809357 12513280 2583 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3055 2583 566 18 0 3037 0 [pid=13089] vsize: 12220 Current children cumulated CPU time (s) 270.02 Current children cumulated vsize (Kb) 12220 [startup+280.017 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2798 0 0 0 27992 10 0 0 25 0 1 0 1800809357 13307904 2764 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3249 2764 566 18 0 3231 0 [pid=13089] vsize: 12996 Current children cumulated CPU time (s) 280.02 Current children cumulated vsize (Kb) 12996 [startup+290.019 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2798 0 0 0 28992 10 0 0 25 0 1 0 1800809357 13307904 2764 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3249 2764 566 18 0 3231 0 [pid=13089] vsize: 12996 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (Kb) 12996 [startup+300.019 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2798 0 0 0 29992 10 0 0 25 0 1 0 1800809357 13307904 2764 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3249 2764 566 18 0 3231 0 [pid=13089] vsize: 12996 Current children cumulated CPU time (s) 300.02 Current children cumulated vsize (Kb) 12996 [startup+310.019 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2798 0 0 0 30992 11 0 0 25 0 1 0 1800809357 13307904 2764 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3249 2764 566 18 0 3231 0 [pid=13089] vsize: 12996 Current children cumulated CPU time (s) 310.03 Current children cumulated vsize (Kb) 12996 [startup+320.02 s] Raw data (loadavg): 0.99 0.96 0.86 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2866 0 0 0 31992 11 0 0 25 0 1 0 1800809357 13570048 2832 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3313 2832 566 18 0 3295 0 [pid=13089] vsize: 13252 Current children cumulated CPU time (s) 320.03 Current children cumulated vsize (Kb) 13252 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2866 0 0 0 32991 12 0 0 25 0 1 0 1800809357 13570048 2832 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13089/statm): 3313 2832 566 18 0 3295 0 [pid=13089] vsize: 13252 Current children cumulated CPU time (s) 330.03 Current children cumulated vsize (Kb) 13252 [startup+340.022 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 2921 0 0 0 33990 12 0 0 25 0 1 0 1800809357 13701120 2887 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3345 2887 566 18 0 3327 0 [pid=13089] vsize: 13380 Current children cumulated CPU time (s) 340.02 Current children cumulated vsize (Kb) 13380 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3201 0 0 0 34989 13 0 0 25 0 1 0 1800809357 14893056 3167 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3636 3167 566 18 0 3618 0 [pid=13089] vsize: 14544 Current children cumulated CPU time (s) 350.02 Current children cumulated vsize (Kb) 14544 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3292 0 0 0 35988 14 0 0 25 0 1 0 1800809357 15290368 3258 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3733 3258 566 18 0 3715 0 [pid=13089] vsize: 14932 Current children cumulated CPU time (s) 360.02 Current children cumulated vsize (Kb) 14932 [startup+370.024 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3298 0 0 0 36988 14 0 0 25 0 1 0 1800809357 15290368 3264 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3733 3264 566 18 0 3715 0 [pid=13089] vsize: 14932 Current children cumulated CPU time (s) 370.02 Current children cumulated vsize (Kb) 14932 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3307 0 0 0 37989 14 0 0 25 0 1 0 1800809357 15290368 3273 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3733 3273 566 18 0 3715 0 [pid=13089] vsize: 14932 Current children cumulated CPU time (s) 380.03 Current children cumulated vsize (Kb) 14932 [startup+390.025 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3308 0 0 0 38989 14 0 0 25 0 1 0 1800809357 15290368 3274 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3733 3274 566 18 0 3715 0 [pid=13089] vsize: 14932 Current children cumulated CPU time (s) 390.03 Current children cumulated vsize (Kb) 14932 [startup+400.025 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3308 0 0 0 39989 14 0 0 25 0 1 0 1800809357 15290368 3274 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3733 3274 566 18 0 3715 0 [pid=13089] vsize: 14932 Current children cumulated CPU time (s) 400.03 Current children cumulated vsize (Kb) 14932 [startup+410.026 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 13089 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3308 0 0 0 40989 14 0 0 25 0 1 0 1800809357 15290368 3274 4294967295 134512640 134578447 3221224624 3221223536 134557205 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3733 3274 566 18 0 3715 0 [pid=13089] vsize: 14932 Current children cumulated CPU time (s) 410.03 Current children cumulated vsize (Kb) 14932 [startup+420.027 s] Raw data (loadavg): 1.15 1.00 0.88 2/58 13127 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3308 0 0 0 41989 15 0 0 25 0 1 0 1800809357 15290368 3274 4294967295 134512640 134578447 3221224624 3221223520 134519742 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3733 3274 566 18 0 3715 0 [pid=13089] vsize: 14932 Current children cumulated CPU time (s) 420.04 Current children cumulated vsize (Kb) 14932 [startup+430.031 s] Raw data (loadavg): 1.13 1.00 0.89 2/56 13144 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3324 0 0 0 42989 15 0 0 25 0 1 0 1800809357 15433728 3290 4294967295 134512640 134578447 3221224624 3221223244 1075289350 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3290 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 430.04 Current children cumulated vsize (Kb) 15072 [startup+440.032 s] Raw data (loadavg): 1.11 1.00 0.89 2/56 13144 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3324 0 0 0 43989 15 0 0 25 0 1 0 1800809357 15433728 3290 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3290 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 440.04 Current children cumulated vsize (Kb) 15072 [startup+450.033 s] Raw data (loadavg): 1.09 1.00 0.89 2/56 13144 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3331 0 0 0 44989 15 0 0 25 0 1 0 1800809357 15433728 3297 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3297 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 450.04 Current children cumulated vsize (Kb) 15072 [startup+460.032 s] Raw data (loadavg): 1.08 1.00 0.89 2/56 13144 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3338 0 0 0 45989 15 0 0 25 0 1 0 1800809357 15433728 3304 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3304 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 460.04 Current children cumulated vsize (Kb) 15072 [startup+470.033 s] Raw data (loadavg): 1.07 1.00 0.89 2/56 13144 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3338 0 0 0 46989 15 0 0 25 0 1 0 1800809357 15433728 3304 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3304 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 470.04 Current children cumulated vsize (Kb) 15072 [startup+480.033 s] Raw data (loadavg): 1.06 1.00 0.89 2/56 13144 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3338 0 0 0 47989 15 0 0 25 0 1 0 1800809357 15433728 3304 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3304 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 480.04 Current children cumulated vsize (Kb) 15072 [startup+490.034 s] Raw data (loadavg): 1.05 1.00 0.89 2/56 13146 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3338 0 0 0 48990 15 0 0 25 0 1 0 1800809357 15433728 3304 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3304 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 490.05 Current children cumulated vsize (Kb) 15072 [startup+500.035 s] Raw data (loadavg): 1.04 1.00 0.89 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3338 0 0 0 49990 15 0 0 25 0 1 0 1800809357 15433728 3304 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3304 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 500.05 Current children cumulated vsize (Kb) 15072 [startup+510.034 s] Raw data (loadavg): 1.03 1.00 0.89 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3338 0 0 0 50990 16 0 0 25 0 1 0 1800809357 15433728 3304 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3304 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 510.06 Current children cumulated vsize (Kb) 15072 [startup+520.035 s] Raw data (loadavg): 1.03 1.00 0.89 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3339 0 0 0 51990 16 0 0 25 0 1 0 1800809357 15433728 3305 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3305 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 520.06 Current children cumulated vsize (Kb) 15072 [startup+530.036 s] Raw data (loadavg): 1.02 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3341 0 0 0 52990 16 0 0 25 0 1 0 1800809357 15433728 3307 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3307 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 530.06 Current children cumulated vsize (Kb) 15072 [startup+540.037 s] Raw data (loadavg): 1.02 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3341 0 0 0 53990 16 0 0 25 0 1 0 1800809357 15433728 3307 4294967295 134512640 134578447 3221224624 3221223536 134557217 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3307 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 540.06 Current children cumulated vsize (Kb) 15072 [startup+550.038 s] Raw data (loadavg): 1.02 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3341 0 0 0 54991 16 0 0 25 0 1 0 1800809357 15433728 3307 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3307 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 550.07 Current children cumulated vsize (Kb) 15072 [startup+560.037 s] Raw data (loadavg): 1.01 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3341 0 0 0 55990 16 0 0 25 0 1 0 1800809357 15433728 3307 4294967295 134512640 134578447 3221224624 3221223472 134558456 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3307 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 560.06 Current children cumulated vsize (Kb) 15072 [startup+570.038 s] Raw data (loadavg): 1.01 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3341 0 0 0 56991 16 0 0 25 0 1 0 1800809357 15433728 3307 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3307 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 570.07 Current children cumulated vsize (Kb) 15072 [startup+580.038 s] Raw data (loadavg): 1.01 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3342 0 0 0 57991 16 0 0 25 0 1 0 1800809357 15433728 3308 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3308 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 580.07 Current children cumulated vsize (Kb) 15072 [startup+590.039 s] Raw data (loadavg): 1.01 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3343 0 0 0 58991 16 0 0 25 0 1 0 1800809357 15433728 3309 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3768 3309 566 18 0 3750 0 [pid=13089] vsize: 15072 Current children cumulated CPU time (s) 590.07 Current children cumulated vsize (Kb) 15072 [startup+600.039 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3349 0 0 0 59991 16 0 0 25 0 1 0 1800809357 15597568 3315 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3315 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 600.07 Current children cumulated vsize (Kb) 15232 [startup+610.039 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3349 0 0 0 60991 16 0 0 25 0 1 0 1800809357 15597568 3315 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3315 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 610.07 Current children cumulated vsize (Kb) 15232 [startup+620.04 s] Raw data (loadavg): 1.00 1.00 0.90 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3349 0 0 0 61991 16 0 0 25 0 1 0 1800809357 15597568 3315 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3315 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 620.07 Current children cumulated vsize (Kb) 15232 [startup+630.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3349 0 0 0 62991 16 0 0 25 0 1 0 1800809357 15597568 3315 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3315 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 630.07 Current children cumulated vsize (Kb) 15232 [startup+640.041 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3355 0 0 0 63992 16 0 0 25 0 1 0 1800809357 15597568 3321 4294967295 134512640 134578447 3221224624 3221223520 134519982 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3321 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 640.08 Current children cumulated vsize (Kb) 15232 [startup+650.042 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3357 0 0 0 64992 16 0 0 25 0 1 0 1800809357 15597568 3323 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3323 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 650.08 Current children cumulated vsize (Kb) 15232 [startup+660.042 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3357 0 0 0 65992 16 0 0 25 0 1 0 1800809357 15597568 3323 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3323 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 660.08 Current children cumulated vsize (Kb) 15232 [startup+670.042 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3373 0 0 0 66992 16 0 0 25 0 1 0 1800809357 15597568 3339 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3339 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 670.08 Current children cumulated vsize (Kb) 15232 [startup+680.043 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3373 0 0 0 67992 16 0 0 25 0 1 0 1800809357 15597568 3339 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3339 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 680.08 Current children cumulated vsize (Kb) 15232 [startup+690.044 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3373 0 0 0 68992 17 0 0 25 0 1 0 1800809357 15597568 3339 4294967295 134512640 134578447 3221224624 3221223520 134519771 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3339 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 690.09 Current children cumulated vsize (Kb) 15232 [startup+700.045 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3373 0 0 0 69993 17 0 0 25 0 1 0 1800809357 15597568 3339 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3339 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 700.1 Current children cumulated vsize (Kb) 15232 [startup+710.046 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3373 0 0 0 70993 17 0 0 25 0 1 0 1800809357 15597568 3339 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3339 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 710.1 Current children cumulated vsize (Kb) 15232 [startup+720.046 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3373 0 0 0 71993 17 0 0 25 0 1 0 1800809357 15597568 3339 4294967295 134512640 134578447 3221224624 3221223584 134559057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3339 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 720.1 Current children cumulated vsize (Kb) 15232 [startup+730.046 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3373 0 0 0 72993 17 0 0 25 0 1 0 1800809357 15597568 3339 4294967295 134512640 134578447 3221224624 3221223520 134519774 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3339 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 730.1 Current children cumulated vsize (Kb) 15232 [startup+740.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3375 0 0 0 73993 17 0 0 25 0 1 0 1800809357 15597568 3341 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3808 3341 566 18 0 3790 0 [pid=13089] vsize: 15232 Current children cumulated CPU time (s) 740.1 Current children cumulated vsize (Kb) 15232 [startup+750.048 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13148 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3391 0 0 0 74994 17 0 0 25 0 1 0 1800809357 15761408 3357 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3357 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 750.11 Current children cumulated vsize (Kb) 15392 [startup+760.048 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3393 0 0 0 75994 17 0 0 25 0 1 0 1800809357 15761408 3359 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3359 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 760.11 Current children cumulated vsize (Kb) 15392 [startup+770.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3393 0 0 0 76994 17 0 0 25 0 1 0 1800809357 15761408 3359 4294967295 134512640 134578447 3221224624 3221223536 134557033 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3359 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 770.11 Current children cumulated vsize (Kb) 15392 [startup+780.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3393 0 0 0 77994 17 0 0 25 0 1 0 1800809357 15761408 3359 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3359 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 780.11 Current children cumulated vsize (Kb) 15392 [startup+790.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3394 0 0 0 78994 17 0 0 25 0 1 0 1800809357 15761408 3360 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3360 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 790.11 Current children cumulated vsize (Kb) 15392 [startup+800.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3394 0 0 0 79994 17 0 0 25 0 1 0 1800809357 15761408 3360 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3360 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 800.11 Current children cumulated vsize (Kb) 15392 [startup+810.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3394 0 0 0 80995 17 0 0 25 0 1 0 1800809357 15761408 3360 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3360 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 810.12 Current children cumulated vsize (Kb) 15392 [startup+820.051 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3394 0 0 0 81995 17 0 0 25 0 1 0 1800809357 15761408 3360 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3360 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 820.12 Current children cumulated vsize (Kb) 15392 [startup+830.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3395 0 0 0 82995 17 0 0 25 0 1 0 1800809357 15761408 3361 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3361 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 830.12 Current children cumulated vsize (Kb) 15392 [startup+840.051 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3395 0 0 0 83995 17 0 0 25 0 1 0 1800809357 15761408 3361 4294967295 134512640 134578447 3221224624 3221223472 134558430 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3361 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 840.12 Current children cumulated vsize (Kb) 15392 [startup+850.052 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3395 0 0 0 84995 17 0 0 25 0 1 0 1800809357 15761408 3361 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3361 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 850.12 Current children cumulated vsize (Kb) 15392 [startup+860.052 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3395 0 0 0 85995 17 0 0 25 0 1 0 1800809357 15761408 3361 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3361 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 860.12 Current children cumulated vsize (Kb) 15392 [startup+870.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3395 0 0 0 86996 17 0 0 25 0 1 0 1800809357 15761408 3361 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3361 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 870.13 Current children cumulated vsize (Kb) 15392 [startup+880.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3395 0 0 0 87995 19 0 0 25 0 1 0 1800809357 15761408 3361 4294967295 134512640 134578447 3221224624 3221223472 134558260 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3361 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 880.14 Current children cumulated vsize (Kb) 15392 [startup+890.054 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3395 0 0 0 88994 19 0 0 25 0 1 0 1800809357 15761408 3361 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3361 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 890.13 Current children cumulated vsize (Kb) 15392 [startup+900.054 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3395 0 0 0 89994 19 0 0 25 0 1 0 1800809357 15761408 3361 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3361 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 900.13 Current children cumulated vsize (Kb) 15392 [startup+910.054 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3395 0 0 0 90994 20 0 0 25 0 1 0 1800809357 15761408 3361 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3361 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 910.14 Current children cumulated vsize (Kb) 15392 [startup+920.055 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3396 0 0 0 91994 20 0 0 25 0 1 0 1800809357 15761408 3362 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3362 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 920.14 Current children cumulated vsize (Kb) 15392 [startup+930.055 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3396 0 0 0 92994 20 0 0 25 0 1 0 1800809357 15761408 3362 4294967295 134512640 134578447 3221224624 3221223472 134558427 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3362 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 930.14 Current children cumulated vsize (Kb) 15392 [startup+940.055 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3396 0 0 0 93994 20 0 0 25 0 1 0 1800809357 15761408 3362 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3362 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 940.14 Current children cumulated vsize (Kb) 15392 [startup+950.056 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3397 0 0 0 94994 20 0 0 25 0 1 0 1800809357 15761408 3363 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3363 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 950.14 Current children cumulated vsize (Kb) 15392 [startup+960.057 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3407 0 0 0 95994 21 0 0 25 0 1 0 1800809357 15761408 3373 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3373 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 960.15 Current children cumulated vsize (Kb) 15392 [startup+970.058 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3407 0 0 0 96994 21 0 0 25 0 1 0 1800809357 15761408 3373 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3373 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 970.15 Current children cumulated vsize (Kb) 15392 [startup+980.058 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3407 0 0 0 97995 21 0 0 25 0 1 0 1800809357 15761408 3373 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3373 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 980.16 Current children cumulated vsize (Kb) 15392 [startup+990.058 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3407 0 0 0 98994 21 0 0 25 0 1 0 1800809357 15761408 3373 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3373 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 990.15 Current children cumulated vsize (Kb) 15392 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3407 0 0 0 99994 21 0 0 25 0 1 0 1800809357 15761408 3373 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3373 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 1000.15 Current children cumulated vsize (Kb) 15392 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3407 0 0 0 100995 21 0 0 25 0 1 0 1800809357 15761408 3373 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3373 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 1010.16 Current children cumulated vsize (Kb) 15392 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3407 0 0 0 101994 22 0 0 25 0 1 0 1800809357 15761408 3373 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3373 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 1020.16 Current children cumulated vsize (Kb) 15392 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3407 0 0 0 102995 22 0 0 25 0 1 0 1800809357 15761408 3373 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3848 3373 566 18 0 3830 0 [pid=13089] vsize: 15392 Current children cumulated CPU time (s) 1030.17 Current children cumulated vsize (Kb) 15392 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3413 0 0 0 103995 22 0 0 25 0 1 0 1800809357 15925248 3379 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3379 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1040.17 Current children cumulated vsize (Kb) 15552 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3413 0 0 0 104995 22 0 0 25 0 1 0 1800809357 15925248 3379 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3379 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1050.17 Current children cumulated vsize (Kb) 15552 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3413 0 0 0 105995 22 0 0 25 0 1 0 1800809357 15925248 3379 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3379 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1060.17 Current children cumulated vsize (Kb) 15552 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3413 0 0 0 106995 22 0 0 25 0 1 0 1800809357 15925248 3379 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3379 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1070.17 Current children cumulated vsize (Kb) 15552 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3413 0 0 0 107995 22 0 0 25 0 1 0 1800809357 15925248 3379 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3379 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1080.17 Current children cumulated vsize (Kb) 15552 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3422 0 0 0 108996 22 0 0 25 0 1 0 1800809357 15925248 3388 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3388 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1090.18 Current children cumulated vsize (Kb) 15552 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 109996 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1100.18 Current children cumulated vsize (Kb) 15552 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 110996 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223560 134519713 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1110.18 Current children cumulated vsize (Kb) 15552 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 111996 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1120.18 Current children cumulated vsize (Kb) 15552 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 112996 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1130.18 Current children cumulated vsize (Kb) 15552 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 113996 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1140.18 Current children cumulated vsize (Kb) 15552 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 114997 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1150.19 Current children cumulated vsize (Kb) 15552 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 115997 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1160.19 Current children cumulated vsize (Kb) 15552 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 116997 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1170.19 Current children cumulated vsize (Kb) 15552 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 117997 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1180.19 Current children cumulated vsize (Kb) 15552 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 118997 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223472 134558451 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1190.19 Current children cumulated vsize (Kb) 15552 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 119997 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223584 134558587 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1200.19 Current children cumulated vsize (Kb) 15552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 13150 Raw data (/proc/13089/stat): 13089 (Pueblo) R 13088 13089 31778 0 -1 0 3423 0 0 0 119997 22 0 0 25 0 1 0 1800809357 15925248 3389 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13089/statm): 3888 3389 566 18 0 3870 0 [pid=13089] vsize: 15552 Current children cumulated CPU time (s) 1200.19 Current children cumulated vsize (Kb) 15552 Sending SIGTERM to -13089 Sleeping 2 seconds One traced child (pid=13089) 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.08 CPU time (s): 1200.22 CPU user time (s): 1199.98 CPU system time (s): 0.237963 CPU usage (%): 100.012 Max. virtual memory (cumulated for all children) (Kb): 15552
ERROR: no interpretation found !