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 26654

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-24 16:31:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12175 boxname=wulflinc8 idbench=937 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  cc9b9a1bf5f3e0998bc97d2eed5cbbd9  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 12175
/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:        572892 kB
Buffers:         34540 kB
Cached:         405760 kB
SwapCached:          0 kB
Active:          60724 kB
Inactive:       382584 kB
HighTotal:      131008 kB
HighFree:        10472 kB
LowTotal:       903652 kB
LowFree:        562420 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7060 kB
Slab:            12692 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:51:33 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 12175 0 1189.03 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/wulflinc8/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
Raw data (loadavg): 0.75 0.88 0.95 2/54 4706
Raw data (stat): 4706 (runsolver) R 4705 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 759912060 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99997 s]
Raw data (loadavg): 0.79 0.88 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1089 0 0 0 995 3 0 0 25 0 1 0 759912060 10174464 1067 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2484 1067 566 18 0 2466 0
vsize: 9936
[startup+20.0007 s]
Raw data (loadavg): 0.82 0.88 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1348 0 0 0 1993 5 0 0 25 0 1 0 759912060 11218944 1326 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2739 1326 566 18 0 2721 0
vsize: 10956
[startup+30.0015 s]
Raw data (loadavg): 0.85 0.89 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1637 0 0 0 2992 6 0 0 25 0 1 0 759912060 12345344 1615 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3014 1615 566 18 0 2996 0
vsize: 12056
[startup+40.0013 s]
Raw data (loadavg): 0.87 0.89 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1711 0 0 0 3992 7 0 0 25 0 1 0 759912060 12705792 1689 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3102 1689 566 18 0 3084 0
vsize: 12408
[startup+50.002 s]
Raw data (loadavg): 0.89 0.89 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1803 0 0 0 4991 8 0 0 25 0 1 0 759912060 13062144 1781 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3189 1781 566 18 0 3171 0
vsize: 12756
[startup+60.0018 s]
Raw data (loadavg): 0.91 0.90 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1928 0 0 0 5989 10 0 0 25 0 1 0 759912060 13586432 1906 4294967295 134512640 134581331 3221224608 3221223472 134528544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 1906 566 18 0 3299 0
vsize: 13268
[startup+70.0023 s]
Raw data (loadavg): 0.92 0.90 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1954 0 0 0 6989 10 0 0 25 0 1 0 759912060 13709312 1932 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 1932 566 18 0 3329 0
vsize: 13388
[startup+80.0108 s]
Raw data (loadavg): 0.93 0.90 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1954 0 0 0 7990 11 0 0 25 0 1 0 759912060 13709312 1932 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 1932 566 18 0 3329 0
vsize: 13388
[startup+90.0101 s]
Raw data (loadavg): 0.94 0.91 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1954 0 0 0 8989 11 0 0 25 0 1 0 759912060 13709312 1932 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 1932 566 18 0 3329 0
vsize: 13388
[startup+100.011 s]
Raw data (loadavg): 0.95 0.91 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 1954 0 0 0 9988 12 0 0 25 0 1 0 759912060 13709312 1932 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 1932 566 18 0 3329 0
vsize: 13388
[startup+110.011 s]
Raw data (loadavg): 0.96 0.91 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2008 0 0 0 10988 13 0 0 25 0 1 0 759912060 13942784 1986 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3404 1986 566 18 0 3386 0
vsize: 13616
[startup+120.011 s]
Raw data (loadavg): 0.96 0.91 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2089 0 0 0 11988 13 0 0 25 0 1 0 759912060 14180352 2067 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2067 566 18 0 3444 0
vsize: 13848
[startup+130.011 s]
Raw data (loadavg): 0.97 0.92 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2089 0 0 0 12988 13 0 0 25 0 1 0 759912060 14180352 2067 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2067 566 18 0 3444 0
vsize: 13848
[startup+140.011 s]
Raw data (loadavg): 0.97 0.92 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2129 0 0 0 13988 13 0 0 25 0 1 0 759912060 14422016 2107 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3521 2107 566 18 0 3503 0
vsize: 14084
[startup+150.019 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2490 0 0 0 14988 15 0 0 25 0 1 0 759912060 15822848 2468 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3863 2468 566 18 0 3845 0
vsize: 15452
[startup+160.019 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2670 0 0 0 15987 16 0 0 25 0 1 0 759912060 16580608 2648 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4048 2648 566 18 0 4030 0
vsize: 16192
[startup+170.02 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2717 0 0 0 16986 17 0 0 25 0 1 0 759912060 16826368 2695 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4108 2695 566 18 0 4090 0
vsize: 16432
[startup+180.021 s]
Raw data (loadavg): 0.98 0.93 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2717 0 0 0 17985 18 0 0 25 0 1 0 759912060 16826368 2695 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4108 2695 566 18 0 4090 0
vsize: 16432
[startup+190.021 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2717 0 0 0 18985 18 0 0 25 0 1 0 759912060 16826368 2695 4294967295 134512640 134581331 3221224608 3221223328 134524456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4108 2695 566 18 0 4090 0
vsize: 16432
[startup+200.026 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2717 0 0 0 19986 18 0 0 25 0 1 0 759912060 16826368 2695 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4108 2695 566 18 0 4090 0
vsize: 16432
[startup+210.031 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2717 0 0 0 20986 19 0 0 25 0 1 0 759912060 16826368 2695 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4108 2695 566 18 0 4090 0
vsize: 16432
[startup+220.042 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2717 0 0 0 21985 20 0 0 25 0 1 0 759912060 16826368 2695 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4108 2695 566 18 0 4090 0
vsize: 16432
[startup+230.049 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 2736 0 0 0 22985 21 0 0 25 0 1 0 759912060 16957440 2714 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4140 2714 566 18 0 4122 0
vsize: 16560
[startup+240.05 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 23983 22 0 0 25 0 1 0 759912060 18075648 2994 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 2994 566 18 0 4395 0
vsize: 17652
[startup+250.05 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 24983 22 0 0 25 0 1 0 759912060 18075648 2994 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 2994 566 18 0 4395 0
vsize: 17652
[startup+260.05 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 25983 23 0 0 25 0 1 0 759912060 18075648 2994 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 2994 566 18 0 4395 0
vsize: 17652
[startup+270.051 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 26983 23 0 0 25 0 1 0 759912060 18075648 2994 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 2994 566 18 0 4395 0
vsize: 17652
[startup+280.052 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 27982 23 0 0 25 0 1 0 759912060 17969152 2992 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4387 2992 566 18 0 4369 0
vsize: 17548
[startup+290.052 s]
Raw data (loadavg): 0.99 0.94 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 28982 24 0 0 25 0 1 0 759912060 17969152 2992 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4387 2992 566 18 0 4369 0
vsize: 17548
[startup+300.052 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 29982 24 0 0 25 0 1 0 759912060 17969152 2992 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4387 2992 566 18 0 4369 0
vsize: 17548
[startup+310.052 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 30982 24 0 0 25 0 1 0 759912060 17960960 2990 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4385 2990 566 18 0 4367 0
vsize: 17540
[startup+320.053 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 31982 24 0 0 25 0 1 0 759912060 17960960 2990 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4385 2990 566 18 0 4367 0
vsize: 17540
[startup+330.052 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 32982 25 0 0 25 0 1 0 759912060 17956864 2989 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4384 2989 566 18 0 4366 0
vsize: 17536
[startup+340.052 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 33982 25 0 0 25 0 1 0 759912060 17956864 2989 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4384 2989 566 18 0 4366 0
vsize: 17536
[startup+350.053 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 34982 25 0 0 25 0 1 0 759912060 17956864 2989 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4384 2989 566 18 0 4366 0
vsize: 17536
[startup+360.053 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 35982 25 0 0 25 0 1 0 759912060 17793024 2949 4294967295 134512640 134581331 3221224608 3221223492 134557809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4344 2949 566 18 0 4326 0
vsize: 17376
[startup+370.054 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 36982 26 0 0 25 0 1 0 759912060 17793024 2949 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4344 2949 566 18 0 4326 0
vsize: 17376
[startup+380.053 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3016 0 0 0 37982 26 0 0 25 0 1 0 759912060 17793024 2949 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4344 2949 566 18 0 4326 0
vsize: 17376
[startup+390.053 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3046 0 0 0 38982 26 0 0 25 0 1 0 759912060 18046976 2979 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4406 2979 566 18 0 4388 0
vsize: 17624
[startup+400.054 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3046 0 0 0 39982 26 0 0 25 0 1 0 759912060 18046976 2979 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4406 2979 566 18 0 4388 0
vsize: 17624
[startup+410.053 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3111 0 0 0 40981 27 0 0 25 0 1 0 759912060 18300928 3044 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4468 3044 566 18 0 4450 0
vsize: 17872
[startup+420.055 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3464 0 0 0 41980 28 0 0 25 0 1 0 759912060 19673088 3397 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4803 3397 566 18 0 4785 0
vsize: 19212
[startup+430.055 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3528 0 0 0 42980 29 0 0 25 0 1 0 759912060 19918848 3461 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4863 3461 566 18 0 4845 0
vsize: 19452
[startup+440.055 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3528 0 0 0 43980 29 0 0 25 0 1 0 759912060 19918848 3461 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4863 3461 566 18 0 4845 0
vsize: 19452
[startup+450.055 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3650 0 0 0 44979 30 0 0 25 0 1 0 759912060 20430848 3583 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4988 3583 566 18 0 4970 0
vsize: 19952
[startup+460.056 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 45979 30 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+470.056 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 46979 30 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+480.057 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 47979 31 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+490.057 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 48979 31 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+500.057 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 49978 32 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+510.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 50978 32 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+520.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 51978 32 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+530.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 52979 32 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+540.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 53979 32 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+550.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 54979 32 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+560.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 55979 33 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+570.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 56979 33 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223392 134528765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+580.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 57979 33 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+590.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 58978 33 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+600.062 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 59978 34 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+610.062 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 60978 34 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+620.063 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 61978 35 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+630.064 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 62978 35 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223536 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+640.063 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 63978 35 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+650.064 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 64978 36 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+660.064 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 65977 36 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+670.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3785 0 0 0 66977 37 0 0 25 0 1 0 759912060 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3718 566 18 0 5096 0
vsize: 20456
[startup+680.064 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3807 0 0 0 67977 37 0 0 25 0 1 0 759912060 21073920 3740 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5145 3740 566 18 0 5127 0
vsize: 20580
[startup+690.064 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3807 0 0 0 68977 37 0 0 25 0 1 0 759912060 21073920 3740 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5145 3740 566 18 0 5127 0
vsize: 20580
[startup+700.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3807 0 0 0 69977 37 0 0 25 0 1 0 759912060 21073920 3740 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5145 3740 566 18 0 5127 0
vsize: 20580
[startup+710.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3807 0 0 0 70977 37 0 0 25 0 1 0 759912060 21073920 3740 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5145 3740 566 18 0 5127 0
vsize: 20580
[startup+720.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 3888 0 0 0 71977 38 0 0 25 0 1 0 759912060 21450752 3821 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 3821 566 18 0 5219 0
vsize: 20948
[startup+730.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4016 0 0 0 72976 38 0 0 25 0 1 0 759912060 21958656 3949 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5361 3949 566 18 0 5343 0
vsize: 21444
[startup+740.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4016 0 0 0 73977 38 0 0 25 0 1 0 759912060 21958656 3949 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5361 3949 566 18 0 5343 0
vsize: 21444
[startup+750.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4016 0 0 0 74976 39 0 0 25 0 1 0 759912060 21958656 3949 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5361 3949 566 18 0 5343 0
vsize: 21444
[startup+760.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4016 0 0 0 75977 39 0 0 25 0 1 0 759912060 21958656 3949 4294967295 134512640 134581331 3221224608 3221223472 134528353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5361 3949 566 18 0 5343 0
vsize: 21444
[startup+770.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4016 0 0 0 76976 39 0 0 25 0 1 0 759912060 21958656 3949 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5361 3949 566 18 0 5343 0
vsize: 21444
[startup+780.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4109 0 0 0 77976 39 0 0 25 0 1 0 759912060 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+790.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4109 0 0 0 78976 39 0 0 25 0 1 0 759912060 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+800.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4109 0 0 0 79977 39 0 0 25 0 1 0 759912060 22351872 4042 4294967295 134512640 134581331 3221224608 3221223472 134527151 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+810.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4109 0 0 0 80977 39 0 0 25 0 1 0 759912060 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+820.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4109 0 0 0 81977 40 0 0 25 0 1 0 759912060 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+830.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4109 0 0 0 82977 40 0 0 25 0 1 0 759912060 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+840.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4109 0 0 0 83977 40 0 0 25 0 1 0 759912060 22351872 4042 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+850.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4109 0 0 0 84977 40 0 0 25 0 1 0 759912060 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+860.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4109 0 0 0 85978 40 0 0 25 0 1 0 759912060 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+870.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4112 0 0 0 86977 40 0 0 25 0 1 0 759912060 22351872 4045 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4045 566 18 0 5439 0
vsize: 21828
[startup+880.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4112 0 0 0 87978 40 0 0 25 0 1 0 759912060 22351872 4045 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4045 566 18 0 5439 0
vsize: 21828
[startup+890.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4112 0 0 0 88978 40 0 0 25 0 1 0 759912060 22351872 4045 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4045 566 18 0 5439 0
vsize: 21828
[startup+900.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4112 0 0 0 89978 40 0 0 25 0 1 0 759912060 22351872 4045 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4045 566 18 0 5439 0
vsize: 21828
[startup+910.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4112 0 0 0 90977 41 0 0 25 0 1 0 759912060 22351872 4045 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4045 566 18 0 5439 0
vsize: 21828
[startup+920.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4144 0 0 0 91977 41 0 0 25 0 1 0 759912060 22474752 4077 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 4077 566 18 0 5469 0
vsize: 21948
[startup+930.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4144 0 0 0 92977 41 0 0 25 0 1 0 759912060 22474752 4077 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 4077 566 18 0 5469 0
vsize: 21948
[startup+940.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4144 0 0 0 93978 41 0 0 25 0 1 0 759912060 22474752 4077 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 4077 566 18 0 5469 0
vsize: 21948
[startup+950.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4144 0 0 0 94978 41 0 0 25 0 1 0 759912060 22474752 4077 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 4077 566 18 0 5469 0
vsize: 21948
[startup+960.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4203 0 0 0 95978 42 0 0 25 0 1 0 759912060 22712320 4136 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5545 4136 566 18 0 5527 0
vsize: 22180
[startup+970.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4203 0 0 0 96977 42 0 0 25 0 1 0 759912060 22712320 4136 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5545 4136 566 18 0 5527 0
vsize: 22180
[startup+980.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4203 0 0 0 97977 42 0 0 25 0 1 0 759912060 22712320 4136 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5545 4136 566 18 0 5527 0
vsize: 22180
[startup+990.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4203 0 0 0 98977 42 0 0 25 0 1 0 759912060 22712320 4136 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5545 4136 566 18 0 5527 0
vsize: 22180
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4234 0 0 0 99977 43 0 0 25 0 1 0 759912060 22831104 4167 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4167 566 18 0 5556 0
vsize: 22296
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4234 0 0 0 100977 43 0 0 25 0 1 0 759912060 22831104 4167 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4167 566 18 0 5556 0
vsize: 22296
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4234 0 0 0 101977 43 0 0 25 0 1 0 759912060 22831104 4167 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4167 566 18 0 5556 0
vsize: 22296
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4234 0 0 0 102977 43 0 0 25 0 1 0 759912060 22831104 4167 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4167 566 18 0 5556 0
vsize: 22296
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 103977 43 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 104978 43 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 105977 43 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223304 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 106978 43 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223552 134559274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 107978 44 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 108978 44 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 109978 44 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 110978 44 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 111978 44 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 112978 44 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 113978 45 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 114978 45 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 115978 45 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 116978 45 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 117978 45 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 22296
[startup+1188.86 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 4706
Raw data (stat): 4706 (Pueblo) R 4705 3132 3131 0 -1 0 4235 0 0 0 117978 45 0 0 25 0 1 0 759912060 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4168 566 18 0 5556 0
vsize: 0

Child status: 10
Real time (s): 1188.86
CPU time (s): 1189.03
CPU user time (s): 1188.56
CPU system time (s): 0.466929
CPU usage (%): 100.014
Max. virtual memory (Kb): 22296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	7615
#### END VERIFIER DATA ####