Trace number 4398447

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.O parallelSAT (TO)529365630 18254 2521.98

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 

4948.26/853.41	c
4948.26/853.41	c This is cosoco 2.00 --  
4948.26/853.41	c
4948.26/853.41	c command line: cosoco -model -nbcores=8 HOME/instance-4398447-1568616450.xml 
4948.26/853.41	c enable optimization
4948.26/853.41	c ========================================[ Problem Statistics ]===========================================
4948.26/853.41	c |                                                                                                       
4948.26/853.41	c |  Parse time        :       259.58 s 
4948.26/853.41	c |
4948.26/853.41	c |               Variables: 7232
4948.26/853.41	c |            Domain Sizes: 1..135
4948.26/853.41	c |
4948.26/853.41	c |             Constraints: 4666
4948.26/853.41	c |                   Arity: 2..4355  -- Binary: 311  -- Ternary: 2177
4948.26/853.41	c | 
4948.26/853.41	c |                   Types: 
4948.26/853.41	c |                          Extension: 4665  (nb tuples: 0..18225) -- (shared: 0)
4948.26/853.41	c |                          Sum: 1
4948.26/853.41	c |                          
4948.26/853.41	c |               Objective: Minimize Sum
4948.26/853.41	
4948.26/853.41	c =========================================================================================================
4948.26/853.41	c Parallel mode: Portfolio
4948.26/853.41	c [pFactory][Group N°0] created (threads:8).
4948.26/853.41	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
4948.26/853.41	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
4948.26/853.41	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
4948.26/853.41	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
4948.26/853.41	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
4948.26/853.41	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
4948.26/853.41	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
4948.26/853.41	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
4948.26/853.41	c [pFactory][Group N°0] concurrent mode: enabled.
4948.26/853.41	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
4948.26/853.41	c [pFactory][Group N°0] task 7 launched on thread 0.
4948.26/853.41	c [pFactory][Group N°0] task 6 launched on thread 2.
4948.26/853.41	c [pFactory][Group N°0] task 5 launched on thread 1.
4948.26/853.41	c [pFactory][Group N°0] task 4 launched on thread 5.
4948.26/853.41	c [pFactory][Group N°0] task 3 launched on thread 6.
4948.26/853.41	c [pFactory][Group N°0] task 2 launched on thread 4.
4948.26/853.41	c [pFactory][Group N°0] task 1 launched on thread 3.
4948.26/853.41	c [pFactory][Group N°0] task 0 launched on thread 7.
4948.26/853.41	o 529452765
5349.82/903.75	o 529365715
7112.25/1124.59	o 529365697
7291.01/1146.95	o 529365689
7413.97/1162.36	o 529365687
7686.94/1196.55	o 529365686
7831.44/1214.65	o 529365682
8000.68/1235.89	o 529365680
8152.34/1254.84	o 529365677
8532.33/1302.45	o 529365644
9017.66/1363.28	o 529365636
9479.08/1421.09	o 529365630
18251.89/2520.02	
18251.89/2520.02	c *** INTERRUPTED ***
18251.89/2520.02	c call to solver        : 2
18251.89/2520.02	c
18251.89/2520.02	c restarts              : 657         
18251.89/2520.02	c conflicts             : 4149         (0 /sec)
18251.89/2520.02	c decisions             : 478185       (27 /sec)
18251.89/2520.02	c propagations          : 49712437    (2757 /sec)
18251.89/2520.02	c root propagations     : 11512       
18251.89/2520.02	c filter calls          : 8819038        (489 /sec)
18251.89/2520.02	c useless filter calls  : 5112550        (57 %)
18251.89/2520.02	c Memory used           : 22020.54 MB
18251.89/2520.02	c Best bound time (wc)  : 1421.09 s
18251.89/2520.02	c CPU time              : 18031.7 s
18251.89/2520.02	c real time             : 2520.02 s
18251.89/2520.02	
18251.89/2520.02	s SATISFIABLE
18251.89/2520.02	c Best value found: 529365630
18251.89/2520.02	
18251.89/2520.02	
18251.89/2520.02	v <instantiation type='solution' cost='529365630'>
18251.89/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>
18251.89/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>
18251.89/2520.02	v </instantiation>
18251.89/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 (13788 MiB free)
  memory of node 1: 16384 MiB (14881 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398447-1568616450/watcher-4398447-1568616450 -o /tmp/evaluation-result-4398447-1568616450/solver-4398447-1568616450 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568608811-27132 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398447-1568616450.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
solver pid=28195, runsolver pid=28192
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 1.75 1.18 1.52 2/192 28196
/proc/meminfo: memFree=29316568/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=72372 memory=48336 CPUtime=0.1 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 12263 0 0 0 9 1 0 0 20 0 1 0 437911243 74108928 12084 33554432000 4194304 6211092 140733611409584 140733611406120 139747559107557 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 18093 12084 755 493 0 11398 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72372 KiB
Current children cumulated memory: 48336 KiB

[startup+0.208895 s]*
/proc/loadavg: 1.75 1.18 1.52 2/192 28196
/proc/meminfo: memFree=29256428/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=132432 memory=108528 CPUtime=0.21 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 27304 0 0 0 19 2 0 0 20 0 1 0 437911243 135610368 27132 33554432000 4194304 6211092 140733611409584 140733611406120 139747559107557 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 33108 27132 755 493 0 26413 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 132432 KiB
Current children cumulated memory: 108528 KiB

[startup+0.3086 s]*
/proc/loadavg: 1.75 1.18 1.52 2/192 28196
/proc/meminfo: memFree=29201220/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=187992 memory=164036 CPUtime=0.3 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 41205 0 0 0 26 4 0 0 20 0 1 0 437911243 192503808 41009 33554432000 4194304 6211092 140733611409584 140733611405304 139747559107557 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 46998 41009 755 493 0 40303 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 187992 KiB
Current children cumulated memory: 164036 KiB

[startup+0.700383 s]
/proc/loadavg: 1.75 1.18 1.52 3/192 28199
/proc/meminfo: memFree=29160320/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=309540 memory=284960 CPUtime=0.69 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 71561 0 0 0 61 8 0 0 20 0 1 0 437911243 316968960 71174 33554432000 4194304 6211092 140733611409584 140733611405304 5240329 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 77385 71240 815 493 0 70690 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 309540 KiB
Current children cumulated memory: 284960 KiB

[startup+1.50033 s]
/proc/loadavg: 1.75 1.18 1.52 2/191 28199
/proc/meminfo: memFree=29585520/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=363488 memory=333700 CPUtime=1.49 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 83917 0 0 0 140 9 0 0 20 0 1 0 437911243 372211712 83425 33554432000 4194304 6211092 140733611409584 140733611406856 5818440 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 90872 83425 815 493 0 84177 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 363488 KiB
Current children cumulated memory: 333700 KiB

[startup+3.10916 s]
/proc/loadavg: 1.75 1.18 1.52 2/191 28199
/proc/meminfo: memFree=29418532/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=474708 memory=434944 CPUtime=3.1 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 116212 0 0 0 296 14 0 0 20 0 1 0 437911243 486100992 108736 33554432000 4194304 6211092 140733611409584 140733611405240 5814144 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 118677 108736 815 493 0 111982 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 474708 KiB
Current children cumulated memory: 434944 KiB

[startup+6.30035 s]
/proc/loadavg: 1.69 1.17 1.52 2/191 28199
/proc/meminfo: memFree=29239828/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=691540 memory=632084 CPUtime=6.29 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 173928 0 0 0 607 22 0 0 20 0 1 0 437911243 708136960 158021 33554432000 4194304 6211092 140733611409584 140733611405240 5817126 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 172885 158021 815 493 0 166190 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 691540 KiB
Current children cumulated memory: 632084 KiB

[startup+12.7003 s]
/proc/loadavg: 1.72 1.19 1.52 2/192 28201
/proc/meminfo: memFree=28901496/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=1131372 memory=1032572 CPUtime=12.68 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 285172 0 0 0 1233 35 0 0 20 0 1 0 437911243 1158524928 258143 33554432000 4194304 6211092 140733611409584 140733611406856 5250284 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 282843 258143 815 493 0 276148 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 1131372 KiB
Current children cumulated memory: 1032572 KiB

[startup+25.5003 s]
/proc/loadavg: 1.48 1.16 1.51 2/191 28202
/proc/meminfo: memFree=28073444/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=2029444 memory=1850728 CPUtime=25.48 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 499113 0 0 0 2485 63 0 0 20 0 1 0 437911243 2078150656 462682 33554432000 4194304 6211092 140733611409584 140733611405240 5817132 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 507361 462682 815 493 0 500666 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2029444 KiB
Current children cumulated memory: 1850728 KiB

[startup+51.1085 s]
/proc/loadavg: 1.32 1.15 1.49 2/191 28202
/proc/meminfo: memFree=26408012/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=3822684 memory=3485300 CPUtime=51.09 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 918696 0 0 0 4993 116 0 0 20 0 1 0 437911243 3914428416 871325 33554432000 4194304 6211092 140733611409584 140733611406856 5818354 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 955671 871325 815 493 0 948976 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3822684 KiB
Current children cumulated memory: 3485300 KiB

[startup+102.3 s]
/proc/loadavg: 1.14 1.13 1.47 2/192 28207
/proc/meminfo: memFree=23142872/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=7410052 memory=6755932 CPUtime=102.28 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 1746931 0 0 0 10011 217 0 0 20 0 1 0 437911243 7587893248 1688983 33554432000 4194304 6211092 140733611409584 140733611405240 5240329 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 1852513 1688983 815 493 0 1845818 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 7410052 KiB
Current children cumulated memory: 6755932 KiB

[startup+162.3 s]
/proc/loadavg: 1.05 1.10 1.44 2/191 28210
/proc/meminfo: memFree=19296836/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=11621092 memory=10596824 CPUtime=162.26 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 2717420 0 0 0 15894 332 0 0 20 0 1 0 437911243 11899998208 2649206 33554432000 4194304 6211092 140733611409584 140733611406856 139747559099963 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 2905273 2649206 815 493 0 2898578 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 11621092 KiB
Current children cumulated memory: 10596824 KiB

[startup+222.3 s]
/proc/loadavg: 1.09 1.10 1.42 2/192 28221
/proc/meminfo: memFree=15634724/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=15528864 memory=14246388 CPUtime=222.25 cores=0-7
/proc/28195/stat : 28195 (cosoco) R 28192 28195 27105 0 -1 4202496 3630481 0 0 0 21781 444 0 0 20 0 1 0 437911243 15901556736 3561597 33554432000 4194304 6211092 140733611409584 140733611406856 5240329 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 3882216 3561597 819 493 0 3875521 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 15528864 KiB
Current children cumulated memory: 14246388 KiB

[startup+282.3 s]
/proc/loadavg: 2.89 1.49 1.52 9/201 28234
/proc/meminfo: memFree=9788536/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=21705288 memory=20070572 CPUtime=390.23 cores=0-7
/proc/28195/stat : 28195 (cosoco) S 28192 28195 27105 0 -1 1077944320 13275056 0 0 0 36233 2790 0 0 20 0 9 0 437911243 22226214912 5017643 33554432000 4194304 6211092 140733611409584 140733611407840 139747575148279 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 5426322 5017643 876 493 0 5419627 0
[pid=28195/tid=28225] ppid=28192 vsize=21705288 memory=15460504 CPUtime=15.45 cores=0-7
/proc/28195/task/28225/stat : 28225 (cosoco) R 28192 28195 27105 0 -1 4202560 946295 0 0 0 1219 326 0 0 20 0 9 0 437937893 22226214912 5017643 33554432000 4194304 6211092 140733611409584 139747552004632 5037850 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28226] ppid=28192 vsize=21705288 memory=43744 CPUtime=15.51 cores=0-7
/proc/28195/task/28226/stat : 28226 (cosoco) R 28192 28195 27105 0 -1 4202560 787245 0 0 0 1354 197 0 0 20 0 9 0 437937893 22226214912 5017643 33554432000 4194304 6211092 140733611409584 139747543611816 5035312 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28227] ppid=28192 vsize=21705288 memory=19306036 CPUtime=15.44 cores=0-7
/proc/28195/task/28227/stat : 28227 (cosoco) R 28192 28195 27105 0 -1 4202560 933068 0 0 0 1338 206 0 0 20 0 9 0 437937893 22226214912 5017643 33554432000 4194304 6211092 140733611409584 139747535219224 5039070 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28228] ppid=28192 vsize=21705288 memory=18554120 CPUtime=15.54 cores=0-7
/proc/28195/task/28228/stat : 28228 (cosoco) R 28192 28195 27105 0 -1 4202560 880737 0 0 0 1369 185 0 0 20 0 9 0 437937893 22226214912 5017643 33554432000 4194304 6211092 140733611409584 139747526826408 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28229] ppid=28192 vsize=21705288 memory=20053172 CPUtime=15.44 cores=0-7
/proc/28195/task/28229/stat : 28229 (cosoco) R 28192 28195 27105 0 -1 4202560 957650 0 0 0 1211 333 0 0 20 0 9 0 437937893 22226214912 5017643 33554432000 4194304 6211092 140733611409584 139747518433816 5038995 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28230] ppid=28192 vsize=21705288 memory=0 CPUtime=15.51 cores=0-7
/proc/28195/task/28230/stat : 28230 (cosoco) R 28192 28195 27105 0 -1 4202560 943371 0 0 0 1344 207 0 0 20 0 9 0 437937893 22226214912 5017643 33554432000 4194304 6211092 140733611409584 139747510041112 139747559106781 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28231] ppid=28192 vsize=21705288 memory=19808724 CPUtime=15.46 cores=0-7
/proc/28195/task/28231/stat : 28231 (cosoco) R 28192 28195 27105 0 -1 4202560 953935 0 0 0 1216 330 0 0 20 0 9 0 437937893 22226214912 5017643 33554432000 4194304 6211092 140733611409584 139747501648296 5155800 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28232] ppid=28192 vsize=21705288 memory=20055956 CPUtime=15.39 cores=0-7
/proc/28195/task/28232/stat : 28232 (cosoco) R 28192 28195 27105 0 -1 4202560 912777 0 0 0 1221 318 0 0 20 0 9 0 437937893 22226214912 5017643 33554432000 4194304 6211092 140733611409584 139747493255784 5392081 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
Current children cumulated CPU time: 390.23 s
Current children cumulated vsize: 21705288 KiB
Current children cumulated memory: 20070572 KiB

[startup+342.302 s]
/proc/loadavg: 6.97 2.94 2.02 9/200 28237
/proc/meminfo: memFree=9565552/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=22098504 memory=20284804 CPUtime=868.73 cores=0-7
/proc/28195/stat : 28195 (cosoco) S 28192 28195 27105 0 -1 1077944320 28026868 0 0 0 82717 4156 0 0 20 0 9 0 437911243 22628868096 5071201 33554432000 4194304 6211092 140733611409584 140733611407840 139747575148279 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 5524626 5071201 876 493 0 5517931 0
[pid=28195/tid=28225] ppid=28192 vsize=22098504 memory=20271364 CPUtime=75.08 cores=0-7
/proc/28195/task/28225/stat : 28225 (cosoco) R 28192 28195 27105 0 -1 4202560 2701050 0 0 0 6960 548 0 0 20 0 9 0 437937893 22628868096 5071201 33554432000 4194304 6211092 140733611409584 139747552004520 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28226] ppid=28192 vsize=22098504 memory=3576 CPUtime=75.44 cores=0-7
/proc/28195/task/28226/stat : 28226 (cosoco) R 28192 28195 27105 0 -1 4202560 2702020 0 0 0 7232 312 0 0 20 0 9 0 437937893 22628868096 5071201 33554432000 4194304 6211092 140733611409584 139747543611928 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28227] ppid=28192 vsize=22098504 memory=20283960 CPUtime=75.17 cores=0-7
/proc/28195/task/28227/stat : 28227 (cosoco) R 28192 28195 27105 0 -1 4202560 2770035 0 0 0 7149 368 0 0 20 0 9 0 437937893 22628868096 5071201 33554432000 4194304 6211092 140733611409584 139747535219224 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28228] ppid=28192 vsize=22098504 memory=6935054825532540783 CPUtime=75.43 cores=0-7
/proc/28195/task/28228/stat : 28228 (cosoco) R 28192 28195 27105 0 -1 4202560 2777777 0 0 0 7191 352 0 0 20 0 9 0 437937893 22628868096 5071201 33554432000 4194304 6211092 140733611409584 139747526826600 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0

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

/proc/28195/task/28228/stat : 28228 (cosoco) R 28192 28195 27105 0 -1 12591168 18395663 0 0 0 202738 2216 0 0 20 0 9 0 437937893 23090208768 5296247 33554432000 4194304 6211092 140733611409584 139747526826520 5009423 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28229] ppid=28192 vsize=22549032 memory=21184988 CPUtime=2052.55 cores=0-7
/proc/28195/task/28229/stat : 28229 (cosoco) R 28192 28195 27105 0 -1 4202560 23493250 0 0 0 202644 2611 0 0 20 0 9 0 437937893 23090208768 5296247 33554432000 4194304 6211092 140733611409584 139747518433704 5035320 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28230] ppid=28192 vsize=22549032 memory=21184988 CPUtime=2051.46 cores=0-7
/proc/28195/task/28230/stat : 28230 (cosoco) R 28192 28195 27105 0 -1 4202560 21124906 0 0 0 202669 2477 0 0 20 0 9 0 437937893 23090208768 5296247 33554432000 4194304 6211092 140733611409584 139747510041000 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28231] ppid=28192 vsize=22549032 memory=21184988 CPUtime=2048.93 cores=0-7
/proc/28195/task/28231/stat : 28231 (cosoco) R 28192 28195 27105 0 -1 4202560 22789630 0 0 0 201787 3106 0 0 20 0 9 0 437937893 23090208768 5296247 33554432000 4194304 6211092 140733611409584 139747501648296 5392064 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28232] ppid=28192 vsize=22549032 memory=1560 CPUtime=2044.71 cores=0-7
/proc/28195/task/28232/stat : 28232 (cosoco) R 28192 28195 27105 0 -1 4202560 17794894 0 0 0 202478 1993 0 0 20 0 9 0 437937893 23090208768 5296247 33554432000 4194304 6211092 140733611409584 139747493256520 5038995 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
Current children cumulated CPU time: 16673.6 s
Current children cumulated vsize: 22549032 KiB
Current children cumulated memory: 21184988 KiB

[startup+2382.3 s]
/proc/loadavg: 8.15 8.18 7.53 9/199 28412
/proc/meminfo: memFree=8653144/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=22549032 memory=21193540 CPUtime=17152.6 cores=0-7
/proc/28195/stat : 28195 (cosoco) S 28192 28195 27105 0 -1 1077944320 177572615 0 0 0 1694044 21213 0 0 20 0 9 0 437911243 23090208768 5298385 33554432000 4194304 6211092 140733611409584 140733611407840 139747575148279 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 5637258 5298385 877 493 0 5630563 0
[pid=28195/tid=28225] ppid=28192 vsize=22549032 memory=21192008 CPUtime=2113.07 cores=0-7
/proc/28195/task/28225/stat : 28225 (cosoco) R 28192 28195 27105 0 -1 4202560 21480853 0 0 0 207709 3598 0 0 20 0 9 0 437937893 23090208768 5298385 33554432000 4194304 6211092 140733611409584 139747552004520 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28226] ppid=28192 vsize=22549032 memory=988 CPUtime=2114.52 cores=0-7
/proc/28195/task/28226/stat : 28226 (cosoco) R 28192 28195 27105 0 -1 4202560 20136398 0 0 0 210169 1283 0 0 20 0 9 0 437937893 23090208768 5298385 33554432000 4194304 6211092 140733611409584 139747543612008 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28227] ppid=28192 vsize=22549032 memory=21190824 CPUtime=2112.12 cores=0-7
/proc/28195/task/28227/stat : 28227 (cosoco) R 28192 28195 27105 0 -1 4202560 24489922 0 0 0 208260 2952 0 0 20 0 9 0 437937893 23090208768 5298385 33554432000 4194304 6211092 140733611409584 139747535219304 5155807 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28228] ppid=28192 vsize=22549032 memory=21193540 CPUtime=2109.29 cores=0-7
/proc/28195/task/28228/stat : 28228 (cosoco) R 28192 28195 27105 0 -1 4202560 18769298 0 0 0 208568 2361 0 0 20 0 9 0 437937893 23090208768 5298385 33554432000 4194304 6211092 140733611409584 139747526826520 5193754 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28229] ppid=28192 vsize=22549032 memory=21192004 CPUtime=2112.52 cores=0-7
/proc/28195/task/28229/stat : 28229 (cosoco) R 28192 28195 27105 0 -1 4202560 23968895 0 0 0 208613 2639 0 0 20 0 9 0 437937893 23090208768 5298385 33554432000 4194304 6211092 140733611409584 139747518433704 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28230] ppid=28192 vsize=22549032 memory=21193540 CPUtime=2111.26 cores=0-7
/proc/28195/task/28230/stat : 28230 (cosoco) R 28192 28195 27105 0 -1 4202560 21382100 0 0 0 208615 2511 0 0 20 0 9 0 437937893 23090208768 5298385 33554432000 4194304 6211092 140733611409584 139747510041000 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28231] ppid=28192 vsize=22549032 memory=21193540 CPUtime=2108.74 cores=0-7
/proc/28195/task/28231/stat : 28231 (cosoco) R 28192 28195 27105 0 -1 4202560 23240116 0 0 0 207738 3136 0 0 20 0 9 0 437937893 23090208768 5298385 33554432000 4194304 6211092 140733611409584 139747501648296 5158000 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28232] ppid=28192 vsize=22549032 memory=21192008 CPUtime=2104.55 cores=0-7
/proc/28195/task/28232/stat : 28232 (cosoco) R 28192 28195 27105 0 -1 4202560 18144974 0 0 0 208410 2045 0 0 20 0 9 0 437937893 23090208768 5298385 33554432000 4194304 6211092 140733611409584 139747493256520 5009164 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
Current children cumulated CPU time: 17152.6 s
Current children cumulated vsize: 22549032 KiB
Current children cumulated memory: 21193540 KiB

[startup+2442.3 s]
/proc/loadavg: 8.05 8.15 7.56 9/199 28415
/proc/meminfo: memFree=8645632/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=22549032 memory=21202612 CPUtime=17631.6 cores=0-7
/proc/28195/stat : 28195 (cosoco) S 28192 28195 27105 0 -1 1077944320 180902868 0 0 0 1741648 21508 0 0 20 0 9 0 437911243 23090208768 5300653 33554432000 4194304 6211092 140733611409584 140733611407840 139747575148279 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 5637258 5300653 877 493 0 5630563 0
[pid=28195/tid=28225] ppid=28192 vsize=22549032 memory=7451607336409972846 CPUtime=2173.05 cores=0-7
/proc/28195/task/28225/stat : 28225 (cosoco) R 28192 28195 27105 0 -1 4202560 21928429 0 0 0 213678 3627 0 0 20 0 9 0 437937893 23090208768 5300653 33554432000 4194304 6211092 140733611409584 139747552004520 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28226] ppid=28192 vsize=22549032 memory=21202612 CPUtime=2174.51 cores=0-7
/proc/28195/task/28226/stat : 28226 (cosoco) R 28192 28195 27105 0 -1 4202560 20351952 0 0 0 216154 1297 0 0 20 0 9 0 437937893 23090208768 5300653 33554432000 4194304 6211092 140733611409584 139747543612008 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28227] ppid=28192 vsize=22549032 memory=21202252 CPUtime=2171.86 cores=0-7
/proc/28195/task/28227/stat : 28227 (cosoco) R 28192 28195 27105 0 -1 4202560 24944125 0 0 0 214202 2984 0 0 20 0 9 0 437937893 23090208768 5300653 33554432000 4194304 6211092 140733611409584 139747535219304 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28228] ppid=28192 vsize=22549032 memory=21202612 CPUtime=2168.94 cores=0-7
/proc/28195/task/28228/stat : 28228 (cosoco) R 28192 28195 27105 0 -1 4202560 19129739 0 0 0 214506 2388 0 0 20 0 9 0 437937893 23090208768 5300653 33554432000 4194304 6211092 140733611409584 139747526826520 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28229] ppid=28192 vsize=22549032 memory=21202612 CPUtime=2172.49 cores=0-7
/proc/28195/task/28229/stat : 28229 (cosoco) R 28192 28195 27105 0 -1 4202560 24488865 0 0 0 214574 2675 0 0 20 0 9 0 437937893 23090208768 5300653 33554432000 4194304 6211092 140733611409584 139747518433704 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28230] ppid=28192 vsize=22549032 memory=21201156 CPUtime=2170.96 cores=0-7
/proc/28195/task/28230/stat : 28230 (cosoco) R 28192 28195 27105 0 -1 4202560 21875718 0 0 0 214542 2554 0 0 20 0 9 0 437937893 23090208768 5300653 33554432000 4194304 6211092 140733611409584 139747510041000 5396756 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28231] ppid=28192 vsize=22549032 memory=21198072 CPUtime=2168.72 cores=0-7
/proc/28195/task/28231/stat : 28231 (cosoco) R 28192 28195 27105 0 -1 4202560 23670970 0 0 0 213708 3164 0 0 20 0 9 0 437937893 23090208768 5300653 33554432000 4194304 6211092 140733611409584 139747501648296 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28232] ppid=28192 vsize=22549032 memory=21196540 CPUtime=2164.52 cores=0-7
/proc/28195/task/28232/stat : 28232 (cosoco) R 28192 28195 27105 0 -1 4202560 18553010 0 0 0 214322 2130 0 0 20 0 9 0 437937893 23090208768 5300653 33554432000 4194304 6211092 140733611409584 139747493256520 5039029 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
Current children cumulated CPU time: 17631.6 s
Current children cumulated vsize: 22549032 KiB
Current children cumulated memory: 21202612 KiB

[startup+2502.3 s]
/proc/loadavg: 8.39 8.22 7.62 9/199 28421
/proc/meminfo: memFree=8636368/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=22549032 memory=21211436 CPUtime=18110.5 cores=0-7
/proc/28195/stat : 28195 (cosoco) S 28192 28195 27105 0 -1 1077944320 184843843 0 0 0 1789058 21993 0 0 20 0 9 0 437911243 23090208768 5302859 33554432000 4194304 6211092 140733611409584 140733611407840 139747575148279 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 5637258 5302859 877 493 0 5630563 0
[pid=28195/tid=28225] ppid=28192 vsize=22549032 memory=43796 CPUtime=2233.02 cores=0-7
/proc/28195/task/28225/stat : 28225 (cosoco) R 28192 28195 27105 0 -1 4202560 22280019 0 0 0 219652 3650 0 0 20 0 9 0 437937893 23090208768 5302859 33554432000 4194304 6211092 140733611409584 139747552004520 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28226] ppid=28192 vsize=22549032 memory=21211436 CPUtime=2234.51 cores=0-7
/proc/28195/task/28226/stat : 28226 (cosoco) R 28192 28195 27105 0 -1 4202560 20874477 0 0 0 222123 1328 0 0 20 0 9 0 437937893 23090208768 5302859 33554432000 4194304 6211092 140733611409584 139747543612008 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28227] ppid=28192 vsize=22549032 memory=21207124 CPUtime=2231.62 cores=0-7
/proc/28195/task/28227/stat : 28227 (cosoco) R 28192 28195 27105 0 -1 4202560 25515204 0 0 0 220134 3028 0 0 20 0 9 0 437937893 23090208768 5302859 33554432000 4194304 6211092 140733611409584 139747535219304 5392081 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28228] ppid=28192 vsize=22549032 memory=21207124 CPUtime=2228.92 cores=0-7
/proc/28195/task/28228/stat : 28228 (cosoco) R 28192 28195 27105 0 -1 4202560 19581247 0 0 0 220474 2418 0 0 20 0 9 0 437937893 23090208768 5302859 33554432000 4194304 6211092 140733611409584 139747526826520 5155800 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28229] ppid=28192 vsize=22549032 memory=21210076 CPUtime=2232.47 cores=0-7
/proc/28195/task/28229/stat : 28229 (cosoco) R 28192 28195 27105 0 -1 4202560 25113152 0 0 0 220532 2715 0 0 20 0 9 0 437937893 23090208768 5302859 33554432000 4194304 6211092 140733611409584 139747518433704 5037793 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28230] ppid=28192 vsize=22549032 memory=21210076 CPUtime=2230.92 cores=0-7
/proc/28195/task/28230/stat : 28230 (cosoco) R 28192 28195 27105 0 -1 4202560 22231342 0 0 0 220382 2710 0 0 20 0 9 0 437937893 23090208768 5302859 33554432000 4194304 6211092 140733611409584 139747510041000 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28231] ppid=28192 vsize=22549032 memory=21208600 CPUtime=2228.7 cores=0-7
/proc/28195/task/28231/stat : 28231 (cosoco) R 28192 28195 27105 0 -1 4202560 24260767 0 0 0 219665 3205 0 0 20 0 9 0 437937893 23090208768 5302859 33554432000 4194304 6211092 140733611409584 139747501648296 5037793 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28232] ppid=28192 vsize=22549032 memory=21208600 CPUtime=2223.85 cores=0-7
/proc/28195/task/28232/stat : 28232 (cosoco) R 28192 28195 27105 0 -1 4202560 19027579 0 0 0 220133 2252 0 0 20 0 9 0 437937893 23090208768 5302859 33554432000 4194304 6211092 140733611409584 139747493256520 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
Current children cumulated CPU time: 18110.5 s
Current children cumulated vsize: 22549032 KiB
Current children cumulated memory: 21211436 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.64 8.28 7.65 9/199 28421
/proc/meminfo: memFree=8633636/32770624 swapFree=66998564/67108860
[pid=28195] ppid=28192 vsize=22549032 memory=21214184 CPUtime=18251.9 cores=0-7
/proc/28195/stat : 28195 (cosoco) S 28192 28195 27105 0 -1 1077944320 185384226 0 0 0 1803155 22034 0 0 20 0 9 0 437911243 23090208768 5303546 33554432000 4194304 6211092 140733611409584 140733611407840 139747575148279 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
/proc/28195/statm: 5637258 5303546 877 493 0 5630563 0
[pid=28195/tid=28225] ppid=28192 vsize=22549032 memory=1398722017469774279 CPUtime=2250.73 cores=0-7
/proc/28195/task/28225/stat : 28225 (cosoco) R 28192 28195 27105 0 -1 4202560 22406201 0 0 0 221416 3657 0 0 20 0 9 0 437937893 23090208768 5303546 33554432000 4194304 6211092 140733611409584 139747552004520 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28226] ppid=28192 vsize=22549032 memory=4872558044660077418 CPUtime=2252.2 cores=0-7
/proc/28195/task/28226/stat : 28226 (cosoco) R 28192 28195 27105 0 -1 4202560 20951614 0 0 0 223887 1333 0 0 20 0 9 0 437937893 23090208768 5303546 33554432000 4194304 6211092 140733611409584 139747543612008 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28227] ppid=28192 vsize=22549032 memory=1580 CPUtime=2249.32 cores=0-7
/proc/28195/task/28227/stat : 28227 (cosoco) R 28192 28195 27105 0 -1 4202560 25529535 0 0 0 221902 3030 0 0 20 0 9 0 437937893 23090208768 5303546 33554432000 4194304 6211092 140733611409584 139747535219304 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28228] ppid=28192 vsize=22549032 memory=908 CPUtime=2246.61 cores=0-7
/proc/28195/task/28228/stat : 28228 (cosoco) R 28192 28195 27105 0 -1 4202560 19644116 0 0 0 222238 2423 0 0 20 0 9 0 437937893 23090208768 5303546 33554432000 4194304 6211092 140733611409584 139747526826520 5392081 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28229] ppid=28192 vsize=22549032 memory=1440 CPUtime=2250.18 cores=0-7
/proc/28195/task/28229/stat : 28229 (cosoco) R 28192 28195 27105 0 -1 4202560 25191635 0 0 0 222296 2722 0 0 20 0 9 0 437937893 23090208768 5303546 33554432000 4194304 6211092 140733611409584 139747518433704 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28230] ppid=28192 vsize=22549032 memory=1760 CPUtime=2248.63 cores=0-7
/proc/28195/task/28230/stat : 28230 (cosoco) R 28192 28195 27105 0 -1 4202560 22276811 0 0 0 222150 2713 0 0 20 0 9 0 437937893 23090208768 5303546 33554432000 4194304 6211092 140733611409584 139747510041000 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28231] ppid=28192 vsize=22549032 memory=111632 CPUtime=2246.4 cores=0-7
/proc/28195/task/28231/stat : 28231 (cosoco) R 28192 28195 27105 0 -1 4202560 24338360 0 0 0 221429 3211 0 0 20 0 9 0 437937893 23090208768 5303546 33554432000 4194304 6211092 140733611409584 139747501648296 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
[pid=28195/tid=28232] ppid=28192 vsize=22549032 memory=21214184 CPUtime=2241.31 cores=0-7
/proc/28195/task/28232/stat : 28232 (cosoco) R 28192 28195 27105 0 -1 4202560 19085894 0 0 0 221874 2257 0 0 20 0 9 0 437937893 23090208768 5303546 33554432000 4194304 6211092 140733611409584 139747493256520 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40251392 140733611418641 140733611418733 140733611418733 140733611421646 0
Current children cumulated CPU time: 18251.9 s
Current children cumulated vsize: 22549032 KiB
Current children cumulated memory: 21214184 KiB

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

[startup+2521.98 s]
# the end of solver process 28195 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18031.7 s, system=222.292 s

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

[startup+2520.8 s]
/proc/loadavg: 8.64 8.28 7.65 2/192 28421
/proc/meminfo: memFree=13172792/32770624 swapFree=66998564/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.64 8.28 7.65 2/192 28421
/proc/meminfo: memFree=22469500/32770624 swapFree=66998564/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.64 8.28 7.65 2/192 28421
/proc/meminfo: memFree=22469500/32770624 swapFree=66998564/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2521.9 s]
/proc/loadavg: 8.64 8.28 7.65 2/192 28421
/proc/meminfo: memFree=22469500/32770624 swapFree=66998564/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.98
CPU time (s): 18254
CPU user time (s): 18031.7
CPU system time (s): 222.292
CPU usage (%): 723.796
Max. virtual memory (cumulated for all children) (KiB): 22549032
Max. memory (cumulated for all children) (KiB): 21214184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18031.7
system time used= 222.292
maximum resident set size= 21214348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185385003
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= 144332
involuntary context switches= 151265


# summary of solver processes directly reported to runsolver:
#   pid: 28195
#   total CPU time (s): 18254
#   total CPU user time (s): 18031.7
#   total CPU system time (s): 222.292

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5736 second user time and 21.2666 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-16 08:47:05
IDJOB=4398447
IDBENCH=141284
IDSOLVER=2851
FILE ID=node123/4398447-1568616450
RUNJOBID= node123-1568608811-27132
PBS_JOBID= 21703433
Free space on /tmp= 58616 MiB

SOLVER NAME= cosoco 2.O 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-4398447-1568616450/watcher-4398447-1568616450 -o /tmp/evaluation-result-4398447-1568616450/solver-4398447-1568616450 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568608811-27132 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398447-1568616450.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=1287835594

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
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:        29357660 kB
MemAvailable:   31877944 kB
Buffers:           99852 kB
Cached:          2703356 kB
SwapCached:         7044 kB
Active:          1690132 kB
Inactive:        1124808 kB
Active(anon):      12632 kB
Inactive(anon):    47264 kB
Active(file):    1677500 kB
Inactive(file):  1077544 kB
Unevictable:      108244 kB
Mlocked:          108244 kB
SwapTotal:      67108860 kB
SwapFree:       66998564 kB
Dirty:            587132 kB
Writeback:         33156 kB
AnonPages:        113872 kB
Mapped:            47088 kB
Shmem:             39624 kB
Slab:             192468 kB
SReclaimable:     162152 kB
SUnreclaim:        30316 kB
KernelStack:        3344 kB
PageTables:         5300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     508168 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58612 MiB
End job on node123 at 2019-09-16 09:29:07