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/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUM7850e0b228f4ef5ee038a9c3595683ab
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of terms in the objective function 945
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 945
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 945
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.04
Number of variables945
Total number of constraints58579
Number of constraints which are clauses58579
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 9833

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-23 15:36:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8563 boxname=wulflinc21 idbench=359 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7850e0b228f4ef5ee038a9c3595683ab  /oldhome/oroussel/tmp/wulflinc21/normalized-frb45-21-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-frb45-21-5.opb
IDLAUNCH: 8563
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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.188
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:        934028 kB
Buffers:         13208 kB
Cached:          69208 kB
SwapCached:          0 kB
Active:          46740 kB
Inactive:        38612 kB
HighTotal:      131008 kB
HighFree:        57344 kB
LowTotal:       903652 kB
LowFree:        876684 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9548 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:56:37 (client local time) WITH STATUS 10 IN 1208.18 SECONDS
stats: 8563 0 1208.18 10

Solver Data

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

c Decision: 5125/354491	Time: 64.2342/86400
c Decision: 6012/354491	Time: 126.698/86400
c Decision: 6049/354491	Time: 202.222/86400
c Decision: 7332/354491	Time: 268.758/86400
c Decision: 7332/354491	Time: 310.428/86400
c Decision: 9110/354491	Time: 369.96/86400
c Decision: 9110/354491	Time: 425.047/86400
c Decision: 9125/354491	Time: 557.835/86400
c Decision: 31872/354491	Time: 651.201/86400
c Decision: 31929/354491	Time: 711.333/86400
c Decision: 31931/354491	Time: 791.453/86400
c Decision: 31931/354491	Time: 845.567/86400
c Decision: 34958/354491	Time: 901.97/86400
c Decision: 34958/354491	Time: 952.579/86400
c Decision: 38289/354491	Time: 1030.93/86400
c Decision: 38289/354491	Time: 1079.54/86400
c Decision: 38289/354491	Time: 1132.84/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 -C761 -C762 -C763 -C764 -C765 -C766 -C767 -C768 -C769 -C77 -C770 -C771 -C772 -C773 -C774 -C775 -C776 -C777 -C778 -C779 -C78 -C780 -C781 -C782 -C783 -C784 -C785 -C786 -C787 -C788 -C789 -C79 -C790 -C791 -C792 -C793 -C794 -C795 -C796 -C797 -C798 -C799 -C8 -C80 -C800 -C801 -C802 -C803 -C804 -C805 -C806 -C807 -C808 -C809 -C81 -C810 -C811 -C812 -C813 -C814 -C815 -C816 -C817 -C818 -C819 -C82 -C820 -C821 -C822 -C823 -C824 -C825 -C826 -C827 -C828 -C829 -C83 -C830 -C831 -C832 -C833 -C834 -C835 -C836 -C837 -C838 -C839 -C84 -C840 -C841 -C842 -C843 -C844 -C845 -C846 -C847 -C848 -C849 -C85 -C850 -C851 -C852 -C853 -C854 -C855 -C856 -C857 -C858 -C859 -C86 -C860 -C861 -C862 -C863 -C864 -C865 -C866 -C867 -C868 -C869 -C87 -C870 -C871 -C872 -C873 -C874 -C875 -C876 -C877 -C878 -C879 -C88 -C880 -C881 -C882 -C883 -C884 -C885 -C886 -C887 -C888 -C889 -C89 -C890 -C891 -C892 -C893 -C894 -C895 -C896 -C897 -C898 -C899 -C9 -C90 -C900 -C901 -C902 -C903 -C904 -C905 -C906 -C907 -C908 -C909 -C91 -C910 -C911 -C912 -C913 -C914 -C915 -C916 -C917 -C918 -C919 -C92 -C920 -C921 -C922 -C923 -C924 -C925 -C926 -C927 -C928 -C929 -C93 -C930 -C931 -C932 -C933 -C934 -C935 -C936 -C937 -C938 -C939 -C94 -C940 -C941 -C942 -C943 -C944 -C945 -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/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21315480 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 373 2 364 364 0 9 0
[pid=8145] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc21/normalized-frb45-21-5.opb

[startup+10.0019 s]
Raw data (loadavg): 0.93 0.95 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 21425 0 0 0 948 48 0 0 25 0 1 0 21315480 65675264 12887 4294967295 134512640 135987407 3221224560 3221162908 135499901 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 16034 12887 364 364 0 15670 0
[pid=8145] vsize: 64136
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 64136

[startup+20.0026 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 54467 0 0 0 1874 120 0 0 25 0 1 0 21315480 182706176 32304 4294967295 134512640 135987407 3221224560 3221128160 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 44606 32304 364 364 0 44242 0
[pid=8145] vsize: 178424
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 178424

[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 61576 0 0 0 2846 138 0 0 25 0 1 0 21315480 198393856 38244 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 48436 38244 364 364 0 48072 0
[pid=8145] vsize: 193744
Current children cumulated CPU time (s) 29.84
Current children cumulated vsize (Kb) 193744

[startup+40.0039 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 63159 0 0 0 3830 147 0 0 25 0 1 0 21315480 204275712 39310 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 49872 39310 364 364 0 49508 0
[pid=8145] vsize: 199488
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (Kb) 199488

[startup+50.0046 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 65051 0 0 0 4819 153 0 0 25 0 1 0 21315480 211386368 40538 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 51608 40538 364 364 0 51244 0
[pid=8145] vsize: 206432
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (Kb) 206432

[startup+60.0043 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 66658 0 0 0 5813 157 0 0 25 0 1 0 21315480 217731072 41670 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 53157 41670 364 364 0 52793 0
[pid=8145] vsize: 212628
Current children cumulated CPU time (s) 59.7
Current children cumulated vsize (Kb) 212628

[startup+70.005 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 67326 0 0 0 6807 160 0 0 25 0 1 0 21315480 219979776 42159 4294967295 134512640 135987407 3221224560 3221223120 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 53706 42159 364 364 0 53342 0
[pid=8145] vsize: 214824
Current children cumulated CPU time (s) 69.67
Current children cumulated vsize (Kb) 214824

[startup+80.0057 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 68140 0 0 0 7802 163 0 0 25 0 1 0 21315480 222695424 42646 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 54369 42646 364 364 0 54005 0
[pid=8145] vsize: 217476
Current children cumulated CPU time (s) 79.65
Current children cumulated vsize (Kb) 217476

[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 69340 0 0 0 8790 169 0 0 25 0 1 0 21315480 224878592 42989 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 54902 42989 364 364 0 54538 0
[pid=8145] vsize: 219608
Current children cumulated CPU time (s) 89.59
Current children cumulated vsize (Kb) 219608

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 70685 0 0 0 9759 182 0 0 25 0 1 0 21315480 229883904 44007 4294967295 134512640 135987407 3221224560 3221223280 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 56124 44007 364 364 0 55760 0
[pid=8145] vsize: 224496
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (Kb) 224496

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 71362 0 0 0 10740 190 0 0 25 0 1 0 21315480 232304640 44492 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 56715 44492 364 364 0 56351 0
[pid=8145] vsize: 226860
Current children cumulated CPU time (s) 109.3
Current children cumulated vsize (Kb) 226860

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 72324 0 0 0 11734 193 0 0 25 0 1 0 21315480 235216896 45030 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 57426 45030 364 364 0 57062 0
[pid=8145] vsize: 229704
Current children cumulated CPU time (s) 119.27
Current children cumulated vsize (Kb) 229704

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 72339 0 0 0 12729 195 0 0 25 0 1 0 21315480 235216896 45045 4294967295 134512640 135987407 3221224560 3221223120 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 57426 45045 364 364 0 57062 0
[pid=8145] vsize: 229704
Current children cumulated CPU time (s) 129.24
Current children cumulated vsize (Kb) 229704

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 72354 0 0 0 13728 195 0 0 25 0 1 0 21315480 235216896 45060 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 57426 45060 364 364 0 57062 0
[pid=8145] vsize: 229704
Current children cumulated CPU time (s) 139.23
Current children cumulated vsize (Kb) 229704

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 73232 0 0 0 14723 199 0 0 25 0 1 0 21315480 235745280 45147 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 57555 45147 364 364 0 57191 0
[pid=8145] vsize: 230220
Current children cumulated CPU time (s) 149.22
Current children cumulated vsize (Kb) 230220

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 74152 0 0 0 15712 205 0 0 25 0 1 0 21315480 239267840 45756 4294967295 134512640 135987407 3221224560 3221222736 134887887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 58415 45756 364 364 0 58051 0
[pid=8145] vsize: 233660
Current children cumulated CPU time (s) 159.17
Current children cumulated vsize (Kb) 233660

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75131 0 0 0 16704 209 0 0 25 0 1 0 21315480 242708480 46375 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 59255 46375 364 364 0 58891 0
[pid=8145] vsize: 237020
Current children cumulated CPU time (s) 169.13
Current children cumulated vsize (Kb) 237020

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75527 0 0 0 17701 211 0 0 25 0 1 0 21315480 244432896 46673 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 59676 46673 364 364 0 59312 0
[pid=8145] vsize: 238704
Current children cumulated CPU time (s) 179.12
Current children cumulated vsize (Kb) 238704

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75593 0 0 0 18699 211 0 0 25 0 1 0 21315480 244432896 46739 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 59676 46739 364 364 0 59312 0
[pid=8145] vsize: 238704
Current children cumulated CPU time (s) 189.1
Current children cumulated vsize (Kb) 238704

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75705 0 0 0 19698 212 0 0 25 0 1 0 21315480 244695040 46786 4294967295 134512640 135987407 3221224560 3221223248 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 59740 46786 364 364 0 59376 0
[pid=8145] vsize: 238960
Current children cumulated CPU time (s) 199.1
Current children cumulated vsize (Kb) 238960

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75795 0 0 0 20696 213 0 0 25 0 1 0 21315480 244957184 46811 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 59804 46811 364 364 0 59440 0
[pid=8145] vsize: 239216
Current children cumulated CPU time (s) 209.09
Current children cumulated vsize (Kb) 239216

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75812 0 0 0 21696 213 0 0 25 0 1 0 21315480 244957184 46828 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 59804 46828 364 364 0 59440 0
[pid=8145] vsize: 239216
Current children cumulated CPU time (s) 219.09
Current children cumulated vsize (Kb) 239216

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 77452 0 0 0 22687 218 0 0 25 0 1 0 21315480 248119296 47256 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 60576 47256 364 364 0 60212 0
[pid=8145] vsize: 242304
Current children cumulated CPU time (s) 229.05
Current children cumulated vsize (Kb) 242304

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 78873 0 0 0 23680 223 0 0 25 0 1 0 21315480 252342272 47900 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 61607 47900 364 364 0 61243 0
[pid=8145] vsize: 246428
Current children cumulated CPU time (s) 239.03
Current children cumulated vsize (Kb) 246428

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79590 0 0 0 24676 225 0 0 25 0 1 0 21315480 254468096 48323 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 62126 48323 364 364 0 61762 0
[pid=8145] vsize: 248504
Current children cumulated CPU time (s) 249.01
Current children cumulated vsize (Kb) 248504

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79654 0 0 0 25674 225 0 0 25 0 1 0 21315480 254468096 48387 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 62126 48387 364 364 0 61762 0
[pid=8145] vsize: 248504
Current children cumulated CPU time (s) 258.99
Current children cumulated vsize (Kb) 248504

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79665 0 0 0 26673 226 0 0 25 0 1 0 21315480 254468096 48398 4294967295 134512640 135987407 3221224560 3221223120 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 62126 48398 364 364 0 61762 0
[pid=8145] vsize: 248504
Current children cumulated CPU time (s) 268.99
Current children cumulated vsize (Kb) 248504

[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79674 0 0 0 27671 226 0 0 25 0 1 0 21315480 254468096 48407 4294967295 134512640 135987407 3221224560 3221223296 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 62126 48407 364 364 0 61762 0
[pid=8145] vsize: 248504
Current children cumulated CPU time (s) 278.97
Current children cumulated vsize (Kb) 248504

[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79687 0 0 0 28670 227 0 0 25 0 1 0 21315480 254468096 48420 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 62126 48420 364 364 0 61762 0
[pid=8145] vsize: 248504
Current children cumulated CPU time (s) 288.97
Current children cumulated vsize (Kb) 248504

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 81028 0 0 0 29661 231 0 0 25 0 1 0 21315480 256450560 48774 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 62610 48774 364 364 0 62246 0
[pid=8145] vsize: 250440
Current children cumulated CPU time (s) 298.92
Current children cumulated vsize (Kb) 250440

[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 81896 0 0 0 30656 234 0 0 25 0 1 0 21315480 258953216 49122 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 63221 49122 364 364 0 62857 0
[pid=8145] vsize: 252884
Current children cumulated CPU time (s) 308.9
Current children cumulated vsize (Kb) 252884

[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 81924 0 0 0 31653 236 0 0 25 0 1 0 21315480 258953216 49150 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 63221 49150 364 364 0 62857 0
[pid=8145] vsize: 252884
Current children cumulated CPU time (s) 318.89
Current children cumulated vsize (Kb) 252884

[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 81945 0 0 0 32651 236 0 0 25 0 1 0 21315480 258953216 49171 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 63221 49171 364 364 0 62857 0
[pid=8145] vsize: 252884
Current children cumulated CPU time (s) 328.87
Current children cumulated vsize (Kb) 252884

[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 82831 0 0 0 33646 239 0 0 25 0 1 0 21315480 259477504 49234 4294967295 134512640 135987407 3221224560 3221223120 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 63349 49234 364 364 0 62985 0
[pid=8145] vsize: 253396
Current children cumulated CPU time (s) 338.85
Current children cumulated vsize (Kb) 253396

[startup+350.011 s]
Raw data (loadavg): 1.07 0.99 0.97 1/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) T 8144 8145 4059 0 -1 0 83364 0 0 0 34640 242 0 0 25 0 1 0 21315480 261054464 49411 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8145/statm): 63734 49411 364 364 0 63370 0
[pid=8145] vsize: 254936
Current children cumulated CPU time (s) 348.82
Current children cumulated vsize (Kb) 254936

[startup+360.012 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 83569 0 0 0 35637 244 0 0 25 0 1 0 21315480 261713920 49518 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 63895 49518 364 364 0 63531 0
[pid=8145] vsize: 255580
Current children cumulated CPU time (s) 358.81
Current children cumulated vsize (Kb) 255580

[startup+370.012 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 83842 0 0 0 36633 246 0 0 25 0 1 0 21315480 262369280 49627 4294967295 134512640 135987407 3221224560 3221223196 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 64055 49627 364 364 0 63691 0
[pid=8145] vsize: 256220
Current children cumulated CPU time (s) 368.79
Current children cumulated vsize (Kb) 256220

[startup+380.012 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 83867 0 0 0 37631 246 0 0 25 0 1 0 21315480 262369280 49652 4294967295 134512640 135987407 3221224560 3221223248 134824504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 64055 49652 364 364 0 63691 0
[pid=8145] vsize: 256220
Current children cumulated CPU time (s) 378.77
Current children cumulated vsize (Kb) 256220

[startup+390.012 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 83901 0 0 0 38628 247 0 0 25 0 1 0 21315480 262369280 49686 4294967295 134512640 135987407 3221224560 3221223216 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 64055 49686 364 364 0 63691 0
[pid=8145] vsize: 256220
Current children cumulated CPU time (s) 388.75
Current children cumulated vsize (Kb) 256220

[startup+400.012 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85148 0 0 0 39621 251 0 0 25 0 1 0 21315480 263815168 49947 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 64408 49947 364 364 0 64044 0
[pid=8145] vsize: 257632
Current children cumulated CPU time (s) 398.72
Current children cumulated vsize (Kb) 257632

[startup+410.012 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85149 0 0 0 40616 252 0 0 25 0 1 0 21315480 263815168 49948 4294967295 134512640 135987407 3221224560 3221223280 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 64408 49948 364 364 0 64044 0
[pid=8145] vsize: 257632
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (Kb) 257632

[startup+420.013 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85187 0 0 0 41612 254 0 0 25 0 1 0 21315480 263815168 49986 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 64408 49986 364 364 0 64044 0
[pid=8145] vsize: 257632
Current children cumulated CPU time (s) 418.66
Current children cumulated vsize (Kb) 257632

[startup+430.012 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85192 0 0 0 42610 254 0 0 25 0 1 0 21315480 263815168 49991 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 64408 49991 364 364 0 64044 0
[pid=8145] vsize: 257632
Current children cumulated CPU time (s) 428.64
Current children cumulated vsize (Kb) 257632

[startup+440.012 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85193 0 0 0 43609 255 0 0 25 0 1 0 21315480 263815168 49992 4294967295 134512640 135987407 3221224560 3221223216 134812400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 64408 49992 364 364 0 64044 0
[pid=8145] vsize: 257632
Current children cumulated CPU time (s) 438.64
Current children cumulated vsize (Kb) 257632

[startup+450.013 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85919 0 0 0 44605 258 0 0 25 0 1 0 21315480 263815168 50025 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 64408 50025 364 364 0 64044 0
[pid=8145] vsize: 257632
Current children cumulated CPU time (s) 448.63
Current children cumulated vsize (Kb) 257632

[startup+460.014 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 86867 0 0 0 45598 260 0 0 25 0 1 0 21315480 266596352 50548 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 65087 50548 364 364 0 64723 0
[pid=8145] vsize: 260348
Current children cumulated CPU time (s) 458.58
Current children cumulated vsize (Kb) 260348

[startup+470.014 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 88339 0 0 0 46591 264 0 0 25 0 1 0 21315480 271745024 51271 4294967295 134512640 135987407 3221224560 3221223120 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 66344 51271 364 364 0 65980 0
[pid=8145] vsize: 265376
Current children cumulated CPU time (s) 468.55
Current children cumulated vsize (Kb) 265376

[startup+480.015 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 89977 0 0 0 47584 269 0 0 25 0 1 0 21315480 276078592 51937 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 67402 51937 364 364 0 67038 0
[pid=8145] vsize: 269608
Current children cumulated CPU time (s) 478.53
Current children cumulated vsize (Kb) 269608

[startup+490.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91214 0 0 0 48577 272 0 0 25 0 1 0 21315480 279912448 52588 4294967295 134512640 135987407 3221224560 3221222892 135480791 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 68338 52588 364 364 0 67974 0
[pid=8145] vsize: 273352
Current children cumulated CPU time (s) 488.49
Current children cumulated vsize (Kb) 273352

[startup+500.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91320 0 0 0 49573 274 0 0 25 0 1 0 21315480 280309760 52661 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 68435 52661 364 364 0 68071 0
[pid=8145] vsize: 273740
Current children cumulated CPU time (s) 498.47
Current children cumulated vsize (Kb) 273740

[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91445 0 0 0 50568 275 0 0 25 0 1 0 21315480 280571904 52720 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 68499 52720 364 364 0 68135 0
[pid=8145] vsize: 273996
Current children cumulated CPU time (s) 508.43
Current children cumulated vsize (Kb) 273996

[startup+520.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91592 0 0 0 51564 277 0 0 25 0 1 0 21315480 281100288 52802 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 68628 52802 364 364 0 68264 0
[pid=8145] vsize: 274512
Current children cumulated CPU time (s) 518.41
Current children cumulated vsize (Kb) 274512

[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91993 0 0 0 52559 280 0 0 25 0 1 0 21315480 281886720 53008 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 68820 53008 364 364 0 68456 0
[pid=8145] vsize: 275280
Current children cumulated CPU time (s) 528.39
Current children cumulated vsize (Kb) 275280

[startup+540.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 92936 0 0 0 53554 283 0 0 25 0 1 0 21315480 284254208 53430 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 69398 53430 364 364 0 69034 0
[pid=8145] vsize: 277592
Current children cumulated CPU time (s) 538.37
Current children cumulated vsize (Kb) 277592

[startup+550.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 93337 0 0 0 54549 284 0 0 25 0 1 0 21315480 285306880 53636 4294967295 134512640 135987407 3221224560 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 69655 53636 364 364 0 69291 0
[pid=8145] vsize: 278620
Current children cumulated CPU time (s) 548.33
Current children cumulated vsize (Kb) 278620

[startup+560.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 94040 0 0 0 55544 287 0 0 25 0 1 0 21315480 287408128 53886 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 70168 53886 364 364 0 69804 0
[pid=8145] vsize: 280672
Current children cumulated CPU time (s) 558.31
Current children cumulated vsize (Kb) 280672

[startup+570.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 94257 0 0 0 56541 288 0 0 25 0 1 0 21315480 287932416 53973 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 70296 53973 364 364 0 69932 0
[pid=8145] vsize: 281184
Current children cumulated CPU time (s) 568.29
Current children cumulated vsize (Kb) 281184

[startup+580.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 94595 0 0 0 57532 292 0 0 25 0 1 0 21315480 288985088 54116 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 70553 54116 364 364 0 70189 0
[pid=8145] vsize: 282212
Current children cumulated CPU time (s) 578.24
Current children cumulated vsize (Kb) 282212

[startup+590.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 95288 0 0 0 58514 300 0 0 25 0 1 0 21315480 288985088 54116 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 70553 54116 364 364 0 70189 0
[pid=8145] vsize: 282212
Current children cumulated CPU time (s) 588.14
Current children cumulated vsize (Kb) 282212

[startup+600.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 95866 0 0 0 59507 303 0 0 25 0 1 0 21315480 290557952 54304 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 70937 54304 364 364 0 70573 0
[pid=8145] vsize: 283748
Current children cumulated CPU time (s) 598.1
Current children cumulated vsize (Kb) 283748

[startup+610.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96252 0 0 0 60504 305 0 0 25 0 1 0 21315480 291606528 54432 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71193 54432 364 364 0 70829 0
[pid=8145] vsize: 284772
Current children cumulated CPU time (s) 608.09
Current children cumulated vsize (Kb) 284772

[startup+620.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96666 0 0 0 61498 307 0 0 25 0 1 0 21315480 293195776 54716 4294967295 134512640 135987407 3221224560 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54716 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 618.05
Current children cumulated vsize (Kb) 286324

[startup+630.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96666 0 0 0 62494 309 0 0 25 0 1 0 21315480 293195776 54716 4294967295 134512640 135987407 3221224560 3221223244 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54716 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 628.03
Current children cumulated vsize (Kb) 286324

[startup+640.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96667 0 0 0 63493 309 0 0 25 0 1 0 21315480 293195776 54717 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54717 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 638.02
Current children cumulated vsize (Kb) 286324

[startup+650.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96668 0 0 0 64491 310 0 0 25 0 1 0 21315480 293195776 54718 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54718 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 648.01
Current children cumulated vsize (Kb) 286324

[startup+660.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96669 0 0 0 65490 311 0 0 25 0 1 0 21315480 293195776 54719 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54719 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 658.01
Current children cumulated vsize (Kb) 286324

[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96670 0 0 0 66488 311 0 0 25 0 1 0 21315480 293195776 54720 4294967295 134512640 135987407 3221224560 3221223248 134824688 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54720 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 667.99
Current children cumulated vsize (Kb) 286324

[startup+680.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97363 0 0 0 67483 314 0 0 25 0 1 0 21315480 293195776 54720 4294967295 134512640 135987407 3221224560 3221222992 134788429 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54720 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 677.97
Current children cumulated vsize (Kb) 286324

[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97364 0 0 0 68482 315 0 0 25 0 1 0 21315480 293195776 54721 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54721 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 687.97
Current children cumulated vsize (Kb) 286324

[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97365 0 0 0 69481 315 0 0 25 0 1 0 21315480 293195776 54722 4294967295 134512640 135987407 3221224560 3221223120 134812146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54722 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 697.96
Current children cumulated vsize (Kb) 286324

[startup+710.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97367 0 0 0 70479 316 0 0 25 0 1 0 21315480 293195776 54724 4294967295 134512640 135987407 3221224560 3221223120 134812041 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54724 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 707.95
Current children cumulated vsize (Kb) 286324

[startup+720.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97379 0 0 0 71478 317 0 0 25 0 1 0 21315480 293195776 54736 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54736 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 717.95
Current children cumulated vsize (Kb) 286324

[startup+730.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97390 0 0 0 72477 317 0 0 25 0 1 0 21315480 293195776 54747 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71581 54747 364 364 0 71217 0
[pid=8145] vsize: 286324
Current children cumulated CPU time (s) 727.94
Current children cumulated vsize (Kb) 286324

[startup+740.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98225 0 0 0 73473 320 0 0 25 0 1 0 21315480 293724160 54824 4294967295 134512640 135987407 3221224560 3221223120 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 71710 54824 364 364 0 71346 0
[pid=8145] vsize: 286840
Current children cumulated CPU time (s) 737.93
Current children cumulated vsize (Kb) 286840

[startup+750.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98342 0 0 0 74468 321 0 0 25 0 1 0 21315480 294256640 54941 4294967295 134512640 135987407 3221224560 3221223120 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71840 54941 364 364 0 71476 0
[pid=8145] vsize: 287360
Current children cumulated CPU time (s) 747.89
Current children cumulated vsize (Kb) 287360

[startup+760.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98364 0 0 0 75463 323 0 0 25 0 1 0 21315480 294256640 54963 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71840 54963 364 364 0 71476 0
[pid=8145] vsize: 287360
Current children cumulated CPU time (s) 757.86
Current children cumulated vsize (Kb) 287360

[startup+770.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98473 0 0 0 76462 324 0 0 25 0 1 0 21315480 294518784 55007 4294967295 134512640 135987407 3221224560 3221223120 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55007 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 767.86
Current children cumulated vsize (Kb) 287616

[startup+780.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98487 0 0 0 77460 325 0 0 25 0 1 0 21315480 294518784 55021 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55021 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 777.85
Current children cumulated vsize (Kb) 287616

[startup+790.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98502 0 0 0 78459 325 0 0 25 0 1 0 21315480 294518784 55036 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55036 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 787.84
Current children cumulated vsize (Kb) 287616

[startup+800.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98515 0 0 0 79458 325 0 0 25 0 1 0 21315480 294518784 55049 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55049 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 797.83
Current children cumulated vsize (Kb) 287616

[startup+810.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98529 0 0 0 80457 325 0 0 25 0 1 0 21315480 294518784 55063 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55063 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 807.82
Current children cumulated vsize (Kb) 287616

[startup+820.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99224 0 0 0 81455 327 0 0 25 0 1 0 21315480 294518784 55065 4294967295 134512640 135987407 3221224560 3221223120 134812049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55065 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 817.82
Current children cumulated vsize (Kb) 287616

[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99225 0 0 0 82454 328 0 0 25 0 1 0 21315480 294518784 55066 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55066 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 827.82
Current children cumulated vsize (Kb) 287616

[startup+840.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99226 0 0 0 83452 329 0 0 25 0 1 0 21315480 294518784 55067 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55067 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 837.81
Current children cumulated vsize (Kb) 287616

[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99227 0 0 0 84451 329 0 0 25 0 1 0 21315480 294518784 55068 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55068 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 847.8
Current children cumulated vsize (Kb) 287616

[startup+860.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99228 0 0 0 85451 329 0 0 25 0 1 0 21315480 294518784 55069 4294967295 134512640 135987407 3221224560 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55069 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 857.8
Current children cumulated vsize (Kb) 287616

[startup+870.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99921 0 0 0 86449 331 0 0 25 0 1 0 21315480 294518784 55069 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 71904 55069 364 364 0 71540 0
[pid=8145] vsize: 287616
Current children cumulated CPU time (s) 867.8
Current children cumulated vsize (Kb) 287616

[startup+880.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100124 0 0 0 87445 332 0 0 25 0 1 0 21315480 295583744 55272 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72164 55272 364 364 0 71800 0
[pid=8145] vsize: 288656
Current children cumulated CPU time (s) 877.77
Current children cumulated vsize (Kb) 288656

[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100290 0 0 0 88443 333 0 0 25 0 1 0 21315480 296108032 55308 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55308 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 887.76
Current children cumulated vsize (Kb) 289168

[startup+900.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100291 0 0 0 89443 333 0 0 25 0 1 0 21315480 296108032 55309 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55309 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 897.76
Current children cumulated vsize (Kb) 289168

[startup+910.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100291 0 0 0 90442 334 0 0 25 0 1 0 21315480 296108032 55309 4294967295 134512640 135987407 3221224560 3221223120 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55309 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 907.76
Current children cumulated vsize (Kb) 289168

[startup+920.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100293 0 0 0 91439 335 0 0 25 0 1 0 21315480 296108032 55311 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55311 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 917.74
Current children cumulated vsize (Kb) 289168

[startup+930.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100986 0 0 0 92436 337 0 0 25 0 1 0 21315480 296108032 55311 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55311 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 927.73
Current children cumulated vsize (Kb) 289168

[startup+940.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100987 0 0 0 93435 338 0 0 25 0 1 0 21315480 296108032 55312 4294967295 134512640 135987407 3221224560 3221223280 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55312 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 937.73
Current children cumulated vsize (Kb) 289168

[startup+950.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100988 0 0 0 94434 338 0 0 25 0 1 0 21315480 296108032 55313 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55313 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 947.72
Current children cumulated vsize (Kb) 289168

[startup+960.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100989 0 0 0 95433 339 0 0 25 0 1 0 21315480 296108032 55314 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55314 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 957.72
Current children cumulated vsize (Kb) 289168

[startup+970.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100989 0 0 0 96431 339 0 0 25 0 1 0 21315480 296108032 55314 4294967295 134512640 135987407 3221224560 3221223120 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 72292 55314 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 967.7
Current children cumulated vsize (Kb) 289168

[startup+980.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101689 0 0 0 97428 341 0 0 25 0 1 0 21315480 296108032 55321 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 72292 55321 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 977.69
Current children cumulated vsize (Kb) 289168

[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101690 0 0 0 98427 342 0 0 25 0 1 0 21315480 296108032 55322 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 72292 55322 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 987.69
Current children cumulated vsize (Kb) 289168

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101694 0 0 0 99425 343 0 0 25 0 1 0 21315480 296108032 55326 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 72292 55326 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 997.68
Current children cumulated vsize (Kb) 289168

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101709 0 0 0 100424 344 0 0 25 0 1 0 21315480 296108032 55341 4294967295 134512640 135987407 3221224560 3221223120 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 72292 55341 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 1007.68
Current children cumulated vsize (Kb) 289168

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101723 0 0 0 101422 344 0 0 25 0 1 0 21315480 296108032 55355 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8145/statm): 72292 55355 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 1017.66
Current children cumulated vsize (Kb) 289168

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101733 0 0 0 102418 346 0 0 25 0 1 0 21315480 296108032 55365 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55365 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 1027.64
Current children cumulated vsize (Kb) 289168

[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101744 0 0 0 103415 347 0 0 25 0 1 0 21315480 296108032 55376 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72292 55376 364 364 0 71928 0
[pid=8145] vsize: 289168
Current children cumulated CPU time (s) 1037.62
Current children cumulated vsize (Kb) 289168

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101971 0 0 0 104414 348 0 0 25 0 1 0 21315480 296894464 55409 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72484 55409 364 364 0 72120 0
[pid=8145] vsize: 289936
Current children cumulated CPU time (s) 1047.62
Current children cumulated vsize (Kb) 289936

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102671 0 0 0 105411 350 0 0 25 0 1 0 21315480 296894464 55416 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72484 55416 364 364 0 72120 0
[pid=8145] vsize: 289936
Current children cumulated CPU time (s) 1057.61
Current children cumulated vsize (Kb) 289936

[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102683 0 0 0 106410 351 0 0 25 0 1 0 21315480 296894464 55428 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72484 55428 364 364 0 72120 0
[pid=8145] vsize: 289936
Current children cumulated CPU time (s) 1067.61
Current children cumulated vsize (Kb) 289936

[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102695 0 0 0 107408 352 0 0 25 0 1 0 21315480 296894464 55440 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72484 55440 364 364 0 72120 0
[pid=8145] vsize: 289936
Current children cumulated CPU time (s) 1077.6
Current children cumulated vsize (Kb) 289936

[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102862 0 0 0 108407 352 0 0 25 0 1 0 21315480 297418752 55478 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55478 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1087.59
Current children cumulated vsize (Kb) 290448

[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102877 0 0 0 109405 353 0 0 25 0 1 0 21315480 297418752 55493 4294967295 134512640 135987407 3221224560 3221223120 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55493 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1097.58
Current children cumulated vsize (Kb) 290448

[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103579 0 0 0 110402 355 0 0 25 0 1 0 21315480 297418752 55502 4294967295 134512640 135987407 3221224560 3221223120 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55502 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1107.57
Current children cumulated vsize (Kb) 290448

[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103580 0 0 0 111400 356 0 0 25 0 1 0 21315480 297418752 55503 4294967295 134512640 135987407 3221224560 3221223268 134812772 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55503 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1117.56
Current children cumulated vsize (Kb) 290448

[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103581 0 0 0 112399 357 0 0 25 0 1 0 21315480 297418752 55504 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55504 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1127.56
Current children cumulated vsize (Kb) 290448

[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103582 0 0 0 113398 357 0 0 25 0 1 0 21315480 297418752 55505 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55505 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1137.55
Current children cumulated vsize (Kb) 290448

[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103582 0 0 0 114397 358 0 0 25 0 1 0 21315480 297418752 55505 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55505 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1147.55
Current children cumulated vsize (Kb) 290448

[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104276 0 0 0 115393 360 0 0 25 0 1 0 21315480 297418752 55506 4294967295 134512640 135987407 3221224560 3221223120 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55506 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1157.53
Current children cumulated vsize (Kb) 290448

[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104277 0 0 0 116391 361 0 0 25 0 1 0 21315480 297418752 55507 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55507 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1167.52
Current children cumulated vsize (Kb) 290448

[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104278 0 0 0 117390 362 0 0 25 0 1 0 21315480 297418752 55508 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55508 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1177.52
Current children cumulated vsize (Kb) 290448

[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104278 0 0 0 118389 362 0 0 25 0 1 0 21315480 297418752 55508 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55508 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1187.51
Current children cumulated vsize (Kb) 290448

[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104279 0 0 0 119387 363 0 0 25 0 1 0 21315480 297418752 55509 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55509 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1197.5
Current children cumulated vsize (Kb) 290448

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104280 0 0 0 120387 364 0 0 25 0 1 0 21315480 297418752 55510 4294967295 134512640 135987407 3221224560 3221223280 134789994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55510 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1207.51
Current children cumulated vsize (Kb) 290448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8145
Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104280 0 0 0 120387 364 0 0 25 0 1 0 21315480 297418752 55510 4294967295 134512640 135987407 3221224560 3221223280 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8145/statm): 72612 55510 364 364 0 72248 0
[pid=8145] vsize: 290448
Current children cumulated CPU time (s) 1207.51
Current children cumulated vsize (Kb) 290448

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

Child status: 10
Real time (s): 1210.71
CPU time (s): 1208.18
CPU user time (s): 1204.42
CPU system time (s): 3.75843
CPU usage (%): 99.7911
Max. virtual memory (cumulated for all children) (Kb): 290448

Verifier Data

Verifier:	OK	0