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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-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	920
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.75
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 42829

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 15:52:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26037 boxname=wulflinc6 idbench=1337 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 26037
/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:        712992 kB
Buffers:         20252 kB
Cached:         278832 kB
SwapCached:       1000 kB
Active:          28764 kB
Inactive:       272500 kB
HighTotal:      131008 kB
HighFree:         1316 kB
LowTotal:       903652 kB
LowFree:        711676 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14812 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:12:23 (client local time) WITH STATUS 0 IN 1202.66 SECONDS
stats: 26037 0 1202.66 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.2977/86400
c Decision: 10784/25516	Time: 103.996/86400
c Decision: 10784/25516	Time: 112.795/86400
c Decision: 10784/25516	Time: 121.901/86400
c Decision: 10784/25516	Time: 132.532/86400
c Decision: 10784/25516	Time: 141.962/86400
c Decision: 10784/25516	Time: 150.68/86400
c Decision: 10784/25516	Time: 159.893/86400
c Decision: 10784/25516	Time: 170.395/86400
c Decision: 10784/25516	Time: 180.313/86400
c Decision: 10784/25516	Time: 191.529/86400
c Decision: 10784/25516	Time: 201.873/86400
c Decision: 10784/25516	Time: 212.608/86400
c Decision: 10784/25516	Time: 222.815/86400
c Decision: 10784/25516	Time: 233.111/86400
c Decision: 10784/25516	Time: 243.416/86400
c Decision: 10784/25516	Time: 254.645/86400
c Decision: 10784/25516	Time: 263.374/86400
c Decision: 10784/25516	Time: 274.083/86400
c Decision: 10784/25516	Time: 284.1/86400
c Decision: 10784/25516	Time: 293.844/86400
c Decision: 10784/25516	Time: 304.939/86400
c Decision: 10784/25516	Time: 315.219/86400
c Decision: 10784/25516	Time: 325.86/86400
c Decision: 10784/25516	Time: 337.135/86400
c Decision: 10784/25516	Time: 347.902/86400
c Decision: 10784/25516	Time: 358.156/86400
c Decision: 10784/25516	Time: 369.501/86400
c Decision: 10784/25516	Time: 381.441/86400
c Decision: 10784/25516	Time: 392.008/86400
c Decision: 10784/25516	Time: 403.241/86400
c Decision: 10784/25516	Time: 414.857/86400
c Decision: 10784/25516	Time: 425.956/86400
c Decision: 10784/25516	Time: 437.318/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.93 0.98 0.91 2/54 22945
Raw data (stat): 22945 (runsolver) R 22944 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971987294 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 3890 0 0 0 988 11 0 0 25 0 1 0 971987294 13541376 2531 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3306 2531 301 301 0 3005 0
vsize: 13224
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 4100 0 0 0 1983 16 0 0 25 0 1 0 971987294 14241792 2741 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3477 2741 301 301 0 3176 0
vsize: 13908
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 4254 0 0 0 2979 21 0 0 25 0 1 0 971987294 14663680 2895 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3580 2895 301 301 0 3279 0
vsize: 14320
[startup+40.002 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 4405 0 0 0 3976 24 0 0 25 0 1 0 971987294 17174528 3046 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4193 3046 301 301 0 3892 0
vsize: 16772
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 4525 0 0 0 4972 28 0 0 25 0 1 0 971987294 17453056 3166 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4261 3166 301 301 0 3960 0
vsize: 17044
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 4636 0 0 0 5969 32 0 0 25 0 1 0 971987294 17723392 3277 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4327 3277 301 301 0 4026 0
vsize: 17308
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 4775 0 0 0 6966 36 0 0 25 0 1 0 971987294 18018304 3416 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4399 3416 301 301 0 4098 0
vsize: 17596
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 4895 0 0 0 7963 39 0 0 25 0 1 0 971987294 18288640 3536 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4465 3536 301 301 0 4164 0
vsize: 17860
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 4988 0 0 0 8960 42 0 0 25 0 1 0 971987294 18558976 3629 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4531 3629 301 301 0 4230 0
vsize: 18124
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5139 0 0 0 9956 46 0 0 25 0 1 0 971987294 18706432 3730 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4567 3730 301 301 0 4266 0
vsize: 18268
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5233 0 0 0 10953 48 0 0 25 0 1 0 971987294 18841600 3774 4294967295 134512640 135730672 3221224576 3221222896 134732813 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4600 3774 301 301 0 4299 0
vsize: 18400
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5318 0 0 0 11951 51 0 0 25 0 1 0 971987294 18989056 3809 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4636 3809 301 301 0 4335 0
vsize: 18544
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5392 0 0 0 12946 56 0 0 25 0 1 0 971987294 19136512 3833 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4672 3833 301 301 0 4371 0
vsize: 18688
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5477 0 0 0 13940 60 0 0 25 0 1 0 971987294 19283968 3868 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4708 3868 301 301 0 4407 0
vsize: 18832
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5557 0 0 0 14937 64 0 0 25 0 1 0 971987294 19423232 3898 4294967295 134512640 135730672 3221224576 3221223072 134747751 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.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5655 0 0 0 15933 68 0 0 25 0 1 0 971987294 19566592 3946 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4777 3946 301 301 0 4476 0
vsize: 19108
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5728 0 0 0 16930 72 0 0 25 0 1 0 971987294 19566592 3969 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4777 3969 301 301 0 4476 0
vsize: 19108
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5817 0 0 0 17926 76 0 0 25 0 1 0 971987294 19714048 4008 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4813 4008 301 301 0 4512 0
vsize: 19252
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5894 0 0 0 18922 80 0 0 25 0 1 0 971987294 19853312 4035 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4847 4035 301 301 0 4546 0
vsize: 19388
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 5974 0 0 0 19919 83 0 0 25 0 1 0 971987294 20000768 4065 4294967295 134512640 135730672 3221224576 3221223072 134747751 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.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6044 0 0 0 20916 87 0 0 25 0 1 0 971987294 20000768 4085 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4883 4085 301 301 0 4582 0
vsize: 19532
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6116 0 0 0 21912 91 0 0 25 0 1 0 971987294 20148224 4107 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4919 4107 301 301 0 4618 0
vsize: 19676
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6183 0 0 0 22909 94 0 0 25 0 1 0 971987294 20148224 4124 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4919 4124 301 301 0 4618 0
vsize: 19676
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6243 0 0 0 23907 97 0 0 25 0 1 0 971987294 20148224 4134 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4919 4134 301 301 0 4618 0
vsize: 19676
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6363 0 0 0 24904 100 0 0 25 0 1 0 971987294 20443136 4204 4294967295 134512640 135730672 3221224576 3221223072 134747777 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4991 4204 301 301 0 4690 0
vsize: 19964
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6425 0 0 0 25901 103 0 0 25 0 1 0 971987294 20443136 4216 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4991 4216 301 301 0 4690 0
vsize: 19964
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6485 0 0 0 26899 106 0 0 25 0 1 0 971987294 20443136 4226 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4991 4226 301 301 0 4690 0
vsize: 19964
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6558 0 0 0 27896 110 0 0 25 0 1 0 971987294 20590592 4249 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5027 4249 301 301 0 4726 0
vsize: 20108
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6634 0 0 0 28893 113 0 0 25 0 1 0 971987294 20590592 4275 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5027 4275 301 301 0 4726 0
vsize: 20108
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6713 0 0 0 29890 116 0 0 25 0 1 0 971987294 20738048 4304 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5063 4304 301 301 0 4762 0
vsize: 20252
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6786 0 0 0 30886 120 0 0 25 0 1 0 971987294 20738048 4327 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5063 4327 301 301 0 4762 0
vsize: 20252
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6854 0 0 0 31883 123 0 0 25 0 1 0 971987294 20901888 4345 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5103 4345 301 301 0 4802 0
vsize: 20412
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6919 0 0 0 32881 126 0 0 25 0 1 0 971987294 20901888 4360 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5103 4360 301 301 0 4802 0
vsize: 20412
[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 6972 0 0 0 33878 130 0 0 25 0 1 0 971987294 20901888 4363 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5103 4363 301 301 0 4802 0
vsize: 20412
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7052 0 0 0 34876 132 0 0 25 0 1 0 971987294 21049344 4393 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5139 4393 301 301 0 4838 0
vsize: 20556
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7113 0 0 0 35873 135 0 0 25 0 1 0 971987294 21049344 4404 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5139 4404 301 301 0 4838 0
vsize: 20556
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7124 0 0 0 36871 137 0 0 25 0 1 0 971987294 21049344 4415 4294967295 134512640 135730672 3221224576 3221222824 135285390 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5139 4415 301 301 0 4838 0
vsize: 20556
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7199 0 0 0 37869 140 0 0 25 0 1 0 971987294 21196800 4440 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5175 4440 301 301 0 4874 0
vsize: 20700
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7267 0 0 0 38866 143 0 0 25 0 1 0 971987294 21344256 4458 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5211 4458 301 301 0 4910 0
vsize: 20844
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7337 0 0 0 39864 146 0 0 25 0 1 0 971987294 21344256 4478 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5211 4478 301 301 0 4910 0
vsize: 20844
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7403 0 0 0 40861 149 0 0 25 0 1 0 971987294 21344256 4494 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5211 4494 301 301 0 4910 0
vsize: 20844
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7487 0 0 0 41857 153 0 0 25 0 1 0 971987294 21504000 4528 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5250 4528 301 301 0 4949 0
vsize: 21000
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7548 0 0 0 42855 156 0 0 25 0 1 0 971987294 21504000 4539 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5250 4539 301 301 0 4949 0
vsize: 21000
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 7614 0 0 0 43852 159 0 0 25 0 1 0 971987294 21643264 4555 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5284 4555 301 301 0 4983 0
vsize: 21136
[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 19924 0 0 0 44824 188 0 0 25 0 1 0 971987294 62373888 12662 4294967295 134512640 135730672 3221224576 3221178512 134783984 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15228 12662 301 301 0 14927 0
vsize: 60912
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22945
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 52259 0 0 0 45754 258 0 0 25 0 1 0 971987294 173043712 28447 4294967295 134512640 135730672 3221224576 3221153908 135284063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42247 28448 301 301 0 41946 0
vsize: 168988
[startup+470.014 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 22998
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 69090 0 0 0 46716 295 0 0 25 0 1 0 971987294 191832064 45064 4294967295 134512640 135730672 3221224576 3220733580 135109328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46834 45064 301 301 0 46533 0
vsize: 187336
[startup+480.014 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 22998
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 104516 0 0 0 47643 369 0 0 25 0 1 0 971987294 334680064 58333 4294967295 134512640 135730672 3221224576 3220996688 134786116 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81709 58333 301 301 0 81408 0
vsize: 326836
[startup+490.014 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 22998
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 121623 0 0 0 48604 408 0 0 25 0 1 0 971987294 356577280 75230 4294967295 134512640 135730672 3221224576 3220961952 134546503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87055 75230 301 301 0 86754 0
vsize: 348220
[startup+500.016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22998
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 133279 0 0 0 49580 432 0 0 25 0 1 0 971987294 384098304 84018 4294967295 134512640 135730672 3221224576 3221222900 134747444 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93774 84018 301 301 0 93473 0
vsize: 375096
[startup+510.016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22998
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 137467 0 0 0 50573 440 0 0 25 0 1 0 971987294 396959744 86482 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96914 86482 301 301 0 96613 0
vsize: 387656
[startup+520.016 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22998
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 141153 0 0 0 51567 447 0 0 25 0 1 0 971987294 407601152 88310 4294967295 134512640 135730672 3221224576 3221222928 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99512 88310 301 301 0 99211 0
vsize: 398048
[startup+530.017 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22998
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 142377 0 0 0 52564 450 0 0 25 0 1 0 971987294 410865664 88936 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100309 88936 301 301 0 100008 0
vsize: 401236
[startup+540.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22998
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 147289 0 0 0 53555 459 0 0 25 0 1 0 971987294 423845888 91301 4294967295 134512640 135730672 3221224576 3221222800 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103478 91301 301 301 0 103177 0
vsize: 413912
[startup+550.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 149174 0 0 0 54551 463 0 0 25 0 1 0 971987294 429113344 92179 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104764 92179 301 301 0 104463 0
vsize: 419056
[startup+560.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 150806 0 0 0 55549 467 0 0 25 0 1 0 971987294 433315840 92906 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105790 92906 301 301 0 105489 0
vsize: 423160
[startup+570.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 152145 0 0 0 56546 469 0 0 25 0 1 0 971987294 436989952 93405 4294967295 134512640 135730672 3221224576 3221222624 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106687 93405 301 301 0 106386 0
vsize: 426748
[startup+580.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 153494 0 0 0 57543 473 0 0 25 0 1 0 971987294 441741312 94108 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107847 94108 301 301 0 107546 0
vsize: 431388
[startup+590.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 155163 0 0 0 58539 477 0 0 25 0 1 0 971987294 446767104 94997 4294967295 134512640 135730672 3221224576 3221222800 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109074 94997 301 301 0 108773 0
vsize: 436296
[startup+600.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 156669 0 0 0 59536 481 0 0 25 0 1 0 971987294 450715648 95661 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110038 95661 301 301 0 109737 0
vsize: 440152
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 157595 0 0 0 60534 483 0 0 25 0 1 0 971987294 452816896 96101 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110551 96101 301 301 0 110250 0
vsize: 442204
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 160288 0 0 0 61530 487 0 0 25 0 1 0 971987294 460038144 97214 4294967295 134512640 135730672 3221224576 3221222800 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112314 97214 301 301 0 112013 0
vsize: 449256
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 160785 0 0 0 62529 489 0 0 25 0 1 0 971987294 461086720 97451 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112570 97451 301 301 0 112269 0
vsize: 450280
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 161728 0 0 0 63527 492 0 0 25 0 1 0 971987294 463183872 97877 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113082 97877 301 301 0 112781 0
vsize: 452328
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 163550 0 0 0 64523 496 0 0 25 0 1 0 971987294 467378176 98669 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114106 98669 301 301 0 113805 0
vsize: 456424
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 163989 0 0 0 65522 497 0 0 25 0 1 0 971987294 468430848 98979 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114363 98979 301 301 0 114062 0
vsize: 457452
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 166051 0 0 0 66518 502 0 0 25 0 1 0 971987294 473280512 99910 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115547 99910 301 301 0 115246 0
vsize: 462188
[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 167716 0 0 0 67515 505 0 0 25 0 1 0 971987294 477884416 100576 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116671 100576 301 301 0 116370 0
vsize: 466684
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 169088 0 0 0 68512 509 0 0 25 0 1 0 971987294 481435648 101171 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117538 101171 301 301 0 117237 0
vsize: 470152
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 171180 0 0 0 69508 513 0 0 25 0 1 0 971987294 487337984 101844 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118979 101844 301 301 0 118678 0
vsize: 475916
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 172081 0 0 0 70506 515 0 0 25 0 1 0 971987294 489828352 102132 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119587 102132 301 301 0 119286 0
vsize: 478348
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 173445 0 0 0 71504 518 0 0 25 0 1 0 971987294 493498368 102596 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120483 102596 301 301 0 120182 0
vsize: 481932
[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 174959 0 0 0 72501 521 0 0 25 0 1 0 971987294 497037312 103240 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121347 103240 301 301 0 121046 0
vsize: 485388
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 175581 0 0 0 73500 522 0 0 25 0 1 0 971987294 498610176 103476 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121731 103476 301 301 0 121430 0
vsize: 486924
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 176644 0 0 0 74498 525 0 0 25 0 1 0 971987294 501239808 103957 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122373 103957 301 301 0 122072 0
vsize: 489492
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 178035 0 0 0 75495 528 0 0 25 0 1 0 971987294 504266752 104735 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123112 104735 301 301 0 122811 0
vsize: 492448
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23000
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 179972 0 0 0 76491 532 0 0 25 0 1 0 971987294 509939712 105568 4294967295 134512640 135730672 3221224576 3221222800 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124497 105568 301 301 0 124196 0
vsize: 497988
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 180624 0 0 0 77490 534 0 0 25 0 1 0 971987294 511254528 105959 4294967295 134512640 135730672 3221224576 3221222800 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124818 105959 301 301 0 124517 0
vsize: 499272
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 181253 0 0 0 78489 535 0 0 25 0 1 0 971987294 512958464 106168 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125234 106168 301 301 0 124933 0
vsize: 500936
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 182400 0 0 0 79487 538 0 0 25 0 1 0 971987294 515579904 106672 4294967295 134512640 135730672 3221224576 3221222960 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125874 106672 301 301 0 125573 0
vsize: 503496
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 183684 0 0 0 80485 540 0 0 25 0 1 0 971987294 518725632 107184 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126642 107184 301 301 0 126341 0
vsize: 506568
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 184011 0 0 0 81484 541 0 0 25 0 1 0 971987294 519380992 107349 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126802 107349 301 301 0 126501 0
vsize: 507208
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 185382 0 0 0 82481 545 0 0 25 0 1 0 971987294 523051008 107819 4294967295 134512640 135730672 3221224576 3221222800 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127698 107819 301 301 0 127397 0
vsize: 510792
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 186899 0 0 0 83478 548 0 0 25 0 1 0 971987294 526721024 108435 4294967295 134512640 135730672 3221224576 3221222928 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128594 108435 301 301 0 128293 0
vsize: 514376
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 188615 0 0 0 84474 553 0 0 25 0 1 0 971987294 531324928 109277 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129718 109277 301 301 0 129417 0
vsize: 518872
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 189375 0 0 0 85472 555 0 0 25 0 1 0 971987294 533704704 109743 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130299 109743 301 301 0 129998 0
vsize: 521196
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 190220 0 0 0 86470 557 0 0 25 0 1 0 971987294 536068096 110072 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130876 110072 301 301 0 130575 0
vsize: 523504
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 191467 0 0 0 87467 561 0 0 25 0 1 0 971987294 539217920 110610 4294967295 134512640 135730672 3221224576 3221222800 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131645 110610 301 301 0 131344 0
vsize: 526580
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 193316 0 0 0 88464 565 0 0 25 0 1 0 971987294 544739328 111390 4294967295 134512640 135730672 3221224576 3221222928 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132993 111391 301 301 0 132692 0
vsize: 531972
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 193962 0 0 0 89462 567 0 0 25 0 1 0 971987294 546316288 111712 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133378 111712 301 301 0 133077 0
vsize: 533512
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 195191 0 0 0 90459 570 0 0 25 0 1 0 971987294 548937728 112296 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134018 112296 301 301 0 133717 0
vsize: 536072
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 195556 0 0 0 91459 571 0 0 25 0 1 0 971987294 549724160 112467 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134210 112467 301 301 0 133909 0
vsize: 536840
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 195607 0 0 0 92459 571 0 0 25 0 1 0 971987294 549724160 112518 4294967295 134512640 135730672 3221224576 3221222800 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134210 112518 301 301 0 133909 0
vsize: 536840
[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 196019 0 0 0 93459 572 0 0 25 0 1 0 971987294 550772736 112673 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134466 112673 301 301 0 134165 0
vsize: 537864
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 196781 0 0 0 94458 573 0 0 25 0 1 0 971987294 552345600 113049 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134850 113049 301 301 0 134549 0
vsize: 539400
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 197575 0 0 0 95456 575 0 0 25 0 1 0 971987294 553918464 113457 4294967295 134512640 135730672 3221224576 3221222928 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135234 113457 301 301 0 134933 0
vsize: 540936
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 198793 0 0 0 96455 577 0 0 25 0 1 0 971987294 557330432 113902 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136067 113902 301 301 0 135766 0
vsize: 544268
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 198864 0 0 0 97455 577 0 0 25 0 1 0 971987294 557330432 113973 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136067 113973 301 301 0 135766 0
vsize: 544268
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 199897 0 0 0 98453 579 0 0 25 0 1 0 971987294 559968256 114487 4294967295 134512640 135730672 3221224576 3221222800 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136711 114487 301 301 0 136410 0
vsize: 546844
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 200074 0 0 0 99454 580 0 0 25 0 1 0 971987294 560492544 114535 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136839 114535 301 301 0 136538 0
vsize: 547356
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 200089 0 0 0 100454 580 0 0 25 0 1 0 971987294 560492544 114550 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136839 114550 301 301 0 136538 0
vsize: 547356
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 201189 0 0 0 101452 582 0 0 25 0 1 0 971987294 563638272 114878 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137607 114878 301 301 0 137306 0
vsize: 550428
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 201226 0 0 0 102453 582 0 0 25 0 1 0 971987294 563638272 114915 4294967295 134512640 135730672 3221224576 3221222632 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137607 114915 301 301 0 137306 0
vsize: 550428
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 201267 0 0 0 103453 582 0 0 25 0 1 0 971987294 563638272 114956 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137607 114956 301 301 0 137306 0
vsize: 550428
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 202420 0 0 0 104451 584 0 0 25 0 1 0 971987294 566784000 115337 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138375 115337 301 301 0 138074 0
vsize: 553500
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 202825 0 0 0 105451 585 0 0 25 0 1 0 971987294 567832576 115484 4294967295 134512640 135730672 3221224576 3221222800 134747541 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.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 203645 0 0 0 106449 587 0 0 25 0 1 0 971987294 570195968 115788 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139208 115788 301 301 0 138907 0
vsize: 556832
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 204068 0 0 0 107449 587 0 0 25 0 1 0 971987294 571113472 115984 4294967295 134512640 135730672 3221224576 3221222848 134740386 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139432 115984 301 301 0 139131 0
vsize: 557728
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 204170 0 0 0 108449 588 0 0 25 0 1 0 971987294 571113472 116086 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139432 116086 301 301 0 139131 0
vsize: 557728
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 204173 0 0 0 109450 588 0 0 25 0 1 0 971987294 571113472 116089 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139432 116089 301 301 0 139131 0
vsize: 557728
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 204221 0 0 0 110450 588 0 0 25 0 1 0 971987294 571113472 116137 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139432 116137 301 301 0 139131 0
vsize: 557728
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 205794 0 0 0 111447 591 0 0 25 0 1 0 971987294 575307776 116681 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140456 116681 301 301 0 140155 0
vsize: 561824
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 207137 0 0 0 112445 594 0 0 25 0 1 0 971987294 579391488 117411 4294967295 134512640 135730672 3221224576 3221222636 134739224 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141453 117411 301 301 0 141152 0
vsize: 565812
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 207141 0 0 0 113445 594 0 0 25 0 1 0 971987294 579391488 117415 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141453 117415 301 301 0 141152 0
vsize: 565812
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 207590 0 0 0 114445 595 0 0 25 0 1 0 971987294 581111808 117701 4294967295 134512640 135730672 3221224576 3221222992 134748443 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141873 117701 301 301 0 141572 0
vsize: 567492
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 207689 0 0 0 115445 595 0 0 25 0 1 0 971987294 581373952 117735 4294967295 134512640 135730672 3221224576 3221222800 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141937 117735 301 301 0 141636 0
vsize: 567748
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 208726 0 0 0 116444 596 0 0 25 0 1 0 971987294 585216000 118382 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142875 118382 301 301 0 142574 0
vsize: 571500
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 210075 0 0 0 117441 599 0 0 25 0 1 0 971987294 589164544 119020 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143839 119020 301 301 0 143538 0
vsize: 575356
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 210309 0 0 0 118441 599 0 0 25 0 1 0 971987294 589688832 119125 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143967 119125 301 301 0 143666 0
vsize: 575868
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 211487 0 0 0 119439 602 0 0 25 0 1 0 971987294 592310272 119659 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144607 119659 301 301 0 144306 0
vsize: 578428
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.31 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 23002
Raw data (stat): 22945 (pb2sat-v2) R 22944 25568 25567 0 -1 0 211487 0 0 0 119439 602 0 0 25 0 1 0 971987294 592310272 119659 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144607 119659 301 301 0 144306 0
vsize: 0

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