Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 581973846 | 2519.97 | 2520.02 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml |
| MD5SUM | a9a1ecda6b6f8f1e99c2d233168bcaa1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 506362597 |
| Best CPU time to get the best result obtained on this benchmark | 92.8369 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7590 |
| Number of constraints | 4736 |
| Number of domains | 77 |
| Minimum domain size | 1 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2251 |
| Distribution of variable degrees | [{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}] |
| Number of extensional constraints | 2250 |
| Number of intensional constraints | 2486 |
| Distribution of constraint types | [{"type":"extension","count":2250},{"type":"intension","count":2486}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.09/0.17 c AllEqual constraint using 1 generic x=y constraints 0.09/0.17 c AllEqual constraint using 1 generic x=y constraints 0.09/0.17 c AllEqual constraint using 1 generic x=y constraints 0.09/0.17 c AllEqual constraint using 1 generic x=y constraints 0.09/0.17 c AllEqual constraint using 1 generic x=y constraints 0.09/0.17 c AllEqual constraint using 1 generic x=y constraints 0.09/0.17 c AllEqual constraint using 1 generic x=y constraints 0.09/0.17 c AllEqual constraint using 1 generic x=y constraints 0.09/0.17 c AllEqual constraint using 1 generic x=y constraints 51.10/51.13 c best=?? lower=0 upper=607522500 776.27/776.30 c 776.27/776.30 c This is cosoco 1.12 -- 776.27/776.30 c 776.27/776.30 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293959-1532382075.xml 776.27/776.30 c enable optimization 776.27/776.30 c ========================================[ Problem Statistics ]=========================================== 776.27/776.30 c | 776.27/776.30 c | Parse time : 50.83 s 776.27/776.30 c | 776.27/776.30 c | Variables: 7590 776.27/776.30 c | Domain Sizes: 1..151 776.27/776.30 c | 776.27/776.30 c | Constraints: 4737 776.27/776.30 c | Arity: 2..4501 -- Binary: 237 -- Ternary: 2249 776.27/776.30 c | 776.27/776.30 c | Types: 776.27/776.30 c | (X != Y): 7 776.27/776.30 c | (X = Y): 9 776.27/776.30 c | Extension: 2250 (nb tuples: 160..7224) -- (shared: 0) 776.27/776.30 c | Intension: 2470 776.27/776.30 c | Sum: 1 776.27/776.30 c | 776.27/776.30 c | Objective: Minimize Sum 776.27/776.30 776.27/776.30 c ========================================================================================================= 776.27/776.30 o 582041378 776.27/776.30 c 1 calls to solver: best=582041378 lower=0 upper=582041377 782.88/782.98 o 581996358 789.58/789.60 o 581996351 789.58/789.60 c 3 calls to solver: best=581996351 lower=0 upper=581996350 797.28/797.36 o 581973846 2519.94/2520.01 2519.94/2520.01 c *** INTERRUPTED *** 2519.94/2520.01 c restarts : 55 2519.94/2520.01 c conflicts : 186951 (74 /sec) 2519.94/2520.01 c decisions : 623258 (248 /sec) 2519.94/2520.01 c propagations : 142426363 (56565 /sec) 2519.94/2520.01 c root propagations : 18913 2519.94/2520.01 c filter calls : 13385491 (5316 /sec) 2519.94/2520.01 c useless filter calls : 8270145 (61 %) 2519.94/2520.01 c Memory used : 1120.12 MB 2519.94/2520.01 c CPU time : 2517.91 s 2519.94/2520.01 2519.94/2520.01 c nb Solutions = 4 2519.94/2520.01 s SATISFIABLE 2519.94/2520.01 c Best value found: 581973846 2519.94/2520.01 2519.94/2520.01 2519.94/2520.01 v <instantiation type='solution' cost='581973846'> 2519.94/2520.01 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[2177] d[2178] d[2179] d[217] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[218] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[219] d[21] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[220] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[221] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[222] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[223] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248] 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[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[35] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[36] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[37] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[38] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[39] f[3] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[40] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] 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[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[35] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[36] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[37] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[38] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[39] p[3] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[40] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] 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[2177] v1[2178] v1[2179] v1[217] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[218] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[219] v1[21] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[220] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[221] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[222] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[223] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] 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[2177] v2[2178] v2[2179] v2[217] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[218] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[219] v2[21] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[220] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[221] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[222] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[223] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] 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.94/2520.01 v <values>40 132 200 0 40 40 0 496 40 0 0 0 0 388 348 132 120 388 428 92 256 44 340 256 308 0 268 40 92 348 36 40 52 380 40 0 488 0 0 0 436 524 492 40 0 256 308 80 308 348 40 40 308 244 24 0 92 52 284 92 52 296 256 348 40 424 40 40 0 40 0 456 0 296 40 0 0 0 0 40 496 428 0 0 0 336 388 40 268 428 344 56 120 348 132 80 0 92 52 272 132 232 164 92 416 92 164 132 256 164 256 216 0 256 0 380 0 40 256 124 440 0 296 40 40 40 496 0 0 0 0 0 560 256 124 52 40 296 256 92 40 280 292 8 0 40 204 0 324 12 68 324 416 536 356 0 324 0 0 40 40 412 40 40 40 564 124 40 40 84 0 40 296 256 344 40 12 124 272 272 480 132 184 256 256 40 92 168 92 244 256 40 40 40 336 420 40 0 40 88 456 420 40 112 40 308 0 296 400 40 244 40 40 420 40 0 40 0 40 420 0 256 76 396 40 0 0 0 40 232 272 40 0 0 388 388 0 0 40 256 40 40 0 520 240 256 348 348 0 12 0 40 292 0 372 92 372 36 40 304 296 180 320 296 92 244 132 296 12 296 88 132 216 0 40 92 296 216 112 128 0 40 256 40 216 76 16 16 132 0 388 348 40 388 388 12 52 52 52 92 284 244 0 12 284 576 188 576 112 576 40 536 536 80 280 536 244 240 176 296 256 176 40 40 216 172 216 196 140 340 0 0 320 304 0 0 40 0 40 0 416 0 384 292 236 384 384 344 344 344 344 92 180 148 344 132 384 120 244 336 0 508 0 336 120 92 256 0 4 20 196 296 336 40 40 296 412 252 92 40 40 40 40 40 532 336 132 40 40 372 40 348 76 132 84 116 52 296 132 204 296 0 40 40 0 496 0 0 0 0 244 0 420 380 40 0 0 40 40 340 340 40 40 340 340 340 40 340 40 568 424 40 296 40 572 0 40 40 0 272 372 268 0 256 0 296 0 216 0 40 40 80 192 268 328 116 460 420 124 420 460 460 460 460 72 328 296 0 0 464 40 0 40 312 4 120 120 296 256 252 296 256 292 320 208 36 372 232 256 140 220 56 108 248 132 164 164 132 396 216 0 332 368 40 348 0 40 0 440 84 112 84 324 44 84 48 40 40 40 256 296 0 412 0 368 16 372 16 380 380 76 380 308 380 420 420 420 124 40 40 308 80 80 0 0 16 364 404 312 108 404 108 68 68 0 216 68 460 124 256 296 296 160 92 216 296 0 40 40 0 336 92 496 40 40 0 336 0 0 0 124 172 132 136 8 132 0 348 432 348 420 40 380 296 296 52 336 0 40 324 336 396 528 92 0 532 40 0 0 388 40 0 80 0 40 296 0 40 124 40 40 496 0 0 496 40 416 496 0 296 264 396 348 396 436 436 396 436 0 296 456 0 40 416 40 40 216 52 40 408 256 0 272 164 272 256 388 92 92 296 52 52 52 384 92 256 52 52 536 0 536 40 0 304 92 44 336 40 0 132 72 388 40 40 40 40 40 0 12 0 40 456 40 368 256 256 40 40 296 388 296 24 92 212 24 0 216 172 172 40 40 308 152 72 152 152 164 124 408 460 424 332 0 308 428 428 40 172 40 496 0 416 52 0 264 384 164 132 248 132 172 92 336 0 536 496 496 144 528 436 568 568 528 272 388 568 216 268 308 92 0 40 528 40 0 256 476 564 532 40 76 372 56 280 40 0 0 52 40 256 40 40 0 40 0 0 388 0 256 308 256 0 388 0 40 384 424 424 384 468 384 332 472 136 44 84 432 528 40 40 308 296 40 476 564 336 336 300 40 0 0 296 216 256 120 268 268 308 268 176 388 0 388 388 388 388 348 108 364 56 364 364 364 12 92 68 40 0 0 496 380 0 40 0 44 40 0 92 40 348 40 216 296 52 380 296 40 40 0 0 52 0 496 40 528 40 40 40 564 0 40 272 0 348 40 124 40 40 12 388 40 388 336 0 40 40 496 336 40 0 72 24 112 112 296 336 52 0 92 52 296 8 52 404 40 0 388 40 424 0 0 0 296 336 336 388 432 84 128 0 344 296 0 0 380 412 348 336 52 256 28 0 272 0 0 132 320 12 52 92 388 44 176 12 496 416 456 40 40 40 40 0 0 40 532 268 40 0 0 40 80 268 308 308 148 120 0 72 4 456 256 272 164 388 308 536 536 416 232 40 0 0 0 348 216 124 40 40 40 80 40 40 44 456 488 528 324 488 52 4 384 488 488 296 0 0 0 428 92 92 132 52 440 132 132 204 252 52 72 256 12 268 308 268 0 40 40 0 380 0 176 216 172 348 80 92 428 388 296 296 256 164 40 84 12 296 116 0 72 256 256 256 296 132 296 52 52 388 312 80 16 88 104 256 296 376 308 40 348 40 0 436 492 0 0 40 40 24 476 564 40 40 296 40 388 40 336 40 348 216 40 416 40 216 460 416 0 0 0 308 84 40 92 76 112 184 456 496 496 496 0 40 348 40 0 40 40 336 296 164 480 316 172 44 0 532 40 40 0 0 0 492 0 0 76 424 464 412 424 32 92 92 348 172 296 40 0 40 40 40 40 40 388 412 508 256 12 436 0 40 44 388 0 0 308 40 532 296 0 0 40 0 40 0 480 380 380 380 256 380 40 0 40 380 0 40 388 40 40 72 416 40 40 388 76 0 40 0 40 0 52 0 44 4 92 52 384 48 72 0 40 296 0 0 0 348 308 308 212 336 144 92 256 0 40 112 40 40 120 40 296 52 40 296 0 572 572 532 40 76 52 0 0 88 56 340 436 436 40 0 64 280 92 80 256 296 340 40 0 0 52 0 0 336 0 40 456 380 92 416 160 564 228 524 40 132 336 0 380 40 0 40 416 380 348 0 104 440 368 380 0 84 44 44 228 40 92 520 40 456 340 420 40 0 0 272 40 0 336 0 0 80 0 268 92 0 388 548 0 0 0 40 380 12 0 40 304 24 40 256 40 40 0 148 340 172 0 336 312 40 0 368 0 336 368 380 276 40 384 52 216 244 416 0 296 216 116 256 424 44 336 40 380 0 0 52 164 380 92 456 120 36 220 256 120 40 380 0 132 0 164 164 40 40 176 48 164 256 216 0 0 24 20 308 256 52 12 36 64 336 72 296 336 244 256 40 336 52 52 40 64 40 0 76 132 296 40 296 296 40 164 40 296 0 40 0 0 0 296 500 464 0 40 0 40 496 40 40 40 0 40 40 40 296 40 0 40 40 40 0 420 24 76 12 308 268 12 308 108 12 0 348 348 348 0 0 0 524 436 568 424 40 40 40 40 0 572 0 0 40 40 40 40 0 0 380 0 0 456 0 40 40 456 0 344 132 40 0 40 320 64 360 24 344 0 0 40 40 40 428 0 40 40 336 296 0 268 40 428 92 336 348 40 264 52 256 72 348 92 296 256 0 92 92 240 0 332 76 496 332 40 12 496 456 80 496 108 496 456 0 200 496 32 0 0 168 232 272 272 136 344 0 40 348 0 40 424 388 40 40 0 40 256 0 40 244 32 328 100 236 32 288 32 0 60 244 288 8 8 40 372 268 324 0 388 392 256 348 348 44 272 132 40 0 0 40 340 40 0 0 0 40 0 0 380 0 0 344 0 40 388 364 0 52 0 308 0 428 0 80 132 268 308 148 104 40 0 164 0 132 256 132 132 120 348 0 92 216 388 0 388 144 348 348 40 36 376 416 376 416 172 28 252 416 424 40 212 0 84 92 40 132 496 496 416 40 0 264 92 296 256 72 40 0 96 140 232 140 132 64 272 272 24 40 240 400 0 256 40 164 0 40 40 0 348 364 0 160 256 164 132 0 92 296 40 40 240 40 0 0 40 380 0 40 420 40 40 32 0 40 0 0 388 256 256 40 0 40 132 388 0 0 272 376 116 284 120 456 0 172 416 456 524 0 40 132 40 40 40 0 172 572 0 40 0 328 0 80 308 40 40 216 216 40 480 0 0 340 40 0 0 0 92 380 0 40 0 380 0 272 232 232 188 52 296 272 220 272 160 508 196 248 300 340 340 212 300 344 344 344 304 344 344 304 152 296 236 0 472 308 456 0 0 480 304 336 108 164 240 412 412 20 412 372 32 236 368 56 308 328 368 252 40 4 4 384 4 452 292 204 0 428 0 380 308 428 40 92 160 40 48 24 0 256 96 0 12 256 0 336 40 92 336 0 0 296 284 52 256 336 28 172 80 92 80 40 204 40 388 40 336 172 0 256 0 0 0 460 0 0 40 0 40 496 204 40 40 0 0 0 0 0 40 308 0 396 256 40 40 40 40 0 456 40 0 296 40 232 0 0 40 388 336 256 388 40 336 308 4 40 244 296 256 40 12 256 256 52 296 40 40 40 8 296 428 80 0 408 0 0 40 348 40 388 92 160 336 52 228 32 0 0 0 24 64 128 24 64 524 0 0 436 0 568 40 40 0 572 0 0 40 0 256 256 176 92 296 256 132 296 40 40 12 40 372 440 104 400 360 400 32 92 284 16 256 216 40 240 256 112 0 132 40 296 56 28 104 480 12 12 168 440 104 256 256 256 112 40 420 296 92 52 164 112 524 44 160 392 524 296 48 524 524 484 524 40 52 0 372 332 380 496 496 348 416 40 264 384 496 456 148 4 116 108 496 148 16 0 0 0 40 460 296 420 0 40 496 40 0 0 132 0 40 296 0 496 416 40 40 384 40 296 576 0 40 40 0 464 40 40 0 328 40 240 204 40 0 52 92 92 296 0 24 16 412 32 40 508 372 120 136 412 40 40 0 380 40 0 336 40 0 416 40 52 296 52 256 40 264 40 256 40 428 40 40 52 0 424 40 384 0 0 92 0 40 528 40 0 40 40 564 536 532 40 40 336 40 132 256 40 40 572 40 40 336 216 132 132 80 308 40 256 12 456 340 40 40 0 0 0 0 296 40 0 308 0 0 0 348 132 40 296 0 264 304 40 344 36 304 72 64 304 0 296 92 0 0 0 0 40 164 0 336 336 80 0 64 348 296 2260 2220 2260 2564 2220 2568 2220 2648 2260 2568 2260 2516 2568 2556 2260 2220 2648 2352 2392 2260 2220 2516 2352 2312 2232 2220 2260 2740 2516 2220 2628 2220 2220 2516 2260 2608 2260 2260 2592 2352 2516 2516 2260 2608 2260 2272 2796 2516 2392 2260 2604 2272 2556 2588 2220 2260 2220 2260 2516 2220 2260 2600 2220 2260 2300 2680 2260 2588 2220 2532 2632 2648 2516 2592 2532 2392 2260 2260 2304 2260 2632 2640 2300 2624 2680 2516 2220 2392 2568 2608 2260 2556 2260 2220 2516 2260 2260 2656 2260 2556 2312 2260 2556 2312 2220 2648 2220 2260 2556 2392 2600 2568 2220 2680 2220 2260 2392 2556 2756 2788 2300 2220 2352 2592 2260 2220 2220 2220 2644 2692 2220 2300 2528 2568 2608 2584 2220 2260 2608 2608 2220 2220 2260 2260 2556 2260 2608 2220 2628 2556 2272 2220 2220 2652 2260 2516 2260 2556 2220 2312 2600 2260 2260 2528 2676 2260 2220 2756 2220 2608 2260 2260 2748 2220 2352 2516 2528 2220 2260 2476 2648 2516 2556 2516 2260 2608 2220 2516 2568 2260 2640 2220 2260 2532 2220 2220 2300 2260 2220 2220 2632 2720 2424 2716 2260 2556 2700 2260 2260 2684 2260 2516 2608 2260 2648 2260 2260 2220 2260 2220 2640 2260 2260 2300 2260 2260 2608 2260 2220 2264 2608 2604 2260 2580 2568 2556 2516 2648 2620 2568 2220 2792 2608 2220 2220 2696 2260 2260 2672 2568 2220 2648 2220 2516 2220 2648 2220 2676 2784 2220 2260 2260 2260 2260 2752 2220 2516 2260 2304 2220 2260 2220 2220 2220 2220 2220 2220 2592 2260 2528 2272 2608 2220 2648 2220 2260 2220 2768 2716 2492 2516 2260 2384 2608 2220 2260 2260 2220 2556 2492 2588 2220 2220 2260 2516 2260 2556 2260 2556 2568 2220 2220 2300 2220 2220 2260 2716 2264 2556 2556 2260 2548 2556 2528 2608 2260 2676 2352 2220 2628 2532 2220 2260 2220 2532 2700 2556 2516 2556 2260 2780 2556 2392 2260 2260 2648 2524 2644 2260 2640 2220 2260 2260 2556 2312 2220 2528 2352 2608 2636 2304 2260 2352 2492 2392 2260 2516 2220 2260 2676 2220 2300 2260 2492 2728 2352 2560 2564 2220 2632 2588 2264 2220 2556 2556 2220 2260 2220 2260 2260 2220 2516 2220 2556 2492 2220 2516 2260 2660 2516 2660 2516 2744 2648 2260 2716 2220 2260 2220 2220 2352 2632 2260 2260 2220 2220 2220 2476 2260 2260 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 1 0 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 10 10 10 9 10 10 0 10 0 0 0 0 10 10 10 10 10 10 0 5 0 10 0 10 10 10 0 10 0 10 10 0 0 0 0 10 0 10 10 0 10 0 10 10 10 0 10 0 10 10 10 0 10 10 10 10 0 10 10 0 0 10 0 10 0 0 10 10 10 0 10 0 0 10 10 10 10 10 10 10 10 10 10 10 0 0 10 0 0 10 0 10 10 10 10 0 10 10 10 10 0 10 0 9 10 0 10 0 10 10 10 0 0 0 0 0 10 0 10 10 10 0 10 0 0 0 0 0 10 0 10 0 10 0 10 10 0 0 10 10 0 10 0 0 10 0 10 10 10 0 7 0 0 10 10 10 0 10 0 10 10 0 0 10 0 10 0 10 0 10 10 0 0 0 10 0 10 0 10 10 0 0 10 10 10 0 0 0 10 10 0 10 10 0 0 10 0 10 0 10 10 10 0 10 0 10 0 0 0 10 0 10 0 10 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 10 0 0 10 0 10 0 10 10 0 10 0 10 10 0 10 10 10 10 0 0 10 0 10 10 0 10 10 10 10 0 0 10 0 10 0 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 10 10 0 0 0 10 10 0 0 10 10 0 10 0 0 10 0 10 10 10 10 0 0 10 0 10 10 0 10 10 0 0 10 10 10 10 10 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 10 0 0 10 0 10 10 10 10 0 10 10 0 10 0 10 0 0 10 10 0 10 0 10 10 10 0 0 0 10 0 10 10 10 0 10 10 0 10 0 0 10 10 10 0 0 10 10 0 0 10 0 0 0 0 10 10 10 0 0 0 0 0 10 0 10 0 10 0 10 10 10 10 10 0 10 0 0 10 10 10 0 10 10 0 0 10 0 0 0 10 10 0 0 10 10 0 10 0 10 0 10 10 10 10 10 0 0 10 0 10 0 0 0 10 10 10 10 0 10 0 0 10 10 10 10 10 10 0 0 10 10 0 0 10 0 10 0 0 10 0 10 0 0 0 10 0 0 0 10 10 10 10 10 0 0 10 10 10 10 0 10 10 10 0 0 10 0 10 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 10 0 10 0 0 10 0 10 10 10 10 0 0 0 0 10 0 10 0 10 10 0 0 5 10 10 10 10 10 10 0 0 0 10 10 10 0 0 0 10 10 10 10 0 0 10 0 0 10 10 0 10 10 10 0 10 10 10 10 10 10 10 0 10 10 0 0 10 0 0 10 10 10 10 0 0 0 0 0 0 10 0 10 0 10 0 10 10 0 10 10 0 0 0 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 10 10 10 0 10 0 0 10 10 0 10 10 0 10 10 0 10 0 0 10 10 10 0 10 10 0 0 10 10 10 0 0 10 10 0 10 0 10 10 10 10 10 10 0 10 10 0 10 0 10 0 0 0 10 10 10 10 0 0 10 10 10 0 0 10 10 0 10 0 10 10 0 10 0 10 0 10 10 0 0 0 10 10 0 0 10 10 0 10 10 0 10 0 0 10 0 0 0 0 10 10 10 10 0 0 10 0 10 0 0 0 10 0 0 10 10 0 10 10 0 0 0 0 0 10 0 10 0 0 0 10 0 0 10 10 0 10 0 10 0 10 0 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 10 10 10 0 10 0 0 10 10 10 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 10 10 10 10 10 0 0 10 0 0 10 0 10 10 10 0 0 10 0 10 0 0 10 10 0 10 0 10 0 10 10 10 0 0 10 0 0 10 10 10 10 0 10 10 0 0 0 10 0 0 10 0 10 10 10 10 0 0 0 0 0 10 0 10 10 10 0 0 10 10 10 0 10 0 10 10 10 10 0 0 0 10 10 10 10 0 10 10 10 10 0 10 0 0 10 0 10 0 10 10 0 10 10 0 0 10 10 10 10 10 0 10 0 0 10 10 0 10 10 10 10 10 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 0 0 0 10 0 10 0 0 10 10 0 10 0 0 0 0 10 10 10 10 0 0 10 10 10 0 10 0 0 0 0 0 10 10 0 0 10 10 0 0 0 10 10 0 10 0 0 10 0 0 10 0 10 0 0 0 0 0 10 0 10 10 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 10 0 10 10 10 10 0 0 0 10 0 0 0 0 10 10 10 0 10 10 0 0 10 0 10 0 0 0 0 10 10 10 10 10 0 0 10 10 10 10 10 10 0 0 10 0 0 10 10 10 10 10 0 0 0 10 10 10 10 0 0 5 10 0 10 10 0 10 0 0 0 0 10 0 0 10 10 0 0 10 10 10 0 10 10 0 10 10 0 10 0 0 10 10 0 0 0 10 0 0 0 0 10 10 0 0 10 0 10 10 10 10 0 0 10 10 0 0 0 0 10 10 0 10 10 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 0 0 10 10 10 0 0 0 10 0 10 10 10 0 0 0 0 0 10 10 10 10 10 10 10 0 10 0 0 10 0 0 0 10 0 10 10 10 10 10 0 0 0 10 0 0 10 10 0 10 9 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 10 0 10 0 10 10 10 10 0 0 10 10 10 0 10 0 0 0 10 10 10 10 10 10 10 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 0 10 10 10 0 10 0 0 0 0 0 0 0 10 10 0 10 10 0 0 10 0 0 10 10 0 10 0 10 10 10 10 10 10 10 0 0 10 10 0 10 0 0 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 0 10 0 0 0 10 10 10 0 10 0 0 10 0 0 0 10 10 0 10 0 0 10 0 10 0 10 0 0 0 10 0 10 10 0 0 10 0 10 0 0 10 10 10 10 10 10 0 8 0 0 10 0 10 0 0 10 0 10 10 0 0 10 0 0 0 10 10 0 10 10 10 10 0 10 0 10 0 10 10 10 0 0 10 10 0 10 10 0 10 10 0 0 10 10 0 10 0 0 0 0 10 10 10 10 10 10 0 0 10 10 0 10 10 0 0 0 0 0 10 0 0 0 10 10 0 0 0 10 10 0 0 10 0 0 10 10 0 10 0 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 0 0 10 10 10 0 10 0 10 0 10 0 0 0 10 10 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 0 0 10 0 10 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 10 10 0 0 0 10 10 0 10 0 0 0 0 0 10 0 10 0 10 0 10 0 10 10 0 0 10 10 10 10 10 0 0 10 0 0 0 10 0 10 10 10 0 10 10 0 0 10 10 0 0 0 0 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 0 10 0 10 10 0 0 0 10 0 0 10 10 0 10 10 10 0 10 10 0 0 0 10 0 0 10 0 10 10 0 0 0 10 10 0 10 0 10 10 0 0 10 0 0 0 10 0 10 10 10 0 0 0 10 0 10 0 0 10 0 0 10 0 0 10 10 10 0 10 0 10 0 10 0 10 10 0 10 0 0 0 10 10 10 10 10 0 10 0 10 0 10 0 10 0 10 0 9 10 10 10 0 0 0 0 10 0 10 10 10 0 10 10 10 10 0 10 0 0 10 10 10 0 10 10 10 10 10 10 10 0 10 10 0 10 0 0 10 0 10 10 10 10 0 0 10 0 0 0 0 10 0 10 0 10 0 10 10 0 0 10 0 0 10 0 10 0 0 0 10 0 10 0 0 10 0 10 10 0 10 10 0 10 10 0 10 10 0 0 10 0 10 10 10 0 10 10 0 10 0 10 0 0 10 0 10 0 0 0 0 10 10 10 0 10 0 10 0 0 10 0 10 0 0 10 10 10 10 0 0 0 0 10 10 0 10 10 10 10 0 10 10 10 0 10 0 0 0 0 0 10 10 0 0 10 0 0 10 10 10 10 0 10 0 0 0 0 10 0 10 10 0 10 10 10 0 0 0 10 0 10 10 0 0 10 10 10 0 10 0 10 0 0 0 10 10 0 10 10 0 0 10 10 0 10 0 0 10 10 0 10 10 0 0 0 10 10 0 10 10 0 0 0 0 10 10 0 0 0 10 0 0 10 10 10 0 0 10 0 10 0 0 0 10 10 0 0 10 10 10 0 0 10 10 0 10 0 10 0 0 0 0 10 0 0 10 10 0 0 0 0 10 10 10 0 10 0 10 10 10 0 10 0 10 10 0 10 0 0 0 10 0 0 10 0 0 10 0 10 10 10 0 10 10 10 10 10 10 0 10 0 0 0 10 10 10 0 0 0 0 10 0 10 10 10 10 0 10 10 10 10 0 10 0 10 0 0 0 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 0 10 0 0 0 10 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 0 10 10 0 0 0 0 10 10 10 0 0 0 10 10 10 0 0 0 0 10 10 10 0 0 10 10 10 0 10 10 10 10 0 10 10 10 0 10 0 10 10 0 10 0 10 10 0 10 0 0 </values> 2519.94/2520.01 v </instantiation> 2519.94/2520.01
OK 581973846
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 (11882 MiB free)
memory of node 1: 16384 MiB (13614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293959-1532382075/watcher-4293959-1532382075 -o /tmp/evaluation-result-4293959-1532382075/solver-4293959-1532382075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20797 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293959-1532382075.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=22161, runsolver pid=22158
[startup+0.101078 s]*
/proc/loadavg: 2.05 2.04 2.05 3/191 22162
/proc/meminfo: memFree=26083988/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=51264 memory=27528 CPUtime=0.09 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 7061 0 0 0 9 0 0 0 20 0 1 0 55770789 52494336 6882 33554432000 4194304 6142532 140720907236576 140720907231704 140665227046073 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 12816 6882 782 476 0 6138 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51264 KiB
Current children cumulated memory: 27528 KiB
[startup+0.209753 s]*
/proc/loadavg: 2.05 2.04 2.05 3/191 22162
/proc/meminfo: memFree=26066520/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=68476 memory=44688 CPUtime=0.21 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 11373 0 0 0 20 1 0 0 20 0 1 0 55770789 70119424 11172 33554432000 4194304 6142532 140720907236576 140720907233224 140665223564261 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 17119 11172 807 476 0 10441 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 68476 KiB
Current children cumulated memory: 44688 KiB
[startup+0.309658 s]*
/proc/loadavg: 2.05 2.04 2.05 3/191 22162
/proc/meminfo: memFree=26041596/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=93032 memory=69240 CPUtime=0.3 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 17513 0 0 0 29 1 0 0 20 0 1 0 55770789 95264768 17310 33554432000 4194304 6142532 140720907236576 140720907233224 140665223564261 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 23258 17310 807 476 0 16580 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93032 KiB
Current children cumulated memory: 69240 KiB
[startup+0.700341 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 22162
/proc/meminfo: memFree=25990260/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=187264 memory=163488 CPUtime=0.68 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 41070 0 0 0 63 5 0 0 20 0 1 0 55770789 191758336 40872 33554432000 4194304 6142532 140720907236576 140720907233224 140665223564261 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 46816 40872 807 476 0 40138 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 187264 KiB
Current children cumulated memory: 163488 KiB
[startup+1.50023 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 22162
/proc/meminfo: memFree=25892300/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=237612 memory=213680 CPUtime=1.48 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 53622 0 0 0 141 7 0 0 20 0 1 0 55770789 243314688 53420 33554432000 4194304 6142532 140720907236576 140720907230952 5801101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 59403 53420 812 476 0 52725 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 237612 KiB
Current children cumulated memory: 213680 KiB
[startup+3.1094 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 22162
/proc/meminfo: memFree=25854104/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=253304 memory=228848 CPUtime=3.09 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 58438 0 0 0 301 8 0 0 20 0 1 0 55770789 259383296 57212 33554432000 4194304 6142532 140720907236576 140720907233224 5802363 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 63326 57212 812 476 0 56648 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 253304 KiB
Current children cumulated memory: 228848 KiB
[startup+6.30031 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 22162
/proc/meminfo: memFree=25780120/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=284716 memory=259284 CPUtime=6.28 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 67904 0 0 0 619 9 0 0 20 0 1 0 55770789 291549184 64821 33554432000 4194304 6142532 140720907236576 140720907231288 5796150 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 71179 64821 812 476 0 64501 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 284716 KiB
Current children cumulated memory: 259284 KiB
[startup+12.7002 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 22162
/proc/meminfo: memFree=25679220/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=347348 memory=319516 CPUtime=12.68 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 85210 0 0 0 1256 12 0 0 20 0 1 0 55770789 355684352 79879 33554432000 4194304 6142532 140720907236576 140720907233224 5404960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 86837 79879 812 476 0 80159 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 347348 KiB
Current children cumulated memory: 319516 KiB
[startup+25.5002 s]
/proc/loadavg: 2.03 2.04 2.05 3/191 22162
/proc/meminfo: memFree=25430500/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=472620 memory=440544 CPUtime=25.49 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 118747 0 0 0 2532 17 0 0 20 0 1 0 55770789 483962880 110136 33554432000 4194304 6142532 140720907236576 140720907233224 5404814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 118155 110136 812 476 0 111477 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 472620 KiB
Current children cumulated memory: 440544 KiB
[startup+51.1096 s]
/proc/loadavg: 2.02 2.03 2.05 3/191 22162
/proc/meminfo: memFree=24825408/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=789604 memory=749824 CPUtime=51.1 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 208266 0 0 0 5081 29 0 0 20 0 1 0 55770789 808554496 187456 33554432000 4194304 6142532 140720907236576 140720907233224 5044599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 197401 187456 818 476 0 190723 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 789604 KiB
Current children cumulated memory: 749824 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 22163
/proc/meminfo: memFree=24588128/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=919092 memory=876976 CPUtime=102.28 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 461710 0 0 0 10187 41 0 0 20 0 1 0 55770789 941150208 219244 33554432000 4194304 6142532 140720907236576 140720907233208 5013944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 229773 219244 860 476 0 223095 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 919092 KiB
Current children cumulated memory: 876976 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 22164
/proc/meminfo: memFree=24529260/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=961980 memory=917208 CPUtime=162.28 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 582473 0 0 0 16181 47 0 0 20 0 1 0 55770789 985067520 229302 33554432000 4194304 6142532 140720907236576 140720907233368 5146805 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 240495 229302 860 476 0 233817 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 961980 KiB
Current children cumulated memory: 917208 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 22165
/proc/meminfo: memFree=24437300/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1010408 memory=963356 CPUtime=222.29 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 765055 0 0 0 22171 58 0 0 20 0 1 0 55770789 1034657792 240839 33554432000 4194304 6142532 140720907236576 140720907233320 5146999 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 252602 240839 860 476 0 245924 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 1010408 KiB
Current children cumulated memory: 963356 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 22166
/proc/meminfo: memFree=24410448/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1020412 memory=972300 CPUtime=282.28 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 939609 0 0 0 28161 67 0 0 20 0 1 0 55770789 1044901888 243075 33554432000 4194304 6142532 140720907236576 140720907233208 5048024 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 255103 243075 860 476 0 248425 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 1020412 KiB
Current children cumulated memory: 972300 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22168
/proc/meminfo: memFree=24395456/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1020840 memory=973000 CPUtime=342.28 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 1111187 0 0 0 34152 76 0 0 20 0 1 0 55770789 1045340160 243250 33554432000 4194304 6142532 140720907236576 140720907233208 5375774 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 255210 243250 860 476 0 248532 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 1020840 KiB
Current children cumulated memory: 973000 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22169
/proc/meminfo: memFree=24263560/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1094084 memory=1041744 CPUtime=402.28 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 1323938 0 0 0 40139 89 0 0 20 0 1 0 55770789 1120342016 260436 33554432000 4194304 6142532 140720907236576 140720907233400 5366701 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 273521 260436 860 476 0 266843 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 1094084 KiB
Current children cumulated memory: 1041744 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22170
/proc/meminfo: memFree=24257228/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1096180 memory=1043944 CPUtime=462.28 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 1460781 0 0 0 46132 96 0 0 20 0 1 0 55770789 1122488320 260986 33554432000 4194304 6142532 140720907236576 140720907233208 5366690 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 274045 260986 860 476 0 267367 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 1096180 KiB
Current children cumulated memory: 1043944 KiB
################
# More data... #
################
/proc/22161/statm: 286750 277495 862 476 0 280072 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1109980 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 22262
/proc/meminfo: memFree=23910832/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1111476 CPUtime=1782.24 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3400207 0 0 0 178023 201 0 0 20 0 1 0 55770789 1174528000 277869 33554432000 4194304 6142532 140720907236576 140720907234104 5361213 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 277869 862 476 0 280072 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1111476 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 22265
/proc/meminfo: memFree=23899040/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1119488 CPUtime=1842.24 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3403905 0 0 0 184022 202 0 0 20 0 1 0 55770789 1174528000 279872 33554432000 4194304 6142532 140720907236576 140720907234104 5215644 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 279872 862 476 0 280072 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1119488 KiB
[startup+1902.3 s]
/proc/loadavg: 2.44 2.12 2.08 3/193 22266
/proc/meminfo: memFree=23878868/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122332 CPUtime=1902.24 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3405174 0 0 0 190022 202 0 0 20 0 1 0 55770789 1174528000 280583 33554432000 4194304 6142532 140720907236576 140720907234104 5371719 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280583 862 476 0 280072 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122332 KiB
[startup+1962.3 s]
/proc/loadavg: 2.26 2.14 2.09 3/193 22267
/proc/meminfo: memFree=23868404/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122332 CPUtime=1962.24 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3406388 0 0 0 196022 202 0 0 20 0 1 0 55770789 1174528000 280583 33554432000 4194304 6142532 140720907236576 140720907234104 5367159 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280583 862 476 0 280072 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122332 KiB
[startup+2022.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/193 22268
/proc/meminfo: memFree=23859260/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122332 CPUtime=2022.24 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3407657 0 0 0 202022 202 0 0 20 0 1 0 55770789 1174528000 280583 33554432000 4194304 6142532 140720907236576 140720907234104 5374342 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280583 862 476 0 280072 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122332 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/192 22269
/proc/meminfo: memFree=23858952/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122332 CPUtime=2082.23 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3408812 0 0 0 208021 202 0 0 20 0 1 0 55770789 1174528000 280583 33554432000 4194304 6142532 140720907236576 140720907234104 5366642 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280583 862 476 0 280072 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122332 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/190 22270
/proc/meminfo: memFree=23858912/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122332 CPUtime=2142.23 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3409987 0 0 0 214021 202 0 0 20 0 1 0 55770789 1174528000 280583 33554432000 4194304 6142532 140720907236576 140720907234104 5372465 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280583 862 476 0 280072 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122332 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/190 22271
/proc/meminfo: memFree=23858812/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122332 CPUtime=2202.23 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3412451 0 0 0 220021 202 0 0 20 0 1 0 55770789 1174528000 280583 33554432000 4194304 6142532 140720907236576 140720907234104 140665224484752 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280583 862 476 0 280072 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122332 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/190 22272
/proc/meminfo: memFree=23859052/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122336 CPUtime=2262.23 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3418777 0 0 0 226020 203 0 0 20 0 1 0 55770789 1174528000 280584 33554432000 4194304 6142532 140720907236576 140720907234104 140665224488524 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280584 862 476 0 280072 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122336 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/190 22273
/proc/meminfo: memFree=23858672/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122336 CPUtime=2322.23 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3421081 0 0 0 232020 203 0 0 20 0 1 0 55770789 1174528000 280584 33554432000 4194304 6142532 140720907236576 140720907234104 140665224487812 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280584 862 476 0 280072 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122336 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 22283
/proc/meminfo: memFree=23858396/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122336 CPUtime=2382.24 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3423274 0 0 0 238020 204 0 0 20 0 1 0 55770789 1174528000 280584 33554432000 4194304 6142532 140720907236576 140720907234104 5366776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280584 862 476 0 280072 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122336 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 22284
/proc/meminfo: memFree=23856032/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122336 CPUtime=2442.24 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3427450 0 0 0 244020 204 0 0 20 0 1 0 55770789 1174528000 280584 33554432000 4194304 6142532 140720907236576 140720907234104 140665233509208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280584 862 476 0 280072 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122336 KiB
[startup+2502.3 s]
/proc/loadavg: 2.17 2.07 2.06 3/192 22413
/proc/meminfo: memFree=26026736/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122336 CPUtime=2502.24 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3428494 0 0 0 250020 204 0 0 20 0 1 0 55770789 1174528000 280584 33554432000 4194304 6142532 140720907236576 140720907234104 5371842 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280584 862 476 0 280072 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122336 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.12 2.07 2.06 3/192 22413
/proc/meminfo: memFree=25926296/32770624 swapFree=67108860/67108860
[pid=22161] ppid=22158 vsize=1147000 memory=1122336 CPUtime=2519.94 cores=1,3,5,7
/proc/22161/stat : 22161 (cosoco) R 22158 22161 20765 0 -1 4202496 3429018 0 0 0 251790 204 0 0 20 0 1 0 55770789 1174528000 280584 33554432000 4194304 6142532 140720907236576 140720907234104 5366776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22016000 140720907244678 140720907244808 140720907244808 140720907247566 0
/proc/22161/statm: 286750 280584 862 476 0 280072 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 1147000 KiB
Current children cumulated memory: 1122336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 22161 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.91 s, system=2.053 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.97
CPU user time (s): 2517.91
CPU system time (s): 2.053
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 1147000
Max. memory (cumulated for all children) (KiB): 1122336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.91
system time used= 2.053
maximum resident set size= 1122396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3429090
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= 105
involuntary context switches= 760
# summary of solver processes directly reported to runsolver:
# pid: 22161
# total CPU time (s): 2519.97
# total CPU user time (s): 2517.91
# total CPU system time (s): 2.053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.29592 second user time and 17.4454 second system time
The end
Begin job on node134 at 2018-07-23 23:41:16 IDJOB=4293959 IDBENCH=141274 IDSOLVER=2752 FILE ID=node134/4293959-1532382075 RUNJOBID= node134-1532369368-20797 PBS_JOBID= 21021570 Free space on /tmp= 55664 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293959-1532382075/watcher-4293959-1532382075 -o /tmp/evaluation-result-4293959-1532382075/solver-4293959-1532382075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20797 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293959-1532382075.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1 RANDOM SEED=1088371948 node134.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.68 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.68 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.68 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.68 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: 26108296 kB MemAvailable: 30973332 kB Buffers: 198056 kB Cached: 4928400 kB SwapCached: 0 kB Active: 2767464 kB Inactive: 3413236 kB Active(anon): 1003444 kB Inactive(anon): 70292 kB Active(file): 1764020 kB Inactive(file): 3342944 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 127144 kB Writeback: 4 kB AnonPages: 1030368 kB Mapped: 39772 kB Shmem: 17056 kB Slab: 176564 kB SReclaimable: 147812 kB SUnreclaim: 28752 kB KernelStack: 3392 kB PageTables: 7244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1364440 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55840 MiB End job on node134 at 2018-07-24 00:23:16