Trace number 4293939

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)377783380 2520.06 2519.81

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-17-0300_c18.xml
MD5SUM89893934ad5b9c06ca26522ad9c878f8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark130971634
Best CPU time to get the best result obtained on this benchmark82.1309
Satisfiable
(Un)Satisfiability was proved
Number of variables6028
Number of constraints3865
Number of domains51
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":2107},{"size":11,"count":1809},{"size":12,"count":1},{"size":31,"count":40},{"size":33,"count":87},{"size":39,"count":25},{"size":59,"count":10},{"size":64,"count":57},{"size":66,"count":15},{"size":69,"count":34},{"size":70,"count":43},{"size":72,"count":1},{"size":73,"count":50},{"size":74,"count":6},{"size":76,"count":21},{"size":79,"count":26},{"size":82,"count":6},{"size":97,"count":23},{"size":99,"count":8},{"size":101,"count":32},{"size":103,"count":72},{"size":105,"count":85},{"size":107,"count":132},{"size":109,"count":12},{"size":110,"count":53},{"size":113,"count":7},{"size":115,"count":3},{"size":119,"count":40},{"size":130,"count":5},{"size":132,"count":2},{"size":134,"count":32},{"size":136,"count":22},{"size":138,"count":99},{"size":140,"count":66},{"size":143,"count":27},{"size":144,"count":90},{"size":147,"count":132},{"size":151,"count":746}]
Minimum variable degree2
Maximum variable degree1810
Distribution of variable degrees[{"degree":2,"count":5428},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":12},{"degree":6,"count":14},{"degree":7,"count":31},{"degree":8,"count":28},{"degree":9,"count":30},{"degree":10,"count":32},{"degree":11,"count":42},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":59},{"degree":15,"count":85},{"degree":16,"count":118},{"degree":17,"count":63},{"degree":1810,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":247},{"arity":3,"count":1809},{"arity":6,"count":1809}]
Number of extensional constraints1809
Number of intensional constraints2056
Distribution of constraint types[{"type":"extension","count":1809},{"type":"intension","count":2056}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.15	c AllEqual constraint using 1 generic x=y constraints 
41.69/41.76	c best=?? lower=0 upper=392715810 
372.73/372.71	c
372.73/372.71	c This is cosoco 1.12 --  
372.73/372.71	c
372.73/372.71	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293939-1532379601.xml 
372.73/372.71	c enable optimization
372.73/372.71	c ========================================[ Problem Statistics ]===========================================
372.73/372.71	c |                                                                                                       
372.73/372.71	c |  Parse time        :        41.54 s 
372.73/372.71	c |
372.73/372.71	c |               Variables: 6028
372.73/372.71	c |            Domain Sizes: 1..151
372.73/372.71	c |
372.73/372.71	c |             Constraints: 3866
372.73/372.71	c |                   Arity: 2..3619  -- Binary: 247  -- Ternary: 1809
372.73/372.71	c | 
372.73/372.71	c |                   Types: 
372.73/372.71	c |                          (X != Y): 22
372.73/372.71	c |                          (X = Y): 26
372.73/372.71	c |                          Extension: 1809  (nb tuples: 300..7220) -- (shared: 0)
372.73/372.71	c |                          Intension: 2008
372.73/372.71	c |                          Sum: 1
372.73/372.71	c |                          
372.73/372.71	c |               Objective: Minimize Sum
372.73/372.71	
372.73/372.71	c =========================================================================================================
372.73/372.71	o 377873880
372.73/372.71	c    1 calls to solver: best=377873880 lower=0 upper=377873879 
377.83/377.81	o 377783380
2520.05/2519.80	
2520.05/2519.80	c *** INTERRUPTED ***
2520.05/2519.80	c restarts              : 49          
2520.05/2519.80	c conflicts             : 107142       (43 /sec)
2520.05/2519.80	c decisions             : 530432       (211 /sec)
2520.05/2519.80	c propagations          : 150330502   (59676 /sec)
2520.05/2519.80	c root propagations     : 15112       
2520.05/2519.80	c filter calls          : 11343557       (4503 /sec)
2520.05/2519.80	c useless filter calls  : 6702287        (59 %)
2520.05/2519.80	c Memory used           : 823.90 MB
2520.05/2519.80	c CPU time              : 2519.12 s
2520.05/2519.80	
2520.05/2519.80	c nb Solutions = 2
2520.05/2519.80	s SATISFIABLE
2520.05/2519.80	c Best value found: 377783380
2520.05/2519.80	
2520.05/2519.80	
2520.05/2519.80	v <instantiation type='solution' cost='377783380'>
2520.05/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[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[18] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[19] d[1] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[20] d[210] d[211] d[212] d[213] d[214] d[215] d[216] 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[30] f[31] f[32] f[33] 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[30] p[31] p[32] p[33] 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[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[18] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[19] v1[1] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[20] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] 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[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[18] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[19] v2[1] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] 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.05/2519.80	v <values>0 364 364 404 404 296 16 0 0 0 0 84 0 8 40 36 84 36 64 208 332 332 44 32 112 316 332 244 80 268 248 120 244 380 272 52 52 284 120 256 40 4 4 0 80 40 128 296 280 136 440 136 456 308 380 112 56 340 40 40 40 424 40 40 152 80 256 112 116 412 412 116 160 340 76 4 76 340 40 76 220 48 336 296 44 40 256 44 120 84 44 340 40 0 40 40 40 296 56 380 124 40 12 572 16 300 496 72 24 116 64 572 36 456 296 260 0 0 0 40 40 256 236 296 24 40 456 16 56 16 424 40 440 276 0 164 0 40 40 4 36 0 4 296 16 36 32 40 260 0 0 0 0 40 40 112 40 40 0 440 260 0 40 0 84 220 72 296 0 0 140 284 52 184 152 368 328 412 420 128 124 424 384 384 424 424 368 384 0 280 252 16 40 56 56 240 280 16 40 380 440 124 0 0 0 0 256 200 56 0 260 68 280 36 300 260 0 4 40 260 40 0 0 260 80 216 44 256 224 84 92 52 216 0 136 180 4 48 8 48 408 40 220 0 40 40 0 40 0 0 336 212 296 296 320 300 100 36 172 296 336 296 16 424 424 424 16 464 464 308 108 340 40 80 216 268 56 296 40 0 40 40 40 0 0 0 8 40 40 32 304 328 0 368 180 84 124 384 148 0 80 116 116 116 156 416 376 376 284 248 40 244 208 12 152 12 12 284 52 392 96 40 392 88 392 392 40 164 204 0 572 336 0 0 40 300 256 344 260 296 0 268 300 24 36 40 40 412 0 112 296 4 76 236 336 236 148 180 220 40 0 0 0 40 0 168 36 4 284 260 300 56 16 56 516 16 244 84 0 168 40 260 300 0 4 40 236 16 44 16 0 300 12 28 268 268 260 0 0 300 40 0 320 320 296 52 280 296 40 40 324 164 296 40 16 336 40 300 164 520 336 340 72 256 256 0 40 0 272 84 84 68 40 0 96 136 136 4 260 260 228 260 260 180 40 136 440 184 440 440 172 164 124 0 204 0 0 0 40 0 40 40 40 0 0 40 196 0 40 40 440 480 88 344 384 220 88 300 344 88 344 368 256 296 296 132 200 296 40 256 260 0 0 0 40 40 40 0 260 400 204 336 40 40 164 172 36 320 36 296 16 40 532 40 0 0 320 336 264 0 336 240 100 4 168 196 52 136 4 40 260 300 40 260 4 300 340 284 340 40 300 532 0 480 296 68 56 204 412 240 16 16 16 56 204 40 0 196 0 84 0 0 40 40 220 36 44 244 236 132 56 0 296 256 40 60 296 340 260 4 4 300 168 260 284 36 228 284 340 340 340 300 300 300 296 0 40 0 40 116 0 124 40 296 256 528 164 40 40 40 44 528 296 124 0 104 172 216 92 164 256 300 40 296 220 228 188 256 40 0 260 136 40 24 24 256 256 352 72 312 204 92 164 136 176 108 164 124 216 68 40 212 84 0 192 24 452 244 40 0 0 260 40 120 4 44 0 84 380 532 492 492 0 40 40 172 0 340 300 36 152 260 300 260 96 124 72 84 4 36 40 504 180 520 496 0 0 0 256 256 40 40 40 0 296 296 132 280 0 24 172 64 96 284 0 280 300 40 300 40 296 0 40 196 0 336 0 568 40 260 40 40 280 336 296 0 40 536 296 12 336 336 236 0 0 220 220 0 0 0 40 412 40 0 44 124 40 256 40 32 0 0 28 324 60 256 28 536 536 372 40 16 0 164 568 40 264 40 224 256 60 304 0 296 0 212 136 84 4 84 168 428 88 104 256 40 0 336 268 92 136 40 240 256 0 0 0 40 412 40 4 40 0 280 240 200 256 236 0 40 0 296 0 0 40 256 40 0 296 0 260 24 296 0 0 84 260 260 0 336 40 236 40 172 16 424 556 0 72 40 40 264 0 0 132 40 0 0 0 0 40 40 172 412 40 400 40 0 32 0 72 16 224 40 180 336 396 496 164 412 40 300 0 0 72 124 456 320 508 116 296 336 452 452 0 40 40 0 284 0 16 16 48 368 384 328 20 44 0 220 344 88 48 384 88 312 344 40 40 56 0 0 0 40 340 312 40 164 40 40 40 40 452 0 0 40 244 244 260 248 96 260 40 0 36 260 220 0 220 76 236 16 320 40 456 16 280 40 320 324 36 280 504 24 0 40 0 0 40 40 464 0 432 308 40 40 40 40 40 56 0 0 36 40 132 112 40 260 300 0 0 40 40 36 260 0 40 0 0 40 464 0 432 480 40 40 40 0 40 0 112 200 336 172 116 336 40 0 0 44 296 508 56 336 0 340 16 336 72 336 84 136 96 96 96 188 92 204 80 52 204 92 256 52 204 244 80 412 412 412 72 372 288 256 372 168 412 116 372 412 372 324 40 340 44 4 40 340 4 80 260 204 84 80 124 84 36 260 40 204 36 0 236 336 40 336 80 156 336 376 84 0 260 256 16 296 24 224 40 340 40 4 0 300 32 4 80 268 256 348 264 352 264 268 264 308 8 32 8 44 204 148 164 80 164 200 96 164 160 136 132 0 16 0 0 0 56 40 384 40 16 44 40 0 0 0 40 0 40 0 24 0 40 216 0 0 40 40 40 0 296 40 0 0 216 256 0 0 0 72 40 40 40 380 16 184 480 40 0 72 520 424 56 40 340 244 244 336 40 572 0 0 164 480 48 520 520 144 236 224 464 480 480 480 480 480 520 480 244 24 300 0 40 216 0 256 124 40 220 300 0 256 296 404 40 40 40 40 40 384 0 0 0 124 296 0 0 124 364 128 40 260 340 52 80 100 28 364 216 120 380 280 0 0 16 188 24 16 40 284 24 0 284 24 300 40 320 36 36 84 0 196 36 256 52 176 0 40 296 40 0 404 40 464 300 480 232 40 16 40 40 0 156 40 260 76 0 236 76 40 96 220 96 208 260 24 360 80 32 116 376 80 80 80 344 36 320 76 28 4 4 40 172 40 320 40 112 336 196 40 244 336 336 172 68 212 84 84 84 124 84 260 84 84 300 84 84 40 472 472 472 48 300 432 472 176 136 432 432 308 432 472 432 160 40 0 492 272 300 40 384 260 296 0 380 136 532 528 92 304 220 168 164 188 204 40 136 32 16 324 16 412 240 280 108 40 256 124 344 0 0 0 0 40 0 40 0 336 176 260 40 0 40 0 40 40 452 0 0 120 148 444 444 444 444 404 444 404 444 108 80 444 404 404 340 0 72 40 0 164 352 208 124 0 536 164 0 520 296 336 296 40 124 336 336 296 336 40 260 40 40 40 40 124 40 40 0 452 0 40 92 296 196 256 136 432 296 236 132 40 36 0 204 80 204 204 136 176 240 452 240 240 280 0 244 280 424 120 16 16 16 280 160 40 4 240 0 172 136 272 200 220 40 296 384 516 220 492 492 136 152 272 492 532 232 124 296 0 0 0 156 0 40 412 40 0 300 164 260 136 16 528 324 16 148 320 0 284 148 36 24 464 192 24 220 104 328 108 68 480 240 256 256 528 4 296 172 40 280 40 256 40 0 296 528 240 40 168 4 0 0 256 40 256 132 228 336 256 508 0 0 40 40 40 40 12 0 472 40 508 0 0 40 204 0 468 40 336 104 72 364 432 216 344 260 0 40 0 0 148 40 248 164 468 248 212 468 0 220 24 20 220 80 244 260 96 260 312 220 204 260 148 284 4 44 76 40 40 340 80 328 256 488 76 296 168 280 256 0 0 40 40 112 192 128 424 0 16 168 148 148 12 188 312 16 0 56 16 164 260 0 40 124 172 112 448 268 164 136 176 0 0 108 260 40 84 188 40 40 40 340 216 4 40 80 40 300 340 192 188 16 24 0 0 424 40 300 16 244 192 16 0 40 0 40 56 252 280 56 108 448 404 472 300 464 432 40 300 296 296 40 416 40 40 0 260 0 40 260 0 0 0 324 296 0 260 284 40 336 40 40 204 40 40 40 0 40 40 296 300 0 40 40 0 140 40 56 0 40 40 372 0 0 0 40 380 296 336 352 0 0 40 40 48 320 48 0 0 40 84 336 364 28 76 364 364 388 84 40 2120 2456 2492 2404 2416 2592 2120 2532 2380 2456 2500 2416 2120 2120 2576 2160 2176 2160 2416 2120 2160 2404 2460 2612 2544 2176 2160 2176 2420 2376 2464 2160 2456 2176 2456 2584 2460 2120 2152 2504 2536 2172 2552 2120 2460 2160 2160 2456 2568 2160 2420 2176 2420 2420 2120 2416 2428 2160 2136 2416 2120 2120 2416 2244 2420 2600 2136 2284 2160 2120 2600 2504 2416 2160 2120 2456 2160 2504 2456 2420 2420 2460 2160 2176 2160 2160 2380 2416 2120 2160 2420 2460 2120 2160 2160 2160 2284 2160 2364 2380 2160 2420 2160 2472 2324 2284 2244 2136 2120 2540 2136 2120 2652 2120 2284 2420 2284 2416 2640 2160 2416 2136 2120 2324 2416 2460 2160 2120 2120 2456 2160 2120 2120 2420 2380 2420 2160 2160 2160 2132 2656 2120 2416 2416 2120 2388 2120 2244 2588 2160 2456 2420 2416 2160 2160 2456 2416 2456 2120 2160 2160 2380 2136 2456 2416 2500 2120 2380 2120 2120 2160 2176 2544 2692 2120 2160 2456 2364 2160 2160 2456 2160 2160 2120 2160 2136 2120 2192 2532 2456 2160 2120 2176 2120 2160 2416 2120 2284 2456 2460 2688 2420 2616 2456 2456 2192 2572 2160 2120 2120 2380 2160 2120 2120 2160 2356 2160 2160 2160 2160 2284 2496 2376 2160 2460 2152 2256 2120 2160 2120 2120 2120 2640 2420 2160 2160 2500 2136 2416 2120 2380 2536 2456 2456 2296 2244 2592 2160 2324 2176 2160 2120 2564 2120 2120 2648 2120 2120 2416 2136 2324 2176 2416 2160 2652 2160 2608 2420 2136 2136 2552 2176 2416 2416 2120 2120 2160 2500 2628 2380 2460 2416 2544 2432 2120 2284 2460 2136 2396 2120 2176 2120 2120 2120 2120 2120 2456 2524 2160 2120 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 0 10 0 0 10 10 10 10 0 10 10 10 10 10 0 0 0 10 10 10 0 10 0 0 10 10 10 0 0 10 0 0 0 0 0 0 10 10 10 10 10 10 0 10 0 10 10 0 0 0 0 10 10 10 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 10 0 10 0 0 10 10 10 10 0 0 10 0 10 10 0 0 0 0 10 10 0 0 0 10 0 0 10 10 10 10 0 10 10 10 10 0 10 10 0 0 0 0 0 10 10 10 0 10 10 10 0 0 10 0 10 10 0 10 0 10 10 0 0 10 10 0 10 10 0 10 10 10 10 10 10 0 0 10 0 10 10 10 10 0 0 0 10 10 0 10 10 0 0 0 10 0 0 0 0 0 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 0 0 0 10 10 10 0 10 10 10 10 10 10 0 0 0 0 0 10 10 0 0 10 10 10 10 10 0 0 10 0 10 0 10 10 0 10 10 10 0 0 0 0 4 0 10 10 10 10 0 10 10 0 0 10 0 10 10 0 0 10 10 0 10 10 0 10 0 0 10 10 0 10 0 0 10 10 10 10 0 10 10 10 10 0 0 10 10 10 10 10 0 0 0 10 10 0 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 10 10 10 10 0 0 10 10 0 10 10 0 0 0 0 0 10 10 10 10 10 10 10 0 10 10 10 0 10 0 0 10 0 10 10 0 10 10 10 0 0 0 0 10 0 10 0 10 10 10 10 0 10 0 10 0 0 10 0 10 0 10 10 10 0 0 10 10 10 0 10 10 10 10 0 10 10 10 0 0 0 0 10 0 10 10 10 10 0 10 10 10 10 0 0 10 10 0 10 10 10 10 0 0 10 0 10 0 0 0 10 10 0 10 0 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 10 0 0 10 10 0 10 0 0 0 0 0 0 10 10 10 10 0 10 0 10 10 10 0 0 0 10 10 10 0 10 0 10 0 0 0 0 10 0 10 10 10 10 10 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 10 0 0 0 0 10 10 0 10 10 0 0 10 0 10 0 10 0 10 10 10 10 0 10 0 10 10 0 10 10 0 10 0 0 0 10 10 10 10 0 0 0 0 10 10 10 0 0 10 10 0 0 10 0 0 0 10 0 0 0 10 0 10 0 10 10 10 0 0 0 10 0 0 10 0 0 0 10 10 0 0 10 0 0 10 0 10 10 10 0 10 10 10 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 10 0 0 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 0 10 10 0 0 0 0 0 10 0 10 0 0 0 10 10 10 0 0 10 10 0 0 0 10 0 10 10 10 0 10 0 0 10 10 10 10 0 10 10 10 0 10 10 0 10 10 10 10 10 0 0 10 10 0 10 10 10 10 0 10 10 0 10 10 10 0 10 10 0 10 10 10 10 10 10 0 0 10 0 10 10 10 0 10 0 10 0 0 10 10 10 10 10 10 0 0 0 0 10 0 0 10 0 10 0 0 10 10 10 0 10 0 10 0 10 10 10 10 0 10 10 10 10 10 0 10 0 0 10 10 10 0 0 10 10 0 0 10 0 0 0 0 10 10 10 0 10 0 10 10 10 10 10 0 0 10 10 0 10 10 0 0 0 0 10 0 10 0 10 10 10 10 0 10 10 10 0 10 10 0 10 10 0 0 0 0 0 10 0 10 0 10 10 0 10 0 0 0 10 0 10 10 10 0 10 0 0 0 10 0 10 0 0 10 10 10 10 10 10 0 0 10 10 0 0 0 10 0 10 0 10 10 0 10 10 10 0 10 10 10 0 0 0 10 0 10 10 10 10 0 10 10 0 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 10 0 10 10 0 10 0 10 10 10 10 10 0 10 0 0 0 0 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 0 0 10 0 0 0 10 10 0 10 10 10 10 0 10 0 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 0 0 10 0 10 0 0 0 0 0 10 0 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 0 0 10 10 10 0 10 10 0 0 0 10 10 0 10 0 10 10 10 10 10 0 10 0 0 0 10 0 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 0 0 10 0 10 0 10 0 10 0 0 0 0 10 10 0 10 0 10 10 10 10 10 0 0 0 10 10 0 0 10 0 10 0 10 10 0 10 10 0 0 10 0 10 10 10 10 0 10 10 0 0 0 10 0 0 0 10 0 10 10 10 0 0 0 0 0 10 10 0 10 0 0 10 10 10 10 0 0 0 10 0 0 10 0 0 10 10 0 10 10 10 10 0 10 0 0 0 0 10 10 0 10 10 0 10 10 0 10 0 0 10 10 10 0 0 10 0 0 0 10 4 10 0 0 10 10 0 0 10 0 0 0 10 0 10 0 0 10 10 0 10 0 10 10 10 10 10 10 0 7 10 10 10 10 0 10 0 0 10 10 0 10 0 10 10 10 10 10 0 10 0 10 10 0 10 0 10 0 0 10 0 0 10 10 10 0 0 0 10 0 10 0 0 10 0 10 10 10 0 0 10 10 0 10 0 10 0 0 10 10 10 10 10 10 0 0 10 10 0 10 0 10 10 10 10 0 0 0 10 0 10 0 0 10 0 0 10 10 10 10 10 10 0 0 0 10 0 0 10 0 10 10 0 0 0 10 0 10 0 0 0 10 0 0 0 10 0 0 10 10 10 0 10 0 0 10 10 10 0 10 10 0 0 10 10 0 10 10 10 0 0 10 0 10 10 10 0 10 10 0 0 10 0 10 10 0 0 0 10 10 0 10 10 10 10 0 10 0 10 10 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 10 0 10 10 10 10 10 10 10 0 0 0 0 10 0 10 10 0 10 10 0 10 10 10 10 10 0 0 10 0 0 0 10 10 0 10 0 10 10 10 10 0 0 10 10 10 10 0 10 0 0 0 10 10 0 0 10 0 10 0 10 10 0 10 10 0 10 0 10 0 0 10 0 0 10 10 10 0 10 0 10 0 10 0 9 10 10 10 10 10 10 0 10 0 0 10 0 10 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 5 0 0 10 10 10 10 10 10 0 0 0 10 0 0 0 0 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 0 0 0 10 10 10 10 0 10 0 0 0 0 10 0 10 0 0 10 10 10 10 10 0 10 0 10 10 10 0 10 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 10 10 10 10 0 10 0 10 0 10 0 0 5 10 0 10 10 0 10 0 0 10 10 10 0 10 10 0 10 10 0 10 10 0 0 10 10 0 0 0 0 0 0 10 0 10 10 0 10 10 10 10 0 0 10 10 10 10 0 10 10 0 10 10 10 0 10 10 10 10 0 10 0 0 0 10 10 10 10 10 10 0 10 10 10 0 0 0 10 10 10 10 10 0 10 10 0 10 10 10 10 0 0 10 0 0 10 0 0 0 10 0 0 0 10 10 10 10 0 10 0 10 10 10 0 0 0 10 0 0 0 0 10 0 10 10 0 0 10 10 0 6 10 0 10 0 10 0 0 0 10 0 0 10 0 0 0 10 0 0 10 10 0 0 10 0 10 10 10 10 10 0 10 10 10 10 0 10 0 10 0 0 10 10 10 10 0 0 10 10 0 0 0 10 0 10 10 0 0 10 0 10 10 10 10 10 10 0 0 0 0 10 0 10 0 </values>
2520.05/2519.80	v </instantiation>
2520.05/2519.80

Verifier Data 

OK	377783380

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

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

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

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
Current StackSize limit: 8192 KiB

solver pid=15435, runsolver pid=15432

[startup+0.100211 s]*
/proc/loadavg: 2.03 2.01 2.04 3/188 15436
/proc/meminfo: memFree=11438040/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=51244 memory=27428 CPUtime=0.1 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 7071 0 0 0 10 0 0 0 20 0 1 0 55523332 52473856 6857 33554432000 4194304 6142532 140728520607440 140728520604072 139806813901006 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 12811 6857 803 476 0 6133 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51244 KiB
Current children cumulated memory: 27428 KiB

[startup+0.209891 s]*
/proc/loadavg: 2.03 2.01 2.04 3/188 15436
/proc/meminfo: memFree=11422416/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=66996 memory=43156 CPUtime=0.2 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 11010 0 0 0 20 0 0 0 20 0 1 0 55523332 68603904 10789 33554432000 4194304 6142532 140728520607440 140728520604072 139806810422245 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 16749 10789 807 476 0 10071 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66996 KiB
Current children cumulated memory: 43156 KiB

[startup+0.309761 s]*
/proc/loadavg: 2.03 2.01 2.04 3/188 15436
/proc/meminfo: memFree=11401568/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=87536 memory=63848 CPUtime=0.3 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 16127 0 0 0 29 1 0 0 20 0 1 0 55523332 89636864 15962 33554432000 4194304 6142532 140728520607440 140728520604072 139806810422245 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 21884 15962 807 476 0 15206 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87536 KiB
Current children cumulated memory: 63848 KiB

[startup+0.700395 s]
/proc/loadavg: 2.03 2.01 2.04 3/188 15436
/proc/meminfo: memFree=11360984/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=165468 memory=141820 CPUtime=0.69 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 35618 0 0 0 65 4 0 0 20 0 1 0 55523332 169439232 35455 33554432000 4194304 6142532 140728520607440 140728520604072 139806810422245 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 41367 35455 807 476 0 34689 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 165468 KiB
Current children cumulated memory: 141820 KiB

[startup+1.50035 s]
/proc/loadavg: 2.03 2.01 2.04 3/188 15436
/proc/meminfo: memFree=11315496/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=176820 memory=152944 CPUtime=1.49 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 38459 0 0 0 145 4 0 0 20 0 1 0 55523332 181063680 38236 33554432000 4194304 6142532 140728520607440 140728520604088 5796112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 44205 38236 812 476 0 37527 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 176820 KiB
Current children cumulated memory: 152944 KiB

[startup+3.1098 s]
/proc/loadavg: 2.03 2.01 2.04 3/188 15436
/proc/meminfo: memFree=11297144/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=191924 memory=167276 CPUtime=3.1 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 42898 0 0 0 306 4 0 0 20 0 1 0 55523332 196530176 41819 33554432000 4194304 6142532 140728520607440 140728520604088 5489252 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 47981 41819 812 476 0 41303 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 191924 KiB
Current children cumulated memory: 167276 KiB

[startup+6.30034 s]
/proc/loadavg: 2.03 2.01 2.04 3/188 15436
/proc/meminfo: memFree=11263252/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=221760 memory=196224 CPUtime=6.29 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 51677 0 0 0 624 5 0 0 20 0 1 0 55523332 227082240 49056 33554432000 4194304 6142532 140728520607440 140728520604088 5802410 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 55440 49056 812 476 0 48762 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 221760 KiB
Current children cumulated memory: 196224 KiB

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 15436
/proc/meminfo: memFree=11208740/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=281764 memory=254304 CPUtime=12.69 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 68178 0 0 0 1261 8 0 0 20 0 1 0 55523332 288526336 63576 33554432000 4194304 6142532 140728520607440 140728520604088 5802071 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 70441 63576 812 476 0 63763 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 281764 KiB
Current children cumulated memory: 254304 KiB

[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 15436
/proc/meminfo: memFree=11089796/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=402460 memory=370964 CPUtime=25.49 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 100958 0 0 0 2536 13 0 0 20 0 1 0 55523332 412119040 92741 33554432000 4194304 6142532 140728520607440 140728520604088 5802615 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 100615 92741 812 476 0 93937 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 402460 KiB
Current children cumulated memory: 370964 KiB

[startup+51.1097 s]
/proc/loadavg: 2.01 2.01 2.04 3/188 15436
/proc/meminfo: memFree=10847540/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=642884 memory=607000 CPUtime=51.1 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 245659 0 0 0 5085 25 0 0 20 0 1 0 55523332 658313216 151750 33554432000 4194304 6142532 140728520607440 140728520604184 5367141 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 160721 151750 860 476 0 154043 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 642884 KiB
Current children cumulated memory: 607000 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/189 15460
/proc/meminfo: memFree=10790352/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=695236 memory=658640 CPUtime=102.3 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 383792 0 0 0 10196 34 0 0 20 0 1 0 55523332 711921664 164660 33554432000 4194304 6142532 140728520607440 140728520604264 5146967 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 173809 164660 860 476 0 167131 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 695236 KiB
Current children cumulated memory: 658640 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 15461
/proc/meminfo: memFree=10707560/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=741548 memory=703236 CPUtime=162.3 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 534493 0 0 0 16188 42 0 0 20 0 1 0 55523332 759345152 175809 33554432000 4194304 6142532 140728520607440 140728520604072 5044844 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 185387 175809 860 476 0 178709 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 741548 KiB
Current children cumulated memory: 703236 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 15462
/proc/meminfo: memFree=10657476/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=783772 memory=743860 CPUtime=222.31 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 653631 0 0 0 22183 48 0 0 20 0 1 0 55523332 802582528 185965 33554432000 4194304 6142532 140728520607440 140728520604072 5371658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 195943 185965 860 476 0 189265 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 783772 KiB
Current children cumulated memory: 743860 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 15463
/proc/meminfo: memFree=10614164/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=825252 memory=782912 CPUtime=282.31 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 813713 0 0 0 28175 56 0 0 20 0 1 0 55523332 845058048 195728 33554432000 4194304 6142532 140728520607440 140728520604264 5013936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 206313 195728 860 476 0 199635 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 825252 KiB
Current children cumulated memory: 782912 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 15464
/proc/meminfo: memFree=10600040/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=834416 memory=791904 CPUtime=342.32 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 906484 0 0 0 34170 62 0 0 20 0 1 0 55523332 854441984 197976 33554432000 4194304 6142532 140728520607440 140728520604264 5375774 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 208604 197976 860 476 0 201926 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 834416 KiB
Current children cumulated memory: 791904 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 15465
/proc/meminfo: memFree=10591116/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843520 memory=800456 CPUtime=402.33 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1021655 0 0 0 40165 68 0 0 20 0 1 0 55523332 863764480 200114 33554432000 4194304 6142532 140728520607440 140728520604152 5376430 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210880 200114 862 476 0 204202 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 843520 KiB
Current children cumulated memory: 800456 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 15466
/proc/meminfo: memFree=10591044/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843520 memory=800460 CPUtime=462.33 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1037473 0 0 0 46164 69 0 0 20 0 1 0 55523332 863764480 200115 33554432000 4194304 6142532 140728520607440 140728520604152 139806811348383 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210880 200115 862 476 0 204202 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 843520 KiB
Current children cumulated memory: 800460 KiB


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

/proc/15435/statm: 210918 204925 862 476 0 204240 0
Current children cumulated CPU time: 1722.45 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819700 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/187 15505
/proc/meminfo: memFree=10541744/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819700 CPUtime=1782.46 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1486408 0 0 0 178155 91 0 0 20 0 1 0 55523332 863920128 204925 33554432000 4194304 6142532 140728520607440 140728520604184 5367159 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204925 862 476 0 204240 0
Current children cumulated CPU time: 1782.46 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819700 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/188 15514
/proc/meminfo: memFree=10541340/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819700 CPUtime=1842.46 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1487721 0 0 0 184155 91 0 0 20 0 1 0 55523332 863920128 204925 33554432000 4194304 6142532 140728520607440 140728520604184 139806811346240 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204925 862 476 0 204240 0
Current children cumulated CPU time: 1842.46 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819700 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 15515
/proc/meminfo: memFree=10541852/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819700 CPUtime=1902.47 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1489853 0 0 0 190156 91 0 0 20 0 1 0 55523332 863920128 204925 33554432000 4194304 6142532 140728520607440 140728520604184 4991559 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204925 862 476 0 204240 0
Current children cumulated CPU time: 1902.47 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819700 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 15516
/proc/meminfo: memFree=10541728/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819700 CPUtime=1962.48 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1491390 0 0 0 196157 91 0 0 20 0 1 0 55523332 863920128 204925 33554432000 4194304 6142532 140728520607440 140728520604184 139806811346258 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204925 862 476 0 204240 0
Current children cumulated CPU time: 1962.48 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819700 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 15517
/proc/meminfo: memFree=10542056/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819700 CPUtime=2022.49 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1494699 0 0 0 202157 92 0 0 20 0 1 0 55523332 863920128 204925 33554432000 4194304 6142532 140728520607440 140728520604184 5376434 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204925 862 476 0 204240 0
Current children cumulated CPU time: 2022.49 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819700 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 15518
/proc/meminfo: memFree=10542004/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819704 CPUtime=2082.5 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1497125 0 0 0 208158 92 0 0 20 0 1 0 55523332 863920128 204926 33554432000 4194304 6142532 140728520607440 140728520604184 5363528 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204926 862 476 0 204240 0
Current children cumulated CPU time: 2082.5 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819704 KiB

[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 15519
/proc/meminfo: memFree=10542544/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819704 CPUtime=2142.5 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1500660 0 0 0 214158 92 0 0 20 0 1 0 55523332 863920128 204926 33554432000 4194304 6142532 140728520607440 140728520604184 5146656 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204926 862 476 0 204240 0
Current children cumulated CPU time: 2142.5 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819704 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 15520
/proc/meminfo: memFree=10542496/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819704 CPUtime=2202.5 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1502692 0 0 0 220158 92 0 0 20 0 1 0 55523332 863920128 204926 33554432000 4194304 6142532 140728520607440 140728520604184 5371860 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204926 862 476 0 204240 0
Current children cumulated CPU time: 2202.5 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819704 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 15521
/proc/meminfo: memFree=10542628/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819704 CPUtime=2262.52 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1503784 0 0 0 226159 93 0 0 20 0 1 0 55523332 863920128 204926 33554432000 4194304 6142532 140728520607440 140728520604184 5374338 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204926 862 476 0 204240 0
Current children cumulated CPU time: 2262.52 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819704 KiB

[startup+2322.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 15583
/proc/meminfo: memFree=11248124/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819704 CPUtime=2322.52 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1505344 0 0 0 232159 93 0 0 20 0 1 0 55523332 863920128 204926 33554432000 4194304 6142532 140728520607440 140728520604184 5367440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204926 862 476 0 204240 0
Current children cumulated CPU time: 2322.52 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819704 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 15584
/proc/meminfo: memFree=10620152/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819708 CPUtime=2382.53 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1506819 0 0 0 238160 93 0 0 20 0 1 0 55523332 863920128 204927 33554432000 4194304 6142532 140728520607440 140728520604184 5376434 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204927 862 476 0 204240 0
Current children cumulated CPU time: 2382.53 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819708 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 15592
/proc/meminfo: memFree=10570616/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819708 CPUtime=2442.54 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1507886 0 0 0 244161 93 0 0 20 0 1 0 55523332 863920128 204927 33554432000 4194304 6142532 140728520607440 140728520604184 5360464 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204927 862 476 0 204240 0
Current children cumulated CPU time: 2442.54 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819708 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15593
/proc/meminfo: memFree=10565728/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819708 CPUtime=2502.54 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1511061 0 0 0 250161 93 0 0 20 0 1 0 55523332 863920128 204927 33554432000 4194304 6142532 140728520607440 140728520604184 5367122 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204927 862 476 0 204240 0
Current children cumulated CPU time: 2502.54 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15593
/proc/meminfo: memFree=10563000/32770624 swapFree=67108860/67108860
[pid=15435] ppid=15432 vsize=843672 memory=819708 CPUtime=2520.05 cores=0,2,4,6
/proc/15435/stat : 15435 (cosoco) R 15432 15435 14394 0 -1 4202496 1511732 0 0 0 251911 94 0 0 20 0 1 0 55523332 863920128 204927 33554432000 4194304 6142532 140728520607440 140728520604184 5363684 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 14716928 140728520610950 140728520611080 140728520611080 140728520613838 0
/proc/15435/statm: 210918 204927 862 476 0 204240 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 843672 KiB
Current children cumulated memory: 819708 KiB

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

[startup+2519.81 s]
# the end of solver process 15435 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.12 s, system=0.945108 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.06
CPU user time (s): 2519.12
CPU system time (s): 0.945108
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 843672
Max. memory (cumulated for all children) (KiB): 819708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.12
system time used= 0.945108
maximum resident set size= 819768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1511789
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= 76
involuntary context switches= 793


# summary of solver processes directly reported to runsolver:
#   pid: 15435
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.12
#   total CPU system time (s): 0.945108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.64153 second user time and 18.6635 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-23 23:00:02
IDJOB=4293939
IDBENCH=141269
IDSOLVER=2752
FILE ID=node104/4293939-1532379601
RUNJOBID= node104-1532371797-14425
PBS_JOBID= 21021574
Free space on /tmp= 48744 MiB

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

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

MD5SUM BENCH= 89893934ad5b9c06ca26522ad9c878f8
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:        11459488 kB
MemAvailable:   31043792 kB
Buffers:          268276 kB
Cached:         19279404 kB
SwapCached:            0 kB
Active:          3240524 kB
Inactive:       17253356 kB
Active(anon):     948876 kB
Inactive(anon):    17080 kB
Active(file):    2291648 kB
Inactive(file): 17236276 kB
Unevictable:        7180 kB
Mlocked:            7180 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            103880 kB
Writeback:             0 kB
AnonPages:        952560 kB
Mapped:            39068 kB
Shmem:             17036 kB
Slab:             512956 kB
SReclaimable:     484840 kB
SUnreclaim:        28116 kB
KernelStack:        3360 kB
PageTables:         7268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1266556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 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= 48720 MiB
End job on node104 at 2018-07-23 23:42:02