Trace number 4408427

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 2.0SAT (TO)529692396 2519.58 2520.02

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-05-0350_c18.xml
MD5SUM51b7f32ab0afbf3da7a228f765e579fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark521763705
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables7232
Number of constraints4665
Number of domains18
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}]
Minimum variable degree2
Maximum variable degree2178
Distribution of variable degrees[{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}]
Number of extensional constraints4665
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4665}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

581.14/581.31	c
581.14/581.31	c This is cosoco 2.00 --  
581.14/581.31	c
581.14/581.31	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408427-1569813844.xml 
581.14/581.31	c enable optimization
581.14/581.31	c ========================================[ Problem Statistics ]===========================================
581.14/581.31	c |                                                                                                       
581.14/581.31	c |  Parse time        :       196.09 s 
581.14/581.31	c |
581.14/581.31	c |               Variables: 7232
581.14/581.31	c |            Domain Sizes: 1..135
581.14/581.31	c |
581.14/581.31	c |             Constraints: 4666
581.14/581.31	c |                   Arity: 2..4355  -- Binary: 311  -- Ternary: 2177
581.14/581.31	c | 
581.14/581.31	c |                   Types: 
581.14/581.31	c |                          Extension: 4665  (nb tuples: 0..18225) -- (shared: 0)
581.14/581.31	c |                          Sum: 1
581.14/581.31	c |                          
581.14/581.31	c |               Objective: Minimize Sum
581.14/581.31	
581.14/581.31	c =========================================================================================================
581.14/581.31	o 529910200
581.14/581.31	c    1 calls to solver(id=0): best=529910200 lower=0 upper=529910199 
595.64/595.88	o 529910195
634.42/634.63	o 529910147
634.42/634.63	c    3 calls to solver(id=0): best=529910147 lower=0 upper=529910146 
690.31/690.57	o 529801347
704.82/705.05	o 529779548
704.82/705.05	c    5 calls to solver(id=0): best=529779548 lower=0 upper=529779547 
751.30/751.50	o 529779527
771.69/771.90	o 529779523
771.69/771.91	c    7 calls to solver(id=0): best=529779523 lower=0 upper=529779522 
786.08/786.31	o 529779521
893.86/894.19	o 529735948
893.96/894.20	c    9 calls to solver(id=0): best=529735948 lower=0 upper=529735947 
908.24/908.56	o 529735946
1006.53/1006.85	o 529735943
1006.53/1006.86	c   11 calls to solver(id=0): best=529735943 lower=0 upper=529735942 
1120.20/1120.52	o 529714177
1224.57/1224.90	o 529714169
1224.57/1224.90	c   13 calls to solver(id=0): best=529714169 lower=0 upper=529714168 
1256.36/1256.74	o 529714168
1367.85/1368.26	o 529714167
1367.85/1368.26	c   15 calls to solver(id=0): best=529714167 lower=0 upper=529714166 
1448.24/1448.60	o 529692399
1702.99/1703.44	o 529692397
1702.99/1703.44	c   17 calls to solver(id=0): best=529692397 lower=0 upper=529692396 
1729.19/1729.60	o 529692396
2519.55/2520.01	
2519.55/2520.01	c *** INTERRUPTED ***
2519.55/2520.01	c call to solver        : 18
2519.55/2520.01	c
2519.55/2520.01	c restarts              : 261         
2519.55/2520.01	c conflicts             : 147780       (59 /sec)
2519.55/2520.01	c decisions             : 1576381      (627 /sec)
2519.55/2520.01	c propagations          : 190415843   (75719 /sec)
2519.55/2520.01	c root propagations     : 11512       
2519.55/2520.01	c filter calls          : 26959106       (10720 /sec)
2519.55/2520.01	c useless filter calls  : 15559497       (57 %)
2519.55/2520.01	c Memory used           : 2897.13 MB
2519.55/2520.01	c Best bound time (wc)  : 1729.61 s
2519.55/2520.01	c CPU time              : 2514.77 s
2519.55/2520.01	c real time             : 2520 s
2519.55/2520.01	
2519.55/2520.01	c nb Solutions = 18
2519.55/2520.01	s SATISFIABLE
2519.55/2520.01	c Best value found: 529692396
2519.55/2520.01	
2519.55/2520.01	
2519.55/2520.01	v <instantiation type='solution' cost='529692396'>
2519.55/2520.01	v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[156] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[157] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[158] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[159] d[15] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[160] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[161] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[162] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[163] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[164] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[165] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[166] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[167] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[168] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[169] d[16] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[170] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[171] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[172] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[173] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[174] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[175] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[176] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[177] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[178] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[179] d[17] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[180] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[181] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[182] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[183] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[184] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[185] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[186] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[187] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[188] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[189] d[18] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[190] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[191] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[192] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[193] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[194] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[195] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[196] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[197] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[198] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[199] d[19] d[1] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[200] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[201] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[202] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[203] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[204] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[205] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[206] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[207] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[208] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[209] d[20] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[210] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[211] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[212] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[213] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[214] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[215] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[216] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[30] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[31] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[32] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[33] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[30] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[31] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[32] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[33] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[180] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[181] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[182] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[183] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[184] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[185] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[186] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[187] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[188] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[189] v1[18] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[190] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[191] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[192] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[193] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[194] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[195] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[196] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[197] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[198] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[199] v1[19] v1[1] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[200] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[201] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[202] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[203] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[204] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[205] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[206] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[207] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[208] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[209] v1[20] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[210] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[211] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[212] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[213] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[214] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[215] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[216] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[156] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[157] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[158] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[159] v2[15] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[160] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[161] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[162] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[163] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[164] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[165] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[166] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[167] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[168] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[169] v2[16] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[170] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[171] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[172] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[173] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[174] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[175] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[176] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[177] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[178] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[179] v2[17] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[180] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[181] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[182] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[183] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[184] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[185] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[186] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[187] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[188] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[189] v2[18] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[190] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[191] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[192] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[193] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[194] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[195] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[196] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[197] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[198] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[199] v2[19] v2[1] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[200] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[201] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[202] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[203] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[204] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[205] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[206] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[207] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[208] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[209] v2[20] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[210] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[211] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[212] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[213] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[214] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[215] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[216] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list>
2519.55/2520.01	v <values>252 4 216 308 96 36 112 76 356 308 36 272 296 296 112 296 296 160 336 200 392 208 220 100 220 16 96 236 208 152 32 152 32 168 84 140 172 172 212 4 228 120 136 312 368 96 352 44 68 0 188 288 188 252 148 120 72 76 152 36 180 184 48 200 252 28 168 36 88 232 40 400 40 348 0 40 32 196 224 264 252 456 104 104 128 52 40 312 20 284 20 40 20 336 132 456 112 24 48 4 260 32 108 132 148 244 436 0 0 300 256 308 92 44 24 40 232 220 128 40 256 488 336 100 308 180 480 372 224 412 448 256 80 296 40 252 96 156 140 40 280 144 256 40 52 148 328 108 228 204 108 120 112 68 208 196 336 224 240 228 64 284 104 0 284 76 164 116 40 28 28 164 40 296 140 452 364 0 0 420 132 40 40 68 220 132 168 220 72 220 76 84 276 92 168 44 256 216 80 336 208 92 156 200 216 216 184 456 380 172 156 492 156 492 492 240 232 308 92 84 12 296 0 28 308 120 52 56 348 100 8 124 84 64 260 300 20 252 164 56 152 184 96 400 328 64 96 4 316 60 248 76 400 332 44 336 140 44 80 312 28 52 112 224 32 168 172 192 76 364 348 40 100 28 404 196 464 332 40 16 40 72 116 152 116 128 404 272 136 28 36 80 16 124 168 304 172 132 204 332 132 168 88 160 164 0 116 268 44 380 148 48 340 68 164 40 308 176 484 508 348 236 40 0 404 536 300 280 164 124 304 412 24 360 500 284 128 528 188 284 20 84 8 92 28 172 64 24 44 44 104 76 168 116 76 164 64 236 172 208 88 184 52 312 104 16 204 204 164 68 56 180 272 96 360 0 400 88 16 104 212 400 92 400 28 84 220 256 104 120 216 84 388 0 484 376 168 244 308 20 184 104 336 148 160 24 40 40 296 108 232 4 132 76 240 488 448 368 8 488 172 236 376 200 16 300 376 0 164 416 224 4 60 0 360 312 252 296 440 308 208 452 440 260 0 404 492 296 484 332 496 0 136 64 440 0 144 44 136 328 168 68 292 196 204 224 232 244 204 376 456 80 20 308 240 496 168 40 116 132 0 204 128 48 20 272 272 88 304 88 4 204 216 308 320 0 336 0 76 60 364 252 108 232 72 252 384 84 304 220 232 476 312 452 476 224 516 476 204 496 316 192 188 4 496 412 496 496 144 264 12 288 108 336 180 308 304 404 0 360 340 136 364 208 364 108 404 336 248 24 128 36 228 16 88 0 136 40 256 224 8 256 268 40 496 40 40 100 264 224 0 44 160 144 36 184 320 384 140 312 376 272 24 68 80 100 24 84 296 104 36 80 152 188 164 280 336 252 160 108 124 64 140 336 48 140 24 180 280 296 340 48 104 20 192 192 0 128 192 44 192 272 192 104 52 56 308 144 308 148 320 308 412 292 300 396 344 36 124 176 68 308 96 320 268 224 308 152 40 168 388 0 0 0 0 216 168 8 244 292 40 156 188 128 340 0 0 20 104 4 108 288 152 60 388 388 380 40 144 84 76 136 320 184 0 268 0 456 360 428 268 40 324 96 160 84 28 140 124 40 412 228 144 412 16 104 452 316 268 40 96 232 40 468 0 0 216 172 264 192 264 212 20 284 340 508 0 296 352 232 456 340 60 256 56 244 168 28 0 352 104 40 8 252 116 496 312 40 348 8 244 340 348 304 148 256 312 252 404 140 188 408 492 492 80 244 248 112 252 112 84 152 120 88 120 136 200 172 176 360 124 40 508 264 0 464 0 184 148 52 52 48 192 80 360 12 376 476 108 20 148 216 108 128 192 284 60 116 116 80 244 172 220 152 140 180 52 32 72 256 296 40 44 216 44 220 484 484 244 160 220 256 356 80 160 136 340 300 100 300 0 188 140 436 24 24 256 4 244 160 212 200 508 436 248 36 244 436 96 40 352 440 40 340 56 396 240 248 256 256 264 268 304 524 308 400 264 52 48 260 320 296 360 100 264 304 304 180 132 152 304 336 300 80 180 408 44 404 64 72 116 116 308 240 272 64 64 24 292 136 248 180 24 184 16 332 60 4 20 4 248 152 44 160 36 232 184 0 232 40 24 88 96 204 336 84 40 420 436 84 460 476 0 40 272 332 136 184 456 300 76 232 428 436 436 72 136 136 176 80 132 176 216 236 12 60 352 264 116 132 40 80 188 4 84 376 396 32 384 44 392 224 132 100 40 0 36 96 128 232 272 220 40 40 36 152 476 0 268 88 184 8 80 84 8 40 40 96 308 0 52 176 72 24 172 76 20 432 188 420 224 224 32 0 264 272 264 140 116 192 116 4 20 264 92 176 88 176 44 156 48 296 80 88 280 176 172 136 120 360 0 268 28 304 216 312 352 52 0 92 300 308 228 92 268 224 92 0 160 308 160 168 328 88 144 128 224 84 0 256 216 452 28 40 104 164 212 84 144 400 92 28 92 400 16 56 460 56 136 8 148 228 48 236 488 244 64 232 24 376 172 40 0 252 40 40 40 108 416 416 52 24 28 228 64 304 224 156 112 284 264 0 296 156 148 0 148 496 496 48 352 28 392 8 8 48 428 40 196 484 456 96 176 456 456 164 428 224 40 176 28 496 260 496 224 100 132 160 416 416 52 108 120 16 296 148 24 160 120 96 140 112 148 96 104 60 168 252 328 12 8 0 428 80 308 88 340 192 40 336 184 196 48 468 468 332 196 308 40 212 336 152 140 32 160 308 256 296 24 292 216 336 212 388 8 8 200 8 400 148 148 164 100 88 116 196 328 24 368 36 104 108 48 244 296 0 496 536 128 204 268 132 4 40 232 80 344 148 40 128 192 304 236 84 380 476 296 180 256 236 56 108 224 184 160 524 92 148 92 92 492 440 232 244 128 20 0 344 232 536 136 464 100 76 172 136 100 104 128 64 308 96 220 216 88 364 116 168 296 336 212 396 192 452 116 492 492 220 140 144 484 164 248 452 248 4 236 240 116 120 128 260 172 168 128 212 220 340 164 188 124 136 152 192 172 128 284 172 128 136 212 152 412 40 212 0 272 256 0 416 40 176 296 484 40 324 296 176 0 528 8 32 192 244 308 228 212 88 180 128 220 412 452 124 140 376 336 128 468 296 0 40 224 40 40 496 0 404 52 308 16 264 40 0 456 40 296 140 452 264 224 364 0 40 40 420 40 56 364 172 324 28 224 168 324 152 212 32 320 12 300 324 264 72 52 372 168 372 172 412 156 412 372 28 148 412 180 116 372 116 124 496 384 4 224 364 212 376 216 256 456 24 284 260 280 188 312 156 284 468 92 280 16 24 16 240 40 348 352 516 152 360 44 168 416 264 400 0 256 40 112 192 208 304 192 144 12 116 536 112 108 192 268 284 192 208 84 420 112 424 304 184 116 72 76 116 60 156 380 320 60 36 356 380 128 56 104 28 356 84 4 100 0 84 164 4 128 4 332 396 208 140 68 308 180 52 308 192 308 268 84 160 36 156 0 4 180 12 156 144 96 196 240 132 244 116 56 284 24 244 4 96 32 84 220 216 40 228 4 128 128 176 392 4 88 360 264 416 56 116 32 68 156 252 204 124 204 172 340 272 244 28 248 80 120 108 36 44 160 40 204 292 88 332 40 32 332 72 296 40 308 40 116 80 168 32 188 80 24 152 108 68 68 40 108 260 396 40 24 296 360 12 60 96 300 80 404 152 320 268 80 300 324 308 452 76 184 304 52 4 108 188 40 176 24 532 220 40 160 136 376 112 0 64 36 28 4 28 192 304 60 204 4 100 228 300 336 232 304 52 344 92 96 536 404 532 40 40 148 152 360 44 40 376 400 40 292 308 368 492 8 276 68 156 108 148 360 188 72 524 360 40 484 484 28 280 56 524 56 524 388 276 400 32 196 28 128 272 16 44 76 76 168 192 40 324 340 40 312 136 224 0 256 40 532 496 424 4 228 56 96 4 112 96 120 492 496 536 420 380 384 424 536 96 468 184 156 172 20 384 152 112 384 28 176 68 40 524 224 216 100 124 260 172 224 124 124 128 492 12 212 268 40 268 88 112 36 52 40 192 228 44 132 172 208 188 440 144 440 40 224 132 84 100 440 360 188 40 148 188 0 336 340 476 0 40 376 352 440 40 340 108 228 40 56 104 272 244 244 200 92 56 68 156 100 8 244 204 104 268 0 144 296 104 112 172 296 132 44 336 188 68 40 144 232 192 204 116 232 0 132 192 168 112 156 40 40 140 216 136 468 256 60 256 40 8 68 240 256 12 160 200 4 120 60 100 124 180 144 32 352 392 184 288 276 124 392 392 176 352 496 180 352 140 92 240 352 16 212 352 160 256 160 240 148 328 100 52 92 96 140 164 0 100 92 200 260 384 208 348 280 496 56 268 496 224 348 496 196 496 52 496 496 536 292 232 428 28 216 184 284 176 280 164 156 20 196 200 280 300 196 12 124 88 180 216 112 116 300 124 140 152 264 192 304 124 188 0 76 100 264 304 220 304 172 40 496 0 40 428 0 296 236 476 0 120 272 212 232 56 388 0 488 40 0 352 296 296 0 536 0 120 176 232 20 120 228 212 232 4 56 288 220 352 260 492 180 492 196 492 404 68 192 428 232 192 184 64 252 16 120 116 132 264 132 0 48 304 20 184 28 160 536 200 60 216 56 300 80 132 272 352 132 212 236 428 16 52 428 428 28 0 468 468 332 252 100 308 164 96 224 320 4 336 0 24 0 0 40 428 172 188 172 360 76 20 116 320 16 8 428 20 40 20 88 400 348 496 0 496 456 388 496 32 92 304 56 256 360 440 88 148 212 200 360 232 52 504 456 324 16 472 376 356 376 4 16 444 52 172 360 456 80 40 224 376 256 476 148 40 452 40 108 184 108 236 180 2180 2668 2436 2328 2556 2464 2220 2400 2436 2712 2528 2384 2480 2432 2580 2532 2412 2180 2372 2256 2332 2352 2412 2316 2560 2180 2708 2392 2412 2492 2580 2436 2180 2220 2516 2488 2668 2596 2220 2660 2180 2620 2424 2676 2432 2220 2428 2492 2220 2604 2696 2676 2544 2180 2584 2616 2544 2220 2488 2620 2556 2436 2368 2516 2360 2532 2444 2412 2528 2184 2180 2488 2180 2228 2388 2568 2220 2556 2444 2632 2476 2180 2224 2180 2464 2180 2180 2672 2516 2332 2356 2180 2532 2296 2220 2412 2360 2476 2664 2672 2452 2408 2520 2476 2688 2656 2180 2476 2180 2580 2308 2392 2528 2540 2484 2220 2664 2584 2336 2460 2284 2512 2392 2224 2556 2220 2220 2556 2220 2180 2384 2220 2396 2180 2532 2412 2448 2264 2620 2452 2180 2404 2220 2280 2708 2676 2444 2412 2396 2540 2300 2580 2220 2532 2488 2180 2488 2580 2348 2220 2580 2640 2528 2488 2520 2540 2220 2188 2352 2220 2636 2244 2180 2404 2296 2452 2180 2544 2716 2208 2188 2228 2220 2220 2220 2676 2596 2476 2592 2476 2584 2424 2220 2520 2220 2648 2220 2528 2220 2220 2332 2488 2476 2180 2472 2444 2180 2648 2416 2696 2204 2488 2520 2448 2484 2180 2424 2376 2580 2328 2180 2180 2208 2368 2256 2560 2656 2472 2436 2704 2584 2180 2292 2372 2220 2180 2676 2452 2672 2716 2436 2644 2356 2492 2600 2580 2516 2552 2220 2492 2488 2300 2480 2180 2220 2600 2316 2528 2180 2432 2520 2180 2528 2220 2396 2308 2576 2244 2620 2180 2544 2584 2568 2248 2328 2180 2452 2488 2464 2448 2580 2424 2512 2180 2516 2260 2260 2528 2556 2524 2180 2688 2704 2452 2712 2220 2544 2716 2604 2396 2448 2620 2180 2424 2516 2220 2412 2220 2420 2572 2572 2320 2716 2248 2480 2484 2528 2180 2452 2180 2452 2712 2412 2544 2716 2216 2648 2608 2220 2540 2676 2276 2204 2220 2584 2564 2516 2320 2348 2392 2532 2368 2480 2220 2540 2220 2324 2220 2452 2516 11 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 8 1 10 0 3 0 0 10 9 0 0 0 0 0 10 1 4 0 0 0 0 1 0 10 10 0 8 0 1 0 10 0 0 0 0 0 10 0 9 10 0 10 10 0 0 8 10 10 0 0 10 10 9 0 0 0 0 0 0 0 0 0 5 0 10 0 5 0 0 9 10 0 0 0 0 0 4 10 10 0 0 0 0 10 0 0 1 0 10 10 10 0 1 5 9 1 0 0 0 9 0 0 0 0 1 10 0 0 0 0 0 8 10 6 0 0 10 0 0 0 0 1 9 10 10 0 0 0 10 1 10 8 0 9 10 0 0 0 10 1 0 0 0 0 10 10 0 0 0 1 10 7 0 10 0 0 0 10 0 0 0 1 0 8 10 10 10 0 4 0 0 0 0 0 10 10 2 1 1 10 10 0 10 1 6 10 1 8 1 8 0 10 0 0 3 10 0 0 0 10 8 0 1 0 8 10 0 10 0 0 10 0 0 5 0 0 10 10 10 0 0 0 0 0 0 0 0 10 1 5 0 0 0 10 10 0 0 9 10 10 2 8 1 5 1 10 10 10 10 0 0 0 0 10 10 10 0 0 9 10 10 0 0 0 0 0 1 1 0 10 9 10 0 10 1 0 9 7 5 0 10 10 1 0 0 0 0 4 0 0 0 10 1 0 0 1 0 0 1 6 0 10 10 0 0 0 10 6 0 0 0 0 1 0 0 10 10 0 0 0 0 0 8 0 0 0 10 10 0 0 0 10 0 0 1 0 7 0 1 0 0 0 0 10 10 0 0 10 8 0 0 10 0 10 10 10 10 0 4 10 0 10 10 0 0 0 0 10 2 0 6 2 7 0 10 0 9 0 0 0 0 0 10 10 10 0 10 6 10 0 10 10 1 0 10 0 10 10 0 0 0 0 10 10 1 0 0 1 0 5 4 0 0 9 0 0 0 0 0 10 0 0 0 0 0 10 0 0 1 0 0 0 10 0 0 9 0 0 10 10 0 0 10 0 5 10 0 10 0 1 10 10 0 1 0 0 1 0 0 0 0 1 0 0 7 10 0 10 0 0 10 6 0 0 10 0 0 1 10 0 0 0 10 0 10 0 1 0 0 5 10 1 0 0 10 0 0 0 0 0 0 0 10 0 10 0 8 0 0 10 1 2 0 0 0 10 3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 5 0 6 0 0 5 1 0 0 0 0 10 0 0 1 10 0 10 1 0 10 0 0 1 0 0 1 7 0 1 1 6 0 0 0 0 0 0 10 1 0 10 0 0 8 0 9 4 1 10 0 0 1 0 0 0 0 10 0 0 0 10 9 0 10 0 0 10 0 0 1 7 0 0 0 0 0 0 10 1 0 10 10 0 9 10 0 0 0 0 10 10 0 0 0 3 8 0 0 5 1 0 0 0 10 0 0 0 0 10 0 10 4 0 10 10 0 2 1 6 0 10 9 10 10 10 10 0 10 0 5 0 10 0 0 1 1 0 0 10 10 10 0 0 6 0 0 0 0 10 0 1 0 8 10 0 0 10 8 10 0 10 0 0 0 1 10 8 3 0 0 0 0 0 0 0 10 0 5 0 0 0 0 0 0 1 1 10 1 2 10 0 0 0 10 10 8 0 0 0 0 0 8 8 1 0 0 0 0 0 0 0 0 1 0 0 10 0 8 0 0 9 0 0 10 0 8 0 10 0 0 0 0 6 0 0 10 7 0 1 10 7 0 0 9 0 1 10 6 10 4 0 10 0 0 0 0 10 9 0 0 2 0 10 0 0 0 0 0 0 0 0 0 0 8 10 1 10 0 0 0 0 0 0 0 0 0 1 0 0 10 1 6 8 1 0 0 0 0 0 0 0 0 10 0 1 0 0 0 10 9 0 1 0 1 10 0 0 0 10 1 0 1 0 0 10 0 0 0 0 10 10 0 1 10 0 0 10 7 0 10 10 10 0 0 7 10 0 10 0 10 0 0 0 0 0 10 10 0 0 10 0 2 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 10 0 0 0 0 1 0 0 0 0 10 1 10 0 1 2 0 0 10 8 0 0 0 0 0 10 0 9 8 0 0 0 0 0 0 10 10 1 0 10 0 10 0 9 0 0 10 0 0 0 0 10 10 6 10 10 0 0 0 10 0 0 9 0 10 1 0 0 6 0 0 0 0 1 0 0 0 0 0 0 1 1 10 0 0 0 1 0 0 0 1 0 0 1 10 0 7 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 9 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 10 0 0 0 1 0 0 10 1 10 0 10 0 0 10 0 3 9 10 10 0 0 0 1 10 5 0 0 0 0 10 0 0 0 10 0 0 10 0 0 10 0 0 0 10 10 0 0 0 0 0 1 10 0 0 1 1 1 0 8 0 2 0 0 10 0 1 10 10 10 1 10 7 0 10 0 0 7 0 10 10 8 0 8 0 1 0 0 0 0 1 1 0 1 7 0 0 10 10 10 0 0 8 0 0 0 10 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 10 10 9 0 0 0 1 10 0 8 0 0 0 10 1 0 10 0 0 0 1 0 0 0 9 0 0 0 0 0 0 0 1 0 7 10 1 0 0 0 0 0 5 0 0 10 0 0 0 0 0 0 8 0 0 0 0 1 10 2 4 10 10 0 0 10 10 0 0 10 10 0 0 10 0 7 0 0 0 10 0 1 10 10 5 4 3 0 0 10 1 0 7 0 0 0 0 0 0 10 0 1 0 0 4 10 0 0 0 0 0 10 1 1 0 2 0 10 0 0 0 0 0 10 10 10 0 10 0 2 0 0 10 0 0 6 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 1 7 0 0 1 1 10 10 10 10 0 5 0 10 0 10 0 0 9 1 0 0 0 0 0 10 0 0 0 10 0 0 0 0 9 0 10 10 10 1 0 7 5 0 10 0 0 10 10 10 10 5 10 0 10 10 10 0 0 1 0 10 1 10 0 0 0 7 3 0 0 0 0 0 0 9 0 7 0 10 0 0 10 0 0 0 10 0 0 0 0 1 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 1 10 0 0 1 5 0 10 0 0 0 0 10 0 0 0 0 8 10 0 0 0 10 0 10 10 10 0 10 1 1 0 0 0 0 2 0 0 0 8 0 0 0 10 0 0 0 10 10 5 10 0 2 0 5 1 0 0 10 0 0 0 0 0 0 0 0 1 0 0 10 0 0 0 10 10 0 10 0 10 1 0 0 0 10 0 0 0 7 0 0 0 10 10 5 0 0 0 10 0 1 0 1 0 10 0 0 0 10 0 0 10 4 5 0 0 0 0 0 10 10 7 0 1 0 10 1 0 0 0 0 10 0 0 0 1 0 10 10 1 0 7 0 1 10 0 10 0 5 0 10 10 0 0 0 0 10 0 10 10 0 1 0 10 10 0 10 1 0 0 10 0 10 10 10 1 8 1 10 3 0 0 10 10 10 1 10 0 1 10 0 0 1 10 7 0 0 0 0 10 0 0 8 0 0 2 10 0 0 0 0 0 10 4 0 0 1 10 1 0 0 2 10 0 7 0 1 0 10 10 1 0 10 0 0 10 1 0 1 8 10 9 0 0 9 0 10 0 0 0 0 10 0 0 10 10 10 0 0 10 7 10 1 0 10 1 0 0 1 9 0 10 10 0 2 10 0 10 0 1 4 1 0 10 10 8 10 0 0 1 0 3 0 0 0 0 1 9 1 0 10 0 3 0 0 10 0 0 9 0 10 0 0 10 0 0 0 0 0 8 0 0 10 9 1 1 0 10 0 10 0 0 10 1 0 0 9 0 10 1 0 1 0 0 9 5 10 0 1 9 0 0 0 0 0 10 0 0 8 0 1 0 10 0 1 6 0 10 10 10 0 8 0 10 0 9 10 10 10 0 10 0 0 1 7 10 0 0 0 9 10 0 0 9 0 1 0 0 0 10 0 1 0 0 0 0 2 9 10 0 10 0 0 0 0 10 0 0 10 0 0 0 8 9 0 0 1 0 0 0 0 8 0 0 0 0 0 0 0 0 0 1 0 0 10 0 1 10 1 1 0 10 0 0 4 0 0 0 10 0 0 7 0 0 0 10 0 0 1 10 1 3 0 0 0 0 6 0 8 10 1 6 0 1 7 0 0 0 0 1 0 0 0 0 10 0 0 0 0 0 0 0 0 10 1 10 0 10 1 0 0 0 0 0 1 0 0 10 0 0 10 0 10 2 0 0 10 0 0 0 10 10 0 0 0 0 0 10 9 0 1 10 0 0 0 1 0 10 1 0 1 0 0 9 4 1 0 10 0 0 1 0 0 0 0 10 10 10 10 10 0 0 0 0 1 0 6 0 0 0 10 1 7 0 1 0 8 0 0 1 1 10 0 0 10 1 10 10 0 0 0 0 0 10 0 0 10 6 10 0 0 0 10 0 10 0 0 0 0 2 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 1 0 1 0 0 0 9 0 0 0 0 0 1 0 0 0 0 1 0 1 0 2 6 0 0 0 0 4 4 0 1 0 1 5 10 10 10 0 6 0 0 10 0 0 0 0 0 10 10 4 0 0 10 0 10 10 0 0 0 10 4 10 10 0 0 10 0 0 10 0 0 0 0 0 0 1 0 0 1 0 0 0 1 9 0 0 10 1 10 0 0 3 0 0 8 1 10 0 0 0 0 1 </values>
2519.55/2520.01	v </instantiation>
2519.55/2520.01

Verifier Data 

OK	529692396

Watcher Data 

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 (15260 MiB free)
  memory of node 1: 16384 MiB (15013 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408427-1569813844/watcher-4408427-1569813844 -o /tmp/evaluation-result-4408427-1569813844/solver-4408427-1569813844 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408427-1569813844.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31122, runsolver pid=31119
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 2.00 2.01 2.07 3/199 31123
/proc/meminfo: memFree=30976544/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=52156 memory=28332 CPUtime=0.09 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7296 0 0 0 9 0 0 0 20 0 1 0 557640919 53407744 7083 33554432000 4194304 6211132 140721305888976 140721305885512 139643427077093 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 13039 7083 813 493 0 6344 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52156 KiB
Current children cumulated memory: 28332 KiB

[startup+0.209977 s]*
/proc/loadavg: 2.00 2.01 2.07 3/199 31123
/proc/meminfo: memFree=30967244/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=61740 memory=37836 CPUtime=0.2 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 9671 0 0 0 20 0 0 0 20 0 1 0 557640919 63221760 9459 33554432000 4194304 6211132 140721305888976 140721305885512 139643443139712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 15435 9459 813 493 0 8740 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61740 KiB
Current children cumulated memory: 37836 KiB

[startup+0.309707 s]*
/proc/loadavg: 2.00 2.01 2.07 3/199 31123
/proc/meminfo: memFree=30963524/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=65596 memory=41784 CPUtime=0.31 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 10861 0 0 0 30 1 0 0 20 0 1 0 557640919 67170304 10446 33554432000 4194304 6211132 140721305888976 140721305885512 5814093 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 16399 10446 815 493 0 9704 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65596 KiB
Current children cumulated memory: 41784 KiB

[startup+0.700283 s]
/proc/loadavg: 2.00 2.01 2.07 3/199 31123
/proc/meminfo: memFree=30960920/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=71044 memory=46004 CPUtime=0.69 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 11963 0 0 0 68 1 0 0 20 0 1 0 557640919 72749056 11501 33554432000 4194304 6211132 140721305888976 140721305885512 5816706 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 17761 11501 815 493 0 11066 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71044 KiB
Current children cumulated memory: 46004 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.07 3/199 31123
/proc/meminfo: memFree=30954988/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=79868 memory=54452 CPUtime=1.48 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 14050 0 0 0 147 1 0 0 20 0 1 0 557640919 81784832 13613 33554432000 4194304 6211132 140721305888976 140721305885512 139643427074655 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 19967 13613 815 493 0 13272 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 54452 KiB

[startup+3.10992 s]
/proc/loadavg: 2.00 2.01 2.07 3/199 31123
/proc/meminfo: memFree=30886952/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=98492 memory=71512 CPUtime=3.1 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 20045 0 0 0 308 2 0 0 20 0 1 0 557640919 100855808 17878 33554432000 4194304 6211132 140721305888976 140721305886248 5812193 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 24623 17878 815 493 0 17928 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 98492 KiB
Current children cumulated memory: 71512 KiB

[startup+6.30036 s]
/proc/loadavg: 2.08 2.03 2.08 3/199 31123
/proc/meminfo: memFree=30861388/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=136872 memory=106652 CPUtime=6.29 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 30094 0 0 0 625 4 0 0 20 0 1 0 557640919 140156928 26663 33554432000 4194304 6211132 140721305888976 140721305886248 5816164 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 34218 26663 815 493 0 27523 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136872 KiB
Current children cumulated memory: 106652 KiB

[startup+12.7003 s]
/proc/loadavg: 2.16 2.05 2.08 3/199 31123
/proc/meminfo: memFree=30832088/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=214464 memory=177228 CPUtime=12.69 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 49361 0 0 0 1262 7 0 0 20 0 1 0 557640919 219611136 44307 33554432000 4194304 6211132 140721305888976 140721305886248 5817917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 53616 44307 815 493 0 46921 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 214464 KiB
Current children cumulated memory: 177228 KiB

[startup+25.5003 s]
/proc/loadavg: 2.13 2.05 2.08 3/199 31123
/proc/meminfo: memFree=30690408/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=366080 memory=316836 CPUtime=25.48 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 85699 0 0 0 2537 11 0 0 20 0 1 0 557640919 374865920 79209 33554432000 4194304 6211132 140721305888976 140721305886248 5816728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 91520 79209 815 493 0 84825 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 366080 KiB
Current children cumulated memory: 316836 KiB

[startup+51.1095 s]
/proc/loadavg: 2.08 2.04 2.08 3/199 31126
/proc/meminfo: memFree=30400764/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=674360 memory=602284 CPUtime=51.09 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 157069 0 0 0 5087 22 0 0 20 0 1 0 557640919 690544640 150571 33554432000 4194304 6211132 140721305888976 140721305886248 5818586 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 168590 150571 815 493 0 161895 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 674360 KiB
Current children cumulated memory: 602284 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.08 3/199 31131
/proc/meminfo: memFree=29833572/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=1286236 memory=1169372 CPUtime=102.27 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 297365 0 0 0 10184 43 0 0 20 0 1 0 557640919 1317105664 292343 33554432000 4194304 6211132 140721305888976 140721305886248 5818658 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 321559 292343 815 493 0 314864 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1286236 KiB
Current children cumulated memory: 1169372 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.07 3/199 31135
/proc/meminfo: memFree=29208628/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=1946816 memory=1792760 CPUtime=162.26 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 451443 0 0 0 16159 67 0 0 20 0 1 0 557640919 1993539584 448190 33554432000 4194304 6211132 140721305888976 140721305886248 5818435 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 486704 448190 819 493 0 480009 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1946816 KiB
Current children cumulated memory: 1792760 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/200 31141
/proc/meminfo: memFree=28425768/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2732060 memory=2571168 CPUtime=222.25 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 1137633 0 0 0 22109 116 0 0 20 0 1 0 557640919 2797629440 642792 33554432000 4194304 6211132 140721305888976 140721305886376 5038999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 683015 642792 870 493 0 676320 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2732060 KiB
Current children cumulated memory: 2571168 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/199 31145
/proc/meminfo: memFree=28402156/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2747408 memory=2594716 CPUtime=282.25 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 1367160 0 0 0 28096 129 0 0 20 0 1 0 557640919 2813345792 648679 33554432000 4194304 6211132 140721305888976 140721305886184 5038999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 686852 648679 870 493 0 680157 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2747408 KiB
Current children cumulated memory: 2594716 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.06 3/199 31149
/proc/meminfo: memFree=28375804/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2765400 memory=2621032 CPUtime=342.23 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 1864955 0 0 0 34068 155 0 0 20 0 1 0 557640919 2831769600 655258 33554432000 4194304 6211132 140721305888976 140721305886296 5396788 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 691350 655258 870 493 0 684655 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2765400 KiB
Current children cumulated memory: 2621032 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 31162
/proc/meminfo: memFree=28348212/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2784824 memory=2647956 CPUtime=402.21 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 2360611 0 0 0 40042 179 0 0 20 0 1 0 557640919 2851659776 661989 33554432000 4194304 6211132 140721305888976 140721305886296 5038999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 696206 661989 870 493 0 689511 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 2784824 KiB
Current children cumulated memory: 2647956 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 31166
/proc/meminfo: memFree=28298212/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2829592 memory=2698064 CPUtime=462.19 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 2840149 0 0 0 46015 204 0 0 20 0 1 0 557640919 2897502208 674516 33554432000 4194304 6211132 140721305888976 140721305886184 5396439 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 707398 674516 870 493 0 700703 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 2829592 KiB
Current children cumulated memory: 2698064 KiB


################
# More data... #
################

/proc/31122/statm: 741664 732637 871 493 0 734969 0
Current children cumulated CPU time: 1721.89 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930548 KiB

[startup+1782.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/198 31427
/proc/meminfo: memFree=28045792/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2938236 CPUtime=1781.88 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7590948 0 0 0 177717 471 0 0 20 0 1 0 557640919 3037855744 734559 33554432000 4194304 6211132 140721305888976 140721305887112 5038999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 734559 871 493 0 734969 0
Current children cumulated CPU time: 1781.88 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2938236 KiB

[startup+1842.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 31433
/proc/meminfo: memFree=28040596/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942492 CPUtime=1841.88 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7597635 0 0 0 183716 472 0 0 20 0 1 0 557640919 3037855744 735623 33554432000 4194304 6211132 140721305888976 140721305887112 5039125 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735623 871 493 0 734969 0
Current children cumulated CPU time: 1841.88 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942492 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 31437
/proc/meminfo: memFree=28041412/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942492 CPUtime=1901.88 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7604276 0 0 0 189715 473 0 0 20 0 1 0 557640919 3037855744 735623 33554432000 4194304 6211132 140721305888976 140721305887112 5038999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735623 871 493 0 734969 0
Current children cumulated CPU time: 1901.88 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942492 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 31441
/proc/meminfo: memFree=28041208/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942492 CPUtime=1961.87 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7611258 0 0 0 195714 473 0 0 20 0 1 0 557640919 3037855744 735623 33554432000 4194304 6211132 140721305888976 140721305887112 5392113 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735623 871 493 0 734969 0
Current children cumulated CPU time: 1961.87 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942492 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 31447
/proc/meminfo: memFree=28040388/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942508 CPUtime=2021.87 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7619519 0 0 0 201713 474 0 0 20 0 1 0 557640919 3037855744 735627 33554432000 4194304 6211132 140721305888976 140721305887112 5250292 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735627 871 493 0 734969 0
Current children cumulated CPU time: 2021.87 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942508 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 31451
/proc/meminfo: memFree=28040712/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942508 CPUtime=2081.87 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7623049 0 0 0 207713 474 0 0 20 0 1 0 557640919 3037855744 735627 33554432000 4194304 6211132 140721305888976 140721305887112 5038990 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735627 871 493 0 734969 0
Current children cumulated CPU time: 2081.87 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942508 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 31455
/proc/meminfo: memFree=28041236/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942508 CPUtime=2141.87 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7629381 0 0 0 213712 475 0 0 20 0 1 0 557640919 3037855744 735627 33554432000 4194304 6211132 140721305888976 140721305887112 5155839 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735627 871 493 0 734969 0
Current children cumulated CPU time: 2141.87 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942508 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 31468
/proc/meminfo: memFree=28040768/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942508 CPUtime=2201.86 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7634304 0 0 0 219711 475 0 0 20 0 1 0 557640919 3037855744 735627 33554432000 4194304 6211132 140721305888976 140721305887112 5157804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735627 871 493 0 734969 0
Current children cumulated CPU time: 2201.86 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942508 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 31473
/proc/meminfo: memFree=28039964/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942508 CPUtime=2261.86 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7642438 0 0 0 225710 476 0 0 20 0 1 0 557640919 3037855744 735627 33554432000 4194304 6211132 140721305888976 140721305887112 5038999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735627 871 493 0 734969 0
Current children cumulated CPU time: 2261.86 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942508 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 31477
/proc/meminfo: memFree=28040336/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942508 CPUtime=2321.85 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7648106 0 0 0 231709 476 0 0 20 0 1 0 557640919 3037855744 735627 33554432000 4194304 6211132 140721305888976 140721305887112 5038999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735627 871 493 0 734969 0
Current children cumulated CPU time: 2321.85 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942508 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 31483
/proc/meminfo: memFree=28040340/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942508 CPUtime=2381.85 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7653678 0 0 0 237708 477 0 0 20 0 1 0 557640919 3037855744 735627 33554432000 4194304 6211132 140721305888976 140721305887112 5250304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735627 871 493 0 734969 0
Current children cumulated CPU time: 2381.85 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942508 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 31487
/proc/meminfo: memFree=28040024/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942512 CPUtime=2441.85 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7663352 0 0 0 243707 478 0 0 20 0 1 0 557640919 3037855744 735628 33554432000 4194304 6211132 140721305888976 140721305887112 5038999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735628 871 493 0 734969 0
Current children cumulated CPU time: 2441.85 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942512 KiB

[startup+2502.3 s]
/proc/loadavg: 2.28 2.06 2.06 3/198 31492
/proc/meminfo: memFree=28040344/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942512 CPUtime=2501.85 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7667038 0 0 0 249706 479 0 0 20 0 1 0 557640919 3037855744 735628 33554432000 4194304 6211132 140721305888976 140721305887112 5038990 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735628 871 493 0 734969 0
Current children cumulated CPU time: 2501.85 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942512 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.44 2.11 2.08 3/198 31495
/proc/meminfo: memFree=28040124/32770624 swapFree=66986684/67108860
[pid=31122] ppid=31119 vsize=2966656 memory=2942512 CPUtime=2519.55 cores=1,3,5,7
/proc/31122/stat : 31122 (cosoco) R 31119 31122 25075 0 -1 4202496 7667967 0 0 0 251476 479 0 0 20 0 1 0 557640919 3037855744 735628 33554432000 4194304 6211132 140721305888976 140721305887112 5038990 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11407360 140721305895947 140721305896049 140721305896049 140721305898958 0
/proc/31122/statm: 741664 735628 871 493 0 734969 0
Current children cumulated CPU time: 2519.55 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942512 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.02 s]
# the end of solver process 31122 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.77 s, system=4.80465 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.58
CPU user time (s): 2514.77
CPU system time (s): 4.80465
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 2966656
Max. memory (cumulated for all children) (KiB): 2942512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.77
system time used= 4.80465
maximum resident set size= 2942572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7668052
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= 587
involuntary context switches= 1004


# summary of solver processes directly reported to runsolver:
#   pid: 31122
#   total CPU time (s): 2519.58
#   total CPU user time (s): 2514.77
#   total CPU system time (s): 4.80465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4708 second user time and 18.1575 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-30 04:13:40
IDJOB=4408427
IDBENCH=141284
IDSOLVER=2874
FILE ID=node104/4408427-1569813844
RUNJOBID= node104-1569783168-25107
PBS_JOBID= 21705839
Free space on /tmp= 61456 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408427-1569813844/watcher-4408427-1569813844 -o /tmp/evaluation-result-4408427-1569813844/solver-4408427-1569813844 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408427-1569813844.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=1030352371

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        31000352 kB
MemAvailable:   31829620 kB
Buffers:          207088 kB
Cached:           948700 kB
SwapCached:        22760 kB
Active:           901188 kB
Inactive:         289848 kB
Active(anon):      26248 kB
Inactive(anon):    91416 kB
Active(file):     874940 kB
Inactive(file):   198432 kB
Unevictable:      109484 kB
Mlocked:          109484 kB
SwapTotal:      67108860 kB
SwapFree:       66986684 kB
Dirty:            586364 kB
Writeback:             0 kB
AnonPages:        123896 kB
Mapped:            28528 kB
Shmem:             73632 kB
Slab:             173116 kB
SReclaimable:     143460 kB
SUnreclaim:        29656 kB
KernelStack:        3472 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     569192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61456 MiB
End job on node104 at 2019-09-30 04:55:40