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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUMcafd7bd480d889c74d8810dc689bffd8
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 736
Optimality of the best value was proved YES
Number of terms in the objective function 1518
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 1518
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 1518
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark24.7562
Number of variables1518
Total number of constraints21621
Number of constraints which are clauses21621
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 constraint32

Trace number 9644

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        938756 kB
Buffers:         10992 kB
Cached:          68024 kB
SwapCached:          0 kB
Active:          44552 kB
Inactive:        37416 kB
HighTotal:      131008 kB
HighFree:        58688 kB
LowTotal:       903652 kB
LowFree:        880068 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8504 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:58:34 (client local time) WITH STATUS 0 IN 1211.77 SECONDS
stats: 8351 0 1211.77 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 759
c big objective detected
c trying from 0 to 511
c trying from 512 to 758
c got solution with objective value: 757
c starting final optimization
c CONFLICT during preprocess 
c [startup+968.541 s]  setting bit 10 to 0
c [startup+1011.21 s]  setting bit 9 to 0
c [startup+1035.11 s]  setting bit 8 to 0
c [startup+1059.11 s]  setting bit 7 to 0
c [startup+1079.46 s]  setting bit 6 to 0
s SATISFIABLE
v -x1 -x10 -x100 x1000 x1001 -x1002 -x1003 x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x101 x1010 -x1011 x1012 x1013 -x1014 -x1015 x1016 -x1017 x1018 x1019 x102 -x1020 -x1021 x1022 x1023 -x1024 -x1025 x1026 -x1027 x1028 x1029 x103 -x1030 -x1031 x1032 -x1033 x1034 x1035 -x1036 -x1037 x1038 -x1039 -x104 x1040 x1041 -x1042 -x1043 x1044 -x1045 x1046 x1047 -x1048 -x1049 x105 x1050 -x1051 x1052 x1053 -x1054 -x1055 x1056 x1057 -x1058 -x1059 -x106 x1060 -x1061 x1062 -x1063 x1064 x1065 -x1066 -x1067 x1068 x1069 x107 -x1070 -x1071 x1072 -x1073 x1074 -x1075 x1076 x1077 -x1078 -x1079 -x108 x1080 -x1081 x1082 x1083 -x1084 -x1085 x1086 -x1087 x1088 x1089 x109 -x1090 -x1091 x1092 -x1093 x1094 x1095 -x1096 -x1097 x1098 -x1099 x11 -x110 x1100 x1101 -x1102 -x1103 x1104 -x1105 x1106 x1107 -x1108 -x1109 x111 x1110 -x1111 x1112 x1113 -x1114 -x1115 x1116 -x1117 x1118 -x1119 -x112 x1120 x1121 -x1122 -x1123 x1124 x1125 -x1126 -x1127 x1128 x1129 x113 -x1130 -x1131 x1132 -x1133 x1134 x1135 -x1136 -x1137 x1138 -x1139 -x114 x1140 -x1141 x1142 x1143 -x1144 -x1145 x1146 -x1147 x1148 x1149 x115 -x1150 -x1151 x1152 x1153 -x1154 -x1155 x1156 -x1157 x1158 -x1159 -x116 x1160 x1161 -x1162 -x1163 x1164 -x1165 x1166 x1167 -x1168 -x1169 x117 x1170 -x1171 x1172 -x1173 x1174 x1175 -x1176 -x1177 x1178 x1179 -x118 -x1180 -x1181 x1182 -x1183 x1184 x1185 -x1186 -x1187 x1188 -x1189 x119 x1190 x1191 -x1192 -x1193 x1194 -x1195 x1196 x1197 -x1198 -x1199 -x12 -x120 x1200 -x1201 x1202 -x1203 x1204 x1205 -x1206 -x1207 x1208 -x1209 x121 x1210 x1211 -x1212 -x1213 x1214 -x1215 x1216 x1217 -x1218 -x1219 -x122 x1220 x1221 -x1222 -x1223 x1224 -x1225 x1226 x1227 -x1228 -x1229 x123 x1230 x1231 -x1232 -x1233 x1234 -x1235 x1236 -x1237 x1238 x1239 -x124 -x1240 -x1241 x1242 -x1243 x1244 -x1245 x1246 x1247 -x1248 -x1249 x125 x1250 x1251 -x1252 -x1253 x1254 -x1255 x1256 -x1257 x1258 x1259 -x126 -x1260 -x1261 x1262 x1263 -x1264 -x1265 x1266 -x1267 x1268 x1269 x127 -x1270 -x1271 x1272 -x1273 x1274 x1275 -x1276 -x1277 x1278 x1279 -x128 -x1280 -x1281 x1282 -x1283 x1284 -x1285 x1286 -x1287 x1288 x1289 x129 -x1290 -x1291 x1292 -x1293 x1294 x1295 -x1296 -x1297 x1298 x1299 x13 -x130 -x1300 -x1301 x1302 -x1303 x1304 x1305 -x1306 -x1307 x1308 -x1309 x131 x1310 x1311 -x1312 -x1313 x1314 x1315 -x1316 -x1317 x1318 -x1319 -x132 x1320 -x1321 x1322 x1323 -x1324 -x1325 x1326 -x1327 x1328 x1329 -x133 -x1330 -x1331 x1332 -x1333 x1334 x1335 -x1336 -x1337 x1338 -x1339 x134 x1340 x1341 -x1342 -x1343 x1344 -x1345 x1346 x1347 -x1348 -x1349 x135 x1350 -x1351 x1352 x1353 -x1354 -x1355 x1356 -x1357 x1358 x1359 -x136 -x1360 -x1361 x1362 -x1363 x1364 x1365 -x1366 -x1367 x1368 -x1369 x137 x1370 x1371 -x1372 -x1373 x1374 -x1375 x1376 -x1377 x1378 x1379 -x138 -x1380 -x1381 x1382 x1383 -x1384 -x1385 x1386 -x1387 x1388 x1389 x139 -x1390 -x1391 x1392 -x1393 x1394 -x1395 x1396 x1397 -x1398 -x1399 -x14 -x140 x1400 x1401 -x1402 -x1403 x1404 -x1405 x1406 -x1407 x1408 x1409 x141 -x1410 -x1411 x1412 -x1413 x1414 x1415 -x1416 -x1417 x1418 -x1419 -x142 x1420 x1421 -x1422 x1423 -x1424 -x1425 x1426 -x1427 x1428 -x1429 x143 x1430 x1431 -x1432 -x1433 x1434 x1435 -x1436 -x1437 x1438 -x1439 -x144 x1440 -x1441 x1442 x1443 -x1444 -x1445 x1446 -x1447 x1448 -x1449 x145 x1450 x1451 -x1452 -x1453 x1454 -x1455 x1456 x1457 -x1458 -x1459 -x146 x1460 -x1461 x1462 x1463 -x1464 -x1465 x1466 x1467 -x1468 -x1469 x147 x1470 -x1471 x1472 x1473 -x1474 -x1475 x1476 -x1477 x1478 x1479 -x148 -x1480 -x1481 x1482 -x1483 x1484 -x1485 x1486 x1487 -x1488 -x1489 x149 x1490 x1491 -x1492 -x1493 x1494 -x1495 x1496 -x1497 x1498 x1499 x15 -x150 -x1500 -x1501 x1502 x1503 -x1504 -x1505 x1506 -x1507 x1508 -x1509 x151 x1510 x1511 -x1512 -x1513 x1514 -x1515 x1516 x1517 -x1518 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x16 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 x17 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x18 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 x19 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 x2 -x20 -x200 x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 x21 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x22 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 x23 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x24 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 x25 -x250 x251 -x252 -x253 x254 x255 -x256 x257 -x258 x259 -x26 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 x27 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x28 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 x29 -x290 -x291 x292 x293 -x294 x295 -x296 x297 -x298 x299 x3 -x30 -x300 x301 -x302 -x303 x304 x305 -x306 x307 -x308 x309 x31 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x32 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 x33 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x34 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 x35 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x36 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 x37 -x370 x371 -x372 x373 -x374 x375 -x376 -x377 x378 x379 -x38 -x380 x381 -x382 x383 -x384 -x385 x386 x387 -x388 -x389 x39 x390 -x391 x392 x393 -x394 -x395 x396 x397 -x398 x399 -x4 -x40 -x400 x401 -x402 -x403 x404 x405 -x406 -x407 x408 -x409 x41 x410 x411 -x412 -x413 x414 -x415 x416 x417 -x418 -x419 -x42 x420 -x421 x422 -x423 x424 x425 -x426 x427 -x428 -x429 x43 x430 -x431 x432 -x433 x434 x435 -x436 -x437 x438 -x439 -x44 x440 x441 -x442 -x443 x444 x445 -x446 x447 -x448 -x449 x45 x450 -x451 x452 x453 -x454 -x455 x456 x457 -x458 -x459 -x46 x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 -x469 x47 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 -x48 x480 x481 -x482 -x483 x484 -x485 x486 -x487 x488 x489 x49 -x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 -x5 -x50 x500 x501 -x502 -x503 x504 -x505 x506 -x507 x508 x509 x51 -x510 -x511 x512 x513 -x514 -x515 x516 x517 -x518 -x519 -x52 x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 -x529 x53 x530 -x531 x532 x533 -x534 -x535 x536 x537 -x538 -x539 -x54 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548 -x549 x55 x550 x551 -x552 -x553 x554 x555 -x556 -x557 x558 -x559 -x56 x560 x561 -x562 -x563 x564 -x565 x566 x567 -x568 -x569 x57 x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 x579 -x58 -x580 -x581 x582 x583 -x584 -x585 x586 -x587 x588 -x589 x59 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x6 -x60 x600 x601 -x602 -x603 x604 -x605 x606 -x607 x608 x609 x61 -x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 -x62 x620 -x621 x622 x623 -x624 -x625 x626 x627 -x628 -x629 x63 x630 -x631 x632 -x633 x634 x635 -x636 -x637 x638 -x639 -x64 x640 x641 -x642 -x643 x644 -x645 x646 x647 -x648 -x649 x65 x650 x651 -x652 -x653 x654 -x655 x656 x657 -x658 -x659 -x66 x660 -x661 x662 x663 -x664 -x665 x666 -x667 x668 x669 x67 -x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 -x679 -x68 x680 x681 -x682 -x683 x684 -x685 x686 x687 -x688 -x689 x69 x690 -x691 x692 x693 -x694 -x695 x696 -x697 x698 -x699 x7 -x70 x700 x701 -x702 -x703 x704 -x705 x706 x707 -x708 -x709 x71 x710 -x711 x712 x713 -x714 x715 -x716 -x717 x718 -x719 -x72 x720 -x721 x722 -x723 x724 x725 -x726 x727 -x728 -x729 -x73 x730 -x731 x732 -x733 x734 x735 -x736 -x737 x738 -x739 x74 x740 -x741 x742 x743 -x744 -x745 x746 -x747 x748 x749 x75 -x750 -x751 x752 x753 -x754 -x755 x756 -x757 x758 -x759 -x76 x760 x761 -x762 -x763 x764 -x765 x766 x767 -x768 -x769 x77 x770 -x771 x772 x773 -x774 -x775 x776 -x777 x778 x779 -x78 -x780 -x781 x782 -x783 x784 x785 -x786 x787 -x788 -x789 x79 x790 -x791 x792 x793 -x794 -x795 x796 -x797 x798 -x799 -x8 -x80 x800 -x801 x802 x803 -x804 -x805 x806 x807 -x808 -x809 x81 x810 -x811 x812 -x813 x814 x815 -x816 -x817 x818 x819 -x82 -x820 -x821 x822 x823 -x824 -x825 x826 -x827 x828 x829 x83 -x830 -x831 x832 -x833 x834 -x835 x836 x837 -x838 -x839 -x84 x840 -x841 x842 x843 -x844 -x845 x846 -x847 x848 x849 x85 -x850 -x851 x852 -x853 x854 x855 -x856 -x857 x858 -x859 -x86 x860 x861 -x862 -x863 x864 x865 -x866 -x867 x868 -x869 x87 x870 -x871 x872 x873 -x874 -x875 x876 -x877 x878 x879 -x88 -x880 -x881 x882 -x883 x884 x885 -x886 -x887 x888 x889 x89 -x890 -x891 x892 -x893 x894 -x895 x896 -x897 x898 x899 x9 -x90 -x900 -x901 x902 -x903 x904 x905 -x906 x907 -x908 -x909 -x91 x910 -x911 x912 -x913 x914 -x915 x916 x917 -x918 x919 x92 -x920 -x921 x922 -x923 x924 -x925 x926 x927 -x928 -x929 x93 x930 -x931 x932 -x933 x934 x935 -x936 -x937 x938 x939 -x94 -x940 -x941 x942 -x943 x944 x945 -x946 -x947 x948 -x949 x95 x950 -x951 x952 x953 -x954 x955 -x956 -x957 x958 -x959 -x96 x960 -x961 x962 x963 -x964 -x965 x966 -x967 x968 x969 x97 -x970 -x971 -x972 -x973 x974 -x975 x976 x977 -x978 -x979 -x98 x980 x981 -x982 -x983 x984 -x985 x986 x987 -x988 -x989 x99 x990 -x991 x992 x993 -x994 -x995 x996 -x997 x998 -x999 

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/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 20931683 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 373 2 364 364 0 9 0
[pid=6955] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-ii32c4.opb

[startup+10.0015 s]
Raw data (loadavg): 1.01 1.05 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 25568 0 0 0 940 56 0 0 25 0 1 0 20931683 81944576 14540 4294967295 134512640 135987407 3221224576 3220858364 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 20006 14540 364 364 0 19642 0
[pid=6955] vsize: 80024
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 80024

[startup+20.0022 s]
Raw data (loadavg): 1.01 1.05 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 55338 0 0 0 1867 125 0 0 25 0 1 0 20931683 184131584 33111 4294967295 134512640 135987407 3221224576 3221024864 134864321 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 44954 33111 364 364 0 44590 0
[pid=6955] vsize: 179816
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 179816

[startup+30.0029 s]
Raw data (loadavg): 1.01 1.05 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 89847 0 0 0 2792 198 0 0 25 0 1 0 20931683 336723968 54933 4294967295 134512640 135987407 3221224576 3221028540 135500012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 82208 54933 364 364 0 81844 0
[pid=6955] vsize: 328832
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 328832

[startup+40.0036 s]
Raw data (loadavg): 1.01 1.04 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 112171 0 0 0 3742 245 0 0 25 0 1 0 20931683 375214080 67612 4294967295 134512640 135987407 3221224576 3221223008 134829319 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 91605 67612 364 364 0 91241 0
[pid=6955] vsize: 366420
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 366420

[startup+50.0043 s]
Raw data (loadavg): 1.01 1.04 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 115092 0 0 0 4735 251 0 0 25 0 1 0 20931683 379764736 68531 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 92716 68531 364 364 0 92352 0
[pid=6955] vsize: 370864
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (Kb) 370864

[startup+60.0049 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 116118 0 0 0 5731 254 0 0 25 0 1 0 20931683 382853120 68985 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 93470 68985 364 364 0 93106 0
[pid=6955] vsize: 373880
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (Kb) 373880

[startup+70.0046 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 117353 0 0 0 6728 256 0 0 25 0 1 0 20931683 386023424 69640 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94244 69640 364 364 0 93880 0
[pid=6955] vsize: 376976
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 376976

[startup+80.0053 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 117799 0 0 0 7726 258 0 0 25 0 1 0 20931683 387342336 69829 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94566 69829 364 364 0 94202 0
[pid=6955] vsize: 378264
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 378264

[startup+90.005 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 117846 0 0 0 8725 258 0 0 25 0 1 0 20931683 387477504 69876 4294967295 134512640 135987407 3221224576 3221223024 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94599 69876 364 364 0 94235 0
[pid=6955] vsize: 378396
Current children cumulated CPU time (s) 89.83
Current children cumulated vsize (Kb) 378396

[startup+100.006 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118152 0 0 0 9724 259 0 0 25 0 1 0 20931683 388263936 69988 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94791 69988 364 364 0 94427 0
[pid=6955] vsize: 379164
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (Kb) 379164

[startup+110.006 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118176 0 0 0 10723 259 0 0 25 0 1 0 20931683 388399104 70012 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94824 70012 364 364 0 94460 0
[pid=6955] vsize: 379296
Current children cumulated CPU time (s) 109.82
Current children cumulated vsize (Kb) 379296

[startup+120.006 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118185 0 0 0 11723 259 0 0 25 0 1 0 20931683 388399104 70021 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94824 70021 364 364 0 94460 0
[pid=6955] vsize: 379296
Current children cumulated CPU time (s) 119.82
Current children cumulated vsize (Kb) 379296

[startup+130.007 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118185 0 0 0 12723 259 0 0 25 0 1 0 20931683 388399104 70021 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94824 70021 364 364 0 94460 0
[pid=6955] vsize: 379296
Current children cumulated CPU time (s) 129.82
Current children cumulated vsize (Kb) 379296

[startup+140.007 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118191 0 0 0 13723 260 0 0 25 0 1 0 20931683 388399104 70027 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94824 70027 364 364 0 94460 0
[pid=6955] vsize: 379296
Current children cumulated CPU time (s) 139.83
Current children cumulated vsize (Kb) 379296

[startup+150.008 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118195 0 0 0 14723 260 0 0 25 0 1 0 20931683 388399104 70031 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94824 70031 364 364 0 94460 0
[pid=6955] vsize: 379296
Current children cumulated CPU time (s) 149.83
Current children cumulated vsize (Kb) 379296

[startup+160.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118195 0 0 0 15723 260 0 0 25 0 1 0 20931683 388399104 70031 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94824 70031 364 364 0 94460 0
[pid=6955] vsize: 379296
Current children cumulated CPU time (s) 159.83
Current children cumulated vsize (Kb) 379296

[startup+170.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118196 0 0 0 16723 260 0 0 25 0 1 0 20931683 388399104 70032 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 94824 70032 364 364 0 94460 0
[pid=6955] vsize: 379296
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (Kb) 379296

[startup+180.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118397 0 0 0 17722 260 0 0 25 0 1 0 20931683 389124096 70135 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95001 70135 364 364 0 94637 0
[pid=6955] vsize: 380004
Current children cumulated CPU time (s) 179.82
Current children cumulated vsize (Kb) 380004

[startup+190.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118428 0 0 0 18722 261 0 0 25 0 1 0 20931683 389124096 70166 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95001 70166 364 364 0 94637 0
[pid=6955] vsize: 380004
Current children cumulated CPU time (s) 189.83
Current children cumulated vsize (Kb) 380004

[startup+200.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118702 0 0 0 19721 262 0 0 25 0 1 0 20931683 389648384 70311 4294967295 134512640 135987407 3221224576 3221223264 134824323 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95129 70311 364 364 0 94765 0
[pid=6955] vsize: 380516
Current children cumulated CPU time (s) 199.83
Current children cumulated vsize (Kb) 380516

[startup+210.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118702 0 0 0 20720 262 0 0 25 0 1 0 20931683 389648384 70311 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95129 70311 364 364 0 94765 0
[pid=6955] vsize: 380516
Current children cumulated CPU time (s) 209.82
Current children cumulated vsize (Kb) 380516

[startup+220.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118706 0 0 0 21720 262 0 0 25 0 1 0 20931683 389648384 70315 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95129 70315 364 364 0 94765 0
[pid=6955] vsize: 380516
Current children cumulated CPU time (s) 219.82
Current children cumulated vsize (Kb) 380516

[startup+230.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118820 0 0 0 22720 262 0 0 25 0 1 0 20931683 389910528 70364 4294967295 134512640 135987407 3221224576 3221223136 134812023 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95193 70364 364 364 0 94829 0
[pid=6955] vsize: 380772
Current children cumulated CPU time (s) 229.82
Current children cumulated vsize (Kb) 380772

[startup+240.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118858 0 0 0 23719 263 0 0 25 0 1 0 20931683 390045696 70402 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70402 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 239.82
Current children cumulated vsize (Kb) 380904

[startup+250.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118858 0 0 0 24719 263 0 0 25 0 1 0 20931683 390045696 70402 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70402 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 249.82
Current children cumulated vsize (Kb) 380904

[startup+260.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118858 0 0 0 25719 263 0 0 25 0 1 0 20931683 390045696 70402 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70402 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 259.82
Current children cumulated vsize (Kb) 380904

[startup+270.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118859 0 0 0 26719 263 0 0 25 0 1 0 20931683 390045696 70403 4294967295 134512640 135987407 3221224576 3221223264 134824323 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70403 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 269.82
Current children cumulated vsize (Kb) 380904

[startup+280.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118859 0 0 0 27719 263 0 0 25 0 1 0 20931683 390045696 70403 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70403 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (Kb) 380904

[startup+290.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118862 0 0 0 28719 263 0 0 25 0 1 0 20931683 390045696 70406 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70406 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 289.82
Current children cumulated vsize (Kb) 380904

[startup+300.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118863 0 0 0 29719 263 0 0 25 0 1 0 20931683 390045696 70407 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70407 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 299.82
Current children cumulated vsize (Kb) 380904

[startup+310.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118864 0 0 0 30719 263 0 0 25 0 1 0 20931683 390045696 70408 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70408 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 309.82
Current children cumulated vsize (Kb) 380904

[startup+320.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118867 0 0 0 31718 263 0 0 25 0 1 0 20931683 390045696 70411 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70411 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (Kb) 380904

[startup+330.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118869 0 0 0 32718 263 0 0 25 0 1 0 20931683 390045696 70413 4294967295 134512640 135987407 3221224576 3221223136 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70413 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 329.81
Current children cumulated vsize (Kb) 380904

[startup+340.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118872 0 0 0 33718 263 0 0 25 0 1 0 20931683 390045696 70416 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70416 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 339.81
Current children cumulated vsize (Kb) 380904

[startup+350.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118872 0 0 0 34718 263 0 0 25 0 1 0 20931683 390045696 70416 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70416 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 349.81
Current children cumulated vsize (Kb) 380904

[startup+360.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118875 0 0 0 35718 263 0 0 25 0 1 0 20931683 390045696 70419 4294967295 134512640 135987407 3221224576 3221223136 134811747 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70419 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 359.81
Current children cumulated vsize (Kb) 380904

[startup+370.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118876 0 0 0 36717 264 0 0 25 0 1 0 20931683 390045696 70420 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70420 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 369.81
Current children cumulated vsize (Kb) 380904

[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118878 0 0 0 37717 264 0 0 25 0 1 0 20931683 390045696 70422 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70422 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 379.81
Current children cumulated vsize (Kb) 380904

[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118878 0 0 0 38717 264 0 0 25 0 1 0 20931683 390045696 70422 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70422 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 389.81
Current children cumulated vsize (Kb) 380904

[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118881 0 0 0 39716 264 0 0 25 0 1 0 20931683 390045696 70425 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70425 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 399.8
Current children cumulated vsize (Kb) 380904

[startup+410.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118883 0 0 0 40715 264 0 0 25 0 1 0 20931683 390045696 70427 4294967295 134512640 135987407 3221224576 3221223136 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70427 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 409.79
Current children cumulated vsize (Kb) 380904

[startup+420.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118884 0 0 0 41715 264 0 0 25 0 1 0 20931683 390045696 70428 4294967295 134512640 135987407 3221224576 3221223136 134812194 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70428 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 419.79
Current children cumulated vsize (Kb) 380904

[startup+430.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118886 0 0 0 42715 264 0 0 25 0 1 0 20931683 390045696 70430 4294967295 134512640 135987407 3221224576 3221223264 134824216 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70430 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 429.79
Current children cumulated vsize (Kb) 380904

[startup+440.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118887 0 0 0 43715 265 0 0 25 0 1 0 20931683 390045696 70431 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70431 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 439.8
Current children cumulated vsize (Kb) 380904

[startup+450.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118888 0 0 0 44715 265 0 0 25 0 1 0 20931683 390045696 70432 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70432 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 449.8
Current children cumulated vsize (Kb) 380904

[startup+460.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118889 0 0 0 45715 265 0 0 25 0 1 0 20931683 390045696 70433 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70433 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 459.8
Current children cumulated vsize (Kb) 380904

[startup+470.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118891 0 0 0 46714 265 0 0 25 0 1 0 20931683 390045696 70435 4294967295 134512640 135987407 3221224576 3221223136 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70435 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 469.79
Current children cumulated vsize (Kb) 380904

[startup+480.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118893 0 0 0 47714 265 0 0 25 0 1 0 20931683 390045696 70437 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70437 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 479.79
Current children cumulated vsize (Kb) 380904

[startup+490.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118893 0 0 0 48714 265 0 0 25 0 1 0 20931683 390045696 70437 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70437 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 489.79
Current children cumulated vsize (Kb) 380904

[startup+500.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118897 0 0 0 49714 265 0 0 25 0 1 0 20931683 390045696 70441 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70441 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 499.79
Current children cumulated vsize (Kb) 380904

[startup+510.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118898 0 0 0 50713 266 0 0 25 0 1 0 20931683 390045696 70442 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70442 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 509.79
Current children cumulated vsize (Kb) 380904

[startup+520.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118901 0 0 0 51713 266 0 0 25 0 1 0 20931683 390045696 70445 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 95226 70445 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 519.79
Current children cumulated vsize (Kb) 380904

[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118903 0 0 0 52713 266 0 0 25 0 1 0 20931683 390045696 70447 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95226 70447 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 529.79
Current children cumulated vsize (Kb) 380904

[startup+540.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118904 0 0 0 53713 266 0 0 25 0 1 0 20931683 390045696 70448 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95226 70448 364 364 0 94862 0
[pid=6955] vsize: 380904
Current children cumulated CPU time (s) 539.79
Current children cumulated vsize (Kb) 380904

[startup+550.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118925 0 0 0 54712 266 0 0 25 0 1 0 20931683 390180864 70469 4294967295 134512640 135987407 3221224576 3221223136 134812157 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95259 70469 364 364 0 94895 0
[pid=6955] vsize: 381036
Current children cumulated CPU time (s) 549.78
Current children cumulated vsize (Kb) 381036

[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118928 0 0 0 55712 266 0 0 25 0 1 0 20931683 390180864 70472 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95259 70472 364 364 0 94895 0
[pid=6955] vsize: 381036
Current children cumulated CPU time (s) 559.78
Current children cumulated vsize (Kb) 381036

[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118932 0 0 0 56712 266 0 0 25 0 1 0 20931683 390180864 70476 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95259 70476 364 364 0 94895 0
[pid=6955] vsize: 381036
Current children cumulated CPU time (s) 569.78
Current children cumulated vsize (Kb) 381036

[startup+580.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118934 0 0 0 57712 267 0 0 25 0 1 0 20931683 390180864 70478 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95259 70478 364 364 0 94895 0
[pid=6955] vsize: 381036
Current children cumulated CPU time (s) 579.79
Current children cumulated vsize (Kb) 381036

[startup+590.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118934 0 0 0 58711 267 0 0 25 0 1 0 20931683 390180864 70478 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95259 70478 364 364 0 94895 0
[pid=6955] vsize: 381036
Current children cumulated CPU time (s) 589.78
Current children cumulated vsize (Kb) 381036

[startup+600.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118936 0 0 0 59711 267 0 0 25 0 1 0 20931683 390180864 70480 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95259 70480 364 364 0 94895 0
[pid=6955] vsize: 381036
Current children cumulated CPU time (s) 599.78
Current children cumulated vsize (Kb) 381036

[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118937 0 0 0 60711 267 0 0 25 0 1 0 20931683 390180864 70481 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95259 70481 364 364 0 94895 0
[pid=6955] vsize: 381036
Current children cumulated CPU time (s) 609.78
Current children cumulated vsize (Kb) 381036

[startup+620.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118942 0 0 0 61711 267 0 0 25 0 1 0 20931683 390180864 70486 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95259 70486 364 364 0 94895 0
[pid=6955] vsize: 381036
Current children cumulated CPU time (s) 619.78
Current children cumulated vsize (Kb) 381036

[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118943 0 0 0 62711 267 0 0 25 0 1 0 20931683 390180864 70487 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95259 70487 364 364 0 94895 0
[pid=6955] vsize: 381036
Current children cumulated CPU time (s) 629.78
Current children cumulated vsize (Kb) 381036

[startup+640.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118988 0 0 0 63709 268 0 0 25 0 1 0 20931683 390311936 70499 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95291 70499 364 364 0 94927 0
[pid=6955] vsize: 381164
Current children cumulated CPU time (s) 639.77
Current children cumulated vsize (Kb) 381164

[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119087 0 0 0 64709 268 0 0 25 0 1 0 20931683 390574080 70533 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95355 70533 364 364 0 94991 0
[pid=6955] vsize: 381420
Current children cumulated CPU time (s) 649.77
Current children cumulated vsize (Kb) 381420

[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119305 0 0 0 65707 269 0 0 25 0 1 0 20931683 391098368 70622 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95483 70622 364 364 0 95119 0
[pid=6955] vsize: 381932
Current children cumulated CPU time (s) 659.76
Current children cumulated vsize (Kb) 381932

[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119305 0 0 0 66707 270 0 0 25 0 1 0 20931683 391098368 70622 4294967295 134512640 135987407 3221224576 3221223136 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95483 70622 364 364 0 95119 0
[pid=6955] vsize: 381932
Current children cumulated CPU time (s) 669.77
Current children cumulated vsize (Kb) 381932

[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119306 0 0 0 67707 270 0 0 25 0 1 0 20931683 391098368 70623 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95483 70623 364 364 0 95119 0
[pid=6955] vsize: 381932
Current children cumulated CPU time (s) 679.77
Current children cumulated vsize (Kb) 381932

[startup+690.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119308 0 0 0 68706 270 0 0 25 0 1 0 20931683 391098368 70625 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95483 70625 364 364 0 95119 0
[pid=6955] vsize: 381932
Current children cumulated CPU time (s) 689.76
Current children cumulated vsize (Kb) 381932

[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119309 0 0 0 69706 270 0 0 25 0 1 0 20931683 391098368 70626 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 95483 70626 364 364 0 95119 0
[pid=6955] vsize: 381932
Current children cumulated CPU time (s) 699.76
Current children cumulated vsize (Kb) 381932

[startup+710.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120478 0 0 0 70702 273 0 0 25 0 1 0 20931683 394379264 71071 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96284 71071 364 364 0 95920 0
[pid=6955] vsize: 385136
Current children cumulated CPU time (s) 709.75
Current children cumulated vsize (Kb) 385136

[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120480 0 0 0 71702 273 0 0 25 0 1 0 20931683 394379264 71073 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96284 71073 364 364 0 95920 0
[pid=6955] vsize: 385136
Current children cumulated CPU time (s) 719.75
Current children cumulated vsize (Kb) 385136

[startup+730.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120480 0 0 0 72702 273 0 0 25 0 1 0 20931683 394379264 71073 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96284 71073 364 364 0 95920 0
[pid=6955] vsize: 385136
Current children cumulated CPU time (s) 729.75
Current children cumulated vsize (Kb) 385136

[startup+740.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120480 0 0 0 73702 273 0 0 25 0 1 0 20931683 394379264 71073 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96284 71073 364 364 0 95920 0
[pid=6955] vsize: 385136
Current children cumulated CPU time (s) 739.75
Current children cumulated vsize (Kb) 385136

[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120517 0 0 0 74702 273 0 0 25 0 1 0 20931683 394514432 71110 4294967295 134512640 135987407 3221224576 3221223136 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96317 71110 364 364 0 95953 0
[pid=6955] vsize: 385268
Current children cumulated CPU time (s) 749.75
Current children cumulated vsize (Kb) 385268

[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120518 0 0 0 75701 274 0 0 25 0 1 0 20931683 394514432 71111 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96317 71111 364 364 0 95953 0
[pid=6955] vsize: 385268
Current children cumulated CPU time (s) 759.75
Current children cumulated vsize (Kb) 385268

[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120963 0 0 0 76700 275 0 0 25 0 1 0 20931683 395431936 71329 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71329 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 769.75
Current children cumulated vsize (Kb) 386164

[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120963 0 0 0 77700 275 0 0 25 0 1 0 20931683 395431936 71329 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71329 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 779.75
Current children cumulated vsize (Kb) 386164

[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120965 0 0 0 78699 275 0 0 25 0 1 0 20931683 395431936 71331 4294967295 134512640 135987407 3221224576 3221223136 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71331 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 789.74
Current children cumulated vsize (Kb) 386164

[startup+800.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120968 0 0 0 79699 275 0 0 25 0 1 0 20931683 395431936 71334 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71334 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 799.74
Current children cumulated vsize (Kb) 386164

[startup+810.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120970 0 0 0 80699 275 0 0 25 0 1 0 20931683 395431936 71336 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71336 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 809.74
Current children cumulated vsize (Kb) 386164

[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121020 0 0 0 81698 275 0 0 25 0 1 0 20931683 395431936 71386 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71386 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 819.73
Current children cumulated vsize (Kb) 386164

[startup+830.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121022 0 0 0 82698 276 0 0 25 0 1 0 20931683 395431936 71388 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71388 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 829.74
Current children cumulated vsize (Kb) 386164

[startup+840.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121025 0 0 0 83697 276 0 0 25 0 1 0 20931683 395431936 71391 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71391 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 839.73
Current children cumulated vsize (Kb) 386164

[startup+850.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121027 0 0 0 84696 277 0 0 25 0 1 0 20931683 395431936 71393 4294967295 134512640 135987407 3221224576 3221223296 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71393 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 849.73
Current children cumulated vsize (Kb) 386164

[startup+860.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121029 0 0 0 85695 277 0 0 25 0 1 0 20931683 395431936 71395 4294967295 134512640 135987407 3221224576 3221223200 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71395 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 859.72
Current children cumulated vsize (Kb) 386164

[startup+870.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121031 0 0 0 86695 277 0 0 25 0 1 0 20931683 395431936 71397 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71397 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 869.72
Current children cumulated vsize (Kb) 386164

[startup+880.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121032 0 0 0 87695 277 0 0 25 0 1 0 20931683 395431936 71398 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71398 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 879.72
Current children cumulated vsize (Kb) 386164

[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121034 0 0 0 88694 277 0 0 25 0 1 0 20931683 395431936 71400 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 96541 71400 364 364 0 96177 0
[pid=6955] vsize: 386164
Current children cumulated CPU time (s) 889.71
Current children cumulated vsize (Kb) 386164

[startup+900.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 123710 0 0 0 89685 285 0 0 25 0 1 0 20931683 406376448 74043 4294967295 134512640 135987407 3221224576 3221223392 134802371 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 99213 74043 364 364 0 98849 0
[pid=6955] vsize: 396852
Current children cumulated CPU time (s) 899.7
Current children cumulated vsize (Kb) 396852

[startup+910.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 153042 0 0 0 90608 354 0 0 25 0 1 0 20931683 500183040 103261 4294967295 134512640 135987407 3221224576 3221032608 134856430 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 122115 103261 364 364 0 121751 0
[pid=6955] vsize: 488460
Current children cumulated CPU time (s) 909.62
Current children cumulated vsize (Kb) 488460

[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 165720 0 0 0 91584 378 0 0 25 0 1 0 20931683 500318208 115717 4294967295 134512640 135987407 3221224576 3220945440 134887887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 122148 115717 364 364 0 121784 0
[pid=6955] vsize: 488592
Current children cumulated CPU time (s) 919.62
Current children cumulated vsize (Kb) 488592

[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 226862 0 0 0 92455 504 0 0 25 0 1 0 20931683 718651392 132705 4294967295 134512640 135987407 3221224576 3221109472 134892737 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 175452 132705 364 364 0 175088 0
[pid=6955] vsize: 701808
Current children cumulated CPU time (s) 929.59
Current children cumulated vsize (Kb) 701808

[startup+940.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 234989 0 0 0 93437 522 0 0 25 0 1 0 20931683 719462400 140670 4294967295 134512640 135987407 3221224576 3221165168 134560508 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 175650 140670 364 364 0 175286 0
[pid=6955] vsize: 702600
Current children cumulated CPU time (s) 939.59
Current children cumulated vsize (Kb) 702600

[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 249324 0 0 0 94405 553 0 0 25 0 1 0 20931683 741089280 154794 4294967295 134512640 135987407 3221224576 3221178212 134636948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 180930 154794 364 364 0 180566 0
[pid=6955] vsize: 723720
Current children cumulated CPU time (s) 949.58
Current children cumulated vsize (Kb) 723720

[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 260895 0 0 0 95376 581 0 0 25 0 1 0 20931683 758677504 159531 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 185224 159531 364 364 0 184860 0
[pid=6955] vsize: 740896
Current children cumulated CPU time (s) 959.57
Current children cumulated vsize (Kb) 740896

[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 269911 0 0 0 96350 605 0 0 25 0 1 0 20931683 775614464 163448 4294967295 134512640 135987407 3221224576 3221222928 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 189359 163448 364 364 0 188995 0
[pid=6955] vsize: 757436
Current children cumulated CPU time (s) 969.55
Current children cumulated vsize (Kb) 757436

[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 273722 0 0 0 97340 615 0 0 25 0 1 0 20931683 770404352 161648 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 188087 161648 364 364 0 187723 0
[pid=6955] vsize: 752348
Current children cumulated CPU time (s) 979.55
Current children cumulated vsize (Kb) 752348

[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 273747 0 0 0 98340 615 0 0 25 0 1 0 20931683 770543616 161673 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 188121 161673 364 364 0 187757 0
[pid=6955] vsize: 752484
Current children cumulated CPU time (s) 989.55
Current children cumulated vsize (Kb) 752484

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 273798 0 0 0 99339 616 0 0 25 0 1 0 20931683 770678784 161724 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 188154 161724 364 364 0 187790 0
[pid=6955] vsize: 752616
Current children cumulated CPU time (s) 999.55
Current children cumulated vsize (Kb) 752616

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 273842 0 0 0 100339 616 0 0 25 0 1 0 20931683 770818048 161768 4294967295 134512640 135987407 3221224576 3221223168 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 188188 161768 364 364 0 187824 0
[pid=6955] vsize: 752752
Current children cumulated CPU time (s) 1009.55
Current children cumulated vsize (Kb) 752752

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 278458 0 0 0 101326 628 0 0 25 0 1 0 20931683 770899968 161798 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 188208 161798 364 364 0 187844 0
[pid=6955] vsize: 752832
Current children cumulated CPU time (s) 1019.54
Current children cumulated vsize (Kb) 752832

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 278594 0 0 0 102326 628 0 0 25 0 1 0 20931683 770899968 161934 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6955/statm): 188208 161934 364 364 0 187844 0
[pid=6955] vsize: 752832
Current children cumulated CPU time (s) 1029.54
Current children cumulated vsize (Kb) 752832

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 283188 0 0 0 103316 638 0 0 25 0 1 0 20931683 775135232 162577 4294967295 134512640 135987407 3221224576 3221223216 134817687 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 189242 162577 364 364 0 188878 0
[pid=6955] vsize: 756968
Current children cumulated CPU time (s) 1039.54
Current children cumulated vsize (Kb) 756968

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 283790 0 0 0 104314 639 0 0 25 0 1 0 20931683 773033984 162034 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 188729 162034 364 364 0 188365 0
[pid=6955] vsize: 754916
Current children cumulated CPU time (s) 1049.53
Current children cumulated vsize (Kb) 754916

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 286780 0 0 0 105308 646 0 0 25 0 1 0 20931683 785145856 165024 4294967295 134512640 135987407 3221224576 3221222904 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 191686 165024 364 364 0 191322 0
[pid=6955] vsize: 766744
Current children cumulated CPU time (s) 1059.54
Current children cumulated vsize (Kb) 766744

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 288740 0 0 0 106302 652 0 0 25 0 1 0 20931683 774082560 162141 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 188985 162141 364 364 0 188621 0
[pid=6955] vsize: 755940
Current children cumulated CPU time (s) 1069.54
Current children cumulated vsize (Kb) 755940

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 288755 0 0 0 107302 652 0 0 25 0 1 0 20931683 774082560 162156 4294967295 134512640 135987407 3221224576 3221223184 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 188985 162156 364 364 0 188621 0
[pid=6955] vsize: 755940
Current children cumulated CPU time (s) 1079.54
Current children cumulated vsize (Kb) 755940

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 293341 0 0 0 108289 664 0 0 25 0 1 0 20931683 774094848 162159 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 188988 162159 364 364 0 188624 0
[pid=6955] vsize: 755952
Current children cumulated CPU time (s) 1089.53
Current children cumulated vsize (Kb) 755952

[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 295889 0 0 0 109282 669 0 0 25 0 1 0 20931683 781303808 163259 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 190748 163259 364 364 0 190384 0
[pid=6955] vsize: 762992
Current children cumulated CPU time (s) 1099.51
Current children cumulated vsize (Kb) 762992

[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 297462 0 0 0 110277 673 0 0 25 0 1 0 20931683 785772544 163829 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 191839 163829 364 364 0 191475 0
[pid=6955] vsize: 767356
Current children cumulated CPU time (s) 1109.5
Current children cumulated vsize (Kb) 767356

[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 297865 0 0 0 111276 675 0 0 25 0 1 0 20931683 786821120 163975 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 192095 163975 364 364 0 191731 0
[pid=6955] vsize: 768380
Current children cumulated CPU time (s) 1119.51
Current children cumulated vsize (Kb) 768380

[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 299407 0 0 0 112272 678 0 0 25 0 1 0 20931683 790491136 164618 4294967295 134512640 135987407 3221224576 3221223056 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 192991 164618 364 364 0 192627 0
[pid=6955] vsize: 771964
Current children cumulated CPU time (s) 1129.5
Current children cumulated vsize (Kb) 771964

[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 299543 0 0 0 113271 679 0 0 25 0 1 0 20931683 790757376 164721 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 193056 164721 364 364 0 192692 0
[pid=6955] vsize: 772224
Current children cumulated CPU time (s) 1139.5
Current children cumulated vsize (Kb) 772224

[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 299585 0 0 0 114271 679 0 0 25 0 1 0 20931683 790757376 164763 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 193056 164763 364 364 0 192692 0
[pid=6955] vsize: 772224
Current children cumulated CPU time (s) 1149.5
Current children cumulated vsize (Kb) 772224

[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 299585 0 0 0 115271 679 0 0 25 0 1 0 20931683 790757376 164763 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 193056 164763 364 364 0 192692 0
[pid=6955] vsize: 772224
Current children cumulated CPU time (s) 1159.5
Current children cumulated vsize (Kb) 772224

[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 300799 0 0 0 116268 682 0 0 25 0 1 0 20931683 793903104 165207 4294967295 134512640 135987407 3221224576 3221223056 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 193824 165207 364 364 0 193460 0
[pid=6955] vsize: 775296
Current children cumulated CPU time (s) 1169.5
Current children cumulated vsize (Kb) 775296

[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 300799 0 0 0 117267 682 0 0 25 0 1 0 20931683 793903104 165207 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 193824 165207 364 364 0 193460 0
[pid=6955] vsize: 775296
Current children cumulated CPU time (s) 1179.49
Current children cumulated vsize (Kb) 775296

[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 301101 0 0 0 118267 682 0 0 25 0 1 0 20931683 794951680 165252 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 194080 165252 364 364 0 193716 0
[pid=6955] vsize: 776320
Current children cumulated CPU time (s) 1189.49
Current children cumulated vsize (Kb) 776320

[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 301101 0 0 0 119266 682 0 0 25 0 1 0 20931683 794951680 165252 4294967295 134512640 135987407 3221224576 3221223056 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 194080 165252 364 364 0 193716 0
[pid=6955] vsize: 776320
Current children cumulated CPU time (s) 1199.48
Current children cumulated vsize (Kb) 776320

[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 302069 0 0 0 120263 685 0 0 25 0 1 0 20931683 797048832 165707 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 194592 165707 364 364 0 194228 0
[pid=6955] vsize: 778368
Current children cumulated CPU time (s) 1209.48
Current children cumulated vsize (Kb) 778368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6955
Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 302069 0 0 0 120263 685 0 0 25 0 1 0 20931683 797048832 165707 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6955/statm): 194592 165707 364 364 0 194228 0
[pid=6955] vsize: 778368
Current children cumulated CPU time (s) 1209.48
Current children cumulated vsize (Kb) 778368

Sending SIGTERM to -6955
Sleeping 2 seconds
Sending SIGKILL to -6955
One traced child (pid=6955) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.32
CPU time (s): 1211.77
CPU user time (s): 1204.59
CPU system time (s): 7.18191
CPU usage (%): 99.9546
Max. virtual memory (cumulated for all children) (Kb): 778368

Verifier Data

Verifier:	OK	757