Name | submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb |
MD5SUM | 3b740c03d309134e8e181ea08fc4a1e3 |
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 | 2000 |
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 | 2000 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2000 |
Total number of constraints | 5250 |
Number of constraints which are clauses | 5250 |
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 wulflinc12 THE 2005-09-20 13:17:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4810 boxname=wulflinc12 idbench=122 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 3b740c03d309134e8e181ea08fc4a1e3 /oldhome/oroussel/tmp/wulflinc12/normalized-f1000.opb REAL COMMAND: Pueblo IDLAUNCH: 4810 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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 : 2 cpu MHz : 451.091 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: 891584 kB Buffers: 33988 kB Cached: 78536 kB SwapCached: 492 kB Active: 67992 kB Inactive: 47068 kB HighTotal: 131008 kB HighFree: 50316 kB LowTotal: 903652 kB LowFree: 841268 kB SwapTotal: 2097136 kB SwapFree: 2096072 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5900 kB Slab: 22416 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 13:37:42 (client local time) WITH STATUS 0 IN 1200.18 SECONDS stats: 4810 7 1200.18 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/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800594449 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 41 3 40 18 0 23 0 [pid=19575] 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.0044 s] Raw data (loadavg): 0.32 0.13 0.04 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 882 0 0 0 996 2 0 0 25 0 1 0 1800594449 5222400 848 4294967295 134512640 134578447 3221224624 3221223472 134558372 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1275 848 566 18 0 1257 0 [pid=19575] vsize: 5100 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 5100 [startup+20.0052 s] Raw data (loadavg): 0.42 0.16 0.05 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1019 0 0 0 1995 3 0 0 25 0 1 0 1800594449 5746688 985 4294967295 134512640 134578447 3221224624 3221223520 134519861 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1403 985 566 18 0 1385 0 [pid=19575] vsize: 5612 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 5612 [startup+30.006 s] Raw data (loadavg): 0.51 0.18 0.06 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1082 0 0 0 2993 4 0 0 25 0 1 0 1800594449 6008832 1048 4294967295 134512640 134578447 3221224624 3221223584 134558593 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1467 1048 566 18 0 1449 0 [pid=19575] vsize: 5868 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 5868 [startup+40.0069 s] Raw data (loadavg): 0.59 0.21 0.07 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1118 0 0 0 3993 4 0 0 25 0 1 0 1800594449 6144000 1084 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1500 1084 566 18 0 1482 0 [pid=19575] vsize: 6000 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 6000 [startup+50.0077 s] Raw data (loadavg): 0.65 0.23 0.08 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1201 0 0 0 4992 5 0 0 25 0 1 0 1800594449 6414336 1167 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1566 1167 566 18 0 1548 0 [pid=19575] vsize: 6264 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 6264 [startup+60.0095 s] Raw data (loadavg): 0.70 0.26 0.09 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1208 0 0 0 5992 6 0 0 25 0 1 0 1800594449 6549504 1174 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1599 1174 566 18 0 1581 0 [pid=19575] vsize: 6396 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 6396 [startup+70.0103 s] Raw data (loadavg): 0.75 0.28 0.10 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1246 0 0 0 6991 7 0 0 25 0 1 0 1800594449 6680576 1212 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1631 1212 566 18 0 1613 0 [pid=19575] vsize: 6524 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 6524 [startup+80.0111 s] Raw data (loadavg): 0.79 0.31 0.11 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1339 0 0 0 7991 7 0 0 25 0 1 0 1800594449 7077888 1305 4294967295 134512640 134578447 3221224624 3221223536 134557251 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1728 1305 566 18 0 1710 0 [pid=19575] vsize: 6912 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 6912 [startup+90.0119 s] Raw data (loadavg): 0.82 0.33 0.12 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1400 0 0 0 8990 8 0 0 25 0 1 0 1800594449 7340032 1366 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1792 1366 566 18 0 1774 0 [pid=19575] vsize: 7168 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 7168 [startup+100.012 s] Raw data (loadavg): 0.85 0.35 0.12 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1400 0 0 0 9990 8 0 0 25 0 1 0 1800594449 7340032 1366 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1792 1366 566 18 0 1774 0 [pid=19575] vsize: 7168 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 7168 [startup+110.014 s] Raw data (loadavg): 0.87 0.37 0.13 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1402 0 0 0 10990 9 0 0 25 0 1 0 1800594449 7340032 1368 4294967295 134512640 134578447 3221224624 3221223648 134554060 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1792 1368 566 18 0 1774 0 [pid=19575] vsize: 7168 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 7168 [startup+120.014 s] Raw data (loadavg): 0.89 0.39 0.14 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1464 0 0 0 11989 9 0 0 25 0 1 0 1800594449 7536640 1430 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1840 1430 566 18 0 1822 0 [pid=19575] vsize: 7360 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 7360 [startup+130.014 s] Raw data (loadavg): 0.91 0.41 0.15 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1512 0 0 0 12989 10 0 0 25 0 1 0 1800594449 7802880 1478 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1905 1478 566 18 0 1887 0 [pid=19575] vsize: 7620 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 7620 [startup+140.016 s] Raw data (loadavg): 0.92 0.43 0.16 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1533 0 0 0 13988 10 0 0 25 0 1 0 1800594449 7802880 1499 4294967295 134512640 134578447 3221224624 3221223472 134520219 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1905 1499 566 18 0 1887 0 [pid=19575] vsize: 7620 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 7620 [startup+150.017 s] Raw data (loadavg): 0.93 0.45 0.17 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1533 0 0 0 14988 11 0 0 25 0 1 0 1800594449 7802880 1499 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1905 1499 566 18 0 1887 0 [pid=19575] vsize: 7620 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 7620 [startup+160.018 s] Raw data (loadavg): 0.94 0.47 0.18 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1584 0 0 0 15988 11 0 0 25 0 1 0 1800594449 8069120 1550 4294967295 134512640 134578447 3221224624 3221223472 134558163 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 1970 1550 566 18 0 1952 0 [pid=19575] vsize: 7880 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 7880 [startup+170.019 s] Raw data (loadavg): 0.95 0.48 0.19 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1602 0 0 0 16988 11 0 0 25 0 1 0 1800594449 8200192 1568 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2002 1568 566 18 0 1984 0 [pid=19575] vsize: 8008 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 8008 [startup+180.019 s] Raw data (loadavg): 0.96 0.50 0.19 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1672 0 0 0 17987 12 0 0 25 0 1 0 1800594449 8462336 1638 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2066 1638 566 18 0 2048 0 [pid=19575] vsize: 8264 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 8264 [startup+190.02 s] Raw data (loadavg): 0.96 0.52 0.20 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1714 0 0 0 18987 13 0 0 25 0 1 0 1800594449 8593408 1680 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2098 1680 566 18 0 2080 0 [pid=19575] vsize: 8392 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 8392 [startup+200.021 s] Raw data (loadavg): 0.97 0.53 0.21 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1741 0 0 0 19986 13 0 0 25 0 1 0 1800594449 8724480 1707 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2130 1707 566 18 0 2112 0 [pid=19575] vsize: 8520 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 8520 [startup+210.023 s] Raw data (loadavg): 0.97 0.55 0.22 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1741 0 0 0 20986 14 0 0 25 0 1 0 1800594449 8724480 1707 4294967295 134512640 134578447 3221224624 3221223520 134519916 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2130 1707 566 18 0 2112 0 [pid=19575] vsize: 8520 Current children cumulated CPU time (s) 210 Current children cumulated vsize (Kb) 8520 [startup+220.024 s] Raw data (loadavg): 0.98 0.56 0.22 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1741 0 0 0 21986 14 0 0 25 0 1 0 1800594449 8724480 1707 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2130 1707 566 18 0 2112 0 [pid=19575] vsize: 8520 Current children cumulated CPU time (s) 220 Current children cumulated vsize (Kb) 8520 [startup+230.024 s] Raw data (loadavg): 0.98 0.57 0.23 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1757 0 0 0 22986 14 0 0 25 0 1 0 1800594449 8724480 1723 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2130 1723 566 18 0 2112 0 [pid=19575] vsize: 8520 Current children cumulated CPU time (s) 230 Current children cumulated vsize (Kb) 8520 [startup+240.025 s] Raw data (loadavg): 0.98 0.59 0.24 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1757 0 0 0 23985 15 0 0 25 0 1 0 1800594449 8724480 1723 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2130 1723 566 18 0 2112 0 [pid=19575] vsize: 8520 Current children cumulated CPU time (s) 240 Current children cumulated vsize (Kb) 8520 [startup+250.026 s] Raw data (loadavg): 0.98 0.60 0.25 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1788 0 0 0 24985 15 0 0 25 0 1 0 1800594449 8855552 1754 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2162 1754 566 18 0 2144 0 [pid=19575] vsize: 8648 Current children cumulated CPU time (s) 250 Current children cumulated vsize (Kb) 8648 [startup+260.027 s] Raw data (loadavg): 0.99 0.61 0.26 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1840 0 0 0 25984 16 0 0 25 0 1 0 1800594449 9117696 1806 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2226 1806 566 18 0 2208 0 [pid=19575] vsize: 8904 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 8904 [startup+270.028 s] Raw data (loadavg): 0.99 0.63 0.26 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1840 0 0 0 26984 16 0 0 25 0 1 0 1800594449 9117696 1806 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2226 1806 566 18 0 2208 0 [pid=19575] vsize: 8904 Current children cumulated CPU time (s) 270 Current children cumulated vsize (Kb) 8904 [startup+280.029 s] Raw data (loadavg): 0.99 0.64 0.27 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1840 0 0 0 27984 17 0 0 25 0 1 0 1800594449 9117696 1806 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2226 1806 566 18 0 2208 0 [pid=19575] vsize: 8904 Current children cumulated CPU time (s) 280.01 Current children cumulated vsize (Kb) 8904 [startup+290.029 s] Raw data (loadavg): 0.99 0.65 0.28 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1876 0 0 0 28983 17 0 0 25 0 1 0 1800594449 9248768 1842 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2258 1842 566 18 0 2240 0 [pid=19575] vsize: 9032 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 9032 [startup+300.03 s] Raw data (loadavg): 0.99 0.66 0.29 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1906 0 0 0 29983 18 0 0 25 0 1 0 1800594449 9379840 1872 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2290 1872 566 18 0 2272 0 [pid=19575] vsize: 9160 Current children cumulated CPU time (s) 300.01 Current children cumulated vsize (Kb) 9160 [startup+310.031 s] Raw data (loadavg): 0.99 0.67 0.29 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1906 0 0 0 30982 18 0 0 25 0 1 0 1800594449 9379840 1872 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2290 1872 566 18 0 2272 0 [pid=19575] vsize: 9160 Current children cumulated CPU time (s) 310 Current children cumulated vsize (Kb) 9160 [startup+320.032 s] Raw data (loadavg): 0.99 0.68 0.30 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1914 0 0 0 31982 18 0 0 25 0 1 0 1800594449 9379840 1880 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2290 1880 566 18 0 2272 0 [pid=19575] vsize: 9160 Current children cumulated CPU time (s) 320 Current children cumulated vsize (Kb) 9160 [startup+330.033 s] Raw data (loadavg): 0.99 0.69 0.31 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1997 0 0 0 32982 19 0 0 25 0 1 0 1800594449 9773056 1963 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2386 1963 566 18 0 2368 0 [pid=19575] vsize: 9544 Current children cumulated CPU time (s) 330.01 Current children cumulated vsize (Kb) 9544 [startup+340.033 s] Raw data (loadavg): 0.99 0.70 0.31 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 33981 20 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0 [pid=19575] vsize: 9680 Current children cumulated CPU time (s) 340.01 Current children cumulated vsize (Kb) 9680 [startup+350.034 s] Raw data (loadavg): 0.99 0.71 0.32 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 34981 20 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0 [pid=19575] vsize: 9680 Current children cumulated CPU time (s) 350.01 Current children cumulated vsize (Kb) 9680 [startup+360.036 s] Raw data (loadavg): 0.99 0.72 0.33 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 35981 21 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0 [pid=19575] vsize: 9680 Current children cumulated CPU time (s) 360.02 Current children cumulated vsize (Kb) 9680 [startup+370.037 s] Raw data (loadavg): 0.99 0.73 0.33 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 36980 21 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0 [pid=19575] vsize: 9680 Current children cumulated CPU time (s) 370.01 Current children cumulated vsize (Kb) 9680 [startup+380.037 s] Raw data (loadavg): 0.99 0.74 0.34 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 37980 21 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223616 134559598 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0 [pid=19575] vsize: 9680 Current children cumulated CPU time (s) 380.01 Current children cumulated vsize (Kb) 9680 [startup+390.039 s] Raw data (loadavg): 0.99 0.74 0.35 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 38980 22 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0 [pid=19575] vsize: 9680 Current children cumulated CPU time (s) 390.02 Current children cumulated vsize (Kb) 9680 [startup+400.039 s] Raw data (loadavg): 0.99 0.75 0.35 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 39980 22 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223520 134519760 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0 [pid=19575] vsize: 9680 Current children cumulated CPU time (s) 400.02 Current children cumulated vsize (Kb) 9680 [startup+410.04 s] Raw data (loadavg): 0.99 0.76 0.36 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 40979 23 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0 [pid=19575] vsize: 9680 Current children cumulated CPU time (s) 410.02 Current children cumulated vsize (Kb) 9680 [startup+420.042 s] Raw data (loadavg): 0.99 0.77 0.37 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2080 0 0 0 41979 23 0 0 25 0 1 0 1800594449 10043392 2046 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2452 2046 566 18 0 2434 0 [pid=19575] vsize: 9808 Current children cumulated CPU time (s) 420.02 Current children cumulated vsize (Kb) 9808 [startup+430.043 s] Raw data (loadavg): 0.99 0.77 0.37 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2081 0 0 0 42979 23 0 0 25 0 1 0 1800594449 10043392 2047 4294967295 134512640 134578447 3221224624 3221223384 1075288312 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2452 2047 566 18 0 2434 0 [pid=19575] vsize: 9808 Current children cumulated CPU time (s) 430.02 Current children cumulated vsize (Kb) 9808 [startup+440.044 s] Raw data (loadavg): 0.99 0.78 0.38 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2128 0 0 0 43978 24 0 0 25 0 1 0 1800594449 10309632 2094 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2517 2094 566 18 0 2499 0 [pid=19575] vsize: 10068 Current children cumulated CPU time (s) 440.02 Current children cumulated vsize (Kb) 10068 [startup+450.045 s] Raw data (loadavg): 0.99 0.79 0.38 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2142 0 0 0 44978 25 0 0 25 0 1 0 1800594449 10309632 2108 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2517 2108 566 18 0 2499 0 [pid=19575] vsize: 10068 Current children cumulated CPU time (s) 450.03 Current children cumulated vsize (Kb) 10068 [startup+460.046 s] Raw data (loadavg): 0.99 0.80 0.39 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2185 0 0 0 45977 25 0 0 25 0 1 0 1800594449 10575872 2151 4294967295 134512640 134578447 3221224624 3221223472 134520396 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2582 2151 566 18 0 2564 0 [pid=19575] vsize: 10328 Current children cumulated CPU time (s) 460.02 Current children cumulated vsize (Kb) 10328 [startup+470.047 s] Raw data (loadavg): 0.99 0.80 0.40 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2205 0 0 0 46977 26 0 0 25 0 1 0 1800594449 10575872 2171 4294967295 134512640 134578447 3221224624 3221223536 134556786 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2582 2171 566 18 0 2564 0 [pid=19575] vsize: 10328 Current children cumulated CPU time (s) 470.03 Current children cumulated vsize (Kb) 10328 [startup+480.048 s] Raw data (loadavg): 0.99 0.81 0.40 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2237 0 0 0 47977 26 0 0 25 0 1 0 1800594449 10706944 2203 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2614 2203 566 18 0 2596 0 [pid=19575] vsize: 10456 Current children cumulated CPU time (s) 480.03 Current children cumulated vsize (Kb) 10456 [startup+490.049 s] Raw data (loadavg): 0.99 0.81 0.41 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 48976 27 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0 [pid=19575] vsize: 10584 Current children cumulated CPU time (s) 490.03 Current children cumulated vsize (Kb) 10584 [startup+500.049 s] Raw data (loadavg): 0.99 0.82 0.41 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 49976 27 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0 [pid=19575] vsize: 10584 Current children cumulated CPU time (s) 500.03 Current children cumulated vsize (Kb) 10584 [startup+510.049 s] Raw data (loadavg): 0.99 0.82 0.42 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 50975 28 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0 [pid=19575] vsize: 10584 Current children cumulated CPU time (s) 510.03 Current children cumulated vsize (Kb) 10584 [startup+520.05 s] Raw data (loadavg): 0.99 0.83 0.43 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 51975 28 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0 [pid=19575] vsize: 10584 Current children cumulated CPU time (s) 520.03 Current children cumulated vsize (Kb) 10584 [startup+530.051 s] Raw data (loadavg): 0.99 0.83 0.43 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 52975 28 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0 [pid=19575] vsize: 10584 Current children cumulated CPU time (s) 530.03 Current children cumulated vsize (Kb) 10584 [startup+540.052 s] Raw data (loadavg): 0.99 0.84 0.44 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2256 0 0 0 53975 29 0 0 25 0 1 0 1800594449 10838016 2222 4294967295 134512640 134578447 3221224624 3221223504 134531684 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2646 2222 566 18 0 2628 0 [pid=19575] vsize: 10584 Current children cumulated CPU time (s) 540.04 Current children cumulated vsize (Kb) 10584 [startup+550.052 s] Raw data (loadavg): 0.99 0.84 0.44 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 54975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0 [pid=19575] vsize: 10840 Current children cumulated CPU time (s) 550.04 Current children cumulated vsize (Kb) 10840 [startup+560.053 s] Raw data (loadavg): 0.99 0.85 0.45 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 55975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223584 134559027 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0 [pid=19575] vsize: 10840 Current children cumulated CPU time (s) 560.04 Current children cumulated vsize (Kb) 10840 [startup+570.053 s] Raw data (loadavg): 0.99 0.85 0.45 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 56975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0 [pid=19575] vsize: 10840 Current children cumulated CPU time (s) 570.04 Current children cumulated vsize (Kb) 10840 [startup+580.053 s] Raw data (loadavg): 0.99 0.86 0.46 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 57975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223564 134552700 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0 [pid=19575] vsize: 10840 Current children cumulated CPU time (s) 580.04 Current children cumulated vsize (Kb) 10840 [startup+590.054 s] Raw data (loadavg): 0.99 0.86 0.46 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 58976 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0 [pid=19575] vsize: 10840 Current children cumulated CPU time (s) 590.05 Current children cumulated vsize (Kb) 10840 [startup+600.055 s] Raw data (loadavg): 0.99 0.87 0.47 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 59975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223472 134558314 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0 [pid=19575] vsize: 10840 Current children cumulated CPU time (s) 600.04 Current children cumulated vsize (Kb) 10840 [startup+610.056 s] Raw data (loadavg): 0.99 0.87 0.47 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 60976 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0 [pid=19575] vsize: 10840 Current children cumulated CPU time (s) 610.05 Current children cumulated vsize (Kb) 10840 [startup+620.055 s] Raw data (loadavg): 0.99 0.87 0.48 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 61976 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0 [pid=19575] vsize: 10840 Current children cumulated CPU time (s) 620.05 Current children cumulated vsize (Kb) 10840 [startup+630.056 s] Raw data (loadavg): 0.99 0.88 0.48 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 62975 30 0 0 25 0 1 0 1800594449 11096064 2281 4294967295 134512640 134578447 3221224624 3221223632 134563236 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2709 2281 566 18 0 2691 0 [pid=19575] vsize: 10836 Current children cumulated CPU time (s) 630.05 Current children cumulated vsize (Kb) 10836 [startup+640.057 s] Raw data (loadavg): 0.99 0.88 0.49 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 63974 31 0 0 25 0 1 0 1800594449 11096064 2281 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2709 2281 566 18 0 2691 0 [pid=19575] vsize: 10836 Current children cumulated CPU time (s) 640.05 Current children cumulated vsize (Kb) 10836 [startup+650.057 s] Raw data (loadavg): 0.99 0.88 0.49 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2339 0 0 0 64974 31 0 0 25 0 1 0 1800594449 11235328 2305 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2743 2305 566 18 0 2725 0 [pid=19575] vsize: 10972 Current children cumulated CPU time (s) 650.05 Current children cumulated vsize (Kb) 10972 [startup+660.058 s] Raw data (loadavg): 0.99 0.89 0.50 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2339 0 0 0 65974 31 0 0 25 0 1 0 1800594449 11235328 2305 4294967295 134512640 134578447 3221224624 3221223472 134558328 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2743 2305 566 18 0 2725 0 [pid=19575] vsize: 10972 Current children cumulated CPU time (s) 660.05 Current children cumulated vsize (Kb) 10972 [startup+670.059 s] Raw data (loadavg): 0.99 0.89 0.50 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2386 0 0 0 66974 32 0 0 25 0 1 0 1800594449 11370496 2352 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2776 2352 566 18 0 2758 0 [pid=19575] vsize: 11104 Current children cumulated CPU time (s) 670.06 Current children cumulated vsize (Kb) 11104 [startup+680.058 s] Raw data (loadavg): 0.99 0.89 0.51 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2389 0 0 0 67974 32 0 0 25 0 1 0 1800594449 11370496 2355 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2776 2355 566 18 0 2758 0 [pid=19575] vsize: 11104 Current children cumulated CPU time (s) 680.06 Current children cumulated vsize (Kb) 11104 [startup+690.059 s] Raw data (loadavg): 0.99 0.90 0.51 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2393 0 0 0 68974 32 0 0 25 0 1 0 1800594449 11370496 2359 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2776 2359 566 18 0 2758 0 [pid=19575] vsize: 11104 Current children cumulated CPU time (s) 690.06 Current children cumulated vsize (Kb) 11104 [startup+700.06 s] Raw data (loadavg): 0.99 0.90 0.52 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2393 0 0 0 69974 32 0 0 25 0 1 0 1800594449 11370496 2359 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2776 2359 566 18 0 2758 0 [pid=19575] vsize: 11104 Current children cumulated CPU time (s) 700.06 Current children cumulated vsize (Kb) 11104 [startup+710.061 s] Raw data (loadavg): 0.99 0.90 0.52 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2450 0 0 0 70974 33 0 0 25 0 1 0 1800594449 11632640 2416 4294967295 134512640 134578447 3221224624 3221223364 1075289714 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2840 2416 566 18 0 2822 0 [pid=19575] vsize: 11360 Current children cumulated CPU time (s) 710.07 Current children cumulated vsize (Kb) 11360 [startup+720.062 s] Raw data (loadavg): 0.99 0.91 0.53 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2454 0 0 0 71974 33 0 0 25 0 1 0 1800594449 11632640 2420 4294967295 134512640 134578447 3221224624 3221223584 134559101 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2840 2420 566 18 0 2822 0 [pid=19575] vsize: 11360 Current children cumulated CPU time (s) 720.07 Current children cumulated vsize (Kb) 11360 [startup+730.062 s] Raw data (loadavg): 0.99 0.91 0.53 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2455 0 0 0 72974 33 0 0 25 0 1 0 1800594449 11632640 2421 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2840 2421 566 18 0 2822 0 [pid=19575] vsize: 11360 Current children cumulated CPU time (s) 730.07 Current children cumulated vsize (Kb) 11360 [startup+740.062 s] Raw data (loadavg): 0.99 0.91 0.54 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 73974 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0 [pid=19575] vsize: 11488 Current children cumulated CPU time (s) 740.07 Current children cumulated vsize (Kb) 11488 [startup+750.062 s] Raw data (loadavg): 0.99 0.91 0.54 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 74974 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0 [pid=19575] vsize: 11488 Current children cumulated CPU time (s) 750.07 Current children cumulated vsize (Kb) 11488 [startup+760.063 s] Raw data (loadavg): 0.99 0.92 0.55 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 75974 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223532 134556547 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0 [pid=19575] vsize: 11488 Current children cumulated CPU time (s) 760.07 Current children cumulated vsize (Kb) 11488 [startup+770.064 s] Raw data (loadavg): 0.99 0.92 0.55 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 76974 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223504 134519928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0 [pid=19575] vsize: 11488 Current children cumulated CPU time (s) 770.07 Current children cumulated vsize (Kb) 11488 [startup+780.065 s] Raw data (loadavg): 0.99 0.92 0.56 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 77975 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0 [pid=19575] vsize: 11488 Current children cumulated CPU time (s) 780.08 Current children cumulated vsize (Kb) 11488 [startup+790.065 s] Raw data (loadavg): 0.99 0.92 0.56 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 78975 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223472 134520136 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0 [pid=19575] vsize: 11488 Current children cumulated CPU time (s) 790.08 Current children cumulated vsize (Kb) 11488 [startup+800.065 s] Raw data (loadavg): 0.99 0.92 0.56 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 79975 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0 [pid=19575] vsize: 11488 Current children cumulated CPU time (s) 800.08 Current children cumulated vsize (Kb) 11488 [startup+810.066 s] Raw data (loadavg): 0.99 0.93 0.57 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2522 0 0 0 80975 34 0 0 25 0 1 0 1800594449 11898880 2488 4294967295 134512640 134578447 3221224624 3221223584 134559095 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2905 2488 566 18 0 2887 0 [pid=19575] vsize: 11620 Current children cumulated CPU time (s) 810.09 Current children cumulated vsize (Kb) 11620 [startup+820.067 s] Raw data (loadavg): 0.99 0.93 0.57 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2522 0 0 0 81975 34 0 0 25 0 1 0 1800594449 11898880 2488 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2905 2488 566 18 0 2887 0 [pid=19575] vsize: 11620 Current children cumulated CPU time (s) 820.09 Current children cumulated vsize (Kb) 11620 [startup+830.067 s] Raw data (loadavg): 0.99 0.93 0.58 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 82975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0 [pid=19575] vsize: 11748 Current children cumulated CPU time (s) 830.09 Current children cumulated vsize (Kb) 11748 [startup+840.068 s] Raw data (loadavg): 0.99 0.93 0.58 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 83975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0 [pid=19575] vsize: 11748 Current children cumulated CPU time (s) 840.09 Current children cumulated vsize (Kb) 11748 [startup+850.067 s] Raw data (loadavg): 0.99 0.93 0.58 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 84975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0 [pid=19575] vsize: 11748 Current children cumulated CPU time (s) 850.09 Current children cumulated vsize (Kb) 11748 [startup+860.068 s] Raw data (loadavg): 0.99 0.93 0.59 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 85975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0 [pid=19575] vsize: 11748 Current children cumulated CPU time (s) 860.09 Current children cumulated vsize (Kb) 11748 [startup+870.068 s] Raw data (loadavg): 0.99 0.94 0.59 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 86975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223536 134557326 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0 [pid=19575] vsize: 11748 Current children cumulated CPU time (s) 870.09 Current children cumulated vsize (Kb) 11748 [startup+880.069 s] Raw data (loadavg): 0.99 0.94 0.59 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 87975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0 [pid=19575] vsize: 11748 Current children cumulated CPU time (s) 880.09 Current children cumulated vsize (Kb) 11748 [startup+890.07 s] Raw data (loadavg): 0.99 0.94 0.60 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2615 0 0 0 88975 35 0 0 25 0 1 0 1800594449 12292096 2581 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3001 2581 566 18 0 2983 0 [pid=19575] vsize: 12004 Current children cumulated CPU time (s) 890.1 Current children cumulated vsize (Kb) 12004 [startup+900.071 s] Raw data (loadavg): 0.99 0.94 0.60 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2618 0 0 0 89976 35 0 0 25 0 1 0 1800594449 12292096 2584 4294967295 134512640 134578447 3221224624 3221223568 134558626 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3001 2584 566 18 0 2983 0 [pid=19575] vsize: 12004 Current children cumulated CPU time (s) 900.11 Current children cumulated vsize (Kb) 12004 [startup+910.071 s] Raw data (loadavg): 0.99 0.94 0.61 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2652 0 0 0 90975 35 0 0 25 0 1 0 1800594449 12423168 2618 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3033 2618 566 18 0 3015 0 [pid=19575] vsize: 12132 Current children cumulated CPU time (s) 910.1 Current children cumulated vsize (Kb) 12132 [startup+920.071 s] Raw data (loadavg): 0.99 0.94 0.61 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 91976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 920.11 Current children cumulated vsize (Kb) 12260 [startup+930.071 s] Raw data (loadavg): 0.99 0.95 0.61 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 92976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 930.11 Current children cumulated vsize (Kb) 12260 [startup+940.072 s] Raw data (loadavg): 0.99 0.95 0.62 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 93976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 940.11 Current children cumulated vsize (Kb) 12260 [startup+950.073 s] Raw data (loadavg): 0.99 0.95 0.62 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 94976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 950.11 Current children cumulated vsize (Kb) 12260 [startup+960.073 s] Raw data (loadavg): 0.99 0.95 0.63 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 95976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 960.11 Current children cumulated vsize (Kb) 12260 [startup+970.074 s] Raw data (loadavg): 0.99 0.95 0.63 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 96976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 970.11 Current children cumulated vsize (Kb) 12260 [startup+980.074 s] Raw data (loadavg): 0.99 0.95 0.63 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 97977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 980.12 Current children cumulated vsize (Kb) 12260 [startup+990.075 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 98977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 990.12 Current children cumulated vsize (Kb) 12260 [startup+1000.07 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 99977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 1000.12 Current children cumulated vsize (Kb) 12260 [startup+1010.08 s] Raw data (loadavg): 0.99 0.95 0.64 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 100977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519792 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 1010.12 Current children cumulated vsize (Kb) 12260 [startup+1020.08 s] Raw data (loadavg): 0.99 0.95 0.65 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 101977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 1020.12 Current children cumulated vsize (Kb) 12260 [startup+1030.08 s] Raw data (loadavg): 0.99 0.95 0.65 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 102978 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 1030.13 Current children cumulated vsize (Kb) 12260 [startup+1040.08 s] Raw data (loadavg): 0.99 0.96 0.65 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2694 0 0 0 103977 36 0 0 25 0 1 0 1800594449 12554240 2660 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3065 2660 566 18 0 3047 0 [pid=19575] vsize: 12260 Current children cumulated CPU time (s) 1040.13 Current children cumulated vsize (Kb) 12260 [startup+1050.08 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2716 0 0 0 104977 36 0 0 25 0 1 0 1800594449 12685312 2682 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3097 2682 566 18 0 3079 0 [pid=19575] vsize: 12388 Current children cumulated CPU time (s) 1050.13 Current children cumulated vsize (Kb) 12388 [startup+1060.08 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2749 0 0 0 105977 36 0 0 25 0 1 0 1800594449 12816384 2715 4294967295 134512640 134578447 3221224624 3221223660 134553754 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3129 2715 566 18 0 3111 0 [pid=19575] vsize: 12516 Current children cumulated CPU time (s) 1060.13 Current children cumulated vsize (Kb) 12516 [startup+1070.08 s] Raw data (loadavg): 0.99 0.96 0.66 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2749 0 0 0 106978 36 0 0 25 0 1 0 1800594449 12816384 2715 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3129 2715 566 18 0 3111 0 [pid=19575] vsize: 12516 Current children cumulated CPU time (s) 1070.14 Current children cumulated vsize (Kb) 12516 [startup+1080.08 s] Raw data (loadavg): 1.07 0.98 0.67 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2749 0 0 0 107978 36 0 0 25 0 1 0 1800594449 12816384 2715 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3129 2715 566 18 0 3111 0 [pid=19575] vsize: 12516 Current children cumulated CPU time (s) 1080.14 Current children cumulated vsize (Kb) 12516 [startup+1090.08 s] Raw data (loadavg): 1.06 0.98 0.67 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2749 0 0 0 108978 36 0 0 25 0 1 0 1800594449 12816384 2715 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3129 2715 566 18 0 3111 0 [pid=19575] vsize: 12516 Current children cumulated CPU time (s) 1090.14 Current children cumulated vsize (Kb) 12516 [startup+1100.08 s] Raw data (loadavg): 1.05 0.98 0.68 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2759 0 0 0 109978 36 0 0 25 0 1 0 1800594449 12951552 2725 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3162 2725 566 18 0 3144 0 [pid=19575] vsize: 12648 Current children cumulated CPU time (s) 1100.14 Current children cumulated vsize (Kb) 12648 [startup+1110.08 s] Raw data (loadavg): 1.04 0.98 0.68 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2769 0 0 0 110978 36 0 0 25 0 1 0 1800594449 12951552 2735 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3162 2735 566 18 0 3144 0 [pid=19575] vsize: 12648 Current children cumulated CPU time (s) 1110.14 Current children cumulated vsize (Kb) 12648 [startup+1120.08 s] Raw data (loadavg): 1.03 0.98 0.68 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2769 0 0 0 111978 36 0 0 25 0 1 0 1800594449 12951552 2735 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3162 2735 566 18 0 3144 0 [pid=19575] vsize: 12648 Current children cumulated CPU time (s) 1120.14 Current children cumulated vsize (Kb) 12648 [startup+1130.08 s] Raw data (loadavg): 1.03 0.98 0.68 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2769 0 0 0 112978 36 0 0 25 0 1 0 1800594449 12951552 2735 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3162 2735 566 18 0 3144 0 [pid=19575] vsize: 12648 Current children cumulated CPU time (s) 1130.14 Current children cumulated vsize (Kb) 12648 [startup+1140.08 s] Raw data (loadavg): 1.02 0.98 0.69 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2807 0 0 0 113978 36 0 0 25 0 1 0 1800594449 13082624 2773 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3194 2773 566 18 0 3176 0 [pid=19575] vsize: 12776 Current children cumulated CPU time (s) 1140.14 Current children cumulated vsize (Kb) 12776 [startup+1150.08 s] Raw data (loadavg): 1.02 0.98 0.69 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2836 0 0 0 114979 37 0 0 25 0 1 0 1800594449 13213696 2802 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3226 2802 566 18 0 3208 0 [pid=19575] vsize: 12904 Current children cumulated CPU time (s) 1150.16 Current children cumulated vsize (Kb) 12904 [startup+1160.08 s] Raw data (loadavg): 1.02 0.98 0.69 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2836 0 0 0 115979 37 0 0 25 0 1 0 1800594449 13213696 2802 4294967295 134512640 134578447 3221224624 3221223520 134519825 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3226 2802 566 18 0 3208 0 [pid=19575] vsize: 12904 Current children cumulated CPU time (s) 1160.16 Current children cumulated vsize (Kb) 12904 [startup+1170.08 s] Raw data (loadavg): 1.01 0.98 0.70 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2862 0 0 0 116979 37 0 0 25 0 1 0 1800594449 13344768 2828 4294967295 134512640 134578447 3221224624 3221223472 134520245 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3258 2828 566 18 0 3240 0 [pid=19575] vsize: 13032 Current children cumulated CPU time (s) 1170.16 Current children cumulated vsize (Kb) 13032 [startup+1180.08 s] Raw data (loadavg): 1.01 0.98 0.70 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2869 0 0 0 117979 37 0 0 25 0 1 0 1800594449 13344768 2835 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3258 2835 566 18 0 3240 0 [pid=19575] vsize: 13032 Current children cumulated CPU time (s) 1180.16 Current children cumulated vsize (Kb) 13032 [startup+1190.08 s] Raw data (loadavg): 1.01 0.98 0.70 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2869 0 0 0 118979 37 0 0 25 0 1 0 1800594449 13344768 2835 4294967295 134512640 134578447 3221224624 3221223552 134516659 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3258 2835 566 18 0 3240 0 [pid=19575] vsize: 13032 Current children cumulated CPU time (s) 1190.16 Current children cumulated vsize (Kb) 13032 [startup+1200.08 s] Raw data (loadavg): 1.01 0.98 0.70 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2869 0 0 0 119979 37 0 0 25 0 1 0 1800594449 13344768 2835 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3258 2835 566 18 0 3240 0 [pid=19575] vsize: 13032 Current children cumulated CPU time (s) 1200.16 Current children cumulated vsize (Kb) 13032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.08 s] Raw data (loadavg): 1.01 0.98 0.70 2/56 19575 Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2869 0 0 0 119979 37 0 0 25 0 1 0 1800594449 13344768 2835 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19575/statm): 3258 2835 566 18 0 3240 0 [pid=19575] vsize: 13032 Current children cumulated CPU time (s) 1200.16 Current children cumulated vsize (Kb) 13032 Sending SIGTERM to -19575 Sleeping 2 seconds One traced child (pid=19575) 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.09 CPU time (s): 1200.18 CPU user time (s): 1199.79 CPU system time (s): 0.382941 CPU usage (%): 100.007 Max. virtual memory (cumulated for all children) (Kb): 13032
ERROR: no interpretation found !