Trace number 4409707

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

Quality of the solution as a function of time


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

Solver Data 

5003.61/862.78	c
5003.61/862.78	c This is cosoco 2.00 --  
5003.61/862.78	c
5003.61/862.78	c command line: cosoco -model -nbcores=8 HOME/instance-4409707-1569840945.xml 
5003.61/862.78	c enable optimization
5003.61/862.78	c ========================================[ Problem Statistics ]===========================================
5003.61/862.78	c |                                                                                                       
5003.61/862.78	c |  Parse time        :       262.11 s 
5003.61/862.78	c |
5003.61/862.78	c |               Variables: 7232
5003.61/862.78	c |            Domain Sizes: 1..135
5003.61/862.78	c |
5003.61/862.78	c |             Constraints: 4666
5003.61/862.78	c |                   Arity: 2..4355  -- Binary: 311  -- Ternary: 2177
5003.61/862.78	c | 
5003.61/862.78	c |                   Types: 
5003.61/862.78	c |                          Extension: 4665  (nb tuples: 0..18225) -- (shared: 0)
5003.61/862.78	c |                          Sum: 1
5003.61/862.78	c |                          
5003.61/862.78	c |               Objective: Minimize Sum
5003.61/862.78	
5003.61/862.78	c =========================================================================================================
5003.61/862.78	c Parallel mode: Portfolio
5003.61/862.78	c [pFactory][Group N°0] created (threads:8).
5003.61/862.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
5003.61/862.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
5003.61/862.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
5003.61/862.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
5003.61/862.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
5003.61/862.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
5003.61/862.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
5003.61/862.78	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
5003.61/862.78	c [pFactory][Group N°0] concurrent mode: enabled.
5003.61/862.78	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
5003.61/862.78	c [pFactory][Group N°0] task 7 launched on thread 0.
5003.61/862.78	c [pFactory][Group N°0] task 6 launched on thread 1.
5003.61/862.78	c [pFactory][Group N°0] task 5 launched on thread 6.
5003.61/862.78	c [pFactory][Group N°0] task 4 launched on thread 2.
5003.61/862.78	c [pFactory][Group N°0] task 3 launched on thread 7.
5003.61/862.78	c [pFactory][Group N°0] task 2 launched on thread 4.
5003.61/862.78	c [pFactory][Group N°0] task 1 launched on thread 3.
5003.61/862.78	c [pFactory][Group N°0] task 0 launched on thread 5.
5003.61/862.78	o 529452765
5403.50/912.81	o 529365715
6755.85/1082.21	o 529365697
6866.89/1096.15	o 529365689
6978.65/1110.15	o 529365687
7185.43/1136.10	o 529365686
7306.70/1151.22	o 529365682
7432.07/1166.94	o 529365680
7598.92/1187.81	o 529365677
7954.14/1232.37	o 529365644
8312.60/1277.21	o 529365636
8938.48/1355.62	o 529365630
18233.99/2520.02	
18233.99/2520.02	c *** INTERRUPTED ***
18233.99/2520.02	c call to solver        : 2
18233.99/2520.02	c
18233.99/2520.02	c restarts              : 689         
18233.99/2520.02	c conflicts             : 4181         (0 /sec)
18233.99/2520.02	c decisions             : 542782       (30 /sec)
18233.99/2520.02	c propagations          : 33459920    (1858 /sec)
18233.99/2520.02	c root propagations     : 11512       
18233.99/2520.02	c filter calls          : 7773001        (432 /sec)
18233.99/2520.02	c useless filter calls  : 5287623        (68 %)
18233.99/2520.02	c Memory used           : 22148.54 MB
18233.99/2520.02	c Best bound time (wc)  : 1355.62 s
18233.99/2520.02	c CPU time              : 18011.8 s
18233.99/2520.02	c real time             : 2520.02 s
18233.99/2520.02	
18233.99/2520.02	s SATISFIABLE
18233.99/2520.02	c Best value found: 529365630
18233.99/2520.02	
18233.99/2520.02	
18233.99/2520.02	v <instantiation type='solution' cost='529365630'>
18233.99/2520.02	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>
18233.99/2520.02	v <values>112 104 384 0 16 404 92 312 216 412 324 36 188 296 112 324 112 212 64 152 16 304 132 56 56 476 300 16 256 136 120 164 72 108 132 104 48 76 288 144 8 176 8 0 4 468 480 252 268 400 0 40 80 536 448 204 44 332 416 84 220 236 72 220 76 44 100 80 8 232 444 288 360 456 472 416 80 68 268 464 132 360 268 36 28 0 308 44 28 144 200 196 128 144 80 180 124 20 320 88 420 80 424 436 96 416 456 40 48 80 244 360 68 148 228 148 64 56 128 116 92 112 208 124 76 212 252 352 64 312 140 448 0 84 276 0 0 456 452 72 284 72 96 328 84 396 32 464 8 424 376 228 8 256 4 348 252 20 40 136 128 276 288 152 160 264 88 260 304 252 304 200 456 456 360 456 456 28 416 416 352 408 416 48 148 208 160 120 388 108 140 168 64 180 108 204 120 68 272 104 44 76 224 232 204 272 320 0 456 40 388 0 0 252 40 152 196 360 16 360 360 284 340 320 68 360 248 168 136 436 380 436 16 40 300 44 244 448 100 32 168 220 40 40 112 40 272 40 356 0 20 88 0 256 300 180 396 24 124 396 288 48 316 120 68 160 0 52 112 16 292 124 344 104 156 340 72 92 112 104 8 100 272 192 248 104 16 404 20 420 12 8 340 156 328 20 332 476 20 0 388 356 176 260 256 492 308 72 40 116 356 48 224 320 320 432 192 448 24 448 140 304 392 488 140 164 252 144 36 76 60 392 176 360 156 100 12 4 396 60 164 120 232 64 52 52 60 12 396 384 232 168 116 80 140 56 64 180 116 80 40 496 308 40 416 308 392 536 496 108 40 184 0 456 64 88 0 300 376 268 384 8 144 40 188 120 228 124 268 188 180 148 12 256 300 428 16 28 320 180 136 80 216 32 268 320 52 64 320 96 152 248 96 208 200 48 8 452 316 384 264 240 28 484 0 492 0 416 184 96 0 356 144 40 348 40 192 356 16 48 216 200 56 332 0 396 0 12 328 368 92 144 0 204 184 52 132 328 176 0 48 80 112 88 168 212 0 168 20 4 8 80 40 72 456 496 148 200 476 48 84 112 204 52 188 240 104 304 180 4 4 192 184 104 340 300 300 48 152 8 32 148 156 108 0 64 40 236 64 148 284 128 36 128 168 24 328 168 188 0 96 332 400 0 332 396 380 40 96 360 96 316 104 0 96 400 312 0 332 40 436 160 312 180 0 64 136 120 308 8 124 196 308 64 12 0 0 396 276 40 312 72 444 456 284 96 64 92 268 100 52 92 244 24 4 292 240 176 108 340 280 112 0 24 52 8 432 420 100 464 184 24 12 320 96 84 332 396 92 288 40 272 128 40 292 56 108 284 56 32 144 384 344 56 232 244 180 128 272 152 28 168 232 268 124 444 404 240 416 352 188 376 208 228 60 292 280 28 64 432 228 344 400 176 360 4 20 360 344 272 96 56 172 424 272 348 68 280 112 228 384 112 216 184 32 176 332 184 256 0 292 112 164 148 40 268 376 40 16 8 64 168 0 40 476 308 40 364 64 0 308 208 80 0 460 312 192 348 284 32 64 344 76 344 384 76 336 384 64 448 176 92 40 0 216 208 0 456 280 504 280 316 176 80 388 496 392 524 496 232 496 416 384 484 308 456 36 404 228 344 404 432 336 212 436 56 56 16 28 108 284 8 24 276 112 232 284 100 136 400 312 396 380 40 404 152 496 204 188 496 36 0 276 40 256 136 232 48 40 284 196 40 396 232 436 356 300 356 308 92 52 296 176 396 24 152 312 432 392 60 320 64 72 280 104 256 60 68 204 280 124 176 88 40 120 216 212 316 72 140 316 188 120 176 512 512 512 376 264 88 88 60 140 80 104 348 4 148 148 60 28 96 300 128 100 40 232 4 40 272 72 268 96 496 216 496 192 408 388 144 104 144 56 24 28 280 140 340 84 56 332 480 528 168 228 48 156 0 112 496 292 40 136 312 272 20 68 52 0 272 272 456 120 328 320 124 176 380 0 12 504 240 452 288 52 16 320 16 328 368 184 308 116 128 20 272 136 316 316 356 164 136 140 28 336 316 408 28 176 16 0 36 172 64 40 152 292 0 88 64 292 204 292 176 100 120 232 80 64 288 464 244 24 100 176 156 472 444 444 176 136 444 388 452 80 136 40 0 220 12 16 24 296 104 16 356 232 96 396 328 268 460 352 120 360 152 220 200 132 364 364 52 132 224 176 28 252 340 8 16 436 420 32 268 40 260 268 476 232 436 96 476 240 44 264 4 392 52 392 360 176 408 112 204 0 324 136 420 8 304 4 228 216 192 152 460 232 112 268 496 40 164 12 8 372 192 160 460 452 172 12 220 208 312 304 28 392 308 44 180 84 268 156 52 188 48 196 4 300 312 348 4 68 8 44 44 20 140 488 180 448 304 192 392 180 404 296 260 88 80 56 200 180 128 88 308 0 380 44 124 332 220 32 392 280 208 428 244 252 0 104 428 292 100 252 204 292 268 204 0 380 40 16 152 456 136 204 136 60 132 384 40 268 0 456 8 136 84 92 196 148 160 164 284 0 136 140 76 392 228 28 140 140 364 324 104 40 164 168 40 364 148 168 156 132 120 224 376 368 416 0 116 192 308 308 132 64 112 204 40 104 32 256 0 72 8 452 112 312 52 184 28 44 8 252 92 236 220 168 56 92 48 8 216 208 0 248 308 176 8 28 156 280 44 148 140 132 24 120 124 216 204 144 68 28 152 0 28 360 496 176 420 176 336 428 288 112 352 360 252 272 484 44 44 152 392 72 284 36 84 412 288 60 72 388 188 312 496 188 428 316 240 452 28 108 88 232 156 8 144 40 136 132 68 288 272 236 176 348 8 136 104 264 72 120 48 0 8 124 188 52 128 0 204 152 460 124 204 204 12 172 112 332 208 240 380 52 292 296 296 0 532 276 472 348 0 56 272 40 312 392 208 0 0 84 112 52 184 76 56 76 172 144 132 188 40 120 136 152 312 324 436 168 164 436 80 384 476 200 24 268 396 384 240 96 140 248 0 448 40 0 0 276 472 136 180 72 460 96 420 32 8 144 296 168 468 8 336 436 340 344 484 444 340 276 156 36 292 148 80 240 208 200 236 200 124 24 108 400 164 468 428 104 12 468 468 468 372 468 156 456 468 428 136 88 428 428 40 40 0 284 92 16 0 40 128 456 328 316 0 0 40 280 152 316 176 180 144 136 244 384 424 384 436 424 12 144 108 248 312 100 60 192 220 124 152 324 192 332 128 100 12 204 124 40 60 0 96 400 0 0 312 40 380 0 140 152 68 32 260 68 428 72 384 12 224 68 388 388 428 496 172 496 536 536 536 440 136 92 224 140 156 496 408 496 136 80 256 28 40 0 252 272 68 272 40 228 80 40 416 40 372 40 80 112 48 288 280 216 280 240 216 112 64 8 136 56 152 240 240 144 240 200 56 280 104 176 204 128 284 40 292 28 124 28 152 200 220 108 68 196 68 96 372 28 40 152 124 184 120 128 216 32 152 72 268 408 204 40 40 32 264 88 44 304 304 304 376 256 108 20 416 376 80 312 84 72 0 236 120 368 184 232 216 136 44 20 260 196 136 148 124 216 132 28 64 300 120 472 40 444 416 176 272 44 8 368 52 0 212 76 4 256 460 324 312 36 460 0 4 460 164 392 96 176 144 184 52 144 168 144 36 276 192 236 316 16 28 44 16 16 96 292 312 272 224 52 228 396 108 32 256 356 52 40 48 312 24 312 28 312 296 8 88 352 4 76 64 352 160 144 168 200 40 40 40 0 340 184 496 0 356 40 40 348 0 192 308 36 184 76 180 92 52 92 308 84 320 88 472 252 144 4 332 108 472 472 256 420 264 472 44 0 56 252 68 76 192 76 44 4 148 192 76 68 212 72 240 136 208 248 72 136 208 80 76 168 40 144 252 12 308 132 116 132 224 132 132 132 400 72 52 364 20 164 288 232 516 176 0 272 324 244 536 40 464 268 52 184 536 0 148 496 356 0 276 120 188 224 76 292 348 52 292 132 184 44 112 4 104 308 8 348 196 232 500 52 304 16 332 104 468 352 420 80 360 88 408 16 312 88 112 300 48 304 448 8 408 448 360 328 188 92 16 32 116 76 244 192 112 184 180 256 132 384 60 204 204 44 256 124 220 172 184 236 8 200 276 168 68 100 72 56 192 164 232 112 232 88 140 264 144 120 128 52 0 100 64 240 240 240 268 216 168 144 56 8 176 140 100 144 248 288 184 52 148 208 340 148 240 56 28 108 364 396 40 336 40 96 36 0 216 320 320 116 136 360 12 264 320 268 144 56 300 276 156 352 436 304 508 100 224 84 496 232 260 176 168 292 0 268 536 480 332 40 192 400 536 388 536 208 448 48 496 452 80 20 512 284 496 376 244 328 284 224 332 164 36 328 160 336 184 120 144 340 376 264 52 112 340 8 16 416 40 40 56 40 272 100 40 0 292 356 340 88 132 364 364 324 188 16 56 168 236 132 148 116 140 372 88 12 308 132 140 256 220 136 68 180 144 44 348 244 208 228 64 260 224 248 48 172 224 152 176 232 436 0 28 316 204 36 28 208 384 220 248 68 72 80 236 208 404 188 200 264 40 100 232 128 344 0 0 456 316 120 104 460 52 412 368 72 128 60 180 140 92 292 404 356 48 272 92 124 116 92 92 268 36 52 168 324 324 32 284 32 284 324 324 172 52 448 388 48 448 368 60 408 88 368 48 84 32 272 348 144 532 464 0 496 536 40 12 144 80 420 492 492 492 492 380 256 532 52 420 124 108 124 64 108 280 136 72 164 324 36 92 164 112 288 60 456 0 4 456 212 80 188 40 72 448 312 496 320 136 280 108 56 2220 2320 2220 2644 2220 2484 2636 2356 2452 2220 2540 2220 2656 2696 2220 2576 2452 2332 2280 2220 2404 2656 2512 2672 2500 2668 2280 2616 2412 2180 2220 2448 2208 2356 2540 2276 2228 2180 2180 2236 2180 2364 2444 2676 2332 2236 2424 2524 2520 2220 2348 2180 2316 2180 2356 2500 2488 2220 2476 2524 2528 2704 2316 2180 2276 2564 2228 2452 2624 2248 2248 2580 2292 2496 2384 2196 2180 2220 2180 2564 2500 2180 2208 2716 2636 2236 2464 2180 2516 2676 2220 2616 2580 2180 2284 2460 2396 2496 2692 2180 2452 2568 2328 2412 2220 2676 2324 2192 2716 2324 2368 2324 2528 2180 2492 2180 2508 2180 2712 2508 2640 2548 2656 2536 2636 2628 2220 2220 2220 2512 2384 2208 2664 2220 2220 2272 2516 2576 2180 2312 2560 2220 2656 2676 2188 2272 2180 2484 2640 2220 2680 2528 2268 2220 2488 2420 2532 2180 2224 2668 2308 2220 2492 2552 2496 2580 2648 2572 2284 2472 2220 2220 2324 2424 2672 2452 2220 2220 2332 2436 2456 2532 2320 2180 2220 2544 2596 2488 2604 2476 2488 2180 2276 2456 2180 2180 2248 2488 2356 2372 2240 2528 2292 2396 2372 2384 2180 2232 2712 2716 2180 2664 2300 2236 2188 2220 2264 2672 2540 2676 2612 2608 2240 2604 2632 2288 2308 2520 2220 2548 2528 2228 2364 2716 2676 2676 2292 2412 2364 2504 2232 2260 2680 2180 2460 2292 2536 2508 2180 2536 2488 2284 2416 2388 2424 2260 2180 2424 2316 2364 2616 2220 2528 2220 2180 2184 2460 2384 2332 2180 2260 2600 2464 2476 2356 2276 2412 2384 2304 2424 2484 2596 2480 2220 2180 2640 2324 2236 2576 2532 2180 2272 2652 2524 2404 2428 2528 2312 2180 2180 2528 2196 2628 2424 2456 2332 2412 2460 2468 2276 2540 2716 2716 2200 2340 2220 2512 2544 2552 2360 2468 2220 2428 2640 2220 2592 2272 2232 2504 2268 2180 2712 2344 2676 2220 2220 2332 2236 2328 2324 2236 2716 2456 2652 2488 2364 2600 2220 2420 2568 11 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 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 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 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 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 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 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 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 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 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 1 0 8 0 1 0 0 0 10 0 0 10 0 1 0 0 3 9 0 1 10 10 1 8 10 0 10 1 0 0 10 0 0 0 0 7 0 10 10 0 0 0 0 10 0 2 0 10 9 0 0 0 0 0 7 0 0 0 10 0 1 0 5 0 0 6 0 10 10 10 0 0 4 10 10 0 0 0 0 0 10 0 10 0 10 10 0 0 9 5 0 8 0 0 5 0 1 0 0 0 10 0 10 0 10 0 0 0 10 0 10 0 0 0 0 0 10 1 0 0 0 0 0 0 1 0 0 2 10 10 0 6 7 9 0 0 10 10 0 0 0 0 0 0 0 1 3 10 0 5 0 0 1 0 1 0 10 0 0 0 10 0 5 0 8 0 0 0 0 0 0 0 0 1 0 9 0 1 4 0 6 0 1 0 6 7 0 10 0 0 10 10 0 8 7 1 3 0 10 0 10 0 10 1 0 0 10 2 10 0 9 0 7 1 0 9 0 0 0 10 0 0 0 10 7 0 0 10 0 9 0 0 0 0 1 3 0 0 10 10 0 0 0 0 0 0 1 0 0 1 1 10 0 0 10 9 9 0 0 3 0 0 0 0 0 1 0 0 0 0 10 2 10 0 5 0 0 0 6 0 0 0 0 9 0 5 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 7 0 0 0 0 1 10 10 0 10 0 8 0 10 10 0 10 1 1 0 0 0 4 0 0 0 0 10 10 0 1 0 0 1 0 10 0 0 0 10 0 0 10 0 0 7 0 10 2 0 10 0 0 0 10 0 10 4 0 0 0 0 10 8 10 0 9 9 1 10 0 0 10 1 10 4 10 0 0 0 0 10 0 0 0 0 1 10 0 10 0 0 9 1 0 7 5 10 0 0 0 0 0 0 0 8 0 10 0 8 7 0 0 10 10 1 0 1 10 8 0 10 10 10 4 10 0 10 0 0 10 1 0 0 0 0 1 10 0 0 0 10 0 0 1 10 0 10 0 0 3 0 0 1 0 0 10 0 0 0 10 0 10 10 10 0 0 0 0 1 0 9 0 0 0 0 0 0 10 0 0 0 1 0 0 0 0 9 10 6 9 1 1 0 10 10 0 10 0 1 0 0 0 0 10 0 1 3 10 0 9 10 0 0 10 0 0 0 1 10 0 0 1 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 1 1 1 0 0 10 0 8 2 6 10 0 6 0 0 5 0 0 0 8 0 0 10 0 0 9 0 1 0 0 1 0 0 0 0 9 0 10 0 0 1 0 10 0 0 6 0 0 0 10 10 10 1 0 0 0 10 0 0 10 1 0 0 10 0 8 0 0 0 0 0 0 7 0 0 0 10 5 10 1 0 10 10 0 0 0 0 0 0 0 4 0 0 0 0 1 3 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 1 10 10 9 0 0 10 0 0 0 7 0 10 0 0 0 0 0 0 10 10 0 0 0 8 0 10 1 0 8 0 0 2 0 0 0 0 0 0 0 3 0 0 0 4 0 0 0 3 0 1 6 10 0 0 2 0 0 9 0 10 0 10 0 0 0 10 9 10 0 7 0 0 10 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 10 1 10 0 10 10 0 0 0 0 0 0 0 9 0 10 0 4 4 10 0 10 0 10 10 6 0 3 0 10 0 0 10 0 0 1 0 1 2 0 0 0 0 0 10 0 10 0 0 0 0 1 10 0 10 0 10 1 2 10 0 0 0 0 10 0 10 0 10 7 8 10 10 0 1 0 0 0 0 0 10 0 0 1 10 0 0 0 0 1 0 0 0 1 0 0 8 0 0 2 0 10 0 0 1 0 6 1 10 0 0 10 10 0 10 0 0 10 0 10 0 10 0 10 0 0 0 10 0 0 0 10 0 0 10 1 0 10 0 2 0 0 0 10 1 0 0 10 0 0 0 0 9 0 0 0 10 0 0 0 0 0 0 10 0 7 10 10 10 10 0 10 10 0 0 1 0 7 0 0 0 0 8 0 0 0 0 4 0 10 0 10 10 10 10 0 0 10 0 0 0 0 0 1 0 9 0 0 10 10 0 8 10 1 0 0 0 0 10 0 10 10 8 10 10 0 0 0 7 10 0 10 0 0 0 0 0 1 0 0 0 0 10 0 10 3 10 0 0 0 0 10 7 0 0 10 0 0 0 0 1 10 10 0 0 10 7 0 4 0 10 3 0 9 0 0 0 10 0 0 6 1 0 10 1 10 0 0 0 10 0 0 0 0 0 0 9 10 10 10 10 0 0 10 10 1 5 10 0 0 0 10 1 1 0 10 0 6 10 10 0 0 1 10 0 10 0 0 5 0 0 0 10 10 1 0 10 0 7 0 1 10 0 0 10 0 7 1 0 0 10 0 0 0 0 6 0 0 0 0 0 0 10 9 0 0 7 0 0 0 1 0 0 0 0 1 0 0 0 0 10 1 7 10 0 0 0 0 0 10 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 10 0 10 10 0 0 2 10 9 0 0 0 0 0 0 0 0 0 10 1 1 0 5 0 1 0 0 10 0 0 0 0 10 1 10 10 0 0 0 1 0 10 8 10 6 0 4 10 7 0 0 10 0 3 10 2 0 0 10 0 0 0 0 0 1 0 10 0 0 0 0 0 7 10 0 10 0 0 0 10 0 0 0 0 0 0 10 9 0 8 10 0 0 0 0 0 10 10 10 0 0 10 0 0 0 0 0 1 0 0 0 0 0 10 9 0 1 0 10 0 10 6 10 0 0 0 10 0 0 1 0 10 0 0 7 7 1 10 0 0 0 8 0 10 0 1 10 10 0 0 0 0 0 9 10 1 0 0 10 10 10 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 3 10 0 0 0 0 10 0 4 9 0 0 0 0 10 10 0 4 8 1 10 0 10 1 0 6 0 8 8 0 10 0 1 10 0 0 0 0 0 0 3 0 10 0 10 0 0 10 10 5 0 0 0 0 8 1 1 10 0 0 10 0 0 0 0 0 0 1 0 0 0 1 0 10 0 0 0 7 0 0 0 10 3 0 0 9 0 0 10 0 0 0 1 10 0 10 0 0 10 0 10 9 0 1 10 10 0 0 0 0 10 0 0 0 0 0 0 7 0 0 0 5 10 0 0 10 6 0 3 0 10 0 5 10 0 0 10 0 0 0 0 0 5 0 0 0 2 0 9 10 1 10 7 0 10 0 0 0 10 0 0 0 0 0 0 0 0 8 0 0 0 1 10 0 10 0 0 0 0 0 0 5 4 0 0 0 0 10 1 0 1 0 1 10 0 0 0 10 10 1 7 10 8 0 0 0 9 10 10 0 0 0 0 2 4 0 5 9 0 0 8 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 10 0 1 4 10 0 0 0 0 1 10 10 0 1 0 10 10 0 0 0 0 10 10 0 2 0 0 10 10 1 10 0 9 10 0 0 10 0 0 0 0 10 10 0 0 1 7 10 10 0 10 10 0 0 0 9 10 7 1 0 0 0 1 0 1 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 1 0 0 1 0 0 0 0 0 0 10 8 0 0 0 0 10 0 0 3 6 0 10 0 10 0 10 0 10 0 0 7 10 0 0 7 8 0 0 0 5 10 9 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 7 0 0 9 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 1 0 0 10 0 10 9 10 1 10 0 0 10 0 10 0 1 0 0 10 0 10 0 3 0 0 0 10 10 6 0 10 10 0 10 0 9 0 0 10 10 0 10 0 0 0 10 1 0 0 10 0 0 1 0 0 0 10 0 0 1 0 8 0 0 10 10 9 10 0 0 9 0 10 10 5 0 3 10 0 1 0 10 0 0 0 0 0 0 4 0 0 0 1 0 0 9 7 0 0 9 0 5 0 0 7 10 0 0 0 0 0 0 10 0 0 0 0 8 10 0 0 0 0 0 10 0 0 1 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 0 8 5 0 9 0 5 0 1 0 0 10 0 10 0 0 0 0 0 10 0 1 0 0 9 1 9 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 3 10 0 0 0 10 10 10 9 0 1 0 0 1 5 0 4 10 0 0 0 0 4 0 0 7 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 6 0 0 0 1 10 1 0 0 0 1 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 1 10 0 9 0 10 10 0 1 0 10 10 0 0 0 10 5 0 0 1 0 5 0 10 0 8 3 10 10 10 0 10 0 0 0 10 6 0 0 10 0 0 10 10 0 0 9 10 7 0 0 10 1 0 0 0 0 8 10 0 0 0 1 0 0 1 0 0 1 4 10 10 1 1 0 0 0 0 0 8 0 0 2 10 10 0 0 10 7 0 8 9 0 1 0 10 1 0 1 0 4 0 1 0 0 1 1 0 0 0 0 0 0 0 0 9 0 10 0 10 0 10 0 1 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 1 0 1 0 1 0 0 0 1 0 0 10 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 5 </values>
18233.99/2520.02	v </instantiation>
18233.99/2520.02

Verifier Data 

OK	529365630

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409707-1569840945/watcher-4409707-1569840945 -o /tmp/evaluation-result-4409707-1569840945/solver-4409707-1569840945 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569839592-2295 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409707-1569840945.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=2565, runsolver pid=2562

[startup+0.100113 s]*
/proc/loadavg: 1.61 1.35 3.42 2/192 2566
/proc/meminfo: memFree=29965472/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=69732 memory=45696 CPUtime=0.09 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 11625 0 0 0 8 1 0 0 20 0 1 0 560033126 71405568 11424 33554432000 4194304 6211132 140726786157728 140726786153736 140546581998565 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 17466 11424 755 493 0 10771 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69732 KiB
Current children cumulated memory: 45696 KiB

[startup+0.209383 s]*
/proc/loadavg: 1.61 1.35 3.42 2/192 2566
/proc/meminfo: memFree=29905668/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=127284 memory=103248 CPUtime=0.2 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 25995 0 0 0 17 3 0 0 20 0 1 0 560033126 130338816 25812 33554432000 4194304 6211132 140726786157728 140726786153736 140546581998565 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 31821 25812 755 493 0 25126 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127284 KiB
Current children cumulated memory: 103248 KiB

[startup+0.308675 s]*
/proc/loadavg: 1.61 1.35 3.42 2/192 2566
/proc/meminfo: memFree=29857572/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=179412 memory=155588 CPUtime=0.3 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 39058 0 0 0 25 5 0 0 20 0 1 0 560033126 183717888 38831 33554432000 4194304 6211132 140726786157728 140726786153736 140546581998565 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 44853 38897 755 493 0 38158 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 179412 KiB
Current children cumulated memory: 155588 KiB

[startup+0.700277 s]
/proc/loadavg: 1.61 1.35 3.42 2/192 2566
/proc/meminfo: memFree=29764252/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=303712 memory=279796 CPUtime=0.69 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 70210 0 0 0 58 11 0 0 20 0 1 0 560033126 311001088 69949 33554432000 4194304 6211132 140726786157728 140726786153240 5818606 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 75928 69949 813 493 0 69233 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 303712 KiB
Current children cumulated memory: 279796 KiB

[startup+1.5003 s]
/proc/loadavg: 1.61 1.35 3.42 2/192 2566
/proc/meminfo: memFree=29704864/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=359576 memory=330268 CPUtime=1.48 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 83030 0 0 0 133 15 0 0 20 0 1 0 560033126 368205824 82567 33554432000 4194304 6211132 140726786157728 140726786155000 5287029 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 89894 82567 815 493 0 83199 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 359576 KiB
Current children cumulated memory: 330268 KiB

[startup+3.10866 s]
/proc/loadavg: 1.61 1.35 3.42 2/192 2566
/proc/meminfo: memFree=29574728/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=466880 memory=427724 CPUtime=3.09 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 114524 0 0 0 286 23 0 0 20 0 1 0 560033126 478085120 106931 33554432000 4194304 6211132 140726786157728 140726786153384 5484886 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 116720 106931 815 493 0 110025 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 466880 KiB
Current children cumulated memory: 427724 KiB

[startup+6.3003 s]
/proc/loadavg: 1.80 1.40 3.43 2/193 2568
/proc/meminfo: memFree=29896300/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=675888 memory=617920 CPUtime=6.25 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 175565 0 0 0 588 37 0 0 20 0 1 0 560033126 692109312 154480 33554432000 4194304 6211132 140726786157728 140726786153384 5483353 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 168972 154480 815 493 0 162277 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 675888 KiB
Current children cumulated memory: 617920 KiB

[startup+12.7003 s]
/proc/loadavg: 1.82 1.41 3.42 2/191 2571
/proc/meminfo: memFree=30082952/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=1104264 memory=1007664 CPUtime=12.66 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 278734 0 0 0 1205 61 0 0 20 0 1 0 560033126 1130766336 251916 33554432000 4194304 6211132 140726786157728 140726786155000 5707924 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 276066 251916 815 493 0 269371 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1104264 KiB
Current children cumulated memory: 1007664 KiB

[startup+25.5003 s]
/proc/loadavg: 1.64 1.39 3.38 2/191 2571
/proc/meminfo: memFree=29259652/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=1990324 memory=1815280 CPUtime=25.45 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 490125 0 0 0 2458 87 0 0 20 0 1 0 560033126 2038091776 453820 33554432000 4194304 6211132 140726786157728 140726786155000 5812204 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 497581 453820 815 493 0 490886 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 1990324 KiB
Current children cumulated memory: 1815280 KiB

[startup+51.1089 s]
/proc/loadavg: 1.42 1.36 3.32 2/192 2573
/proc/meminfo: memFree=27610304/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=3767912 memory=3435468 CPUtime=51.06 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 905855 0 0 0 4971 135 0 0 20 0 1 0 560033126 3858341888 858867 33554432000 4194304 6211132 140726786157728 140726786153384 140546598061184 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 941978 858867 815 493 0 935283 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 3767912 KiB
Current children cumulated memory: 3435468 KiB

[startup+102.3 s]
/proc/loadavg: 1.18 1.30 3.20 2/191 2576
/proc/meminfo: memFree=24375040/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=7325592 memory=6679132 CPUtime=102.25 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 1727629 0 0 0 9993 232 0 0 20 0 1 0 560033126 7501406208 1669783 33554432000 4194304 6211132 140726786157728 140726786155000 5250316 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 1831398 1669783 815 493 0 1824703 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 7325592 KiB
Current children cumulated memory: 6679132 KiB

[startup+162.3 s]
/proc/loadavg: 1.10 1.26 3.06 2/191 2579
/proc/meminfo: memFree=20563384/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=11491068 memory=10478552 CPUtime=162.24 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 2687687 0 0 0 15884 340 0 0 20 0 1 0 560033126 11766853632 2619638 33554432000 4194304 6211132 140726786157728 140726786155000 5818394 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 2872767 2619638 815 493 0 2866072 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 11491068 KiB
Current children cumulated memory: 10478552 KiB

[startup+222.3 s]
/proc/loadavg: 1.04 1.21 2.93 2/191 2583
/proc/meminfo: memFree=16921052/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=15389468 memory=14113956 CPUtime=222.24 cores=0-7
/proc/2565/stat : 2565 (cosoco) R 2562 2565 2268 0 -1 4202496 3601472 0 0 0 21773 451 0 0 20 0 1 0 560033126 15758815232 3528489 33554432000 4194304 6211132 140726786157728 140726786155000 5818663 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 3847367 3528489 819 493 0 3840672 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 15389468 KiB
Current children cumulated memory: 14113956 KiB

[startup+282.301 s]
/proc/loadavg: 2.09 1.41 2.89 9/199 2596
/proc/meminfo: memFree=10967108/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=21705288 memory=20057008 CPUtime=371.83 cores=0-7
/proc/2565/stat : 2565 (cosoco) S 2562 2565 2268 0 -1 1077944320 12335893 0 0 0 34757 2426 0 0 20 0 9 0 560033126 22226214912 5014252 33554432000 4194304 6211132 140726786157728 140726786155984 140546598039287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 5426322 5014252 875 493 0 5419627 0
[pid=2565/tid=2587] ppid=2562 vsize=21705288 memory=19988516 CPUtime=12.78 cores=0-7
/proc/2565/task/2587/stat : 2587 (cosoco) R 2562 2565 2268 0 -1 4202560 846053 0 0 0 1038 240 0 0 20 0 9 0 560060039 22226214912 5014252 33554432000 4194304 6211132 140726786157728 140546574895528 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2588] ppid=2562 vsize=21705288 memory=16424720 CPUtime=12.85 cores=0-7
/proc/2565/task/2588/stat : 2588 (cosoco) R 2562 2565 2268 0 -1 4202560 838255 0 0 0 1106 179 0 0 20 0 9 0 560060039 22226214912 5014252 33554432000 4194304 6211132 140726786157728 140546566502824 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2589] ppid=2562 vsize=21705288 memory=19618768 CPUtime=12.93 cores=0-7
/proc/2565/task/2589/stat : 2589 (cosoco) R 2562 2565 2268 0 -1 4202560 639969 0 0 0 1187 106 0 0 20 0 9 0 560060039 22226214912 5014252 33554432000 4194304 6211132 140726786157728 140546558110232 5009164 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2590] ppid=2562 vsize=21705288 memory=19714108 CPUtime=12.92 cores=0-7
/proc/2565/task/2590/stat : 2590 (cosoco) R 2562 2565 2268 0 -1 4202560 760020 0 0 0 1168 124 0 0 20 0 9 0 560060039 22226214912 5014252 33554432000 4194304 6211132 140726786157728 140546549717416 5038682 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2591] ppid=2562 vsize=21705288 memory=19968768 CPUtime=12.77 cores=0-7
/proc/2565/task/2591/stat : 2591 (cosoco) R 2562 2565 2268 0 -1 4202560 857291 0 0 0 947 330 0 0 20 0 9 0 560060039 22226214912 5014252 33554432000 4194304 6211132 140726786157728 140546541324824 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2592] ppid=2562 vsize=21705288 memory=20043504 CPUtime=12.84 cores=0-7
/proc/2565/task/2592/stat : 2592 (cosoco) R 2562 2565 2268 0 -1 4202560 779468 0 0 0 1132 152 0 0 20 0 9 0 560060039 22226214912 5014252 33554432000 4194304 6211132 140726786157728 140546532932008 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2593] ppid=2562 vsize=21705288 memory=20026972 CPUtime=12.81 cores=0-7
/proc/2565/task/2593/stat : 2593 (cosoco) R 2562 2565 2268 0 -1 4202560 806639 0 0 0 953 328 0 0 20 0 9 0 560060039 22226214912 5014252 33554432000 4194304 6211132 140726786157728 140546524539416 5039536 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2594] ppid=2562 vsize=21705288 memory=19958992 CPUtime=12.8 cores=0-7
/proc/2565/task/2594/stat : 2594 (cosoco) R 2562 2565 2268 0 -1 4202560 842518 0 0 0 1010 270 0 0 20 0 9 0 560060039 22226214912 5014252 33554432000 4194304 6211132 140726786157728 140546516146712 5037821 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
Current children cumulated CPU time: 371.83 s
Current children cumulated vsize: 21705288 KiB
Current children cumulated memory: 20057008 KiB

[startup+342.301 s]
/proc/loadavg: 5.96 2.64 3.22 9/201 2608
/proc/meminfo: memFree=10747828/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=22032968 memory=20254916 CPUtime=850.24 cores=0-7
/proc/2565/stat : 2565 (cosoco) S 2562 2565 2268 0 -1 1077944320 28050948 0 0 0 80185 4839 0 0 20 0 9 0 560033126 22561759232 5063729 33554432000 4194304 6211132 140726786157728 140726786155984 140546598039287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 5508242 5063729 875 493 0 5501547 0
[pid=2565/tid=2587] ppid=2562 vsize=22032968 memory=20254916 CPUtime=72.69 cores=0-7
/proc/2565/task/2587/stat : 2587 (cosoco) R 2562 2565 2268 0 -1 4202560 2672741 0 0 0 6643 626 0 0 20 0 9 0 560060039 22561759232 5063729 33554432000 4194304 6211132 140726786157728 140546574895528 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2588] ppid=2562 vsize=22032968 memory=20250616 CPUtime=72.65 cores=0-7
/proc/2565/task/2588/stat : 2588 (cosoco) R 2562 2565 2268 0 -1 4202560 2718744 0 0 0 6780 485 0 0 20 0 9 0 560060039 22561759232 5063729 33554432000 4194304 6211132 140726786157728 140546566502824 5035286 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2589] ppid=2562 vsize=22032968 memory=20254916 CPUtime=72.85 cores=0-7
/proc/2565/task/2589/stat : 2589 (cosoco) R 2562 2565 2268 0 -1 4202560 2687276 0 0 0 7010 275 0 0 20 0 9 0 560060039 22561759232 5063729 33554432000 4194304 6211132 140726786157728 140546558110232 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2590] ppid=2562 vsize=22032968 memory=20250616 CPUtime=72.44 cores=0-7
/proc/2565/task/2590/stat : 2590 (cosoco) R 2562 2565 2268 0 -1 4202560 2735151 0 0 0 6644 600 0 0 20 0 9 0 560060039 22561759232 5063729 33554432000 4194304 6211132 140726786157728 140546549717608 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0

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

[pid=2565/tid=2587] ppid=2562 vsize=22680104 memory=21235160 CPUtime=2049.83 cores=0-7
/proc/2565/task/2587/stat : 2587 (cosoco) R 2562 2565 2268 0 -1 4202560 19984179 0 0 0 202296 2687 0 0 20 0 9 0 560060039 23224426496 5309200 33554432000 4194304 6211132 140726786157728 140546574895528 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2588] ppid=2562 vsize=22680104 memory=21235032 CPUtime=2046.17 cores=0-7
/proc/2565/task/2588/stat : 2588 (cosoco) R 2562 2565 2268 0 -1 4202560 22571327 0 0 0 202114 2503 0 0 20 0 9 0 560060039 23224426496 5309200 33554432000 4194304 6211132 140726786157728 140546566503016 5009164 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2589] ppid=2562 vsize=22680104 memory=21231772 CPUtime=2049.15 cores=0-7
/proc/2565/task/2589/stat : 2589 (cosoco) R 2562 2565 2268 0 -1 4202560 19332663 0 0 0 202651 2264 0 0 20 0 9 0 560060039 23224426496 5309200 33554432000 4194304 6211132 140726786157728 140546558110312 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2590] ppid=2562 vsize=22680104 memory=21219952 CPUtime=2047.5 cores=0-7
/proc/2565/task/2590/stat : 2590 (cosoco) R 2562 2565 2268 0 -1 4202560 17634463 0 0 0 202100 2650 0 0 20 0 9 0 560060039 23224426496 5309200 33554432000 4194304 6211132 140726786157728 140546549717528 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2591] ppid=2562 vsize=22680104 memory=21233516 CPUtime=2049.05 cores=0-7
/proc/2565/task/2591/stat : 2591 (cosoco) R 2562 2565 2268 0 -1 4202560 21907298 0 0 0 201332 3573 0 0 20 0 9 0 560060039 23224426496 5309200 33554432000 4194304 6211132 140726786157728 140546541324712 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2592] ppid=2562 vsize=22680104 memory=21233516 CPUtime=2048.74 cores=0-7
/proc/2565/task/2592/stat : 2592 (cosoco) R 2562 2565 2268 0 -1 4202560 16911581 0 0 0 202067 2807 0 0 20 0 9 0 560060039 23224426496 5309200 33554432000 4194304 6211132 140726786157728 140546532932936 5039007 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2593] ppid=2562 vsize=22680104 memory=21236800 CPUtime=2046.05 cores=0-7
/proc/2565/task/2593/stat : 2593 (cosoco) R 2562 2565 2268 0 -1 4202560 20218431 0 0 0 203020 1585 0 0 20 0 9 0 560060039 23224426496 5309200 33554432000 4194304 6211132 140726786157728 140546524539304 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2594] ppid=2562 vsize=22680104 memory=21235840 CPUtime=2049.95 cores=0-7
/proc/2565/task/2594/stat : 2594 (cosoco) R 2562 2565 2268 0 -1 4202560 21791766 0 0 0 202416 2579 0 0 20 0 9 0 560060039 23224426496 5309200 33554432000 4194304 6211132 140726786157728 140546516146600 5158032 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
Current children cumulated CPU time: 16655.6 s
Current children cumulated vsize: 22680104 KiB
Current children cumulated memory: 21236800 KiB

[startup+2382.3 s]
/proc/loadavg: 8.54 8.52 7.80 9/200 2782
/proc/meminfo: memFree=9753868/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=22680104 memory=21245664 CPUtime=17134.6 cores=0-7
/proc/2565/stat : 2565 (cosoco) S 2562 2565 2268 0 -1 1077944320 169866494 0 0 0 1691793 21669 0 0 20 0 9 0 560033126 23224426496 5311416 33554432000 4194304 6211132 140726786157728 140726786155984 140546598039287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 5670026 5311416 876 493 0 5663331 0
[pid=2565/tid=2587] ppid=2562 vsize=22680104 memory=21245608 CPUtime=2109.8 cores=0-7
/proc/2565/task/2587/stat : 2587 (cosoco) R 2562 2565 2268 0 -1 4202560 20647522 0 0 0 208226 2754 0 0 20 0 9 0 560060039 23224426496 5311416 33554432000 4194304 6211132 140726786157728 140546574895528 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2588] ppid=2562 vsize=22680104 memory=21244132 CPUtime=2106.15 cores=0-7
/proc/2565/task/2588/stat : 2588 (cosoco) R 2562 2565 2268 0 -1 4202560 23196764 0 0 0 208070 2545 0 0 20 0 9 0 560060039 23224426496 5311416 33554432000 4194304 6211132 140726786157728 140546566503016 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2589] ppid=2562 vsize=22680104 memory=21244132 CPUtime=2108.34 cores=0-7
/proc/2565/task/2589/stat : 2589 (cosoco) R 2562 2565 2268 0 -1 4202560 19610606 0 0 0 208554 2280 0 0 20 0 9 0 560060039 23224426496 5311416 33554432000 4194304 6211132 140726786157728 140546558110312 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2590] ppid=2562 vsize=22680104 memory=21245592 CPUtime=2107.48 cores=0-7
/proc/2565/task/2590/stat : 2590 (cosoco) R 2562 2565 2268 0 -1 4202560 18024175 0 0 0 208076 2672 0 0 20 0 9 0 560060039 23224426496 5311416 33554432000 4194304 6211132 140726786157728 140546549717528 5392113 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2591] ppid=2562 vsize=22680104 memory=21245608 CPUtime=2109.04 cores=0-7
/proc/2565/task/2591/stat : 2591 (cosoco) R 2562 2565 2268 0 -1 4202560 22373277 0 0 0 207303 3601 0 0 20 0 9 0 560060039 23224426496 5311416 33554432000 4194304 6211132 140726786157728 140546541324712 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2592] ppid=2562 vsize=22680104 memory=21245624 CPUtime=2108.69 cores=0-7
/proc/2565/task/2592/stat : 2592 (cosoco) R 2562 2565 2268 0 -1 4202560 17247138 0 0 0 208019 2850 0 0 20 0 9 0 560060039 23224426496 5311416 33554432000 4194304 6211132 140726786157728 140546532932936 5156264 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2593] ppid=2562 vsize=22680104 memory=10912 CPUtime=2106.04 cores=0-7
/proc/2565/task/2593/stat : 2593 (cosoco) R 2562 2565 2268 0 -1 4202560 20555480 0 0 0 208991 1613 0 0 20 0 9 0 560060039 23224426496 5311416 33554432000 4194304 6211132 140726786157728 140546524539304 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2594] ppid=2562 vsize=22680104 memory=21245624 CPUtime=2109.93 cores=0-7
/proc/2565/task/2594/stat : 2594 (cosoco) R 2562 2565 2268 0 -1 4202560 22245793 0 0 0 208337 2656 0 0 20 0 9 0 560060039 23224426496 5311416 33554432000 4194304 6211132 140726786157728 140546516146792 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
Current children cumulated CPU time: 17134.6 s
Current children cumulated vsize: 22680104 KiB
Current children cumulated memory: 21245664 KiB

[startup+2442.3 s]
/proc/loadavg: 8.20 8.43 7.81 9/199 2787
/proc/meminfo: memFree=9738576/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=22680104 memory=21259184 CPUtime=17613.6 cores=0-7
/proc/2565/stat : 2565 (cosoco) S 2562 2565 2268 0 -1 1077944320 172702994 0 0 0 1739418 21937 0 0 20 0 9 0 560033126 23224426496 5314796 33554432000 4194304 6211132 140726786157728 140726786155984 140546598039287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 5670026 5314796 876 493 0 5663331 0
[pid=2565/tid=2587] ppid=2562 vsize=22680104 memory=21257648 CPUtime=2169.78 cores=0-7
/proc/2565/task/2587/stat : 2587 (cosoco) R 2562 2565 2268 0 -1 4202560 21112997 0 0 0 214175 2803 0 0 20 0 9 0 560060039 23224426496 5314796 33554432000 4194304 6211132 140726786157728 140546574895528 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2588] ppid=2562 vsize=22680104 memory=21257648 CPUtime=2165.57 cores=0-7
/proc/2565/task/2588/stat : 2588 (cosoco) R 2562 2565 2268 0 -1 4202560 23344708 0 0 0 214001 2556 0 0 20 0 9 0 560060039 23224426496 5314796 33554432000 4194304 6211132 140726786157728 140546566503016 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2589] ppid=2562 vsize=22680104 memory=21254088 CPUtime=2168.32 cores=0-7
/proc/2565/task/2589/stat : 2589 (cosoco) R 2562 2565 2268 0 -1 4202560 19843846 0 0 0 214497 2335 0 0 20 0 9 0 560060039 23224426496 5314796 33554432000 4194304 6211132 140726786157728 140546558110312 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2590] ppid=2562 vsize=22680104 memory=21254768 CPUtime=2167.45 cores=0-7
/proc/2565/task/2590/stat : 2590 (cosoco) R 2562 2565 2268 0 -1 4202560 18401197 0 0 0 214048 2697 0 0 20 0 9 0 560060039 23224426496 5314796 33554432000 4194304 6211132 140726786157728 140546549717528 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2591] ppid=2562 vsize=22680104 memory=21257212 CPUtime=2169 cores=0-7
/proc/2565/task/2591/stat : 2591 (cosoco) R 2562 2565 2268 0 -1 4202560 22863937 0 0 0 213267 3633 0 0 20 0 9 0 560060039 23224426496 5314796 33554432000 4194304 6211132 140726786157728 140546541324824 5037821 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2592] ppid=2562 vsize=22680104 memory=21259184 CPUtime=2168.42 cores=0-7
/proc/2565/task/2592/stat : 2592 (cosoco) R 2562 2565 2268 0 -1 4202560 17660075 0 0 0 213938 2904 0 0 20 0 9 0 560060039 23224426496 5314796 33554432000 4194304 6211132 140726786157728 140546532932936 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2593] ppid=2562 vsize=22680104 memory=21258004 CPUtime=2166.02 cores=0-7
/proc/2565/task/2593/stat : 2593 (cosoco) R 2562 2565 2268 0 -1 4202560 20811260 0 0 0 214973 1629 0 0 20 0 9 0 560060039 23224426496 5314796 33554432000 4194304 6211132 140726786157728 140546524539304 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2594] ppid=2562 vsize=22680104 memory=1704 CPUtime=2169.87 cores=0-7
/proc/2565/task/2594/stat : 2594 (cosoco) R 2562 2565 2268 0 -1 4202560 22699231 0 0 0 214303 2684 0 0 20 0 9 0 560060039 23224426496 5314796 33554432000 4194304 6211132 140726786157728 140546516146792 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
Current children cumulated CPU time: 17613.5 s
Current children cumulated vsize: 22680104 KiB
Current children cumulated memory: 21259184 KiB

[startup+2502.3 s]
/proc/loadavg: 8.07 8.35 7.82 9/199 2790
/proc/meminfo: memFree=9732156/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=22680104 memory=21266980 CPUtime=18092.6 cores=0-7
/proc/2565/stat : 2565 (cosoco) S 2562 2565 2268 0 -1 1077944320 175290833 0 0 0 1787112 22150 0 0 20 0 9 0 560033126 23224426496 5316745 33554432000 4194304 6211132 140726786157728 140726786155984 140546598039287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 5670026 5316745 876 493 0 5663331 0
[pid=2565/tid=2587] ppid=2562 vsize=22680104 memory=21266980 CPUtime=2229.62 cores=0-7
/proc/2565/task/2587/stat : 2587 (cosoco) R 2562 2565 2268 0 -1 4202560 21508431 0 0 0 220099 2863 0 0 20 0 9 0 560060039 23224426496 5316745 33554432000 4194304 6211132 140726786157728 140546574895528 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2588] ppid=2562 vsize=22680104 memory=21266980 CPUtime=2225.56 cores=0-7
/proc/2565/task/2588/stat : 2588 (cosoco) R 2562 2565 2268 0 -1 4202560 23490280 0 0 0 219987 2569 0 0 20 0 9 0 560060039 23224426496 5316745 33554432000 4194304 6211132 140726786157728 140546566503016 5396788 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2589] ppid=2562 vsize=22680104 memory=21266980 CPUtime=2228.32 cores=0-7
/proc/2565/task/2589/stat : 2589 (cosoco) R 2562 2565 2268 0 -1 4202560 20057942 0 0 0 220473 2359 0 0 20 0 9 0 560060039 23224426496 5316745 33554432000 4194304 6211132 140726786157728 140546558110312 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2590] ppid=2562 vsize=22680104 memory=21265528 CPUtime=2227.15 cores=0-7
/proc/2565/task/2590/stat : 2590 (cosoco) R 2562 2565 2268 0 -1 4202560 18730129 0 0 0 219999 2716 0 0 20 0 9 0 560060039 23224426496 5316745 33554432000 4194304 6211132 140726786157728 140546549717528 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2591] ppid=2562 vsize=22680104 memory=21263912 CPUtime=2228.99 cores=0-7
/proc/2565/task/2591/stat : 2591 (cosoco) R 2562 2565 2268 0 -1 4202560 23309277 0 0 0 219238 3661 0 0 20 0 9 0 560060039 23224426496 5316745 33554432000 4194304 6211132 140726786157728 140546541324824 5155849 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2592] ppid=2562 vsize=22680104 memory=21265528 CPUtime=2227.98 cores=0-7
/proc/2565/task/2592/stat : 2592 (cosoco) R 2562 2565 2268 0 -1 4202560 17973256 0 0 0 219871 2927 0 0 20 0 9 0 560060039 23224426496 5316745 33554432000 4194304 6211132 140726786157728 140546532932936 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2593] ppid=2562 vsize=22680104 memory=21266980 CPUtime=2226.01 cores=0-7
/proc/2565/task/2593/stat : 2593 (cosoco) R 2562 2565 2268 0 -1 4202560 21123231 0 0 0 220954 1647 0 0 20 0 9 0 560060039 23224426496 5316745 33554432000 4194304 6211132 140726786157728 140546524539304 5038992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2594] ppid=2562 vsize=22680104 memory=21266980 CPUtime=2229.86 cores=0-7
/proc/2565/task/2594/stat : 2594 (cosoco) R 2562 2565 2268 0 -1 4202560 23132543 0 0 0 220275 2711 0 0 20 0 9 0 560060039 23224426496 5316745 33554432000 4194304 6211132 140726786157728 140546516146600 5039029 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
Current children cumulated CPU time: 18092.6 s
Current children cumulated vsize: 22680104 KiB
Current children cumulated memory: 21266980 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.05 8.33 7.83 9/199 2790
/proc/meminfo: memFree=9729828/32770624 swapFree=66937820/67108860
[pid=2565] ppid=2562 vsize=22680104 memory=21269804 CPUtime=18234 cores=0-7
/proc/2565/stat : 2565 (cosoco) S 2562 2565 2268 0 -1 1077944320 175794170 0 0 0 1801166 22233 0 0 20 0 9 0 560033126 23224426496 5317451 33554432000 4194304 6211132 140726786157728 140726786155984 140546598039287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
/proc/2565/statm: 5670026 5317451 876 493 0 5663331 0
[pid=2565/tid=2587] ppid=2562 vsize=22680104 memory=1398722017469774279 CPUtime=2247.33 cores=0-7
/proc/2565/task/2587/stat : 2587 (cosoco) R 2562 2565 2268 0 -1 4202560 21557377 0 0 0 221853 2880 0 0 20 0 9 0 560060039 23224426496 5317451 33554432000 4194304 6211132 140726786157728 140546574895528 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2588] ppid=2562 vsize=22680104 memory=111636 CPUtime=2243.27 cores=0-7
/proc/2565/task/2588/stat : 2588 (cosoco) R 2562 2565 2268 0 -1 4202560 23508647 0 0 0 221757 2570 0 0 20 0 9 0 560060039 23224426496 5317451 33554432000 4194304 6211132 140726786157728 140546566503016 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2589] ppid=2562 vsize=22680104 memory=800 CPUtime=2246.03 cores=0-7
/proc/2565/task/2589/stat : 2589 (cosoco) R 2562 2565 2268 0 -1 4202560 20124045 0 0 0 222208 2395 0 0 20 0 9 0 560060039 23224426496 5317451 33554432000 4194304 6211132 140726786157728 140546558110312 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2590] ppid=2562 vsize=22680104 memory=1408 CPUtime=2244.85 cores=0-7
/proc/2565/task/2590/stat : 2590 (cosoco) R 2562 2565 2268 0 -1 4202560 18790944 0 0 0 221764 2721 0 0 20 0 9 0 560060039 23224426496 5317451 33554432000 4194304 6211132 140726786157728 140546549717528 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2591] ppid=2562 vsize=22680104 memory=4126316290023845779 CPUtime=2246.69 cores=0-7
/proc/2565/task/2591/stat : 2591 (cosoco) R 2562 2565 2268 0 -1 4202560 23422073 0 0 0 220999 3670 0 0 20 0 9 0 560060039 23224426496 5317451 33554432000 4194304 6211132 140726786157728 140546541324824 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2592] ppid=2562 vsize=22680104 memory=21269804 CPUtime=2245.43 cores=0-7
/proc/2565/task/2592/stat : 2592 (cosoco) R 2562 2565 2268 0 -1 4202560 18023936 0 0 0 221610 2933 0 0 20 0 9 0 560060039 23224426496 5317451 33554432000 4194304 6211132 140726786157728 140546532932936 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2593] ppid=2562 vsize=22680104 memory=4108 CPUtime=2243.72 cores=0-7
/proc/2565/task/2593/stat : 2593 (cosoco) R 2562 2565 2268 0 -1 4202560 21181308 0 0 0 222721 1651 0 0 20 0 9 0 560060039 23224426496 5317451 33554432000 4194304 6211132 140726786157728 140546524539304 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
[pid=2565/tid=2594] ppid=2562 vsize=22680104 memory=1656 CPUtime=2247.56 cores=0-7
/proc/2565/task/2594/stat : 2594 (cosoco) R 2562 2565 2268 0 -1 4202560 23220096 0 0 0 222039 2717 0 0 20 0 9 0 560060039 23224426496 5317451 33554432000 4194304 6211132 140726786157728 140546516146600 5039536 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 39497728 140726786163729 140726786163821 140726786163821 140726786166734 0
Current children cumulated CPU time: 18234 s
Current children cumulated vsize: 22680104 KiB
Current children cumulated memory: 21269804 KiB

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

[startup+2521.82 s]
# the end of solver process 2565 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18011.8 s, system=224.132 s

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

[startup+2520.8 s]
/proc/loadavg: 8.05 8.33 7.83 2/192 2790
/proc/meminfo: memFree=14586676/32770624 swapFree=66937820/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2521.6 s]
/proc/loadavg: 8.05 8.33 7.83 2/192 2790
/proc/meminfo: memFree=24308976/32770624 swapFree=66937820/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2521.8 s]
/proc/loadavg: 8.05 8.33 7.83 2/192 2790
/proc/meminfo: memFree=24308976/32770624 swapFree=66937820/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 2521.82
CPU time (s): 18235.9
CPU user time (s): 18011.8
CPU system time (s): 224.132
CPU usage (%): 723.126
Max. virtual memory (cumulated for all children) (KiB): 22680104
Max. memory (cumulated for all children) (KiB): 21269804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18011.8
system time used= 224.132
maximum resident set size= 21270004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175794719
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= 198856
involuntary context switches= 161821


# summary of solver processes directly reported to runsolver:
#   pid: 2565
#   total CPU time (s): 18235.9
#   total CPU user time (s): 18011.8
#   total CPU system time (s): 224.132

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5314 second user time and 20.6962 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-30 12:55:11
IDJOB=4409707
IDBENCH=141284
IDSOLVER=2877
FILE ID=node141/4409707-1569840945
RUNJOBID= node141-1569839592-2295
PBS_JOBID= 21705969
Free space on /tmp= 60980 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409707-1569840945/watcher-4409707-1569840945 -o /tmp/evaluation-result-4409707-1569840945/solver-4409707-1569840945 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569839592-2295 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409707-1569840945.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=231631641

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30005564 kB
MemAvailable:   31773860 kB
Buffers:          111220 kB
Cached:          1983172 kB
SwapCached:        62080 kB
Active:           919308 kB
Inactive:        1243008 kB
Active(anon):       4396 kB
Inactive(anon):   141792 kB
Active(file):     914912 kB
Inactive(file):  1101216 kB
Unevictable:      107692 kB
Mlocked:          107692 kB
SwapTotal:      67108860 kB
SwapFree:       66937820 kB
Dirty:            548876 kB
Writeback:        145556 kB
AnonPages:        114216 kB
Mapped:            28076 kB
Shmem:             69524 kB
Slab:             195516 kB
SReclaimable:     136004 kB
SUnreclaim:        59512 kB
KernelStack:        3360 kB
PageTables:         5284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     541320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61456 MiB
End job on node141 at 2019-09-30 13:37:13