Name | web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb |
MD5SUM | dcb6d1c3f66e900ae345e6fa455bef2a |
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 | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
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 | 168111 |
Total number of constraints | 487525 |
Number of constraints which are clauses | 468727 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 18798 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc9 THE 2005-09-20 14:35:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5012 boxname=wulflinc9 idbench=324 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: dcb6d1c3f66e900ae345e6fa455bef2a /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb REAL COMMAND: Pueblo IDLAUNCH: 5012 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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: 813896 kB Buffers: 37844 kB Cached: 153008 kB SwapCached: 1044 kB Active: 84140 kB Inactive: 109444 kB HighTotal: 131008 kB HighFree: 3808 kB LowTotal: 903652 kB LowFree: 810088 kB SwapTotal: 2097136 kB SwapFree: 2095568 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5680 kB Slab: 21564 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 14:56:37 (client local time) WITH STATUS 0 IN 1204.76 SECONDS stats: 5012 7 1204.76 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/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801076096 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 41 3 40 18 0 23 0 [pid=8536] 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.0031 s] Raw data (loadavg): 0.74 0.90 0.89 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 11052 0 0 0 949 36 0 0 25 0 1 0 1801076096 46829568 11018 4294967295 134512640 134578447 3221224624 3221092132 1074960160 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 11433 11018 566 18 0 11415 0 [pid=8536] vsize: 45732 Current children cumulated CPU time (s) 9.85 Current children cumulated vsize (Kb) 45732 [startup+20.0039 s] Raw data (loadavg): 0.78 0.90 0.89 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19905 0 0 0 1915 62 0 0 25 0 1 0 1801076096 83111936 19871 4294967295 134512640 134578447 3221224624 3221092092 1075310620 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 20291 19871 566 18 0 20273 0 [pid=8536] vsize: 81164 Current children cumulated CPU time (s) 19.77 Current children cumulated vsize (Kb) 81164 [startup+30.0047 s] Raw data (loadavg): 0.81 0.90 0.89 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 288589 0 0 0 2368 581 0 0 25 0 1 0 1801076096 109314048 24099 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24107 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 29.49 Current children cumulated vsize (Kb) 106752 [startup+40.0054 s] Raw data (loadavg): 0.84 0.91 0.89 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 575268 0 0 0 2779 1140 0 0 25 0 1 0 1801076096 109314048 24173 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24181 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 39.19 Current children cumulated vsize (Kb) 106752 [startup+50.0052 s] Raw data (loadavg): 0.87 0.91 0.89 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 861629 0 0 0 3196 1692 0 0 25 0 1 0 1801076096 109314048 24094 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24102 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 48.88 Current children cumulated vsize (Kb) 106752 [startup+60.0059 s] Raw data (loadavg): 0.89 0.91 0.89 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 1145044 0 0 0 3610 2250 0 0 25 0 1 0 1801076096 109314048 24040 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26688 24040 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 58.6 Current children cumulated vsize (Kb) 106752 [startup+70.0067 s] Raw data (loadavg): 0.90 0.91 0.89 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 1429654 0 0 0 4025 2805 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 68.3 Current children cumulated vsize (Kb) 106752 [startup+80.0074 s] Raw data (loadavg): 0.92 0.92 0.90 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 1715552 0 0 0 4441 3359 0 0 25 0 1 0 1801076096 109314048 24142 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24150 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 78 Current children cumulated vsize (Kb) 106752 [startup+90.0082 s] Raw data (loadavg): 0.93 0.92 0.90 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 2001169 0 0 0 4856 3916 0 0 25 0 1 0 1801076096 109314048 24144 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24151 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 87.72 Current children cumulated vsize (Kb) 106752 [startup+100.008 s] Raw data (loadavg): 0.94 0.92 0.90 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 2287159 0 0 0 5269 4476 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 97.45 Current children cumulated vsize (Kb) 106752 [startup+110.009 s] Raw data (loadavg): 0.95 0.92 0.90 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 2573599 0 0 0 5677 5040 0 0 22 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 107.17 Current children cumulated vsize (Kb) 106752 [startup+120.008 s] Raw data (loadavg): 0.96 0.92 0.90 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 2859106 0 0 0 6082 5606 0 0 25 0 1 0 1801076096 109314048 24081 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24089 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 116.88 Current children cumulated vsize (Kb) 106752 [startup+130.009 s] Raw data (loadavg): 0.96 0.93 0.90 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 3143572 0 0 0 6492 6168 0 0 25 0 1 0 1801076096 109314048 24087 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24096 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 126.6 Current children cumulated vsize (Kb) 106752 [startup+140.01 s] Raw data (loadavg): 0.97 0.93 0.90 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 3428844 0 0 0 6900 6733 0 0 25 0 1 0 1801076096 109314048 24074 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24083 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 136.33 Current children cumulated vsize (Kb) 106752 [startup+150.01 s] Raw data (loadavg): 0.97 0.93 0.90 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 3714115 0 0 0 7306 7300 0 0 25 0 1 0 1801076096 109314048 24060 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24069 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 146.06 Current children cumulated vsize (Kb) 106752 [startup+160.01 s] Raw data (loadavg): 0.98 0.93 0.90 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 3998638 0 0 0 7713 7866 0 0 25 0 1 0 1801076096 109314048 24123 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24131 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 155.79 Current children cumulated vsize (Kb) 106752 [startup+170.01 s] Raw data (loadavg): 0.98 0.93 0.90 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 4282834 0 0 0 8114 8438 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 165.52 Current children cumulated vsize (Kb) 106752 [startup+180.011 s] Raw data (loadavg): 0.98 0.94 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 4568249 0 0 0 8525 8998 0 0 25 0 1 0 1801076096 109314048 24154 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24161 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 175.23 Current children cumulated vsize (Kb) 106752 [startup+190.012 s] Raw data (loadavg): 0.98 0.94 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 4853239 0 0 0 8936 9560 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 184.96 Current children cumulated vsize (Kb) 106752 [startup+200.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 5138009 0 0 0 9347 10121 0 0 25 0 1 0 1801076096 109314048 24169 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24176 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 194.68 Current children cumulated vsize (Kb) 106752 [startup+210.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 5421632 0 0 0 9753 10685 0 0 20 0 1 0 1801076096 109314048 24157 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24164 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 204.38 Current children cumulated vsize (Kb) 106752 [startup+220.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 5706180 0 0 0 10161 11249 0 0 25 0 1 0 1801076096 109314048 24080 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24089 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 214.1 Current children cumulated vsize (Kb) 106752 [startup+230.013 s] Raw data (loadavg): 0.99 0.94 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 5991244 0 0 0 10573 11811 0 0 25 0 1 0 1801076096 108638208 24024 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26523 24024 566 18 0 26505 0 [pid=8536] vsize: 106092 Current children cumulated CPU time (s) 223.84 Current children cumulated vsize (Kb) 106092 [startup+240.014 s] Raw data (loadavg): 0.99 0.94 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 6276936 0 0 0 10978 12378 0 0 25 0 1 0 1801076096 109314048 24101 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24109 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 233.56 Current children cumulated vsize (Kb) 106752 [startup+250.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 6562785 0 0 0 11387 12942 0 0 25 0 1 0 1801076096 109314048 24170 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24177 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 243.29 Current children cumulated vsize (Kb) 106752 [startup+260.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 6848283 0 0 0 11800 13500 0 0 25 0 1 0 1801076096 109314048 24053 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24061 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 253 Current children cumulated vsize (Kb) 106752 [startup+270.014 s] Raw data (loadavg): 0.99 0.95 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 7133044 0 0 0 12208 14063 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 262.71 Current children cumulated vsize (Kb) 106752 [startup+280.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 7417438 0 0 0 12620 14621 0 0 25 0 1 0 1801076096 109314048 24123 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24130 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 272.41 Current children cumulated vsize (Kb) 106752 [startup+290.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 7702401 0 0 0 13036 15178 0 0 25 0 1 0 1801076096 109314048 24131 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24138 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (Kb) 106752 [startup+300.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 7985823 0 0 0 13443 15746 0 0 25 0 1 0 1801076096 109314048 24083 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26688 24083 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 291.89 Current children cumulated vsize (Kb) 106752 [startup+310.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 8271090 0 0 0 13841 16321 0 0 25 0 1 0 1801076096 109314048 24065 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24073 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 301.62 Current children cumulated vsize (Kb) 106752 [startup+320.017 s] Raw data (loadavg): 0.99 0.95 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 8555674 0 0 0 14246 16887 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 311.33 Current children cumulated vsize (Kb) 106752 [startup+330.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 8840767 0 0 0 14651 17454 0 0 25 0 1 0 1801076096 109314048 24162 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24170 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 321.05 Current children cumulated vsize (Kb) 106752 [startup+340.018 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 9125749 0 0 0 15058 18019 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 330.77 Current children cumulated vsize (Kb) 106752 [startup+350.018 s] Raw data (loadavg): 0.99 0.96 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 9410704 0 0 0 15467 18581 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 340.48 Current children cumulated vsize (Kb) 106752 [startup+360.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 9695468 0 0 0 15877 19143 0 0 25 0 1 0 1801076096 109314048 24163 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26688 24163 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 350.2 Current children cumulated vsize (Kb) 106752 [startup+370.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 9980271 0 0 0 16290 19701 0 0 25 0 1 0 1801076096 109314048 24176 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24183 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 359.91 Current children cumulated vsize (Kb) 106752 [startup+380.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 10265999 0 0 0 16703 20260 0 0 19 0 1 0 1801076096 109314048 24124 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24132 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 369.63 Current children cumulated vsize (Kb) 106752 [startup+390.02 s] Raw data (loadavg): 0.99 0.96 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 10551679 0 0 0 17119 20819 0 0 25 0 1 0 1801076096 109314048 24189 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26688 24189 566 18 0 26670 0 [pid=8536] vsize: 106752 Current children cumulated CPU time (s) 379.38 Current children cumulated vsize (Kb) 106752 [startup+400.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 10835984 0 0 0 17522 21387 0 0 25 0 1 0 1801076096 109838336 24199 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24207 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 389.09 Current children cumulated vsize (Kb) 107264 [startup+410.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 11121458 0 0 0 17933 21948 0 0 17 0 1 0 1801076096 109838336 24223 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24231 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 398.81 Current children cumulated vsize (Kb) 107264 [startup+420.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 11405952 0 0 0 18337 22516 0 0 25 0 1 0 1801076096 109838336 24257 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24257 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 408.53 Current children cumulated vsize (Kb) 107264 [startup+430.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 11690047 0 0 0 18753 23073 0 0 25 0 1 0 1801076096 109838336 24222 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24231 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 418.26 Current children cumulated vsize (Kb) 107264 [startup+440.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 11974903 0 0 0 19164 23634 0 0 25 0 1 0 1801076096 109838336 24123 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24132 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 427.98 Current children cumulated vsize (Kb) 107264 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 12259805 0 0 0 19572 24199 0 0 25 0 1 0 1801076096 109838336 24235 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24243 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 437.71 Current children cumulated vsize (Kb) 107264 [startup+460.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 12544322 0 0 0 19980 24764 0 0 25 0 1 0 1801076096 109838336 24127 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26816 24127 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 447.44 Current children cumulated vsize (Kb) 107264 [startup+470.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 12827930 0 0 0 20394 25322 0 0 25 0 1 0 1801076096 109838336 24265 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24265 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 457.16 Current children cumulated vsize (Kb) 107264 [startup+480.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 13111685 0 0 0 20801 25887 0 0 25 0 1 0 1801076096 109838336 24220 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24228 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 466.88 Current children cumulated vsize (Kb) 107264 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 13395123 0 0 0 21211 26449 0 0 25 0 1 0 1801076096 109838336 24188 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24196 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 476.6 Current children cumulated vsize (Kb) 107264 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 13678998 0 0 0 21622 27008 0 0 21 0 1 0 1801076096 109838336 24263 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24269 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 486.3 Current children cumulated vsize (Kb) 107264 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 13962459 0 0 0 22031 27570 0 0 25 0 1 0 1801076096 109838336 24254 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24261 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 496.01 Current children cumulated vsize (Kb) 107264 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 14246889 0 0 0 22444 28129 0 0 25 0 1 0 1801076096 109838336 24224 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24232 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 505.73 Current children cumulated vsize (Kb) 107264 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 14530245 0 0 0 22855 28689 0 0 25 0 1 0 1801076096 109838336 24110 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24110 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 515.44 Current children cumulated vsize (Kb) 107264 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 14815202 0 0 0 23260 29255 0 0 25 0 1 0 1801076096 109162496 24112 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26651 24112 566 18 0 26633 0 [pid=8536] vsize: 106604 Current children cumulated CPU time (s) 525.15 Current children cumulated vsize (Kb) 106604 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 15099484 0 0 0 23669 29819 0 0 20 0 1 0 1801076096 109838336 24264 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24271 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 534.88 Current children cumulated vsize (Kb) 107264 [startup+560.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 15382342 0 0 0 24071 30389 0 0 25 0 1 0 1801076096 109838336 24147 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24156 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 544.6 Current children cumulated vsize (Kb) 107264 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 15666277 0 0 0 24482 30951 0 0 25 0 1 0 1801076096 109162496 24117 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26651 24117 566 18 0 26633 0 [pid=8536] vsize: 106604 Current children cumulated CPU time (s) 554.33 Current children cumulated vsize (Kb) 106604 [startup+580.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 15950079 0 0 0 24885 31517 0 0 25 0 1 0 1801076096 109838336 24284 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24284 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 564.02 Current children cumulated vsize (Kb) 107264 [startup+590.027 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 16233880 0 0 0 25296 32079 0 0 25 0 1 0 1801076096 109838336 24285 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24285 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 573.75 Current children cumulated vsize (Kb) 107264 [startup+600.028 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 16518177 0 0 0 25702 32641 0 0 25 0 1 0 1801076096 109838336 24287 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24287 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 583.43 Current children cumulated vsize (Kb) 107264 [startup+610.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 16802804 0 0 0 26106 33211 0 0 25 0 1 0 1801076096 109838336 24289 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24289 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 593.17 Current children cumulated vsize (Kb) 107264 [startup+620.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 17086713 0 0 0 26516 33771 0 0 25 0 1 0 1801076096 109838336 24233 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26816 24233 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 602.87 Current children cumulated vsize (Kb) 107264 [startup+630.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 17370124 0 0 0 26929 34328 0 0 25 0 1 0 1801076096 109838336 24175 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26816 24175 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 612.57 Current children cumulated vsize (Kb) 107264 [startup+640.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 17651601 0 0 0 27338 34889 0 0 25 0 1 0 1801076096 109838336 24161 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24170 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 622.27 Current children cumulated vsize (Kb) 107264 [startup+650.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 17936856 0 0 0 27748 35450 0 0 25 0 1 0 1801076096 109838336 24296 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24296 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 631.98 Current children cumulated vsize (Kb) 107264 [startup+660.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 18221617 0 0 0 28149 36018 0 0 25 0 1 0 1801076096 109838336 24267 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26816 24267 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 641.67 Current children cumulated vsize (Kb) 107264 [startup+670.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 18504060 0 0 0 28562 36576 0 0 25 0 1 0 1801076096 109838336 24230 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24238 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 651.38 Current children cumulated vsize (Kb) 107264 [startup+680.033 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 18789581 0 0 0 28969 37139 0 0 25 0 1 0 1801076096 109162496 24136 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26651 24136 566 18 0 26633 0 [pid=8536] vsize: 106604 Current children cumulated CPU time (s) 661.08 Current children cumulated vsize (Kb) 106604 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19075505 0 0 0 29384 37695 0 0 21 0 1 0 1801076096 109838336 24280 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24287 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 670.79 Current children cumulated vsize (Kb) 107264 [startup+700.033 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 19359989 0 0 0 29796 38253 0 0 25 0 1 0 1801076096 109838336 24304 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24304 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 680.49 Current children cumulated vsize (Kb) 107264 [startup+710.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19645211 0 0 0 30204 38816 0 0 25 0 1 0 1801076096 109838336 24241 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24249 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 690.2 Current children cumulated vsize (Kb) 107264 [startup+720.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 19930164 0 0 0 30605 39386 0 0 25 0 1 0 1801076096 109838336 24239 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24246 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 699.91 Current children cumulated vsize (Kb) 107264 [startup+730.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 20215139 0 0 0 31008 39951 0 0 25 0 1 0 1801076096 109838336 24259 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24268 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 709.59 Current children cumulated vsize (Kb) 107264 [startup+740.036 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 20499981 0 0 0 31422 40506 0 0 21 0 1 0 1801076096 109838336 24311 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24311 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 719.28 Current children cumulated vsize (Kb) 107264 [startup+750.036 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 20785102 0 0 0 31826 41071 0 0 25 0 1 0 1801076096 109838336 24312 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24312 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 728.97 Current children cumulated vsize (Kb) 107264 [startup+760.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 21070369 0 0 0 32238 41630 0 0 25 0 1 0 1801076096 109838336 24294 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24301 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 738.68 Current children cumulated vsize (Kb) 107264 [startup+770.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 21355904 0 0 0 32653 42182 0 0 25 0 1 0 1801076096 109838336 24214 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24223 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 748.35 Current children cumulated vsize (Kb) 107264 [startup+780.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 21640841 0 0 0 33060 42747 0 0 25 0 1 0 1801076096 109838336 24196 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26816 24204 566 18 0 26798 0 [pid=8536] vsize: 107264 Current children cumulated CPU time (s) 758.07 Current children cumulated vsize (Kb) 107264 [startup+790.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 21925195 0 0 0 33473 43302 0 0 21 0 1 0 1801076096 110362624 24255 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24263 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 767.75 Current children cumulated vsize (Kb) 107776 [startup+800.037 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 22208896 0 0 0 33884 43862 0 0 25 0 1 0 1801076096 110362624 24156 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26944 24156 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 777.46 Current children cumulated vsize (Kb) 107776 [startup+810.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 22492456 0 0 0 34289 44426 0 0 25 0 1 0 1801076096 110362624 24246 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24253 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 787.15 Current children cumulated vsize (Kb) 107776 [startup+820.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 22777128 0 0 0 34695 44991 0 0 25 0 1 0 1801076096 110362624 24293 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26944 24293 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 796.86 Current children cumulated vsize (Kb) 107776 [startup+830.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 23060466 0 0 0 35104 45553 0 0 25 0 1 0 1801076096 110362624 24326 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24326 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 806.57 Current children cumulated vsize (Kb) 107776 [startup+840.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 23344228 0 0 0 35509 46119 0 0 25 0 1 0 1801076096 110362624 24288 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24295 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 816.28 Current children cumulated vsize (Kb) 107776 [startup+850.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 23627907 0 0 0 35920 46680 0 0 25 0 1 0 1801076096 110362624 24167 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26944 24167 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 826 Current children cumulated vsize (Kb) 107776 [startup+860.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 23909891 0 0 0 36326 47246 0 0 25 0 1 0 1801076096 110362624 24331 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24331 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 835.72 Current children cumulated vsize (Kb) 107776 [startup+870.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 24193357 0 0 0 36732 47811 0 0 25 0 1 0 1801076096 110362624 24327 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24333 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 845.43 Current children cumulated vsize (Kb) 107776 [startup+880.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 24477329 0 0 0 37135 48380 0 0 25 0 1 0 1801076096 110362624 24334 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24334 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 855.15 Current children cumulated vsize (Kb) 107776 [startup+890.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 24760279 0 0 0 37543 48943 0 0 25 0 1 0 1801076096 110362624 24309 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24316 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 864.86 Current children cumulated vsize (Kb) 107776 [startup+900.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 25044868 0 0 0 37950 49505 0 0 25 0 1 0 1801076096 110362624 24273 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24280 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 874.55 Current children cumulated vsize (Kb) 107776 [startup+910.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 25329559 0 0 0 38359 50067 0 0 25 0 1 0 1801076096 110362624 24339 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24339 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 884.26 Current children cumulated vsize (Kb) 107776 [startup+920.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 25614440 0 0 0 38775 50620 0 0 25 0 1 0 1801076096 110362624 24265 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24273 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 893.95 Current children cumulated vsize (Kb) 107776 [startup+930.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 25896301 0 0 0 39183 51184 0 0 25 0 1 0 1801076096 110362624 24306 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24314 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 903.67 Current children cumulated vsize (Kb) 107776 [startup+940.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 26179974 0 0 0 39594 51745 0 0 25 0 1 0 1801076096 110362624 24344 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24344 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 913.39 Current children cumulated vsize (Kb) 107776 [startup+950.043 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 26463281 0 0 0 40004 52308 0 0 25 0 1 0 1801076096 109686784 24181 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26779 24181 566 18 0 26761 0 [pid=8536] vsize: 107116 Current children cumulated CPU time (s) 923.12 Current children cumulated vsize (Kb) 107116 [startup+960.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 26746498 0 0 0 40417 52866 0 0 25 0 1 0 1801076096 110362624 24258 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24265 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 932.83 Current children cumulated vsize (Kb) 107776 [startup+970.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 27029189 0 0 0 40816 53441 0 0 25 0 1 0 1801076096 110362624 24304 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24311 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 942.57 Current children cumulated vsize (Kb) 107776 [startup+980.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 27311819 0 0 0 41223 54006 0 0 18 0 1 0 1801076096 110362624 24289 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24296 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 952.29 Current children cumulated vsize (Kb) 107776 [startup+990.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 27594804 0 0 0 41624 54578 0 0 25 0 1 0 1801076096 110362624 24299 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24306 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 962.02 Current children cumulated vsize (Kb) 107776 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 27877395 0 0 0 42029 55144 0 0 25 0 1 0 1801076096 110362624 24245 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24254 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 971.73 Current children cumulated vsize (Kb) 107776 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 28160811 0 0 0 42439 55706 0 0 25 0 1 0 1801076096 110362624 24356 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24356 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 981.45 Current children cumulated vsize (Kb) 107776 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 28443871 0 0 0 42847 56269 0 0 22 0 1 0 1801076096 110362624 24276 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26944 24276 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 991.16 Current children cumulated vsize (Kb) 107776 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 28725774 0 0 0 43251 56836 0 0 25 0 1 0 1801076096 110362624 24359 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24359 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1000.87 Current children cumulated vsize (Kb) 107776 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 29008224 0 0 0 43655 57402 0 0 25 0 1 0 1801076096 110362624 24329 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24336 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1010.57 Current children cumulated vsize (Kb) 107776 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 29290502 0 0 0 44062 57965 0 0 25 0 1 0 1801076096 110362624 24292 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24301 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1020.27 Current children cumulated vsize (Kb) 107776 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 29574479 0 0 0 44466 58531 0 0 25 0 1 0 1801076096 110362624 24304 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24312 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1029.97 Current children cumulated vsize (Kb) 107776 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 29858141 0 0 0 44878 59090 0 0 25 0 1 0 1801076096 110362624 24331 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26944 24331 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1039.68 Current children cumulated vsize (Kb) 107776 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 30138908 0 0 0 45290 59649 0 0 25 0 1 0 1801076096 110362624 24268 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8536/statm): 26944 24268 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1049.39 Current children cumulated vsize (Kb) 107776 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 30421528 0 0 0 45703 60209 0 0 25 0 1 0 1801076096 110362624 24243 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24252 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1059.12 Current children cumulated vsize (Kb) 107776 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 30704961 0 0 0 46111 60774 0 0 25 0 1 0 1801076096 110362624 24371 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24371 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1068.85 Current children cumulated vsize (Kb) 107776 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 30989049 0 0 0 46517 61339 0 0 25 0 1 0 1801076096 110362624 24329 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24336 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1078.56 Current children cumulated vsize (Kb) 107776 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 31273631 0 0 0 46923 61903 0 0 25 0 1 0 1801076096 110362624 24286 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24294 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1088.26 Current children cumulated vsize (Kb) 107776 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 31558511 0 0 0 47327 62471 0 0 25 0 1 0 1801076096 110362624 24376 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24376 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1097.98 Current children cumulated vsize (Kb) 107776 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 31843568 0 0 0 47737 63031 0 0 25 0 1 0 1801076096 110362624 24313 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24320 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1107.68 Current children cumulated vsize (Kb) 107776 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 32128260 0 0 0 48145 63593 0 0 25 0 1 0 1801076096 109686784 24215 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26779 24215 566 18 0 26761 0 [pid=8536] vsize: 107116 Current children cumulated CPU time (s) 1117.38 Current children cumulated vsize (Kb) 107116 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 32412864 0 0 0 48559 64152 0 0 21 0 1 0 1801076096 110362624 24360 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24367 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1127.11 Current children cumulated vsize (Kb) 107776 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 32695863 0 0 0 48962 64719 0 0 25 0 1 0 1801076096 110362624 24383 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24383 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1136.81 Current children cumulated vsize (Kb) 107776 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 32980126 0 0 0 49373 65276 0 0 25 0 1 0 1801076096 110362624 24351 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24359 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1146.49 Current children cumulated vsize (Kb) 107776 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 33264235 0 0 0 49783 65834 0 0 25 0 1 0 1801076096 110362624 24330 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24337 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1156.17 Current children cumulated vsize (Kb) 107776 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 33547987 0 0 0 50195 66392 0 0 25 0 1 0 1801076096 110362624 24282 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26944 24291 566 18 0 26926 0 [pid=8536] vsize: 107776 Current children cumulated CPU time (s) 1165.87 Current children cumulated vsize (Kb) 107776 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) T 8535 8536 30740 0 -1 0 33830252 0 0 0 50592 66964 0 0 25 0 1 0 1801076096 110497792 24397 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8536/statm): 26977 24397 566 18 0 26959 0 [pid=8536] vsize: 107908 Current children cumulated CPU time (s) 1175.56 Current children cumulated vsize (Kb) 107908 [startup+1220.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 34111913 0 0 0 50995 67531 0 0 25 0 1 0 1801076096 110632960 24403 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 27010 24410 566 18 0 26992 0 [pid=8536] vsize: 108040 Current children cumulated CPU time (s) 1185.26 Current children cumulated vsize (Kb) 108040 [startup+1230.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 34394790 0 0 0 51398 68098 0 0 25 0 1 0 1801076096 110768128 24470 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 27043 24470 566 18 0 27025 0 [pid=8536] vsize: 108172 Current children cumulated CPU time (s) 1194.96 Current children cumulated vsize (Kb) 108172 [startup+1240.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 34677885 0 0 0 51803 68667 0 0 25 0 1 0 1801076096 110903296 24425 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 27076 24433 566 18 0 27058 0 [pid=8536] vsize: 108304 Current children cumulated CPU time (s) 1204.7 Current children cumulated vsize (Kb) 108304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8536 Raw data (/proc/8536/stat): 8536 (Pueblo) R 8535 8536 30740 0 -1 0 34677911 0 0 0 51803 68667 0 0 25 0 1 0 1801076096 110903296 24451 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8536/statm): 27076 24459 566 18 0 27058 0 [pid=8536] vsize: 108304 Current children cumulated CPU time (s) 1204.7 Current children cumulated vsize (Kb) 108304 Sending SIGTERM to -8536 Sleeping 2 seconds One traced child (pid=8536) 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): 1204.76 CPU user time (s): 518.032 CPU system time (s): 686.726 CPU usage (%): 97.1495 Max. virtual memory (cumulated for all children) (Kb): 108304
ERROR: no interpretation found !