| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 536857239 | 2519.85 | 2520.02 |
| Name | Fapp/Fapp-ext/ Fapp-ext-05-0350_c18.xml |
| MD5SUM | 51b7f32ab0afbf3da7a228f765e579fa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 536857239 |
| Best CPU time to get the best result obtained on this benchmark | 2519.85 |
| 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 |
199.75/199.82 c best=?? lower=0 upper=568741250 779.59/779.87 c 779.59/779.87 c This is cosoco 1.12 -- 779.59/779.87 c 779.59/779.87 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299018-1532782619.xml 779.59/779.87 c enable optimization 779.59/779.87 c ========================================[ Problem Statistics ]=========================================== 779.59/779.87 c | 779.59/779.87 c | Parse time : 198.51 s 779.59/779.87 c | 779.59/779.87 c | Variables: 7232 779.59/779.87 c | Domain Sizes: 1..135 779.59/779.87 c | 779.59/779.87 c | Constraints: 4666 779.59/779.87 c | Arity: 2..4355 -- Binary: 311 -- Ternary: 2177 779.59/779.87 c | 779.59/779.87 c | Types: 779.59/779.87 c | Extension: 4665 (nb tuples: 0..18225) -- (shared: 0) 779.59/779.87 c | Sum: 1 779.59/779.87 c | 779.59/779.87 c | Objective: Minimize Sum 779.59/779.87 779.59/779.87 c ========================================================================================================= 779.59/779.87 o 536857239 779.59/779.87 c 1 calls to solver: best=536857239 lower=0 upper=536857238 2519.82/2520.00 2519.82/2520.00 c *** INTERRUPTED *** 2519.82/2520.00 c restarts : 45 2519.82/2520.00 c conflicts : 70036 (28 /sec) 2519.82/2520.00 c decisions : 392164 (156 /sec) 2519.82/2520.00 c propagations : 114030496 (45330 /sec) 2519.82/2520.00 c root propagations : 11512 2519.82/2520.00 c filter calls : 17066019 (6784 /sec) 2519.82/2520.00 c useless filter calls : 10432913 (61 %) 2519.82/2520.00 c Memory used : 2870.80 MB 2519.82/2520.00 c CPU time : 2515.56 s 2519.82/2520.00 2519.82/2520.00 c nb Solutions = 1 2519.82/2520.00 s SATISFIABLE 2519.82/2520.00 c Best value found: 536857239 2519.82/2520.00 2519.82/2520.00 2519.82/2520.00 v <instantiation type='solution' cost='536857239'> 2519.82/2520.00 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> 2519.82/2520.00 v <values>336 496 320 0 40 376 476 308 528 40 416 0 40 40 0 0 0 40 0 40 308 268 0 8 308 268 268 268 40 108 0 348 0 0 40 0 348 0 40 0 204 220 20 412 40 68 412 144 204 164 164 204 304 204 164 140 204 0 164 0 192 72 116 192 52 40 40 116 0 244 40 40 40 40 0 388 140 416 204 0 272 40 308 68 144 40 52 168 40 308 308 184 28 424 424 424 464 424 144 116 184 328 96 0 0 40 40 40 0 0 124 40 104 0 204 272 204 244 80 104 108 84 348 84 124 184 16 124 80 84 144 40 40 348 0 288 40 0 40 0 40 124 0 96 308 96 136 136 372 136 96 40 392 340 432 348 40 40 0 40 0 0 0 40 480 216 308 432 464 40 0 472 0 0 348 40 0 116 0 0 40 0 340 484 0 308 0 348 132 152 0 40 0 308 192 136 240 240 280 156 164 68 240 24 280 12 40 0 40 0 308 40 40 0 0 416 308 260 148 440 40 132 40 0 40 248 0 376 0 376 56 376 56 40 376 376 32 160 268 216 108 288 40 40 136 40 108 40 40 40 40 40 300 448 164 308 268 0 0 268 268 0 308 132 68 108 464 0 40 244 336 40 0 488 268 0 40 464 0 336 476 0 268 40 268 0 40 376 424 224 0 292 0 232 40 40 480 40 468 424 0 0 404 280 268 0 0 492 144 336 156 68 28 336 376 40 380 0 304 328 348 276 348 40 308 0 308 172 120 80 164 164 464 308 364 340 0 164 40 40 232 40 268 0 52 316 164 176 40 0 232 232 76 116 76 116 76 232 76 28 0 0 308 0 428 0 424 0 124 0 0 40 228 0 440 40 0 192 428 0 136 40 40 40 0 0 0 520 116 508 40 40 0 152 40 468 432 464 268 172 192 28 288 232 192 24 192 76 192 472 204 164 472 200 16 432 392 432 392 392 0 204 0 344 296 0 40 468 40 0 180 260 164 260 8 300 116 48 40 0 268 488 0 164 0 0 40 40 0 308 40 504 40 40 40 0 0 264 40 444 232 308 0 180 348 0 164 40 232 40 276 428 0 136 0 40 336 272 0 0 0 296 296 28 96 172 268 308 204 0 0 268 344 336 40 0 0 40 40 68 268 376 124 192 40 0 0 308 472 0 204 0 228 40 40 376 0 228 308 0 348 64 0 40 40 0 0 340 44 244 284 244 172 0 348 0 148 0 40 256 376 176 72 0 204 204 64 244 308 76 348 184 308 76 0 300 40 0 0 0 140 0 376 0 40 0 0 4 116 380 72 176 380 84 120 188 324 40 120 244 268 84 0 0 0 344 132 344 0 384 112 128 40 468 40 40 40 0 40 136 0 308 0 340 104 348 80 348 348 348 376 52 92 0 192 232 284 116 192 56 0 308 192 200 104 376 336 108 376 336 152 376 40 228 536 228 228 496 104 472 448 388 0 0 0 0 0 0 432 0 0 348 152 40 40 432 432 100 464 232 0 176 444 68 212 0 160 132 152 108 336 336 120 56 348 152 100 0 464 40 40 0 0 0 0 308 0 40 164 288 348 40 456 480 256 132 64 172 248 40 0 40 268 40 248 308 40 0 256 40 40 516 0 288 0 40 0 152 188 496 148 376 456 40 40 288 480 0 40 232 216 0 376 40 0 0 0 0 196 80 164 72 248 376 388 348 348 348 156 52 312 156 156 192 336 192 152 152 340 268 108 40 40 300 476 376 256 40 268 40 40 0 40 40 308 40 336 0 40 0 308 0 288 164 0 40 0 164 152 0 0 448 276 480 480 48 12 440 316 140 304 440 480 204 164 164 68 104 40 40 108 0 0 528 348 40 432 0 204 0 0 104 336 116 304 264 264 264 232 212 272 244 0 104 12 0 520 0 0 40 40 320 280 316 156 12 52 12 288 20 288 20 288 0 164 0 272 40 40 520 520 520 480 480 40 0 40 140 308 40 204 432 0 40 348 0 0 40 40 40 0 0 40 148 148 108 148 40 472 108 192 508 40 0 0 40 204 0 288 308 40 40 40 232 212 224 184 0 308 20 0 308 108 144 0 308 76 0 40 40 376 40 0 164 468 436 40 40 268 0 40 392 40 0 40 376 40 0 0 40 40 40 300 40 192 268 108 36 40 272 0 308 0 0 480 484 512 344 344 304 36 304 344 0 40 468 0 476 168 60 112 72 164 188 0 0 0 0 288 0 0 472 308 40 308 204 168 0 180 436 436 476 436 128 128 36 0 340 0 0 0 472 0 348 0 0 40 40 272 40 40 0 488 0 232 472 472 40 376 0 0 40 0 164 0 40 0 492 76 272 76 272 40 232 164 204 52 256 52 216 216 216 316 40 0 40 272 40 0 268 0 308 448 180 140 0 40 308 0 308 168 268 308 0 268 308 144 0 308 0 332 164 432 472 432 204 40 432 276 276 276 316 172 316 40 0 176 308 40 0 0 348 348 0 0 308 340 532 392 28 52 308 40 364 100 100 40 268 0 40 0 40 0 416 308 40 0 92 24 216 276 0 0 416 40 504 64 204 240 308 40 76 0 40 124 40 40 0 232 488 488 528 320 180 0 180 248 40 40 0 0 0 40 0 40 0 288 204 40 0 248 40 40 0 192 428 0 428 468 468 308 136 472 0 40 40 36 0 204 0 104 36 308 40 0 504 464 464 180 504 464 348 348 164 40 84 40 184 308 348 308 348 116 288 248 248 348 80 0 0 0 0 272 512 144 268 192 0 192 272 0 232 0 232 68 204 164 28 268 124 40 164 348 308 512 232 136 40 40 184 84 40 0 160 116 268 268 308 124 120 40 0 224 12 124 36 164 164 192 392 136 176 0 40 40 340 132 212 40 40 0 40 268 336 416 40 268 44 268 40 0 204 192 0 108 232 40 0 124 40 512 40 456 232 204 472 144 144 144 40 308 184 136 40 200 492 0 124 348 40 504 0 232 0 308 0 388 272 0 348 140 180 504 0 148 40 0 40 0 336 40 40 40 272 0 0 348 0 272 160 160 160 188 308 120 160 120 120 188 120 120 296 40 0 0 40 232 0 40 40 0 40 0 264 0 0 0 472 0 432 432 176 472 432 432 56 40 284 96 164 164 472 432 164 240 308 0 376 0 272 0 40 0 0 0 40 0 308 40 164 40 440 0 0 0 0 0 348 40 148 200 0 0 40 0 0 340 0 0 0 0 40 268 40 260 0 0 268 0 0 40 40 272 376 308 0 308 40 232 0 40 0 40 40 480 40 204 40 40 40 0 0 40 0 40 496 200 0 384 272 40 40 164 68 400 0 40 308 40 0 0 108 40 40 0 192 0 0 268 0 0 40 0 432 428 164 268 40 0 228 440 0 40 0 0 0 348 0 0 148 0 0 0 0 340 416 184 416 108 40 400 416 416 108 148 0 308 440 0 0 216 0 40 40 376 40 0 40 0 40 40 40 40 308 232 0 420 0 0 40 176 40 0 472 0 144 164 164 164 112 40 40 68 204 40 144 228 124 108 200 268 68 388 68 240 40 240 68 240 124 0 248 12 64 200 60 40 204 40 84 124 148 8 160 108 120 108 468 40 308 40 0 0 0 440 40 276 428 348 0 40 232 40 32 232 44 40 192 192 40 232 192 84 192 116 76 232 300 40 0 416 40 0 240 432 40 0 40 0 192 164 96 488 260 0 40 40 40 184 468 40 448 472 0 96 472 472 44 176 124 432 432 60 0 0 244 40 496 40 0 256 0 308 40 348 316 432 232 308 76 308 184 268 0 68 0 40 224 148 148 308 120 148 188 148 148 296 40 188 228 148 148 16 0 456 40 260 0 40 0 40 0 0 0 268 40 376 308 268 0 0 192 40 40 256 308 40 264 224 264 0 264 264 224 224 240 24 264 264 224 224 40 0 0 232 0 48 192 232 12 116 192 28 40 0 492 376 0 348 0 40 40 40 308 480 0 0 0 308 124 72 92 40 0 0 40 300 0 40 40 0 484 40 204 488 192 468 160 204 40 268 40 192 204 40 136 0 444 40 40 40 0 0 40 0 348 40 204 0 76 164 204 176 184 204 164 68 268 104 0 204 144 164 0 232 200 40 272 0 308 40 416 40 376 0 316 152 316 220 316 316 0 356 356 164 356 152 356 356 316 316 144 244 0 76 268 268 308 268 268 308 132 204 144 0 268 32 268 348 40 0 40 40 516 0 0 0 288 40 40 0 348 76 308 308 348 0 308 172 168 308 308 184 164 116 116 40 0 0 40 288 0 0 0 0 0 148 192 40 12 232 232 272 280 76 144 224 492 156 140 452 452 116 268 492 60 452 452 492 308 0 348 308 348 68 176 48 40 0 348 168 308 76 348 200 308 464 40 232 496 40 148 0 0 272 348 308 40 272 204 0 300 40 416 40 308 40 0 0 0 0 40 316 40 148 232 256 40 0 160 268 40 308 232 204 140 308 392 268 0 40 308 40 40 0 40 176 144 0 512 204 0 440 440 440 92 400 292 76 440 440 400 440 440 440 0 0 0 0 40 0 40 0 0 0 280 244 60 244 228 0 0 432 40 40 308 40 40 40 0 40 40 272 272 72 252 224 32 232 148 200 40 336 40 232 40 40 40 308 192 392 0 232 0 192 68 212 40 232 112 232 452 260 204 0 40 84 232 0 308 288 0 0 308 0 200 264 232 40 472 416 232 0 280 232 0 40 468 40 40 40 288 0 40 40 0 268 0 0 0 440 40 0 0 40 40 0 40 0 0 164 0 0 0 40 40 40 40 468 40 0 0 268 336 192 296 160 296 256 296 296 0 208 296 236 40 40 0 256 0 484 504 40 40 0 280 0 164 40 376 0 40 296 224 0 528 40 0 40 0 40 40 0 40 308 468 40 40 176 0 0 0 0 456 224 456 308 2220 2304 2220 2316 2220 2220 2180 2220 2460 2180 2220 2644 2596 2380 2220 2488 2452 2220 2220 2180 2704 2220 2384 2220 2556 2180 2344 2180 2412 2220 2220 2180 2220 2180 2412 2652 2612 2180 2480 2220 2180 2220 2180 2220 2556 2220 2516 2488 2220 2220 2220 2180 2464 2180 2424 2220 2528 2220 2560 2368 2488 2564 2220 2180 2528 2528 2220 2412 2556 2716 2220 2180 2220 2624 2556 2220 2180 2180 2660 2220 2452 2180 2676 2220 2180 2568 2372 2220 2528 2220 2180 2220 2488 2220 2660 2384 2180 2220 2484 2180 2452 2424 2180 2500 2508 2180 2700 2220 2180 2180 2180 2180 2528 2180 2328 2180 2180 2180 2220 2452 2404 2488 2340 2220 2688 2220 2220 2220 2180 2220 2448 2180 2524 2220 2180 2696 2600 2180 2180 2656 2180 2180 2180 2220 2652 2220 2220 2452 2652 2436 2180 2488 2220 2180 2488 2180 2488 2476 2652 2496 2180 2180 2528 2488 2452 2528 2180 2320 2220 2180 2436 2180 2684 2424 2180 2488 2220 2220 2180 2708 2664 2360 2220 2220 2180 2220 2648 2220 2180 2488 2488 2684 2528 2528 2180 2468 2180 2528 2220 2180 2180 2488 2220 2180 2596 2384 2220 2180 2180 2220 2220 2596 2220 2612 2180 2488 2328 2220 2488 2344 2220 2220 2180 2356 2220 2220 2180 2452 2220 2220 2488 2180 2664 2180 2220 2220 2220 2452 2180 2180 2180 2180 2692 2220 2596 2344 2528 2528 2448 2528 2528 2692 2488 2220 2412 2220 2220 2452 2220 2220 2556 2520 2488 2220 2180 2612 2180 2220 2384 2180 2636 2712 2412 2668 2180 2180 2412 2384 2288 2424 2328 2220 2412 2180 2220 2220 2652 2180 2488 2368 2220 2220 2444 2412 2220 2180 2528 2180 2220 2180 2384 2180 2536 2488 2180 2180 2528 2220 2412 2672 2528 2180 2180 2220 2180 2620 2528 2180 2424 2180 2452 2220 2412 2672 2220 2180 2180 2220 2220 2220 2476 2180 2180 2180 2676 2180 2180 2488 2220 2180 2632 2384 2412 2180 2528 2644 2364 2220 2424 2528 11 0 1 1 0 1 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 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 0 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 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 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 10 7 0 10 0 0 0 0 10 0 0 10 10 0 0 10 10 0 0 0 0 0 9 10 8 10 0 10 4 10 0 10 1 0 0 10 8 1 0 8 10 10 10 10 0 10 10 10 10 0 2 10 10 10 0 0 0 0 0 0 0 10 10 10 10 1 0 10 0 0 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 10 0 10 10 10 10 0 3 10 10 0 0 0 10 10 10 10 0 0 10 1 0 0 10 0 0 1 10 0 10 10 10 0 0 0 0 1 0 0 9 9 0 10 1 0 10 10 0 10 0 0 1 0 0 10 10 10 0 0 0 0 0 0 0 0 2 0 10 0 0 0 10 10 0 0 0 0 0 10 5 10 0 0 10 0 1 10 0 0 0 10 0 0 10 0 10 0 0 0 10 10 0 1 6 0 0 9 10 10 3 0 0 8 0 10 5 0 10 0 10 10 10 7 0 0 10 1 10 10 0 0 10 10 10 0 0 0 0 10 10 10 10 0 10 0 7 10 0 10 10 0 0 9 9 0 10 0 0 10 0 0 10 10 0 0 0 0 10 0 10 10 10 10 10 9 10 10 0 0 0 0 1 0 0 1 10 0 0 4 4 0 10 3 10 0 0 0 10 10 0 0 0 10 0 10 0 0 10 0 0 10 1 10 0 6 0 0 10 1 0 0 10 0 10 10 0 10 0 0 0 0 0 10 0 0 10 10 0 10 0 0 10 9 0 0 0 0 0 10 10 0 10 10 0 1 0 0 0 0 10 0 10 5 0 1 10 2 10 10 10 10 2 10 0 10 0 10 10 0 10 0 0 10 1 0 1 1 0 0 0 10 0 0 0 4 0 0 10 10 10 0 10 0 0 0 10 0 10 0 0 6 10 0 0 10 0 0 0 0 9 0 0 10 10 10 0 0 10 0 0 1 0 0 0 0 0 6 0 10 1 10 10 10 1 10 10 10 10 0 10 10 1 0 0 0 0 0 10 0 5 10 0 6 0 0 10 10 0 0 5 0 6 5 0 0 0 10 0 10 0 0 10 10 0 4 10 10 0 0 1 2 0 0 10 8 10 10 0 0 10 0 0 0 0 0 2 1 10 10 6 0 0 0 0 10 0 9 9 10 10 10 10 10 10 10 0 10 0 10 10 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 1 0 10 10 10 10 10 0 0 0 10 0 0 0 0 7 4 0 10 0 10 0 1 10 0 0 0 0 0 10 0 0 8 0 0 8 10 0 7 10 1 0 10 0 10 10 10 0 10 0 10 1 10 0 10 0 0 0 0 0 0 10 10 10 10 2 10 10 0 6 10 10 0 1 0 0 0 10 0 0 0 10 0 10 0 10 0 2 10 10 10 10 0 0 9 0 0 1 0 0 0 0 5 10 10 10 10 10 0 0 0 0 10 10 0 4 10 2 0 0 1 0 0 0 8 10 0 10 10 10 10 0 1 10 10 10 0 1 10 1 10 10 0 10 10 0 10 10 0 10 0 0 1 0 10 0 10 0 0 0 0 2 0 9 10 0 0 10 0 0 10 1 0 10 0 1 0 1 10 0 0 2 10 10 0 10 10 0 10 1 10 0 1 0 0 0 0 10 10 1 10 0 0 0 0 10 8 9 10 0 10 10 10 0 1 0 10 10 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 6 0 10 0 10 0 0 0 10 4 10 0 10 1 10 10 0 10 5 0 10 10 10 10 0 10 10 0 0 10 0 10 0 1 10 0 0 10 10 0 0 0 10 10 10 0 1 10 10 1 10 10 3 0 0 0 6 0 10 10 7 8 1 10 0 10 0 7 0 10 10 0 0 0 0 10 7 9 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 1 0 0 0 0 10 10 1 10 0 10 0 0 0 0 10 0 0 9 10 1 0 10 10 10 1 0 0 0 1 0 0 10 0 0 10 0 0 9 0 10 1 1 0 0 10 10 0 0 0 0 0 0 0 10 0 0 10 10 10 0 10 0 0 0 10 10 9 1 0 0 1 10 8 0 7 10 0 0 10 0 9 0 0 5 7 10 10 10 10 10 10 0 0 10 0 0 0 0 1 0 10 0 9 10 1 10 10 1 8 10 1 0 0 0 0 10 0 0 0 10 1 10 0 0 0 0 0 10 10 10 0 0 0 0 1 0 10 10 0 0 0 0 0 7 10 0 0 10 0 10 0 0 10 10 0 0 0 0 0 10 10 0 10 10 4 9 0 10 0 0 5 10 1 0 10 0 8 0 10 0 10 10 0 0 0 0 0 0 10 10 0 0 0 10 0 10 10 10 0 2 0 0 10 10 10 0 0 8 1 6 8 5 10 0 10 10 10 0 0 0 10 0 9 10 0 1 10 0 0 0 0 10 0 10 0 10 10 0 10 10 1 10 2 7 10 1 0 10 4 10 0 0 10 10 0 10 0 0 10 0 10 0 0 7 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 10 7 1 0 0 8 0 0 10 10 10 0 0 1 10 0 0 0 10 0 0 0 0 0 10 1 0 7 0 0 2 0 10 10 10 1 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 5 10 1 10 10 10 4 0 0 0 10 0 0 0 10 0 10 0 0 10 10 0 0 0 10 10 0 10 0 1 0 8 0 0 0 0 10 1 10 0 10 0 10 0 0 8 10 9 10 0 0 0 0 1 0 0 10 0 0 0 0 0 10 10 10 10 10 0 10 10 0 10 0 0 10 0 10 0 0 10 10 0 0 10 0 0 10 1 0 1 0 10 0 0 10 10 0 10 0 10 10 0 7 10 10 0 0 7 10 10 0 0 0 0 6 0 0 0 0 6 0 10 0 0 0 0 10 10 0 7 9 10 6 10 10 0 0 0 0 10 10 7 0 0 0 1 10 0 0 3 0 1 0 0 0 10 0 1 0 10 0 10 10 10 7 0 10 10 0 10 10 10 3 10 10 0 0 10 0 0 10 7 0 0 0 10 0 10 10 0 0 10 0 10 0 10 10 10 3 10 1 0 0 10 1 10 0 0 0 3 9 0 10 10 10 0 10 0 0 0 0 10 10 0 0 0 10 0 0 10 0 0 10 0 10 0 0 0 0 10 0 0 0 0 1 0 10 0 10 0 0 10 10 1 10 0 0 10 0 0 10 9 10 10 10 10 1 10 0 10 0 10 8 0 10 6 10 0 10 0 10 0 10 0 10 10 0 10 0 2 0 10 10 0 0 2 0 0 0 0 0 0 0 10 0 1 0 10 10 10 10 0 10 0 0 0 0 10 10 0 10 10 10 10 10 0 0 6 0 0 0 10 0 10 0 0 0 10 0 9 0 10 10 10 10 10 0 0 0 0 10 1 0 0 0 0 10 5 0 0 10 0 10 0 10 0 10 0 0 10 0 0 1 10 10 10 10 0 10 10 0 10 0 0 0 10 0 10 10 10 0 0 0 0 10 10 0 0 10 0 10 1 0 0 0 0 10 10 9 10 9 10 10 10 0 10 3 10 0 0 0 10 1 0 10 1 10 0 0 10 0 9 10 0 10 1 10 0 10 0 10 0 10 0 0 0 0 0 0 10 4 10 0 10 0 0 0 0 10 0 0 7 1 9 0 10 0 0 10 10 0 0 10 0 10 0 10 0 7 0 10 0 10 10 0 10 0 0 10 0 0 0 10 1 10 0 10 9 10 9 10 10 10 0 0 0 5 10 0 10 0 10 10 0 0 0 1 10 8 9 0 10 10 10 0 0 10 0 10 10 10 0 1 0 10 0 0 0 0 10 10 0 10 0 10 10 10 0 10 0 10 10 1 1 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 10 8 8 0 9 0 10 1 10 0 10 0 10 10 10 0 10 10 10 0 0 0 2 0 0 0 0 0 1 10 10 10 0 0 5 0 4 0 1 1 0 0 1 10 10 10 10 10 10 10 0 1 0 10 0 10 3 0 0 10 0 10 0 1 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 1 1 0 0 0 0 8 0 0 10 4 10 10 10 0 10 9 0 10 10 10 0 10 0 10 1 0 10 0 7 10 0 5 1 10 0 1 0 10 10 10 0 0 10 3 10 10 0 0 9 0 0 0 0 0 10 1 1 10 10 0 10 10 10 7 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 1 2 0 7 0 0 1 10 0 1 10 10 10 10 4 10 0 7 10 0 0 10 0 0 10 10 0 0 10 0 0 10 10 0 10 10 10 10 10 10 0 10 10 0 9 1 4 0 10 0 0 10 10 0 0 0 0 0 10 10 0 0 10 0 1 0 0 10 0 0 10 0 0 0 0 0 10 0 9 0 10 0 1 0 0 10 0 10 10 0 10 0 0 10 10 0 0 1 6 10 0 10 0 10 10 10 10 10 0 0 0 0 0 0 10 0 1 0 0 0 0 0 10 0 0 0 0 0 0 6 10 10 10 10 0 0 0 1 0 0 0 0 1 0 0 0 10 10 10 10 1 0 0 9 0 2 6 10 1 1 0 0 1 10 10 7 0 0 1 0 10 0 0 0 10 10 8 0 7 0 10 0 10 10 10 10 0 0 0 0 10 10 0 1 0 0 0 10 9 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 5 10 0 0 9 0 9 0 0 10 10 0 1 10 0 2 </values> 2519.82/2520.00 v </instantiation> 2519.82/2520.00
OK 536857239
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 (9903 MiB free)
memory of node 1: 16384 MiB (13097 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299018-1532782619/watcher-4299018-1532782619 -o /tmp/evaluation-result-4299018-1532782619/solver-4299018-1532782619 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27468 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299018-1532782619.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=28270, runsolver pid=28267
[startup+0.100126 s]*
/proc/loadavg: 2.13 2.05 2.05 3/205 28271
/proc/meminfo: memFree=23528660/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=51532 memory=27748 CPUtime=0.1 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 7112 0 0 0 9 1 0 0 20 0 1 0 95825258 52768768 6937 33554432000 4194304 6142532 140722052795200 140722052791832 140716112915429 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 12883 6937 790 476 0 6205 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51532 KiB
Current children cumulated memory: 27748 KiB
[startup+0.210038 s]*
/proc/loadavg: 2.13 2.05 2.05 4/205 28271
/proc/meminfo: memFree=23519436/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=60744 memory=36988 CPUtime=0.21 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 9424 0 0 0 20 1 0 0 20 0 1 0 95825258 62201856 9247 33554432000 4194304 6142532 140722052795200 140722052790264 140716112963488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 15186 9247 790 476 0 8508 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60744 KiB
Current children cumulated memory: 36988 KiB
[startup+0.309655 s]*
/proc/loadavg: 2.13 2.05 2.05 3/205 28271
/proc/meminfo: memFree=23515344/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=64232 memory=40084 CPUtime=0.3 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 10338 0 0 0 29 1 0 0 20 0 1 0 95825258 65773568 10021 33554432000 4194304 6142532 140722052795200 140722052790264 140716112915429 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 16058 10021 790 476 0 9380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64232 KiB
Current children cumulated memory: 40084 KiB
[startup+0.700249 s]
/proc/loadavg: 2.13 2.05 2.05 3/205 28271
/proc/meminfo: memFree=23419960/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=70976 memory=45912 CPUtime=0.68 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 11934 0 0 0 67 1 0 0 20 0 1 0 95825258 72679424 11478 33554432000 4194304 6142532 140722052795200 140722052790264 5403292 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 17744 11478 791 476 0 11066 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70976 KiB
Current children cumulated memory: 45912 KiB
[startup+1.50031 s]
/proc/loadavg: 2.13 2.05 2.05 6/205 28271
/proc/meminfo: memFree=22993176/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=79800 memory=54360 CPUtime=1.48 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 14024 0 0 0 147 1 0 0 20 0 1 0 95825258 81715200 13590 33554432000 4194304 6142532 140722052795200 140722052791848 5802582 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 19950 13590 791 476 0 13272 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79800 KiB
Current children cumulated memory: 54360 KiB
[startup+3.10974 s]
/proc/loadavg: 2.13 2.05 2.05 3/208 28274
/proc/meminfo: memFree=22857976/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=98424 memory=71264 CPUtime=3.1 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 19927 0 0 0 308 2 0 0 20 0 1 0 95825258 100786176 17816 33554432000 4194304 6142532 140722052795200 140722052791848 5404219 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 24606 17816 791 476 0 17928 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 98424 KiB
Current children cumulated memory: 71264 KiB
[startup+6.30034 s]
/proc/loadavg: 2.28 2.08 2.06 3/208 28274
/proc/meminfo: memFree=22365848/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=134384 memory=104484 CPUtime=6.28 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 30054 0 0 0 617 11 0 0 20 0 1 0 95825258 137609216 26121 33554432000 4194304 6142532 140722052795200 140722052791848 5444974 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 33596 26121 791 476 0 26918 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 134384 KiB
Current children cumulated memory: 104484 KiB
[startup+12.7004 s]
/proc/loadavg: 2.33 2.09 2.07 3/192 28306
/proc/meminfo: memFree=26546376/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=209424 memory=172680 CPUtime=12.69 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 49519 0 0 0 1235 34 0 0 20 0 1 0 95825258 214450176 43170 33554432000 4194304 6142532 140722052795200 140722052791848 5444960 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 52356 43170 791 476 0 45678 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 209424 KiB
Current children cumulated memory: 172680 KiB
[startup+25.5097 s]
/proc/loadavg: 2.26 2.09 2.07 3/192 28306
/proc/meminfo: memFree=26288720/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=359128 memory=309920 CPUtime=25.49 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 86305 0 0 0 2507 42 0 0 20 0 1 0 95825258 367747072 77480 33554432000 4194304 6142532 140722052795200 140722052791848 140716113353728 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 89782 77480 791 476 0 83104 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 359128 KiB
Current children cumulated memory: 309920 KiB
[startup+51.1003 s]
/proc/loadavg: 2.17 2.08 2.07 3/192 28306
/proc/meminfo: memFree=25735924/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=663284 memory=590924 CPUtime=51.07 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 156591 0 0 0 5055 52 0 0 20 0 1 0 95825258 679202816 147731 33554432000 4194304 6142532 140722052795200 140722052791848 140716113353728 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 165821 147731 791 476 0 159143 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 663284 KiB
Current children cumulated memory: 590924 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/192 28308
/proc/meminfo: memFree=25145008/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=1268888 memory=1152400 CPUtime=102.27 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 295316 0 0 0 10153 74 0 0 20 0 1 0 95825258 1299341312 288100 33554432000 4194304 6142532 140722052795200 140722052791848 140716113353728 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 317222 288100 791 476 0 310544 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1268888 KiB
Current children cumulated memory: 1152400 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/191 28309
/proc/meminfo: memFree=24519828/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=1926284 memory=1771840 CPUtime=162.26 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 448464 0 0 0 16129 97 0 0 20 0 1 0 95825258 1972514816 442960 33554432000 4194304 6142532 140722052795200 140722052791848 140716113353728 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 481571 442960 794 476 0 474893 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1926284 KiB
Current children cumulated memory: 1771840 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 28317
/proc/meminfo: memFree=23711324/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2731248 memory=2569124 CPUtime=222.24 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 1134013 0 0 0 22079 145 0 0 20 0 1 0 95825258 2796797952 642281 33554432000 4194304 6142532 140722052795200 140722052791912 5017733 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 682812 642281 848 476 0 676134 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2731248 KiB
Current children cumulated memory: 2569124 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 28341
/proc/meminfo: memFree=23692092/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2741184 memory=2587180 CPUtime=282.22 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 1428091 0 0 0 28059 163 0 0 20 0 1 0 95825258 2806972416 646795 33554432000 4194304 6142532 140722052795200 140722052792024 5335940 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 685296 646795 848 476 0 678618 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 2741184 KiB
Current children cumulated memory: 2587180 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 28343
/proc/meminfo: memFree=23668688/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2756796 memory=2611428 CPUtime=342.2 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 1873514 0 0 0 34036 184 0 0 20 0 1 0 95825258 2822959104 652857 33554432000 4194304 6142532 140722052795200 140722052791944 5017914 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 689199 652857 848 476 0 682521 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 2756796 KiB
Current children cumulated memory: 2611428 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/193 28345
/proc/meminfo: memFree=23624808/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2792576 memory=2654000 CPUtime=402.18 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 2378431 0 0 0 40006 212 0 0 20 0 1 0 95825258 2859597824 663500 33554432000 4194304 6142532 140722052795200 140722052792024 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 698144 663500 848 476 0 691466 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 2792576 KiB
Current children cumulated memory: 2654000 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 28346
/proc/meminfo: memFree=23611372/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2798248 memory=2667620 CPUtime=462.16 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 2756472 0 0 0 45987 229 0 0 20 0 1 0 95825258 2865405952 666905 33554432000 4194304 6142532 140722052795200 140722052791832 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 699562 666905 848 476 0 692884 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 2798248 KiB
Current children cumulated memory: 2667620 KiB
################
# More data... #
################
/proc/28270/statm: 734924 726360 850 476 0 728246 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2905440 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28388
/proc/meminfo: memFree=23363052/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2913412 CPUtime=1782.06 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6625357 0 0 0 177783 423 0 0 20 0 1 0 95825258 3010248704 728353 33554432000 4194304 6142532 140722052795200 140722052782472 5138259 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728353 850 476 0 728246 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2913412 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28390
/proc/meminfo: memFree=23357236/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=1842.07 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6627685 0 0 0 183783 424 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5016422 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 1842.07 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+1902.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/191 28392
/proc/meminfo: memFree=23353316/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=1902.07 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6634940 0 0 0 189783 424 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+1962.3 s]
/proc/loadavg: 2.24 2.14 2.09 3/191 28393
/proc/meminfo: memFree=23349600/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=1962.07 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6637254 0 0 0 195783 424 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+2022.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/191 28401
/proc/meminfo: memFree=23345952/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2022.09 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6639500 0 0 0 201784 425 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5215644 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/191 28402
/proc/meminfo: memFree=23345832/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2082.09 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6641700 0 0 0 207784 425 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017799 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/191 28404
/proc/meminfo: memFree=23345680/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2142.09 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6643878 0 0 0 213784 425 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/191 28405
/proc/meminfo: memFree=23345388/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2202.1 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6648186 0 0 0 219784 426 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017799 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 28406
/proc/meminfo: memFree=23345248/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2262.1 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6652579 0 0 0 225784 426 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 28407
/proc/meminfo: memFree=23347560/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2322.1 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6655081 0 0 0 231784 426 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017892 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+2382.3 s]
/proc/loadavg: 2.15 2.08 2.06 3/191 28409
/proc/meminfo: memFree=23347060/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2382.11 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6657562 0 0 0 237785 426 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/191 28411
/proc/meminfo: memFree=23346924/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2442.12 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6660037 0 0 0 243785 427 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017870 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2442.12 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.07 2.06 3/191 28412
/proc/meminfo: memFree=23346928/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2502.12 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6666151 0 0 0 249785 427 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2502.12 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.06 2.07 2.06 3/191 28412
/proc/meminfo: memFree=23347068/32770624 swapFree=67108856/67108860
[pid=28270] ppid=28267 vsize=2939696 memory=2915260 CPUtime=2519.82 cores=1,3,5,7
/proc/28270/stat : 28270 (cosoco) R 28267 28270 27436 0 -1 4202496 6666832 0 0 0 251555 427 0 0 20 0 1 0 95825258 3010248704 728815 33554432000 4194304 6142532 140722052795200 140722052782472 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37056512 140722052797574 140722052797704 140722052797704 140722052800462 0
/proc/28270/statm: 734924 728815 850 476 0 728246 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 2939696 KiB
Current children cumulated memory: 2915260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 28270 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.56 s, system=4.28998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.85
CPU user time (s): 2515.56
CPU system time (s): 4.28998
CPU usage (%): 99.9934
Max. virtual memory (cumulated for all children) (KiB): 2939696
Max. memory (cumulated for all children) (KiB): 2915260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.56
system time used= 4.28998
maximum resident set size= 2915324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6666907
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= 327
involuntary context switches= 1557
# summary of solver processes directly reported to runsolver:
# pid: 28270
# total CPU time (s): 2519.85
# total CPU user time (s): 2515.56
# total CPU system time (s): 4.28998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.177 second user time and 19.055 second system time
The end
Begin job on node133 at 2018-07-28 14:57:01 IDJOB=4299018 IDBENCH=141284 IDSOLVER=2761 FILE ID=node133/4299018-1532782619 RUNJOBID= node133-1532775038-27468 PBS_JOBID= 21022462 Free space on /tmp= 47500 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299018-1532782619/watcher-4299018-1532782619 -o /tmp/evaluation-result-4299018-1532782619/solver-4299018-1532782619 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27468 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299018-1532782619.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa RANDOM SEED=884325689 node133.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.24 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.24 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.24 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.24 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: 23552848 kB MemAvailable: 28786732 kB Buffers: 177572 kB Cached: 5302500 kB SwapCached: 0 kB Active: 6063208 kB Inactive: 2626656 kB Active(anon): 3161128 kB Inactive(anon): 76688 kB Active(file): 2902080 kB Inactive(file): 2549968 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 586472 kB Writeback: 0 kB AnonPages: 3217072 kB Mapped: 52592 kB Shmem: 25244 kB Slab: 223140 kB SReclaimable: 195344 kB SUnreclaim: 27796 kB KernelStack: 3568 kB PageTables: 11580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4774208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3108864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 47576 MiB End job on node133 at 2018-07-28 15:39:01