PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	924
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.71
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 42447

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 07:38:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25653 boxname=wulflinc6 idbench=953 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 25653
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        710464 kB
Buffers:         33436 kB
Cached:         268340 kB
SwapCached:       1028 kB
Active:          35272 kB
Inactive:       268692 kB
HighTotal:      131008 kB
HighFree:         5908 kB
LowTotal:       903652 kB
LowFree:        704556 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14708 kB
Committed_AS:    63836 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:58:12 (client local time) WITH STATUS 0 IN 1202.62 SECONDS
stats: 25653 0 1202.62 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 10784/25516	Time: 94.3227/86400
c Decision: 10784/25516	Time: 104.03/86400
c Decision: 10784/25516	Time: 113.033/86400
c Decision: 10784/25516	Time: 122.143/86400
c Decision: 10784/25516	Time: 133.026/86400
c Decision: 10784/25516	Time: 142.625/86400
c Decision: 10784/25516	Time: 151.449/86400
c Decision: 10784/25516	Time: 160.76/86400
c Decision: 10784/25516	Time: 171.399/86400
c Decision: 10784/25516	Time: 181.428/86400
c Decision: 10784/25516	Time: 192.781/86400
c Decision: 10784/25516	Time: 203.247/86400
c Decision: 10784/25516	Time: 214.111/86400
c Decision: 10784/25516	Time: 224.438/86400
c Decision: 10784/25516	Time: 234.855/86400
c Decision: 10784/25516	Time: 245.219/86400
c Decision: 10784/25516	Time: 256.444/86400
c Decision: 10784/25516	Time: 265.161/86400
c Decision: 10784/25516	Time: 275.869/86400
c Decision: 10784/25516	Time: 285.879/86400
c Decision: 10784/25516	Time: 295.611/86400
c Decision: 10784/25516	Time: 306.689/86400
c Decision: 10784/25516	Time: 316.958/86400
c Decision: 10784/25516	Time: 327.587/86400
c Decision: 10784/25516	Time: 338.849/86400
c Decision: 10784/25516	Time: 349.606/86400
c Decision: 10784/25516	Time: 359.851/86400
c Decision: 10784/25516	Time: 371.184/86400
c Decision: 10784/25516	Time: 383.111/86400
c Decision: 10784/25516	Time: 393.668/86400
c Decision: 10784/25516	Time: 404.887/86400
c Decision: 10784/25516	Time: 416.494/86400
c Decision: 10784/25516	Time: 427.578/86400
c Decision: 10784/25516	Time: 438.919/86400
c got solution with objective value: 1002
c big objective detected
c trying from 0 to 511
s SATISFIABLE
v -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1006_bit0 -x1007_bit0 -x1008_bit0 -x1009_bit0 -x1010_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1015_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1027_bit0 -x1028_bit0 -x1029_bit0 -x1030_bit0 -x1031_bit0 -x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 -x1042_bit0 -x1043_bit0 -x1044_bit0 -x1045_bit0 -x1046_bit0 -x1047_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 -x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1068_bit0 -x1069_bit0 -x1070_bit0 -x1071_bit0 -x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1089_bit0 -x1090_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 x1103_bit0 -x1104_bit0 -x1105_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 -x1119_bit0 -x1120_bit0 -x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1125_bit0 -x1126_bit0 -x1127_bit0 -x1128_bit0 -x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 -x1135_bit0 -x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1142_bit0 x1143_bit0 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1150_bit0 -x1151_bit0 -x1152_bit0 -x1153_bit0 -x1154_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1159_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1171_bit0 -x1172_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 -x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 -x1188_bit0 -x1189_bit0 -x1190_bit0 -x1191_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1212_bit0 -x1213_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 -x1218_bit0 x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 -x1230_bit0 -x1231_bit0 -x1232_bit0 -x1233_bit0 -x1234_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 -x1244_bit0 -x1245_bit0 -x1246_bit0 -x1247_bit0 -x1248_bit0 -x1249_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1269_bit0 -x1270_bit0 -x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 -x1275_bit0 -x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 -x1287_bit0 -x1288_bit0 -x1289_bit0 x1290_bit0 -x1291_bit0 -x1292_bit0 -x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 -x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 -x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 -x1334_bit0 -x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 x1347_bit0 -x1348_bit0 -x1349_bit0 -x1350_bit0 -x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 -x1365_bit0 -x1366_bit0 -x1367_bit0 -x1368_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 -x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 x1383_bit0 -x1384_bit0 -x1385_bit0 -x1386_bit0 -x1387_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1400_bit0 -x1401_bit0 -x1402_bit0 -x1403_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1421_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 -x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 -x1436_bit0 -x1437_bit0 x1438_bit0 -x1439_bit0 -x1440_bit0 -x1441_bit0 -x1442_bit0 -x1443_bit0 -x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 -x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 -x1454_bit0 -x1455_bit0 -x1456_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 x1462_bit0 -x1463_bit0 -x1464_bit0 -x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 -x1473_bit0 -x1474_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1492_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1510_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_bit0 -x1523_bit0 -x1524_bit0 -x1525_bit0 -x1526_bit0 -x1527_bit0 -x1528_bit0 -x1529_bit0 -x1530_bit0 -x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1541_bit0 -x1542_bit0 -x1543_bit0 x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 -x1550_bit0 -x1551_bit0 -x1552_bit0 -x1553_bit0 -x1554_bit0 -x1555_bit0 -x1556_bit0 -x1557_bit0 -x1558_bit0 -x1559_bit0 -x1560_bit0 -x1561_bit0 -x1562_bit0 -x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 -x1574_bit0 -x1575_bit0 -x1576_bit0 -x1577_bit0 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 -x1589_bit0 -x1590_bit0 -x1591_bit0 -x1592_bit0 -x1593_bit0 -x1594_bit0 -x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1608_bit0 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1621_bit0 -x1622_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1629_bit0 -x1630_bit0 -x1631_bit0 x1632_bit0 -x1633_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1638_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1645_bit0 -x1646_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1657_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1661_bit0 -x1662_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1674_bit0 -x1675_bit0 -x1676_bit0 -x1677_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1681_bit0 -x1682_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1689_bit0 -x1690_bit0 -x1691_bit0 -x1692_bit0 -x1693_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1697_bit0 -x1698_bit0 -x1699_bit0 x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1706_bit0 -x1707_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1715_bit0 -x1716_bit0 -x1717_bit0 -x1718_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1730_bit0 -x1731_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 x1735_bit0 -x1736_bit0 -x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 -x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1746_bit0 -x1747_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1759_bit0 -x1760_bit0 -x1761_bit0 x1762_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1767_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1774_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1778_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 -x1790_bit0 -x1791_bit0 -x1792_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1800_bit0 -x1801_bit0 -x1802_bit0 -x1803_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1815_bit0 -x1816_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 -x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1831_bit0 -x1832_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 -x1844_bit0 -x1845_bit0 -x1846_bit0 -x1847_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 -x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 -x1863_bit0 -x1864_bit0 x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1876_bit0 -x1877_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1887_bit0 -x1888_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_bit0 -x1900_bit0 -x1901_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 -x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 -x1915_bit0 -x1916_bit0 -x1917_bit0 -x1918_bit0 -x1919_bit0 -x1920_bit0 -x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 -x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 -x1930_bit0 -x1931_bit0 -x1932_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 -x1938_bit0 -x1939_bit0 -x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1948_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1964_bit0 -x1965_bit0 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_bit0 -x1978_bit0 -x1979_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 -x1986_bit0 -x1987_bit0 -x1988_bit0 -x1989_bit0 -x1990_bit0 -x1991_bit0 -x1992_bit0 -x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 -x2000_bit0 -x2001_bit0 -x2002_bit0 -x2003_bit0 -x2004_bit0 -x2005_bit0 -x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 x2011_bit0 -x2012_bit0 -x2013_bit0 -x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 -x250_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x301_bit0 x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x355_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x364_bit0 -x365_bit0 -x366_bit0 -x367_bit0 -x368_bit0 -x369_bit0 -x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x378_bit0 -x379_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x388_bit0 -x389_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 x401_bit0 -x402_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 -x426_bit0 -x427_bit0 -x428_bit0 x429_bit0 -x430_bit0 -x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 -x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 -x455_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x462_bit0 -x463_bit0 -x464_bit0 -x465_bit0 -x466_bit0 -x467_bit0 -x468_bit0 x469_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x477_bit0 -x478_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x487_bit0 -x488_bit0 -x489_bit0 -x490_bit0 -x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x504_bit0 -x505_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x518_bit0 -x519_bit0 -x520_bit0 -x521_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x534_bit0 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x547_bit0 -x548_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x557_bit0 -x558_bit0 -x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x574_bit0 -x575_bit0 -x576_bit0 -x577_bit0 -x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 -x589_bit0 -x590_bit0 -x591_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x604_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 x619_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 -x632_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x649_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x664_bit0 -x665_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x681_bit0 -x682_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x695_bit0 -x696_bit0 -x697_bit0 -x698_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 -x710_bit0 x711_bit0 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x734_bit0 -x735_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x751_bit0 -x752_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0 -x767_bit0 -x768_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 x778_bit0 -x779_bit0 -x780_bit0 -x781_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x794_bit0 -x795_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x819_bit0 x820_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x829_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x833_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x844_bit0 -x845_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x852_bit0 -x853_bit0 -x854_bit0 -x855_bit0 -x856_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x860_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x864_bit0 -x865_bit0 -x866_bit0 -x867_bit0 -x868_bit0 -x869_bit0 -x870_bit0 x871_bit0 -x872_bit0 -x873_bit0 -x874_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x881_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x894_bit0 -x895_bit0 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x904_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x908_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x919_bit0 -x920_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x927_bit0 -x928_bit0 -x929_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x933_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x937_bit0 -x938_bit0 -x939_bit0 x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x944_bit0 -x945_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x953_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x957_bit0 -x958_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x963_bit0 -x964_bit0 -x965_bit0 -x966_bit0 -x967_bit0 -x968_bit0 -x969_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x981_bit0 -x982_bit0 -x983_bit0 -x984_bit0 -x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 -x992_bit0 -x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x998_bit0 x999_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 16452
Raw data (stat): 16452 (runsolver) R 16451 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969021765 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 3889 0 0 0 987 12 0 0 25 0 1 0 969021765 13541376 2530 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3306 2530 301 301 0 3005 0
vsize: 13224
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 4099 0 0 0 1983 16 0 0 25 0 1 0 969021765 14241792 2740 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3477 2740 301 301 0 3176 0
vsize: 13908
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 4253 0 0 0 2981 19 0 0 25 0 1 0 969021765 14663680 2894 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3580 2894 301 301 0 3279 0
vsize: 14320
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 4405 0 0 0 3977 23 0 0 25 0 1 0 969021765 17174528 3046 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4193 3046 301 301 0 3892 0
vsize: 16772
[startup+50.0009 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 4524 0 0 0 4973 27 0 0 25 0 1 0 969021765 17453056 3165 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4261 3165 301 301 0 3960 0
vsize: 17044
[startup+60.0016 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 4635 0 0 0 5971 30 0 0 25 0 1 0 969021765 17723392 3276 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4327 3276 301 301 0 4026 0
vsize: 17308
[startup+70.0012 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 4774 0 0 0 6968 33 0 0 25 0 1 0 969021765 18018304 3415 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4399 3415 301 301 0 4098 0
vsize: 17596
[startup+80.0013 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 4895 0 0 0 7963 38 0 0 25 0 1 0 969021765 18288640 3536 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4465 3536 301 301 0 4164 0
vsize: 17860
[startup+90.0008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 4988 0 0 0 8959 42 0 0 25 0 1 0 969021765 18558976 3629 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4531 3629 301 301 0 4230 0
vsize: 18124
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5139 0 0 0 9955 46 0 0 25 0 1 0 969021765 18706432 3730 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4567 3730 301 301 0 4266 0
vsize: 18268
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5233 0 0 0 10952 49 0 0 25 0 1 0 969021765 18841600 3774 4294967295 134512640 135730672 3221224576 3221222868 135281170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4600 3774 301 301 0 4299 0
vsize: 18400
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5318 0 0 0 11950 52 0 0 25 0 1 0 969021765 18989056 3809 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4636 3809 301 301 0 4335 0
vsize: 18544
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5391 0 0 0 12947 55 0 0 25 0 1 0 969021765 19136512 3832 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4672 3832 301 301 0 4371 0
vsize: 18688
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5476 0 0 0 13943 59 0 0 25 0 1 0 969021765 19283968 3867 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4708 3867 301 301 0 4407 0
vsize: 18832
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5557 0 0 0 14940 62 0 0 25 0 1 0 969021765 19423232 3898 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4742 3898 301 301 0 4441 0
vsize: 18968
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5654 0 0 0 15936 66 0 0 25 0 1 0 969021765 19566592 3945 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4777 3945 301 301 0 4476 0
vsize: 19108
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5727 0 0 0 16933 69 0 0 25 0 1 0 969021765 19566592 3968 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4777 3968 301 301 0 4476 0
vsize: 19108
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5816 0 0 0 17930 73 0 0 25 0 1 0 969021765 19714048 4007 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4813 4007 301 301 0 4512 0
vsize: 19252
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5890 0 0 0 18927 76 0 0 25 0 1 0 969021765 19853312 4031 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4847 4031 301 301 0 4546 0
vsize: 19388
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 5974 0 0 0 19923 79 0 0 25 0 1 0 969021765 20000768 4065 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4883 4065 301 301 0 4582 0
vsize: 19532
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6043 0 0 0 20920 83 0 0 25 0 1 0 969021765 20000768 4084 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4883 4084 301 301 0 4582 0
vsize: 19532
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6115 0 0 0 21917 86 0 0 25 0 1 0 969021765 20148224 4106 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4919 4106 301 301 0 4618 0
vsize: 19676
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6176 0 0 0 22913 90 0 0 25 0 1 0 969021765 20148224 4117 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4919 4117 301 301 0 4618 0
vsize: 19676
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6237 0 0 0 23910 94 0 0 25 0 1 0 969021765 20148224 4128 4294967295 134512640 135730672 3221224576 3221223168 134763611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4919 4128 301 301 0 4618 0
vsize: 19676
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6354 0 0 0 24907 97 0 0 25 0 1 0 969021765 20295680 4195 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4955 4195 301 301 0 4654 0
vsize: 19820
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6418 0 0 0 25903 101 0 0 25 0 1 0 969021765 20443136 4209 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4991 4209 301 301 0 4690 0
vsize: 19964
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6484 0 0 0 26900 104 0 0 25 0 1 0 969021765 20443136 4225 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4991 4225 301 301 0 4690 0
vsize: 19964
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6557 0 0 0 27898 107 0 0 25 0 1 0 969021765 20590592 4248 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5027 4248 301 301 0 4726 0
vsize: 20108
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6633 0 0 0 28894 111 0 0 25 0 1 0 969021765 20590592 4274 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5027 4274 301 301 0 4726 0
vsize: 20108
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6704 0 0 0 29891 114 0 0 25 0 1 0 969021765 20738048 4295 4294967295 134512640 135730672 3221224576 3221223072 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5063 4295 301 301 0 4762 0
vsize: 20252
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6785 0 0 0 30889 117 0 0 25 0 1 0 969021765 20738048 4326 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5063 4326 301 301 0 4762 0
vsize: 20252
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6849 0 0 0 31886 120 0 0 25 0 1 0 969021765 20901888 4340 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5103 4340 301 301 0 4802 0
vsize: 20412
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6918 0 0 0 32884 122 0 0 25 0 1 0 969021765 20901888 4359 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5103 4359 301 301 0 4802 0
vsize: 20412
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6922 0 0 0 33881 126 0 0 25 0 1 0 969021765 20901888 4363 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5103 4363 301 301 0 4802 0
vsize: 20412
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 6996 0 0 0 34877 130 0 0 25 0 1 0 969021765 21049344 4387 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5139 4387 301 301 0 4838 0
vsize: 20556
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 7063 0 0 0 35875 133 0 0 25 0 1 0 969021765 21049344 4404 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5139 4404 301 301 0 4838 0
vsize: 20556
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 7119 0 0 0 36872 136 0 0 25 0 1 0 969021765 21049344 4410 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5139 4410 301 301 0 4838 0
vsize: 20556
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 7189 0 0 0 37868 140 0 0 25 0 1 0 969021765 21196800 4430 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5175 4430 301 301 0 4874 0
vsize: 20700
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 7263 0 0 0 38865 143 0 0 25 0 1 0 969021765 21196800 4454 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5175 4454 301 301 0 4874 0
vsize: 20700
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 7328 0 0 0 39862 147 0 0 25 0 1 0 969021765 21344256 4469 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5211 4469 301 301 0 4910 0
vsize: 20844
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 7402 0 0 0 40858 150 0 0 25 0 1 0 969021765 21344256 4493 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5211 4493 301 301 0 4910 0
vsize: 20844
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 7486 0 0 0 41855 155 0 0 25 0 1 0 969021765 21504000 4527 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5250 4527 301 301 0 4949 0
vsize: 21000
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 7547 0 0 0 42852 157 0 0 25 0 1 0 969021765 21504000 4538 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5250 4538 301 301 0 4949 0
vsize: 21000
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 7559 0 0 0 43850 160 0 0 25 0 1 0 969021765 21643264 4550 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5284 4550 301 301 0 4983 0
vsize: 21136
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 16857 0 0 0 44829 181 0 0 25 0 1 0 969021765 49524736 9630 4294967295 134512640 135730672 3221224576 3220437720 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12091 9631 301 301 0 11790 0
vsize: 48364
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 50898 0 0 0 45761 250 0 0 25 0 1 0 969021765 156266496 27110 4294967295 134512640 135730672 3221224576 3221066904 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38151 27110 301 301 0 37850 0
vsize: 152604
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 66829 0 0 0 46725 286 0 0 25 0 1 0 969021765 188723200 42829 4294967295 134512640 135730672 3221224576 3220999024 134786288 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46075 42830 301 301 0 45774 0
vsize: 184300
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 103203 0 0 0 47652 360 0 0 25 0 1 0 969021765 334680064 57044 4294967295 134512640 135730672 3221224576 3221186616 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81709 57044 301 301 0 81408 0
vsize: 326836
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 120026 0 0 0 48616 396 0 0 25 0 1 0 969021765 354279424 73652 4294967295 134512640 135730672 3221224576 3221154600 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86494 73652 301 301 0 86193 0
vsize: 345976
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 132890 0 0 0 49589 423 0 0 25 0 1 0 969021765 382910464 83856 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93484 83856 301 301 0 93183 0
vsize: 373936
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 137132 0 0 0 50581 431 0 0 25 0 1 0 969021765 395890688 86246 4294967295 134512640 135730672 3221224576 3221222892 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96653 86246 301 301 0 96352 0
vsize: 386612
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 141086 0 0 0 51573 439 0 0 25 0 1 0 969021765 407334912 88276 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99447 88276 301 301 0 99146 0
vsize: 397788
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 142377 0 0 0 52572 442 0 0 25 0 1 0 969021765 410865664 88936 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100309 88936 301 301 0 100008 0
vsize: 401236
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 147289 0 0 0 53563 450 0 0 25 0 1 0 969021765 423845888 91301 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103478 91301 301 301 0 103177 0
vsize: 413912
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 149074 0 0 0 54560 454 0 0 25 0 1 0 969021765 428851200 92144 4294967295 134512640 135730672 3221224576 3221222928 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104700 92144 301 301 0 104399 0
vsize: 418800
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 150806 0 0 0 55557 457 0 0 25 0 1 0 969021765 433315840 92906 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105790 92906 301 301 0 105489 0
vsize: 423160
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 152145 0 0 0 56556 459 0 0 25 0 1 0 969021765 436989952 93405 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106687 93405 301 301 0 106386 0
vsize: 426748
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 153494 0 0 0 57553 462 0 0 25 0 1 0 969021765 441741312 94108 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107847 94108 301 301 0 107546 0
vsize: 431388
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 155163 0 0 0 58550 466 0 0 25 0 1 0 969021765 446767104 94997 4294967295 134512640 135730672 3221224576 3221222800 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109074 94997 301 301 0 108773 0
vsize: 436296
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 156794 0 0 0 59547 468 0 0 25 0 1 0 969021765 451112960 95720 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110135 95720 301 301 0 109834 0
vsize: 440540
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 157595 0 0 0 60546 470 0 0 25 0 1 0 969021765 452816896 96101 4294967295 134512640 135730672 3221224576 3221222992 134748461 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110551 96101 301 301 0 110250 0
vsize: 442204
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 160294 0 0 0 61540 476 0 0 25 0 1 0 969021765 460038144 97220 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112314 97220 301 301 0 112013 0
vsize: 449256
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 160785 0 0 0 62540 477 0 0 25 0 1 0 969021765 461086720 97451 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112570 97451 301 301 0 112269 0
vsize: 450280
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 161728 0 0 0 63538 479 0 0 25 0 1 0 969021765 463183872 97877 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113082 97877 301 301 0 112781 0
vsize: 452328
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 163572 0 0 0 64535 483 0 0 25 0 1 0 969021765 467378176 98691 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114106 98691 301 301 0 113805 0
vsize: 456424
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 164084 0 0 0 65534 483 0 0 25 0 1 0 969021765 468692992 99009 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114427 99009 301 301 0 114126 0
vsize: 457708
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 166283 0 0 0 66530 488 0 0 25 0 1 0 969021765 474083328 100076 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115743 100076 301 301 0 115442 0
vsize: 462972
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 167716 0 0 0 67528 491 0 0 25 0 1 0 969021765 477884416 100576 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116671 100576 301 301 0 116370 0
vsize: 466684
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 169594 0 0 0 68525 494 0 0 25 0 1 0 969021765 482877440 101322 4294967295 134512640 135730672 3221224576 3221222800 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117890 101322 301 301 0 117589 0
vsize: 471560
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 171522 0 0 0 69521 498 0 0 25 0 1 0 969021765 488386560 101929 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119235 101929 301 301 0 118934 0
vsize: 476940
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 172081 0 0 0 70520 500 0 0 25 0 1 0 969021765 489828352 102132 4294967295 134512640 135730672 3221224576 3221222928 134748200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119587 102132 301 301 0 119286 0
vsize: 478348
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 174295 0 0 0 71517 504 0 0 25 0 1 0 969021765 495464448 102962 4294967295 134512640 135730672 3221224576 3221222668 135291238 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120963 102963 301 301 0 120662 0
vsize: 483852
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 175531 0 0 0 72514 506 0 0 25 0 1 0 969021765 498610176 103426 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121731 103426 301 301 0 121430 0
vsize: 486924
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 175622 0 0 0 73514 507 0 0 25 0 1 0 969021765 498610176 103517 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121731 103517 301 301 0 121430 0
vsize: 486924
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 177113 0 0 0 74512 509 0 0 25 0 1 0 969021765 502693888 104199 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122728 104199 301 301 0 122427 0
vsize: 490912
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 178116 0 0 0 75511 511 0 0 25 0 1 0 969021765 504528896 104751 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 123176 104751 301 301 0 122875 0
vsize: 492704
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 180180 0 0 0 76508 514 0 0 25 0 1 0 969021765 510599168 105678 4294967295 134512640 135730672 3221224576 3221222800 134747899 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 124658 105678 301 301 0 124357 0
vsize: 498632
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 180817 0 0 0 77508 515 0 0 25 0 1 0 969021765 511647744 106054 4294967295 134512640 135730672 3221224576 3221222800 134747525 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 124914 106054 301 301 0 124613 0
vsize: 499656
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 181803 0 0 0 78506 517 0 0 25 0 1 0 969021765 514007040 106461 4294967295 134512640 135730672 3221224576 3221222800 134747708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125490 106461 301 301 0 125189 0
vsize: 501960
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 183079 0 0 0 79505 519 0 0 25 0 1 0 969021765 517152768 106965 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126258 106965 301 301 0 125957 0
vsize: 505032
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 183685 0 0 0 80504 520 0 0 25 0 1 0 969021765 518725632 107185 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126642 107185 301 301 0 126341 0
vsize: 506568
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 184018 0 0 0 81504 521 0 0 25 0 1 0 969021765 519380992 107356 4294967295 134512640 135730672 3221224576 3221222800 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126802 107356 301 301 0 126501 0
vsize: 507208
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 186249 0 0 0 82500 524 0 0 25 0 1 0 969021765 525148160 108171 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128210 108171 301 301 0 127909 0
vsize: 512840
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 187297 0 0 0 83499 526 0 0 25 0 1 0 969021765 527507456 108639 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128786 108639 301 301 0 128485 0
vsize: 515144
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 188960 0 0 0 84495 530 0 0 25 0 1 0 969021765 532516864 109492 4294967295 134512640 135730672 3221224576 3221222928 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130009 109492 301 301 0 129708 0
vsize: 520036
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 189663 0 0 0 85494 531 0 0 25 0 1 0 969021765 534495232 109901 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130492 109901 301 301 0 130191 0
vsize: 521968
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 190993 0 0 0 86492 534 0 0 25 0 1 0 969021765 538165248 110330 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131388 110330 301 301 0 131087 0
vsize: 525552
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 191488 0 0 0 87492 534 0 0 25 0 1 0 969021765 539217920 110631 4294967295 134512640 135730672 3221224576 3221222960 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131645 110631 301 301 0 131344 0
vsize: 526580
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 193702 0 0 0 88488 539 0 0 25 0 1 0 969021765 545525760 111582 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133185 111582 301 301 0 132884 0
vsize: 532740
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 194778 0 0 0 89486 540 0 0 25 0 1 0 969021765 547889152 112142 4294967295 134512640 135730672 3221224576 3221222928 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133762 112142 301 301 0 133461 0
vsize: 535048
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 195265 0 0 0 90486 541 0 0 25 0 1 0 969021765 549199872 112305 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134082 112305 301 301 0 133781 0
vsize: 536328
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 195590 0 0 0 91486 542 0 0 25 0 1 0 969021765 549724160 112501 4294967295 134512640 135730672 3221224576 3221222624 134732625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134210 112501 301 301 0 133909 0
vsize: 536840
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 195608 0 0 0 92486 542 0 0 25 0 1 0 969021765 549724160 112519 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134210 112519 301 301 0 133909 0
vsize: 536840
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 196044 0 0 0 93485 543 0 0 25 0 1 0 969021765 550772736 112698 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134466 112698 301 301 0 134165 0
vsize: 537864
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 197510 0 0 0 94483 546 0 0 25 0 1 0 969021765 553918464 113392 4294967295 134512640 135730672 3221224576 3221222960 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135234 113392 301 301 0 134933 0
vsize: 540936
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 197989 0 0 0 95482 547 0 0 25 0 1 0 969021765 554967040 113614 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135490 113614 301 301 0 135189 0
vsize: 541960
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 198839 0 0 0 96481 548 0 0 25 0 1 0 969021765 557330432 113948 4294967295 134512640 135730672 3221224576 3221222848 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136067 113948 301 301 0 135766 0
vsize: 544268
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 198865 0 0 0 97481 549 0 0 25 0 1 0 969021765 557330432 113974 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136067 113974 301 301 0 135766 0
vsize: 544268
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 200072 0 0 0 98479 551 0 0 25 0 1 0 969021765 560492544 114533 4294967295 134512640 135730672 3221224576 3221222800 134747922 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136839 114533 301 301 0 136538 0
vsize: 547356
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 200087 0 0 0 99480 551 0 0 25 0 1 0 969021765 560492544 114548 4294967295 134512640 135730672 3221224576 3221222784 134732847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136839 114548 301 301 0 136538 0
vsize: 547356
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 200387 0 0 0 100479 552 0 0 25 0 1 0 969021765 561541120 114591 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137095 114591 301 301 0 136794 0
vsize: 548380
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 201225 0 0 0 101478 553 0 0 25 0 1 0 969021765 563638272 114914 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137607 114914 301 301 0 137306 0
vsize: 550428
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 201239 0 0 0 102478 553 0 0 25 0 1 0 969021765 563638272 114928 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137607 114928 301 301 0 137306 0
vsize: 550428
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 201810 0 0 0 103478 554 0 0 25 0 1 0 969021765 565211136 115113 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137991 115113 301 301 0 137690 0
vsize: 551964
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 202618 0 0 0 104477 556 0 0 25 0 1 0 969021765 567308288 115406 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138503 115406 301 301 0 138202 0
vsize: 554012
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 202825 0 0 0 105477 556 0 0 25 0 1 0 969021765 567832576 115484 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138631 115484 301 301 0 138330 0
vsize: 554524
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 204067 0 0 0 106474 559 0 0 25 0 1 0 969021765 571113472 115983 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139432 115983 301 301 0 139131 0
vsize: 557728
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 204069 0 0 0 107475 559 0 0 25 0 1 0 969021765 571113472 115985 4294967295 134512640 135730672 3221224576 3221222928 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139432 115985 301 301 0 139131 0
vsize: 557728
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 204171 0 0 0 108475 559 0 0 25 0 1 0 969021765 571113472 116087 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139432 116087 301 301 0 139131 0
vsize: 557728
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 204220 0 0 0 109475 559 0 0 25 0 1 0 969021765 571113472 116136 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139432 116136 301 301 0 139131 0
vsize: 557728
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 205154 0 0 0 110474 561 0 0 25 0 1 0 969021765 573734912 116427 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140072 116427 301 301 0 139771 0
vsize: 560288
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 206296 0 0 0 111473 562 0 0 25 0 1 0 969021765 576356352 116926 4294967295 134512640 135730672 3221224576 3221222944 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140712 116926 301 301 0 140411 0
vsize: 562848
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 207138 0 0 0 112471 564 0 0 25 0 1 0 969021765 579391488 117412 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141453 117412 301 301 0 141152 0
vsize: 565812
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 207142 0 0 0 113471 565 0 0 25 0 1 0 969021765 579391488 117416 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141453 117416 301 301 0 141152 0
vsize: 565812
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 207603 0 0 0 114471 565 0 0 25 0 1 0 969021765 581111808 117714 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141873 117714 301 301 0 141572 0
vsize: 567492
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 208432 0 0 0 115469 567 0 0 25 0 1 0 969021765 584159232 118218 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142617 118218 301 301 0 142316 0
vsize: 570468
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 208847 0 0 0 116469 568 0 0 25 0 1 0 969021765 585216000 118503 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142875 118503 301 301 0 142574 0
vsize: 571500
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 210308 0 0 0 117466 571 0 0 25 0 1 0 969021765 589688832 119124 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143967 119124 301 301 0 143666 0
vsize: 575868
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 211009 0 0 0 118465 572 0 0 25 0 1 0 969021765 591261696 119439 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144351 119439 301 301 0 144050 0
vsize: 577404
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 211505 0 0 0 119464 573 0 0 25 0 1 0 969021765 592310272 119677 4294967295 134512640 135730672 3221224576 3221222800 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144607 119677 301 301 0 144306 0
vsize: 578428
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.27 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 16452
Raw data (stat): 16452 (pb2sat-v2) R 16451 25568 25567 0 -1 0 211505 0 0 0 119464 573 0 0 25 0 1 0 969021765 592310272 119677 4294967295 134512640 135730672 3221224576 3221222800 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144607 119677 301 301 0 144306 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.27
CPU time (s): 1202.62
CPU user time (s): 1196.65
CPU system time (s): 5.97509
CPU usage (%): 100.029
Max. virtual memory (Kb): 578428
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1002
#### END VERIFIER DATA ####