Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb |
MD5SUM | 9d4ce12b138a2bef65a1f401ec9d1f01 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4732 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.44 |
Number of variables | 1989 |
Total number of constraints | 2086 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2085 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1989 |
LAUNCH ON wulflinc4 THE 2005-09-20 16:01:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5324 boxname=wulflinc4 idbench=636 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 9d4ce12b138a2bef65a1f401ec9d1f01 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-l152lav.opb REAL COMMAND: Pueblo IDLAUNCH: 5324 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 817388 kB Buffers: 34324 kB Cached: 155676 kB SwapCached: 876 kB Active: 100400 kB Inactive: 92152 kB HighTotal: 131008 kB HighFree: 448 kB LowTotal: 903652 kB LowFree: 816940 kB SwapTotal: 2097136 kB SwapFree: 2095644 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5544 kB Slab: 18844 kB Committed_AS: 72364 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 16:21:03 (client local time) WITH STATUS 0 IN 1200.2 SECONDS stats: 5324 7 1200.2 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/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801572347 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15079/statm): 41 3 40 18 0 23 0 [pid=15079] 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.0041 s] Raw data (loadavg): 0.80 0.95 0.91 2/56 15081 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 1446 0 0 0 994 3 0 0 25 0 1 0 1801572347 7483392 1412 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 1827 1412 566 18 0 1809 0 [pid=15079] vsize: 7308 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 7308 [startup+20.004 s] Raw data (loadavg): 0.83 0.95 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 1829 0 0 0 1993 4 0 0 25 0 1 0 1801572347 8982528 1795 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 2193 1795 566 18 0 2175 0 [pid=15079] vsize: 8772 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 8772 [startup+30.0048 s] Raw data (loadavg): 0.86 0.95 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 2046 0 0 0 2993 4 0 0 25 0 1 0 1801572347 9945088 2012 4294967295 134512640 134578447 3221224624 3221223456 134528448 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 2428 2012 566 18 0 2410 0 [pid=15079] vsize: 9712 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 9712 [startup+40.0047 s] Raw data (loadavg): 0.88 0.95 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 2383 0 0 0 3991 5 0 0 25 0 1 0 1801572347 11280384 2349 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 2754 2349 566 18 0 2736 0 [pid=15079] vsize: 11016 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 11016 [startup+50.0055 s] Raw data (loadavg): 0.90 0.95 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 2521 0 0 0 4991 6 0 0 25 0 1 0 1801572347 11800576 2487 4294967295 134512640 134578447 3221224624 3221223504 134528132 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 2881 2487 566 18 0 2863 0 [pid=15079] vsize: 11524 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 11524 [startup+60.0064 s] Raw data (loadavg): 0.91 0.95 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 2727 0 0 0 5990 6 0 0 25 0 1 0 1801572347 12709888 2693 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3103 2693 566 18 0 3085 0 [pid=15079] vsize: 12412 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 12412 [startup+70.0062 s] Raw data (loadavg): 0.93 0.95 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 2747 0 0 0 6990 7 0 0 25 0 1 0 1801572347 12857344 2713 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3139 2713 566 18 0 3121 0 [pid=15079] vsize: 12556 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 12556 [startup+80.0071 s] Raw data (loadavg): 0.94 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 2747 0 0 0 7991 7 0 0 25 0 1 0 1801572347 12795904 2713 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3124 2713 566 18 0 3106 0 [pid=15079] vsize: 12496 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 12496 [startup+90.0069 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 2747 0 0 0 8991 7 0 0 25 0 1 0 1801572347 12795904 2713 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3124 2713 566 18 0 3106 0 [pid=15079] vsize: 12496 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 12496 [startup+100.008 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 2747 0 0 0 9991 7 0 0 25 0 1 0 1801572347 12795904 2713 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3124 2713 566 18 0 3106 0 [pid=15079] vsize: 12496 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 12496 [startup+110.009 s] Raw data (loadavg): 0.96 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 3027 0 0 0 10990 7 0 0 25 0 1 0 1801572347 13971456 2993 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3411 2993 566 18 0 3393 0 [pid=15079] vsize: 13644 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 13644 [startup+120.009 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 3261 0 0 0 11990 8 0 0 25 0 1 0 1801572347 14942208 3227 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3648 3227 566 18 0 3630 0 [pid=15079] vsize: 14592 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 14592 [startup+130.009 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 3268 0 0 0 12990 8 0 0 25 0 1 0 1801572347 14692352 3193 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3587 3193 566 18 0 3569 0 [pid=15079] vsize: 14348 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 14348 [startup+140.01 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 3268 0 0 0 13990 8 0 0 25 0 1 0 1801572347 14692352 3193 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3587 3193 566 18 0 3569 0 [pid=15079] vsize: 14348 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 14348 [startup+150.011 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 3268 0 0 0 14990 8 0 0 25 0 1 0 1801572347 14692352 3193 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3587 3193 566 18 0 3569 0 [pid=15079] vsize: 14348 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 14348 [startup+160.012 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 3418 0 0 0 15990 9 0 0 25 0 1 0 1801572347 15360000 3343 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 3750 3343 566 18 0 3732 0 [pid=15079] vsize: 15000 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 15000 [startup+170.012 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 3859 0 0 0 16988 10 0 0 25 0 1 0 1801572347 17215488 3784 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4203 3784 566 18 0 4185 0 [pid=15079] vsize: 16812 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 16812 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 3859 0 0 0 17988 10 0 0 25 0 1 0 1801572347 17215488 3784 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4203 3784 566 18 0 4185 0 [pid=15079] vsize: 16812 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 16812 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 18987 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 17704 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 19988 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 17704 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 20988 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 17704 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 21988 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 17704 [startup+230.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 22988 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 17704 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 23989 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 240 Current children cumulated vsize (Kb) 17704 [startup+250.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15083 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 24989 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 250 Current children cumulated vsize (Kb) 17704 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 25989 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 17704 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 26989 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134528051 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 270 Current children cumulated vsize (Kb) 17704 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 27989 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 17704 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 28989 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 17704 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 29989 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 300 Current children cumulated vsize (Kb) 17704 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 30990 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 310.01 Current children cumulated vsize (Kb) 17704 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4106 0 0 0 31990 11 0 0 25 0 1 0 1801572347 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4426 4031 566 18 0 4408 0 [pid=15079] vsize: 17704 Current children cumulated CPU time (s) 320.01 Current children cumulated vsize (Kb) 17704 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4189 0 0 0 32989 12 0 0 25 0 1 0 1801572347 18518016 4114 4294967295 134512640 134578447 3221224624 3221223504 134527748 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4521 4114 566 18 0 4503 0 [pid=15079] vsize: 18084 Current children cumulated CPU time (s) 330.01 Current children cumulated vsize (Kb) 18084 [startup+340.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4663 0 0 0 33988 13 0 0 25 0 1 0 1801572347 20418560 4588 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 4985 4588 566 18 0 4967 0 [pid=15079] vsize: 19940 Current children cumulated CPU time (s) 340.01 Current children cumulated vsize (Kb) 19940 [startup+350.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4681 0 0 0 34988 13 0 0 25 0 1 0 1801572347 20549632 4606 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5017 4606 566 18 0 4999 0 [pid=15079] vsize: 20068 Current children cumulated CPU time (s) 350.01 Current children cumulated vsize (Kb) 20068 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4681 0 0 0 35988 13 0 0 25 0 1 0 1801572347 20549632 4606 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5017 4606 566 18 0 4999 0 [pid=15079] vsize: 20068 Current children cumulated CPU time (s) 360.01 Current children cumulated vsize (Kb) 20068 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4681 0 0 0 36988 13 0 0 25 0 1 0 1801572347 20549632 4606 4294967295 134512640 134578447 3221224624 3221223376 134528860 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5017 4606 566 18 0 4999 0 [pid=15079] vsize: 20068 Current children cumulated CPU time (s) 370.01 Current children cumulated vsize (Kb) 20068 [startup+380.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4681 0 0 0 37989 13 0 0 25 0 1 0 1801572347 20549632 4606 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5017 4606 566 18 0 4999 0 [pid=15079] vsize: 20068 Current children cumulated CPU time (s) 380.02 Current children cumulated vsize (Kb) 20068 [startup+390.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4681 0 0 0 38989 13 0 0 25 0 1 0 1801572347 20549632 4606 4294967295 134512640 134578447 3221224624 3221223504 134527761 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5017 4606 566 18 0 4999 0 [pid=15079] vsize: 20068 Current children cumulated CPU time (s) 390.02 Current children cumulated vsize (Kb) 20068 [startup+400.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4681 0 0 0 39989 13 0 0 25 0 1 0 1801572347 20549632 4606 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5017 4606 566 18 0 4999 0 [pid=15079] vsize: 20068 Current children cumulated CPU time (s) 400.02 Current children cumulated vsize (Kb) 20068 [startup+410.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4753 0 0 0 40989 13 0 0 25 0 1 0 1801572347 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5081 4678 566 18 0 5063 0 [pid=15079] vsize: 20324 Current children cumulated CPU time (s) 410.02 Current children cumulated vsize (Kb) 20324 [startup+420.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4753 0 0 0 41989 13 0 0 25 0 1 0 1801572347 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527742 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5081 4678 566 18 0 5063 0 [pid=15079] vsize: 20324 Current children cumulated CPU time (s) 420.02 Current children cumulated vsize (Kb) 20324 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4753 0 0 0 42989 13 0 0 25 0 1 0 1801572347 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134528068 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5081 4678 566 18 0 5063 0 [pid=15079] vsize: 20324 Current children cumulated CPU time (s) 430.02 Current children cumulated vsize (Kb) 20324 [startup+440.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4753 0 0 0 43989 13 0 0 25 0 1 0 1801572347 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5081 4678 566 18 0 5063 0 [pid=15079] vsize: 20324 Current children cumulated CPU time (s) 440.02 Current children cumulated vsize (Kb) 20324 [startup+450.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4753 0 0 0 44988 14 0 0 25 0 1 0 1801572347 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527723 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5081 4678 566 18 0 5063 0 [pid=15079] vsize: 20324 Current children cumulated CPU time (s) 450.02 Current children cumulated vsize (Kb) 20324 [startup+460.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4753 0 0 0 45988 15 0 0 25 0 1 0 1801572347 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5081 4678 566 18 0 5063 0 [pid=15079] vsize: 20324 Current children cumulated CPU time (s) 460.03 Current children cumulated vsize (Kb) 20324 [startup+470.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4753 0 0 0 46988 15 0 0 25 0 1 0 1801572347 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5081 4678 566 18 0 5063 0 [pid=15079] vsize: 20324 Current children cumulated CPU time (s) 470.03 Current children cumulated vsize (Kb) 20324 [startup+480.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4780 0 0 0 47988 15 0 0 25 0 1 0 1801572347 20951040 4705 4294967295 134512640 134578447 3221224624 3221223456 134528513 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5115 4705 566 18 0 5097 0 [pid=15079] vsize: 20460 Current children cumulated CPU time (s) 480.03 Current children cumulated vsize (Kb) 20460 [startup+490.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4780 0 0 0 48988 16 0 0 25 0 1 0 1801572347 20951040 4705 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5115 4705 566 18 0 5097 0 [pid=15079] vsize: 20460 Current children cumulated CPU time (s) 490.04 Current children cumulated vsize (Kb) 20460 [startup+500.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4780 0 0 0 49988 16 0 0 25 0 1 0 1801572347 20951040 4705 4294967295 134512640 134578447 3221224624 3221223504 134527723 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5115 4705 566 18 0 5097 0 [pid=15079] vsize: 20460 Current children cumulated CPU time (s) 500.04 Current children cumulated vsize (Kb) 20460 [startup+510.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4780 0 0 0 50988 16 0 0 25 0 1 0 1801572347 20951040 4705 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5115 4705 566 18 0 5097 0 [pid=15079] vsize: 20460 Current children cumulated CPU time (s) 510.04 Current children cumulated vsize (Kb) 20460 [startup+520.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4780 0 0 0 51988 16 0 0 25 0 1 0 1801572347 20951040 4705 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5115 4705 566 18 0 5097 0 [pid=15079] vsize: 20460 Current children cumulated CPU time (s) 520.04 Current children cumulated vsize (Kb) 20460 [startup+530.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4780 0 0 0 52988 16 0 0 25 0 1 0 1801572347 20951040 4705 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5115 4705 566 18 0 5097 0 [pid=15079] vsize: 20460 Current children cumulated CPU time (s) 530.04 Current children cumulated vsize (Kb) 20460 [startup+540.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4886 0 0 0 53988 16 0 0 25 0 1 0 1801572347 21426176 4811 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5231 4811 566 18 0 5213 0 [pid=15079] vsize: 20924 Current children cumulated CPU time (s) 540.04 Current children cumulated vsize (Kb) 20924 [startup+550.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4886 0 0 0 54988 16 0 0 25 0 1 0 1801572347 21426176 4811 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5231 4811 566 18 0 5213 0 [pid=15079] vsize: 20924 Current children cumulated CPU time (s) 550.04 Current children cumulated vsize (Kb) 20924 [startup+560.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 4886 0 0 0 55988 17 0 0 25 0 1 0 1801572347 21426176 4811 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5231 4811 566 18 0 5213 0 [pid=15079] vsize: 20924 Current children cumulated CPU time (s) 560.05 Current children cumulated vsize (Kb) 20924 [startup+570.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5077 0 0 0 56988 17 0 0 25 0 1 0 1801572347 22220800 5002 4294967295 134512640 134578447 3221224624 3221223376 134528970 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5425 5002 566 18 0 5407 0 [pid=15079] vsize: 21700 Current children cumulated CPU time (s) 570.05 Current children cumulated vsize (Kb) 21700 [startup+580.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 57988 17 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 580.05 Current children cumulated vsize (Kb) 21832 [startup+590.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 58988 17 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 590.05 Current children cumulated vsize (Kb) 21832 [startup+600.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 59988 17 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 600.05 Current children cumulated vsize (Kb) 21832 [startup+610.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 60989 17 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 610.06 Current children cumulated vsize (Kb) 21832 [startup+620.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 61989 17 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 620.06 Current children cumulated vsize (Kb) 21832 [startup+630.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 62989 18 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223456 134528580 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 630.07 Current children cumulated vsize (Kb) 21832 [startup+640.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 63989 18 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 640.07 Current children cumulated vsize (Kb) 21832 [startup+650.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 64989 18 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 650.07 Current children cumulated vsize (Kb) 21832 [startup+660.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 65989 18 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 660.07 Current children cumulated vsize (Kb) 21832 [startup+670.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 66989 18 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 670.07 Current children cumulated vsize (Kb) 21832 [startup+680.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 67989 18 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 680.07 Current children cumulated vsize (Kb) 21832 [startup+690.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5135 0 0 0 68990 18 0 0 25 0 1 0 1801572347 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5458 5060 566 18 0 5440 0 [pid=15079] vsize: 21832 Current children cumulated CPU time (s) 690.08 Current children cumulated vsize (Kb) 21832 [startup+700.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5209 0 0 0 69989 18 0 0 25 0 1 0 1801572347 22749184 5134 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5554 5134 566 18 0 5536 0 [pid=15079] vsize: 22216 Current children cumulated CPU time (s) 700.07 Current children cumulated vsize (Kb) 22216 [startup+710.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5253 0 0 0 70990 18 0 0 25 0 1 0 1801572347 22876160 5178 4294967295 134512640 134578447 3221224624 3221223504 134527757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5585 5178 566 18 0 5567 0 [pid=15079] vsize: 22340 Current children cumulated CPU time (s) 710.08 Current children cumulated vsize (Kb) 22340 [startup+720.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5253 0 0 0 71990 18 0 0 25 0 1 0 1801572347 22876160 5178 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5585 5178 566 18 0 5567 0 [pid=15079] vsize: 22340 Current children cumulated CPU time (s) 720.08 Current children cumulated vsize (Kb) 22340 [startup+730.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5253 0 0 0 72990 19 0 0 25 0 1 0 1801572347 22876160 5178 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5585 5178 566 18 0 5567 0 [pid=15079] vsize: 22340 Current children cumulated CPU time (s) 730.09 Current children cumulated vsize (Kb) 22340 [startup+740.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5559 0 0 0 73988 20 0 0 25 0 1 0 1801572347 24182784 5484 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5904 5484 566 18 0 5886 0 [pid=15079] vsize: 23616 Current children cumulated CPU time (s) 740.08 Current children cumulated vsize (Kb) 23616 [startup+750.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5562 0 0 0 74989 20 0 0 25 0 1 0 1801572347 24182784 5487 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5904 5487 566 18 0 5886 0 [pid=15079] vsize: 23616 Current children cumulated CPU time (s) 750.09 Current children cumulated vsize (Kb) 23616 [startup+760.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5562 0 0 0 75989 20 0 0 25 0 1 0 1801572347 24182784 5487 4294967295 134512640 134578447 3221224624 3221223504 134527723 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5904 5487 566 18 0 5886 0 [pid=15079] vsize: 23616 Current children cumulated CPU time (s) 760.09 Current children cumulated vsize (Kb) 23616 [startup+770.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5562 0 0 0 76989 20 0 0 25 0 1 0 1801572347 24182784 5487 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 5904 5487 566 18 0 5886 0 [pid=15079] vsize: 23616 Current children cumulated CPU time (s) 770.09 Current children cumulated vsize (Kb) 23616 [startup+780.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 77989 20 0 0 25 0 1 0 1801572347 25092096 5706 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6126 5706 566 18 0 6108 0 [pid=15079] vsize: 24504 Current children cumulated CPU time (s) 780.09 Current children cumulated vsize (Kb) 24504 [startup+790.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 78989 20 0 0 25 0 1 0 1801572347 25092096 5706 4294967295 134512640 134578447 3221224624 3221223376 134528920 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6126 5706 566 18 0 6108 0 [pid=15079] vsize: 24504 Current children cumulated CPU time (s) 790.09 Current children cumulated vsize (Kb) 24504 [startup+800.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 79989 20 0 0 25 0 1 0 1801572347 25092096 5706 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6126 5706 566 18 0 6108 0 [pid=15079] vsize: 24504 Current children cumulated CPU time (s) 800.09 Current children cumulated vsize (Kb) 24504 [startup+810.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 80989 20 0 0 25 0 1 0 1801572347 25092096 5706 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6126 5706 566 18 0 6108 0 [pid=15079] vsize: 24504 Current children cumulated CPU time (s) 810.09 Current children cumulated vsize (Kb) 24504 [startup+820.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 81989 20 0 0 25 0 1 0 1801572347 25092096 5706 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6126 5706 566 18 0 6108 0 [pid=15079] vsize: 24504 Current children cumulated CPU time (s) 820.09 Current children cumulated vsize (Kb) 24504 [startup+830.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 82990 20 0 0 25 0 1 0 1801572347 25092096 5706 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6126 5706 566 18 0 6108 0 [pid=15079] vsize: 24504 Current children cumulated CPU time (s) 830.1 Current children cumulated vsize (Kb) 24504 [startup+840.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 83990 20 0 0 25 0 1 0 1801572347 25092096 5706 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6126 5706 566 18 0 6108 0 [pid=15079] vsize: 24504 Current children cumulated CPU time (s) 840.1 Current children cumulated vsize (Kb) 24504 [startup+850.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 84990 20 0 0 25 0 1 0 1801572347 25088000 5706 4294967295 134512640 134578447 3221224624 3221223456 134528434 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6125 5706 566 18 0 6107 0 [pid=15079] vsize: 24500 Current children cumulated CPU time (s) 850.1 Current children cumulated vsize (Kb) 24500 [startup+860.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 85990 21 0 0 25 0 1 0 1801572347 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6125 5706 566 18 0 6107 0 [pid=15079] vsize: 24500 Current children cumulated CPU time (s) 860.11 Current children cumulated vsize (Kb) 24500 [startup+870.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 86990 21 0 0 25 0 1 0 1801572347 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6125 5706 566 18 0 6107 0 [pid=15079] vsize: 24500 Current children cumulated CPU time (s) 870.11 Current children cumulated vsize (Kb) 24500 [startup+880.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 87990 21 0 0 25 0 1 0 1801572347 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6125 5706 566 18 0 6107 0 [pid=15079] vsize: 24500 Current children cumulated CPU time (s) 880.11 Current children cumulated vsize (Kb) 24500 [startup+890.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 88990 21 0 0 25 0 1 0 1801572347 25088000 5706 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6125 5706 566 18 0 6107 0 [pid=15079] vsize: 24500 Current children cumulated CPU time (s) 890.11 Current children cumulated vsize (Kb) 24500 [startup+900.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 89991 21 0 0 25 0 1 0 1801572347 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6125 5706 566 18 0 6107 0 [pid=15079] vsize: 24500 Current children cumulated CPU time (s) 900.12 Current children cumulated vsize (Kb) 24500 [startup+910.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 90991 21 0 0 25 0 1 0 1801572347 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6125 5706 566 18 0 6107 0 [pid=15079] vsize: 24500 Current children cumulated CPU time (s) 910.12 Current children cumulated vsize (Kb) 24500 [startup+920.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 91991 21 0 0 25 0 1 0 1801572347 25088000 5706 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6125 5706 566 18 0 6107 0 [pid=15079] vsize: 24500 Current children cumulated CPU time (s) 920.12 Current children cumulated vsize (Kb) 24500 [startup+930.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 92991 21 0 0 25 0 1 0 1801572347 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6125 5706 566 18 0 6107 0 [pid=15079] vsize: 24500 Current children cumulated CPU time (s) 930.12 Current children cumulated vsize (Kb) 24500 [startup+940.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 93991 21 0 0 25 0 1 0 1801572347 25067520 5706 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5706 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 940.12 Current children cumulated vsize (Kb) 24480 [startup+950.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 94992 21 0 0 25 0 1 0 1801572347 25067520 5706 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5706 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 950.13 Current children cumulated vsize (Kb) 24480 [startup+960.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 95992 21 0 0 25 0 1 0 1801572347 25067520 5706 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5706 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 960.13 Current children cumulated vsize (Kb) 24480 [startup+970.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5781 0 0 0 96992 21 0 0 25 0 1 0 1801572347 25067520 5706 4294967295 134512640 134578447 3221224624 3221223536 134556784 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5706 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 970.13 Current children cumulated vsize (Kb) 24480 [startup+980.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 97992 21 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 980.13 Current children cumulated vsize (Kb) 24480 [startup+990.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 98992 21 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 990.13 Current children cumulated vsize (Kb) 24480 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 99993 21 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1000.14 Current children cumulated vsize (Kb) 24480 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 100993 21 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1010.14 Current children cumulated vsize (Kb) 24480 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 101993 21 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1020.14 Current children cumulated vsize (Kb) 24480 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 102993 21 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1030.14 Current children cumulated vsize (Kb) 24480 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 103993 21 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1040.14 Current children cumulated vsize (Kb) 24480 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 104992 22 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1050.14 Current children cumulated vsize (Kb) 24480 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 105992 23 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1060.15 Current children cumulated vsize (Kb) 24480 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 106991 23 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1070.14 Current children cumulated vsize (Kb) 24480 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 107992 23 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1080.15 Current children cumulated vsize (Kb) 24480 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 108992 24 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1090.16 Current children cumulated vsize (Kb) 24480 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 109992 24 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1100.16 Current children cumulated vsize (Kb) 24480 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 110992 24 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1110.16 Current children cumulated vsize (Kb) 24480 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 111992 24 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1120.16 Current children cumulated vsize (Kb) 24480 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 112992 24 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1130.16 Current children cumulated vsize (Kb) 24480 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 113992 24 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1140.16 Current children cumulated vsize (Kb) 24480 [startup+1150.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 114992 24 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1150.16 Current children cumulated vsize (Kb) 24480 [startup+1160.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 115992 25 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1160.17 Current children cumulated vsize (Kb) 24480 [startup+1170.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 116992 25 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1170.17 Current children cumulated vsize (Kb) 24480 [startup+1180.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 117993 25 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1180.18 Current children cumulated vsize (Kb) 24480 [startup+1190.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 118992 25 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223456 134528451 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1190.17 Current children cumulated vsize (Kb) 24480 [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 119993 25 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1200.18 Current children cumulated vsize (Kb) 24480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 15085 Raw data (/proc/15079/stat): 15079 (Pueblo) R 15078 15079 6847 0 -1 0 5782 0 0 0 119993 25 0 0 25 0 1 0 1801572347 25067520 5707 4294967295 134512640 134578447 3221224624 3221223376 134528904 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15079/statm): 6120 5707 566 18 0 6102 0 [pid=15079] vsize: 24480 Current children cumulated CPU time (s) 1200.18 Current children cumulated vsize (Kb) 24480 Sending SIGTERM to -15079 Sleeping 2 seconds One traced child (pid=15079) 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.2 CPU user time (s): 1199.93 CPU system time (s): 0.264959 CPU usage (%): 100.01 Max. virtual memory (cumulated for all children) (Kb): 24504
ERROR: no interpretation found !