Trace number 4389887

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 2SAT (TO)529692396 2519.97 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 

604.99/605.05	c
604.99/605.05	c This is cosoco 2.00 --  
604.99/605.05	c
604.99/605.05	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389887-1568360274.xml 
604.99/605.05	c enable optimization
604.99/605.05	c ========================================[ Problem Statistics ]===========================================
604.99/605.05	c |                                                                                                       
604.99/605.05	c |  Parse time        :       197.61 s 
604.99/605.05	c |
604.99/605.05	c |               Variables: 7232
604.99/605.05	c |            Domain Sizes: 1..135
604.99/605.05	c |
604.99/605.05	c |             Constraints: 4666
604.99/605.05	c |                   Arity: 2..4355  -- Binary: 311  -- Ternary: 2177
604.99/605.05	c | 
604.99/605.05	c |                   Types: 
604.99/605.05	c |                          Extension: 4665  (nb tuples: 0..18225) -- (shared: 0)
604.99/605.05	c |                          Sum: 1
604.99/605.05	c |                          
604.99/605.05	c |               Objective: Minimize Sum
604.99/605.05	
604.99/605.05	c =========================================================================================================
604.99/605.05	o 529910200
604.99/605.05	c    1 calls to solver(id=0): best=529910200 lower=0 upper=529910199 
620.38/620.48	o 529910195
661.47/661.53	o 529910147
661.47/661.53	c    3 calls to solver(id=0): best=529910147 lower=0 upper=529910146 
720.57/720.62	o 529801347
735.67/735.76	o 529779548
735.67/735.76	c    5 calls to solver(id=0): best=529779548 lower=0 upper=529779547 
784.67/784.72	o 529779527
805.98/806.09	o 529779523
805.98/806.09	c    7 calls to solver(id=0): best=529779523 lower=0 upper=529779522 
821.17/821.23	o 529779521
933.86/933.99	o 529735948
933.86/934.00	c    9 calls to solver(id=0): best=529735948 lower=0 upper=529735947 
948.86/948.91	o 529735946
1051.36/1051.47	o 529735943
1051.36/1051.48	c   11 calls to solver(id=0): best=529735943 lower=0 upper=529735942 
1170.06/1170.12	o 529714177
1280.54/1280.65	o 529714169
1280.54/1280.66	c   13 calls to solver(id=0): best=529714169 lower=0 upper=529714168 
1314.73/1314.87	o 529714168
1434.74/1434.82	o 529714167
1434.74/1434.83	c   15 calls to solver(id=0): best=529714167 lower=0 upper=529714166 
1520.23/1520.33	o 529692399
1782.21/1782.34	o 529692397
1782.21/1782.35	c   17 calls to solver(id=0): best=529692397 lower=0 upper=529692396 
1808.82/1808.95	o 529692396
2519.95/2520.01	
2519.95/2520.01	c *** INTERRUPTED ***
2519.95/2520.01	c call to solver        : 18
2519.95/2520.01	c
2519.95/2520.01	c restarts              : 260         
2519.95/2520.01	c conflicts             : 129969       (52 /sec)
2519.95/2520.01	c decisions             : 1537187      (612 /sec)
2519.95/2520.01	c propagations          : 178991989   (71206 /sec)
2519.95/2520.01	c root propagations     : 11512       
2519.95/2520.01	c filter calls          : 25277185       (10056 /sec)
2519.95/2520.01	c useless filter calls  : 14648519       (57 %)
2519.95/2520.01	c Memory used           : 2897.13 MB
2519.95/2520.01	c Best bound time (wc)  : 1808.96 s
2519.95/2520.01	c CPU time              : 2513.71 s
2519.95/2520.01	c real time             : 2520.01 s
2519.95/2520.01	
2519.95/2520.01	c nb Solutions = 18
2519.95/2520.01	s SATISFIABLE
2519.95/2520.01	c Best value found: 529692396
2519.95/2520.01	
2519.95/2520.01	
2519.95/2520.01	v <instantiation type='solution' cost='529692396'>
2519.95/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.95/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.95/2520.01	v </instantiation>
2519.95/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 (14698 MiB free)
  memory of node 1: 16384 MiB (15292 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389887-1568360274/watcher-4389887-1568360274 -o /tmp/evaluation-result-4389887-1568360274/solver-4389887-1568360274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568357660-23541 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389887-1568360274.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100205 s]*
/proc/loadavg: 2.08 2.03 1.98 3/199 24275
/proc/meminfo: memFree=30687848/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=52300 memory=28608 CPUtime=0.1 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 7318 0 0 0 9 1 0 0 20 0 1 0 411965542 53555200 7152 33554432000 4194304 6210612 140727831590016 140727831586552 139786430241765 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 13075 7152 810 493 0 6380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52300 KiB
Current children cumulated memory: 28608 KiB

[startup+0.209895 s]*
/proc/loadavg: 2.08 2.03 1.98 3/199 24275
/proc/meminfo: memFree=30674020/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=61740 memory=37848 CPUtime=0.21 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 9681 0 0 0 19 2 0 0 20 0 1 0 411965542 63221760 9462 33554432000 4194304 6210612 140727831590016 140727831586552 139786430241765 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 15435 9462 810 493 0 8740 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61740 KiB
Current children cumulated memory: 37848 KiB

[startup+0.30958 s]*
/proc/loadavg: 2.08 2.03 1.98 3/199 24275
/proc/meminfo: memFree=30673516/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=65596 memory=41768 CPUtime=0.31 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10857 0 0 0 29 2 0 0 20 0 1 0 411965542 67170304 10442 33554432000 4194304 6210612 140727831590016 140727831586552 5816526 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 16399 10442 811 493 0 9704 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65596 KiB
Current children cumulated memory: 41768 KiB

[startup+0.700421 s]
/proc/loadavg: 2.08 2.03 1.98 3/199 24275
/proc/meminfo: memFree=30667708/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=71044 memory=45988 CPUtime=0.69 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 11959 0 0 0 67 2 0 0 20 0 1 0 411965542 72749056 11497 33554432000 4194304 6210612 140727831590016 140727831587288 139786446304384 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 17761 11497 811 493 0 11066 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71044 KiB
Current children cumulated memory: 45988 KiB

[startup+1.5004 s]
/proc/loadavg: 2.08 2.03 1.98 3/199 24275
/proc/meminfo: memFree=30662928/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=79868 memory=54436 CPUtime=1.49 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 14046 0 0 0 147 2 0 0 20 0 1 0 411965542 81784832 13609 33554432000 4194304 6210612 140727831590016 140727831587288 5707686 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 19967 13609 811 493 0 13272 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 54436 KiB

[startup+3.1097 s]
/proc/loadavg: 2.08 2.03 1.98 3/199 24275
/proc/meminfo: memFree=30620828/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=98492 memory=71312 CPUtime=3.1 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 19955 0 0 0 307 3 0 0 20 0 1 0 411965542 100855808 17828 33554432000 4194304 6210612 140727831590016 140727831587288 5484705 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 24623 17828 811 493 0 17928 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 98492 KiB
Current children cumulated memory: 71312 KiB

[startup+6.30041 s]
/proc/loadavg: 2.15 2.05 1.98 3/199 24275
/proc/meminfo: memFree=30558024/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=136872 memory=106628 CPUtime=6.29 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 30661 0 0 0 624 5 0 0 20 0 1 0 411965542 140156928 26657 33554432000 4194304 6210612 140727831590016 140727831587288 5818477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 34218 26657 811 493 0 27523 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136872 KiB
Current children cumulated memory: 106628 KiB

[startup+12.7003 s]
/proc/loadavg: 2.14 2.05 1.98 3/199 24275
/proc/meminfo: memFree=30484248/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=213316 memory=176312 CPUtime=12.69 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 50619 0 0 0 1261 8 0 0 20 0 1 0 411965542 218435584 44078 33554432000 4194304 6210612 140727831590016 140727831587288 5815944 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 53329 44078 811 493 0 46634 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 213316 KiB
Current children cumulated memory: 176312 KiB

[startup+25.5004 s]
/proc/loadavg: 2.11 2.04 1.98 3/200 24278
/proc/meminfo: memFree=30179584/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=364808 memory=315108 CPUtime=25.5 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 88985 0 0 0 2536 14 0 0 20 0 1 0 411965542 373563392 78777 33554432000 4194304 6210612 140727831590016 140727831587288 5813980 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 91202 78777 811 493 0 84507 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 364808 KiB
Current children cumulated memory: 315108 KiB

[startup+51.1096 s]
/proc/loadavg: 2.07 2.04 1.98 3/199 24278
/proc/meminfo: memFree=29886888/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=671300 memory=595736 CPUtime=51.11 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 161573 0 0 0 5086 25 0 0 20 0 1 0 411965542 687411200 148934 33554432000 4194304 6210612 140727831590016 140727831587288 5812001 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 167825 148934 811 493 0 161130 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 671300 KiB
Current children cumulated memory: 595736 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 1.98 3/199 24282
/proc/meminfo: memFree=29321592/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=1280048 memory=1153244 CPUtime=102.29 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 302759 0 0 0 10185 44 0 0 20 0 1 0 411965542 1310769152 288311 33554432000 4194304 6210612 140727831590016 140727831587288 139786446304384 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 320012 288311 811 493 0 313317 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1280048 KiB
Current children cumulated memory: 1153244 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/199 24288
/proc/meminfo: memFree=28696292/32770624 swapFree=66918148/67108860
[pid=24274] ppid=24271 vsize=1937528 memory=1765164 CPUtime=162.3 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 458300 0 0 0 16165 65 0 0 20 0 1 0 411965542 1984028672 441291 33554432000 4194304 6210612 140727831590016 140727831587288 5818280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 484382 441291 815 493 0 477687 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1937528 KiB
Current children cumulated memory: 1765164 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 24300
/proc/meminfo: memFree=27897600/32770624 swapFree=66918156/67108860
[pid=24274] ppid=24271 vsize=2731092 memory=2543080 CPUtime=222.31 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 1208414 0 0 0 22112 119 0 0 20 0 1 0 411965542 2796638208 635770 33554432000 4194304 6210612 140727831590016 140727831587416 5038619 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 682773 635770 866 493 0 676078 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2731092 KiB
Current children cumulated memory: 2543080 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/200 24304
/proc/meminfo: memFree=27873252/32770624 swapFree=66918156/67108860
[pid=24274] ppid=24271 vsize=2747408 memory=2559132 CPUtime=282.31 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 1551914 0 0 0 28093 138 0 0 20 0 1 0 411965542 2813345792 639783 33554432000 4194304 6210612 140727831590016 140727831587224 5038622 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 686852 639783 866 493 0 680157 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2747408 KiB
Current children cumulated memory: 2559132 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 24310
/proc/meminfo: memFree=27855016/32770624 swapFree=66918156/67108860
[pid=24274] ppid=24271 vsize=2760660 memory=2572448 CPUtime=342.32 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 2150752 0 0 0 34066 166 0 0 20 0 1 0 411965542 2826915840 643112 33554432000 4194304 6210612 140727831590016 140727831587224 5184775 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 690165 643112 866 493 0 683470 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2760660 KiB
Current children cumulated memory: 2572448 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 24314
/proc/meminfo: memFree=27834296/32770624 swapFree=66918156/67108860
[pid=24274] ppid=24271 vsize=2771184 memory=2584920 CPUtime=402.32 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 2692900 0 0 0 40042 190 0 0 20 0 1 0 411965542 2837692416 646230 33554432000 4194304 6210612 140727831590016 140727831587224 139786430235144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 692796 646230 866 493 0 686101 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2771184 KiB
Current children cumulated memory: 2584920 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/200 24318
/proc/meminfo: memFree=27807528/32770624 swapFree=66918156/67108860
[pid=24274] ppid=24271 vsize=2788736 memory=2610144 CPUtime=462.3 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 3254990 0 0 0 46015 215 0 0 20 0 1 0 411965542 2855665664 652536 33554432000 4194304 6210612 140727831590016 140727831587224 5038658 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 697184 652536 866 493 0 690489 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2788736 KiB
Current children cumulated memory: 2610144 KiB


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

/proc/24274/statm: 741664 732242 867 493 0 734969 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2928968 KiB

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/199 24463
/proc/meminfo: memFree=27475032/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2930212 CPUtime=1782.21 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10578696 0 0 0 177625 596 0 0 20 0 1 0 411965542 3037855744 732553 33554432000 4194304 6210612 140727831590016 140727831588152 5034535 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 732553 867 493 0 734969 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930212 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/199 24467
/proc/meminfo: memFree=27475368/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2930228 CPUtime=1842.22 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10692845 0 0 0 183619 603 0 0 20 0 1 0 411965542 3037855744 732557 33554432000 4194304 6210612 140727831590016 140727831588152 5034864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 732557 867 493 0 734969 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930228 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 24471
/proc/meminfo: memFree=27475388/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2930228 CPUtime=1902.22 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10765623 0 0 0 189612 610 0 0 20 0 1 0 411965542 3037855744 732557 33554432000 4194304 6210612 140727831590016 140727831588152 5038622 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 732557 867 493 0 734969 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930228 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 24477
/proc/meminfo: memFree=27475032/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2930232 CPUtime=1962.22 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10816616 0 0 0 195609 613 0 0 20 0 1 0 411965542 3037855744 732558 33554432000 4194304 6210612 140727831590016 140727831588152 5038622 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 732558 867 493 0 734969 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930232 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24489
/proc/meminfo: memFree=27475204/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2930248 CPUtime=2022.22 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10847618 0 0 0 201606 616 0 0 20 0 1 0 411965542 3037855744 732562 33554432000 4194304 6210612 140727831590016 140727831588152 5396590 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 732562 867 493 0 734969 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930248 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24493
/proc/meminfo: memFree=27474868/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2930540 CPUtime=2082.22 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10873414 0 0 0 207603 619 0 0 20 0 1 0 411965542 3037855744 732635 33554432000 4194304 6210612 140727831590016 140727831588152 5038753 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 732635 867 493 0 734969 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930540 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24499
/proc/meminfo: memFree=27467612/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2938092 CPUtime=2142.21 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10888603 0 0 0 213600 621 0 0 20 0 1 0 411965542 3037855744 734523 33554432000 4194304 6210612 140727831590016 140727831588152 5038631 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 734523 867 493 0 734969 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2938092 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24503
/proc/meminfo: memFree=27462368/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2942712 CPUtime=2202.21 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10893836 0 0 0 219600 621 0 0 20 0 1 0 411965542 3037855744 735678 33554432000 4194304 6210612 140727831590016 140727831588152 5038631 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 735678 867 493 0 734969 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942712 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24507
/proc/meminfo: memFree=27463008/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2942712 CPUtime=2262.22 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10899765 0 0 0 225600 622 0 0 20 0 1 0 411965542 3037855744 735678 33554432000 4194304 6210612 140727831590016 140727831588152 5034915 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 735678 867 493 0 734969 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942712 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/199 24513
/proc/meminfo: memFree=27462824/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2942712 CPUtime=2322.22 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10905947 0 0 0 231600 622 0 0 20 0 1 0 411965542 3037855744 735678 33554432000 4194304 6210612 140727831590016 140727831588152 5038631 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 735678 867 493 0 734969 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942712 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24518
/proc/meminfo: memFree=27462684/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2942712 CPUtime=2382.22 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10908444 0 0 0 237600 622 0 0 20 0 1 0 411965542 3037855744 735678 33554432000 4194304 6210612 140727831590016 140727831588152 5038622 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 735678 867 493 0 734969 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942712 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24522
/proc/meminfo: memFree=27463200/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2942712 CPUtime=2442.23 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10914892 0 0 0 243600 623 0 0 20 0 1 0 411965542 3037855744 735678 33554432000 4194304 6210612 140727831590016 140727831588152 5249719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 735678 867 493 0 734969 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942712 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/200 24528
/proc/meminfo: memFree=27463220/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2942712 CPUtime=2502.23 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10921841 0 0 0 249600 623 0 0 20 0 1 0 411965542 3037855744 735678 33554432000 4194304 6210612 140727831590016 140727831588152 5396596 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 735678 867 493 0 734969 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942712 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.06 2.03 1.99 2/193 24577
/proc/meminfo: memFree=28072364/32770624 swapFree=66918212/67108860
[pid=24274] ppid=24271 vsize=2966656 memory=2942712 CPUtime=2519.95 cores=0,2,4,6
/proc/24274/stat : 24274 (cosoco) R 24271 24274 21964 0 -1 4202496 10925628 0 0 0 251371 624 0 0 20 0 1 0 411965542 3037855744 735678 33554432000 4194304 6210612 140727831590016 140727831588152 5038661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 10153984 140727831593995 140727831594097 140727831594097 140727831597006 0
/proc/24274/statm: 741664 735678 867 493 0 734969 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942712 KiB

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

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

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.97
CPU user time (s): 2513.72
CPU system time (s): 6.25543
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 2966656
Max. memory (cumulated for all children) (KiB): 2942712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.72
system time used= 6.25543
maximum resident set size= 2942776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10925709
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= 610
involuntary context switches= 3150


# summary of solver processes directly reported to runsolver:
#   pid: 24274
#   total CPU time (s): 2519.97
#   total CPU user time (s): 2513.72
#   total CPU system time (s): 6.25543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2826 second user time and 18.5162 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-13 09:37:15
IDJOB=4389887
IDBENCH=141284
IDSOLVER=2829
FILE ID=node141/4389887-1568360274
RUNJOBID= node141-1568357660-23541
PBS_JOBID= 21701171
Free space on /tmp= 55468 MiB

SOLVER NAME= cosoco 2
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-4389887-1568360274/watcher-4389887-1568360274 -o /tmp/evaluation-result-4389887-1568360274/solver-4389887-1568360274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568357660-23541 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389887-1568360274.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=1255362087

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        30720864 kB
MemAvailable:   31616140 kB
Buffers:          140632 kB
Cached:          1035980 kB
SwapCached:        81312 kB
Active:          1073592 kB
Inactive:         373716 kB
Active(anon):     195272 kB
Inactive(anon):   106240 kB
Active(file):     878320 kB
Inactive(file):   267476 kB
Unevictable:      109200 kB
Mlocked:          109200 kB
SwapTotal:      67108860 kB
SwapFree:       66918148 kB
Dirty:            522156 kB
Writeback:         62964 kB
AnonPages:        299160 kB
Mapped:            36000 kB
Shmem:             22196 kB
Slab:             195812 kB
SReclaimable:     131044 kB
SUnreclaim:        64768 kB
KernelStack:        3472 kB
PageTables:         5856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     718980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 55540 MiB
End job on node141 at 2019-09-13 10:19:15