PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb
MD5SUM	cc9b9a1bf5f3e0998bc97d2eed5cbbd9
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.07384
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 38756

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 16:27:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26809 boxname=wulflinc5 idbench=937 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  cc9b9a1bf5f3e0998bc97d2eed5cbbd9  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 26809
/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:        576144 kB
Buffers:         35164 kB
Cached:         400148 kB
SwapCached:        568 kB
Active:          32084 kB
Inactive:       405276 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        575892 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15524 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 16:47:09 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26809 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p2756.opb
c #variables read: 2756 - #constraints read: 3512
s SATISFIABLE
v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1014_bit0 -C1017_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1027_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1042_bit0 C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1054_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1070_bit0 -C1073_bit0 C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1083_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1098_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1110_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1153_bit0 -C1156_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1166_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1181_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1193_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 -C1209_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 -C1215_bit0 -C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1222_bit0 -C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1234_bit0 -C1237_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 -C1246_bit0 -C1249_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1258_bit0 -C1259_bit0 -C1260_bit0 -C1261_bit0 -C1262_bit0 -C1263_bit0 -C1265_bit0 -C1266_bit0 -C1267_bit0 -C1268_bit0 -C1270_bit0 -C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 -C1281_bit0 -C1283_bit0 -C1284_bit0 -C1285_bit0 -C1286_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 -C1303_bit0 -C1304_bit0 -C1305_bit0 -C1306_bit0 -C1307_bit0 -C1308_bit0 C1309_bit0 -C1310_bit0 C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1326_bit0 -C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 -C1335_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1341_bit0 -C1343_bit0 -C1344_bit0 -C1345_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 -C1351_bit0 -C1352_bit0 -C1353_bit0 -C1354_bit0 -C1356_bit0 -C1357_bit0 -C1358_bit0 C1359_bit0 -C1360_bit0 -C1361_bit0 -C1362_bit0 -C1363_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 -C1380_bit0 -C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1385_bit0 -C1386_bit0 -C1387_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 -C1412_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 -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 -C1456_bit0 -C1457_bit0 -C1458_bit0 -C1459_bit0 -C1460_bit0 -C1461_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 -C1479_bit0 -C1480_bit0 -C1481_bit0 -C1482_bit0 -C1483_bit0 -C1484_bit0 -C1485_bit0 -C1486_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 -C1506_bit0 -C1507_bit0 -C1508_bit0 -C1509_bit0 -C1510_bit0 -C1511_bit0 -C1512_bit0 -C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 -C1517_bit0 -C1519_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 -C1535_bit0 -C1536_bit0 -C1537_bit0 -C1538_bit0 -C1539_bit0 -C1540_bit0 -C1541_bit0 -C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 -C1546_bit0 -C1549_bit0 -C1550_bit0 -C1551_bit0 -C1552_bit0 -C1553_bit0 -C1554_bit0 -C1555_bit0 -C1556_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 -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 -C1592_bit0 -C1593_bit0 -C1594_bit0 -C1595_bit0 -C1596_bit0 -C1597_bit0 -C1598_bit0 -C1599_bit0 -C1600_bit0 -C1601_bit0 -C1602_bit0 -C1603_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 -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 -C1650_bit0 -C1651_bit0 -C1652_bit0 -C1653_bit0 -C1656_bit0 -C1657_bit0 -C1658_bit0 -C1659_bit0 -C1660_bit0 -C1661_bit0 -C1662_bit0 -C1663_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 -C1683_bit0 -C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 -C1688_bit0 -C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 -C1694_bit0 -C1696_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 -C1712_bit0 -C1713_bit0 -C1714_bit0 -C1715_bit0 -C1716_bit0 -C1717_bit0 -C1718_bit0 -C1719_bit0 -C1720_bit0 -C1721_bit0 -C1722_bit0 -C1723_bit0 -C1726_bit0 -C1727_bit0 -C1728_bit0 -C1729_bit0 -C1730_bit0 -C1731_bit0 -C1732_bit0 -C1733_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 -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 -C1769_bit0 -C1770_bit0 -C1771_bit0 -C1772_bit0 -C1773_bit0 -C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_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 -C1796_bit0 -C1797_bit0 -C1798_bit0 -C1799_bit0 -C1800_bit0 -C1812_bit0 -C1813_bit0 -C1814_bit0 -C1815_bit0 -C1816_bit0 -C1817_bit0 -C1818_bit0 -C1821_bit0 -C1822_bit0 -C1823_bit0 -C1824_bit0 -C1825_bit0 -C1829_bit0 -C1833_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 -C1843_bit0 -C1846_bit0 -C1847_bit0 -C1848_bit0 -C1849_bit0 C1850_bit0 -C1851_bit0 -C1854_bit0 -C1856_bit0 -C1860_bit0 -C1864_bit0 -C1865_bit0 -C1867_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1875_bit0 -C1876_bit0 -C1877_bit0 -C1878_bit0 -C1879_bit0 -C1880_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 -C1896_bit0 -C1897_bit0 -C1898_bit0 -C1899_bit0 C1900_bit0 -C1904_bit0 -C1908_bit0 -C1912_bit0 -C1913_bit0 C1914_bit0 -C1915_bit0 -C1916_bit0 -C1917_bit0 -C1918_bit0 -C1921_bit0 -C1922_bit0 -C1923_bit0 -C1924_bit0 -C1925_bit0 -C1926_bit0 -C1929_bit0 -C1933_bit0 -C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 -C1943_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 -C1950_bit0 -C1951_bit0 -C1952_bit0 -C1954_bit0 -C1955_bit0 -C1956_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 -C1962_bit0 -C1964_bit0 -C1965_bit0 -C1967_bit0 -C1970_bit0 -C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 -C1975_bit0 -C1976_bit0 -C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_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 -C2000_bit0 -C2001_bit0 -C2002_bit0 -C2003_bit0 C2004_bit0 -C2005_bit0 -C2008_bit0 -C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2016_bit0 -C2017_bit0 -C2018_bit0 -C2019_bit0 -C2020_bit0 -C2021_bit0 C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_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 -C2045_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 -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 -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 -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 -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 -C2144_bit0 -C2145_bit0 -C2146_bit0 -C2147_bit0 -C2148_bit0 -C2149_bit0 -C2152_bit0 -C2155_bit0 -C2156_bit0 -C2157_bit0 -C2158_bit0 -C2160_bit0 -C2161_bit0 -C2162_bit0 -C2163_bit0 -C2164_bit0 -C2165_bit0 -C2166_bit0 -C2167_bit0 -C2168_bit0 -C2169_bit0 -C2170_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 -C2189_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 -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 -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 -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 -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 -C2348_bit0 -C2349_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 -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 -C2384_bit0 -C2386_bit0 -C2387_bit0 -C2391_bit0 -C2392_bit0 -C2393_bit0 -C2394_bit0 -C2395_bit0 -C2396_bit0 -C2397_bit0 -C2398_bit0 -C2399_bit0 -C2401_bit0 -C2402_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 -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 -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 -C2455_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 -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 -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 -C2511_bit0 -C2512_bit0 -C2513_bit0 -C2514_bit0 -C2515_bit0 -C2516_bit0 -C2517_bit0 -C2518_bit0 -C2519_bit0 -C2520_bit0 -C2521_bit0 -C2522_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 -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 -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 -C2578_bit0 -C2579_bit0 -C2580_bit0 -C2581_bit0 -C2582_bit0 -C2583_bit0 -C2584_bit0 -C2585_bit0 -C2586_bit0 -C2587_bit0 -C2588_bit0 -C2589_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 -C2609_bit0 -C2610_bit0 -C2611_bit0 -C2612_bit0 -C2613_bit0 -C2614_bit0 -C2615_bit0 -C2616_bit0 -C2617_bit0 -C2618_bit0 -C2619_bit0 -C2620_bit0 -C2623_bit0 -C2624_bit0 -C2625_bit0 -C2626_bit0 -C2627_bit0 -C2628_bit0 -C2631_bit0 -C2634_bit0 -C2635_bit0 -C2636_bit0 -C2637_bit0 -C2639_bit0 -C2640_bit0 -C2641_bit0 -C2642_bit0 -C2643_bit0 -C2644_bit0 -C2647_bit0 -C2648_bit0 -C2649_bit0 -C2650_bit0 -C2651_bit0 -C2652_bit0 -C2653_bit0 -C2654_bit0 -C2655_bit0 -C2656_bit0 -C2658_bit0 -C2659_bit0 -C2660_bit0 -C2663_bit0 -C2664_bit0 -C2665_bit0 -C2666_bit0 -C2667_bit0 -C2668_bit0 -C2669_bit0 -C2670_bit0 -C2671_bit0 -C2672_bit0 -C2673_bit0 -C2675_bit0 -C2678_bit0 -C2679_bit0 -C2680_bit0 -C2683_bit0 -C2684_bit0 -C2685_bit0 -C2686_bit0 -C2687_bit0 -C2688_bit0 -C2690_bit0 -C2692_bit0 -C2694_bit0 -C2695_bit0 -C2696_bit0 -C2699_bit0 -C2700_bit0 -C2701_bit0 -C2702_bit0 -C2703_bit0 -C2704_bit0 -C2705_bit0 -C2708_bit0 -C2709_bit0 -C2710_bit0 -C2711_bit0 -C2712_bit0 -C2713_bit0 -C2714_bit0 -C2716_bit0 -C2719_bit0 -C2720_bit0 -C2721_bit0 -C2722_bit0 -C2723_bit0 -C2724_bit0 -C2725_bit0 -C2726_bit0 -C2727_bit0 -C2728_bit0 -C2729_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 -C2748_bit0 -C2749_bit0 -C2750_bit0 -C2751_bit0 -C2752_bit0 -C2753_bit0 -C2754_bit0 -C2755_bit0 -C2756_bit0 -C2757_bit0 -C2758_bit0 -C2760_bit0 -C2763_bit0 -C2764_bit0 -C2765_bit0 -C2766_bit0 -C2768_bit0 -C2769_bit0 -C2770_bit0 -C2771_bit0 -C2772_bit0 -C2773_bit0 -C2775_bit0 -C2776_bit0 -C2777_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 -C2793_bit0 -C2794_bit0 -C2795_bit0 -C2796_bit0 -C2797_bit0 -C2798_bit0 -C2799_bit0 -C2801_bit0 -C2804_bit0 -C2805_bit0 -C2806_bit0 -C2807_bit0 -C2808_bit0 -C2809_bit0 -C2810_bit0 -C2811_bit0 -C2812_bit0 -C2813_bit0 -C2814_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 -C2833_bit0 -C2834_bit0 -C2835_bit0 -C2836_bit0 -C2837_bit0 -C2838_bit0 -C2839_bit0 -C2840_bit0 -C2841_bit0 -C2842_bit0 -C2843_bit0 -C2845_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 -C2864_bit0 -C2865_bit0 -C2866_bit0 -C2867_bit0 -C2868_bit0 -C2869_bit0 -C2870_bit0 -C2871_bit0 -C2872_bit0 -C2873_bit0 -C2874_bit0 -C2875_bit0 -C2878_bit0 -C2879_bit0 -C2880_bit0 -C2881_bit0 -C2882_bit0 -C2883_bit0 -C2884_bit0 -C2885_bit0 -C2886_bit0 -C2889_bit0 -C2890_bit0 -C2891_bit0 -C2892_bit0 -C2893_bit0 -C2894_bit0 -C2895_bit0 -C2896_bit0 -C2897_bit0 -C2898_bit0 -C2899_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 -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 -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 -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 -C2966_bit0 -C2967_bit0 -C2968_bit0 -C2969_bit0 -C2970_bit0 -C2971_bit0 -C2972_bit0 -C2973_bit0 -C2974_bit0 -C2975_bit0 -C2976_bit0 -C2977_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 -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 -C3027_bit0 -C3028_bit0 -C3029_bit0 -C3030_bit0 -C3031_bit0 -C3032_bit0 -C3033_bit0 -C3034_bit0 -C3035_bit0 -C3038_bit0 -C3040_bit0 -C3041_bit0 -C3042_bit0 -C3043_bit0 -C3045_bit0 -C3046_bit0 -C3047_bit0 -C3048_bit0 -C3049_bit0 -C3050_bit0 -C3051_bit0 -C3053_bit0 -C3054_bit0 -C3055_bit0 -C3056_bit0 -C3057_bit0 -C3058_bit0 -C3059_bit0 -C3060_bit0 -C3061_bit0 -C3062_bit0 -C3064_bit0 -C3066_bit0 -C3067_bit0 -C3068_bit0 -C3071_bit0 -C3072_bit0 -C3073_bit0 -C3074_bit0 -C3075_bit0 -C3076_bit0 -C3077_bit0 -C3078_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 -C3094_bit0 -C3095_bit0 -C3096_bit0 -C3097_bit0 -C3098_bit0 -C3099_bit0 -C3100_bit0 -C3101_bit0 -C3102_bit0 C3105_bit0 -C3107_bit0 -C3108_bit0 -C3109_bit0 -C3110_bit0 -C3112_bit0 -C3113_bit0 -C3114_bit0 -C3115_bit0 -C3116_bit0 -C3117_bit0 -C3118_bit0 -C3120_bit0 -C3121_bit0 -C3122_bit0 -C3123_bit0 -C3124_bit0 -C3125_bit0 -C3126_bit0 -C3127_bit0 -C3128_bit0 -C3129_bit0 -C3131_bit0 -C3133_bit0 -C3134_bit0 -C3135_bit0 -C3138_bit0 -C3139_bit0 -C3140_bit0 -C3141_bit0 -C3142_bit0 -C3143_bit0 -C3144_bit0 -C3145_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 -C3161_bit0 -C3162_bit0 -C3163_bit0 -C3164_bit0 -C3165_bit0 -C3166_bit0 -C3167_bit0 -C3168_bit0 -C3169_bit0 -C3170_bit0 -C3172_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 -C3187_bit0 -C3188_bit0 -C3189_bit0 -C3190_bit0 -C3191_bit0 -C3192_bit0 -C3193_bit0 -C3194_bit0 -C3195_bit0 -C3196_bit0 -C3198_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 -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 -C3228_bit0 -C3229_bit0 -C3230_bit0 -C3231_bit0 -C3232_bit0 -C3233_bit0 -C3234_bit0 -C3235_bit0 -C3236_bit0 -C3237_bit0 -C3239_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 -C3254_bit0 -C3255_bit0 -C3256_bit0 -C3257_bit0 -C3258_bit0 -C3259_bit0 -C3260_bit0 -C3261_bit0 -C3262_bit0 -C3263_bit0 -C3265_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 -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 -C3295_bit0 -C3296_bit0 -C3297_bit0 -C3298_bit0 -C3299_bit0 -C3300_bit0 -C3301_bit0 -C3302_bit0 -C3303_bit0 -C3306_bit0 -C3308_bit0 -C3309_bit0 -C3310_bit0 -C3311_bit0 -C3313_bit0 -C3314_bit0 -C3315_bit0 -C3316_bit0 -C3317_bit0 -C3318_bit0 -C3319_bit0 -C3321_bit0 -C3322_bit0 -C3323_bit0 -C3324_bit0 -C3325_bit0 -C3326_bit0 -C3327_bit0 -C3328_bit0 -C3329_bit0 -C3330_bit0 -C3332_bit0 -C3334_bit0 -C3335_bit0 -C3336_bit0 -C3337_bit0 -C3339_bit0 -C3340_bit0 -C3341_bit0 -C3342_bit0 -C3343_bit0 -C3345_bit0 -C3346_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 -C3362_bit0 -C3363_bit0 -C3364_bit0 -C3365_bit0 -C3366_bit0 -C3367_bit0 -C3368_bit0 -C3369_bit0 -C3370_bit0 C3373_bit0 -C3375_bit0 -C3376_bit0 -C3377_bit0 -C3378_bit0 -C3380_bit0 -C3381_bit0 -C3382_bit0 -C3383_bit0 -C3384_bit0 -C3385_bit0 -C3386_bit0 -C3388_bit0 -C3389_bit0 -C3390_bit0 -C3391_bit0 -C3392_bit0 -C3393_bit0 -C3394_bit0 -C3395_bit0 -C3396_bit0 -C3397_bit0 -C3399_bit0 -C3401_bit0 -C3402_bit0 -C3403_bit0 -C3404_bit0 -C3406_bit0 -C3407_bit0 -C3408_bit0 -C3409_bit0 -C3410_bit0 -C3411_bit0 -C3412_bit0 -C3413_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 -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 -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 -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 -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 -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 -C3517_bit0 C3518_bit0 C3519_bit0 C3520_bit0 C3521_bit0 -C3522_bit0 -C3523_bit0 C3524_bit0 -C3526_bit0 -C3527_bit0 -C3528_bit0 C3529_bit0 C3530_bit0 -C3531_bit0 C3532_bit0 -C3534_bit0 -C3535_bit0 -C3536_bit0 C3537_bit0 C3538_bit0 -C3539_bit0 -C3540_bit0 -C3541_bit0 -C3542_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 -C1007_bit0 C1008_bit0 -C1012_bit0 -C1013_bit0 -C1015_bit0 -C1016_bit0 -C1018_bit0 -C1025_bit0 -C1026_bit0 C1028_bit0 -C1040_bit0 C1041_bit0 C1043_bit0 -C1052_bit0 -C1053_bit0 -C1055_bit0 -C1063_bit0 C1064_bit0 -C1069_bit0 -C1071_bit0 C1072_bit0 -C1081_bit0 C1082_bit0 -C1084_bit0 -C1096_bit0 -C1097_bit0 -C1099_bit0 -C1108_bit0 -C1109_bit0 -C1111_bit0 -C1118_bit0 -C1125_bit0 -C1130_bit0 -C1138_bit0 -C1146_bit0 -C1147_bit0 -C1151_bit0 -C1152_bit0 -C1154_bit0 -C1155_bit0 -C1157_bit0 -C1164_bit0 C1165_bit0 -C1167_bit0 -C1179_bit0 -C1180_bit0 -C1182_bit0 -C1191_bit0 -C1192_bit0 -C1194_bit0 -C1202_bit0 -C1203_bit0 -C1208_bit0 -C1210_bit0 -C1211_bit0 -C1220_bit0 -C1221_bit0 -C1223_bit0 -C1235_bit0 -C1236_bit0 -C1238_bit0 -C1247_bit0 -C1248_bit0 -C1250_bit0 -C1257_bit0 -C1264_bit0 C1269_bit0 -C1277_bit0 -C1282_bit0 -C1287_bit0 -C1288_bit0 -C1301_bit0 C1302_bit0 -C1311_bit0 C1312_bit0 -C1324_bit0 -C1325_bit0 -C1334_bit0 -C1336_bit0 -C1337_bit0 -C1342_bit0 -C1346_bit0 -C1350_bit0 -C1355_bit0 -C1364_bit0 C1365_bit0 -C1378_bit0 -C1379_bit0 -C1388_bit0 -C1389_bit0 -C1401_bit0 -C1402_bit0 -C1413_bit0 -C1414_bit0 -C1427_bit0 -C1455_bit0 -C1462_bit0 -C1477_bit0 -C1478_bit0 -C1487_bit0 -C1488_bit0 -C1504_bit0 -C1505_bit0 -C1518_bit0 -C1520_bit0 -C1521_bit0 -C1534_bit0 -C1547_bit0 -C1548_bit0 -C1557_bit0 -C1558_bit0 -C1574_bit0 C1575_bit0 -C1590_bit0 C1591_bit0 -C1604_bit0 -C1632_bit0 -C1649_bit0 -C1654_bit0 -C1655_bit0 -C1664_bit0 -C1665_bit0 -C1681_bit0 -C1682_bit0 -C1695_bit0 -C1697_bit0 -C1698_bit0 -C1711_bit0 -C1724_bit0 -C1725_bit0 -C1734_bit0 -C1735_bit0 -C1751_bit0 C1752_bit0 -C1767_bit0 C1768_bit0 -C1781_bit0 -C1794_bit0 C1795_bit0 -C1801_bit0 -C1802_bit0 -C1803_bit0 -C1804_bit0 -C1805_bit0 -C1806_bit0 -C1807_bit0 -C1808_bit0 -C1809_bit0 -C1810_bit0 -C1811_bit0 -C1819_bit0 C1820_bit0 -C1826_bit0 -C1827_bit0 -C1828_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1834_bit0 -C1835_bit0 -C1836_bit0 -C1844_bit0 C1845_bit0 -C1852_bit0 -C1853_bit0 -C1855_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C1866_bit0 -C1868_bit0 -C1869_bit0 -C1874_bit0 -C1881_bit0 -C1894_bit0 C1895_bit0 -C1901_bit0 -C1902_bit0 -C1903_bit0 -C1905_bit0 -C1906_bit0 -C1907_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C1919_bit0 C1920_bit0 -C1927_bit0 -C1928_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C1944_bit0 -C1945_bit0 -C1953_bit0 -C1957_bit0 -C1958_bit0 -C1963_bit0 -C1966_bit0 -C1968_bit0 -C1969_bit0 -C1981_bit0 -C1998_bit0 C1999_bit0 -C2006_bit0 -C2007_bit0 -C2009_bit0 -C2010_bit0 -C2015_bit0 -C2027_bit0 C2028_bit0 -C2044_bit0 -C2046_bit0 -C2047_bit0 -C2068_bit0 -C2069_bit0 -C2089_bit0 -C2090_bit0 -C2104_bit0 -C2105_bit0 -C2125_bit0 -C2142_bit0 -C2143_bit0 -C2150_bit0 -C2151_bit0 -C2153_bit0 -C2154_bit0 -C2159_bit0 -C2171_bit0 C2172_bit0 -C2188_bit0 -C2190_bit0 -C2191_bit0 -C2212_bit0 -C2213_bit0 -C2233_bit0 -C2234_bit0 -C2248_bit0 C2249_bit0 -C2269_bit0 -C2347_bit0 -C2350_bit0 -C2368_bit0 -C2383_bit0 -C2385_bit0 -C2388_bit0 -C2389_bit0 -C2390_bit0 -C2400_bit0 -C2403_bit0 C2421_bit0 -C2439_bit0 -C2454_bit0 -C2456_bit0 C2474_bit0 -C2492_bit0 C2510_bit0 -C2523_bit0 -C2541_bit0 -C2559_bit0 -C2577_bit0 -C2590_bit0 C2608_bit0 -C2621_bit0 -C2622_bit0 -C2629_bit0 -C2630_bit0 -C2632_bit0 -C2633_bit0 -C2638_bit0 -C2645_bit0 -C2646_bit0 -C2657_bit0 -C2661_bit0 -C2662_bit0 -C2674_bit0 -C2676_bit0 -C2677_bit0 -C2681_bit0 -C2682_bit0 -C2689_bit0 -C2691_bit0 -C2693_bit0 -C2697_bit0 -C2698_bit0 -C2706_bit0 -C2707_bit0 -C2715_bit0 -C2717_bit0 -C2718_bit0 -C2730_bit0 -C2731_bit0 -C2746_bit0 C2747_bit0 -C2759_bit0 -C2761_bit0 -C2762_bit0 C2767_bit0 -C2774_bit0 -C2778_bit0 -C2791_bit0 -C2792_bit0 -C2800_bit0 -C2802_bit0 -C2803_bit0 -C2815_bit0 -C2816_bit0 -C2831_bit0 -C2832_bit0 -C2844_bit0 -C2846_bit0 -C2847_bit0 -C2863_bit0 -C2876_bit0 -C2877_bit0 -C2887_bit0 -C2888_bit0 -C2900_bit0 -C2901_bit0 -C2916_bit0 C2917_bit0 -C2931_bit0 C2932_bit0 -C2948_bit0 -C2964_bit0 -C2965_bit0 -C2978_bit0 -C2979_bit0 -C3002_bit0 -C3026_bit0 -C3036_bit0 -C3037_bit0 -C3039_bit0 -C3044_bit0 -C3052_bit0 -C3063_bit0 -C3065_bit0 -C3069_bit0 -C3070_bit0 -C3079_bit0 -C3093_bit0 -C3103_bit0 -C3104_bit0 -C3106_bit0 -C3111_bit0 -C3119_bit0 -C3130_bit0 -C3132_bit0 -C3136_bit0 -C3137_bit0 -C3146_bit0 -C3160_bit0 -C3171_bit0 -C3173_bit0 -C3186_bit0 -C3197_bit0 -C3199_bit0 -C3213_bit0 -C3227_bit0 -C3238_bit0 -C3240_bit0 -C3253_bit0 -C3264_bit0 -C3266_bit0 -C3280_bit0 -C3294_bit0 -C3304_bit0 -C3305_bit0 -C3307_bit0 -C3312_bit0 -C3320_bit0 -C3331_bit0 -C3333_bit0 -C3338_bit0 -C3344_bit0 -C3347_bit0 -C3361_bit0 -C3371_bit0 -C3372_bit0 -C3374_bit0 -C3379_bit0 -C3387_bit0 -C3398_bit0 -C3400_bit0 -C3405_bit0 -C3414_bit0 -C3431_bit0 -C3447_bit0 -C3465_bit0 C3482_bit0 C3498_bit0 C3516_bit0 C3525_bit0 C3533_bit0 -C3543_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.92 0.98 0.92 2/54 9473
Raw data (stat): 9473 (runsolver) R 9472 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851221967 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 2076 0 0 0 990 8 0 0 25 0 1 0 851221967 14225408 2050 4294967295 134512640 134581267 3221224576 3221223520 134559422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3473 2050 566 18 0 3455 0
vsize: 13892
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 2351 0 0 0 1987 10 0 0 25 0 1 0 851221967 15278080 2325 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2325 566 18 0 3712 0
vsize: 14920
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 2625 0 0 0 2985 12 0 0 25 0 1 0 851221967 16470016 2599 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4021 2599 566 18 0 4003 0
vsize: 16084
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 2636 0 0 0 3983 15 0 0 25 0 1 0 851221967 16470016 2610 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4021 2610 566 18 0 4003 0
vsize: 16084
[startup+50.002 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 2795 0 0 0 4981 17 0 0 25 0 1 0 851221967 17125376 2769 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4181 2769 566 18 0 4163 0
vsize: 16724
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 2974 0 0 0 5978 20 0 0 25 0 1 0 851221967 17911808 2948 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4373 2948 566 18 0 4355 0
vsize: 17492
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 2976 0 0 0 6976 22 0 0 25 0 1 0 851221967 17907712 2950 4294967295 134512640 134581267 3221224576 3221223520 134559412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4372 2950 566 18 0 4354 0
vsize: 17488
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 2976 0 0 0 7974 25 0 0 25 0 1 0 851221967 17907712 2950 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4372 2950 566 18 0 4354 0
vsize: 17488
[startup+90.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3191 0 0 0 8971 27 0 0 25 0 1 0 851221967 18694144 3165 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3165 566 18 0 4546 0
vsize: 18256
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3210 0 0 0 9969 30 0 0 25 0 1 0 851221967 18825216 3184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4596 3184 566 18 0 4578 0
vsize: 18384
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3210 0 0 0 10968 31 0 0 25 0 1 0 851221967 18825216 3184 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4596 3184 566 18 0 4578 0
vsize: 18384
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3210 0 0 0 11966 33 0 0 25 0 1 0 851221967 18825216 3184 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4596 3184 566 18 0 4578 0
vsize: 18384
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3498 0 0 0 12965 35 0 0 25 0 1 0 851221967 20000768 3472 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4883 3472 566 18 0 4865 0
vsize: 19532
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3507 0 0 0 13963 36 0 0 25 0 1 0 851221967 20000768 3481 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3507 0 0 0 14962 38 0 0 25 0 1 0 851221967 20000768 3481 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3507 0 0 0 15959 41 0 0 25 0 1 0 851221967 20000768 3481 4294967295 134512640 134581267 3221224576 3221223520 134558906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3507 0 0 0 16958 42 0 0 25 0 1 0 851221967 20000768 3481 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3507 0 0 0 17956 44 0 0 25 0 1 0 851221967 20000768 3481 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3507 0 0 0 18954 47 0 0 25 0 1 0 851221967 20000768 3481 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3711 0 0 0 19951 49 0 0 25 0 1 0 851221967 20918272 3685 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5107 3685 566 18 0 5089 0
vsize: 20428
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3723 0 0 0 20950 51 0 0 25 0 1 0 851221967 20918272 3697 4294967295 134512640 134581267 3221224576 3221223432 1075285904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5107 3697 566 18 0 5089 0
vsize: 20428
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3732 0 0 0 21948 53 0 0 25 0 1 0 851221967 20918272 3706 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5107 3706 566 18 0 5089 0
vsize: 20428
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3768 0 0 0 22947 55 0 0 25 0 1 0 851221967 21049344 3742 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5139 3742 566 18 0 5121 0
vsize: 20556
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3784 0 0 0 23945 57 0 0 25 0 1 0 851221967 21180416 3758 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5171 3758 566 18 0 5153 0
vsize: 20684
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3784 0 0 0 24943 59 0 0 25 0 1 0 851221967 21180416 3758 4294967295 134512640 134581267 3221224576 3221223488 134527554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5171 3758 566 18 0 5153 0
vsize: 20684
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3784 0 0 0 25941 61 0 0 25 0 1 0 851221967 21180416 3758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5171 3758 566 18 0 5153 0
vsize: 20684
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3784 0 0 0 26940 62 0 0 25 0 1 0 851221967 21168128 3758 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 3758 566 18 0 5150 0
vsize: 20672
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3784 0 0 0 27938 64 0 0 25 0 1 0 851221967 21143552 3758 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 3758 566 18 0 5144 0
vsize: 20648
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 3784 0 0 0 28936 66 0 0 25 0 1 0 851221967 21143552 3758 4294967295 134512640 134581267 3221224576 3221223544 134519777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 3758 566 18 0 5144 0
vsize: 20648
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4054 0 0 0 29934 69 0 0 25 0 1 0 851221967 22323200 4028 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4028 566 18 0 5432 0
vsize: 21800
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4060 0 0 0 30932 70 0 0 25 0 1 0 851221967 22323200 4034 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4034 566 18 0 5432 0
vsize: 21800
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 31930 73 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 32929 75 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 33927 76 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 34926 77 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 35925 79 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 36923 80 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 37922 82 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 38920 84 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 39919 86 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 40917 88 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 41915 89 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 42914 91 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 43911 94 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4082 0 0 0 44909 97 0 0 25 0 1 0 851221967 22323200 4056 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4292 0 0 0 45905 100 0 0 25 0 1 0 851221967 23240704 4266 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4266 566 18 0 5656 0
vsize: 22696
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4298 0 0 0 46903 103 0 0 25 0 1 0 851221967 23240704 4272 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4272 566 18 0 5656 0
vsize: 22696
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4298 0 0 0 47902 105 0 0 25 0 1 0 851221967 23240704 4272 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4272 566 18 0 5656 0
vsize: 22696
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4300 0 0 0 48900 106 0 0 25 0 1 0 851221967 23240704 4274 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4274 566 18 0 5656 0
vsize: 22696
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4300 0 0 0 49898 109 0 0 25 0 1 0 851221967 23240704 4274 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4274 566 18 0 5656 0
vsize: 22696
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4300 0 0 0 50897 111 0 0 25 0 1 0 851221967 23240704 4274 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4274 566 18 0 5656 0
vsize: 22696
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4303 0 0 0 51894 113 0 0 25 0 1 0 851221967 23240704 4277 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4277 566 18 0 5656 0
vsize: 22696
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4303 0 0 0 52893 115 0 0 25 0 1 0 851221967 23240704 4277 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4277 566 18 0 5656 0
vsize: 22696
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4305 0 0 0 53891 117 0 0 25 0 1 0 851221967 23240704 4279 4294967295 134512640 134581267 3221224576 3221223456 134520299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4279 566 18 0 5656 0
vsize: 22696
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4308 0 0 0 54890 118 0 0 25 0 1 0 851221967 23371776 4282 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5706 4282 566 18 0 5688 0
vsize: 22824
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4311 0 0 0 55888 120 0 0 25 0 1 0 851221967 23371776 4285 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5706 4285 566 18 0 5688 0
vsize: 22824
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4314 0 0 0 56886 123 0 0 25 0 1 0 851221967 23371776 4288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5706 4288 566 18 0 5688 0
vsize: 22824
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4314 0 0 0 57885 124 0 0 25 0 1 0 851221967 23371776 4288 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5706 4288 566 18 0 5688 0
vsize: 22824
[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4314 0 0 0 58883 125 0 0 25 0 1 0 851221967 23371776 4288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5706 4288 566 18 0 5688 0
vsize: 22824
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4316 0 0 0 59882 127 0 0 25 0 1 0 851221967 23371776 4290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5706 4290 566 18 0 5688 0
vsize: 22824
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4316 0 0 0 60880 129 0 0 25 0 1 0 851221967 23371776 4290 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5706 4290 566 18 0 5688 0
vsize: 22824
[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4316 0 0 0 61878 131 0 0 25 0 1 0 851221967 23371776 4290 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5706 4290 566 18 0 5688 0
vsize: 22824
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4316 0 0 0 62876 133 0 0 25 0 1 0 851221967 23363584 4290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4290 566 18 0 5686 0
vsize: 22816
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4325 0 0 0 63874 136 0 0 25 0 1 0 851221967 23363584 4299 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4325 0 0 0 64873 137 0 0 25 0 1 0 851221967 23363584 4299 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4325 0 0 0 65871 139 0 0 25 0 1 0 851221967 23363584 4299 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4325 0 0 0 66869 141 0 0 25 0 1 0 851221967 23363584 4299 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4325 0 0 0 67867 142 0 0 25 0 1 0 851221967 23363584 4299 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4325 0 0 0 68866 144 0 0 25 0 1 0 851221967 23363584 4299 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4610 0 0 0 69863 147 0 0 25 0 1 0 851221967 24543232 4584 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5992 4584 566 18 0 5974 0
vsize: 23968
[startup+710.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4610 0 0 0 70862 148 0 0 25 0 1 0 851221967 24543232 4584 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5992 4584 566 18 0 5974 0
vsize: 23968
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4610 0 0 0 71860 150 0 0 25 0 1 0 851221967 24543232 4584 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5992 4584 566 18 0 5974 0
vsize: 23968
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4618 0 0 0 72858 152 0 0 25 0 1 0 851221967 24543232 4592 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5992 4592 566 18 0 5974 0
vsize: 23968
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4629 0 0 0 73857 154 0 0 25 0 1 0 851221967 24674304 4603 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6024 4603 566 18 0 6006 0
vsize: 24096
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4629 0 0 0 74855 156 0 0 25 0 1 0 851221967 24674304 4603 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6024 4603 566 18 0 6006 0
vsize: 24096
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4629 0 0 0 75852 159 0 0 25 0 1 0 851221967 24670208 4603 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6023 4603 566 18 0 6005 0
vsize: 24092
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4629 0 0 0 76851 160 0 0 25 0 1 0 851221967 24670208 4603 4294967295 134512640 134581267 3221224576 3221223504 134519880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6023 4603 566 18 0 6005 0
vsize: 24092
[startup+780.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4656 0 0 0 77851 161 0 0 25 0 1 0 851221967 24801280 4630 4294967295 134512640 134581267 3221224576 3221223336 1075288181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6055 4630 566 18 0 6037 0
vsize: 24220
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 78849 163 0 0 25 0 1 0 851221967 24932352 4675 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 79848 164 0 0 25 0 1 0 851221967 24932352 4675 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 80847 165 0 0 25 0 1 0 851221967 24932352 4675 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+820.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 81846 167 0 0 25 0 1 0 851221967 24932352 4675 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+830.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 82845 168 0 0 25 0 1 0 851221967 24932352 4675 4294967295 134512640 134581267 3221224576 3221223536 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+840.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 83843 169 0 0 25 0 1 0 851221967 24932352 4675 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+850.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 84842 171 0 0 25 0 1 0 851221967 24915968 4675 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6083 4675 566 18 0 6065 0
vsize: 24332
[startup+860.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 85840 173 0 0 25 0 1 0 851221967 24899584 4675 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6079 4675 566 18 0 6061 0
vsize: 24316
[startup+870.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 86839 175 0 0 25 0 1 0 851221967 24887296 4675 4294967295 134512640 134581267 3221224576 3221223520 134558806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4675 566 18 0 6058 0
vsize: 24304
[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 87838 176 0 0 25 0 1 0 851221967 24862720 4670 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6070 4670 566 18 0 6052 0
vsize: 24280
[startup+890.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 88836 178 0 0 25 0 1 0 851221967 24846336 4666 4294967295 134512640 134581267 3221224576 3221223472 134517524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 4666 566 18 0 6048 0
vsize: 24264
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 89834 180 0 0 25 0 1 0 851221967 24821760 4660 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6060 4660 566 18 0 6042 0
vsize: 24240
[startup+910.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 90832 182 0 0 25 0 1 0 851221967 24809472 4657 4294967295 134512640 134581267 3221224576 3221223568 134561094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6057 4657 566 18 0 6039 0
vsize: 24228
[startup+920.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 91829 185 0 0 25 0 1 0 851221967 24793088 4653 4294967295 134512640 134581267 3221224576 3221223536 134516705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6053 4653 566 18 0 6035 0
vsize: 24212
[startup+930.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4701 0 0 0 92827 187 0 0 25 0 1 0 851221967 24776704 4649 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6049 4649 566 18 0 6031 0
vsize: 24196
[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4715 0 0 0 93825 190 0 0 25 0 1 0 851221967 24907776 4663 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6081 4663 566 18 0 6063 0
vsize: 24324
[startup+950.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4719 0 0 0 94824 191 0 0 25 0 1 0 851221967 24907776 4667 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6081 4667 566 18 0 6063 0
vsize: 24324
[startup+960.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4719 0 0 0 95822 193 0 0 25 0 1 0 851221967 24907776 4667 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6081 4667 566 18 0 6063 0
vsize: 24324
[startup+970.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4719 0 0 0 96820 195 0 0 25 0 1 0 851221967 24907776 4667 4294967295 134512640 134581267 3221224576 3221223472 134517521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6081 4667 566 18 0 6063 0
vsize: 24324
[startup+980.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4719 0 0 0 97818 197 0 0 25 0 1 0 851221967 24907776 4667 4294967295 134512640 134581267 3221224576 3221223472 134517921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6081 4667 566 18 0 6063 0
vsize: 24324
[startup+990.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4719 0 0 0 98816 199 0 0 25 0 1 0 851221967 24891392 4667 4294967295 134512640 134581267 3221224576 3221223556 134561052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 4667 566 18 0 6059 0
vsize: 24308
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4719 0 0 0 99815 201 0 0 25 0 1 0 851221967 24891392 4667 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 4667 566 18 0 6059 0
vsize: 24308
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4719 0 0 0 100813 203 0 0 25 0 1 0 851221967 24891392 4667 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 4667 566 18 0 6059 0
vsize: 24308
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4720 0 0 0 101811 205 0 0 25 0 1 0 851221967 24891392 4668 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4720 0 0 0 102809 207 0 0 25 0 1 0 851221967 24891392 4668 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4720 0 0 0 103808 208 0 0 25 0 1 0 851221967 24891392 4668 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4720 0 0 0 104806 210 0 0 25 0 1 0 851221967 24891392 4668 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 4720 0 0 0 105804 212 0 0 25 0 1 0 851221967 24891392 4668 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5035 0 0 0 106803 214 0 0 25 0 1 0 851221967 26202112 4983 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 4983 566 18 0 6379 0
vsize: 25588
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5035 0 0 0 107801 216 0 0 25 0 1 0 851221967 26202112 4983 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 4983 566 18 0 6379 0
vsize: 25588
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5043 0 0 0 108799 218 0 0 25 0 1 0 851221967 26202112 4991 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 4991 566 18 0 6379 0
vsize: 25588
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5043 0 0 0 109797 220 0 0 25 0 1 0 851221967 26202112 4991 4294967295 134512640 134581267 3221224576 3221223472 134517838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 4991 566 18 0 6379 0
vsize: 25588
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5043 0 0 0 110796 222 0 0 25 0 1 0 851221967 26202112 4991 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 4991 566 18 0 6379 0
vsize: 25588
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5043 0 0 0 111795 223 0 0 25 0 1 0 851221967 26202112 4991 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 4991 566 18 0 6379 0
vsize: 25588
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5057 0 0 0 112793 225 0 0 25 0 1 0 851221967 26333184 5005 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6429 5005 566 18 0 6411 0
vsize: 25716
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5057 0 0 0 113791 227 0 0 25 0 1 0 851221967 26333184 5005 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6429 5005 566 18 0 6411 0
vsize: 25716
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5057 0 0 0 114790 228 0 0 25 0 1 0 851221967 26333184 5005 4294967295 134512640 134581267 3221224576 3221223440 134528326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6429 5005 566 18 0 6411 0
vsize: 25716
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5057 0 0 0 115788 230 0 0 25 0 1 0 851221967 26324992 5005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 5005 566 18 0 6409 0
vsize: 25708
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5058 0 0 0 116787 232 0 0 25 0 1 0 851221967 26324992 5006 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 5006 566 18 0 6409 0
vsize: 25708
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5058 0 0 0 117785 234 0 0 25 0 1 0 851221967 26324992 5006 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 5006 566 18 0 6409 0
vsize: 25708
[startup+1188.85 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 9473
Raw data (stat): 9473 (Pueblo-v2) R 9472 7266 7265 0 -1 0 5058 0 0 0 117785 234 0 0 25 0 1 0 851221967 26324992 5006 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 5006 566 18 0 6409 0
vsize: 0

Child status: 10
Real time (s): 1188.85
CPU time (s): 1189.02
CPU user time (s): 1186.64
CPU system time (s): 2.37364
CPU usage (%): 100.014
Max. virtual memory (Kb): 25716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	31083
#### END VERIFIER DATA ####