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-3.opb
MD5SUM3acd642471b3f4559739eef7eb2e9b58
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 constraints41095
Number of constraints which are clauses41095
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 9828

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        915604 kB
Buffers:         12276 kB
Cached:          89520 kB
SwapCached:          0 kB
Active:          52544 kB
Inactive:        52164 kB
HighTotal:      131008 kB
HighFree:        38360 kB
LowTotal:       903652 kB
LowFree:        877244 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8940 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:50:34 (client local time) WITH STATUS 10 IN 1205.88 SECONDS
stats: 8559 0 1205.88 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: 16855/259586	Time: 99.3329/86400
c Decision: 17592/259586	Time: 140.524/86400
c Decision: 18838/259586	Time: 205.361/86400
c Decision: 19332/259586	Time: 248.895/86400
c Decision: 19332/259586	Time: 278.483/86400
c Decision: 19332/259586	Time: 304.749/86400
c Decision: 19332/259586	Time: 333.066/86400
c Decision: 19332/259586	Time: 361.761/86400
c Decision: 24881/259586	Time: 433.406/86400
c Decision: 24881/259586	Time: 458.51/86400
c Decision: 24881/259586	Time: 485.321/86400
c Decision: 24881/259586	Time: 513.193/86400
c Decision: 24881/259586	Time: 542.583/86400
c Decision: 24881/259586	Time: 574.525/86400
c Decision: 24881/259586	Time: 601.573/86400
c Decision: 24881/259586	Time: 629.861/86400
c Decision: 24881/259586	Time: 658.93/86400
c Decision: 24881/259586	Time: 689.767/86400
c Decision: 24888/259586	Time: 734.898/86400
c Decision: 24888/259586	Time: 774.935/86400
c Decision: 33698/259586	Time: 826.406/86400
c Decision: 33698/259586	Time: 858.82/86400
c Decision: 33698/259586	Time: 889.578/86400
c Decision: 33708/259586	Time: 934.307/86400
c Decision: 33708/259586	Time: 965.322/86400
c Decision: 33708/259586	Time: 998.972/86400
c Decision: 45823/259586	Time: 1068.22/86400
c Decision: 45823/259586	Time: 1102.21/86400
c Decision: 57179/259586	Time: 1155.38/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/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21283834 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 373 2 364 364 0 9 0
[pid=9126] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-frb40-19-3.opb

[startup+10.002 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 26373 0 0 0 939 57 0 0 25 0 1 0 21283834 91095040 15330 4294967295 134512640 135987407 3221224576 3221055776 134556288 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 22240 15330 364 364 0 21876 0
[pid=9126] vsize: 88960
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 88960

[startup+20.0028 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 44345 0 0 0 1889 98 0 0 25 0 1 0 21283834 136130560 26439 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 33235 26439 364 364 0 32871 0
[pid=9126] vsize: 132940
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 132940

[startup+30.0035 s]
Raw data (loadavg): 1.06 0.99 0.97 1/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 44572 0 0 0 2846 114 0 0 25 0 1 0 21283834 136781824 26568 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 33394 26568 364 364 0 33030 0
[pid=9126] vsize: 133576
Current children cumulated CPU time (s) 29.6
Current children cumulated vsize (Kb) 133576

[startup+40.0033 s]
Raw data (loadavg): 1.05 0.99 0.97 1/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 44583 0 0 0 3802 127 0 0 25 0 1 0 21283834 136781824 26579 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 33394 26579 364 364 0 33030 0
[pid=9126] vsize: 133576
Current children cumulated CPU time (s) 39.29
Current children cumulated vsize (Kb) 133576

[startup+50.0041 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 44633 0 0 0 4751 142 0 0 25 0 1 0 21283834 137056256 26629 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 33461 26629 364 364 0 33097 0
[pid=9126] vsize: 133844
Current children cumulated CPU time (s) 48.93
Current children cumulated vsize (Kb) 133844

[startup+60.0039 s]
Raw data (loadavg): 1.03 0.99 0.97 1/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 44678 0 0 0 5701 159 0 0 25 0 1 0 21283834 137191424 26674 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 33494 26674 364 364 0 33130 0
[pid=9126] vsize: 133976
Current children cumulated CPU time (s) 58.6
Current children cumulated vsize (Kb) 133976

[startup+70.0046 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 45163 0 0 0 6656 174 0 0 25 0 1 0 21283834 139026432 26984 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 33942 26984 364 364 0 33578 0
[pid=9126] vsize: 135768
Current children cumulated CPU time (s) 68.3
Current children cumulated vsize (Kb) 135768

[startup+80.0054 s]
Raw data (loadavg): 1.02 0.99 0.97 1/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 45178 0 0 0 7593 194 0 0 25 0 1 0 21283834 139165696 26999 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 33976 26999 364 364 0 33612 0
[pid=9126] vsize: 135904
Current children cumulated CPU time (s) 77.87
Current children cumulated vsize (Kb) 135904

[startup+90.0052 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 46030 0 0 0 8547 211 0 0 25 0 1 0 21283834 142811136 27689 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 34866 27689 364 364 0 34502 0
[pid=9126] vsize: 139464
Current children cumulated CPU time (s) 87.58
Current children cumulated vsize (Kb) 139464

[startup+100.006 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 47574 0 0 0 9539 216 0 0 25 0 1 0 21283834 149053440 28749 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 36390 28749 364 364 0 36026 0
[pid=9126] vsize: 145560
Current children cumulated CPU time (s) 97.55
Current children cumulated vsize (Kb) 145560

[startup+110.006 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 47708 0 0 0 10537 217 0 0 25 0 1 0 21283834 149319680 28850 4294967295 134512640 135987407 3221224576 3221223264 134824816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 36455 28850 364 364 0 36091 0
[pid=9126] vsize: 145820
Current children cumulated CPU time (s) 107.54
Current children cumulated vsize (Kb) 145820

[startup+120.007 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 48570 0 0 0 11529 220 0 0 25 0 1 0 21283834 150716416 29139 4294967295 134512640 135987407 3221224576 3221223136 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 36796 29139 364 364 0 36432 0
[pid=9126] vsize: 147184
Current children cumulated CPU time (s) 117.49
Current children cumulated vsize (Kb) 147184

[startup+130.006 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 50166 0 0 0 12518 226 0 0 25 0 1 0 21283834 155791360 30147 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 38035 30147 364 364 0 37671 0
[pid=9126] vsize: 152140
Current children cumulated CPU time (s) 127.44
Current children cumulated vsize (Kb) 152140

[startup+140.006 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 50729 0 0 0 13511 230 0 0 25 0 1 0 21283834 157851648 30483 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 38538 30483 364 364 0 38174 0
[pid=9126] vsize: 154152
Current children cumulated CPU time (s) 137.41
Current children cumulated vsize (Kb) 154152

[startup+150.007 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 51082 0 0 0 14502 233 0 0 25 0 1 0 21283834 159170560 30704 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 38860 30704 364 364 0 38496 0
[pid=9126] vsize: 155440
Current children cumulated CPU time (s) 147.35
Current children cumulated vsize (Kb) 155440

[startup+160.007 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 51844 0 0 0 15496 237 0 0 25 0 1 0 21283834 160370688 30925 4294967295 134512640 135987407 3221224576 3221223280 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 39153 30925 364 364 0 38789 0
[pid=9126] vsize: 156612
Current children cumulated CPU time (s) 157.33
Current children cumulated vsize (Kb) 156612

[startup+170.007 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 53211 0 0 0 16483 243 0 0 25 0 1 0 21283834 164790272 31671 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 40232 31671 364 364 0 39868 0
[pid=9126] vsize: 160928
Current children cumulated CPU time (s) 167.26
Current children cumulated vsize (Kb) 160928

[startup+180.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 54154 0 0 0 17471 248 0 0 25 0 1 0 21283834 168263680 32317 4294967295 134512640 135987407 3221224576 3221223312 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 41080 32317 364 364 0 40716 0
[pid=9126] vsize: 164320
Current children cumulated CPU time (s) 177.19
Current children cumulated vsize (Kb) 164320

[startup+190.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 54713 0 0 0 18464 252 0 0 25 0 1 0 21283834 170532864 32679 4294967295 134512640 135987407 3221224576 3221223136 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 41634 32679 364 364 0 41270 0
[pid=9126] vsize: 166536
Current children cumulated CPU time (s) 187.16
Current children cumulated vsize (Kb) 166536

[startup+200.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 54825 0 0 0 19461 254 0 0 25 0 1 0 21283834 170799104 32758 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 41699 32758 364 364 0 41335 0
[pid=9126] vsize: 166796
Current children cumulated CPU time (s) 197.15
Current children cumulated vsize (Kb) 166796

[startup+210.007 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 54852 0 0 0 20458 255 0 0 25 0 1 0 21283834 170799104 32785 4294967295 134512640 135987407 3221224576 3221223136 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 41699 32785 364 364 0 41335 0
[pid=9126] vsize: 166796
Current children cumulated CPU time (s) 207.13
Current children cumulated vsize (Kb) 166796

[startup+220.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 54877 0 0 0 21456 256 0 0 25 0 1 0 21283834 170799104 32810 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 41699 32810 364 364 0 41335 0
[pid=9126] vsize: 166796
Current children cumulated CPU time (s) 217.12
Current children cumulated vsize (Kb) 166796

[startup+230.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 55981 0 0 0 22450 259 0 0 25 0 1 0 21283834 172589056 33243 4294967295 134512640 135987407 3221224576 3221223296 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 42136 33243 364 364 0 41772 0
[pid=9126] vsize: 168544
Current children cumulated CPU time (s) 227.09
Current children cumulated vsize (Kb) 168544

[startup+240.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 56845 0 0 0 23441 263 0 0 25 0 1 0 21283834 176107520 33836 4294967295 134512640 135987407 3221224576 3221223136 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 42995 33836 364 364 0 42631 0
[pid=9126] vsize: 171980
Current children cumulated CPU time (s) 237.04
Current children cumulated vsize (Kb) 171980

[startup+250.009 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 56984 0 0 0 24437 265 0 0 25 0 1 0 21283834 176500736 33877 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43091 33877 364 364 0 42727 0
[pid=9126] vsize: 172364
Current children cumulated CPU time (s) 247.02
Current children cumulated vsize (Kb) 172364

[startup+260.008 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 57003 0 0 0 25432 266 0 0 25 0 1 0 21283834 176500736 33896 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43091 33896 364 364 0 42727 0
[pid=9126] vsize: 172364
Current children cumulated CPU time (s) 256.98
Current children cumulated vsize (Kb) 172364

[startup+270.009 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 57531 0 0 0 26429 268 0 0 25 0 1 0 21283834 176500736 33916 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43091 33916 364 364 0 42727 0
[pid=9126] vsize: 172364
Current children cumulated CPU time (s) 266.97
Current children cumulated vsize (Kb) 172364

[startup+280.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 57562 0 0 0 27427 269 0 0 25 0 1 0 21283834 176500736 33947 4294967295 134512640 135987407 3221224576 3221223296 134789994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43091 33947 364 364 0 42727 0
[pid=9126] vsize: 172364
Current children cumulated CPU time (s) 276.96
Current children cumulated vsize (Kb) 172364

[startup+290.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 57588 0 0 0 28424 270 0 0 25 0 1 0 21283834 176500736 33973 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43091 33973 364 364 0 42727 0
[pid=9126] vsize: 172364
Current children cumulated CPU time (s) 286.94
Current children cumulated vsize (Kb) 172364

[startup+300.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 58119 0 0 0 29421 272 0 0 25 0 1 0 21283834 176500736 33996 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43091 33996 364 364 0 42727 0
[pid=9126] vsize: 172364
Current children cumulated CPU time (s) 296.93
Current children cumulated vsize (Kb) 172364

[startup+310.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 58148 0 0 0 30418 273 0 0 25 0 1 0 21283834 176500736 34025 4294967295 134512640 135987407 3221224576 3221223136 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43091 34025 364 364 0 42727 0
[pid=9126] vsize: 172364
Current children cumulated CPU time (s) 306.91
Current children cumulated vsize (Kb) 172364

[startup+320.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 58173 0 0 0 31415 274 0 0 25 0 1 0 21283834 176500736 34050 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43091 34050 364 364 0 42727 0
[pid=9126] vsize: 172364
Current children cumulated CPU time (s) 316.89
Current children cumulated vsize (Kb) 172364

[startup+330.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 58839 0 0 0 32409 278 0 0 25 0 1 0 21283834 177168384 34175 4294967295 134512640 135987407 3221224576 3221223136 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43254 34175 364 364 0 42890 0
[pid=9126] vsize: 173016
Current children cumulated CPU time (s) 326.87
Current children cumulated vsize (Kb) 173016

[startup+340.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 58908 0 0 0 33405 279 0 0 25 0 1 0 21283834 177434624 34211 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43319 34211 364 364 0 42955 0
[pid=9126] vsize: 173276
Current children cumulated CPU time (s) 336.84
Current children cumulated vsize (Kb) 173276

[startup+350.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 58922 0 0 0 34402 281 0 0 25 0 1 0 21283834 177434624 34225 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43319 34225 364 364 0 42955 0
[pid=9126] vsize: 173276
Current children cumulated CPU time (s) 346.83
Current children cumulated vsize (Kb) 173276

[startup+360.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 59437 0 0 0 35398 283 0 0 25 0 1 0 21283834 177434624 34232 4294967295 134512640 135987407 3221224576 3221223008 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43319 34232 364 364 0 42955 0
[pid=9126] vsize: 173276
Current children cumulated CPU time (s) 356.81
Current children cumulated vsize (Kb) 173276

[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 59438 0 0 0 36394 285 0 0 25 0 1 0 21283834 177434624 34233 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43319 34233 364 364 0 42955 0
[pid=9126] vsize: 173276
Current children cumulated CPU time (s) 366.79
Current children cumulated vsize (Kb) 173276

[startup+380.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 59948 0 0 0 37390 287 0 0 25 0 1 0 21283834 179515392 34743 4294967295 134512640 135987407 3221224576 3221222864 134827699 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43827 34743 364 364 0 43463 0
[pid=9126] vsize: 175308
Current children cumulated CPU time (s) 376.77
Current children cumulated vsize (Kb) 175308

[startup+390.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 59949 0 0 0 38388 288 0 0 25 0 1 0 21283834 177434624 34236 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43319 34236 364 364 0 42955 0
[pid=9126] vsize: 173276
Current children cumulated CPU time (s) 386.76
Current children cumulated vsize (Kb) 173276

[startup+400.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 60127 0 0 0 39386 289 0 0 25 0 1 0 21283834 177958912 34284 4294967295 134512640 135987407 3221224576 3221223136 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43447 34284 364 364 0 43083 0
[pid=9126] vsize: 173788
Current children cumulated CPU time (s) 396.75
Current children cumulated vsize (Kb) 173788

[startup+410.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 60128 0 0 0 40385 289 0 0 25 0 1 0 21283834 177958912 34285 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43447 34285 364 364 0 43083 0
[pid=9126] vsize: 173788
Current children cumulated CPU time (s) 406.74
Current children cumulated vsize (Kb) 173788

[startup+420.014 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 60130 0 0 0 41383 290 0 0 25 0 1 0 21283834 177958912 34287 4294967295 134512640 135987407 3221224576 3221223012 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43447 34287 364 364 0 43083 0
[pid=9126] vsize: 173788
Current children cumulated CPU time (s) 416.73
Current children cumulated vsize (Kb) 173788

[startup+430.014 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 60154 0 0 0 42382 290 0 0 25 0 1 0 21283834 177958912 34311 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43447 34311 364 364 0 43083 0
[pid=9126] vsize: 173788
Current children cumulated CPU time (s) 426.72
Current children cumulated vsize (Kb) 173788

[startup+440.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 60176 0 0 0 43379 291 0 0 25 0 1 0 21283834 177958912 34333 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43447 34333 364 364 0 43083 0
[pid=9126] vsize: 173788
Current children cumulated CPU time (s) 436.7
Current children cumulated vsize (Kb) 173788

[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 60198 0 0 0 44378 292 0 0 25 0 1 0 21283834 177958912 34355 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43447 34355 364 364 0 43083 0
[pid=9126] vsize: 173788
Current children cumulated CPU time (s) 446.7
Current children cumulated vsize (Kb) 173788

[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 60722 0 0 0 45373 295 0 0 25 0 1 0 21283834 177958912 34371 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43447 34371 364 364 0 43083 0
[pid=9126] vsize: 173788
Current children cumulated CPU time (s) 456.68
Current children cumulated vsize (Kb) 173788

[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 60809 0 0 0 46370 296 0 0 25 0 1 0 21283834 178221056 34393 4294967295 134512640 135987407 3221224576 3221223136 134812033 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 43511 34393 364 364 0 43147 0
[pid=9126] vsize: 174044
Current children cumulated CPU time (s) 466.66
Current children cumulated vsize (Kb) 174044

[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 61336 0 0 0 47367 297 0 0 25 0 1 0 21283834 178221056 34412 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 43511 34412 364 364 0 43147 0
[pid=9126] vsize: 174044
Current children cumulated CPU time (s) 476.64
Current children cumulated vsize (Kb) 174044

[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 61363 0 0 0 48365 298 0 0 25 0 1 0 21283834 194998272 34439 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47607 34439 364 364 0 47243 0
[pid=9126] vsize: 190428
Current children cumulated CPU time (s) 486.63
Current children cumulated vsize (Kb) 190428

[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 61387 0 0 0 49361 300 0 0 25 0 1 0 21283834 194998272 34463 4294967295 134512640 135987407 3221224576 3221223136 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47607 34463 364 364 0 47243 0
[pid=9126] vsize: 190428
Current children cumulated CPU time (s) 496.61
Current children cumulated vsize (Kb) 190428

[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 62009 0 0 0 50357 302 0 0 25 0 1 0 21283834 195428352 34544 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47712 34544 364 364 0 47348 0
[pid=9126] vsize: 190848
Current children cumulated CPU time (s) 506.59
Current children cumulated vsize (Kb) 190848

[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 62231 0 0 0 51353 304 0 0 25 0 1 0 21283834 196493312 34700 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34700 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 516.57
Current children cumulated vsize (Kb) 191888

[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 62232 0 0 0 52351 305 0 0 25 0 1 0 21283834 196493312 34701 4294967295 134512640 135987407 3221224576 3221223136 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34701 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 526.56
Current children cumulated vsize (Kb) 191888

[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 62753 0 0 0 53346 308 0 0 25 0 1 0 21283834 196493312 34714 4294967295 134512640 135987407 3221224576 3221223200 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34714 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 536.54
Current children cumulated vsize (Kb) 191888

[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 62754 0 0 0 54344 308 0 0 25 0 1 0 21283834 196493312 34715 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34715 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 546.52
Current children cumulated vsize (Kb) 191888

[startup+560.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 62756 0 0 0 55342 309 0 0 25 0 1 0 21283834 196493312 34717 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34717 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 556.51
Current children cumulated vsize (Kb) 191888

[startup+570.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 63265 0 0 0 56338 311 0 0 25 0 1 0 21283834 196493312 34718 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34718 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 566.49
Current children cumulated vsize (Kb) 191888

[startup+580.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 63266 0 0 0 57336 312 0 0 25 0 1 0 21283834 196493312 34719 4294967295 134512640 135987407 3221224576 3221223312 134812626 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34719 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 576.48
Current children cumulated vsize (Kb) 191888

[startup+590.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 63267 0 0 0 58334 313 0 0 25 0 1 0 21283834 196493312 34720 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34720 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 586.47
Current children cumulated vsize (Kb) 191888

[startup+600.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 63780 0 0 0 59330 315 0 0 25 0 1 0 21283834 196493312 34725 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34725 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 596.45
Current children cumulated vsize (Kb) 191888

[startup+610.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 63781 0 0 0 60328 315 0 0 25 0 1 0 21283834 196493312 34726 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 47972 34726 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 606.43
Current children cumulated vsize (Kb) 191888

[startup+620.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 64291 0 0 0 61325 317 0 0 25 0 1 0 21283834 198574080 35236 4294967295 134512640 135987407 3221224576 3221222808 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 48480 35236 364 364 0 48116 0
[pid=9126] vsize: 193920
Current children cumulated CPU time (s) 616.42
Current children cumulated vsize (Kb) 193920

[startup+630.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 64292 0 0 0 62324 317 0 0 25 0 1 0 21283834 196493312 34729 4294967295 134512640 135987407 3221224576 3221223136 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 47972 34729 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 626.41
Current children cumulated vsize (Kb) 191888

[startup+640.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 64294 0 0 0 63321 318 0 0 25 0 1 0 21283834 196493312 34731 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 47972 34731 364 364 0 47608 0
[pid=9126] vsize: 191888
Current children cumulated CPU time (s) 636.39
Current children cumulated vsize (Kb) 191888

[startup+650.02 s]
Raw data (loadavg): 1.00 0.99 0.97 1/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 64893 0 0 0 64318 320 0 0 25 0 1 0 21283834 196755456 34757 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 48036 34757 364 364 0 47672 0
[pid=9126] vsize: 192144
Current children cumulated CPU time (s) 646.38
Current children cumulated vsize (Kb) 192144

[startup+660.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 64995 0 0 0 65314 322 0 0 25 0 1 0 21283834 197017600 34794 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 48100 34794 364 364 0 47736 0
[pid=9126] vsize: 192400
Current children cumulated CPU time (s) 656.36
Current children cumulated vsize (Kb) 192400

[startup+670.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 64997 0 0 0 66312 323 0 0 25 0 1 0 21283834 197017600 34796 4294967295 134512640 135987407 3221224576 3221223136 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 48100 34796 364 364 0 47736 0
[pid=9126] vsize: 192400
Current children cumulated CPU time (s) 666.35
Current children cumulated vsize (Kb) 192400

[startup+680.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 65506 0 0 0 67309 325 0 0 25 0 1 0 21283834 197017600 34797 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 48100 34797 364 364 0 47736 0
[pid=9126] vsize: 192400
Current children cumulated CPU time (s) 676.34
Current children cumulated vsize (Kb) 192400

[startup+690.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 65511 0 0 0 68306 327 0 0 25 0 1 0 21283834 197017600 34802 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 48100 34802 364 364 0 47736 0
[pid=9126] vsize: 192400
Current children cumulated CPU time (s) 686.33
Current children cumulated vsize (Kb) 192400

[startup+700.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 65525 0 0 0 69304 328 0 0 25 0 1 0 21283834 197152768 34816 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 48133 34816 364 364 0 47769 0
[pid=9126] vsize: 192532
Current children cumulated CPU time (s) 696.32
Current children cumulated vsize (Kb) 192532

[startup+710.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 66133 0 0 0 70300 330 0 0 25 0 1 0 21283834 197550080 34883 4294967295 134512640 135987407 3221224576 3221223264 134824240 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 48230 34883 364 364 0 47866 0
[pid=9126] vsize: 192920
Current children cumulated CPU time (s) 706.3
Current children cumulated vsize (Kb) 192920

[startup+720.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 66553 0 0 0 71294 332 0 0 25 0 1 0 21283834 199020544 35204 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 48589 35205 364 364 0 48225 0
[pid=9126] vsize: 194356
Current children cumulated CPU time (s) 716.26
Current children cumulated vsize (Kb) 194356

[startup+730.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 67055 0 0 0 72290 334 0 0 25 0 1 0 21283834 200601600 35412 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 48975 35412 364 364 0 48611 0
[pid=9126] vsize: 195900
Current children cumulated CPU time (s) 726.24
Current children cumulated vsize (Kb) 195900

[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 67057 0 0 0 73287 335 0 0 25 0 1 0 21283834 200601600 35414 4294967295 134512640 135987407 3221224576 3221223232 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 48975 35414 364 364 0 48611 0
[pid=9126] vsize: 195900
Current children cumulated CPU time (s) 736.22
Current children cumulated vsize (Kb) 195900

[startup+750.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 67058 0 0 0 74285 336 0 0 25 0 1 0 21283834 200601600 35415 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 48975 35415 364 364 0 48611 0
[pid=9126] vsize: 195900
Current children cumulated CPU time (s) 746.21
Current children cumulated vsize (Kb) 195900

[startup+760.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 67628 0 0 0 75278 339 0 0 25 0 1 0 21283834 200871936 35477 4294967295 134512640 135987407 3221224576 3221223136 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 49041 35477 364 364 0 48677 0
[pid=9126] vsize: 196164
Current children cumulated CPU time (s) 756.17
Current children cumulated vsize (Kb) 196164

[startup+770.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 67984 0 0 0 76273 341 0 0 25 0 1 0 21283834 202059776 35670 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 49331 35670 364 364 0 48967 0
[pid=9126] vsize: 197324
Current children cumulated CPU time (s) 766.14
Current children cumulated vsize (Kb) 197324

[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 68144 0 0 0 77269 343 0 0 25 0 1 0 21283834 202588160 35765 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 49460 35765 364 364 0 49096 0
[pid=9126] vsize: 197840
Current children cumulated CPU time (s) 776.12
Current children cumulated vsize (Kb) 197840

[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 68162 0 0 0 78266 344 0 0 25 0 1 0 21283834 202588160 35783 4294967295 134512640 135987407 3221224576 3221223136 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 49460 35783 364 364 0 49096 0
[pid=9126] vsize: 197840
Current children cumulated CPU time (s) 786.1
Current children cumulated vsize (Kb) 197840

[startup+800.023 s]
Raw data (loadavg): 1.00 0.99 0.97 1/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 69023 0 0 0 79260 348 0 0 25 0 1 0 21283834 203776000 35973 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 49750 35973 364 364 0 49386 0
[pid=9126] vsize: 199000
Current children cumulated CPU time (s) 796.08
Current children cumulated vsize (Kb) 199000

[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 69498 0 0 0 80255 350 0 0 25 0 1 0 21283834 205357056 36187 4294967295 134512640 135987407 3221224576 3221223136 134811977 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50136 36187 364 364 0 49772 0
[pid=9126] vsize: 200544
Current children cumulated CPU time (s) 806.05
Current children cumulated vsize (Kb) 200544

[startup+820.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 69792 0 0 0 81252 352 0 0 25 0 1 0 21283834 206278656 36317 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 50361 36317 364 364 0 49997 0
[pid=9126] vsize: 201444
Current children cumulated CPU time (s) 816.04
Current children cumulated vsize (Kb) 201444

[startup+830.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 69802 0 0 0 82250 352 0 0 25 0 1 0 21283834 206278656 36327 4294967295 134512640 135987407 3221224576 3221223264 134824465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 50361 36327 364 364 0 49997 0
[pid=9126] vsize: 201444
Current children cumulated CPU time (s) 826.02
Current children cumulated vsize (Kb) 201444

[startup+840.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 69834 0 0 0 83249 353 0 0 25 0 1 0 21283834 206278656 36359 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 50361 36359 364 364 0 49997 0
[pid=9126] vsize: 201444
Current children cumulated CPU time (s) 836.02
Current children cumulated vsize (Kb) 201444

[startup+850.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 70351 0 0 0 84246 355 0 0 25 0 1 0 21283834 206278656 36368 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 50361 36368 364 364 0 49997 0
[pid=9126] vsize: 201444
Current children cumulated CPU time (s) 846.01
Current children cumulated vsize (Kb) 201444

[startup+860.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 70388 0 0 0 85242 356 0 0 25 0 1 0 21283834 206544896 36405 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50426 36405 364 364 0 50062 0
[pid=9126] vsize: 201704
Current children cumulated CPU time (s) 855.98
Current children cumulated vsize (Kb) 201704

[startup+870.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 70389 0 0 0 86239 357 0 0 25 0 1 0 21283834 206544896 36406 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50426 36406 364 364 0 50062 0
[pid=9126] vsize: 201704
Current children cumulated CPU time (s) 865.96
Current children cumulated vsize (Kb) 201704

[startup+880.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 70911 0 0 0 87237 359 0 0 25 0 1 0 21283834 206544896 36420 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50426 36420 364 364 0 50062 0
[pid=9126] vsize: 201704
Current children cumulated CPU time (s) 875.96
Current children cumulated vsize (Kb) 201704

[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 70920 0 0 0 88233 360 0 0 25 0 1 0 21283834 206544896 36429 4294967295 134512640 135987407 3221224576 3221223232 134812343 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50426 36429 364 364 0 50062 0
[pid=9126] vsize: 201704
Current children cumulated CPU time (s) 885.93
Current children cumulated vsize (Kb) 201704

[startup+900.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 70921 0 0 0 89230 361 0 0 25 0 1 0 21283834 206544896 36430 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50426 36430 364 364 0 50062 0
[pid=9126] vsize: 201704
Current children cumulated CPU time (s) 895.91
Current children cumulated vsize (Kb) 201704

[startup+910.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 71472 0 0 0 90224 364 0 0 25 0 1 0 21283834 206675968 36440 4294967295 134512640 135987407 3221224576 3221223136 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36440 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 905.88
Current children cumulated vsize (Kb) 201832

[startup+920.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 71473 0 0 0 91219 366 0 0 25 0 1 0 21283834 206675968 36441 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36441 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 915.85
Current children cumulated vsize (Kb) 201832

[startup+930.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 71474 0 0 0 92216 367 0 0 25 0 1 0 21283834 206675968 36442 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36442 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 925.83
Current children cumulated vsize (Kb) 201832

[startup+940.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 71475 0 0 0 93214 367 0 0 25 0 1 0 21283834 206675968 36443 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36443 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 935.81
Current children cumulated vsize (Kb) 201832

[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 71477 0 0 0 94212 368 0 0 25 0 1 0 21283834 206675968 36445 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36445 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 945.8
Current children cumulated vsize (Kb) 201832

[startup+960.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 71994 0 0 0 95209 370 0 0 25 0 1 0 21283834 206675968 36454 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36454 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 955.79
Current children cumulated vsize (Kb) 201832

[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 71998 0 0 0 96207 371 0 0 25 0 1 0 21283834 206675968 36458 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36458 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 965.78
Current children cumulated vsize (Kb) 201832

[startup+980.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 72023 0 0 0 97206 371 0 0 25 0 1 0 21283834 206675968 36483 4294967295 134512640 135987407 3221224576 3221223136 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36483 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 975.77
Current children cumulated vsize (Kb) 201832

[startup+990.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 72551 0 0 0 98203 373 0 0 25 0 1 0 21283834 206675968 36503 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36503 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 985.76
Current children cumulated vsize (Kb) 201832

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 72575 0 0 0 99201 374 0 0 25 0 1 0 21283834 206675968 36527 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36527 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 995.75
Current children cumulated vsize (Kb) 201832

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 72602 0 0 0 100199 375 0 0 25 0 1 0 21283834 206675968 36554 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36554 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 1005.74
Current children cumulated vsize (Kb) 201832

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 73124 0 0 0 101196 377 0 0 25 0 1 0 21283834 206675968 36568 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36568 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 1015.73
Current children cumulated vsize (Kb) 201832

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 73125 0 0 0 102192 378 0 0 25 0 1 0 21283834 206675968 36569 4294967295 134512640 135987407 3221224576 3221223136 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36569 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 1025.7
Current children cumulated vsize (Kb) 201832

[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.97 1/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) T 9125 9126 4060 0 -1 0 73135 0 0 0 103189 379 0 0 25 0 1 0 21283834 206675968 36579 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50458 36579 364 364 0 50094 0
[pid=9126] vsize: 201832
Current children cumulated CPU time (s) 1035.68
Current children cumulated vsize (Kb) 201832

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 73598 0 0 0 104185 381 0 0 25 0 1 0 21283834 207855616 36749 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50746 36749 364 364 0 50382 0
[pid=9126] vsize: 202984
Current children cumulated CPU time (s) 1045.66
Current children cumulated vsize (Kb) 202984

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 73671 0 0 0 105182 382 0 0 25 0 1 0 21283834 208121856 36822 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50811 36822 364 364 0 50447 0
[pid=9126] vsize: 203244
Current children cumulated CPU time (s) 1055.64
Current children cumulated vsize (Kb) 203244

[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 73750 0 0 0 106178 384 0 0 25 0 1 0 21283834 208384000 36836 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50875 36836 364 364 0 50511 0
[pid=9126] vsize: 203500
Current children cumulated CPU time (s) 1065.62
Current children cumulated vsize (Kb) 203500

[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 73752 0 0 0 107177 385 0 0 25 0 1 0 21283834 208384000 36838 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50875 36838 364 364 0 50511 0
[pid=9126] vsize: 203500
Current children cumulated CPU time (s) 1075.62
Current children cumulated vsize (Kb) 203500

[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 74261 0 0 0 108171 387 0 0 25 0 1 0 21283834 208384000 36839 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50875 36839 364 364 0 50511 0
[pid=9126] vsize: 203500
Current children cumulated CPU time (s) 1085.58
Current children cumulated vsize (Kb) 203500

[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 74262 0 0 0 109169 388 0 0 25 0 1 0 21283834 208384000 36840 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50875 36840 364 364 0 50511 0
[pid=9126] vsize: 203500
Current children cumulated CPU time (s) 1095.57
Current children cumulated vsize (Kb) 203500

[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 74264 0 0 0 110168 389 0 0 25 0 1 0 21283834 208384000 36842 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50875 36842 364 364 0 50511 0
[pid=9126] vsize: 203500
Current children cumulated CPU time (s) 1105.57
Current children cumulated vsize (Kb) 203500

[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 74267 0 0 0 111166 390 0 0 25 0 1 0 21283834 208384000 36845 4294967295 134512640 135987407 3221224576 3221223136 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 50875 36845 364 364 0 50511 0
[pid=9126] vsize: 203500
Current children cumulated CPU time (s) 1115.56
Current children cumulated vsize (Kb) 203500

[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75111 0 0 0 112160 393 0 0 25 0 1 0 21283834 209375232 37051 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 51117 37051 364 364 0 50753 0
[pid=9126] vsize: 204468
Current children cumulated CPU time (s) 1125.53
Current children cumulated vsize (Kb) 204468

[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75112 0 0 0 113158 394 0 0 25 0 1 0 21283834 209375232 37052 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 51117 37052 364 364 0 50753 0
[pid=9126] vsize: 204468
Current children cumulated CPU time (s) 1135.52
Current children cumulated vsize (Kb) 204468

[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75139 0 0 0 114155 395 0 0 25 0 1 0 21283834 209375232 37079 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 51117 37079 364 364 0 50753 0
[pid=9126] vsize: 204468
Current children cumulated CPU time (s) 1145.5
Current children cumulated vsize (Kb) 204468

[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75140 0 0 0 115151 397 0 0 25 0 1 0 21283834 209375232 37080 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 51117 37080 364 364 0 50753 0
[pid=9126] vsize: 204468
Current children cumulated CPU time (s) 1155.48
Current children cumulated vsize (Kb) 204468

[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75141 0 0 0 116149 398 0 0 25 0 1 0 21283834 209375232 37081 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9126/statm): 51117 37081 364 364 0 50753 0
[pid=9126] vsize: 204468
Current children cumulated CPU time (s) 1165.47
Current children cumulated vsize (Kb) 204468

[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75758 0 0 0 117145 400 0 0 25 0 1 0 21283834 209637376 37125 4294967295 134512640 135987407 3221224576 3221223136 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 51181 37125 364 364 0 50817 0
[pid=9126] vsize: 204724
Current children cumulated CPU time (s) 1175.45
Current children cumulated vsize (Kb) 204724

[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75759 0 0 0 118142 401 0 0 25 0 1 0 21283834 209637376 37126 4294967295 134512640 135987407 3221224576 3221223136 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 51181 37126 364 364 0 50817 0
[pid=9126] vsize: 204724
Current children cumulated CPU time (s) 1185.43
Current children cumulated vsize (Kb) 204724

[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75762 0 0 0 119141 402 0 0 25 0 1 0 21283834 209637376 37129 4294967295 134512640 135987407 3221224576 3221223208 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 51181 37129 364 364 0 50817 0
[pid=9126] vsize: 204724
Current children cumulated CPU time (s) 1195.43
Current children cumulated vsize (Kb) 204724

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75763 0 0 0 120135 404 0 0 25 0 1 0 21283834 209637376 37130 4294967295 134512640 135987407 3221224576 3221223312 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 51181 37130 364 364 0 50817 0
[pid=9126] vsize: 204724
Current children cumulated CPU time (s) 1205.39
Current children cumulated vsize (Kb) 204724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 9126
Raw data (/proc/9126/stat): 9126 (pb2sat) R 9125 9126 4060 0 -1 0 75763 0 0 0 120135 404 0 0 25 0 1 0 21283834 209637376 37130 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9126/statm): 51181 37130 364 364 0 50817 0
[pid=9126] vsize: 204724
Current children cumulated CPU time (s) 1205.39
Current children cumulated vsize (Kb) 204724

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

Child status: 10
Real time (s): 1210.52
CPU time (s): 1205.88
CPU user time (s): 1201.76
CPU system time (s): 4.11937
CPU usage (%): 99.6162
Max. virtual memory (cumulated for all children) (Kb): 204724

Verifier Data

Verifier:	OK	0