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-4.opb
MD5SUMb7f280d80b52f97899362fbc10d59421
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 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 benchmark1205.82
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
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 9844

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-23 15:40:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8572 boxname=wulflinc3 idbench=368 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b7f280d80b52f97899362fbc10d59421  /oldhome/oroussel/tmp/wulflinc3/normalized-frb53-24-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-frb53-24-4.opb
IDLAUNCH: 8572
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        936252 kB
Buffers:         12472 kB
Cached:          68448 kB
SwapCached:          0 kB
Active:          46048 kB
Inactive:        37784 kB
HighTotal:      131008 kB
HighFree:        58184 kB
LowTotal:       903652 kB
LowFree:        878068 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8848 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:00:22 (client local time) WITH STATUS 10 IN 1209.01 SECONDS
stats: 8572 0 1209.01 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: 7771/522244	Time: 164.371/86400
c Decision: 9649/522244	Time: 303.675/86400
c Decision: 17448/522244	Time: 448.934/86400
c Decision: 52326/522244	Time: 668.633/86400
c Decision: 52331/522244	Time: 800.251/86400
c Decision: 52462/522244	Time: 928.155/86400
c Decision: 53207/522244	Time: 1043.9/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/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21356560 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 373 2 364 364 0 9 0
[pid=8056] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-frb53-24-4.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 14076 0 0 0 962 34 0 0 25 0 1 0 21356560 47828992 8675 4294967295 134512640 135987407 3221224576 3221121016 134828133 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 11677 8675 364 364 0 11313 0
[pid=8056] vsize: 46708
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 46708

[startup+20.0031 s]
Raw data (loadavg): 0.94 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 50573 0 0 0 1883 109 0 0 25 0 1 0 21356560 178528256 33078 4294967295 134512640 135987407 3221224576 3220989644 134892722 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 43586 33078 364 364 0 43222 0
[pid=8056] vsize: 174344
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 174344

[startup+30.003 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 68248 0 0 0 2842 148 0 0 25 0 1 0 21356560 200421376 45932 4294967295 134512640 135987407 3221224576 3221045356 134865145 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 48931 45932 364 364 0 48567 0
[pid=8056] vsize: 195724
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 195724

[startup+40.0038 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 89347 0 0 0 3787 196 0 0 25 0 1 0 21356560 271544320 53255 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 66295 53255 364 364 0 65931 0
[pid=8056] vsize: 265180
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 265180

[startup+50.0046 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 91767 0 0 0 4770 206 0 0 25 0 1 0 21356560 278851584 54640 4294967295 134512640 135987407 3221224576 3221223232 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 68079 54640 364 364 0 67715 0
[pid=8056] vsize: 272316
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 272316

[startup+60.0055 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 93471 0 0 0 5753 214 0 0 25 0 1 0 21356560 283860992 55700 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 69302 55700 364 364 0 68938 0
[pid=8056] vsize: 277208
Current children cumulated CPU time (s) 59.67
Current children cumulated vsize (Kb) 277208

[startup+70.0063 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 95004 0 0 0 6732 223 0 0 25 0 1 0 21356560 289554432 56721 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 70692 56721 364 364 0 70328 0
[pid=8056] vsize: 282768
Current children cumulated CPU time (s) 69.55
Current children cumulated vsize (Kb) 282768

[startup+80.0061 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 96351 0 0 0 7728 227 0 0 25 0 1 0 21356560 295399424 57771 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 72119 57771 364 364 0 71755 0
[pid=8056] vsize: 288476
Current children cumulated CPU time (s) 79.55
Current children cumulated vsize (Kb) 288476

[startup+90.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 96489 0 0 0 8725 228 0 0 25 0 1 0 21356560 295927808 57844 4294967295 134512640 135987407 3221224576 3221223016 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 72248 57844 364 364 0 71884 0
[pid=8056] vsize: 288992
Current children cumulated CPU time (s) 89.53
Current children cumulated vsize (Kb) 288992

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 96490 0 0 0 9723 228 0 0 25 0 1 0 21356560 295927808 57845 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 72248 57845 364 364 0 71884 0
[pid=8056] vsize: 288992
Current children cumulated CPU time (s) 99.51
Current children cumulated vsize (Kb) 288992

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 96528 0 0 0 10719 230 0 0 25 0 1 0 21356560 296194048 57883 4294967295 134512640 135987407 3221224576 3221223136 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 72313 57883 364 364 0 71949 0
[pid=8056] vsize: 289252
Current children cumulated CPU time (s) 109.49
Current children cumulated vsize (Kb) 289252

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) T 8055 8056 4060 0 -1 0 96529 0 0 0 11716 230 0 0 25 0 1 0 21356560 296194048 57884 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8056/statm): 72313 57884 364 364 0 71949 0
[pid=8056] vsize: 289252
Current children cumulated CPU time (s) 119.46
Current children cumulated vsize (Kb) 289252

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 97235 0 0 0 12712 233 0 0 25 0 1 0 21356560 298569728 58266 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 72893 58266 364 364 0 72529 0
[pid=8056] vsize: 291572
Current children cumulated CPU time (s) 129.45
Current children cumulated vsize (Kb) 291572

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 98383 0 0 0 13706 236 0 0 25 0 1 0 21356560 302538752 58991 4294967295 134512640 135987407 3221224576 3221223136 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 73862 58991 364 364 0 73498 0
[pid=8056] vsize: 295448
Current children cumulated CPU time (s) 139.42
Current children cumulated vsize (Kb) 295448

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 98951 0 0 0 14702 238 0 0 25 0 1 0 21356560 303849472 59231 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 74182 59231 364 364 0 73818 0
[pid=8056] vsize: 296728
Current children cumulated CPU time (s) 149.4
Current children cumulated vsize (Kb) 296728

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 99355 0 0 0 15698 240 0 0 25 0 1 0 21356560 305168384 59440 4294967295 134512640 135987407 3221224576 3221223208 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 74504 59440 364 364 0 74140 0
[pid=8056] vsize: 298016
Current children cumulated CPU time (s) 159.38
Current children cumulated vsize (Kb) 298016

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 100618 0 0 0 16690 245 0 0 25 0 1 0 21356560 308961280 60117 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 75430 60117 364 364 0 75066 0
[pid=8056] vsize: 301720
Current children cumulated CPU time (s) 169.35
Current children cumulated vsize (Kb) 301720

[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 101353 0 0 0 17686 247 0 0 25 0 1 0 21356560 310951936 60558 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 75916 60558 364 364 0 75552 0
[pid=8056] vsize: 303664
Current children cumulated CPU time (s) 179.33
Current children cumulated vsize (Kb) 303664

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 102102 0 0 0 18683 248 0 0 25 0 1 0 21356560 313196544 60883 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 76464 60883 364 364 0 76100 0
[pid=8056] vsize: 305856
Current children cumulated CPU time (s) 189.31
Current children cumulated vsize (Kb) 305856

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 103396 0 0 0 19677 253 0 0 25 0 1 0 21356560 313888768 61058 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 76633 61058 364 364 0 76269 0
[pid=8056] vsize: 306532
Current children cumulated CPU time (s) 199.3
Current children cumulated vsize (Kb) 306532

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 103908 0 0 0 20665 259 0 0 25 0 1 0 21356560 316116992 61447 4294967295 134512640 135987407 3221224576 3221223204 134811684 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 77177 61447 364 364 0 76813 0
[pid=8056] vsize: 308708
Current children cumulated CPU time (s) 209.24
Current children cumulated vsize (Kb) 308708

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 104162 0 0 0 21657 262 0 0 25 0 1 0 21356560 316915712 61603 4294967295 134512640 135987407 3221224576 3221223136 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 77372 61603 364 364 0 77008 0
[pid=8056] vsize: 309488
Current children cumulated CPU time (s) 219.19
Current children cumulated vsize (Kb) 309488

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 104636 0 0 0 22653 264 0 0 25 0 1 0 21356560 318230528 61817 4294967295 134512640 135987407 3221224576 3221223200 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 77693 61817 364 364 0 77329 0
[pid=8056] vsize: 310772
Current children cumulated CPU time (s) 229.17
Current children cumulated vsize (Kb) 310772

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 106554 0 0 0 23645 270 0 0 25 0 1 0 21356560 323821568 62853 4294967295 134512640 135987407 3221224576 3221223136 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 79058 62853 364 364 0 78694 0
[pid=8056] vsize: 316232
Current children cumulated CPU time (s) 239.15
Current children cumulated vsize (Kb) 316232

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 108211 0 0 0 24639 274 0 0 25 0 1 0 21356560 329314304 63761 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 80399 63761 364 364 0 80035 0
[pid=8056] vsize: 321596
Current children cumulated CPU time (s) 249.13
Current children cumulated vsize (Kb) 321596

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 109341 0 0 0 25636 276 0 0 25 0 1 0 21356560 332996608 64180 4294967295 134512640 135987407 3221224576 3221223200 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 81298 64180 364 364 0 80934 0
[pid=8056] vsize: 325192
Current children cumulated CPU time (s) 259.12
Current children cumulated vsize (Kb) 325192

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 110218 0 0 0 26630 280 0 0 25 0 1 0 21356560 335900672 64668 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 82007 64668 364 364 0 81643 0
[pid=8056] vsize: 328028
Current children cumulated CPU time (s) 269.1
Current children cumulated vsize (Kb) 328028

[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 110285 0 0 0 27628 281 0 0 25 0 1 0 21356560 335900672 64735 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 82007 64735 364 364 0 81643 0
[pid=8056] vsize: 328028
Current children cumulated CPU time (s) 279.09
Current children cumulated vsize (Kb) 328028

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 111433 0 0 0 28623 285 0 0 25 0 1 0 21356560 339615744 65424 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 82914 65424 364 364 0 82550 0
[pid=8056] vsize: 331656
Current children cumulated CPU time (s) 289.08
Current children cumulated vsize (Kb) 331656

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 111681 0 0 0 29620 287 0 0 25 0 1 0 21356560 340275200 65541 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 83075 65541 364 364 0 82711 0
[pid=8056] vsize: 332300
Current children cumulated CPU time (s) 299.07
Current children cumulated vsize (Kb) 332300

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 112024 0 0 0 30618 288 0 0 25 0 1 0 21356560 341602304 65819 4294967295 134512640 135987407 3221224576 3221223136 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 83399 65819 364 364 0 83035 0
[pid=8056] vsize: 333596
Current children cumulated CPU time (s) 309.06
Current children cumulated vsize (Kb) 333596

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 112035 0 0 0 31617 288 0 0 25 0 1 0 21356560 341602304 65830 4294967295 134512640 135987407 3221224576 3221223296 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 83399 65830 364 364 0 83035 0
[pid=8056] vsize: 333596
Current children cumulated CPU time (s) 319.05
Current children cumulated vsize (Kb) 333596

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 112162 0 0 0 32616 289 0 0 25 0 1 0 21356560 341864448 65892 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 83463 65892 364 364 0 83099 0
[pid=8056] vsize: 333852
Current children cumulated CPU time (s) 329.05
Current children cumulated vsize (Kb) 333852

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 113220 0 0 0 33606 294 0 0 25 0 1 0 21356560 341999616 65929 4294967295 134512640 135987407 3221224576 3221223232 134812343 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 83496 65929 364 364 0 83132 0
[pid=8056] vsize: 333984
Current children cumulated CPU time (s) 339
Current children cumulated vsize (Kb) 333984

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 114794 0 0 0 34592 301 0 0 25 0 1 0 21356560 347439104 66951 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 84824 66951 364 364 0 84460 0
[pid=8056] vsize: 339296
Current children cumulated CPU time (s) 348.93
Current children cumulated vsize (Kb) 339296

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 115307 0 0 0 35580 306 0 0 25 0 1 0 21356560 349032448 67237 4294967295 134512640 135987407 3221224576 3221223136 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 85213 67237 364 364 0 84849 0
[pid=8056] vsize: 340852
Current children cumulated CPU time (s) 358.86
Current children cumulated vsize (Kb) 340852

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 117397 0 0 0 36574 310 0 0 25 0 1 0 21356560 354959360 68220 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 86660 68220 364 364 0 86296 0
[pid=8056] vsize: 346640
Current children cumulated CPU time (s) 368.84
Current children cumulated vsize (Kb) 346640

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 118208 0 0 0 37570 312 0 0 25 0 1 0 21356560 357351424 68703 4294967295 134512640 135987407 3221224576 3221223136 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 87244 68703 364 364 0 86880 0
[pid=8056] vsize: 348976
Current children cumulated CPU time (s) 378.82
Current children cumulated vsize (Kb) 348976

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 119970 0 0 0 38563 317 0 0 25 0 1 0 21356560 362098688 69519 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 88403 69519 364 364 0 88039 0
[pid=8056] vsize: 353612
Current children cumulated CPU time (s) 388.8
Current children cumulated vsize (Kb) 353612

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 120344 0 0 0 39561 318 0 0 25 0 1 0 21356560 362885120 69699 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 88595 69699 364 364 0 88231 0
[pid=8056] vsize: 354380
Current children cumulated CPU time (s) 398.79
Current children cumulated vsize (Kb) 354380

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 120353 0 0 0 40560 318 0 0 25 0 1 0 21356560 362885120 69708 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 88595 69708 364 364 0 88231 0
[pid=8056] vsize: 354380
Current children cumulated CPU time (s) 408.78
Current children cumulated vsize (Kb) 354380

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 120361 0 0 0 41560 318 0 0 25 0 1 0 21356560 362885120 69716 4294967295 134512640 135987407 3221224576 3221223264 134824240 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 88595 69716 364 364 0 88231 0
[pid=8056] vsize: 354380
Current children cumulated CPU time (s) 418.78
Current children cumulated vsize (Kb) 354380

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 120370 0 0 0 42559 318 0 0 25 0 1 0 21356560 362885120 69725 4294967295 134512640 135987407 3221224576 3221223136 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 88595 69725 364 364 0 88231 0
[pid=8056] vsize: 354380
Current children cumulated CPU time (s) 428.77
Current children cumulated vsize (Kb) 354380

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 120379 0 0 0 43559 318 0 0 25 0 1 0 21356560 362885120 69734 4294967295 134512640 135987407 3221224576 3221223136 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 88595 69734 364 364 0 88231 0
[pid=8056] vsize: 354380
Current children cumulated CPU time (s) 438.77
Current children cumulated vsize (Kb) 354380

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 120388 0 0 0 44558 319 0 0 25 0 1 0 21356560 362885120 69743 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 88595 69743 364 364 0 88231 0
[pid=8056] vsize: 354380
Current children cumulated CPU time (s) 448.77
Current children cumulated vsize (Kb) 354380

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 120396 0 0 0 45557 319 0 0 25 0 1 0 21356560 362885120 69751 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 88595 69751 364 364 0 88231 0
[pid=8056] vsize: 354380
Current children cumulated CPU time (s) 458.76
Current children cumulated vsize (Kb) 354380

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 120415 0 0 0 46556 320 0 0 25 0 1 0 21356560 362885120 69770 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 88595 69770 364 364 0 88231 0
[pid=8056] vsize: 354380
Current children cumulated CPU time (s) 468.76
Current children cumulated vsize (Kb) 354380

[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 120445 0 0 0 47555 320 0 0 25 0 1 0 21356560 362885120 69800 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 88595 69800 364 364 0 88231 0
[pid=8056] vsize: 354380
Current children cumulated CPU time (s) 478.75
Current children cumulated vsize (Kb) 354380

[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 122396 0 0 0 48545 327 0 0 25 0 1 0 21356560 365252608 70275 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 89173 70275 364 364 0 88809 0
[pid=8056] vsize: 356692
Current children cumulated CPU time (s) 488.72
Current children cumulated vsize (Kb) 356692

[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 122802 0 0 0 49532 332 0 0 25 0 1 0 21356560 366706688 70517 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 89528 70517 364 364 0 89164 0
[pid=8056] vsize: 358112
Current children cumulated CPU time (s) 498.64
Current children cumulated vsize (Kb) 358112

[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 122961 0 0 0 50523 337 0 0 25 0 1 0 21356560 367099904 70578 4294967295 134512640 135987407 3221224576 3221223312 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 89624 70578 364 364 0 89260 0
[pid=8056] vsize: 358496
Current children cumulated CPU time (s) 508.6
Current children cumulated vsize (Kb) 358496

[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 123310 0 0 0 51518 338 0 0 25 0 1 0 21356560 367886336 70733 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 89816 70733 364 364 0 89452 0
[pid=8056] vsize: 359264
Current children cumulated CPU time (s) 518.56
Current children cumulated vsize (Kb) 359264

[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 124506 0 0 0 52512 342 0 0 25 0 1 0 21356560 371437568 71249 4294967295 134512640 135987407 3221224576 3221223232 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 90683 71249 364 364 0 90319 0
[pid=8056] vsize: 362732
Current children cumulated CPU time (s) 528.54
Current children cumulated vsize (Kb) 362732

[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 125536 0 0 0 53506 344 0 0 25 0 1 0 21356560 374194176 71664 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91356 71664 364 364 0 90992 0
[pid=8056] vsize: 365424
Current children cumulated CPU time (s) 538.5
Current children cumulated vsize (Kb) 365424

[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 125779 0 0 0 54500 347 0 0 25 0 1 0 21356560 374853632 71809 4294967295 134512640 135987407 3221224576 3221223200 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91517 71809 364 364 0 91153 0
[pid=8056] vsize: 366068
Current children cumulated CPU time (s) 548.47
Current children cumulated vsize (Kb) 366068

[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 125789 0 0 0 55500 347 0 0 25 0 1 0 21356560 374853632 71819 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91517 71819 364 364 0 91153 0
[pid=8056] vsize: 366068
Current children cumulated CPU time (s) 558.47
Current children cumulated vsize (Kb) 366068

[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 125802 0 0 0 56499 347 0 0 25 0 1 0 21356560 374853632 71832 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91517 71832 364 364 0 91153 0
[pid=8056] vsize: 366068
Current children cumulated CPU time (s) 568.46
Current children cumulated vsize (Kb) 366068

[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 125810 0 0 0 57499 348 0 0 25 0 1 0 21356560 374853632 71840 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91517 71840 364 364 0 91153 0
[pid=8056] vsize: 366068
Current children cumulated CPU time (s) 578.47
Current children cumulated vsize (Kb) 366068

[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 125818 0 0 0 58499 348 0 0 25 0 1 0 21356560 374853632 71848 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91517 71848 364 364 0 91153 0
[pid=8056] vsize: 366068
Current children cumulated CPU time (s) 588.47
Current children cumulated vsize (Kb) 366068

[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 125974 0 0 0 59497 349 0 0 25 0 1 0 21356560 375377920 71875 4294967295 134512640 135987407 3221224576 3221223136 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91645 71875 364 364 0 91281 0
[pid=8056] vsize: 366580
Current children cumulated CPU time (s) 598.46
Current children cumulated vsize (Kb) 366580

[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126415 0 0 0 60494 350 0 0 25 0 1 0 21356560 376430592 72121 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91902 72121 364 364 0 91538 0
[pid=8056] vsize: 367608
Current children cumulated CPU time (s) 608.44
Current children cumulated vsize (Kb) 367608

[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126541 0 0 0 61492 351 0 0 25 0 1 0 21356560 376692736 72182 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91966 72182 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 618.43
Current children cumulated vsize (Kb) 367864

[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126587 0 0 0 62492 352 0 0 25 0 1 0 21356560 376692736 72228 4294967295 134512640 135987407 3221224576 3221223136 134788738 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91966 72228 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 628.44
Current children cumulated vsize (Kb) 367864

[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126594 0 0 0 63492 352 0 0 25 0 1 0 21356560 376692736 72235 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91966 72235 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 638.44
Current children cumulated vsize (Kb) 367864

[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126602 0 0 0 64491 352 0 0 25 0 1 0 21356560 376692736 72243 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91966 72243 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 648.43
Current children cumulated vsize (Kb) 367864

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126609 0 0 0 65491 352 0 0 25 0 1 0 21356560 376692736 72250 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91966 72250 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 658.43
Current children cumulated vsize (Kb) 367864

[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126617 0 0 0 66491 352 0 0 25 0 1 0 21356560 376692736 72258 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91966 72258 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 668.43
Current children cumulated vsize (Kb) 367864

[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126627 0 0 0 67490 353 0 0 25 0 1 0 21356560 376692736 72268 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91966 72268 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 678.43
Current children cumulated vsize (Kb) 367864

[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126634 0 0 0 68489 353 0 0 25 0 1 0 21356560 376692736 72275 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91966 72275 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 688.42
Current children cumulated vsize (Kb) 367864

[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 126643 0 0 0 69489 353 0 0 25 0 1 0 21356560 376692736 72284 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 91966 72284 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 698.42
Current children cumulated vsize (Kb) 367864

[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 127669 0 0 0 70485 357 0 0 25 0 1 0 21356560 376692736 72289 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 91966 72289 364 364 0 91602 0
[pid=8056] vsize: 367864
Current children cumulated CPU time (s) 708.42
Current children cumulated vsize (Kb) 367864

[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 127731 0 0 0 71483 358 0 0 25 0 1 0 21356560 376823808 72318 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 91998 72318 364 364 0 91634 0
[pid=8056] vsize: 367992
Current children cumulated CPU time (s) 718.41
Current children cumulated vsize (Kb) 367992

[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 127740 0 0 0 72480 359 0 0 25 0 1 0 21356560 376823808 72327 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 91998 72327 364 364 0 91634 0
[pid=8056] vsize: 367992
Current children cumulated CPU time (s) 728.39
Current children cumulated vsize (Kb) 367992

[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 127748 0 0 0 73480 359 0 0 25 0 1 0 21356560 376823808 72335 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 91998 72335 364 364 0 91634 0
[pid=8056] vsize: 367992
Current children cumulated CPU time (s) 738.39
Current children cumulated vsize (Kb) 367992

[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 127756 0 0 0 74479 359 0 0 25 0 1 0 21356560 376823808 72343 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 91998 72343 364 364 0 91634 0
[pid=8056] vsize: 367992
Current children cumulated CPU time (s) 748.38
Current children cumulated vsize (Kb) 367992

[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 127762 0 0 0 75478 360 0 0 25 0 1 0 21356560 376823808 72349 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 91998 72349 364 364 0 91634 0
[pid=8056] vsize: 367992
Current children cumulated CPU time (s) 758.38
Current children cumulated vsize (Kb) 367992

[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 128017 0 0 0 76476 361 0 0 25 0 1 0 21356560 377348096 72474 4294967295 134512640 135987407 3221224576 3221223312 134812612 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 92126 72474 364 364 0 91762 0
[pid=8056] vsize: 368504
Current children cumulated CPU time (s) 768.37
Current children cumulated vsize (Kb) 368504

[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 128023 0 0 0 77475 362 0 0 25 0 1 0 21356560 377348096 72480 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 92126 72480 364 364 0 91762 0
[pid=8056] vsize: 368504
Current children cumulated CPU time (s) 778.37
Current children cumulated vsize (Kb) 368504

[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 128031 0 0 0 78474 362 0 0 25 0 1 0 21356560 377348096 72488 4294967295 134512640 135987407 3221224576 3221223280 134812773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 92126 72488 364 364 0 91762 0
[pid=8056] vsize: 368504
Current children cumulated CPU time (s) 788.36
Current children cumulated vsize (Kb) 368504

[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 128038 0 0 0 79473 362 0 0 25 0 1 0 21356560 377348096 72495 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 92126 72495 364 364 0 91762 0
[pid=8056] vsize: 368504
Current children cumulated CPU time (s) 798.35
Current children cumulated vsize (Kb) 368504

[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 128046 0 0 0 80473 362 0 0 25 0 1 0 21356560 377348096 72503 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 92126 72503 364 364 0 91762 0
[pid=8056] vsize: 368504
Current children cumulated CPU time (s) 808.35
Current children cumulated vsize (Kb) 368504

[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 128057 0 0 0 81472 363 0 0 25 0 1 0 21356560 377348096 72514 4294967295 134512640 135987407 3221224576 3221223312 134812708 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 92126 72514 364 364 0 91762 0
[pid=8056] vsize: 368504
Current children cumulated CPU time (s) 818.35
Current children cumulated vsize (Kb) 368504

[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 128066 0 0 0 82471 363 0 0 25 0 1 0 21356560 377348096 72523 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 92126 72523 364 364 0 91762 0
[pid=8056] vsize: 368504
Current children cumulated CPU time (s) 828.34
Current children cumulated vsize (Kb) 368504

[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 129707 0 0 0 83466 367 0 0 25 0 1 0 21356560 378920960 72755 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 92510 72755 364 364 0 92146 0
[pid=8056] vsize: 370040
Current children cumulated CPU time (s) 838.33
Current children cumulated vsize (Kb) 370040

[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 132525 0 0 0 84458 373 0 0 25 0 1 0 21356560 389046272 74586 4294967295 134512640 135987407 3221224576 3221223136 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 94982 74586 364 364 0 94618 0
[pid=8056] vsize: 379928
Current children cumulated CPU time (s) 848.31
Current children cumulated vsize (Kb) 379928

[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136333 0 0 0 85450 381 0 0 25 0 1 0 21356560 401080320 76760 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 97920 76760 364 364 0 97556 0
[pid=8056] vsize: 391680
Current children cumulated CPU time (s) 858.31
Current children cumulated vsize (Kb) 391680

[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136565 0 0 0 86448 382 0 0 25 0 1 0 21356560 401874944 76927 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98114 76927 364 364 0 97750 0
[pid=8056] vsize: 392456
Current children cumulated CPU time (s) 868.3
Current children cumulated vsize (Kb) 392456

[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136575 0 0 0 87448 382 0 0 25 0 1 0 21356560 401874944 76937 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98114 76937 364 364 0 97750 0
[pid=8056] vsize: 392456
Current children cumulated CPU time (s) 878.3
Current children cumulated vsize (Kb) 392456

[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136586 0 0 0 88447 383 0 0 25 0 1 0 21356560 401874944 76948 4294967295 134512640 135987407 3221224576 3221223264 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98114 76948 364 364 0 97750 0
[pid=8056] vsize: 392456
Current children cumulated CPU time (s) 888.3
Current children cumulated vsize (Kb) 392456

[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136601 0 0 0 89446 383 0 0 25 0 1 0 21356560 401874944 76963 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98114 76963 364 364 0 97750 0
[pid=8056] vsize: 392456
Current children cumulated CPU time (s) 898.29
Current children cumulated vsize (Kb) 392456

[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136608 0 0 0 90445 383 0 0 25 0 1 0 21356560 401874944 76970 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98114 76970 364 364 0 97750 0
[pid=8056] vsize: 392456
Current children cumulated CPU time (s) 908.28
Current children cumulated vsize (Kb) 392456

[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136615 0 0 0 91445 384 0 0 25 0 1 0 21356560 401874944 76977 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98114 76977 364 364 0 97750 0
[pid=8056] vsize: 392456
Current children cumulated CPU time (s) 918.29
Current children cumulated vsize (Kb) 392456

[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136625 0 0 0 92444 384 0 0 25 0 1 0 21356560 401874944 76987 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98114 76987 364 364 0 97750 0
[pid=8056] vsize: 392456
Current children cumulated CPU time (s) 928.28
Current children cumulated vsize (Kb) 392456

[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136633 0 0 0 93443 385 0 0 25 0 1 0 21356560 401874944 76995 4294967295 134512640 135987407 3221224576 3221223016 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98114 76995 364 364 0 97750 0
[pid=8056] vsize: 392456
Current children cumulated CPU time (s) 938.28
Current children cumulated vsize (Kb) 392456

[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 136641 0 0 0 94442 385 0 0 25 0 1 0 21356560 401874944 77003 4294967295 134512640 135987407 3221224576 3221223136 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98114 77003 364 364 0 97750 0
[pid=8056] vsize: 392456
Current children cumulated CPU time (s) 948.27
Current children cumulated vsize (Kb) 392456

[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 137664 0 0 0 95438 388 0 0 25 0 1 0 21356560 406056960 78026 4294967295 134512640 135987407 3221224576 3221222816 134828869 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 99135 78026 364 364 0 98771 0
[pid=8056] vsize: 396540
Current children cumulated CPU time (s) 958.26
Current children cumulated vsize (Kb) 396540

[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 138668 0 0 0 96432 391 0 0 25 0 1 0 21356560 404910080 77519 4294967295 134512640 135987407 3221224576 3221223016 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 98855 77519 364 364 0 98491 0
[pid=8056] vsize: 395420
Current children cumulated CPU time (s) 968.23
Current children cumulated vsize (Kb) 395420

[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 139823 0 0 0 97426 395 0 0 25 0 1 0 21356560 408592384 77962 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 99754 77962 364 364 0 99390 0
[pid=8056] vsize: 399016
Current children cumulated CPU time (s) 978.21
Current children cumulated vsize (Kb) 399016

[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 140501 0 0 0 98423 397 0 0 25 0 1 0 21356560 410427392 78186 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100202 78186 364 364 0 99838 0
[pid=8056] vsize: 400808
Current children cumulated CPU time (s) 988.2
Current children cumulated vsize (Kb) 400808

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 140620 0 0 0 99422 397 0 0 25 0 1 0 21356560 410955776 78240 4294967295 134512640 135987407 3221224576 3221223136 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100331 78240 364 364 0 99967 0
[pid=8056] vsize: 401324
Current children cumulated CPU time (s) 998.19
Current children cumulated vsize (Kb) 401324

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 140620 0 0 0 100422 398 0 0 25 0 1 0 21356560 410955776 78240 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100331 78240 364 364 0 99967 0
[pid=8056] vsize: 401324
Current children cumulated CPU time (s) 1008.2
Current children cumulated vsize (Kb) 401324

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 140621 0 0 0 101421 398 0 0 25 0 1 0 21356560 410955776 78241 4294967295 134512640 135987407 3221224576 3221223136 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100331 78241 364 364 0 99967 0
[pid=8056] vsize: 401324
Current children cumulated CPU time (s) 1018.19
Current children cumulated vsize (Kb) 401324

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 140621 0 0 0 102420 398 0 0 25 0 1 0 21356560 410955776 78241 4294967295 134512640 135987407 3221224576 3221223136 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100331 78241 364 364 0 99967 0
[pid=8056] vsize: 401324
Current children cumulated CPU time (s) 1028.18
Current children cumulated vsize (Kb) 401324

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 140626 0 0 0 103420 399 0 0 25 0 1 0 21356560 410955776 78246 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100331 78246 364 364 0 99967 0
[pid=8056] vsize: 401324
Current children cumulated CPU time (s) 1038.19
Current children cumulated vsize (Kb) 401324

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 140627 0 0 0 104420 399 0 0 25 0 1 0 21356560 410955776 78247 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100331 78247 364 364 0 99967 0
[pid=8056] vsize: 401324
Current children cumulated CPU time (s) 1048.19
Current children cumulated vsize (Kb) 401324

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 140627 0 0 0 105420 399 0 0 25 0 1 0 21356560 410955776 78247 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100331 78247 364 364 0 99967 0
[pid=8056] vsize: 401324
Current children cumulated CPU time (s) 1058.19
Current children cumulated vsize (Kb) 401324

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 140628 0 0 0 106418 400 0 0 25 0 1 0 21356560 410955776 78248 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100331 78248 364 364 0 99967 0
[pid=8056] vsize: 401324
Current children cumulated CPU time (s) 1068.18
Current children cumulated vsize (Kb) 401324

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 141847 0 0 0 107413 404 0 0 25 0 1 0 21356560 411480064 78317 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 100459 78317 364 364 0 100095 0
[pid=8056] vsize: 401836
Current children cumulated CPU time (s) 1078.17
Current children cumulated vsize (Kb) 401836

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) T 8055 8056 4060 0 -1 0 142940 0 0 0 108401 410 0 0 25 0 1 0 21356560 414769152 78794 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8056/statm): 101262 78794 364 364 0 100898 0
[pid=8056] vsize: 405048
Current children cumulated CPU time (s) 1088.11
Current children cumulated vsize (Kb) 405048

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) T 8055 8056 4060 0 -1 0 144244 0 0 0 109394 414 0 0 25 0 1 0 21356560 418328576 79545 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8056/statm): 102131 79545 364 364 0 101767 0
[pid=8056] vsize: 408524
Current children cumulated CPU time (s) 1098.08
Current children cumulated vsize (Kb) 408524

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 144703 0 0 0 110392 415 0 0 25 0 1 0 21356560 419512320 79777 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 102420 79777 364 364 0 102056 0
[pid=8056] vsize: 409680
Current children cumulated CPU time (s) 1108.07
Current children cumulated vsize (Kb) 409680

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145427 0 0 0 111389 417 0 0 25 0 1 0 21356560 421879808 80048 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 102998 80048 364 364 0 102634 0
[pid=8056] vsize: 411992
Current children cumulated CPU time (s) 1118.06
Current children cumulated vsize (Kb) 411992

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145439 0 0 0 112385 419 0 0 25 0 1 0 21356560 421879808 80060 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 102998 80060 364 364 0 102634 0
[pid=8056] vsize: 411992
Current children cumulated CPU time (s) 1128.04
Current children cumulated vsize (Kb) 411992

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145440 0 0 0 113383 420 0 0 25 0 1 0 21356560 421879808 80061 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 102998 80061 364 364 0 102634 0
[pid=8056] vsize: 411992
Current children cumulated CPU time (s) 1138.03
Current children cumulated vsize (Kb) 411992

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145620 0 0 0 114382 420 0 0 25 0 1 0 21356560 422404096 80111 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 103126 80111 364 364 0 102762 0
[pid=8056] vsize: 412504
Current children cumulated CPU time (s) 1148.02
Current children cumulated vsize (Kb) 412504

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145636 0 0 0 115382 420 0 0 25 0 1 0 21356560 422404096 80127 4294967295 134512640 135987407 3221224576 3221223008 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 103126 80127 364 364 0 102762 0
[pid=8056] vsize: 412504
Current children cumulated CPU time (s) 1158.02
Current children cumulated vsize (Kb) 412504

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145637 0 0 0 116382 420 0 0 25 0 1 0 21356560 422404096 80128 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 103126 80128 364 364 0 102762 0
[pid=8056] vsize: 412504
Current children cumulated CPU time (s) 1168.02
Current children cumulated vsize (Kb) 412504

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145655 0 0 0 117380 421 0 0 25 0 1 0 21356560 422404096 80146 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 103126 80146 364 364 0 102762 0
[pid=8056] vsize: 412504
Current children cumulated CPU time (s) 1178.01
Current children cumulated vsize (Kb) 412504

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145655 0 0 0 118380 421 0 0 25 0 1 0 21356560 422404096 80146 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 103126 80146 364 364 0 102762 0
[pid=8056] vsize: 412504
Current children cumulated CPU time (s) 1188.01
Current children cumulated vsize (Kb) 412504

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8111
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145655 0 0 0 119380 422 0 0 25 0 1 0 21356560 422404096 80146 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 103126 80146 364 364 0 102762 0
[pid=8056] vsize: 412504
Current children cumulated CPU time (s) 1198.02
Current children cumulated vsize (Kb) 412504

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8111
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145846 0 0 0 120377 423 0 0 25 0 1 0 21356560 422928384 80208 4294967295 134512640 135987407 3221224576 3221223136 134811756 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 103254 80208 364 364 0 102890 0
[pid=8056] vsize: 413016
Current children cumulated CPU time (s) 1208
Current children cumulated vsize (Kb) 413016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8111
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 145846 0 0 0 120377 423 0 0 25 0 1 0 21356560 422928384 80208 4294967295 134512640 135987407 3221224576 3221223312 134812597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 103254 80208 364 364 0 102890 0
[pid=8056] vsize: 413016
Current children cumulated CPU time (s) 1208
Current children cumulated vsize (Kb) 413016

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

Child status: 10
Real time (s): 1211.07
CPU time (s): 1209.01
CPU user time (s): 1204.6
CPU system time (s): 4.40833
CPU usage (%): 99.8301
Max. virtual memory (cumulated for all children) (Kb): 413016

Verifier Data

Verifier:	OK	0