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) | 287165498 | 2520.07 | 2520.02 |
| Name | Fapp/Fapp-ext/ Fapp-ext-test03-0400_c18.xml |
| MD5SUM | 29f041b3bfd87680276f887da1fa13d6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 287165498 |
| Best CPU time to get the best result obtained on this benchmark | 2520.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6864 |
| Number of constraints | 4370 |
| Number of domains | 85 |
| Minimum domain size | 1 |
| Maximum domain size | 175 |
| Distribution of domain sizes | [{"size":1,"count":8},{"size":2,"count":2413},{"size":11,"count":2021},{"size":12,"count":1},{"size":21,"count":15},{"size":26,"count":8},{"size":29,"count":37},{"size":31,"count":9},{"size":32,"count":9},{"size":33,"count":36},{"size":35,"count":22},{"size":37,"count":62},{"size":41,"count":51},{"size":43,"count":13},{"size":44,"count":6},{"size":47,"count":16},{"size":49,"count":20},{"size":51,"count":47},{"size":53,"count":8},{"size":55,"count":14},{"size":56,"count":16},{"size":57,"count":3},{"size":59,"count":3},{"size":61,"count":30},{"size":63,"count":21},"...",{"size":91,"count":18}, {"size":93,"count":6}, {"size":94,"count":7}, {"size":97,"count":4}, {"size":99,"count":11}, {"size":101,"count":31}, {"size":103,"count":5}, {"size":105,"count":6}, {"size":107,"count":14}, {"size":109,"count":15}, {"size":113,"count":11}, {"size":115,"count":20}, {"size":117,"count":3}, {"size":123,"count":35}, {"size":127,"count":5}, {"size":135,"count":20}, {"size":136,"count":127}, {"size":137,"count":28}, {"size":153,"count":82}, {"size":158,"count":107}, {"size":160,"count":191}, {"size":163,"count":78}, {"size":165,"count":126}, {"size":167,"count":89}, {"size":175,"count":655}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2022 |
| Distribution of variable degrees | [{"degree":2,"count":6063},{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":22},{"degree":6,"count":42},{"degree":7,"count":47},{"degree":8,"count":59},{"degree":9,"count":62},{"degree":10,"count":77},{"degree":11,"count":88},{"degree":12,"count":91},{"degree":13,"count":96},{"degree":14,"count":131},{"degree":15,"count":70},{"degree":2022,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":328},{"arity":3,"count":2021},{"arity":6,"count":2021}] |
| Number of extensional constraints | 4370 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":4370}] |
| Optimization problem | YES |
| Type of objective | min SUM |
168.10/168.11 c best=?? lower=0 upper=490153130 1507.47/1507.57 c 1507.47/1507.57 c This is cosoco 1.12 -- 1507.47/1507.57 c 1507.47/1507.57 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299004-1532781093.xml 1507.47/1507.57 c enable optimization 1507.47/1507.57 c ========================================[ Problem Statistics ]=========================================== 1507.47/1507.57 c | 1507.47/1507.57 c | Parse time : 167.36 s 1507.47/1507.57 c | 1507.47/1507.57 c | Variables: 6864 1507.47/1507.57 c | Domain Sizes: 1..175 1507.47/1507.57 c | 1507.47/1507.57 c | Constraints: 4371 1507.47/1507.57 c | Arity: 2..4043 -- Binary: 328 -- Ternary: 2021 1507.47/1507.57 c | 1507.47/1507.57 c | Types: 1507.47/1507.57 c | Extension: 4370 (nb tuples: 0..30625) -- (shared: 0) 1507.47/1507.57 c | Sum: 1 1507.47/1507.57 c | 1507.47/1507.57 c | Objective: Minimize Sum 1507.47/1507.57 1507.47/1507.57 c ========================================================================================================= 1507.47/1507.57 o 457318144 1507.47/1507.57 c 1 calls to solver: best=457318144 lower=0 upper=457318143 1855.49/1855.53 o 287165498 2520.05/2520.01 2520.05/2520.01 c *** INTERRUPTED *** 2520.05/2520.01 c restarts : 59 2520.05/2520.01 c conflicts : 276099 (110 /sec) 2520.05/2520.01 c decisions : 578233 (230 /sec) 2520.05/2520.01 c propagations : 266960726 (106071 /sec) 2520.05/2520.01 c root propagations : 12339 2520.05/2520.01 c filter calls : 53347459 (21196 /sec) 2520.05/2520.01 c useless filter calls : 28727813 (53 %) 2520.05/2520.01 c Memory used : 2380.75 MB 2520.05/2520.01 c CPU time : 2516.82 s 2520.05/2520.01 2520.05/2520.01 c nb Solutions = 2 2520.05/2520.01 s SATISFIABLE 2520.05/2520.01 c Best value found: 287165498 2520.05/2520.01 2520.05/2520.01 2520.05/2520.01 v <instantiation type='solution' cost='287165498'> 2520.05/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[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[20] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[30] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[31] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[32] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[33] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[34] f[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[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[30] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[31] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[32] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[33] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[34] p[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[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[180] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[181] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[182] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[183] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[184] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[185] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[186] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[187] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[188] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[189] v1[18] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[190] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[191] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[192] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[193] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[194] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[195] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[196] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[197] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[198] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[199] v1[19] v1[1] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[200] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[201] v1[2020] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[20] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[156] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[157] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[158] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[159] v2[15] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[160] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[161] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[162] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[163] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[164] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[165] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[166] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[167] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[168] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[169] v2[16] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[170] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[171] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[172] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[173] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[174] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[175] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[176] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[177] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[178] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[179] v2[17] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[180] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[181] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[182] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[183] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[184] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[185] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[186] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[187] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[188] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[189] v2[18] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[190] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[191] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[192] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[193] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[194] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[195] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[196] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[197] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[198] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[199] v2[19] v2[1] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[200] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[201] v2[2020] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list> 2520.05/2520.01 v <values>100 260 364 96 208 72 312 272 96 284 300 648 308 208 240 328 312 152 244 76 320 128 88 196 320 72 208 16 100 236 344 236 196 264 72 292 16 236 28 280 20 148 40 152 220 172 132 296 232 292 464 492 388 308 48 88 412 36 348 424 108 536 484 248 68 52 420 60 212 36 96 152 252 280 112 96 116 260 332 60 528 152 496 164 228 568 656 576 312 212 476 468 36 448 68 280 564 616 216 140 120 352 112 288 572 616 452 40 24 28 112 456 168 64 4 596 536 160 100 372 244 536 92 628 116 400 644 288 224 80 536 384 108 264 380 36 68 412 96 140 68 372 156 156 204 360 192 148 304 196 252 320 44 204 32 456 44 468 204 104 352 428 68 208 568 16 620 568 388 148 160 44 16 52 172 500 128 400 72 340 452 472 112 44 564 632 168 548 76 80 620 64 268 192 168 304 196 344 372 396 232 196 256 172 304 184 160 236 24 72 224 168 324 32 56 420 156 24 132 48 576 168 292 576 332 360 136 196 356 68 64 448 384 112 640 300 504 580 572 456 496 512 512 32 80 448 416 220 116 24 380 84 40 508 596 52 108 376 152 188 276 268 232 152 12 244 180 272 128 40 336 268 296 312 160 104 208 308 424 428 420 380 308 372 48 60 308 112 192 468 36 72 192 340 16 336 68 12 192 640 20 64 224 68 120 444 88 492 468 68 52 116 336 68 444 124 152 24 456 252 156 192 212 664 40 404 612 264 96 572 252 76 16 164 156 320 192 320 240 296 380 368 16 344 536 600 436 420 400 440 492 160 16 576 40 292 356 508 544 396 72 404 196 536 152 504 44 440 468 44 276 292 116 264 124 136 360 24 180 476 40 260 136 52 296 112 112 36 380 440 556 60 76 280 20 52 88 324 112 268 260 436 124 152 28 116 348 140 408 312 44 28 44 508 16 108 360 20 100 272 324 24 380 552 372 648 68 164 400 328 276 76 68 28 44 32 376 348 464 416 656 92 64 424 96 60 440 596 448 20 584 84 256 200 384 96 120 48 208 8 624 380 496 428 44 4 332 140 192 228 232 172 216 120 56 28 52 40 96 72 436 272 120 120 396 420 512 432 8 52 32 144 80 428 492 500 48 508 60 196 532 524 596 640 680 312 572 152 144 396 620 168 412 152 360 324 144 160 376 352 636 20 516 608 324 432 472 236 76 200 120 280 124 280 304 312 244 76 356 560 80 144 12 180 92 200 28 120 172 36 32 96 424 456 88 64 88 108 236 56 420 224 304 168 76 140 592 464 60 60 412 316 100 144 104 72 64 76 192 100 384 116 264 236 224 424 136 360 68 20 116 236 140 200 96 172 64 92 480 92 500 340 28 620 220 268 336 268 228 296 660 244 316 228 288 336 104 100 192 176 280 24 212 592 608 556 396 228 396 160 112 80 172 144 48 420 92 524 136 248 28 516 92 40 60 384 156 124 20 160 124 392 56 356 224 436 408 572 20 20 108 476 88 208 244 316 116 12 504 92 68 264 80 436 244 96 340 36 332 140 128 240 64 104 220 284 292 116 192 84 228 124 392 272 232 188 388 236 132 24 320 236 308 72 64 156 132 84 100 232 380 648 436 340 604 540 608 32 8 480 464 340 48 440 56 344 576 284 136 428 480 88 336 328 524 464 548 92 176 204 68 136 96 244 76 616 108 132 440 376 116 584 220 464 200 276 108 428 356 472 52 48 404 492 40 8 136 120 404 252 408 216 156 44 304 8 44 648 496 344 360 60 124 192 352 32 76 104 76 164 380 436 88 364 416 484 84 84 48 344 128 40 424 576 48 560 388 60 540 68 284 140 552 388 20 164 388 224 388 164 152 280 308 96 44 284 280 36 436 524 124 208 516 244 192 452 404 96 164 84 204 88 60 192 480 64 80 68 584 532 508 496 24 500 184 492 356 624 260 52 384 468 280 412 28 460 476 236 480 264 20 304 140 332 176 208 68 340 52 324 480 108 260 180 512 604 40 344 128 180 504 84 612 552 80 436 452 20 88 316 32 72 648 588 636 104 200 100 416 648 596 68 512 224 156 472 416 136 84 620 296 500 52 524 248 284 188 348 188 52 160 80 20 360 488 504 284 324 616 368 204 100 32 596 500 336 356 72 560 100 72 96 244 100 252 16 28 532 520 264 136 328 272 124 120 488 656 280 56 236 216 64 200 452 412 24 176 144 364 220 264 304 276 380 44 288 28 108 200 492 268 44 424 400 556 28 28 320 260 228 396 120 436 268 204 156 8 368 412 320 248 380 252 56 260 156 496 68 56 108 464 116 216 400 64 72 4 508 136 256 80 20 56 40 600 464 504 120 36 84 144 8 400 484 200 56 508 56 52 268 596 320 308 192 448 128 88 336 420 576 364 104 32 48 52 148 80 68 564 564 132 228 176 216 96 180 500 144 72 236 72 372 292 64 408 8 32 428 96 32 296 244 208 28 56 532 60 92 396 396 140 296 184 532 8 100 56 500 456 380 452 176 80 100 232 376 296 36 516 104 12 568 64 168 352 452 140 632 76 400 552 464 340 544 388 416 72 40 20 40 60 376 196 244 60 392 96 132 256 56 380 164 108 292 348 232 232 156 204 300 300 48 40 320 252 176 308 304 404 316 80 344 192 192 100 404 520 444 136 148 436 500 572 228 572 328 444 272 376 688 116 484 620 176 396 224 468 144 368 276 572 12 512 300 192 64 516 564 208 140 28 544 324 244 68 52 308 528 96 212 120 68 168 384 44 112 56 96 108 252 124 312 476 68 92 444 120 244 208 376 156 436 104 516 356 268 252 264 152 156 308 132 172 104 180 120 40 240 56 212 100 500 380 44 344 528 24 456 500 540 292 60 116 488 80 584 636 40 272 244 300 32 112 180 320 304 252 636 168 280 300 264 256 180 80 432 488 84 164 84 276 192 100 208 208 228 220 328 244 260 32 84 260 32 72 236 508 392 624 480 636 4 324 32 100 100 320 44 244 392 192 432 556 352 500 392 8 420 328 448 596 304 428 480 324 488 520 420 520 412 452 316 108 192 468 60 112 256 128 124 204 256 272 108 292 500 280 336 540 148 68 632 368 256 592 572 244 572 528 24 512 376 252 64 268 248 92 84 140 268 148 288 380 420 228 188 344 232 500 64 236 196 276 220 244 188 344 304 96 220 172 212 148 28 348 40 416 144 120 328 124 220 20 344 36 424 512 452 512 28 56 432 200 216 144 296 148 156 476 32 532 308 152 148 88 540 176 128 520 612 52 68 80 448 492 556 208 264 56 44 248 296 252 116 532 16 308 204 328 88 196 156 400 376 396 40 36 272 276 216 144 252 236 232 268 328 308 380 268 144 72 232 128 252 112 176 224 248 360 340 284 180 320 256 28 164 496 120 180 64 500 544 544 540 404 212 264 424 116 184 316 96 108 516 4 552 272 644 416 208 264 104 684 376 36 400 548 264 244 36 76 56 580 144 320 288 508 128 152 396 608 528 480 164 132 24 396 32 144 148 24 372 40 380 496 200 48 236 300 516 380 48 36 20 516 28 40 68 80 228 272 188 124 20 348 296 304 624 328 140 92 320 352 208 248 76 560 460 412 292 60 672 408 268 296 180 96 100 176 548 252 240 212 88 288 232 348 264 104 312 592 480 160 316 520 36 412 144 72 92 12 564 220 52 64 96 416 96 40 44 32 84 592 124 252 396 120 60 280 88 312 348 232 236 240 316 124 232 256 224 220 488 64 180 436 496 644 68 80 48 64 108 276 296 112 512 48 60 248 196 168 112 300 256 188 308 104 516 112 444 436 428 128 432 104 88 396 284 592 96 56 88 44 420 556 20 68 228 512 64 608 260 280 396 8 220 260 112 100 456 16 88 168 536 496 60 372 72 160 172 200 516 112 24 404 108 212 404 52 536 228 544 56 240 116 280 136 224 28 488 492 620 496 20 580 48 228 468 196 260 284 552 196 68 216 504 588 308 128 640 264 164 60 360 404 92 44 64 44 108 416 116 140 200 172 336 276 132 140 100 404 180 500 292 24 24 340 248 592 20 408 440 604 496 448 352 508 108 60 176 420 468 496 564 48 580 332 92 268 156 344 276 136 76 288 268 276 148 12 256 64 520 76 272 212 380 340 212 92 284 112 140 568 140 64 24 100 408 200 116 104 536 512 368 364 368 580 84 308 128 12 220 176 16 596 576 224 276 88 116 376 216 204 80 64 512 356 180 128 160 288 152 320 116 272 92 252 36 52 180 356 180 340 460 72 468 356 148 452 16 272 168 196 24 276 56 76 208 176 164 216 100 188 216 508 92 196 120 340 152 44 8 156 300 192 68 200 316 280 308 232 496 380 20 8 196 144 16 272 420 192 380 156 140 352 92 360 332 380 48 536 476 244 200 240 536 64 220 236 248 316 216 276 16 316 312 380 360 256 144 240 416 488 476 252 536 76 540 468 532 288 184 304 204 348 64 216 240 96 160 264 264 160 44 56 424 600 124 268 220 108 116 88 136 452 92 284 248 96 460 204 116 72 216 392 260 376 144 168 472 48 2300 2460 2788 2524 2288 2568 2416 2680 2776 2756 2576 2220 2640 2320 2588 2568 2308 2416 2352 2424 2684 2532 2400 2456 2456 2540 2376 2832 2316 2512 2260 2796 2220 2908 2876 2796 2220 2240 2376 2580 2424 2788 2392 2852 2756 2524 2504 2584 2748 2796 2416 2860 2832 2816 2596 2424 2552 2488 2796 2448 2664 2736 2348 2412 2220 2260 2880 2600 2820 2796 2804 2816 2260 2280 2868 2808 2376 2600 2824 2756 2476 2220 2772 2260 2396 2856 2664 2844 2868 2560 2336 2380 2732 2900 2472 2584 2372 2916 2800 2816 2496 2288 2460 2376 2392 2564 2340 2732 2484 2552 2376 2908 2280 2700 2840 2488 2676 2220 2724 2776 2416 2444 2268 2384 2792 2308 2824 2328 2356 2776 2524 2500 2496 2476 2684 2544 2716 2868 2388 2368 2340 2356 2312 2436 2484 2356 2252 2396 2848 2368 2732 2676 2376 2792 2624 2472 2424 2380 2376 2288 2408 2220 2220 2260 2608 2780 2396 2796 2764 2640 2432 2424 2320 2328 2248 2304 2884 2792 2416 2320 2328 2260 2416 2748 2788 2260 2832 2756 2908 2260 2280 2408 2500 2260 2356 2220 2892 2784 2588 2272 2784 2488 2260 2776 2732 2780 2528 2528 2800 2280 2824 2264 2800 2564 2876 2628 2580 2836 2892 2636 2524 2432 2896 2908 2628 2840 2816 2836 2340 2464 2808 2328 2600 2704 2812 2280 2320 2500 2220 2328 2304 2384 2260 2804 2528 2432 2776 2240 2816 2732 2272 2528 2348 2844 2260 2760 2280 2740 2488 2784 2624 2512 2772 2772 2828 2220 2260 2400 2572 2864 2796 2232 2444 2756 2640 2220 2592 2564 2464 2260 2804 2440 2828 2396 2772 2684 2516 2868 2816 2424 2376 2860 2336 2308 2300 2540 2436 2516 2812 2564 2868 2748 2788 2268 2348 2832 2328 2776 2852 2592 2292 2416 2800 2756 2220 2440 2220 2684 2440 2724 2288 2632 2608 2484 2296 2620 2916 2384 2220 2856 2772 2280 2816 2344 2740 2476 2260 2792 2488 2524 2636 2840 2840 2556 2844 2368 2288 2584 2588 2900 2540 2528 2552 2804 2260 2852 2224 2320 2828 2772 2796 2648 2516 2220 2636 2544 2776 2740 2744 2416 2724 2500 2864 2536 2724 2812 2260 2220 2868 2228 2756 2624 2260 2288 2772 2220 2420 2780 2260 2824 2768 2844 2548 2600 2400 2220 2264 2464 2616 2640 7 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 6 0 0 0 0 0 0 6 0 1 0 0 1 1 2 0 6 0 0 1 0 1 6 6 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 4 0 0 0 4 0 1 0 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 1 0 5 1 0 1 6 0 0 3 0 1 0 0 2 0 0 0 0 2 0 0 0 0 0 0 6 1 0 0 0 0 1 0 0 0 1 0 0 1 0 4 1 0 0 0 1 0 0 0 1 0 1 0 1 0 6 0 0 0 1 1 0 1 0 0 0 0 1 0 6 6 6 0 0 1 0 0 0 0 3 4 1 0 0 6 0 0 6 0 0 1 3 0 0 0 0 1 5 0 6 0 0 0 6 1 6 0 0 0 0 0 1 0 0 0 0 1 0 6 0 1 0 2 0 0 1 0 2 0 1 0 0 0 0 0 6 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 1 0 3 0 1 0 1 3 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 6 0 1 1 0 0 3 0 0 1 0 0 1 0 1 0 0 0 0 6 0 6 2 0 0 1 4 0 0 0 0 1 0 1 1 1 0 0 0 0 0 2 0 0 0 0 0 2 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 3 5 5 0 0 6 0 0 1 0 3 0 0 0 0 0 0 0 1 0 0 1 6 0 0 0 4 0 0 4 6 1 0 1 0 0 1 0 0 1 0 1 1 1 6 0 0 0 0 0 3 1 0 3 0 1 1 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 6 0 1 0 1 0 0 1 0 0 0 5 0 1 0 0 0 0 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 1 5 3 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 0 0 1 0 0 2 1 0 1 0 0 0 0 0 0 6 0 0 0 0 0 6 1 6 0 1 1 0 1 6 1 0 0 0 2 0 0 2 6 0 0 0 1 6 0 6 0 0 6 1 3 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 6 0 0 0 0 0 0 0 6 1 0 0 0 1 0 6 1 0 0 1 0 0 0 0 0 0 0 0 4 0 0 0 3 1 1 6 6 0 0 0 0 0 4 0 0 0 1 0 0 0 1 0 4 1 6 0 0 0 0 1 5 1 1 0 0 0 0 0 1 0 4 0 0 6 1 0 1 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 6 1 0 1 0 1 0 1 0 0 0 0 0 6 1 0 1 5 0 5 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 4 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 1 4 1 0 3 0 0 1 6 0 0 0 6 0 0 1 0 4 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 5 0 0 0 0 1 0 1 6 0 1 1 5 1 2 0 1 0 0 0 1 0 5 0 0 0 0 1 1 6 0 0 0 3 0 6 4 0 1 0 0 6 1 0 2 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 4 0 0 0 6 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 4 0 6 0 0 0 1 0 1 0 0 0 4 0 0 0 0 0 5 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 3 0 1 0 1 0 0 0 0 1 1 1 6 0 0 0 1 1 0 0 0 1 0 1 1 0 6 0 1 0 2 0 0 4 1 0 0 1 0 0 6 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 0 5 0 0 0 0 0 0 0 0 0 6 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 2 2 0 0 6 0 0 0 0 1 0 4 0 0 0 0 1 0 0 1 4 0 3 0 0 0 6 1 0 0 0 0 0 0 1 0 0 0 2 0 0 1 0 1 0 3 0 1 6 1 3 0 0 1 0 0 0 6 6 0 0 2 1 0 1 0 4 0 6 4 1 0 0 5 0 0 0 0 0 1 0 0 0 0 4 1 1 0 0 0 0 0 0 3 0 0 1 0 1 0 0 1 1 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 5 0 6 0 0 0 1 6 0 4 0 0 0 1 1 1 0 0 0 0 6 0 0 1 0 0 0 0 0 0 4 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 4 0 0 0 1 0 0 0 5 6 5 0 0 4 0 0 0 6 1 0 1 0 1 0 0 0 5 1 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 1 0 0 5 6 0 1 0 0 0 0 0 5 0 6 0 1 0 0 0 0 6 0 1 0 0 0 0 0 1 0 1 0 3 1 0 1 6 0 0 0 3 4 0 0 0 0 1 0 0 6 0 1 0 6 0 1 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 2 0 5 0 0 3 0 0 4 1 0 5 0 0 0 1 1 0 0 0 0 1 0 0 0 0 6 0 0 3 0 0 0 5 0 3 0 1 0 2 0 1 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 0 0 4 0 1 0 0 0 0 0 0 0 5 0 0 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 4 1 0 0 0 0 0 1 1 5 0 0 0 6 1 0 0 4 4 0 1 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 1 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 5 0 1 0 0 0 6 0 0 0 5 0 0 5 4 0 0 0 4 0 1 0 0 0 0 0 0 4 0 0 0 0 0 0 0 6 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 5 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 1 6 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 1 0 6 0 0 0 6 0 1 0 6 0 1 0 1 0 0 0 0 0 0 1 1 3 0 6 0 0 0 3 0 0 0 6 1 4 4 0 0 0 0 0 0 0 0 0 6 6 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 6 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 4 0 0 0 0 0 1 0 0 0 1 0 4 0 1 4 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 4 5 0 0 1 4 0 0 5 0 6 0 0 0 6 0 0 0 0 0 6 0 0 0 5 1 0 0 0 1 1 1 0 6 0 0 0 0 6 0 0 1 0 0 0 1 0 0 1 0 1 0 1 5 0 0 0 0 0 1 0 1 3 1 1 0 6 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 2 0 0 1 0 0 0 0 0 6 0 0 3 3 0 5 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 6 0 1 1 6 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 1 1 1 0 3 0 0 0 0 0 6 0 0 0 0 1 5 0 1 0 0 0 0 4 1 0 1 0 6 0 0 0 6 1 0 0 0 6 0 0 1 0 0 0 5 1 0 0 0 0 1 0 1 0 0 0 0 4 1 0 0 0 1 0 0 0 6 0 0 0 1 0 0 0 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 0 0 1 0 0 1 0 1 5 1 6 0 1 0 0 0 0 0 0 0 0 0 0 </values> 2520.05/2520.01 v </instantiation> 2520.05/2520.01
OK 287165498
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 (6204 MiB free)
memory of node 1: 16384 MiB (11050 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299004-1532781093/watcher-4299004-1532781093 -o /tmp/evaluation-result-4299004-1532781093/solver-4299004-1532781093 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299004-1532781093.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=12028, runsolver pid=12025
[startup+0.100167 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12029
/proc/meminfo: memFree=17644908/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=51160 memory=27276 CPUtime=0.09 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 7021 0 0 0 9 0 0 0 20 0 1 0 95672667 52387840 6819 33554432000 4194304 6142532 140725679473440 140725679470072 5800124 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 12790 6819 790 476 0 6112 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51160 KiB
Current children cumulated memory: 27276 KiB
[startup+0.209777 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12029
/proc/meminfo: memFree=17635980/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=60044 memory=36252 CPUtime=0.21 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 9238 0 0 0 20 1 0 0 20 0 1 0 95672667 61485056 9063 33554432000 4194304 6142532 140725679473440 140725679470072 139731423185920 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 15011 9063 790 476 0 8333 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60044 KiB
Current children cumulated memory: 36252 KiB
[startup+0.309272 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12029
/proc/meminfo: memFree=17630472/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=64956 memory=41268 CPUtime=0.3 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 10474 0 0 0 29 1 0 0 20 0 1 0 95672667 66514944 10317 33554432000 4194304 6142532 140725679473440 140725679470072 139731422816811 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 16239 10317 791 476 0 9561 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64956 KiB
Current children cumulated memory: 41268 KiB
[startup+0.700297 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12029
/proc/meminfo: memFree=17627868/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=70940 memory=46872 CPUtime=0.69 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 12316 0 0 0 68 1 0 0 20 0 1 0 95672667 72642560 11718 33554432000 4194304 6142532 140725679473440 140725679470072 5800104 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 17735 11718 791 476 0 11057 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70940 KiB
Current children cumulated memory: 46872 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12029
/proc/meminfo: memFree=17620428/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=80636 memory=55844 CPUtime=1.49 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 14620 0 0 0 147 2 0 0 20 0 1 0 95672667 82571264 13961 33554432000 4194304 6142532 140725679473440 140725679470088 5403315 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 20159 13961 791 476 0 13481 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80636 KiB
Current children cumulated memory: 55844 KiB
[startup+3.10953 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12029
/proc/meminfo: memFree=17556136/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=97348 memory=72340 CPUtime=3.1 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 19746 0 0 0 308 2 0 0 20 0 1 0 95672667 99684352 18085 33554432000 4194304 6142532 140725679473440 140725679470088 5801356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 24337 18085 791 476 0 17659 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 97348 KiB
Current children cumulated memory: 72340 KiB
[startup+6.3003 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 12029
/proc/meminfo: memFree=17521860/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=134724 memory=108220 CPUtime=6.29 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 30413 0 0 0 626 3 0 0 20 0 1 0 95672667 137957376 27055 33554432000 4194304 6142532 140725679473440 140725679470088 5796154 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 33681 27055 791 476 0 27003 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 134724 KiB
Current children cumulated memory: 108220 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 12029
/proc/meminfo: memFree=17500868/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=209264 memory=179872 CPUtime=12.69 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 50596 0 0 0 1263 6 0 0 20 0 1 0 95672667 214286336 44968 33554432000 4194304 6142532 140725679473440 140725679470088 5403292 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 52316 44968 791 476 0 45638 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 209264 KiB
Current children cumulated memory: 179872 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 12029
/proc/meminfo: memFree=17356904/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=356240 memory=320960 CPUtime=25.49 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 89366 0 0 0 2537 12 0 0 20 0 1 0 95672667 364789760 80240 33554432000 4194304 6142532 140725679473440 140725679470088 5802658 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 89060 80240 791 476 0 82382 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 356240 KiB
Current children cumulated memory: 320960 KiB
[startup+51.1095 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 12029
/proc/meminfo: memFree=17070096/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=650036 memory=602856 CPUtime=51.1 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 162636 0 0 0 5088 22 0 0 20 0 1 0 95672667 665636864 150714 33554432000 4194304 6142532 140725679473440 140725679470088 5444988 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 162509 150714 791 476 0 155831 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 650036 KiB
Current children cumulated memory: 602856 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 12030
/proc/meminfo: memFree=16501680/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=1240372 memory=1170528 CPUtime=102.29 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 307137 0 0 0 10187 42 0 0 20 0 1 0 95672667 1270140928 292632 33554432000 4194304 6142532 140725679473440 140725679470088 5802332 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 310093 292632 791 476 0 303415 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1240372 KiB
Current children cumulated memory: 1170528 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 12060
/proc/meminfo: memFree=13150964/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=1820432 memory=1722504 CPUtime=162.28 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 447894 0 0 0 16168 60 0 0 20 0 1 0 95672667 1864122368 430626 33554432000 4194304 6142532 140725679473440 140725679470088 5801870 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 455108 430626 794 476 0 448430 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1820432 KiB
Current children cumulated memory: 1722504 KiB
[startup+222.3 s]
/proc/loadavg: 2.29 2.10 2.07 3/187 12097
/proc/meminfo: memFree=17117568/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2299576 memory=2201252 CPUtime=222.29 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 1200338 0 0 0 22124 105 0 0 20 0 1 0 95672667 2354765824 550313 33554432000 4194304 6142532 140725679473440 140725679470264 5329969 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 574894 550313 848 476 0 568216 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2299576 KiB
Current children cumulated memory: 2201252 KiB
[startup+282.3 s]
/proc/loadavg: 2.15 2.10 2.07 3/187 12098
/proc/meminfo: memFree=16465460/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2304384 memory=2209872 CPUtime=282.29 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 1591557 0 0 0 28103 126 0 0 20 0 1 0 95672667 2359689216 552468 33554432000 4194304 6142532 140725679473440 140725679470072 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 576096 552468 848 476 0 569418 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2304384 KiB
Current children cumulated memory: 2209872 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/187 12099
/proc/meminfo: memFree=15810512/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2304384 memory=2213700 CPUtime=342.29 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 2034267 0 0 0 34085 144 0 0 20 0 1 0 95672667 2359689216 553425 33554432000 4194304 6142532 140725679473440 140725679470072 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 576096 553425 848 476 0 569418 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2304384 KiB
Current children cumulated memory: 2213700 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/187 12100
/proc/meminfo: memFree=15737804/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2364704 memory=2274944 CPUtime=402.28 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 2483225 0 0 0 40060 168 0 0 20 0 1 0 95672667 2421456896 568736 33554432000 4194304 6142532 140725679473440 140725679470072 5017763 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 591176 568736 848 476 0 584498 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2364704 KiB
Current children cumulated memory: 2274944 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/187 12101
/proc/meminfo: memFree=15712288/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2364704 memory=2279004 CPUtime=462.28 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 2790774 0 0 0 46048 180 0 0 20 0 1 0 95672667 2421456896 569751 33554432000 4194304 6142532 140725679473440 140725679470072 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 591176 569751 848 476 0 584498 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2364704 KiB
Current children cumulated memory: 2279004 KiB
################
# More data... #
################
/proc/12028/statm: 608791 602732 850 476 0 602113 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 2435164 KiB
Current children cumulated memory: 2410928 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12169
/proc/meminfo: memFree=15503204/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2435164 memory=2410928 CPUtime=1782.29 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5771272 0 0 0 177909 320 0 0 20 0 1 0 95672667 2493607936 602732 33554432000 4194304 6142532 140725679473440 140725679460712 5175070 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 608791 602732 850 476 0 602113 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 2435164 KiB
Current children cumulated memory: 2410928 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12170
/proc/meminfo: memFree=15497204/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2435164 memory=2410928 CPUtime=1842.29 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5774396 0 0 0 183909 320 0 0 20 0 1 0 95672667 2493607936 602732 33554432000 4194304 6142532 140725679473440 140725679460712 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 608791 602732 850 476 0 602113 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 2435164 KiB
Current children cumulated memory: 2410928 KiB
[startup+1902.3 s]
/proc/loadavg: 2.59 2.16 2.09 3/187 12171
/proc/meminfo: memFree=15487992/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=1902.3 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5780909 0 0 0 189908 322 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+1962.3 s]
/proc/loadavg: 2.28 2.16 2.10 3/187 12172
/proc/meminfo: memFree=15480208/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=1962.31 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5783360 0 0 0 195909 322 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+2022.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/187 12173
/proc/meminfo: memFree=15473672/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2022.31 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5785739 0 0 0 201909 322 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+2082.3 s]
/proc/loadavg: 2.11 2.14 2.10 3/187 12174
/proc/meminfo: memFree=15466384/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2082.31 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5788597 0 0 0 207909 322 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+2142.3 s]
/proc/loadavg: 2.09 2.13 2.10 3/187 12175
/proc/meminfo: memFree=15458600/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2142.32 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5791311 0 0 0 213909 323 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5016509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+2202.3 s]
/proc/loadavg: 2.08 2.12 2.10 3/187 12176
/proc/meminfo: memFree=15451072/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2202.32 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5793539 0 0 0 219909 323 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5138432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+2262.3 s]
/proc/loadavg: 2.03 2.10 2.09 3/187 12177
/proc/meminfo: memFree=15446144/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2262.32 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5796356 0 0 0 225909 323 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.08 2.09 3/188 12186
/proc/meminfo: memFree=15440696/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2322.33 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5799145 0 0 0 231909 324 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5138432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/188 12187
/proc/meminfo: memFree=15436136/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2382.34 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5801353 0 0 0 237910 324 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/188 12188
/proc/meminfo: memFree=15431940/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2442.34 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5803567 0 0 0 243910 324 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5016422 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/188 12189
/proc/meminfo: memFree=15431224/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2502.34 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5806275 0 0 0 249910 324 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.07 3/188 12189
/proc/meminfo: memFree=15431192/32770624 swapFree=67108860/67108860
[pid=12028] ppid=12025 vsize=2437884 memory=2413068 CPUtime=2520.05 cores=1,3,5,7
/proc/12028/stat : 12028 (cosoco) R 12025 12028 11466 0 -1 4202496 5807043 0 0 0 251681 324 0 0 20 0 1 0 95672667 2496393216 603267 33554432000 4194304 6142532 140725679473440 140725679470968 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13094912 140725679481990 140725679482120 140725679482120 140725679484878 0
/proc/12028/statm: 609471 603267 850 476 0 602793 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2437884 KiB
Current children cumulated memory: 2413068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 12028 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.82 s, system=3.2532 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): 2520.07
CPU user time (s): 2516.82
CPU system time (s): 3.2532
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2437884
Max. memory (cumulated for all children) (KiB): 2413068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.82
system time used= 3.2532
maximum resident set size= 2413132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5807116
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= 261
involuntary context switches= 909
# summary of solver processes directly reported to runsolver:
# pid: 12028
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.82
# total CPU system time (s): 3.2532
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.015 second user time and 18.9192 second system time
The end
Begin job on node105 at 2018-07-28 14:31:35 IDJOB=4299004 IDBENCH=141282 IDSOLVER=2761 FILE ID=node105/4299004-1532781093 RUNJOBID= node105-1532776049-11498 PBS_JOBID= 21022469 Free space on /tmp= 43772 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-test03-0400_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299004-1532781093/watcher-4299004-1532781093 -o /tmp/evaluation-result-4299004-1532781093/solver-4299004-1532781093 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299004-1532781093.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 29f041b3bfd87680276f887da1fa13d6 RANDOM SEED=89444630 node105.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.32 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.32 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.32 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.32 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: 17668340 kB MemAvailable: 29998872 kB Buffers: 268588 kB Cached: 12188480 kB SwapCached: 0 kB Active: 5184380 kB Inactive: 9254112 kB Active(anon): 1936120 kB Inactive(anon): 73344 kB Active(file): 3248260 kB Inactive(file): 9180768 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 493476 kB Writeback: 0 kB AnonPages: 1988848 kB Mapped: 45132 kB Shmem: 25228 kB Slab: 357908 kB SReclaimable: 329964 kB SUnreclaim: 27944 kB KernelStack: 3280 kB PageTables: 9032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2282472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1918976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 43784 MiB End job on node105 at 2018-07-28 15:13:35