Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namesubmitted/manquinho/logic-synthesis/normalized-sao2.b.opb
MD5SUM3e273bcee52631aeea0b7b1138e7d68d
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of terms in the objective function 373
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 373
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 373
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark106.35
Number of variables372
Total number of constraints779
Number of constraints which are clauses772
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98

Trace number 7644

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-20 13:16:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4762 boxname=wulflinc28 idbench=74 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3e273bcee52631aeea0b7b1138e7d68d  /oldhome/oroussel/tmp/wulflinc28/normalized-sao2.b.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4762
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        849728 kB
Buffers:         25312 kB
Cached:         130700 kB
SwapCached:        660 kB
Active:          58048 kB
Inactive:       100448 kB
HighTotal:      131008 kB
HighFree:         4872 kB
LowTotal:       903652 kB
LowFree:        844856 kB
SwapTotal:     2097640 kB
SwapFree:      2096408 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5832 kB
Slab:            20700 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 13:36:21 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 4762 0 1189.02 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 373 - #constraints read: 652
c total time              : 1189 s
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 x369 x370 -x371 -x372 -x373

Watcher Data

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/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1858835607 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 41 3 40 18 0 23 0
[pid=26093] 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.0038 s]
Raw data (loadavg): 0.22 0.05 0.02 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 614 0 0 0 947 19 0 0 25 0 1 0 1858835607 4050944 580 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 989 580 566 18 0 971 0
[pid=26093] vsize: 3956
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 3956

[startup+20.0044 s]
Raw data (loadavg): 0.34 0.08 0.02 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 662 0 0 0 1914 31 0 0 25 0 1 0 1858835607 4263936 628 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1041 628 566 18 0 1023 0
[pid=26093] vsize: 4164
Current children cumulated CPU time (s) 19.45
Current children cumulated vsize (Kb) 4164

[startup+30.006 s]
Raw data (loadavg): 0.44 0.11 0.03 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 701 0 0 0 2882 42 0 0 25 0 1 0 1858835607 4403200 667 4294967295 134512640 134578447 3221224624 3221221184 134532501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1075 667 566 18 0 1057 0
[pid=26093] vsize: 4300
Current children cumulated CPU time (s) 29.24
Current children cumulated vsize (Kb) 4300

[startup+40.0066 s]
Raw data (loadavg): 0.53 0.14 0.04 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 740 0 0 0 3843 55 0 0 25 0 1 0 1858835607 4538368 706 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1108 706 566 18 0 1090 0
[pid=26093] vsize: 4432
Current children cumulated CPU time (s) 38.98
Current children cumulated vsize (Kb) 4432

[startup+50.0073 s]
Raw data (loadavg): 0.60 0.17 0.05 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 740 0 0 0 4813 65 0 0 25 0 1 0 1858835607 4501504 706 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1099 706 566 18 0 1081 0
[pid=26093] vsize: 4396
Current children cumulated CPU time (s) 48.78
Current children cumulated vsize (Kb) 4396

[startup+60.0079 s]
Raw data (loadavg): 0.66 0.19 0.06 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 762 0 0 0 5782 76 0 0 25 0 1 0 1858835607 4648960 728 4294967295 134512640 134578447 3221224624 3221223384 1075285857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1135 728 566 18 0 1117 0
[pid=26093] vsize: 4540
Current children cumulated CPU time (s) 58.58
Current children cumulated vsize (Kb) 4540

[startup+70.0085 s]
Raw data (loadavg): 0.71 0.22 0.07 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 773 0 0 0 6758 86 0 0 25 0 1 0 1858835607 4648960 739 4294967295 134512640 134578447 3221224624 3221223072 1075288535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1135 739 566 18 0 1117 0
[pid=26093] vsize: 4540
Current children cumulated CPU time (s) 68.44
Current children cumulated vsize (Kb) 4540

[startup+80.0091 s]
Raw data (loadavg): 0.76 0.24 0.08 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 773 0 0 0 7739 95 0 0 25 0 1 0 1858835607 4648960 739 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1135 739 566 18 0 1117 0
[pid=26093] vsize: 4540
Current children cumulated CPU time (s) 78.34
Current children cumulated vsize (Kb) 4540

[startup+90.0097 s]
Raw data (loadavg): 0.79 0.27 0.09 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 773 0 0 0 8719 103 0 0 25 0 1 0 1858835607 4648960 739 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1135 739 566 18 0 1117 0
[pid=26093] vsize: 4540
Current children cumulated CPU time (s) 88.22
Current children cumulated vsize (Kb) 4540

[startup+100.009 s]
Raw data (loadavg): 0.82 0.29 0.10 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 811 0 0 0 9689 113 0 0 25 0 1 0 1858835607 4820992 777 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1177 777 566 18 0 1159 0
[pid=26093] vsize: 4708
Current children cumulated CPU time (s) 98.02
Current children cumulated vsize (Kb) 4708

[startup+110.01 s]
Raw data (loadavg): 0.85 0.31 0.11 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 830 0 0 0 10664 121 0 0 25 0 1 0 1858835607 4943872 796 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1207 796 566 18 0 1189 0
[pid=26093] vsize: 4828
Current children cumulated CPU time (s) 107.85
Current children cumulated vsize (Kb) 4828

[startup+120.011 s]
Raw data (loadavg): 0.87 0.34 0.12 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 830 0 0 0 11630 134 0 0 25 0 1 0 1858835607 4923392 796 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1202 796 566 18 0 1184 0
[pid=26093] vsize: 4808
Current children cumulated CPU time (s) 117.64
Current children cumulated vsize (Kb) 4808

[startup+130.011 s]
Raw data (loadavg): 0.89 0.36 0.13 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 830 0 0 0 12594 146 0 0 25 0 1 0 1858835607 4915200 796 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1200 796 566 18 0 1182 0
[pid=26093] vsize: 4800
Current children cumulated CPU time (s) 127.4
Current children cumulated vsize (Kb) 4800

[startup+140.012 s]
Raw data (loadavg): 0.91 0.38 0.14 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 830 0 0 0 13564 158 0 0 25 0 1 0 1858835607 4902912 796 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1197 796 566 18 0 1179 0
[pid=26093] vsize: 4788
Current children cumulated CPU time (s) 137.22
Current children cumulated vsize (Kb) 4788

[startup+150.013 s]
Raw data (loadavg): 0.92 0.40 0.15 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 830 0 0 0 14519 174 0 0 25 0 1 0 1858835607 4902912 796 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1197 796 566 18 0 1179 0
[pid=26093] vsize: 4788
Current children cumulated CPU time (s) 146.93
Current children cumulated vsize (Kb) 4788

[startup+160.013 s]
Raw data (loadavg): 0.93 0.42 0.15 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 835 0 0 0 15483 188 0 0 25 0 1 0 1858835607 4902912 801 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1197 801 566 18 0 1179 0
[pid=26093] vsize: 4788
Current children cumulated CPU time (s) 156.71
Current children cumulated vsize (Kb) 4788

[startup+170.014 s]
Raw data (loadavg): 0.94 0.44 0.16 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 844 0 0 0 16440 201 0 0 25 0 1 0 1858835607 5013504 810 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1224 810 566 18 0 1206 0
[pid=26093] vsize: 4896
Current children cumulated CPU time (s) 166.41
Current children cumulated vsize (Kb) 4896

[startup+180.014 s]
Raw data (loadavg): 0.95 0.45 0.17 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 844 0 0 0 17406 215 0 0 18 0 1 0 1858835607 5013504 810 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1224 810 566 18 0 1206 0
[pid=26093] vsize: 4896
Current children cumulated CPU time (s) 176.21
Current children cumulated vsize (Kb) 4896

[startup+190.015 s]
Raw data (loadavg): 0.96 0.47 0.18 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 844 0 0 0 18378 222 0 0 25 0 1 0 1858835607 5013504 810 4294967295 134512640 134578447 3221224624 3221223476 134555838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1224 810 566 18 0 1206 0
[pid=26093] vsize: 4896
Current children cumulated CPU time (s) 186
Current children cumulated vsize (Kb) 4896

[startup+200.016 s]
Raw data (loadavg): 0.96 0.49 0.19 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 844 0 0 0 19340 235 0 0 25 0 1 0 1858835607 5013504 810 4294967295 134512640 134578447 3221224624 3221223416 134528976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1224 810 566 18 0 1206 0
[pid=26093] vsize: 4896
Current children cumulated CPU time (s) 195.75
Current children cumulated vsize (Kb) 4896

[startup+210.016 s]
Raw data (loadavg): 0.97 0.51 0.20 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 844 0 0 0 20311 245 0 0 25 0 1 0 1858835607 5013504 810 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1224 810 566 18 0 1206 0
[pid=26093] vsize: 4896
Current children cumulated CPU time (s) 205.56
Current children cumulated vsize (Kb) 4896

[startup+220.017 s]
Raw data (loadavg): 0.97 0.52 0.20 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 854 0 0 0 21282 255 0 0 25 0 1 0 1858835607 5013504 820 4294967295 134512640 134578447 3221224624 3221223456 134528490 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1224 820 566 18 0 1206 0
[pid=26093] vsize: 4896
Current children cumulated CPU time (s) 215.37
Current children cumulated vsize (Kb) 4896

[startup+230.018 s]
Raw data (loadavg): 0.98 0.54 0.21 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 854 0 0 0 22256 264 0 0 25 0 1 0 1858835607 5013504 820 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1224 820 566 18 0 1206 0
[pid=26093] vsize: 4896
Current children cumulated CPU time (s) 225.2
Current children cumulated vsize (Kb) 4896

[startup+240.018 s]
Raw data (loadavg): 0.98 0.55 0.22 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 855 0 0 0 23225 274 0 0 25 0 1 0 1858835607 5013504 821 4294967295 134512640 134578447 3221224624 3221223296 134523519 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1224 821 566 18 0 1206 0
[pid=26093] vsize: 4896
Current children cumulated CPU time (s) 234.99
Current children cumulated vsize (Kb) 4896

[startup+250.018 s]
Raw data (loadavg): 0.98 0.57 0.23 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 860 0 0 0 24197 283 0 0 25 0 1 0 1858835607 5013504 826 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1224 826 566 18 0 1206 0
[pid=26093] vsize: 4896
Current children cumulated CPU time (s) 244.8
Current children cumulated vsize (Kb) 4896

[startup+260.019 s]
Raw data (loadavg): 0.98 0.58 0.24 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 878 0 0 0 25166 293 0 0 25 0 1 0 1858835607 5148672 844 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1257 844 566 18 0 1239 0
[pid=26093] vsize: 5028
Current children cumulated CPU time (s) 254.59
Current children cumulated vsize (Kb) 5028

[startup+270.019 s]
Raw data (loadavg): 0.99 0.59 0.24 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 878 0 0 0 26142 301 0 0 25 0 1 0 1858835607 5128192 844 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1252 844 566 18 0 1234 0
[pid=26093] vsize: 5008
Current children cumulated CPU time (s) 264.43
Current children cumulated vsize (Kb) 5008

[startup+280.02 s]
Raw data (loadavg): 0.99 0.61 0.25 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 878 0 0 0 27120 309 0 0 25 0 1 0 1858835607 5128192 844 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1252 844 566 18 0 1234 0
[pid=26093] vsize: 5008
Current children cumulated CPU time (s) 274.29
Current children cumulated vsize (Kb) 5008

[startup+290.021 s]
Raw data (loadavg): 0.99 0.62 0.26 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 878 0 0 0 28097 318 0 0 25 0 1 0 1858835607 5128192 844 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1252 844 566 18 0 1234 0
[pid=26093] vsize: 5008
Current children cumulated CPU time (s) 284.15
Current children cumulated vsize (Kb) 5008

[startup+300.021 s]
Raw data (loadavg): 0.99 0.63 0.27 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 878 0 0 0 29075 325 0 0 25 0 1 0 1858835607 5128192 844 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1252 844 566 18 0 1234 0
[pid=26093] vsize: 5008
Current children cumulated CPU time (s) 294
Current children cumulated vsize (Kb) 5008

[startup+310.022 s]
Raw data (loadavg): 0.99 0.64 0.28 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 891 0 0 0 30054 331 0 0 25 0 1 0 1858835607 5128192 857 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1252 857 566 18 0 1234 0
[pid=26093] vsize: 5008
Current children cumulated CPU time (s) 303.85
Current children cumulated vsize (Kb) 5008

[startup+320.022 s]
Raw data (loadavg): 0.99 0.65 0.28 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 900 0 0 0 31031 338 0 0 25 0 1 0 1858835607 5263360 866 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1285 866 566 18 0 1267 0
[pid=26093] vsize: 5140
Current children cumulated CPU time (s) 313.69
Current children cumulated vsize (Kb) 5140

[startup+330.024 s]
Raw data (loadavg): 0.99 0.66 0.29 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 900 0 0 0 32009 346 0 0 25 0 1 0 1858835607 5263360 866 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1285 866 566 18 0 1267 0
[pid=26093] vsize: 5140
Current children cumulated CPU time (s) 323.55
Current children cumulated vsize (Kb) 5140

[startup+340.025 s]
Raw data (loadavg): 0.99 0.67 0.30 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 903 0 0 0 32985 355 0 0 25 0 1 0 1858835607 5263360 869 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1285 869 566 18 0 1267 0
[pid=26093] vsize: 5140
Current children cumulated CPU time (s) 333.4
Current children cumulated vsize (Kb) 5140

[startup+350.024 s]
Raw data (loadavg): 0.99 0.68 0.30 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 903 0 0 0 33962 363 0 0 25 0 1 0 1858835607 5263360 869 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1285 869 566 18 0 1267 0
[pid=26093] vsize: 5140
Current children cumulated CPU time (s) 343.25
Current children cumulated vsize (Kb) 5140

[startup+360.025 s]
Raw data (loadavg): 0.99 0.69 0.31 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 903 0 0 0 34943 369 0 0 25 0 1 0 1858835607 5263360 869 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1285 869 566 18 0 1267 0
[pid=26093] vsize: 5140
Current children cumulated CPU time (s) 353.12
Current children cumulated vsize (Kb) 5140

[startup+370.025 s]
Raw data (loadavg): 0.99 0.70 0.32 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 903 0 0 0 35922 376 0 0 25 0 1 0 1858835607 5263360 869 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1285 869 566 18 0 1267 0
[pid=26093] vsize: 5140
Current children cumulated CPU time (s) 362.98
Current children cumulated vsize (Kb) 5140

[startup+380.025 s]
Raw data (loadavg): 0.99 0.71 0.32 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 952 0 0 0 36892 386 0 0 25 0 1 0 1858835607 5398528 918 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1318 918 566 18 0 1300 0
[pid=26093] vsize: 5272
Current children cumulated CPU time (s) 372.78
Current children cumulated vsize (Kb) 5272

[startup+390.026 s]
Raw data (loadavg): 0.99 0.72 0.33 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 962 0 0 0 37854 398 0 0 25 0 1 0 1858835607 5533696 928 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 928 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 382.52
Current children cumulated vsize (Kb) 5404

[startup+400.026 s]
Raw data (loadavg): 0.99 0.73 0.34 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 962 0 0 0 38825 408 0 0 25 0 1 0 1858835607 5533696 928 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 928 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 392.33
Current children cumulated vsize (Kb) 5404

[startup+410.026 s]
Raw data (loadavg): 0.99 0.74 0.34 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 971 0 0 0 39809 415 0 0 25 0 1 0 1858835607 5533696 937 4294967295 134512640 134578447 3221224624 3221221760 134532577 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 937 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (Kb) 5404

[startup+420.027 s]
Raw data (loadavg): 0.99 0.75 0.35 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 40790 421 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 412.11
Current children cumulated vsize (Kb) 5404

[startup+430.028 s]
Raw data (loadavg): 0.99 0.76 0.36 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 41772 428 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 422
Current children cumulated vsize (Kb) 5404

[startup+440.028 s]
Raw data (loadavg): 0.99 0.76 0.36 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 42754 433 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223572 134516624 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 431.87
Current children cumulated vsize (Kb) 5404

[startup+450.029 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 43730 443 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 441.73
Current children cumulated vsize (Kb) 5404

[startup+460.029 s]
Raw data (loadavg): 0.99 0.78 0.38 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 44711 450 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 451.61
Current children cumulated vsize (Kb) 5404

[startup+470.03 s]
Raw data (loadavg): 0.99 0.78 0.38 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 45674 461 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 461.35
Current children cumulated vsize (Kb) 5404

[startup+480.031 s]
Raw data (loadavg): 0.99 0.79 0.39 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 46655 467 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 471.22
Current children cumulated vsize (Kb) 5404

[startup+490.031 s]
Raw data (loadavg): 0.99 0.80 0.39 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 47631 475 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134528079 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 481.06
Current children cumulated vsize (Kb) 5404

[startup+500.031 s]
Raw data (loadavg): 0.99 0.80 0.40 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 48611 482 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 490.93
Current children cumulated vsize (Kb) 5404

[startup+510.032 s]
Raw data (loadavg): 0.99 0.81 0.41 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 49596 488 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 500.84
Current children cumulated vsize (Kb) 5404

[startup+520.033 s]
Raw data (loadavg): 0.99 0.81 0.41 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 50580 494 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223376 134528858 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 510.74
Current children cumulated vsize (Kb) 5404

[startup+530.033 s]
Raw data (loadavg): 0.99 0.82 0.42 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 51558 501 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 520.59
Current children cumulated vsize (Kb) 5404

[startup+540.034 s]
Raw data (loadavg): 0.99 0.83 0.42 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 52540 507 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 530.47
Current children cumulated vsize (Kb) 5404

[startup+550.034 s]
Raw data (loadavg): 0.99 0.83 0.43 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 986 0 0 0 53519 515 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 540.34
Current children cumulated vsize (Kb) 5404

[startup+560.034 s]
Raw data (loadavg): 0.99 0.84 0.43 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 54499 521 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 550.2
Current children cumulated vsize (Kb) 5404

[startup+570.035 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 55474 529 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 560.03
Current children cumulated vsize (Kb) 5404

[startup+580.035 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 986 0 0 0 56455 536 0 0 25 0 1 0 1858835607 5533696 952 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1351 952 566 18 0 1333 0
[pid=26093] vsize: 5404
Current children cumulated CPU time (s) 569.91
Current children cumulated vsize (Kb) 5404

[startup+590.036 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 995 0 0 0 57434 541 0 0 25 0 1 0 1858835607 5660672 961 4294967295 134512640 134578447 3221224624 3221223512 134555621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 961 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 579.75
Current children cumulated vsize (Kb) 5528

[startup+600.037 s]
Raw data (loadavg): 0.99 0.85 0.46 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 995 0 0 0 58411 550 0 0 25 0 1 0 1858835607 5660672 961 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 961 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 589.61
Current children cumulated vsize (Kb) 5528

[startup+610.038 s]
Raw data (loadavg): 0.99 0.86 0.46 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 995 0 0 0 59392 556 0 0 25 0 1 0 1858835607 5660672 961 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 961 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 599.48
Current children cumulated vsize (Kb) 5528

[startup+620.038 s]
Raw data (loadavg): 0.99 0.86 0.47 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 995 0 0 0 60378 562 0 0 25 0 1 0 1858835607 5660672 961 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 961 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 609.4
Current children cumulated vsize (Kb) 5528

[startup+630.04 s]
Raw data (loadavg): 0.99 0.87 0.47 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 995 0 0 0 61353 570 0 0 25 0 1 0 1858835607 5660672 961 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 961 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 619.23
Current children cumulated vsize (Kb) 5528

[startup+640.04 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 62322 583 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 629.05
Current children cumulated vsize (Kb) 5528

[startup+650.04 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 63303 591 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 638.94
Current children cumulated vsize (Kb) 5528

[startup+660.041 s]
Raw data (loadavg): 0.99 0.88 0.49 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 1018 0 0 0 64283 599 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 648.82
Current children cumulated vsize (Kb) 5528

[startup+670.042 s]
Raw data (loadavg): 0.99 0.88 0.49 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 1018 0 0 0 65257 607 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 658.64
Current children cumulated vsize (Kb) 5528

[startup+680.042 s]
Raw data (loadavg): 0.99 0.89 0.50 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 1018 0 0 0 66217 620 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 668.37
Current children cumulated vsize (Kb) 5528

[startup+690.043 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 67199 627 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 678.26
Current children cumulated vsize (Kb) 5528

[startup+700.043 s]
Raw data (loadavg): 0.99 0.89 0.51 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 68180 634 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 688.14
Current children cumulated vsize (Kb) 5528

[startup+710.044 s]
Raw data (loadavg): 0.99 0.89 0.51 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 69158 642 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 698
Current children cumulated vsize (Kb) 5528

[startup+720.045 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 70137 649 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221222400 134532499 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 707.86
Current children cumulated vsize (Kb) 5528

[startup+730.045 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 71105 661 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 717.66
Current children cumulated vsize (Kb) 5528

[startup+740.046 s]
Raw data (loadavg): 0.99 0.90 0.53 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 72067 671 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 727.38
Current children cumulated vsize (Kb) 5528

[startup+750.047 s]
Raw data (loadavg): 0.99 0.91 0.53 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 73042 679 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223476 134555881 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 737.21
Current children cumulated vsize (Kb) 5528

[startup+760.048 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 74006 692 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 746.98
Current children cumulated vsize (Kb) 5528

[startup+770.048 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 74971 704 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 756.75
Current children cumulated vsize (Kb) 5528

[startup+780.049 s]
Raw data (loadavg): 0.99 0.91 0.55 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 75933 716 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 766.49
Current children cumulated vsize (Kb) 5528

[startup+790.05 s]
Raw data (loadavg): 0.99 0.92 0.55 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 76911 724 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 776.35
Current children cumulated vsize (Kb) 5528

[startup+800.05 s]
Raw data (loadavg): 0.99 0.92 0.55 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 77886 732 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 786.18
Current children cumulated vsize (Kb) 5528

[startup+810.051 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 78864 738 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134528051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 796.02
Current children cumulated vsize (Kb) 5528

[startup+820.051 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 79837 747 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 805.84
Current children cumulated vsize (Kb) 5528

[startup+830.051 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 80805 759 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 815.64
Current children cumulated vsize (Kb) 5528

[startup+840.052 s]
Raw data (loadavg): 0.99 0.93 0.57 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 81780 768 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 825.48
Current children cumulated vsize (Kb) 5528

[startup+850.052 s]
Raw data (loadavg): 0.99 0.93 0.57 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 82754 779 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 835.33
Current children cumulated vsize (Kb) 5528

[startup+860.052 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 83725 789 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 845.14
Current children cumulated vsize (Kb) 5528

[startup+870.053 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 84701 796 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223456 134528599 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 854.97
Current children cumulated vsize (Kb) 5528

[startup+880.054 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 85669 807 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 864.76
Current children cumulated vsize (Kb) 5528

[startup+890.054 s]
Raw data (loadavg): 0.99 0.94 0.59 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 86632 820 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 874.52
Current children cumulated vsize (Kb) 5528

[startup+900.055 s]
Raw data (loadavg): 0.99 0.94 0.59 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 87603 828 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 884.31
Current children cumulated vsize (Kb) 5528

[startup+910.056 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 88572 840 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 894.12
Current children cumulated vsize (Kb) 5528

[startup+920.056 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 89543 850 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 903.93
Current children cumulated vsize (Kb) 5528

[startup+930.057 s]
Raw data (loadavg): 0.99 0.94 0.60 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 1018 0 0 0 90519 858 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 913.77
Current children cumulated vsize (Kb) 5528

[startup+940.058 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 91489 868 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 923.57
Current children cumulated vsize (Kb) 5528

[startup+950.057 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 92471 874 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 933.45
Current children cumulated vsize (Kb) 5528

[startup+960.058 s]
Raw data (loadavg): 0.99 0.95 0.62 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 1018 0 0 0 93441 883 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 943.24
Current children cumulated vsize (Kb) 5528

[startup+970.059 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 94414 893 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 953.07
Current children cumulated vsize (Kb) 5528

[startup+980.059 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 95394 899 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 962.93
Current children cumulated vsize (Kb) 5528

[startup+990.06 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 96369 908 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 972.77
Current children cumulated vsize (Kb) 5528

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.95 0.63 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 1018 0 0 0 97344 918 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 982.62
Current children cumulated vsize (Kb) 5528

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.95 0.64 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 1018 0 0 0 98318 927 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 992.45
Current children cumulated vsize (Kb) 5528

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.95 0.64 1/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) T 26092 26093 20115 0 -1 0 1018 0 0 0 99294 934 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (Kb) 5528

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 100268 943 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223568 134558765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 1012.11
Current children cumulated vsize (Kb) 5528

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 101243 951 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 1021.94
Current children cumulated vsize (Kb) 5528

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1018 0 0 0 102219 959 0 0 25 0 1 0 1858835607 5660672 984 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1382 984 566 18 0 1364 0
[pid=26093] vsize: 5528
Current children cumulated CPU time (s) 1031.78
Current children cumulated vsize (Kb) 5528

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1055 0 0 0 103190 970 0 0 25 0 1 0 1858835607 5795840 1021 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1415 1021 566 18 0 1397 0
[pid=26093] vsize: 5660
Current children cumulated CPU time (s) 1041.6
Current children cumulated vsize (Kb) 5660

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.96 0.65 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1070 0 0 0 104174 978 0 0 25 0 1 0 1858835607 5931008 1036 4294967295 134512640 134578447 3221224624 3221223228 1075288811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1448 1036 566 18 0 1430 0
[pid=26093] vsize: 5792
Current children cumulated CPU time (s) 1051.52
Current children cumulated vsize (Kb) 5792

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1079 0 0 0 105151 986 0 0 25 0 1 0 1858835607 5931008 1045 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26093/statm): 1448 1045 566 18 0 1430 0
[pid=26093] vsize: 5792
Current children cumulated CPU time (s) 1061.37
Current children cumulated vsize (Kb) 5792

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1088 0 0 0 106124 996 0 0 25 0 1 0 1858835607 5931008 1054 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1448 1054 566 18 0 1430 0
[pid=26093] vsize: 5792
Current children cumulated CPU time (s) 1071.2
Current children cumulated vsize (Kb) 5792

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1091 0 0 0 107101 1005 0 0 25 0 1 0 1858835607 6057984 1057 4294967295 134512640 134578447 3221224624 3221223476 134555859 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1057 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1081.06
Current children cumulated vsize (Kb) 5916

[startup+1110.07 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1091 0 0 0 108070 1015 0 0 19 0 1 0 1858835607 6057984 1057 4294967295 134512640 134578447 3221224624 3221223504 134527748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1057 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1090.85
Current children cumulated vsize (Kb) 5916

[startup+1120.07 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1103 0 0 0 109031 1028 0 0 25 0 1 0 1858835607 6057984 1069 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1069 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1100.59
Current children cumulated vsize (Kb) 5916

[startup+1130.07 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1105 0 0 0 110013 1033 0 0 25 0 1 0 1858835607 6057984 1071 4294967295 134512640 134578447 3221224624 3221223520 134557684 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1071 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1110.46
Current children cumulated vsize (Kb) 5916

[startup+1140.07 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1110 0 0 0 110989 1042 0 0 25 0 1 0 1858835607 6057984 1076 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1076 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1120.31
Current children cumulated vsize (Kb) 5916

[startup+1150.07 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1110 0 0 0 111967 1049 0 0 25 0 1 0 1858835607 6057984 1076 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1076 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1130.16
Current children cumulated vsize (Kb) 5916

[startup+1160.07 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1110 0 0 0 112948 1056 0 0 25 0 1 0 1858835607 6057984 1076 4294967295 134512640 134578447 3221224624 3221223484 134558259 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1076 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1140.04
Current children cumulated vsize (Kb) 5916

[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.68 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1113 0 0 0 113928 1063 0 0 25 0 1 0 1858835607 6057984 1079 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1079 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1149.91
Current children cumulated vsize (Kb) 5916

[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1113 0 0 0 114912 1069 0 0 25 0 1 0 1858835607 6057984 1079 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1079 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1159.81
Current children cumulated vsize (Kb) 5916

[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1114 0 0 0 115898 1073 0 0 25 0 1 0 1858835607 6057984 1080 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1080 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1169.71
Current children cumulated vsize (Kb) 5916

[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 26093
Raw data (/proc/26093/stat): 26093 (Pueblo) R 26092 26093 20115 0 -1 0 1117 0 0 0 116884 1078 0 0 25 0 1 0 1858835607 6057984 1083 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26093/statm): 1479 1083 566 18 0 1461 0
[pid=26093] vsize: 5916
Current children cumulated CPU time (s) 1179.62
Current children cumulated vsize (Kb) 5916
One traced child (pid=26093) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1209.56
CPU time (s): 1189.02
CPU user time (s): 1178.18
CPU system time (s): 10.8414
CPU usage (%): 98.3019
Max. virtual memory (cumulated for all children) (Kb): 5916

Verifier Data

Verifier:	OK	26