| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 470973176 | 2520.12 | 2520.02 |
| Name | Fapp/Fapp-ext/ Fapp-ext-03-0300_c18.xml |
| MD5SUM | 4cd5aede9cdfae4f3fb25eb1dc6a899d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 470973176 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6750 |
| Number of constraints | 4376 |
| Number of domains | 77 |
| Minimum domain size | 2 |
| Maximum domain size | 125 |
| Distribution of domain sizes | [{"size":2,"count":2350},{"size":11,"count":2050},{"size":12,"count":1},{"size":21,"count":20},{"size":23,"count":62},{"size":24,"count":4},{"size":25,"count":49},{"size":26,"count":11},{"size":27,"count":33},{"size":28,"count":8},{"size":29,"count":15},{"size":30,"count":3},{"size":31,"count":15},{"size":32,"count":17},{"size":33,"count":16},{"size":34,"count":5},{"size":35,"count":3},{"size":41,"count":2},{"size":43,"count":13},{"size":45,"count":4},{"size":47,"count":7},{"size":53,"count":13},{"size":54,"count":6},{"size":55,"count":19},{"size":57,"count":5},"...",{"size":71,"count":29}, {"size":72,"count":7}, {"size":73,"count":9}, {"size":74,"count":18}, {"size":75,"count":1}, {"size":76,"count":6}, {"size":77,"count":1}, {"size":78,"count":10}, {"size":79,"count":27}, {"size":81,"count":44}, {"size":84,"count":2}, {"size":90,"count":3}, {"size":91,"count":13}, {"size":99,"count":2}, {"size":101,"count":36}, {"size":102,"count":77}, {"size":105,"count":10}, {"size":113,"count":152}, {"size":114,"count":176}, {"size":115,"count":87}, {"size":117,"count":87}, {"size":119,"count":37}, {"size":121,"count":82}, {"size":124,"count":46}, {"size":125,"count":1037}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2051 |
| Distribution of variable degrees | [{"degree":2,"count":6148},{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":5},{"degree":6,"count":11},{"degree":7,"count":12},{"degree":8,"count":20},{"degree":9,"count":18},{"degree":10,"count":21},{"degree":11,"count":30},{"degree":12,"count":39},{"degree":13,"count":45},{"degree":14,"count":47},{"degree":15,"count":54},{"degree":16,"count":61},{"degree":17,"count":83},{"degree":18,"count":104},{"degree":19,"count":49},{"degree":2051,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":277},{"arity":3,"count":2049},{"arity":6,"count":2050}] |
| Number of extensional constraints | 4376 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":4376}] |
| Optimization problem | YES |
| Type of objective | min SUM |
131.59/131.67 c best=?? lower=0 upper=504320500 335.68/335.73 c 335.68/335.73 c This is cosoco 1.12 -- 335.68/335.73 c 335.68/335.73 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298969-1532778710.xml 335.68/335.73 c enable optimization 335.68/335.73 c ========================================[ Problem Statistics ]=========================================== 335.68/335.73 c | 335.68/335.73 c | Parse time : 131.04 s 335.68/335.73 c | 335.68/335.73 c | Variables: 6750 335.68/335.73 c | Domain Sizes: 2..125 335.68/335.73 c | 335.68/335.73 c | Constraints: 4377 335.68/335.73 c | Arity: 2..4101 -- Binary: 277 -- Ternary: 2049 335.68/335.73 c | 335.68/335.73 c | Types: 335.68/335.73 c | Extension: 4376 (nb tuples: 0..15625) -- (shared: 0) 335.68/335.73 c | Sum: 1 335.68/335.73 c | 335.68/335.73 c | Objective: Minimize Sum 335.68/335.73 335.68/335.73 c ========================================================================================================= 335.68/335.73 o 470973176 335.68/335.73 c 1 calls to solver: best=470973176 lower=0 upper=470973175 2520.10/2520.01 2520.10/2520.01 c *** INTERRUPTED *** 2520.10/2520.01 c restarts : 55 2520.10/2520.01 c conflicts : 195478 (78 /sec) 2520.10/2520.01 c decisions : 567028 (225 /sec) 2520.10/2520.01 c propagations : 210700586 (83685 /sec) 2520.10/2520.01 c root propagations : 10819 2520.10/2520.01 c filter calls : 47825969 (18995 /sec) 2520.10/2520.01 c useless filter calls : 27588107 (57 %) 2520.10/2520.01 c Memory used : 1910.80 MB 2520.10/2520.01 c CPU time : 2517.79 s 2520.10/2520.01 2520.10/2520.01 c nb Solutions = 1 2520.10/2520.01 s SATISFIABLE 2520.10/2520.01 c Best value found: 470973176 2520.10/2520.01 2520.10/2520.01 2520.10/2520.01 v <instantiation type='solution' cost='470973176'> 2520.10/2520.01 v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[156] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[157] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[158] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[159] d[15] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[160] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[161] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[162] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[163] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[164] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[165] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[166] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[167] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[168] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[169] d[16] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[170] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[171] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[172] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[173] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[174] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[175] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[176] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[177] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[178] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[179] d[17] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[180] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[181] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[182] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[183] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[184] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[185] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[186] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[187] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[188] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[189] d[18] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[190] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[191] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[192] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[193] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[194] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[195] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[196] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[197] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[198] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[199] d[19] d[1] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[200] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[201] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[202] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[203] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[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[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[180] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[181] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[182] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[183] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[184] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[185] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[186] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[187] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[188] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[189] v1[18] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[190] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[191] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[192] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[193] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[194] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[195] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[196] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[197] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[198] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[199] v1[19] v1[1] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[200] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[201] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[202] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[203] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[204] v1[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[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[202] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[203] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[204] v2[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.10/2520.01 v <values>408 452 364 212 0 0 316 472 320 40 0 436 84 336 40 408 8 408 320 64 0 8 228 436 320 360 0 40 320 0 0 212 68 148 116 188 212 28 240 108 172 172 320 220 40 276 120 412 24 416 408 376 0 328 368 48 0 100 56 280 0 228 124 360 368 128 316 408 8 8 128 236 120 100 0 48 0 0 352 8 188 80 360 320 320 320 40 40 0 0 40 268 0 48 40 0 40 136 352 40 52 172 412 412 28 372 320 64 224 280 148 128 172 40 412 0 396 396 424 92 0 148 228 320 0 496 0 396 0 320 308 424 436 360 376 0 0 176 48 340 40 392 260 432 24 344 156 68 204 228 172 172 284 12 156 0 72 52 248 224 156 208 212 52 188 184 228 188 172 4 160 120 160 108 160 80 120 8 160 292 236 360 360 288 360 32 320 4 48 8 244 228 40 164 160 24 148 308 4 100 284 192 176 192 164 164 136 152 124 232 308 124 124 124 164 36 384 384 108 384 20 384 52 236 168 192 0 160 240 40 0 328 0 48 436 0 40 40 412 40 0 320 0 40 280 360 0 384 132 240 436 360 456 56 0 48 324 164 0 132 48 232 260 300 128 300 48 192 36 232 256 16 152 80 132 12 156 0 80 240 132 40 92 368 328 320 368 328 352 440 40 0 456 352 328 368 0 48 400 424 40 176 320 148 320 0 272 320 280 116 156 56 156 320 0 32 40 436 228 148 0 8 52 0 376 188 288 148 140 264 188 188 320 352 168 192 284 276 324 36 60 68 232 324 116 148 240 280 120 80 92 148 232 192 80 116 240 240 48 272 232 364 40 40 152 88 244 60 188 148 124 188 40 40 240 40 320 212 360 328 40 344 92 396 40 0 0 308 84 40 368 0 176 0 392 152 300 68 432 72 392 392 72 312 8 0 376 40 48 428 24 400 8 156 152 68 40 0 40 384 408 116 400 476 364 360 392 40 92 40 360 368 204 368 40 356 0 48 60 356 356 308 436 56 368 436 476 344 428 468 4 40 360 324 40 244 320 316 28 20 60 68 372 288 12 296 208 296 296 176 68 24 296 12 384 8 88 116 56 344 8 240 220 320 40 8 0 0 156 436 320 440 412 40 52 40 132 0 32 156 72 64 72 344 296 116 280 240 240 240 352 168 0 356 40 120 32 0 0 44 320 40 8 360 0 120 0 360 272 100 496 176 40 188 88 404 128 456 496 496 320 344 68 40 224 24 384 196 16 96 40 292 212 92 40 200 0 48 436 40 40 92 40 48 92 40 280 8 440 0 0 304 360 228 52 384 360 40 0 24 412 400 32 12 36 356 36 348 456 40 224 396 140 56 212 220 132 244 96 280 260 100 156 128 124 260 284 164 0 320 268 0 376 436 392 400 40 0 0 368 328 336 40 0 412 40 40 400 40 452 408 48 400 276 48 16 8 316 52 204 16 24 360 164 360 320 88 12 368 40 40 360 0 396 40 296 348 96 348 0 356 20 268 40 228 324 44 316 476 188 40 360 328 368 128 156 356 40 396 356 4 356 396 396 212 84 112 320 92 288 252 240 32 304 172 172 324 412 200 0 48 160 0 384 172 0 396 0 268 360 384 92 360 32 352 60 52 48 376 92 368 192 172 0 0 176 44 184 52 316 108 276 92 368 320 440 456 160 376 40 48 40 116 368 56 92 320 132 320 144 44 84 172 44 0 280 208 288 476 384 272 436 360 368 16 240 32 320 68 80 168 0 8 0 308 32 296 0 12 52 360 48 320 360 48 44 124 424 0 48 448 424 320 0 320 184 140 0 0 0 0 40 92 344 40 268 32 320 360 160 40 196 360 80 92 212 228 228 308 40 436 436 360 400 268 128 308 268 132 308 336 200 368 0 436 40 136 40 56 252 384 384 224 40 292 384 40 48 212 344 252 188 172 148 16 148 148 276 0 368 16 268 132 284 100 0 168 60 320 396 436 396 392 120 0 228 0 360 40 312 196 400 396 100 0 324 164 360 356 456 352 40 8 344 272 32 92 260 268 160 132 92 224 124 132 272 152 48 364 368 48 88 48 32 288 204 376 376 376 328 368 0 240 152 240 40 276 300 0 80 52 40 368 52 108 76 0 0 320 4 0 8 384 344 8 280 280 40 240 328 0 84 72 368 40 280 28 156 436 408 24 12 408 320 120 436 480 480 324 108 56 76 76 252 140 216 28 256 100 100 452 0 60 24 280 0 360 240 452 356 204 416 40 0 8 36 384 352 368 76 440 344 400 400 424 356 396 40 496 360 60 360 308 44 400 4 360 224 264 276 356 384 0 448 40 360 0 40 0 8 40 368 0 188 268 320 264 380 52 52 92 40 212 392 192 80 112 88 4 320 96 32 156 320 372 320 320 372 356 412 0 48 48 48 328 68 20 372 0 56 0 172 452 32 0 176 352 56 320 84 432 400 40 164 356 92 40 356 0 324 0 320 456 8 356 224 472 472 280 56 432 60 192 320 148 280 204 0 40 40 120 4 132 288 100 348 376 392 392 300 316 156 40 164 16 440 436 436 356 32 176 0 40 284 40 132 408 376 0 328 40 364 0 0 40 40 4 0 0 8 448 204 40 176 0 412 0 312 32 56 328 0 204 48 84 432 392 356 16 40 48 12 0 328 8 196 8 368 60 88 328 0 356 368 88 416 40 368 188 0 76 40 40 44 316 16 32 0 40 40 200 132 32 132 48 228 0 400 8 32 360 360 32 400 4 268 360 8 412 412 412 88 16 372 344 412 0 372 380 320 40 412 40 240 456 284 364 356 416 140 100 416 0 0 0 280 40 132 224 92 0 172 492 496 188 232 116 240 104 108 240 80 280 0 0 0 432 432 408 240 0 52 132 384 396 160 0 408 412 40 8 0 0 416 0 0 0 40 8 436 148 240 0 0 320 0 4 44 344 220 84 392 4 32 148 352 300 60 408 328 356 0 408 40 324 320 432 396 0 160 0 0 0 24 112 164 496 184 164 68 52 36 0 28 356 40 256 0 12 316 12 0 0 288 172 40 328 92 48 440 0 360 436 40 0 8 88 264 224 0 96 144 200 96 340 136 356 52 88 96 40 344 292 40 44 4 52 92 92 40 80 132 408 40 68 108 124 68 208 300 256 172 108 376 340 108 308 68 288 172 40 40 328 60 0 368 368 40 452 412 456 8 108 108 220 0 148 248 112 132 304 148 300 148 268 108 40 368 40 88 16 52 0 72 328 424 292 352 384 40 16 0 424 8 252 12 356 268 40 308 40 40 96 264 80 356 76 4 316 0 8 316 40 0 40 408 360 368 0 40 0 316 40 360 412 40 432 48 280 352 0 40 320 0 48 232 48 80 196 40 368 48 356 408 236 68 48 16 52 16 32 368 208 360 356 48 48 320 8 360 8 344 312 48 48 288 0 384 392 344 220 276 368 240 24 40 0 320 40 436 0 92 40 0 0 0 384 412 0 368 368 40 0 396 360 0 132 0 8 0 148 0 496 48 320 368 0 308 40 40 436 376 0 0 176 0 188 72 396 0 100 400 140 0 40 40 4 0 40 92 0 40 12 8 40 92 44 36 360 432 384 64 384 152 392 40 0 0 328 40 8 0 40 40 108 324 320 0 88 384 316 360 392 492 432 328 40 0 40 132 40 328 100 360 492 140 456 88 456 204 476 44 24 16 344 352 32 108 344 392 204 112 8 392 0 352 8 260 0 364 72 260 384 300 432 36 16 392 212 368 300 0 360 40 40 392 8 364 0 48 412 68 356 356 28 12 356 348 396 92 40 300 320 0 360 0 324 76 52 0 40 328 40 192 188 396 280 408 116 88 0 476 0 360 276 68 408 40 16 320 44 16 280 40 268 340 0 240 288 368 8 0 0 320 0 416 132 412 348 224 76 76 396 28 304 156 344 40 264 40 396 396 232 88 40 152 272 52 392 88 88 0 48 112 104 56 40 228 80 356 288 328 280 64 376 64 424 52 384 224 396 192 28 176 232 220 232 232 216 184 192 56 40 48 360 312 388 312 232 40 232 200 40 0 184 160 40 160 80 292 232 160 24 200 120 40 116 40 212 148 180 120 188 120 40 204 80 172 0 328 368 320 56 368 196 136 408 368 416 120 416 456 456 20 268 364 456 320 416 416 416 192 0 0 192 120 148 168 40 0 40 240 100 200 152 240 200 156 68 148 48 344 72 296 312 180 336 40 280 268 40 88 408 44 40 84 404 8 404 372 396 0 4 76 48 272 364 172 404 52 92 412 396 412 244 432 48 392 32 272 384 8 392 476 40 100 48 272 88 88 308 312 48 272 188 48 44 0 412 148 0 496 0 0 320 400 408 308 360 0 176 392 172 368 40 240 0 276 328 356 360 0 324 148 148 112 172 96 40 188 188 92 320 92 112 320 320 12 104 40 280 0 280 316 308 0 84 0 412 8 0 0 32 132 280 40 48 0 0 0 148 96 320 0 0 320 308 40 436 0 0 0 40 68 132 360 0 40 40 324 44 68 44 0 384 52 52 316 92 52 320 160 392 8 0 40 0 240 40 328 352 360 0 324 320 320 408 432 172 360 48 492 364 456 88 40 0 40 320 496 0 320 0 40 368 280 0 296 316 2568 2372 2388 2320 2520 2360 2308 2352 2324 2544 2400 2200 2200 2160 2160 2460 2400 2332 2200 2160 2480 2200 2200 2348 2484 2440 2248 2292 2200 2160 2592 2208 2160 2200 2160 2556 2636 2200 2228 2496 2544 2200 2200 2232 2200 2440 2200 2520 2656 2544 2160 2160 2252 2200 2556 2528 2420 2324 2160 2200 2568 2520 2528 2160 2556 2560 2200 2160 2528 2556 2488 2332 2200 2160 2520 2260 2160 2200 2476 2200 2320 2208 2480 2612 2636 2568 2528 2560 2560 2208 2208 2520 2160 2520 2560 2428 2160 2468 2200 2572 2584 2544 2652 2348 2568 2292 2192 2596 2560 2200 2616 2516 2208 2560 2292 2524 2248 2536 2528 2400 2252 2520 2160 2168 2440 2200 2528 2596 2568 2640 2276 2300 2612 2440 2160 2200 2552 2176 2160 2560 2560 2252 2160 2160 2160 2160 2200 2584 2252 2440 2520 2520 2200 2168 2248 2200 2572 2160 2332 2200 2160 2612 2200 2200 2616 2516 2552 2632 2552 2480 2600 2160 2160 2652 2516 2592 2516 2160 2364 2556 2160 2216 2612 2292 2636 2168 2200 2160 2372 2160 2200 2332 2160 2200 2200 2524 2200 2160 2336 2516 2200 2520 2608 2200 2160 2200 2248 2160 2364 2160 2200 2576 2200 2656 2360 2292 2200 2200 2552 2528 2208 2296 2160 2252 2268 2200 2308 2528 2584 2516 2160 2208 2568 2200 2208 2200 2160 2160 2160 2560 2592 2200 2160 2160 2160 2552 2592 2160 2556 2200 2160 2568 2200 2596 2248 2160 2488 2584 2392 2208 2480 2360 2372 2528 2616 2400 2200 2248 2564 2612 2592 2248 2160 2200 2348 2480 2516 2520 2200 2160 2292 2252 2200 2160 2160 2160 2568 2200 2208 2372 2200 2528 2568 2520 2200 2572 2160 2160 2592 2316 11 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 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 1 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 1 1 0 1 0 1 0 1 0 1 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 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 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 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 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 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 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 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 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 1 0 0 1 1 1 1 0 0 0 0 1 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 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 6 10 7 1 0 1 0 0 10 10 0 0 10 10 0 10 0 0 0 0 0 10 0 10 3 0 10 0 10 7 0 0 8 10 0 3 1 0 0 0 10 0 1 0 10 0 0 10 0 10 0 10 0 5 0 10 0 10 0 10 10 0 9 0 0 0 0 6 0 10 0 0 1 0 10 0 0 0 10 7 0 1 0 0 0 10 0 0 0 0 2 0 0 3 0 0 0 0 0 0 0 0 0 0 0 10 1 0 10 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 10 0 10 0 0 0 9 0 0 0 1 0 0 10 0 0 0 1 8 1 0 0 0 1 0 0 10 9 0 1 10 0 10 8 10 0 0 0 0 1 10 0 10 0 0 9 0 5 0 8 10 0 10 0 0 0 0 10 0 0 10 0 1 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 3 0 10 10 10 0 1 10 10 0 0 10 0 10 10 10 0 0 0 7 0 0 0 0 8 0 0 10 10 0 0 10 0 0 10 0 0 1 0 0 10 10 10 0 0 8 10 0 0 0 0 0 0 10 0 2 6 0 10 3 0 10 4 0 9 10 0 8 1 0 0 10 0 0 1 0 10 10 10 0 0 0 9 0 0 0 10 8 0 0 0 7 10 0 10 1 0 10 0 10 10 0 0 6 0 10 0 1 0 0 0 4 10 0 1 7 10 10 5 0 0 10 1 0 10 10 0 10 0 10 0 1 10 0 10 0 0 10 0 10 0 0 0 0 0 8 0 0 10 0 0 10 1 0 10 7 9 4 0 0 0 0 6 0 0 0 0 0 2 0 7 9 1 10 0 10 0 0 1 0 10 0 10 0 10 0 10 0 0 9 1 0 10 0 10 0 0 1 0 0 0 10 0 2 10 1 0 10 9 0 10 10 10 0 10 10 7 0 10 10 10 10 0 10 0 0 0 1 10 0 0 0 0 0 0 0 2 0 10 10 0 0 0 0 0 0 0 0 2 0 0 10 0 6 0 0 0 0 0 0 0 0 0 1 0 10 5 10 0 10 0 0 0 1 0 10 0 0 0 0 0 0 0 0 0 10 1 0 10 0 0 0 9 0 10 0 0 0 10 10 0 0 0 0 0 0 1 0 0 0 0 0 0 0 10 10 0 0 9 0 1 1 7 9 0 0 0 0 0 10 10 10 10 0 0 0 1 0 0 10 0 0 10 10 0 0 10 0 0 0 0 0 8 0 8 0 5 0 10 10 0 10 10 0 0 10 0 0 0 0 10 5 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 1 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 2 0 10 10 0 0 0 0 0 10 0 0 0 0 0 1 1 8 0 0 0 0 0 0 10 0 0 0 0 0 1 10 0 0 0 0 10 10 0 0 0 0 0 5 1 0 0 10 0 0 7 4 0 0 0 10 0 0 0 8 1 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 1 0 0 0 0 10 0 0 0 1 1 10 0 0 0 10 10 0 10 0 10 0 3 0 8 0 10 0 0 10 0 10 0 0 0 0 0 0 9 0 10 1 0 0 0 0 1 0 0 0 10 7 0 9 0 0 0 0 10 0 0 0 6 0 0 0 4 0 10 0 0 0 0 10 10 10 1 10 0 0 0 5 1 0 0 0 0 7 0 9 0 0 8 0 10 0 0 0 10 10 0 7 10 10 10 0 0 10 0 10 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 1 0 1 0 0 0 10 0 0 7 10 6 0 0 10 10 0 0 0 0 6 0 0 0 10 0 0 10 10 0 0 10 10 10 10 4 0 0 0 0 5 0 0 10 0 10 0 0 10 0 0 5 7 10 0 0 9 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 10 0 0 10 8 7 0 10 10 6 0 0 0 9 10 8 10 10 10 0 10 1 0 0 1 9 10 0 8 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 0 0 0 10 0 0 10 10 10 10 0 0 0 10 0 0 0 0 0 0 5 1 0 0 0 0 10 0 0 10 9 0 0 0 10 10 10 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 4 10 0 0 10 0 0 0 0 1 10 0 8 0 10 10 10 6 0 0 10 0 7 10 0 0 0 0 9 9 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 10 6 10 0 1 0 0 10 0 0 0 10 10 0 1 10 1 9 0 10 0 0 10 0 0 10 10 0 10 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 9 10 1 1 0 0 1 0 10 0 10 0 0 10 10 10 0 0 10 10 10 0 0 0 0 0 10 0 10 0 0 9 10 1 10 10 1 10 0 0 0 0 0 10 10 6 10 0 0 0 0 0 0 0 0 0 0 0 0 2 0 10 0 10 0 0 0 0 0 0 0 10 6 0 0 0 0 0 7 1 0 0 0 0 10 0 0 10 0 0 10 4 0 10 0 0 2 0 10 0 0 0 8 10 10 0 10 0 0 10 0 0 0 0 0 0 10 1 7 0 0 0 0 0 10 0 0 0 10 10 0 6 0 10 8 10 0 0 0 0 0 0 0 10 2 0 0 0 8 0 0 7 0 0 10 7 0 0 1 0 0 0 0 10 10 0 0 1 0 0 3 2 1 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 10 10 0 0 0 10 10 0 0 10 0 10 0 10 0 0 0 0 10 0 5 0 10 10 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 10 10 2 10 7 0 0 10 10 0 0 0 5 8 0 0 10 0 10 10 10 10 0 10 0 0 10 0 0 10 0 0 0 0 5 0 10 1 0 2 8 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 8 0 10 0 0 0 0 0 0 0 0 1 0 10 7 0 0 9 0 0 10 9 10 10 1 10 0 10 0 10 0 0 0 10 10 0 1 0 10 0 10 0 0 10 0 10 0 1 10 0 0 7 4 0 0 0 10 0 2 0 1 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 1 0 0 0 1 0 0 10 10 0 0 10 0 0 0 8 0 0 10 0 9 10 10 0 10 0 0 1 0 1 1 0 10 0 0 0 0 9 10 0 1 0 6 0 10 0 0 1 0 0 0 10 0 10 0 10 10 0 0 10 8 0 0 0 1 10 0 8 10 0 10 10 0 0 0 0 0 0 0 1 0 10 10 0 10 4 0 0 10 1 9 1 0 5 0 0 10 10 0 0 0 0 1 0 0 1 0 9 10 4 0 7 0 0 0 0 0 10 0 0 0 0 10 10 0 1 9 10 10 0 0 1 0 10 8 10 0 0 8 0 0 0 0 10 10 10 10 0 0 10 0 9 2 10 0 0 0 10 0 0 0 0 8 10 0 0 10 10 0 10 0 10 1 0 0 0 0 10 10 10 0 10 10 0 1 0 0 0 0 1 0 10 0 10 10 0 1 0 0 0 0 10 10 0 1 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 1 0 0 0 7 0 6 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 5 10 0 8 0 3 10 0 3 0 10 0 0 10 6 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 1 10 10 0 0 0 10 0 0 0 1 10 7 10 0 0 9 6 0 6 0 10 0 10 10 0 0 0 0 0 6 10 0 0 0 0 0 0 0 0 0 0 0 10 5 0 0 0 10 0 7 0 0 0 0 0 0 10 0 10 0 0 10 10 9 0 0 0 10 0 7 8 0 0 0 0 10 0 0 0 0 0 0 1 1 0 0 10 2 1 0 9 0 0 0 2 10 0 0 10 0 0 3 10 0 9 0 1 0 1 0 10 0 0 0 0 0 0 0 0 10 9 10 0 0 10 0 8 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 0 10 7 0 0 0 0 10 0 0 10 0 10 0 10 0 0 0 0 9 1 8 0 0 0 10 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 10 1 0 0 0 0 10 0 10 10 0 0 10 0 0 7 0 8 9 10 0 10 0 10 0 7 0 10 1 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 1 0 0 3 0 0 </values> 2520.10/2520.01 v </instantiation> 2520.10/2520.01
OK 470973176
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 (8093 MiB free)
memory of node 1: 16384 MiB (11170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298969-1532778710/watcher-4298969-1532778710 -o /tmp/evaluation-result-4298969-1532778710/solver-4298969-1532778710 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298969-1532778710.xml
running on 4 cores: 0,2,4,6
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=11867, runsolver pid=11864
[startup+0.100765 s]*
/proc/loadavg: 1.92 2.00 1.97 3/187 11868
/proc/meminfo: memFree=19705396/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=48576 memory=24664 CPUtime=0.09 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 6382 0 0 0 9 0 0 0 20 0 1 0 95434291 49741824 6166 33554432000 4194304 6142532 140727366242752 140727366237672 139873934326757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 12144 6166 790 476 0 5466 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48576 KiB
Current children cumulated memory: 24664 KiB
[startup+0.209663 s]*
/proc/loadavg: 1.92 2.00 1.97 3/187 11868
/proc/meminfo: memFree=19697336/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=56732 memory=32848 CPUtime=0.2 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 8406 0 0 0 20 0 0 0 20 0 1 0 95434291 58093568 8212 33554432000 4194304 6142532 140727366242752 140727366237672 139873934326757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 14183 8212 790 476 0 7505 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56732 KiB
Current children cumulated memory: 32848 KiB
[startup+0.309679 s]*
/proc/loadavg: 1.92 2.00 1.97 3/187 11868
/proc/meminfo: memFree=19694856/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=58088 memory=34360 CPUtime=0.31 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 8949 0 0 0 30 1 0 0 20 0 1 0 95434291 59482112 8590 33554432000 4194304 6142532 140727366242752 140727366237672 5404833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 14522 8590 791 476 0 7844 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 34360 KiB
[startup+0.70034 s]
/proc/loadavg: 1.92 2.00 1.97 3/187 11868
/proc/meminfo: memFree=19692252/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=62892 memory=39108 CPUtime=0.69 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 10142 0 0 0 68 1 0 0 20 0 1 0 95434291 64401408 9777 33554432000 4194304 6142532 140727366242752 140727366237672 5802444 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 15723 9777 791 476 0 9045 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62892 KiB
Current children cumulated memory: 39108 KiB
[startup+1.50035 s]
/proc/loadavg: 1.92 2.00 1.97 3/187 11868
/proc/meminfo: memFree=19687800/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=72140 memory=48084 CPUtime=1.48 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 12443 0 0 0 147 1 0 0 20 0 1 0 95434291 73871360 12021 33554432000 4194304 6142532 140727366242752 140727366239400 5403276 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 18035 12021 791 476 0 11357 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72140 KiB
Current children cumulated memory: 48084 KiB
[startup+3.10965 s]
/proc/loadavg: 2.01 2.01 1.97 3/187 11868
/proc/meminfo: memFree=19619464/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=90132 memory=66028 CPUtime=3.1 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 18367 0 0 0 308 2 0 0 20 0 1 0 95434291 92295168 16507 33554432000 4194304 6142532 140727366242752 140727366239400 5444960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 22533 16507 791 476 0 15855 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 90132 KiB
Current children cumulated memory: 66028 KiB
[startup+6.30039 s]
/proc/loadavg: 2.01 2.01 1.97 3/187 11868
/proc/meminfo: memFree=19592232/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=124332 memory=100208 CPUtime=6.29 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 28683 0 0 0 625 4 0 0 20 0 1 0 95434291 127315968 25052 33554432000 4194304 6142532 140727366242752 140727366239400 5798068 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 31083 25052 791 476 0 24405 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 124332 KiB
Current children cumulated memory: 100208 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.97 3/187 11868
/proc/meminfo: memFree=19564472/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=196592 memory=171732 CPUtime=12.68 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 48785 0 0 0 1262 6 0 0 20 0 1 0 95434291 201310208 42933 33554432000 4194304 6142532 140727366242752 140727366239400 139873934765056 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 49148 42933 791 476 0 42470 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 196592 KiB
Current children cumulated memory: 171732 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 1.97 3/187 11868
/proc/meminfo: memFree=19418460/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=341080 memory=315412 CPUtime=25.49 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 87889 0 0 0 2538 11 0 0 20 0 1 0 95434291 349265920 78853 33554432000 4194304 6142532 140727366242752 140727366239400 5546348 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 85270 78853 791 476 0 78592 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 341080 KiB
Current children cumulated memory: 315412 KiB
[startup+51.1095 s]
/proc/loadavg: 2.08 2.03 1.98 3/187 11868
/proc/meminfo: memFree=19126276/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=630980 memory=601832 CPUtime=51.1 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 162141 0 0 0 5088 22 0 0 20 0 1 0 95434291 646123520 150458 33554432000 4194304 6142532 140727366242752 140727366239400 5800674 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 157745 150458 791 476 0 151067 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 630980 KiB
Current children cumulated memory: 601832 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/187 11869
/proc/meminfo: memFree=18597088/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1171412 memory=1128580 CPUtime=102.29 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 297222 0 0 0 10185 44 0 0 20 0 1 0 95434291 1199525888 282145 33554432000 4194304 6142532 140727366242752 140727366239400 5800101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 292853 282145 794 476 0 286175 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1171412 KiB
Current children cumulated memory: 1128580 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 11870
/proc/meminfo: memFree=17987332/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1791288 memory=1734092 CPUtime=162.29 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 842948 0 0 0 16149 80 0 0 20 0 1 0 95434291 1834278912 433523 33554432000 4194304 6142532 140727366242752 140727366239464 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 447822 433523 848 476 0 441144 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1791288 KiB
Current children cumulated memory: 1734092 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 11872
/proc/meminfo: memFree=17942436/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1835736 memory=1778128 CPUtime=222.28 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 1146888 0 0 0 22133 95 0 0 20 0 1 0 95434291 1879793664 444532 33554432000 4194304 6142532 140727366242752 140727366239384 5013907 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 458934 444532 848 476 0 452256 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 1835736 KiB
Current children cumulated memory: 1778128 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 11873
/proc/meminfo: memFree=17878216/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1902440 memory=1841816 CPUtime=282.28 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 1506990 0 0 0 28113 115 0 0 20 0 1 0 95434291 1948098560 460454 33554432000 4194304 6142532 140727366242752 140727366239384 5170052 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 475610 460454 848 476 0 468932 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 1902440 KiB
Current children cumulated memory: 1841816 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 11874
/proc/meminfo: memFree=17825660/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1955396 memory=1893528 CPUtime=342.28 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 1799521 0 0 0 34094 134 0 0 20 0 1 0 95434291 2002325504 473382 33554432000 4194304 6142532 140727366242752 140727366239496 5329969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 488849 473382 850 476 0 482171 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 1955396 KiB
Current children cumulated memory: 1893528 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 11876
/proc/meminfo: memFree=17826444/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1955396 memory=1894404 CPUtime=402.27 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 2090618 0 0 0 40081 146 0 0 20 0 1 0 95434291 2002325504 473601 33554432000 4194304 6142532 140727366242752 140727366239496 5017763 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 488849 473601 850 476 0 482171 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 1955396 KiB
Current children cumulated memory: 1894404 KiB
[startup+462.3 s]
/proc/loadavg: 2.34 2.09 2.01 3/187 11878
/proc/meminfo: memFree=17824100/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1955396 memory=1895944 CPUtime=462.28 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 2304617 0 0 0 46072 156 0 0 20 0 1 0 95434291 2002325504 473986 33554432000 4194304 6142532 140727366242752 140727366239496 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 488849 473986 850 476 0 482171 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 1955396 KiB
Current children cumulated memory: 1895944 KiB
################
# More data... #
################
/proc/11867/statm: 489058 483059 850 476 0 482380 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 1956232 KiB
Current children cumulated memory: 1932236 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 11945
/proc/meminfo: memFree=17786472/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=1782.33 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3753604 0 0 0 178003 230 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 11946
/proc/meminfo: memFree=17786140/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=1842.33 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3755059 0 0 0 184003 230 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 11947
/proc/meminfo: memFree=17786268/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=1902.34 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3756438 0 0 0 190004 230 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 11948
/proc/meminfo: memFree=17786648/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=1962.34 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3757832 0 0 0 196004 230 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11950
/proc/meminfo: memFree=17786368/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2022.35 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3759188 0 0 0 202004 231 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5016431 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 11951
/proc/meminfo: memFree=17786100/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2082.36 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3760808 0 0 0 208005 231 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017799 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 11952
/proc/meminfo: memFree=17786092/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2142.36 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3762506 0 0 0 214005 231 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5335940 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 11954
/proc/meminfo: memFree=17786332/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2202.36 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3763903 0 0 0 220005 231 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017775 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11955
/proc/meminfo: memFree=17786216/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2262.37 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3765374 0 0 0 226006 231 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11963
/proc/meminfo: memFree=17784936/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2322.37 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3766752 0 0 0 232006 231 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017803 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2322.37 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 12018
/proc/meminfo: memFree=18081344/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2382.37 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3768745 0 0 0 238006 231 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2382.37 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 12030
/proc/meminfo: memFree=16987744/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2442.38 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3770547 0 0 0 244007 231 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2442.38 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 12031
/proc/meminfo: memFree=16342336/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2502.39 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3772026 0 0 0 250007 232 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2502.39 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 12031
/proc/meminfo: memFree=16180148/32770624 swapFree=67108860/67108860
[pid=11867] ppid=11864 vsize=1956652 memory=1932676 CPUtime=2520.1 cores=0,2,4,6
/proc/11867/stat : 11867 (cosoco) R 11864 11867 11466 0 -1 4202496 3772725 0 0 0 251778 232 0 0 20 0 1 0 95434291 2003611648 483169 33554432000 4194304 6142532 140727366242752 140727366239576 5017730 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 18771968 140727366247558 140727366247688 140727366247688 140727366250446 0
/proc/11867/statm: 489163 483169 850 476 0 482485 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 1956652 KiB
Current children cumulated memory: 1932676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 11867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.79 s, system=2.32916 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.12
CPU user time (s): 2517.79
CPU system time (s): 2.32916
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1956652
Max. memory (cumulated for all children) (KiB): 1932676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.79
system time used= 2.32916
maximum resident set size= 1932740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3772789
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= 225
involuntary context switches= 887
# summary of solver processes directly reported to runsolver:
# pid: 11867
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.79
# total CPU system time (s): 2.32916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2457 second user time and 18.3247 second system time
The end
Begin job on node105 at 2018-07-28 13:51:51 IDJOB=4298969 IDBENCH=141277 IDSOLVER=2761 FILE ID=node105/4298969-1532778710 RUNJOBID= node105-1532776049-11497 PBS_JOBID= 21022469 Free space on /tmp= 44252 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-03-0300_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298969-1532778710/watcher-4298969-1532778710 -o /tmp/evaluation-result-4298969-1532778710/solver-4298969-1532778710 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298969-1532778710.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4cd5aede9cdfae4f3fb25eb1dc6a899d RANDOM SEED=1745613320 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: 19726276 kB MemAvailable: 31551536 kB Buffers: 268268 kB Cached: 11696136 kB SwapCached: 0 kB Active: 3143804 kB Inactive: 9252864 kB Active(anon): 386860 kB Inactive(anon): 73344 kB Active(file): 2756944 kB Inactive(file): 9179520 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 380472 kB Writeback: 0 kB AnonPages: 439640 kB Mapped: 45048 kB Shmem: 25228 kB Slab: 344848 kB SReclaimable: 317256 kB SUnreclaim: 27592 kB KernelStack: 3280 kB PageTables: 5932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 735812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 219136 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= 43768 MiB End job on node105 at 2018-07-28 14:33:51