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/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM20fc65112f36a5d10cc9eaa82c0beb63
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of terms in the objective function 1272
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 1272
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 1272
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 benchmark1207.03
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
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 9841

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        935596 kB
Buffers:         11468 kB
Cached:          70472 kB
SwapCached:          0 kB
Active:          45860 kB
Inactive:        38960 kB
HighTotal:      131008 kB
HighFree:        56280 kB
LowTotal:       903652 kB
LowFree:        879316 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8612 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:59:04 (client local time) WITH STATUS 10 IN 1209.54 SECONDS
stats: 8570 0 1209.54 10

Solver Data

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

c Decision: 3310/522244	Time: 594.451/86400
c Decision: 15001/522244	Time: 728.459/86400
c Decision: 43759/522244	Time: 917.012/86400
c Decision: 56884/522244	Time: 1052.85/86400
c Decision: 56884/522244	Time: 1125.66/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 -C1151 -C1152 -C1153 -C1154 -C1155 -C1156 -C1157 -C1158 -C1159 -C116 -C1160 -C1161 -C1162 -C1163 -C1164 -C1165 -C1166 -C1167 -C1168 -C1169 -C117 -C1170 -C1171 -C1172 -C1173 -C1174 -C1175 -C1176 -C1177 -C1178 -C1179 -C118 -C1180 -C1181 -C1182 -C1183 -C1184 -C1185 -C1186 -C1187 -C1188 -C1189 -C119 -C1190 -C1191 -C1192 -C1193 -C1194 -C1195 -C1196 -C1197 -C1198 -C1199 -C12 -C120 -C1200 -C1201 -C1202 -C1203 -C1204 -C1205 -C1206 -C1207 -C1208 -C1209 -C121 -C1210 -C1211 -C1212 -C1213 -C1214 -C1215 -C1216 -C1217 -C1218 -C1219 -C122 -C1220 -C1221 -C1222 -C1223 -C1224 -C1225 -C1226 -C1227 -C1228 -C1229 -C123 -C1230 -C1231 -C1232 -C1233 -C1234 -C1235 -C1236 -C1237 -C1238 -C1239 -C124 -C1240 -C1241 -C1242 -C1243 -C1244 -C1245 -C1246 -C1247 -C1248 -C1249 -C125 -C1250 -C1251 -C1252 -C1253 -C1254 -C1255 -C1256 -C1257 -C1258 -C1259 -C126 -C1260 -C1261 -C1262 -C1263 -C1264 -C1265 -C1266 -C1267 -C1268 -C1269 -C127 -C1270 -C1271 -C1272 -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/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21294845 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 373 2 364 364 0 9 0
[pid=8242] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-frb53-24-1.opb

[startup+10.0021 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 14084 0 0 0 960 37 0 0 25 0 1 0 21294845 47841280 8685 4294967295 134512640 135987407 3221224560 3221008512 134640427 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 11680 8685 364 364 0 11316 0
[pid=8242] vsize: 46720
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 46720

[startup+20.0028 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 50569 0 0 0 1871 124 0 0 25 0 1 0 21294845 178405376 33076 4294967295 134512640 135987407 3221224560 3220989648 134861401 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 43556 33076 364 364 0 43192 0
[pid=8242] vsize: 174224
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 174224

[startup+30.0035 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 68302 0 0 0 2829 163 0 0 25 0 1 0 21294845 200568832 45987 4294967295 134512640 135987407 3221224560 3221108336 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 48967 45987 364 364 0 48603 0
[pid=8242] vsize: 195868
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 195868

[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 89130 0 0 0 3772 215 0 0 25 0 1 0 21294845 271638528 53252 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 66318 53252 364 364 0 65954 0
[pid=8242] vsize: 265272
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 265272

[startup+50.0039 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 91763 0 0 0 4760 221 0 0 25 0 1 0 21294845 280981504 54849 4294967295 134512640 135987407 3221224560 3221222992 134788476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 68599 54849 364 364 0 68235 0
[pid=8242] vsize: 274396
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (Kb) 274396

[startup+60.0046 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 94332 0 0 0 5752 228 0 0 25 0 1 0 21294845 289898496 56298 4294967295 134512640 135987407 3221224560 3221223120 134812129 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 70776 56298 364 364 0 70412 0
[pid=8242] vsize: 283104
Current children cumulated CPU time (s) 59.8
Current children cumulated vsize (Kb) 283104

[startup+70.0042 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 97295 0 0 0 6742 234 0 0 25 0 1 0 21294845 298614784 57663 4294967295 134512640 135987407 3221224560 3221223016 135486713 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 72904 57663 364 364 0 72540 0
[pid=8242] vsize: 291616
Current children cumulated CPU time (s) 69.76
Current children cumulated vsize (Kb) 291616

[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 98074 0 0 0 7737 236 0 0 25 0 1 0 21294845 301142016 58115 4294967295 134512640 135987407 3221224560 3221223296 134812600 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 73521 58115 364 364 0 73157 0
[pid=8242] vsize: 294084
Current children cumulated CPU time (s) 79.73
Current children cumulated vsize (Kb) 294084

[startup+90.0046 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 98378 0 0 0 8729 240 0 0 25 0 1 0 21294845 302272512 58257 4294967295 134512640 135987407 3221224560 3221223120 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 73797 58257 364 364 0 73433 0
[pid=8242] vsize: 295188
Current children cumulated CPU time (s) 89.69
Current children cumulated vsize (Kb) 295188

[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 98666 0 0 0 9724 242 0 0 25 0 1 0 21294845 303554560 58512 4294967295 134512640 135987407 3221224560 3221223184 134811685 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 74110 58512 364 364 0 73746 0
[pid=8242] vsize: 296440
Current children cumulated CPU time (s) 99.66
Current children cumulated vsize (Kb) 296440

[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 98863 0 0 0 10722 243 0 0 25 0 1 0 21294845 304078848 58580 4294967295 134512640 135987407 3221224560 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 74238 58580 364 364 0 73874 0
[pid=8242] vsize: 296952
Current children cumulated CPU time (s) 109.65
Current children cumulated vsize (Kb) 296952

[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 98889 0 0 0 11719 244 0 0 25 0 1 0 21294845 304078848 58606 4294967295 134512640 135987407 3221224560 3221223120 134788835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 74238 58606 364 364 0 73874 0
[pid=8242] vsize: 296952
Current children cumulated CPU time (s) 119.63
Current children cumulated vsize (Kb) 296952

[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 98913 0 0 0 12718 245 0 0 25 0 1 0 21294845 304078848 58630 4294967295 134512640 135987407 3221224560 3221223216 134812406 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 74238 58630 364 364 0 73874 0
[pid=8242] vsize: 296952
Current children cumulated CPU time (s) 129.63
Current children cumulated vsize (Kb) 296952

[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 98990 0 0 0 13716 246 0 0 25 0 1 0 21294845 304214016 58707 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 74271 58707 364 364 0 73907 0
[pid=8242] vsize: 297084
Current children cumulated CPU time (s) 139.62
Current children cumulated vsize (Kb) 297084

[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 99016 0 0 0 14715 247 0 0 25 0 1 0 21294845 304214016 58733 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 74271 58733 364 364 0 73907 0
[pid=8242] vsize: 297084
Current children cumulated CPU time (s) 149.62
Current children cumulated vsize (Kb) 297084

[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 99160 0 0 0 15714 247 0 0 25 0 1 0 21294845 304738304 58748 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 74399 58748 364 364 0 74035 0
[pid=8242] vsize: 297596
Current children cumulated CPU time (s) 159.61
Current children cumulated vsize (Kb) 297596

[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 99175 0 0 0 16713 247 0 0 25 0 1 0 21294845 304738304 58763 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 74399 58763 364 364 0 74035 0
[pid=8242] vsize: 297596
Current children cumulated CPU time (s) 169.6
Current children cumulated vsize (Kb) 297596

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 99705 0 0 0 17710 249 0 0 25 0 1 0 21294845 306642944 59129 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 74864 59129 364 364 0 74500 0
[pid=8242] vsize: 299456
Current children cumulated CPU time (s) 179.59
Current children cumulated vsize (Kb) 299456

[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 100318 0 0 0 18706 251 0 0 25 0 1 0 21294845 308498432 59448 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 75317 59448 364 364 0 74953 0
[pid=8242] vsize: 301268
Current children cumulated CPU time (s) 189.57
Current children cumulated vsize (Kb) 301268

[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 100325 0 0 0 19706 252 0 0 25 0 1 0 21294845 308498432 59455 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 75317 59455 364 364 0 74953 0
[pid=8242] vsize: 301268
Current children cumulated CPU time (s) 199.58
Current children cumulated vsize (Kb) 301268

[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 100330 0 0 0 20704 252 0 0 25 0 1 0 21294845 308498432 59460 4294967295 134512640 135987407 3221224560 3221223120 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 75317 59460 364 364 0 74953 0
[pid=8242] vsize: 301268
Current children cumulated CPU time (s) 209.56
Current children cumulated vsize (Kb) 301268

[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 100589 0 0 0 21701 254 0 0 25 0 1 0 21294845 309223424 59621 4294967295 134512640 135987407 3221224560 3221223120 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 75494 59621 364 364 0 75130 0
[pid=8242] vsize: 301976
Current children cumulated CPU time (s) 219.55
Current children cumulated vsize (Kb) 301976

[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101049 0 0 0 22700 255 0 0 25 0 1 0 21294845 310542336 59885 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 75816 59885 364 364 0 75452 0
[pid=8242] vsize: 303264
Current children cumulated CPU time (s) 229.55
Current children cumulated vsize (Kb) 303264

[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101581 0 0 0 23696 257 0 0 25 0 1 0 21294845 312254464 60124 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60124 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 239.53
Current children cumulated vsize (Kb) 304936

[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101587 0 0 0 24695 258 0 0 25 0 1 0 21294845 312254464 60130 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60130 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 249.53
Current children cumulated vsize (Kb) 304936

[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101598 0 0 0 25695 258 0 0 25 0 1 0 21294845 312254464 60141 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60141 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 259.53
Current children cumulated vsize (Kb) 304936

[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101605 0 0 0 26695 258 0 0 25 0 1 0 21294845 312254464 60148 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60148 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 269.53
Current children cumulated vsize (Kb) 304936

[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101610 0 0 0 27693 259 0 0 25 0 1 0 21294845 312254464 60153 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60153 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (Kb) 304936

[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101616 0 0 0 28692 260 0 0 25 0 1 0 21294845 312254464 60159 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60159 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 289.52
Current children cumulated vsize (Kb) 304936

[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101620 0 0 0 29691 260 0 0 25 0 1 0 21294845 312254464 60163 4294967295 134512640 135987407 3221224560 3221223120 134811867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60163 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 299.51
Current children cumulated vsize (Kb) 304936

[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101626 0 0 0 30690 260 0 0 25 0 1 0 21294845 312254464 60169 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60169 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 309.5
Current children cumulated vsize (Kb) 304936

[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101633 0 0 0 31690 261 0 0 25 0 1 0 21294845 312254464 60176 4294967295 134512640 135987407 3221224560 3221223280 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60176 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 319.51
Current children cumulated vsize (Kb) 304936

[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101638 0 0 0 32689 261 0 0 25 0 1 0 21294845 312254464 60181 4294967295 134512640 135987407 3221224560 3221223120 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60181 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 329.5
Current children cumulated vsize (Kb) 304936

[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101645 0 0 0 33687 261 0 0 25 0 1 0 21294845 312254464 60188 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60188 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 339.48
Current children cumulated vsize (Kb) 304936

[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101651 0 0 0 34686 262 0 0 25 0 1 0 21294845 312254464 60194 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60194 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 349.48
Current children cumulated vsize (Kb) 304936

[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101659 0 0 0 35685 262 0 0 25 0 1 0 21294845 312254464 60202 4294967295 134512640 135987407 3221224560 3221223248 134824240 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60202 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 359.47
Current children cumulated vsize (Kb) 304936

[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101669 0 0 0 36685 262 0 0 25 0 1 0 21294845 312254464 60212 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60212 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 369.47
Current children cumulated vsize (Kb) 304936

[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101683 0 0 0 37684 263 0 0 25 0 1 0 21294845 312254464 60226 4294967295 134512640 135987407 3221224560 3221223184 134801220 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60226 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 379.47
Current children cumulated vsize (Kb) 304936

[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101696 0 0 0 38684 263 0 0 25 0 1 0 21294845 312254464 60239 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60239 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 389.47
Current children cumulated vsize (Kb) 304936

[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101703 0 0 0 39683 263 0 0 25 0 1 0 21294845 312254464 60246 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60246 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 399.46
Current children cumulated vsize (Kb) 304936

[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101716 0 0 0 40682 264 0 0 25 0 1 0 21294845 312254464 60259 4294967295 134512640 135987407 3221224560 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60259 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 409.46
Current children cumulated vsize (Kb) 304936

[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101724 0 0 0 41681 264 0 0 25 0 1 0 21294845 312254464 60267 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60267 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 419.45
Current children cumulated vsize (Kb) 304936

[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101737 0 0 0 42681 264 0 0 25 0 1 0 21294845 312254464 60280 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60280 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 429.45
Current children cumulated vsize (Kb) 304936

[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101748 0 0 0 43680 264 0 0 25 0 1 0 21294845 312254464 60291 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60291 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 439.44
Current children cumulated vsize (Kb) 304936

[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101759 0 0 0 44679 265 0 0 25 0 1 0 21294845 312254464 60302 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60302 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 449.44
Current children cumulated vsize (Kb) 304936

[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101771 0 0 0 45679 265 0 0 25 0 1 0 21294845 312254464 60314 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60314 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 459.44
Current children cumulated vsize (Kb) 304936

[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101779 0 0 0 46678 265 0 0 25 0 1 0 21294845 312254464 60322 4294967295 134512640 135987407 3221224560 3221223120 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60322 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 469.43
Current children cumulated vsize (Kb) 304936

[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101797 0 0 0 47678 266 0 0 25 0 1 0 21294845 312254464 60340 4294967295 134512640 135987407 3221224560 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60340 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 479.44
Current children cumulated vsize (Kb) 304936

[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101811 0 0 0 48677 266 0 0 25 0 1 0 21294845 312254464 60354 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60354 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 489.43
Current children cumulated vsize (Kb) 304936

[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101836 0 0 0 49676 266 0 0 25 0 1 0 21294845 312254464 60379 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60379 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 499.42
Current children cumulated vsize (Kb) 304936

[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 101886 0 0 0 50676 266 0 0 25 0 1 0 21294845 312254464 60429 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76234 60429 364 364 0 75870 0
[pid=8242] vsize: 304936
Current children cumulated CPU time (s) 509.42
Current children cumulated vsize (Kb) 304936

[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 102166 0 0 0 51675 267 0 0 25 0 1 0 21294845 313303040 60452 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76490 60452 364 364 0 76126 0
[pid=8242] vsize: 305960
Current children cumulated CPU time (s) 519.42
Current children cumulated vsize (Kb) 305960

[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 102670 0 0 0 52673 268 0 0 25 0 1 0 21294845 314486784 60746 4294967295 134512640 135987407 3221224560 3221223120 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 76779 60746 364 364 0 76415 0
[pid=8242] vsize: 307116
Current children cumulated CPU time (s) 529.41
Current children cumulated vsize (Kb) 307116

[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 103999 0 0 0 53670 271 0 0 25 0 1 0 21294845 318177280 61327 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 77680 61327 364 364 0 77316 0
[pid=8242] vsize: 310720
Current children cumulated CPU time (s) 539.41
Current children cumulated vsize (Kb) 310720

[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 104051 0 0 0 54669 271 0 0 25 0 1 0 21294845 318177280 61379 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 77680 61379 364 364 0 77316 0
[pid=8242] vsize: 310720
Current children cumulated CPU time (s) 549.4
Current children cumulated vsize (Kb) 310720

[startup+560.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 104280 0 0 0 55668 272 0 0 25 0 1 0 21294845 318922752 61548 4294967295 134512640 135987407 3221224560 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 77862 61548 364 364 0 77498 0
[pid=8242] vsize: 311448
Current children cumulated CPU time (s) 559.4
Current children cumulated vsize (Kb) 311448

[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 104543 0 0 0 56667 273 0 0 25 0 1 0 21294845 319631360 61722 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 78035 61722 364 364 0 77671 0
[pid=8242] vsize: 312140
Current children cumulated CPU time (s) 569.4
Current children cumulated vsize (Kb) 312140

[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 104567 0 0 0 57666 273 0 0 25 0 1 0 21294845 319631360 61746 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 78035 61746 364 364 0 77671 0
[pid=8242] vsize: 312140
Current children cumulated CPU time (s) 579.39
Current children cumulated vsize (Kb) 312140

[startup+590.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 104756 0 0 0 58665 274 0 0 25 0 1 0 21294845 320290816 61806 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 78196 61806 364 364 0 77832 0
[pid=8242] vsize: 312784
Current children cumulated CPU time (s) 589.39
Current children cumulated vsize (Kb) 312784

[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 104779 0 0 0 59663 274 0 0 25 0 1 0 21294845 320290816 61829 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 78196 61829 364 364 0 77832 0
[pid=8242] vsize: 312784
Current children cumulated CPU time (s) 599.37
Current children cumulated vsize (Kb) 312784

[startup+610.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 104953 0 0 0 60662 275 0 0 25 0 1 0 21294845 320950272 61874 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 78357 61874 364 364 0 77993 0
[pid=8242] vsize: 313428
Current children cumulated CPU time (s) 609.37
Current children cumulated vsize (Kb) 313428

[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 104962 0 0 0 61661 275 0 0 25 0 1 0 21294845 320950272 61883 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 78357 61883 364 364 0 77993 0
[pid=8242] vsize: 313428
Current children cumulated CPU time (s) 619.36
Current children cumulated vsize (Kb) 313428

[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 107103 0 0 0 62656 280 0 0 25 0 1 0 21294845 324141056 62490 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 79136 62490 364 364 0 78772 0
[pid=8242] vsize: 316544
Current children cumulated CPU time (s) 629.36
Current children cumulated vsize (Kb) 316544

[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 108830 0 0 0 63644 287 0 0 25 0 1 0 21294845 330280960 63614 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 80635 63614 364 364 0 80271 0
[pid=8242] vsize: 322540
Current children cumulated CPU time (s) 639.31
Current children cumulated vsize (Kb) 322540

[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 110265 0 0 0 64634 292 0 0 25 0 1 0 21294845 334729216 64428 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8242/statm): 81721 64428 364 364 0 81357 0
[pid=8242] vsize: 326884
Current children cumulated CPU time (s) 649.26
Current children cumulated vsize (Kb) 326884

[startup+660.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 111108 0 0 0 65627 296 0 0 25 0 1 0 21294845 337506304 64880 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 82399 64880 364 364 0 82035 0
[pid=8242] vsize: 329596
Current children cumulated CPU time (s) 659.23
Current children cumulated vsize (Kb) 329596

[startup+670.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 111789 0 0 0 66624 298 0 0 25 0 1 0 21294845 339890176 65301 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 82981 65301 364 364 0 82617 0
[pid=8242] vsize: 331924
Current children cumulated CPU time (s) 669.22
Current children cumulated vsize (Kb) 331924

[startup+680.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 112048 0 0 0 67623 299 0 0 25 0 1 0 21294845 340688896 65560 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 83176 65560 364 364 0 82812 0
[pid=8242] vsize: 332704
Current children cumulated CPU time (s) 679.22
Current children cumulated vsize (Kb) 332704

[startup+690.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 112062 0 0 0 68622 299 0 0 25 0 1 0 21294845 340688896 65574 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 83176 65574 364 364 0 82812 0
[pid=8242] vsize: 332704
Current children cumulated CPU time (s) 689.21
Current children cumulated vsize (Kb) 332704

[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 112088 0 0 0 69621 299 0 0 25 0 1 0 21294845 340688896 65600 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 83176 65600 364 364 0 82812 0
[pid=8242] vsize: 332704
Current children cumulated CPU time (s) 699.2
Current children cumulated vsize (Kb) 332704

[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 112116 0 0 0 70621 300 0 0 25 0 1 0 21294845 340688896 65628 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 83176 65628 364 364 0 82812 0
[pid=8242] vsize: 332704
Current children cumulated CPU time (s) 709.21
Current children cumulated vsize (Kb) 332704

[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 112133 0 0 0 71620 300 0 0 25 0 1 0 21294845 340688896 65645 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 83176 65645 364 364 0 82812 0
[pid=8242] vsize: 332704
Current children cumulated CPU time (s) 719.2
Current children cumulated vsize (Kb) 332704

[startup+730.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 112157 0 0 0 72619 301 0 0 25 0 1 0 21294845 340688896 65669 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 83176 65669 364 364 0 82812 0
[pid=8242] vsize: 332704
Current children cumulated CPU time (s) 729.2
Current children cumulated vsize (Kb) 332704

[startup+740.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 112479 0 0 0 73618 302 0 0 25 0 1 0 21294845 341737472 65734 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 83432 65734 364 364 0 83068 0
[pid=8242] vsize: 333728
Current children cumulated CPU time (s) 739.2
Current children cumulated vsize (Kb) 333728

[startup+750.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 112479 0 0 0 74617 302 0 0 25 0 1 0 21294845 341737472 65734 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 83432 65734 364 364 0 83068 0
[pid=8242] vsize: 333728
Current children cumulated CPU time (s) 749.19
Current children cumulated vsize (Kb) 333728

[startup+760.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 112480 0 0 0 75617 302 0 0 25 0 1 0 21294845 341737472 65735 4294967295 134512640 135987407 3221224560 3221223120 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 83432 65735 364 364 0 83068 0
[pid=8242] vsize: 333728
Current children cumulated CPU time (s) 759.19
Current children cumulated vsize (Kb) 333728

[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 114512 0 0 0 76608 308 0 0 25 0 1 0 21294845 344637440 66161 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84140 66161 364 364 0 83776 0
[pid=8242] vsize: 336560
Current children cumulated CPU time (s) 769.16
Current children cumulated vsize (Kb) 336560

[startup+780.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 114709 0 0 0 77601 311 0 0 25 0 1 0 21294845 345665536 66358 4294967295 134512640 135987407 3221224560 3221223000 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84391 66358 364 364 0 84027 0
[pid=8242] vsize: 337564
Current children cumulated CPU time (s) 779.12
Current children cumulated vsize (Kb) 337564

[startup+790.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 115073 0 0 0 78591 314 0 0 25 0 1 0 21294845 346583040 66494 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84615 66494 364 364 0 84251 0
[pid=8242] vsize: 338460
Current children cumulated CPU time (s) 789.05
Current children cumulated vsize (Kb) 338460

[startup+800.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 115094 0 0 0 79585 316 0 0 25 0 1 0 21294845 346718208 66515 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84648 66515 364 364 0 84284 0
[pid=8242] vsize: 338592
Current children cumulated CPU time (s) 799.01
Current children cumulated vsize (Kb) 338592

[startup+810.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 115288 0 0 0 80583 317 0 0 25 0 1 0 21294845 347115520 66644 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84745 66644 364 364 0 84381 0
[pid=8242] vsize: 338980
Current children cumulated CPU time (s) 809
Current children cumulated vsize (Kb) 338980

[startup+820.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 115289 0 0 0 81582 317 0 0 25 0 1 0 21294845 347115520 66645 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84745 66645 364 364 0 84381 0
[pid=8242] vsize: 338980
Current children cumulated CPU time (s) 818.99
Current children cumulated vsize (Kb) 338980

[startup+830.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 115290 0 0 0 82581 318 0 0 25 0 1 0 21294845 347115520 66646 4294967295 134512640 135987407 3221224560 3221223256 135479881 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84745 66646 364 364 0 84381 0
[pid=8242] vsize: 338980
Current children cumulated CPU time (s) 828.99
Current children cumulated vsize (Kb) 338980

[startup+840.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 115290 0 0 0 83580 318 0 0 25 0 1 0 21294845 347115520 66646 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84745 66646 364 364 0 84381 0
[pid=8242] vsize: 338980
Current children cumulated CPU time (s) 838.98
Current children cumulated vsize (Kb) 338980

[startup+850.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 115305 0 0 0 84579 318 0 0 25 0 1 0 21294845 347115520 66661 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84745 66661 364 364 0 84381 0
[pid=8242] vsize: 338980
Current children cumulated CPU time (s) 848.97
Current children cumulated vsize (Kb) 338980

[startup+860.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 115367 0 0 0 85577 319 0 0 25 0 1 0 21294845 347115520 66723 4294967295 134512640 135987407 3221224560 3221223120 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 84745 66723 364 364 0 84381 0
[pid=8242] vsize: 338980
Current children cumulated CPU time (s) 858.96
Current children cumulated vsize (Kb) 338980

[startup+870.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 116172 0 0 0 86573 322 0 0 25 0 1 0 21294845 349671424 67250 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 85369 67250 364 364 0 85005 0
[pid=8242] vsize: 341476
Current children cumulated CPU time (s) 868.95
Current children cumulated vsize (Kb) 341476

[startup+880.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 116325 0 0 0 87572 322 0 0 25 0 1 0 21294845 350404608 67370 4294967295 134512640 135987407 3221224560 3221223120 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 85548 67370 364 364 0 85184 0
[pid=8242] vsize: 342192
Current children cumulated CPU time (s) 878.94
Current children cumulated vsize (Kb) 342192

[startup+890.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 116325 0 0 0 88572 322 0 0 25 0 1 0 21294845 350404608 67370 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 85548 67370 364 364 0 85184 0
[pid=8242] vsize: 342192
Current children cumulated CPU time (s) 888.94
Current children cumulated vsize (Kb) 342192

[startup+900.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 116326 0 0 0 89571 323 0 0 25 0 1 0 21294845 350404608 67371 4294967295 134512640 135987407 3221224560 3221223216 134812328 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 85548 67371 364 364 0 85184 0
[pid=8242] vsize: 342192
Current children cumulated CPU time (s) 898.94
Current children cumulated vsize (Kb) 342192

[startup+910.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 116326 0 0 0 90570 323 0 0 25 0 1 0 21294845 350404608 67371 4294967295 134512640 135987407 3221224560 3221223172 135477963 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 85548 67371 364 364 0 85184 0
[pid=8242] vsize: 342192
Current children cumulated CPU time (s) 908.93
Current children cumulated vsize (Kb) 342192

[startup+920.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 116327 0 0 0 91570 323 0 0 25 0 1 0 21294845 350404608 67372 4294967295 134512640 135987407 3221224560 3221223120 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 85548 67372 364 364 0 85184 0
[pid=8242] vsize: 342192
Current children cumulated CPU time (s) 918.93
Current children cumulated vsize (Kb) 342192

[startup+930.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 116327 0 0 0 92568 324 0 0 25 0 1 0 21294845 350404608 67372 4294967295 134512640 135987407 3221224560 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 85548 67372 364 364 0 85184 0
[pid=8242] vsize: 342192
Current children cumulated CPU time (s) 928.92
Current children cumulated vsize (Kb) 342192

[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 116328 0 0 0 93566 325 0 0 25 0 1 0 21294845 350404608 67373 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 85548 67373 364 364 0 85184 0
[pid=8242] vsize: 342192
Current children cumulated CPU time (s) 938.91
Current children cumulated vsize (Kb) 342192

[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 117350 0 0 0 94563 327 0 0 25 0 1 0 21294845 354586624 68395 4294967295 134512640 135987407 3221224560 3221222824 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 86569 68395 364 364 0 86205 0
[pid=8242] vsize: 346276
Current children cumulated CPU time (s) 948.9
Current children cumulated vsize (Kb) 346276

[startup+960.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 118660 0 0 0 95557 331 0 0 25 0 1 0 21294845 354516992 68129 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 86552 68129 364 364 0 86188 0
[pid=8242] vsize: 346208
Current children cumulated CPU time (s) 958.88
Current children cumulated vsize (Kb) 346208

[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 120596 0 0 0 96550 336 0 0 25 0 1 0 21294845 360443904 69060 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 87999 69060 364 364 0 87635 0
[pid=8242] vsize: 351996
Current children cumulated CPU time (s) 968.86
Current children cumulated vsize (Kb) 351996

[startup+980.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 121654 0 0 0 97546 338 0 0 25 0 1 0 21294845 363880448 69727 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 88838 69727 364 364 0 88474 0
[pid=8242] vsize: 355352
Current children cumulated CPU time (s) 978.84
Current children cumulated vsize (Kb) 355352

[startup+990.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 122116 0 0 0 98542 340 0 0 25 0 1 0 21294845 364929024 69928 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 89094 69928 364 364 0 88730 0
[pid=8242] vsize: 356376
Current children cumulated CPU time (s) 988.82
Current children cumulated vsize (Kb) 356376

[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 122609 0 0 0 99540 341 0 0 25 0 1 0 21294845 366112768 70193 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 89383 70193 364 364 0 89019 0
[pid=8242] vsize: 357532
Current children cumulated CPU time (s) 998.81
Current children cumulated vsize (Kb) 357532

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 123028 0 0 0 100539 342 0 0 25 0 1 0 21294845 367296512 70384 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 89672 70384 364 364 0 89308 0
[pid=8242] vsize: 358688
Current children cumulated CPU time (s) 1008.81
Current children cumulated vsize (Kb) 358688

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 123029 0 0 0 101538 342 0 0 25 0 1 0 21294845 367296512 70385 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 89672 70385 364 364 0 89308 0
[pid=8242] vsize: 358688
Current children cumulated CPU time (s) 1018.8
Current children cumulated vsize (Kb) 358688

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 123029 0 0 0 102538 343 0 0 25 0 1 0 21294845 367296512 70385 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 89672 70385 364 364 0 89308 0
[pid=8242] vsize: 358688
Current children cumulated CPU time (s) 1028.81
Current children cumulated vsize (Kb) 358688

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 123030 0 0 0 103537 343 0 0 25 0 1 0 21294845 367296512 70386 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 89672 70386 364 364 0 89308 0
[pid=8242] vsize: 358688
Current children cumulated CPU time (s) 1038.8
Current children cumulated vsize (Kb) 358688

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 123032 0 0 0 104537 343 0 0 25 0 1 0 21294845 367296512 70388 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 89672 70388 364 364 0 89308 0
[pid=8242] vsize: 358688
Current children cumulated CPU time (s) 1048.8
Current children cumulated vsize (Kb) 358688

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 123995 0 0 0 105532 346 0 0 25 0 1 0 21294845 370327552 70863 4294967295 134512640 135987407 3221224560 3221223216 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 90412 70863 364 364 0 90048 0
[pid=8242] vsize: 361648
Current children cumulated CPU time (s) 1058.78
Current children cumulated vsize (Kb) 361648

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 125019 0 0 0 106527 348 0 0 25 0 1 0 21294845 373624832 71400 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 91217 71400 364 364 0 90853 0
[pid=8242] vsize: 364868
Current children cumulated CPU time (s) 1068.75
Current children cumulated vsize (Kb) 364868

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 125622 0 0 0 107523 351 0 0 25 0 1 0 21294845 375480320 71709 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 91670 71709 364 364 0 91306 0
[pid=8242] vsize: 366680
Current children cumulated CPU time (s) 1078.74
Current children cumulated vsize (Kb) 366680

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 127353 0 0 0 108518 355 0 0 25 0 1 0 21294845 377720832 72062 4294967295 134512640 135987407 3221224560 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 92217 72062 364 364 0 91853 0
[pid=8242] vsize: 368868
Current children cumulated CPU time (s) 1088.73
Current children cumulated vsize (Kb) 368868

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 127860 0 0 0 109512 358 0 0 25 0 1 0 21294845 379031552 72245 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 92537 72245 364 364 0 92173 0
[pid=8242] vsize: 370148
Current children cumulated CPU time (s) 1098.7
Current children cumulated vsize (Kb) 370148

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 127870 0 0 0 110509 359 0 0 25 0 1 0 21294845 379031552 72255 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 92537 72255 364 364 0 92173 0
[pid=8242] vsize: 370148
Current children cumulated CPU time (s) 1108.68
Current children cumulated vsize (Kb) 370148

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 127879 0 0 0 111509 359 0 0 25 0 1 0 21294845 379031552 72264 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 92537 72264 364 364 0 92173 0
[pid=8242] vsize: 370148
Current children cumulated CPU time (s) 1118.68
Current children cumulated vsize (Kb) 370148

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 127885 0 0 0 112508 359 0 0 25 0 1 0 21294845 379031552 72270 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 92537 72270 364 364 0 92173 0
[pid=8242] vsize: 370148
Current children cumulated CPU time (s) 1128.67
Current children cumulated vsize (Kb) 370148

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 127890 0 0 0 113507 360 0 0 25 0 1 0 21294845 379031552 72275 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 92537 72275 364 364 0 92173 0
[pid=8242] vsize: 370148
Current children cumulated CPU time (s) 1138.67
Current children cumulated vsize (Kb) 370148

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 128138 0 0 0 114505 361 0 0 25 0 1 0 21294845 379961344 72457 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 92764 72457 364 364 0 92400 0
[pid=8242] vsize: 371056
Current children cumulated CPU time (s) 1148.66
Current children cumulated vsize (Kb) 371056

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 129681 0 0 0 115499 365 0 0 25 0 1 0 21294845 381276160 72718 4294967295 134512640 135987407 3221224560 3221223200 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 93085 72718 364 364 0 92721 0
[pid=8242] vsize: 372340
Current children cumulated CPU time (s) 1158.64
Current children cumulated vsize (Kb) 372340

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 130708 0 0 0 116493 368 0 0 25 0 1 0 21294845 384311296 73324 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 93826 73324 364 364 0 93462 0
[pid=8242] vsize: 375304
Current children cumulated CPU time (s) 1168.61
Current children cumulated vsize (Kb) 375304

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 131419 0 0 0 117488 370 0 0 25 0 1 0 21294845 386015232 73614 4294967295 134512640 135987407 3221224560 3221223296 134812582 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 94242 73614 364 364 0 93878 0
[pid=8242] vsize: 376968
Current children cumulated CPU time (s) 1178.58
Current children cumulated vsize (Kb) 376968

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 132385 0 0 0 118484 373 0 0 25 0 1 0 21294845 388915200 74128 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 94950 74128 364 364 0 94586 0
[pid=8242] vsize: 379800
Current children cumulated CPU time (s) 1188.57
Current children cumulated vsize (Kb) 379800

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 132398 0 0 0 119483 374 0 0 25 0 1 0 21294845 388915200 74141 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 94950 74141 364 364 0 94586 0
[pid=8242] vsize: 379800
Current children cumulated CPU time (s) 1198.57
Current children cumulated vsize (Kb) 379800

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 132404 0 0 0 120482 374 0 0 25 0 1 0 21294845 388915200 74147 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 94950 74147 364 364 0 94586 0
[pid=8242] vsize: 379800
Current children cumulated CPU time (s) 1208.56
Current children cumulated vsize (Kb) 379800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 8242
Raw data (/proc/8242/stat): 8242 (pb2sat) R 8241 8242 4005 0 -1 0 132404 0 0 0 120482 374 0 0 25 0 1 0 21294845 388915200 74147 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8242/statm): 94950 74147 364 364 0 94586 0
[pid=8242] vsize: 379800
Current children cumulated CPU time (s) 1208.56
Current children cumulated vsize (Kb) 379800

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

Child status: 10
Real time (s): 1211.02
CPU time (s): 1209.54
CPU user time (s): 1205.64
CPU system time (s): 3.90141
CPU usage (%): 99.878
Max. virtual memory (cumulated for all children) (Kb): 379800

Verifier Data

Verifier:	OK	0