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/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
MD5SUMfe8f615a95a6852516985b8e3e78bd85
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4561
Optimality of the best value was proved YES
Number of terms in the objective function 577
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 24510
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 24510
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark45.2981
Number of variables577
Total number of constraints1322
Number of constraints which are clauses1306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint2
Maximum length of a constraint17

Trace number 7813

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-20 14:13:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4942 boxname=wulflinc9 idbench=254 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  fe8f615a95a6852516985b8e3e78bd85  /oldhome/oroussel/tmp/wulflinc9/normalized-my_adder.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4942
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        833996 kB
Buffers:         37780 kB
Cached:         133692 kB
SwapCached:       1044 kB
Active:          67424 kB
Inactive:       106804 kB
HighTotal:      131008 kB
HighFree:        12740 kB
LowTotal:       903652 kB
LowFree:        821256 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            20824 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:34:39 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 4942 0 1189.01 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: 577 - #constraints read: 1323
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 -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 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577

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/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1800939634 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 41 3 40 18 0 23 0
[pid=7981] 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.0026 s]
Raw data (loadavg): 0.93 0.98 0.87 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 604 0 0 0 835 57 0 0 25 0 1 0 1800939634 3960832 570 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 967 570 566 18 0 949 0
[pid=7981] vsize: 3868
Current children cumulated CPU time (s) 8.92
Current children cumulated vsize (Kb) 3868

[startup+20.0034 s]
Raw data (loadavg): 0.94 0.98 0.87 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 666 0 0 0 1716 96 0 0 25 0 1 0 1800939634 4218880 632 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1030 632 566 18 0 1012 0
[pid=7981] vsize: 4120
Current children cumulated CPU time (s) 18.12
Current children cumulated vsize (Kb) 4120

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.98 0.87 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 713 0 0 0 2594 139 0 0 25 0 1 0 1800939634 4485120 679 4294967295 134512640 134578447 3221224624 3221223364 1075285088 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1095 679 566 18 0 1077 0
[pid=7981] vsize: 4380
Current children cumulated CPU time (s) 27.33
Current children cumulated vsize (Kb) 4380

[startup+40.0049 s]
Raw data (loadavg): 0.96 0.98 0.88 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 726 0 0 0 3483 176 0 0 24 0 1 0 1800939634 4485120 692 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1095 692 566 18 0 1077 0
[pid=7981] vsize: 4380
Current children cumulated CPU time (s) 36.59
Current children cumulated vsize (Kb) 4380

[startup+50.0066 s]
Raw data (loadavg): 0.96 0.98 0.88 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 777 0 0 0 4352 220 0 0 25 0 1 0 1800939634 4747264 743 4294967295 134512640 134578447 3221224624 3221223468 134558154 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1159 743 566 18 0 1141 0
[pid=7981] vsize: 4636
Current children cumulated CPU time (s) 45.72
Current children cumulated vsize (Kb) 4636

[startup+60.0074 s]
Raw data (loadavg): 0.97 0.98 0.88 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 788 0 0 0 5229 263 0 0 25 0 1 0 1800939634 4747264 754 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1159 754 566 18 0 1141 0
[pid=7981] vsize: 4636
Current children cumulated CPU time (s) 54.92
Current children cumulated vsize (Kb) 4636

[startup+70.0081 s]
Raw data (loadavg): 0.97 0.98 0.88 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 830 0 0 0 6090 311 0 0 24 0 1 0 1800939634 5009408 796 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1223 796 566 18 0 1205 0
[pid=7981] vsize: 4892
Current children cumulated CPU time (s) 64.01
Current children cumulated vsize (Kb) 4892

[startup+80.0089 s]
Raw data (loadavg): 0.98 0.98 0.88 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 843 0 0 0 6962 355 0 0 19 0 1 0 1800939634 5009408 809 4294967295 134512640 134578447 3221224624 3221223488 134517698 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1223 809 566 18 0 1205 0
[pid=7981] vsize: 4892
Current children cumulated CPU time (s) 73.17
Current children cumulated vsize (Kb) 4892

[startup+90.0096 s]
Raw data (loadavg): 0.98 0.98 0.88 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 865 0 0 0 7833 397 0 0 22 0 1 0 1800939634 5144576 831 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1256 831 566 18 0 1238 0
[pid=7981] vsize: 5024
Current children cumulated CPU time (s) 82.3
Current children cumulated vsize (Kb) 5024

[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.88 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 895 0 0 0 8715 436 0 0 19 0 1 0 1800939634 5275648 861 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1288 861 566 18 0 1270 0
[pid=7981] vsize: 5152
Current children cumulated CPU time (s) 91.51
Current children cumulated vsize (Kb) 5152

[startup+110.01 s]
Raw data (loadavg): 1.06 1.00 0.89 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 895 0 0 0 9634 465 0 0 25 0 1 0 1800939634 5255168 861 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1283 861 566 18 0 1265 0
[pid=7981] vsize: 5132
Current children cumulated CPU time (s) 100.99
Current children cumulated vsize (Kb) 5132

[startup+120.012 s]
Raw data (loadavg): 1.05 1.00 0.89 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 913 0 0 0 10543 496 0 0 25 0 1 0 1800939634 5255168 879 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1283 879 566 18 0 1265 0
[pid=7981] vsize: 5132
Current children cumulated CPU time (s) 110.39
Current children cumulated vsize (Kb) 5132

[startup+130.013 s]
Raw data (loadavg): 1.05 1.00 0.89 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 921 0 0 0 11454 527 0 0 25 0 1 0 1800939634 5394432 887 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1317 887 566 18 0 1299 0
[pid=7981] vsize: 5268
Current children cumulated CPU time (s) 119.81
Current children cumulated vsize (Kb) 5268

[startup+140.013 s]
Raw data (loadavg): 1.04 1.00 0.89 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 924 0 0 0 12362 562 0 0 25 0 1 0 1800939634 5394432 890 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1317 890 566 18 0 1299 0
[pid=7981] vsize: 5268
Current children cumulated CPU time (s) 129.24
Current children cumulated vsize (Kb) 5268

[startup+150.014 s]
Raw data (loadavg): 1.03 1.00 0.89 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 976 0 0 0 13220 608 0 0 24 0 1 0 1800939634 5525504 942 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1349 942 566 18 0 1331 0
[pid=7981] vsize: 5396
Current children cumulated CPU time (s) 138.28
Current children cumulated vsize (Kb) 5396

[startup+160.015 s]
Raw data (loadavg): 1.03 1.00 0.89 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 981 0 0 0 14077 660 0 0 25 0 1 0 1800939634 5525504 947 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1349 947 566 18 0 1331 0
[pid=7981] vsize: 5396
Current children cumulated CPU time (s) 147.37
Current children cumulated vsize (Kb) 5396

[startup+170.015 s]
Raw data (loadavg): 1.02 1.00 0.89 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 996 0 0 0 14937 708 0 0 25 0 1 0 1800939634 5656576 962 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1381 962 566 18 0 1363 0
[pid=7981] vsize: 5524
Current children cumulated CPU time (s) 156.45
Current children cumulated vsize (Kb) 5524

[startup+180.015 s]
Raw data (loadavg): 1.09 1.02 0.90 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1002 0 0 0 15807 753 0 0 25 0 1 0 1800939634 5656576 968 4294967295 134512640 134578447 3221224624 3221223460 1075289825 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1381 968 566 18 0 1363 0
[pid=7981] vsize: 5524
Current children cumulated CPU time (s) 165.6
Current children cumulated vsize (Kb) 5524

[startup+190.017 s]
Raw data (loadavg): 1.15 1.03 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1006 0 0 0 16683 795 0 0 25 0 1 0 1800939634 5656576 972 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1381 972 566 18 0 1363 0
[pid=7981] vsize: 5524
Current children cumulated CPU time (s) 174.78
Current children cumulated vsize (Kb) 5524

[startup+200.017 s]
Raw data (loadavg): 1.13 1.03 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1019 0 0 0 17559 835 0 0 25 0 1 0 1800939634 5783552 985 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1412 985 566 18 0 1394 0
[pid=7981] vsize: 5648
Current children cumulated CPU time (s) 183.94
Current children cumulated vsize (Kb) 5648

[startup+210.018 s]
Raw data (loadavg): 1.11 1.03 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1022 0 0 0 18437 876 0 0 25 0 1 0 1800939634 5779456 988 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1411 988 566 18 0 1393 0
[pid=7981] vsize: 5644
Current children cumulated CPU time (s) 193.13
Current children cumulated vsize (Kb) 5644

[startup+220.018 s]
Raw data (loadavg): 1.09 1.03 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1071 0 0 0 19306 921 0 0 25 0 1 0 1800939634 5910528 1037 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1443 1037 566 18 0 1425 0
[pid=7981] vsize: 5772
Current children cumulated CPU time (s) 202.27
Current children cumulated vsize (Kb) 5772

[startup+230.018 s]
Raw data (loadavg): 1.08 1.03 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1089 0 0 0 20202 957 0 0 25 0 1 0 1800939634 6041600 1055 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1475 1055 566 18 0 1457 0
[pid=7981] vsize: 5900
Current children cumulated CPU time (s) 211.59
Current children cumulated vsize (Kb) 5900

[startup+240.019 s]
Raw data (loadavg): 1.06 1.03 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1100 0 0 0 21110 989 0 0 25 0 1 0 1800939634 6041600 1066 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1475 1066 566 18 0 1457 0
[pid=7981] vsize: 5900
Current children cumulated CPU time (s) 220.99
Current children cumulated vsize (Kb) 5900

[startup+250.02 s]
Raw data (loadavg): 1.05 1.02 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1100 0 0 0 22016 1020 0 0 25 0 1 0 1800939634 6041600 1066 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1475 1066 566 18 0 1457 0
[pid=7981] vsize: 5900
Current children cumulated CPU time (s) 230.36
Current children cumulated vsize (Kb) 5900

[startup+260.019 s]
Raw data (loadavg): 1.04 1.02 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1100 0 0 0 22908 1057 0 0 25 0 1 0 1800939634 6041600 1066 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1475 1066 566 18 0 1457 0
[pid=7981] vsize: 5900
Current children cumulated CPU time (s) 239.65
Current children cumulated vsize (Kb) 5900

[startup+270.02 s]
Raw data (loadavg): 1.04 1.02 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1103 0 0 0 23797 1098 0 0 25 0 1 0 1800939634 6041600 1069 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1475 1069 566 18 0 1457 0
[pid=7981] vsize: 5900
Current children cumulated CPU time (s) 248.95
Current children cumulated vsize (Kb) 5900

[startup+280.021 s]
Raw data (loadavg): 1.03 1.02 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1115 0 0 0 24697 1132 0 0 25 0 1 0 1800939634 6172672 1081 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1507 1081 566 18 0 1489 0
[pid=7981] vsize: 6028
Current children cumulated CPU time (s) 258.29
Current children cumulated vsize (Kb) 6028

[startup+290.022 s]
Raw data (loadavg): 1.03 1.02 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1115 0 0 0 25606 1164 0 0 25 0 1 0 1800939634 6152192 1081 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1502 1081 566 18 0 1484 0
[pid=7981] vsize: 6008
Current children cumulated CPU time (s) 267.7
Current children cumulated vsize (Kb) 6008

[startup+300.022 s]
Raw data (loadavg): 1.02 1.02 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1137 0 0 0 26516 1197 0 0 25 0 1 0 1800939634 6246400 1103 4294967295 134512640 134578447 3221224624 3221223552 134552645 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1525 1103 566 18 0 1507 0
[pid=7981] vsize: 6100
Current children cumulated CPU time (s) 277.13
Current children cumulated vsize (Kb) 6100

[startup+310.023 s]
Raw data (loadavg): 1.02 1.02 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1137 0 0 0 27428 1226 0 0 25 0 1 0 1800939634 6246400 1103 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1525 1103 566 18 0 1507 0
[pid=7981] vsize: 6100
Current children cumulated CPU time (s) 286.54
Current children cumulated vsize (Kb) 6100

[startup+320.024 s]
Raw data (loadavg): 1.01 1.02 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1137 0 0 0 28342 1254 0 0 21 0 1 0 1800939634 6242304 1103 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1524 1103 566 18 0 1506 0
[pid=7981] vsize: 6096
Current children cumulated CPU time (s) 295.96
Current children cumulated vsize (Kb) 6096

[startup+330.025 s]
Raw data (loadavg): 1.01 1.02 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1175 0 0 0 29233 1291 0 0 25 0 1 0 1800939634 6373376 1141 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1556 1141 566 18 0 1538 0
[pid=7981] vsize: 6224
Current children cumulated CPU time (s) 305.24
Current children cumulated vsize (Kb) 6224

[startup+340.025 s]
Raw data (loadavg): 1.01 1.02 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1199 0 0 0 30099 1336 0 0 23 0 1 0 1800939634 6504448 1165 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1588 1165 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 314.35
Current children cumulated vsize (Kb) 6352

[startup+350.025 s]
Raw data (loadavg): 1.01 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1204 0 0 0 30972 1377 0 0 25 0 1 0 1800939634 6504448 1170 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1588 1170 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 323.49
Current children cumulated vsize (Kb) 6352

[startup+360.026 s]
Raw data (loadavg): 1.01 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1204 0 0 0 31837 1424 0 0 19 0 1 0 1800939634 6504448 1170 4294967295 134512640 134578447 3221224624 3221223520 134519893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1588 1170 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 332.61
Current children cumulated vsize (Kb) 6352

[startup+370.027 s]
Raw data (loadavg): 1.00 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1204 0 0 0 32700 1471 0 0 21 0 1 0 1800939634 6504448 1170 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1588 1170 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 341.71
Current children cumulated vsize (Kb) 6352

[startup+380.026 s]
Raw data (loadavg): 1.00 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1210 0 0 0 33548 1521 0 0 18 0 1 0 1800939634 6504448 1176 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1588 1176 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 350.69
Current children cumulated vsize (Kb) 6352

[startup+390.027 s]
Raw data (loadavg): 1.00 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1220 0 0 0 34402 1572 0 0 23 0 1 0 1800939634 6504448 1186 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1588 1186 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 359.74
Current children cumulated vsize (Kb) 6352

[startup+400.029 s]
Raw data (loadavg): 1.00 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1220 0 0 0 35246 1621 0 0 22 0 1 0 1800939634 6504448 1186 4294967295 134512640 134578447 3221224624 3221223520 134519885 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1588 1186 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 368.67
Current children cumulated vsize (Kb) 6352

[startup+410.029 s]
Raw data (loadavg): 1.00 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1220 0 0 0 36095 1670 0 0 23 0 1 0 1800939634 6504448 1186 4294967295 134512640 134578447 3221224624 3221223456 134528418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1588 1186 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 377.65
Current children cumulated vsize (Kb) 6352

[startup+420.029 s]
Raw data (loadavg): 1.00 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1220 0 0 0 36956 1716 0 0 20 0 1 0 1800939634 6504448 1186 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1588 1186 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 386.72
Current children cumulated vsize (Kb) 6352

[startup+430.03 s]
Raw data (loadavg): 1.00 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1220 0 0 0 37808 1767 0 0 22 0 1 0 1800939634 6504448 1186 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1588 1186 566 18 0 1570 0
[pid=7981] vsize: 6352
Current children cumulated CPU time (s) 395.75
Current children cumulated vsize (Kb) 6352

[startup+440.031 s]
Raw data (loadavg): 1.00 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1222 0 0 0 38666 1813 0 0 17 0 1 0 1800939634 6635520 1188 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1620 1188 566 18 0 1602 0
[pid=7981] vsize: 6480
Current children cumulated CPU time (s) 404.79
Current children cumulated vsize (Kb) 6480

[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1222 0 0 0 39542 1855 0 0 25 0 1 0 1800939634 6635520 1188 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1620 1188 566 18 0 1602 0
[pid=7981] vsize: 6480
Current children cumulated CPU time (s) 413.97
Current children cumulated vsize (Kb) 6480

[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1222 0 0 0 40407 1904 0 0 25 0 1 0 1800939634 6635520 1188 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1620 1188 566 18 0 1602 0
[pid=7981] vsize: 6480
Current children cumulated CPU time (s) 423.11
Current children cumulated vsize (Kb) 6480

[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1229 0 0 0 41265 1951 0 0 25 0 1 0 1800939634 6635520 1195 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1620 1195 566 18 0 1602 0
[pid=7981] vsize: 6480
Current children cumulated CPU time (s) 432.16
Current children cumulated vsize (Kb) 6480

[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1229 0 0 0 42121 2000 0 0 24 0 1 0 1800939634 6635520 1195 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1620 1195 566 18 0 1602 0
[pid=7981] vsize: 6480
Current children cumulated CPU time (s) 441.21
Current children cumulated vsize (Kb) 6480

[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1229 0 0 0 42984 2045 0 0 23 0 1 0 1800939634 6635520 1195 4294967295 134512640 134578447 3221224624 3221223536 134557233 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1620 1195 566 18 0 1602 0
[pid=7981] vsize: 6480
Current children cumulated CPU time (s) 450.29
Current children cumulated vsize (Kb) 6480

[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1229 0 0 0 43844 2094 0 0 22 0 1 0 1800939634 6635520 1195 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1620 1195 566 18 0 1602 0
[pid=7981] vsize: 6480
Current children cumulated CPU time (s) 459.38
Current children cumulated vsize (Kb) 6480

[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1261 0 0 0 44722 2136 0 0 21 0 1 0 1800939634 6766592 1227 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1652 1227 566 18 0 1634 0
[pid=7981] vsize: 6608
Current children cumulated CPU time (s) 468.58
Current children cumulated vsize (Kb) 6608

[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1263 0 0 0 45618 2172 0 0 25 0 1 0 1800939634 6766592 1229 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1652 1229 566 18 0 1634 0
[pid=7981] vsize: 6608
Current children cumulated CPU time (s) 477.9
Current children cumulated vsize (Kb) 6608

[startup+530.036 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1275 0 0 0 46502 2213 0 0 25 0 1 0 1800939634 6766592 1241 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1652 1241 566 18 0 1634 0
[pid=7981] vsize: 6608
Current children cumulated CPU time (s) 487.15
Current children cumulated vsize (Kb) 6608

[startup+540.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1276 0 0 0 47384 2254 0 0 17 0 1 0 1800939634 6766592 1242 4294967295 134512640 134578447 3221224624 3221223504 134527820 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1652 1242 566 18 0 1634 0
[pid=7981] vsize: 6608
Current children cumulated CPU time (s) 496.38
Current children cumulated vsize (Kb) 6608

[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1282 0 0 0 48265 2295 0 0 25 0 1 0 1800939634 6766592 1248 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1652 1248 566 18 0 1634 0
[pid=7981] vsize: 6608
Current children cumulated CPU time (s) 505.6
Current children cumulated vsize (Kb) 6608

[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1284 0 0 0 49145 2336 0 0 25 0 1 0 1800939634 6766592 1250 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1652 1250 566 18 0 1634 0
[pid=7981] vsize: 6608
Current children cumulated CPU time (s) 514.81
Current children cumulated vsize (Kb) 6608

[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1284 0 0 0 50035 2373 0 0 25 0 1 0 1800939634 6766592 1250 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1652 1250 566 18 0 1634 0
[pid=7981] vsize: 6608
Current children cumulated CPU time (s) 524.08
Current children cumulated vsize (Kb) 6608

[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1290 0 0 0 50910 2416 0 0 25 0 1 0 1800939634 6897664 1256 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1684 1256 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 533.26
Current children cumulated vsize (Kb) 6736

[startup+590.039 s]
Raw data (loadavg): 1.08 1.02 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1290 0 0 0 51790 2458 0 0 25 0 1 0 1800939634 6897664 1256 4294967295 134512640 134578447 3221224624 3221223552 134516652 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1684 1256 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 542.48
Current children cumulated vsize (Kb) 6736

[startup+600.039 s]
Raw data (loadavg): 1.07 1.02 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1290 0 0 0 52679 2497 0 0 22 0 1 0 1800939634 6897664 1256 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1684 1256 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 551.76
Current children cumulated vsize (Kb) 6736

[startup+610.04 s]
Raw data (loadavg): 1.06 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1290 0 0 0 53573 2532 0 0 25 0 1 0 1800939634 6897664 1256 4294967295 134512640 134578447 3221224624 3221223576 134558611 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1684 1256 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 561.05
Current children cumulated vsize (Kb) 6736

[startup+620.041 s]
Raw data (loadavg): 1.05 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1293 0 0 0 54464 2567 0 0 25 0 1 0 1800939634 6897664 1259 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1684 1259 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 570.31
Current children cumulated vsize (Kb) 6736

[startup+630.04 s]
Raw data (loadavg): 1.04 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1293 0 0 0 55351 2604 0 0 25 0 1 0 1800939634 6897664 1259 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1684 1259 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 579.55
Current children cumulated vsize (Kb) 6736

[startup+640.042 s]
Raw data (loadavg): 1.03 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1294 0 0 0 56228 2643 0 0 25 0 1 0 1800939634 6897664 1260 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1684 1260 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 588.71
Current children cumulated vsize (Kb) 6736

[startup+650.043 s]
Raw data (loadavg): 1.03 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1302 0 0 0 57107 2684 0 0 25 0 1 0 1800939634 6897664 1268 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1684 1268 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 597.91
Current children cumulated vsize (Kb) 6736

[startup+660.043 s]
Raw data (loadavg): 1.02 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1302 0 0 0 57991 2729 0 0 25 0 1 0 1800939634 6897664 1268 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1684 1268 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 607.2
Current children cumulated vsize (Kb) 6736

[startup+670.043 s]
Raw data (loadavg): 1.02 1.01 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1302 0 0 0 58886 2763 0 0 25 0 1 0 1800939634 6897664 1268 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1684 1268 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 616.49
Current children cumulated vsize (Kb) 6736

[startup+680.044 s]
Raw data (loadavg): 1.02 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1302 0 0 0 59774 2801 0 0 25 0 1 0 1800939634 6897664 1268 4294967295 134512640 134578447 3221224624 3221223456 134558360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1684 1268 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 625.75
Current children cumulated vsize (Kb) 6736

[startup+690.045 s]
Raw data (loadavg): 1.01 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1302 0 0 0 60669 2836 0 0 21 0 1 0 1800939634 6897664 1268 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1684 1268 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 635.05
Current children cumulated vsize (Kb) 6736

[startup+700.046 s]
Raw data (loadavg): 1.01 1.01 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1302 0 0 0 61571 2870 0 0 23 0 1 0 1800939634 6897664 1268 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1684 1268 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 644.41
Current children cumulated vsize (Kb) 6736

[startup+710.046 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1305 0 0 0 62482 2900 0 0 25 0 1 0 1800939634 6897664 1271 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1684 1271 566 18 0 1666 0
[pid=7981] vsize: 6736
Current children cumulated CPU time (s) 653.82
Current children cumulated vsize (Kb) 6736

[startup+720.047 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1323 0 0 0 63385 2933 0 0 25 0 1 0 1800939634 7028736 1289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1716 1289 566 18 0 1698 0
[pid=7981] vsize: 6864
Current children cumulated CPU time (s) 663.18
Current children cumulated vsize (Kb) 6864

[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1325 0 0 0 64286 2967 0 0 25 0 1 0 1800939634 7028736 1291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1716 1291 566 18 0 1698 0
[pid=7981] vsize: 6864
Current children cumulated CPU time (s) 672.53
Current children cumulated vsize (Kb) 6864

[startup+740.049 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1326 0 0 0 65186 3002 0 0 17 0 1 0 1800939634 7028736 1292 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1716 1292 566 18 0 1698 0
[pid=7981] vsize: 6864
Current children cumulated CPU time (s) 681.88
Current children cumulated vsize (Kb) 6864

[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1326 0 0 0 66083 3038 0 0 25 0 1 0 1800939634 7028736 1292 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1716 1292 566 18 0 1698 0
[pid=7981] vsize: 6864
Current children cumulated CPU time (s) 691.21
Current children cumulated vsize (Kb) 6864

[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1326 0 0 0 66981 3073 0 0 25 0 1 0 1800939634 7028736 1292 4294967295 134512640 134578447 3221224624 3221223500 134527821 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1716 1292 566 18 0 1698 0
[pid=7981] vsize: 6864
Current children cumulated CPU time (s) 700.54
Current children cumulated vsize (Kb) 6864

[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1347 0 0 0 67862 3110 0 0 25 0 1 0 1800939634 7028736 1313 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1716 1313 566 18 0 1698 0
[pid=7981] vsize: 6864
Current children cumulated CPU time (s) 709.72
Current children cumulated vsize (Kb) 6864

[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1362 0 0 0 68748 3151 0 0 25 0 1 0 1800939634 7163904 1328 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1749 1328 566 18 0 1731 0
[pid=7981] vsize: 6996
Current children cumulated CPU time (s) 718.99
Current children cumulated vsize (Kb) 6996

[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1372 0 0 0 69625 3197 0 0 20 0 1 0 1800939634 7163904 1338 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1749 1338 566 18 0 1731 0
[pid=7981] vsize: 6996
Current children cumulated CPU time (s) 728.22
Current children cumulated vsize (Kb) 6996

[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1386 0 0 0 70509 3236 0 0 25 0 1 0 1800939634 7294976 1352 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1781 1352 566 18 0 1763 0
[pid=7981] vsize: 7124
Current children cumulated CPU time (s) 737.45
Current children cumulated vsize (Kb) 7124

[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1421 0 0 0 71399 3271 0 0 20 0 1 0 1800939634 7426048 1387 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1813 1387 566 18 0 1795 0
[pid=7981] vsize: 7252
Current children cumulated CPU time (s) 746.7
Current children cumulated vsize (Kb) 7252

[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1421 0 0 0 72294 3309 0 0 25 0 1 0 1800939634 7344128 1387 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1793 1387 566 18 0 1775 0
[pid=7981] vsize: 7172
Current children cumulated CPU time (s) 756.03
Current children cumulated vsize (Kb) 7172

[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1421 0 0 0 73194 3343 0 0 25 0 1 0 1800939634 7344128 1387 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1793 1387 566 18 0 1775 0
[pid=7981] vsize: 7172
Current children cumulated CPU time (s) 765.37
Current children cumulated vsize (Kb) 7172

[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1421 0 0 0 74086 3376 0 0 25 0 1 0 1800939634 7344128 1387 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1793 1387 566 18 0 1775 0
[pid=7981] vsize: 7172
Current children cumulated CPU time (s) 774.62
Current children cumulated vsize (Kb) 7172

[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1421 0 0 0 74965 3416 0 0 25 0 1 0 1800939634 7344128 1387 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1793 1387 566 18 0 1775 0
[pid=7981] vsize: 7172
Current children cumulated CPU time (s) 783.81
Current children cumulated vsize (Kb) 7172

[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1421 0 0 0 75845 3456 0 0 25 0 1 0 1800939634 7344128 1387 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1793 1387 566 18 0 1775 0
[pid=7981] vsize: 7172
Current children cumulated CPU time (s) 793.01
Current children cumulated vsize (Kb) 7172

[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1441 0 0 0 76726 3496 0 0 24 0 1 0 1800939634 7475200 1407 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1825 1407 566 18 0 1807 0
[pid=7981] vsize: 7300
Current children cumulated CPU time (s) 802.22
Current children cumulated vsize (Kb) 7300

[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1441 0 0 0 77608 3535 0 0 24 0 1 0 1800939634 7471104 1407 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1407 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 811.43
Current children cumulated vsize (Kb) 7296

[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 78490 3573 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 820.63
Current children cumulated vsize (Kb) 7296

[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 79368 3614 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 829.82
Current children cumulated vsize (Kb) 7296

[startup+910.059 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1447 0 0 0 80241 3654 0 0 23 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223536 134557219 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 838.95
Current children cumulated vsize (Kb) 7296

[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1447 0 0 0 81125 3692 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 848.17
Current children cumulated vsize (Kb) 7296

[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 81998 3733 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 857.31
Current children cumulated vsize (Kb) 7296

[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1447 0 0 0 82880 3776 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 866.56
Current children cumulated vsize (Kb) 7296

[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 83760 3816 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 875.76
Current children cumulated vsize (Kb) 7296

[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 84646 3854 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 885
Current children cumulated vsize (Kb) 7296

[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 85541 3892 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 894.33
Current children cumulated vsize (Kb) 7296

[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 86429 3932 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 903.61
Current children cumulated vsize (Kb) 7296

[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 87314 3972 0 0 22 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 912.86
Current children cumulated vsize (Kb) 7296

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 88202 4010 0 0 24 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 922.12
Current children cumulated vsize (Kb) 7296

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1447 0 0 0 89086 4049 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223456 134558328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 931.35
Current children cumulated vsize (Kb) 7296

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 89964 4089 0 0 19 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 940.53
Current children cumulated vsize (Kb) 7296

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 90853 4125 0 0 20 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 949.78
Current children cumulated vsize (Kb) 7296

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 91733 4166 0 0 22 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 958.99
Current children cumulated vsize (Kb) 7296

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 92606 4211 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 968.17
Current children cumulated vsize (Kb) 7296

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1447 0 0 0 93491 4249 0 0 17 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 977.4
Current children cumulated vsize (Kb) 7296

[startup+1070.07 s]
Raw data (loadavg): 1.07 1.02 0.92 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1447 0 0 0 94367 4288 0 0 25 0 1 0 1800939634 7471104 1413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1413 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 986.55
Current children cumulated vsize (Kb) 7296

[startup+1080.07 s]
Raw data (loadavg): 1.06 1.02 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1448 0 0 0 95252 4323 0 0 25 0 1 0 1800939634 7471104 1414 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1824 1414 566 18 0 1806 0
[pid=7981] vsize: 7296
Current children cumulated CPU time (s) 995.75
Current children cumulated vsize (Kb) 7296

[startup+1090.07 s]
Raw data (loadavg): 1.05 1.01 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1460 0 0 0 96141 4363 0 0 24 0 1 0 1800939634 7602176 1426 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1856 1426 566 18 0 1838 0
[pid=7981] vsize: 7424
Current children cumulated CPU time (s) 1005.04
Current children cumulated vsize (Kb) 7424

[startup+1100.07 s]
Raw data (loadavg): 1.04 1.01 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1466 0 0 0 97030 4405 0 0 25 0 1 0 1800939634 7602176 1432 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1856 1432 566 18 0 1838 0
[pid=7981] vsize: 7424
Current children cumulated CPU time (s) 1014.35
Current children cumulated vsize (Kb) 7424

[startup+1110.07 s]
Raw data (loadavg): 1.04 1.01 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1474 0 0 0 97907 4445 0 0 25 0 1 0 1800939634 7602176 1440 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1856 1440 566 18 0 1838 0
[pid=7981] vsize: 7424
Current children cumulated CPU time (s) 1023.52
Current children cumulated vsize (Kb) 7424

[startup+1120.07 s]
Raw data (loadavg): 1.03 1.01 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1474 0 0 0 98794 4486 0 0 22 0 1 0 1800939634 7602176 1440 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1856 1440 566 18 0 1838 0
[pid=7981] vsize: 7424
Current children cumulated CPU time (s) 1032.8
Current children cumulated vsize (Kb) 7424

[startup+1130.07 s]
Raw data (loadavg): 1.02 1.01 0.92 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1474 0 0 0 99675 4526 0 0 25 0 1 0 1800939634 7602176 1440 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1856 1440 566 18 0 1838 0
[pid=7981] vsize: 7424
Current children cumulated CPU time (s) 1042.01
Current children cumulated vsize (Kb) 7424

[startup+1140.07 s]
Raw data (loadavg): 1.02 1.01 0.92 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1474 0 0 0 100553 4566 0 0 25 0 1 0 1800939634 7598080 1440 4294967295 134512640 134578447 3221224624 3221223536 134557627 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1855 1440 566 18 0 1837 0
[pid=7981] vsize: 7420
Current children cumulated CPU time (s) 1051.19
Current children cumulated vsize (Kb) 7420

[startup+1150.07 s]
Raw data (loadavg): 1.02 1.01 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1474 0 0 0 101424 4610 0 0 25 0 1 0 1800939634 7598080 1440 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1855 1440 566 18 0 1837 0
[pid=7981] vsize: 7420
Current children cumulated CPU time (s) 1060.34
Current children cumulated vsize (Kb) 7420

[startup+1160.07 s]
Raw data (loadavg): 1.01 1.01 0.92 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1505 0 0 0 102328 4642 0 0 25 0 1 0 1800939634 7729152 1471 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1887 1471 566 18 0 1869 0
[pid=7981] vsize: 7548
Current children cumulated CPU time (s) 1069.7
Current children cumulated vsize (Kb) 7548

[startup+1170.07 s]
Raw data (loadavg): 1.01 1.01 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1518 0 0 0 103252 4667 0 0 25 0 1 0 1800939634 7864320 1484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1920 1484 566 18 0 1902 0
[pid=7981] vsize: 7680
Current children cumulated CPU time (s) 1079.19
Current children cumulated vsize (Kb) 7680

[startup+1180.07 s]
Raw data (loadavg): 1.01 1.01 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1556 0 0 0 104163 4698 0 0 25 0 1 0 1800939634 7995392 1522 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1952 1522 566 18 0 1934 0
[pid=7981] vsize: 7808
Current children cumulated CPU time (s) 1088.61
Current children cumulated vsize (Kb) 7808

[startup+1190.07 s]
Raw data (loadavg): 1.01 1.00 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1556 0 0 0 105078 4728 0 0 17 0 1 0 1800939634 7995392 1522 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1952 1522 566 18 0 1934 0
[pid=7981] vsize: 7808
Current children cumulated CPU time (s) 1098.06
Current children cumulated vsize (Kb) 7808

[startup+1200.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) R 7980 7981 30740 0 -1 0 1570 0 0 0 105992 4756 0 0 25 0 1 0 1800939634 7995392 1536 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7981/statm): 1952 1536 566 18 0 1934 0
[pid=7981] vsize: 7808
Current children cumulated CPU time (s) 1107.48
Current children cumulated vsize (Kb) 7808

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1570 0 0 0 106910 4783 0 0 25 0 1 0 1800939634 7995392 1536 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1952 1536 566 18 0 1934 0
[pid=7981] vsize: 7808
Current children cumulated CPU time (s) 1116.93
Current children cumulated vsize (Kb) 7808

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1588 0 0 0 107815 4816 0 0 25 0 1 0 1800939634 8126464 1554 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1984 1554 566 18 0 1966 0
[pid=7981] vsize: 7936
Current children cumulated CPU time (s) 1126.31
Current children cumulated vsize (Kb) 7936

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1596 0 0 0 108725 4848 0 0 25 0 1 0 1800939634 8126464 1562 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1984 1562 566 18 0 1966 0
[pid=7981] vsize: 7936
Current children cumulated CPU time (s) 1135.73
Current children cumulated vsize (Kb) 7936

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1596 0 0 0 109646 4877 0 0 24 0 1 0 1800939634 8126464 1562 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1984 1562 566 18 0 1966 0
[pid=7981] vsize: 7936
Current children cumulated CPU time (s) 1145.23
Current children cumulated vsize (Kb) 7936

[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1602 0 0 0 110557 4907 0 0 25 0 1 0 1800939634 8126464 1568 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1984 1568 566 18 0 1966 0
[pid=7981] vsize: 7936
Current children cumulated CPU time (s) 1154.64
Current children cumulated vsize (Kb) 7936

[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1610 0 0 0 111474 4937 0 0 25 0 1 0 1800939634 8126464 1576 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 1984 1576 566 18 0 1966 0
[pid=7981] vsize: 7936
Current children cumulated CPU time (s) 1164.11
Current children cumulated vsize (Kb) 7936

[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1618 0 0 0 112396 4964 0 0 25 0 1 0 1800939634 8245248 1584 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 2013 1584 566 18 0 1995 0
[pid=7981] vsize: 8052
Current children cumulated CPU time (s) 1173.6
Current children cumulated vsize (Kb) 8052

[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 7981
Raw data (/proc/7981/stat): 7981 (Pueblo) T 7980 7981 30740 0 -1 0 1618 0 0 0 113314 4991 0 0 17 0 1 0 1800939634 8245248 1584 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7981/statm): 2013 1584 566 18 0 1995 0
[pid=7981] vsize: 8052
Current children cumulated CPU time (s) 1183.05
Current children cumulated vsize (Kb) 8052
One traced child (pid=7981) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1286.36
CPU time (s): 1189.01
CPU user time (s): 1138.9
CPU system time (s): 50.1044
CPU usage (%): 92.4315
Max. virtual memory (cumulated for all children) (Kb): 8052

Verifier Data

Verifier:	OK	5060