34.97/35.03	c best=?? lower=0 upper=3599 
36.66/36.78	c
36.66/36.78	c This is cosoco 1.12 --  
36.66/36.78	c
36.66/36.78	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293231-1532309349.xml 
36.66/36.78	c enable optimization
36.66/36.78	c ========================================[ Problem Statistics ]===========================================
36.66/36.78	c |                                                                                                       
36.66/36.78	c |  Parse time        :        33.39 s 
36.66/36.78	c |
36.66/36.78	c |               Variables: 3600
36.66/36.78	c |            Domain Sizes: 3600..3600
36.66/36.78	c |
36.66/36.78	c |             Constraints: 212401
36.66/36.78	c |                   Arity: 2..3600  -- Binary: 212400
36.66/36.78	c | 
36.66/36.78	c |                   Types: 
36.66/36.78	c |                          (X != Y): 212400
36.66/36.78	c |                          Max constant: 1
36.66/36.78	c |                          
36.66/36.78	c |               Objective: Minimize Max constant
36.66/36.78	
36.66/36.78	c =========================================================================================================
36.66/36.78	o 61
36.66/36.78	c    1 calls to solver: best=61 lower=0 upper=60 
42.06/42.14	o 60
73.96/74.09	o 59
73.96/74.09	c    3 calls to solver: best=59 lower=0 upper=58 
2519.66/2520.01	
2519.66/2520.01	c *** INTERRUPTED ***
2519.66/2520.01	c restarts              : 90          
2519.66/2520.01	c conflicts             : 5428794      (2157 /sec)
2519.66/2520.01	c decisions             : 15934514     (6333 /sec)
2519.66/2520.01	c propagations          : 2025622117  (805008 /sec)
2519.66/2520.01	c root propagations     : 12906313    
2519.66/2520.01	c filter calls          : 58524698031    (23258465 /sec)
2519.66/2520.01	c useless filter calls  : 56549037355    (96 %)
2519.66/2520.01	c Memory used           : 3933.68 MB
2519.66/2520.01	c CPU time              : 2516.28 s
2519.66/2520.01	
2519.66/2520.01	c nb Solutions = 3
2519.66/2520.01	s SATISFIABLE
2519.66/2520.01	c Best value found: 59
2519.66/2520.01	
2519.66/2520.01	
2519.66/2520.01	v <instantiation type='solution' cost='59'>
2519.66/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.66/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.66/2520.01	v </instantiation>
2519.66/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 (9755 MiB free)
  memory of node 1: 16384 MiB (14764 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293231-1532309349/watcher-4293231-1532309349 -o /tmp/evaluation-result-4293231-1532309349/solver-4293231-1532309349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6956 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293231-1532309349.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=8269, runsolver pid=8266

[startup+0.100663 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 8270
/proc/meminfo: memFree=25005508/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=130444 memory=106548 CPUtime=0.1 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 26849 0 0 0 7 3 0 0 20 0 1 0 48498015 133574656 26637 33554432000 4194304 6142532 140734744152976 140734744149624 5566969 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 32611 26637 776 476 0 25933 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 130444 KiB
Current children cumulated memory: 106548 KiB

[startup+0.209621 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 8270
/proc/meminfo: memFree=25004840/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=130964 memory=107048 CPUtime=0.21 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 27013 0 0 0 18 3 0 0 20 0 1 0 48498015 134107136 26762 33554432000 4194304 6142532 140734744152976 140734744149624 5490829 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 32741 26762 785 476 0 26063 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 130964 KiB
Current children cumulated memory: 107048 KiB

[startup+0.308774 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 8270
/proc/meminfo: memFree=25002692/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=131612 memory=107496 CPUtime=0.3 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 27219 0 0 0 27 3 0 0 20 0 1 0 48498015 134770688 26874 33554432000 4194304 6142532 140734744152976 140734744149624 5802293 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 32903 26874 785 476 0 26225 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 131612 KiB
Current children cumulated memory: 107496 KiB

[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8270
/proc/meminfo: memFree=25001732/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=133436 memory=109180 CPUtime=0.68 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 27850 0 0 0 65 3 0 0 20 0 1 0 48498015 136638464 27295 33554432000 4194304 6142532 140734744152976 140734744149624 5796027 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 33359 27295 785 476 0 26681 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133436 KiB
Current children cumulated memory: 109180 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8270
/proc/meminfo: memFree=24998608/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=137084 memory=112908 CPUtime=1.48 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 28635 0 0 0 145 3 0 0 20 0 1 0 48498015 140374016 28227 33554432000 4194304 6142532 140734744152976 140734744149624 5798328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 34271 28227 785 476 0 27593 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 137084 KiB
Current children cumulated memory: 112908 KiB

[startup+3.10941 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8270
/proc/meminfo: memFree=24950112/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=198248 memory=173220 CPUtime=3.1 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 45721 0 0 0 303 7 0 0 20 0 1 0 48498015 203005952 43305 33554432000 4194304 6142532 140734744152976 140734744149624 139915006954512 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 49562 43305 801 476 0 42884 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 198248 KiB
Current children cumulated memory: 173220 KiB

[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 8299
/proc/meminfo: memFree=24597852/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=573280 memory=548392 CPUtime=6.28 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 144251 0 0 0 606 22 0 0 20 0 1 0 48498015 587038720 137098 33554432000 4194304 6142532 140734744152976 140734744146824 139915003460581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 143320 137098 801 476 0 136642 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 573280 KiB
Current children cumulated memory: 548392 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8331
/proc/meminfo: memFree=23437000/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=1334260 memory=1309300 CPUtime=12.67 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 338067 0 0 0 1216 51 0 0 20 0 1 0 48498015 1366282240 327325 33554432000 4194304 6142532 140734744152976 140734744146824 139915003508640 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 333565 327325 801 476 0 326887 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 1334260 KiB
Current children cumulated memory: 1309300 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8331
/proc/meminfo: memFree=21887368/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=2859056 memory=2833888 CPUtime=25.47 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 719901 0 0 0 2438 109 0 0 20 0 1 0 48498015 2927673344 708472 33554432000 4194304 6142532 140734744152976 140734744146824 139915003508640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 714764 708472 801 476 0 708086 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 2859056 KiB
Current children cumulated memory: 2833888 KiB

[startup+51.1098 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 8331
/proc/meminfo: memFree=20657812/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4025312 memory=4000776 CPUtime=51.06 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 1268362 0 0 0 4942 164 0 0 20 0 1 0 48498015 4121919488 1000194 33554432000 4194304 6142532 140734744152976 140734744149800 5148584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1006328 1000194 848 476 0 999650 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 4025312 KiB
Current children cumulated memory: 4000776 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 8339
/proc/meminfo: memFree=20654812/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=102.24 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 1487920 0 0 0 10049 175 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5148584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8340
/proc/meminfo: memFree=20654168/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=162.23 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 1697367 0 0 0 16038 185 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8341
/proc/meminfo: memFree=20654952/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=222.23 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 1891676 0 0 0 22028 195 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8342
/proc/meminfo: memFree=20655172/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=282.21 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 2129589 0 0 0 28015 206 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8343
/proc/meminfo: memFree=20654132/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=342.2 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 2346600 0 0 0 34004 216 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 4990603 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8344
/proc/meminfo: memFree=20653772/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=402.19 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 2531198 0 0 0 39995 224 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5336728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8345
/proc/meminfo: memFree=20654220/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=462.18 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 2656059 0 0 0 45989 229 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5148584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB


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

/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 1722.01 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+1782.3 s]
/proc/loadavg: 2.15 2.13 2.08 3/187 8389
/proc/meminfo: memFree=20653920/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=1782 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 4948679 0 0 0 177869 331 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 4990603 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 1782 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+1842.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 8390
/proc/meminfo: memFree=20653836/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=1842.01 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 4960406 0 0 0 183869 332 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5148584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 1842.01 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 8399
/proc/meminfo: memFree=20653948/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=1902 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5015593 0 0 0 189866 334 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5148584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 1902 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/188 8422
/proc/meminfo: memFree=20653712/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=1962 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5026826 0 0 0 195865 335 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5327666 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 1962 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 8423
/proc/meminfo: memFree=20653852/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=2022 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5034924 0 0 0 201865 335 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 5336833 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 2022 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 8424
/proc/meminfo: memFree=20653864/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003448 CPUtime=2081.99 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5074668 0 0 0 207862 337 0 0 20 0 1 0 48498015 4124758016 1000862 33554432000 4194304 6142532 140734744152976 140734744140248 4990600 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000862 848 476 0 1000343 0
Current children cumulated CPU time: 2081.99 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003448 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 8425
/proc/meminfo: memFree=20653592/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003944 CPUtime=2141.98 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5082325 0 0 0 213861 337 0 0 20 0 1 0 48498015 4124758016 1000986 33554432000 4194304 6142532 140734744152976 140734744140248 5148600 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000986 848 476 0 1000343 0
Current children cumulated CPU time: 2141.98 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003944 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8426
/proc/meminfo: memFree=20653596/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003944 CPUtime=2201.97 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5087440 0 0 0 219860 337 0 0 20 0 1 0 48498015 4124758016 1000986 33554432000 4194304 6142532 140734744152976 140734744140248 5148584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000986 848 476 0 1000343 0
Current children cumulated CPU time: 2201.97 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003944 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8427
/proc/meminfo: memFree=20653568/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003944 CPUtime=2261.97 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5115412 0 0 0 225858 339 0 0 20 0 1 0 48498015 4124758016 1000986 33554432000 4194304 6142532 140734744152976 140734744140248 5148580 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000986 848 476 0 1000343 0
Current children cumulated CPU time: 2261.97 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003944 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8428
/proc/meminfo: memFree=20652932/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003944 CPUtime=2321.97 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5120158 0 0 0 231858 339 0 0 20 0 1 0 48498015 4124758016 1000986 33554432000 4194304 6142532 140734744152976 140734744140248 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000986 848 476 0 1000343 0
Current children cumulated CPU time: 2321.97 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003944 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8429
/proc/meminfo: memFree=20653180/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4003944 CPUtime=2381.97 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5124796 0 0 0 237858 339 0 0 20 0 1 0 48498015 4124758016 1000986 33554432000 4194304 6142532 140734744152976 140734744140248 5148597 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1000986 848 476 0 1000343 0
Current children cumulated CPU time: 2381.97 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4003944 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8430
/proc/meminfo: memFree=20651508/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4004580 CPUtime=2441.95 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5130612 0 0 0 243856 339 0 0 20 0 1 0 48498015 4124758016 1001145 33554432000 4194304 6142532 140734744152976 140734744140248 4991194 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1001145 848 476 0 1000343 0
Current children cumulated CPU time: 2441.95 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4004580 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8439
/proc/meminfo: memFree=20651220/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4004580 CPUtime=2501.95 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5132576 0 0 0 249856 339 0 0 20 0 1 0 48498015 4124758016 1001145 33554432000 4194304 6142532 140734744152976 140734744140248 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1001145 848 476 0 1000343 0
Current children cumulated CPU time: 2501.95 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4004580 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 8439
/proc/meminfo: memFree=20651040/32770624 swapFree=67108852/67108860
[pid=8269] ppid=8266 vsize=4028084 memory=4004580 CPUtime=2519.66 cores=0,2,4,6
/proc/8269/stat : 8269 (cosoco) R 8266 8269 6925 0 -1 4202496 5133095 0 0 0 251627 339 0 0 20 0 1 0 48498015 4124758016 1001145 33554432000 4194304 6142532 140734744152976 140734744140248 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 40853504 140734744155270 140734744155400 140734744155400 140734744158158 0
/proc/8269/statm: 1007021 1001145 848 476 0 1000343 0
Current children cumulated CPU time: 2519.66 s
Current children cumulated vsize: 4028084 KiB
Current children cumulated memory: 4004580 KiB

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

[startup+2520.02 s]
# the end of solver process 8269 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.28 s, system=3.40905 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.69
CPU user time (s): 2516.28
CPU system time (s): 3.40905
CPU usage (%): 99.9865
Max. virtual memory (cumulated for all children) (KiB): 4028084
Max. memory (cumulated for all children) (KiB): 4004580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.40905
maximum resident set size= 4004640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5133152
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= 1265
involuntary context switches= 872


# summary of solver processes directly reported to runsolver:
#   pid: 8269
#   total CPU time (s): 2519.69
#   total CPU user time (s): 2516.28
#   total CPU system time (s): 3.40905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.58488 second user time and 18.2944 second system time

The end

Begin job on node148 at 2018-07-23 03:29:09
IDJOB=4293231
IDBENCH=141137
IDSOLVER=2752
FILE ID=node148/4293231-1532309349
RUNJOBID= node148-1532296736-6956
PBS_JOBID= 21018990
Free space on /tmp= 51984 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-4293231-1532309349/watcher-4293231-1532309349 -o /tmp/evaluation-result-4293231-1532309349/solver-4293231-1532309349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6956 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293231-1532309349.xml

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

MD5SUM BENCH= 2b7bed68bca9665ed3be29de24764d77
RANDOM SEED=751939139

node148.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:        25109760 kB
MemAvailable:   31940748 kB
Buffers:          171536 kB
Cached:          6841872 kB
SwapCached:            8 kB
Active:          1208984 kB
Inactive:        5857864 kB
Active(anon):       7036 kB
Inactive(anon):    66100 kB
Active(file):    1201948 kB
Inactive(file):  5791764 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             10112 kB
Writeback:             0 kB
AnonPages:        144612 kB
Mapped:            38740 kB
Shmem:             17024 kB
Slab:             293764 kB
SReclaimable:     265736 kB
SUnreclaim:        28028 kB
KernelStack:        3584 kB
PageTables:         5036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 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= 51980 MiB
End job on node148 at 2018-07-23 04:11:09