PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 21:35:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17167 boxname=wulflinc23 idbench=1321 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  cc9b9a1bf5f3e0998bc97d2eed5cbbd9  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 17167
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        904868 kB
Buffers:          2892 kB
Cached:         105568 kB
SwapCached:        612 kB
Active:          30164 kB
Inactive:        80700 kB
HighTotal:      131008 kB
HighFree:        21840 kB
LowTotal:       903652 kB
LowFree:        883028 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:            1080 kB
Writeback:           0 kB
Mapped:           5624 kB
Slab:            13264 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:55:47 (client local time) WITH STATUS 10 IN 1189.04 SECONDS
stats: 17167 0 1189.04 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/wulflinc23/normalized-mps-v2-13-7-p2756.opb
c #variables read: 2756 - #constraints read: 3512
s SATISFIABLE
v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1014_bit0 -C1017_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1027_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1042_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1054_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1070_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1083_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1098_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1110_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1153_bit0 -C1156_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1166_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1181_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1193_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 -C1209_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 -C1215_bit0 -C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1222_bit0 -C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1234_bit0 -C1237_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 -C1246_bit0 -C1249_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1258_bit0 -C1259_bit0 -C1260_bit0 -C1261_bit0 -C1262_bit0 -C1263_bit0 -C1265_bit0 -C1266_bit0 -C1267_bit0 -C1268_bit0 -C1270_bit0 -C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 -C1281_bit0 -C1283_bit0 -C1284_bit0 -C1285_bit0 -C1286_bit0 -C1289_bit0 -C1290_bit0 -C1291_bit0 -C1292_bit0 -C1293_bit0 -C1294_bit0 -C1295_bit0 C1296_bit0 -C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 -C1303_bit0 -C1304_bit0 -C1305_bit0 -C1306_bit0 -C1307_bit0 -C1308_bit0 C1309_bit0 C1310_bit0 C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1326_bit0 -C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 -C1335_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1341_bit0 -C1343_bit0 -C1344_bit0 -C1345_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 -C1351_bit0 -C1352_bit0 -C1353_bit0 -C1354_bit0 -C1356_bit0 -C1357_bit0 -C1358_bit0 C1359_bit0 -C1360_bit0 -C1361_bit0 -C1362_bit0 -C1363_bit0 -C1366_bit0 -C1367_bit0 -C1368_bit0 -C1369_bit0 C1370_bit0 -C1371_bit0 -C1372_bit0 -C1373_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 -C1377_bit0 -C1380_bit0 -C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1385_bit0 -C1386_bit0 -C1387_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 -C1412_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 -C1420_bit0 -C1421_bit0 -C1422_bit0 -C1423_bit0 -C1424_bit0 -C1425_bit0 -C1426_bit0 -C1428_bit0 -C1429_bit0 -C1430_bit0 -C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 -C1437_bit0 -C1438_bit0 -C1439_bit0 -C1440_bit0 -C1441_bit0 -C1442_bit0 -C1443_bit0 -C1444_bit0 -C1445_bit0 -C1446_bit0 -C1447_bit0 -C1448_bit0 -C1449_bit0 -C1450_bit0 -C1451_bit0 -C1452_bit0 -C1453_bit0 -C1454_bit0 -C1456_bit0 -C1457_bit0 -C1458_bit0 -C1459_bit0 -C1460_bit0 -C1461_bit0 -C1463_bit0 -C1464_bit0 -C1465_bit0 -C1466_bit0 -C1467_bit0 C1468_bit0 C1469_bit0 -C1470_bit0 -C1471_bit0 -C1472_bit0 -C1473_bit0 -C1474_bit0 -C1475_bit0 -C1476_bit0 -C1479_bit0 -C1480_bit0 -C1481_bit0 -C1482_bit0 -C1483_bit0 -C1484_bit0 -C1485_bit0 -C1486_bit0 -C1489_bit0 -C1490_bit0 -C1491_bit0 -C1492_bit0 -C1493_bit0 -C1494_bit0 -C1495_bit0 -C1496_bit0 -C1497_bit0 -C1498_bit0 -C1499_bit0 -C1500_bit0 -C1501_bit0 -C1502_bit0 -C1503_bit0 -C1506_bit0 -C1507_bit0 -C1508_bit0 -C1509_bit0 -C1510_bit0 -C1511_bit0 -C1512_bit0 -C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 -C1517_bit0 -C1519_bit0 -C1522_bit0 -C1523_bit0 -C1524_bit0 -C1525_bit0 -C1526_bit0 -C1527_bit0 -C1528_bit0 -C1529_bit0 -C1530_bit0 -C1531_bit0 -C1532_bit0 -C1533_bit0 -C1535_bit0 -C1536_bit0 -C1537_bit0 -C1538_bit0 -C1539_bit0 -C1540_bit0 -C1541_bit0 -C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 -C1546_bit0 -C1549_bit0 -C1550_bit0 -C1551_bit0 -C1552_bit0 -C1553_bit0 -C1554_bit0 -C1555_bit0 -C1556_bit0 -C1559_bit0 -C1560_bit0 -C1561_bit0 -C1562_bit0 -C1563_bit0 -C1564_bit0 -C1565_bit0 -C1566_bit0 -C1567_bit0 -C1568_bit0 -C1569_bit0 -C1570_bit0 -C1571_bit0 -C1572_bit0 -C1573_bit0 -C1576_bit0 -C1577_bit0 -C1578_bit0 -C1579_bit0 -C1580_bit0 -C1581_bit0 -C1582_bit0 -C1583_bit0 -C1584_bit0 -C1585_bit0 -C1586_bit0 -C1587_bit0 -C1588_bit0 -C1589_bit0 -C1592_bit0 -C1593_bit0 -C1594_bit0 -C1595_bit0 -C1596_bit0 -C1597_bit0 -C1598_bit0 -C1599_bit0 -C1600_bit0 -C1601_bit0 -C1602_bit0 -C1603_bit0 -C1605_bit0 -C1606_bit0 -C1607_bit0 -C1608_bit0 -C1609_bit0 -C1610_bit0 -C1611_bit0 -C1612_bit0 -C1613_bit0 -C1614_bit0 -C1615_bit0 -C1616_bit0 -C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 -C1621_bit0 -C1622_bit0 -C1623_bit0 -C1624_bit0 -C1625_bit0 -C1626_bit0 -C1627_bit0 -C1628_bit0 -C1629_bit0 -C1630_bit0 -C1631_bit0 -C1633_bit0 -C1634_bit0 -C1635_bit0 -C1636_bit0 -C1637_bit0 -C1638_bit0 -C1639_bit0 -C1640_bit0 -C1641_bit0 -C1642_bit0 -C1643_bit0 -C1644_bit0 -C1645_bit0 -C1646_bit0 -C1647_bit0 -C1648_bit0 -C1650_bit0 -C1651_bit0 -C1652_bit0 -C1653_bit0 -C1656_bit0 -C1657_bit0 -C1658_bit0 -C1659_bit0 -C1660_bit0 -C1661_bit0 -C1662_bit0 -C1663_bit0 -C1666_bit0 -C1667_bit0 -C1668_bit0 -C1669_bit0 -C1670_bit0 -C1671_bit0 -C1672_bit0 -C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 -C1677_bit0 -C1678_bit0 -C1679_bit0 -C1680_bit0 -C1683_bit0 -C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 -C1688_bit0 -C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 -C1694_bit0 -C1696_bit0 -C1699_bit0 -C1700_bit0 -C1701_bit0 -C1702_bit0 -C1703_bit0 -C1704_bit0 -C1705_bit0 -C1706_bit0 -C1707_bit0 -C1708_bit0 -C1709_bit0 -C1710_bit0 -C1712_bit0 -C1713_bit0 -C1714_bit0 -C1715_bit0 -C1716_bit0 -C1717_bit0 -C1718_bit0 -C1719_bit0 -C1720_bit0 -C1721_bit0 -C1722_bit0 -C1723_bit0 -C1726_bit0 -C1727_bit0 -C1728_bit0 -C1729_bit0 -C1730_bit0 -C1731_bit0 -C1732_bit0 -C1733_bit0 -C1736_bit0 -C1737_bit0 -C1738_bit0 -C1739_bit0 -C1740_bit0 -C1741_bit0 -C1742_bit0 -C1743_bit0 -C1744_bit0 -C1745_bit0 -C1746_bit0 -C1747_bit0 -C1748_bit0 -C1749_bit0 -C1750_bit0 -C1753_bit0 -C1754_bit0 -C1755_bit0 -C1756_bit0 -C1757_bit0 -C1758_bit0 -C1759_bit0 -C1760_bit0 -C1761_bit0 -C1762_bit0 -C1763_bit0 -C1764_bit0 -C1765_bit0 -C1766_bit0 -C1769_bit0 -C1770_bit0 -C1771_bit0 -C1772_bit0 -C1773_bit0 -C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_bit0 -C1782_bit0 -C1783_bit0 -C1784_bit0 -C1785_bit0 -C1786_bit0 -C1787_bit0 -C1788_bit0 -C1789_bit0 -C1790_bit0 -C1791_bit0 -C1792_bit0 -C1793_bit0 -C1796_bit0 -C1797_bit0 -C1798_bit0 -C1799_bit0 -C1800_bit0 -C1812_bit0 -C1813_bit0 -C1814_bit0 -C1815_bit0 -C1816_bit0 -C1817_bit0 -C1818_bit0 -C1821_bit0 -C1822_bit0 -C1823_bit0 -C1824_bit0 -C1825_bit0 -C1829_bit0 -C1833_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 -C1843_bit0 -C1846_bit0 -C1847_bit0 -C1848_bit0 -C1849_bit0 C1850_bit0 -C1851_bit0 -C1854_bit0 -C1856_bit0 -C1860_bit0 -C1864_bit0 -C1865_bit0 -C1867_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1875_bit0 -C1876_bit0 -C1877_bit0 -C1878_bit0 -C1879_bit0 -C1880_bit0 -C1882_bit0 -C1883_bit0 -C1884_bit0 -C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 -C1889_bit0 -C1890_bit0 -C1891_bit0 -C1892_bit0 -C1893_bit0 -C1896_bit0 -C1897_bit0 -C1898_bit0 -C1899_bit0 C1900_bit0 -C1904_bit0 -C1908_bit0 -C1912_bit0 -C1913_bit0 C1914_bit0 -C1915_bit0 -C1916_bit0 -C1917_bit0 -C1918_bit0 -C1921_bit0 -C1922_bit0 -C1923_bit0 -C1924_bit0 -C1925_bit0 -C1926_bit0 -C1929_bit0 -C1933_bit0 -C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 -C1943_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 -C1950_bit0 -C1951_bit0 -C1952_bit0 -C1954_bit0 -C1955_bit0 -C1956_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 -C1962_bit0 -C1964_bit0 -C1965_bit0 -C1967_bit0 -C1970_bit0 -C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 -C1975_bit0 -C1976_bit0 -C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_bit0 -C1982_bit0 -C1983_bit0 -C1984_bit0 -C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 -C1991_bit0 -C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 -C1996_bit0 -C1997_bit0 -C2000_bit0 -C2001_bit0 -C2002_bit0 -C2003_bit0 C2004_bit0 -C2005_bit0 -C2008_bit0 -C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2016_bit0 -C2017_bit0 -C2018_bit0 -C2019_bit0 -C2020_bit0 -C2021_bit0 C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_bit0 -C2029_bit0 -C2030_bit0 -C2031_bit0 -C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 -C2036_bit0 -C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 -C2042_bit0 -C2043_bit0 -C2045_bit0 -C2048_bit0 -C2049_bit0 -C2050_bit0 -C2051_bit0 -C2052_bit0 -C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 -C2060_bit0 -C2061_bit0 -C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 -C2067_bit0 -C2070_bit0 -C2071_bit0 -C2072_bit0 -C2073_bit0 -C2074_bit0 -C2075_bit0 -C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 -C2080_bit0 -C2081_bit0 -C2082_bit0 -C2083_bit0 -C2084_bit0 -C2085_bit0 -C2086_bit0 -C2087_bit0 -C2088_bit0 -C2091_bit0 -C2092_bit0 -C2093_bit0 -C2094_bit0 -C2095_bit0 -C2096_bit0 -C2097_bit0 -C2098_bit0 -C2099_bit0 -C2100_bit0 -C2101_bit0 -C2102_bit0 -C2103_bit0 -C2106_bit0 -C2107_bit0 -C2108_bit0 -C2109_bit0 -C2110_bit0 -C2111_bit0 -C2112_bit0 -C2113_bit0 -C2114_bit0 -C2115_bit0 -C2116_bit0 -C2117_bit0 -C2118_bit0 -C2119_bit0 -C2120_bit0 -C2121_bit0 -C2122_bit0 -C2123_bit0 -C2124_bit0 -C2126_bit0 -C2127_bit0 -C2128_bit0 -C2129_bit0 -C2130_bit0 -C2131_bit0 -C2132_bit0 -C2133_bit0 -C2134_bit0 -C2135_bit0 -C2136_bit0 -C2137_bit0 -C2138_bit0 -C2139_bit0 -C2140_bit0 -C2141_bit0 -C2144_bit0 -C2145_bit0 -C2146_bit0 -C2147_bit0 -C2148_bit0 -C2149_bit0 -C2152_bit0 -C2155_bit0 -C2156_bit0 -C2157_bit0 -C2158_bit0 -C2160_bit0 -C2161_bit0 -C2162_bit0 -C2163_bit0 C2164_bit0 -C2165_bit0 -C2166_bit0 -C2167_bit0 -C2168_bit0 -C2169_bit0 -C2170_bit0 -C2173_bit0 -C2174_bit0 -C2175_bit0 -C2176_bit0 C2177_bit0 -C2178_bit0 -C2179_bit0 -C2180_bit0 -C2181_bit0 -C2182_bit0 -C2183_bit0 -C2184_bit0 -C2185_bit0 -C2186_bit0 -C2187_bit0 -C2189_bit0 -C2192_bit0 -C2193_bit0 -C2194_bit0 -C2195_bit0 -C2196_bit0 -C2197_bit0 -C2198_bit0 -C2199_bit0 -C2200_bit0 -C2201_bit0 -C2202_bit0 -C2203_bit0 -C2204_bit0 -C2205_bit0 -C2206_bit0 -C2207_bit0 -C2208_bit0 -C2209_bit0 -C2210_bit0 -C2211_bit0 -C2214_bit0 -C2215_bit0 -C2216_bit0 -C2217_bit0 -C2218_bit0 -C2219_bit0 -C2220_bit0 -C2221_bit0 -C2222_bit0 -C2223_bit0 -C2224_bit0 -C2225_bit0 -C2226_bit0 -C2227_bit0 -C2228_bit0 -C2229_bit0 -C2230_bit0 -C2231_bit0 -C2232_bit0 -C2235_bit0 -C2236_bit0 -C2237_bit0 -C2238_bit0 -C2239_bit0 -C2240_bit0 -C2241_bit0 -C2242_bit0 -C2243_bit0 -C2244_bit0 -C2245_bit0 -C2246_bit0 -C2247_bit0 -C2250_bit0 -C2251_bit0 -C2252_bit0 -C2253_bit0 -C2254_bit0 -C2255_bit0 -C2256_bit0 -C2257_bit0 -C2258_bit0 -C2259_bit0 -C2260_bit0 -C2261_bit0 -C2262_bit0 -C2263_bit0 -C2264_bit0 -C2265_bit0 -C2266_bit0 -C2267_bit0 -C2268_bit0 -C2270_bit0 -C2271_bit0 -C2272_bit0 -C2273_bit0 -C2274_bit0 -C2275_bit0 -C2276_bit0 -C2277_bit0 -C2278_bit0 -C2279_bit0 -C2280_bit0 -C2281_bit0 -C2282_bit0 -C2283_bit0 -C2284_bit0 -C2285_bit0 -C2286_bit0 -C2287_bit0 -C2288_bit0 -C2289_bit0 -C2290_bit0 -C2291_bit0 -C2292_bit0 -C2293_bit0 -C2294_bit0 -C2295_bit0 -C2296_bit0 -C2297_bit0 -C2298_bit0 -C2299_bit0 -C2300_bit0 -C2301_bit0 -C2302_bit0 -C2303_bit0 -C2304_bit0 -C2305_bit0 -C2306_bit0 -C2307_bit0 -C2308_bit0 -C2309_bit0 -C2310_bit0 -C2311_bit0 -C2312_bit0 -C2313_bit0 -C2314_bit0 -C2315_bit0 -C2316_bit0 -C2317_bit0 -C2318_bit0 -C2319_bit0 -C2320_bit0 -C2321_bit0 -C2322_bit0 -C2323_bit0 -C2324_bit0 -C2325_bit0 -C2326_bit0 -C2327_bit0 -C2328_bit0 -C2329_bit0 -C2330_bit0 -C2331_bit0 -C2332_bit0 -C2333_bit0 -C2334_bit0 -C2335_bit0 -C2336_bit0 -C2337_bit0 -C2338_bit0 -C2339_bit0 -C2340_bit0 -C2341_bit0 -C2342_bit0 -C2343_bit0 -C2344_bit0 -C2345_bit0 -C2346_bit0 -C2348_bit0 -C2349_bit0 -C2351_bit0 -C2352_bit0 -C2353_bit0 -C2354_bit0 -C2355_bit0 -C2356_bit0 -C2357_bit0 -C2358_bit0 -C2359_bit0 -C2360_bit0 -C2361_bit0 -C2362_bit0 -C2363_bit0 -C2364_bit0 -C2365_bit0 -C2366_bit0 -C2367_bit0 -C2369_bit0 -C2370_bit0 -C2371_bit0 -C2372_bit0 -C2373_bit0 -C2374_bit0 -C2375_bit0 -C2376_bit0 -C2377_bit0 -C2378_bit0 -C2379_bit0 -C2380_bit0 -C2381_bit0 -C2382_bit0 -C2384_bit0 -C2386_bit0 -C2387_bit0 -C2391_bit0 -C2392_bit0 -C2393_bit0 -C2394_bit0 -C2395_bit0 -C2396_bit0 -C2397_bit0 -C2398_bit0 -C2399_bit0 -C2401_bit0 -C2402_bit0 -C2404_bit0 -C2405_bit0 -C2406_bit0 -C2407_bit0 -C2408_bit0 -C2409_bit0 -C2410_bit0 -C2411_bit0 -C2412_bit0 -C2413_bit0 -C2414_bit0 -C2415_bit0 -C2416_bit0 -C2417_bit0 -C2418_bit0 -C2419_bit0 -C2420_bit0 -C2422_bit0 -C2423_bit0 -C2424_bit0 -C2425_bit0 -C2426_bit0 -C2427_bit0 -C2428_bit0 -C2429_bit0 -C2430_bit0 -C2431_bit0 -C2432_bit0 -C2433_bit0 -C2434_bit0 -C2435_bit0 -C2436_bit0 -C2437_bit0 -C2438_bit0 -C2440_bit0 -C2441_bit0 -C2442_bit0 -C2443_bit0 -C2444_bit0 -C2445_bit0 -C2446_bit0 -C2447_bit0 -C2448_bit0 -C2449_bit0 -C2450_bit0 -C2451_bit0 -C2452_bit0 -C2453_bit0 -C2455_bit0 -C2457_bit0 -C2458_bit0 -C2459_bit0 -C2460_bit0 -C2461_bit0 -C2462_bit0 -C2463_bit0 -C2464_bit0 -C2465_bit0 -C2466_bit0 -C2467_bit0 -C2468_bit0 -C2469_bit0 -C2470_bit0 -C2471_bit0 -C2472_bit0 -C2473_bit0 -C2475_bit0 -C2476_bit0 -C2477_bit0 -C2478_bit0 -C2479_bit0 -C2480_bit0 -C2481_bit0 -C2482_bit0 -C2483_bit0 -C2484_bit0 -C2485_bit0 -C2486_bit0 -C2487_bit0 -C2488_bit0 -C2489_bit0 -C2490_bit0 -C2491_bit0 -C2493_bit0 -C2494_bit0 -C2495_bit0 -C2496_bit0 -C2497_bit0 -C2498_bit0 -C2499_bit0 -C2500_bit0 -C2501_bit0 -C2502_bit0 -C2503_bit0 -C2504_bit0 -C2505_bit0 -C2506_bit0 -C2507_bit0 -C2508_bit0 -C2509_bit0 -C2511_bit0 -C2512_bit0 -C2513_bit0 -C2514_bit0 -C2515_bit0 -C2516_bit0 -C2517_bit0 -C2518_bit0 -C2519_bit0 -C2520_bit0 -C2521_bit0 -C2522_bit0 -C2524_bit0 -C2525_bit0 -C2526_bit0 -C2527_bit0 -C2528_bit0 -C2529_bit0 -C2530_bit0 -C2531_bit0 -C2532_bit0 -C2533_bit0 -C2534_bit0 -C2535_bit0 -C2536_bit0 -C2537_bit0 -C2538_bit0 -C2539_bit0 -C2540_bit0 -C2542_bit0 -C2543_bit0 -C2544_bit0 -C2545_bit0 -C2546_bit0 -C2547_bit0 -C2548_bit0 -C2549_bit0 -C2550_bit0 -C2551_bit0 -C2552_bit0 -C2553_bit0 -C2554_bit0 -C2555_bit0 -C2556_bit0 -C2557_bit0 -C2558_bit0 -C2560_bit0 -C2561_bit0 -C2562_bit0 -C2563_bit0 -C2564_bit0 -C2565_bit0 -C2566_bit0 -C2567_bit0 -C2568_bit0 -C2569_bit0 -C2570_bit0 -C2571_bit0 -C2572_bit0 -C2573_bit0 -C2574_bit0 -C2575_bit0 -C2576_bit0 -C2578_bit0 -C2579_bit0 -C2580_bit0 -C2581_bit0 -C2582_bit0 -C2583_bit0 -C2584_bit0 -C2585_bit0 -C2586_bit0 -C2587_bit0 -C2588_bit0 -C2589_bit0 -C2591_bit0 -C2592_bit0 -C2593_bit0 -C2594_bit0 -C2595_bit0 -C2596_bit0 -C2597_bit0 -C2598_bit0 -C2599_bit0 -C2600_bit0 -C2601_bit0 -C2602_bit0 -C2603_bit0 -C2604_bit0 -C2605_bit0 -C2606_bit0 -C2607_bit0 -C2609_bit0 -C2610_bit0 -C2611_bit0 -C2612_bit0 -C2613_bit0 -C2614_bit0 -C2615_bit0 -C2616_bit0 -C2617_bit0 -C2618_bit0 -C2619_bit0 -C2620_bit0 -C2623_bit0 -C2624_bit0 -C2625_bit0 -C2626_bit0 -C2627_bit0 -C2628_bit0 -C2631_bit0 -C2634_bit0 -C2635_bit0 -C2636_bit0 -C2637_bit0 -C2639_bit0 -C2640_bit0 -C2641_bit0 -C2642_bit0 -C2643_bit0 -C2644_bit0 -C2647_bit0 -C2648_bit0 -C2649_bit0 -C2650_bit0 -C2651_bit0 -C2652_bit0 -C2653_bit0 -C2654_bit0 -C2655_bit0 -C2656_bit0 -C2658_bit0 -C2659_bit0 -C2660_bit0 -C2663_bit0 -C2664_bit0 -C2665_bit0 -C2666_bit0 -C2667_bit0 -C2668_bit0 -C2669_bit0 -C2670_bit0 -C2671_bit0 -C2672_bit0 -C2673_bit0 -C2675_bit0 -C2678_bit0 -C2679_bit0 -C2680_bit0 -C2683_bit0 -C2684_bit0 -C2685_bit0 -C2686_bit0 -C2687_bit0 -C2688_bit0 -C2690_bit0 -C2692_bit0 -C2694_bit0 -C2695_bit0 -C2696_bit0 -C2699_bit0 -C2700_bit0 -C2701_bit0 -C2702_bit0 -C2703_bit0 -C2704_bit0 -C2705_bit0 -C2708_bit0 -C2709_bit0 -C2710_bit0 -C2711_bit0 -C2712_bit0 -C2713_bit0 -C2714_bit0 -C2716_bit0 -C2719_bit0 -C2720_bit0 -C2721_bit0 -C2722_bit0 -C2723_bit0 -C2724_bit0 -C2725_bit0 -C2726_bit0 -C2727_bit0 -C2728_bit0 -C2729_bit0 -C2732_bit0 -C2733_bit0 -C2734_bit0 -C2735_bit0 -C2736_bit0 -C2737_bit0 -C2738_bit0 -C2739_bit0 -C2740_bit0 -C2741_bit0 -C2742_bit0 -C2743_bit0 -C2744_bit0 -C2745_bit0 -C2748_bit0 -C2749_bit0 -C2750_bit0 -C2751_bit0 -C2752_bit0 -C2753_bit0 -C2754_bit0 -C2755_bit0 -C2756_bit0 -C2757_bit0 -C2758_bit0 -C2760_bit0 -C2763_bit0 -C2764_bit0 -C2765_bit0 -C2766_bit0 -C2768_bit0 -C2769_bit0 -C2770_bit0 -C2771_bit0 -C2772_bit0 -C2773_bit0 -C2775_bit0 -C2776_bit0 -C2777_bit0 -C2779_bit0 -C2780_bit0 -C2781_bit0 -C2782_bit0 -C2783_bit0 -C2784_bit0 -C2785_bit0 -C2786_bit0 -C2787_bit0 -C2788_bit0 -C2789_bit0 -C2790_bit0 -C2793_bit0 -C2794_bit0 -C2795_bit0 -C2796_bit0 -C2797_bit0 -C2798_bit0 -C2799_bit0 -C2801_bit0 -C2804_bit0 -C2805_bit0 -C2806_bit0 -C2807_bit0 -C2808_bit0 -C2809_bit0 -C2810_bit0 -C2811_bit0 -C2812_bit0 -C2813_bit0 -C2814_bit0 -C2817_bit0 -C2818_bit0 -C2819_bit0 -C2820_bit0 -C2821_bit0 -C2822_bit0 -C2823_bit0 -C2824_bit0 -C2825_bit0 -C2826_bit0 -C2827_bit0 -C2828_bit0 -C2829_bit0 -C2830_bit0 -C2833_bit0 -C2834_bit0 -C2835_bit0 -C2836_bit0 -C2837_bit0 -C2838_bit0 -C2839_bit0 -C2840_bit0 -C2841_bit0 -C2842_bit0 -C2843_bit0 -C2845_bit0 -C2848_bit0 -C2849_bit0 -C2850_bit0 -C2851_bit0 -C2852_bit0 -C2853_bit0 -C2854_bit0 -C2855_bit0 -C2856_bit0 -C2857_bit0 -C2858_bit0 -C2859_bit0 -C2860_bit0 -C2861_bit0 -C2862_bit0 -C2864_bit0 -C2865_bit0 -C2866_bit0 -C2867_bit0 -C2868_bit0 -C2869_bit0 -C2870_bit0 -C2871_bit0 -C2872_bit0 -C2873_bit0 -C2874_bit0 -C2875_bit0 -C2878_bit0 -C2879_bit0 -C2880_bit0 -C2881_bit0 -C2882_bit0 -C2883_bit0 -C2884_bit0 -C2885_bit0 -C2886_bit0 -C2889_bit0 -C2890_bit0 -C2891_bit0 -C2892_bit0 -C2893_bit0 -C2894_bit0 -C2895_bit0 -C2896_bit0 -C2897_bit0 -C2898_bit0 -C2899_bit0 -C2902_bit0 -C2903_bit0 -C2904_bit0 -C2905_bit0 -C2906_bit0 -C2907_bit0 -C2908_bit0 -C2909_bit0 -C2910_bit0 -C2911_bit0 -C2912_bit0 -C2913_bit0 -C2914_bit0 -C2915_bit0 -C2918_bit0 -C2919_bit0 -C2920_bit0 -C2921_bit0 C2922_bit0 -C2923_bit0 -C2924_bit0 -C2925_bit0 -C2926_bit0 -C2927_bit0 -C2928_bit0 -C2929_bit0 -C2930_bit0 -C2933_bit0 -C2934_bit0 -C2935_bit0 -C2936_bit0 -C2937_bit0 -C2938_bit0 -C2939_bit0 -C2940_bit0 -C2941_bit0 -C2942_bit0 -C2943_bit0 -C2944_bit0 -C2945_bit0 -C2946_bit0 -C2947_bit0 -C2949_bit0 -C2950_bit0 -C2951_bit0 -C2952_bit0 -C2953_bit0 -C2954_bit0 -C2955_bit0 -C2956_bit0 -C2957_bit0 -C2958_bit0 -C2959_bit0 -C2960_bit0 -C2961_bit0 -C2962_bit0 -C2963_bit0 -C2966_bit0 -C2967_bit0 -C2968_bit0 -C2969_bit0 -C2970_bit0 -C2971_bit0 -C2972_bit0 -C2973_bit0 -C2974_bit0 -C2975_bit0 -C2976_bit0 -C2977_bit0 -C2980_bit0 -C2981_bit0 -C2982_bit0 -C2983_bit0 -C2984_bit0 -C2985_bit0 -C2986_bit0 -C2987_bit0 -C2988_bit0 -C2989_bit0 -C2990_bit0 -C2991_bit0 -C2992_bit0 C2993_bit0 -C2994_bit0 -C2995_bit0 -C2996_bit0 -C2997_bit0 -C2998_bit0 -C2999_bit0 -C3000_bit0 -C3001_bit0 -C3003_bit0 -C3004_bit0 -C3005_bit0 -C3006_bit0 -C3007_bit0 -C3008_bit0 -C3009_bit0 -C3010_bit0 -C3011_bit0 -C3012_bit0 -C3013_bit0 -C3014_bit0 -C3015_bit0 -C3016_bit0 -C3017_bit0 -C3018_bit0 -C3019_bit0 -C3020_bit0 -C3021_bit0 -C3022_bit0 -C3023_bit0 -C3024_bit0 -C3025_bit0 -C3027_bit0 -C3028_bit0 -C3029_bit0 -C3030_bit0 -C3031_bit0 -C3032_bit0 -C3033_bit0 -C3034_bit0 -C3035_bit0 -C3038_bit0 -C3040_bit0 -C3041_bit0 -C3042_bit0 -C3043_bit0 -C3045_bit0 -C3046_bit0 -C3047_bit0 -C3048_bit0 -C3049_bit0 -C3050_bit0 -C3051_bit0 -C3053_bit0 -C3054_bit0 -C3055_bit0 -C3056_bit0 -C3057_bit0 -C3058_bit0 -C3059_bit0 -C3060_bit0 -C3061_bit0 -C3062_bit0 -C3064_bit0 -C3066_bit0 -C3067_bit0 -C3068_bit0 -C3071_bit0 -C3072_bit0 -C3073_bit0 -C3074_bit0 -C3075_bit0 -C3076_bit0 -C3077_bit0 -C3078_bit0 -C3080_bit0 -C3081_bit0 -C3082_bit0 -C3083_bit0 -C3084_bit0 -C3085_bit0 -C3086_bit0 -C3087_bit0 -C3088_bit0 -C3089_bit0 -C3090_bit0 -C3091_bit0 -C3092_bit0 -C3094_bit0 -C3095_bit0 -C3096_bit0 -C3097_bit0 -C3098_bit0 -C3099_bit0 -C3100_bit0 -C3101_bit0 -C3102_bit0 -C3105_bit0 -C3107_bit0 -C3108_bit0 -C3109_bit0 -C3110_bit0 -C3112_bit0 -C3113_bit0 -C3114_bit0 -C3115_bit0 -C3116_bit0 -C3117_bit0 -C3118_bit0 -C3120_bit0 -C3121_bit0 -C3122_bit0 -C3123_bit0 -C3124_bit0 -C3125_bit0 -C3126_bit0 -C3127_bit0 -C3128_bit0 -C3129_bit0 -C3131_bit0 -C3133_bit0 -C3134_bit0 -C3135_bit0 -C3138_bit0 -C3139_bit0 -C3140_bit0 -C3141_bit0 -C3142_bit0 -C3143_bit0 -C3144_bit0 -C3145_bit0 -C3147_bit0 -C3148_bit0 -C3149_bit0 -C3150_bit0 -C3151_bit0 -C3152_bit0 -C3153_bit0 -C3154_bit0 -C3155_bit0 -C3156_bit0 -C3157_bit0 -C3158_bit0 -C3159_bit0 -C3161_bit0 -C3162_bit0 -C3163_bit0 -C3164_bit0 -C3165_bit0 -C3166_bit0 -C3167_bit0 -C3168_bit0 -C3169_bit0 -C3170_bit0 -C3172_bit0 -C3174_bit0 -C3175_bit0 -C3176_bit0 -C3177_bit0 -C3178_bit0 -C3179_bit0 -C3180_bit0 -C3181_bit0 -C3182_bit0 -C3183_bit0 -C3184_bit0 -C3185_bit0 -C3187_bit0 -C3188_bit0 -C3189_bit0 -C3190_bit0 -C3191_bit0 -C3192_bit0 -C3193_bit0 -C3194_bit0 -C3195_bit0 -C3196_bit0 -C3198_bit0 -C3200_bit0 -C3201_bit0 -C3202_bit0 -C3203_bit0 -C3204_bit0 -C3205_bit0 -C3206_bit0 -C3207_bit0 -C3208_bit0 -C3209_bit0 -C3210_bit0 -C3211_bit0 -C3212_bit0 -C3214_bit0 -C3215_bit0 -C3216_bit0 -C3217_bit0 -C3218_bit0 -C3219_bit0 -C3220_bit0 -C3221_bit0 -C3222_bit0 -C3223_bit0 -C3224_bit0 -C3225_bit0 -C3226_bit0 -C3228_bit0 -C3229_bit0 -C3230_bit0 -C3231_bit0 -C3232_bit0 -C3233_bit0 -C3234_bit0 -C3235_bit0 -C3236_bit0 -C3237_bit0 -C3239_bit0 -C3241_bit0 -C3242_bit0 -C3243_bit0 -C3244_bit0 -C3245_bit0 -C3246_bit0 -C3247_bit0 -C3248_bit0 -C3249_bit0 -C3250_bit0 -C3251_bit0 -C3252_bit0 -C3254_bit0 -C3255_bit0 -C3256_bit0 -C3257_bit0 -C3258_bit0 -C3259_bit0 -C3260_bit0 -C3261_bit0 -C3262_bit0 -C3263_bit0 -C3265_bit0 -C3267_bit0 -C3268_bit0 -C3269_bit0 -C3270_bit0 -C3271_bit0 -C3272_bit0 -C3273_bit0 -C3274_bit0 -C3275_bit0 -C3276_bit0 -C3277_bit0 -C3278_bit0 -C3279_bit0 -C3281_bit0 -C3282_bit0 -C3283_bit0 -C3284_bit0 -C3285_bit0 -C3286_bit0 -C3287_bit0 -C3288_bit0 -C3289_bit0 -C3290_bit0 -C3291_bit0 -C3292_bit0 -C3293_bit0 -C3295_bit0 -C3296_bit0 -C3297_bit0 -C3298_bit0 -C3299_bit0 -C3300_bit0 -C3301_bit0 -C3302_bit0 -C3303_bit0 -C3306_bit0 -C3308_bit0 -C3309_bit0 -C3310_bit0 -C3311_bit0 -C3313_bit0 -C3314_bit0 -C3315_bit0 -C3316_bit0 -C3317_bit0 -C3318_bit0 -C3319_bit0 -C3321_bit0 -C3322_bit0 -C3323_bit0 -C3324_bit0 -C3325_bit0 -C3326_bit0 -C3327_bit0 -C3328_bit0 -C3329_bit0 -C3330_bit0 -C3332_bit0 -C3334_bit0 -C3335_bit0 -C3336_bit0 -C3337_bit0 -C3339_bit0 -C3340_bit0 -C3341_bit0 -C3342_bit0 -C3343_bit0 -C3345_bit0 -C3346_bit0 -C3348_bit0 -C3349_bit0 -C3350_bit0 -C3351_bit0 -C3352_bit0 -C3353_bit0 -C3354_bit0 -C3355_bit0 -C3356_bit0 -C3357_bit0 -C3358_bit0 -C3359_bit0 -C3360_bit0 -C3362_bit0 -C3363_bit0 -C3364_bit0 -C3365_bit0 -C3366_bit0 -C3367_bit0 -C3368_bit0 -C3369_bit0 -C3370_bit0 -C3373_bit0 -C3375_bit0 -C3376_bit0 -C3377_bit0 -C3378_bit0 -C3380_bit0 -C3381_bit0 -C3382_bit0 -C3383_bit0 -C3384_bit0 -C3385_bit0 -C3386_bit0 -C3388_bit0 -C3389_bit0 -C3390_bit0 -C3391_bit0 -C3392_bit0 -C3393_bit0 -C3394_bit0 -C3395_bit0 -C3396_bit0 -C3397_bit0 -C3399_bit0 -C3401_bit0 -C3402_bit0 -C3403_bit0 -C3404_bit0 -C3406_bit0 -C3407_bit0 -C3408_bit0 -C3409_bit0 -C3410_bit0 -C3411_bit0 -C3412_bit0 -C3413_bit0 -C3415_bit0 -C3416_bit0 -C3417_bit0 -C3418_bit0 -C3419_bit0 -C3420_bit0 -C3421_bit0 -C3422_bit0 -C3423_bit0 -C3424_bit0 -C3425_bit0 -C3426_bit0 -C3427_bit0 -C3428_bit0 -C3429_bit0 -C3430_bit0 -C3432_bit0 -C3433_bit0 -C3434_bit0 -C3435_bit0 -C3436_bit0 -C3437_bit0 -C3438_bit0 -C3439_bit0 -C3440_bit0 -C3441_bit0 -C3442_bit0 -C3443_bit0 -C3444_bit0 -C3445_bit0 -C3446_bit0 -C3448_bit0 -C3449_bit0 -C3450_bit0 -C3451_bit0 -C3452_bit0 -C3453_bit0 -C3454_bit0 -C3455_bit0 -C3456_bit0 -C3457_bit0 -C3458_bit0 -C3459_bit0 -C3460_bit0 -C3461_bit0 -C3462_bit0 -C3463_bit0 -C3464_bit0 -C3466_bit0 -C3467_bit0 -C3468_bit0 -C3469_bit0 -C3470_bit0 -C3471_bit0 -C3472_bit0 -C3473_bit0 -C3474_bit0 -C3475_bit0 -C3476_bit0 -C3477_bit0 -C3478_bit0 -C3479_bit0 -C3480_bit0 C3481_bit0 -C3483_bit0 -C3484_bit0 -C3485_bit0 -C3486_bit0 -C3487_bit0 -C3488_bit0 -C3489_bit0 -C3490_bit0 -C3491_bit0 -C3492_bit0 -C3493_bit0 -C3494_bit0 -C3495_bit0 -C3496_bit0 C3497_bit0 -C3499_bit0 -C3500_bit0 -C3501_bit0 -C3502_bit0 -C3503_bit0 -C3504_bit0 -C3505_bit0 -C3506_bit0 -C3507_bit0 -C3508_bit0 -C3509_bit0 -C3510_bit0 -C3511_bit0 -C3512_bit0 -C3513_bit0 -C3514_bit0 C3515_bit0 C3517_bit0 C3518_bit0 C3519_bit0 C3520_bit0 C3521_bit0 -C3522_bit0 -C3523_bit0 C3524_bit0 -C3526_bit0 -C3527_bit0 -C3528_bit0 C3529_bit0 C3530_bit0 -C3531_bit0 C3532_bit0 -C3534_bit0 -C3535_bit0 -C3536_bit0 C3537_bit0 C3538_bit0 -C3539_bit0 -C3540_bit0 -C3541_bit0 C3542_bit0 -C3544_bit0 -C3545_bit0 -C3546_bit0 -C3547_bit0 -C3548_bit0 C3549_bit0 -C3550_bit0 -C3551_bit0 -C3552_bit0 -C3553_bit0 -C3554_bit0 -C3555_bit0 -C3556_bit0 -C3557_bit0 -C3558_bit0 -C3559_bit0 -C3560_bit0 -C3561_bit0 -C3562_bit0 -C3563_bit0 C3564_bit0 -C3565_bit0 C3566_bit0 -C3567_bit0 -C1007_bit0 C1008_bit0 -C1012_bit0 -C1013_bit0 -C1015_bit0 -C1016_bit0 -C1018_bit0 -C1025_bit0 -C1026_bit0 C1028_bit0 -C1040_bit0 C1041_bit0 C1043_bit0 -C1052_bit0 -C1053_bit0 -C1055_bit0 -C1063_bit0 C1064_bit0 -C1069_bit0 -C1071_bit0 -C1072_bit0 -C1081_bit0 C1082_bit0 -C1084_bit0 -C1096_bit0 -C1097_bit0 -C1099_bit0 -C1108_bit0 -C1109_bit0 -C1111_bit0 -C1118_bit0 -C1125_bit0 -C1130_bit0 -C1138_bit0 -C1146_bit0 -C1147_bit0 -C1151_bit0 -C1152_bit0 -C1154_bit0 -C1155_bit0 -C1157_bit0 -C1164_bit0 C1165_bit0 -C1167_bit0 -C1179_bit0 -C1180_bit0 -C1182_bit0 -C1191_bit0 -C1192_bit0 -C1194_bit0 -C1202_bit0 -C1203_bit0 -C1208_bit0 -C1210_bit0 -C1211_bit0 -C1220_bit0 -C1221_bit0 -C1223_bit0 -C1235_bit0 -C1236_bit0 -C1238_bit0 -C1247_bit0 -C1248_bit0 -C1250_bit0 -C1257_bit0 -C1264_bit0 C1269_bit0 -C1277_bit0 -C1282_bit0 -C1287_bit0 -C1288_bit0 -C1301_bit0 C1302_bit0 -C1311_bit0 C1312_bit0 -C1324_bit0 -C1325_bit0 -C1334_bit0 -C1336_bit0 -C1337_bit0 -C1342_bit0 -C1346_bit0 -C1350_bit0 -C1355_bit0 -C1364_bit0 C1365_bit0 -C1378_bit0 -C1379_bit0 -C1388_bit0 -C1389_bit0 -C1401_bit0 -C1402_bit0 -C1413_bit0 -C1414_bit0 -C1427_bit0 -C1455_bit0 -C1462_bit0 -C1477_bit0 -C1478_bit0 -C1487_bit0 -C1488_bit0 -C1504_bit0 -C1505_bit0 -C1518_bit0 -C1520_bit0 -C1521_bit0 -C1534_bit0 -C1547_bit0 -C1548_bit0 -C1557_bit0 -C1558_bit0 -C1574_bit0 C1575_bit0 -C1590_bit0 C1591_bit0 -C1604_bit0 -C1632_bit0 -C1649_bit0 -C1654_bit0 -C1655_bit0 -C1664_bit0 -C1665_bit0 -C1681_bit0 -C1682_bit0 -C1695_bit0 -C1697_bit0 -C1698_bit0 -C1711_bit0 -C1724_bit0 -C1725_bit0 -C1734_bit0 -C1735_bit0 -C1751_bit0 C1752_bit0 -C1767_bit0 C1768_bit0 -C1781_bit0 -C1794_bit0 C1795_bit0 -C1801_bit0 -C1802_bit0 -C1803_bit0 -C1804_bit0 -C1805_bit0 -C1806_bit0 -C1807_bit0 -C1808_bit0 -C1809_bit0 -C1810_bit0 -C1811_bit0 -C1819_bit0 C1820_bit0 -C1826_bit0 -C1827_bit0 -C1828_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1834_bit0 -C1835_bit0 -C1836_bit0 -C1844_bit0 C1845_bit0 -C1852_bit0 -C1853_bit0 -C1855_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C1866_bit0 -C1868_bit0 -C1869_bit0 -C1874_bit0 -C1881_bit0 -C1894_bit0 C1895_bit0 -C1901_bit0 -C1902_bit0 -C1903_bit0 -C1905_bit0 -C1906_bit0 -C1907_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C1919_bit0 C1920_bit0 -C1927_bit0 -C1928_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C1944_bit0 -C1945_bit0 -C1953_bit0 -C1957_bit0 -C1958_bit0 -C1963_bit0 -C1966_bit0 -C1968_bit0 -C1969_bit0 -C1981_bit0 -C1998_bit0 C1999_bit0 -C2006_bit0 -C2007_bit0 -C2009_bit0 -C2010_bit0 -C2015_bit0 -C2027_bit0 C2028_bit0 -C2044_bit0 -C2046_bit0 -C2047_bit0 -C2068_bit0 -C2069_bit0 -C2089_bit0 -C2090_bit0 -C2104_bit0 -C2105_bit0 -C2125_bit0 -C2142_bit0 -C2143_bit0 -C2150_bit0 -C2151_bit0 -C2153_bit0 -C2154_bit0 -C2159_bit0 -C2171_bit0 C2172_bit0 -C2188_bit0 -C2190_bit0 -C2191_bit0 -C2212_bit0 -C2213_bit0 -C2233_bit0 -C2234_bit0 -C2248_bit0 C2249_bit0 -C2269_bit0 -C2347_bit0 -C2350_bit0 -C2368_bit0 -C2383_bit0 -C2385_bit0 -C2388_bit0 -C2389_bit0 -C2390_bit0 -C2400_bit0 -C2403_bit0 C2421_bit0 -C2439_bit0 -C2454_bit0 -C2456_bit0 C2474_bit0 -C2492_bit0 C2510_bit0 -C2523_bit0 -C2541_bit0 -C2559_bit0 -C2577_bit0 -C2590_bit0 C2608_bit0 -C2621_bit0 -C2622_bit0 -C2629_bit0 -C2630_bit0 -C2632_bit0 -C2633_bit0 -C2638_bit0 -C2645_bit0 -C2646_bit0 -C2657_bit0 -C2661_bit0 -C2662_bit0 -C2674_bit0 -C2676_bit0 -C2677_bit0 -C2681_bit0 -C2682_bit0 -C2689_bit0 -C2691_bit0 -C2693_bit0 -C2697_bit0 -C2698_bit0 -C2706_bit0 -C2707_bit0 -C2715_bit0 -C2717_bit0 -C2718_bit0 -C2730_bit0 -C2731_bit0 -C2746_bit0 C2747_bit0 -C2759_bit0 -C2761_bit0 -C2762_bit0 C2767_bit0 -C2774_bit0 -C2778_bit0 -C2791_bit0 -C2792_bit0 -C2800_bit0 -C2802_bit0 -C2803_bit0 -C2815_bit0 -C2816_bit0 -C2831_bit0 -C2832_bit0 -C2844_bit0 -C2846_bit0 -C2847_bit0 -C2863_bit0 -C2876_bit0 -C2877_bit0 -C2887_bit0 -C2888_bit0 -C2900_bit0 -C2901_bit0 -C2916_bit0 C2917_bit0 -C2931_bit0 C2932_bit0 -C2948_bit0 -C2964_bit0 -C2965_bit0 -C2978_bit0 -C2979_bit0 -C3002_bit0 -C3026_bit0 -C3036_bit0 -C3037_bit0 -C3039_bit0 -C3044_bit0 -C3052_bit0 -C3063_bit0 -C3065_bit0 -C3069_bit0 -C3070_bit0 -C3079_bit0 -C3093_bit0 -C3103_bit0 -C3104_bit0 -C3106_bit0 -C3111_bit0 -C3119_bit0 -C3130_bit0 -C3132_bit0 -C3136_bit0 -C3137_bit0 -C3146_bit0 -C3160_bit0 -C3171_bit0 -C3173_bit0 -C3186_bit0 -C3197_bit0 -C3199_bit0 -C3213_bit0 -C3227_bit0 -C3238_bit0 -C3240_bit0 -C3253_bit0 -C3264_bit0 -C3266_bit0 -C3280_bit0 -C3294_bit0 -C3304_bit0 -C3305_bit0 -C3307_bit0 -C3312_bit0 -C3320_bit0 -C3331_bit0 -C3333_bit0 -C3338_bit0 -C3344_bit0 -C3347_bit0 -C3361_bit0 -C3371_bit0 -C3372_bit0 -C3374_bit0 -C3379_bit0 -C3387_bit0 -C3398_bit0 -C3400_bit0 -C3405_bit0 -C3414_bit0 -C3431_bit0 -C3447_bit0 -C3465_bit0 C3482_bit0 C3498_bit0 C3516_bit0 C3525_bit0 C3533_bit0 -C3543_bit0 -C3568_bit0 -C3569_bit0 -C3570_bit0 C3571_bit0 -C3572_bit0 -C3573_bit0 -C3574_bit0 -C3575_bit0 -C3576_bit0 -C3577_bit0 -C3578_bit0 -C3579_bit0 -C3580_bit0 -C3581_bit0 -C3582_bit0 -C3583_bit0 C3584_bit0 -C3585_bit0 -C3586_bit0 -C3587_bit0 -C3588_bit0 -C3589_bit0 -C3590_bit0 -C3591_bit0 -C3592_bit0 -C3593_bit0 -C3594_bit0 -C3595_bit0 -C3596_bit0 C3597_bit0 C3598_bit0 -C3599_bit0 -C3600_bit0 -C3601_bit0 C3602_bit0 -C3603_bit0 -C3604_bit0 -C3605_bit0 -C3606_bit0 -C3607_bit0 -C3608_bit0 -C3609_bit0 -C3610_bit0 -C3611_bit0 -C3612_bit0 -C3613_bit0 -C3614_bit0 -C3615_bit0 -C3616_bit0 -C3617_bit0 -C3618_bit0 -C3619_bit0 -C3620_bit0 -C3621_bit0 -C3622_bit0 -C3623_bit0 -C3624_bit0 -C3625_bit0 -C3626_bit0 -C3627_bit0 -C3628_bit0 -C3629_bit0 -C3630_bit0 -C3631_bit0 -C3632_bit0 -C3633_bit0 -C3634_bit0 -C3635_bit0 C3636_bit0 -C3637_bit0 C3638_bit0 -C3639_bit0 C3640_bit0 -C3641_bit0 -C3642_bit0 -C3643_bit0 C3644_bit0 -C3645_bit0 C3646_bit0 -C3647_bit0 -C3648_bit0 -C3649_bit0 -C3650_bit0 -C3651_bit0 C3652_bit0 -C3653_bit0 C3654_bit0 -C3655_bit0 -C3656_bit0 -C3657_bit0 -C3658_bit0 -C3659_bit0 -C3660_bit0 -C3661_bit0 C3662_bit0 -C3663_bit0 -C3664_bit0 -C3665_bit0 -C3666_bit0 -C3667_bit0 -C3668_bit0 -C3669_bit0 -C3670_bit0 -C3671_bit0 -C3672_bit0 -C3673_bit0 -C3674_bit0 -C3675_bit0 C3676_bit0 -C3677_bit0 -C3678_bit0 -C3679_bit0 -C3680_bit0 C3681_bit0 -C3682_bit0 -C3683_bit0 -C3684_bit0 -C3685_bit0 -C3686_bit0 -C3687_bit0 -C3688_bit0 -C3689_bit0 -C3690_bit0 -C3691_bit0 -C3692_bit0 -C3693_bit0 -C3694_bit0 -C3695_bit0 -C3696_bit0 -C3697_bit0 -C3698_bit0 -C3699_bit0 -C3700_bit0 -C3701_bit0 -C3702_bit0 -C3703_bit0 -C3704_bit0 -C3705_bit0 -C3706_bit0 -C3707_bit0 -C3708_bit0 C3709_bit0 -C3710_bit0 -C3711_bit0 -C3712_bit0 -C3713_bit0 -C3714_bit0 -C3715_bit0 -C3716_bit0 -C3717_bit0 -C3718_bit0 -C3719_bit0 -C3720_bit0 -C3721_bit0 -C3722_bit0 -C3723_bit0 -C3724_bit0 -C3725_bit0 -C3726_bit0 -C3727_bit0 -C3728_bit0 -C3729_bit0 -C3730_bit0 -C3731_bit0 -C3732_bit0 -C3733_bit0 -C3734_bit0 -C3735_bit0 -C3736_bit0 -C3737_bit0 -C3738_bit0 -C3739_bit0 -C3740_bit0 -C3741_bit0 -C3742_bit0 -C3743_bit0 -C3744_bit0 -C3745_bit0 -C3746_bit0 -C3747_bit0 -C3748_bit0 -C3749_bit0 -C3750_bit0 -C3751_bit0 C3752_bit0 C3753_bit0 C3754_bit0 C3755_bit0 -C3756_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.87 0.94 0.90 2/54 10356
Raw data (stat): 10356 (runsolver) R 10355 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833527036 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.0009 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1087 0 0 0 995 3 0 0 25 0 1 0 833527036 10174464 1065 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2484 1065 566 18 0 2466 0
vsize: 9936
[startup+20.001 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1348 0 0 0 1993 5 0 0 25 0 1 0 833527036 11218944 1326 4294967295 134512640 134581331 3221224608 3221223472 134528425 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.0016 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1634 0 0 0 2992 6 0 0 25 0 1 0 833527036 12345344 1612 4294967295 134512640 134581331 3221224608 3221223472 134528272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3014 1612 566 18 0 2996 0
vsize: 12056
[startup+40.0016 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1713 0 0 0 3991 7 0 0 25 0 1 0 833527036 12705792 1691 4294967295 134512640 134581331 3221224608 3221223552 134516889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3102 1691 566 18 0 3084 0
vsize: 12408
[startup+50.0009 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1803 0 0 0 4991 7 0 0 25 0 1 0 833527036 13062144 1781 4294967295 134512640 134581331 3221224608 3221223472 134528287 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.0006 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1928 0 0 0 5990 8 0 0 25 0 1 0 833527036 13586432 1906 4294967295 134512640 134581331 3221224608 3221223472 134528334 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.0005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1954 0 0 0 6990 9 0 0 25 0 1 0 833527036 13709312 1932 4294967295 134512640 134581331 3221224608 3221223672 1075514893 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.0012 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1954 0 0 0 7989 9 0 0 25 0 1 0 833527036 13709312 1932 4294967295 134512640 134581331 3221224608 3221223520 134527445 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.0005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1954 0 0 0 8989 10 0 0 25 0 1 0 833527036 13709312 1932 4294967295 134512640 134581331 3221224608 3221223520 134527537 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 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 1954 0 0 0 9988 11 0 0 25 0 1 0 833527036 13709312 1932 4294967295 134512640 134581331 3221224608 3221223520 134527783 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.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2008 0 0 0 10988 11 0 0 25 0 1 0 833527036 13942784 1986 4294967295 134512640 134581331 3221224608 3221223552 134559274 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 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2089 0 0 0 11988 12 0 0 25 0 1 0 833527036 14180352 2067 4294967295 134512640 134581331 3221224608 3221223552 134560136 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 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2089 0 0 0 12988 12 0 0 25 0 1 0 833527036 14180352 2067 4294967295 134512640 134581331 3221224608 3221223472 134528254 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 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2148 0 0 0 13987 13 0 0 25 0 1 0 833527036 14422016 2126 4294967295 134512640 134581331 3221224608 3221223392 134528769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2127 566 18 0 3536 0
vsize: 14084
[startup+149.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2490 0 0 0 14986 14 0 0 25 0 1 0 833527036 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+159.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2690 0 0 0 15985 15 0 0 25 0 1 0 833527036 16699392 2668 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4077 2668 566 18 0 4059 0
vsize: 16308
[startup+169.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2717 0 0 0 16985 16 0 0 25 0 1 0 833527036 16826368 2695 4294967295 134512640 134581331 3221224608 3221223520 134527525 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 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2717 0 0 0 17984 17 0 0 25 0 1 0 833527036 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+190 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2717 0 0 0 18983 17 0 0 25 0 1 0 833527036 16826368 2695 4294967295 134512640 134581331 3221224608 3221223504 134517902 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 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2717 0 0 0 19983 17 0 0 25 0 1 0 833527036 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 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2717 0 0 0 20984 17 0 0 25 0 1 0 833527036 16826368 2695 4294967295 134512640 134581331 3221224608 3221223504 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 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2717 0 0 0 21984 18 0 0 25 0 1 0 833527036 16826368 2695 4294967295 134512640 134581331 3221224608 3221223472 134528316 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.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 2754 0 0 0 22983 18 0 0 25 0 1 0 833527036 16957440 2732 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4140 2732 566 18 0 4122 0
vsize: 16560
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 23982 19 0 0 25 0 1 0 833527036 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+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 24981 20 0 0 25 0 1 0 833527036 18075648 2994 4294967295 134512640 134581331 3221224608 3221223520 134527519 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 25981 20 0 0 25 0 1 0 833527036 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 26981 21 0 0 25 0 1 0 833527036 18075648 2994 4294967295 134512640 134581331 3221224608 3221223520 134528079 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 27981 21 0 0 25 0 1 0 833527036 17969152 2992 4294967295 134512640 134581331 3221224608 3221223520 134527504 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 28980 22 0 0 25 0 1 0 833527036 17969152 2992 4294967295 134512640 134581331 3221224608 3221223392 134528708 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 29980 22 0 0 25 0 1 0 833527036 17960960 2990 4294967295 134512640 134581331 3221224608 3221223304 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4385 2990 566 18 0 4367 0
vsize: 17540
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 30980 22 0 0 25 0 1 0 833527036 17960960 2990 4294967295 134512640 134581331 3221224608 3221223520 134527454 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 31980 23 0 0 25 0 1 0 833527036 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+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 32980 23 0 0 25 0 1 0 833527036 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+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 33980 23 0 0 25 0 1 0 833527036 17956864 2989 4294967295 134512640 134581331 3221224608 3221223520 134527525 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 34980 24 0 0 25 0 1 0 833527036 17956864 2989 4294967295 134512640 134581331 3221224608 3221223520 134527454 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 35979 24 0 0 25 0 1 0 833527036 17793024 2949 4294967295 134512640 134581331 3221224608 3221223520 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 36979 24 0 0 25 0 1 0 833527036 17793024 2949 4294967295 134512640 134581331 3221224608 3221223520 134528079 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3016 0 0 0 37979 25 0 0 25 0 1 0 833527036 17793024 2949 4294967295 134512640 134581331 3221224608 3221223520 134527645 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3046 0 0 0 38979 25 0 0 25 0 1 0 833527036 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+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3046 0 0 0 39979 25 0 0 25 0 1 0 833527036 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3218 0 0 0 40978 26 0 0 25 0 1 0 833527036 18681856 3151 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4561 3151 566 18 0 4543 0
vsize: 18244
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3528 0 0 0 41977 27 0 0 25 0 1 0 833527036 19918848 3461 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4863 3461 566 18 0 4845 0
vsize: 19452
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3528 0 0 0 42977 28 0 0 25 0 1 0 833527036 19918848 3461 4294967295 134512640 134581331 3221224608 3221223520 134527434 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3528 0 0 0 43977 28 0 0 25 0 1 0 833527036 19918848 3461 4294967295 134512640 134581331 3221224608 3221223472 134528378 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3754 0 0 0 44977 29 0 0 25 0 1 0 833527036 20946944 3687 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 3687 566 18 0 5096 0
vsize: 20456
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 45976 29 0 0 25 0 1 0 833527036 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 46976 29 0 0 25 0 1 0 833527036 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 47977 29 0 0 25 0 1 0 833527036 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+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 48976 30 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223536 134519928 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 49976 30 0 0 25 0 1 0 833527036 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+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 50976 30 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223328 134524447 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 51976 30 0 0 25 0 1 0 833527036 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+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 52976 30 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527434 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 53977 30 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223472 134527212 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 54977 30 0 0 25 0 1 0 833527036 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+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 55977 31 0 0 25 0 1 0 833527036 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+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 56976 31 0 0 25 0 1 0 833527036 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+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 57976 32 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134528072 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 58976 32 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527769 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 59976 32 0 0 25 0 1 0 833527036 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+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 60976 32 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223448 134528560 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 61976 33 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527537 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 62975 33 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223472 134528281 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 63975 34 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223520 134527516 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 64975 34 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223392 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 65974 35 0 0 25 0 1 0 833527036 20946944 3718 4294967295 134512640 134581331 3221224608 3221223536 134519928 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3785 0 0 0 66974 35 0 0 25 0 1 0 833527036 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3807 0 0 0 67975 35 0 0 25 0 1 0 833527036 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+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3807 0 0 0 68975 35 0 0 25 0 1 0 833527036 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+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3807 0 0 0 69975 35 0 0 25 0 1 0 833527036 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3807 0 0 0 70975 35 0 0 25 0 1 0 833527036 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 3989 0 0 0 71975 36 0 0 25 0 1 0 833527036 21827584 3922 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5329 3922 566 18 0 5311 0
vsize: 21316
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4016 0 0 0 72975 36 0 0 25 0 1 0 833527036 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+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4016 0 0 0 73975 36 0 0 25 0 1 0 833527036 21958656 3949 4294967295 134512640 134581331 3221224608 3221223520 134527964 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4016 0 0 0 74975 36 0 0 25 0 1 0 833527036 21958656 3949 4294967295 134512640 134581331 3221224608 3221223520 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+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4016 0 0 0 75975 36 0 0 25 0 1 0 833527036 21958656 3949 4294967295 134512640 134581331 3221224608 3221223520 134527531 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4036 0 0 0 76974 37 0 0 25 0 1 0 833527036 22089728 3969 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5393 3969 566 18 0 5375 0
vsize: 21572
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4109 0 0 0 77974 37 0 0 25 0 1 0 833527036 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4109 0 0 0 78974 37 0 0 25 0 1 0 833527036 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4109 0 0 0 79974 37 0 0 25 0 1 0 833527036 22351872 4042 4294967295 134512640 134581331 3221224608 3221223600 134561089 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4109 0 0 0 80974 38 0 0 25 0 1 0 833527036 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 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+820.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4109 0 0 0 81974 38 0 0 25 0 1 0 833527036 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 134527531 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4109 0 0 0 82974 38 0 0 25 0 1 0 833527036 22351872 4042 4294967295 134512640 134581331 3221224608 3221223520 134527531 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4109 0 0 0 83974 38 0 0 25 0 1 0 833527036 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+850.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4109 0 0 0 84974 38 0 0 25 0 1 0 833527036 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4109 0 0 0 85974 38 0 0 25 0 1 0 833527036 22351872 4042 4294967295 134512640 134581331 3221224608 3221223504 134517764 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4112 0 0 0 86974 39 0 0 25 0 1 0 833527036 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+880.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4112 0 0 0 87974 39 0 0 25 0 1 0 833527036 22351872 4045 4294967295 134512640 134581331 3221224608 3221223520 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+890.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4112 0 0 0 88974 39 0 0 25 0 1 0 833527036 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+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4112 0 0 0 89974 40 0 0 25 0 1 0 833527036 22351872 4045 4294967295 134512640 134581331 3221224608 3221223520 134527534 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4144 0 0 0 90973 40 0 0 25 0 1 0 833527036 22474752 4077 4294967295 134512640 134581331 3221224608 3221223672 1075514893 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4144 0 0 0 91973 41 0 0 25 0 1 0 833527036 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+930.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4144 0 0 0 92973 41 0 0 25 0 1 0 833527036 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+940.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4144 0 0 0 93974 41 0 0 25 0 1 0 833527036 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+950.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4144 0 0 0 94973 41 0 0 25 0 1 0 833527036 22474752 4077 4294967295 134512640 134581331 3221224608 3221223520 134527423 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4203 0 0 0 95974 41 0 0 25 0 1 0 833527036 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+970.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4203 0 0 0 96974 41 0 0 25 0 1 0 833527036 22712320 4136 4294967295 134512640 134581331 3221224608 3221223520 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+980.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4203 0 0 0 97974 41 0 0 25 0 1 0 833527036 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4203 0 0 0 98973 42 0 0 25 0 1 0 833527036 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4234 0 0 0 99973 42 0 0 25 0 1 0 833527036 22831104 4167 4294967295 134512640 134581331 3221224608 3221223520 134527459 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4234 0 0 0 100973 42 0 0 25 0 1 0 833527036 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+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4234 0 0 0 101973 42 0 0 25 0 1 0 833527036 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+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 102973 43 0 0 25 0 1 0 833527036 22831104 4168 4294967295 134512640 134581331 3221224608 3221223536 134519829 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 103973 43 0 0 25 0 1 0 833527036 22831104 4168 4294967295 134512640 134581331 3221224608 3221223472 134528422 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 104973 43 0 0 25 0 1 0 833527036 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+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 105973 43 0 0 25 0 1 0 833527036 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+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 106973 43 0 0 25 0 1 0 833527036 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+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 107973 44 0 0 25 0 1 0 833527036 22831104 4168 4294967295 134512640 134581331 3221224608 3221223672 1075514893 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 108973 44 0 0 25 0 1 0 833527036 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+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 109973 44 0 0 25 0 1 0 833527036 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527454 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 110973 44 0 0 25 0 1 0 833527036 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527445 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 111973 45 0 0 25 0 1 0 833527036 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+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 112973 45 0 0 25 0 1 0 833527036 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 113973 45 0 0 25 0 1 0 833527036 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 114973 45 0 0 25 0 1 0 833527036 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+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 115973 45 0 0 25 0 1 0 833527036 22831104 4168 4294967295 134512640 134581331 3221224608 3221223520 134527645 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 116973 45 0 0 25 0 1 0 833527036 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+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 117973 45 0 0 25 0 1 0 833527036 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.85 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10356
Raw data (stat): 10356 (Pueblo) R 10355 5562 5561 0 -1 0 4235 0 0 0 117973 45 0 0 25 0 1 0 833527036 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.85
CPU time (s): 1189.04
CPU user time (s): 1188.57
CPU system time (s): 0.469928
CPU usage (%): 100.016
Max. virtual memory (Kb): 22296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	7615
#### END VERIFIER DATA ####