Name | web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb |
MD5SUM | 2fc65c15b9b26fc3028e8a890f1d86ad |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 131 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 513 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 201731 |
Total number of constraints | 592525 |
Number of constraints which are clauses | 579429 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13096 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc20 THE 2005-09-20 14:33:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4994 boxname=wulflinc20 idbench=306 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 2fc65c15b9b26fc3028e8a890f1d86ad /oldhome/oroussel/tmp/wulflinc20/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 4994 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 847364 kB Buffers: 32248 kB Cached: 125424 kB SwapCached: 904 kB Active: 91540 kB Inactive: 68932 kB HighTotal: 131008 kB HighFree: 3780 kB LowTotal: 903652 kB LowFree: 843584 kB SwapTotal: 2097892 kB SwapFree: 2096536 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5736 kB Slab: 21152 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 14:54:35 (client local time) WITH STATUS 0 IN 1209.07 SECONDS stats: 4994 7 1209.07 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/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859291324 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 41 3 40 18 0 23 0 [pid=1995] 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.0036 s] Raw data (loadavg): 0.88 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 10943 0 0 0 951 36 0 0 25 0 1 0 1859291324 46419968 10909 4294967295 134512640 134578447 3221224624 3221092224 134534124 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 11333 10909 566 18 0 11315 0 [pid=1995] vsize: 45332 Current children cumulated CPU time (s) 9.87 Current children cumulated vsize (Kb) 45332 [startup+20.0053 s] Raw data (loadavg): 0.90 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 20798 0 0 0 1907 70 0 0 25 0 1 0 1859291324 86794240 20764 4294967295 134512640 134578447 3221224624 3221090376 1075275622 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 21190 20764 566 18 0 21172 0 [pid=1995] vsize: 84760 Current children cumulated CPU time (s) 19.77 Current children cumulated vsize (Kb) 84760 [startup+30.006 s] Raw data (loadavg): 0.91 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 176751 0 0 0 2556 402 0 0 25 0 1 0 1859291324 124928000 28686 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28693 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 29.58 Current children cumulated vsize (Kb) 122000 [startup+40.0067 s] Raw data (loadavg): 0.93 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 454967 0 0 0 2957 972 0 0 25 0 1 0 1859291324 124928000 28712 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28719 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 39.29 Current children cumulated vsize (Kb) 122000 [startup+50.0075 s] Raw data (loadavg): 0.94 0.97 0.91 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 732015 0 0 0 3357 1542 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 48.99 Current children cumulated vsize (Kb) 122000 [startup+60.0082 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 1009492 0 0 0 3770 2104 0 0 25 0 1 0 1859291324 124928000 28640 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28647 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 58.74 Current children cumulated vsize (Kb) 122000 [startup+70.0089 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 1287360 0 0 0 4164 2685 0 0 25 0 1 0 1859291324 124928000 28713 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28720 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 68.49 Current children cumulated vsize (Kb) 122000 [startup+80.0096 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 1565358 0 0 0 4565 3259 0 0 25 0 1 0 1859291324 124928000 28719 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28725 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 78.24 Current children cumulated vsize (Kb) 122000 [startup+90.0094 s] Raw data (loadavg): 0.97 0.97 0.91 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 1844775 0 0 0 4968 3831 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0 [pid=1995] vsize: 121208 Current children cumulated CPU time (s) 87.99 Current children cumulated vsize (Kb) 121208 [startup+100.01 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 2122022 0 0 0 5367 4406 0 0 25 0 1 0 1859291324 124928000 28607 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28615 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 97.73 Current children cumulated vsize (Kb) 122000 [startup+110.011 s] Raw data (loadavg): 0.97 0.97 0.91 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 2400759 0 0 0 5772 4974 0 0 25 0 1 0 1859291324 124928000 28560 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30500 28560 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 107.46 Current children cumulated vsize (Kb) 122000 [startup+120.012 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 2681679 0 0 0 6178 5546 0 0 25 0 1 0 1859291324 124928000 28716 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30500 28716 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 117.24 Current children cumulated vsize (Kb) 122000 [startup+130.012 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 2960364 0 0 0 6583 6118 0 0 25 0 1 0 1859291324 124928000 28617 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28624 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 127.01 Current children cumulated vsize (Kb) 122000 [startup+140.012 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 3237705 0 0 0 6979 6696 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 136.75 Current children cumulated vsize (Kb) 122000 [startup+150.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 3517955 0 0 0 7378 7274 0 0 25 0 1 0 1859291324 124928000 28640 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30500 28640 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 146.52 Current children cumulated vsize (Kb) 122000 [startup+160.013 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 3798243 0 0 0 7782 7845 0 0 24 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 156.27 Current children cumulated vsize (Kb) 122000 [startup+170.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 4075978 0 0 0 8182 8420 0 0 25 0 1 0 1859291324 124928000 28699 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28706 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 166.02 Current children cumulated vsize (Kb) 122000 [startup+180.015 s] Raw data (loadavg): 1.07 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 4354572 0 0 0 8583 8993 0 0 25 0 1 0 1859291324 124928000 28707 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30500 28707 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 175.76 Current children cumulated vsize (Kb) 122000 [startup+190.015 s] Raw data (loadavg): 1.06 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 4631625 0 0 0 8979 9570 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 185.49 Current children cumulated vsize (Kb) 122000 [startup+200.015 s] Raw data (loadavg): 1.05 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 4909012 0 0 0 9379 10145 0 0 25 0 1 0 1859291324 124928000 28747 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28754 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 195.24 Current children cumulated vsize (Kb) 122000 [startup+210.016 s] Raw data (loadavg): 1.04 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 5186223 0 0 0 9775 10723 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 204.98 Current children cumulated vsize (Kb) 122000 [startup+220.017 s] Raw data (loadavg): 1.03 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 5463457 0 0 0 10184 11288 0 0 25 0 1 0 1859291324 124928000 28594 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28602 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 214.72 Current children cumulated vsize (Kb) 122000 [startup+230.016 s] Raw data (loadavg): 1.03 0.99 0.91 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 5740623 0 0 0 10586 11861 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0 [pid=1995] vsize: 121208 Current children cumulated CPU time (s) 224.47 Current children cumulated vsize (Kb) 121208 [startup+240.016 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 6018219 0 0 0 10980 12444 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 234.24 Current children cumulated vsize (Kb) 122000 [startup+250.017 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 6295815 0 0 0 11376 13023 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 243.99 Current children cumulated vsize (Kb) 122000 [startup+260.018 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 6573313 0 0 0 11770 13603 0 0 25 0 1 0 1859291324 124928000 28660 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28667 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 253.73 Current children cumulated vsize (Kb) 122000 [startup+270.018 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 6850738 0 0 0 12169 14178 0 0 25 0 1 0 1859291324 124928000 28687 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28694 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 263.47 Current children cumulated vsize (Kb) 122000 [startup+280.019 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 7128009 0 0 0 12567 14755 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 273.22 Current children cumulated vsize (Kb) 122000 [startup+290.019 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 7405177 0 0 0 12971 15324 0 0 25 0 1 0 1859291324 124928000 28726 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28732 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 282.95 Current children cumulated vsize (Kb) 122000 [startup+300.019 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 7681905 0 0 0 13378 15894 0 0 25 0 1 0 1859291324 124928000 28650 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28658 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 292.72 Current children cumulated vsize (Kb) 122000 [startup+310.02 s] Raw data (loadavg): 1.01 0.99 0.91 3/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 7958808 0 0 0 13773 16471 0 0 25 0 1 0 1859291324 124928000 28749 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28755 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 302.44 Current children cumulated vsize (Kb) 122000 [startup+320.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 8236531 0 0 0 14177 17041 0 0 25 0 1 0 1859291324 124928000 28679 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28686 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 312.18 Current children cumulated vsize (Kb) 122000 [startup+330.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 8514351 0 0 0 14578 17617 0 0 25 0 1 0 1859291324 124928000 28704 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28711 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 321.95 Current children cumulated vsize (Kb) 122000 [startup+340.021 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 8791803 0 0 0 14980 18191 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0 [pid=1995] vsize: 121208 Current children cumulated CPU time (s) 331.71 Current children cumulated vsize (Kb) 121208 [startup+350.022 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 9069201 0 0 0 15378 18766 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0 [pid=1995] vsize: 121208 Current children cumulated CPU time (s) 341.44 Current children cumulated vsize (Kb) 121208 [startup+360.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 9346704 0 0 0 15778 19340 0 0 25 0 1 0 1859291324 124928000 28666 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28673 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 351.18 Current children cumulated vsize (Kb) 122000 [startup+370.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 9623290 0 0 0 16182 19909 0 0 25 0 1 0 1859291324 124928000 28645 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28653 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 360.91 Current children cumulated vsize (Kb) 122000 [startup+380.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 9900682 0 0 0 16586 20481 0 0 25 0 1 0 1859291324 124928000 28640 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28648 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 370.67 Current children cumulated vsize (Kb) 122000 [startup+390.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 10177922 0 0 0 16991 21048 0 0 25 0 1 0 1859291324 124928000 28679 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28686 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 380.39 Current children cumulated vsize (Kb) 122000 [startup+400.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 10457102 0 0 0 17389 21625 0 0 25 0 1 0 1859291324 124928000 28679 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28685 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 390.14 Current children cumulated vsize (Kb) 122000 [startup+410.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 10734945 0 0 0 17792 22199 0 0 25 0 1 0 1859291324 124928000 28728 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28736 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 399.91 Current children cumulated vsize (Kb) 122000 [startup+420.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 11012830 0 0 0 18192 22773 0 0 25 0 1 0 1859291324 124928000 28621 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28630 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 409.65 Current children cumulated vsize (Kb) 122000 [startup+430.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 11290761 0 0 0 18595 23346 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 419.41 Current children cumulated vsize (Kb) 122000 [startup+440.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 11568749 0 0 0 18993 23923 0 0 25 0 1 0 1859291324 124928000 28754 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 429.16 Current children cumulated vsize (Kb) 122000 [startup+450.026 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 11845953 0 0 0 19389 24502 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0 [pid=1995] vsize: 121208 Current children cumulated CPU time (s) 438.91 Current children cumulated vsize (Kb) 121208 [startup+460.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 12123051 0 0 0 19794 25072 0 0 25 0 1 0 1859291324 124928000 28656 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28665 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 448.66 Current children cumulated vsize (Kb) 122000 [startup+470.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 12401885 0 0 0 20204 25635 0 0 25 0 1 0 1859291324 124928000 28706 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28713 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 458.39 Current children cumulated vsize (Kb) 122000 [startup+480.028 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 12679731 0 0 0 20608 26206 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0 [pid=1995] vsize: 121208 Current children cumulated CPU time (s) 468.14 Current children cumulated vsize (Kb) 121208 [startup+490.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 12957709 0 0 0 21011 26779 0 0 25 0 1 0 1859291324 124928000 28744 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30500 28751 566 18 0 30482 0 [pid=1995] vsize: 122000 Current children cumulated CPU time (s) 477.9 Current children cumulated vsize (Kb) 122000 [startup+500.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 13234791 0 0 0 21410 27355 0 0 25 0 1 0 1859291324 125452288 28824 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28824 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 487.65 Current children cumulated vsize (Kb) 122512 [startup+510.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 13511247 0 0 0 21814 27926 0 0 25 0 1 0 1859291324 125452288 28674 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28682 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 497.4 Current children cumulated vsize (Kb) 122512 [startup+520.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 13788076 0 0 0 22209 28506 0 0 25 0 1 0 1859291324 125452288 28699 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28707 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 507.15 Current children cumulated vsize (Kb) 122512 [startup+530.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 14065347 0 0 0 22619 29070 0 0 25 0 1 0 1859291324 125452288 28770 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28776 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 516.89 Current children cumulated vsize (Kb) 122512 [startup+540.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 14344108 0 0 0 23016 29648 0 0 25 0 1 0 1859291324 125452288 28747 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30628 28747 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 526.64 Current children cumulated vsize (Kb) 122512 [startup+550.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 14623272 0 0 0 23416 30223 0 0 25 0 1 0 1859291324 125452288 28731 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28739 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 536.39 Current children cumulated vsize (Kb) 122512 [startup+560.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 14899600 0 0 0 23813 30802 0 0 25 0 1 0 1859291324 125452288 28651 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28660 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 546.15 Current children cumulated vsize (Kb) 122512 [startup+570.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 15176349 0 0 0 24209 31380 0 0 25 0 1 0 1859291324 125452288 28794 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28801 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 555.89 Current children cumulated vsize (Kb) 122512 [startup+580.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 15452993 0 0 0 24608 31957 0 0 25 0 1 0 1859291324 125452288 28832 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28835 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 565.65 Current children cumulated vsize (Kb) 122512 [startup+590.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 15729662 0 0 0 25011 32530 0 0 25 0 1 0 1859291324 125452288 28697 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28706 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 575.41 Current children cumulated vsize (Kb) 122512 [startup+600.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 16006947 0 0 0 25415 33098 0 0 25 0 1 0 1859291324 125452288 28783 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30628 28783 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 585.13 Current children cumulated vsize (Kb) 122512 [startup+610.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 16284698 0 0 0 25807 33678 0 0 25 0 1 0 1859291324 125452288 28739 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30628 28739 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 594.85 Current children cumulated vsize (Kb) 122512 [startup+620.035 s] Raw data (loadavg): 1.08 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 16562910 0 0 0 26211 34250 0 0 20 0 1 0 1859291324 125452288 28761 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28767 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 604.61 Current children cumulated vsize (Kb) 122512 [startup+630.034 s] Raw data (loadavg): 1.07 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 16840103 0 0 0 26611 34824 0 0 25 0 1 0 1859291324 125452288 28755 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28762 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 614.35 Current children cumulated vsize (Kb) 122512 [startup+640.034 s] Raw data (loadavg): 1.06 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 17117188 0 0 0 27005 35404 0 0 25 0 1 0 1859291324 125452288 28837 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28843 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 624.09 Current children cumulated vsize (Kb) 122512 [startup+650.035 s] Raw data (loadavg): 1.05 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 17394279 0 0 0 27405 35979 0 0 25 0 1 0 1859291324 125452288 28728 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28736 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 633.84 Current children cumulated vsize (Kb) 122512 [startup+660.035 s] Raw data (loadavg): 1.04 1.00 0.92 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 17671003 0 0 0 27810 36549 0 0 25 0 1 0 1859291324 125452288 28648 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28648 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 643.59 Current children cumulated vsize (Kb) 122512 [startup+670.035 s] Raw data (loadavg): 1.03 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 17947934 0 0 0 28199 37132 0 0 25 0 1 0 1859291324 125452288 28775 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28782 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 653.31 Current children cumulated vsize (Kb) 122512 [startup+680.036 s] Raw data (loadavg): 1.03 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 18225326 0 0 0 28597 37707 0 0 25 0 1 0 1859291324 125452288 28769 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28777 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 663.04 Current children cumulated vsize (Kb) 122512 [startup+690.036 s] Raw data (loadavg): 1.02 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 18502910 0 0 0 29009 38267 0 0 25 0 1 0 1859291324 125452288 28757 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30628 28757 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 672.76 Current children cumulated vsize (Kb) 122512 [startup+700.036 s] Raw data (loadavg): 1.02 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 18780895 0 0 0 29414 38836 0 0 25 0 1 0 1859291324 125452288 28750 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28757 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 682.5 Current children cumulated vsize (Kb) 122512 [startup+710.036 s] Raw data (loadavg): 1.02 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19058395 0 0 0 29812 39414 0 0 25 0 1 0 1859291324 125452288 28852 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28852 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 692.26 Current children cumulated vsize (Kb) 122512 [startup+720.037 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19337076 0 0 0 30209 39991 0 0 25 0 1 0 1859291324 125452288 28749 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30628 28749 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 702 Current children cumulated vsize (Kb) 122512 [startup+730.038 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19614778 0 0 0 30612 40563 0 0 25 0 1 0 1859291324 125452288 28855 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28855 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 711.75 Current children cumulated vsize (Kb) 122512 [startup+740.037 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19891504 0 0 0 31017 41131 0 0 25 0 1 0 1859291324 125452288 28777 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28785 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 721.48 Current children cumulated vsize (Kb) 122512 [startup+750.038 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 20168551 0 0 0 31418 41702 0 0 25 0 1 0 1859291324 125452288 28822 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28828 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 731.2 Current children cumulated vsize (Kb) 122512 [startup+760.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 20445874 0 0 0 31813 42282 0 0 25 0 1 0 1859291324 125452288 28747 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28754 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 740.95 Current children cumulated vsize (Kb) 122512 [startup+770.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 20723323 0 0 0 32213 42856 0 0 25 0 1 0 1859291324 125452288 28798 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28806 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 750.69 Current children cumulated vsize (Kb) 122512 [startup+780.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 21000321 0 0 0 32617 43426 0 0 25 0 1 0 1859291324 125452288 28794 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28801 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 760.43 Current children cumulated vsize (Kb) 122512 [startup+790.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 21277125 0 0 0 33020 43997 0 0 25 0 1 0 1859291324 125452288 28794 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28801 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 770.17 Current children cumulated vsize (Kb) 122512 [startup+800.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 21553938 0 0 0 33420 44571 0 0 17 0 1 0 1859291324 125452288 28803 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28810 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 779.91 Current children cumulated vsize (Kb) 122512 [startup+810.04 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 21831399 0 0 0 33822 45143 0 0 25 0 1 0 1859291324 125452288 28866 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28866 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 789.65 Current children cumulated vsize (Kb) 122512 [startup+820.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 22108683 0 0 0 34220 45721 0 0 25 0 1 0 1859291324 125452288 28752 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28760 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 799.41 Current children cumulated vsize (Kb) 122512 [startup+830.042 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 22386000 0 0 0 34618 46297 0 0 25 0 1 0 1859291324 125452288 28869 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28869 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 809.15 Current children cumulated vsize (Kb) 122512 [startup+840.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 22663399 0 0 0 35027 46866 0 0 25 0 1 0 1859291324 125452288 28870 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28870 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 818.93 Current children cumulated vsize (Kb) 122512 [startup+850.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 22941024 0 0 0 35426 47442 0 0 25 0 1 0 1859291324 125452288 28701 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30628 28701 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 828.68 Current children cumulated vsize (Kb) 122512 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 23219555 0 0 0 35827 48015 0 0 25 0 1 0 1859291324 125452288 28844 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28851 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 838.42 Current children cumulated vsize (Kb) 122512 [startup+870.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 23497587 0 0 0 36229 48588 0 0 25 0 1 0 1859291324 125452288 28686 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30628 28686 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 848.17 Current children cumulated vsize (Kb) 122512 [startup+880.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 23777528 0 0 0 36628 49165 0 0 25 0 1 0 1859291324 125452288 28853 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30628 28853 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 857.93 Current children cumulated vsize (Kb) 122512 [startup+890.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 24056287 0 0 0 37029 49739 0 0 25 0 1 0 1859291324 125452288 28828 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28835 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 867.68 Current children cumulated vsize (Kb) 122512 [startup+900.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 24334388 0 0 0 37434 50310 0 0 25 0 1 0 1859291324 125452288 28739 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30628 28739 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 877.44 Current children cumulated vsize (Kb) 122512 [startup+910.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 24614606 0 0 0 37841 50878 0 0 25 0 1 0 1859291324 125452288 28787 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28794 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 887.19 Current children cumulated vsize (Kb) 122512 [startup+920.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 24894639 0 0 0 38240 51453 0 0 25 0 1 0 1859291324 125452288 28848 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28854 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 896.93 Current children cumulated vsize (Kb) 122512 [startup+930.046 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 25172468 0 0 0 38645 52023 0 0 25 0 1 0 1859291324 124641280 28685 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30430 28685 566 18 0 30412 0 [pid=1995] vsize: 121720 Current children cumulated CPU time (s) 906.68 Current children cumulated vsize (Kb) 121720 [startup+940.046 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 25450857 0 0 0 39043 52601 0 0 25 0 1 0 1859291324 125452288 28884 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28884 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 916.44 Current children cumulated vsize (Kb) 122512 [startup+950.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 25728454 0 0 0 39441 53180 0 0 25 0 1 0 1859291324 125452288 28885 4294967295 134512640 134578447 3221224624 3221223620 1075285163 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30628 28885 566 18 0 30610 0 [pid=1995] vsize: 122512 Current children cumulated CPU time (s) 926.21 Current children cumulated vsize (Kb) 122512 [startup+960.047 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 26006052 0 0 0 39842 53754 0 0 25 0 1 0 1859291324 125165568 28689 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30558 28689 566 18 0 30540 0 [pid=1995] vsize: 122232 Current children cumulated CPU time (s) 935.96 Current children cumulated vsize (Kb) 122232 [startup+970.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 26283599 0 0 0 40240 54331 0 0 25 0 1 0 1859291324 125976576 28838 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28845 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 945.71 Current children cumulated vsize (Kb) 123024 [startup+980.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 26561021 0 0 0 40638 54909 0 0 25 0 1 0 1859291324 125976576 28862 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28868 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 955.47 Current children cumulated vsize (Kb) 123024 [startup+990.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 26838322 0 0 0 41039 55485 0 0 25 0 1 0 1859291324 125976576 28765 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28773 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 965.24 Current children cumulated vsize (Kb) 123024 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 27115752 0 0 0 41435 56064 0 0 25 0 1 0 1859291324 125976576 28797 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28805 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 974.99 Current children cumulated vsize (Kb) 123024 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 27393542 0 0 0 41834 56640 0 0 25 0 1 0 1859291324 125976576 28793 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28800 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 984.74 Current children cumulated vsize (Kb) 123024 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 27671433 0 0 0 42237 57210 0 0 25 0 1 0 1859291324 125976576 28890 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28895 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 994.47 Current children cumulated vsize (Kb) 123024 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 27949003 0 0 0 42637 57786 0 0 25 0 1 0 1859291324 125976576 28864 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28871 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1004.23 Current children cumulated vsize (Kb) 123024 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 28226435 0 0 0 43041 58359 0 0 25 0 1 0 1859291324 125165568 28700 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30558 28700 566 18 0 30540 0 [pid=1995] vsize: 122232 Current children cumulated CPU time (s) 1014 Current children cumulated vsize (Kb) 122232 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 28503834 0 0 0 43444 58930 0 0 25 0 1 0 1859291324 125976576 28701 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28701 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1023.74 Current children cumulated vsize (Kb) 123024 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 28781389 0 0 0 43845 59505 0 0 25 0 1 0 1859291324 125976576 28858 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28865 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1033.5 Current children cumulated vsize (Kb) 123024 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 29058973 0 0 0 44242 60082 0 0 25 0 1 0 1859291324 125976576 28846 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28854 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1043.24 Current children cumulated vsize (Kb) 123024 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 29336716 0 0 0 44648 60654 0 0 25 0 1 0 1859291324 125976576 28795 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30756 28795 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1053.02 Current children cumulated vsize (Kb) 123024 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 29614097 0 0 0 45047 61228 0 0 25 0 1 0 1859291324 125976576 28778 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28786 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1062.75 Current children cumulated vsize (Kb) 123024 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 29890958 0 0 0 45449 61801 0 0 25 0 1 0 1859291324 125976576 28836 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28843 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1072.5 Current children cumulated vsize (Kb) 123024 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 30168126 0 0 0 45849 62378 0 0 22 0 1 0 1859291324 125976576 28803 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28811 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1082.27 Current children cumulated vsize (Kb) 123024 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 30445602 0 0 0 46252 62948 0 0 25 0 1 0 1859291324 125976576 28881 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28887 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1092 Current children cumulated vsize (Kb) 123024 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 30723297 0 0 0 46644 63530 0 0 25 0 1 0 1859291324 125976576 28782 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28790 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1101.74 Current children cumulated vsize (Kb) 123024 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 31000957 0 0 0 47048 64101 0 0 25 0 1 0 1859291324 125976576 28846 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28853 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1111.49 Current children cumulated vsize (Kb) 123024 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 31277630 0 0 0 47448 64677 0 0 25 0 1 0 1859291324 125976576 28913 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28913 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1121.25 Current children cumulated vsize (Kb) 123024 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 31554527 0 0 0 47845 65256 0 0 25 0 1 0 1859291324 125976576 28808 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28816 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1131.01 Current children cumulated vsize (Kb) 123024 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 31830589 0 0 0 48241 65834 0 0 25 0 1 0 1859291324 125976576 28858 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28865 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1140.75 Current children cumulated vsize (Kb) 123024 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 32106673 0 0 0 48644 66408 0 0 25 0 1 0 1859291324 125976576 28732 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1995/statm): 30756 28732 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1150.52 Current children cumulated vsize (Kb) 123024 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 32385425 0 0 0 49048 66980 0 0 25 0 1 0 1859291324 125976576 28898 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28905 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1160.28 Current children cumulated vsize (Kb) 123024 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.92 1/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 32661854 0 0 0 49453 67549 0 0 25 0 1 0 1859291324 125165568 28721 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30558 28721 566 18 0 30540 0 [pid=1995] vsize: 122232 Current children cumulated CPU time (s) 1170.02 Current children cumulated vsize (Kb) 122232 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 32938990 0 0 0 49844 68131 0 0 25 0 1 0 1859291324 125976576 28855 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28863 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1179.75 Current children cumulated vsize (Kb) 123024 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 33216154 0 0 0 50252 68698 0 0 25 0 1 0 1859291324 125976576 28819 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28826 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1189.5 Current children cumulated vsize (Kb) 123024 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 33493590 0 0 0 50657 69268 0 0 25 0 1 0 1859291324 125976576 28857 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28864 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1199.25 Current children cumulated vsize (Kb) 123024 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 33770745 0 0 0 51052 69848 0 0 25 0 1 0 1859291324 125976576 28812 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28820 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1209 Current children cumulated vsize (Kb) 123024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/56 1995 Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 33770770 0 0 0 51052 69848 0 0 25 0 1 0 1859291324 125976576 28837 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1995/statm): 30756 28844 566 18 0 30738 0 [pid=1995] vsize: 123024 Current children cumulated CPU time (s) 1209 Current children cumulated vsize (Kb) 123024 Sending SIGTERM to -1995 Sleeping 2 seconds One traced child (pid=1995) 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): 1240.11 CPU time (s): 1209.07 CPU user time (s): 510.529 CPU system time (s): 698.536 CPU usage (%): 97.4964 Max. virtual memory (cumulated for all children) (Kb): 123024
ERROR: no interpretation found !