Name | mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb |
MD5SUM | 0b6e5fd99af8bfe5c5be00124c8da261 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16768 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 125 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1062015 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 128000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 268444670 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.13 |
Number of variables | 18711 |
Total number of constraints | 5602 |
Number of constraints which are clauses | 563 |
Number of constraints which are cardinality constraints (but not clauses) | 1681 |
Number of constraints which are nor clauses,nor cardinality constraints | 3358 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 55 |
LAUNCH ON wulflinc24 THE 2005-09-20 17:50:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5850 boxname=wulflinc24 idbench=1162 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 0b6e5fd99af8bfe5c5be00124c8da261 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb REAL COMMAND: Pueblo IDLAUNCH: 5850 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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 : 3 cpu MHz : 451.080 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: 825060 kB Buffers: 32384 kB Cached: 148696 kB SwapCached: 820 kB Active: 61056 kB Inactive: 122736 kB HighTotal: 131008 kB HighFree: 3752 kB LowTotal: 903652 kB LowFree: 821308 kB SwapTotal: 2097892 kB SwapFree: 2096616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5752 kB Slab: 20104 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 18:10:32 (client local time) WITH STATUS 0 IN 1200.14 SECONDS stats: 5850 7 1200.14 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/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860471904 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22145/statm): 41 3 40 18 0 23 0 [pid=22145] 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.0025 s] Raw data (loadavg): 0.76 0.94 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 3146 0 0 0 984 10 0 0 25 0 1 0 1860471904 15454208 3112 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22145/statm): 3773 3112 566 18 0 3755 0 [pid=22145] vsize: 15092 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 15092 [startup+20.0032 s] Raw data (loadavg): 0.80 0.94 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 3420 0 0 0 1982 11 0 0 25 0 1 0 1860471904 16646144 3386 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22145/statm): 4064 3386 566 18 0 4046 0 [pid=22145] vsize: 16256 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 16256 [startup+30.0039 s] Raw data (loadavg): 0.83 0.94 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 3611 0 0 0 2981 12 0 0 25 0 1 0 1860471904 17448960 3577 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22145/statm): 4260 3577 566 18 0 4242 0 [pid=22145] vsize: 17040 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 17040 [startup+40.0046 s] Raw data (loadavg): 0.86 0.94 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 3852 0 0 0 3980 13 0 0 25 0 1 0 1860471904 18391040 3818 4294967295 134512640 134578447 3221224624 3221223412 1075289770 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22145/statm): 4490 3818 566 18 0 4472 0 [pid=22145] vsize: 17960 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 17960 [startup+50.0053 s] Raw data (loadavg): 0.88 0.94 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4126 0 0 0 4978 15 0 0 25 0 1 0 1860471904 19574784 4092 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22145/statm): 4779 4092 566 18 0 4761 0 [pid=22145] vsize: 19116 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 19116 [startup+60.005 s] Raw data (loadavg): 0.90 0.94 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4439 0 0 0 5977 16 0 0 25 0 1 0 1860471904 20774912 4405 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 5072 4405 566 18 0 5054 0 [pid=22145] vsize: 20288 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 20288 [startup+70.0057 s] Raw data (loadavg): 0.91 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4811 0 0 0 6977 16 0 0 25 0 1 0 1860471904 22339584 4777 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 5454 4777 566 18 0 5436 0 [pid=22145] vsize: 21816 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 21816 [startup+80.0064 s] Raw data (loadavg): 0.92 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4935 0 0 0 7977 17 0 0 25 0 1 0 1860471904 22880256 4901 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 5586 4901 566 18 0 5568 0 [pid=22145] vsize: 22344 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 22344 [startup+90.007 s] Raw data (loadavg): 0.94 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4935 0 0 0 8977 17 0 0 25 0 1 0 1860471904 22880256 4901 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 5586 4901 566 18 0 5568 0 [pid=22145] vsize: 22344 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 22344 [startup+100.007 s] Raw data (loadavg): 0.95 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 4935 0 0 0 9977 17 0 0 25 0 1 0 1860471904 22880256 4901 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 5586 4901 566 18 0 5568 0 [pid=22145] vsize: 22344 Current children cumulated CPU time (s) 99.94 Current children cumulated vsize (Kb) 22344 [startup+110.006 s] Raw data (loadavg): 0.95 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5164 0 0 0 10976 17 0 0 25 0 1 0 1860471904 23793664 5130 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 5809 5130 566 18 0 5791 0 [pid=22145] vsize: 23236 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 23236 [startup+120.007 s] Raw data (loadavg): 0.96 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5421 0 0 0 11976 17 0 0 25 0 1 0 1860471904 24842240 5387 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 6065 5387 566 18 0 6047 0 [pid=22145] vsize: 24260 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 24260 [startup+130.007 s] Raw data (loadavg): 0.97 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5639 0 0 0 12975 18 0 0 25 0 1 0 1860471904 25784320 5605 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 6295 5605 566 18 0 6277 0 [pid=22145] vsize: 25180 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 25180 [startup+140.008 s] Raw data (loadavg): 0.97 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5639 0 0 0 13975 18 0 0 25 0 1 0 1860471904 25784320 5605 4294967295 134512640 134578447 3221224624 3221223564 134527396 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 6295 5605 566 18 0 6277 0 [pid=22145] vsize: 25180 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 25180 [startup+150.008 s] Raw data (loadavg): 0.97 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5639 0 0 0 14975 18 0 0 25 0 1 0 1860471904 25784320 5605 4294967295 134512640 134578447 3221224624 3221223456 134558372 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 6295 5605 566 18 0 6277 0 [pid=22145] vsize: 25180 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 25180 [startup+160.008 s] Raw data (loadavg): 0.98 0.95 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5639 0 0 0 15975 18 0 0 25 0 1 0 1860471904 25784320 5605 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 6295 5605 566 18 0 6277 0 [pid=22145] vsize: 25180 Current children cumulated CPU time (s) 159.93 Current children cumulated vsize (Kb) 25180 [startup+170.008 s] Raw data (loadavg): 0.98 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 5804 0 0 0 16975 19 0 0 25 0 1 0 1860471904 26443776 5770 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 6456 5770 566 18 0 6438 0 [pid=22145] vsize: 25824 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 25824 [startup+180.007 s] Raw data (loadavg): 0.98 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6176 0 0 0 17973 21 0 0 25 0 1 0 1860471904 27942912 6142 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 6822 6142 566 18 0 6804 0 [pid=22145] vsize: 27288 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 27288 [startup+190.008 s] Raw data (loadavg): 0.99 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 18972 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0 [pid=22145] vsize: 28460 Current children cumulated CPU time (s) 189.94 Current children cumulated vsize (Kb) 28460 [startup+200.008 s] Raw data (loadavg): 0.99 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 19972 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0 [pid=22145] vsize: 28460 Current children cumulated CPU time (s) 199.94 Current children cumulated vsize (Kb) 28460 [startup+210.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 20972 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0 [pid=22145] vsize: 28460 Current children cumulated CPU time (s) 209.94 Current children cumulated vsize (Kb) 28460 [startup+220.008 s] Raw data (loadavg): 0.99 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 21973 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0 [pid=22145] vsize: 28460 Current children cumulated CPU time (s) 219.95 Current children cumulated vsize (Kb) 28460 [startup+230.008 s] Raw data (loadavg): 0.99 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 22973 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223472 134527274 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0 [pid=22145] vsize: 28460 Current children cumulated CPU time (s) 229.95 Current children cumulated vsize (Kb) 28460 [startup+240.008 s] Raw data (loadavg): 0.99 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6464 0 0 0 23973 22 0 0 25 0 1 0 1860471904 29143040 6430 4294967295 134512640 134578447 3221224624 3221223504 134527764 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7115 6430 566 18 0 7097 0 [pid=22145] vsize: 28460 Current children cumulated CPU time (s) 239.95 Current children cumulated vsize (Kb) 28460 [startup+250.009 s] Raw data (loadavg): 0.99 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6491 0 0 0 24973 22 0 0 25 0 1 0 1860471904 29143040 6457 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7115 6457 566 18 0 7097 0 [pid=22145] vsize: 28460 Current children cumulated CPU time (s) 249.95 Current children cumulated vsize (Kb) 28460 [startup+260.009 s] Raw data (loadavg): 0.99 0.96 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6713 0 0 0 25973 23 0 0 25 0 1 0 1860471904 30052352 6679 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7337 6679 566 18 0 7319 0 [pid=22145] vsize: 29348 Current children cumulated CPU time (s) 259.96 Current children cumulated vsize (Kb) 29348 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 6927 0 0 0 26972 24 0 0 25 0 1 0 1860471904 30982144 6893 4294967295 134512640 134578447 3221224624 3221223456 134527084 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7564 6893 566 18 0 7546 0 [pid=22145] vsize: 30256 Current children cumulated CPU time (s) 269.96 Current children cumulated vsize (Kb) 30256 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 7179 0 0 0 27971 24 0 0 25 0 1 0 1860471904 32055296 7145 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 7826 7145 566 18 0 7808 0 [pid=22145] vsize: 31304 Current children cumulated CPU time (s) 279.95 Current children cumulated vsize (Kb) 31304 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 7505 0 0 0 28970 25 0 0 25 0 1 0 1860471904 33398784 7471 4294967295 134512640 134578447 3221224624 3221223484 134527144 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 8154 7471 566 18 0 8136 0 [pid=22145] vsize: 32616 Current children cumulated CPU time (s) 289.95 Current children cumulated vsize (Kb) 32616 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 7687 0 0 0 29970 26 0 0 25 0 1 0 1860471904 34058240 7653 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 8315 7653 566 18 0 8297 0 [pid=22145] vsize: 33260 Current children cumulated CPU time (s) 299.96 Current children cumulated vsize (Kb) 33260 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 7875 0 0 0 30969 27 0 0 25 0 1 0 1860471904 34852864 7841 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 8509 7841 566 18 0 8491 0 [pid=22145] vsize: 34036 Current children cumulated CPU time (s) 309.96 Current children cumulated vsize (Kb) 34036 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8070 0 0 0 31968 27 0 0 25 0 1 0 1860471904 35643392 8036 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 8702 8036 566 18 0 8684 0 [pid=22145] vsize: 34808 Current children cumulated CPU time (s) 319.95 Current children cumulated vsize (Kb) 34808 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8310 0 0 0 32968 27 0 0 25 0 1 0 1860471904 36687872 8276 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 8957 8276 566 18 0 8939 0 [pid=22145] vsize: 35828 Current children cumulated CPU time (s) 329.95 Current children cumulated vsize (Kb) 35828 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8520 0 0 0 33967 28 0 0 25 0 1 0 1860471904 37523456 8486 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9161 8486 566 18 0 9143 0 [pid=22145] vsize: 36644 Current children cumulated CPU time (s) 339.95 Current children cumulated vsize (Kb) 36644 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 34967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 349.96 Current children cumulated vsize (Kb) 37288 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 35967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 359.96 Current children cumulated vsize (Kb) 37288 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 36967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 369.96 Current children cumulated vsize (Kb) 37288 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 37967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223456 134528457 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 379.96 Current children cumulated vsize (Kb) 37288 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 38967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 389.96 Current children cumulated vsize (Kb) 37288 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 39967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 399.96 Current children cumulated vsize (Kb) 37288 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 40967 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 409.96 Current children cumulated vsize (Kb) 37288 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 41968 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 419.97 Current children cumulated vsize (Kb) 37288 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 42968 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 429.97 Current children cumulated vsize (Kb) 37288 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 43968 29 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134528048 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 439.97 Current children cumulated vsize (Kb) 37288 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 44968 30 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 449.98 Current children cumulated vsize (Kb) 37288 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 45968 30 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 459.98 Current children cumulated vsize (Kb) 37288 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8670 0 0 0 46968 30 0 0 25 0 1 0 1860471904 38182912 8636 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9322 8636 566 18 0 9304 0 [pid=22145] vsize: 37288 Current children cumulated CPU time (s) 469.98 Current children cumulated vsize (Kb) 37288 [startup+480.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8735 0 0 0 47968 30 0 0 25 0 1 0 1860471904 38440960 8701 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9385 8701 566 18 0 9367 0 [pid=22145] vsize: 37540 Current children cumulated CPU time (s) 479.98 Current children cumulated vsize (Kb) 37540 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 8907 0 0 0 48967 31 0 0 25 0 1 0 1860471904 39084032 8873 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9542 8873 566 18 0 9524 0 [pid=22145] vsize: 38168 Current children cumulated CPU time (s) 489.98 Current children cumulated vsize (Kb) 38168 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 9138 0 0 0 49966 32 0 0 25 0 1 0 1860471904 40120320 9104 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 9795 9104 566 18 0 9777 0 [pid=22145] vsize: 39180 Current children cumulated CPU time (s) 499.98 Current children cumulated vsize (Kb) 39180 [startup+510.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 9373 0 0 0 50965 33 0 0 25 0 1 0 1860471904 41021440 9339 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10015 9339 566 18 0 9997 0 [pid=22145] vsize: 40060 Current children cumulated CPU time (s) 509.98 Current children cumulated vsize (Kb) 40060 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 9611 0 0 0 51964 34 0 0 25 0 1 0 1860471904 42053632 9577 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10267 9577 566 18 0 10249 0 [pid=22145] vsize: 41068 Current children cumulated CPU time (s) 519.98 Current children cumulated vsize (Kb) 41068 [startup+530.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 9843 0 0 0 52963 35 0 0 25 0 1 0 1860471904 42983424 9809 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10494 9809 566 18 0 10476 0 [pid=22145] vsize: 41976 Current children cumulated CPU time (s) 529.98 Current children cumulated vsize (Kb) 41976 [startup+540.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10086 0 0 0 53962 35 0 0 25 0 1 0 1860471904 43900928 10052 4294967295 134512640 134578447 3221224624 3221223408 134532077 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10718 10052 566 18 0 10700 0 [pid=22145] vsize: 42872 Current children cumulated CPU time (s) 539.97 Current children cumulated vsize (Kb) 42872 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 54962 36 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 549.98 Current children cumulated vsize (Kb) 43128 [startup+560.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 55963 36 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 559.99 Current children cumulated vsize (Kb) 43128 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22145 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 56965 36 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 570.01 Current children cumulated vsize (Kb) 43128 [startup+580.036 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22200 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 57963 37 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 580 Current children cumulated vsize (Kb) 43128 [startup+590.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22200 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 58963 37 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 590 Current children cumulated vsize (Kb) 43128 [startup+600.038 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22200 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 59963 37 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 600 Current children cumulated vsize (Kb) 43128 [startup+610.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22200 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 60963 38 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 610.01 Current children cumulated vsize (Kb) 43128 [startup+620.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22200 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 61962 38 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 620 Current children cumulated vsize (Kb) 43128 [startup+630.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22200 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 62962 39 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 630.01 Current children cumulated vsize (Kb) 43128 [startup+640.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22200 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 63962 39 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 640.01 Current children cumulated vsize (Kb) 43128 [startup+650.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 64961 40 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134528057 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 650.01 Current children cumulated vsize (Kb) 43128 [startup+660.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 65961 40 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 660.01 Current children cumulated vsize (Kb) 43128 [startup+670.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 66961 40 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 670.01 Current children cumulated vsize (Kb) 43128 [startup+680.037 s] Raw data (loadavg): 0.99 0.97 0.95 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 67960 41 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 680.01 Current children cumulated vsize (Kb) 43128 [startup+690.038 s] Raw data (loadavg): 1.07 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 68960 41 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 690.01 Current children cumulated vsize (Kb) 43128 [startup+700.037 s] Raw data (loadavg): 1.06 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 69960 42 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 700.02 Current children cumulated vsize (Kb) 43128 [startup+710.037 s] Raw data (loadavg): 1.05 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 70960 42 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 710.02 Current children cumulated vsize (Kb) 43128 [startup+720.037 s] Raw data (loadavg): 1.04 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10147 0 0 0 71960 42 0 0 25 0 1 0 1860471904 44163072 10113 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10113 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 720.02 Current children cumulated vsize (Kb) 43128 [startup+730.037 s] Raw data (loadavg): 1.04 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 72960 43 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 730.03 Current children cumulated vsize (Kb) 43128 [startup+740.037 s] Raw data (loadavg): 1.03 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 73960 43 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 740.03 Current children cumulated vsize (Kb) 43128 [startup+750.038 s] Raw data (loadavg): 1.03 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 74960 43 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 750.03 Current children cumulated vsize (Kb) 43128 [startup+760.038 s] Raw data (loadavg): 1.02 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 75959 44 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223536 134556875 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 760.03 Current children cumulated vsize (Kb) 43128 [startup+770.037 s] Raw data (loadavg): 1.02 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 76959 44 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 770.03 Current children cumulated vsize (Kb) 43128 [startup+780.038 s] Raw data (loadavg): 1.01 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 77959 44 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 780.03 Current children cumulated vsize (Kb) 43128 [startup+790.039 s] Raw data (loadavg): 1.01 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 78959 45 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 790.04 Current children cumulated vsize (Kb) 43128 [startup+800.038 s] Raw data (loadavg): 1.01 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 79959 45 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134528498 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 800.04 Current children cumulated vsize (Kb) 43128 [startup+810.039 s] Raw data (loadavg): 1.01 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 80959 45 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134526956 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 810.04 Current children cumulated vsize (Kb) 43128 [startup+820.04 s] Raw data (loadavg): 1.01 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 81958 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 820.04 Current children cumulated vsize (Kb) 43128 [startup+830.039 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 82958 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 830.04 Current children cumulated vsize (Kb) 43128 [startup+840.04 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 83959 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134527278 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 840.05 Current children cumulated vsize (Kb) 43128 [startup+850.041 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 84959 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 850.05 Current children cumulated vsize (Kb) 43128 [startup+860.041 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 85959 46 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 860.05 Current children cumulated vsize (Kb) 43128 [startup+870.041 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 86958 47 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 870.05 Current children cumulated vsize (Kb) 43128 [startup+880.042 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 87958 47 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 880.05 Current children cumulated vsize (Kb) 43128 [startup+890.043 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 88958 48 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 890.06 Current children cumulated vsize (Kb) 43128 [startup+900.042 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22204 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 89958 48 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 900.06 Current children cumulated vsize (Kb) 43128 [startup+910.042 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 90958 48 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 910.06 Current children cumulated vsize (Kb) 43128 [startup+920.043 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 91957 49 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134528426 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 920.06 Current children cumulated vsize (Kb) 43128 [startup+930.042 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 92957 49 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 930.06 Current children cumulated vsize (Kb) 43128 [startup+940.043 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 93957 50 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 940.07 Current children cumulated vsize (Kb) 43128 [startup+950.044 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 94956 50 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 950.06 Current children cumulated vsize (Kb) 43128 [startup+960.043 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 95956 51 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 960.07 Current children cumulated vsize (Kb) 43128 [startup+970.044 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 96956 51 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 970.07 Current children cumulated vsize (Kb) 43128 [startup+980.044 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 97956 52 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 980.08 Current children cumulated vsize (Kb) 43128 [startup+990.045 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 98956 52 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 990.08 Current children cumulated vsize (Kb) 43128 [startup+1000.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 99956 52 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1000.08 Current children cumulated vsize (Kb) 43128 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 100956 52 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134528115 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1010.08 Current children cumulated vsize (Kb) 43128 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 101956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1020.09 Current children cumulated vsize (Kb) 43128 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 102956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223456 134528420 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1030.09 Current children cumulated vsize (Kb) 43128 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 103956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1040.09 Current children cumulated vsize (Kb) 43128 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 104956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1050.09 Current children cumulated vsize (Kb) 43128 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 105956 53 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1060.09 Current children cumulated vsize (Kb) 43128 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 106956 54 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1070.1 Current children cumulated vsize (Kb) 43128 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 107956 54 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223568 134558739 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1080.1 Current children cumulated vsize (Kb) 43128 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 108955 54 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1090.09 Current children cumulated vsize (Kb) 43128 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 109955 55 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1100.1 Current children cumulated vsize (Kb) 43128 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 110955 55 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1110.1 Current children cumulated vsize (Kb) 43128 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 111955 55 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1120.1 Current children cumulated vsize (Kb) 43128 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 112955 56 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1130.11 Current children cumulated vsize (Kb) 43128 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 113954 56 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1140.1 Current children cumulated vsize (Kb) 43128 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10148 0 0 0 114954 56 0 0 25 0 1 0 1860471904 44163072 10114 4294967295 134512640 134578447 3221224624 3221223584 134558605 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10782 10114 566 18 0 10764 0 [pid=22145] vsize: 43128 Current children cumulated CPU time (s) 1150.1 Current children cumulated vsize (Kb) 43128 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10277 0 0 0 115953 58 0 0 25 0 1 0 1860471904 44679168 10243 4294967295 134512640 134578447 3221224624 3221223504 134527875 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 10908 10243 566 18 0 10890 0 [pid=22145] vsize: 43632 Current children cumulated CPU time (s) 1160.11 Current children cumulated vsize (Kb) 43632 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10463 0 0 0 116952 58 0 0 25 0 1 0 1860471904 45465600 10429 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 11100 10429 566 18 0 11082 0 [pid=22145] vsize: 44400 Current children cumulated CPU time (s) 1170.1 Current children cumulated vsize (Kb) 44400 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10642 0 0 0 117951 60 0 0 25 0 1 0 1860471904 46247936 10608 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 11291 10608 566 18 0 11273 0 [pid=22145] vsize: 45164 Current children cumulated CPU time (s) 1180.11 Current children cumulated vsize (Kb) 45164 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10820 0 0 0 118950 61 0 0 25 0 1 0 1860471904 46903296 10786 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 11451 10786 566 18 0 11433 0 [pid=22145] vsize: 45804 Current children cumulated CPU time (s) 1190.11 Current children cumulated vsize (Kb) 45804 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10998 0 0 0 119949 61 0 0 25 0 1 0 1860471904 47693824 10964 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 11644 10964 566 18 0 11626 0 [pid=22145] vsize: 46576 Current children cumulated CPU time (s) 1200.1 Current children cumulated vsize (Kb) 46576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/56 22206 Raw data (/proc/22145/stat): 22145 (Pueblo) R 22144 22145 20728 0 -1 0 10998 0 0 0 119950 61 0 0 25 0 1 0 1860471904 47693824 10964 4294967295 134512640 134578447 3221224624 3221223412 1075289770 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22145/statm): 11644 10964 566 18 0 11626 0 [pid=22145] vsize: 46576 Current children cumulated CPU time (s) 1200.11 Current children cumulated vsize (Kb) 46576 Sending SIGTERM to -22145 Sleeping 2 seconds One traced child (pid=22145) 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.14 CPU user time (s): 1199.5 CPU system time (s): 0.638902 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (Kb): 46576
ERROR: no interpretation found !