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/miplib/normalized-mps-v2-13-7-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.07484
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 39140

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 21:19:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27193 boxname=wulflinc3 idbench=1321 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  cc9b9a1bf5f3e0998bc97d2eed5cbbd9  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 27193
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        300464 kB
Buffers:         22716 kB
Cached:         689344 kB
SwapCached:        240 kB
Active:          28156 kB
Inactive:       686384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        300212 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            13980 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:38:49 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 27193 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/wulflinc3/normalized-mps-v2-13-7-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.91 0.95 0.90 1/54 19942
Raw data (stat): 19942 (runsolver) R 19941 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852964108 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.001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 2076 0 0 0 991 7 0 0 25 0 1 0 852964108 14225408 2050 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3473 2050 566 18 0 3455 0
vsize: 13892
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 2482 0 0 0 1987 12 0 0 25 0 1 0 852964108 15802368 2456 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3858 2456 566 18 0 3840 0
vsize: 15432
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 2625 0 0 0 2984 14 0 0 25 0 1 0 852964108 16470016 2599 4294967295 134512640 134581267 3221224576 3221223488 134527454 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.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 2769 0 0 0 3981 18 0 0 25 0 1 0 852964108 16994304 2743 4294967295 134512640 134581267 3221224576 3221223520 134558762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4149 2743 566 18 0 4131 0
vsize: 16596
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 2795 0 0 0 4979 20 0 0 25 0 1 0 852964108 17125376 2769 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4181 2769 566 18 0 4163 0
vsize: 16724
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 2974 0 0 0 5976 23 0 0 25 0 1 0 852964108 17911808 2948 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4373 2948 566 18 0 4355 0
vsize: 17492
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 2976 0 0 0 6974 25 0 0 25 0 1 0 852964108 17907712 2950 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2950 566 18 0 4354 0
vsize: 17488
[startup+80.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 2976 0 0 0 7973 27 0 0 25 0 1 0 852964108 17907712 2950 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 2950 566 18 0 4354 0
vsize: 17488
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3180 0 0 0 8970 30 0 0 25 0 1 0 852964108 18694144 3154 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4564 3154 566 18 0 4546 0
vsize: 18256
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3210 0 0 0 9968 32 0 0 25 0 1 0 852964108 18825216 3184 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3184 566 18 0 4578 0
vsize: 18384
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3210 0 0 0 10967 33 0 0 25 0 1 0 852964108 18825216 3184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3184 566 18 0 4578 0
vsize: 18384
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3210 0 0 0 11965 35 0 0 25 0 1 0 852964108 18825216 3184 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3184 566 18 0 4578 0
vsize: 18384
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3453 0 0 0 12963 37 0 0 25 0 1 0 852964108 19869696 3427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4851 3427 566 18 0 4833 0
vsize: 19404
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3507 0 0 0 13961 39 0 0 25 0 1 0 852964108 20000768 3481 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3507 0 0 0 14960 41 0 0 25 0 1 0 852964108 20000768 3481 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3507 0 0 0 15958 43 0 0 25 0 1 0 852964108 20000768 3481 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3507 0 0 0 16956 45 0 0 25 0 1 0 852964108 20000768 3481 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3507 0 0 0 17954 48 0 0 25 0 1 0 852964108 20000768 3481 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3507 0 0 0 18952 50 0 0 25 0 1 0 852964108 20000768 3481 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3481 566 18 0 4865 0
vsize: 19532
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3711 0 0 0 19950 52 0 0 25 0 1 0 852964108 20918272 3685 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5107 3685 566 18 0 5089 0
vsize: 20428
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3723 0 0 0 20948 54 0 0 25 0 1 0 852964108 20918272 3697 4294967295 134512640 134581267 3221224576 3221223212 1075288510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5107 3697 566 18 0 5089 0
vsize: 20428
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3732 0 0 0 21946 56 0 0 25 0 1 0 852964108 20918272 3706 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5107 3706 566 18 0 5089 0
vsize: 20428
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3768 0 0 0 22944 59 0 0 25 0 1 0 852964108 21049344 3742 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5139 3742 566 18 0 5121 0
vsize: 20556
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3784 0 0 0 23943 60 0 0 25 0 1 0 852964108 21180416 3758 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5171 3758 566 18 0 5153 0
vsize: 20684
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3784 0 0 0 24941 62 0 0 25 0 1 0 852964108 21180416 3758 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5171 3758 566 18 0 5153 0
vsize: 20684
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3784 0 0 0 25939 64 0 0 25 0 1 0 852964108 21180416 3758 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5171 3758 566 18 0 5153 0
vsize: 20684
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3784 0 0 0 26938 65 0 0 25 0 1 0 852964108 21172224 3758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5169 3758 566 18 0 5151 0
vsize: 20676
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3784 0 0 0 27937 67 0 0 25 0 1 0 852964108 21143552 3758 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 3758 566 18 0 5144 0
vsize: 20648
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3784 0 0 0 28936 68 0 0 25 0 1 0 852964108 21143552 3758 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 3758 566 18 0 5144 0
vsize: 20648
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 3784 0 0 0 29934 70 0 0 25 0 1 0 852964108 21143552 3758 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 3758 566 18 0 5144 0
vsize: 20648
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4054 0 0 0 30932 72 0 0 25 0 1 0 852964108 22323200 4028 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4028 566 18 0 5432 0
vsize: 21800
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 31930 74 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 32929 75 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 33928 77 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 34925 79 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 35924 81 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 36923 82 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223492 1075285501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 37921 84 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 38920 86 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 39918 88 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 40917 89 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 41915 91 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223616 134561647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 42914 93 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223548 134527304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 43913 94 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 44910 97 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4082 0 0 0 45908 99 0 0 25 0 1 0 852964108 22323200 4056 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4056 566 18 0 5432 0
vsize: 21800
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4296 0 0 0 46906 101 0 0 25 0 1 0 852964108 23240704 4270 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 4270 566 18 0 5656 0
vsize: 22696
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4298 0 0 0 47905 103 0 0 25 0 1 0 852964108 23240704 4272 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 4272 566 18 0 5656 0
vsize: 22696
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4298 0 0 0 48903 105 0 0 25 0 1 0 852964108 23240704 4272 4294967295 134512640 134581267 3221224576 3221223520 134558881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 4272 566 18 0 5656 0
vsize: 22696
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4300 0 0 0 49901 107 0 0 25 0 1 0 852964108 23240704 4274 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 4274 566 18 0 5656 0
vsize: 22696
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4300 0 0 0 50899 109 0 0 25 0 1 0 852964108 23240704 4274 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 4274 566 18 0 5656 0
vsize: 22696
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4300 0 0 0 51898 111 0 0 25 0 1 0 852964108 23240704 4274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 4274 566 18 0 5656 0
vsize: 22696
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4303 0 0 0 52896 113 0 0 25 0 1 0 852964108 23240704 4277 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 4277 566 18 0 5656 0
vsize: 22696
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4305 0 0 0 53893 116 0 0 25 0 1 0 852964108 23240704 4279 4294967295 134512640 134581267 3221224576 3221223536 134516705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 4279 566 18 0 5656 0
vsize: 22696
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4308 0 0 0 54892 117 0 0 25 0 1 0 852964108 23371776 4282 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4282 566 18 0 5688 0
vsize: 22824
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4308 0 0 0 55891 119 0 0 25 0 1 0 852964108 23371776 4282 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4282 566 18 0 5688 0
vsize: 22824
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4314 0 0 0 56889 120 0 0 25 0 1 0 852964108 23371776 4288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4288 566 18 0 5688 0
vsize: 22824
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4314 0 0 0 57887 122 0 0 25 0 1 0 852964108 23371776 4288 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4288 566 18 0 5688 0
vsize: 22824
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4314 0 0 0 58886 124 0 0 25 0 1 0 852964108 23371776 4288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4288 566 18 0 5688 0
vsize: 22824
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4314 0 0 0 59884 126 0 0 25 0 1 0 852964108 23371776 4288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4288 566 18 0 5688 0
vsize: 22824
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4316 0 0 0 60883 127 0 0 25 0 1 0 852964108 23371776 4290 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4290 566 18 0 5688 0
vsize: 22824
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4316 0 0 0 61881 129 0 0 25 0 1 0 852964108 23371776 4290 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 4290 566 18 0 5688 0
vsize: 22824
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4316 0 0 0 62879 131 0 0 25 0 1 0 852964108 23367680 4290 4294967295 134512640 134581267 3221224576 3221223472 134517512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5705 4290 566 18 0 5687 0
vsize: 22820
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4316 0 0 0 63877 133 0 0 25 0 1 0 852964108 23363584 4290 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 4290 566 18 0 5686 0
vsize: 22816
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4325 0 0 0 64876 135 0 0 25 0 1 0 852964108 23363584 4299 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4325 0 0 0 65874 136 0 0 25 0 1 0 852964108 23363584 4299 4294967295 134512640 134581267 3221224576 3221223520 134558860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4325 0 0 0 66873 138 0 0 25 0 1 0 852964108 23363584 4299 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4325 0 0 0 67872 139 0 0 25 0 1 0 852964108 23363584 4299 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4325 0 0 0 68871 141 0 0 25 0 1 0 852964108 23363584 4299 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4325 0 0 0 69869 142 0 0 25 0 1 0 852964108 23363584 4299 4294967295 134512640 134581267 3221224576 3221223472 134517909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 4299 566 18 0 5686 0
vsize: 22816
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4610 0 0 0 70867 145 0 0 25 0 1 0 852964108 24543232 4584 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5992 4584 566 18 0 5974 0
vsize: 23968
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4610 0 0 0 71865 147 0 0 25 0 1 0 852964108 24543232 4584 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5992 4584 566 18 0 5974 0
vsize: 23968
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4610 0 0 0 72864 148 0 0 25 0 1 0 852964108 24543232 4584 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5992 4584 566 18 0 5974 0
vsize: 23968
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4618 0 0 0 73863 150 0 0 25 0 1 0 852964108 24543232 4592 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5992 4592 566 18 0 5974 0
vsize: 23968
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4627 0 0 0 74861 151 0 0 25 0 1 0 852964108 24674304 4601 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6024 4601 566 18 0 6006 0
vsize: 24096
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4629 0 0 0 75859 154 0 0 25 0 1 0 852964108 24674304 4603 4294967295 134512640 134581267 3221224576 3221223472 134517838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6024 4603 566 18 0 6006 0
vsize: 24096
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4629 0 0 0 76857 156 0 0 25 0 1 0 852964108 24670208 4603 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6023 4603 566 18 0 6005 0
vsize: 24092
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4629 0 0 0 77856 157 0 0 25 0 1 0 852964108 24670208 4603 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6023 4603 566 18 0 6005 0
vsize: 24092
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4656 0 0 0 78854 159 0 0 25 0 1 0 852964108 24801280 4630 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6055 4630 566 18 0 6037 0
vsize: 24220
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 79853 161 0 0 25 0 1 0 852964108 24932352 4675 4294967295 134512640 134581267 3221224576 3221223556 134560778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 80850 163 0 0 25 0 1 0 852964108 24932352 4675 4294967295 134512640 134581267 3221224576 3221223408 134531737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 81849 165 0 0 25 0 1 0 852964108 24932352 4675 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 82847 167 0 0 25 0 1 0 852964108 24932352 4675 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 83846 169 0 0 25 0 1 0 852964108 24932352 4675 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 84844 170 0 0 25 0 1 0 852964108 24932352 4675 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 85842 172 0 0 25 0 1 0 852964108 24932352 4675 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 4675 566 18 0 6069 0
vsize: 24348
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 86841 173 0 0 25 0 1 0 852964108 24907776 4675 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6081 4675 566 18 0 6063 0
vsize: 24324
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 87839 176 0 0 25 0 1 0 852964108 24887296 4675 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6076 4675 566 18 0 6058 0
vsize: 24304
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 88838 177 0 0 25 0 1 0 852964108 24862720 4670 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6070 4670 566 18 0 6052 0
vsize: 24280
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 89836 179 0 0 25 0 1 0 852964108 24846336 4666 4294967295 134512640 134581267 3221224576 3221223548 134554668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4666 566 18 0 6048 0
vsize: 24264
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 90834 181 0 0 25 0 1 0 852964108 24821760 4660 4294967295 134512640 134581267 3221224576 3221223272 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6060 4660 566 18 0 6042 0
vsize: 24240
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 91832 183 0 0 25 0 1 0 852964108 24809472 4657 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6057 4657 566 18 0 6039 0
vsize: 24228
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 92830 186 0 0 25 0 1 0 852964108 24793088 4653 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6053 4653 566 18 0 6035 0
vsize: 24212
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4701 0 0 0 93829 187 0 0 25 0 1 0 852964108 24776704 4649 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6049 4649 566 18 0 6031 0
vsize: 24196
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4715 0 0 0 94828 188 0 0 25 0 1 0 852964108 24907776 4663 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6081 4663 566 18 0 6063 0
vsize: 24324
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4719 0 0 0 95827 189 0 0 25 0 1 0 852964108 24907776 4667 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6081 4667 566 18 0 6063 0
vsize: 24324
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4719 0 0 0 96825 191 0 0 25 0 1 0 852964108 24907776 4667 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6081 4667 566 18 0 6063 0
vsize: 24324
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4719 0 0 0 97824 192 0 0 25 0 1 0 852964108 24907776 4667 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6081 4667 566 18 0 6063 0
vsize: 24324
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4719 0 0 0 98823 194 0 0 25 0 1 0 852964108 24907776 4667 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6081 4667 566 18 0 6063 0
vsize: 24324
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4719 0 0 0 99820 197 0 0 25 0 1 0 852964108 24895488 4667 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 4667 566 18 0 6060 0
vsize: 24312
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4719 0 0 0 100819 198 0 0 25 0 1 0 852964108 24891392 4667 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6077 4667 566 18 0 6059 0
vsize: 24308
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4719 0 0 0 101818 199 0 0 25 0 1 0 852964108 24891392 4667 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6077 4667 566 18 0 6059 0
vsize: 24308
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4720 0 0 0 102817 201 0 0 25 0 1 0 852964108 24891392 4668 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4720 0 0 0 103814 203 0 0 25 0 1 0 852964108 24891392 4668 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4720 0 0 0 104813 205 0 0 25 0 1 0 852964108 24891392 4668 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4720 0 0 0 105812 207 0 0 25 0 1 0 852964108 24891392 4668 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 4720 0 0 0 106810 208 0 0 25 0 1 0 852964108 24891392 4668 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6077 4668 566 18 0 6059 0
vsize: 24308
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5035 0 0 0 107808 210 0 0 25 0 1 0 852964108 26202112 4983 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 4983 566 18 0 6379 0
vsize: 25588
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5035 0 0 0 108807 212 0 0 25 0 1 0 852964108 26202112 4983 4294967295 134512640 134581267 3221224576 3221223352 1075285687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 4983 566 18 0 6379 0
vsize: 25588
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5039 0 0 0 109805 214 0 0 25 0 1 0 852964108 26202112 4987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 4987 566 18 0 6379 0
vsize: 25588
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5043 0 0 0 110803 216 0 0 25 0 1 0 852964108 26202112 4991 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 4991 566 18 0 6379 0
vsize: 25588
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5043 0 0 0 111802 217 0 0 25 0 1 0 852964108 26202112 4991 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 4991 566 18 0 6379 0
vsize: 25588
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5043 0 0 0 112801 219 0 0 25 0 1 0 852964108 26202112 4991 4294967295 134512640 134581267 3221224576 3221223488 134527707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 4991 566 18 0 6379 0
vsize: 25588
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5043 0 0 0 113799 220 0 0 25 0 1 0 852964108 26202112 4991 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 4991 566 18 0 6379 0
vsize: 25588
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5057 0 0 0 114798 221 0 0 25 0 1 0 852964108 26333184 5005 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6429 5005 566 18 0 6411 0
vsize: 25716
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5057 0 0 0 115797 223 0 0 25 0 1 0 852964108 26333184 5005 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6429 5005 566 18 0 6411 0
vsize: 25716
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5057 0 0 0 116795 225 0 0 25 0 1 0 852964108 26329088 5005 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6428 5005 566 18 0 6410 0
vsize: 25712
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5058 0 0 0 117794 227 0 0 25 0 1 0 852964108 26324992 5006 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6427 5006 566 18 0 6409 0
vsize: 25708
[startup+1188.84 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19942
Raw data (stat): 19942 (Pueblo-v2) R 19941 20224 20223 0 -1 0 5058 0 0 0 117794 227 0 0 25 0 1 0 852964108 26324992 5006 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6427 5006 566 18 0 6409 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.02
CPU user time (s): 1186.72
CPU system time (s): 2.29365
CPU usage (%): 100.015
Max. virtual memory (Kb): 25716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	31083
#### END VERIFIER DATA ####