34.89/34.93	c best=?? lower=0 upper=3599 
36.89/36.92	c
36.89/36.92	c This is cosoco 1.12 --  
36.89/36.92	c
36.89/36.92	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298420-1532752049.xml 
36.89/36.92	c enable optimization
36.89/36.92	c ========================================[ Problem Statistics ]===========================================
36.89/36.92	c |                                                                                                       
36.89/36.92	c |  Parse time        :        33.28 s 
36.89/36.92	c |
36.89/36.92	c |               Variables: 3600
36.89/36.92	c |            Domain Sizes: 3600..3600
36.89/36.92	c |
36.89/36.92	c |             Constraints: 212401
36.89/36.92	c |                   Arity: 2..3600  -- Binary: 212400
36.89/36.92	c | 
36.89/36.92	c |                   Types: 
36.89/36.92	c |                          (X != Y): 212400
36.89/36.92	c |                          Max constant: 1
36.89/36.92	c |                          
36.89/36.92	c |               Objective: Minimize Max constant
36.89/36.92	
36.89/36.92	c =========================================================================================================
36.89/36.92	o 61
36.89/36.92	c    1 calls to solver: best=61 lower=0 upper=60 
42.99/43.08	o 60
81.09/81.19	o 59
81.09/81.19	c    3 calls to solver: best=59 lower=0 upper=58 
2519.36/2520.01	
2519.36/2520.01	c *** INTERRUPTED ***
2519.36/2520.01	c restarts              : 89          
2519.36/2520.01	c conflicts             : 4968723      (1975 /sec)
2519.36/2520.01	c decisions             : 14563183     (5789 /sec)
2519.36/2520.01	c propagations          : 1855216335  (737511 /sec)
2519.36/2520.01	c root propagations     : 12906313    
2519.36/2520.01	c filter calls          : 53484778044    (21261988 /sec)
2519.36/2520.01	c useless filter calls  : 51676320470    (96 %)
2519.36/2520.01	c Memory used           : 3933.68 MB
2519.36/2520.01	c CPU time              : 2515.51 s
2519.36/2520.01	
2519.36/2520.01	c nb Solutions = 3
2519.36/2520.01	s SATISFIABLE
2519.36/2520.01	c Best value found: 59
2519.36/2520.01	
2519.36/2520.01	
2519.36/2520.01	v <instantiation type='solution' cost='59'>
2519.36/2520.01	v <list>x[0] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[100] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[101] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[102] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[103] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[104] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[105] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[106] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[107] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[108] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[109] x[10] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[110] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[111] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[112] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[113] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[114] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[115] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[116] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[117] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[118] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[119] x[11] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[120] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[121] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[122] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[123] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[124] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[125] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[126] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[127] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[128] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[129] x[12] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[130] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[131] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[132] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[133] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[134] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[135] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[136] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[137] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[138] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[139] x[13] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[140] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[141] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[142] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[143] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[144] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[145] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[146] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[147] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[148] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[149] x[14] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[150] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[151] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[152] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[153] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[154] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[155] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[156] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[157] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[158] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[159] x[15] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[160] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[161] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[162] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[163] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[164] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[165] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[166] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[167] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[168] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[169] x[16] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[170] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[171] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[172] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[173] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[174] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[175] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[176] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[177] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[178] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[179] x[17] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[180] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[181] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[182] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[183] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[184] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[185] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[186] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[187] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[188] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[189] x[18] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[190] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[191] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[192] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[193] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[194] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[195] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[196] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[197] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[198] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[199] x[19] x[1] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[200] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[201] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[202] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[203] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[204] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[205] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[206] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[207] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[208] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[209] x[20] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[210] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[211] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[212] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[213] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[214] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[215] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[216] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[217] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[218] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[219] x[21] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[220] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[221] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[222] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[223] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[224] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[225] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[226] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[227] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[228] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[229] x[22] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[230] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[231] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[232] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[233] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[234] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[235] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[236] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[237] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[238] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[239] x[23] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[240] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[241] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[242] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[243] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[244] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[245] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[246] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[247] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[248] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[249] x[24] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[250] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[251] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[252] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[253] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[254] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[255] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[256] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[257] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[258] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[259] x[25] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[260] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[261] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[262] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[263] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[264] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[265] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[266] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[267] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[268] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[269] x[26] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[270] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[271] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[272] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[273] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[274] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[275] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[276] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[277] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[278] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[279] x[27] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[280] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[281] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[282] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[283] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[284] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[285] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[286] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[287] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[288] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[289] x[28] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[290] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[291] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[292] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[293] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[294] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[295] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[296] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[297] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[298] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[299] x[29] x[2] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[300] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[301] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[302] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[303] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[304] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[305] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[306] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[307] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[308] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[309] x[30] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[310] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[311] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[312] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[313] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[314] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[315] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[316] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[317] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[318] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[319] x[31] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[320] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[321] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[322] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[323] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[324] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[325] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[326] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[327] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[328] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[329] x[32] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[330] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[331] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[332] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[333] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[334] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[335] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[336] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[337] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[338] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[339] x[33] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[340] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[341] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[342] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[343] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[344] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[345] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[346] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[347] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[348] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[349] x[34] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[350] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[351] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[352] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[353] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[354] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[355] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[356] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[357] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[358] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list>
2519.36/2520.01	v <values>13 44 12 29 43 37 18 59 31 35 38 30 46 47 22 45 51 39 55 53 13 27 51 21 42 10 33 55 44 43 59 3 27 54 1 34 11 31 30 15 7 28 24 35 59 20 39 56 5 32 26 40 12 29 57 49 37 25 49 22 46 50 41 45 58 18 36 23 0 52 2 53 9 54 16 48 47 26 8 17 51 13 6 36 38 19 14 4 3 10 19 58 12 23 56 54 14 38 3 55 43 33 22 44 46 37 11 35 4 49 18 27 13 7 51 50 41 6 0 21 45 28 11 40 32 59 9 52 48 53 29 27 42 16 39 18 8 1 20 25 31 57 5 55 2 17 34 15 47 24 2 16 36 26 30 27 23 34 28 17 6 7 2 40 11 0 12 38 12 48 35 53 21 18 49 58 43 45 39 46 3 10 51 19 57 15 13 36 8 16 45 47 4 25 26 55 1 54 44 24 56 27 37 30 52 50 20 41 22 29 50 32 9 42 33 8 24 14 31 59 5 40 54 11 58 31 21 41 14 42 57 47 9 6 13 15 10 8 22 20 26 12 5 54 18 28 4 1 16 48 43 34 33 40 52 37 35 50 7 38 55 0 32 3 29 36 55 49 24 59 51 56 37 39 18 19 53 48 23 44 45 2 27 25 30 17 46 6 51 29 9 4 35 19 15 49 44 55 54 36 8 2 12 24 21 28 31 11 10 33 8 37 52 25 17 42 1 22 39 50 20 31 56 36 5 26 53 57 38 46 40 13 47 20 32 6 0 41 48 43 27 7 45 3 34 47 51 58 23 16 30 59 34 18 14 52 4 12 16 50 29 41 5 35 37 8 28 25 51 58 19 40 47 17 31 39 13 32 49 48 42 20 27 21 53 26 57 43 1 1 7 6 14 33 9 2 44 59 46 10 36 34 18 38 23 28 30 10 24 45 35 56 11 0 55 3 22 52 54 32 15 0 7 3 35 54 43 16 21 31 51 5 57 50 41 32 52 24 59 36 13 56 42 59 17 14 55 47 18 25 28 49 58 39 34 23 19 27 48 23 22 46 15 20 26 2 5 40 17 12 29 0 45 6 37 53 4 30 9 8 57 30 33 38 1 10 11 44 42 27 49 6 30 1 12 15 25 9 13 9 2 43 7 53 26 19 51 56 47 36 33 48 38 21 22 33 16 29 11 8 4 24 52 10 57 35 31 40 54 28 46 14 45 3 5 41 32 44 24 17 39 59 37 38 42 20 55 0 50 34 45 23 58 18 58 33 40 10 36 56 17 21 19 53 43 55 46 15 8 33 26 18 45 37 22 51 58 53 31 54 46 47 29 24 6 38 25 50 56 9 20 2 16 4 7 13 49 23 1 25 28 30 27 34 12 42 14 0 11 59 11 3 41 5 32 35 48 57 44 39 52 2 2 15 13 46 24 31 39 10 25 43 44 52 4 59 9 38 12 42 20 19 56 13 3 26 54 14 6 51 50 16 55 47 19 27 5 36 37 8 22 45 57 7 33 39 43 34 41 53 18 21 40 11 44 28 0 43 48 1 23 17 32 35 58 30 49 29 54 28 47 53 34 57 55 20 13 39 35 49 33 40 49 22 41 16 19 15 8 4 3 36 32 48 6 31 50 42 3 27 5 26 2 54 44 17 1 37 24 23 10 43 15 52 14 46 9 30 38 51 45 12 7 16 29 26 21 58 18 59 0 11 56 25 50 26 56 0 31 8 4 37 22 7 44 27 5 55 9 51 48 36 32 19 21 39 40 29 17 42 43 58 34 59 25 10 16 13 14 54 35 14 24 12 47 6 27 33 20 12 38 2 28 46 45 29 53 30 52 15 7 50 23 40 57 11 41 49 18 3 1 41 58 2 19 44 36 11 57 21 46 25 17 16 14 15 33 42 53 4 24 50 34 29 43 6 10 51 8 23 3 31 12 45 22 39 47 0 41 37 52 30 9 5 28 4 1 29 38 27 7 20 13 55 32 48 20 18 40 17 59 26 54 56 22 35 49 21 6 25 11 8 51 45 48 58 17 41 42 18 14 20 40 12 54 26 39 47 55 3 22 57 13 50 0 35 38 23 5 24 9 14 4 16 29 32 2 53 33 36 44 7 10 18 52 21 10 15 59 22 43 30 19 49 1 46 49 34 31 28 6 27 37 56 35 0 55 22 23 39 25 16 30 17 10 50 59 9 21 45 8 34 50 36 14 19 5 2 24 6 46 44 52 37 32 7 38 26 43 40 35 31 26 20 57 41 51 27 45 25 11 15 33 53 5 1 3 54 56 12 31 49 58 13 29 28 4 18 48 47 42 37 39 53 24 41 31 34 7 58 30 11 30 55 35 25 18 50 4 54 48 46 17 28 59 45 12 56 43 27 38 1 22 40 23 20 13 15 51 36 23 26 0 9 5 1 33 49 3 52 19 14 2 28 10 8 47 6 32 16 44 57 42 21 37 29 47 32 20 23 59 49 30 53 1 6 44 16 44 22 17 24 38 28 56 46 50 13 45 15 31 37 32 27 31 11 10 40 58 25 43 8 52 48 37 34 54 41 4 29 14 12 55 19 5 47 35 19 51 21 42 2 9 57 39 0 39 3 26 52 18 7 15 33 36 12 37 45 46 7 56 8 40 29 14 36 55 23 24 3 20 55 57 34 30 27 41 53 18 9 15 43 47 12 44 4 28 19 43 38 1 33 50 58 6 59 25 35 17 34 54 11 22 5 42 32 48 26 16 13 59 39 21 31 51 10 52 53 49 2 0 51 44 51 50 52 43 27 29 6 55 53 28 13 21 1 19 11 0 2 33 54 49 46 3 56 18 4 37 58 3 32 47 30 35 4 45 9 26 10 17 13 23 38 14 40 6 57 39 36 15 24 31 41 8 42 25 27 16 7 12 48 22 20 44 5 34 59 56 52 26 44 40 46 58 17 34 28 48 36 37 22 13 7 49 42 43 8 3 21 48 38 20 0 41 1 11 9 29 32 31 11 57 4 39 2 6 51 27 19 16 45 41 23 50 59 30 23 25 54 55 24 36 10 8 53 18 14 56 5 47 15 33 12 35 21 19 48 9 38 54 17 33 56 6 59 2 20 46 2 39 29 27 58 57 18 5 25 11 43 13 7 50 25 30 0 36 16 17 24 23 31 15 28 35 52 32 49 21 7 22 37 51 40 8 44 12 14 41 26 40 55 3 34 4 47 10 42 45 1 53 9 15 51 2 28 11 18 32 4 10 52 0 46 13 5 36 27 54 25 41 45 6 54 52 9 35 24 1 23 29 55 57 14 3 57 8 30 19 48 39 42 16 31 34 22 38 59 40 26 33 43 49 56 17 21 20 33 44 50 38 7 53 37 47 58 0 12 16 24 14 50 36 0 57 34 49 48 30 20 10 21 55 37 32 6 28 29 31 38 46 33 53 23 3 40 22 39 9 51 2 29 58 44 41 52 47 54 7 15 56 19 42 45 8 16 42 11 12 18 27 25 17 24 13 35 26 1 4 43 46 59 5 20 58 57 34 8 57 39 51 36 18 46 54 19 49 17 25 47 42 9 44 49 59 2 10 38 40 29 14 4 56 13 20 55 11 32 55 3 58 22 21 43 30 1 7 52 38 9 48 33 23 26 31 35 0 6 50 41 20 45 53 24 5 15 27 28 12 16 37 45 16 0 5 59 44 46 38 32 12 24 22 9 50 39 2 45 55 27 23 26 37 51 51 3 17 36 15 57 48 42 34 53 42 29 49 30 28 14 33 4 56 41 8 58 19 35 1 20 7 13 6 19 47 18 21 29 40 22 52 54 43 58 31 25 10 11 30 43 27 12 48 59 24 45 50 36 46 17 39 10 26 15 14 33 30 38 7 8 25 53 16 5 13 2 32 56 54 52 37 2 42 29 40 0 44 1 34 4 18 47 11 41 55 17 58 35 19 9 22 31 11 40 28 49 6 20 25 51 3 57 21 23 53 1 7 51 32 12 50 52 18 40 34 32 56 45 54 48 19 24 6 21 22 27 18 9 25 49 8 26 5 47 2 46 35 17 15 28 59 20 57 30 29 11 55 38 0 8 31 10 43 37 3 58 15 53 44 23 16 4 42 41 36 39 14 33 16 9 13 33 14 33 20 4 5 10 28 45 56 17 39 11 59 38 41 31 25 15 46 12 57 10 8 37 44 49 54 30 51 43 19 21 35 36 42 13 39 34 27 48 18 1 16 23 0 22 9 24 55 53 58 29 3 50 26 26 6 47 35 40 23 32 7 52 2 54 16 36 24 18 19 28 32 11 2 16 26 14 40 58 52 0 12 50 48 37 38 22 0 5 44 9 8 53 31 45 56 41 29 46 49 6 10 55 23 14 21 35 39 51 3 42 46 57 17 47 3 4 1 33 43 7 54 59 20 15 30 7 25 13 27 34 21 48 54 7 37 15 5 12 26 4 41 43 45 36 0 56 34 23 10 27 43 40 52 19 50 55 59 30 17 33 13 18 14 6 25 21 32 20 38 49 9 51 42 6 31 35 29 3 24 39 46 22 28 58 47 16 47 2 31 35 53 1 44 11 52 57 8 50 9 43 42 5 58 19 26 47 2 40 4 18 11 51 30 25 29 55 45 28 1 57 46 33 49 24 37 14 54 53 17 22 36 23 48 52 13 3 44 12 34 32 4 34 20 31 15 35 38 27 10 21 39 56 44 36 57 59 50 0 6 41 8 7 16 56 45 36 48 22 42 49 55 43 19 6 1 54 27 56 57 52 40 53 10 33 25 27 49 50 30 41 31 16 34 14 2 58 1 59 0 18 12 46 32 38 35 39 8 23 5 15 7 47 28 59 4 21 5 20 51 48 37 24 29 11 13 26 9 3 44 17 12 47 17 33 3 50 59 46 11 22 29 19 41 53 35 55 51 14 16 39 42 20 13 58 56 34 54 57 0 36 24 2 27 37 31 8 43 7 9 18 40 26 25 52 28 13 44 6 45 32 5 49 48 38 30 41 15 10 19 21 37 12 4 1 23 28 24 41 45 5 13 54 29 16 20 41 3 57 22 31 32 39 37 14 59 8 21 1 9 47 25 10 34 26 52 24 7 31 51 23 18 21 44 28 38 11 56 58 46 50 30 53 26 12 4 48 6 27 2 43 33 40 49 18 25 45 36 42 55 15 35 0 17 19 28 53 31 40 11 22 27 47 12 49 18 44 42 48 50 3 58 38 52 26 16 32 38 29 21 37 19 0 55 10 14 6 30 29 5 57 9 44 15 41 20 17 24 54 1 34 2 23 13 36 4 39 45 46 34 1 35 7 25 43 8 59 56 51 35 28 33 3 12 20 15 16 38 52 31 54 45 4 53 51 57 46 27 47 5 9 7 29 2 46 0 59 28 44 49 36 11 30 42 6 56 55 41 53 33 18 17 37 8 3 32 39 19 58 1 21 22 48 34 35 43 39 41 24 13 56 25 23 50 26 14 40 10 51 50 35 23 58 14 42 56 1 15 31 54 49 7 16 54 44 51 13 17 11 0 52 46 30 36 27 39 4 37 52 59 20 48 55 18 12 25 53 29 28 5 21 55 3 17 26 45 34 47 10 8 24 38 6 9 57 33 2 32 43 41 57 40 46 19 22 23 22 30 49 47 35 2 23 24 1 7 45 53 44 4 16 3 0 56 5 15 51 42 45 31 29 40 14 46 12 6 10 39 4 59 55 18 27 21 8 50 58 20 9 19 17 26 25 11 33 41 36 19 57 42 5 52 48 37 28 34 32 13 43 54 38 33 50 17 57 30 20 4 22 29 52 58 32 47 44 18 14 1 15 35 3 16 59 9 2 47 40 38 21 11 48 8 36 33 24 37 6 39 28 45 5 31 0 43 53 49 12 37 25 56 13 34 23 7 12 54 46 10 51 19 27 10 2 55 50 41 42 26 15 38 52 3 0 2 13 53 28 50 33 58 19 16 1 23 11 32 44 18 17 48 30 21 10 20 45 12 58 15 8 47 56 13 41 34 27 30 59 5 51 54 37 24 59 59 4 36 42 49 40 57 46 25 26 22 27 35 55 9 6 14 31 39 29 43 7 9 59 39 38 57 25 30 24 9 27 37 14 58 28 23 5 36 13 8 3 0 14 20 1 12 33 53 46 44 47 17 48 42 16 15 26 55 34 45 19 18 40 22 29 0 7 56 10 50 41 51 32 49 2 35 8 21 4 11 52 54 16 20 6 31 43 34 56 4 1 27 9 3 59 20 52 57 7 7 26 45 29 5 18 24 58 23 30 6 42 42 15 22 34 13 54 28 37 53 0 43 17 19 16 43 35 36 49 12 31 11 36 55 38 40 44 2 47 33 51 46 32 50 41 14 25 39 48 8 10 21 6 50 24 32 59 56 45 33 23 9 0 35 38 49 47 31 29 13 43 30 57 40 52 55 11 27 22 2 48 28 41 18 44 3 46 48 7 11 42 49 54 24 19 6 17 26 40 51 20 58 16 14 10 25 4 8 5 22 12 15 1 37 21 53 34 50 36 39 32 10 41 21 39 53 52 54 3 23 24 2 22 28 29 27 47 10 48 22 33 36 12 5 4 51 7 55 38 56 59 20 9 26 47 30 31 45 1 0 16 42 11 15 34 58 18 6 43 5 14 50 46 35 40 13 58 14 19 37 8 18 44 49 17 32 25 57 53 30 1 11 25 10 6 48 42 13 21 32 3 47 41 58 57 52 5 14 53 50 56 22 2 45 27 7 8 17 49 44 59 1 26 43 51 18 24 34 56 37 36 12 11 16 35 19 4 28 55 29 32 23 31 38 38 0 39 40 46 33 54 20 15 9 15 3 28 26 52 53 38 27 33 0 14 51 6 32 42 50 35 7 59 9 40 23 24 40 12 25 36 2 20 39 46 41 31 10 30 21 15 54 56 51 43 8 22 57 37 28 24 16 45 48 29 13 1 11 17 44 4 34 30 18 49 58 19 5 47 4 55 3 42 29 25 15 32 40 4 41 8 12 36 30 56 44 34 39 17 0 2 35 24 0 16 57 19 38 18 20 21 28 54 11 12 51 33 3 5 49 59 10 47 43 48 2 9 13 55 22 6 52 50 36 37 14 55 58 27 53 31 7 1 23 26 45 46 48 26 35 32 43 13 26 33 51 37 34 23 57 48 0 18 40 16 49 45 44 1 7 5 6 47 11 15 59 5 27 22 4 55 29 53 38 8 36 20 3 31 24 50 25 42 46 42 39 12 54 17 57 52 58 2 34 10 29 28 14 56 21 19 9 30 41 39 8 40 27 14 21 47 0 39 32 51 13 36 5 57 43 6 46 20 34 30 53 19 24 41 59 35 3 4 26 18 15 23 33 11 56 1 29 19 12 25 33 45 50 20 8 10 28 7 55 58 16 37 13 49 52 0 22 54 44 9 42 17 2 38 48 31 38 44 46 41 8 47 37 30 15 23 50 31 26 6 36 49 7 3 14 4 34 16 6 35 11 32 28 52 2 1 27 0 25 4 12 51 58 40 13 55 17 42 48 57 9 21 19 31 54 18 56 5 59 29 33 23 20 43 10 22 38 9 24 39 53 45 43 46 16 17 1 37 43 14 48 18 53 37 24 49 34 59 13 41 12 42 6 28 44 7 7 58 35 30 26 45 5 40 21 44 41 22 52 23 8 50 32 39 10 2 15 1 25 57 11 0 9 33 47 20 4 36 58 31 56 54 19 29 3 27 55 38 51 32 55 44 34 2 13 1 35 27 59 49 22 4 42 6 21 17 31 38 25 20 11 35 54 14 53 29 36 18 41 7 37 12 7 32 22 24 19 57 45 47 16 0 10 52 58 48 50 8 39 26 52 23 15 28 46 5 33 30 46 9 40 43 56 51 3 15 21 33 6 47 24 7 9 10 16 20 56 10 12 19 43 4 37 22 2 55 41 29 14 26 0 18 25 21 15 13 48 1 49 17 50 17 11 58 40 39 3 59 28 35 47 53 32 44 31 57 30 23 42 14 34 48 27 52 46 38 45 5 36 51 8 54 25 54 41 32 6 3 0 25 36 5 15 28 57 23 8 10 20 58 1 52 48 26 53 34 28 40 9 17 49 19 50 56 7 21 33 24 21 42 16 11 14 2 4 30 56 39 </values>
2519.36/2520.01	v </instantiation>
2519.36/2520.01	

OK	59

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298420-1532752049/watcher-4298420-1532752049 -o /tmp/evaluation-result-4298420-1532752049/solver-4298420-1532752049 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532739149-2861 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298420-1532752049.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=4651, runsolver pid=4648

[startup+0.100205 s]*
/proc/loadavg: 1.91 1.97 2.03 3/191 4652
/proc/meminfo: memFree=26559968/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=130444 memory=106552 CPUtime=0.1 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 26849 0 0 0 7 3 0 0 20 0 1 0 92768044 133574656 26638 33554432000 4194304 6142532 140725979644624 140725979641256 5453426 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 32611 26638 776 476 0 25933 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 130444 KiB
Current children cumulated memory: 106552 KiB

[startup+0.210019 s]*
/proc/loadavg: 1.91 1.97 2.03 3/191 4652
/proc/meminfo: memFree=26559224/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=131096 memory=107048 CPUtime=0.21 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 27016 0 0 0 18 3 0 0 20 0 1 0 92768044 134242304 26762 33554432000 4194304 6142532 140725979644624 140725979641256 140651233075627 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 32774 26762 785 476 0 26096 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 131096 KiB
Current children cumulated memory: 107048 KiB

[startup+0.309122 s]*
/proc/loadavg: 1.91 1.97 2.03 3/191 4652
/proc/meminfo: memFree=26558528/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=131612 memory=107496 CPUtime=0.31 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 27225 0 0 0 28 3 0 0 20 0 1 0 92768044 134770688 26874 33554432000 4194304 6142532 140725979644624 140725979641256 5480634 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 32903 26874 785 476 0 26225 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 131612 KiB
Current children cumulated memory: 107496 KiB

[startup+0.700341 s]
/proc/loadavg: 1.91 1.97 2.03 3/191 4652
/proc/meminfo: memFree=26557492/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=133436 memory=109444 CPUtime=0.69 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 27857 0 0 0 66 3 0 0 20 0 1 0 92768044 136638464 27361 33554432000 4194304 6142532 140725979644624 140725979641272 5479478 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 33359 27361 785 476 0 26681 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133436 KiB
Current children cumulated memory: 109444 KiB

[startup+1.50035 s]
/proc/loadavg: 1.91 1.97 2.03 3/191 4652
/proc/meminfo: memFree=26554740/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=137084 memory=112852 CPUtime=1.49 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 28642 0 0 0 145 4 0 0 20 0 1 0 92768044 140374016 28213 33554432000 4194304 6142532 140725979644624 140725979641272 5566969 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 34271 28213 785 476 0 27593 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 137084 KiB
Current children cumulated memory: 112852 KiB

[startup+3.10972 s]
/proc/loadavg: 1.91 1.97 2.03 3/191 4652
/proc/meminfo: memFree=26505396/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=199096 memory=174120 CPUtime=3.1 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 46302 0 0 0 303 7 0 0 20 0 1 0 92768044 203874304 43530 33554432000 4194304 6142532 140725979644624 140725979641272 140651226616104 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 49774 43530 801 476 0 43096 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 199096 KiB
Current children cumulated memory: 174120 KiB

[startup+6.30039 s]
/proc/loadavg: 1.92 1.97 2.03 3/191 4652
/proc/meminfo: memFree=26147748/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=577856 memory=553076 CPUtime=6.29 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 146256 0 0 0 606 23 0 0 20 0 1 0 92768044 591724544 138269 33554432000 4194304 6142532 140725979644624 140725979638472 140651223137253 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 144464 138269 801 476 0 137786 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 577856 KiB
Current children cumulated memory: 553076 KiB

[startup+12.7004 s]
/proc/loadavg: 1.93 1.97 2.03 3/191 4652
/proc/meminfo: memFree=25430500/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=1342276 memory=1317148 CPUtime=12.68 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 341058 0 0 0 1215 53 0 0 20 0 1 0 92768044 1374490624 329287 33554432000 4194304 6142532 140725979644624 140725979638472 140651223137253 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 335569 329287 801 476 0 328891 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 1342276 KiB
Current children cumulated memory: 1317148 KiB

[startup+25.5004 s]
/proc/loadavg: 1.94 1.97 2.03 3/191 4652
/proc/meminfo: memFree=23873444/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=2872496 memory=2847272 CPUtime=25.49 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 724261 0 0 0 2437 112 0 0 20 0 1 0 92768044 2941435904 711818 33554432000 4194304 6142532 140725979644624 140725979638472 140651223185312 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 718124 711818 801 476 0 711446 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2872496 KiB
Current children cumulated memory: 2847272 KiB

[startup+51.11 s]
/proc/loadavg: 1.96 1.97 2.03 3/191 4653
/proc/meminfo: memFree=22659048/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4024320 memory=3999744 CPUtime=51.1 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 1266353 0 0 0 4941 169 0 0 20 0 1 0 92768044 4120903680 999936 33554432000 4194304 6142532 140725979644624 140725979641480 5148580 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1006080 999936 848 476 0 999402 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 4024320 KiB
Current children cumulated memory: 3999744 KiB

[startup+102.3 s]
/proc/loadavg: 1.95 1.96 2.02 3/191 4654
/proc/meminfo: memFree=22655356/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003448 CPUtime=102.28 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 1516245 0 0 0 10046 182 0 0 20 0 1 0 92768044 4124758016 1000862 33554432000 4194304 6142532 140725979644624 140725979631896 5347455 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.97 2.02 3/191 4662
/proc/meminfo: memFree=22654704/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003448 CPUtime=162.27 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 1745172 0 0 0 16035 192 0 0 20 0 1 0 92768044 4124758016 1000862 33554432000 4194304 6142532 140725979644624 140725979631896 4990813 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 2.02 3/191 4663
/proc/meminfo: memFree=22653660/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003448 CPUtime=222.27 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 1987805 0 0 0 22025 202 0 0 20 0 1 0 92768044 4124758016 1000862 33554432000 4194304 6142532 140725979644624 140725979631896 5336833 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 1.99 2.03 3/190 4664
/proc/meminfo: memFree=22653892/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003448 CPUtime=282.26 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 2172975 0 0 0 28017 209 0 0 20 0 1 0 92768044 4124758016 1000862 33554432000 4194304 6142532 140725979644624 140725979631896 5347460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 1.99 2.03 3/190 4665
/proc/meminfo: memFree=22653896/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003448 CPUtime=342.26 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 2433125 0 0 0 34007 219 0 0 20 0 1 0 92768044 4124758016 1000862 33554432000 4194304 6142532 140725979644624 140725979631896 5347460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/190 4666
/proc/meminfo: memFree=22653944/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003448 CPUtime=402.25 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 2657845 0 0 0 39997 228 0 0 20 0 1 0 92768044 4124758016 1000862 33554432000 4194304 6142532 140725979644624 140725979631896 4990698 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/190 4667
/proc/meminfo: memFree=22653396/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=462.19 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 2880135 0 0 0 45981 238 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 5347469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB


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

/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 1721.83 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+1782.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/191 4709
/proc/meminfo: memFree=22652164/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=1781.82 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 5945209 0 0 0 177812 370 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 5336745 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 1781.82 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+1842.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/191 4711
/proc/meminfo: memFree=22651904/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=1841.8 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 5965907 0 0 0 183810 370 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 4991116 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 1841.8 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/191 4712
/proc/meminfo: memFree=22652256/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=1901.79 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 5990154 0 0 0 189808 371 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 5148580 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 1901.79 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/191 4720
/proc/meminfo: memFree=22651068/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=1961.77 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6078560 0 0 0 195802 375 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 5327695 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 1961.77 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/191 4743
/proc/meminfo: memFree=22650408/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=2021.76 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6098314 0 0 0 201800 376 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 4990600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 2021.76 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 4744
/proc/meminfo: memFree=22651792/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=2081.74 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6176702 0 0 0 207795 379 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 4990592 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 2081.74 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 4745
/proc/meminfo: memFree=22652052/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=2141.73 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6188985 0 0 0 213794 379 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 5148597 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 2141.73 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 4746
/proc/meminfo: memFree=22651808/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=2201.72 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6197802 0 0 0 219793 379 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 5148600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 2201.72 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 4747
/proc/meminfo: memFree=22651932/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=2261.71 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6255367 0 0 0 225789 382 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 5336753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 2261.71 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 4748
/proc/meminfo: memFree=22651944/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=2321.69 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6266985 0 0 0 231787 382 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 4990620 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 2321.69 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4809
/proc/meminfo: memFree=23297880/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=2381.69 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6275506 0 0 0 237786 383 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 5336728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 2381.69 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4810
/proc/meminfo: memFree=23298412/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=2441.67 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6320494 0 0 0 243783 384 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 5336753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 2441.67 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 4811
/proc/meminfo: memFree=23298044/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003452 CPUtime=2501.66 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6334357 0 0 0 249781 385 0 0 20 0 1 0 92768044 4124758016 1000863 33554432000 4194304 6142532 140725979644624 140725979631896 4991002 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000863 848 476 0 1000343 0
Current children cumulated CPU time: 2501.66 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003452 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 4812
/proc/meminfo: memFree=23297268/32770624 swapFree=67108860/67108860
[pid=4651] ppid=4648 vsize=4028084 memory=4003948 CPUtime=2519.36 cores=0,2,4,6
/proc/4651/stat : 4651 (cosoco) R 4648 4651 2830 0 -1 4202496 6342933 0 0 0 251551 385 0 0 20 0 1 0 92768044 4124758016 1000987 33554432000 4194304 6142532 140725979644624 140725979631896 4991126 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 41218048 140725979649158 140725979649288 140725979649288 140725979652046 0
/proc/4651/statm: 1007021 1000987 848 476 0 1000343 0
Current children cumulated CPU time: 2519.36 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003948 KiB

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

[startup+2520.06 s]
# the end of solver process 4651 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.51 s, system=3.90052 s

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

Child status: 1
Real time (s): 2520.06
CPU time (s): 2519.41
CPU user time (s): 2515.51
CPU system time (s): 3.90052
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 4028084
Max. memory (cumulated for all children) (KiB): 4003948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.51
system time used= 3.90052
maximum resident set size= 4004008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6343110
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= 1141
involuntary context switches= 2173


# summary of solver processes directly reported to runsolver:
#   pid: 4651
#   total CPU time (s): 2519.41
#   total CPU user time (s): 2515.51
#   total CPU system time (s): 3.90052

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1031 second user time and 17.9537 second system time

The end

Begin job on node135 at 2018-07-28 06:27:29
IDJOB=4298420
IDBENCH=141137
IDSOLVER=2761
FILE ID=node135/4298420-1532752049
RUNJOBID= node135-1532739149-2861
PBS_JOBID= 21022438
Free space on /tmp= 48356 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order60_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298420-1532752049/watcher-4298420-1532752049 -o /tmp/evaluation-result-4298420-1532752049/solver-4298420-1532752049 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532739149-2861 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4298420-1532752049.xml

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

MD5SUM BENCH= 2b7bed68bca9665ed3be29de24764d77
RANDOM SEED=546115293

node135.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.50
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.50
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.50
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.50
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:        26663152 kB
MemAvailable:   31262560 kB
Buffers:          184932 kB
Cached:          4647212 kB
SwapCached:            0 kB
Active:          2317944 kB
Inactive:        3238112 kB
Active(anon):     674640 kB
Inactive(anon):    76948 kB
Active(file):    1643304 kB
Inactive(file):  3161164 kB
Unevictable:        7212 kB
Mlocked:            7212 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9892 kB
Writeback:             0 kB
AnonPages:        722396 kB
Mapped:            44096 kB
Shmem:             25248 kB
Slab:             249940 kB
SReclaimable:     221548 kB
SUnreclaim:        28392 kB
KernelStack:        3632 kB
PageTables:         6348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1020632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 48356 MiB
End job on node135 at 2018-07-28 07:09:29