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/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM140696e76e8ed6af142b84a22a9a8f01
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of terms in the objective function 1150
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 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.05
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
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 9840

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-23 15:38:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8569 boxname=wulflinc11 idbench=365 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  140696e76e8ed6af142b84a22a9a8f01  /oldhome/oroussel/tmp/wulflinc11/normalized-frb50-23-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-frb50-23-3.opb
IDLAUNCH: 8569
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        913724 kB
Buffers:          8444 kB
Cached:          87028 kB
SwapCached:          0 kB
Active:          56948 kB
Inactive:        48112 kB
HighTotal:      131008 kB
HighFree:        41664 kB
LowTotal:       903652 kB
LowFree:        872060 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10192 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:58:49 (client local time) WITH STATUS 10 IN 1208.41 SECONDS
stats: 8569 0 1208.41 10

Solver Data

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

c Decision: 1927/459658	Time: 51.3722/86400
c Decision: 6515/459658	Time: 181.052/86400
c Decision: 7151/459658	Time: 244.443/86400
c Decision: 30375/459658	Time: 363.462/86400
c Decision: 30375/459658	Time: 443.802/86400
c Decision: 43733/459658	Time: 602.255/86400
c Decision: 87519/459658	Time: 707.466/86400
c Decision: 89495/459658	Time: 772.41/86400
c Decision: 133213/459658	Time: 984.808/86400
c Decision: 133559/459658	Time: 1058.2/86400
c Decision: 133586/459658	Time: 1177.41/86400s SATISFIABLE
v -C1 -C10 -C100 -C1000 -C1001 -C1002 -C1003 -C1004 -C1005 -C1006 -C1007 -C1008 -C1009 -C101 -C1010 -C1011 -C1012 -C1013 -C1014 -C1015 -C1016 -C1017 -C1018 -C1019 -C102 -C1020 -C1021 -C1022 -C1023 -C1024 -C1025 -C1026 -C1027 -C1028 -C1029 -C103 -C1030 -C1031 -C1032 -C1033 -C1034 -C1035 -C1036 -C1037 -C1038 -C1039 -C104 -C1040 -C1041 -C1042 -C1043 -C1044 -C1045 -C1046 -C1047 -C1048 -C1049 -C105 -C1050 -C1051 -C1052 -C1053 -C1054 -C1055 -C1056 -C1057 -C1058 -C1059 -C106 -C1060 -C1061 -C1062 -C1063 -C1064 -C1065 -C1066 -C1067 -C1068 -C1069 -C107 -C1070 -C1071 -C1072 -C1073 -C1074 -C1075 -C1076 -C1077 -C1078 -C1079 -C108 -C1080 -C1081 -C1082 -C1083 -C1084 -C1085 -C1086 -C1087 -C1088 -C1089 -C109 -C1090 -C1091 -C1092 -C1093 -C1094 -C1095 -C1096 -C1097 -C1098 -C1099 -C11 -C110 -C1100 -C1101 -C1102 -C1103 -C1104 -C1105 -C1106 -C1107 -C1108 -C1109 -C111 -C1110 -C1111 -C1112 -C1113 -C1114 -C1115 -C1116 -C1117 -C1118 -C1119 -C112 -C1120 -C1121 -C1122 -C1123 -C1124 -C1125 -C1126 -C1127 -C1128 -C1129 -C113 -C1130 -C1131 -C1132 -C1133 -C1134 -C1135 -C1136 -C1137 -C1138 -C1139 -C114 -C1140 -C1141 -C1142 -C1143 -C1144 -C1145 -C1146 -C1147 -C1148 -C1149 -C115 -C1150 -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 -C946 -C947 -C948 -C949 -C95 -C950 -C951 -C952 -C953 -C954 -C955 -C956 -C957 -C958 -C959 -C96 -C960 -C961 -C962 -C963 -C964 -C965 -C966 -C967 -C968 -C969 -C97 -C970 -C971 -C972 -C973 -C974 -C975 -C976 -C977 -C978 -C979 -C98 -C980 -C981 -C982 -C983 -C984 -C985 -C986 -C987 -C988 -C989 -C99 -C990 -C991 -C992 -C993 -C994 -C995 -C996 -C997 -C998 -C999

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/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21330845 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 373 2 364 364 0 9 0
[pid=8423] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-frb50-23-3.opb

[startup+10.0013 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 15681 0 0 0 960 36 0 0 25 0 1 0 21330845 49676288 10261 4294967295 134512640 135987407 3221224560 3220865084 134635332 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 12128 10261 364 364 0 11764 0
[pid=8423] vsize: 48512
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 48512

[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 52047 0 0 0 1881 111 0 0 25 0 1 0 21330845 162783232 29926 4294967295 134512640 135987407 3221224560 3221048552 134637831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 39742 29926 364 364 0 39378 0
[pid=8423] vsize: 158968
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 158968

[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 68379 0 0 0 2843 147 0 0 25 0 1 0 21330845 205705216 46084 4294967295 134512640 135987407 3221224560 3221222968 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 50221 46084 364 364 0 49857 0
[pid=8423] vsize: 200884
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 200884

[startup+40.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 71636 0 0 0 3817 159 0 0 25 0 1 0 21330845 214204416 47812 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 52296 47812 364 364 0 51932 0
[pid=8423] vsize: 209184
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 209184

[startup+50.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 74503 0 0 0 4805 166 0 0 25 0 1 0 21330845 225169408 49691 4294967295 134512640 135987407 3221224560 3221223116 135500012 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 54973 49697 364 364 0 54609 0
[pid=8423] vsize: 219892
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (Kb) 219892

[startup+60.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 75543 0 0 0 5799 169 0 0 25 0 1 0 21330845 228282368 50177 4294967295 134512640 135987407 3221224560 3221223120 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 55733 50177 364 364 0 55369 0
[pid=8423] vsize: 222932
Current children cumulated CPU time (s) 59.68
Current children cumulated vsize (Kb) 222932

[startup+70.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 75926 0 0 0 6782 176 0 0 25 0 1 0 21330845 230154240 50527 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 56190 50527 364 364 0 55826 0
[pid=8423] vsize: 224760
Current children cumulated CPU time (s) 69.58
Current children cumulated vsize (Kb) 224760

[startup+80.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 76913 0 0 0 7768 181 0 0 25 0 1 0 21330845 230453248 50616 4294967295 134512640 135987407 3221224560 3221223248 134876790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 56263 50616 364 364 0 55899 0
[pid=8423] vsize: 225052
Current children cumulated CPU time (s) 79.49
Current children cumulated vsize (Kb) 225052

[startup+90.0066 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 80096 0 0 0 8752 190 0 0 25 0 1 0 21330845 240427008 52311 4294967295 134512640 135987407 3221224560 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 58698 52311 364 364 0 58334 0
[pid=8423] vsize: 234792
Current children cumulated CPU time (s) 89.42
Current children cumulated vsize (Kb) 234792

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 82119 0 0 0 9730 202 0 0 25 0 1 0 21330845 247205888 53617 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 60353 53617 364 364 0 59989 0
[pid=8423] vsize: 241412
Current children cumulated CPU time (s) 99.32
Current children cumulated vsize (Kb) 241412

[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 83048 0 0 0 10725 205 0 0 25 0 1 0 21330845 250052608 54122 4294967295 134512640 135987407 3221224560 3221223276 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 61048 54122 364 364 0 60684 0
[pid=8423] vsize: 244192
Current children cumulated CPU time (s) 109.3
Current children cumulated vsize (Kb) 244192

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 83157 0 0 0 11723 206 0 0 25 0 1 0 21330845 250454016 54198 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 61146 54198 364 364 0 60782 0
[pid=8423] vsize: 244584
Current children cumulated CPU time (s) 119.29
Current children cumulated vsize (Kb) 244584

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 85666 0 0 0 12713 213 0 0 25 0 1 0 21330845 259121152 55714 4294967295 134512640 135987407 3221224560 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 63262 55714 364 364 0 62898 0
[pid=8423] vsize: 253048
Current children cumulated CPU time (s) 129.26
Current children cumulated vsize (Kb) 253048

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 86973 0 0 0 13709 216 0 0 25 0 1 0 21330845 262938624 56307 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 64194 56307 364 364 0 63830 0
[pid=8423] vsize: 256776
Current children cumulated CPU time (s) 139.25
Current children cumulated vsize (Kb) 256776

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 88269 0 0 0 14706 219 0 0 25 0 1 0 21330845 266903552 56950 4294967295 134512640 135987407 3221224560 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 65162 56950 364 364 0 64798 0
[pid=8423] vsize: 260648
Current children cumulated CPU time (s) 149.25
Current children cumulated vsize (Kb) 260648

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 88490 0 0 0 15704 220 0 0 25 0 1 0 21330845 267427840 57042 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 65290 57042 364 364 0 64926 0
[pid=8423] vsize: 261160
Current children cumulated CPU time (s) 159.24
Current children cumulated vsize (Kb) 261160

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 88539 0 0 0 16702 221 0 0 25 0 1 0 21330845 267694080 57091 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 65355 57091 364 364 0 64991 0
[pid=8423] vsize: 261420
Current children cumulated CPU time (s) 169.23
Current children cumulated vsize (Kb) 261420

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 88739 0 0 0 17700 222 0 0 25 0 1 0 21330845 268218368 57162 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 65483 57162 364 364 0 65119 0
[pid=8423] vsize: 261932
Current children cumulated CPU time (s) 179.22
Current children cumulated vsize (Kb) 261932

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 88752 0 0 0 18699 222 0 0 25 0 1 0 21330845 268218368 57175 4294967295 134512640 135987407 3221224560 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 65483 57175 364 364 0 65119 0
[pid=8423] vsize: 261932
Current children cumulated CPU time (s) 189.21
Current children cumulated vsize (Kb) 261932

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 88763 0 0 0 19698 223 0 0 25 0 1 0 21330845 268218368 57186 4294967295 134512640 135987407 3221224560 3221223120 134811797 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 65483 57186 364 364 0 65119 0
[pid=8423] vsize: 261932
Current children cumulated CPU time (s) 199.21
Current children cumulated vsize (Kb) 261932

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 89832 0 0 0 20694 226 0 0 25 0 1 0 21330845 272420864 58126 4294967295 134512640 135987407 3221224560 3221222792 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 66509 58126 364 364 0 66145 0
[pid=8423] vsize: 266036
Current children cumulated CPU time (s) 209.2
Current children cumulated vsize (Kb) 266036

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 91937 0 0 0 21684 232 0 0 25 0 1 0 21330845 274812928 58384 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 67093 58384 364 364 0 66729 0
[pid=8423] vsize: 268372
Current children cumulated CPU time (s) 219.16
Current children cumulated vsize (Kb) 268372

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 92180 0 0 0 22669 237 0 0 25 0 1 0 21330845 275750912 58498 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 67322 58498 364 364 0 66958 0
[pid=8423] vsize: 269288
Current children cumulated CPU time (s) 229.06
Current children cumulated vsize (Kb) 269288

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 92196 0 0 0 23668 237 0 0 25 0 1 0 21330845 275750912 58514 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 67322 58514 364 364 0 66958 0
[pid=8423] vsize: 269288
Current children cumulated CPU time (s) 239.05
Current children cumulated vsize (Kb) 269288

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 92360 0 0 0 24665 239 0 0 25 0 1 0 21330845 276439040 58549 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 67490 58549 364 364 0 67126 0
[pid=8423] vsize: 269960
Current children cumulated CPU time (s) 249.04
Current children cumulated vsize (Kb) 269960

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 92400 0 0 0 25663 239 0 0 25 0 1 0 21330845 276439040 58589 4294967295 134512640 135987407 3221224560 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 67490 58589 364 364 0 67126 0
[pid=8423] vsize: 269960
Current children cumulated CPU time (s) 259.02
Current children cumulated vsize (Kb) 269960

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 92452 0 0 0 26661 240 0 0 25 0 1 0 21330845 276439040 58641 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 67490 58641 364 364 0 67126 0
[pid=8423] vsize: 269960
Current children cumulated CPU time (s) 269.01
Current children cumulated vsize (Kb) 269960

[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 94029 0 0 0 27645 249 0 0 25 0 1 0 21330845 278761472 59075 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 68057 59075 364 364 0 67693 0
[pid=8423] vsize: 272228
Current children cumulated CPU time (s) 278.94
Current children cumulated vsize (Kb) 272228

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 94654 0 0 0 28626 257 0 0 25 0 1 0 21330845 281427968 59569 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 68708 59569 364 364 0 68344 0
[pid=8423] vsize: 274832
Current children cumulated CPU time (s) 288.83
Current children cumulated vsize (Kb) 274832

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 96240 0 0 0 29619 261 0 0 25 0 1 0 21330845 286060544 60370 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 69839 60370 364 364 0 69475 0
[pid=8423] vsize: 279356
Current children cumulated CPU time (s) 298.8
Current children cumulated vsize (Kb) 279356

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 98045 0 0 0 30611 267 0 0 25 0 1 0 21330845 291405824 61278 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 71144 61278 364 364 0 70780 0
[pid=8423] vsize: 284576
Current children cumulated CPU time (s) 308.78
Current children cumulated vsize (Kb) 284576

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 99085 0 0 0 31606 270 0 0 25 0 1 0 21330845 294309888 61764 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 71853 61764 364 364 0 71489 0
[pid=8423] vsize: 287412
Current children cumulated CPU time (s) 318.76
Current children cumulated vsize (Kb) 287412

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 99606 0 0 0 32603 272 0 0 25 0 1 0 21330845 295895040 62024 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 72240 62024 364 364 0 71876 0
[pid=8423] vsize: 288960
Current children cumulated CPU time (s) 328.75
Current children cumulated vsize (Kb) 288960

[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 99616 0 0 0 33602 272 0 0 25 0 1 0 21330845 295895040 62034 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 72240 62034 364 364 0 71876 0
[pid=8423] vsize: 288960
Current children cumulated CPU time (s) 338.74
Current children cumulated vsize (Kb) 288960

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 99628 0 0 0 34601 272 0 0 25 0 1 0 21330845 295895040 62046 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 72240 62046 364 364 0 71876 0
[pid=8423] vsize: 288960
Current children cumulated CPU time (s) 348.73
Current children cumulated vsize (Kb) 288960

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 99640 0 0 0 35600 273 0 0 25 0 1 0 21330845 295895040 62058 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 72240 62058 364 364 0 71876 0
[pid=8423] vsize: 288960
Current children cumulated CPU time (s) 358.73
Current children cumulated vsize (Kb) 288960

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 99653 0 0 0 36600 273 0 0 25 0 1 0 21330845 295895040 62071 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 72240 62071 364 364 0 71876 0
[pid=8423] vsize: 288960
Current children cumulated CPU time (s) 368.73
Current children cumulated vsize (Kb) 288960

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 99678 0 0 0 37598 273 0 0 25 0 1 0 21330845 295895040 62096 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 72240 62096 364 364 0 71876 0
[pid=8423] vsize: 288960
Current children cumulated CPU time (s) 378.71
Current children cumulated vsize (Kb) 288960

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 99691 0 0 0 38597 274 0 0 25 0 1 0 21330845 295895040 62109 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 72240 62109 364 364 0 71876 0
[pid=8423] vsize: 288960
Current children cumulated CPU time (s) 388.71
Current children cumulated vsize (Kb) 288960

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 101751 0 0 0 39588 280 0 0 25 0 1 0 21330845 300142592 62879 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 73277 62879 364 364 0 72913 0
[pid=8423] vsize: 293108
Current children cumulated CPU time (s) 398.68
Current children cumulated vsize (Kb) 293108

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 102688 0 0 0 40579 284 0 0 25 0 1 0 21330845 303345664 63487 4294967295 134512640 135987407 3221224560 3221223120 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 74059 63487 364 364 0 73695 0
[pid=8423] vsize: 296236
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (Kb) 296236

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 102698 0 0 0 41576 285 0 0 25 0 1 0 21330845 303345664 63497 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 74059 63497 364 364 0 73695 0
[pid=8423] vsize: 296236
Current children cumulated CPU time (s) 418.61
Current children cumulated vsize (Kb) 296236

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 102713 0 0 0 42575 286 0 0 25 0 1 0 21330845 303345664 63512 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 74059 63512 364 364 0 73695 0
[pid=8423] vsize: 296236
Current children cumulated CPU time (s) 428.61
Current children cumulated vsize (Kb) 296236

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 102724 0 0 0 43574 286 0 0 25 0 1 0 21330845 303345664 63523 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 74059 63523 364 364 0 73695 0
[pid=8423] vsize: 296236
Current children cumulated CPU time (s) 438.6
Current children cumulated vsize (Kb) 296236

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 102731 0 0 0 44574 287 0 0 25 0 1 0 21330845 303345664 63530 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 74059 63530 364 364 0 73695 0
[pid=8423] vsize: 296236
Current children cumulated CPU time (s) 448.61
Current children cumulated vsize (Kb) 296236

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 102740 0 0 0 45573 287 0 0 25 0 1 0 21330845 303345664 63539 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 74059 63539 364 364 0 73695 0
[pid=8423] vsize: 296236
Current children cumulated CPU time (s) 458.6
Current children cumulated vsize (Kb) 296236

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 102753 0 0 0 46573 287 0 0 25 0 1 0 21330845 303345664 63552 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 74059 63552 364 364 0 73695 0
[pid=8423] vsize: 296236
Current children cumulated CPU time (s) 468.6
Current children cumulated vsize (Kb) 296236

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 104690 0 0 0 47557 296 0 0 25 0 1 0 21330845 306515968 64072 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 74833 64072 364 364 0 74469 0
[pid=8423] vsize: 299332
Current children cumulated CPU time (s) 478.53
Current children cumulated vsize (Kb) 299332

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 104988 0 0 0 48537 303 0 0 25 0 1 0 21330845 307453952 64304 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 75062 64304 364 364 0 74698 0
[pid=8423] vsize: 300248
Current children cumulated CPU time (s) 488.4
Current children cumulated vsize (Kb) 300248

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 105732 0 0 0 49528 307 0 0 25 0 1 0 21330845 309977088 64689 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 75678 64689 364 364 0 75314 0
[pid=8423] vsize: 302712
Current children cumulated CPU time (s) 498.35
Current children cumulated vsize (Kb) 302712

[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 106327 0 0 0 50522 310 0 0 25 0 1 0 21330845 311558144 64957 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 76064 64957 364 364 0 75700 0
[pid=8423] vsize: 304256
Current children cumulated CPU time (s) 508.32
Current children cumulated vsize (Kb) 304256

[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 106973 0 0 0 51516 312 0 0 25 0 1 0 21330845 313937920 65343 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 76645 65343 364 364 0 76281 0
[pid=8423] vsize: 306580
Current children cumulated CPU time (s) 518.28
Current children cumulated vsize (Kb) 306580

[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107442 0 0 0 52513 314 0 0 25 0 1 0 21330845 315518976 65551 4294967295 134512640 135987407 3221224560 3221222892 135480539 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65551 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 528.27
Current children cumulated vsize (Kb) 308124

[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107449 0 0 0 53511 314 0 0 25 0 1 0 21330845 315518976 65558 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65558 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 538.25
Current children cumulated vsize (Kb) 308124

[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107456 0 0 0 54511 314 0 0 25 0 1 0 21330845 315518976 65565 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65565 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 548.25
Current children cumulated vsize (Kb) 308124

[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107462 0 0 0 55510 315 0 0 25 0 1 0 21330845 315518976 65571 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65571 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 558.25
Current children cumulated vsize (Kb) 308124

[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107471 0 0 0 56509 315 0 0 25 0 1 0 21330845 315518976 65580 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65580 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 568.24
Current children cumulated vsize (Kb) 308124

[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107479 0 0 0 57508 315 0 0 25 0 1 0 21330845 315518976 65588 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65588 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 578.23
Current children cumulated vsize (Kb) 308124

[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107503 0 0 0 58505 317 0 0 25 0 1 0 21330845 315518976 65612 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65612 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 588.22
Current children cumulated vsize (Kb) 308124

[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107518 0 0 0 59505 317 0 0 25 0 1 0 21330845 315518976 65627 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65627 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 598.22
Current children cumulated vsize (Kb) 308124

[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107527 0 0 0 60504 317 0 0 25 0 1 0 21330845 315518976 65636 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65636 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 608.21
Current children cumulated vsize (Kb) 308124

[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 107535 0 0 0 61502 318 0 0 25 0 1 0 21330845 315518976 65644 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77031 65644 364 364 0 76667 0
[pid=8423] vsize: 308124
Current children cumulated CPU time (s) 618.2
Current children cumulated vsize (Kb) 308124

[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 108452 0 0 0 62499 320 0 0 25 0 1 0 21330845 319197184 66561 4294967295 134512640 135987407 3221224560 3221222816 134829282 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77929 66561 364 364 0 77565 0
[pid=8423] vsize: 311716
Current children cumulated CPU time (s) 628.19
Current children cumulated vsize (Kb) 311716

[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 108962 0 0 0 63492 324 0 0 25 0 1 0 21330845 317235200 65945 4294967295 134512640 135987407 3221224560 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77450 65945 364 364 0 77086 0
[pid=8423] vsize: 309800
Current children cumulated CPU time (s) 638.16
Current children cumulated vsize (Kb) 309800

[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 109592 0 0 0 64483 327 0 0 25 0 1 0 21330845 319074304 66186 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 77899 66186 364 364 0 77535 0
[pid=8423] vsize: 311596
Current children cumulated CPU time (s) 648.1
Current children cumulated vsize (Kb) 311596

[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 110041 0 0 0 65479 330 0 0 25 0 1 0 21330845 320393216 66375 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78221 66375 364 364 0 77857 0
[pid=8423] vsize: 312884
Current children cumulated CPU time (s) 658.09
Current children cumulated vsize (Kb) 312884

[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 110212 0 0 0 66477 330 0 0 25 0 1 0 21330845 320786432 66448 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78317 66448 364 364 0 77953 0
[pid=8423] vsize: 313268
Current children cumulated CPU time (s) 668.07
Current children cumulated vsize (Kb) 313268

[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 110213 0 0 0 67477 330 0 0 25 0 1 0 21330845 320786432 66449 4294967295 134512640 135987407 3221224560 3221223248 134824696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78317 66449 364 364 0 77953 0
[pid=8423] vsize: 313268
Current children cumulated CPU time (s) 678.07
Current children cumulated vsize (Kb) 313268

[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 110214 0 0 0 68475 331 0 0 25 0 1 0 21330845 320786432 66450 4294967295 134512640 135987407 3221224560 3221223120 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78317 66450 364 364 0 77953 0
[pid=8423] vsize: 313268
Current children cumulated CPU time (s) 688.06
Current children cumulated vsize (Kb) 313268

[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 110214 0 0 0 69475 331 0 0 25 0 1 0 21330845 320786432 66450 4294967295 134512640 135987407 3221224560 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78317 66450 364 364 0 77953 0
[pid=8423] vsize: 313268
Current children cumulated CPU time (s) 698.06
Current children cumulated vsize (Kb) 313268

[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 110215 0 0 0 70474 332 0 0 25 0 1 0 21330845 320786432 66451 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78317 66451 364 364 0 77953 0
[pid=8423] vsize: 313268
Current children cumulated CPU time (s) 708.06
Current children cumulated vsize (Kb) 313268

[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 110215 0 0 0 71473 332 0 0 25 0 1 0 21330845 320786432 66451 4294967295 134512640 135987407 3221224560 3221223184 134811685 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78317 66451 364 364 0 77953 0
[pid=8423] vsize: 313268
Current children cumulated CPU time (s) 718.05
Current children cumulated vsize (Kb) 313268

[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 110216 0 0 0 72473 332 0 0 25 0 1 0 21330845 320786432 66452 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78317 66452 364 364 0 77953 0
[pid=8423] vsize: 313268
Current children cumulated CPU time (s) 728.05
Current children cumulated vsize (Kb) 313268

[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 111621 0 0 0 73468 336 0 0 25 0 1 0 21330845 322101248 66667 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78638 66667 364 364 0 78274 0
[pid=8423] vsize: 314552
Current children cumulated CPU time (s) 738.04
Current children cumulated vsize (Kb) 314552

[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 111797 0 0 0 74460 339 0 0 25 0 1 0 21330845 322633728 66777 4294967295 134512640 135987407 3221224560 3221223216 134812293 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78768 66777 364 364 0 78404 0
[pid=8423] vsize: 315072
Current children cumulated CPU time (s) 747.99
Current children cumulated vsize (Kb) 315072

[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 111840 0 0 0 75455 341 0 0 25 0 1 0 21330845 322768896 66820 4294967295 134512640 135987407 3221224560 3221223120 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78801 66820 364 364 0 78437 0
[pid=8423] vsize: 315204
Current children cumulated CPU time (s) 757.96
Current children cumulated vsize (Kb) 315204

[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 111841 0 0 0 76452 342 0 0 25 0 1 0 21330845 322768896 66821 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78801 66821 364 364 0 78437 0
[pid=8423] vsize: 315204
Current children cumulated CPU time (s) 767.94
Current children cumulated vsize (Kb) 315204

[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 111841 0 0 0 77452 342 0 0 25 0 1 0 21330845 322768896 66821 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78801 66821 364 364 0 78437 0
[pid=8423] vsize: 315204
Current children cumulated CPU time (s) 777.94
Current children cumulated vsize (Kb) 315204

[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 111842 0 0 0 78450 342 0 0 25 0 1 0 21330845 322768896 66822 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78801 66822 364 364 0 78437 0
[pid=8423] vsize: 315204
Current children cumulated CPU time (s) 787.92
Current children cumulated vsize (Kb) 315204

[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 111843 0 0 0 79446 344 0 0 25 0 1 0 21330845 322768896 66823 4294967295 134512640 135987407 3221224560 3221223120 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78801 66823 364 364 0 78437 0
[pid=8423] vsize: 315204
Current children cumulated CPU time (s) 797.9
Current children cumulated vsize (Kb) 315204

[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 112742 0 0 0 80440 347 0 0 25 0 1 0 21330845 322768896 66824 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78801 66824 364 364 0 78437 0
[pid=8423] vsize: 315204
Current children cumulated CPU time (s) 807.87
Current children cumulated vsize (Kb) 315204

[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 112818 0 0 0 81437 348 0 0 25 0 1 0 21330845 322899968 66867 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 78833 66867 364 364 0 78469 0
[pid=8423] vsize: 315332
Current children cumulated CPU time (s) 817.85
Current children cumulated vsize (Kb) 315332

[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 113650 0 0 0 82433 351 0 0 25 0 1 0 21330845 324997120 67180 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 79345 67180 364 364 0 78981 0
[pid=8423] vsize: 317380
Current children cumulated CPU time (s) 827.84
Current children cumulated vsize (Kb) 317380

[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 114282 0 0 0 83430 353 0 0 25 0 1 0 21330845 326709248 67518 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 79763 67518 364 364 0 79399 0
[pid=8423] vsize: 319052
Current children cumulated CPU time (s) 837.83
Current children cumulated vsize (Kb) 319052

[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 114774 0 0 0 84424 355 0 0 25 0 1 0 21330845 328028160 67749 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 80085 67749 364 364 0 79721 0
[pid=8423] vsize: 320340
Current children cumulated CPU time (s) 847.79
Current children cumulated vsize (Kb) 320340

[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 114778 0 0 0 85420 356 0 0 25 0 1 0 21330845 328028160 67753 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 80085 67753 364 364 0 79721 0
[pid=8423] vsize: 320340
Current children cumulated CPU time (s) 857.76
Current children cumulated vsize (Kb) 320340

[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115202 0 0 0 86416 358 0 0 25 0 1 0 21330845 328945664 67948 4294967295 134512640 135987407 3221224560 3221223024 134775415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 80309 67948 364 364 0 79945 0
[pid=8423] vsize: 321236
Current children cumulated CPU time (s) 867.74
Current children cumulated vsize (Kb) 321236

[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115203 0 0 0 87416 358 0 0 25 0 1 0 21330845 328945664 67949 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 80309 67949 364 364 0 79945 0
[pid=8423] vsize: 321236
Current children cumulated CPU time (s) 877.74
Current children cumulated vsize (Kb) 321236

[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115204 0 0 0 88416 358 0 0 25 0 1 0 21330845 328945664 67950 4294967295 134512640 135987407 3221224560 3221223120 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 80309 67950 364 364 0 79945 0
[pid=8423] vsize: 321236
Current children cumulated CPU time (s) 887.74
Current children cumulated vsize (Kb) 321236

[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115204 0 0 0 89414 359 0 0 25 0 1 0 21330845 328945664 67950 4294967295 134512640 135987407 3221224560 3221223216 134812293 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 80309 67950 364 364 0 79945 0
[pid=8423] vsize: 321236
Current children cumulated CPU time (s) 897.73
Current children cumulated vsize (Kb) 321236

[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115205 0 0 0 90414 359 0 0 25 0 1 0 21330845 328945664 67951 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 80309 67951 364 364 0 79945 0
[pid=8423] vsize: 321236
Current children cumulated CPU time (s) 907.73
Current children cumulated vsize (Kb) 321236

[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115362 0 0 0 91412 360 0 0 25 0 1 0 21330845 329474048 68043 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 80438 68043 364 364 0 80074 0
[pid=8423] vsize: 321752
Current children cumulated CPU time (s) 917.72
Current children cumulated vsize (Kb) 321752

[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115729 0 0 0 92408 361 0 0 25 0 1 0 21330845 330260480 68215 4294967295 134512640 135987407 3221224560 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80630 68215 364 364 0 80266 0
[pid=8423] vsize: 322520
Current children cumulated CPU time (s) 927.69
Current children cumulated vsize (Kb) 322520

[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115907 0 0 0 93406 362 0 0 25 0 1 0 21330845 330784768 68264 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80758 68264 364 364 0 80394 0
[pid=8423] vsize: 323032
Current children cumulated CPU time (s) 937.68
Current children cumulated vsize (Kb) 323032

[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115908 0 0 0 94405 362 0 0 25 0 1 0 21330845 330784768 68265 4294967295 134512640 135987407 3221224560 3221223248 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80758 68265 364 364 0 80394 0
[pid=8423] vsize: 323032
Current children cumulated CPU time (s) 947.67
Current children cumulated vsize (Kb) 323032

[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115909 0 0 0 95404 363 0 0 25 0 1 0 21330845 330784768 68266 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80758 68266 364 364 0 80394 0
[pid=8423] vsize: 323032
Current children cumulated CPU time (s) 957.67
Current children cumulated vsize (Kb) 323032

[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115910 0 0 0 96404 363 0 0 25 0 1 0 21330845 330784768 68267 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80758 68267 364 364 0 80394 0
[pid=8423] vsize: 323032
Current children cumulated CPU time (s) 967.67
Current children cumulated vsize (Kb) 323032

[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115910 0 0 0 97403 363 0 0 25 0 1 0 21330845 330784768 68267 4294967295 134512640 135987407 3221224560 3221223120 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80758 68267 364 364 0 80394 0
[pid=8423] vsize: 323032
Current children cumulated CPU time (s) 977.66
Current children cumulated vsize (Kb) 323032

[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115911 0 0 0 98403 363 0 0 25 0 1 0 21330845 330784768 68268 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80758 68268 364 364 0 80394 0
[pid=8423] vsize: 323032
Current children cumulated CPU time (s) 987.66
Current children cumulated vsize (Kb) 323032

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115911 0 0 0 99402 364 0 0 25 0 1 0 21330845 330784768 68268 4294967295 134512640 135987407 3221224560 3221223120 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80758 68268 364 364 0 80394 0
[pid=8423] vsize: 323032
Current children cumulated CPU time (s) 997.66
Current children cumulated vsize (Kb) 323032

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 115912 0 0 0 100401 365 0 0 25 0 1 0 21330845 330784768 68269 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80758 68269 364 364 0 80394 0
[pid=8423] vsize: 323032
Current children cumulated CPU time (s) 1007.66
Current children cumulated vsize (Kb) 323032

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 117116 0 0 0 101395 369 0 0 25 0 1 0 21330845 331706368 68477 4294967295 134512640 135987407 3221224560 3221223172 135478563 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8423/statm): 80983 68477 364 364 0 80619 0
[pid=8423] vsize: 323932
Current children cumulated CPU time (s) 1017.64
Current children cumulated vsize (Kb) 323932

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 117439 0 0 0 102391 370 0 0 25 0 1 0 21330845 332505088 68702 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81178 68702 364 364 0 80814 0
[pid=8423] vsize: 324712
Current children cumulated CPU time (s) 1027.61
Current children cumulated vsize (Kb) 324712

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 117531 0 0 0 103387 372 0 0 25 0 1 0 21330845 332771328 68761 4294967295 134512640 135987407 3221224560 3221222960 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68761 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1037.59
Current children cumulated vsize (Kb) 324972

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 117532 0 0 0 104386 373 0 0 25 0 1 0 21330845 332771328 68762 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68762 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1047.59
Current children cumulated vsize (Kb) 324972

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 117532 0 0 0 105385 373 0 0 25 0 1 0 21330845 332771328 68762 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68762 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1057.58
Current children cumulated vsize (Kb) 324972

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 117533 0 0 0 106384 373 0 0 25 0 1 0 21330845 332771328 68763 4294967295 134512640 135987407 3221224560 3221223248 134824216 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68763 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1067.57
Current children cumulated vsize (Kb) 324972

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 117534 0 0 0 107383 374 0 0 25 0 1 0 21330845 332771328 68764 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68764 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1077.57
Current children cumulated vsize (Kb) 324972

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118432 0 0 0 108381 376 0 0 25 0 1 0 21330845 332771328 68764 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68764 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1087.57
Current children cumulated vsize (Kb) 324972

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118441 0 0 0 109378 377 0 0 25 0 1 0 21330845 332771328 68773 4294967295 134512640 135987407 3221224560 3221223276 134812764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68773 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1097.55
Current children cumulated vsize (Kb) 324972

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118449 0 0 0 110377 378 0 0 25 0 1 0 21330845 332771328 68781 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68781 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1107.55
Current children cumulated vsize (Kb) 324972

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118458 0 0 0 111376 378 0 0 25 0 1 0 21330845 332771328 68790 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68790 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1117.54
Current children cumulated vsize (Kb) 324972

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118465 0 0 0 112375 378 0 0 25 0 1 0 21330845 332771328 68797 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68797 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1127.53
Current children cumulated vsize (Kb) 324972

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118471 0 0 0 113375 378 0 0 25 0 1 0 21330845 332771328 68803 4294967295 134512640 135987407 3221224560 3221223200 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68803 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1137.53
Current children cumulated vsize (Kb) 324972

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118479 0 0 0 114374 378 0 0 25 0 1 0 21330845 332771328 68811 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68811 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1147.52
Current children cumulated vsize (Kb) 324972

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118486 0 0 0 115374 379 0 0 25 0 1 0 21330845 332771328 68818 4294967295 134512640 135987407 3221224560 3221223248 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68818 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1157.53
Current children cumulated vsize (Kb) 324972

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118492 0 0 0 116373 379 0 0 25 0 1 0 21330845 332771328 68824 4294967295 134512640 135987407 3221224560 3221223120 134812035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68824 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1167.52
Current children cumulated vsize (Kb) 324972

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118501 0 0 0 117372 380 0 0 25 0 1 0 21330845 332771328 68833 4294967295 134512640 135987407 3221224560 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68833 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1177.52
Current children cumulated vsize (Kb) 324972

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118510 0 0 0 118371 380 0 0 25 0 1 0 21330845 332771328 68842 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68842 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1187.51
Current children cumulated vsize (Kb) 324972

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 118518 0 0 0 119370 380 0 0 25 0 1 0 21330845 332771328 68850 4294967295 134512640 135987407 3221224560 3221223120 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68850 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1197.5
Current children cumulated vsize (Kb) 324972

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 119418 0 0 0 120367 383 0 0 25 0 1 0 21330845 332771328 68852 4294967295 134512640 135987407 3221224560 3221223248 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68852 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1207.5
Current children cumulated vsize (Kb) 324972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8423
Raw data (/proc/8423/stat): 8423 (pb2sat) R 8422 8423 4060 0 -1 0 119418 0 0 0 120368 383 0 0 25 0 1 0 21330845 332771328 68852 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8423/statm): 81243 68852 364 364 0 80879 0
[pid=8423] vsize: 324972
Current children cumulated CPU time (s) 1207.51
Current children cumulated vsize (Kb) 324972

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

Child status: 10
Real time (s): 1210.96
CPU time (s): 1208.41
CPU user time (s): 1204.44
CPU system time (s): 3.9764
CPU usage (%): 99.7894
Max. virtual memory (cumulated for all children) (Kb): 324972

Verifier Data

Verifier:	OK	0