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

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUM38d41fdbe49543e8928c5210e4323f00
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved NO
Number of terms in the objective function 760
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 760
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 760
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.04
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
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 constraint2

Trace number 7880

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-20 14:46:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5042 boxname=wulflinc3 idbench=354 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  38d41fdbe49543e8928c5210e4323f00  /oldhome/oroussel/tmp/wulflinc3/normalized-frb40-19-5.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5042
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        782256 kB
Buffers:         30596 kB
Cached:         194688 kB
SwapCached:        816 kB
Active:          95336 kB
Inactive:       132608 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        782004 kB
SwapTotal:     2097136 kB
SwapFree:      2095752 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18876 kB
Committed_AS:    72364 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:05:55 (client local time) WITH STATUS 10 IN 1189.11 SECONDS
stats: 5042 0 1189.11 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: 760 - #constraints read: 41620
c total time              : 1189.02 s
s SATISFIABLE
v -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 C23 -C22 -C21 -C20 C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1

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/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801124662 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 41 3 40 18 0 23 0
[pid=10307] 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.93 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 1693 0 0 0 980 9 0 0 25 0 1 0 1801124662 8503296 1659 4294967295 134512640 134578447 3221224624 3221223296 134523378 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 2076 1659 566 18 0 2058 0
[pid=10307] vsize: 8304
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 8304

[startup+20.0053 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 2063 0 0 0 1974 13 0 0 25 0 1 0 1801124662 10043392 2029 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 2452 2029 566 18 0 2434 0
[pid=10307] vsize: 9808
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 9808

[startup+30.0062 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 2542 0 0 0 2968 15 0 0 25 0 1 0 1801124662 11993088 2508 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 2928 2508 566 18 0 2910 0
[pid=10307] vsize: 11712
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 11712

[startup+40.006 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 3096 0 0 0 3964 18 0 0 25 0 1 0 1801124662 14368768 3062 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 3508 3062 566 18 0 3490 0
[pid=10307] vsize: 14032
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 14032

[startup+50.0068 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 3692 0 0 0 4956 19 0 0 25 0 1 0 1801124662 16744448 3658 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 4088 3658 566 18 0 4070 0
[pid=10307] vsize: 16352
Current children cumulated CPU time (s) 49.75
Current children cumulated vsize (Kb) 16352

[startup+60.0067 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 4172 0 0 0 5951 22 0 0 25 0 1 0 1801124662 18718720 4138 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 4570 4138 566 18 0 4552 0
[pid=10307] vsize: 18280
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (Kb) 18280

[startup+70.0075 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 4801 0 0 0 6945 25 0 0 25 0 1 0 1801124662 21340160 4767 4294967295 134512640 134578447 3221224624 3221223584 134558714 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 5210 4767 566 18 0 5192 0
[pid=10307] vsize: 20840
Current children cumulated CPU time (s) 69.7
Current children cumulated vsize (Kb) 20840

[startup+80.0083 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 5418 0 0 0 7936 29 0 0 25 0 1 0 1801124662 23851008 5384 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 5823 5384 566 18 0 5805 0
[pid=10307] vsize: 23292
Current children cumulated CPU time (s) 79.65
Current children cumulated vsize (Kb) 23292

[startup+90.0082 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 5910 0 0 0 8932 32 0 0 25 0 1 0 1801124662 25890816 5876 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 6321 5876 566 18 0 6303 0
[pid=10307] vsize: 25284
Current children cumulated CPU time (s) 89.64
Current children cumulated vsize (Kb) 25284

[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 6425 0 0 0 9927 35 0 0 25 0 1 0 1801124662 27967488 6391 4294967295 134512640 134578447 3221224624 3221221008 134533051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 6828 6391 566 18 0 6810 0
[pid=10307] vsize: 27312
Current children cumulated CPU time (s) 99.62
Current children cumulated vsize (Kb) 27312

[startup+110.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 6910 0 0 0 10919 39 0 0 25 0 1 0 1801124662 30027776 6876 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 7331 6876 566 18 0 7313 0
[pid=10307] vsize: 29324
Current children cumulated CPU time (s) 109.58
Current children cumulated vsize (Kb) 29324

[startup+120.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 7433 0 0 0 11914 42 0 0 25 0 1 0 1801124662 32088064 7399 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 7834 7399 566 18 0 7816 0
[pid=10307] vsize: 31336
Current children cumulated CPU time (s) 119.56
Current children cumulated vsize (Kb) 31336

[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 7988 0 0 0 12908 46 0 0 25 0 1 0 1801124662 34422784 7954 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 8404 7954 566 18 0 8386 0
[pid=10307] vsize: 33616
Current children cumulated CPU time (s) 129.54
Current children cumulated vsize (Kb) 33616

[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 8541 0 0 0 13902 49 0 0 25 0 1 0 1801124662 36630528 8507 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 8943 8507 566 18 0 8925 0
[pid=10307] vsize: 35772
Current children cumulated CPU time (s) 139.51
Current children cumulated vsize (Kb) 35772

[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 9020 0 0 0 14896 52 0 0 25 0 1 0 1801124662 38670336 8986 4294967295 134512640 134578447 3221224624 3221223296 134523325 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 9441 8986 566 18 0 9423 0
[pid=10307] vsize: 37764
Current children cumulated CPU time (s) 149.48
Current children cumulated vsize (Kb) 37764

[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 9507 0 0 0 15891 55 0 0 25 0 1 0 1801124662 40636416 9473 4294967295 134512640 134578447 3221224624 3221223476 134555910 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 9921 9473 566 18 0 9903 0
[pid=10307] vsize: 39684
Current children cumulated CPU time (s) 159.46
Current children cumulated vsize (Kb) 39684

[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 10066 0 0 0 16883 59 0 0 25 0 1 0 1801124662 43003904 10032 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 10499 10032 566 18 0 10481 0
[pid=10307] vsize: 41996
Current children cumulated CPU time (s) 169.42
Current children cumulated vsize (Kb) 41996

[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 10467 0 0 0 17878 61 0 0 25 0 1 0 1801124662 44695552 10433 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 10912 10433 566 18 0 10894 0
[pid=10307] vsize: 43648
Current children cumulated CPU time (s) 179.39
Current children cumulated vsize (Kb) 43648

[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 10934 0 0 0 18874 63 0 0 25 0 1 0 1801124662 46592000 10900 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 11375 10900 566 18 0 11357 0
[pid=10307] vsize: 45500
Current children cumulated CPU time (s) 189.37
Current children cumulated vsize (Kb) 45500

[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) T 10306 10307 31915 0 -1 0 11230 0 0 0 19870 65 0 0 25 0 1 0 1801124662 47816704 11196 4294967295 134512640 134578447 3221224624 3221223476 1075693979 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10307/statm): 11674 11196 566 18 0 11656 0
[pid=10307] vsize: 46696
Current children cumulated CPU time (s) 199.35
Current children cumulated vsize (Kb) 46696

[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 11708 0 0 0 20866 67 0 0 25 0 1 0 1801124662 49709056 11674 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 12136 11674 566 18 0 12118 0
[pid=10307] vsize: 48544
Current children cumulated CPU time (s) 209.33
Current children cumulated vsize (Kb) 48544

[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 12150 0 0 0 21862 69 0 0 25 0 1 0 1801124662 51482624 12116 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 12569 12116 566 18 0 12551 0
[pid=10307] vsize: 50276
Current children cumulated CPU time (s) 219.31
Current children cumulated vsize (Kb) 50276

[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 12630 0 0 0 22857 72 0 0 25 0 1 0 1801124662 53530624 12596 4294967295 134512640 134578447 3221224624 3221221024 134533073 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 13069 12596 566 18 0 13051 0
[pid=10307] vsize: 52276
Current children cumulated CPU time (s) 229.29
Current children cumulated vsize (Kb) 52276

[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 12958 0 0 0 23852 75 0 0 25 0 1 0 1801124662 54923264 12924 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 13409 12924 566 18 0 13391 0
[pid=10307] vsize: 53636
Current children cumulated CPU time (s) 239.27
Current children cumulated vsize (Kb) 53636

[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 13474 0 0 0 24846 78 0 0 25 0 1 0 1801124662 56950784 13440 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 13904 13440 566 18 0 13886 0
[pid=10307] vsize: 55616
Current children cumulated CPU time (s) 249.24
Current children cumulated vsize (Kb) 55616

[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 13962 0 0 0 25843 80 0 0 25 0 1 0 1801124662 59023360 13928 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 14410 13928 566 18 0 14392 0
[pid=10307] vsize: 57640
Current children cumulated CPU time (s) 259.23
Current children cumulated vsize (Kb) 57640

[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 14294 0 0 0 26841 81 0 0 25 0 1 0 1801124662 60420096 14260 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 14751 14260 566 18 0 14733 0
[pid=10307] vsize: 59004
Current children cumulated CPU time (s) 269.22
Current children cumulated vsize (Kb) 59004

[startup+280.018 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 14547 0 0 0 27838 81 0 0 25 0 1 0 1801124662 61353984 14513 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 14979 14513 566 18 0 14961 0
[pid=10307] vsize: 59916
Current children cumulated CPU time (s) 279.19
Current children cumulated vsize (Kb) 59916

[startup+290.018 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 14939 0 0 0 28836 83 0 0 25 0 1 0 1801124662 63143936 14905 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 15416 14905 566 18 0 15398 0
[pid=10307] vsize: 61664
Current children cumulated CPU time (s) 289.19
Current children cumulated vsize (Kb) 61664

[startup+300.019 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 15236 0 0 0 29833 85 0 0 25 0 1 0 1801124662 64385024 15202 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 15719 15202 566 18 0 15701 0
[pid=10307] vsize: 62876
Current children cumulated CPU time (s) 299.18
Current children cumulated vsize (Kb) 62876

[startup+310.019 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 15550 0 0 0 30831 86 0 0 25 0 1 0 1801124662 65626112 15516 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 16022 15516 566 18 0 16004 0
[pid=10307] vsize: 64088
Current children cumulated CPU time (s) 309.17
Current children cumulated vsize (Kb) 64088

[startup+320.019 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 15877 0 0 0 31826 87 0 0 25 0 1 0 1801124662 67002368 15843 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 16358 15843 566 18 0 16340 0
[pid=10307] vsize: 65432
Current children cumulated CPU time (s) 319.13
Current children cumulated vsize (Kb) 65432

[startup+330.02 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 16255 0 0 0 32824 89 0 0 25 0 1 0 1801124662 68534272 16221 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 16732 16221 566 18 0 16714 0
[pid=10307] vsize: 66928
Current children cumulated CPU time (s) 329.13
Current children cumulated vsize (Kb) 66928

[startup+340.02 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 16605 0 0 0 33822 90 0 0 25 0 1 0 1801124662 70062080 16571 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 17105 16571 566 18 0 17087 0
[pid=10307] vsize: 68420
Current children cumulated CPU time (s) 339.12
Current children cumulated vsize (Kb) 68420

[startup+350.021 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 16968 0 0 0 34818 92 0 0 25 0 1 0 1801124662 71544832 16934 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 17467 16934 566 18 0 17449 0
[pid=10307] vsize: 69868
Current children cumulated CPU time (s) 349.1
Current children cumulated vsize (Kb) 69868

[startup+360.022 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 17355 0 0 0 35814 93 0 0 25 0 1 0 1801124662 73084928 17321 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 17843 17321 566 18 0 17825 0
[pid=10307] vsize: 71372
Current children cumulated CPU time (s) 359.07
Current children cumulated vsize (Kb) 71372

[startup+370.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 17716 0 0 0 36811 95 0 0 25 0 1 0 1801124662 74604544 17682 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 18214 17682 566 18 0 18196 0
[pid=10307] vsize: 72856
Current children cumulated CPU time (s) 369.06
Current children cumulated vsize (Kb) 72856

[startup+380.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 18162 0 0 0 37806 97 0 0 25 0 1 0 1801124662 76419072 18128 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 18657 18128 566 18 0 18639 0
[pid=10307] vsize: 74628
Current children cumulated CPU time (s) 379.03
Current children cumulated vsize (Kb) 74628

[startup+390.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 18432 0 0 0 38804 98 0 0 25 0 1 0 1801124662 77520896 18398 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 18926 18398 566 18 0 18908 0
[pid=10307] vsize: 75704
Current children cumulated CPU time (s) 389.02
Current children cumulated vsize (Kb) 75704

[startup+400.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 18786 0 0 0 39800 99 0 0 25 0 1 0 1801124662 79052800 18752 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 19300 18752 566 18 0 19282 0
[pid=10307] vsize: 77200
Current children cumulated CPU time (s) 398.99
Current children cumulated vsize (Kb) 77200

[startup+410.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 19197 0 0 0 40797 101 0 0 25 0 1 0 1801124662 80650240 19163 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 19690 19163 566 18 0 19672 0
[pid=10307] vsize: 78760
Current children cumulated CPU time (s) 408.98
Current children cumulated vsize (Kb) 78760

[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 19431 0 0 0 41794 102 0 0 25 0 1 0 1801124662 81616896 19397 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 19926 19397 566 18 0 19908 0
[pid=10307] vsize: 79704
Current children cumulated CPU time (s) 418.96
Current children cumulated vsize (Kb) 79704

[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 19732 0 0 0 42791 104 0 0 25 0 1 0 1801124662 82845696 19698 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 20226 19698 566 18 0 20208 0
[pid=10307] vsize: 80904
Current children cumulated CPU time (s) 428.95
Current children cumulated vsize (Kb) 80904

[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 19970 0 0 0 43789 105 0 0 25 0 1 0 1801124662 83808256 19936 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 20461 19936 566 18 0 20443 0
[pid=10307] vsize: 81844
Current children cumulated CPU time (s) 438.94
Current children cumulated vsize (Kb) 81844

[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 20081 0 0 0 44788 106 0 0 25 0 1 0 1801124662 84217856 20047 4294967295 134512640 134578447 3221224624 3221223228 1075289350 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 20561 20047 566 18 0 20543 0
[pid=10307] vsize: 82244
Current children cumulated CPU time (s) 448.94
Current children cumulated vsize (Kb) 82244

[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 20309 0 0 0 45786 106 0 0 25 0 1 0 1801124662 85176320 20275 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 20795 20275 566 18 0 20777 0
[pid=10307] vsize: 83180
Current children cumulated CPU time (s) 458.92
Current children cumulated vsize (Kb) 83180

[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 20614 0 0 0 46782 108 0 0 25 0 1 0 1801124662 86454272 20580 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 21107 20580 566 18 0 21089 0
[pid=10307] vsize: 84428
Current children cumulated CPU time (s) 468.9
Current children cumulated vsize (Kb) 84428

[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 20909 0 0 0 47779 110 0 0 25 0 1 0 1801124662 87851008 20875 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 21448 20875 566 18 0 21430 0
[pid=10307] vsize: 85792
Current children cumulated CPU time (s) 478.89
Current children cumulated vsize (Kb) 85792

[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) T 10306 10307 31915 0 -1 0 21439 0 0 0 48771 113 0 0 25 0 1 0 1801124662 89985024 21405 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/10307/statm): 21969 21405 566 18 0 21951 0
[pid=10307] vsize: 87876
Current children cumulated CPU time (s) 488.84
Current children cumulated vsize (Kb) 87876

[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 21836 0 0 0 49767 115 0 0 25 0 1 0 1801124662 91566080 21802 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 22355 21802 566 18 0 22337 0
[pid=10307] vsize: 89420
Current children cumulated CPU time (s) 498.82
Current children cumulated vsize (Kb) 89420

[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 22283 0 0 0 50764 117 0 0 25 0 1 0 1801124662 93421568 22249 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 22808 22249 566 18 0 22790 0
[pid=10307] vsize: 91232
Current children cumulated CPU time (s) 508.81
Current children cumulated vsize (Kb) 91232

[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 22714 0 0 0 51759 119 0 0 25 0 1 0 1801124662 95170560 22680 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 23235 22680 566 18 0 23217 0
[pid=10307] vsize: 92940
Current children cumulated CPU time (s) 518.78
Current children cumulated vsize (Kb) 92940

[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 23133 0 0 0 52756 121 0 0 25 0 1 0 1801124662 96919552 23099 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 23662 23099 566 18 0 23644 0
[pid=10307] vsize: 94648
Current children cumulated CPU time (s) 528.77
Current children cumulated vsize (Kb) 94648

[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 23664 0 0 0 53751 123 0 0 25 0 1 0 1801124662 99037184 23630 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 24179 23630 566 18 0 24161 0
[pid=10307] vsize: 96716
Current children cumulated CPU time (s) 538.74
Current children cumulated vsize (Kb) 96716

[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 24139 0 0 0 54747 126 0 0 25 0 1 0 1801124662 101036032 24105 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 24667 24105 566 18 0 24649 0
[pid=10307] vsize: 98668
Current children cumulated CPU time (s) 548.73
Current children cumulated vsize (Kb) 98668

[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 24565 0 0 0 55741 128 0 0 25 0 1 0 1801124662 102756352 24531 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 25087 24531 566 18 0 25069 0
[pid=10307] vsize: 100348
Current children cumulated CPU time (s) 558.69
Current children cumulated vsize (Kb) 100348

[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 25091 0 0 0 56736 130 0 0 25 0 1 0 1801124662 104939520 25057 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 25620 25057 566 18 0 25602 0
[pid=10307] vsize: 102480
Current children cumulated CPU time (s) 568.66
Current children cumulated vsize (Kb) 102480

[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 25471 0 0 0 57733 132 0 0 25 0 1 0 1801124662 106483712 25437 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 25997 25437 566 18 0 25979 0
[pid=10307] vsize: 103988
Current children cumulated CPU time (s) 578.65
Current children cumulated vsize (Kb) 103988

[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 25693 0 0 0 58731 133 0 0 25 0 1 0 1801124662 107315200 25659 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 26200 25659 566 18 0 26182 0
[pid=10307] vsize: 104800
Current children cumulated CPU time (s) 588.64
Current children cumulated vsize (Kb) 104800

[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 25890 0 0 0 59729 134 0 0 25 0 1 0 1801124662 108269568 25856 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 26433 25856 566 18 0 26415 0
[pid=10307] vsize: 105732
Current children cumulated CPU time (s) 598.63
Current children cumulated vsize (Kb) 105732

[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 26103 0 0 0 60726 136 0 0 25 0 1 0 1801124662 109182976 26069 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 26656 26069 566 18 0 26638 0
[pid=10307] vsize: 106624
Current children cumulated CPU time (s) 608.62
Current children cumulated vsize (Kb) 106624

[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 26423 0 0 0 61724 137 0 0 25 0 1 0 1801124662 110407680 26389 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 26955 26389 566 18 0 26937 0
[pid=10307] vsize: 107820
Current children cumulated CPU time (s) 618.61
Current children cumulated vsize (Kb) 107820

[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 26720 0 0 0 62721 139 0 0 25 0 1 0 1801124662 111624192 26686 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 27252 26686 566 18 0 27234 0
[pid=10307] vsize: 109008
Current children cumulated CPU time (s) 628.6
Current children cumulated vsize (Kb) 109008

[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 26935 0 0 0 63718 140 0 0 25 0 1 0 1801124662 112443392 26901 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 27452 26901 566 18 0 27434 0
[pid=10307] vsize: 109808
Current children cumulated CPU time (s) 638.58
Current children cumulated vsize (Kb) 109808

[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 27312 0 0 0 64714 143 0 0 25 0 1 0 1801124662 114069504 27278 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 27849 27278 566 18 0 27831 0
[pid=10307] vsize: 111396
Current children cumulated CPU time (s) 648.57
Current children cumulated vsize (Kb) 111396

[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 27595 0 0 0 65711 144 0 0 25 0 1 0 1801124662 115175424 27561 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 28119 27561 566 18 0 28101 0
[pid=10307] vsize: 112476
Current children cumulated CPU time (s) 658.55
Current children cumulated vsize (Kb) 112476

[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 27974 0 0 0 66706 146 0 0 25 0 1 0 1801124662 116781056 27940 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 28511 27940 566 18 0 28493 0
[pid=10307] vsize: 114044
Current children cumulated CPU time (s) 668.52
Current children cumulated vsize (Kb) 114044

[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 28393 0 0 0 67700 149 0 0 25 0 1 0 1801124662 118530048 28359 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 28938 28359 566 18 0 28920 0
[pid=10307] vsize: 115752
Current children cumulated CPU time (s) 678.49
Current children cumulated vsize (Kb) 115752

[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 28991 0 0 0 68695 151 0 0 25 0 1 0 1801124662 120979456 28957 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 29536 28957 566 18 0 29518 0
[pid=10307] vsize: 118144
Current children cumulated CPU time (s) 688.46
Current children cumulated vsize (Kb) 118144

[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 29319 0 0 0 69691 153 0 0 25 0 1 0 1801124662 122339328 29285 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 29868 29285 566 18 0 29850 0
[pid=10307] vsize: 119472
Current children cumulated CPU time (s) 698.44
Current children cumulated vsize (Kb) 119472

[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 29651 0 0 0 70688 155 0 0 25 0 1 0 1801124662 123695104 29617 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 30199 29617 566 18 0 30181 0
[pid=10307] vsize: 120796
Current children cumulated CPU time (s) 708.43
Current children cumulated vsize (Kb) 120796

[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 30040 0 0 0 71685 157 0 0 25 0 1 0 1801124662 125358080 30006 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 30605 30006 566 18 0 30587 0
[pid=10307] vsize: 122420
Current children cumulated CPU time (s) 718.42
Current children cumulated vsize (Kb) 122420

[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 30170 0 0 0 72683 158 0 0 25 0 1 0 1801124662 125911040 30136 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 30740 30136 566 18 0 30722 0
[pid=10307] vsize: 122960
Current children cumulated CPU time (s) 728.41
Current children cumulated vsize (Kb) 122960

[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 30478 0 0 0 73681 159 0 0 25 0 1 0 1801124662 127168512 30444 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 31047 30444 566 18 0 31029 0
[pid=10307] vsize: 124188
Current children cumulated CPU time (s) 738.4
Current children cumulated vsize (Kb) 124188

[startup+750.042 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 30710 0 0 0 74678 160 0 0 25 0 1 0 1801124662 128106496 30676 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 31276 30676 566 18 0 31258 0
[pid=10307] vsize: 125104
Current children cumulated CPU time (s) 748.38
Current children cumulated vsize (Kb) 125104

[startup+760.042 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 30981 0 0 0 75676 161 0 0 25 0 1 0 1801124662 129220608 30947 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 31548 30947 566 18 0 31530 0
[pid=10307] vsize: 126192
Current children cumulated CPU time (s) 758.37
Current children cumulated vsize (Kb) 126192

[startup+770.043 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 31285 0 0 0 76673 162 0 0 25 0 1 0 1801124662 130424832 31251 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 31842 31251 566 18 0 31824 0
[pid=10307] vsize: 127368
Current children cumulated CPU time (s) 768.35
Current children cumulated vsize (Kb) 127368

[startup+780.044 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 31593 0 0 0 77670 164 0 0 25 0 1 0 1801124662 131780608 31559 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 32173 31559 566 18 0 32155 0
[pid=10307] vsize: 128692
Current children cumulated CPU time (s) 778.34
Current children cumulated vsize (Kb) 128692

[startup+790.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 31861 0 0 0 78668 164 0 0 25 0 1 0 1801124662 132898816 31827 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 32446 31827 566 18 0 32428 0
[pid=10307] vsize: 129784
Current children cumulated CPU time (s) 788.32
Current children cumulated vsize (Kb) 129784

[startup+800.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 32179 0 0 0 79665 166 0 0 25 0 1 0 1801124662 134119424 32145 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 32744 32145 566 18 0 32726 0
[pid=10307] vsize: 130976
Current children cumulated CPU time (s) 798.31
Current children cumulated vsize (Kb) 130976

[startup+810.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 32611 0 0 0 80660 169 0 0 25 0 1 0 1801124662 135860224 32577 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 33169 32577 566 18 0 33151 0
[pid=10307] vsize: 132676
Current children cumulated CPU time (s) 808.29
Current children cumulated vsize (Kb) 132676

[startup+820.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 32882 0 0 0 81657 171 0 0 25 0 1 0 1801124662 137113600 32848 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 33475 32848 566 18 0 33457 0
[pid=10307] vsize: 133900
Current children cumulated CPU time (s) 818.28
Current children cumulated vsize (Kb) 133900

[startup+830.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 33166 0 0 0 82655 172 0 0 25 0 1 0 1801124662 138190848 33132 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10307/statm): 33738 33132 566 18 0 33720 0
[pid=10307] vsize: 134952
Current children cumulated CPU time (s) 828.27
Current children cumulated vsize (Kb) 134952

[startup+840.046 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 10307
Raw data (/proc/10307/stat): 10307 (Pueblo) T 10306 10307 31915 0 -1 0 33364 0 0 0 83653 173 0 0 25 0 1 0 1801124662 139026432 33330 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/10307/statm): 33942 33330 566 18 0 33924 0
[pid=10307] vsize: 135768
Current children cumulated CPU time (s) 838.26
Current children cumulated vsize (Kb) 135768

[startup+850.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 10362
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 33668 0 0 0 84637 181 0 0 25 0 1 0 1801124662 140382208 33634 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 34273 33634 566 18 0 34255 0
[pid=10307] vsize: 137092
Current children cumulated CPU time (s) 848.18
Current children cumulated vsize (Kb) 137092

[startup+860.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 10362
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 33922 0 0 0 85633 183 0 0 25 0 1 0 1801124662 141438976 33888 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 34531 33888 566 18 0 34513 0
[pid=10307] vsize: 138124
Current children cumulated CPU time (s) 858.16
Current children cumulated vsize (Kb) 138124

[startup+870.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 10362
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 34329 0 0 0 86629 185 0 0 25 0 1 0 1801124662 143065088 34295 4294967295 134512640 134578447 3221224624 3221223296 134523325 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 34928 34295 566 18 0 34910 0
[pid=10307] vsize: 139712
Current children cumulated CPU time (s) 868.14
Current children cumulated vsize (Kb) 139712

[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10362
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 34572 0 0 0 87626 187 0 0 25 0 1 0 1801124662 144130048 34538 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 35188 34538 566 18 0 35170 0
[pid=10307] vsize: 140752
Current children cumulated CPU time (s) 878.13
Current children cumulated vsize (Kb) 140752

[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10362
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 34926 0 0 0 88623 188 0 0 25 0 1 0 1801124662 145678336 34892 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 35566 34892 566 18 0 35548 0
[pid=10307] vsize: 142264
Current children cumulated CPU time (s) 888.11
Current children cumulated vsize (Kb) 142264

[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10362
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 35057 0 0 0 89620 189 0 0 25 0 1 0 1801124662 146223104 35023 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 35699 35023 566 18 0 35681 0
[pid=10307] vsize: 142796
Current children cumulated CPU time (s) 898.09
Current children cumulated vsize (Kb) 142796

[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10362
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 35451 0 0 0 90616 192 0 0 25 0 1 0 1801124662 147804160 35417 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 36085 35417 566 18 0 36067 0
[pid=10307] vsize: 144340
Current children cumulated CPU time (s) 908.08
Current children cumulated vsize (Kb) 144340

[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 35828 0 0 0 91611 194 0 0 25 0 1 0 1801124662 149307392 35794 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 36452 35794 566 18 0 36434 0
[pid=10307] vsize: 145808
Current children cumulated CPU time (s) 918.05
Current children cumulated vsize (Kb) 145808

[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 36363 0 0 0 92606 197 0 0 25 0 1 0 1801124662 151519232 36329 4294967295 134512640 134578447 3221224624 3221221824 134532499 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 36992 36329 566 18 0 36974 0
[pid=10307] vsize: 147968
Current children cumulated CPU time (s) 928.03
Current children cumulated vsize (Kb) 147968

[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 36648 0 0 0 93603 198 0 0 25 0 1 0 1801124662 152715264 36614 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37284 36614 566 18 0 37266 0
[pid=10307] vsize: 149136
Current children cumulated CPU time (s) 938.01
Current children cumulated vsize (Kb) 149136

[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 36996 0 0 0 94599 201 0 0 25 0 1 0 1801124662 154206208 36962 4294967295 134512640 134578447 3221224624 3221223476 134555854 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37648 36962 566 18 0 37630 0
[pid=10307] vsize: 150592
Current children cumulated CPU time (s) 948
Current children cumulated vsize (Kb) 150592

[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37240 0 0 0 95597 201 0 0 25 0 1 0 1801124662 155156480 37206 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37206 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 957.98
Current children cumulated vsize (Kb) 151520

[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37240 0 0 0 96596 202 0 0 25 0 1 0 1801124662 155156480 37206 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37206 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 967.98
Current children cumulated vsize (Kb) 151520

[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37240 0 0 0 97592 203 0 0 25 0 1 0 1801124662 155156480 37206 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37206 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 977.95
Current children cumulated vsize (Kb) 151520

[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37240 0 0 0 98586 205 0 0 25 0 1 0 1801124662 155156480 37206 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37206 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 987.91
Current children cumulated vsize (Kb) 151520

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37241 0 0 0 99584 206 0 0 25 0 1 0 1801124662 155156480 37207 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37207 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 997.9
Current children cumulated vsize (Kb) 151520

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37241 0 0 0 100583 207 0 0 25 0 1 0 1801124662 155156480 37207 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37207 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1007.9
Current children cumulated vsize (Kb) 151520

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) T 10306 10307 31915 0 -1 0 37241 0 0 0 101579 208 0 0 25 0 1 0 1801124662 155156480 37207 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37207 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1017.87
Current children cumulated vsize (Kb) 151520

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37241 0 0 0 102577 209 0 0 25 0 1 0 1801124662 155156480 37207 4294967295 134512640 134578447 3221224624 3221223296 134523343 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37207 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1027.86
Current children cumulated vsize (Kb) 151520

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37241 0 0 0 103573 210 0 0 25 0 1 0 1801124662 155156480 37207 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37207 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1037.83
Current children cumulated vsize (Kb) 151520

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 104572 211 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1047.83
Current children cumulated vsize (Kb) 151520

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 105567 213 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1057.8
Current children cumulated vsize (Kb) 151520

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 106566 213 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1067.79
Current children cumulated vsize (Kb) 151520

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 107566 214 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223420 134528796 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1077.8
Current children cumulated vsize (Kb) 151520

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 108563 215 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1087.78
Current children cumulated vsize (Kb) 151520

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 109560 216 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1097.76
Current children cumulated vsize (Kb) 151520

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 110557 217 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1107.74
Current children cumulated vsize (Kb) 151520

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 111555 218 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1117.73
Current children cumulated vsize (Kb) 151520

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 112552 219 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1127.71
Current children cumulated vsize (Kb) 151520

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37242 0 0 0 113549 220 0 0 25 0 1 0 1801124662 155156480 37208 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37208 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1137.69
Current children cumulated vsize (Kb) 151520

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37245 0 0 0 114547 221 0 0 25 0 1 0 1801124662 155156480 37211 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37211 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1147.68
Current children cumulated vsize (Kb) 151520

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37245 0 0 0 115544 222 0 0 25 0 1 0 1801124662 155156480 37211 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37211 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1157.66
Current children cumulated vsize (Kb) 151520

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37245 0 0 0 116541 223 0 0 25 0 1 0 1801124662 155156480 37211 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37211 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1167.64
Current children cumulated vsize (Kb) 151520

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37245 0 0 0 117539 224 0 0 25 0 1 0 1801124662 155156480 37211 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37211 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1177.63
Current children cumulated vsize (Kb) 151520

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 10366
Raw data (/proc/10307/stat): 10307 (Pueblo) R 10306 10307 31915 0 -1 0 37245 0 0 0 118536 225 0 0 25 0 1 0 1801124662 155156480 37211 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10307/statm): 37880 37211 566 18 0 37862 0
[pid=10307] vsize: 151520
Current children cumulated CPU time (s) 1187.61
Current children cumulated vsize (Kb) 151520
One traced child (pid=10307) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.55
CPU time (s): 1189.11
CPU user time (s): 1186.78
CPU system time (s): 2.32665
CPU usage (%): 99.7946
Max. virtual memory (cumulated for all children) (Kb): 151520

Verifier Data

Verifier:	OK	-9