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/miplib3/normalized-mps-v2-13-7-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 27028

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-24 18:51:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18740 boxname=wulflinc3 idbench=1442 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  49fba7b1c2f3e65c53f8418d126e3ec3  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 18740
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

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