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/miplib3/normalized-mps-v2-13-7-p2756.opb
MD5SUM	49fba7b1c2f3e65c53f8418d126e3ec3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4605
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06684
Number of variables	2756
Total number of constraints	3511
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	2976
Number of constraints which are nor clauses,nor cardinality constraints	403
Minimum length of a constraint	1
Maximum length of a constraint	546
Trace number 42930

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 18:32:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26142 boxname=wulflinc5 idbench=1442 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  49fba7b1c2f3e65c53f8418d126e3ec3  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 26142
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        703752 kB
Buffers:         27460 kB
Cached:         280668 kB
SwapCached:        660 kB
Active:          24916 kB
Inactive:       285216 kB
HighTotal:      131008 kB
HighFree:         1988 kB
LowTotal:       903652 kB
LowFree:        701764 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15160 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:52:43 (client local time) WITH STATUS 0 IN 1202.44 SECONDS
stats: 26142 0 1202.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 187595
c big objective detected
c trying from 0 to 511

c Decision: 98851/1421594	Time: 751.281/86400
c Decision: 98851/1421594	Time: 876.875/86400
c Decision: 98851/1421594	Time: 1003.46/86400s SATISFIABLE
v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 C1005_bit0 -C1006_bit0 -C1007_bit0 C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 C1012_bit0 C1013_bit0 -C1014_bit0 -C1015_bit0 C1016_bit0 C1017_bit0 C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 C1026_bit0 C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 C1031_bit0 -C1032_bit0 -C1033_bit0 C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 C1039_bit0 -C1040_bit0 C1041_bit0 C1042_bit0 C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 C1064_bit0 C1065_bit0 -C1066_bit0 C1067_bit0 -C1068_bit0 C1069_bit0 -C1070_bit0 -C1071_bit0 C1072_bit0 C1073_bit0 C1074_bit0 C1075_bit0 -C1076_bit0 -C1077_bit0 C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 C1087_bit0 -C1088_bit0 -C1089_bit0 C1090_bit0 C1091_bit0 -C1092_bit0 C1093_bit0 -C1094_bit0 -C1095_bit0 C1096_bit0 -C1097_bit0 C1098_bit0 -C1099_bit0 C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 C1113_bit0 C1114_bit0 -C1115_bit0 -C1116_bit0 C1117_bit0 -C1118_bit0 -C1119_bit0 C1120_bit0 C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 C1127_bit0 -C1128_bit0 C1129_bit0 C1130_bit0 -C1131_bit0 -C1132_bit0 C1133_bit0 C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 C1140_bit0 C1141_bit0 -C1142_bit0 -C1143_bit0 C1144_bit0 -C1145_bit0 -C1146_bit0 C1147_bit0 C1148_bit0 -C1149_bit0 C1150_bit0 -C1151_bit0 C1152_bit0 C1153_bit0 -C1154_bit0 C1155_bit0 C1156_bit0 C1157_bit0 C1158_bit0 -C1159_bit0 -C1160_bit0 C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 C1165_bit0 C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 C1170_bit0 -C1171_bit0 -C1172_bit0 C1173_bit0 C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 C1178_bit0 -C1179_bit0 C1180_bit0 C1181_bit0 C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 C1195_bit0 C1196_bit0 C1197_bit0 -C1198_bit0 C1199_bit0 -C1200_bit0 -C1201_bit0 -C1202_bit0 C1203_bit0 C1204_bit0 -C1205_bit0 C1206_bit0 -C1207_bit0 -C1208_bit0 -C1209_bit0 -C1210_bit0 C1211_bit0 C1212_bit0 C1213_bit0 C1214_bit0 C1215_bit0 -C1216_bit0 C1217_bit0 -C1218_bit0 -C1219_bit0 -C1220_bit0 C1221_bit0 C1222_bit0 -C1223_bit0 C1224_bit0 -C1225_bit0 C1226_bit0 -C1227_bit0 -C1228_bit0 C1229_bit0 C1230_bit0 -C1231_bit0 C1232_bit0 -C1233_bit0 -C1234_bit0 C1235_bit0 -C1236_bit0 C1237_bit0 -C1238_bit0 C1239_bit0 C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 -C1246_bit0 -C1247_bit0 -C1248_bit0 -C1249_bit0 -C1250_bit0 -C1251_bit0 C1252_bit0 C1253_bit0 -C1254_bit0 -C1255_bit0 C1256_bit0 -C1257_bit0 -C1258_bit0 -C1259_bit0 C1260_bit0 -C1261_bit0 -C1262_bit0 C1263_bit0 -C1264_bit0 -C1265_bit0 C1266_bit0 -C1267_bit0 C1268_bit0 C1269_bit0 -C1270_bit0 C1271_bit0 C1272_bit0 -C1273_bit0 C1274_bit0 -C1275_bit0 C1276_bit0 -C1277_bit0 -C1278_bit0 C1279_bit0 C1280_bit0 C1281_bit0 -C1282_bit0 -C1283_bit0 -C1284_bit0 C1285_bit0 -C1286_bit0 C1287_bit0 -C1288_bit0 C1289_bit0 C1290_bit0 C1291_bit0 C1292_bit0 C1293_bit0 C1294_bit0 C1295_bit0 C1296_bit0 C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 C1301_bit0 -C1302_bit0 C1303_bit0 C1304_bit0 C1305_bit0 C1306_bit0 C1307_bit0 -C1308_bit0 -C1309_bit0 -C1310_bit0 -C1311_bit0 -C1312_bit0 -C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 C1324_bit0 -C1325_bit0 -C1326_bit0 C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 C1334_bit0 -C1335_bit0 -C1336_bit0 C1337_bit0 -C1338_bit0 C1339_bit0 -C1340_bit0 -C1341_bit0 -C1342_bit0 C1343_bit0 C1344_bit0 C1345_bit0 C1346_bit0 -C1347_bit0 C1348_bit0 -C1349_bit0 C1350_bit0 C1351_bit0 C1352_bit0 C1353_bit0 C1354_bit0 C1355_bit0 -C1356_bit0 -C1357_bit0 -C1358_bit0 -C1359_bit0 -C1360_bit0 -C1361_bit0 C1362_bit0 -C1363_bit0 -C1364_bit0 -C1365_bit0 -C1366_bit0 -C1367_bit0 -C1368_bit0 -C1369_bit0 C1370_bit0 C1371_bit0 C1372_bit0 -C1373_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 C1377_bit0 C1378_bit0 -C1379_bit0 C1380_bit0 C1381_bit0 C1382_bit0 C1383_bit0 C1384_bit0 C1385_bit0 C1386_bit0 C1387_bit0 -C1388_bit0 C1389_bit0 C1390_bit0 C1391_bit0 C1392_bit0 C1393_bit0 C1394_bit0 C1395_bit0 C1396_bit0 C1397_bit0 C1398_bit0 -C1399_bit0 -C1400_bit0 -C1401_bit0 C1402_bit0 C1403_bit0 C1404_bit0 C1405_bit0 C1406_bit0 C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 C1411_bit0 -C1412_bit0 -C1413_bit0 C1414_bit0 -C1415_bit0 C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 C1420_bit0 C1421_bit0 C1422_bit0 C1423_bit0 -C1424_bit0 C1425_bit0 -C1426_bit0 C1427_bit0 C1428_bit0 C1429_bit0 C1430_bit0 C1431_bit0 C1432_bit0 -C1433_bit0 -C1434_bit0 C1435_bit0 -C1436_bit0 C1437_bit0 -C1438_bit0 -C1439_bit0 C1440_bit0 -C1441_bit0 -C1442_bit0 C1443_bit0 -C1444_bit0 C1445_bit0 -C1446_bit0 C1447_bit0 -C1448_bit0 -C1449_bit0 -C1450_bit0 -C1451_bit0 -C1452_bit0 -C1453_bit0 C1454_bit0 -C1455_bit0 -C1456_bit0 -C1457_bit0 C1458_bit0 -C1459_bit0 -C1460_bit0 C1461_bit0 -C1462_bit0 C1463_bit0 -C1464_bit0 -C1465_bit0 C1466_bit0 C1467_bit0 C1468_bit0 C1469_bit0 C1470_bit0 C1471_bit0 C1472_bit0 -C1473_bit0 C1474_bit0 -C1475_bit0 -C1476_bit0 -C1477_bit0 C1478_bit0 C1479_bit0 C1480_bit0 C1481_bit0 C1482_bit0 C1483_bit0 -C1484_bit0 C1485_bit0 -C1486_bit0 -C1487_bit0 -C1488_bit0 -C1489_bit0 -C1490_bit0 -C1491_bit0 -C1492_bit0 C1493_bit0 -C1494_bit0 -C1495_bit0 C1496_bit0 -C1497_bit0 C1498_bit0 -C1499_bit0 -C1500_bit0 -C1501_bit0 -C1502_bit0 C1503_bit0 C1504_bit0 -C1505_bit0 -C1506_bit0 C1507_bit0 C1508_bit0 C1509_bit0 -C1510_bit0 -C1511_bit0 -C1512_bit0 C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 C1517_bit0 -C1518_bit0 -C1519_bit0 -C1520_bit0 C1521_bit0 -C1522_bit0 C1523_bit0 -C1524_bit0 -C1525_bit0 -C1526_bit0 -C1527_bit0 C1528_bit0 -C1529_bit0 C1530_bit0 -C1531_bit0 -C1532_bit0 -C1533_bit0 -C1534_bit0 C1535_bit0 -C1536_bit0 -C1537_bit0 -C1538_bit0 -C1539_bit0 -C1540_bit0 C1541_bit0 C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 C1546_bit0 -C1547_bit0 -C1548_bit0 C1549_bit0 -C1550_bit0 C1551_bit0 -C1552_bit0 C1553_bit0 C1554_bit0 -C1555_bit0 -C1556_bit0 -C1557_bit0 C1558_bit0 -C1559_bit0 C1560_bit0 -C1561_bit0 C1562_bit0 -C1563_bit0 -C1564_bit0 -C1565_bit0 -C1566_bit0 -C1567_bit0 -C1568_bit0 -C1569_bit0 -C1570_bit0 C1571_bit0 -C1572_bit0 -C1573_bit0 -C1574_bit0 -C1575_bit0 -C1576_bit0 C1577_bit0 -C1578_bit0 -C1579_bit0 -C1580_bit0 -C1581_bit0 -C1582_bit0 -C1583_bit0 -C1584_bit0 -C1585_bit0 -C1586_bit0 -C1587_bit0 -C1588_bit0 -C1589_bit0 -C1590_bit0 -C1591_bit0 -C1592_bit0 C1593_bit0 -C1594_bit0 -C1595_bit0 -C1596_bit0 C1597_bit0 C1598_bit0 C1599_bit0 C1600_bit0 -C1601_bit0 -C1602_bit0 C1603_bit0 -C1604_bit0 C1605_bit0 -C1606_bit0 -C1607_bit0 C1608_bit0 -C1609_bit0 C1610_bit0 C1611_bit0 -C1612_bit0 -C1613_bit0 C1614_bit0 C1615_bit0 C1616_bit0 -C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 -C1621_bit0 C1622_bit0 -C1623_bit0 C1624_bit0 -C1625_bit0 -C1626_bit0 -C1627_bit0 -C1628_bit0 C1629_bit0 -C1630_bit0 C1631_bit0 -C1632_bit0 -C1633_bit0 -C1634_bit0 C1635_bit0 -C1636_bit0 -C1637_bit0 C1638_bit0 -C1639_bit0 -C1640_bit0 C1641_bit0 -C1642_bit0 C1643_bit0 C1644_bit0 C1645_bit0 C1646_bit0 -C1647_bit0 C1648_bit0 C1649_bit0 -C1650_bit0 -C1651_bit0 C1652_bit0 -C1653_bit0 -C1654_bit0 -C1655_bit0 C1656_bit0 -C1657_bit0 -C1658_bit0 -C1659_bit0 -C1660_bit0 C1661_bit0 C1662_bit0 C1663_bit0 C1664_bit0 -C1665_bit0 C1666_bit0 C1667_bit0 C1668_bit0 C1669_bit0 C1670_bit0 -C1671_bit0 -C1672_bit0 C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 -C1677_bit0 -C1678_bit0 -C1679_bit0 C1680_bit0 -C1681_bit0 C1682_bit0 -C1683_bit0 C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 -C1688_bit0 C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 C1694_bit0 -C1695_bit0 -C1696_bit0 -C1697_bit0 C1698_bit0 -C1699_bit0 C1700_bit0 -C1701_bit0 -C1702_bit0 -C1703_bit0 -C1704_bit0 C1705_bit0 -C1706_bit0 -C1707_bit0 -C1708_bit0 C1709_bit0 -C1710_bit0 -C1711_bit0 -C1712_bit0 -C1713_bit0 -C1714_bit0 -C1715_bit0 C1716_bit0 -C1717_bit0 C1718_bit0 C1719_bit0 -C1720_bit0 -C1721_bit0 C1722_bit0 -C1723_bit0 -C1724_bit0 -C1725_bit0 C1726_bit0 -C1727_bit0 C1728_bit0 -C1729_bit0 C1730_bit0 C1731_bit0 C1732_bit0 -C1733_bit0 -C1734_bit0 C1735_bit0 C1736_bit0 C1737_bit0 C1738_bit0 C1739_bit0 -C1740_bit0 -C1741_bit0 -C1742_bit0 -C1743_bit0 -C1744_bit0 -C1745_bit0 -C1746_bit0 C1747_bit0 -C1748_bit0 -C1749_bit0 C1750_bit0 -C1751_bit0 -C1752_bit0 -C1753_bit0 C1754_bit0 -C1755_bit0 -C1756_bit0 -C1757_bit0 -C1758_bit0 -C1759_bit0 -C1760_bit0 -C1761_bit0 -C1762_bit0 -C1763_bit0 C1764_bit0 C1765_bit0 -C1766_bit0 -C1767_bit0 -C1768_bit0 -C1769_bit0 C1770_bit0 -C1771_bit0 -C1772_bit0 -C1773_bit0 -C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_bit0 -C1781_bit0 -C1782_bit0 C1783_bit0 -C1784_bit0 -C1785_bit0 -C1786_bit0 C1787_bit0 C1788_bit0 -C1789_bit0 -C1790_bit0 C1791_bit0 -C1792_bit0 -C1793_bit0 C1794_bit0 -C1795_bit0 C1796_bit0 C1797_bit0 C1798_bit0 C1799_bit0 C1800_bit0 C1801_bit0 C1802_bit0 -C1803_bit0 C1804_bit0 -C1805_bit0 -C1806_bit0 C1807_bit0 C1808_bit0 C1809_bit0 C1810_bit0 C1811_bit0 C1812_bit0 C1813_bit0 -C1814_bit0 -C1815_bit0 -C1816_bit0 C1817_bit0 -C1818_bit0 -C1819_bit0 C1820_bit0 C1821_bit0 C1822_bit0 C1823_bit0 C1824_bit0 C1825_bit0 C1826_bit0 C1827_bit0 C1828_bit0 C1829_bit0 -C1830_bit0 -C1831_bit0 C1832_bit0 C1833_bit0 C1834_bit0 C1835_bit0 C1836_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 C1842_bit0 -C1843_bit0 -C1844_bit0 -C1845_bit0 -C1846_bit0 -C1847_bit0 -C1848_bit0 -C1849_bit0 -C1850_bit0 C1851_bit0 C1852_bit0 -C1853_bit0 -C1854_bit0 -C1855_bit0 C1856_bit0 C1857_bit0 -C1858_bit0 C1859_bit0 -C1860_bit0 C1861_bit0 C1862_bit0 C1863_bit0 C1864_bit0 C1865_bit0 C1866_bit0 -C1867_bit0 -C1868_bit0 C1869_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1874_bit0 C1875_bit0 C1876_bit0 C1877_bit0 C1878_bit0 -C1879_bit0 -C1880_bit0 C1881_bit0 C1882_bit0 C1883_bit0 C1884_bit0 C1885_bit0 C1886_bit0 C1887_bit0 C1888_bit0 C1889_bit0 C1890_bit0 -C1891_bit0 -C1892_bit0 -C1893_bit0 -C1894_bit0 -C1895_bit0 C1896_bit0 C1897_bit0 C1898_bit0 C1899_bit0 C1900_bit0 C1901_bit0 -C1902_bit0 C1903_bit0 C1904_bit0 -C1905_bit0 -C1906_bit0 C1907_bit0 C1908_bit0 C1909_bit0 C1910_bit0 C1911_bit0 C1912_bit0 C1913_bit0 -C1914_bit0 -C1915_bit0 -C1916_bit0 C1917_bit0 -C1918_bit0 C1919_bit0 -C1920_bit0 C1921_bit0 C1922_bit0 C1923_bit0 C1924_bit0 -C1925_bit0 -C1926_bit0 C1927_bit0 C1928_bit0 C1929_bit0 C1930_bit0 -C1931_bit0 C1932_bit0 C1933_bit0 C1934_bit0 C1935_bit0 C1936_bit0 C1937_bit0 C1938_bit0 -C1939_bit0 -C1940_bit0 C1941_bit0 -C1942_bit0 -C1943_bit0 -C1944_bit0 -C1945_bit0 C1946_bit0 C1947_bit0 C1948_bit0 C1949_bit0 C1950_bit0 C1951_bit0 C1952_bit0 -C1953_bit0 -C1954_bit0 -C1955_bit0 C1956_bit0 C1957_bit0 -C1958_bit0 C1959_bit0 -C1960_bit0 C1961_bit0 C1962_bit0 C1963_bit0 -C1964_bit0 -C1965_bit0 -C1966_bit0 -C1967_bit0 -C1968_bit0 C1969_bit0 -C1970_bit0 C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 C1975_bit0 C1976_bit0 C1977_bit0 C1978_bit0 -C1979_bit0 -C1980_bit0 C1981_bit0 C1982_bit0 C1983_bit0 C1984_bit0 C1985_bit0 C1986_bit0 -C1987_bit0 -C1988_bit0 C1989_bit0 -C1990_bit0 C1991_bit0 C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 C1996_bit0 -C1997_bit0 -C1998_bit0 -C1999_bit0 C2000_bit0 C2001_bit0 C2002_bit0 C2003_bit0 C2004_bit0 -C2005_bit0 -C2006_bit0 C2007_bit0 C2008_bit0 -C2009_bit0 -C2010_bit0 C2011_bit0 C2012_bit0 C2013_bit0 C2014_bit0 C2015_bit0 -C2016_bit0 -C2017_bit0 C2018_bit0 -C2019_bit0 C2020_bit0 C2021_bit0 C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 C2026_bit0 C2027_bit0 -C2028_bit0 C2029_bit0 C2030_bit0 C2031_bit0 C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 C2036_bit0 C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 C2042_bit0 C2043_bit0 -C2044_bit0 -C2045_bit0 C2046_bit0 -C2047_bit0 C2048_bit0 -C2049_bit0 C2050_bit0 C2051_bit0 C2052_bit0 -C2053_bit0 -C2054_bit0 C2055_bit0 -C2056_bit0 -C2057_bit0 C2058_bit0 -C2059_bit0 -C2060_bit0 C2061_bit0 C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 C2066_bit0 -C2067_bit0 C2068_bit0 -C2069_bit0 C2070_bit0 C2071_bit0 C2072_bit0 C2073_bit0 C2074_bit0 -C2075_bit0 -C2076_bit0 C2077_bit0 C2078_bit0 -C2079_bit0 -C2080_bit0 -C2081_bit0 -C2082_bit0 C2083_bit0 C2084_bit0 -C2085_bit0 C2086_bit0 -C2087_bit0 -C2088_bit0 -C2089_bit0 C2090_bit0 C2091_bit0 C2092_bit0 C2093_bit0 C2094_bit0 C2095_bit0 -C2096_bit0 -C2097_bit0 -C2098_bit0 C2099_bit0 -C2100_bit0 C2101_bit0 -C2102_bit0 -C2103_bit0 -C2104_bit0 C2105_bit0 -C2106_bit0 C2107_bit0 C2108_bit0 C2109_bit0 -C2110_bit0 -C2111_bit0 -C2112_bit0 C2113_bit0 -C2114_bit0 -C2115_bit0 C2116_bit0 -C2117_bit0 -C2118_bit0 C2119_bit0 C2120_bit0 C2121_bit0 -C2122_bit0 -C2123_bit0 C2124_bit0 C2125_bit0 C2126_bit0 C2127_bit0 C2128_bit0 C2129_bit0 C2130_bit0 -C2131_bit0 -C2132_bit0 C2133_bit0 -C2134_bit0 C2135_bit0 C2136_bit0 C2137_bit0 -C2138_bit0 -C2139_bit0 -C2140_bit0 C2141_bit0 C2142_bit0 -C2143_bit0 C2144_bit0 C2145_bit0 C2146_bit0 C2147_bit0 C2148_bit0 C2149_bit0 -C2150_bit0 C2151_bit0 C2152_bit0 -C2153_bit0 C2154_bit0 C2155_bit0 -C2156_bit0 C2157_bit0 C2158_bit0 C2159_bit0 -C2160_bit0 -C2161_bit0 C2162_bit0 -C2163_bit0 C2164_bit0 C2165_bit0 -C2166_bit0 -C2167_bit0 C2168_bit0 -C2169_bit0 -C2170_bit0 C2171_bit0 -C2172_bit0 C2173_bit0 C2174_bit0 C2175_bit0 C2176_bit0 C2177_bit0 -C2178_bit0 -C2179_bit0 C2180_bit0 C2181_bit0 -C2182_bit0 -C2183_bit0 -C2184_bit0 -C2185_bit0 C2186_bit0 C2187_bit0 C2188_bit0 -C2189_bit0 -C2190_bit0 C2191_bit0 C2192_bit0 -C2193_bit0 C2194_bit0 C2195_bit0 C2196_bit0 -C2197_bit0 -C2198_bit0 C2199_bit0 C2200_bit0 -C2201_bit0 -C2202_bit0 -C2203_bit0 -C2204_bit0 C2205_bit0 C2206_bit0 C2207_bit0 -C2208_bit0 C2209_bit0 -C2210_bit0 -C2211_bit0 C2212_bit0 -C2213_bit0 C2214_bit0 -C2215_bit0 C2216_bit0 C2217_bit0 C2218_bit0 -C2219_bit0 -C2220_bit0 C2221_bit0 C2222_bit0 -C2223_bit0 -C2224_bit0 -C2225_bit0 -C2226_bit0 C2227_bit0 C2228_bit0 C2229_bit0 -C2230_bit0 -C2231_bit0 C2232_bit0 -C2233_bit0 C2234_bit0 C2235_bit0 -C2236_bit0 C2237_bit0 C2238_bit0 C2239_bit0 -C2240_bit0 -C2241_bit0 C2242_bit0 -C2243_bit0 -C2244_bit0 C2245_bit0 -C2246_bit0 -C2247_bit0 C2248_bit0 -C2249_bit0 -C2250_bit0 C2251_bit0 -C2252_bit0 -C2253_bit0 C2254_bit0 -C2255_bit0 -C2256_bit0 C2257_bit0 C2258_bit0 -C2259_bit0 -C2260_bit0 -C2261_bit0 -C2262_bit0 C2263_bit0 C2264_bit0 C2265_bit0 -C2266_bit0 -C2267_bit0 C2268_bit0 C2269_bit0 C2270_bit0 C2271_bit0 C2272_bit0 C2273_bit0 C2274_bit0 -C2275_bit0 -C2276_bit0 -C2277_bit0 -C2278_bit0 C2279_bit0 C2280_bit0 -C2281_bit0 -C2282_bit0 C2283_bit0 C2284_bit0 -C2285_bit0 -C2286_bit0 C2287_bit0 C2288_bit0 C2289_bit0 C2290_bit0 C2291_bit0 -C2292_bit0 -C2293_bit0 C2294_bit0 -C2295_bit0 -C2296_bit0 C2297_bit0 -C2298_bit0 -C2299_bit0 C2300_bit0 C2301_bit0 C2302_bit0 -C2303_bit0 C2304_bit0 C2305_bit0 -C2306_bit0 -C2307_bit0 C2308_bit0 -C2309_bit0 -C2310_bit0 C2311_bit0 -C2312_bit0 -C2313_bit0 C2314_bit0 -C2315_bit0 -C2316_bit0 C2317_bit0 -C2318_bit0 C2319_bit0 C2320_bit0 -C2321_bit0 -C2322_bit0 -C2323_bit0 -C2324_bit0 C2325_bit0 C2326_bit0 -C2327_bit0 -C2328_bit0 C2329_bit0 -C2330_bit0 -C2331_bit0 -C2332_bit0 C2333_bit0 C2334_bit0 C2335_bit0 C2336_bit0 -C2337_bit0 C2338_bit0 -C2339_bit0 -C2340_bit0 -C2341_bit0 -C2342_bit0 -C2343_bit0 -C2344_bit0 -C2345_bit0 -C2346_bit0 C2347_bit0 C2348_bit0 -C2349_bit0 C2350_bit0 -C2351_bit0 C2352_bit0 -C2353_bit0 -C2354_bit0 -C2355_bit0 -C2356_bit0 -C2357_bit0 -C2358_bit0 -C2359_bit0 C2360_bit0 C2361_bit0 -C2362_bit0 -C2363_bit0 C2364_bit0 -C2365_bit0 -C2366_bit0 -C2367_bit0 C2368_bit0 C2369_bit0 C2370_bit0 C2371_bit0 C2372_bit0 C2373_bit0 -C2374_bit0 -C2375_bit0 C2376_bit0 -C2377_bit0 -C2378_bit0 C2379_bit0 -C2380_bit0 -C2381_bit0 C2382_bit0 C2383_bit0 C2384_bit0 C2385_bit0 C2386_bit0 -C2387_bit0 C2388_bit0 C2389_bit0 C2390_bit0 -C2391_bit0 -C2392_bit0 -C2393_bit0 -C2394_bit0 C2395_bit0 -C2396_bit0 -C2397_bit0 -C2398_bit0 C2399_bit0 C2400_bit0 -C2401_bit0 C2402_bit0 C2403_bit0 -C2404_bit0 -C2405_bit0 -C2406_bit0 -C2407_bit0 -C2408_bit0 -C2409_bit0 -C2410_bit0 -C2411_bit0 -C2412_bit0 C2413_bit0 C2414_bit0 -C2415_bit0 -C2416_bit0 C2417_bit0 C2418_bit0 C2419_bit0 -C2420_bit0 C2421_bit0 C2422_bit0 C2423_bit0 C2424_bit0 C2425_bit0 C2426_bit0 -C2427_bit0 -C2428_bit0 C2429_bit0 -C2430_bit0 -C2431_bit0 C2432_bit0 -C2433_bit0 -C2434_bit0 C2435_bit0 C2436_bit0 -C2437_bit0 C2438_bit0 C2439_bit0 C2440_bit0 -C2441_bit0 C2442_bit0 C2443_bit0 C2444_bit0 -C2445_bit0 -C2446_bit0 C2447_bit0 C2448_bit0 -C2449_bit0 -C2450_bit0 -C2451_bit0 -C2452_bit0 C2453_bit0 C2454_bit0 C2455_bit0 -C2456_bit0 C2457_bit0 C2458_bit0 C2459_bit0 C2460_bit0 C2461_bit0 -C2462_bit0 -C2463_bit0 -C2464_bit0 -C2465_bit0 C2466_bit0 C2467_bit0 -C2468_bit0 -C2469_bit0 C2470_bit0 C2471_bit0 -C2472_bit0 -C2473_bit0 -C2474_bit0 -C2475_bit0 C2476_bit0 -C2477_bit0 -C2478_bit0 -C2479_bit0 -C2480_bit0 -C2481_bit0 -C2482_bit0 -C2483_bit0 -C2484_bit0 -C2485_bit0 C2486_bit0 -C2487_bit0 C2488_bit0 C2489_bit0 -C2490_bit0 -C2491_bit0 C2492_bit0 -C2493_bit0 C2494_bit0 -C2495_bit0 -C2496_bit0 -C2497_bit0 -C2498_bit0 -C2499_bit0 -C2500_bit0 -C2501_bit0 C2502_bit0 C2503_bit0 -C2504_bit0 -C2505_bit0 C2506_bit0 C2507_bit0 C2508_bit0 -C2509_bit0 C2510_bit0 C2511_bit0 C2512_bit0 C2513_bit0 C2514_bit0 -C2515_bit0 -C2516_bit0 -C2517_bit0 C2518_bit0 -C2519_bit0 C2520_bit0 -C2521_bit0 -C2522_bit0 C2523_bit0 C2524_bit0 -C2525_bit0 C2526_bit0 C2527_bit0 C2528_bit0 -C2529_bit0 -C2530_bit0 -C2531_bit0 -C2532_bit0 C2533_bit0 -C2534_bit0 -C2535_bit0 -C2536_bit0 C2537_bit0 -C2538_bit0 C2539_bit0 -C2540_bit0 C2541_bit0 -C2542_bit0 C2543_bit0 -C2544_bit0 -C2545_bit0 -C2546_bit0 -C2547_bit0 -C2548_bit0 -C2549_bit0 -C2550_bit0 C2551_bit0 C2552_bit0 -C2553_bit0 -C2554_bit0 C2555_bit0 -C2556_bit0 C2557_bit0 -C2558_bit0 C2559_bit0 C2560_bit0 C2561_bit0 C2562_bit0 C2563_bit0 -C2564_bit0 -C2565_bit0 -C2566_bit0 C2567_bit0 -C2568_bit0 -C2569_bit0 C2570_bit0 -C2571_bit0 -C2572_bit0 C2573_bit0 C2574_bit0 -C2575_bit0 -C2576_bit0 C2577_bit0 C2578_bit0 C2579_bit0 C2580_bit0 C2581_bit0 C2582_bit0 -C2583_bit0 -C2584_bit0 C2585_bit0 -C2586_bit0 -C2587_bit0 -C2588_bit0 C2589_bit0 -C2590_bit0 C2591_bit0 -C2592_bit0 C2593_bit0 C2594_bit0 -C2595_bit0 -C2596_bit0 -C2597_bit0 C2598_bit0 -C2599_bit0 -C2600_bit0 C2601_bit0 -C2602_bit0 -C2603_bit0 C2604_bit0 -C2605_bit0 -C2606_bit0 -C2607_bit0 C2608_bit0 -C2609_bit0 C2610_bit0 -C2611_bit0 -C2612_bit0 C2613_bit0 C2614_bit0 C2615_bit0 C2616_bit0 -C2617_bit0 -C2618_bit0 C2619_bit0 -C2620_bit0 -C2621_bit0 C2622_bit0 C2623_bit0 C2624_bit0 C2625_bit0 C2626_bit0 C2627_bit0 -C2628_bit0 -C2629_bit0 -C2630_bit0 -C2631_bit0 C2632_bit0 -C2633_bit0 C2634_bit0 C2635_bit0 -C2636_bit0 -C2637_bit0 -C2638_bit0 C2639_bit0 -C2640_bit0 -C2641_bit0 -C2642_bit0 C2643_bit0 -C2644_bit0 -C2645_bit0 -C2646_bit0 C2647_bit0 -C2648_bit0 -C2649_bit0 -C2650_bit0 C2651_bit0 -C2652_bit0 -C2653_bit0 -C2654_bit0 -C2655_bit0 -C2656_bit0 -C2657_bit0 -C2658_bit0 C2659_bit0 -C2660_bit0 -C2661_bit0 C2662_bit0 -C2663_bit0 C2664_bit0 -C2665_bit0 -C2666_bit0 -C2667_bit0 -C2668_bit0 -C2669_bit0 C2670_bit0 -C2671_bit0 -C2672_bit0 C2673_bit0 C2674_bit0 C2675_bit0 -C2676_bit0 C2677_bit0 -C2678_bit0 C2679_bit0 -C2680_bit0 -C2681_bit0 -C2682_bit0 -C2683_bit0 C2684_bit0 -C2685_bit0 -C2686_bit0 C2687_bit0 C2688_bit0 C2689_bit0 -C2690_bit0 -C2691_bit0 C2692_bit0 C2693_bit0 C2694_bit0 C2695_bit0 C2696_bit0 C2697_bit0 C2698_bit0 C2699_bit0 -C2700_bit0 C2701_bit0 -C2702_bit0 -C2703_bit0 -C2704_bit0 C2705_bit0 C2706_bit0 -C2707_bit0 C2708_bit0 C2709_bit0 C2710_bit0 C2711_bit0 C2712_bit0 -C2713_bit0 C2714_bit0 C2715_bit0 -C2716_bit0 -C2717_bit0 C2718_bit0 -C2719_bit0 C2720_bit0 -C2721_bit0 -C2722_bit0 -C2723_bit0 C2724_bit0 -C2725_bit0 -C2726_bit0 -C2727_bit0 C2728_bit0 -C2729_bit0 -C2730_bit0 C2731_bit0 C2732_bit0 C2733_bit0 C2734_bit0 C2735_bit0 C2736_bit0 -C2737_bit0 -C2738_bit0 -C2739_bit0 -C2740_bit0 -C2741_bit0 C2742_bit0 -C2743_bit0 C2744_bit0 -C2745_bit0 C2746_bit0 -C2747_bit0 -C2748_bit0 C2749_bit0 -C2750_bit0 -C2751_bit0 -C2752_bit0 -C2753_bit0 -C2754_bit0 -C2755_bit0 -C2756_bit0 -C2757_bit0 -C2758_bit0 -C2759_bit0 C2760_bit0 -C2761_bit0 C2762_bit0 -C2763_bit0 C2764_bit0 -C2765_bit0 -C2766_bit0 -C2767_bit0 -C2768_bit0 -C2769_bit0 C2770_bit0 -C2771_bit0 -C2772_bit0 -C2773_bit0 -C2774_bit0 -C2775_bit0 -C2776_bit0 -C2777_bit0 -C2778_bit0 -C2779_bit0 C2780_bit0 -C2781_bit0 -C2782_bit0 -C2783_bit0 C2784_bit0 C2785_bit0 -C2786_bit0 -C2787_bit0 -C2788_bit0 -C2789_bit0 C2790_bit0 -C2791_bit0 C2792_bit0 C2793_bit0 C2794_bit0 C2795_bit0 C2796_bit0 C2797_bit0 -C2798_bit0 -C2799_bit0 C2800_bit0 -C2801_bit0 -C2802_bit0 -C2803_bit0 -C2804_bit0 C2805_bit0 -C2806_bit0 C2807_bit0 C2808_bit0 C2809_bit0 -C2810_bit0 -C2811_bit0 -C2812_bit0 C2813_bit0 -C2814_bit0 C2815_bit0 -C2816_bit0 C2817_bit0 C2818_bit0 C2819_bit0 C2820_bit0 C2821_bit0 -C2822_bit0 -C2823_bit0 -C2824_bit0 -C2825_bit0 -C2826_bit0 C2827_bit0 -C2828_bit0 -C2829_bit0 C2830_bit0 -C2831_bit0 -C2832_bit0 -C2833_bit0 -C2834_bit0 -C2835_bit0 -C2836_bit0 -C2837_bit0 -C2838_bit0 -C2839_bit0 -C2840_bit0 -C2841_bit0 -C2842_bit0 -C2843_bit0 C2844_bit0 -C2845_bit0 -C2846_bit0 C2847_bit0 -C2848_bit0 C2849_bit0 -C2850_bit0 -C2851_bit0 -C2852_bit0 -C2853_bit0 C2854_bit0 -C2855_bit0 -C2856_bit0 C2857_bit0 -C2858_bit0 -C2859_bit0 -C2860_bit0 -C2861_bit0 -C2862_bit0 -C2863_bit0 C2864_bit0 -C2865_bit0 C2866_bit0 C2867_bit0 C2868_bit0 C2869_bit0 -C2870_bit0 -C2871_bit0 -C2872_bit0 -C2873_bit0 C2874_bit0 -C2875_bit0 -C2876_bit0 C2877_bit0 C2878_bit0 C2879_bit0 C2880_bit0 C2881_bit0 -C2882_bit0 C2883_bit0 C2884_bit0 C2885_bit0 -C2886_bit0 -C2887_bit0 C2888_bit0 C2889_bit0 C2890_bit0 C2891_bit0 C2892_bit0 -C2893_bit0 C2894_bit0 -C2895_bit0 -C2896_bit0 C2897_bit0 -C2898_bit0 -C2899_bit0 -C2900_bit0 C2901_bit0 C2902_bit0 C2903_bit0 C2904_bit0 C2905_bit0 -C2906_bit0 -C2907_bit0 -C2908_bit0 C2909_bit0 -C2910_bit0 C2911_bit0 C2912_bit0 C2913_bit0 -C2914_bit0 -C2915_bit0 C2916_bit0 -C2917_bit0 C2918_bit0 C2919_bit0 C2920_bit0 C2921_bit0 -C2922_bit0 -C2923_bit0 -C2924_bit0 -C2925_bit0 -C2926_bit0 -C2927_bit0 -C2928_bit0 C2929_bit0 -C2930_bit0 C2931_bit0 -C2932_bit0 -C2933_bit0 C2934_bit0 -C2935_bit0 -C2936_bit0 -C2937_bit0 C2938_bit0 -C2939_bit0 -C2940_bit0 -C2941_bit0 -C2942_bit0 C2943_bit0 -C2944_bit0 -C2945_bit0 -C2946_bit0 C2947_bit0 C2948_bit0 C2949_bit0 C2950_bit0 C2951_bit0 C2952_bit0 C2953_bit0 -C2954_bit0 C2955_bit0 -C2956_bit0 -C2957_bit0 C2958_bit0 C2959_bit0 -C2960_bit0 -C2961_bit0 -C2962_bit0 C2963_bit0 -C2964_bit0 C2965_bit0 C2966_bit0 C2967_bit0 C2968_bit0 C2969_bit0 C2970_bit0 -C2971_bit0 -C2972_bit0 C2973_bit0 -C2974_bit0 C2975_bit0 -C2976_bit0 C2977_bit0 -C2978_bit0 -C2979_bit0 C2980_bit0 -C2981_bit0 -C2982_bit0 C2983_bit0 C2984_bit0 -C2985_bit0 C2986_bit0 -C2987_bit0 C2988_bit0 -C2989_bit0 -C2990_bit0 C2991_bit0 -C2992_bit0 -C2993_bit0 C2994_bit0 C2995_bit0 C2996_bit0 C2997_bit0 C2998_bit0 C2999_bit0 C3000_bit0 C3001_bit0 C3002_bit0 -C3003_bit0 C3004_bit0 C3005_bit0 C3006_bit0 -C3007_bit0 C3008_bit0 C3009_bit0 C3010_bit0 C3011_bit0 -C3012_bit0 -C3013_bit0 C3014_bit0 C3015_bit0 C3016_bit0 -C3017_bit0 -C3018_bit0 -C3019_bit0 C3020_bit0 -C3021_bit0 C3022_bit0 -C3023_bit0 -C3024_bit0 -C3025_bit0 C3026_bit0 C3027_bit0 C3028_bit0 C3029_bit0 C3030_bit0 C3031_bit0 -C3032_bit0 -C3033_bit0 C3034_bit0 -C3035_bit0 C3036_bit0 -C3037_bit0 C3038_bit0 C3039_bit0 C3040_bit0 C3041_bit0 C3042_bit0 C3043_bit0 C3044_bit0 -C3045_bit0 -C3046_bit0 C3047_bit0 -C3048_bit0 C3049_bit0 -C3050_bit0 -C3051_bit0 C3052_bit0 C3053_bit0 C3054_bit0 C3055_bit0 C3056_bit0 C3057_bit0 -C3058_bit0 -C3059_bit0 C3060_bit0 -C3061_bit0 C3062_bit0 C3063_bit0 C3064_bit0 C3065_bit0 C3066_bit0 C3067_bit0 C3068_bit0 C3069_bit0 C3070_bit0 -C3071_bit0 -C3072_bit0 -C3073_bit0 -C3074_bit0 -C3075_bit0 -C3076_bit0 -C3077_bit0 -C3078_bit0 -C3079_bit0 -C3080_bit0 C3081_bit0 -C3082_bit0 -C3083_bit0 -C3084_bit0 -C3085_bit0 -C3086_bit0 C3087_bit0 -C3088_bit0 C3089_bit0 -C3090_bit0 -C3091_bit0 -C3092_bit0 C3093_bit0 C3094_bit0 C3095_bit0 C3096_bit0 C3097_bit0 C3098_bit0 -C3099_bit0 -C3100_bit0 C3101_bit0 -C3102_bit0 C3103_bit0 C3104_bit0 C3105_bit0 C3106_bit0 C3107_bit0 C3108_bit0 C3109_bit0 C3110_bit0 C3111_bit0 -C3112_bit0 -C3113_bit0 C3114_bit0 -C3115_bit0 C3116_bit0 -C3117_bit0 C3118_bit0 -C3119_bit0 C3120_bit0 C3121_bit0 C3122_bit0 C3123_bit0 C3124_bit0 -C3125_bit0 -C3126_bit0 C3127_bit0 -C3128_bit0 C3129_bit0 -C3130_bit0 -C3131_bit0 -C3132_bit0 C3133_bit0 C3134_bit0 C3135_bit0 C3136_bit0 C3137_bit0 -C3138_bit0 -C3139_bit0 -C3140_bit0 -C3141_bit0 -C3142_bit0 -C3143_bit0 C3144_bit0 -C3145_bit0 -C3146_bit0 -C3147_bit0 -C3148_bit0 -C3149_bit0 -C3150_bit0 -C3151_bit0 -C3152_bit0 -C3153_bit0 C3154_bit0 -C3155_bit0 C3156_bit0 C3157_bit0 -C3158_bit0 C3159_bit0 C3160_bit0 C3161_bit0 C3162_bit0 C3163_bit0 C3164_bit0 C3165_bit0 -C3166_bit0 -C3167_bit0 C3168_bit0 -C3169_bit0 -C3170_bit0 -C3171_bit0 C3172_bit0 C3173_bit0 C3174_bit0 C3175_bit0 C3176_bit0 C3177_bit0 C3178_bit0 -C3179_bit0 -C3180_bit0 C3181_bit0 -C3182_bit0 -C3183_bit0 C3184_bit0 -C3185_bit0 C3186_bit0 C3187_bit0 C3188_bit0 C3189_bit0 C3190_bit0 C3191_bit0 -C3192_bit0 -C3193_bit0 -C3194_bit0 -C3195_bit0 -C3196_bit0 -C3197_bit0 -C3198_bit0 -C3199_bit0 -C3200_bit0 -C3201_bit0 -C3202_bit0 -C3203_bit0 C3204_bit0 -C3205_bit0 -C3206_bit0 -C3207_bit0 -C3208_bit0 C3209_bit0 -C3210_bit0 -C3211_bit0 -C3212_bit0 C3213_bit0 C3214_bit0 C3215_bit0 -C3216_bit0 -C3217_bit0 C3218_bit0 -C3219_bit0 -C3220_bit0 C3221_bit0 -C3222_bit0 -C3223_bit0 -C3224_bit0 -C3225_bit0 C3226_bit0 C3227_bit0 C3228_bit0 C3229_bit0 C3230_bit0 C3231_bit0 -C3232_bit0 -C3233_bit0 -C3234_bit0 C3235_bit0 -C3236_bit0 -C3237_bit0 -C3238_bit0 -C3239_bit0 -C3240_bit0 C3241_bit0 C3242_bit0 C3243_bit0 C3244_bit0 C3245_bit0 -C3246_bit0 -C3247_bit0 C3248_bit0 -C3249_bit0 C3250_bit0 -C3251_bit0 -C3252_bit0 C3253_bit0 C3254_bit0 C3255_bit0 C3256_bit0 C3257_bit0 -C3258_bit0 -C3259_bit0 -C3260_bit0 C3261_bit0 -C3262_bit0 -C3263_bit0 C3264_bit0 -C3265_bit0 -C3266_bit0 C3267_bit0 -C3268_bit0 -C3269_bit0 -C3270_bit0 C3271_bit0 -C3272_bit0 -C3273_bit0 -C3274_bit0 -C3275_bit0 -C3276_bit0 -C3277_bit0 -C3278_bit0 -C3279_bit0 -C3280_bit0 -C3281_bit0 -C3282_bit0 -C3283_bit0 -C3284_bit0 -C3285_bit0 -C3286_bit0 -C3287_bit0 -C3288_bit0 -C3289_bit0 -C3290_bit0 C3291_bit0 C3292_bit0 -C3293_bit0 -C3294_bit0 -C3295_bit0 -C3296_bit0 -C3297_bit0 -C3298_bit0 C3299_bit0 -C3300_bit0 -C3301_bit0 C3302_bit0 -C3303_bit0 C3304_bit0 C3305_bit0 C3306_bit0 C3307_bit0 C3308_bit0 C3309_bit0 C3310_bit0 C3311_bit0 C3312_bit0 -C3313_bit0 -C3314_bit0 C3315_bit0 -C3316_bit0 C3317_bit0 C3318_bit0 -C3319_bit0 -C3320_bit0 -C3321_bit0 -C3322_bit0 -C3323_bit0 -C3324_bit0 C3325_bit0 -C3326_bit0 -C3327_bit0 C3328_bit0 -C3329_bit0 C3330_bit0 C3331_bit0 C3332_bit0 C3333_bit0 C3334_bit0 C3335_bit0 C3336_bit0 C3337_bit0 C3338_bit0 -C3339_bit0 -C3340_bit0 -C3341_bit0 -C3342_bit0 -C3343_bit0 C3344_bit0 -C3345_bit0 -C3346_bit0 -C3347_bit0 -C3348_bit0 C3349_bit0 -C3350_bit0 -C3351_bit0 -C3352_bit0 -C3353_bit0 -C3354_bit0 C3355_bit0 -C3356_bit0 C3357_bit0 -C3358_bit0 -C3359_bit0 -C3360_bit0 C3361_bit0 C3362_bit0 C3363_bit0 C3364_bit0 C3365_bit0 C3366_bit0 -C3367_bit0 -C3368_bit0 C3369_bit0 -C3370_bit0 C3371_bit0 C3372_bit0 C3373_bit0 -C3374_bit0 C3375_bit0 C3376_bit0 C3377_bit0 C3378_bit0 C3379_bit0 -C3380_bit0 -C3381_bit0 C3382_bit0 -C3383_bit0 C3384_bit0 -C3385_bit0 -C3386_bit0 C3387_bit0 C3388_bit0 C3389_bit0 C3390_bit0 C3391_bit0 -C3392_bit0 -C3393_bit0 -C3394_bit0 C3395_bit0 -C3396_bit0 C3397_bit0 -C3398_bit0 C3399_bit0 -C3400_bit0 C3401_bit0 C3402_bit0 C3403_bit0 C3404_bit0 C3405_bit0 -C3406_bit0 -C3407_bit0 -C3408_bit0 -C3409_bit0 -C3410_bit0 C3411_bit0 C3412_bit0 -C3413_bit0 -C3414_bit0 -C3415_bit0 -C3416_bit0 -C3417_bit0 -C3418_bit0 -C3419_bit0 -C3420_bit0 -C3421_bit0 C3422_bit0 -C3423_bit0 -C3424_bit0 C3425_bit0 -C3426_bit0 -C3427_bit0 C3428_bit0 -C3429_bit0 -C3430_bit0 -C3431_bit0 C3432_bit0 -C3433_bit0 -C3434_bit0 -C3435_bit0 -C3436_bit0 -C3437_bit0 C3438_bit0 -C3439_bit0 -C3440_bit0 -C3441_bit0 -C3442_bit0 C3443_bit0 -C3444_bit0 C3445_bit0 -C3446_bit0 C3447_bit0 C3448_bit0 C3449_bit0 -C3450_bit0 -C3451_bit0 C3452_bit0 -C3453_bit0 -C3454_bit0 C3455_bit0 -C3456_bit0 -C3457_bit0 C3458_bit0 -C3459_bit0 -C3460_bit0 C3461_bit0 C3462_bit0 -C3463_bit0 -C3464_bit0 C3465_bit0 C3466_bit0 C3467_bit0 C3468_bit0 C3469_bit0 C3470_bit0 -C3471_bit0 C3472_bit0 -C3473_bit0 -C3474_bit0 -C3475_bit0 C3476_bit0 -C3477_bit0 -C3478_bit0 C3479_bit0 -C3480_bit0 -C3481_bit0 C3482_bit0 -C3483_bit0 C3484_bit0 -C3485_bit0 C3486_bit0 -C3487_bit0 -C3488_bit0 -C3489_bit0 C3490_bit0 -C3491_bit0 -C3492_bit0 C3493_bit0 -C3494_bit0 -C3495_bit0 -C3496_bit0 -C3497_bit0 C3498_bit0 C3499_bit0 C3500_bit0 C3501_bit0 C3502_bit0 C3503_bit0 -C3504_bit0 C3505_bit0 -C3506_bit0 -C3507_bit0 -C3508_bit0 -C3509_bit0 C3510_bit0 -C3511_bit0 C3512_bit0 C3513_bit0 -C3514_bit0 C3515_bit0 C3516_bit0 C3517_bit0 C3518_bit0 C3519_bit0 C3520_bit0 C3521_bit0 -C3522_bit0 -C3523_bit0 -C3524_bit0 -C3525_bit0 C3526_bit0 C3527_bit0 C3528_bit0 C3529_bit0 -C3530_bit0 -C3531_bit0 -C3532_bit0 -C3533_bit0 C3534_bit0 -C3535_bit0 C3536_bit0 -C3537_bit0 -C3538_bit0 C3539_bit0 -C3540_bit0 -C3541_bit0 -C3542_bit0 -C3543_bit0 -C3544_bit0 C3545_bit0 -C3546_bit0 -C3547_bit0 -C3548_bit0 C3549_bit0 C3550_bit0 C3551_bit0 C3552_bit0 C3553_bit0 C3554_bit0 C3555_bit0 C3556_bit0 C3557_bit0 C3558_bit0 C3559_bit0 C3560_bit0 C3561_bit0 C3562_bit0 C3563_bit0 C3564_bit0 C3565_bit0 -C3566_bit0 -C3567_bit0 -C3568_bit0 C3569_bit0 -C3570_bit0 C3571_bit0 -C3572_bit0 -C3573_bit0 C3574_bit0 -C3575_bit0 C3576_bit0 -C3577_bit0 -C3578_bit0 -C3579_bit0 -C3580_bit0 -C3581_bit0 C3582_bit0 C3583_bit0 C3584_bit0 C3585_bit0 -C3586_bit0 C3587_bit0 C3588_bit0 C3589_bit0 C3590_bit0 -C3591_bit0 -C3592_bit0 C3593_bit0 -C3594_bit0 -C3595_bit0 C3596_bit0 C3597_bit0 -C3598_bit0 -C3599_bit0 -C3600_bit0 C3601_bit0 -C3602_bit0 C3603_bit0 C3604_bit0 C3605_bit0 -C3606_bit0 C3607_bit0 -C3608_bit0 -C3609_bit0 -C3610_bit0 -C3611_bit0 C3612_bit0 -C3613_bit0 -C3614_bit0 -C3615_bit0 -C3616_bit0 -C3617_bit0 C3618_bit0 -C3619_bit0 -C3620_bit0 -C3621_bit0 C3622_bit0 -C3623_bit0 -C3624_bit0 C3625_bit0 -C3626_bit0 C3627_bit0 -C3628_bit0 -C3629_bit0 -C3630_bit0 -C3631_bit0 C3632_bit0 -C3633_bit0 -C3634_bit0 -C3635_bit0 C3636_bit0 C3637_bit0 C3638_bit0 C3639_bit0 -C3640_bit0 C3641_bit0 -C3642_bit0 C3643_bit0 C3644_bit0 C3645_bit0 C3646_bit0 C3647_bit0 C3648_bit0 C3649_bit0 -C3650_bit0 C3651_bit0 C3652_bit0 C3653_bit0 C3654_bit0 C3655_bit0 C3656_bit0 C3657_bit0 C3658_bit0 C3659_bit0 C3660_bit0 C3661_bit0 C3662_bit0 C3663_bit0 C3664_bit0 C3665_bit0 -C3666_bit0 C3667_bit0 C3668_bit0 C3669_bit0 -C3670_bit0 C3671_bit0 -C3672_bit0 C3673_bit0 C3674_bit0 -C3675_bit0 C3676_bit0 C3677_bit0 C3678_bit0 -C3679_bit0 -C3680_bit0 C3681_bit0 C3682_bit0 -C3683_bit0 C3684_bit0 C3685_bit0 -C3686_bit0 -C3687_bit0 C3688_bit0 -C3689_bit0 -C3690_bit0 -C3691_bit0 -C3692_bit0 C3693_bit0 C3694_bit0 -C3695_bit0 C3696_bit0 -C3697_bit0 -C3698_bit0 -C3699_bit0 C3700_bit0 -C3701_bit0 C3702_bit0 -C3703_bit0 -C3704_bit0 -C3705_bit0 C3706_bit0 C3707_bit0 C3708_bit0 C3709_bit0 -C3710_bit0 C3711_bit0 C3712_bit0 -C3713_bit0 -C3714_bit0 C3715_bit0 C3716_bit0 -C3717_bit0 C3718_bit0 C3719_bit0 C3720_bit0 C3721_bit0 -C3722_bit0 C3723_bit0 C3724_bit0 C3725_bit0 C3726_bit0 -C3727_bit0 C3728_bit0 C3729_bit0 C3730_bit0 -C3731_bit0 -C3732_bit0 C3733_bit0 C3734_bit0 C3735_bit0 -C3736_bit0 -C3737_bit0 -C3738_bit0 C3739_bit0 -C3740_bit0 C3741_bit0 -C3742_bit0 C3743_bit0 C3744_bit0 C3745_bit0 C3746_bit0 -C3747_bit0 -C3748_bit0 -C3749_bit0 C3750_bit0 -C3751_bit0 C3752_bit0 C3753_bit0 C3754_bit0 -C3755_bit0 -C3756_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.90 0.95 0.92 1/54 18693
Raw data (stat): 18693 (runsolver) R 18692 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972950418 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.0011 s]
Raw data (loadavg): 0.92 0.95 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 27705 0 0 0 936 62 0 0 25 0 1 0 972950418 81620992 16781 4294967295 134512640 135730672 3221224576 3221105416 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19927 16781 301 301 0 19626 0
vsize: 79708
[startup+20.0013 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 53069 0 0 0 1880 117 0 0 25 0 1 0 972950418 159420416 30418 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38921 30418 301 301 0 38620 0
vsize: 155684
[startup+30.0022 s]
Raw data (loadavg): 0.94 0.95 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 54536 0 0 0 2876 121 0 0 25 0 1 0 972950418 165982208 31852 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40523 31852 301 301 0 40222 0
vsize: 162092
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.95 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 55237 0 0 0 3874 123 0 0 25 0 1 0 972950418 169308160 32553 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41335 32553 301 301 0 41034 0
vsize: 165340
[startup+50.0024 s]
Raw data (loadavg): 0.95 0.95 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 78059 0 0 0 4826 171 0 0 25 0 1 0 972950418 237309952 46045 4294967295 134512640 135730672 3221224576 3221032480 134770721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57937 46046 301 301 0 57636 0
vsize: 231748
[startup+60.0025 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 101062 0 0 0 5777 220 0 0 25 0 1 0 972950418 322277376 56564 4294967295 134512640 135730672 3221224576 3220582064 134788172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78681 56565 301 301 0 78380 0
vsize: 314724
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 119216 0 0 0 6735 262 0 0 25 0 1 0 972950418 348905472 74504 4294967295 134512640 135730672 3221224576 3220917496 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85182 74505 301 301 0 84881 0
vsize: 340728
[startup+80.0036 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 158365 0 0 0 7663 335 0 0 25 0 1 0 972950418 479145984 95105 4294967295 134512640 135730672 3221224576 3220329484 134608058 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116979 95105 301 301 0 116678 0
vsize: 467916
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 192814 0 0 0 8589 409 0 0 25 0 1 0 972950418 579809280 104798 4294967295 134512640 135730672 3221224576 3220747672 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141555 104798 301 301 0 141254 0
vsize: 566220
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 204337 0 0 0 9563 435 0 0 25 0 1 0 972950418 627306496 116150 4294967295 134512640 135730672 3221224576 3221222812 134767453 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153151 116158 301 301 0 152850 0
vsize: 612604
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 212988 0 0 0 10543 455 0 0 25 0 1 0 972950418 639660032 120129 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156167 120129 301 301 0 155866 0
vsize: 624668
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 214069 0 0 0 11540 458 0 0 25 0 1 0 972950418 643207168 120731 4294967295 134512640 135730672 3221224576 3221222800 134747590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157033 120731 301 301 0 156732 0
vsize: 628132
[startup+130.006 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 215555 0 0 0 12537 462 0 0 25 0 1 0 972950418 646488064 121444 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157834 121444 301 301 0 157533 0
vsize: 631336
[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 215836 0 0 0 13536 463 0 0 25 0 1 0 972950418 647290880 121660 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158030 121660 301 301 0 157729 0
vsize: 632120
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 216590 0 0 0 14535 465 0 0 25 0 1 0 972950418 649928704 121901 4294967295 134512640 135730672 3221224576 3221222928 134748247 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158674 121901 301 301 0 158373 0
vsize: 634696
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 217396 0 0 0 15534 466 0 0 25 0 1 0 972950418 651902976 122288 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159156 122288 301 301 0 158855 0
vsize: 636624
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 217908 0 0 0 16533 467 0 0 25 0 1 0 972950418 653217792 122508 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159477 122508 301 301 0 159176 0
vsize: 637908
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 217914 0 0 0 17533 467 0 0 25 0 1 0 972950418 653217792 122514 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159477 122514 301 301 0 159176 0
vsize: 637908
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 218065 0 0 0 18533 467 0 0 25 0 1 0 972950418 653479936 122600 4294967295 134512640 135730672 3221224576 3221222800 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159541 122600 301 301 0 159240 0
vsize: 638164
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 218066 0 0 0 19533 467 0 0 25 0 1 0 972950418 653479936 122601 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159541 122601 301 301 0 159240 0
vsize: 638164
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 218068 0 0 0 20533 467 0 0 25 0 1 0 972950418 653479936 122603 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159541 122603 301 301 0 159240 0
vsize: 638164
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 218072 0 0 0 21533 467 0 0 25 0 1 0 972950418 653479936 122607 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159541 122607 301 301 0 159240 0
vsize: 638164
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 218181 0 0 0 22533 468 0 0 25 0 1 0 972950418 653910016 122683 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159646 122683 301 301 0 159345 0
vsize: 638584
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 218852 0 0 0 23531 470 0 0 25 0 1 0 972950418 655880192 122903 4294967295 134512640 135730672 3221224576 3221222928 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160127 122903 301 301 0 159826 0
vsize: 640508
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 218944 0 0 0 24531 470 0 0 25 0 1 0 972950418 656011264 122962 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160159 122962 301 301 0 159858 0
vsize: 640636
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 219950 0 0 0 25530 471 0 0 25 0 1 0 972950418 658841600 123507 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160850 123507 301 301 0 160549 0
vsize: 643400
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220303 0 0 0 26529 472 0 0 25 0 1 0 972950418 660168704 123795 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161174 123795 301 301 0 160873 0
vsize: 644696
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220439 0 0 0 27529 473 0 0 25 0 1 0 972950418 660692992 123802 4294967295 134512640 135730672 3221224576 3221222800 134747953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161302 123802 301 301 0 161001 0
vsize: 645208
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220440 0 0 0 28529 473 0 0 25 0 1 0 972950418 660692992 123803 4294967295 134512640 135730672 3221224576 3221222896 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161302 123803 301 301 0 161001 0
vsize: 645208
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220443 0 0 0 29529 473 0 0 25 0 1 0 972950418 660692992 123806 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161302 123806 301 301 0 161001 0
vsize: 645208
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220445 0 0 0 30529 473 0 0 25 0 1 0 972950418 660692992 123808 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161302 123808 301 301 0 161001 0
vsize: 645208
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220448 0 0 0 31530 473 0 0 25 0 1 0 972950418 660692992 123811 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161302 123811 301 301 0 161001 0
vsize: 645208
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220686 0 0 0 32529 474 0 0 25 0 1 0 972950418 661217280 123920 4294967295 134512640 135730672 3221224576 3221222960 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161430 123920 301 301 0 161129 0
vsize: 645720
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220688 0 0 0 33529 474 0 0 25 0 1 0 972950418 661217280 123922 4294967295 134512640 135730672 3221224576 3221222552 135285429 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161430 123922 301 301 0 161129 0
vsize: 645720
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220917 0 0 0 34529 474 0 0 25 0 1 0 972950418 661741568 124022 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161558 124022 301 301 0 161257 0
vsize: 646232
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220975 0 0 0 35528 475 0 0 25 0 1 0 972950418 661741568 124080 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161558 124080 301 301 0 161257 0
vsize: 646232
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220977 0 0 0 36529 475 0 0 25 0 1 0 972950418 661741568 124082 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161558 124082 301 301 0 161257 0
vsize: 646232
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 220995 0 0 0 37529 475 0 0 25 0 1 0 972950418 661741568 124100 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161558 124100 301 301 0 161257 0
vsize: 646232
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221039 0 0 0 38529 475 0 0 25 0 1 0 972950418 661741568 124144 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161558 124144 301 301 0 161257 0
vsize: 646232
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221040 0 0 0 39529 475 0 0 25 0 1 0 972950418 661741568 124145 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161558 124145 301 301 0 161257 0
vsize: 646232
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221086 0 0 0 40529 475 0 0 25 0 1 0 972950418 661741568 124191 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161558 124191 301 301 0 161257 0
vsize: 646232
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221091 0 0 0 41529 475 0 0 25 0 1 0 972950418 661606400 124163 4294967295 134512640 135730672 3221224576 3221222992 134748577 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124163 301 301 0 161224 0
vsize: 646100
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221092 0 0 0 42530 475 0 0 25 0 1 0 972950418 661606400 124164 4294967295 134512640 135730672 3221224576 3221222800 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124164 301 301 0 161224 0
vsize: 646100
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221094 0 0 0 43530 475 0 0 25 0 1 0 972950418 661606400 124166 4294967295 134512640 135730672 3221224576 3221222800 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124166 301 301 0 161224 0
vsize: 646100
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221189 0 0 0 44529 476 0 0 25 0 1 0 972950418 661606400 124261 4294967295 134512640 135730672 3221224576 3221222960 134748656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124261 301 301 0 161224 0
vsize: 646100
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221191 0 0 0 45529 476 0 0 25 0 1 0 972950418 661606400 124263 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124263 301 301 0 161224 0
vsize: 646100
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221193 0 0 0 46530 476 0 0 25 0 1 0 972950418 661606400 124265 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124265 301 301 0 161224 0
vsize: 646100
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221216 0 0 0 47530 476 0 0 25 0 1 0 972950418 661606400 124288 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124288 301 301 0 161224 0
vsize: 646100
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221218 0 0 0 48530 476 0 0 25 0 1 0 972950418 661606400 124290 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124290 301 301 0 161224 0
vsize: 646100
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221257 0 0 0 49530 476 0 0 25 0 1 0 972950418 661606400 124329 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124329 301 301 0 161224 0
vsize: 646100
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221258 0 0 0 50530 476 0 0 25 0 1 0 972950418 661606400 124330 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124330 301 301 0 161224 0
vsize: 646100
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221285 0 0 0 51530 476 0 0 25 0 1 0 972950418 661606400 124357 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124357 301 301 0 161224 0
vsize: 646100
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221288 0 0 0 52530 476 0 0 25 0 1 0 972950418 661606400 124360 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161525 124360 301 301 0 161224 0
vsize: 646100
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221358 0 0 0 53530 477 0 0 25 0 1 0 972950418 662134784 124430 4294967295 134512640 135730672 3221224576 3221222800 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161654 124430 301 301 0 161353 0
vsize: 646616
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 221361 0 0 0 54530 477 0 0 25 0 1 0 972950418 662134784 124433 4294967295 134512640 135730672 3221224576 3221222960 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161654 124433 301 301 0 161353 0
vsize: 646616
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 224476 0 0 0 55524 483 0 0 25 0 1 0 972950418 670187520 125804 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163620 125804 301 301 0 163319 0
vsize: 654480
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 227480 0 0 0 56519 489 0 0 25 0 1 0 972950418 678887424 127268 4294967295 134512640 135730672 3221224576 3221222800 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165744 127268 301 301 0 165443 0
vsize: 662976
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 228842 0 0 0 57516 491 0 0 25 0 1 0 972950418 682303488 127854 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166578 127854 301 301 0 166277 0
vsize: 666312
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 228846 0 0 0 58516 491 0 0 25 0 1 0 972950418 682303488 127858 4294967295 134512640 135730672 3221224576 3221222800 134747452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166578 127858 301 301 0 166277 0
vsize: 666312
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 231457 0 0 0 59513 495 0 0 25 0 1 0 972950418 689410048 129159 4294967295 134512640 135730672 3221224576 3221222800 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168313 129160 301 301 0 168012 0
vsize: 673252
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 233243 0 0 0 60509 499 0 0 25 0 1 0 972950418 694800384 130010 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169629 130010 301 301 0 169328 0
vsize: 678516
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 234177 0 0 0 61508 500 0 0 25 0 1 0 972950418 696639488 130557 4294967295 134512640 135730672 3221224576 3221222800 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170078 130557 301 301 0 169777 0
vsize: 680312
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 236144 0 0 0 62504 505 0 0 25 0 1 0 972950418 701894656 131362 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171361 131363 301 301 0 171060 0
vsize: 685444
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 237802 0 0 0 63500 509 0 0 25 0 1 0 972950418 706625536 132052 4294967295 134512640 135730672 3221224576 3221222800 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172516 132052 301 301 0 172215 0
vsize: 690064
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 237803 0 0 0 64500 509 0 0 25 0 1 0 972950418 706625536 132053 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172516 132053 301 301 0 172215 0
vsize: 690064
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 238478 0 0 0 65499 510 0 0 25 0 1 0 972950418 708198400 132342 4294967295 134512640 135730672 3221224576 3221222800 134747874 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172900 132342 301 301 0 172599 0
vsize: 691600
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 238485 0 0 0 66499 510 0 0 25 0 1 0 972950418 708198400 132349 4294967295 134512640 135730672 3221224576 3221222800 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172900 132349 301 301 0 172599 0
vsize: 691600
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 238489 0 0 0 67499 510 0 0 25 0 1 0 972950418 708198400 132353 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172900 132353 301 301 0 172599 0
vsize: 691600
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 238515 0 0 0 68499 510 0 0 25 0 1 0 972950418 708198400 132379 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172900 132379 301 301 0 172599 0
vsize: 691600
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 238526 0 0 0 69499 511 0 0 25 0 1 0 972950418 708198400 132390 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172900 132390 301 301 0 172599 0
vsize: 691600
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239197 0 0 0 70498 512 0 0 25 0 1 0 972950418 710295552 132548 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132548 301 301 0 173111 0
vsize: 693648
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239201 0 0 0 71498 512 0 0 25 0 1 0 972950418 710295552 132552 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132552 301 301 0 173111 0
vsize: 693648
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239204 0 0 0 72498 513 0 0 25 0 1 0 972950418 710295552 132555 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132555 301 301 0 173111 0
vsize: 693648
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239210 0 0 0 73498 513 0 0 25 0 1 0 972950418 710295552 132561 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132561 301 301 0 173111 0
vsize: 693648
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239237 0 0 0 74498 513 0 0 25 0 1 0 972950418 710295552 132588 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132588 301 301 0 173111 0
vsize: 693648
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239242 0 0 0 75498 513 0 0 25 0 1 0 972950418 710295552 132593 4294967295 134512640 135730672 3221224576 3221222800 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132593 301 301 0 173111 0
vsize: 693648
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239252 0 0 0 76498 513 0 0 25 0 1 0 972950418 710295552 132603 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132603 301 301 0 173111 0
vsize: 693648
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239255 0 0 0 77498 513 0 0 25 0 1 0 972950418 710295552 132606 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132606 301 301 0 173111 0
vsize: 693648
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239260 0 0 0 78498 513 0 0 25 0 1 0 972950418 710295552 132611 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132611 301 301 0 173111 0
vsize: 693648
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239263 0 0 0 79498 513 0 0 25 0 1 0 972950418 710295552 132614 4294967295 134512640 135730672 3221224576 3221222800 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 132614 301 301 0 173111 0
vsize: 693648
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239689 0 0 0 80497 515 0 0 25 0 1 0 972950418 711344128 132783 4294967295 134512640 135730672 3221224576 3221222924 135284036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132783 301 301 0 173367 0
vsize: 694672
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239733 0 0 0 81497 515 0 0 25 0 1 0 972950418 711344128 132827 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132827 301 301 0 173367 0
vsize: 694672
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239802 0 0 0 82497 515 0 0 25 0 1 0 972950418 711344128 132896 4294967295 134512640 135730672 3221224576 3221222960 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132896 301 301 0 173367 0
vsize: 694672
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 239807 0 0 0 83498 515 0 0 25 0 1 0 972950418 711344128 132901 4294967295 134512640 135730672 3221224576 3221222800 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132901 301 301 0 173367 0
vsize: 694672
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242584 0 0 0 84491 522 0 0 25 0 1 0 972950418 711344128 132901 4294967295 134512640 135730672 3221224576 3221222928 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132901 301 301 0 173367 0
vsize: 694672
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242600 0 0 0 85490 522 0 0 25 0 1 0 972950418 711344128 132917 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132917 301 301 0 173367 0
vsize: 694672
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242600 0 0 0 86490 522 0 0 25 0 1 0 972950418 711344128 132917 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132917 301 301 0 173367 0
vsize: 694672
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242601 0 0 0 87490 522 0 0 25 0 1 0 972950418 711344128 132918 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132918 301 301 0 173367 0
vsize: 694672
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242601 0 0 0 88490 522 0 0 25 0 1 0 972950418 711344128 132918 4294967295 134512640 135730672 3221224576 3221222960 134734774 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132918 301 301 0 173367 0
vsize: 694672
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242601 0 0 0 89490 522 0 0 25 0 1 0 972950418 711344128 132918 4294967295 134512640 135730672 3221224576 3221222848 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132918 301 301 0 173367 0
vsize: 694672
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242602 0 0 0 90490 523 0 0 25 0 1 0 972950418 711344128 132919 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132919 301 301 0 173367 0
vsize: 694672
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242602 0 0 0 91490 523 0 0 25 0 1 0 972950418 711344128 132919 4294967295 134512640 135730672 3221224576 3221222800 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132919 301 301 0 173367 0
vsize: 694672
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242603 0 0 0 92491 523 0 0 25 0 1 0 972950418 711344128 132920 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132920 301 301 0 173367 0
vsize: 694672
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242603 0 0 0 93491 523 0 0 25 0 1 0 972950418 711344128 132920 4294967295 134512640 135730672 3221224576 3221222992 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132920 301 301 0 173367 0
vsize: 694672
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 242603 0 0 0 94491 523 0 0 25 0 1 0 972950418 711344128 132920 4294967295 134512640 135730672 3221224576 3221222972 134748653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173668 132920 301 301 0 173367 0
vsize: 694672
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 243036 0 0 0 95490 524 0 0 25 0 1 0 972950418 712392704 133096 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173924 133096 301 301 0 173623 0
vsize: 695696
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 243039 0 0 0 96490 524 0 0 25 0 1 0 972950418 712392704 133099 4294967295 134512640 135730672 3221224576 3221222800 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173924 133099 301 301 0 173623 0
vsize: 695696
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 245816 0 0 0 97483 531 0 0 25 0 1 0 972950418 712392704 133099 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173924 133099 301 301 0 173623 0
vsize: 695696
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 245821 0 0 0 98483 531 0 0 25 0 1 0 972950418 712392704 133104 4294967295 134512640 135730672 3221224576 3221222624 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173924 133104 301 301 0 173623 0
vsize: 695696
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246017 0 0 0 99482 532 0 0 25 0 1 0 972950418 712916992 133171 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174052 133171 301 301 0 173751 0
vsize: 696208
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246022 0 0 0 100482 532 0 0 25 0 1 0 972950418 712916992 133176 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174052 133176 301 301 0 173751 0
vsize: 696208
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246025 0 0 0 101482 532 0 0 25 0 1 0 972950418 712916992 133179 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174052 133179 301 301 0 173751 0
vsize: 696208
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246496 0 0 0 102481 533 0 0 25 0 1 0 972950418 713965568 133393 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133393 301 301 0 174007 0
vsize: 697232
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246501 0 0 0 103481 533 0 0 25 0 1 0 972950418 713965568 133398 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133398 301 301 0 174007 0
vsize: 697232
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246506 0 0 0 104481 533 0 0 25 0 1 0 972950418 713965568 133403 4294967295 134512640 135730672 3221224576 3221222800 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133403 301 301 0 174007 0
vsize: 697232
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246511 0 0 0 105481 533 0 0 25 0 1 0 972950418 713965568 133408 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133408 301 301 0 174007 0
vsize: 697232
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246513 0 0 0 106482 533 0 0 25 0 1 0 972950418 713965568 133410 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133410 301 301 0 174007 0
vsize: 697232
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246520 0 0 0 107482 533 0 0 25 0 1 0 972950418 713965568 133417 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133417 301 301 0 174007 0
vsize: 697232
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 246526 0 0 0 108482 533 0 0 25 0 1 0 972950418 713965568 133423 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133423 301 301 0 174007 0
vsize: 697232
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249308 0 0 0 109475 540 0 0 25 0 1 0 972950418 725340160 136205 4294967295 134512640 135730672 3221224576 3221222456 134765469 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177085 136205 301 301 0 176784 0
vsize: 708340
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249310 0 0 0 110474 541 0 0 25 0 1 0 972950418 713965568 133430 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174308 133430 301 301 0 174007 0
vsize: 697232
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249313 0 0 0 111473 541 0 0 25 0 1 0 972950418 713965568 133433 4294967295 134512640 135730672 3221224576 3221222940 134748066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133433 301 301 0 174007 0
vsize: 697232
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249316 0 0 0 112474 541 0 0 25 0 1 0 972950418 713965568 133436 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133436 301 301 0 174007 0
vsize: 697232
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249319 0 0 0 113474 541 0 0 25 0 1 0 972950418 713965568 133439 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133439 301 301 0 174007 0
vsize: 697232
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249323 0 0 0 114474 541 0 0 25 0 1 0 972950418 713965568 133443 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133443 301 301 0 174007 0
vsize: 697232
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249326 0 0 0 115474 541 0 0 25 0 1 0 972950418 713965568 133446 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133446 301 301 0 174007 0
vsize: 697232
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249331 0 0 0 116474 541 0 0 25 0 1 0 972950418 713965568 133451 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133451 301 301 0 174007 0
vsize: 697232
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249333 0 0 0 117474 541 0 0 25 0 1 0 972950418 713965568 133453 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133453 301 301 0 174007 0
vsize: 697232
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249336 0 0 0 118475 541 0 0 25 0 1 0 972950418 713965568 133456 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174308 133456 301 301 0 174007 0
vsize: 697232
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249647 0 0 0 119474 542 0 0 25 0 1 0 972950418 715014144 133510 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174564 133510 301 301 0 174263 0
vsize: 698256
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.31 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 18693
Raw data (stat): 18693 (pb2sat-v2) R 18692 7266 7265 0 -1 0 249647 0 0 0 119474 542 0 0 25 0 1 0 972950418 715014144 133510 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174564 133510 301 301 0 174263 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.31
CPU time (s): 1202.44
CPU user time (s): 1196.75
CPU system time (s): 5.69113
CPU usage (%): 100.011
Max. virtual memory (Kb): 708340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	187595
#### END VERIFIER DATA ####