Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 364 | 2519.97 | 2520.01 |
Name | PseudoBoolean-opt/ Pb-circ10-3_c18.xml |
MD5SUM | 2a9d5e672b2129585e8bdcc62e976dce |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 360 |
Best CPU time to get the best result obtained on this benchmark | 2520.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2700 |
Number of constraints | 42620 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2700}] |
Minimum variable degree | 20 |
Maximum variable degree | 272 |
Distribution of variable degrees | [{"degree":20,"count":20},{"degree":21,"count":180},{"degree":30,"count":20},{"degree":31,"count":20},{"degree":32,"count":210},{"degree":42,"count":90},{"degree":52,"count":720},{"degree":59,"count":90},{"degree":76,"count":90},{"degree":92,"count":90},{"degree":108,"count":90},{"degree":124,"count":90},{"degree":140,"count":90},{"degree":156,"count":90},{"degree":172,"count":90},{"degree":188,"count":90},{"degree":204,"count":90},{"degree":220,"count":90},{"degree":236,"count":90},{"degree":252,"count":90},{"degree":266,"count":90},{"degree":267,"count":90},{"degree":272,"count":90}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":3330},{"arity":3,"count":16740},{"arity":4,"count":1590},{"arity":5,"count":1440},{"arity":6,"count":1440},{"arity":7,"count":1440},{"arity":8,"count":1440},{"arity":9,"count":1820},{"arity":10,"count":1620},{"arity":11,"count":1440},{"arity":12,"count":1440},{"arity":13,"count":1440},{"arity":14,"count":1440},{"arity":15,"count":1440},{"arity":16,"count":1440},{"arity":17,"count":1440},{"arity":18,"count":1530},{"arity":36,"count":150}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":42620}] |
Optimization problem | YES |
Type of objective | min SUM |
4.48/4.53 c best=?? lower=0 upper=2500 17.88/17.96 c 17.88/17.96 c This is cosoco 1.12 -- 17.88/17.96 c 17.88/17.96 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293067-1532306826.xml 17.88/17.96 c enable optimization 17.88/17.96 c ========================================[ Problem Statistics ]=========================================== 17.88/17.96 c | 17.88/17.96 c | Parse time : 4.32 s 17.88/17.96 c | 17.88/17.96 c | Variables: 2700 17.88/17.96 c | Domain Sizes: 2..2 17.88/17.96 c | 17.88/17.96 c | Constraints: 42621 17.88/17.96 c | Arity: 2..900 -- Binary: 3330 -- Ternary: 16740 17.88/17.96 c | 17.88/17.96 c | Types: 17.88/17.96 c | Sum: 42621 17.88/17.96 c | 17.88/17.96 c | Objective: Minimize Sum 17.88/17.96 17.88/17.96 c ========================================================================================================= 17.88/17.96 o 404 17.88/17.96 c 1 calls to solver: best=404 lower=0 upper=403 34.58/34.64 o 400 39.67/39.72 o 384 39.67/39.72 c 3 calls to solver: best=384 lower=0 upper=383 41.17/41.29 o 380 44.47/44.52 o 376 44.47/44.52 c 5 calls to solver: best=376 lower=0 upper=375 153.63/153.71 o 374 918.51/918.60 o 364 918.51/918.60 c 7 calls to solver: best=364 lower=0 upper=363 2519.96/2520.01 2519.96/2520.01 c *** INTERRUPTED *** 2519.96/2520.01 c restarts : 51 2519.96/2520.01 c conflicts : 128762 (51 /sec) 2519.96/2520.01 c decisions : 8930695 (3545 /sec) 2519.96/2520.01 c propagations : 62490278 (24803 /sec) 2519.96/2520.01 c root propagations : 532522 2519.96/2520.01 c filter calls : 3809980997 (1512239 /sec) 2519.96/2520.01 c useless filter calls : 3784827301 (99 %) 2519.96/2520.01 c Memory used : 528.65 MB 2519.96/2520.01 c CPU time : 2519.43 s 2519.96/2520.01 2519.96/2520.01 c nb Solutions = 7 2519.96/2520.01 s SATISFIABLE 2519.96/2520.01 c Best value found: 364 2519.96/2520.01 2519.96/2520.01 2519.96/2520.01 v <instantiation type='solution' cost='364'> 2519.96/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[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] 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.96/2520.01 v <values>0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 </values> 2519.96/2520.01 v </instantiation> 2519.96/2520.01
OK 364
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 (9766 MiB free) memory of node 1: 16384 MiB (14755 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293067-1532306826/watcher-4293067-1532306826 -o /tmp/evaluation-result-4293067-1532306826/solver-4293067-1532306826 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6956 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293067-1532306826.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=8009, runsolver pid=8006 [startup+0.100619 s]* /proc/loadavg: 2.24 2.09 2.06 3/187 8010 /proc/meminfo: memFree=25099640/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=38736 memory=15020 CPUtime=0.1 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 3947 0 0 0 10 0 0 0 20 0 1 0 48245777 39665664 3755 33554432000 4194304 6142532 140737394666400 140737394660088 139904744360933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 9684 3755 824 476 0 3006 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 38736 KiB Current children cumulated memory: 15020 KiB [startup+0.209616 s]* /proc/loadavg: 2.24 2.09 2.06 3/187 8010 /proc/meminfo: memFree=25084224/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=54684 memory=30976 CPUtime=0.21 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 7949 0 0 0 20 1 0 0 20 0 1 0 48245777 55996416 7744 33554432000 4194304 6142532 140737394666400 140737394660088 139904744360933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 13671 7744 824 476 0 6993 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 54684 KiB Current children cumulated memory: 30976 KiB [startup+0.30952 s]* /proc/loadavg: 2.24 2.09 2.06 3/187 8010 /proc/meminfo: memFree=25080504/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=57796 memory=34108 CPUtime=0.31 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 8712 0 0 0 30 1 0 0 20 0 1 0 48245777 59183104 8527 33554432000 4194304 6142532 140737394666400 140737394660088 5454700 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 14449 8527 824 476 0 7771 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 57796 KiB Current children cumulated memory: 34108 KiB [startup+0.700316 s] /proc/loadavg: 2.24 2.09 2.06 3/187 8010 /proc/meminfo: memFree=25077900/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=91312 memory=67608 CPUtime=0.69 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 17144 0 0 0 67 2 0 0 20 0 1 0 48245777 93503488 16902 33554432000 4194304 6142532 140737394666400 140737394660088 139904744360933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 22828 16902 824 476 0 16150 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 91312 KiB Current children cumulated memory: 67608 KiB [startup+1.50031 s] /proc/loadavg: 2.24 2.09 2.06 3/187 8010 /proc/meminfo: memFree=24998416/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=220812 memory=197232 CPUtime=1.49 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 49517 0 0 0 142 7 0 0 20 0 1 0 48245777 226111488 49308 33554432000 4194304 6142532 140737394666400 140737394660088 139904744360933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 55203 49308 824 476 0 48525 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 220812 KiB Current children cumulated memory: 197232 KiB [startup+3.10922 s] /proc/loadavg: 2.24 2.09 2.06 3/187 8010 /proc/meminfo: memFree=24791848/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=357648 memory=333960 CPUtime=3.09 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 85153 0 0 0 297 12 0 0 20 0 1 0 48245777 366231552 83490 33554432000 4194304 6142532 140737394666400 140737394658104 139904744360933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 89412 83490 824 476 0 82734 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 357648 KiB Current children cumulated memory: 333960 KiB [startup+6.30032 s] /proc/loadavg: 2.22 2.09 2.06 3/187 8010 /proc/meminfo: memFree=24617532/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=517988 memory=494600 CPUtime=6.29 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 170990 0 0 0 608 21 0 0 20 0 1 0 48245777 530419712 123650 33554432000 4194304 6142532 140737394666400 140737394663208 5138182 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 129497 123650 866 476 0 122819 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 517988 KiB Current children cumulated memory: 494600 KiB [startup+12.7003 s] /proc/loadavg: 2.21 2.08 2.06 3/187 8074 /proc/meminfo: memFree=24611884/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=529052 memory=505564 CPUtime=12.68 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 244209 0 0 0 1243 25 0 0 20 0 1 0 48245777 541749248 126391 33554432000 4194304 6142532 140737394666400 140737394663064 5139732 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 132263 126391 866 476 0 125585 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 529052 KiB Current children cumulated memory: 505564 KiB [startup+25.5003 s] /proc/loadavg: 2.16 2.08 2.06 3/187 8074 /proc/meminfo: memFree=24607636/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=532836 memory=509424 CPUtime=25.47 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 358565 0 0 0 2515 32 0 0 20 0 1 0 48245777 545624064 127356 33554432000 4194304 6142532 140737394666400 140737394653672 4990729 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 133209 127356 867 476 0 126531 0 Current children cumulated CPU time: 25.47 s Current children cumulated vsize: 532836 KiB Current children cumulated memory: 509424 KiB [startup+51.1095 s] /proc/loadavg: 2.11 2.07 2.06 3/187 8074 /proc/meminfo: memFree=24603272/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=537100 memory=513476 CPUtime=51.08 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 467955 0 0 0 5071 37 0 0 20 0 1 0 48245777 549990400 128369 33554432000 4194304 6142532 140737394666400 140737394663256 5138368 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 134275 128369 867 476 0 127597 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 537100 KiB Current children cumulated memory: 513476 KiB [startup+102.3 s] /proc/loadavg: 2.05 2.06 2.05 3/187 8075 /proc/meminfo: memFree=24602172/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=537916 memory=514344 CPUtime=102.24 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 547350 0 0 0 10183 41 0 0 20 0 1 0 48245777 550825984 128586 33554432000 4194304 6142532 140737394666400 140737394663128 5138259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 134479 128586 867 476 0 127801 0 Current children cumulated CPU time: 102.24 s Current children cumulated vsize: 537916 KiB Current children cumulated memory: 514344 KiB [startup+162.3 s] /proc/loadavg: 2.02 2.05 2.05 3/187 8076 /proc/meminfo: memFree=24601332/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=538884 memory=515296 CPUtime=162.22 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 619409 0 0 0 16176 46 0 0 20 0 1 0 48245777 551817216 128824 33554432000 4194304 6142532 140737394666400 140737394663928 5140258 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 134721 128824 867 476 0 128043 0 Current children cumulated CPU time: 162.22 s Current children cumulated vsize: 538884 KiB Current children cumulated memory: 515296 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.04 2.05 3/187 8084 /proc/meminfo: memFree=24600088/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=539016 memory=515428 CPUtime=222.2 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 658371 0 0 0 22172 48 0 0 20 0 1 0 48245777 551952384 128857 33554432000 4194304 6142532 140737394666400 140737394663144 5215819 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 134754 128857 867 476 0 128076 0 Current children cumulated CPU time: 222.2 s Current children cumulated vsize: 539016 KiB Current children cumulated memory: 515428 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 8085 /proc/meminfo: memFree=24601172/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=539148 memory=515532 CPUtime=282.19 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 675159 0 0 0 28170 49 0 0 20 0 1 0 48245777 552087552 128883 33554432000 4194304 6142532 140737394666400 140737394663256 4990723 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 134787 128883 867 476 0 128109 0 Current children cumulated CPU time: 282.19 s Current children cumulated vsize: 539148 KiB Current children cumulated memory: 515532 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 8086 /proc/meminfo: memFree=24600884/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=539680 memory=516144 CPUtime=342.19 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 676722 0 0 0 34169 50 0 0 20 0 1 0 48245777 552632320 129036 33554432000 4194304 6142532 140737394666400 140737394663144 5137861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 134920 129036 867 476 0 128242 0 Current children cumulated CPU time: 342.19 s Current children cumulated vsize: 539680 KiB Current children cumulated memory: 516144 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 8087 /proc/meminfo: memFree=24601952/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=539680 memory=516164 CPUtime=402.19 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 677291 0 0 0 40169 50 0 0 20 0 1 0 48245777 552632320 129041 33554432000 4194304 6142532 140737394666400 140737394663144 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 134920 129041 867 476 0 128242 0 Current children cumulated CPU time: 402.19 s Current children cumulated vsize: 539680 KiB Current children cumulated memory: 516164 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 8088 /proc/meminfo: memFree=24601712/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=539952 memory=516516 CPUtime=462.19 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 678028 0 0 0 46169 50 0 0 20 0 1 0 48245777 552910848 129129 33554432000 4194304 6142532 140737394666400 140737394663128 5138259 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 134988 129129 867 476 0 128310 0 Current children cumulated CPU time: 462.19 s Current children cumulated vsize: 539952 KiB Current children cumulated memory: 516516 KiB ################ # More data... # ################ /proc/8009/statm: 135300 129424 867 476 0 128622 0 Current children cumulated CPU time: 1722.22 s Current children cumulated vsize: 541200 KiB Current children cumulated memory: 517696 KiB [startup+1782.3 s] /proc/loadavg: 2.03 2.10 2.09 3/187 8187 /proc/meminfo: memFree=24597200/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541200 memory=517696 CPUtime=1782.23 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 688035 0 0 0 178170 53 0 0 20 0 1 0 48245777 554188800 129424 33554432000 4194304 6142532 140737394666400 140737394663128 4990729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135300 129424 867 476 0 128622 0 Current children cumulated CPU time: 1782.23 s Current children cumulated vsize: 541200 KiB Current children cumulated memory: 517696 KiB [startup+1842.3 s] /proc/loadavg: 2.01 2.08 2.08 3/187 8188 /proc/meminfo: memFree=24597432/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541200 memory=517748 CPUtime=1842.23 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 688454 0 0 0 184170 53 0 0 20 0 1 0 48245777 554188800 129437 33554432000 4194304 6142532 140737394666400 140737394663128 5137312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135300 129437 867 476 0 128622 0 Current children cumulated CPU time: 1842.23 s Current children cumulated vsize: 541200 KiB Current children cumulated memory: 517748 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.07 2.07 3/187 8189 /proc/meminfo: memFree=24597364/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541200 memory=517748 CPUtime=1902.23 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 688924 0 0 0 190170 53 0 0 20 0 1 0 48245777 554188800 129437 33554432000 4194304 6142532 140737394666400 140737394663128 5138432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135300 129437 867 476 0 128622 0 Current children cumulated CPU time: 1902.23 s Current children cumulated vsize: 541200 KiB Current children cumulated memory: 517748 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.06 2.07 3/187 8190 /proc/meminfo: memFree=24597348/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541200 memory=517764 CPUtime=1962.23 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 689273 0 0 0 196170 53 0 0 20 0 1 0 48245777 554188800 129441 33554432000 4194304 6142532 140737394666400 140737394663128 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135300 129441 867 476 0 128622 0 Current children cumulated CPU time: 1962.23 s Current children cumulated vsize: 541200 KiB Current children cumulated memory: 517764 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.04 2.06 3/187 8198 /proc/meminfo: memFree=24597692/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541200 memory=517764 CPUtime=2022.23 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 689627 0 0 0 202170 53 0 0 20 0 1 0 48245777 554188800 129441 33554432000 4194304 6142532 140737394666400 140737394663128 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135300 129441 867 476 0 128622 0 Current children cumulated CPU time: 2022.23 s Current children cumulated vsize: 541200 KiB Current children cumulated memory: 517764 KiB [startup+2082.3 s] /proc/loadavg: 2.08 2.06 2.06 3/187 8199 /proc/meminfo: memFree=24597468/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541336 memory=517800 CPUtime=2082.24 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 690072 0 0 0 208171 53 0 0 20 0 1 0 48245777 554328064 129450 33554432000 4194304 6142532 140737394666400 140737394663256 5215649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135334 129450 867 476 0 128656 0 Current children cumulated CPU time: 2082.24 s Current children cumulated vsize: 541336 KiB Current children cumulated memory: 517800 KiB [startup+2142.3 s] /proc/loadavg: 2.03 2.04 2.06 3/187 8200 /proc/meminfo: memFree=24597716/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541336 memory=517820 CPUtime=2142.24 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 690394 0 0 0 214171 53 0 0 20 0 1 0 48245777 554328064 129455 33554432000 4194304 6142532 140737394666400 140737394663256 4991027 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135334 129455 867 476 0 128656 0 Current children cumulated CPU time: 2142.24 s Current children cumulated vsize: 541336 KiB Current children cumulated memory: 517820 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.04 2.05 3/187 8201 /proc/meminfo: memFree=24597720/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541336 memory=517836 CPUtime=2202.24 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 690874 0 0 0 220171 53 0 0 20 0 1 0 48245777 554328064 129459 33554432000 4194304 6142532 140737394666400 140737394663256 5215644 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135334 129459 867 476 0 128656 0 Current children cumulated CPU time: 2202.24 s Current children cumulated vsize: 541336 KiB Current children cumulated memory: 517836 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 8202 /proc/meminfo: memFree=24597492/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541336 memory=517836 CPUtime=2262.24 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 691225 0 0 0 226171 53 0 0 20 0 1 0 48245777 554328064 129459 33554432000 4194304 6142532 140737394666400 140737394663256 5215810 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135334 129459 867 476 0 128656 0 Current children cumulated CPU time: 2262.24 s Current children cumulated vsize: 541336 KiB Current children cumulated memory: 517836 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 8204 /proc/meminfo: memFree=24597936/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541336 memory=517836 CPUtime=2322.25 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 691583 0 0 0 232171 54 0 0 20 0 1 0 48245777 554328064 129459 33554432000 4194304 6142532 140737394666400 140737394663256 5215611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135334 129459 867 476 0 128656 0 Current children cumulated CPU time: 2322.25 s Current children cumulated vsize: 541336 KiB Current children cumulated memory: 517836 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 8205 /proc/meminfo: memFree=24597752/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541336 memory=517848 CPUtime=2382.25 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 691981 0 0 0 238171 54 0 0 20 0 1 0 48245777 554328064 129462 33554432000 4194304 6142532 140737394666400 140737394663256 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135334 129462 867 476 0 128656 0 Current children cumulated CPU time: 2382.25 s Current children cumulated vsize: 541336 KiB Current children cumulated memory: 517848 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 8207 /proc/meminfo: memFree=24597736/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541336 memory=517876 CPUtime=2442.25 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 692497 0 0 0 244171 54 0 0 20 0 1 0 48245777 554328064 129469 33554432000 4194304 6142532 140737394666400 140737394663256 5215649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135334 129469 867 476 0 128656 0 Current children cumulated CPU time: 2442.25 s Current children cumulated vsize: 541336 KiB Current children cumulated memory: 517876 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 8209 /proc/meminfo: memFree=24597364/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541336 memory=517892 CPUtime=2502.26 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 692886 0 0 0 250172 54 0 0 20 0 1 0 48245777 554328064 129473 33554432000 4194304 6142532 140737394666400 140737394663256 5138259 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135334 129473 867 476 0 128656 0 Current children cumulated CPU time: 2502.26 s Current children cumulated vsize: 541336 KiB Current children cumulated memory: 517892 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 8209 /proc/meminfo: memFree=24597488/32770624 swapFree=67108852/67108860 [pid=8009] ppid=8006 vsize=541336 memory=517892 CPUtime=2519.96 cores=0,2,4,6 /proc/8009/stat : 8009 (cosoco) R 8006 8009 6925 0 -1 4202496 693025 0 0 0 251942 54 0 0 20 0 1 0 48245777 554328064 129473 33554432000 4194304 6142532 140737394666400 140737394663256 5138000 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 37634048 140737394672774 140737394672904 140737394672904 140737394675662 0 /proc/8009/statm: 135334 129473 867 476 0 128656 0 Current children cumulated CPU time: 2519.96 s Current children cumulated vsize: 541336 KiB Current children cumulated memory: 517892 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 8009 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.43 s, system=0.543013 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.97 CPU user time (s): 2519.43 CPU system time (s): 0.543013 CPU usage (%): 99.9985 Max. virtual memory (cumulated for all children) (KiB): 541336 Max. memory (cumulated for all children) (KiB): 517892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.43 system time used= 0.543013 maximum resident set size= 517964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 693073 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= 141 involuntary context switches= 2002 # summary of solver processes directly reported to runsolver: # pid: 8009 # total CPU time (s): 2519.97 # total CPU user time (s): 2519.43 # total CPU system time (s): 0.543013 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.15561 second user time and 19.3657 second system time The end
Begin job on node148 at 2018-07-23 02:47:06 IDJOB=4293067 IDBENCH=141111 IDSOLVER=2752 FILE ID=node148/4293067-1532306826 RUNJOBID= node148-1532296736-6956 PBS_JOBID= 21018990 Free space on /tmp= 51988 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-circ10-3_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293067-1532306826/watcher-4293067-1532306826 -o /tmp/evaluation-result-4293067-1532306826/solver-4293067-1532306826 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6956 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293067-1532306826.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2a9d5e672b2129585e8bdcc62e976dce RANDOM SEED=63465649 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: 25110652 kB MemAvailable: 31935216 kB Buffers: 170396 kB Cached: 6836740 kB SwapCached: 8 kB Active: 1208032 kB Inactive: 5856392 kB Active(anon): 11104 kB Inactive(anon): 66100 kB Active(file): 1196928 kB Inactive(file): 5790292 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 5752 kB Writeback: 0 kB AnonPages: 64480 kB Mapped: 38456 kB Shmem: 17024 kB Slab: 293368 kB SReclaimable: 265804 kB SUnreclaim: 27564 kB KernelStack: 3296 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 350216 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 51984 MiB End job on node148 at 2018-07-23 03:29:06