Trace number 4409107

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.1 2400.82

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 

588.10/588.37	c
588.10/588.37	c This is cosoco 2.00 --  
588.10/588.37	c
588.10/588.37	c command line: cosoco -lc -model -restarts -stick HOME/instance-4409107-1569814775.xml 
588.10/588.37	c enable optimization
588.10/588.37	c ========================================[ Problem Statistics ]===========================================
588.10/588.37	c |                                                                                                       
588.10/588.37	c |  Parse time        :       197.67 s 
588.10/588.37	c |
588.10/588.37	c |               Variables: 7232
588.10/588.37	c |            Domain Sizes: 1..135
588.10/588.37	c |
588.10/588.37	c |             Constraints: 4666
588.10/588.37	c |                   Arity: 2..4355  -- Binary: 311  -- Ternary: 2177
588.10/588.37	c | 
588.10/588.37	c |                   Types: 
588.10/588.37	c |                          Extension: 4665  (nb tuples: 0..18225) -- (shared: 0)
588.10/588.37	c |                          Sum: 1
588.10/588.37	c |                          
588.10/588.37	c |               Objective: Minimize Sum
588.10/588.37	
588.10/588.37	c =========================================================================================================
588.10/588.37	o 529910200
588.10/588.38	c    1 calls to solver(id=0): best=529910200 lower=0 upper=529910199 
603.00/603.24	o 529910195
642.58/642.81	o 529910147
642.58/642.81	c    3 calls to solver(id=0): best=529910147 lower=0 upper=529910146 
699.65/699.97	o 529801347
714.44/714.74	o 529779548
714.44/714.75	c    5 calls to solver(id=0): best=529779548 lower=0 upper=529779547 
761.74/762.10	o 529779527
782.62/782.91	o 529779523
782.62/782.91	c    7 calls to solver(id=0): best=529779523 lower=0 upper=529779522 
797.21/797.54	o 529779521
906.97/907.35	o 529735948
906.97/907.35	c    9 calls to solver(id=0): best=529735948 lower=0 upper=529735947 
921.56/921.93	o 529735946
1021.63/1022.02	o 529735943
1021.63/1022.03	c   11 calls to solver(id=0): best=529735943 lower=0 upper=529735942 
1137.59/1138.10	o 529714177
1245.44/1245.96	o 529714169
1245.44/1245.97	c   13 calls to solver(id=0): best=529714169 lower=0 upper=529714168 
1278.43/1278.93	o 529714168
1393.48/1394.02	o 529714167
1393.48/1394.03	c   15 calls to solver(id=0): best=529714167 lower=0 upper=529714166 
1475.46/1476.08	o 529692399
1731.89/1732.54	o 529692397
1731.89/1732.54	c   17 calls to solver(id=0): best=529692397 lower=0 upper=529692396 
1758.39/1759.03	o 529692396
2400.07/2400.80	
2400.07/2400.80	c *** INTERRUPTED ***
2400.07/2400.80	c call to solver        : 18
2400.07/2400.80	c
2400.07/2400.80	c restarts              : 257         
2400.07/2400.80	c conflicts             : 100607       (42 /sec)
2400.07/2400.80	c decisions             : 1489248      (622 /sec)
2400.07/2400.80	c propagations          : 166276914   (69433 /sec)
2400.07/2400.80	c root propagations     : 11512       
2400.07/2400.80	c filter calls          : 23254934       (9711 /sec)
2400.07/2400.80	c useless filter calls  : 13647047       (58 %)
2400.07/2400.80	c Memory used           : 2897.13 MB
2400.07/2400.80	c Best bound time (wc)  : 1759.03 s
2400.07/2400.80	c CPU time              : 2394.78 s
2400.07/2400.80	c real time             : 2400.8 s
2400.07/2400.80	
2400.07/2400.80	c nb Solutions = 18
2400.07/2400.80	s SATISFIABLE
2400.07/2400.80	c Best value found: 529692396
2400.07/2400.80	
2400.07/2400.80	
2400.07/2400.80	v <instantiation type='solution' cost='529692396'>
2400.07/2400.80	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.07/2400.80	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.07/2400.80	v </instantiation>
2400.07/2400.80

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409107-1569814775/watcher-4409107-1569814775 -o /tmp/evaluation-result-4409107-1569814775/solver-4409107-1569814775 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569812554-14458 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409107-1569814775.xml 

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

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=15409, runsolver pid=15406

[startup+0.100161 s]*
/proc/loadavg: 2.48 2.14 2.04 3/200 15410
/proc/meminfo: memFree=29918408/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=52300 memory=28336 CPUtime=0.1 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 7309 0 0 0 10 0 0 0 20 0 1 0 557747037 53555200 7084 33554432000 4194304 6211132 140725756028240 140725756024776 140545841540069 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 13075 7084 813 493 0 6380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52300 KiB
Current children cumulated memory: 28336 KiB

[startup+0.209793 s]*
/proc/loadavg: 2.48 2.14 2.04 3/200 15410
/proc/meminfo: memFree=29913532/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=61740 memory=37840 CPUtime=0.21 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 9673 0 0 0 20 1 0 0 20 0 1 0 557747037 63221760 9460 33554432000 4194304 6211132 140725756028240 140725756024776 5016098 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 15435 9460 813 493 0 8740 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61740 KiB
Current children cumulated memory: 37840 KiB

[startup+0.309665 s]*
/proc/loadavg: 2.48 2.14 2.04 3/200 15410
/proc/meminfo: memFree=29902448/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=65596 memory=41784 CPUtime=0.31 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 10861 0 0 0 30 1 0 0 20 0 1 0 557747037 67170304 10446 33554432000 4194304 6211132 140725756028240 140725756024776 5685495 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/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.700285 s]
/proc/loadavg: 2.48 2.14 2.04 3/200 15410
/proc/meminfo: memFree=29897296/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=71044 memory=46004 CPUtime=0.69 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 11963 0 0 0 68 1 0 0 20 0 1 0 557747037 72749056 11501 33554432000 4194304 6211132 140725756028240 140725756025512 5555652 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/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.50028 s]
/proc/loadavg: 2.48 2.14 2.04 3/200 15410
/proc/meminfo: memFree=29889276/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=79868 memory=54452 CPUtime=1.48 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 14050 0 0 0 147 1 0 0 20 0 1 0 557747037 81784832 13613 33554432000 4194304 6211132 140725756028240 140725756025512 5484897 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/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.10954 s]
/proc/loadavg: 2.48 2.14 2.04 3/200 15410
/proc/meminfo: memFree=29847128/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=98492 memory=71328 CPUtime=3.1 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 19959 0 0 0 308 2 0 0 20 0 1 0 557747037 100855808 17832 33554432000 4194304 6211132 140725756028240 140725756025512 5818389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 24623 17832 815 493 0 17928 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 98492 KiB
Current children cumulated memory: 71328 KiB

[startup+6.3003 s]
/proc/loadavg: 2.44 2.13 2.04 3/200 15410
/proc/meminfo: memFree=29811592/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=136872 memory=106628 CPUtime=6.28 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 30673 0 0 0 626 2 0 0 20 0 1 0 557747037 140156928 26657 33554432000 4194304 6211132 140725756028240 140725756025512 5743421 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 34218 26657 815 493 0 27523 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 136872 KiB
Current children cumulated memory: 106628 KiB

[startup+12.7003 s]
/proc/loadavg: 2.57 2.16 2.05 4/200 15415
/proc/meminfo: memFree=30860800/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=213316 memory=176312 CPUtime=12.68 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 50627 0 0 0 1263 5 0 0 20 0 1 0 557747037 218435584 44078 33554432000 4194304 6211132 140725756028240 140725756025512 5814122 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 53329 44078 815 493 0 46634 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 213316 KiB
Current children cumulated memory: 176312 KiB

[startup+25.5003 s]
/proc/loadavg: 2.44 2.16 2.05 3/199 15415
/proc/meminfo: memFree=30787076/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=364808 memory=315100 CPUtime=25.48 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 88995 0 0 0 2538 10 0 0 20 0 1 0 557747037 373563392 78775 33554432000 4194304 6211132 140725756028240 140725756025512 5818712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 91202 78775 815 493 0 84507 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 364808 KiB
Current children cumulated memory: 315100 KiB

[startup+51.1095 s]
/proc/loadavg: 2.29 2.14 2.05 3/199 15415
/proc/meminfo: memFree=30503200/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=670532 memory=594972 CPUtime=51.09 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 161357 0 0 0 5088 21 0 0 20 0 1 0 557747037 686624768 148743 33554432000 4194304 6211132 140725756028240 140725756025512 140545857602688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 167633 148743 815 493 0 160938 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 670532 KiB
Current children cumulated memory: 594972 KiB

[startup+102.3 s]
/proc/loadavg: 2.13 2.12 2.05 3/200 15429
/proc/meminfo: memFree=29946556/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=1278900 memory=1152204 CPUtime=102.28 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 302469 0 0 0 10183 45 0 0 20 0 1 0 557747037 1309593600 288051 33554432000 4194304 6211132 140725756028240 140725756025512 5818666 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 319725 288051 815 493 0 313030 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1278900 KiB
Current children cumulated memory: 1152204 KiB

[startup+162.3 s]
/proc/loadavg: 2.11 2.12 2.05 3/200 15433
/proc/meminfo: memFree=29334132/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=1935884 memory=1763524 CPUtime=162.26 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 457663 0 0 0 16157 69 0 0 20 0 1 0 557747037 1982345216 440881 33554432000 4194304 6211132 140725756028240 140725756025512 5816164 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 483971 440881 819 493 0 477276 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1935884 KiB
Current children cumulated memory: 1763524 KiB

[startup+222.3 s]
/proc/loadavg: 2.04 2.09 2.05 3/200 15437
/proc/meminfo: memFree=28542780/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2731788 memory=2551920 CPUtime=222.24 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 1199214 0 0 0 22103 121 0 0 20 0 1 0 557747037 2797350912 637980 33554432000 4194304 6211132 140725756028240 140725756025640 5156000 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 682947 637980 870 493 0 676252 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2731788 KiB
Current children cumulated memory: 2551920 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/200 15443
/proc/meminfo: memFree=28518344/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2747408 memory=2575496 CPUtime=282.22 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 1459037 0 0 0 28087 135 0 0 20 0 1 0 557747037 2813345792 643874 33554432000 4194304 6211132 140725756028240 140725756025448 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 686852 643874 870 493 0 680157 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 2747408 KiB
Current children cumulated memory: 2575496 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/200 15447
/proc/meminfo: memFree=28493152/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2764172 memory=2600748 CPUtime=342.2 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 2025230 0 0 0 34059 161 0 0 20 0 1 0 557747037 2830512128 650187 33554432000 4194304 6211132 140725756028240 140725756025560 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 691043 650187 870 493 0 684348 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 2764172 KiB
Current children cumulated memory: 2600748 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 15451
/proc/meminfo: memFree=28470400/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2779188 memory=2623736 CPUtime=402.18 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 2528315 0 0 0 40032 186 0 0 20 0 1 0 557747037 2845888512 655934 33554432000 4194304 6211132 140725756028240 140725756025560 5039549 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 694797 655934 870 493 0 688102 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 2779188 KiB
Current children cumulated memory: 2623736 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 15457
/proc/meminfo: memFree=28432896/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2810524 memory=2661236 CPUtime=462.16 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 3060274 0 0 0 46003 213 0 0 20 0 1 0 557747037 2877976576 665309 33554432000 4194304 6211132 140725756028240 140725756025448 5038944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 702631 665309 870 493 0 695936 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 2810524 KiB
Current children cumulated memory: 2661236 KiB


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

/proc/15409/statm: 741664 732553 871 493 0 734969 0
Current children cumulated CPU time: 1601.71 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930212 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15592
/proc/meminfo: memFree=28159012/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2930220 CPUtime=1661.7 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8727722 0 0 0 165656 514 0 0 20 0 1 0 557747037 3037855744 732555 33554432000 4194304 6211132 140725756028240 140725756026376 5037823 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 732555 871 493 0 734969 0
Current children cumulated CPU time: 1661.7 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930220 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15598
/proc/meminfo: memFree=28159196/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2930228 CPUtime=1721.69 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8775101 0 0 0 171651 518 0 0 20 0 1 0 557747037 3037855744 732557 33554432000 4194304 6211132 140725756028240 140725756026376 5156165 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 732557 871 493 0 734969 0
Current children cumulated CPU time: 1721.69 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930228 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15602
/proc/meminfo: memFree=28159524/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2930236 CPUtime=1781.67 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8813965 0 0 0 177647 520 0 0 20 0 1 0 557747037 3037855744 732559 33554432000 4194304 6211132 140725756028240 140725756026376 5155836 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 732559 871 493 0 734969 0
Current children cumulated CPU time: 1781.67 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930236 KiB

[startup+1842.3 s]
/proc/loadavg: 1.51 1.89 2.00 2/192 15655
/proc/meminfo: memFree=28235816/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2930408 CPUtime=1841.66 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8833531 0 0 0 183644 522 0 0 20 0 1 0 557747037 3037855744 732602 33554432000 4194304 6211132 140725756028240 140725756026376 5038990 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 732602 871 493 0 734969 0
Current children cumulated CPU time: 1841.66 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2930408 KiB

[startup+1902.3 s]
/proc/loadavg: 1.19 1.73 1.94 2/192 15668
/proc/meminfo: memFree=28231996/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2934612 CPUtime=1901.65 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8846723 0 0 0 189641 524 0 0 20 0 1 0 557747037 3037855744 733653 33554432000 4194304 6211132 140725756028240 140725756026376 5038999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 733653 871 493 0 734969 0
Current children cumulated CPU time: 1901.65 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2934612 KiB

[startup+1962.3 s]
/proc/loadavg: 1.07 1.59 1.88 2/192 15672
/proc/meminfo: memFree=28224328/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2942400 CPUtime=1961.64 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8855531 0 0 0 195639 525 0 0 20 0 1 0 557747037 3037855744 735600 33554432000 4194304 6211132 140725756028240 140725756026376 5038990 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 735600 871 493 0 734969 0
Current children cumulated CPU time: 1961.64 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942400 KiB

[startup+2022.3 s]
/proc/loadavg: 1.03 1.49 1.83 2/192 15676
/proc/meminfo: memFree=28224016/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2942404 CPUtime=2021.63 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8862283 0 0 0 201637 526 0 0 20 0 1 0 557747037 3037855744 735601 33554432000 4194304 6211132 140725756028240 140725756026376 5396439 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 735601 871 493 0 734969 0
Current children cumulated CPU time: 2021.63 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942404 KiB

[startup+2082.3 s]
/proc/loadavg: 1.01 1.40 1.77 2/192 15682
/proc/meminfo: memFree=28223352/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2942416 CPUtime=2081.62 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8874009 0 0 0 207635 527 0 0 20 0 1 0 557747037 3037855744 735604 33554432000 4194304 6211132 140725756028240 140725756026376 5186321 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 735604 871 493 0 734969 0
Current children cumulated CPU time: 2081.62 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942416 KiB

[startup+2142.3 s]
/proc/loadavg: 1.00 1.33 1.73 2/192 15686
/proc/meminfo: memFree=28223576/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2942416 CPUtime=2141.61 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8877316 0 0 0 213633 528 0 0 20 0 1 0 557747037 3037855744 735604 33554432000 4194304 6211132 140725756028240 140725756026376 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 735604 871 493 0 734969 0
Current children cumulated CPU time: 2141.61 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942416 KiB

[startup+2202.3 s]
/proc/loadavg: 1.05 1.28 1.68 2/192 15690
/proc/meminfo: memFree=28224120/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2942416 CPUtime=2201.61 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8885897 0 0 0 219632 529 0 0 20 0 1 0 557747037 3037855744 735604 33554432000 4194304 6211132 140725756028240 140725756026376 5038964 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 735604 871 493 0 734969 0
Current children cumulated CPU time: 2201.61 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942416 KiB

[startup+2262.3 s]
/proc/loadavg: 1.02 1.23 1.64 2/192 15696
/proc/meminfo: memFree=28222564/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2942416 CPUtime=2261.59 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8893693 0 0 0 225630 529 0 0 20 0 1 0 557747037 3037855744 735604 33554432000 4194304 6211132 140725756028240 140725756026376 5156211 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 735604 871 493 0 734969 0
Current children cumulated CPU time: 2261.59 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942416 KiB

[startup+2322.3 s]
/proc/loadavg: 1.01 1.19 1.60 2/192 15700
/proc/meminfo: memFree=28223812/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2942416 CPUtime=2321.58 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8896455 0 0 0 231629 529 0 0 20 0 1 0 557747037 3037855744 735604 33554432000 4194304 6211132 140725756028240 140725756026376 5156000 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 735604 871 493 0 734969 0
Current children cumulated CPU time: 2321.58 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942416 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.15 1.56 2/192 15704
/proc/meminfo: memFree=28223428/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2942416 CPUtime=2381.58 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8902665 0 0 0 237628 530 0 0 20 0 1 0 557747037 3037855744 735604 33554432000 4194304 6211132 140725756028240 140725756026376 5039104 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 735604 871 493 0 734969 0
Current children cumulated CPU time: 2381.58 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 1.00 1.15 1.56 2/193 15706
/proc/meminfo: memFree=28223884/32770624 swapFree=66959824/67108860
[pid=15409] ppid=15406 vsize=2966656 memory=2942416 CPUtime=2400.07 cores=1,3,5,7
/proc/15409/stat : 15409 (cosoco) R 15406 15409 14426 0 -1 4202496 8903298 0 0 0 239477 530 0 0 20 0 1 0 557747037 3037855744 735604 33554432000 4194304 6211132 140725756028240 140725756026376 5157576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 24125440 140725756036107 140725756036209 140725756036209 140725756039118 0
/proc/15409/statm: 741664 735604 871 493 0 734969 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 2966656 KiB
Current children cumulated memory: 2942416 KiB

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

[startup+2400.82 s]
# the end of solver process 15409 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.78 s, system=5.3211 s

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

Child status: 1
Real time (s): 2400.82
CPU time (s): 2400.1
CPU user time (s): 2394.78
CPU system time (s): 5.3211
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 2966656
Max. memory (cumulated for all children) (KiB): 2942416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.78
system time used= 5.3211
maximum resident set size= 2942476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8903392
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= 673
involuntary context switches= 2145


# summary of solver processes directly reported to runsolver:
#   pid: 15409
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2394.78
#   total CPU system time (s): 5.3211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.93776 second user time and 17.049 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-30 05:38:56
IDJOB=4409107
IDBENCH=141284
IDSOLVER=2876
FILE ID=node127/4409107-1569814775
RUNJOBID= node127-1569812554-14458
PBS_JOBID= 21705842
Free space on /tmp= 60904 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-4409107-1569814775/watcher-4409107-1569814775 -o /tmp/evaluation-result-4409107-1569814775/solver-4409107-1569814775 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569812554-14458 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4409107-1569814775.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=242630135

node127.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.55
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.55
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.55
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.55
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:        29950384 kB
MemAvailable:   31724944 kB
Buffers:           94424 kB
Cached:          1996020 kB
SwapCached:        45132 kB
Active:           920312 kB
Inactive:        1296672 kB
Active(anon):      76440 kB
Inactive(anon):   131916 kB
Active(file):     843872 kB
Inactive(file):  1164756 kB
Unevictable:      107512 kB
Mlocked:          107512 kB
SwapTotal:      67108860 kB
SwapFree:       66959824 kB
Dirty:            924668 kB
Writeback:         73656 kB
AnonPages:        190704 kB
Mapped:            30084 kB
Shmem:             73072 kB
Slab:             199228 kB
SReclaimable:     163536 kB
SUnreclaim:        35692 kB
KernelStack:        3488 kB
PageTables:         5824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     644016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61456 MiB
End job on node127 at 2019-09-30 06:19:03