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/logic-synthesis/normalized-jac3.opb
MD5SUM43952ea8e0659c6ffd861c99c0b605de
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of terms in the objective function 1732
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 1732
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 1732
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 benchmark96.5553
Number of variables1731
Total number of constraints1254
Number of constraints which are clauses1254
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 constraint694

Trace number 9590

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.058
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        997368 kB
Buffers:          1328 kB
Cached:          18936 kB
SwapCached:          0 kB
Active:          16672 kB
Inactive:         6488 kB
HighTotal:      131008 kB
HighFree:       107856 kB
LowTotal:       903652 kB
LowFree:        889512 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8596 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:40:17 (client local time) WITH STATUS 10 IN 1207.66 SECONDS
stats: 8272 0 1207.66 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 1732
c big objective detected
c trying from 0 to 511
c got solution with objective value: 511
c starting final optimization
c CONFLICT during preprocess 
c [startup+59.6963 s]  setting bit 10 to 0
c CONFLICT during preprocess 
c [startup+62.8063 s]  setting bit 9 to 0
c got solution with objective value: 255
c [startup+70.0217 s]  setting bit 8 to 1
c got solution with objective value: 127
c [startup+78.0602 s]  setting bit 7 to 1
c got solution with objective value: 63
c [startup+103.199 s]  setting bit 6 to 1
c got solution with objective value: 31
c [startup+162.059 s]  setting bit 5 to 1

c Decision: 732067/758224	Time: 208.423/86400
c Decision: 732067/758224	Time: 310.68/86400
c Decision: 733100/758224	Time: 463.144/86400
c Decision: 733100/758224	Time: 571.358/86400
c Decision: 733100/758224	Time: 655.533/86400
c Decision: 734054/758224	Time: 798.736/86400
c Decision: 734054/758224	Time: 908.014/86400
c Decision: 734054/758224	Time: 999.582/86400s 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 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -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/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20858118 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 373 2 364 364 0 9 0
[pid=6759] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-jac3.opb

[startup+10.0025 s]
Raw data (loadavg): 0.96 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 29738 0 0 0 926 67 0 0 25 0 1 0 20858118 95932416 18624 4294967295 134512640 135987407 3221224576 3220776912 134856505 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 23421 18624 364 364 0 23057 0
[pid=6759] vsize: 93684
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 93684

[startup+20.0031 s]
Raw data (loadavg): 0.97 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 59501 0 0 0 1856 133 0 0 25 0 1 0 20858118 189730816 37188 4294967295 134512640 135987407 3221224576 3221187144 134865972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 46321 37188 364 364 0 45957 0
[pid=6759] vsize: 185284
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 185284

[startup+30.0038 s]
Raw data (loadavg): 0.97 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 101510 0 0 0 2764 222 0 0 25 0 1 0 20858118 320929792 57013 4294967295 134512640 135987407 3221224576 3221195424 134887887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 78352 57014 364 364 0 77988 0
[pid=6759] vsize: 313408
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (Kb) 313408

[startup+40.0035 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 118326 0 0 0 3723 261 0 0 25 0 1 0 20858118 376246272 73627 4294967295 134512640 135987407 3221224576 3221222740 135479924 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 91857 73627 364 364 0 91493 0
[pid=6759] vsize: 367428
Current children cumulated CPU time (s) 39.84
Current children cumulated vsize (Kb) 367428

[startup+50.0032 s]
Raw data (loadavg): 0.98 1.00 1.00 1/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) T 6758 6759 4060 0 -1 0 125779 0 0 0 4699 280 0 0 25 0 1 0 20858118 398344192 78631 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6759/statm): 97252 78631 364 364 0 96888 0
[pid=6759] vsize: 389008
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (Kb) 389008

[startup+60.0038 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 128925 0 0 0 5684 290 0 0 25 0 1 0 20858118 408145920 79775 4294967295 134512640 135987407 3221224576 3221223136 134828101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 99645 79783 364 364 0 99281 0
[pid=6759] vsize: 398580
Current children cumulated CPU time (s) 59.74
Current children cumulated vsize (Kb) 398580

[startup+70.0045 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 132650 0 0 0 6672 300 0 0 25 0 1 0 20858118 405196800 79966 4294967295 134512640 135987407 3221224576 3221223312 134802471 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 98925 79966 364 364 0 98561 0
[pid=6759] vsize: 395700
Current children cumulated CPU time (s) 69.72
Current children cumulated vsize (Kb) 395700

[startup+80.0042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 136480 0 0 0 7661 310 0 0 25 0 1 0 20858118 408121344 80321 4294967295 134512640 135987407 3221224576 3221223184 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 99639 80321 364 364 0 99275 0
[pid=6759] vsize: 398556
Current children cumulated CPU time (s) 79.71
Current children cumulated vsize (Kb) 398556

[startup+90.0039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 136798 0 0 0 8660 311 0 0 25 0 1 0 20858118 409026560 80639 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 99860 80639 364 364 0 99496 0
[pid=6759] vsize: 399440
Current children cumulated CPU time (s) 89.71
Current children cumulated vsize (Kb) 399440

[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 136849 0 0 0 9659 311 0 0 25 0 1 0 20858118 409296896 80690 4294967295 134512640 135987407 3221224576 3221223056 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 99926 80690 364 364 0 99562 0
[pid=6759] vsize: 399704
Current children cumulated CPU time (s) 99.7
Current children cumulated vsize (Kb) 399704

[startup+110.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 138561 0 0 0 10652 317 0 0 25 0 1 0 20858118 410013696 80921 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 100101 80921 364 364 0 99737 0
[pid=6759] vsize: 400404
Current children cumulated CPU time (s) 109.69
Current children cumulated vsize (Kb) 400404

[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 139008 0 0 0 11647 319 0 0 25 0 1 0 20858118 411955200 81368 4294967295 134512640 135987407 3221224576 3221223056 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 100575 81368 364 364 0 100211 0
[pid=6759] vsize: 402300
Current children cumulated CPU time (s) 119.66
Current children cumulated vsize (Kb) 402300

[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 139025 0 0 0 12646 319 0 0 25 0 1 0 20858118 412094464 81385 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 100609 81385 364 364 0 100245 0
[pid=6759] vsize: 402436
Current children cumulated CPU time (s) 129.65
Current children cumulated vsize (Kb) 402436

[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 139053 0 0 0 13646 320 0 0 25 0 1 0 20858118 412241920 81413 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 100645 81413 364 364 0 100281 0
[pid=6759] vsize: 402580
Current children cumulated CPU time (s) 139.66
Current children cumulated vsize (Kb) 402580

[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 139091 0 0 0 14645 320 0 0 25 0 1 0 20858118 412389376 81451 4294967295 134512640 135987407 3221224576 3221223056 134788738 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 100681 81451 364 364 0 100317 0
[pid=6759] vsize: 402724
Current children cumulated CPU time (s) 149.65
Current children cumulated vsize (Kb) 402724

[startup+160.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 139405 0 0 0 15629 326 0 0 25 0 1 0 20858118 414003200 81765 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101075 81765 364 364 0 100711 0
[pid=6759] vsize: 404300
Current children cumulated CPU time (s) 159.55
Current children cumulated vsize (Kb) 404300

[startup+170.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 140951 0 0 0 16623 330 0 0 25 0 1 0 20858118 414183424 81830 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101119 81830 364 364 0 100755 0
[pid=6759] vsize: 404476
Current children cumulated CPU time (s) 169.53
Current children cumulated vsize (Kb) 404476

[startup+180.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141021 0 0 0 17620 331 0 0 25 0 1 0 20858118 414494720 81900 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101195 81900 364 364 0 100831 0
[pid=6759] vsize: 404780
Current children cumulated CPU time (s) 179.51
Current children cumulated vsize (Kb) 404780

[startup+190.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141028 0 0 0 18618 332 0 0 25 0 1 0 20858118 414494720 81907 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101195 81907 364 364 0 100831 0
[pid=6759] vsize: 404780
Current children cumulated CPU time (s) 189.5
Current children cumulated vsize (Kb) 404780

[startup+200.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141044 0 0 0 19614 333 0 0 25 0 1 0 20858118 414494720 81923 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101195 81923 364 364 0 100831 0
[pid=6759] vsize: 404780
Current children cumulated CPU time (s) 199.47
Current children cumulated vsize (Kb) 404780

[startup+210.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141102 0 0 0 20610 336 0 0 25 0 1 0 20858118 414789632 81981 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 101267 81981 364 364 0 100903 0
[pid=6759] vsize: 405068
Current children cumulated CPU time (s) 209.46
Current children cumulated vsize (Kb) 405068

[startup+220.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141149 0 0 0 21608 336 0 0 25 0 1 0 20858118 414953472 82028 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101307 82028 364 364 0 100943 0
[pid=6759] vsize: 405228
Current children cumulated CPU time (s) 219.44
Current children cumulated vsize (Kb) 405228

[startup+230.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141243 0 0 0 22600 340 0 0 25 0 1 0 20858118 415461376 82122 4294967295 134512640 135987407 3221224576 3221223056 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101431 82122 364 364 0 101067 0
[pid=6759] vsize: 405724
Current children cumulated CPU time (s) 229.4
Current children cumulated vsize (Kb) 405724

[startup+240.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141295 0 0 0 23596 342 0 0 25 0 1 0 20858118 415608832 82174 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101467 82174 364 364 0 101103 0
[pid=6759] vsize: 405868
Current children cumulated CPU time (s) 239.38
Current children cumulated vsize (Kb) 405868

[startup+250.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141387 0 0 0 24588 345 0 0 25 0 1 0 20858118 416083968 82266 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101583 82266 364 364 0 101219 0
[pid=6759] vsize: 406332
Current children cumulated CPU time (s) 249.33
Current children cumulated vsize (Kb) 406332

[startup+260.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141425 0 0 0 25586 346 0 0 25 0 1 0 20858118 416247808 82304 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101623 82304 364 364 0 101259 0
[pid=6759] vsize: 406492
Current children cumulated CPU time (s) 259.32
Current children cumulated vsize (Kb) 406492

[startup+270.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141459 0 0 0 26582 347 0 0 25 0 1 0 20858118 416411648 82338 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101663 82338 364 364 0 101299 0
[pid=6759] vsize: 406652
Current children cumulated CPU time (s) 269.29
Current children cumulated vsize (Kb) 406652

[startup+280.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141502 0 0 0 27576 349 0 0 25 0 1 0 20858118 416575488 82381 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101703 82381 364 364 0 101339 0
[pid=6759] vsize: 406812
Current children cumulated CPU time (s) 279.25
Current children cumulated vsize (Kb) 406812

[startup+290.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141623 0 0 0 28567 353 0 0 25 0 1 0 20858118 417067008 82502 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 101823 82502 364 364 0 101459 0
[pid=6759] vsize: 407292
Current children cumulated CPU time (s) 289.2
Current children cumulated vsize (Kb) 407292

[startup+300.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141647 0 0 0 29563 355 0 0 25 0 1 0 20858118 417263616 82526 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 101871 82526 364 364 0 101507 0
[pid=6759] vsize: 407484
Current children cumulated CPU time (s) 299.18
Current children cumulated vsize (Kb) 407484

[startup+310.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141723 0 0 0 30557 357 0 0 25 0 1 0 20858118 417574912 82602 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 101947 82602 364 364 0 101583 0
[pid=6759] vsize: 407788
Current children cumulated CPU time (s) 309.14
Current children cumulated vsize (Kb) 407788

[startup+320.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141800 0 0 0 31549 360 0 0 25 0 1 0 20858118 417935360 82679 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102035 82679 364 364 0 101671 0
[pid=6759] vsize: 408140
Current children cumulated CPU time (s) 319.09
Current children cumulated vsize (Kb) 408140

[startup+330.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141837 0 0 0 32541 363 0 0 25 0 1 0 20858118 418082816 82716 4294967295 134512640 135987407 3221224576 3221223056 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102071 82716 364 364 0 101707 0
[pid=6759] vsize: 408284
Current children cumulated CPU time (s) 329.04
Current children cumulated vsize (Kb) 408284

[startup+340.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141883 0 0 0 33534 366 0 0 25 0 1 0 20858118 418230272 82762 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102107 82762 364 364 0 101743 0
[pid=6759] vsize: 408428
Current children cumulated CPU time (s) 339
Current children cumulated vsize (Kb) 408428

[startup+350.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141902 0 0 0 34525 369 0 0 25 0 1 0 20858118 418377728 82781 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102143 82781 364 364 0 101779 0
[pid=6759] vsize: 408572
Current children cumulated CPU time (s) 348.94
Current children cumulated vsize (Kb) 408572

[startup+360.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 141945 0 0 0 35516 372 0 0 25 0 1 0 20858118 418541568 82824 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102183 82824 364 364 0 101819 0
[pid=6759] vsize: 408732
Current children cumulated CPU time (s) 358.88
Current children cumulated vsize (Kb) 408732

[startup+370.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143444 0 0 0 36509 376 0 0 25 0 1 0 20858118 418541568 82842 4294967295 134512640 135987407 3221224576 3221223184 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102183 82842 364 364 0 101819 0
[pid=6759] vsize: 408732
Current children cumulated CPU time (s) 368.85
Current children cumulated vsize (Kb) 408732

[startup+380.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143455 0 0 0 37504 378 0 0 25 0 1 0 20858118 418541568 82853 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102183 82853 364 364 0 101819 0
[pid=6759] vsize: 408732
Current children cumulated CPU time (s) 378.82
Current children cumulated vsize (Kb) 408732

[startup+390.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143455 0 0 0 38503 379 0 0 25 0 1 0 20858118 418541568 82853 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102183 82853 364 364 0 101819 0
[pid=6759] vsize: 408732
Current children cumulated CPU time (s) 388.82
Current children cumulated vsize (Kb) 408732

[startup+400.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143462 0 0 0 39503 379 0 0 25 0 1 0 20858118 418541568 82860 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102183 82860 364 364 0 101819 0
[pid=6759] vsize: 408732
Current children cumulated CPU time (s) 398.82
Current children cumulated vsize (Kb) 408732

[startup+410.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143473 0 0 0 40497 381 0 0 25 0 1 0 20858118 418689024 82871 4294967295 134512640 135987407 3221224576 3221223056 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102219 82871 364 364 0 101855 0
[pid=6759] vsize: 408876
Current children cumulated CPU time (s) 408.78
Current children cumulated vsize (Kb) 408876

[startup+420.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143502 0 0 0 41490 383 0 0 25 0 1 0 20858118 418836480 82900 4294967295 134512640 135987407 3221224576 3221223056 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102255 82900 364 364 0 101891 0
[pid=6759] vsize: 409020
Current children cumulated CPU time (s) 418.73
Current children cumulated vsize (Kb) 409020

[startup+430.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143523 0 0 0 42483 385 0 0 25 0 1 0 20858118 418836480 82921 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102255 82921 364 364 0 101891 0
[pid=6759] vsize: 409020
Current children cumulated CPU time (s) 428.68
Current children cumulated vsize (Kb) 409020

[startup+440.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143552 0 0 0 43478 386 0 0 25 0 1 0 20858118 418983936 82950 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102291 82950 364 364 0 101927 0
[pid=6759] vsize: 409164
Current children cumulated CPU time (s) 438.64
Current children cumulated vsize (Kb) 409164

[startup+450.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143577 0 0 0 44470 389 0 0 24 0 1 0 20858118 419131392 82975 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102327 82975 364 364 0 101963 0
[pid=6759] vsize: 409308
Current children cumulated CPU time (s) 448.59
Current children cumulated vsize (Kb) 409308

[startup+460.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143594 0 0 0 45464 393 0 0 25 0 1 0 20858118 419131392 82992 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102327 82992 364 364 0 101963 0
[pid=6759] vsize: 409308
Current children cumulated CPU time (s) 458.57
Current children cumulated vsize (Kb) 409308

[startup+470.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 143630 0 0 0 46459 395 0 0 25 0 1 0 20858118 419442688 83028 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102403 83028 364 364 0 102039 0
[pid=6759] vsize: 409612
Current children cumulated CPU time (s) 468.54
Current children cumulated vsize (Kb) 409612

[startup+480.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145118 0 0 0 47453 400 0 0 25 0 1 0 20858118 419442688 83035 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102403 83035 364 364 0 102039 0
[pid=6759] vsize: 409612
Current children cumulated CPU time (s) 478.53
Current children cumulated vsize (Kb) 409612

[startup+490.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145118 0 0 0 48452 400 0 0 25 0 1 0 20858118 419442688 83035 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102403 83035 364 364 0 102039 0
[pid=6759] vsize: 409612
Current children cumulated CPU time (s) 488.52
Current children cumulated vsize (Kb) 409612

[startup+500.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145126 0 0 0 49446 403 0 0 25 0 1 0 20858118 419442688 83043 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102403 83043 364 364 0 102039 0
[pid=6759] vsize: 409612
Current children cumulated CPU time (s) 498.49
Current children cumulated vsize (Kb) 409612

[startup+510.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145126 0 0 0 50444 404 0 0 25 0 1 0 20858118 419442688 83043 4294967295 134512640 135987407 3221224576 3221223056 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102403 83043 364 364 0 102039 0
[pid=6759] vsize: 409612
Current children cumulated CPU time (s) 508.48
Current children cumulated vsize (Kb) 409612

[startup+520.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145134 0 0 0 51443 404 0 0 25 0 1 0 20858118 419442688 83051 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102403 83051 364 364 0 102039 0
[pid=6759] vsize: 409612
Current children cumulated CPU time (s) 518.47
Current children cumulated vsize (Kb) 409612

[startup+530.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145157 0 0 0 52437 406 0 0 25 0 1 0 20858118 419606528 83074 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102443 83074 364 364 0 102079 0
[pid=6759] vsize: 409772
Current children cumulated CPU time (s) 528.43
Current children cumulated vsize (Kb) 409772

[startup+540.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145176 0 0 0 53430 409 0 0 25 0 1 0 20858118 419606528 83093 4294967295 134512640 135987407 3221224576 3221223056 134811850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102443 83093 364 364 0 102079 0
[pid=6759] vsize: 409772
Current children cumulated CPU time (s) 538.39
Current children cumulated vsize (Kb) 409772

[startup+550.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145184 0 0 0 54425 410 0 0 25 0 1 0 20858118 419606528 83101 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102443 83101 364 364 0 102079 0
[pid=6759] vsize: 409772
Current children cumulated CPU time (s) 548.35
Current children cumulated vsize (Kb) 409772

[startup+560.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145236 0 0 0 55412 416 0 0 25 0 1 0 20858118 419753984 83153 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102479 83153 364 364 0 102115 0
[pid=6759] vsize: 409916
Current children cumulated CPU time (s) 558.28
Current children cumulated vsize (Kb) 409916

[startup+570.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145285 0 0 0 56405 418 0 0 25 0 1 0 20858118 420048896 83202 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102551 83202 364 364 0 102187 0
[pid=6759] vsize: 410204
Current children cumulated CPU time (s) 568.23
Current children cumulated vsize (Kb) 410204

[startup+580.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145302 0 0 0 57402 419 0 0 25 0 1 0 20858118 420048896 83219 4294967295 134512640 135987407 3221224576 3221223056 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102551 83219 364 364 0 102187 0
[pid=6759] vsize: 410204
Current children cumulated CPU time (s) 578.21
Current children cumulated vsize (Kb) 410204

[startup+590.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145318 0 0 0 58398 421 0 0 25 0 1 0 20858118 420212736 83235 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102591 83235 364 364 0 102227 0
[pid=6759] vsize: 410364
Current children cumulated CPU time (s) 588.19
Current children cumulated vsize (Kb) 410364

[startup+600.012 s]
Raw data (loadavg): 0.99 1.00 1.00 1/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) T 6758 6759 4060 0 -1 0 145361 0 0 0 59393 423 0 0 25 0 1 0 20858118 420360192 83278 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102627 83278 364 364 0 102263 0
[pid=6759] vsize: 410508
Current children cumulated CPU time (s) 598.16
Current children cumulated vsize (Kb) 410508

[startup+610.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145438 0 0 0 60381 427 0 0 25 0 1 0 20858118 420671488 83355 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102703 83355 364 364 0 102339 0
[pid=6759] vsize: 410812
Current children cumulated CPU time (s) 608.08
Current children cumulated vsize (Kb) 410812

[startup+620.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 145460 0 0 0 61373 429 0 0 25 0 1 0 20858118 420671488 83377 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102703 83377 364 364 0 102339 0
[pid=6759] vsize: 410812
Current children cumulated CPU time (s) 618.02
Current children cumulated vsize (Kb) 410812

[startup+630.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 146943 0 0 0 62367 434 0 0 25 0 1 0 20858118 420671488 83379 4294967295 134512640 135987407 3221224576 3221223056 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102703 83379 364 364 0 102339 0
[pid=6759] vsize: 410812
Current children cumulated CPU time (s) 628.01
Current children cumulated vsize (Kb) 410812

[startup+640.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 146946 0 0 0 63366 434 0 0 25 0 1 0 20858118 420671488 83382 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102703 83382 364 364 0 102339 0
[pid=6759] vsize: 410812
Current children cumulated CPU time (s) 638
Current children cumulated vsize (Kb) 410812

[startup+650.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 146947 0 0 0 64366 434 0 0 25 0 1 0 20858118 420671488 83383 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102703 83383 364 364 0 102339 0
[pid=6759] vsize: 410812
Current children cumulated CPU time (s) 648
Current children cumulated vsize (Kb) 410812

[startup+660.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 146950 0 0 0 65366 434 0 0 25 0 1 0 20858118 420671488 83386 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102703 83386 364 364 0 102339 0
[pid=6759] vsize: 410812
Current children cumulated CPU time (s) 658
Current children cumulated vsize (Kb) 410812

[startup+670.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 146970 0 0 0 66362 436 0 0 25 0 1 0 20858118 420835328 83406 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102743 83406 364 364 0 102379 0
[pid=6759] vsize: 410972
Current children cumulated CPU time (s) 667.98
Current children cumulated vsize (Kb) 410972

[startup+680.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 147035 0 0 0 67349 440 0 0 25 0 1 0 20858118 420999168 83471 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102783 83471 364 364 0 102419 0
[pid=6759] vsize: 411132
Current children cumulated CPU time (s) 677.89
Current children cumulated vsize (Kb) 411132

[startup+690.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 147045 0 0 0 68344 443 0 0 25 0 1 0 20858118 420999168 83481 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102783 83481 364 364 0 102419 0
[pid=6759] vsize: 411132
Current children cumulated CPU time (s) 687.87
Current children cumulated vsize (Kb) 411132

[startup+700.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 147064 0 0 0 69338 445 0 0 25 0 1 0 20858118 421146624 83500 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102819 83500 364 364 0 102455 0
[pid=6759] vsize: 411276
Current children cumulated CPU time (s) 697.83
Current children cumulated vsize (Kb) 411276

[startup+710.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 147092 0 0 0 70332 448 0 0 25 0 1 0 20858118 421146624 83528 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102819 83528 364 364 0 102455 0
[pid=6759] vsize: 411276
Current children cumulated CPU time (s) 707.8
Current children cumulated vsize (Kb) 411276

[startup+720.014 s]
Raw data (loadavg): 0.99 1.00 1.00 1/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) T 6758 6759 4060 0 -1 0 147127 0 0 0 71325 450 0 0 25 0 1 0 20858118 421314560 83563 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102860 83563 364 364 0 102496 0
[pid=6759] vsize: 411440
Current children cumulated CPU time (s) 717.75
Current children cumulated vsize (Kb) 411440

[startup+730.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 147142 0 0 0 72322 451 0 0 25 0 1 0 20858118 421314560 83578 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102860 83578 364 364 0 102496 0
[pid=6759] vsize: 411440
Current children cumulated CPU time (s) 727.73
Current children cumulated vsize (Kb) 411440

[startup+740.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 148631 0 0 0 73316 455 0 0 25 0 1 0 20858118 421314560 83586 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102860 83586 364 364 0 102496 0
[pid=6759] vsize: 411440
Current children cumulated CPU time (s) 737.71
Current children cumulated vsize (Kb) 411440

[startup+750.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 148643 0 0 0 74308 458 0 0 25 0 1 0 20858118 421314560 83598 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102860 83598 364 364 0 102496 0
[pid=6759] vsize: 411440
Current children cumulated CPU time (s) 747.66
Current children cumulated vsize (Kb) 411440

[startup+760.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 148683 0 0 0 75303 459 0 0 25 0 1 0 20858118 421478400 83638 4294967295 134512640 135987407 3221224576 3221223056 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102900 83638 364 364 0 102536 0
[pid=6759] vsize: 411600
Current children cumulated CPU time (s) 757.62
Current children cumulated vsize (Kb) 411600

[startup+770.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 148687 0 0 0 76302 460 0 0 25 0 1 0 20858118 421478400 83642 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102900 83642 364 364 0 102536 0
[pid=6759] vsize: 411600
Current children cumulated CPU time (s) 767.62
Current children cumulated vsize (Kb) 411600

[startup+780.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 148721 0 0 0 77294 463 0 0 25 0 1 0 20858118 421642240 83676 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102940 83676 364 364 0 102576 0
[pid=6759] vsize: 411760
Current children cumulated CPU time (s) 777.57
Current children cumulated vsize (Kb) 411760

[startup+790.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 148727 0 0 0 78291 464 0 0 25 0 1 0 20858118 421642240 83682 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102940 83682 364 364 0 102576 0
[pid=6759] vsize: 411760
Current children cumulated CPU time (s) 787.55
Current children cumulated vsize (Kb) 411760

[startup+800.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 148752 0 0 0 79286 465 0 0 25 0 1 0 20858118 421806080 83707 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102980 83707 364 364 0 102616 0
[pid=6759] vsize: 411920
Current children cumulated CPU time (s) 797.51
Current children cumulated vsize (Kb) 411920

[startup+810.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 148763 0 0 0 80284 466 0 0 25 0 1 0 20858118 421806080 83718 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102980 83718 364 364 0 102616 0
[pid=6759] vsize: 411920
Current children cumulated CPU time (s) 807.5
Current children cumulated vsize (Kb) 411920

[startup+820.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150248 0 0 0 81277 471 0 0 25 0 1 0 20858118 421806080 83722 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102980 83722 364 364 0 102616 0
[pid=6759] vsize: 411920
Current children cumulated CPU time (s) 817.48
Current children cumulated vsize (Kb) 411920

[startup+830.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150253 0 0 0 82273 472 0 0 25 0 1 0 20858118 421806080 83727 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102980 83727 364 364 0 102616 0
[pid=6759] vsize: 411920
Current children cumulated CPU time (s) 827.45
Current children cumulated vsize (Kb) 411920

[startup+840.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150265 0 0 0 83271 472 0 0 25 0 1 0 20858118 421806080 83739 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 102980 83739 364 364 0 102616 0
[pid=6759] vsize: 411920
Current children cumulated CPU time (s) 837.43
Current children cumulated vsize (Kb) 411920

[startup+850.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150276 0 0 0 84266 474 0 0 25 0 1 0 20858118 421806080 83750 4294967295 134512640 135987407 3221224576 3221223056 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102980 83750 364 364 0 102616 0
[pid=6759] vsize: 411920
Current children cumulated CPU time (s) 847.4
Current children cumulated vsize (Kb) 411920

[startup+860.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150283 0 0 0 85263 475 0 0 25 0 1 0 20858118 421806080 83757 4294967295 134512640 135987407 3221224576 3221223056 134812194 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 102980 83757 364 364 0 102616 0
[pid=6759] vsize: 411920
Current children cumulated CPU time (s) 857.38
Current children cumulated vsize (Kb) 411920

[startup+870.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150308 0 0 0 86253 479 0 0 25 0 1 0 20858118 421969920 83782 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 103020 83782 364 364 0 102656 0
[pid=6759] vsize: 412080
Current children cumulated CPU time (s) 867.32
Current children cumulated vsize (Kb) 412080

[startup+880.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150331 0 0 0 87246 481 0 0 25 0 1 0 20858118 422133760 83805 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103060 83805 364 364 0 102696 0
[pid=6759] vsize: 412240
Current children cumulated CPU time (s) 877.27
Current children cumulated vsize (Kb) 412240

[startup+890.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150353 0 0 0 88242 482 0 0 25 0 1 0 20858118 422133760 83827 4294967295 134512640 135987407 3221224576 3221223216 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103060 83827 364 364 0 102696 0
[pid=6759] vsize: 412240
Current children cumulated CPU time (s) 887.24
Current children cumulated vsize (Kb) 412240

[startup+900.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150361 0 0 0 89241 482 0 0 25 0 1 0 20858118 422133760 83835 4294967295 134512640 135987407 3221224576 3221223056 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103060 83835 364 364 0 102696 0
[pid=6759] vsize: 412240
Current children cumulated CPU time (s) 897.23
Current children cumulated vsize (Kb) 412240

[startup+910.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150369 0 0 0 90239 483 0 0 25 0 1 0 20858118 422133760 83843 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103060 83843 364 364 0 102696 0
[pid=6759] vsize: 412240
Current children cumulated CPU time (s) 907.22
Current children cumulated vsize (Kb) 412240

[startup+920.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150383 0 0 0 91234 484 0 0 25 0 1 0 20858118 422133760 83857 4294967295 134512640 135987407 3221224576 3221223056 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103060 83857 364 364 0 102696 0
[pid=6759] vsize: 412240
Current children cumulated CPU time (s) 917.18
Current children cumulated vsize (Kb) 412240

[startup+930.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150397 0 0 0 92226 487 0 0 25 0 1 0 20858118 422297600 83871 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103100 83871 364 364 0 102736 0
[pid=6759] vsize: 412400
Current children cumulated CPU time (s) 927.13
Current children cumulated vsize (Kb) 412400

[startup+940.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150416 0 0 0 93223 488 0 0 25 0 1 0 20858118 422297600 83890 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103100 83890 364 364 0 102736 0
[pid=6759] vsize: 412400
Current children cumulated CPU time (s) 937.11
Current children cumulated vsize (Kb) 412400

[startup+950.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 150436 0 0 0 94211 492 0 0 25 0 1 0 20858118 422461440 83910 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103140 83910 364 364 0 102776 0
[pid=6759] vsize: 412560
Current children cumulated CPU time (s) 947.03
Current children cumulated vsize (Kb) 412560

[startup+960.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151922 0 0 0 95204 497 0 0 25 0 1 0 20858118 428527616 85396 4294967295 134512640 135987407 3221224576 3221222728 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 104621 85396 364 364 0 104257 0
[pid=6759] vsize: 418484
Current children cumulated CPU time (s) 957.01
Current children cumulated vsize (Kb) 418484

[startup+970.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151934 0 0 0 96200 499 0 0 25 0 1 0 20858118 422461440 83927 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 103140 83927 364 364 0 102776 0
[pid=6759] vsize: 412560
Current children cumulated CPU time (s) 966.99
Current children cumulated vsize (Kb) 412560

[startup+980.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151934 0 0 0 97198 500 0 0 25 0 1 0 20858118 422461440 83927 4294967295 134512640 135987407 3221224576 3221223056 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 103140 83927 364 364 0 102776 0
[pid=6759] vsize: 412560
Current children cumulated CPU time (s) 976.98
Current children cumulated vsize (Kb) 412560

[startup+990.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151934 0 0 0 98198 500 0 0 25 0 1 0 20858118 422461440 83927 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 103140 83927 364 364 0 102776 0
[pid=6759] vsize: 412560
Current children cumulated CPU time (s) 986.98
Current children cumulated vsize (Kb) 412560

[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151935 0 0 0 99197 500 0 0 25 0 1 0 20858118 422461440 83928 4294967295 134512640 135987407 3221224576 3221223056 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 103140 83928 364 364 0 102776 0
[pid=6759] vsize: 412560
Current children cumulated CPU time (s) 996.97
Current children cumulated vsize (Kb) 412560

[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151935 0 0 0 100192 501 0 0 25 0 1 0 20858118 422461440 83928 4294967295 134512640 135987407 3221224576 3221222848 134931403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103140 83928 364 364 0 102776 0
[pid=6759] vsize: 412560
Current children cumulated CPU time (s) 1006.93
Current children cumulated vsize (Kb) 412560

[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151935 0 0 0 101192 502 0 0 25 0 1 0 20858118 422461440 83928 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103140 83928 364 364 0 102776 0
[pid=6759] vsize: 412560
Current children cumulated CPU time (s) 1016.94
Current children cumulated vsize (Kb) 412560

[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151937 0 0 0 102185 505 0 0 25 0 1 0 20858118 422461440 83930 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103140 83930 364 364 0 102776 0
[pid=6759] vsize: 412560
Current children cumulated CPU time (s) 1026.9
Current children cumulated vsize (Kb) 412560

[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151960 0 0 0 103178 506 0 0 25 0 1 0 20858118 422658048 83953 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103188 83953 364 364 0 102824 0
[pid=6759] vsize: 412752
Current children cumulated CPU time (s) 1036.84
Current children cumulated vsize (Kb) 412752

[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151962 0 0 0 104173 508 0 0 25 0 1 0 20858118 422658048 83955 4294967295 134512640 135987407 3221224576 3221223056 134812194 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103188 83955 364 364 0 102824 0
[pid=6759] vsize: 412752
Current children cumulated CPU time (s) 1046.81
Current children cumulated vsize (Kb) 412752

[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151963 0 0 0 105168 509 0 0 25 0 1 0 20858118 422658048 83956 4294967295 134512640 135987407 3221224576 3221223056 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103188 83956 364 364 0 102824 0
[pid=6759] vsize: 412752
Current children cumulated CPU time (s) 1056.77
Current children cumulated vsize (Kb) 412752

[startup+1070.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 151968 0 0 0 106166 510 0 0 25 0 1 0 20858118 422658048 83961 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103188 83961 364 364 0 102824 0
[pid=6759] vsize: 412752
Current children cumulated CPU time (s) 1066.76
Current children cumulated vsize (Kb) 412752

[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 153452 0 0 0 107161 514 0 0 25 0 1 0 20858118 422658048 83964 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103188 83964 364 364 0 102824 0
[pid=6759] vsize: 412752
Current children cumulated CPU time (s) 1076.75
Current children cumulated vsize (Kb) 412752

[startup+1090.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 153452 0 0 0 108157 515 0 0 25 0 1 0 20858118 422658048 83964 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103188 83964 364 364 0 102824 0
[pid=6759] vsize: 412752
Current children cumulated CPU time (s) 1086.72
Current children cumulated vsize (Kb) 412752

[startup+1100.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 153453 0 0 0 109156 515 0 0 25 0 1 0 20858118 422658048 83965 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103188 83965 364 364 0 102824 0
[pid=6759] vsize: 412752
Current children cumulated CPU time (s) 1096.71
Current children cumulated vsize (Kb) 412752

[startup+1110.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 153461 0 0 0 110150 518 0 0 25 0 1 0 20858118 422658048 83973 4294967295 134512640 135987407 3221224576 3221223056 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103188 83973 364 364 0 102824 0
[pid=6759] vsize: 412752
Current children cumulated CPU time (s) 1106.68
Current children cumulated vsize (Kb) 412752

[startup+1120.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 153470 0 0 0 111145 519 0 0 25 0 1 0 20858118 422658048 83982 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103188 83982 364 364 0 102824 0
[pid=6759] vsize: 412752
Current children cumulated CPU time (s) 1116.64
Current children cumulated vsize (Kb) 412752

[startup+1130.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 153481 0 0 0 112137 521 0 0 25 0 1 0 20858118 422821888 83993 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103228 83993 364 364 0 102864 0
[pid=6759] vsize: 412912
Current children cumulated CPU time (s) 1126.58
Current children cumulated vsize (Kb) 412912

[startup+1140.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 153502 0 0 0 113129 524 0 0 25 0 1 0 20858118 422821888 84014 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 103228 84014 364 364 0 102864 0
[pid=6759] vsize: 412912
Current children cumulated CPU time (s) 1136.53
Current children cumulated vsize (Kb) 412912

[startup+1150.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 153507 0 0 0 114124 526 0 0 25 0 1 0 20858118 422821888 84019 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 103228 84019 364 364 0 102864 0
[pid=6759] vsize: 412912
Current children cumulated CPU time (s) 1146.5
Current children cumulated vsize (Kb) 412912

[startup+1160.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 153529 0 0 0 115116 529 0 0 25 0 1 0 20858118 422985728 84041 4294967295 134512640 135987407 3221224576 3221223056 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 103268 84041 364 364 0 102904 0
[pid=6759] vsize: 413072
Current children cumulated CPU time (s) 1156.45
Current children cumulated vsize (Kb) 413072

[startup+1170.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 155026 0 0 0 116106 534 0 0 25 0 1 0 20858118 423133184 84057 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103304 84057 364 364 0 102940 0
[pid=6759] vsize: 413216
Current children cumulated CPU time (s) 1166.4
Current children cumulated vsize (Kb) 413216

[startup+1180.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 155026 0 0 0 117104 534 0 0 25 0 1 0 20858118 423133184 84057 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103304 84057 364 364 0 102940 0
[pid=6759] vsize: 413216
Current children cumulated CPU time (s) 1176.38
Current children cumulated vsize (Kb) 413216

[startup+1190.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 155026 0 0 0 118103 535 0 0 25 0 1 0 20858118 423133184 84057 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103304 84057 364 364 0 102940 0
[pid=6759] vsize: 413216
Current children cumulated CPU time (s) 1186.38
Current children cumulated vsize (Kb) 413216

[startup+1200.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 155032 0 0 0 119099 536 0 0 25 0 1 0 20858118 423133184 84063 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103304 84063 364 364 0 102940 0
[pid=6759] vsize: 413216
Current children cumulated CPU time (s) 1196.35
Current children cumulated vsize (Kb) 413216

[startup+1210.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 155038 0 0 0 120090 538 0 0 25 0 1 0 20858118 423133184 84069 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103304 84069 364 364 0 102940 0
[pid=6759] vsize: 413216
Current children cumulated CPU time (s) 1206.28
Current children cumulated vsize (Kb) 413216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6759
Raw data (/proc/6759/stat): 6759 (pb2sat) R 6758 6759 4060 0 -1 0 155038 0 0 0 120091 538 0 0 25 0 1 0 20858118 423133184 84069 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6759/statm): 103304 84069 364 364 0 102940 0
[pid=6759] vsize: 413216
Current children cumulated CPU time (s) 1206.29
Current children cumulated vsize (Kb) 413216

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

Child status: 10
Real time (s): 1211.4
CPU time (s): 1207.66
CPU user time (s): 1202.11
CPU system time (s): 5.55415
CPU usage (%): 99.6919
Max. virtual memory (cumulated for all children) (Kb): 418484

Verifier Data

Verifier:	OK	31