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-2.opb
MD5SUMa931f7e9a55cb6836807387327525e8b
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 constraints58624
Number of constraints which are clauses58624
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 9830

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        933824 kB
Buffers:         11964 kB
Cached:          71472 kB
SwapCached:          0 kB
Active:          45348 kB
Inactive:        41008 kB
HighTotal:      131008 kB
HighFree:        55132 kB
LowTotal:       903652 kB
LowFree:        878692 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8796 kB
Committed_AS:    63640 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:54:11 (client local time) WITH STATUS 10 IN 1207.71 SECONDS
stats: 8561 0 1207.71 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: 6896/354491	Time: 64.5742/86400
c Decision: 6896/354491	Time: 105.668/86400
c Decision: 6896/354491	Time: 146.139/86400
c Decision: 6896/354491	Time: 188.062/86400
c Decision: 6896/354491	Time: 229.469/86400
c Decision: 11451/354491	Time: 329.354/86400
c Decision: 12301/354491	Time: 398.823/86400
c Decision: 21778/354491	Time: 496.01/86400
c Decision: 71794/354491	Time: 566.172/86400
c Decision: 86039/354491	Time: 628.549/86400
c Decision: 86039/354491	Time: 669.989/86400
c Decision: 136770/354491	Time: 741.836/86400
c Decision: 136770/354491	Time: 792.175/86400
c Decision: 136770/354491	Time: 838.503/86400
c Decision: 148329/354491	Time: 943.845/86400
c trying from 512 to 944

c got solution with objective value: 941
c starting final optimization
s 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/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21319337 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 373 2 364 364 0 9 0
[pid=8563] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-2.opb

[startup+10.002 s]
Raw data (loadavg): 0.93 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 21382 0 0 0 947 50 0 0 25 0 1 0 21319337 65671168 12845 4294967295 134512640 135987407 3221224576 3221080784 134802898 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 16033 12845 364 364 0 15669 0
[pid=8563] vsize: 64132
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 64132

[startup+20.0028 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 54471 0 0 0 1878 116 0 0 25 0 1 0 21319337 182702080 32309 4294967295 134512640 135987407 3221224576 3221132060 135480771 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 44605 32309 364 364 0 44241 0
[pid=8563] vsize: 178420
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 178420

[startup+30.0037 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 61995 0 0 0 2847 137 0 0 25 0 1 0 21319337 199458816 38420 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 48696 38420 364 364 0 48332 0
[pid=8563] vsize: 194784
Current children cumulated CPU time (s) 29.84
Current children cumulated vsize (Kb) 194784

[startup+40.0035 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 63062 0 0 0 3825 146 0 0 25 0 1 0 21319337 203505664 39227 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 49684 39227 364 364 0 49320 0
[pid=8563] vsize: 198736
Current children cumulated CPU time (s) 39.71
Current children cumulated vsize (Kb) 198736

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 64881 0 0 0 4818 151 0 0 25 0 1 0 21319337 209534976 40344 4294967295 134512640 135987407 3221224576 3221223232 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 51156 40344 364 364 0 50792 0
[pid=8563] vsize: 204624
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (Kb) 204624

[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 67533 0 0 0 5808 158 0 0 25 0 1 0 21319337 218243072 41997 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 53282 41997 364 364 0 52918 0
[pid=8563] vsize: 213128
Current children cumulated CPU time (s) 59.66
Current children cumulated vsize (Kb) 213128

[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 68128 0 0 0 6803 160 0 0 25 0 1 0 21319337 219967488 42362 4294967295 134512640 135987407 3221224576 3221223136 134811983 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 53703 42362 364 364 0 53339 0
[pid=8563] vsize: 214812
Current children cumulated CPU time (s) 69.63
Current children cumulated vsize (Kb) 214812

[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 68505 0 0 0 7798 162 0 0 25 0 1 0 21319337 221487104 42641 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 54074 42641 364 364 0 53710 0
[pid=8563] vsize: 216296
Current children cumulated CPU time (s) 79.6
Current children cumulated vsize (Kb) 216296

[startup+90.0048 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 69757 0 0 0 8788 168 0 0 25 0 1 0 21319337 223707136 43110 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 54616 43110 364 364 0 54252 0
[pid=8563] vsize: 218464
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (Kb) 218464

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 70676 0 0 0 9773 174 0 0 25 0 1 0 21319337 227606528 43782 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 55568 43782 364 364 0 55204 0
[pid=8563] vsize: 222272
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (Kb) 222272

[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 71569 0 0 0 10766 177 0 0 25 0 1 0 21319337 231096320 44379 4294967295 134512640 135987407 3221224576 3221223040 134775579 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 56420 44379 364 364 0 56056 0
[pid=8563] vsize: 225680
Current children cumulated CPU time (s) 109.43
Current children cumulated vsize (Kb) 225680

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 71658 0 0 0 11761 179 0 0 25 0 1 0 21319337 231231488 44468 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 56453 44468 364 364 0 56089 0
[pid=8563] vsize: 225812
Current children cumulated CPU time (s) 119.4
Current children cumulated vsize (Kb) 225812

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 72514 0 0 0 12751 184 0 0 25 0 1 0 21319337 231960576 44598 4294967295 134512640 135987407 3221224576 3221223008 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 56631 44598 364 364 0 56267 0
[pid=8563] vsize: 226524
Current children cumulated CPU time (s) 129.35
Current children cumulated vsize (Kb) 226524

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 72852 0 0 0 13727 193 0 0 25 0 1 0 21319337 233566208 44903 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 57023 44903 364 364 0 56659 0
[pid=8563] vsize: 228092
Current children cumulated CPU time (s) 139.2
Current children cumulated vsize (Kb) 228092

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 73172 0 0 0 14718 196 0 0 25 0 1 0 21319337 234823680 45109 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 57330 45109 364 364 0 56966 0
[pid=8563] vsize: 229320
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (Kb) 229320

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 73811 0 0 0 15710 200 0 0 25 0 1 0 21319337 237174784 45519 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 57904 45519 364 364 0 57540 0
[pid=8563] vsize: 231616
Current children cumulated CPU time (s) 159.1
Current children cumulated vsize (Kb) 231616

[startup+170.009 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 75228 0 0 0 16699 205 0 0 25 0 1 0 21319337 239153152 45981 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 58387 45981 364 364 0 58023 0
[pid=8563] vsize: 233548
Current children cumulated CPU time (s) 169.04
Current children cumulated vsize (Kb) 233548

[startup+180.01 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 76334 0 0 0 17682 212 0 0 25 0 1 0 21319337 242388992 46598 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 59177 46598 364 364 0 58813 0
[pid=8563] vsize: 236708
Current children cumulated CPU time (s) 178.94
Current children cumulated vsize (Kb) 236708

[startup+190.01 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 76792 0 0 0 18674 215 0 0 25 0 1 0 21319337 244248576 46925 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 59631 46925 364 364 0 59267 0
[pid=8563] vsize: 238524
Current children cumulated CPU time (s) 188.89
Current children cumulated vsize (Kb) 238524

[startup+200.01 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 77479 0 0 0 19666 219 0 0 25 0 1 0 21319337 246566912 47368 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 60197 47368 364 364 0 59833 0
[pid=8563] vsize: 240788
Current children cumulated CPU time (s) 198.85
Current children cumulated vsize (Kb) 240788

[startup+210.011 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 78152 0 0 0 20658 222 0 0 25 0 1 0 21319337 248688640 47713 4294967295 134512640 135987407 3221224576 3221223168 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 60715 47713 364 364 0 60351 0
[pid=8563] vsize: 242860
Current children cumulated CPU time (s) 208.8
Current children cumulated vsize (Kb) 242860

[startup+220.011 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 79762 0 0 0 21632 233 0 0 25 0 1 0 21319337 251674624 48236 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 61444 48236 364 364 0 61080 0
[pid=8563] vsize: 245776
Current children cumulated CPU time (s) 218.65
Current children cumulated vsize (Kb) 245776

[startup+230.012 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 79925 0 0 0 22618 238 0 0 25 0 1 0 21319337 252485632 48399 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 61642 48399 364 364 0 61278 0
[pid=8563] vsize: 246568
Current children cumulated CPU time (s) 228.56
Current children cumulated vsize (Kb) 246568

[startup+240.012 s]
Raw data (loadavg): 1.02 0.99 0.97 1/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) T 8562 8563 4060 0 -1 0 80594 0 0 0 23614 240 0 0 25 0 1 0 21319337 254746624 48773 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8563/statm): 62194 48773 364 364 0 61830 0
[pid=8563] vsize: 248776
Current children cumulated CPU time (s) 238.54
Current children cumulated vsize (Kb) 248776

[startup+250.011 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 81163 0 0 0 24606 243 0 0 25 0 1 0 21319337 256876544 49128 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 62714 49128 364 364 0 62350 0
[pid=8563] vsize: 250856
Current children cumulated CPU time (s) 248.49
Current children cumulated vsize (Kb) 250856

[startup+260.011 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 83440 0 0 0 25589 252 0 0 25 0 1 0 21319337 261513216 49992 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 63846 49992 364 364 0 63482 0
[pid=8563] vsize: 255384
Current children cumulated CPU time (s) 258.41
Current children cumulated vsize (Kb) 255384

[startup+270.012 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 85228 0 0 0 26573 260 0 0 25 0 1 0 21319337 266444800 50774 4294967295 134512640 135987407 3221224576 3221223136 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 65050 50774 364 364 0 64686 0
[pid=8563] vsize: 260200
Current children cumulated CPU time (s) 268.33
Current children cumulated vsize (Kb) 260200

[startup+280.013 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 85827 0 0 0 27566 262 0 0 25 0 1 0 21319337 268435456 51112 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 65536 51112 364 364 0 65172 0
[pid=8563] vsize: 262144
Current children cumulated CPU time (s) 278.28
Current children cumulated vsize (Kb) 262144

[startup+290.014 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 86020 0 0 0 28562 265 0 0 25 0 1 0 21319337 269099008 51206 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 65698 51206 364 364 0 65334 0
[pid=8563] vsize: 262792
Current children cumulated CPU time (s) 288.27
Current children cumulated vsize (Kb) 262792

[startup+300.014 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 87381 0 0 0 29554 269 0 0 25 0 1 0 21319337 272781312 51754 4294967295 134512640 135987407 3221224576 3221223008 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 66597 51754 364 364 0 66233 0
[pid=8563] vsize: 266388
Current children cumulated CPU time (s) 298.23
Current children cumulated vsize (Kb) 266388

[startup+310.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89032 0 0 0 30548 273 0 0 25 0 1 0 21319337 277118976 52498 4294967295 134512640 135987407 3221224576 3221223284 134812772 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 67656 52498 364 364 0 67292 0
[pid=8563] vsize: 270624
Current children cumulated CPU time (s) 308.21
Current children cumulated vsize (Kb) 270624

[startup+320.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89049 0 0 0 31546 274 0 0 25 0 1 0 21319337 277118976 52515 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 67656 52515 364 364 0 67292 0
[pid=8563] vsize: 270624
Current children cumulated CPU time (s) 318.2
Current children cumulated vsize (Kb) 270624

[startup+330.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89060 0 0 0 32545 275 0 0 25 0 1 0 21319337 277118976 52526 4294967295 134512640 135987407 3221224576 3221223024 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 67656 52526 364 364 0 67292 0
[pid=8563] vsize: 270624
Current children cumulated CPU time (s) 328.2
Current children cumulated vsize (Kb) 270624

[startup+340.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89071 0 0 0 33544 275 0 0 25 0 1 0 21319337 277118976 52537 4294967295 134512640 135987407 3221224576 3221223200 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 67656 52537 364 364 0 67292 0
[pid=8563] vsize: 270624
Current children cumulated CPU time (s) 338.19
Current children cumulated vsize (Kb) 270624

[startup+350.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89111 0 0 0 34542 276 0 0 25 0 1 0 21319337 277118976 52577 4294967295 134512640 135987407 3221224576 3221223136 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 67656 52577 364 364 0 67292 0
[pid=8563] vsize: 270624
Current children cumulated CPU time (s) 348.18
Current children cumulated vsize (Kb) 270624

[startup+360.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 91064 0 0 0 35534 283 0 0 25 0 1 0 21319337 280264704 53058 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 68424 53058 364 364 0 68060 0
[pid=8563] vsize: 273696
Current children cumulated CPU time (s) 358.17
Current children cumulated vsize (Kb) 273696

[startup+370.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 91596 0 0 0 36523 288 0 0 25 0 1 0 21319337 282247168 53331 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 68908 53331 364 364 0 68544 0
[pid=8563] vsize: 275632
Current children cumulated CPU time (s) 368.11
Current children cumulated vsize (Kb) 275632

[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 91990 0 0 0 37518 290 0 0 25 0 1 0 21319337 283295744 53467 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 69164 53467 364 364 0 68800 0
[pid=8563] vsize: 276656
Current children cumulated CPU time (s) 378.08
Current children cumulated vsize (Kb) 276656

[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 91992 0 0 0 38515 291 0 0 25 0 1 0 21319337 283295744 53469 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 69164 53469 364 364 0 68800 0
[pid=8563] vsize: 276656
Current children cumulated CPU time (s) 388.06
Current children cumulated vsize (Kb) 276656

[startup+400.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 92042 0 0 0 39513 292 0 0 25 0 1 0 21319337 283426816 53486 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 69196 53486 364 364 0 68832 0
[pid=8563] vsize: 276784
Current children cumulated CPU time (s) 398.05
Current children cumulated vsize (Kb) 276784

[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 92043 0 0 0 40512 292 0 0 25 0 1 0 21319337 283426816 53487 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 69196 53487 364 364 0 68832 0
[pid=8563] vsize: 276784
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (Kb) 276784

[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 92044 0 0 0 41510 292 0 0 25 0 1 0 21319337 283426816 53488 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 69196 53488 364 364 0 68832 0
[pid=8563] vsize: 276784
Current children cumulated CPU time (s) 418.02
Current children cumulated vsize (Kb) 276784

[startup+430.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 93538 0 0 0 42499 298 0 0 25 0 1 0 21319337 285937664 53837 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 69809 53837 364 364 0 69445 0
[pid=8563] vsize: 279236
Current children cumulated CPU time (s) 427.97
Current children cumulated vsize (Kb) 279236

[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 93741 0 0 0 43492 301 0 0 25 0 1 0 21319337 286736384 53975 4294967295 134512640 135987407 3221224576 3221223136 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 70004 53975 364 364 0 69640 0
[pid=8563] vsize: 280016
Current children cumulated CPU time (s) 437.93
Current children cumulated vsize (Kb) 280016

[startup+450.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 94613 0 0 0 44485 305 0 0 25 0 1 0 21319337 289378304 54489 4294967295 134512640 135987407 3221224576 3221223136 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 70649 54489 364 364 0 70285 0
[pid=8563] vsize: 282596
Current children cumulated CPU time (s) 447.9
Current children cumulated vsize (Kb) 282596

[startup+460.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 94932 0 0 0 45479 308 0 0 25 0 1 0 21319337 290299904 54644 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 70874 54644 364 364 0 70510 0
[pid=8563] vsize: 283496
Current children cumulated CPU time (s) 457.87
Current children cumulated vsize (Kb) 283496

[startup+470.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95129 0 0 0 46476 309 0 0 25 0 1 0 21319337 290824192 54710 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 71002 54710 364 364 0 70638 0
[pid=8563] vsize: 284008
Current children cumulated CPU time (s) 467.85
Current children cumulated vsize (Kb) 284008

[startup+480.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95362 0 0 0 47471 311 0 0 25 0 1 0 21319337 291889152 54943 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 71262 54943 364 364 0 70898 0
[pid=8563] vsize: 285048
Current children cumulated CPU time (s) 477.82
Current children cumulated vsize (Kb) 285048

[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95596 0 0 0 48468 312 0 0 25 0 1 0 21319337 292675584 54983 4294967295 134512640 135987407 3221224576 3221223136 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 71454 54983 364 364 0 71090 0
[pid=8563] vsize: 285816
Current children cumulated CPU time (s) 487.8
Current children cumulated vsize (Kb) 285816

[startup+500.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95606 0 0 0 49465 314 0 0 25 0 1 0 21319337 292675584 54993 4294967295 134512640 135987407 3221224576 3221223136 134812132 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 71454 54993 364 364 0 71090 0
[pid=8563] vsize: 285816
Current children cumulated CPU time (s) 497.79
Current children cumulated vsize (Kb) 285816

[startup+510.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95616 0 0 0 50462 314 0 0 25 0 1 0 21319337 292675584 55003 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 71454 55003 364 364 0 71090 0
[pid=8563] vsize: 285816
Current children cumulated CPU time (s) 507.76
Current children cumulated vsize (Kb) 285816

[startup+520.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 96329 0 0 0 51460 316 0 0 25 0 1 0 21319337 295514112 55716 4294967295 134512640 135987407 3221224576 3221222808 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 72147 55716 364 364 0 71783 0
[pid=8563] vsize: 288588
Current children cumulated CPU time (s) 517.76
Current children cumulated vsize (Kb) 288588

[startup+530.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97503 0 0 0 52445 323 0 0 25 0 1 0 21319337 296222720 55448 4294967295 134512640 135987407 3221224576 3221223232 134812406 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72320 55448 364 364 0 71956 0
[pid=8563] vsize: 289280
Current children cumulated CPU time (s) 527.68
Current children cumulated vsize (Kb) 289280

[startup+540.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97766 0 0 0 53439 326 0 0 25 0 1 0 21319337 296878080 55548 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72480 55548 364 364 0 72116 0
[pid=8563] vsize: 289920
Current children cumulated CPU time (s) 537.65
Current children cumulated vsize (Kb) 289920

[startup+550.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97787 0 0 0 54439 326 0 0 25 0 1 0 21319337 296878080 55569 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72480 55569 364 364 0 72116 0
[pid=8563] vsize: 289920
Current children cumulated CPU time (s) 547.65
Current children cumulated vsize (Kb) 289920

[startup+560.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97801 0 0 0 55438 327 0 0 25 0 1 0 21319337 296878080 55583 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72480 55583 364 364 0 72116 0
[pid=8563] vsize: 289920
Current children cumulated CPU time (s) 557.65
Current children cumulated vsize (Kb) 289920

[startup+570.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97812 0 0 0 56437 327 0 0 25 0 1 0 21319337 296878080 55594 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72480 55594 364 364 0 72116 0
[pid=8563] vsize: 289920
Current children cumulated CPU time (s) 567.64
Current children cumulated vsize (Kb) 289920

[startup+580.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97824 0 0 0 57436 327 0 0 25 0 1 0 21319337 296878080 55606 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72480 55606 364 364 0 72116 0
[pid=8563] vsize: 289920
Current children cumulated CPU time (s) 577.63
Current children cumulated vsize (Kb) 289920

[startup+590.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 98526 0 0 0 58434 329 0 0 25 0 1 0 21319337 299716608 56308 4294967295 134512640 135987407 3221224576 3221222808 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73173 56308 364 364 0 72809 0
[pid=8563] vsize: 292692
Current children cumulated CPU time (s) 587.63
Current children cumulated vsize (Kb) 292692

[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 98881 0 0 0 59428 331 0 0 25 0 1 0 21319337 298065920 55807 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72770 55807 364 364 0 72406 0
[pid=8563] vsize: 291080
Current children cumulated CPU time (s) 597.59
Current children cumulated vsize (Kb) 291080

[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99022 0 0 0 60424 333 0 0 25 0 1 0 21319337 298328064 55883 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72834 55883 364 364 0 72470 0
[pid=8563] vsize: 291336
Current children cumulated CPU time (s) 607.57
Current children cumulated vsize (Kb) 291336

[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99030 0 0 0 61423 334 0 0 25 0 1 0 21319337 298328064 55891 4294967295 134512640 135987407 3221224576 3221223136 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72834 55891 364 364 0 72470 0
[pid=8563] vsize: 291336
Current children cumulated CPU time (s) 617.57
Current children cumulated vsize (Kb) 291336

[startup+630.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99041 0 0 0 62422 335 0 0 25 0 1 0 21319337 298328064 55902 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72834 55902 364 364 0 72470 0
[pid=8563] vsize: 291336
Current children cumulated CPU time (s) 627.57
Current children cumulated vsize (Kb) 291336

[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99050 0 0 0 63421 335 0 0 25 0 1 0 21319337 298328064 55911 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72834 55911 364 364 0 72470 0
[pid=8563] vsize: 291336
Current children cumulated CPU time (s) 637.56
Current children cumulated vsize (Kb) 291336

[startup+650.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99059 0 0 0 64418 336 0 0 25 0 1 0 21319337 298328064 55920 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72834 55920 364 364 0 72470 0
[pid=8563] vsize: 291336
Current children cumulated CPU time (s) 647.54
Current children cumulated vsize (Kb) 291336

[startup+660.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99757 0 0 0 65414 338 0 0 25 0 1 0 21319337 298328064 55925 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72834 55925 364 364 0 72470 0
[pid=8563] vsize: 291336
Current children cumulated CPU time (s) 657.52
Current children cumulated vsize (Kb) 291336

[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99761 0 0 0 66413 338 0 0 25 0 1 0 21319337 298328064 55929 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72834 55929 364 364 0 72470 0
[pid=8563] vsize: 291336
Current children cumulated CPU time (s) 667.51
Current children cumulated vsize (Kb) 291336

[startup+680.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99791 0 0 0 67411 339 0 0 25 0 1 0 21319337 298328064 55959 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72834 55959 364 364 0 72470 0
[pid=8563] vsize: 291336
Current children cumulated CPU time (s) 677.5
Current children cumulated vsize (Kb) 291336

[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99799 0 0 0 68410 340 0 0 25 0 1 0 21319337 298328064 55967 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72834 55967 364 364 0 72470 0
[pid=8563] vsize: 291336
Current children cumulated CPU time (s) 687.5
Current children cumulated vsize (Kb) 291336

[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 100669 0 0 0 69406 342 0 0 25 0 1 0 21319337 298852352 56015 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 72962 56015 364 364 0 72598 0
[pid=8563] vsize: 291848
Current children cumulated CPU time (s) 697.48
Current children cumulated vsize (Kb) 291848

[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 100881 0 0 0 70402 343 0 0 25 0 1 0 21319337 299511808 56129 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73123 56129 364 364 0 72759 0
[pid=8563] vsize: 292492
Current children cumulated CPU time (s) 707.45
Current children cumulated vsize (Kb) 292492

[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101002 0 0 0 71397 345 0 0 25 0 1 0 21319337 299773952 56184 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56184 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 717.42
Current children cumulated vsize (Kb) 292748

[startup+730.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101007 0 0 0 72394 346 0 0 25 0 1 0 21319337 299773952 56189 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56189 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 727.4
Current children cumulated vsize (Kb) 292748

[startup+740.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101008 0 0 0 73393 347 0 0 25 0 1 0 21319337 299773952 56190 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56190 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 737.4
Current children cumulated vsize (Kb) 292748

[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101009 0 0 0 74392 347 0 0 25 0 1 0 21319337 299773952 56191 4294967295 134512640 135987407 3221224576 3221223196 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56191 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 747.39
Current children cumulated vsize (Kb) 292748

[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101015 0 0 0 75390 348 0 0 25 0 1 0 21319337 299773952 56197 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56197 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 757.38
Current children cumulated vsize (Kb) 292748

[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101709 0 0 0 76387 350 0 0 25 0 1 0 21319337 299773952 56198 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56198 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 767.37
Current children cumulated vsize (Kb) 292748

[startup+780.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101710 0 0 0 77384 351 0 0 25 0 1 0 21319337 299773952 56199 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56199 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 777.35
Current children cumulated vsize (Kb) 292748

[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101711 0 0 0 78383 352 0 0 25 0 1 0 21319337 299773952 56200 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56200 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 787.35
Current children cumulated vsize (Kb) 292748

[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101712 0 0 0 79382 352 0 0 25 0 1 0 21319337 299773952 56201 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56201 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 797.34
Current children cumulated vsize (Kb) 292748

[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101713 0 0 0 80380 353 0 0 25 0 1 0 21319337 299773952 56202 4294967295 134512640 135987407 3221224576 3221223136 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56202 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 807.33
Current children cumulated vsize (Kb) 292748

[startup+820.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102407 0 0 0 81376 356 0 0 25 0 1 0 21319337 299773952 56203 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73187 56203 364 364 0 72823 0
[pid=8563] vsize: 292748
Current children cumulated CPU time (s) 817.32
Current children cumulated vsize (Kb) 292748

[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102468 0 0 0 82373 356 0 0 25 0 1 0 21319337 299905024 56231 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73219 56231 364 364 0 72855 0
[pid=8563] vsize: 292876
Current children cumulated CPU time (s) 827.29
Current children cumulated vsize (Kb) 292876

[startup+840.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102469 0 0 0 83372 357 0 0 25 0 1 0 21319337 299905024 56232 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73219 56232 364 364 0 72855 0
[pid=8563] vsize: 292876
Current children cumulated CPU time (s) 837.29
Current children cumulated vsize (Kb) 292876

[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102470 0 0 0 84371 358 0 0 25 0 1 0 21319337 299905024 56233 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73219 56233 364 364 0 72855 0
[pid=8563] vsize: 292876
Current children cumulated CPU time (s) 847.29
Current children cumulated vsize (Kb) 292876

[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102471 0 0 0 85370 358 0 0 25 0 1 0 21319337 299905024 56234 4294967295 134512640 135987407 3221224576 3221223296 134812761 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73219 56234 364 364 0 72855 0
[pid=8563] vsize: 292876
Current children cumulated CPU time (s) 857.28
Current children cumulated vsize (Kb) 292876

[startup+870.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103166 0 0 0 86366 360 0 0 25 0 1 0 21319337 299905024 56236 4294967295 134512640 135987407 3221224576 3221223136 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73219 56236 364 364 0 72855 0
[pid=8563] vsize: 292876
Current children cumulated CPU time (s) 867.26
Current children cumulated vsize (Kb) 292876

[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103172 0 0 0 87363 362 0 0 25 0 1 0 21319337 299905024 56242 4294967295 134512640 135987407 3221224576 3221223136 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73219 56242 364 364 0 72855 0
[pid=8563] vsize: 292876
Current children cumulated CPU time (s) 877.25
Current children cumulated vsize (Kb) 292876

[startup+890.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103403 0 0 0 88358 365 0 0 25 0 1 0 21319337 300695552 56342 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73412 56342 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 887.23
Current children cumulated vsize (Kb) 293648

[startup+900.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103416 0 0 0 89356 365 0 0 25 0 1 0 21319337 300695552 56355 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73412 56355 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 897.21
Current children cumulated vsize (Kb) 293648

[startup+910.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103417 0 0 0 90355 366 0 0 25 0 1 0 21319337 300695552 56356 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73412 56356 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 907.21
Current children cumulated vsize (Kb) 293648

[startup+920.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103418 0 0 0 91353 366 0 0 25 0 1 0 21319337 300695552 56357 4294967295 134512640 135987407 3221224576 3221223136 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73412 56357 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 917.19
Current children cumulated vsize (Kb) 293648

[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103419 0 0 0 92351 367 0 0 25 0 1 0 21319337 300695552 56358 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73412 56358 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 927.18
Current children cumulated vsize (Kb) 293648

[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103420 0 0 0 93350 368 0 0 25 0 1 0 21319337 300695552 56359 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73412 56359 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 937.18
Current children cumulated vsize (Kb) 293648

[startup+950.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103420 0 0 0 94349 368 0 0 25 0 1 0 21319337 300695552 56359 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73412 56359 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 947.17
Current children cumulated vsize (Kb) 293648

[startup+960.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103421 0 0 0 95348 369 0 0 25 0 1 0 21319337 300695552 56360 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 73412 56360 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 957.17
Current children cumulated vsize (Kb) 293648

[startup+970.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104118 0 0 0 96345 371 0 0 25 0 1 0 21319337 300695552 56364 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73412 56364 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 967.16
Current children cumulated vsize (Kb) 293648

[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104128 0 0 0 97342 372 0 0 25 0 1 0 21319337 300695552 56374 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73412 56374 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 977.14
Current children cumulated vsize (Kb) 293648

[startup+990.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104137 0 0 0 98341 373 0 0 25 0 1 0 21319337 300695552 56383 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73412 56383 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 987.14
Current children cumulated vsize (Kb) 293648

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104145 0 0 0 99339 374 0 0 25 0 1 0 21319337 300695552 56391 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73412 56391 364 364 0 73048 0
[pid=8563] vsize: 293648
Current children cumulated CPU time (s) 997.13
Current children cumulated vsize (Kb) 293648

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104250 0 0 0 100335 376 0 0 25 0 1 0 21319337 300957696 56431 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56431 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1007.11
Current children cumulated vsize (Kb) 293904

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104265 0 0 0 101333 377 0 0 25 0 1 0 21319337 300957696 56446 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56446 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1017.1
Current children cumulated vsize (Kb) 293904

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104271 0 0 0 102331 378 0 0 25 0 1 0 21319337 300957696 56452 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56452 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1027.09
Current children cumulated vsize (Kb) 293904

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104276 0 0 0 103329 379 0 0 25 0 1 0 21319337 300957696 56457 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56457 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1037.08
Current children cumulated vsize (Kb) 293904

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104282 0 0 0 104329 379 0 0 25 0 1 0 21319337 300957696 56463 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56463 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1047.08
Current children cumulated vsize (Kb) 293904

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104288 0 0 0 105328 379 0 0 25 0 1 0 21319337 300957696 56469 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56469 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1057.07
Current children cumulated vsize (Kb) 293904

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104295 0 0 0 106327 380 0 0 25 0 1 0 21319337 300957696 56476 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56476 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1067.07
Current children cumulated vsize (Kb) 293904

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104345 0 0 0 107326 380 0 0 25 0 1 0 21319337 300957696 56526 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56526 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1077.06
Current children cumulated vsize (Kb) 293904

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104356 0 0 0 108324 381 0 0 25 0 1 0 21319337 300957696 56537 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56537 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1087.05
Current children cumulated vsize (Kb) 293904

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104364 0 0 0 109323 382 0 0 25 0 1 0 21319337 300957696 56545 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56545 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1097.05
Current children cumulated vsize (Kb) 293904

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104371 0 0 0 110322 382 0 0 25 0 1 0 21319337 300957696 56552 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56552 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1107.04
Current children cumulated vsize (Kb) 293904

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104389 0 0 0 111320 383 0 0 25 0 1 0 21319337 300957696 56570 4294967295 134512640 135987407 3221224576 3221223232 134812298 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73476 56570 364 364 0 73112 0
[pid=8563] vsize: 293904
Current children cumulated CPU time (s) 1117.03
Current children cumulated vsize (Kb) 293904

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104680 0 0 0 112318 384 0 0 25 0 1 0 21319337 302006272 56604 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 73732 56604 364 364 0 73368 0
[pid=8563] vsize: 294928
Current children cumulated CPU time (s) 1127.02
Current children cumulated vsize (Kb) 294928

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 125893 0 0 0 113259 440 0 0 25 0 1 0 21319337 358641664 77687 4294967295 134512640 135987407 3221224576 3221204688 134878022 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 87559 77687 364 364 0 87195 0
[pid=8563] vsize: 350236
Current children cumulated CPU time (s) 1136.99
Current children cumulated vsize (Kb) 350236

[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 160191 0 0 0 114184 513 0 0 25 0 1 0 21319337 465780736 89813 4294967295 134512640 135987407 3221224576 3221109008 134802913 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 113716 89813 364 364 0 113352 0
[pid=8563] vsize: 454864
Current children cumulated CPU time (s) 1146.97
Current children cumulated vsize (Kb) 454864

[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 173359 0 0 0 115155 542 0 0 25 0 1 0 21319337 481705984 100081 4294967295 134512640 135987407 3221224576 3221223296 134818110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 117604 100081 364 364 0 117240 0
[pid=8563] vsize: 470416
Current children cumulated CPU time (s) 1156.97
Current children cumulated vsize (Kb) 470416

[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 177583 0 0 0 116120 559 0 0 25 0 1 0 21319337 486567936 101564 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 118791 101564 364 364 0 118427 0
[pid=8563] vsize: 475164
Current children cumulated CPU time (s) 1166.79
Current children cumulated vsize (Kb) 475164

[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.97 1/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) T 8562 8563 4060 0 -1 0 177998 0 0 0 117084 571 0 0 25 0 1 0 21319337 488022016 101850 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8563/statm): 119146 101850 364 364 0 118782 0
[pid=8563] vsize: 476584
Current children cumulated CPU time (s) 1176.55
Current children cumulated vsize (Kb) 476584

[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.97 1/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) T 8562 8563 4060 0 -1 0 178204 0 0 0 118038 587 0 0 25 0 1 0 21319337 489005056 102056 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8563/statm): 119386 102056 364 364 0 119022 0
[pid=8563] vsize: 477544
Current children cumulated CPU time (s) 1186.25
Current children cumulated vsize (Kb) 477544

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 178355 0 0 0 118997 601 0 0 25 0 1 0 21319337 489922560 102207 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8563/statm): 119610 102207 364 364 0 119246 0
[pid=8563] vsize: 478440
Current children cumulated CPU time (s) 1195.98
Current children cumulated vsize (Kb) 478440

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 178454 0 0 0 119953 617 0 0 25 0 1 0 21319337 490414080 102306 4294967295 134512640 135987407 3221224576 3221222944 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 119730 102306 364 364 0 119366 0
[pid=8563] vsize: 478920
Current children cumulated CPU time (s) 1205.7
Current children cumulated vsize (Kb) 478920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 8563
Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 178454 0 0 0 119953 617 0 0 25 0 1 0 21319337 490414080 102306 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8563/statm): 119730 102306 364 364 0 119366 0
[pid=8563] vsize: 478920
Current children cumulated CPU time (s) 1205.7
Current children cumulated vsize (Kb) 478920

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

Child status: 10
Real time (s): 1212.07
CPU time (s): 1207.71
CPU user time (s): 1201.33
CPU system time (s): 6.37603
CPU usage (%): 99.6399
Max. virtual memory (cumulated for all children) (Kb): 478920

Verifier Data

Verifier:	OK	-4