Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | SAT (TO) | 529692396 | 2400.05 | 2400.22 |
| Name | Fapp/Fapp-ext/ Fapp-ext-05-0350_c18.xml |
| MD5SUM | 51b7f32ab0afbf3da7a228f765e579fa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 521763735 |
| Best CPU time to get the best result obtained on this benchmark | 2400.14 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7232 |
| Number of constraints | 4665 |
| Number of domains | 18 |
| Minimum domain size | 1 |
| Maximum domain size | 135 |
| Distribution of domain sizes | [{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2178 |
| Distribution of variable degrees | [{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}] |
| Number of extensional constraints | 4665 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":4665}] |
| Optimization problem | YES |
| Type of objective | min SUM |
582.32/582.42 c 582.32/582.42 c This is cosoco 2.00 -- 582.32/582.42 c 582.32/582.42 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390387-1568356972.xml 582.32/582.42 c enable optimization 582.32/582.42 c ========================================[ Problem Statistics ]=========================================== 582.32/582.42 c | 582.32/582.42 c | Parse time : 196.97 s 582.32/582.42 c | 582.32/582.42 c | Variables: 7232 582.32/582.42 c | Domain Sizes: 1..135 582.32/582.42 c | 582.32/582.42 c | Constraints: 4666 582.32/582.42 c | Arity: 2..4355 -- Binary: 311 -- Ternary: 2177 582.32/582.42 c | 582.32/582.42 c | Types: 582.32/582.42 c | Extension: 4665 (nb tuples: 0..18225) -- (shared: 0) 582.32/582.42 c | Sum: 1 582.32/582.42 c | 582.32/582.42 c | Objective: Minimize Sum 582.32/582.42 582.32/582.42 c ========================================================================================================= 582.32/582.42 o 529910200 582.32/582.42 c 1 calls to solver(id=0): best=529910200 lower=0 upper=529910199 596.92/597.03 o 529910195 635.72/635.84 o 529910147 635.72/635.85 c 3 calls to solver(id=0): best=529910147 lower=0 upper=529910146 691.70/691.87 o 529801347 706.21/706.38 o 529779548 706.21/706.38 c 5 calls to solver(id=0): best=529779548 lower=0 upper=529779547 752.70/752.87 o 529779527 773.20/773.31 o 529779523 773.20/773.31 c 7 calls to solver(id=0): best=529779523 lower=0 upper=529779522 787.60/787.73 o 529779521 895.59/895.78 o 529735948 895.59/895.78 c 9 calls to solver(id=0): best=529735948 lower=0 upper=529735947 909.99/910.17 o 529735946 1008.57/1008.70 o 529735943 1008.57/1008.70 c 11 calls to solver(id=0): best=529735943 lower=0 upper=529735942 1122.45/1122.64 o 529714177 1227.04/1227.24 o 529714169 1227.04/1227.25 c 13 calls to solver(id=0): best=529714169 lower=0 upper=529714168 1258.95/1259.15 o 529714168 1370.53/1370.73 o 529714167 1370.53/1370.73 c 15 calls to solver(id=0): best=529714167 lower=0 upper=529714166 1450.83/1451.03 o 529692399 1705.41/1705.67 o 529692397 1705.41/1705.67 c 17 calls to solver(id=0): best=529692397 lower=0 upper=529692396 1731.51/1731.79 o 529692396 2400.02/2400.20 2400.02/2400.20 c *** INTERRUPTED *** 2400.02/2400.20 c call to solver : 18 2400.02/2400.20 c 2400.02/2400.20 c restarts : 258 2400.02/2400.20 c conflicts : 105296 (44 /sec) 2400.02/2400.20 c decisions : 1500119 (626 /sec) 2400.02/2400.20 c propagations : 169946006 (70950 /sec) 2400.02/2400.20 c root propagations : 11512 2400.02/2400.20 c filter calls : 23720773 (9903 /sec) 2400.02/2400.20 c useless filter calls : 13885229 (58 %) 2400.02/2400.20 c Memory used : 2897.13 MB 2400.02/2400.20 c Best bound time (wc) : 1731.8 s 2400.02/2400.20 c CPU time : 2395.3 s 2400.02/2400.20 c real time : 2400.2 s 2400.02/2400.20 2400.02/2400.20 c nb Solutions = 18 2400.02/2400.20 s SATISFIABLE 2400.02/2400.20 c Best value found: 529692396 2400.02/2400.20 2400.02/2400.20 2400.02/2400.20 v <instantiation type='solution' cost='529692396'> 2400.02/2400.20 v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[156] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[157] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[158] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[159] d[15] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[160] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[161] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[162] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[163] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[164] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[165] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[166] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[167] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[168] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[169] d[16] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[170] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[171] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[172] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[173] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[174] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[175] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[176] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[177] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[178] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[179] d[17] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[180] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[181] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[182] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[183] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[184] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[185] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[186] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[187] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[188] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[189] d[18] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[190] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[191] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[192] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[193] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[194] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[195] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[196] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[197] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[198] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[199] d[19] d[1] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[200] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[201] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[202] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[203] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[204] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[205] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[206] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[207] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[208] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[209] d[20] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[210] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[211] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[212] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[213] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[214] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[215] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[216] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[30] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[31] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[32] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[33] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[30] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[31] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[32] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[33] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[180] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[181] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[182] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[183] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[184] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[185] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[186] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[187] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[188] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[189] v1[18] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[190] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[191] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[192] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[193] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[194] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[195] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[196] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[197] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[198] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[199] v1[19] v1[1] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[200] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[201] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[202] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[203] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[204] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[205] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[206] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[207] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[208] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[209] v1[20] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[210] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[211] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[212] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[213] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[214] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[215] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[216] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[156] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[157] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[158] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[159] v2[15] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[160] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[161] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[162] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[163] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[164] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[165] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[166] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[167] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[168] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[169] v2[16] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[170] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[171] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[172] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[173] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[174] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[175] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[176] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[177] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[178] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[179] v2[17] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[180] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[181] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[182] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[183] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[184] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[185] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[186] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[187] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[188] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[189] v2[18] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[190] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[191] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[192] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[193] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[194] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[195] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[196] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[197] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[198] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[199] v2[19] v2[1] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[200] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[201] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[202] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[203] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[204] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[205] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[206] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[207] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[208] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[209] v2[20] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[210] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[211] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[212] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[213] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[214] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[215] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[216] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list> 2400.02/2400.20 v <values>252 4 216 308 96 36 112 76 356 308 36 272 296 296 112 296 296 160 336 200 392 208 220 100 220 16 96 236 208 152 32 152 32 168 84 140 172 172 212 4 228 120 136 312 368 96 352 44 68 0 188 288 188 252 148 120 72 76 152 36 180 184 48 200 252 28 168 36 88 232 40 400 40 348 0 40 32 196 224 264 252 456 104 104 128 52 40 312 20 284 20 40 20 336 132 456 112 24 48 4 260 32 108 132 148 244 436 0 0 300 256 308 92 44 24 40 232 220 128 40 256 488 336 100 308 180 480 372 224 412 448 256 80 296 40 252 96 156 140 40 280 144 256 40 52 148 328 108 228 204 108 120 112 68 208 196 336 224 240 228 64 284 104 0 284 76 164 116 40 28 28 164 40 296 140 452 364 0 0 420 132 40 40 68 220 132 168 220 72 220 76 84 276 92 168 44 256 216 80 336 208 92 156 200 216 216 184 456 380 172 156 492 156 492 492 240 232 308 92 84 12 296 0 28 308 120 52 56 348 100 8 124 84 64 260 300 20 252 164 56 152 184 96 400 328 64 96 4 316 60 248 76 400 332 44 336 140 44 80 312 28 52 112 224 32 168 172 192 76 364 348 40 100 28 404 196 464 332 40 16 40 72 116 152 116 128 404 272 136 28 36 80 16 124 168 304 172 132 204 332 132 168 88 160 164 0 116 268 44 380 148 48 340 68 164 40 308 176 484 508 348 236 40 0 404 536 300 280 164 124 304 412 24 360 500 284 128 528 188 284 20 84 8 92 28 172 64 24 44 44 104 76 168 116 76 164 64 236 172 208 88 184 52 312 104 16 204 204 164 68 56 180 272 96 360 0 400 88 16 104 212 400 92 400 28 84 220 256 104 120 216 84 388 0 484 376 168 244 308 20 184 104 336 148 160 24 40 40 296 108 232 4 132 76 240 488 448 368 8 488 172 236 376 200 16 300 376 0 164 416 224 4 60 0 360 312 252 296 440 308 208 452 440 260 0 404 492 296 484 332 496 0 136 64 440 0 144 44 136 328 168 68 292 196 204 224 232 244 204 376 456 80 20 308 240 496 168 40 116 132 0 204 128 48 20 272 272 88 304 88 4 204 216 308 320 0 336 0 76 60 364 252 108 232 72 252 384 84 304 220 232 476 312 452 476 224 516 476 204 496 316 192 188 4 496 412 496 496 144 264 12 288 108 336 180 308 304 404 0 360 340 136 364 208 364 108 404 336 248 24 128 36 228 16 88 0 136 40 256 224 8 256 268 40 496 40 40 100 264 224 0 44 160 144 36 184 320 384 140 312 376 272 24 68 80 100 24 84 296 104 36 80 152 188 164 280 336 252 160 108 124 64 140 336 48 140 24 180 280 296 340 48 104 20 192 192 0 128 192 44 192 272 192 104 52 56 308 144 308 148 320 308 412 292 300 396 344 36 124 176 68 308 96 320 268 224 308 152 40 168 388 0 0 0 0 216 168 8 244 292 40 156 188 128 340 0 0 20 104 4 108 288 152 60 388 388 380 40 144 84 76 136 320 184 0 268 0 456 360 428 268 40 324 96 160 84 28 140 124 40 412 228 144 412 16 104 452 316 268 40 96 232 40 468 0 0 216 172 264 192 264 212 20 284 340 508 0 296 352 232 456 340 60 256 56 244 168 28 0 352 104 40 8 252 116 496 312 40 348 8 244 340 348 304 148 256 312 252 404 140 188 408 492 492 80 244 248 112 252 112 84 152 120 88 120 136 200 172 176 360 124 40 508 264 0 464 0 184 148 52 52 48 192 80 360 12 376 476 108 20 148 216 108 128 192 284 60 116 116 80 244 172 220 152 140 180 52 32 72 256 296 40 44 216 44 220 484 484 244 160 220 256 356 80 160 136 340 300 100 300 0 188 140 436 24 24 256 4 244 160 212 200 508 436 248 36 244 436 96 40 352 440 40 340 56 396 240 248 256 256 264 268 304 524 308 400 264 52 48 260 320 296 360 100 264 304 304 180 132 152 304 336 300 80 180 408 44 404 64 72 116 116 308 240 272 64 64 24 292 136 248 180 24 184 16 332 60 4 20 4 248 152 44 160 36 232 184 0 232 40 24 88 96 204 336 84 40 420 436 84 460 476 0 40 272 332 136 184 456 300 76 232 428 436 436 72 136 136 176 80 132 176 216 236 12 60 352 264 116 132 40 80 188 4 84 376 396 32 384 44 392 224 132 100 40 0 36 96 128 232 272 220 40 40 36 152 476 0 268 88 184 8 80 84 8 40 40 96 308 0 52 176 72 24 172 76 20 432 188 420 224 224 32 0 264 272 264 140 116 192 116 4 20 264 92 176 88 176 44 156 48 296 80 88 280 176 172 136 120 360 0 268 28 304 216 312 352 52 0 92 300 308 228 92 268 224 92 0 160 308 160 168 328 88 144 128 224 84 0 256 216 452 28 40 104 164 212 84 144 400 92 28 92 400 16 56 460 56 136 8 148 228 48 236 488 244 64 232 24 376 172 40 0 252 40 40 40 108 416 416 52 24 28 228 64 304 224 156 112 284 264 0 296 156 148 0 148 496 496 48 352 28 392 8 8 48 428 40 196 484 456 96 176 456 456 164 428 224 40 176 28 496 260 496 224 100 132 160 416 416 52 108 120 16 296 148 24 160 120 96 140 112 148 96 104 60 168 252 328 12 8 0 428 80 308 88 340 192 40 336 184 196 48 468 468 332 196 308 40 212 336 152 140 32 160 308 256 296 24 292 216 336 212 388 8 8 200 8 400 148 148 164 100 88 116 196 328 24 368 36 104 108 48 244 296 0 496 536 128 204 268 132 4 40 232 80 344 148 40 128 192 304 236 84 380 476 296 180 256 236 56 108 224 184 160 524 92 148 92 92 492 440 232 244 128 20 0 344 232 536 136 464 100 76 172 136 100 104 128 64 308 96 220 216 88 364 116 168 296 336 212 396 192 452 116 492 492 220 140 144 484 164 248 452 248 4 236 240 116 120 128 260 172 168 128 212 220 340 164 188 124 136 152 192 172 128 284 172 128 136 212 152 412 40 212 0 272 256 0 416 40 176 296 484 40 324 296 176 0 528 8 32 192 244 308 228 212 88 180 128 220 412 452 124 140 376 336 128 468 296 0 40 224 40 40 496 0 404 52 308 16 264 40 0 456 40 296 140 452 264 224 364 0 40 40 420 40 56 364 172 324 28 224 168 324 152 212 32 320 12 300 324 264 72 52 372 168 372 172 412 156 412 372 28 148 412 180 116 372 116 124 496 384 4 224 364 212 376 216 256 456 24 284 260 280 188 312 156 284 468 92 280 16 24 16 240 40 348 352 516 152 360 44 168 416 264 400 0 256 40 112 192 208 304 192 144 12 116 536 112 108 192 268 284 192 208 84 420 112 424 304 184 116 72 76 116 60 156 380 320 60 36 356 380 128 56 104 28 356 84 4 100 0 84 164 4 128 4 332 396 208 140 68 308 180 52 308 192 308 268 84 160 36 156 0 4 180 12 156 144 96 196 240 132 244 116 56 284 24 244 4 96 32 84 220 216 40 228 4 128 128 176 392 4 88 360 264 416 56 116 32 68 156 252 204 124 204 172 340 272 244 28 248 80 120 108 36 44 160 40 204 292 88 332 40 32 332 72 296 40 308 40 116 80 168 32 188 80 24 152 108 68 68 40 108 260 396 40 24 296 360 12 60 96 300 80 404 152 320 268 80 300 324 308 452 76 184 304 52 4 108 188 40 176 24 532 220 40 160 136 376 112 0 64 36 28 4 28 192 304 60 204 4 100 228 300 336 232 304 52 344 92 96 536 404 532 40 40 148 152 360 44 40 376 400 40 292 308 368 492 8 276 68 156 108 148 360 188 72 524 360 40 484 484 28 280 56 524 56 524 388 276 400 32 196 28 128 272 16 44 76 76 168 192 40 324 340 40 312 136 224 0 256 40 532 496 424 4 228 56 96 4 112 96 120 492 496 536 420 380 384 424 536 96 468 184 156 172 20 384 152 112 384 28 176 68 40 524 224 216 100 124 260 172 224 124 124 128 492 12 212 268 40 268 88 112 36 52 40 192 228 44 132 172 208 188 440 144 440 40 224 132 84 100 440 360 188 40 148 188 0 336 340 476 0 40 376 352 440 40 340 108 228 40 56 104 272 244 244 200 92 56 68 156 100 8 244 204 104 268 0 144 296 104 112 172 296 132 44 336 188 68 40 144 232 192 204 116 232 0 132 192 168 112 156 40 40 140 216 136 468 256 60 256 40 8 68 240 256 12 160 200 4 120 60 100 124 180 144 32 352 392 184 288 276 124 392 392 176 352 496 180 352 140 92 240 352 16 212 352 160 256 160 240 148 328 100 52 92 96 140 164 0 100 92 200 260 384 208 348 280 496 56 268 496 224 348 496 196 496 52 496 496 536 292 232 428 28 216 184 284 176 280 164 156 20 196 200 280 300 196 12 124 88 180 216 112 116 300 124 140 152 264 192 304 124 188 0 76 100 264 304 220 304 172 40 496 0 40 428 0 296 236 476 0 120 272 212 232 56 388 0 488 40 0 352 296 296 0 536 0 120 176 232 20 120 228 212 232 4 56 288 220 352 260 492 180 492 196 492 404 68 192 428 232 192 184 64 252 16 120 116 132 264 132 0 48 304 20 184 28 160 536 200 60 216 56 300 80 132 272 352 132 212 236 428 16 52 428 428 28 0 468 468 332 252 100 308 164 96 224 320 4 336 0 24 0 0 40 428 172 188 172 360 76 20 116 320 16 8 428 20 40 20 88 400 348 496 0 496 456 388 496 32 92 304 56 256 360 440 88 148 212 200 360 232 52 504 456 324 16 472 376 356 376 4 16 444 52 172 360 456 80 40 224 376 256 476 148 40 452 40 108 184 108 236 180 2180 2668 2436 2328 2556 2464 2220 2400 2436 2712 2528 2384 2480 2432 2580 2532 2412 2180 2372 2256 2332 2352 2412 2316 2560 2180 2708 2392 2412 2492 2580 2436 2180 2220 2516 2488 2668 2596 2220 2660 2180 2620 2424 2676 2432 2220 2428 2492 2220 2604 2696 2676 2544 2180 2584 2616 2544 2220 2488 2620 2556 2436 2368 2516 2360 2532 2444 2412 2528 2184 2180 2488 2180 2228 2388 2568 2220 2556 2444 2632 2476 2180 2224 2180 2464 2180 2180 2672 2516 2332 2356 2180 2532 2296 2220 2412 2360 2476 2664 2672 2452 2408 2520 2476 2688 2656 2180 2476 2180 2580 2308 2392 2528 2540 2484 2220 2664 2584 2336 2460 2284 2512 2392 2224 2556 2220 2220 2556 2220 2180 2384 2220 2396 2180 2532 2412 2448 2264 2620 2452 2180 2404 2220 2280 2708 2676 2444 2412 2396 2540 2300 2580 2220 2532 2488 2180 2488 2580 2348 2220 2580 2640 2528 2488 2520 2540 2220 2188 2352 2220 2636 2244 2180 2404 2296 2452 2180 2544 2716 2208 2188 2228 2220 2220 2220 2676 2596 2476 2592 2476 2584 2424 2220 2520 2220 2648 2220 2528 2220 2220 2332 2488 2476 2180 2472 2444 2180 2648 2416 2696 2204 2488 2520 2448 2484 2180 2424 2376 2580 2328 2180 2180 2208 2368 2256 2560 2656 2472 2436 2704 2584 2180 2292 2372 2220 2180 2676 2452 2672 2716 2436 2644 2356 2492 2600 2580 2516 2552 2220 2492 2488 2300 2480 2180 2220 2600 2316 2528 2180 2432 2520 2180 2528 2220 2396 2308 2576 2244 2620 2180 2544 2584 2568 2248 2328 2180 2452 2488 2464 2448 2580 2424 2512 2180 2516 2260 2260 2528 2556 2524 2180 2688 2704 2452 2712 2220 2544 2716 2604 2396 2448 2620 2180 2424 2516 2220 2412 2220 2420 2572 2572 2320 2716 2248 2480 2484 2528 2180 2452 2180 2452 2712 2412 2544 2716 2216 2648 2608 2220 2540 2676 2276 2204 2220 2584 2564 2516 2320 2348 2392 2532 2368 2480 2220 2540 2220 2324 2220 2452 2516 11 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 8 1 10 0 3 0 0 10 9 0 0 0 0 0 10 1 4 0 0 0 0 1 0 10 10 0 8 0 1 0 10 0 0 0 0 0 10 0 9 10 0 10 10 0 0 8 10 10 0 0 10 10 9 0 0 0 0 0 0 0 0 0 5 0 10 0 5 0 0 9 10 0 0 0 0 0 4 10 10 0 0 0 0 10 0 0 1 0 10 10 10 0 1 5 9 1 0 0 0 9 0 0 0 0 1 10 0 0 0 0 0 8 10 6 0 0 10 0 0 0 0 1 9 10 10 0 0 0 10 1 10 8 0 9 10 0 0 0 10 1 0 0 0 0 10 10 0 0 0 1 10 7 0 10 0 0 0 10 0 0 0 1 0 8 10 10 10 0 4 0 0 0 0 0 10 10 2 1 1 10 10 0 10 1 6 10 1 8 1 8 0 10 0 0 3 10 0 0 0 10 8 0 1 0 8 10 0 10 0 0 10 0 0 5 0 0 10 10 10 0 0 0 0 0 0 0 0 10 1 5 0 0 0 10 10 0 0 9 10 10 2 8 1 5 1 10 10 10 10 0 0 0 0 10 10 10 0 0 9 10 10 0 0 0 0 0 1 1 0 10 9 10 0 10 1 0 9 7 5 0 10 10 1 0 0 0 0 4 0 0 0 10 1 0 0 1 0 0 1 6 0 10 10 0 0 0 10 6 0 0 0 0 1 0 0 10 10 0 0 0 0 0 8 0 0 0 10 10 0 0 0 10 0 0 1 0 7 0 1 0 0 0 0 10 10 0 0 10 8 0 0 10 0 10 10 10 10 0 4 10 0 10 10 0 0 0 0 10 2 0 6 2 7 0 10 0 9 0 0 0 0 0 10 10 10 0 10 6 10 0 10 10 1 0 10 0 10 10 0 0 0 0 10 10 1 0 0 1 0 5 4 0 0 9 0 0 0 0 0 10 0 0 0 0 0 10 0 0 1 0 0 0 10 0 0 9 0 0 10 10 0 0 10 0 5 10 0 10 0 1 10 10 0 1 0 0 1 0 0 0 0 1 0 0 7 10 0 10 0 0 10 6 0 0 10 0 0 1 10 0 0 0 10 0 10 0 1 0 0 5 10 1 0 0 10 0 0 0 0 0 0 0 10 0 10 0 8 0 0 10 1 2 0 0 0 10 3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 5 0 6 0 0 5 1 0 0 0 0 10 0 0 1 10 0 10 1 0 10 0 0 1 0 0 1 7 0 1 1 6 0 0 0 0 0 0 10 1 0 10 0 0 8 0 9 4 1 10 0 0 1 0 0 0 0 10 0 0 0 10 9 0 10 0 0 10 0 0 1 7 0 0 0 0 0 0 10 1 0 10 10 0 9 10 0 0 0 0 10 10 0 0 0 3 8 0 0 5 1 0 0 0 10 0 0 0 0 10 0 10 4 0 10 10 0 2 1 6 0 10 9 10 10 10 10 0 10 0 5 0 10 0 0 1 1 0 0 10 10 10 0 0 6 0 0 0 0 10 0 1 0 8 10 0 0 10 8 10 0 10 0 0 0 1 10 8 3 0 0 0 0 0 0 0 10 0 5 0 0 0 0 0 0 1 1 10 1 2 10 0 0 0 10 10 8 0 0 0 0 0 8 8 1 0 0 0 0 0 0 0 0 1 0 0 10 0 8 0 0 9 0 0 10 0 8 0 10 0 0 0 0 6 0 0 10 7 0 1 10 7 0 0 9 0 1 10 6 10 4 0 10 0 0 0 0 10 9 0 0 2 0 10 0 0 0 0 0 0 0 0 0 0 8 10 1 10 0 0 0 0 0 0 0 0 0 1 0 0 10 1 6 8 1 0 0 0 0 0 0 0 0 10 0 1 0 0 0 10 9 0 1 0 1 10 0 0 0 10 1 0 1 0 0 10 0 0 0 0 10 10 0 1 10 0 0 10 7 0 10 10 10 0 0 7 10 0 10 0 10 0 0 0 0 0 10 10 0 0 10 0 2 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 10 0 0 0 0 1 0 0 0 0 10 1 10 0 1 2 0 0 10 8 0 0 0 0 0 10 0 9 8 0 0 0 0 0 0 10 10 1 0 10 0 10 0 9 0 0 10 0 0 0 0 10 10 6 10 10 0 0 0 10 0 0 9 0 10 1 0 0 6 0 0 0 0 1 0 0 0 0 0 0 1 1 10 0 0 0 1 0 0 0 1 0 0 1 10 0 7 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 9 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 10 0 0 0 1 0 0 10 1 10 0 10 0 0 10 0 3 9 10 10 0 0 0 1 10 5 0 0 0 0 10 0 0 0 10 0 0 10 0 0 10 0 0 0 10 10 0 0 0 0 0 1 10 0 0 1 1 1 0 8 0 2 0 0 10 0 1 10 10 10 1 10 7 0 10 0 0 7 0 10 10 8 0 8 0 1 0 0 0 0 1 1 0 1 7 0 0 10 10 10 0 0 8 0 0 0 10 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 10 10 9 0 0 0 1 10 0 8 0 0 0 10 1 0 10 0 0 0 1 0 0 0 9 0 0 0 0 0 0 0 1 0 7 10 1 0 0 0 0 0 5 0 0 10 0 0 0 0 0 0 8 0 0 0 0 1 10 2 4 10 10 0 0 10 10 0 0 10 10 0 0 10 0 7 0 0 0 10 0 1 10 10 5 4 3 0 0 10 1 0 7 0 0 0 0 0 0 10 0 1 0 0 4 10 0 0 0 0 0 10 1 1 0 2 0 10 0 0 0 0 0 10 10 10 0 10 0 2 0 0 10 0 0 6 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 1 7 0 0 1 1 10 10 10 10 0 5 0 10 0 10 0 0 9 1 0 0 0 0 0 10 0 0 0 10 0 0 0 0 9 0 10 10 10 1 0 7 5 0 10 0 0 10 10 10 10 5 10 0 10 10 10 0 0 1 0 10 1 10 0 0 0 7 3 0 0 0 0 0 0 9 0 7 0 10 0 0 10 0 0 0 10 0 0 0 0 1 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 1 10 0 0 1 5 0 10 0 0 0 0 10 0 0 0 0 8 10 0 0 0 10 0 10 10 10 0 10 1 1 0 0 0 0 2 0 0 0 8 0 0 0 10 0 0 0 10 10 5 10 0 2 0 5 1 0 0 10 0 0 0 0 0 0 0 0 1 0 0 10 0 0 0 10 10 0 10 0 10 1 0 0 0 10 0 0 0 7 0 0 0 10 10 5 0 0 0 10 0 1 0 1 0 10 0 0 0 10 0 0 10 4 5 0 0 0 0 0 10 10 7 0 1 0 10 1 0 0 0 0 10 0 0 0 1 0 10 10 1 0 7 0 1 10 0 10 0 5 0 10 10 0 0 0 0 10 0 10 10 0 1 0 10 10 0 10 1 0 0 10 0 10 10 10 1 8 1 10 3 0 0 10 10 10 1 10 0 1 10 0 0 1 10 7 0 0 0 0 10 0 0 8 0 0 2 10 0 0 0 0 0 10 4 0 0 1 10 1 0 0 2 10 0 7 0 1 0 10 10 1 0 10 0 0 10 1 0 1 8 10 9 0 0 9 0 10 0 0 0 0 10 0 0 10 10 10 0 0 10 7 10 1 0 10 1 0 0 1 9 0 10 10 0 2 10 0 10 0 1 4 1 0 10 10 8 10 0 0 1 0 3 0 0 0 0 1 9 1 0 10 0 3 0 0 10 0 0 9 0 10 0 0 10 0 0 0 0 0 8 0 0 10 9 1 1 0 10 0 10 0 0 10 1 0 0 9 0 10 1 0 1 0 0 9 5 10 0 1 9 0 0 0 0 0 10 0 0 8 0 1 0 10 0 1 6 0 10 10 10 0 8 0 10 0 9 10 10 10 0 10 0 0 1 7 10 0 0 0 9 10 0 0 9 0 1 0 0 0 10 0 1 0 0 0 0 2 9 10 0 10 0 0 0 0 10 0 0 10 0 0 0 8 9 0 0 1 0 0 0 0 8 0 0 0 0 0 0 0 0 0 1 0 0 10 0 1 10 1 1 0 10 0 0 4 0 0 0 10 0 0 7 0 0 0 10 0 0 1 10 1 3 0 0 0 0 6 0 8 10 1 6 0 1 7 0 0 0 0 1 0 0 0 0 10 0 0 0 0 0 0 0 0 10 1 10 0 10 1 0 0 0 0 0 1 0 0 10 0 0 10 0 10 2 0 0 10 0 0 0 10 10 0 0 0 0 0 10 9 0 1 10 0 0 0 1 0 10 1 0 1 0 0 9 4 1 0 10 0 0 1 0 0 0 0 10 10 10 10 10 0 0 0 0 1 0 6 0 0 0 10 1 7 0 1 0 8 0 0 1 1 10 0 0 10 1 10 10 0 0 0 0 0 10 0 0 10 6 10 0 0 0 10 0 10 0 0 0 0 2 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 1 0 1 0 0 0 9 0 0 0 0 0 1 0 0 0 0 1 0 1 0 2 6 0 0 0 0 4 4 0 1 0 1 5 10 10 10 0 6 0 0 10 0 0 0 0 0 10 10 4 0 0 10 0 10 10 0 0 0 10 4 10 10 0 0 10 0 0 10 0 0 0 0 0 0 1 0 0 1 0 0 0 1 9 0 0 10 1 10 0 0 3 0 0 8 1 10 0 0 0 0 1 </values> 2400.02/2400.20 v </instantiation> 2400.02/2400.20
OK 529692396
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14458 MiB free)
memory of node 1: 16384 MiB (12693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390387-1568356972/watcher-4390387-1568356972 -o /tmp/evaluation-result-4390387-1568356972/solver-4390387-1568356972 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568328837-13395 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390387-1568356972.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18231, runsolver pid=18228
[startup+0.100143 s]*
/proc/loadavg: 2.32 2.08 2.07 3/201 18232
/proc/meminfo: memFree=27775516/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=52008 memory=28340 CPUtime=0.1 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7258 0 0 0 9 1 0 0 20 0 1 0 411634694 53256192 7085 33554432000 4194304 6210612 140726744848464 140726744845000 5015730 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 13002 7085 810 493 0 6307 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52008 KiB
Current children cumulated memory: 28340 KiB
[startup+0.209781 s]*
/proc/loadavg: 2.32 2.08 2.07 3/201 18232
/proc/meminfo: memFree=27766588/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=61444 memory=37580 CPUtime=0.21 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 9615 0 0 0 20 1 0 0 20 0 1 0 411634694 62918656 9395 33554432000 4194304 6210612 140726744848464 140726744845000 140421306379237 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 15361 9395 810 493 0 8666 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61444 KiB
Current children cumulated memory: 37580 KiB
[startup+0.309918 s]*
/proc/loadavg: 2.32 2.08 2.07 3/201 18232
/proc/meminfo: memFree=27766120/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=65988 memory=41744 CPUtime=0.3 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 10784 0 0 0 29 1 0 0 20 0 1 0 411634694 67571712 10436 33554432000 4194304 6210612 140726744848464 140726744845000 5239769 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 16592 10436 811 493 0 9897 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65988 KiB
Current children cumulated memory: 41744 KiB
[startup+0.700354 s]
/proc/loadavg: 2.32 2.08 2.07 3/201 18232
/proc/meminfo: memFree=27758508/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=71044 memory=45988 CPUtime=0.69 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 11959 0 0 0 67 2 0 0 20 0 1 0 411634694 72749056 11497 33554432000 4194304 6210612 140726744848464 140726744845000 140421322441856 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 17761 11497 811 493 0 11066 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71044 KiB
Current children cumulated memory: 45988 KiB
[startup+1.50034 s]
/proc/loadavg: 2.32 2.08 2.07 3/201 18232
/proc/meminfo: memFree=27743008/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=79868 memory=54436 CPUtime=1.49 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 14046 0 0 0 147 2 0 0 20 0 1 0 411634694 81784832 13609 33554432000 4194304 6210612 140726744848464 140726744845736 5484705 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 19967 13609 811 493 0 13272 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 54436 KiB
[startup+3.11007 s]
/proc/loadavg: 2.37 2.10 2.07 3/201 18232
/proc/meminfo: memFree=27724788/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=98492 memory=71316 CPUtime=3.1 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 19954 0 0 0 307 3 0 0 20 0 1 0 411634694 100855808 17829 33554432000 4194304 6210612 140726744848464 140726744845736 140421322441856 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 24623 17829 811 493 0 17928 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 98492 KiB
Current children cumulated memory: 71316 KiB
[startup+6.30034 s]
/proc/loadavg: 2.37 2.10 2.07 3/201 18232
/proc/meminfo: memFree=27693568/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=136872 memory=106488 CPUtime=6.29 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 30636 0 0 0 624 5 0 0 20 0 1 0 411634694 140156928 26622 33554432000 4194304 6210612 140726744848464 140726744845736 5484702 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 34218 26622 811 493 0 27523 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136872 KiB
Current children cumulated memory: 106488 KiB
[startup+12.7003 s]
/proc/loadavg: 2.62 2.16 2.09 3/200 18235
/proc/meminfo: memFree=28729460/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=213316 memory=176324 CPUtime=12.69 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 49894 0 0 0 1261 8 0 0 20 0 1 0 411634694 218435584 44081 33554432000 4194304 6210612 140726744848464 140726744845736 5526942 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 53329 44081 811 493 0 46634 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 213316 KiB
Current children cumulated memory: 176324 KiB
[startup+25.5003 s]
/proc/loadavg: 2.52 2.15 2.09 3/200 18236
/proc/meminfo: memFree=28589680/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=366080 memory=316208 CPUtime=25.48 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 86607 0 0 0 2535 13 0 0 20 0 1 0 411634694 374865920 79052 33554432000 4194304 6210612 140726744848464 140726744845736 5707770 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 91520 79052 811 493 0 84825 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 366080 KiB
Current children cumulated memory: 316208 KiB
[startup+51.1095 s]
/proc/loadavg: 2.34 2.14 2.09 3/200 18239
/proc/meminfo: memFree=28300396/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=673084 memory=600500 CPUtime=51.09 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 157126 0 0 0 5084 25 0 0 20 0 1 0 411634694 689238016 150125 33554432000 4194304 6210612 140726744848464 140726744845736 5239769 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 168271 150125 811 493 0 161576 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 673084 KiB
Current children cumulated memory: 600500 KiB
[startup+102.3 s]
/proc/loadavg: 2.14 2.12 2.08 3/201 18243
/proc/meminfo: memFree=27734796/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=1282512 memory=1165880 CPUtime=102.28 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 296867 0 0 0 10182 46 0 0 20 0 1 0 411634694 1313292288 291470 33554432000 4194304 6210612 140726744848464 140726744845736 5484712 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 320628 291470 811 493 0 313933 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1282512 KiB
Current children cumulated memory: 1165880 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/200 18247
/proc/meminfo: memFree=27111816/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=1942060 memory=1787760 CPUtime=162.28 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 450533 0 0 0 16161 67 0 0 20 0 1 0 411634694 1988669440 446940 33554432000 4194304 6210612 140726744848464 140726744845736 5817296 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 485515 446940 815 493 0 478820 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1942060 KiB
Current children cumulated memory: 1787760 KiB
[startup+222.3 s]
/proc/loadavg: 2.15 2.11 2.08 3/201 18253
/proc/meminfo: memFree=26325140/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=2732060 memory=2570776 CPUtime=222.28 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 1139746 0 0 0 22112 116 0 0 20 0 1 0 411634694 2797629440 642694 33554432000 4194304 6210612 140726744848464 140726744845864 5034929 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 683015 642694 866 493 0 676320 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2732060 KiB
Current children cumulated memory: 2570776 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 2.10 2.08 3/200 18257
/proc/meminfo: memFree=26301028/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=2747408 memory=2594244 CPUtime=282.27 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 1367444 0 0 0 28100 127 0 0 20 0 1 0 411634694 2813345792 648561 33554432000 4194304 6210612 140726744848464 140726744845672 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 686852 648561 866 493 0 680157 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2747408 KiB
Current children cumulated memory: 2594244 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/200 18261
/proc/meminfo: memFree=26275036/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=2765400 memory=2620568 CPUtime=342.27 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 1865742 0 0 0 34073 154 0 0 20 0 1 0 411634694 2831769600 655142 33554432000 4194304 6210612 140726744848464 140726744845784 5038753 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 691350 655142 866 493 0 684655 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2765400 KiB
Current children cumulated memory: 2620568 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/200 18267
/proc/meminfo: memFree=26247708/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=2784824 memory=2647576 CPUtime=402.25 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 2364629 0 0 0 40044 181 0 0 20 0 1 0 411634694 2851659776 661894 33554432000 4194304 6210612 140726744848464 140726744845784 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 696206 661894 866 493 0 689511 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2784824 KiB
Current children cumulated memory: 2647576 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 18278
/proc/meminfo: memFree=26197120/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=2829592 memory=2697596 CPUtime=462.24 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 2845438 0 0 0 46020 204 0 0 20 0 1 0 411634694 2897502208 674399 33554432000 4194304 6210612 140726744848464 140726744845784 5249712 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 707398 674399 866 493 0 700703 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2829592 KiB
Current children cumulated memory: 2697596 KiB
################
# More data... #
################
/proc/18231/statm: 741664 732550 867 493 0 734969 0
Current children cumulated CPU time: 1602.12 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930200 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 18413
/proc/meminfo: memFree=25963676/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2930224 CPUtime=1662.11 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7596963 0 0 0 165749 462 0 0 20 0 1 0 411634694 3037855744 732556 33554432000 4194304 6210612 140726744848464 140726744846600 5409284 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 732556 867 493 0 734969 0
Current children cumulated CPU time: 1662.11 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930224 KiB
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 18417
/proc/meminfo: memFree=25964128/32770624 swapFree=66957400/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2930452 CPUtime=1722.11 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7624253 0 0 0 171746 465 0 0 20 0 1 0 411634694 3037855744 732613 33554432000 4194304 6210612 140726744848464 140726744836344 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 732613 867 493 0 734969 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930452 KiB
[startup+1782.3 s]
/proc/loadavg: 1.49 1.88 2.00 2/192 18467
/proc/meminfo: memFree=25987348/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2937484 CPUtime=1782.11 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7639813 0 0 0 177745 466 0 0 20 0 1 0 411634694 3037855744 734371 33554432000 4194304 6210612 140726744848464 140726744846600 5038646 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 734371 867 493 0 734969 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2937484 KiB
[startup+1842.3 s]
/proc/loadavg: 1.18 1.72 1.94 2/193 18473
/proc/meminfo: memFree=25981656/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942668 CPUtime=1842.12 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7645935 0 0 0 183745 467 0 0 20 0 1 0 411634694 3037855744 735667 33554432000 4194304 6210612 140726744848464 140726744846600 5038622 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735667 867 493 0 734969 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB
[startup+1902.3 s]
/proc/loadavg: 1.07 1.59 1.88 2/192 18477
/proc/meminfo: memFree=25981712/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942668 CPUtime=1902.11 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7652097 0 0 0 189744 467 0 0 20 0 1 0 411634694 3037855744 735667 33554432000 4194304 6210612 140726744848464 140726744846600 5157638 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735667 867 493 0 734969 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB
[startup+1962.3 s]
/proc/loadavg: 1.02 1.48 1.82 2/192 18481
/proc/meminfo: memFree=25982560/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942672 CPUtime=1962.11 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7658521 0 0 0 195743 468 0 0 20 0 1 0 411634694 3037855744 735668 33554432000 4194304 6210612 140726744848464 140726744846600 5155432 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735668 867 493 0 734969 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942672 KiB
[startup+2022.3 s]
/proc/loadavg: 1.01 1.40 1.77 2/193 18487
/proc/meminfo: memFree=25981880/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942688 CPUtime=2022.12 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7666469 0 0 0 201743 469 0 0 20 0 1 0 411634694 3037855744 735672 33554432000 4194304 6210612 140726744848464 140726744846600 5034895 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735672 867 493 0 734969 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942688 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.32 1.72 2/192 18491
/proc/meminfo: memFree=25982160/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942688 CPUtime=2082.12 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7669415 0 0 0 207743 469 0 0 20 0 1 0 411634694 3037855744 735672 33554432000 4194304 6210612 140726744848464 140726744846600 5039168 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735672 867 493 0 734969 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942688 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.27 1.68 2/192 18495
/proc/meminfo: memFree=25982220/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942688 CPUtime=2142.12 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7675267 0 0 0 213742 470 0 0 20 0 1 0 411634694 3037855744 735672 33554432000 4194304 6210612 140726744848464 140726744846600 5157176 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735672 867 493 0 734969 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942688 KiB
[startup+2202.3 s]
/proc/loadavg: 1.08 1.23 1.64 2/193 18501
/proc/meminfo: memFree=25982244/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942688 CPUtime=2202.12 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7679749 0 0 0 219742 470 0 0 20 0 1 0 411634694 3037855744 735672 33554432000 4194304 6210612 140726744848464 140726744846600 5155432 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735672 867 493 0 734969 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942688 KiB
[startup+2262.3 s]
/proc/loadavg: 1.03 1.19 1.60 2/193 18513
/proc/meminfo: memFree=25981952/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942688 CPUtime=2262.12 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7687301 0 0 0 225741 471 0 0 20 0 1 0 411634694 3037855744 735672 33554432000 4194304 6210612 140726744848464 140726744846600 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735672 867 493 0 734969 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942688 KiB
[startup+2322.3 s]
/proc/loadavg: 1.01 1.16 1.56 2/193 18517
/proc/meminfo: memFree=25981888/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942688 CPUtime=2322.12 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7692475 0 0 0 231740 472 0 0 20 0 1 0 411634694 3037855744 735672 33554432000 4194304 6210612 140726744848464 140726744846600 5038631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735672 867 493 0 734969 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942688 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.13 1.53 2/194 18523
/proc/meminfo: memFree=25981004/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942688 CPUtime=2382.12 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7697481 0 0 0 237740 472 0 0 20 0 1 0 411634694 3037855744 735672 33554432000 4194304 6210612 140726744848464 140726744846600 5038658 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735672 867 493 0 734969 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 1.00 1.12 1.52 2/193 18524
/proc/meminfo: memFree=25981580/32770624 swapFree=66957436/67108860
[pid=18231] ppid=18228 vsize=2966656 memory=2942688 CPUtime=2400.02 cores=1,3,5,7
/proc/18231/stat : 18231 (cosoco) R 18228 18231 13363 0 -1 4202496 7699776 0 0 0 239529 473 0 0 20 0 1 0 411634694 3037855744 735672 33554432000 4194304 6210612 140726744848464 140726744846600 5038576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28966912 140726744855563 140726744855665 140726744855665 140726744858574 0
/proc/18231/statm: 741664 735672 867 493 0 734969 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.22 s]
# the end of solver process 18231 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.3 s, system=4.74608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.22
CPU time (s): 2400.05
CPU user time (s): 2395.3
CPU system time (s): 4.74608
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 2966656
Max. memory (cumulated for all children) (KiB): 2942688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.3
system time used= 4.74608
maximum resident set size= 2942752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7699844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 516
involuntary context switches= 997
# summary of solver processes directly reported to runsolver:
# pid: 18231
# total CPU time (s): 2400.05
# total CPU user time (s): 2395.3
# total CPU system time (s): 4.74608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6515 second user time and 15.6523 second system time
The end
Begin job on node145 at 2019-09-13 08:42:20 IDJOB=4390387 IDBENCH=141284 IDSOLVER=2831 FILE ID=node145/4390387-1568356972 RUNJOBID= node145-1568328837-13395 PBS_JOBID= 21701155 Free space on /tmp= 54104 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390387-1568356972/watcher-4390387-1568356972 -o /tmp/evaluation-result-4390387-1568356972/solver-4390387-1568356972 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568328837-13395 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390387-1568356972.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa RANDOM SEED=664551140 node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27802696 kB MemAvailable: 31780984 kB Buffers: 84952 kB Cached: 4154104 kB SwapCached: 41304 kB Active: 1942444 kB Inactive: 2368020 kB Active(anon): 33728 kB Inactive(anon): 78768 kB Active(file): 1908716 kB Inactive(file): 2289252 kB Unevictable: 110276 kB Mlocked: 110276 kB SwapTotal: 67108860 kB SwapFree: 66957400 kB Dirty: 784652 kB Writeback: 72916 kB AnonPages: 141320 kB Mapped: 45468 kB Shmem: 32348 kB Slab: 250900 kB SReclaimable: 192312 kB SUnreclaim: 58588 kB KernelStack: 3504 kB PageTables: 5864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 556664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 54612 MiB End job on node145 at 2019-09-13 09:22:21