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-4.opb
MD5SUM7731f50c352d2fd7b2fe148b68bfdbab
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -33
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.03
Number of variables760
Total number of constraints41605
Number of constraints which are clauses41605
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 9822

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-23 15:28:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8557 boxname=wulflinc27 idbench=353 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7731f50c352d2fd7b2fe148b68bfdbab  /oldhome/oroussel/tmp/wulflinc27/normalized-frb40-19-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-frb40-19-4.opb
IDLAUNCH: 8557
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        942708 kB
Buffers:         11168 kB
Cached:          63768 kB
SwapCached:          0 kB
Active:          45748 kB
Inactive:        32076 kB
HighTotal:      131008 kB
HighFree:        62776 kB
LowTotal:       903652 kB
LowFree:        879932 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8576 kB
Committed_AS:    63636 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:48:26 (client local time) WITH STATUS 10 IN 1207.84 SECONDS
stats: 8557 0 1207.84 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 760
c big objective detected
c trying from 0 to 511

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

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/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21230771 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 373 2 364 364 0 9 0
[pid=8268] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-frb40-19-4.opb

[startup+10.0014 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 26216 0 0 0 939 56 0 0 25 0 1 0 21230771 90824704 15175 4294967295 134512640 135987407 3221224560 3221215664 134877628 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 22174 15175 364 364 0 21810 0
[pid=8268] vsize: 88696
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 88696

[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 44375 0 0 0 1891 99 0 0 25 0 1 0 21230771 136736768 26567 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 33383 26567 364 364 0 33019 0
[pid=8268] vsize: 133532
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 133532

[startup+30.003 s]
Raw data (loadavg): 1.02 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 45601 0 0 0 2886 103 0 0 25 0 1 0 21230771 141963264 27430 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 34659 27430 364 364 0 34295 0
[pid=8268] vsize: 138636
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (Kb) 138636

[startup+40.0039 s]
Raw data (loadavg): 1.02 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 46593 0 0 0 3876 107 0 0 25 0 1 0 21230771 143892480 27832 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 35130 27832 364 364 0 34766 0
[pid=8268] vsize: 140520
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 140520

[startup+50.0047 s]
Raw data (loadavg): 1.01 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 47985 0 0 0 4843 119 0 0 25 0 1 0 21230771 148406272 28668 4294967295 134512640 135987407 3221224560 3221223120 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 36232 28668 364 364 0 35868 0
[pid=8268] vsize: 144928
Current children cumulated CPU time (s) 49.62
Current children cumulated vsize (Kb) 144928

[startup+60.0045 s]
Raw data (loadavg): 1.01 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 49495 0 0 0 5818 129 0 0 25 0 1 0 21230771 154599424 29768 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 37744 29768 364 364 0 37380 0
[pid=8268] vsize: 150976
Current children cumulated CPU time (s) 59.47
Current children cumulated vsize (Kb) 150976

[startup+70.0053 s]
Raw data (loadavg): 1.01 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 50235 0 0 0 6806 133 0 0 25 0 1 0 21230771 157962240 30393 4294967295 134512640 135987407 3221224560 3221223184 134801266 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 38565 30393 364 364 0 38201 0
[pid=8268] vsize: 154260
Current children cumulated CPU time (s) 69.39
Current children cumulated vsize (Kb) 154260

[startup+80.0061 s]
Raw data (loadavg): 1.01 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 50638 0 0 0 7803 135 0 0 25 0 1 0 21230771 159682560 30698 4294967295 134512640 135987407 3221224560 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 38985 30698 364 364 0 38621 0
[pid=8268] vsize: 155940
Current children cumulated CPU time (s) 79.38
Current children cumulated vsize (Kb) 155940

[startup+90.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 51331 0 0 0 8799 137 0 0 25 0 1 0 21230771 160215040 30818 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 39115 30818 364 364 0 38751 0
[pid=8268] vsize: 156460
Current children cumulated CPU time (s) 89.36
Current children cumulated vsize (Kb) 156460

[startup+100.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 51567 0 0 0 9793 140 0 0 25 0 1 0 21230771 161202176 31021 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 39356 31021 364 364 0 38992 0
[pid=8268] vsize: 157424
Current children cumulated CPU time (s) 99.33
Current children cumulated vsize (Kb) 157424

[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 51581 0 0 0 10787 142 0 0 25 0 1 0 21230771 161202176 31035 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 39356 31035 364 364 0 38992 0
[pid=8268] vsize: 157424
Current children cumulated CPU time (s) 109.29
Current children cumulated vsize (Kb) 157424

[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 53216 0 0 0 11777 148 0 0 25 0 1 0 21230771 165699584 31818 4294967295 134512640 135987407 3221224560 3221223120 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 40454 31818 364 364 0 40090 0
[pid=8268] vsize: 161816
Current children cumulated CPU time (s) 119.25
Current children cumulated vsize (Kb) 161816

[startup+130.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 54566 0 0 0 12767 152 0 0 25 0 1 0 21230771 170754048 32810 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 41688 32810 364 364 0 41324 0
[pid=8268] vsize: 166752
Current children cumulated CPU time (s) 129.19
Current children cumulated vsize (Kb) 166752

[startup+140.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 54994 0 0 0 13762 155 0 0 25 0 1 0 21230771 172007424 33041 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 41994 33041 364 364 0 41630 0
[pid=8268] vsize: 167976
Current children cumulated CPU time (s) 139.17
Current children cumulated vsize (Kb) 167976

[startup+150.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 55033 0 0 0 14760 156 0 0 25 0 1 0 21230771 172007424 33080 4294967295 134512640 135987407 3221224560 3221223120 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 41994 33080 364 364 0 41630 0
[pid=8268] vsize: 167976
Current children cumulated CPU time (s) 149.16
Current children cumulated vsize (Kb) 167976

[startup+160.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 55216 0 0 0 15754 158 0 0 25 0 1 0 21230771 172814336 33263 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 42191 33263 364 364 0 41827 0
[pid=8268] vsize: 168764
Current children cumulated CPU time (s) 159.12
Current children cumulated vsize (Kb) 168764

[startup+170.01 s]
Raw data (loadavg): 1.08 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 56484 0 0 0 16743 164 0 0 25 0 1 0 21230771 175616000 33728 4294967295 134512640 135987407 3221224560 3221223296 134812626 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 42875 33728 364 364 0 42511 0
[pid=8268] vsize: 171500
Current children cumulated CPU time (s) 169.07
Current children cumulated vsize (Kb) 171500

[startup+180.01 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 57611 0 0 0 17737 167 0 0 25 0 1 0 21230771 178503680 34206 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 43580 34206 364 364 0 43216 0
[pid=8268] vsize: 174320
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (Kb) 174320

[startup+190.011 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 58222 0 0 0 18731 169 0 0 25 0 1 0 21230771 180219904 34589 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 43999 34589 364 364 0 43635 0
[pid=8268] vsize: 175996
Current children cumulated CPU time (s) 189
Current children cumulated vsize (Kb) 175996

[startup+200.011 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 58811 0 0 0 19726 172 0 0 25 0 1 0 21230771 181940224 34950 4294967295 134512640 135987407 3221224560 3221223120 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 44419 34950 364 364 0 44055 0
[pid=8268] vsize: 177676
Current children cumulated CPU time (s) 198.98
Current children cumulated vsize (Kb) 177676

[startup+210.011 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 58900 0 0 0 20723 173 0 0 25 0 1 0 21230771 182202368 34974 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 44483 34974 364 364 0 44119 0
[pid=8268] vsize: 177932
Current children cumulated CPU time (s) 208.96
Current children cumulated vsize (Kb) 177932

[startup+220.011 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 58925 0 0 0 21721 174 0 0 25 0 1 0 21230771 182202368 34999 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 44483 34999 364 364 0 44119 0
[pid=8268] vsize: 177932
Current children cumulated CPU time (s) 218.95
Current children cumulated vsize (Kb) 177932

[startup+230.01 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 58954 0 0 0 22718 175 0 0 25 0 1 0 21230771 182202368 35028 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 44483 35028 364 364 0 44119 0
[pid=8268] vsize: 177932
Current children cumulated CPU time (s) 228.93
Current children cumulated vsize (Kb) 177932

[startup+240.011 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 60101 0 0 0 23711 180 0 0 25 0 1 0 21230771 184324096 35438 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 45001 35438 364 364 0 44637 0
[pid=8268] vsize: 180004
Current children cumulated CPU time (s) 238.91
Current children cumulated vsize (Kb) 180004

[startup+250.012 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 60134 0 0 0 24710 181 0 0 25 0 1 0 21230771 184324096 35471 4294967295 134512640 135987407 3221224560 3221223216 134801097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 45001 35471 364 364 0 44637 0
[pid=8268] vsize: 180004
Current children cumulated CPU time (s) 248.91
Current children cumulated vsize (Kb) 180004

[startup+260.012 s]
Raw data (loadavg): 1.02 0.99 0.99 1/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) T 8267 8268 4005 0 -1 0 60158 0 0 0 25707 182 0 0 25 0 1 0 21230771 184324096 35495 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8268/statm): 45001 35495 364 364 0 44637 0
[pid=8268] vsize: 180004
Current children cumulated CPU time (s) 258.89
Current children cumulated vsize (Kb) 180004

[startup+270.013 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 60728 0 0 0 26700 184 0 0 25 0 1 0 21230771 184455168 35524 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45033 35524 364 364 0 44669 0
[pid=8268] vsize: 180132
Current children cumulated CPU time (s) 268.84
Current children cumulated vsize (Kb) 180132

[startup+280.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 60899 0 0 0 27693 187 0 0 25 0 1 0 21230771 184991744 35662 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45164 35662 364 364 0 44800 0
[pid=8268] vsize: 180656
Current children cumulated CPU time (s) 278.8
Current children cumulated vsize (Kb) 180656

[startup+290.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 60925 0 0 0 28691 187 0 0 25 0 1 0 21230771 185126912 35688 4294967295 134512640 135987407 3221224560 3221223184 134801205 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45197 35688 364 364 0 44833 0
[pid=8268] vsize: 180788
Current children cumulated CPU time (s) 288.78
Current children cumulated vsize (Kb) 180788

[startup+300.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 61434 0 0 0 29687 189 0 0 25 0 1 0 21230771 185126912 35689 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45197 35689 364 364 0 44833 0
[pid=8268] vsize: 180788
Current children cumulated CPU time (s) 298.76
Current children cumulated vsize (Kb) 180788

[startup+310.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 61492 0 0 0 30683 191 0 0 25 0 1 0 21230771 185262080 35747 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35747 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 308.74
Current children cumulated vsize (Kb) 180920

[startup+320.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 61493 0 0 0 31681 192 0 0 25 0 1 0 21230771 185262080 35748 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35748 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 318.73
Current children cumulated vsize (Kb) 180920

[startup+330.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 62002 0 0 0 32678 194 0 0 25 0 1 0 21230771 185262080 35749 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35749 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 328.72
Current children cumulated vsize (Kb) 180920

[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 62004 0 0 0 33677 194 0 0 25 0 1 0 21230771 185262080 35751 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35751 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 338.71
Current children cumulated vsize (Kb) 180920

[startup+350.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 62005 0 0 0 34675 194 0 0 25 0 1 0 21230771 185262080 35752 4294967295 134512640 135987407 3221224560 3221223120 134811784 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35752 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 348.69
Current children cumulated vsize (Kb) 180920

[startup+360.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 62514 0 0 0 35672 196 0 0 25 0 1 0 21230771 185262080 35753 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35753 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 358.68
Current children cumulated vsize (Kb) 180920

[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 62516 0 0 0 36669 198 0 0 25 0 1 0 21230771 185262080 35755 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35755 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 368.67
Current children cumulated vsize (Kb) 180920

[startup+380.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 62520 0 0 0 37666 198 0 0 25 0 1 0 21230771 185262080 35759 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35759 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 378.64
Current children cumulated vsize (Kb) 180920

[startup+390.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 63053 0 0 0 38664 201 0 0 25 0 1 0 21230771 187342848 36292 4294967295 134512640 135987407 3221224560 3221222792 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45738 36292 364 364 0 45374 0
[pid=8268] vsize: 182952
Current children cumulated CPU time (s) 388.65
Current children cumulated vsize (Kb) 182952

[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 63077 0 0 0 39660 202 0 0 25 0 1 0 21230771 185262080 35808 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35808 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 398.62
Current children cumulated vsize (Kb) 180920

[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 63096 0 0 0 40658 203 0 0 25 0 1 0 21230771 185262080 35827 4294967295 134512640 135987407 3221224560 3221223120 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35827 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (Kb) 180920

[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 63127 0 0 0 41657 203 0 0 25 0 1 0 21230771 185262080 35858 4294967295 134512640 135987407 3221224560 3221223152 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35858 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 418.6
Current children cumulated vsize (Kb) 180920

[startup+430.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 63641 0 0 0 42654 205 0 0 25 0 1 0 21230771 185262080 35864 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35864 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 428.59
Current children cumulated vsize (Kb) 180920

[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 63643 0 0 0 43651 206 0 0 25 0 1 0 21230771 185262080 35866 4294967295 134512640 135987407 3221224560 3221223216 134812389 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35866 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 438.57
Current children cumulated vsize (Kb) 180920

[startup+450.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 64152 0 0 0 44647 208 0 0 25 0 1 0 21230771 187342848 36375 4294967295 134512640 135987407 3221224560 3221222800 134828866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45738 36375 364 364 0 45374 0
[pid=8268] vsize: 182952
Current children cumulated CPU time (s) 448.55
Current children cumulated vsize (Kb) 182952

[startup+460.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 64154 0 0 0 45645 209 0 0 25 0 1 0 21230771 185262080 35869 4294967295 134512640 135987407 3221224560 3221223008 134801598 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35869 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 458.54
Current children cumulated vsize (Kb) 180920

[startup+470.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 64155 0 0 0 46644 210 0 0 25 0 1 0 21230771 185262080 35870 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35870 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 468.54
Current children cumulated vsize (Kb) 180920

[startup+480.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 64157 0 0 0 47641 210 0 0 25 0 1 0 21230771 185262080 35872 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45230 35872 364 364 0 44866 0
[pid=8268] vsize: 180920
Current children cumulated CPU time (s) 478.51
Current children cumulated vsize (Kb) 180920

[startup+490.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 64790 0 0 0 48636 213 0 0 25 0 1 0 21230771 185655296 35899 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45326 35899 364 364 0 44962 0
[pid=8268] vsize: 181304
Current children cumulated CPU time (s) 488.49
Current children cumulated vsize (Kb) 181304

[startup+500.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 64791 0 0 0 49634 213 0 0 25 0 1 0 21230771 185655296 35900 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45326 35900 364 364 0 44962 0
[pid=8268] vsize: 181304
Current children cumulated CPU time (s) 498.47
Current children cumulated vsize (Kb) 181304

[startup+510.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 64793 0 0 0 50631 214 0 0 25 0 1 0 21230771 185655296 35902 4294967295 134512640 135987407 3221224560 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45326 35902 364 364 0 44962 0
[pid=8268] vsize: 181304
Current children cumulated CPU time (s) 508.45
Current children cumulated vsize (Kb) 181304

[startup+520.024 s]
Raw data (loadavg): 1.00 0.99 0.99 3/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 65440 0 0 0 51628 216 0 0 25 0 1 0 21230771 185917440 35976 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 45390 35976 364 364 0 45026 0
[pid=8268] vsize: 181560
Current children cumulated CPU time (s) 518.44
Current children cumulated vsize (Kb) 181560

[startup+530.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 65468 0 0 0 52626 217 0 0 25 0 1 0 21230771 202694656 36004 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49486 36004 364 364 0 49122 0
[pid=8268] vsize: 197944
Current children cumulated CPU time (s) 528.43
Current children cumulated vsize (Kb) 197944

[startup+540.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 65495 0 0 0 53623 217 0 0 25 0 1 0 21230771 202694656 36031 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49486 36031 364 364 0 49122 0
[pid=8268] vsize: 197944
Current children cumulated CPU time (s) 538.4
Current children cumulated vsize (Kb) 197944

[startup+550.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 66021 0 0 0 54620 219 0 0 25 0 1 0 21230771 202694656 36049 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49486 36049 364 364 0 49122 0
[pid=8268] vsize: 197944
Current children cumulated CPU time (s) 548.39
Current children cumulated vsize (Kb) 197944

[startup+560.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 66046 0 0 0 55618 220 0 0 25 0 1 0 21230771 202694656 36074 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49486 36074 364 364 0 49122 0
[pid=8268] vsize: 197944
Current children cumulated CPU time (s) 558.38
Current children cumulated vsize (Kb) 197944

[startup+570.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 66072 0 0 0 56616 221 0 0 25 0 1 0 21230771 202694656 36100 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49486 36100 364 364 0 49122 0
[pid=8268] vsize: 197944
Current children cumulated CPU time (s) 568.37
Current children cumulated vsize (Kb) 197944

[startup+580.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 66168 0 0 0 57613 222 0 0 25 0 1 0 21230771 203227136 36196 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49616 36196 364 364 0 49252 0
[pid=8268] vsize: 198464
Current children cumulated CPU time (s) 578.35
Current children cumulated vsize (Kb) 198464

[startup+590.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 66680 0 0 0 58610 224 0 0 25 0 1 0 21230771 203227136 36200 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49616 36200 364 364 0 49252 0
[pid=8268] vsize: 198464
Current children cumulated CPU time (s) 588.34
Current children cumulated vsize (Kb) 198464

[startup+600.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 66681 0 0 0 59608 225 0 0 25 0 1 0 21230771 203227136 36201 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49616 36201 364 364 0 49252 0
[pid=8268] vsize: 198464
Current children cumulated CPU time (s) 598.33
Current children cumulated vsize (Kb) 198464

[startup+610.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 66683 0 0 0 60606 226 0 0 25 0 1 0 21230771 203227136 36203 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49616 36203 364 364 0 49252 0
[pid=8268] vsize: 198464
Current children cumulated CPU time (s) 608.32
Current children cumulated vsize (Kb) 198464

[startup+620.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 67192 0 0 0 61602 228 0 0 25 0 1 0 21230771 203227136 36204 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 49616 36204 364 364 0 49252 0
[pid=8268] vsize: 198464
Current children cumulated CPU time (s) 618.3
Current children cumulated vsize (Kb) 198464

[startup+630.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 67661 0 0 0 62596 231 0 0 25 0 1 0 21230771 204812288 36445 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50003 36445 364 364 0 49639 0
[pid=8268] vsize: 200012
Current children cumulated CPU time (s) 628.27
Current children cumulated vsize (Kb) 200012

[startup+640.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 67663 0 0 0 63594 232 0 0 25 0 1 0 21230771 204812288 36447 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50003 36447 364 364 0 49639 0
[pid=8268] vsize: 200012
Current children cumulated CPU time (s) 638.26
Current children cumulated vsize (Kb) 200012

[startup+650.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 67665 0 0 0 64592 232 0 0 25 0 1 0 21230771 204812288 36449 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50003 36449 364 364 0 49639 0
[pid=8268] vsize: 200012
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (Kb) 200012

[startup+660.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 67666 0 0 0 65589 233 0 0 25 0 1 0 21230771 204812288 36450 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50003 36450 364 364 0 49639 0
[pid=8268] vsize: 200012
Current children cumulated CPU time (s) 658.22
Current children cumulated vsize (Kb) 200012

[startup+670.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 68185 0 0 0 66584 236 0 0 25 0 1 0 21230771 204812288 36461 4294967295 134512640 135987407 3221224560 3221223260 134812256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50003 36461 364 364 0 49639 0
[pid=8268] vsize: 200012
Current children cumulated CPU time (s) 668.2
Current children cumulated vsize (Kb) 200012

[startup+680.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 68393 0 0 0 67579 238 0 0 25 0 1 0 21230771 205742080 36570 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50230 36570 364 364 0 49866 0
[pid=8268] vsize: 200920
Current children cumulated CPU time (s) 678.17
Current children cumulated vsize (Kb) 200920

[startup+690.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 68394 0 0 0 68577 239 0 0 25 0 1 0 21230771 205742080 36571 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50230 36571 364 364 0 49866 0
[pid=8268] vsize: 200920
Current children cumulated CPU time (s) 688.16
Current children cumulated vsize (Kb) 200920

[startup+700.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 68903 0 0 0 69574 240 0 0 25 0 1 0 21230771 205742080 36572 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50230 36572 364 364 0 49866 0
[pid=8268] vsize: 200920
Current children cumulated CPU time (s) 698.14
Current children cumulated vsize (Kb) 200920

[startup+710.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 69040 0 0 0 70570 242 0 0 25 0 1 0 21230771 206270464 36643 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50359 36643 364 364 0 49995 0
[pid=8268] vsize: 201436
Current children cumulated CPU time (s) 708.12
Current children cumulated vsize (Kb) 201436

[startup+720.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 69042 0 0 0 71568 242 0 0 25 0 1 0 21230771 206270464 36645 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50359 36645 364 364 0 49995 0
[pid=8268] vsize: 201436
Current children cumulated CPU time (s) 718.1
Current children cumulated vsize (Kb) 201436

[startup+730.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 69558 0 0 0 72565 244 0 0 25 0 1 0 21230771 206270464 36653 4294967295 134512640 135987407 3221224560 3221223120 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50359 36653 364 364 0 49995 0
[pid=8268] vsize: 201436
Current children cumulated CPU time (s) 728.09
Current children cumulated vsize (Kb) 201436

[startup+740.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 69993 0 0 0 73561 246 0 0 25 0 1 0 21230771 207323136 36859 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50616 36859 364 364 0 50252 0
[pid=8268] vsize: 202464
Current children cumulated CPU time (s) 738.07
Current children cumulated vsize (Kb) 202464

[startup+750.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 69994 0 0 0 74559 247 0 0 25 0 1 0 21230771 207323136 36860 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50616 36860 364 364 0 50252 0
[pid=8268] vsize: 202464
Current children cumulated CPU time (s) 748.06
Current children cumulated vsize (Kb) 202464

[startup+760.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 69995 0 0 0 75558 247 0 0 25 0 1 0 21230771 207323136 36861 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50616 36861 364 364 0 50252 0
[pid=8268] vsize: 202464
Current children cumulated CPU time (s) 758.05
Current children cumulated vsize (Kb) 202464

[startup+770.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 70515 0 0 0 76555 249 0 0 25 0 1 0 21230771 207323136 36873 4294967295 134512640 135987407 3221224560 3221223120 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50616 36873 364 364 0 50252 0
[pid=8268] vsize: 202464
Current children cumulated CPU time (s) 768.04
Current children cumulated vsize (Kb) 202464

[startup+780.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 70524 0 0 0 77551 251 0 0 25 0 1 0 21230771 207323136 36882 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 50616 36882 364 364 0 50252 0
[pid=8268] vsize: 202464
Current children cumulated CPU time (s) 778.02
Current children cumulated vsize (Kb) 202464

[startup+790.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 71248 0 0 0 78545 254 0 0 25 0 1 0 21230771 209707008 37246 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51198 37246 364 364 0 50834 0
[pid=8268] vsize: 204792
Current children cumulated CPU time (s) 787.99
Current children cumulated vsize (Kb) 204792

[startup+800.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 71869 0 0 0 79538 257 0 0 25 0 1 0 21230771 211415040 37476 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51615 37476 364 364 0 51251 0
[pid=8268] vsize: 206460
Current children cumulated CPU time (s) 797.95
Current children cumulated vsize (Kb) 206460

[startup+810.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 72531 0 0 0 80533 260 0 0 25 0 1 0 21230771 211812352 37564 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51712 37564 364 364 0 51348 0
[pid=8268] vsize: 206848
Current children cumulated CPU time (s) 807.93
Current children cumulated vsize (Kb) 206848

[startup+820.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 72533 0 0 0 81530 261 0 0 25 0 1 0 21230771 211812352 37566 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51712 37566 364 364 0 51348 0
[pid=8268] vsize: 206848
Current children cumulated CPU time (s) 817.91
Current children cumulated vsize (Kb) 206848

[startup+830.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 72534 0 0 0 82526 263 0 0 25 0 1 0 21230771 211812352 37567 4294967295 134512640 135987407 3221224560 3221223216 134812394 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51712 37567 364 364 0 51348 0
[pid=8268] vsize: 206848
Current children cumulated CPU time (s) 827.89
Current children cumulated vsize (Kb) 206848

[startup+840.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 72535 0 0 0 83523 265 0 0 25 0 1 0 21230771 211812352 37568 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51712 37568 364 364 0 51348 0
[pid=8268] vsize: 206848
Current children cumulated CPU time (s) 837.88
Current children cumulated vsize (Kb) 206848

[startup+850.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 72577 0 0 0 84520 265 0 0 25 0 1 0 21230771 211943424 37577 4294967295 134512640 135987407 3221224560 3221223120 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51744 37577 364 364 0 51380 0
[pid=8268] vsize: 206976
Current children cumulated CPU time (s) 847.85
Current children cumulated vsize (Kb) 206976

[startup+860.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 72653 0 0 0 85516 267 0 0 25 0 1 0 21230771 212344832 37653 4294967295 134512640 135987407 3221224560 3221223120 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51842 37653 364 364 0 51478 0
[pid=8268] vsize: 207368
Current children cumulated CPU time (s) 857.83
Current children cumulated vsize (Kb) 207368

[startup+870.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 72654 0 0 0 86514 267 0 0 25 0 1 0 21230771 212344832 37654 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51842 37654 364 364 0 51478 0
[pid=8268] vsize: 207368
Current children cumulated CPU time (s) 867.81
Current children cumulated vsize (Kb) 207368

[startup+880.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 72656 0 0 0 87512 267 0 0 25 0 1 0 21230771 212344832 37656 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51842 37656 364 364 0 51478 0
[pid=8268] vsize: 207368
Current children cumulated CPU time (s) 877.79
Current children cumulated vsize (Kb) 207368

[startup+890.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 73188 0 0 0 88509 270 0 0 25 0 1 0 21230771 212480000 37680 4294967295 134512640 135987407 3221224560 3221223120 134811986 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37680 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 887.79
Current children cumulated vsize (Kb) 207500

[startup+900.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 73189 0 0 0 89506 271 0 0 25 0 1 0 21230771 212480000 37681 4294967295 134512640 135987407 3221224560 3221222928 134878078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37681 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 897.77
Current children cumulated vsize (Kb) 207500

[startup+910.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 73190 0 0 0 90504 272 0 0 25 0 1 0 21230771 212480000 37682 4294967295 134512640 135987407 3221224560 3221222992 134788476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37682 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 907.76
Current children cumulated vsize (Kb) 207500

[startup+920.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 73700 0 0 0 91501 274 0 0 25 0 1 0 21230771 212480000 37684 4294967295 134512640 135987407 3221224560 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37684 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 917.75
Current children cumulated vsize (Kb) 207500

[startup+930.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 73702 0 0 0 92499 275 0 0 25 0 1 0 21230771 212480000 37686 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37686 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 927.74
Current children cumulated vsize (Kb) 207500

[startup+940.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 73720 0 0 0 93498 275 0 0 25 0 1 0 21230771 212480000 37704 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 51875 37704 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 937.73
Current children cumulated vsize (Kb) 207500

[startup+950.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 73748 0 0 0 94496 276 0 0 25 0 1 0 21230771 212480000 37732 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 51875 37732 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 947.72
Current children cumulated vsize (Kb) 207500

[startup+960.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 73778 0 0 0 95494 277 0 0 25 0 1 0 21230771 212480000 37762 4294967295 134512640 135987407 3221224560 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 51875 37762 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 957.71
Current children cumulated vsize (Kb) 207500

[startup+970.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 74306 0 0 0 96491 279 0 0 25 0 1 0 21230771 212480000 37782 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8268/statm): 51875 37782 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 967.7
Current children cumulated vsize (Kb) 207500

[startup+980.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 74324 0 0 0 97488 279 0 0 25 0 1 0 21230771 212480000 37800 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37800 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 977.67
Current children cumulated vsize (Kb) 207500

[startup+990.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 74848 0 0 0 98485 282 0 0 25 0 1 0 21230771 212480000 37816 4294967295 134512640 135987407 3221224560 3221223200 134882547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37816 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 987.67
Current children cumulated vsize (Kb) 207500

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 74853 0 0 0 99482 283 0 0 25 0 1 0 21230771 212480000 37821 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37821 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 997.65
Current children cumulated vsize (Kb) 207500

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 74855 0 0 0 100481 284 0 0 25 0 1 0 21230771 212480000 37823 4294967295 134512640 135987407 3221224560 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37823 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 1007.65
Current children cumulated vsize (Kb) 207500

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 75364 0 0 0 101478 285 0 0 25 0 1 0 21230771 212480000 37824 4294967295 134512640 135987407 3221224560 3221223120 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 51875 37824 364 364 0 51511 0
[pid=8268] vsize: 207500
Current children cumulated CPU time (s) 1017.63
Current children cumulated vsize (Kb) 207500

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 75603 0 0 0 102473 287 0 0 25 0 1 0 21230771 213270528 37931 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52068 37931 364 364 0 51704 0
[pid=8268] vsize: 208272
Current children cumulated CPU time (s) 1027.6
Current children cumulated vsize (Kb) 208272

[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 75648 0 0 0 103469 289 0 0 25 0 1 0 21230771 213401600 37943 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52100 37943 364 364 0 51736 0
[pid=8268] vsize: 208400
Current children cumulated CPU time (s) 1037.58
Current children cumulated vsize (Kb) 208400

[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 75650 0 0 0 104467 289 0 0 25 0 1 0 21230771 213401600 37945 4294967295 134512640 135987407 3221224560 3221223248 134824777 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52100 37945 364 364 0 51736 0
[pid=8268] vsize: 208400
Current children cumulated CPU time (s) 1047.56
Current children cumulated vsize (Kb) 208400

[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 75651 0 0 0 105464 290 0 0 25 0 1 0 21230771 213401600 37946 4294967295 134512640 135987407 3221224560 3221223120 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52100 37946 364 364 0 51736 0
[pid=8268] vsize: 208400
Current children cumulated CPU time (s) 1057.54
Current children cumulated vsize (Kb) 208400

[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 76160 0 0 0 106461 292 0 0 25 0 1 0 21230771 213401600 37947 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52100 37947 364 364 0 51736 0
[pid=8268] vsize: 208400
Current children cumulated CPU time (s) 1067.53
Current children cumulated vsize (Kb) 208400

[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 76161 0 0 0 107457 294 0 0 25 0 1 0 21230771 213401600 37948 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52100 37948 364 364 0 51736 0
[pid=8268] vsize: 208400
Current children cumulated CPU time (s) 1077.51
Current children cumulated vsize (Kb) 208400

[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 76189 0 0 0 108454 295 0 0 25 0 1 0 21230771 213536768 37976 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37976 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1087.49
Current children cumulated vsize (Kb) 208532

[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 76190 0 0 0 109451 296 0 0 25 0 1 0 21230771 213536768 37977 4294967295 134512640 135987407 3221224560 3221223120 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37977 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1097.47
Current children cumulated vsize (Kb) 208532

[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 76700 0 0 0 110448 297 0 0 25 0 1 0 21230771 213536768 37979 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37979 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1107.45
Current children cumulated vsize (Kb) 208532

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 76701 0 0 0 111445 299 0 0 25 0 1 0 21230771 213536768 37980 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37980 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1117.44
Current children cumulated vsize (Kb) 208532

[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 76703 0 0 0 112442 299 0 0 25 0 1 0 21230771 213536768 37982 4294967295 134512640 135987407 3221224560 3221223184 134801144 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37982 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1127.41
Current children cumulated vsize (Kb) 208532

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 77212 0 0 0 113439 301 0 0 25 0 1 0 21230771 213536768 37983 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37983 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1137.4
Current children cumulated vsize (Kb) 208532

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 77213 0 0 0 114437 302 0 0 25 0 1 0 21230771 213536768 37984 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37984 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1147.39
Current children cumulated vsize (Kb) 208532

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 77215 0 0 0 115435 303 0 0 25 0 1 0 21230771 213536768 37986 4294967295 134512640 135987407 3221224560 3221223120 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37986 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1157.38
Current children cumulated vsize (Kb) 208532

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 77724 0 0 0 116432 305 0 0 25 0 1 0 21230771 213536768 37987 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37987 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1167.37
Current children cumulated vsize (Kb) 208532

[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 77725 0 0 0 117431 306 0 0 25 0 1 0 21230771 213536768 37988 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37988 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1177.37
Current children cumulated vsize (Kb) 208532

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 77726 0 0 0 118430 306 0 0 25 0 1 0 21230771 213536768 37989 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37989 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1187.36
Current children cumulated vsize (Kb) 208532

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 78236 0 0 0 119427 308 0 0 25 0 1 0 21230771 213536768 37991 4294967295 134512640 135987407 3221224560 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37991 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1197.35
Current children cumulated vsize (Kb) 208532

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 78237 0 0 0 120425 308 0 0 25 0 1 0 21230771 213536768 37992 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37992 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1207.33
Current children cumulated vsize (Kb) 208532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8268
Raw data (/proc/8268/stat): 8268 (pb2sat) R 8267 8268 4005 0 -1 0 78237 0 0 0 120425 308 0 0 25 0 1 0 21230771 213536768 37992 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8268/statm): 52133 37992 364 364 0 51769 0
[pid=8268] vsize: 208532
Current children cumulated CPU time (s) 1207.33
Current children cumulated vsize (Kb) 208532

Sending SIGTERM to -8268
Sleeping 2 seconds
One traced child (pid=8268) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.56
CPU time (s): 1207.84
CPU user time (s): 1204.66
CPU system time (s): 3.17352
CPU usage (%): 99.7753
Max. virtual memory (cumulated for all children) (Kb): 208532

Verifier Data

Verifier:	OK	0