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/frb56-25-opb/normalized-frb56-25-1.opb
MD5SUM02058527b1ad27d5be75faa6974ffa0f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
Optimality of the best value was proved NO
Number of terms in the objective function 1400
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 1400
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 1400
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 benchmark1204.33
Number of variables1400
Total number of constraints109676
Number of constraints which are clauses109676
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 9851

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 15:41:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8575 boxname=wulflinc19 idbench=371 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  02058527b1ad27d5be75faa6974ffa0f  /oldhome/oroussel/tmp/wulflinc19/normalized-frb56-25-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-frb56-25-1.opb
IDLAUNCH: 8575
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        925540 kB
Buffers:         15036 kB
Cached:          74248 kB
SwapCached:          0 kB
Active:          48032 kB
Inactive:        44140 kB
HighTotal:      131008 kB
HighFree:        53312 kB
LowTotal:       903652 kB
LowFree:        872228 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            11388 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:01:34 (client local time) WITH STATUS 10 IN 1208.32 SECONDS
stats: 8575 0 1208.32 10

Solver Data

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

c Decision: 6141/587908	Time: 125.564/86400
c Decision: 39877/587908	Time: 216.78/86400
c Decision: 43625/587908	Time: 417.315/86400
c Decision: 56039/587908	Time: 557.364/86400
c Decision: 56077/587908	Time: 682.065/86400
c Decision: 62945/587908	Time: 870.577/86400
c Decision: 89247/587908	Time: 1076.5/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 -C1273 -C1274 -C1275 -C1276 -C1277 -C1278 -C1279 -C128 -C1280 -C1281 -C1282 -C1283 -C1284 -C1285 -C1286 -C1287 -C1288 -C1289 -C129 -C1290 -C1291 -C1292 -C1293 -C1294 -C1295 -C1296 -C1297 -C1298 -C1299 -C13 -C130 -C1300 -C1301 -C1302 -C1303 -C1304 -C1305 -C1306 -C1307 -C1308 -C1309 -C131 -C1310 -C1311 -C1312 -C1313 -C1314 -C1315 -C1316 -C1317 -C1318 -C1319 -C132 -C1320 -C1321 -C1322 -C1323 -C1324 -C1325 -C1326 -C1327 -C1328 -C1329 -C133 -C1330 -C1331 -C1332 -C1333 -C1334 -C1335 -C1336 -C1337 -C1338 -C1339 -C134 -C1340 -C1341 -C1342 -C1343 -C1344 -C1345 -C1346 -C1347 -C1348 -C1349 -C135 -C1350 -C1351 -C1352 -C1353 -C1354 -C1355 -C1356 -C1357 -C1358 -C1359 -C136 -C1360 -C1361 -C1362 -C1363 -C1364 -C1365 -C1366 -C1367 -C1368 -C1369 -C137 -C1370 -C1371 -C1372 -C1373 -C1374 -C1375 -C1376 -C1377 -C1378 -C1379 -C138 -C1380 -C1381 -C1382 -C1383 -C1384 -C1385 -C1386 -C1387 -C1388 -C1389 -C139 -C1390 -C1391 -C1392 -C1393 -C1394 -C1395 -C1396 -C1397 -C1398 -C1399 -C14 -C140 -C1400 -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/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21346049 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 373 2 364 364 0 9 0
[pid=7288] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-frb56-25-1.opb

[startup+10.0026 s]
Raw data (loadavg): 0.93 0.95 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 10883 0 0 0 969 27 0 0 25 0 1 0 21346049 37908480 6651 4294967295 134512640 135987407 3221224560 3220850192 134533897 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 9255 6651 364 364 0 8891 0
[pid=7288] vsize: 37020
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 37020

[startup+20.0034 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 42730 0 0 0 1896 97 0 0 25 0 1 0 21346049 129691648 25620 4294967295 134512640 135987407 3221224560 3221086656 134865976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 31663 25620 364 364 0 31299 0
[pid=7288] vsize: 126652
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 126652

[startup+30.0042 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 67186 0 0 0 2844 148 0 0 25 0 1 0 21346049 199270400 45012 4294967295 134512640 135987407 3221224560 3220882824 135480417 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 48650 45012 364 364 0 48286 0
[pid=7288] vsize: 194600
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 194600

[startup+40.005 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 107701 0 0 0 3756 234 0 0 25 0 1 0 21346049 368570368 63388 4294967295 134512640 135987407 3221224560 3221222980 134829288 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 89983 63388 364 364 0 89619 0
[pid=7288] vsize: 359932
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 359932

[startup+50.0059 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 111056 0 0 0 4734 246 0 0 25 0 1 0 21346049 376467456 65241 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 91911 65241 364 364 0 91547 0
[pid=7288] vsize: 367644
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (Kb) 367644

[startup+60.0067 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 111716 0 0 0 5713 253 0 0 25 0 1 0 21346049 378572800 65674 4294967295 134512640 135987407 3221224560 3221223024 134775579 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 92425 65674 364 364 0 92061 0
[pid=7288] vsize: 369700
Current children cumulated CPU time (s) 59.66
Current children cumulated vsize (Kb) 369700

[startup+70.0075 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 111773 0 0 0 6693 260 0 0 25 0 1 0 21346049 378867712 65731 4294967295 134512640 135987407 3221224560 3221223120 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 92497 65731 364 364 0 92133 0
[pid=7288] vsize: 369988
Current children cumulated CPU time (s) 69.53
Current children cumulated vsize (Kb) 369988

[startup+80.0083 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 112398 0 0 0 7676 266 0 0 25 0 1 0 21346049 381874176 66323 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 93231 66323 364 364 0 92867 0
[pid=7288] vsize: 372924
Current children cumulated CPU time (s) 79.42
Current children cumulated vsize (Kb) 372924

[startup+90.0092 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 114585 0 0 0 8668 271 0 0 25 0 1 0 21346049 388497408 67431 4294967295 134512640 135987407 3221224560 3221222992 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 94848 67431 364 364 0 94484 0
[pid=7288] vsize: 379392
Current children cumulated CPU time (s) 89.39
Current children cumulated vsize (Kb) 379392

[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 115639 0 0 0 9664 274 0 0 25 0 1 0 21346049 392126464 67902 4294967295 134512640 135987407 3221224560 3221223120 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 95734 67902 364 364 0 95370 0
[pid=7288] vsize: 382936
Current children cumulated CPU time (s) 99.38
Current children cumulated vsize (Kb) 382936

[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 116212 0 0 0 10663 274 0 0 25 0 1 0 21346049 393437184 68150 4294967295 134512640 135987407 3221224560 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 96054 68150 364 364 0 95690 0
[pid=7288] vsize: 384216
Current children cumulated CPU time (s) 109.37
Current children cumulated vsize (Kb) 384216

[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 116312 0 0 0 11663 275 0 0 25 0 1 0 21346049 393707520 68250 4294967295 134512640 135987407 3221224560 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 96120 68250 364 364 0 95756 0
[pid=7288] vsize: 384480
Current children cumulated CPU time (s) 119.38
Current children cumulated vsize (Kb) 384480

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 116380 0 0 0 12662 275 0 0 25 0 1 0 21346049 393977856 68318 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 96186 68318 364 364 0 95822 0
[pid=7288] vsize: 384744
Current children cumulated CPU time (s) 129.37
Current children cumulated vsize (Kb) 384744

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 116416 0 0 0 13661 275 0 0 25 0 1 0 21346049 393977856 68354 4294967295 134512640 135987407 3221224560 3221223296 134812626 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 96186 68354 364 364 0 95822 0
[pid=7288] vsize: 384744
Current children cumulated CPU time (s) 139.36
Current children cumulated vsize (Kb) 384744

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 116441 0 0 0 14661 276 0 0 25 0 1 0 21346049 394113024 68379 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 96219 68379 364 364 0 95855 0
[pid=7288] vsize: 384876
Current children cumulated CPU time (s) 149.37
Current children cumulated vsize (Kb) 384876

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 116463 0 0 0 15660 276 0 0 25 0 1 0 21346049 394113024 68401 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 96219 68401 364 364 0 95855 0
[pid=7288] vsize: 384876
Current children cumulated CPU time (s) 159.36
Current children cumulated vsize (Kb) 384876

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 117981 0 0 0 16650 282 0 0 25 0 1 0 21346049 395517952 68661 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 96562 68661 364 364 0 96198 0
[pid=7288] vsize: 386248
Current children cumulated CPU time (s) 169.32
Current children cumulated vsize (Kb) 386248

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 120927 0 0 0 17631 292 0 0 25 0 1 0 21346049 404115456 70250 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 98661 70250 364 364 0 98297 0
[pid=7288] vsize: 394644
Current children cumulated CPU time (s) 179.23
Current children cumulated vsize (Kb) 394644

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 123114 0 0 0 18616 300 0 0 25 0 1 0 21346049 411103232 71400 4294967295 134512640 135987407 3221224560 3221223000 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 100367 71400 364 364 0 100003 0
[pid=7288] vsize: 401468
Current children cumulated CPU time (s) 189.16
Current children cumulated vsize (Kb) 401468

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 124783 0 0 0 19604 307 0 0 25 0 1 0 21346049 416600064 72304 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 101709 72304 364 364 0 101345 0
[pid=7288] vsize: 406836
Current children cumulated CPU time (s) 199.11
Current children cumulated vsize (Kb) 406836

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 124846 0 0 0 20592 311 0 0 25 0 1 0 21346049 416735232 72367 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 101742 72367 364 364 0 101378 0
[pid=7288] vsize: 406968
Current children cumulated CPU time (s) 209.03
Current children cumulated vsize (Kb) 406968

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 125033 0 0 0 21584 314 0 0 25 0 1 0 21346049 417259520 72425 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 101870 72425 364 364 0 101506 0
[pid=7288] vsize: 407480
Current children cumulated CPU time (s) 218.98
Current children cumulated vsize (Kb) 407480

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 125466 0 0 0 22576 317 0 0 25 0 1 0 21346049 419241984 72759 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 102354 72759 364 364 0 101990 0
[pid=7288] vsize: 409416
Current children cumulated CPU time (s) 228.93
Current children cumulated vsize (Kb) 409416

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 125761 0 0 0 23562 322 0 0 25 0 1 0 21346049 420495360 72988 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 102660 72988 364 364 0 102296 0
[pid=7288] vsize: 410640
Current children cumulated CPU time (s) 238.84
Current children cumulated vsize (Kb) 410640

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 126653 0 0 0 24553 327 0 0 25 0 1 0 21346049 423456768 73583 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 103383 73583 364 364 0 103019 0
[pid=7288] vsize: 413532
Current children cumulated CPU time (s) 248.8
Current children cumulated vsize (Kb) 413532

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 128296 0 0 0 25542 334 0 0 25 0 1 0 21346049 425115648 73946 4294967295 134512640 135987407 3221224560 3221223120 134811918 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 103788 73946 364 364 0 103424 0
[pid=7288] vsize: 415152
Current children cumulated CPU time (s) 258.76
Current children cumulated vsize (Kb) 415152

[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 129182 0 0 0 26526 340 0 0 25 0 1 0 21346049 429096960 74620 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 104760 74620 364 364 0 104396 0
[pid=7288] vsize: 419040
Current children cumulated CPU time (s) 268.66
Current children cumulated vsize (Kb) 419040

[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 129896 0 0 0 27513 345 0 0 25 0 1 0 21346049 431616000 75074 4294967295 134512640 135987407 3221224560 3221223216 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 105375 75074 364 364 0 105011 0
[pid=7288] vsize: 421500
Current children cumulated CPU time (s) 278.58
Current children cumulated vsize (Kb) 421500

[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 130209 0 0 0 28509 347 0 0 25 0 1 0 21346049 432414720 75289 4294967295 134512640 135987407 3221224560 3221223204 134812413 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 105570 75289 364 364 0 105206 0
[pid=7288] vsize: 422280
Current children cumulated CPU time (s) 288.56
Current children cumulated vsize (Kb) 422280

[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 130280 0 0 0 29507 348 0 0 25 0 1 0 21346049 432680960 75327 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 105635 75327 364 364 0 105271 0
[pid=7288] vsize: 422540
Current children cumulated CPU time (s) 298.55
Current children cumulated vsize (Kb) 422540

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 130280 0 0 0 30504 349 0 0 25 0 1 0 21346049 432680960 75327 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 105635 75327 364 364 0 105271 0
[pid=7288] vsize: 422540
Current children cumulated CPU time (s) 308.53
Current children cumulated vsize (Kb) 422540

[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 130550 0 0 0 31501 350 0 0 25 0 1 0 21346049 433467392 75403 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 105827 75403 364 364 0 105463 0
[pid=7288] vsize: 423308
Current children cumulated CPU time (s) 318.51
Current children cumulated vsize (Kb) 423308

[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 131052 0 0 0 32497 353 0 0 25 0 1 0 21346049 434786304 75676 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 106149 75676 364 364 0 105785 0
[pid=7288] vsize: 424596
Current children cumulated CPU time (s) 328.5
Current children cumulated vsize (Kb) 424596

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 131779 0 0 0 33492 355 0 0 25 0 1 0 21346049 437030912 75982 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 106697 75982 364 364 0 106333 0
[pid=7288] vsize: 426788
Current children cumulated CPU time (s) 338.47
Current children cumulated vsize (Kb) 426788

[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 131779 0 0 0 34491 356 0 0 25 0 1 0 21346049 437030912 75982 4294967295 134512640 135987407 3221224560 3221223280 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 106697 75982 364 364 0 106333 0
[pid=7288] vsize: 426788
Current children cumulated CPU time (s) 348.47
Current children cumulated vsize (Kb) 426788

[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 131801 0 0 0 35490 356 0 0 25 0 1 0 21346049 437030912 76004 4294967295 134512640 135987407 3221224560 3221223120 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 106697 76004 364 364 0 106333 0
[pid=7288] vsize: 426788
Current children cumulated CPU time (s) 358.46
Current children cumulated vsize (Kb) 426788

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 131835 0 0 0 36490 356 0 0 25 0 1 0 21346049 437030912 76038 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 106697 76038 364 364 0 106333 0
[pid=7288] vsize: 426788
Current children cumulated CPU time (s) 368.46
Current children cumulated vsize (Kb) 426788

[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 131839 0 0 0 37489 357 0 0 25 0 1 0 21346049 437030912 76042 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 106697 76042 364 364 0 106333 0
[pid=7288] vsize: 426788
Current children cumulated CPU time (s) 378.46
Current children cumulated vsize (Kb) 426788

[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 133041 0 0 0 38485 360 0 0 25 0 1 0 21346049 440188928 76561 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 107468 76561 364 364 0 107104 0
[pid=7288] vsize: 429872
Current children cumulated CPU time (s) 388.45
Current children cumulated vsize (Kb) 429872

[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 134441 0 0 0 39478 363 0 0 25 0 1 0 21346049 444010496 77212 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 108401 77212 364 364 0 108037 0
[pid=7288] vsize: 433604
Current children cumulated CPU time (s) 398.41
Current children cumulated vsize (Kb) 433604

[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 134776 0 0 0 40476 364 0 0 25 0 1 0 21346049 444932096 77384 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 108626 77384 364 364 0 108262 0
[pid=7288] vsize: 434504
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (Kb) 434504

[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 134783 0 0 0 41476 364 0 0 25 0 1 0 21346049 444932096 77391 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 108626 77391 364 364 0 108262 0
[pid=7288] vsize: 434504
Current children cumulated CPU time (s) 418.4
Current children cumulated vsize (Kb) 434504

[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 134802 0 0 0 42475 365 0 0 25 0 1 0 21346049 444932096 77410 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 108626 77410 364 364 0 108262 0
[pid=7288] vsize: 434504
Current children cumulated CPU time (s) 428.4
Current children cumulated vsize (Kb) 434504

[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 134806 0 0 0 43474 365 0 0 25 0 1 0 21346049 444932096 77414 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 108626 77414 364 364 0 108262 0
[pid=7288] vsize: 434504
Current children cumulated CPU time (s) 438.39
Current children cumulated vsize (Kb) 434504

[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 134812 0 0 0 44473 366 0 0 25 0 1 0 21346049 444932096 77420 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 108626 77420 364 364 0 108262 0
[pid=7288] vsize: 434504
Current children cumulated CPU time (s) 448.39
Current children cumulated vsize (Kb) 434504

[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 136054 0 0 0 45465 371 0 0 25 0 1 0 21346049 445464576 77513 4294967295 134512640 135987407 3221224560 3221223192 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 108756 77513 364 364 0 108392 0
[pid=7288] vsize: 435024
Current children cumulated CPU time (s) 458.36
Current children cumulated vsize (Kb) 435024

[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 136979 0 0 0 46452 376 0 0 25 0 1 0 21346049 448405504 78145 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 109474 78145 364 364 0 109110 0
[pid=7288] vsize: 437896
Current children cumulated CPU time (s) 468.28
Current children cumulated vsize (Kb) 437896

[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 138664 0 0 0 47441 382 0 0 25 0 1 0 21346049 452890624 79065 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 110569 79065 364 364 0 110205 0
[pid=7288] vsize: 442276
Current children cumulated CPU time (s) 478.23
Current children cumulated vsize (Kb) 442276

[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 139058 0 0 0 48438 384 0 0 25 0 1 0 21346049 453414912 79330 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 110697 79330 364 364 0 110333 0
[pid=7288] vsize: 442788
Current children cumulated CPU time (s) 488.22
Current children cumulated vsize (Kb) 442788

[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 139827 0 0 0 49433 387 0 0 25 0 1 0 21346049 455524352 79741 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 111212 79741 364 364 0 110848 0
[pid=7288] vsize: 444848
Current children cumulated CPU time (s) 498.2
Current children cumulated vsize (Kb) 444848

[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 140759 0 0 0 50429 390 0 0 25 0 1 0 21346049 459173888 80332 4294967295 134512640 135987407 3221224560 3221223280 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 112103 80332 364 364 0 111739 0
[pid=7288] vsize: 448412
Current children cumulated CPU time (s) 508.19
Current children cumulated vsize (Kb) 448412

[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 140788 0 0 0 51427 390 0 0 25 0 1 0 21346049 459173888 80361 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 112103 80361 364 364 0 111739 0
[pid=7288] vsize: 448412
Current children cumulated CPU time (s) 518.17
Current children cumulated vsize (Kb) 448412

[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 140795 0 0 0 52426 390 0 0 25 0 1 0 21346049 459173888 80368 4294967295 134512640 135987407 3221224560 3221223120 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 112103 80368 364 364 0 111739 0
[pid=7288] vsize: 448412
Current children cumulated CPU time (s) 528.16
Current children cumulated vsize (Kb) 448412

[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 142086 0 0 0 53421 394 0 0 25 0 1 0 21346049 462860288 80942 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 113003 80942 364 364 0 112639 0
[pid=7288] vsize: 452012
Current children cumulated CPU time (s) 538.15
Current children cumulated vsize (Kb) 452012

[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 142460 0 0 0 54418 395 0 0 25 0 1 0 21346049 463912960 81122 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 113260 81122 364 364 0 112896 0
[pid=7288] vsize: 453040
Current children cumulated CPU time (s) 548.13
Current children cumulated vsize (Kb) 453040

[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 142621 0 0 0 55417 396 0 0 25 0 1 0 21346049 464445440 81218 4294967295 134512640 135987407 3221224560 3221223120 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 113390 81218 364 364 0 113026 0
[pid=7288] vsize: 453560
Current children cumulated CPU time (s) 558.13
Current children cumulated vsize (Kb) 453560

[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 142628 0 0 0 56416 396 0 0 25 0 1 0 21346049 464445440 81225 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 113390 81225 364 364 0 113026 0
[pid=7288] vsize: 453560
Current children cumulated CPU time (s) 568.12
Current children cumulated vsize (Kb) 453560

[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 142636 0 0 0 57416 397 0 0 25 0 1 0 21346049 464445440 81233 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 113390 81233 364 364 0 113026 0
[pid=7288] vsize: 453560
Current children cumulated CPU time (s) 578.13
Current children cumulated vsize (Kb) 453560

[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 142653 0 0 0 58415 397 0 0 25 0 1 0 21346049 464445440 81250 4294967295 134512640 135987407 3221224560 3221223072 134821203 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 113390 81250 364 364 0 113026 0
[pid=7288] vsize: 453560
Current children cumulated CPU time (s) 588.12
Current children cumulated vsize (Kb) 453560

[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 144489 0 0 0 59408 403 0 0 25 0 1 0 21346049 466677760 81453 4294967295 134512640 135987407 3221224560 3221223120 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 113935 81453 364 364 0 113571 0
[pid=7288] vsize: 455740
Current children cumulated CPU time (s) 598.11
Current children cumulated vsize (Kb) 455740

[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 145259 0 0 0 60404 405 0 0 25 0 1 0 21346049 468783104 81832 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 114449 81832 364 364 0 114085 0
[pid=7288] vsize: 457796
Current children cumulated CPU time (s) 608.09
Current children cumulated vsize (Kb) 457796

[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 147164 0 0 0 61397 410 0 0 25 0 1 0 21346049 473780224 82632 4294967295 134512640 135987407 3221224560 3221223296 134812629 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 115669 82632 364 364 0 115305 0
[pid=7288] vsize: 462676
Current children cumulated CPU time (s) 618.07
Current children cumulated vsize (Kb) 462676

[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 147711 0 0 0 62394 412 0 0 25 0 1 0 21346049 474963968 82918 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 115958 82918 364 364 0 115594 0
[pid=7288] vsize: 463832
Current children cumulated CPU time (s) 628.06
Current children cumulated vsize (Kb) 463832

[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 148672 0 0 0 63388 415 0 0 25 0 1 0 21346049 477868032 83358 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 116667 83358 364 364 0 116303 0
[pid=7288] vsize: 466668
Current children cumulated CPU time (s) 638.03
Current children cumulated vsize (Kb) 466668

[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 150184 0 0 0 64381 420 0 0 25 0 1 0 21346049 482078720 84090 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 117695 84090 364 364 0 117331 0
[pid=7288] vsize: 470780
Current children cumulated CPU time (s) 648.01
Current children cumulated vsize (Kb) 470780

[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 151208 0 0 0 65377 423 0 0 25 0 1 0 21346049 484843520 84561 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 118370 84561 364 364 0 118006 0
[pid=7288] vsize: 473480
Current children cumulated CPU time (s) 658
Current children cumulated vsize (Kb) 473480

[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 152010 0 0 0 66374 424 0 0 25 0 1 0 21346049 486952960 84972 4294967295 134512640 135987407 3221224560 3221223296 134812629 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 118885 84972 364 364 0 118521 0
[pid=7288] vsize: 475540
Current children cumulated CPU time (s) 667.98
Current children cumulated vsize (Kb) 475540

[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 152279 0 0 0 67373 425 0 0 25 0 1 0 21346049 487870464 85079 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 119109 85079 364 364 0 118745 0
[pid=7288] vsize: 476436
Current children cumulated CPU time (s) 677.98
Current children cumulated vsize (Kb) 476436

[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 152293 0 0 0 68372 425 0 0 25 0 1 0 21346049 487870464 85093 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 119109 85093 364 364 0 118745 0
[pid=7288] vsize: 476436
Current children cumulated CPU time (s) 687.97
Current children cumulated vsize (Kb) 476436

[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 152303 0 0 0 69372 425 0 0 25 0 1 0 21346049 487870464 85103 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 119109 85103 364 364 0 118745 0
[pid=7288] vsize: 476436
Current children cumulated CPU time (s) 697.97
Current children cumulated vsize (Kb) 476436

[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 152337 0 0 0 70372 426 0 0 25 0 1 0 21346049 487870464 85137 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 119109 85137 364 364 0 118745 0
[pid=7288] vsize: 476436
Current children cumulated CPU time (s) 707.98
Current children cumulated vsize (Kb) 476436

[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 152344 0 0 0 71371 426 0 0 25 0 1 0 21346049 487870464 85144 4294967295 134512640 135987407 3221224560 3221222992 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 119109 85144 364 364 0 118745 0
[pid=7288] vsize: 476436
Current children cumulated CPU time (s) 717.97
Current children cumulated vsize (Kb) 476436

[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 153997 0 0 0 72357 433 0 0 25 0 1 0 21346049 489783296 85420 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 119576 85420 364 364 0 119212 0
[pid=7288] vsize: 478304
Current children cumulated CPU time (s) 727.9
Current children cumulated vsize (Kb) 478304

[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 154765 0 0 0 73349 437 0 0 25 0 1 0 21346049 492027904 85960 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 120124 85960 364 364 0 119760 0
[pid=7288] vsize: 480496
Current children cumulated CPU time (s) 737.86
Current children cumulated vsize (Kb) 480496

[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 155745 0 0 0 74338 442 0 0 25 0 1 0 21346049 494792704 86390 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 120799 86390 364 364 0 120435 0
[pid=7288] vsize: 483196
Current children cumulated CPU time (s) 747.8
Current children cumulated vsize (Kb) 483196

[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 155915 0 0 0 75334 444 0 0 25 0 1 0 21346049 495054848 86495 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 120863 86495 364 364 0 120499 0
[pid=7288] vsize: 483452
Current children cumulated CPU time (s) 757.78
Current children cumulated vsize (Kb) 483452

[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 156005 0 0 0 76333 445 0 0 25 0 1 0 21346049 495054848 86585 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 120863 86585 364 364 0 120499 0
[pid=7288] vsize: 483452
Current children cumulated CPU time (s) 767.78
Current children cumulated vsize (Kb) 483452

[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 156573 0 0 0 77328 447 0 0 25 0 1 0 21346049 496504832 86941 4294967295 134512640 135987407 3221224560 3221223184 134801140 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121217 86941 364 364 0 120853 0
[pid=7288] vsize: 484868
Current children cumulated CPU time (s) 777.75
Current children cumulated vsize (Kb) 484868

[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157431 0 0 0 78325 449 0 0 25 0 1 0 21346049 498741248 87313 4294967295 134512640 135987407 3221224560 3221223196 134811680 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87313 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 787.74
Current children cumulated vsize (Kb) 487052

[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157439 0 0 0 79325 449 0 0 25 0 1 0 21346049 498741248 87321 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87321 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 797.74
Current children cumulated vsize (Kb) 487052

[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157447 0 0 0 80325 449 0 0 25 0 1 0 21346049 498741248 87329 4294967295 134512640 135987407 3221224560 3221223120 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87329 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 807.74
Current children cumulated vsize (Kb) 487052

[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157452 0 0 0 81324 450 0 0 25 0 1 0 21346049 498741248 87334 4294967295 134512640 135987407 3221224560 3221223256 134812257 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87334 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 817.74
Current children cumulated vsize (Kb) 487052

[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157458 0 0 0 82324 450 0 0 25 0 1 0 21346049 498741248 87340 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87340 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 827.74
Current children cumulated vsize (Kb) 487052

[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157474 0 0 0 83323 450 0 0 25 0 1 0 21346049 498741248 87356 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87356 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 837.73
Current children cumulated vsize (Kb) 487052

[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157480 0 0 0 84322 451 0 0 25 0 1 0 21346049 498741248 87362 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87362 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 847.73
Current children cumulated vsize (Kb) 487052

[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157484 0 0 0 85321 451 0 0 25 0 1 0 21346049 498741248 87366 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87366 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 857.72
Current children cumulated vsize (Kb) 487052

[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157491 0 0 0 86321 451 0 0 25 0 1 0 21346049 498741248 87373 4294967295 134512640 135987407 3221224560 3221223200 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87373 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 867.72
Current children cumulated vsize (Kb) 487052

[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157514 0 0 0 87321 452 0 0 25 0 1 0 21346049 498741248 87396 4294967295 134512640 135987407 3221224560 3221223120 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 121763 87396 364 364 0 121399 0
[pid=7288] vsize: 487052
Current children cumulated CPU time (s) 877.73
Current children cumulated vsize (Kb) 487052

[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157810 0 0 0 88320 452 0 0 25 0 1 0 21346049 499789824 87435 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 122019 87435 364 364 0 121655 0
[pid=7288] vsize: 488076
Current children cumulated CPU time (s) 887.72
Current children cumulated vsize (Kb) 488076

[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 157819 0 0 0 89320 452 0 0 25 0 1 0 21346049 499789824 87444 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 122019 87444 364 364 0 121655 0
[pid=7288] vsize: 488076
Current children cumulated CPU time (s) 897.72
Current children cumulated vsize (Kb) 488076

[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 158974 0 0 0 90316 455 0 0 25 0 1 0 21346049 499789824 87450 4294967295 134512640 135987407 3221224560 3221223212 134882490 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 122019 87450 364 364 0 121655 0
[pid=7288] vsize: 488076
Current children cumulated CPU time (s) 907.71
Current children cumulated vsize (Kb) 488076

[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 159313 0 0 0 91309 458 0 0 25 0 1 0 21346049 500842496 87595 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 122276 87595 364 364 0 121912 0
[pid=7288] vsize: 489104
Current children cumulated CPU time (s) 917.67
Current children cumulated vsize (Kb) 489104

[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 160373 0 0 0 92302 462 0 0 25 0 1 0 21346049 504127488 87975 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 123078 87975 364 364 0 122714 0
[pid=7288] vsize: 492312
Current children cumulated CPU time (s) 927.64
Current children cumulated vsize (Kb) 492312

[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 162038 0 0 0 93294 466 0 0 25 0 1 0 21346049 508870656 88764 4294967295 134512640 135987407 3221224560 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 124236 88764 364 364 0 123872 0
[pid=7288] vsize: 496944
Current children cumulated CPU time (s) 937.6
Current children cumulated vsize (Kb) 496944

[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 163238 0 0 0 94286 470 0 0 25 0 1 0 21346049 512438272 89311 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 125107 89311 364 364 0 124743 0
[pid=7288] vsize: 500428
Current children cumulated CPU time (s) 947.56
Current children cumulated vsize (Kb) 500428

[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 163473 0 0 0 95280 473 0 0 25 0 1 0 21346049 512835584 89481 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 125204 89481 364 364 0 124840 0
[pid=7288] vsize: 500816
Current children cumulated CPU time (s) 957.53
Current children cumulated vsize (Kb) 500816

[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 164271 0 0 0 96275 476 0 0 25 0 1 0 21346049 514936832 89794 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 125717 89794 364 364 0 125353 0
[pid=7288] vsize: 502868
Current children cumulated CPU time (s) 967.51
Current children cumulated vsize (Kb) 502868

[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 164841 0 0 0 97272 478 0 0 25 0 1 0 21346049 516247552 90041 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 126037 90041 364 364 0 125673 0
[pid=7288] vsize: 504148
Current children cumulated CPU time (s) 977.5
Current children cumulated vsize (Kb) 504148

[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 164852 0 0 0 98269 479 0 0 25 0 1 0 21346049 516247552 90052 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 126037 90052 364 364 0 125673 0
[pid=7288] vsize: 504148
Current children cumulated CPU time (s) 987.48
Current children cumulated vsize (Kb) 504148

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 165131 0 0 0 99264 481 0 0 25 0 1 0 21346049 516771840 90202 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 126165 90202 364 364 0 125801 0
[pid=7288] vsize: 504660
Current children cumulated CPU time (s) 997.45
Current children cumulated vsize (Kb) 504660

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 165343 0 0 0 100262 483 0 0 25 0 1 0 21346049 517296128 90285 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 126293 90285 364 364 0 125929 0
[pid=7288] vsize: 505172
Current children cumulated CPU time (s) 1007.45
Current children cumulated vsize (Kb) 505172

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166299 0 0 0 101256 487 0 0 25 0 1 0 21346049 519942144 90785 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 126939 90785 364 364 0 126575 0
[pid=7288] vsize: 507756
Current children cumulated CPU time (s) 1017.43
Current children cumulated vsize (Kb) 507756

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166455 0 0 0 102254 488 0 0 25 0 1 0 21346049 520204288 90876 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90876 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1027.42
Current children cumulated vsize (Kb) 508012

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166456 0 0 0 103253 488 0 0 25 0 1 0 21346049 520204288 90877 4294967295 134512640 135987407 3221224560 3221223296 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90877 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1037.41
Current children cumulated vsize (Kb) 508012

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166456 0 0 0 104253 488 0 0 25 0 1 0 21346049 520204288 90877 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90877 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1047.41
Current children cumulated vsize (Kb) 508012

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166456 0 0 0 105252 489 0 0 25 0 1 0 21346049 520204288 90877 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90877 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1057.41
Current children cumulated vsize (Kb) 508012

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166456 0 0 0 106252 489 0 0 25 0 1 0 21346049 520204288 90877 4294967295 134512640 135987407 3221224560 3221222992 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90877 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1067.41
Current children cumulated vsize (Kb) 508012

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166457 0 0 0 107251 489 0 0 25 0 1 0 21346049 520204288 90878 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90878 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1077.4
Current children cumulated vsize (Kb) 508012

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166458 0 0 0 108251 490 0 0 25 0 1 0 21346049 520204288 90879 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90879 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1087.41
Current children cumulated vsize (Kb) 508012

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166458 0 0 0 109250 490 0 0 25 0 1 0 21346049 520204288 90879 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90879 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1097.4
Current children cumulated vsize (Kb) 508012

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 166459 0 0 0 110250 490 0 0 25 0 1 0 21346049 520204288 90880 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90880 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1107.4
Current children cumulated vsize (Kb) 508012

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7288
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167626 0 0 0 111244 494 0 0 25 0 1 0 21346049 520204288 90898 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127003 90898 364 364 0 126639 0
[pid=7288] vsize: 508012
Current children cumulated CPU time (s) 1117.38
Current children cumulated vsize (Kb) 508012

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7343
Raw data (/proc/7288/stat): 7288 (pb2sat) T 7287 7288 4060 0 -1 0 167766 0 0 0 112234 498 0 0 25 0 1 0 21346049 520601600 90973 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7288/statm): 127100 90973 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1127.32
Current children cumulated vsize (Kb) 508400

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7343
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167766 0 0 0 113225 500 0 0 25 0 1 0 21346049 520601600 90973 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 127100 90973 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1137.25
Current children cumulated vsize (Kb) 508400

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7343
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167779 0 0 0 114221 502 0 0 25 0 1 0 21346049 520601600 90986 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 127100 90986 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1147.23
Current children cumulated vsize (Kb) 508400

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7343
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167820 0 0 0 115219 502 0 0 25 0 1 0 21346049 520601600 91027 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 127100 91027 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1157.21
Current children cumulated vsize (Kb) 508400

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7343
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167821 0 0 0 116218 503 0 0 25 0 1 0 21346049 520601600 91028 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 127100 91028 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1167.21
Current children cumulated vsize (Kb) 508400

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7345
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167821 0 0 0 117216 505 0 0 25 0 1 0 21346049 520601600 91028 4294967295 134512640 135987407 3221224560 3221223120 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127100 91028 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1177.21
Current children cumulated vsize (Kb) 508400

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7345
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167822 0 0 0 118215 505 0 0 25 0 1 0 21346049 520601600 91029 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7288/statm): 127100 91029 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1187.2
Current children cumulated vsize (Kb) 508400

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7349
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167822 0 0 0 119214 506 0 0 25 0 1 0 21346049 520601600 91029 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 127100 91029 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1197.2
Current children cumulated vsize (Kb) 508400

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7349
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167822 0 0 0 120214 506 0 0 25 0 1 0 21346049 520601600 91029 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 127100 91029 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1207.2
Current children cumulated vsize (Kb) 508400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7349
Raw data (/proc/7288/stat): 7288 (pb2sat) R 7287 7288 4060 0 -1 0 167822 0 0 0 120214 506 0 0 25 0 1 0 21346049 520601600 91029 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7288/statm): 127100 91029 364 364 0 126736 0
[pid=7288] vsize: 508400
Current children cumulated CPU time (s) 1207.2
Current children cumulated vsize (Kb) 508400

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

Child status: 10
Real time (s): 1211.19
CPU time (s): 1208.32
CPU user time (s): 1203.08
CPU system time (s): 5.2472
CPU usage (%): 99.7637
Max. virtual memory (cumulated for all children) (Kb): 508400

Verifier Data

Verifier:	OK	0