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/primes-dimacs-cnf/normalized-ii8b1.opb
MD5SUM812314147c77e28d5e428080c7a2412d
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved NO
Number of terms in the objective function 672
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 672
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 672
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.08
Number of variables672
Total number of constraints2404
Number of constraints which are clauses2404
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8

Trace number 7724

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-20 13:40:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4846 boxname=wulflinc2 idbench=158 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  812314147c77e28d5e428080c7a2412d  /oldhome/oroussel/tmp/wulflinc2/normalized-ii8b1.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4846
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        884740 kB
Buffers:         30128 kB
Cached:          94804 kB
SwapCached:       1004 kB
Active:          53372 kB
Inactive:        74216 kB
HighTotal:      131008 kB
HighFree:        34748 kB
LowTotal:       903652 kB
LowFree:        849992 kB
SwapTotal:     2097136 kB
SwapFree:      2095552 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            16660 kB
Committed_AS:    72492 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 13:59:54 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 4846 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: 672 - #constraints read: 2405
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 x578 -x579 -x580 x581 -x582 -x583 x584 -x585 x586 -x587 x588 x589 -x590 -x591 x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 x617 -x618 -x619 x620 -x621 x622 -x623 x624 x625 -x626 -x627 x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 x653 -x654 -x655 x656 -x657 x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672

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/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800752741 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 41 3 40 18 0 23 0
[pid=12764] 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.0035 s]
Raw data (loadavg): 0.95 0.98 0.75 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 865 0 0 0 976 8 0 0 25 0 1 0 1800752741 5033984 831 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1229 831 566 18 0 1211 0
[pid=12764] vsize: 4916
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 4916

[startup+20.0042 s]
Raw data (loadavg): 0.95 0.98 0.75 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1030 0 0 0 1962 14 0 0 25 0 1 0 1800752741 5574656 963 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1361 963 566 18 0 1343 0
[pid=12764] vsize: 5444
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 5444

[startup+30.0049 s]
Raw data (loadavg): 0.96 0.98 0.76 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1030 0 0 0 2952 17 0 0 25 0 1 0 1800752741 5574656 963 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1361 963 566 18 0 1343 0
[pid=12764] vsize: 5444
Current children cumulated CPU time (s) 29.69
Current children cumulated vsize (Kb) 5444

[startup+40.0056 s]
Raw data (loadavg): 0.97 0.98 0.76 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1030 0 0 0 3943 20 0 0 25 0 1 0 1800752741 5574656 963 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1361 963 566 18 0 1343 0
[pid=12764] vsize: 5444
Current children cumulated CPU time (s) 39.63
Current children cumulated vsize (Kb) 5444

[startup+50.0053 s]
Raw data (loadavg): 0.97 0.98 0.76 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1030 0 0 0 4938 22 0 0 25 0 1 0 1800752741 5574656 963 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1361 963 566 18 0 1343 0
[pid=12764] vsize: 5444
Current children cumulated CPU time (s) 49.6
Current children cumulated vsize (Kb) 5444

[startup+60.006 s]
Raw data (loadavg): 0.97 0.98 0.76 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1030 0 0 0 5933 23 0 0 25 0 1 0 1800752741 5574656 963 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1361 963 566 18 0 1343 0
[pid=12764] vsize: 5444
Current children cumulated CPU time (s) 59.56
Current children cumulated vsize (Kb) 5444

[startup+70.0067 s]
Raw data (loadavg): 1.05 1.00 0.77 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1030 0 0 0 6928 25 0 0 25 0 1 0 1800752741 5574656 963 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1361 963 566 18 0 1343 0
[pid=12764] vsize: 5444
Current children cumulated CPU time (s) 69.53
Current children cumulated vsize (Kb) 5444

[startup+80.0084 s]
Raw data (loadavg): 1.04 1.00 0.77 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1030 0 0 0 7926 26 0 0 25 0 1 0 1800752741 5574656 963 4294967295 134512640 134578447 3221224624 3221223504 134527820 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1361 963 566 18 0 1343 0
[pid=12764] vsize: 5444
Current children cumulated CPU time (s) 79.52
Current children cumulated vsize (Kb) 5444

[startup+90.0091 s]
Raw data (loadavg): 1.03 1.00 0.77 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1036 0 0 0 8923 27 0 0 25 0 1 0 1800752741 5713920 969 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1395 969 566 18 0 1377 0
[pid=12764] vsize: 5580
Current children cumulated CPU time (s) 89.5
Current children cumulated vsize (Kb) 5580

[startup+100.009 s]
Raw data (loadavg): 1.03 1.00 0.78 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1036 0 0 0 9918 29 0 0 25 0 1 0 1800752741 5713920 969 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1395 969 566 18 0 1377 0
[pid=12764] vsize: 5580
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (Kb) 5580

[startup+110.01 s]
Raw data (loadavg): 1.02 1.00 0.78 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1072 0 0 0 10914 31 0 0 25 0 1 0 1800752741 5853184 1005 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1429 1005 566 18 0 1411 0
[pid=12764] vsize: 5716
Current children cumulated CPU time (s) 109.45
Current children cumulated vsize (Kb) 5716

[startup+120.01 s]
Raw data (loadavg): 1.02 1.00 0.78 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1082 0 0 0 11908 34 0 0 25 0 1 0 1800752741 5853184 1015 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1429 1015 566 18 0 1411 0
[pid=12764] vsize: 5716
Current children cumulated CPU time (s) 119.42
Current children cumulated vsize (Kb) 5716

[startup+130.011 s]
Raw data (loadavg): 1.02 1.00 0.78 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1082 0 0 0 12903 36 0 0 25 0 1 0 1800752741 5853184 1015 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1429 1015 566 18 0 1411 0
[pid=12764] vsize: 5716
Current children cumulated CPU time (s) 129.39
Current children cumulated vsize (Kb) 5716

[startup+140.012 s]
Raw data (loadavg): 1.01 1.00 0.78 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1094 0 0 0 13897 38 0 0 25 0 1 0 1800752741 5853184 1027 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1429 1027 566 18 0 1411 0
[pid=12764] vsize: 5716
Current children cumulated CPU time (s) 139.35
Current children cumulated vsize (Kb) 5716

[startup+150.013 s]
Raw data (loadavg): 1.01 1.00 0.79 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1129 0 0 0 14892 41 0 0 25 0 1 0 1800752741 6082560 1057 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1485 1057 566 18 0 1467 0
[pid=12764] vsize: 5940
Current children cumulated CPU time (s) 149.33
Current children cumulated vsize (Kb) 5940

[startup+160.014 s]
Raw data (loadavg): 1.01 1.00 0.79 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1186 0 0 0 15885 43 0 0 25 0 1 0 1800752741 6184960 1114 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1510 1114 566 18 0 1492 0
[pid=12764] vsize: 6040
Current children cumulated CPU time (s) 159.28
Current children cumulated vsize (Kb) 6040

[startup+170.014 s]
Raw data (loadavg): 1.01 1.00 0.79 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1186 0 0 0 16883 44 0 0 25 0 1 0 1800752741 6184960 1114 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1510 1114 566 18 0 1492 0
[pid=12764] vsize: 6040
Current children cumulated CPU time (s) 169.27
Current children cumulated vsize (Kb) 6040

[startup+180.014 s]
Raw data (loadavg): 1.00 1.00 0.79 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1186 0 0 0 17880 45 0 0 25 0 1 0 1800752741 6184960 1114 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1510 1114 566 18 0 1492 0
[pid=12764] vsize: 6040
Current children cumulated CPU time (s) 179.25
Current children cumulated vsize (Kb) 6040

[startup+190.015 s]
Raw data (loadavg): 1.00 1.00 0.79 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 18871 49 0 0 25 0 1 0 1800752741 6471680 1152 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1580 1152 566 18 0 1562 0
[pid=12764] vsize: 6320
Current children cumulated CPU time (s) 189.2
Current children cumulated vsize (Kb) 6320

[startup+200.015 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 19866 50 0 0 25 0 1 0 1800752741 6471680 1152 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1580 1152 566 18 0 1562 0
[pid=12764] vsize: 6320
Current children cumulated CPU time (s) 199.16
Current children cumulated vsize (Kb) 6320

[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 20861 53 0 0 25 0 1 0 1800752741 6471680 1152 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1580 1152 566 18 0 1562 0
[pid=12764] vsize: 6320
Current children cumulated CPU time (s) 209.14
Current children cumulated vsize (Kb) 6320

[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 21857 54 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 219.11
Current children cumulated vsize (Kb) 6264

[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 22853 55 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 229.08
Current children cumulated vsize (Kb) 6264

[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 0.80 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 23847 57 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 239.04
Current children cumulated vsize (Kb) 6264

[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 24843 59 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 249.02
Current children cumulated vsize (Kb) 6264

[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 25840 60 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 259
Current children cumulated vsize (Kb) 6264

[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 26837 61 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 268.98
Current children cumulated vsize (Kb) 6264

[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 27834 62 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 278.96
Current children cumulated vsize (Kb) 6264

[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 0.81 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 28831 63 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 288.94
Current children cumulated vsize (Kb) 6264

[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 29828 65 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 298.93
Current children cumulated vsize (Kb) 6264

[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 30826 66 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 308.92
Current children cumulated vsize (Kb) 6264

[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 31823 67 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 318.9
Current children cumulated vsize (Kb) 6264

[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1224 0 0 0 32822 67 0 0 25 0 1 0 1800752741 6414336 1152 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1152 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 328.89
Current children cumulated vsize (Kb) 6264

[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1226 0 0 0 33820 68 0 0 25 0 1 0 1800752741 6414336 1154 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1154 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 338.88
Current children cumulated vsize (Kb) 6264

[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1228 0 0 0 34816 70 0 0 25 0 1 0 1800752741 6414336 1156 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1156 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 348.86
Current children cumulated vsize (Kb) 6264

[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1228 0 0 0 35813 71 0 0 25 0 1 0 1800752741 6414336 1156 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1156 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 358.84
Current children cumulated vsize (Kb) 6264

[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 0.82 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1228 0 0 0 36811 72 0 0 25 0 1 0 1800752741 6414336 1156 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1156 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 368.83
Current children cumulated vsize (Kb) 6264

[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1228 0 0 0 37806 74 0 0 25 0 1 0 1800752741 6414336 1156 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1156 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 378.8
Current children cumulated vsize (Kb) 6264

[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1230 0 0 0 38803 75 0 0 25 0 1 0 1800752741 6414336 1158 4294967295 134512640 134578447 3221224624 3221223504 134527638 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1566 1158 566 18 0 1548 0
[pid=12764] vsize: 6264
Current children cumulated CPU time (s) 388.78
Current children cumulated vsize (Kb) 6264

[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1270 0 0 0 39801 76 0 0 25 0 1 0 1800752741 6553600 1198 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1600 1198 566 18 0 1582 0
[pid=12764] vsize: 6400
Current children cumulated CPU time (s) 398.77
Current children cumulated vsize (Kb) 6400

[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1281 0 0 0 40799 77 0 0 25 0 1 0 1800752741 6688768 1209 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1633 1209 566 18 0 1615 0
[pid=12764] vsize: 6532
Current children cumulated CPU time (s) 408.76
Current children cumulated vsize (Kb) 6532

[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1284 0 0 0 41794 78 0 0 25 0 1 0 1800752741 6688768 1212 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1633 1212 566 18 0 1615 0
[pid=12764] vsize: 6532
Current children cumulated CPU time (s) 418.72
Current children cumulated vsize (Kb) 6532

[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1284 0 0 0 42791 80 0 0 25 0 1 0 1800752741 6688768 1212 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1633 1212 566 18 0 1615 0
[pid=12764] vsize: 6532
Current children cumulated CPU time (s) 428.71
Current children cumulated vsize (Kb) 6532

[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1284 0 0 0 43787 81 0 0 25 0 1 0 1800752741 6688768 1212 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1633 1212 566 18 0 1615 0
[pid=12764] vsize: 6532
Current children cumulated CPU time (s) 438.68
Current children cumulated vsize (Kb) 6532

[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1284 0 0 0 44785 82 0 0 25 0 1 0 1800752741 6688768 1212 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1633 1212 566 18 0 1615 0
[pid=12764] vsize: 6532
Current children cumulated CPU time (s) 448.67
Current children cumulated vsize (Kb) 6532

[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1292 0 0 0 45782 83 0 0 25 0 1 0 1800752741 6688768 1220 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1633 1220 566 18 0 1615 0
[pid=12764] vsize: 6532
Current children cumulated CPU time (s) 458.65
Current children cumulated vsize (Kb) 6532

[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1305 0 0 0 46780 84 0 0 25 0 1 0 1800752741 6688768 1233 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1633 1233 566 18 0 1615 0
[pid=12764] vsize: 6532
Current children cumulated CPU time (s) 468.64
Current children cumulated vsize (Kb) 6532

[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 47777 86 0 0 25 0 1 0 1800752741 6823936 1242 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1666 1242 566 18 0 1648 0
[pid=12764] vsize: 6664
Current children cumulated CPU time (s) 478.63
Current children cumulated vsize (Kb) 6664

[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 48771 88 0 0 25 0 1 0 1800752741 6811648 1242 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1663 1242 566 18 0 1645 0
[pid=12764] vsize: 6652
Current children cumulated CPU time (s) 488.59
Current children cumulated vsize (Kb) 6652

[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 49769 89 0 0 25 0 1 0 1800752741 6811648 1242 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1663 1242 566 18 0 1645 0
[pid=12764] vsize: 6652
Current children cumulated CPU time (s) 498.58
Current children cumulated vsize (Kb) 6652

[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 0.84 3/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 50764 90 0 0 25 0 1 0 1800752741 6737920 1242 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1645 1242 566 18 0 1627 0
[pid=12764] vsize: 6580
Current children cumulated CPU time (s) 508.54
Current children cumulated vsize (Kb) 6580

[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 51759 92 0 0 25 0 1 0 1800752741 6737920 1242 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1645 1242 566 18 0 1627 0
[pid=12764] vsize: 6580
Current children cumulated CPU time (s) 518.51
Current children cumulated vsize (Kb) 6580

[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 52755 94 0 0 25 0 1 0 1800752741 6737920 1242 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1645 1242 566 18 0 1627 0
[pid=12764] vsize: 6580
Current children cumulated CPU time (s) 528.49
Current children cumulated vsize (Kb) 6580

[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 53750 96 0 0 25 0 1 0 1800752741 6737920 1242 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1645 1242 566 18 0 1627 0
[pid=12764] vsize: 6580
Current children cumulated CPU time (s) 538.46
Current children cumulated vsize (Kb) 6580

[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 54746 97 0 0 25 0 1 0 1800752741 6737920 1242 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1645 1242 566 18 0 1627 0
[pid=12764] vsize: 6580
Current children cumulated CPU time (s) 548.43
Current children cumulated vsize (Kb) 6580

[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 55741 99 0 0 25 0 1 0 1800752741 6737920 1242 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1645 1242 566 18 0 1627 0
[pid=12764] vsize: 6580
Current children cumulated CPU time (s) 558.4
Current children cumulated vsize (Kb) 6580

[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1314 0 0 0 56738 100 0 0 25 0 1 0 1800752741 6737920 1242 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1645 1242 566 18 0 1627 0
[pid=12764] vsize: 6580
Current children cumulated CPU time (s) 568.38
Current children cumulated vsize (Kb) 6580

[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1317 0 0 0 57732 102 0 0 25 0 1 0 1800752741 6737920 1245 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1645 1245 566 18 0 1627 0
[pid=12764] vsize: 6580
Current children cumulated CPU time (s) 578.34
Current children cumulated vsize (Kb) 6580

[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1338 0 0 0 58728 103 0 0 25 0 1 0 1800752741 6877184 1266 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1679 1266 566 18 0 1661 0
[pid=12764] vsize: 6716
Current children cumulated CPU time (s) 588.31
Current children cumulated vsize (Kb) 6716

[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 0.85 3/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1369 0 0 0 59724 104 0 0 25 0 1 0 1800752741 7008256 1297 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1711 1297 566 18 0 1693 0
[pid=12764] vsize: 6844
Current children cumulated CPU time (s) 598.28
Current children cumulated vsize (Kb) 6844

[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1369 0 0 0 60720 105 0 0 25 0 1 0 1800752741 7008256 1297 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1711 1297 566 18 0 1693 0
[pid=12764] vsize: 6844
Current children cumulated CPU time (s) 608.25
Current children cumulated vsize (Kb) 6844

[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1403 0 0 0 61717 106 0 0 25 0 1 0 1800752741 7143424 1331 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1744 1331 566 18 0 1726 0
[pid=12764] vsize: 6976
Current children cumulated CPU time (s) 618.23
Current children cumulated vsize (Kb) 6976

[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1411 0 0 0 62713 107 0 0 25 0 1 0 1800752741 7065600 1329 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1725 1329 566 18 0 1707 0
[pid=12764] vsize: 6900
Current children cumulated CPU time (s) 628.2
Current children cumulated vsize (Kb) 6900

[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1411 0 0 0 63709 109 0 0 25 0 1 0 1800752741 7065600 1329 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1725 1329 566 18 0 1707 0
[pid=12764] vsize: 6900
Current children cumulated CPU time (s) 638.18
Current children cumulated vsize (Kb) 6900

[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1450 0 0 0 64706 110 0 0 25 0 1 0 1800752741 7340032 1368 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1792 1368 566 18 0 1774 0
[pid=12764] vsize: 7168
Current children cumulated CPU time (s) 648.16
Current children cumulated vsize (Kb) 7168

[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1456 0 0 0 65701 112 0 0 25 0 1 0 1800752741 7340032 1374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1792 1374 566 18 0 1774 0
[pid=12764] vsize: 7168
Current children cumulated CPU time (s) 658.13
Current children cumulated vsize (Kb) 7168

[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1465 0 0 0 66698 113 0 0 25 0 1 0 1800752741 7340032 1383 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1792 1383 566 18 0 1774 0
[pid=12764] vsize: 7168
Current children cumulated CPU time (s) 668.11
Current children cumulated vsize (Kb) 7168

[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1486 0 0 0 67694 115 0 0 25 0 1 0 1800752741 7479296 1404 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1826 1404 566 18 0 1808 0
[pid=12764] vsize: 7304
Current children cumulated CPU time (s) 678.09
Current children cumulated vsize (Kb) 7304

[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1486 0 0 0 68691 116 0 0 25 0 1 0 1800752741 7479296 1404 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1826 1404 566 18 0 1808 0
[pid=12764] vsize: 7304
Current children cumulated CPU time (s) 688.07
Current children cumulated vsize (Kb) 7304

[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1486 0 0 0 69688 118 0 0 25 0 1 0 1800752741 7462912 1404 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1822 1404 566 18 0 1804 0
[pid=12764] vsize: 7288
Current children cumulated CPU time (s) 698.06
Current children cumulated vsize (Kb) 7288

[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1486 0 0 0 70684 119 0 0 25 0 1 0 1800752741 7462912 1404 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1822 1404 566 18 0 1804 0
[pid=12764] vsize: 7288
Current children cumulated CPU time (s) 708.03
Current children cumulated vsize (Kb) 7288

[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 71677 121 0 0 25 0 1 0 1800752741 7372800 1404 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1800 1404 566 18 0 1782 0
[pid=12764] vsize: 7200
Current children cumulated CPU time (s) 717.98
Current children cumulated vsize (Kb) 7200

[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 72673 123 0 0 25 0 1 0 1800752741 7372800 1404 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1800 1404 566 18 0 1782 0
[pid=12764] vsize: 7200
Current children cumulated CPU time (s) 727.96
Current children cumulated vsize (Kb) 7200

[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 73669 125 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 737.94
Current children cumulated vsize (Kb) 7172

[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 74666 126 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 747.92
Current children cumulated vsize (Kb) 7172

[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 75661 128 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 757.89
Current children cumulated vsize (Kb) 7172

[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 76659 128 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 767.87
Current children cumulated vsize (Kb) 7172

[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 77654 130 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 777.84
Current children cumulated vsize (Kb) 7172

[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 78652 130 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 787.82
Current children cumulated vsize (Kb) 7172

[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 79648 132 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 797.8
Current children cumulated vsize (Kb) 7172

[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 80645 132 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 807.77
Current children cumulated vsize (Kb) 7172

[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 81641 134 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 817.75
Current children cumulated vsize (Kb) 7172

[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 82637 135 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 827.72
Current children cumulated vsize (Kb) 7172

[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 83635 135 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 837.7
Current children cumulated vsize (Kb) 7172

[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 84632 136 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 847.68
Current children cumulated vsize (Kb) 7172

[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 85629 137 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 857.66
Current children cumulated vsize (Kb) 7172

[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 86625 139 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 867.64
Current children cumulated vsize (Kb) 7172

[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 87625 140 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223280 1075289350 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 877.65
Current children cumulated vsize (Kb) 7172

[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 88620 141 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 887.61
Current children cumulated vsize (Kb) 7172

[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 89615 143 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 897.58
Current children cumulated vsize (Kb) 7172

[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 90611 144 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 907.55
Current children cumulated vsize (Kb) 7172

[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 91610 145 0 0 25 0 1 0 1800752741 7344128 1397 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1793 1397 566 18 0 1775 0
[pid=12764] vsize: 7172
Current children cumulated CPU time (s) 917.55
Current children cumulated vsize (Kb) 7172

[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 92608 146 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 927.54
Current children cumulated vsize (Kb) 7164

[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 93606 147 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 937.53
Current children cumulated vsize (Kb) 7164

[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 94604 148 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 947.52
Current children cumulated vsize (Kb) 7164

[startup+960.052 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 95603 148 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 957.51
Current children cumulated vsize (Kb) 7164

[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 96600 149 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 967.49
Current children cumulated vsize (Kb) 7164

[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 97598 149 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223496 134528137 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 977.47
Current children cumulated vsize (Kb) 7164

[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 98596 150 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 987.46
Current children cumulated vsize (Kb) 7164

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 99591 152 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 997.43
Current children cumulated vsize (Kb) 7164

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 100587 154 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1007.41
Current children cumulated vsize (Kb) 7164

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 101584 155 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1017.39
Current children cumulated vsize (Kb) 7164

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 102581 156 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1027.37
Current children cumulated vsize (Kb) 7164

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 103580 157 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1037.37
Current children cumulated vsize (Kb) 7164

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 104577 157 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1047.34
Current children cumulated vsize (Kb) 7164

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 105575 159 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1057.34
Current children cumulated vsize (Kb) 7164

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 106573 159 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1067.32
Current children cumulated vsize (Kb) 7164

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 107570 161 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1077.31
Current children cumulated vsize (Kb) 7164

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 108567 162 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1087.29
Current children cumulated vsize (Kb) 7164

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 109565 163 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1097.28
Current children cumulated vsize (Kb) 7164

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 110563 164 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1107.27
Current children cumulated vsize (Kb) 7164

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 111561 164 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1117.25
Current children cumulated vsize (Kb) 7164

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 112558 165 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1127.23
Current children cumulated vsize (Kb) 7164

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 113555 167 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1137.22
Current children cumulated vsize (Kb) 7164

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 114552 167 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223536 134556784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1147.19
Current children cumulated vsize (Kb) 7164

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 115548 169 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1157.17
Current children cumulated vsize (Kb) 7164

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 116546 169 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1167.15
Current children cumulated vsize (Kb) 7164

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 117544 170 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1177.14
Current children cumulated vsize (Kb) 7164

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 12764
Raw data (/proc/12764/stat): 12764 (Pueblo) R 12763 12764 6872 0 -1 0 1498 0 0 0 118542 170 0 0 25 0 1 0 1800752741 7335936 1395 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12764/statm): 1791 1395 566 18 0 1773 0
[pid=12764] vsize: 7164
Current children cumulated CPU time (s) 1187.12
Current children cumulated vsize (Kb) 7164
One traced child (pid=12764) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.95
CPU time (s): 1189.01
CPU user time (s): 1187.3
CPU system time (s): 1.71074
CPU usage (%): 99.754
Max. virtual memory (cumulated for all children) (Kb): 7304

Verifier Data

Verifier:	OK	198