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-5xp1.b.opb
MD5SUM24a8f38e94b07e6ca192a34c96c24c6e
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved YES
Number of terms in the objective function 465
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 465
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 465
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 benchmark73.2229
Number of variables464
Total number of constraints859
Number of constraints which are clauses845
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint149

Trace number 7636

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-20 13:16:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4746 boxname=wulflinc25 idbench=58 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  24a8f38e94b07e6ca192a34c96c24c6e  /oldhome/oroussel/tmp/wulflinc25/normalized-5xp1.b.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4746
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        859340 kB
Buffers:         32828 kB
Cached:         114932 kB
SwapCached:        888 kB
Active:          57508 kB
Inactive:        92856 kB
HighTotal:      131008 kB
HighFree:        18648 kB
LowTotal:       903652 kB
LowFree:        840692 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            19416 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 13:33:07 (client local time) WITH STATUS 30 IN 990.124 SECONDS
stats: 4746 0 990.124 30

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: 465 - #constraints read: 858
c optimum objective found = 12
c total time              : 990.11 s
s OPTIMUM FOUND
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 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465

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/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 1858851224 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 41 3 40 18 0 23 0
[pid=2523] 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.28 0.06 0.05 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 747 0 0 0 959 13 0 0 25 0 1 0 1858851224 4644864 713 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1134 713 566 18 0 1116 0
[pid=2523] vsize: 4536
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (Kb) 4536

[startup+20.0028 s]
Raw data (loadavg): 0.39 0.09 0.06 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 787 0 0 0 1923 27 0 0 25 0 1 0 1858851224 4784128 753 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1168 753 566 18 0 1150 0
[pid=2523] vsize: 4672
Current children cumulated CPU time (s) 19.5
Current children cumulated vsize (Kb) 4672

[startup+30.0033 s]
Raw data (loadavg): 0.48 0.12 0.07 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 860 0 0 0 2890 36 0 0 25 0 1 0 1858851224 5099520 826 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1245 826 566 18 0 1227 0
[pid=2523] vsize: 4980
Current children cumulated CPU time (s) 29.26
Current children cumulated vsize (Kb) 4980

[startup+40.003 s]
Raw data (loadavg): 0.56 0.15 0.08 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 878 0 0 0 3849 51 0 0 25 0 1 0 1858851224 5099520 844 4294967295 134512640 134578447 3221224624 3221223456 134528589 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1245 844 566 18 0 1227 0
[pid=2523] vsize: 4980
Current children cumulated CPU time (s) 39
Current children cumulated vsize (Kb) 4980

[startup+50.0035 s]
Raw data (loadavg): 0.63 0.18 0.09 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 884 0 0 0 4784 74 0 0 25 0 1 0 1858851224 5099520 850 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1245 850 566 18 0 1227 0
[pid=2523] vsize: 4980
Current children cumulated CPU time (s) 48.58
Current children cumulated vsize (Kb) 4980

[startup+60.0041 s]
Raw data (loadavg): 0.68 0.20 0.10 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 892 0 0 0 5704 102 0 0 25 0 1 0 1858851224 5238784 858 4294967295 134512640 134578447 3221224624 3221223536 134516803 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1279 858 566 18 0 1261 0
[pid=2523] vsize: 5116
Current children cumulated CPU time (s) 58.06
Current children cumulated vsize (Kb) 5116

[startup+70.0037 s]
Raw data (loadavg): 0.73 0.23 0.11 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 902 0 0 0 6641 122 0 0 25 0 1 0 1858851224 5185536 868 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1266 868 566 18 0 1248 0
[pid=2523] vsize: 5064
Current children cumulated CPU time (s) 67.63
Current children cumulated vsize (Kb) 5064

[startup+80.0043 s]
Raw data (loadavg): 0.77 0.26 0.12 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 957 0 0 0 7590 139 0 0 25 0 1 0 1858851224 5279744 894 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1289 894 566 18 0 1271 0
[pid=2523] vsize: 5156
Current children cumulated CPU time (s) 77.29
Current children cumulated vsize (Kb) 5156

[startup+90.0049 s]
Raw data (loadavg): 0.81 0.28 0.13 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 969 0 0 0 8517 162 0 0 25 0 1 0 1858851224 5316608 905 4294967295 134512640 134578447 3221224624 3221223432 134528629 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1298 905 566 18 0 1280 0
[pid=2523] vsize: 5192
Current children cumulated CPU time (s) 86.79
Current children cumulated vsize (Kb) 5192

[startup+100.006 s]
Raw data (loadavg): 0.84 0.30 0.13 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1006 0 0 0 9474 176 0 0 25 0 1 0 1858851224 5505024 942 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1344 942 566 18 0 1326 0
[pid=2523] vsize: 5376
Current children cumulated CPU time (s) 96.5
Current children cumulated vsize (Kb) 5376

[startup+110.006 s]
Raw data (loadavg): 0.86 0.33 0.14 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1010 0 0 0 10414 195 0 0 25 0 1 0 1858851224 5505024 946 4294967295 134512640 134578447 3221224624 3221223536 134557013 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1344 946 566 18 0 1326 0
[pid=2523] vsize: 5376
Current children cumulated CPU time (s) 106.09
Current children cumulated vsize (Kb) 5376

[startup+120.006 s]
Raw data (loadavg): 0.88 0.35 0.15 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1019 0 0 0 11362 212 0 0 25 0 1 0 1858851224 5644288 955 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1378 955 566 18 0 1360 0
[pid=2523] vsize: 5512
Current children cumulated CPU time (s) 115.74
Current children cumulated vsize (Kb) 5512

[startup+130.006 s]
Raw data (loadavg): 0.90 0.37 0.16 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1019 0 0 0 12306 231 0 0 25 0 1 0 1858851224 5644288 955 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1378 955 566 18 0 1360 0
[pid=2523] vsize: 5512
Current children cumulated CPU time (s) 125.37
Current children cumulated vsize (Kb) 5512

[startup+140.006 s]
Raw data (loadavg): 0.91 0.39 0.17 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1019 0 0 0 13247 251 0 0 25 0 1 0 1858851224 5644288 955 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1378 955 566 18 0 1360 0
[pid=2523] vsize: 5512
Current children cumulated CPU time (s) 134.98
Current children cumulated vsize (Kb) 5512

[startup+150.007 s]
Raw data (loadavg): 0.93 0.41 0.18 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1027 0 0 0 14202 265 0 0 25 0 1 0 1858851224 5644288 963 4294967295 134512640 134578447 3221224624 3221221344 134533051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1378 963 566 18 0 1360 0
[pid=2523] vsize: 5512
Current children cumulated CPU time (s) 144.67
Current children cumulated vsize (Kb) 5512

[startup+160.007 s]
Raw data (loadavg): 0.94 0.43 0.19 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1027 0 0 0 15156 281 0 0 25 0 1 0 1858851224 5644288 963 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1378 963 566 18 0 1360 0
[pid=2523] vsize: 5512
Current children cumulated CPU time (s) 154.37
Current children cumulated vsize (Kb) 5512

[startup+170.007 s]
Raw data (loadavg): 0.95 0.45 0.19 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1027 0 0 0 16106 298 0 0 25 0 1 0 1858851224 5578752 963 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1362 963 566 18 0 1344 0
[pid=2523] vsize: 5448
Current children cumulated CPU time (s) 164.04
Current children cumulated vsize (Kb) 5448

[startup+180.007 s]
Raw data (loadavg): 0.95 0.46 0.20 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1063 0 0 0 17050 317 0 0 25 0 1 0 1858851224 5713920 999 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1395 999 566 18 0 1377 0
[pid=2523] vsize: 5580
Current children cumulated CPU time (s) 173.67
Current children cumulated vsize (Kb) 5580

[startup+190.007 s]
Raw data (loadavg): 0.96 0.48 0.21 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1063 0 0 0 18011 328 0 0 25 0 1 0 1858851224 5713920 999 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1395 999 566 18 0 1377 0
[pid=2523] vsize: 5580
Current children cumulated CPU time (s) 183.39
Current children cumulated vsize (Kb) 5580

[startup+200.008 s]
Raw data (loadavg): 1.04 0.51 0.22 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1063 0 0 0 18958 344 0 0 25 0 1 0 1858851224 5713920 999 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1395 999 566 18 0 1377 0
[pid=2523] vsize: 5580
Current children cumulated CPU time (s) 193.02
Current children cumulated vsize (Kb) 5580

[startup+210.008 s]
Raw data (loadavg): 1.03 0.53 0.23 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1063 0 0 0 19884 368 0 0 25 0 1 0 1858851224 5713920 999 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1395 999 566 18 0 1377 0
[pid=2523] vsize: 5580
Current children cumulated CPU time (s) 202.52
Current children cumulated vsize (Kb) 5580

[startup+220.008 s]
Raw data (loadavg): 1.10 0.56 0.24 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1088 0 0 0 20831 388 0 0 25 0 1 0 1858851224 5816320 1024 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1420 1024 566 18 0 1402 0
[pid=2523] vsize: 5680
Current children cumulated CPU time (s) 212.19
Current children cumulated vsize (Kb) 5680

[startup+230.008 s]
Raw data (loadavg): 1.09 0.57 0.25 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1098 0 0 0 21773 408 0 0 25 0 1 0 1858851224 5918720 1034 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1445 1034 566 18 0 1427 0
[pid=2523] vsize: 5780
Current children cumulated CPU time (s) 221.81
Current children cumulated vsize (Kb) 5780

[startup+240.009 s]
Raw data (loadavg): 1.07 0.59 0.26 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1098 0 0 0 22729 423 0 0 25 0 1 0 1858851224 5910528 1034 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1443 1034 566 18 0 1425 0
[pid=2523] vsize: 5772
Current children cumulated CPU time (s) 231.52
Current children cumulated vsize (Kb) 5772

[startup+250.01 s]
Raw data (loadavg): 1.06 0.60 0.27 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1112 0 0 0 23688 436 0 0 25 0 1 0 1858851224 5910528 1048 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1443 1048 566 18 0 1425 0
[pid=2523] vsize: 5772
Current children cumulated CPU time (s) 241.24
Current children cumulated vsize (Kb) 5772

[startup+260.01 s]
Raw data (loadavg): 1.05 0.61 0.28 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1112 0 0 0 24637 453 0 0 25 0 1 0 1858851224 5910528 1048 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1443 1048 566 18 0 1425 0
[pid=2523] vsize: 5772
Current children cumulated CPU time (s) 250.9
Current children cumulated vsize (Kb) 5772

[startup+270.01 s]
Raw data (loadavg): 1.04 0.63 0.28 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1112 0 0 0 25604 463 0 0 25 0 1 0 1858851224 5906432 1048 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1442 1048 566 18 0 1424 0
[pid=2523] vsize: 5768
Current children cumulated CPU time (s) 260.67
Current children cumulated vsize (Kb) 5768

[startup+280.01 s]
Raw data (loadavg): 1.04 0.64 0.29 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1112 0 0 0 26555 479 0 0 25 0 1 0 1858851224 5898240 1047 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1440 1047 566 18 0 1422 0
[pid=2523] vsize: 5760
Current children cumulated CPU time (s) 270.34
Current children cumulated vsize (Kb) 5760

[startup+290.011 s]
Raw data (loadavg): 1.03 0.65 0.30 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1112 0 0 0 27507 495 0 0 25 0 1 0 1858851224 5898240 1047 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1440 1047 566 18 0 1422 0
[pid=2523] vsize: 5760
Current children cumulated CPU time (s) 280.02
Current children cumulated vsize (Kb) 5760

[startup+300.012 s]
Raw data (loadavg): 1.02 0.66 0.30 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1112 0 0 0 28455 510 0 0 25 0 1 0 1858851224 5898240 1047 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1440 1047 566 18 0 1422 0
[pid=2523] vsize: 5760
Current children cumulated CPU time (s) 289.65
Current children cumulated vsize (Kb) 5760

[startup+310.011 s]
Raw data (loadavg): 1.02 0.67 0.31 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1112 0 0 0 29411 523 0 0 25 0 1 0 1858851224 5898240 1047 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1440 1047 566 18 0 1422 0
[pid=2523] vsize: 5760
Current children cumulated CPU time (s) 299.34
Current children cumulated vsize (Kb) 5760

[startup+320.011 s]
Raw data (loadavg): 1.02 0.68 0.32 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1112 0 0 0 30365 538 0 0 25 0 1 0 1858851224 5898240 1047 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1440 1047 566 18 0 1422 0
[pid=2523] vsize: 5760
Current children cumulated CPU time (s) 309.03
Current children cumulated vsize (Kb) 5760

[startup+330.011 s]
Raw data (loadavg): 1.01 0.69 0.32 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1139 0 0 0 31305 555 0 0 25 0 1 0 1858851224 6037504 1074 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1474 1074 566 18 0 1456 0
[pid=2523] vsize: 5896
Current children cumulated CPU time (s) 318.6
Current children cumulated vsize (Kb) 5896

[startup+340.012 s]
Raw data (loadavg): 1.01 0.70 0.33 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1155 0 0 0 32256 572 0 0 25 0 1 0 1858851224 6049792 1084 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1477 1084 566 18 0 1459 0
[pid=2523] vsize: 5908
Current children cumulated CPU time (s) 328.28
Current children cumulated vsize (Kb) 5908

[startup+350.012 s]
Raw data (loadavg): 1.01 0.71 0.34 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1180 0 0 0 33228 581 0 0 25 0 1 0 1858851224 6184960 1109 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1510 1109 566 18 0 1492 0
[pid=2523] vsize: 6040
Current children cumulated CPU time (s) 338.09
Current children cumulated vsize (Kb) 6040

[startup+360.013 s]
Raw data (loadavg): 1.01 0.72 0.34 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1192 0 0 0 34180 597 0 0 25 0 1 0 1858851224 6295552 1121 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1537 1121 566 18 0 1519 0
[pid=2523] vsize: 6148
Current children cumulated CPU time (s) 347.77
Current children cumulated vsize (Kb) 6148

[startup+370.013 s]
Raw data (loadavg): 1.01 0.73 0.35 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 35145 609 0 0 25 0 1 0 1858851224 6295552 1143 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1537 1143 566 18 0 1519 0
[pid=2523] vsize: 6148
Current children cumulated CPU time (s) 357.54
Current children cumulated vsize (Kb) 6148

[startup+380.012 s]
Raw data (loadavg): 1.00 0.74 0.36 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 36096 626 0 0 25 0 1 0 1858851224 6295552 1143 4294967295 134512640 134578447 3221224624 3221223476 134555888 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1537 1143 566 18 0 1519 0
[pid=2523] vsize: 6148
Current children cumulated CPU time (s) 367.22
Current children cumulated vsize (Kb) 6148

[startup+390.013 s]
Raw data (loadavg): 1.00 0.74 0.36 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 37045 643 0 0 25 0 1 0 1858851224 6295552 1143 4294967295 134512640 134578447 3221224624 3221223456 134528371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1537 1143 566 18 0 1519 0
[pid=2523] vsize: 6148
Current children cumulated CPU time (s) 376.88
Current children cumulated vsize (Kb) 6148

[startup+400.013 s]
Raw data (loadavg): 1.00 0.75 0.37 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 37999 658 0 0 25 0 1 0 1858851224 6295552 1143 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1537 1143 566 18 0 1519 0
[pid=2523] vsize: 6148
Current children cumulated CPU time (s) 386.57
Current children cumulated vsize (Kb) 6148

[startup+410.013 s]
Raw data (loadavg): 1.00 0.76 0.38 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 38939 677 0 0 25 0 1 0 1858851224 6295552 1143 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1537 1143 566 18 0 1519 0
[pid=2523] vsize: 6148
Current children cumulated CPU time (s) 396.16
Current children cumulated vsize (Kb) 6148

[startup+420.013 s]
Raw data (loadavg): 1.00 0.77 0.38 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 39877 696 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 405.73
Current children cumulated vsize (Kb) 6140

[startup+430.013 s]
Raw data (loadavg): 1.00 0.77 0.39 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 40795 723 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 415.18
Current children cumulated vsize (Kb) 6140

[startup+440.013 s]
Raw data (loadavg): 1.00 0.78 0.39 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 41747 742 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221221808 134532619 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 424.89
Current children cumulated vsize (Kb) 6140

[startup+450.013 s]
Raw data (loadavg): 1.00 0.79 0.40 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 42686 760 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223296 134522622 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 434.46
Current children cumulated vsize (Kb) 6140

[startup+460.014 s]
Raw data (loadavg): 1.00 0.80 0.41 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 43613 783 0 0 23 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 443.96
Current children cumulated vsize (Kb) 6140

[startup+470.014 s]
Raw data (loadavg): 1.00 0.80 0.41 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 44558 801 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223200 134554060 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 453.59
Current children cumulated vsize (Kb) 6140

[startup+480.014 s]
Raw data (loadavg): 1.00 0.81 0.42 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 45482 827 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 463.09
Current children cumulated vsize (Kb) 6140

[startup+490.015 s]
Raw data (loadavg): 1.00 0.81 0.42 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 46426 846 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 472.72
Current children cumulated vsize (Kb) 6140

[startup+500.015 s]
Raw data (loadavg): 1.00 0.82 0.43 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 47355 870 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 482.25
Current children cumulated vsize (Kb) 6140

[startup+510.016 s]
Raw data (loadavg): 1.00 0.82 0.43 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 48283 895 0 0 23 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 491.78
Current children cumulated vsize (Kb) 6140

[startup+520.016 s]
Raw data (loadavg): 1.00 0.83 0.44 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1214 0 0 0 49239 908 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 501.47
Current children cumulated vsize (Kb) 6140

[startup+530.016 s]
Raw data (loadavg): 1.00 0.83 0.45 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1214 0 0 0 50186 925 0 0 25 0 1 0 1858851224 6287360 1142 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1535 1142 566 18 0 1517 0
[pid=2523] vsize: 6140
Current children cumulated CPU time (s) 511.11
Current children cumulated vsize (Kb) 6140

[startup+540.017 s]
Raw data (loadavg): 1.00 0.84 0.45 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1217 0 0 0 51133 945 0 0 25 0 1 0 1858851224 6422528 1145 4294967295 134512640 134578447 3221224624 3221223456 134528454 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1568 1145 566 18 0 1550 0
[pid=2523] vsize: 6272
Current children cumulated CPU time (s) 520.78
Current children cumulated vsize (Kb) 6272

[startup+550.017 s]
Raw data (loadavg): 1.00 0.84 0.46 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1217 0 0 0 52089 962 0 0 25 0 1 0 1858851224 6422528 1145 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1568 1145 566 18 0 1550 0
[pid=2523] vsize: 6272
Current children cumulated CPU time (s) 530.51
Current children cumulated vsize (Kb) 6272

[startup+560.018 s]
Raw data (loadavg): 1.00 0.85 0.46 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1219 0 0 0 53027 982 0 0 25 0 1 0 1858851224 6422528 1147 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1568 1147 566 18 0 1550 0
[pid=2523] vsize: 6272
Current children cumulated CPU time (s) 540.09
Current children cumulated vsize (Kb) 6272

[startup+570.018 s]
Raw data (loadavg): 1.00 0.85 0.47 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1219 0 0 0 53989 993 0 0 25 0 1 0 1858851224 6393856 1147 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1561 1147 566 18 0 1543 0
[pid=2523] vsize: 6244
Current children cumulated CPU time (s) 549.82
Current children cumulated vsize (Kb) 6244

[startup+580.018 s]
Raw data (loadavg): 1.00 0.86 0.47 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1219 0 0 0 54943 1009 0 0 25 0 1 0 1858851224 6381568 1147 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1558 1147 566 18 0 1540 0
[pid=2523] vsize: 6232
Current children cumulated CPU time (s) 559.52
Current children cumulated vsize (Kb) 6232

[startup+590.018 s]
Raw data (loadavg): 1.00 0.86 0.48 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1219 0 0 0 55898 1023 0 0 25 0 1 0 1858851224 6377472 1147 4294967295 134512640 134578447 3221224624 3221223408 134528801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1557 1147 566 18 0 1539 0
[pid=2523] vsize: 6228
Current children cumulated CPU time (s) 569.21
Current children cumulated vsize (Kb) 6228

[startup+600.018 s]
Raw data (loadavg): 1.00 0.87 0.48 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1219 0 0 0 56862 1035 0 0 25 0 1 0 1858851224 6369280 1147 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1555 1147 566 18 0 1537 0
[pid=2523] vsize: 6220
Current children cumulated CPU time (s) 578.97
Current children cumulated vsize (Kb) 6220

[startup+610.018 s]
Raw data (loadavg): 1.00 0.87 0.49 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1219 0 0 0 57794 1057 0 0 25 0 1 0 1858851224 6356992 1147 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1552 1147 566 18 0 1534 0
[pid=2523] vsize: 6208
Current children cumulated CPU time (s) 588.51
Current children cumulated vsize (Kb) 6208

[startup+620.018 s]
Raw data (loadavg): 1.00 0.87 0.49 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1237 0 0 0 58749 1073 0 0 25 0 1 0 1858851224 6475776 1165 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1581 1165 566 18 0 1563 0
[pid=2523] vsize: 6324
Current children cumulated CPU time (s) 598.22
Current children cumulated vsize (Kb) 6324

[startup+630.018 s]
Raw data (loadavg): 1.00 0.88 0.50 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1244 0 0 0 59700 1089 0 0 25 0 1 0 1858851224 6459392 1172 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1577 1172 566 18 0 1559 0
[pid=2523] vsize: 6308
Current children cumulated CPU time (s) 607.89
Current children cumulated vsize (Kb) 6308

[startup+640.019 s]
Raw data (loadavg): 1.00 0.88 0.50 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1244 0 0 0 60656 1104 0 0 25 0 1 0 1858851224 6459392 1172 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1577 1172 566 18 0 1559 0
[pid=2523] vsize: 6308
Current children cumulated CPU time (s) 617.6
Current children cumulated vsize (Kb) 6308

[startup+650.019 s]
Raw data (loadavg): 1.00 0.88 0.51 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1244 0 0 0 61598 1124 0 0 25 0 1 0 1858851224 6459392 1172 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1577 1172 566 18 0 1559 0
[pid=2523] vsize: 6308
Current children cumulated CPU time (s) 627.22
Current children cumulated vsize (Kb) 6308

[startup+660.02 s]
Raw data (loadavg): 1.00 0.89 0.51 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1271 0 0 0 62549 1141 0 0 25 0 1 0 1858851224 6598656 1199 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1611 1199 566 18 0 1593 0
[pid=2523] vsize: 6444
Current children cumulated CPU time (s) 636.9
Current children cumulated vsize (Kb) 6444

[startup+670.02 s]
Raw data (loadavg): 1.00 0.89 0.52 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1271 0 0 0 63495 1160 0 0 25 0 1 0 1858851224 6598656 1199 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1611 1199 566 18 0 1593 0
[pid=2523] vsize: 6444
Current children cumulated CPU time (s) 646.55
Current children cumulated vsize (Kb) 6444

[startup+680.02 s]
Raw data (loadavg): 1.00 0.89 0.52 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1271 0 0 0 64462 1170 0 0 25 0 1 0 1858851224 6598656 1199 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1611 1199 566 18 0 1593 0
[pid=2523] vsize: 6444
Current children cumulated CPU time (s) 656.32
Current children cumulated vsize (Kb) 6444

[startup+690.021 s]
Raw data (loadavg): 1.00 0.90 0.53 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1271 0 0 0 65413 1185 0 0 25 0 1 0 1858851224 6598656 1199 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1611 1199 566 18 0 1593 0
[pid=2523] vsize: 6444
Current children cumulated CPU time (s) 665.98
Current children cumulated vsize (Kb) 6444

[startup+700.021 s]
Raw data (loadavg): 1.00 0.90 0.53 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 66353 1204 0 0 25 0 1 0 1858851224 6647808 1230 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1623 1230 566 18 0 1605 0
[pid=2523] vsize: 6492
Current children cumulated CPU time (s) 675.57
Current children cumulated vsize (Kb) 6492

[startup+710.021 s]
Raw data (loadavg): 1.00 0.90 0.54 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 67310 1218 0 0 25 0 1 0 1858851224 6647808 1230 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1623 1230 566 18 0 1605 0
[pid=2523] vsize: 6492
Current children cumulated CPU time (s) 685.28
Current children cumulated vsize (Kb) 6492

[startup+720.021 s]
Raw data (loadavg): 1.00 0.91 0.54 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 68261 1235 0 0 25 0 1 0 1858851224 6647808 1230 4294967295 134512640 134578447 3221224624 3221222096 134532391 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1623 1230 566 18 0 1605 0
[pid=2523] vsize: 6492
Current children cumulated CPU time (s) 694.96
Current children cumulated vsize (Kb) 6492

[startup+730.021 s]
Raw data (loadavg): 1.00 0.91 0.55 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 69204 1253 0 0 25 0 1 0 1858851224 6504448 1195 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1588 1195 566 18 0 1570 0
[pid=2523] vsize: 6352
Current children cumulated CPU time (s) 704.57
Current children cumulated vsize (Kb) 6352

[startup+740.021 s]
Raw data (loadavg): 1.00 0.91 0.55 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 70145 1273 0 0 25 0 1 0 1858851224 6504448 1195 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1588 1195 566 18 0 1570 0
[pid=2523] vsize: 6352
Current children cumulated CPU time (s) 714.18
Current children cumulated vsize (Kb) 6352

[startup+750.021 s]
Raw data (loadavg): 1.00 0.91 0.55 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 71083 1293 0 0 25 0 1 0 1858851224 6500352 1194 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1587 1194 566 18 0 1569 0
[pid=2523] vsize: 6348
Current children cumulated CPU time (s) 723.76
Current children cumulated vsize (Kb) 6348

[startup+760.022 s]
Raw data (loadavg): 1.00 0.92 0.56 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 72042 1306 0 0 25 0 1 0 1858851224 6500352 1194 4294967295 134512640 134578447 3221224624 3221223536 134516768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1587 1194 566 18 0 1569 0
[pid=2523] vsize: 6348
Current children cumulated CPU time (s) 733.48
Current children cumulated vsize (Kb) 6348

[startup+770.022 s]
Raw data (loadavg): 1.00 0.92 0.56 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 73005 1317 0 0 25 0 1 0 1858851224 6500352 1194 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1587 1194 566 18 0 1569 0
[pid=2523] vsize: 6348
Current children cumulated CPU time (s) 743.22
Current children cumulated vsize (Kb) 6348

[startup+780.022 s]
Raw data (loadavg): 1.00 0.92 0.57 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 73973 1328 0 0 25 0 1 0 1858851224 6500352 1194 4294967295 134512640 134578447 3221224624 3221223692 134561235 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1587 1194 566 18 0 1569 0
[pid=2523] vsize: 6348
Current children cumulated CPU time (s) 753.01
Current children cumulated vsize (Kb) 6348

[startup+790.023 s]
Raw data (loadavg): 1.00 0.92 0.57 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 74924 1343 0 0 25 0 1 0 1858851224 6500352 1194 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1587 1194 566 18 0 1569 0
[pid=2523] vsize: 6348
Current children cumulated CPU time (s) 762.67
Current children cumulated vsize (Kb) 6348

[startup+800.023 s]
Raw data (loadavg): 1.08 0.94 0.58 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 75876 1359 0 0 25 0 1 0 1858851224 6500352 1194 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1587 1194 566 18 0 1569 0
[pid=2523] vsize: 6348
Current children cumulated CPU time (s) 772.35
Current children cumulated vsize (Kb) 6348

[startup+810.024 s]
Raw data (loadavg): 1.07 0.94 0.58 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 76817 1377 0 0 25 0 1 0 1858851224 6500352 1194 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1587 1194 566 18 0 1569 0
[pid=2523] vsize: 6348
Current children cumulated CPU time (s) 781.94
Current children cumulated vsize (Kb) 6348

[startup+820.024 s]
Raw data (loadavg): 1.06 0.94 0.59 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 77778 1390 0 0 25 0 1 0 1858851224 6500352 1194 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1587 1194 566 18 0 1569 0
[pid=2523] vsize: 6348
Current children cumulated CPU time (s) 791.68
Current children cumulated vsize (Kb) 6348

[startup+830.024 s]
Raw data (loadavg): 1.05 0.94 0.59 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1308 0 0 0 78727 1405 0 0 25 0 1 0 1858851224 6500352 1194 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1587 1194 566 18 0 1569 0
[pid=2523] vsize: 6348
Current children cumulated CPU time (s) 801.32
Current children cumulated vsize (Kb) 6348

[startup+840.025 s]
Raw data (loadavg): 1.04 0.94 0.59 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1324 0 0 0 79653 1429 0 0 25 0 1 0 1858851224 6635520 1210 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1620 1210 566 18 0 1602 0
[pid=2523] vsize: 6480
Current children cumulated CPU time (s) 810.82
Current children cumulated vsize (Kb) 6480

[startup+850.025 s]
Raw data (loadavg): 1.03 0.95 0.60 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1324 0 0 0 80588 1449 0 0 25 0 1 0 1858851224 6565888 1210 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1603 1210 566 18 0 1585 0
[pid=2523] vsize: 6412
Current children cumulated CPU time (s) 820.37
Current children cumulated vsize (Kb) 6412

[startup+860.026 s]
Raw data (loadavg): 1.03 0.95 0.60 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1324 0 0 0 81527 1467 0 0 25 0 1 0 1858851224 6565888 1210 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1603 1210 566 18 0 1585 0
[pid=2523] vsize: 6412
Current children cumulated CPU time (s) 829.94
Current children cumulated vsize (Kb) 6412

[startup+870.026 s]
Raw data (loadavg): 1.02 0.95 0.61 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1324 0 0 0 82466 1487 0 0 25 0 1 0 1858851224 6565888 1210 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1603 1210 566 18 0 1585 0
[pid=2523] vsize: 6412
Current children cumulated CPU time (s) 839.53
Current children cumulated vsize (Kb) 6412

[startup+880.026 s]
Raw data (loadavg): 1.02 0.95 0.61 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 83420 1503 0 0 25 0 1 0 1858851224 6639616 1216 4294967295 134512640 134578447 3221224624 3221223584 134558593 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1621 1216 566 18 0 1603 0
[pid=2523] vsize: 6484
Current children cumulated CPU time (s) 849.23
Current children cumulated vsize (Kb) 6484

[startup+890.027 s]
Raw data (loadavg): 1.02 0.95 0.61 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 84356 1523 0 0 25 0 1 0 1858851224 6639616 1216 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1621 1216 566 18 0 1603 0
[pid=2523] vsize: 6484
Current children cumulated CPU time (s) 858.79
Current children cumulated vsize (Kb) 6484

[startup+900.027 s]
Raw data (loadavg): 1.01 0.95 0.62 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 85294 1544 0 0 25 0 1 0 1858851224 6557696 1208 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1601 1208 566 18 0 1583 0
[pid=2523] vsize: 6404
Current children cumulated CPU time (s) 868.38
Current children cumulated vsize (Kb) 6404

[startup+910.027 s]
Raw data (loadavg): 1.01 0.95 0.62 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 86233 1564 0 0 25 0 1 0 1858851224 6557696 1208 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1601 1208 566 18 0 1583 0
[pid=2523] vsize: 6404
Current children cumulated CPU time (s) 877.97
Current children cumulated vsize (Kb) 6404

[startup+920.027 s]
Raw data (loadavg): 1.01 0.95 0.63 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 87166 1586 0 0 25 0 1 0 1858851224 6557696 1208 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1601 1208 566 18 0 1583 0
[pid=2523] vsize: 6404
Current children cumulated CPU time (s) 887.52
Current children cumulated vsize (Kb) 6404

[startup+930.027 s]
Raw data (loadavg): 1.01 0.95 0.63 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 88098 1612 0 0 25 0 1 0 1858851224 6557696 1208 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1601 1208 566 18 0 1583 0
[pid=2523] vsize: 6404
Current children cumulated CPU time (s) 897.1
Current children cumulated vsize (Kb) 6404

[startup+940.027 s]
Raw data (loadavg): 1.00 0.95 0.63 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 89052 1628 0 0 25 0 1 0 1858851224 6557696 1208 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1601 1208 566 18 0 1583 0
[pid=2523] vsize: 6404
Current children cumulated CPU time (s) 906.8
Current children cumulated vsize (Kb) 6404

[startup+950.027 s]
Raw data (loadavg): 1.00 0.96 0.64 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 90007 1643 0 0 25 0 1 0 1858851224 6557696 1208 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1601 1208 566 18 0 1583 0
[pid=2523] vsize: 6404
Current children cumulated CPU time (s) 916.5
Current children cumulated vsize (Kb) 6404

[startup+960.028 s]
Raw data (loadavg): 1.00 0.96 0.64 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 90961 1658 0 0 25 0 1 0 1858851224 6557696 1208 4294967295 134512640 134578447 3221224624 3221221616 134533073 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1601 1208 566 18 0 1583 0
[pid=2523] vsize: 6404
Current children cumulated CPU time (s) 926.19
Current children cumulated vsize (Kb) 6404

[startup+970.028 s]
Raw data (loadavg): 1.00 0.96 0.64 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1330 0 0 0 91913 1672 0 0 25 0 1 0 1858851224 6557696 1208 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1601 1208 566 18 0 1583 0
[pid=2523] vsize: 6404
Current children cumulated CPU time (s) 935.85
Current children cumulated vsize (Kb) 6404

[startup+980.028 s]
Raw data (loadavg): 1.00 0.96 0.65 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1339 0 0 0 92848 1695 0 0 25 0 1 0 1858851224 6696960 1217 4294967295 134512640 134578447 3221224624 3221223536 134516761 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1635 1217 566 18 0 1617 0
[pid=2523] vsize: 6540
Current children cumulated CPU time (s) 945.43
Current children cumulated vsize (Kb) 6540

[startup+990.029 s]
Raw data (loadavg): 1.00 0.96 0.65 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1339 0 0 0 93799 1711 0 0 25 0 1 0 1858851224 6696960 1217 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1635 1217 566 18 0 1617 0
[pid=2523] vsize: 6540
Current children cumulated CPU time (s) 955.1
Current children cumulated vsize (Kb) 6540

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.96 0.65 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1339 0 0 0 94750 1728 0 0 25 0 1 0 1858851224 6688768 1217 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1633 1217 566 18 0 1615 0
[pid=2523] vsize: 6532
Current children cumulated CPU time (s) 964.78
Current children cumulated vsize (Kb) 6532

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.96 0.65 1/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) T 2522 2523 4419 0 -1 0 1339 0 0 0 95710 1742 0 0 25 0 1 0 1858851224 6688768 1217 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2523/statm): 1633 1217 566 18 0 1615 0
[pid=2523] vsize: 6532
Current children cumulated CPU time (s) 974.52
Current children cumulated vsize (Kb) 6532

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.96 0.66 2/56 2523
Raw data (/proc/2523/stat): 2523 (Pueblo) R 2522 2523 4419 0 -1 0 1339 0 0 0 96639 1766 0 0 25 0 1 0 1858851224 6688768 1217 4294967295 134512640 134578447 3221224624 3221223496 134558149 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2523/statm): 1633 1217 566 18 0 1615 0
[pid=2523] vsize: 6532
Current children cumulated CPU time (s) 984.05
Current children cumulated vsize (Kb) 6532
One traced child (pid=2523) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 1026.31
CPU time (s): 990.124
CPU user time (s): 972.358
CPU system time (s): 17.7653
CPU usage (%): 96.4743
Max. virtual memory (cumulated for all children) (Kb): 6540

Verifier Data

Verifier:	OK	12