Trace number 4397847

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 2.0SAT (TO)529692396 2400.08 2400.52

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 benchmark521763735
Best CPU time to get the best result obtained on this benchmark2400.14
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 

584.98/585.18	c
584.98/585.18	c This is cosoco 2.00 --  
584.98/585.18	c
584.98/585.18	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397847-1568592885.xml 
584.98/585.18	c enable optimization
584.98/585.18	c ========================================[ Problem Statistics ]===========================================
584.98/585.18	c |                                                                                                       
584.98/585.18	c |  Parse time        :       197.57 s 
584.98/585.18	c |
584.98/585.18	c |               Variables: 7232
584.98/585.18	c |            Domain Sizes: 1..135
584.98/585.18	c |
584.98/585.18	c |             Constraints: 4666
584.98/585.18	c |                   Arity: 2..4355  -- Binary: 311  -- Ternary: 2177
584.98/585.18	c | 
584.98/585.18	c |                   Types: 
584.98/585.18	c |                          Extension: 4665  (nb tuples: 0..18225) -- (shared: 0)
584.98/585.18	c |                          Sum: 1
584.98/585.18	c |                          
584.98/585.18	c |               Objective: Minimize Sum
584.98/585.18	
584.98/585.18	c =========================================================================================================
584.98/585.18	o 529910200
584.98/585.18	c    1 calls to solver(id=0): best=529910200 lower=0 upper=529910199 
599.67/599.85	o 529910195
638.65/638.88	o 529910147
638.65/638.88	c    3 calls to solver(id=0): best=529910147 lower=0 upper=529910146 
695.04/695.21	o 529801347
709.54/709.78	o 529779548
709.54/709.78	c    5 calls to solver(id=0): best=529779548 lower=0 upper=529779547 
756.33/756.52	o 529779527
776.83/777.05	o 529779523
776.83/777.05	c    7 calls to solver(id=0): best=529779523 lower=0 upper=529779522 
791.32/791.50	o 529779521
899.70/899.91	o 529735948
899.70/899.92	c    9 calls to solver(id=0): best=529735948 lower=0 upper=529735947 
914.09/914.33	o 529735946
1012.78/1013.04	o 529735943
1012.78/1013.04	c   11 calls to solver(id=0): best=529735943 lower=0 upper=529735942 
1126.85/1127.14	o 529714177
1231.61/1231.98	o 529714169
1231.61/1231.98	c   13 calls to solver(id=0): best=529714169 lower=0 upper=529714168 
1263.71/1264.02	o 529714168
1375.56/1375.99	o 529714167
1375.56/1375.99	c   15 calls to solver(id=0): best=529714167 lower=0 upper=529714166 
1456.15/1456.57	o 529692399
1711.62/1712.01	o 529692397
1711.62/1712.02	c   17 calls to solver(id=0): best=529692397 lower=0 upper=529692396 
1737.81/1738.23	o 529692396
2400.05/2400.50	
2400.05/2400.50	c *** INTERRUPTED ***
2400.05/2400.50	c call to solver        : 18
2400.05/2400.50	c
2400.05/2400.50	c restarts              : 258         
2400.05/2400.50	c conflicts             : 102941       (43 /sec)
2400.05/2400.50	c decisions             : 1494435      (624 /sec)
2400.05/2400.50	c propagations          : 168906209   (70510 /sec)
2400.05/2400.50	c root propagations     : 11512       
2400.05/2400.50	c filter calls          : 23546251       (9829 /sec)
2400.05/2400.50	c useless filter calls  : 13793754       (58 %)
2400.05/2400.50	c Memory used           : 2897.13 MB
2400.05/2400.50	c Best bound time (wc)  : 1738.23 s
2400.05/2400.50	c CPU time              : 2395.48 s
2400.05/2400.50	c real time             : 2400.5 s
2400.05/2400.50	
2400.05/2400.50	c nb Solutions = 18
2400.05/2400.50	s SATISFIABLE
2400.05/2400.50	c Best value found: 529692396
2400.05/2400.50	
2400.05/2400.50	
2400.05/2400.50	v <instantiation type='solution' cost='529692396'>
2400.05/2400.50	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>
2400.05/2400.50	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>
2400.05/2400.50	v </instantiation>
2400.05/2400.50

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397847-1568592885/watcher-4397847-1568592885 -o /tmp/evaluation-result-4397847-1568592885/solver-4397847-1568592885 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568592835-28285 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397847-1568592885.xml 

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

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

solver pid=28315, runsolver pid=28312

[startup+0.100218 s]*
/proc/loadavg: 1.09 1.41 1.78 3/205 28316
/proc/meminfo: memFree=30900672/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=52300 memory=28468 CPUtime=0.1 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7321 0 0 0 10 0 0 0 20 0 1 0 435211388 53555200 7117 33554432000 4194304 6211092 140735002303088 140735002299624 140208055213029 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 13075 7117 813 493 0 6380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52300 KiB
Current children cumulated memory: 28468 KiB

[startup+0.210117 s]*
/proc/loadavg: 1.09 1.41 1.78 3/205 28316
/proc/meminfo: memFree=30891372/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=61740 memory=37972 CPUtime=0.21 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 9693 0 0 0 20 1 0 0 20 0 1 0 435211388 63221760 9493 33554432000 4194304 6211092 140735002303088 140735002299624 5016098 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 15435 9493 813 493 0 8740 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61740 KiB
Current children cumulated memory: 37972 KiB

[startup+0.309947 s]*
/proc/loadavg: 1.09 1.41 1.78 3/205 28316
/proc/meminfo: memFree=30887776/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=65596 memory=41784 CPUtime=0.31 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 10861 0 0 0 30 1 0 0 20 0 1 0 435211388 67170304 10446 33554432000 4194304 6211092 140735002303088 140735002300360 140208071275648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 16399 10446 815 493 0 9704 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65596 KiB
Current children cumulated memory: 41784 KiB

[startup+0.700353 s]
/proc/loadavg: 1.09 1.41 1.78 3/205 28316
/proc/meminfo: memFree=30884676/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=71044 memory=46004 CPUtime=0.69 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 11963 0 0 0 68 1 0 0 20 0 1 0 435211388 72749056 11501 33554432000 4194304 6211092 140735002303088 140735002300360 5689493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 17761 11501 815 493 0 11066 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71044 KiB
Current children cumulated memory: 46004 KiB

[startup+1.50035 s]
/proc/loadavg: 1.09 1.41 1.78 3/205 28316
/proc/meminfo: memFree=30879164/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=79868 memory=54452 CPUtime=1.48 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 14050 0 0 0 147 1 0 0 20 0 1 0 435211388 81784832 13613 33554432000 4194304 6211092 140735002303088 140735002300360 5817892 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 19967 13613 815 493 0 13272 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 54452 KiB

[startup+3.10997 s]
/proc/loadavg: 1.00 1.39 1.77 3/205 28316
/proc/meminfo: memFree=30811184/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=98492 memory=71332 CPUtime=3.1 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 19958 0 0 0 308 2 0 0 20 0 1 0 435211388 100855808 17833 33554432000 4194304 6211092 140735002303088 140735002300360 5484862 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 24623 17833 815 493 0 17928 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 98492 KiB
Current children cumulated memory: 71332 KiB

[startup+6.30033 s]
/proc/loadavg: 1.00 1.39 1.77 3/205 28316
/proc/meminfo: memFree=30781416/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=136872 memory=106652 CPUtime=6.29 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 30663 0 0 0 626 3 0 0 20 0 1 0 435211388 140156928 26663 33554432000 4194304 6211092 140735002303088 140735002300360 5483333 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 34218 26663 815 493 0 27523 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136872 KiB
Current children cumulated memory: 106652 KiB

[startup+12.7003 s]
/proc/loadavg: 1.31 1.44 1.78 3/205 28316
/proc/meminfo: memFree=30758524/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=213316 memory=176340 CPUtime=12.69 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 50620 0 0 0 1264 5 0 0 20 0 1 0 435211388 218435584 44085 33554432000 4194304 6211092 140735002303088 140735002300360 5818695 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 53329 44085 815 493 0 46634 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 213316 KiB
Current children cumulated memory: 176340 KiB

[startup+25.5004 s]
/proc/loadavg: 1.34 1.45 1.78 3/205 28317
/proc/meminfo: memFree=30617996/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=364808 memory=315312 CPUtime=25.48 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 88946 0 0 0 2538 10 0 0 20 0 1 0 435211388 373563392 78828 33554432000 4194304 6211092 140735002303088 140735002300360 5812226 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 91202 78828 815 493 0 84507 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 364808 KiB
Current children cumulated memory: 315312 KiB

[startup+51.1098 s]
/proc/loadavg: 1.57 1.49 1.78 3/205 28319
/proc/meminfo: memFree=30331764/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=671300 memory=596824 CPUtime=51.09 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 159612 0 0 0 5090 19 0 0 20 0 1 0 435211388 687411200 149206 33554432000 4194304 6211092 140735002303088 140735002300360 5707941 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 167825 149206 815 493 0 161130 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 671300 KiB
Current children cumulated memory: 596824 KiB

[startup+102.3 s]
/proc/loadavg: 1.83 1.58 1.79 3/205 28323
/proc/meminfo: memFree=29767212/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=1280048 memory=1161376 CPUtime=102.27 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 299236 0 0 0 10187 40 0 0 20 0 1 0 435211388 1310769152 290344 33554432000 4194304 6211092 140735002303088 140735002300360 140208071275648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 320012 290344 815 493 0 313317 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1280048 KiB
Current children cumulated memory: 1161376 KiB

[startup+162.3 s]
/proc/loadavg: 1.94 1.65 1.81 3/205 28327
/proc/meminfo: memFree=29144828/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=1937268 memory=1781056 CPUtime=162.26 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 452446 0 0 0 16163 63 0 0 20 0 1 0 435211388 1983762432 445264 33554432000 4194304 6211092 140735002303088 140735002300360 5240329 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 484317 445264 819 493 0 477622 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1937268 KiB
Current children cumulated memory: 1781056 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 1.72 1.82 3/205 28333
/proc/meminfo: memFree=28353016/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=2732060 memory=2568724 CPUtime=222.25 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 1147322 0 0 0 22113 112 0 0 20 0 1 0 435211388 2797629440 642181 33554432000 4194304 6211092 140735002303088 140735002300488 5038964 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 683015 642181 870 493 0 676320 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2732060 KiB
Current children cumulated memory: 2568724 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 1.78 1.83 3/204 28338
/proc/meminfo: memFree=28329516/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=2747408 memory=2592168 CPUtime=282.24 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 1379485 0 0 0 28101 123 0 0 20 0 1 0 435211388 2813345792 648042 33554432000 4194304 6211092 140735002303088 140735002300296 5039121 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 686852 648042 870 493 0 680157 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2747408 KiB
Current children cumulated memory: 2592168 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 1.82 1.85 3/204 28342
/proc/meminfo: memFree=28303448/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=2764452 memory=2617552 CPUtime=342.23 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 1878874 0 0 0 34075 148 0 0 20 0 1 0 435211388 2830798848 654388 33554432000 4194304 6211092 140735002303088 140735002300296 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 691113 654388 870 493 0 684418 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2764452 KiB
Current children cumulated memory: 2617552 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.85 1.86 3/205 28354
/proc/meminfo: memFree=28280380/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=2779188 memory=2640296 CPUtime=402.22 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 2377150 0 0 0 40049 173 0 0 20 0 1 0 435211388 2845888512 660074 33554432000 4194304 6211092 140735002303088 140735002300408 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 694797 660074 870 493 0 688102 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2779188 KiB
Current children cumulated memory: 2640296 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.88 1.87 3/205 28358
/proc/meminfo: memFree=28243724/32770624 swapFree=67010868/67108860
[pid=28315] ppid=28312 vsize=2811968 memory=2678664 CPUtime=462.2 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 2864939 0 0 0 46024 196 0 0 20 0 1 0 435211388 2879455232 669666 33554432000 4194304 6211092 140735002303088 140735002300296 140208055217697 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 702992 669666 870 493 0 696297 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2811968 KiB
Current children cumulated memory: 2678664 KiB


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

/proc/28315/statm: 741664 732558 871 493 0 734969 0
Current children cumulated CPU time: 1661.92 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930232 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/205 28475
/proc/meminfo: memFree=27989316/32770624 swapFree=67010876/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2930420 CPUtime=1721.91 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7744064 0 0 0 171739 452 0 0 20 0 1 0 435211388 3037855744 732605 33554432000 4194304 6211092 140735002303088 140735002290968 5039022 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 732605 871 493 0 734969 0
Current children cumulated CPU time: 1721.91 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930420 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/205 28479
/proc/meminfo: memFree=27985336/32770624 swapFree=67010876/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2934620 CPUtime=1781.9 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7763070 0 0 0 177736 454 0 0 20 0 1 0 435211388 3037855744 733655 33554432000 4194304 6211092 140735002303088 140735002301224 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 733655 871 493 0 734969 0
Current children cumulated CPU time: 1781.9 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2934620 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/205 28486
/proc/meminfo: memFree=27976916/32770624 swapFree=67010876/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942652 CPUtime=1841.9 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7769464 0 0 0 183735 455 0 0 20 0 1 0 435211388 3037855744 735663 33554432000 4194304 6211092 140735002303088 140735002301224 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735663 871 493 0 734969 0
Current children cumulated CPU time: 1841.9 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942652 KiB

[startup+1902.3 s]
/proc/loadavg: 2.44 2.10 1.99 3/205 28491
/proc/meminfo: memFree=27976864/32770624 swapFree=67010876/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942652 CPUtime=1901.89 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7775953 0 0 0 189734 455 0 0 20 0 1 0 435211388 3037855744 735663 33554432000 4194304 6211092 140735002303088 140735002301224 5039199 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735663 871 493 0 734969 0
Current children cumulated CPU time: 1901.89 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942652 KiB

[startup+1962.3 s]
/proc/loadavg: 2.23 2.11 2.00 3/205 28495
/proc/meminfo: memFree=27977776/32770624 swapFree=67010876/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942652 CPUtime=1961.89 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7782620 0 0 0 195733 456 0 0 20 0 1 0 435211388 3037855744 735663 33554432000 4194304 6211092 140735002303088 140735002301224 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735663 871 493 0 734969 0
Current children cumulated CPU time: 1961.89 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942652 KiB

[startup+2022.3 s]
/proc/loadavg: 2.08 2.09 2.00 3/205 28501
/proc/meminfo: memFree=27977724/32770624 swapFree=67010876/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942668 CPUtime=2021.88 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7790820 0 0 0 201732 456 0 0 20 0 1 0 435211388 3037855744 735667 33554432000 4194304 6211092 140735002303088 140735002301224 5394158 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735667 871 493 0 734969 0
Current children cumulated CPU time: 2021.88 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.07 2.00 3/205 28505
/proc/meminfo: memFree=27977764/32770624 swapFree=67010876/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942668 CPUtime=2081.88 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7794371 0 0 0 207731 457 0 0 20 0 1 0 435211388 3037855744 735667 33554432000 4194304 6211092 140735002303088 140735002301224 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735667 871 493 0 734969 0
Current children cumulated CPU time: 2081.88 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.06 2.00 3/204 28509
/proc/meminfo: memFree=27978292/32770624 swapFree=67010876/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942668 CPUtime=2141.87 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7799999 0 0 0 213730 457 0 0 20 0 1 0 435211388 3037855744 735667 33554432000 4194304 6211092 140735002303088 140735002301224 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735667 871 493 0 734969 0
Current children cumulated CPU time: 2141.87 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/204 28521
/proc/meminfo: memFree=27977128/32770624 swapFree=67010880/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942668 CPUtime=2201.87 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7805860 0 0 0 219730 457 0 0 20 0 1 0 435211388 3037855744 735667 33554432000 4194304 6211092 140735002303088 140735002301224 5157540 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735667 871 493 0 734969 0
Current children cumulated CPU time: 2201.87 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/204 28525
/proc/meminfo: memFree=27977840/32770624 swapFree=67010880/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942668 CPUtime=2261.87 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7813187 0 0 0 225729 458 0 0 20 0 1 0 435211388 3037855744 735667 33554432000 4194304 6211092 140735002303088 140735002301224 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735667 871 493 0 734969 0
Current children cumulated CPU time: 2261.87 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/204 28529
/proc/meminfo: memFree=27978072/32770624 swapFree=67010880/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942668 CPUtime=2321.86 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7818317 0 0 0 231728 458 0 0 20 0 1 0 435211388 3037855744 735667 33554432000 4194304 6211092 140735002303088 140735002301224 5392081 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735667 871 493 0 734969 0
Current children cumulated CPU time: 2321.86 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/204 28535
/proc/meminfo: memFree=27977864/32770624 swapFree=67010880/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942668 CPUtime=2381.86 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7821090 0 0 0 237728 458 0 0 20 0 1 0 435211388 3037855744 735667 33554432000 4194304 6211092 140735002303088 140735002301224 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735667 871 493 0 734969 0
Current children cumulated CPU time: 2381.86 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.5 s]
/proc/loadavg: 2.00 2.03 2.00 2/197 28582
/proc/meminfo: memFree=27983152/32770624 swapFree=67010880/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942668 CPUtime=2400.05 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7824432 0 0 0 239547 458 0 0 20 0 1 0 435211388 3037855744 735667 33554432000 4194304 6211092 140735002303088 140735002301224 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735667 871 493 0 734969 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB

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

[startup+2400.52 s]
# the end of solver process 28315 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.48 s, system=4.60163 s

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

[startup+2400.5 s]
/proc/loadavg: 2.00 2.03 2.00 2/197 28582
/proc/meminfo: memFree=27983152/32770624 swapFree=67010880/67108860
[pid=28315] ppid=28312 vsize=2966656 memory=2942668 CPUtime=2400.05 cores=0,2,4,6
/proc/28315/stat : 28315 (cosoco) R 28312 28315 28254 0 -1 4202496 7824432 0 0 0 239547 458 0 0 20 0 1 0 435211388 3037855744 735667 33554432000 4194304 6211092 140735002303088 140735002301224 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17346560 140735002305547 140735002305649 140735002305649 140735002308558 0
/proc/28315/statm: 741664 735667 871 493 0 734969 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942668 KiB

Child status: 1
Real time (s): 2400.52
CPU time (s): 2400.08
CPU user time (s): 2395.48
CPU system time (s): 4.60163
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 2966656
Max. memory (cumulated for all children) (KiB): 2942668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.48
system time used= 4.60163
maximum resident set size= 2942728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7824498
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= 586
involuntary context switches= 1047


# summary of solver processes directly reported to runsolver:
#   pid: 28315
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2395.48
#   total CPU system time (s): 4.60163

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.96162 second user time and 18.1899 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-16 02:13:57
IDJOB=4397847
IDBENCH=141284
IDSOLVER=2850
FILE ID=node132/4397847-1568592885
RUNJOBID= node132-1568592835-28285
PBS_JOBID= 21703339
Free space on /tmp= 61052 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397847-1568592885/watcher-4397847-1568592885 -o /tmp/evaluation-result-4397847-1568592885/solver-4397847-1568592885 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568592835-28285 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397847-1568592885.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=1429725499

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
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:        30924420 kB
MemAvailable:   31908220 kB
Buffers:          100608 kB
Cached:          1155756 kB
SwapCached:         5984 kB
Active:           995844 kB
Inactive:         268916 kB
Active(anon):       5560 kB
Inactive(anon):    32240 kB
Active(file):     990284 kB
Inactive(file):   236676 kB
Unevictable:      109612 kB
Mlocked:          109612 kB
SwapTotal:      67108860 kB
SwapFree:       67010868 kB
Dirty:            589148 kB
Writeback:             0 kB
AnonPages:        114456 kB
Mapped:            36512 kB
Shmem:             20660 kB
Slab:             174940 kB
SReclaimable:     145348 kB
SUnreclaim:        29592 kB
KernelStack:        3568 kB
PageTables:         5784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506656 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:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61052 MiB
End job on node132 at 2019-09-16 02:53:58