Trace number 4293943

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 1.12SAT (TO)535158753 2520.03 2519.81

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-05-0350_c18.xml
MD5SUM51c3d091a7e4b0716a15e9a29832b849
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark524813477
Best CPU time to get the best result obtained on this benchmark2527.64
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 constraints2177
Number of intensional constraints2488
Distribution of constraint types[{"type":"extension","count":2177},{"type":"intension","count":2488}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.16	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
0.09/0.17	c AllEqual constraint using 1 generic x=y constraints 
60.79/60.85	c best=?? lower=0 upper=568741250 
672.10/672.15	c
672.10/672.15	c This is cosoco 1.12 --  
672.10/672.15	c
672.10/672.15	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293943-1532381915.xml 
672.10/672.15	c enable optimization
672.10/672.15	c ========================================[ Problem Statistics ]===========================================
672.10/672.15	c |                                                                                                       
672.10/672.15	c |  Parse time        :        60.52 s 
672.10/672.15	c |
672.10/672.15	c |               Variables: 7232
672.10/672.15	c |            Domain Sizes: 1..135
672.10/672.15	c |
672.10/672.15	c |             Constraints: 4666
672.10/672.15	c |                   Arity: 2..4355  -- Binary: 311  -- Ternary: 2177
672.10/672.15	c | 
672.10/672.15	c |                   Types: 
672.10/672.15	c |                          (X != Y): 37
672.10/672.15	c |                          (X = Y): 37
672.10/672.15	c |                          Extension: 2177  (nb tuples: 340..6452) -- (shared: 0)
672.10/672.15	c |                          Intension: 2414
672.10/672.15	c |                          Sum: 1
672.10/672.15	c |                          
672.10/672.15	c |               Objective: Minimize Sum
672.10/672.15	
672.10/672.15	c =========================================================================================================
672.10/672.15	o 535158753
672.10/672.15	c    1 calls to solver: best=535158753 lower=0 upper=535158752 
2520.00/2519.80	
2520.00/2519.80	c *** INTERRUPTED ***
2520.00/2519.80	c restarts              : 48          
2520.00/2519.80	c conflicts             : 93551        (37 /sec)
2520.00/2519.80	c decisions             : 457428       (182 /sec)
2520.00/2519.80	c propagations          : 121163189   (48103 /sec)
2520.00/2519.80	c root propagations     : 11512       
2520.00/2519.80	c filter calls          : 14828696       (5887 /sec)
2520.00/2519.80	c useless filter calls  : 9981411        (67 %)
2520.00/2519.80	c Memory used           : 1156.76 MB
2520.00/2519.80	c CPU time              : 2518.81 s
2520.00/2519.80	
2520.00/2519.80	c nb Solutions = 1
2520.00/2519.80	s SATISFIABLE
2520.00/2519.80	c Best value found: 535158753
2520.00/2519.80	
2520.00/2519.80	
2520.00/2519.80	v <instantiation type='solution' cost='535158753'>
2520.00/2519.80	v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[156] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[157] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[158] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[159] d[15] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[160] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[161] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[162] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[163] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[164] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[165] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[166] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[167] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[168] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[169] d[16] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[170] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[171] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[172] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[173] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[174] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[175] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[176] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[177] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[178] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[179] d[17] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[180] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[181] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[182] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[183] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[184] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[185] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[186] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[187] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[188] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[189] d[18] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[190] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[191] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[192] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[193] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[194] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[195] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[196] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[197] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[198] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[199] d[19] d[1] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[200] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[201] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[202] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[203] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[204] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[205] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[206] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[207] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[208] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[209] d[20] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[210] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[211] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[212] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[213] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[214] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[215] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[216] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[30] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[31] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[32] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[33] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[30] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[31] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[32] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[33] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[180] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[181] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[182] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[183] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[184] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[185] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[186] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[187] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[188] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[189] v1[18] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[190] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[191] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[192] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[193] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[194] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[195] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[196] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[197] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[198] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[199] v1[19] v1[1] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[200] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[201] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[202] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[203] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[204] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[205] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[206] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[207] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[208] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[209] v1[20] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[210] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[211] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[212] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[213] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[214] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[215] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[216] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[156] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[157] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[158] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[159] v2[15] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[160] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[161] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[162] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[163] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[164] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[165] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[166] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[167] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[168] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[169] v2[16] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[170] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[171] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[172] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[173] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[174] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[175] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[176] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[177] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[178] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[179] v2[17] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[180] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[181] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[182] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[183] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[184] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[185] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[186] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[187] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[188] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[189] v2[18] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[190] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[191] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[192] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[193] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[194] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[195] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[196] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[197] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[198] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[199] v2[19] v2[1] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[200] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[201] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[202] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[203] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[204] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[205] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[206] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[207] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[208] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[209] v2[20] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[210] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[211] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[212] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[213] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[214] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[215] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[216] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list>
2520.00/2519.80	v <values>300 472 88 132 268 308 268 0 268 308 40 108 112 40 0 40 0 40 344 40 40 0 356 0 40 268 0 380 348 260 0 308 496 104 0 0 432 0 40 468 40 176 256 368 108 408 368 72 0 0 0 0 0 0 0 68 268 164 40 40 192 32 144 0 192 120 108 168 24 412 40 0 40 464 40 472 0 364 204 0 272 40 200 76 64 28 308 268 108 308 268 308 308 140 200 200 68 200 216 76 12 336 344 40 0 412 0 132 0 40 268 40 104 112 412 412 108 108 412 64 192 0 308 424 456 268 40 268 164 40 0 508 508 308 272 260 468 276 200 468 508 508 508 344 268 384 344 212 344 344 344 0 112 268 12 268 0 268 0 40 496 0 424 412 40 0 308 12 40 0 0 40 308 112 268 308 268 36 308 268 268 308 268 476 496 188 72 64 224 536 300 536 496 188 328 192 192 120 188 308 232 144 0 192 232 192 40 400 0 0 308 0 340 0 0 220 212 0 40 84 40 268 72 380 40 208 40 260 268 40 420 364 388 40 264 0 272 40 40 0 308 40 468 0 268 420 0 40 40 40 308 40 40 0 152 268 308 0 36 116 268 40 56 260 56 260 316 228 400 372 40 0 192 0 268 244 324 40 0 36 268 228 40 228 40 228 400 440 40 348 400 172 40 232 0 40 0 172 40 468 40 0 428 156 176 388 388 84 232 40 268 268 392 0 428 40 308 0 264 248 376 0 432 40 348 0 252 272 412 452 0 308 456 348 40 0 0 0 40 0 272 196 284 40 40 40 40 384 168 0 188 192 116 116 76 392 40 192 116 192 0 40 308 212 0 0 0 0 0 40 208 304 40 40 40 284 212 232 0 0 424 0 304 0 412 40 0 40 308 0 0 40 424 40 0 0 12 40 268 96 232 100 272 232 232 232 272 0 232 460 204 152 420 228 460 152 112 152 112 112 0 204 40 40 0 308 192 0 40 0 84 0 204 40 348 0 260 400 40 0 232 0 152 204 212 40 0 0 40 308 40 280 40 40 532 168 236 264 0 100 352 308 0 40 432 40 204 40 40 40 40 40 40 384 168 40 192 164 228 0 0 272 108 0 148 268 268 308 204 40 0 308 112 112 72 72 268 72 196 68 196 148 112 188 404 364 212 112 404 236 204 40 324 40 40 260 268 40 348 468 428 164 428 468 468 428 396 428 164 180 412 412 204 420 40 40 0 40 0 40 0 184 452 164 148 412 452 452 92 36 4 308 268 60 28 40 492 492 256 452 452 452 452 224 492 492 40 76 216 268 0 104 268 192 308 0 40 228 212 28 348 256 0 40 76 268 0 40 236 308 272 388 40 0 0 0 420 380 380 344 380 148 380 380 260 40 284 32 0 0 0 348 308 0 272 272 312 36 120 112 272 268 272 300 232 40 40 324 40 40 40 0 0 220 52 256 256 12 40 388 0 432 0 0 40 0 32 0 380 0 424 432 40 40 0 388 12 40 40 232 0 324 324 388 208 0 0 68 140 92 0 192 192 188 8 464 464 304 464 464 100 424 0 40 0 296 40 0 40 168 308 0 432 44 8 264 176 264 124 0 0 40 296 40 168 308 40 0 192 492 0 532 532 324 188 492 64 52 244 232 256 300 52 412 40 208 40 40 0 192 0 40 300 0 452 280 144 412 472 124 380 472 472 48 164 432 432 432 348 0 0 292 348 0 300 40 40 40 512 348 0 40 72 40 40 168 40 0 268 0 284 228 236 40 272 304 260 0 40 0 252 468 248 204 40 364 0 296 208 40 0 400 332 40 244 0 40 40 40 300 384 168 40 332 68 372 100 64 496 264 260 496 212 456 64 456 484 196 8 68 196 28 236 4 224 224 224 264 272 172 32 260 40 48 92 40 0 172 40 40 0 232 4 40 232 0 232 20 208 100 208 100 248 132 40 0 192 0 0 172 40 40 40 0 0 40 0 40 432 0 204 420 0 0 348 40 0 28 124 192 0 0 40 40 0 0 72 40 40 40 40 132 172 0 40 40 0 32 168 308 228 228 96 232 232 52 52 0 308 100 40 0 268 308 0 308 8 40 40 40 260 452 268 0 40 0 40 0 232 0 0 28 0 340 340 120 0 40 40 40 40 40 40 40 300 324 324 116 0 232 268 232 0 0 0 60 348 0 40 40 268 0 40 268 40 40 40 40 348 472 40 80 228 32 32 0 40 268 168 40 0 388 268 40 268 0 268 0 40 0 228 264 0 308 308 40 32 32 40 40 40 428 0 348 468 304 0 0 208 0 40 428 192 232 120 156 232 0 0 40 264 268 0 164 0 40 40 472 116 192 116 92 40 192 92 388 232 40 268 40 0 0 0 40 284 0 272 208 0 44 40 308 40 40 0 0 40 348 28 52 336 124 336 28 296 392 336 0 268 308 52 52 12 12 12 12 40 12 192 0 208 304 0 0 284 40 140 308 76 284 20 64 64 284 0 308 0 472 28 348 268 308 64 0 40 40 284 308 0 356 308 0 0 220 40 228 40 308 0 0 472 0 148 220 228 280 244 204 144 0 268 28 212 356 212 212 212 0 40 40 0 40 40 40 48 304 168 304 284 40 0 0 428 152 40 356 208 204 40 468 168 304 284 0 260 0 356 208 0 0 348 424 388 40 0 0 80 356 116 0 104 36 268 40 56 0 0 40 316 40 40 432 392 432 124 420 292 292 252 76 292 292 84 136 168 168 40 308 264 264 356 36 36 308 308 268 0 40 260 72 124 316 0 136 148 164 164 96 268 40 40 324 76 36 324 284 424 304 0 260 72 284 40 268 8 40 40 0 12 228 80 244 204 424 40 232 304 0 0 28 384 120 40 324 40 0 192 172 208 96 168 208 252 0 472 0 308 32 308 0 304 40 260 0 352 312 52 304 140 0 40 324 108 156 80 348 252 360 308 116 348 164 0 428 28 472 92 180 232 232 280 348 192 40 308 492 432 232 0 308 40 40 40 0 228 0 0 0 68 204 28 396 192 164 464 68 280 28 204 0 0 440 308 308 40 40 40 192 292 0 40 472 0 40 0 0 244 508 0 0 492 0 236 264 304 0 40 388 0 72 396 112 112 72 424 72 0 72 112 236 196 196 112 236 96 360 276 0 0 232 532 40 0 40 0 40 344 348 0 204 0 44 348 308 468 0 420 40 0 0 0 40 0 0 72 40 40 0 40 508 308 0 0 40 0 0 40 308 0 380 40 40 232 260 348 0 284 40 232 0 508 0 492 228 84 0 372 236 304 40 0 0 268 40 0 512 40 0 0 232 40 40 204 308 44 428 420 40 40 0 400 0 0 72 192 192 232 40 268 40 0 0 40 12 40 164 268 192 168 0 44 348 0 468 0 420 40 40 232 0 40 72 40 40 40 0 272 0 336 36 44 324 0 308 40 508 308 84 40 232 40 192 40 40 260 40 0 228 40 40 40 0 192 268 272 0 228 244 0 172 384 168 324 228 428 104 164 196 204 204 40 204 148 160 232 144 192 36 308 308 268 268 216 268 124 168 16 268 40 268 0 228 12 64 244 20 192 204 40 272 272 0 0 348 40 40 40 232 372 104 372 412 412 372 372 412 412 412 60 412 412 60 108 192 192 192 0 148 192 72 232 72 36 192 116 20 232 280 316 276 192 308 220 84 264 316 316 276 276 244 0 344 232 40 0 40 0 132 52 0 0 40 152 344 0 40 0 40 40 308 0 0 472 504 304 260 504 412 504 504 464 504 196 504 156 304 492 296 192 128 12 320 320 52 360 52 344 152 468 268 472 40 40 40 360 40 0 304 0 220 228 0 0 468 472 0 40 72 36 0 0 40 0 340 308 0 220 308 0 304 0 312 40 0 0 348 0 224 184 308 344 184 184 184 184 224 16 120 184 184 184 304 0 40 272 40 220 232 232 28 104 12 232 344 0 472 40 0 348 0 40 304 40 0 344 0 364 40 80 112 80 308 268 0 0 172 0 0 400 268 308 100 268 40 0 36 304 228 184 228 4 268 228 128 128 216 128 304 168 128 232 168 128 168 128 124 168 148 152 108 300 340 32 132 156 72 108 88 32 344 340 8 300 300 284 40 0 232 532 348 40 40 0 0 0 204 0 0 344 0 0 356 40 0 40 132 0 0 0 0 40 124 244 40 52 284 284 248 284 284 24 140 104 284 192 244 244 244 44 276 276 236 236 276 276 0 236 68 236 236 276 192 12 192 232 192 0 168 232 232 0 192 232 232 24 68 40 496 468 40 208 40 192 0 40 0 76 192 0 68 192 232 232 232 20 232 240 328 96 0 124 368 136 276 60 52 328 368 100 0 0 308 268 268 268 248 308 40 268 308 308 272 76 0 40 268 48 76 40 100 192 192 0 192 40 100 116 192 56 40 40 0 40 40 468 308 40 40 0 172 40 40 0 212 268 300 0 388 40 40 308 0 376 232 244 40 308 420 308 40 0 268 364 424 40 40 384 24 40 348 0 40 264 424 44 4 44 44 4 4 44 44 4 28 4 348 120 348 348 40 276 348 24 308 168 184 244 20 72 184 452 0 152 492 0 348 236 40 40 0 0 0 144 244 204 184 152 20 204 24 184 0 192 496 272 40 0 0 400 40 12 52 24 40 244 284 284 52 244 244 244 432 160 96 196 0 468 248 508 160 260 128 240 108 348 0 224 232 360 12 0 168 0 232 232 40 40 0 40 40 40 208 344 40 40 468 308 308 0 120 224 268 308 72 268 268 116 268 40 0 204 244 204 204 208 244 204 72 204 204 40 244 64 244 56 388 384 0 40 0 0 0 280 364 512 388 348 348 348 388 348 388 428 348 308 232 440 0 40 0 40 40 0 116 284 40 192 40 0 40 0 40 0 212 200 0 0 0 424 0 304 0 0 24 280 404 40 2180 2220 2688 2564 2220 2220 2488 2716 2412 2220 2180 2220 2220 2220 2180 2488 2440 2220 2448 2620 2240 2180 2384 2608 2220 2180 2180 2220 2412 2180 2180 2220 2220 2220 2452 2640 2332 2180 2180 2220 2180 2180 2180 2220 2480 2220 2452 2488 2292 2584 2180 2648 2592 2180 2632 2180 2488 2672 2488 2220 2528 2180 2220 2600 2220 2528 2220 2492 2180 2232 2180 2220 2220 2180 2412 2644 2220 2536 2264 2220 2412 2712 2272 2220 2632 2652 2180 2180 2412 2220 2180 2180 2528 2580 2220 2552 2676 2416 2444 2220 2452 2480 2180 2452 2428 2220 2180 2180 2180 2220 2248 2180 2556 2220 2180 2352 2220 2220 2448 2452 2272 2488 2180 2180 2220 2220 2220 2560 2180 2180 2504 2220 2220 2180 2220 2180 2448 2220 2220 2220 2252 2180 2220 2412 2292 2220 2220 2412 2608 2220 2180 2528 2220 2180 2516 2180 2488 2180 2232 2180 2464 2220 2528 2488 2452 2528 2180 2180 2220 2220 2220 2220 2460 2424 2488 2452 2392 2180 2180 2220 2220 2220 2220 2372 2180 2220 2180 2180 2180 2452 2488 2180 2612 2472 2220 2388 2180 2528 2484 2180 2488 2488 2220 2524 2440 2384 2220 2220 2504 2180 2180 2220 2180 2600 2180 2180 2448 2464 2488 2180 2220 2220 2220 2604 2180 2220 2220 2452 2388 2180 2528 2180 2280 2180 2220 2448 2220 2532 2484 2180 2220 2544 2568 2220 2180 2180 2580 2528 2220 2528 2528 2180 2432 2220 2220 2180 2220 2428 2180 2220 2180 2220 2488 2220 2648 2192 2220 2220 2220 2180 2652 2692 2388 2180 2180 2180 2480 2384 2488 2424 2180 2592 2412 2412 2496 2220 2220 2684 2540 2220 2220 2180 2404 2452 2524 2180 2528 2180 2448 2348 2520 2180 2220 2464 2456 2180 2412 2220 2412 2548 2488 2372 2180 2180 2220 2224 2528 2528 2424 2180 2424 2180 2464 2652 2688 2220 2180 2220 2488 2424 2180 2568 2180 2180 2692 2488 2180 2180 2288 2180 2588 2220 2412 2180 2488 2420 2232 2220 2592 2488 11 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 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 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 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 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 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 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 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 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 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 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 10 7 0 10 10 3 0 8 10 10 0 0 0 0 0 10 10 0 1 0 0 3 1 0 10 10 0 0 0 0 10 10 10 0 0 0 10 10 0 10 0 10 10 10 10 0 10 10 10 0 0 0 0 10 0 10 0 1 0 0 0 0 0 0 10 0 0 10 0 0 9 0 10 10 0 0 0 0 10 10 10 0 0 10 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 10 8 0 10 0 0 4 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 4 10 0 10 10 0 0 2 10 0 10 10 9 10 10 0 0 0 10 0 0 7 0 7 0 1 10 10 10 0 0 10 1 10 10 1 10 0 10 10 10 10 0 0 0 9 0 10 0 10 0 0 0 0 1 0 0 10 10 10 0 0 10 1 0 10 0 1 0 0 10 1 2 0 9 10 0 7 0 10 7 2 10 0 0 0 10 1 1 10 1 0 10 10 0 10 0 10 10 0 9 10 1 10 0 7 10 9 10 10 0 5 0 10 1 10 0 10 0 0 0 0 10 1 1 0 10 10 10 0 10 10 0 0 0 0 10 8 0 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 10 0 0 10 0 10 0 10 6 0 1 0 0 8 1 10 10 9 0 10 0 0 9 0 0 0 10 0 0 10 0 0 0 0 10 10 0 1 0 8 0 10 0 0 10 10 0 0 0 0 0 10 0 0 7 4 0 0 8 10 10 0 10 10 10 10 0 0 0 10 10 0 10 0 0 10 1 0 10 0 1 0 10 0 0 0 0 10 0 0 0 10 10 0 10 0 10 10 10 7 10 0 0 10 10 10 0 0 0 10 0 0 10 10 0 10 0 10 0 10 10 0 3 9 5 10 0 1 0 0 10 0 8 10 0 0 0 8 10 0 10 10 10 0 0 0 10 0 0 9 10 0 1 10 0 0 8 1 10 10 0 0 0 10 10 10 0 9 10 10 0 0 1 10 10 0 0 4 8 10 0 0 10 0 10 0 10 4 10 0 10 8 10 0 0 0 0 0 2 10 0 0 0 0 0 10 10 0 10 0 0 6 10 4 10 0 10 10 0 7 0 1 0 10 3 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 0 10 0 0 10 0 0 0 0 0 2 0 0 0 0 10 0 10 0 5 6 0 0 10 6 0 0 1 10 1 10 0 7 0 0 0 10 0 9 10 1 10 0 0 6 5 10 0 10 0 9 10 10 0 0 0 10 0 10 10 0 10 0 6 10 10 0 1 10 10 10 10 10 0 0 10 10 0 10 0 0 0 0 10 0 10 0 10 0 0 0 10 9 0 7 0 5 0 10 10 0 10 10 10 0 0 10 9 9 4 10 10 0 0 5 1 0 0 10 10 10 0 0 0 0 0 0 6 0 0 10 9 10 10 0 10 0 1 0 0 0 10 0 10 0 9 0 10 10 10 10 0 0 10 0 0 9 4 10 0 0 10 1 0 10 0 0 0 0 3 0 2 3 10 0 7 0 0 0 0 10 0 0 0 0 10 6 0 0 8 1 0 10 0 0 0 0 10 0 10 0 9 1 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 5 0 10 0 10 0 10 0 0 0 10 0 10 0 0 0 10 0 9 0 10 0 0 10 0 0 0 10 4 0 0 10 10 0 0 10 9 0 8 10 9 9 0 1 10 10 0 10 10 0 0 0 8 10 10 0 0 10 10 0 10 0 0 0 0 0 0 0 10 10 7 10 0 10 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 5 1 0 10 10 8 0 1 10 0 0 10 0 1 10 1 0 0 0 6 10 0 8 10 10 1 10 0 0 10 0 10 10 0 1 10 10 0 0 0 10 0 10 10 0 0 0 10 0 0 10 1 0 0 0 0 10 0 9 10 0 0 0 10 0 3 0 0 1 0 10 0 9 10 0 10 0 0 10 10 10 0 0 0 0 0 10 8 0 7 0 9 0 0 0 9 10 0 0 0 0 10 10 8 10 0 0 0 8 0 0 0 5 10 0 0 0 9 0 1 10 0 10 0 10 0 0 9 0 0 7 0 0 10 4 1 10 0 0 0 0 0 0 10 0 10 0 10 0 6 1 10 9 10 10 0 0 10 0 10 10 10 0 0 10 0 10 10 0 0 0 0 1 0 0 0 0 10 3 10 4 10 1 10 10 0 0 10 2 0 0 10 0 1 0 1 1 0 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 9 10 0 0 10 10 10 0 9 10 0 0 10 1 10 10 0 10 0 0 0 8 1 5 10 1 10 0 10 10 0 10 10 1 10 9 10 0 0 10 2 4 10 1 0 10 0 10 10 0 6 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 7 0 0 0 0 0 0 10 1 0 0 0 10 0 0 10 0 10 0 10 0 0 0 0 10 0 0 10 0 0 0 2 0 0 0 0 0 2 10 2 10 10 1 0 10 0 0 0 0 10 1 0 0 4 0 0 0 0 10 1 0 10 0 10 0 0 0 0 3 9 0 10 0 10 9 0 0 10 10 5 0 0 10 0 0 0 0 10 0 0 0 0 10 5 0 10 2 10 10 0 10 0 0 7 0 10 10 10 0 4 10 1 0 0 10 0 10 0 0 10 6 0 10 0 3 0 10 10 0 7 0 0 10 0 0 0 0 10 6 0 0 0 10 0 0 0 0 0 0 0 10 10 6 0 10 0 0 10 10 0 9 10 10 0 10 1 10 10 10 0 0 0 10 0 0 0 0 0 10 10 0 10 0 10 10 10 0 0 1 10 0 0 0 0 0 4 0 0 10 0 0 10 0 10 0 0 1 0 0 0 10 10 10 10 0 3 0 10 0 1 0 0 0 0 10 10 10 10 7 1 9 0 6 0 10 10 10 8 0 7 0 0 10 0 0 10 8 5 0 8 9 0 0 10 0 10 5 0 1 0 0 10 0 9 10 0 0 10 10 1 0 10 0 7 10 10 0 10 10 1 10 10 0 0 10 0 0 9 0 3 10 0 0 10 1 10 10 10 0 10 10 0 0 0 10 0 0 10 0 10 0 0 0 0 0 10 0 10 0 10 9 0 10 0 1 2 10 9 1 0 10 0 10 10 9 6 0 0 10 0 10 0 4 10 0 9 0 10 0 5 1 0 0 4 10 10 0 1 0 10 0 10 0 1 10 10 0 0 10 10 10 0 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 0 0 4 0 0 0 0 0 10 0 6 10 10 4 0 1 1 0 0 4 7 7 0 0 0 0 10 10 10 0 0 0 0 2 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 1 0 0 0 0 0 1 0 10 4 10 0 0 0 10 1 10 0 0 0 0 10 10 10 10 0 10 10 10 4 0 0 0 10 0 0 1 10 10 0 0 0 10 1 10 0 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 10 9 4 10 0 0 0 10 0 0 0 0 0 10 0 0 6 0 8 0 1 10 0 0 0 10 10 0 10 1 0 0 0 8 10 0 10 10 10 1 0 0 0 10 0 10 0 10 10 10 10 0 10 0 10 0 0 0 10 10 0 0 10 0 10 0 5 0 10 1 0 1 10 0 0 10 0 0 0 0 1 10 10 0 10 0 10 0 10 7 0 1 1 0 0 10 0 0 0 10 0 0 0 10 0 10 0 0 10 1 10 10 10 1 0 10 0 6 10 10 0 0 10 0 0 10 10 0 0 10 9 9 0 0 10 10 0 0 0 0 0 10 10 10 9 0 0 10 0 0 10 10 0 0 0 1 10 10 0 0 0 0 0 10 0 4 0 0 0 0 1 1 9 10 10 10 10 0 0 0 0 0 10 0 10 5 0 0 10 0 9 10 1 0 0 0 1 0 0 4 0 0 10 9 0 1 0 10 0 0 0 0 5 10 10 0 0 7 0 0 10 0 10 10 0 0 0 1 0 3 10 2 10 0 0 10 10 0 0 10 10 0 0 10 0 10 0 10 10 0 10 0 1 0 5 0 10 0 0 1 10 10 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 6 10 10 1 10 10 10 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 10 10 0 0 0 7 10 10 0 5 0 4 0 10 10 10 10 4 10 0 7 0 0 7 10 10 0 0 0 10 10 9 0 10 0 0 10 10 10 0 8 2 10 3 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 10 10 1 0 10 0 10 9 0 10 0 10 0 5 0 0 10 10 0 10 0 10 9 0 0 0 10 4 0 10 0 10 9 0 10 0 0 0 0 10 0 0 8 10 0 10 10 8 0 0 0 3 0 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 10 0 0 10 4 10 0 0 0 0 10 10 0 9 0 0 0 10 10 10 10 10 10 10 10 0 2 0 0 10 10 0 0 1 6 5 10 0 0 0 0 0 6 10 0 0 9 0 10 0 0 0 0 0 0 10 9 0 10 0 0 0 10 10 10 0 0 0 10 7 10 10 0 0 10 0 0 10 10 10 1 10 0 0 10 0 0 0 10 0 0 0 0 1 3 0 0 10 1 9 0 0 10 7 0 10 10 0 10 </values>
2520.00/2519.80	v </instantiation>
2520.00/2519.80

Verifier Data 

OK	535158753

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293943-1532381915/watcher-4293943-1532381915 -o /tmp/evaluation-result-4293943-1532381915/solver-4293943-1532381915 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14426 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293943-1532381915.xml 

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

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


[startup+0.100167 s]*
/proc/loadavg: 2.08 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11489992/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=53476 memory=29712 CPUtime=0.09 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 7600 0 0 0 9 0 0 0 20 0 1 0 55754686 54759424 7428 33554432000 4194304 6142532 140737382816832 140737382813464 139922922224613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 13369 7428 803 476 0 6691 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53476 KiB
Current children cumulated memory: 29712 KiB

[startup+0.209642 s]*
/proc/loadavg: 2.08 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11472508/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=69780 memory=46076 CPUtime=0.21 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 11681 0 0 0 20 1 0 0 20 0 1 0 55754686 71454720 11519 33554432000 4194304 6142532 140737382816832 140737382813464 139922922224613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 17445 11519 807 476 0 10767 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69780 KiB
Current children cumulated memory: 46076 KiB

[startup+0.309895 s]*
/proc/loadavg: 2.08 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11449508/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=93732 memory=69836 CPUtime=0.31 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 17669 0 0 0 29 2 0 0 20 0 1 0 55754686 95981568 17459 33554432000 4194304 6142532 140737382816832 140737382813464 139922922224613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 23433 17459 807 476 0 16755 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 93732 KiB
Current children cumulated memory: 69836 KiB

[startup+0.700364 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11401892/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=184840 memory=161180 CPUtime=0.69 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 40448 0 0 0 64 5 0 0 20 0 1 0 55754686 189276160 40229 33554432000 4194304 6142532 140737382816832 140737382813464 139922922224613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 46210 40295 807 476 0 39532 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 184840 KiB
Current children cumulated memory: 161180 KiB

[startup+1.50029 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11317448/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=228244 memory=204220 CPUtime=1.49 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 51277 0 0 0 143 6 0 0 20 0 1 0 55754686 233721856 51055 33554432000 4194304 6142532 140737382816832 140737382813480 5802398 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 57061 51055 812 476 0 50383 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 228244 KiB
Current children cumulated memory: 204220 KiB

[startup+3.10937 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11299220/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=243564 memory=218948 CPUtime=3.1 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 55835 0 0 0 303 7 0 0 20 0 1 0 55754686 249409536 54737 33554432000 4194304 6142532 140737382816832 140737382813480 5483403 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 60891 54737 812 476 0 54213 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 243564 KiB
Current children cumulated memory: 218948 KiB

[startup+6.30027 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11269964/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=273932 memory=248016 CPUtime=6.29 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 64586 0 0 0 621 8 0 0 20 0 1 0 55754686 280506368 62004 33554432000 4194304 6142532 140737382816832 140737382813480 5802563 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 68483 62004 812 476 0 61805 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 273932 KiB
Current children cumulated memory: 248016 KiB

[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11215520/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=335036 memory=306292 CPUtime=12.69 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 81106 0 0 0 1258 11 0 0 20 0 1 0 55754686 343076864 76573 33554432000 4194304 6142532 140737382816832 140737382813480 5798122 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 83759 76573 812 476 0 77081 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 335036 KiB
Current children cumulated memory: 306292 KiB

[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11097176/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=457000 memory=422972 CPUtime=25.49 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 112967 0 0 0 2533 16 0 0 20 0 1 0 55754686 467968000 105743 33554432000 4194304 6142532 140737382816832 140737382813480 5444978 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 114250 105743 812 476 0 107572 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 457000 KiB
Current children cumulated memory: 422972 KiB

[startup+51.1093 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 15583
/proc/meminfo: memFree=10859096/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=701708 memory=656720 CPUtime=51.1 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 175439 0 0 0 5085 25 0 0 20 0 1 0 55754686 718548992 164180 33554432000 4194304 6142532 140737382816832 140737382813480 5800110 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 175427 164180 812 476 0 168749 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 701708 KiB
Current children cumulated memory: 656720 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 15591
/proc/meminfo: memFree=10584168/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=979684 memory=929616 CPUtime=102.29 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 448591 0 0 0 10187 42 0 0 20 0 1 0 55754686 1003196416 232404 33554432000 4194304 6142532 140737382816832 140737382813464 139922923145137 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 244921 232404 860 476 0 238243 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 979684 KiB
Current children cumulated memory: 929616 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 15592
/proc/meminfo: memFree=10567904/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=996000 memory=945552 CPUtime=162.31 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 577270 0 0 0 16181 50 0 0 20 0 1 0 55754686 1019904000 236388 33554432000 4194304 6142532 140737382816832 140737382813544 139922923145123 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 249000 236388 860 476 0 242322 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 996000 KiB
Current children cumulated memory: 945552 KiB

[startup+222.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 15657
/proc/meminfo: memFree=11469716/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1013208 memory=962408 CPUtime=222.3 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 820103 0 0 0 22169 61 0 0 20 0 1 0 55754686 1037524992 240602 33554432000 4194304 6142532 140737382816832 140737382813544 5051491 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 253302 240602 860 476 0 246624 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 1013208 KiB
Current children cumulated memory: 962408 KiB

[startup+282.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/187 15782
/proc/meminfo: memFree=11343076/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1024628 memory=973748 CPUtime=282.29 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 936060 0 0 0 28162 67 0 0 20 0 1 0 55754686 1049219072 243437 33554432000 4194304 6142532 140737382816832 140737382813544 4991024 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 256157 243437 860 476 0 249479 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 1024628 KiB
Current children cumulated memory: 973748 KiB

[startup+342.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 15783
/proc/meminfo: memFree=11301728/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1066168 memory=1014956 CPUtime=342.3 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1127631 0 0 0 34152 78 0 0 20 0 1 0 55754686 1091756032 253739 33554432000 4194304 6142532 140737382816832 140737382813464 5363578 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 266542 253739 860 476 0 259864 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 1066168 KiB
Current children cumulated memory: 1014956 KiB

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 15784
/proc/meminfo: memFree=11268848/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1097660 memory=1048444 CPUtime=402.3 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1236998 0 0 0 40145 85 0 0 20 0 1 0 55754686 1124003840 262111 33554432000 4194304 6142532 140737382816832 140737382813464 5366776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 274415 262111 860 476 0 267737 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 1097660 KiB
Current children cumulated memory: 1048444 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 15785
/proc/meminfo: memFree=11225868/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1136580 memory=1090332 CPUtime=462.29 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1432780 0 0 0 46132 97 0 0 20 0 1 0 55754686 1163857920 272583 33554432000 4194304 6142532 140737382816832 140737382813464 5146677 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 284145 272583 860 476 0 277467 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 1136580 KiB
Current children cumulated memory: 1090332 KiB


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

/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 1722.4 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 15866
/proc/meminfo: memFree=11154464/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=1782.41 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1793810 0 0 0 178124 117 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 139922923148608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15867
/proc/meminfo: memFree=11154456/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=1842.43 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1795383 0 0 0 184125 118 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 139922923150759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15877
/proc/meminfo: memFree=11153648/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=1902.43 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1797288 0 0 0 190125 118 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5366776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 1902.43 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+1962.3 s]
/proc/loadavg: 2.47 2.16 2.09 3/188 15878
/proc/meminfo: memFree=11154012/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=1962.44 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1798953 0 0 0 196126 118 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5371755 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+2022.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/188 15879
/proc/meminfo: memFree=11153840/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2022.44 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1803290 0 0 0 202126 118 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 139922923145140 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2022.44 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+2082.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/188 15880
/proc/meminfo: memFree=11154468/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2082.46 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1804608 0 0 0 208127 119 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5366642 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2082.46 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+2142.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/188 15881
/proc/meminfo: memFree=11154944/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2142.46 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1805871 0 0 0 214127 119 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5367146 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2142.46 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/187 15882
/proc/meminfo: memFree=11154964/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2202.47 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1807115 0 0 0 220128 119 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5363668 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2202.47 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+2262.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/187 15883
/proc/meminfo: memFree=11154864/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2262.47 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1811293 0 0 0 226128 119 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5371763 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2262.47 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 15884
/proc/meminfo: memFree=11155228/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2322.48 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1815071 0 0 0 232129 119 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5371674 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2322.48 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 15885
/proc/meminfo: memFree=11155220/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2382.5 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1816437 0 0 0 238130 120 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5372484 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 15886
/proc/meminfo: memFree=11155192/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2442.5 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1817735 0 0 0 244130 120 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5361236 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2442.5 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 15895
/proc/meminfo: memFree=11154612/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2502.5 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1822010 0 0 0 250130 120 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2502.5 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 15895
/proc/meminfo: memFree=11154860/32770624 swapFree=67108860/67108860
[pid=15582] ppid=15579 vsize=1184520 memory=1160564 CPUtime=2520 cores=1,3,5,7
/proc/15582/stat : 15582 (cosoco) R 15579 15582 14394 0 -1 4202496 1825057 0 0 0 251880 120 0 0 20 0 1 0 55754686 1212948480 290141 33554432000 4194304 6142532 140737382816832 140737382813656 5360440 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 25718784 140737382818950 140737382819080 140737382819080 140737382821838 0
/proc/15582/statm: 296130 290141 862 476 0 289452 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 1184520 KiB
Current children cumulated memory: 1160564 KiB

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

[startup+2519.81 s]
# the end of solver process 15582 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.81 s, system=1.21514 s

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

Child status: 1
Real time (s): 2519.81
CPU time (s): 2520.03
CPU user time (s): 2518.81
CPU system time (s): 1.21514
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 1184520
Max. memory (cumulated for all children) (KiB): 1160564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.81
system time used= 1.21514
maximum resident set size= 1160624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1825119
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= 174
involuntary context switches= 1119


# summary of solver processes directly reported to runsolver:
#   pid: 15582
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2518.81
#   total CPU system time (s): 1.21514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17722 second user time and 17.4108 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-23 23:38:35
IDJOB=4293943
IDBENCH=141270
IDSOLVER=2752
FILE ID=node104/4293943-1532381915
RUNJOBID= node104-1532371797-14426
PBS_JOBID= 21021574
Free space on /tmp= 48720 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-05-0350_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293943-1532381915/watcher-4293943-1532381915 -o /tmp/evaluation-result-4293943-1532381915/solver-4293943-1532381915 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14426 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293943-1532381915.xml

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

MD5SUM BENCH= 51c3d091a7e4b0716a15e9a29832b849
RANDOM SEED=1332425162

node104.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.11
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.11
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.11
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.11
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:        11513876 kB
MemAvailable:   31123356 kB
Buffers:          268552 kB
Cached:         19303564 kB
SwapCached:            0 kB
Active:          3187420 kB
Inactive:       17254112 kB
Active(anon):     871808 kB
Inactive(anon):    17080 kB
Active(file):    2315612 kB
Inactive(file): 17237032 kB
Unevictable:        7180 kB
Mlocked:            7180 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            150940 kB
Writeback:             0 kB
AnonPages:        841720 kB
Mapped:            39652 kB
Shmem:             17036 kB
Slab:             512896 kB
SReclaimable:     485296 kB
SUnreclaim:        27600 kB
KernelStack:        3360 kB
PageTables:         6456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1160960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    745472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48808 MiB
End job on node104 at 2018-07-24 00:20:35