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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 01:16:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13748 boxname=wulflinc15 idbench=1058 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  49fba7b1c2f3e65c53f8418d126e3ec3  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 13748
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        518684 kB
Buffers:          1392 kB
Cached:         482540 kB
SwapCached:        568 kB
Active:          17268 kB
Inactive:       468672 kB
HighTotal:      131008 kB
HighFree:        35896 kB
LowTotal:       903652 kB
LowFree:        482788 kB
SwapTotal:     2097136 kB
SwapFree:      2095620 kB
Dirty:          383920 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            24320 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:36:30 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 13748 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/wulflinc15/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): 2.27 1.58 1.21 2/54 1645
Raw data (stat): 1645 (runsolver) R 1644 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776621921 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+10.0015 s]
Raw data (loadavg): 2.07 1.56 1.21 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1088 0 0 0 995 4 0 0 25 0 1 0 776621921 10174464 1066 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1066 566 18 0 2466 0
vsize: 9936
[startup+20.0023 s]
Raw data (loadavg): 1.91 1.54 1.21 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1348 0 0 0 1994 5 0 0 25 0 1 0 776621921 11218944 1326 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2739 1326 566 18 0 2721 0
vsize: 10956
[startup+30.0027 s]
Raw data (loadavg): 1.77 1.52 1.20 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1631 0 0 0 2992 7 0 0 25 0 1 0 776621921 12345344 1609 4294967295 134512640 134581331 3221224592 3221223536 134558822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3014 1609 566 18 0 2996 0
vsize: 12056
[startup+40.0029 s]
Raw data (loadavg): 1.65 1.51 1.20 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1695 0 0 0 3991 7 0 0 25 0 1 0 776621921 12582912 1673 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3072 1673 566 18 0 3054 0
vsize: 12288
[startup+50.0038 s]
Raw data (loadavg): 1.55 1.49 1.20 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1803 0 0 0 4990 9 0 0 25 0 1 0 776621921 13062144 1781 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3189 1781 566 18 0 3171 0
vsize: 12756
[startup+60.0042 s]
Raw data (loadavg): 1.46 1.47 1.19 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1928 0 0 0 5989 10 0 0 25 0 1 0 776621921 13586432 1906 4294967295 134512640 134581331 3221224592 3221223376 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 1906 566 18 0 3299 0
vsize: 13268
[startup+70.0054 s]
Raw data (loadavg): 1.39 1.46 1.19 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1954 0 0 0 6988 11 0 0 25 0 1 0 776621921 13709312 1932 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 1932 566 18 0 3329 0
vsize: 13388
[startup+80.0058 s]
Raw data (loadavg): 1.33 1.44 1.19 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1954 0 0 0 7988 12 0 0 25 0 1 0 776621921 13709312 1932 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 1932 566 18 0 3329 0
vsize: 13388
[startup+90.0056 s]
Raw data (loadavg): 1.28 1.43 1.19 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1954 0 0 0 8987 12 0 0 25 0 1 0 776621921 13709312 1932 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 1932 566 18 0 3329 0
vsize: 13388
[startup+100.006 s]
Raw data (loadavg): 1.24 1.41 1.18 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1954 0 0 0 9987 13 0 0 25 0 1 0 776621921 13709312 1932 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 1932 566 18 0 3329 0
vsize: 13388
[startup+110.006 s]
Raw data (loadavg): 1.20 1.40 1.18 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 1988 0 0 0 10985 14 0 0 25 0 1 0 776621921 13828096 1966 4294967295 134512640 134581331 3221224592 3221223456 134528248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3376 1966 566 18 0 3358 0
vsize: 13504
[startup+120.007 s]
Raw data (loadavg): 1.17 1.38 1.18 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2010 0 0 0 11984 16 0 0 25 0 1 0 776621921 13942784 1988 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3404 1988 566 18 0 3386 0
vsize: 13616
[startup+130.007 s]
Raw data (loadavg): 1.14 1.37 1.18 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2089 0 0 0 12984 16 0 0 25 0 1 0 776621921 14180352 2067 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3462 2067 566 18 0 3444 0
vsize: 13848
[startup+140.008 s]
Raw data (loadavg): 1.12 1.36 1.17 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2129 0 0 0 13983 17 0 0 25 0 1 0 776621921 14422016 2107 4294967295 134512640 134581331 3221224592 3221223504 134527434 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.007 s]
Raw data (loadavg): 1.10 1.35 1.17 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2490 0 0 0 14982 19 0 0 25 0 1 0 776621921 15822848 2468 4294967295 134512640 134581331 3221224592 3221223504 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.008 s]
Raw data (loadavg): 1.08 1.33 1.17 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2553 0 0 0 15981 19 0 0 25 0 1 0 776621921 16084992 2531 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2531 566 18 0 3909 0
vsize: 15708
[startup+170.007 s]
Raw data (loadavg): 1.07 1.32 1.17 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2717 0 0 0 16981 20 0 0 25 0 1 0 776621921 16826368 2695 4294967295 134512640 134581331 3221224592 3221223536 134558893 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.007 s]
Raw data (loadavg): 1.06 1.31 1.17 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2717 0 0 0 17981 20 0 0 25 0 1 0 776621921 16826368 2695 4294967295 134512640 134581331 3221224592 3221223504 134527513 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.008 s]
Raw data (loadavg): 1.05 1.30 1.16 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2717 0 0 0 18980 21 0 0 25 0 1 0 776621921 16826368 2695 4294967295 134512640 134581331 3221224592 3221223376 134528804 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.008 s]
Raw data (loadavg): 1.04 1.29 1.16 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2717 0 0 0 19980 22 0 0 25 0 1 0 776621921 16826368 2695 4294967295 134512640 134581331 3221224592 3221223504 134528088 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.007 s]
Raw data (loadavg): 1.04 1.28 1.16 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2717 0 0 0 20980 22 0 0 25 0 1 0 776621921 16826368 2695 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.008 s]
Raw data (loadavg): 1.03 1.27 1.16 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2717 0 0 0 21980 22 0 0 25 0 1 0 776621921 16826368 2695 4294967295 134512640 134581331 3221224592 3221223656 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+230.007 s]
Raw data (loadavg): 1.02 1.26 1.16 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 2717 0 0 0 22979 22 0 0 25 0 1 0 776621921 16826368 2695 4294967295 134512640 134581331 3221224592 3221223504 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+240.008 s]
Raw data (loadavg): 1.02 1.25 1.16 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3011 0 0 0 23978 24 0 0 25 0 1 0 776621921 17960960 2989 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4385 2989 566 18 0 4367 0
vsize: 17540
[startup+250.008 s]
Raw data (loadavg): 1.02 1.24 1.15 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 24978 24 0 0 25 0 1 0 776621921 18075648 2994 4294967295 134512640 134581331 3221224592 3221223520 134519928 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.01 s]
Raw data (loadavg): 1.01 1.23 1.15 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 25978 25 0 0 25 0 1 0 776621921 18075648 2994 4294967295 134512640 134581331 3221224592 3221223504 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.009 s]
Raw data (loadavg): 1.01 1.23 1.15 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 26978 25 0 0 25 0 1 0 776621921 18075648 2994 4294967295 134512640 134581331 3221224592 3221223504 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.01 s]
Raw data (loadavg): 1.01 1.22 1.15 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 27977 25 0 0 25 0 1 0 776621921 17969152 2992 4294967295 134512640 134581331 3221224592 3221223504 134527429 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.01 s]
Raw data (loadavg): 1.01 1.21 1.15 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 28978 25 0 0 25 0 1 0 776621921 17969152 2992 4294967295 134512640 134581331 3221224592 3221223376 134528824 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.01 s]
Raw data (loadavg): 1.01 1.20 1.14 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 29978 25 0 0 25 0 1 0 776621921 17969152 2992 4294967295 134512640 134581331 3221224592 3221223504 134528088 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.01 s]
Raw data (loadavg): 1.00 1.20 1.14 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 30977 26 0 0 25 0 1 0 776621921 17960960 2990 4294967295 134512640 134581331 3221224592 3221223536 134560149 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.01 s]
Raw data (loadavg): 1.00 1.19 1.14 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 31977 26 0 0 25 0 1 0 776621921 17960960 2990 4294967295 134512640 134581331 3221224592 3221223504 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.01 s]
Raw data (loadavg): 1.00 1.18 1.14 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 32977 26 0 0 25 0 1 0 776621921 17956864 2989 4294967295 134512640 134581331 3221224592 3221223504 134527510 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.01 s]
Raw data (loadavg): 1.00 1.18 1.14 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 33977 26 0 0 25 0 1 0 776621921 17956864 2989 4294967295 134512640 134581331 3221224592 3221223504 134527457 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.01 s]
Raw data (loadavg): 1.00 1.17 1.13 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 34977 27 0 0 25 0 1 0 776621921 17956864 2989 4294967295 134512640 134581331 3221224592 3221223504 134528088 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.011 s]
Raw data (loadavg): 1.00 1.16 1.13 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 35977 27 0 0 25 0 1 0 776621921 17793024 2949 4294967295 134512640 134581331 3221224592 3221223504 134527407 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.011 s]
Raw data (loadavg): 1.00 1.16 1.13 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 36977 27 0 0 25 0 1 0 776621921 17793024 2949 4294967295 134512640 134581331 3221224592 3221223504 134528088 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.01 s]
Raw data (loadavg): 1.00 1.15 1.13 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3016 0 0 0 37977 27 0 0 25 0 1 0 776621921 17793024 2949 4294967295 134512640 134581331 3221224592 3221223536 134558835 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.01 s]
Raw data (loadavg): 1.00 1.15 1.13 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3046 0 0 0 38977 28 0 0 25 0 1 0 776621921 18046976 2979 4294967295 134512640 134581331 3221224592 3221223504 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+400.01 s]
Raw data (loadavg): 1.00 1.14 1.12 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3046 0 0 0 39977 28 0 0 25 0 1 0 776621921 18046976 2979 4294967295 134512640 134581331 3221224592 3221223656 1075514893 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.011 s]
Raw data (loadavg): 1.00 1.14 1.12 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3168 0 0 0 40976 29 0 0 25 0 1 0 776621921 18419712 3101 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3101 566 18 0 4479 0
vsize: 17988
[startup+420.011 s]
Raw data (loadavg): 1.00 1.13 1.12 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3524 0 0 0 41975 30 0 0 25 0 1 0 776621921 19918848 3457 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4863 3457 566 18 0 4845 0
vsize: 19452
[startup+430.011 s]
Raw data (loadavg): 1.00 1.13 1.12 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3528 0 0 0 42975 30 0 0 25 0 1 0 776621921 19918848 3461 4294967295 134512640 134581331 3221224592 3221223456 134526992 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.011 s]
Raw data (loadavg): 1.00 1.12 1.12 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3528 0 0 0 43975 30 0 0 25 0 1 0 776621921 19918848 3461 4294967295 134512640 134581331 3221224592 3221223476 134557889 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.011 s]
Raw data (loadavg): 1.00 1.12 1.11 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3725 0 0 0 44975 31 0 0 25 0 1 0 776621921 20815872 3658 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5082 3658 566 18 0 5064 0
vsize: 20328
[startup+460.011 s]
Raw data (loadavg): 1.00 1.11 1.11 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 45974 31 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 134528088 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.012 s]
Raw data (loadavg): 1.00 1.11 1.11 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 46974 32 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223520 134519924 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.012 s]
Raw data (loadavg): 1.07 1.12 1.11 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 47974 32 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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.012 s]
Raw data (loadavg): 1.06 1.11 1.11 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 48974 33 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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+500.012 s]
Raw data (loadavg): 1.05 1.11 1.11 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 49974 33 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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.013 s]
Raw data (loadavg): 1.04 1.11 1.11 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 50973 34 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223456 134528521 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.013 s]
Raw data (loadavg): 1.03 1.10 1.10 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 51973 34 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 134527534 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.013 s]
Raw data (loadavg): 1.03 1.10 1.10 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 52972 35 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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.014 s]
Raw data (loadavg): 1.02 1.10 1.10 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 53972 35 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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+550.014 s]
Raw data (loadavg): 1.02 1.09 1.10 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 54972 36 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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+560.014 s]
Raw data (loadavg): 1.02 1.09 1.10 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 55972 36 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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+570.015 s]
Raw data (loadavg): 1.01 1.08 1.10 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 56972 36 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 134527525 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.015 s]
Raw data (loadavg): 1.01 1.08 1.09 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 57972 36 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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+590.016 s]
Raw data (loadavg): 1.01 1.08 1.09 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 58972 37 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223536 134558828 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.015 s]
Raw data (loadavg): 1.01 1.08 1.09 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 59972 37 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223456 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+610.017 s]
Raw data (loadavg): 1.00 1.07 1.09 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 60971 38 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 134527687 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.017 s]
Raw data (loadavg): 1.00 1.07 1.09 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 61971 38 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223536 134560149 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.017 s]
Raw data (loadavg): 1.00 1.07 1.09 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 62971 39 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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+640.018 s]
Raw data (loadavg): 1.00 1.06 1.09 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 63970 39 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223560 134527282 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.018 s]
Raw data (loadavg): 1.00 1.06 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 64970 40 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223376 134528824 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.018 s]
Raw data (loadavg): 1.00 1.06 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 65970 40 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223520 134520027 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.018 s]
Raw data (loadavg): 1.00 1.06 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3785 0 0 0 66970 40 0 0 25 0 1 0 776621921 20946944 3718 4294967295 134512640 134581331 3221224592 3221223504 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+680.018 s]
Raw data (loadavg): 1.00 1.05 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3807 0 0 0 67970 41 0 0 25 0 1 0 776621921 21073920 3740 4294967295 134512640 134581331 3221224592 3221223504 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+690.019 s]
Raw data (loadavg): 1.00 1.05 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3807 0 0 0 68970 41 0 0 25 0 1 0 776621921 21073920 3740 4294967295 134512640 134581331 3221224592 3221223656 1075514893 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.019 s]
Raw data (loadavg): 1.00 1.05 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3807 0 0 0 69970 41 0 0 25 0 1 0 776621921 21073920 3740 4294967295 134512640 134581331 3221224592 3221223504 134527513 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.02 s]
Raw data (loadavg): 1.00 1.05 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 3812 0 0 0 70970 41 0 0 25 0 1 0 776621921 21073920 3745 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5145 3745 566 18 0 5127 0
vsize: 20580
[startup+720.019 s]
Raw data (loadavg): 1.00 1.05 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4006 0 0 0 71969 42 0 0 25 0 1 0 776621921 21958656 3939 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5361 3939 566 18 0 5343 0
vsize: 21444
[startup+730.02 s]
Raw data (loadavg): 1.00 1.04 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4016 0 0 0 72969 42 0 0 25 0 1 0 776621921 21958656 3949 4294967295 134512640 134581331 3221224592 3221223504 134527459 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.02 s]
Raw data (loadavg): 1.00 1.04 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4016 0 0 0 73969 42 0 0 25 0 1 0 776621921 21958656 3949 4294967295 134512640 134581331 3221224592 3221223488 134517900 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.021 s]
Raw data (loadavg): 1.00 1.04 1.08 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4016 0 0 0 74969 42 0 0 25 0 1 0 776621921 21958656 3949 4294967295 134512640 134581331 3221224592 3221223504 134527434 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.022 s]
Raw data (loadavg): 1.00 1.04 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4016 0 0 0 75969 43 0 0 25 0 1 0 776621921 21958656 3949 4294967295 134512640 134581331 3221224592 3221223504 134527404 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.023 s]
Raw data (loadavg): 1.00 1.04 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4052 0 0 0 76968 43 0 0 25 0 1 0 776621921 22089728 3985 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5393 3986 566 18 0 5375 0
vsize: 21572
[startup+780.022 s]
Raw data (loadavg): 1.00 1.03 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4109 0 0 0 77968 44 0 0 25 0 1 0 776621921 22351872 4042 4294967295 134512640 134581331 3221224592 3221223504 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.022 s]
Raw data (loadavg): 1.00 1.03 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4109 0 0 0 78968 44 0 0 25 0 1 0 776621921 22351872 4042 4294967295 134512640 134581331 3221224592 3221223504 134527525 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.023 s]
Raw data (loadavg): 1.00 1.03 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4109 0 0 0 79968 44 0 0 25 0 1 0 776621921 22351872 4042 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 4042 566 18 0 5439 0
vsize: 21828
[startup+810.023 s]
Raw data (loadavg): 1.00 1.03 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4109 0 0 0 80967 45 0 0 25 0 1 0 776621921 22351872 4042 4294967295 134512640 134581331 3221224592 3221223504 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+820.023 s]
Raw data (loadavg): 1.00 1.03 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4109 0 0 0 81967 45 0 0 25 0 1 0 776621921 22351872 4042 4294967295 134512640 134581331 3221224592 3221223504 134527783 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.023 s]
Raw data (loadavg): 1.00 1.03 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4109 0 0 0 82967 45 0 0 25 0 1 0 776621921 22351872 4042 4294967295 134512640 134581331 3221224592 3221223456 134528258 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.024 s]
Raw data (loadavg): 1.00 1.03 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4109 0 0 0 83967 45 0 0 25 0 1 0 776621921 22351872 4042 4294967295 134512640 134581331 3221224592 3221223488 134517844 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.024 s]
Raw data (loadavg): 1.00 1.02 1.07 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4109 0 0 0 84967 46 0 0 25 0 1 0 776621921 22351872 4042 4294967295 134512640 134581331 3221224592 3221223504 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.025 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4109 0 0 0 85967 46 0 0 25 0 1 0 776621921 22351872 4042 4294967295 134512640 134581331 3221224592 3221223504 134527451 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.024 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4112 0 0 0 86967 46 0 0 25 0 1 0 776621921 22351872 4045 4294967295 134512640 134581331 3221224592 3221223504 134527410 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.024 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4112 0 0 0 87968 46 0 0 25 0 1 0 776621921 22351872 4045 4294967295 134512640 134581331 3221224592 3221223504 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.025 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4112 0 0 0 88968 46 0 0 25 0 1 0 776621921 22351872 4045 4294967295 134512640 134581331 3221224592 3221223504 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+900.024 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4112 0 0 0 89968 46 0 0 25 0 1 0 776621921 22351872 4045 4294967295 134512640 134581331 3221224592 3221223504 134528079 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.026 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4144 0 0 0 90968 46 0 0 25 0 1 0 776621921 22474752 4077 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 4077 566 18 0 5469 0
vsize: 21948
[startup+920.026 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4144 0 0 0 91968 47 0 0 25 0 1 0 776621921 22474752 4077 4294967295 134512640 134581331 3221224592 3221223488 134517865 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.026 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4144 0 0 0 92968 47 0 0 25 0 1 0 776621921 22474752 4077 4294967295 134512640 134581331 3221224592 3221223504 134527459 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.026 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4144 0 0 0 93967 47 0 0 25 0 1 0 776621921 22474752 4077 4294967295 134512640 134581331 3221224592 3221223504 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+950.026 s]
Raw data (loadavg): 1.00 1.02 1.06 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4161 0 0 0 94967 48 0 0 25 0 1 0 776621921 22597632 4094 4294967295 134512640 134581331 3221224592 3221223488 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5517 4094 566 18 0 5499 0
vsize: 22068
[startup+960.026 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4203 0 0 0 95967 48 0 0 25 0 1 0 776621921 22712320 4136 4294967295 134512640 134581331 3221224592 3221223504 134528079 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.027 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4203 0 0 0 96967 48 0 0 25 0 1 0 776621921 22712320 4136 4294967295 134512640 134581331 3221224592 3221223228 1075289347 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.026 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4203 0 0 0 97967 48 0 0 25 0 1 0 776621921 22712320 4136 4294967295 134512640 134581331 3221224592 3221223504 134527519 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.027 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4224 0 0 0 98967 49 0 0 25 0 1 0 776621921 22831104 4157 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4157 566 18 0 5556 0
vsize: 22296
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4234 0 0 0 99967 49 0 0 25 0 1 0 776621921 22831104 4167 4294967295 134512640 134581331 3221224592 3221223504 134527416 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.03 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4234 0 0 0 100967 49 0 0 25 0 1 0 776621921 22831104 4167 4294967295 134512640 134581331 3221224592 3221223504 134527772 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.03 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4234 0 0 0 101967 49 0 0 25 0 1 0 776621921 22831104 4167 4294967295 134512640 134581331 3221224592 3221223504 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+1030.03 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 102967 49 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 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+1040.03 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 103967 49 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 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+1050.03 s]
Raw data (loadavg): 1.00 1.01 1.05 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 104967 49 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 134527451 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.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 105967 49 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 134527820 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.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 106968 50 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 134527504 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.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 107968 50 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 134528072 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.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 108968 50 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223216 134566408 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.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 109968 50 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 134527459 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.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 110967 51 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 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+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 111967 51 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 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.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 112967 51 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 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.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 113967 52 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 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+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 114967 52 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 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+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 115967 52 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 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+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 116967 52 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223504 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+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 117967 52 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223376 134528778 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): 1.00 1.00 1.03 1/53 1645
Raw data (stat): 1645 (Pueblo) R 1644 23514 23513 0 -1 0 4235 0 0 0 117967 52 0 0 25 0 1 0 776621921 22831104 4168 4294967295 134512640 134581331 3221224592 3221223376 134528778 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.02
CPU user time (s): 1188.49
CPU system time (s): 0.537918
CPU usage (%): 100.014
Max. virtual memory (Kb): 22296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	7615
#### END VERIFIER DATA ####