Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -997 | 3585.01 | 3597.36 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_66.opb |
| MD5SUM | 7cbab653d296f81eb095bf1f983193d8 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -1089 |
| Best CPU time to get the best result obtained on this benchmark | 2062.74 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2145 |
| Total number of constraints | 183040 |
| Number of constraints which are clauses | 183040 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1815 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1815 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1815 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4458845-1721869288.opb>
0.29/0.36 c original problem has 2145 variables (2145 bin, 0 int, 0 impl, 0 cont) and 183040 constraints
0.29/0.36 c problem read in 0.36
0.59/0.65 o 0
0.59/0.65 c feasible solution found by trivial heuristic after 0.6 seconds, objective value 0.000000e+00
0.59/0.65 c presolving:
0.99/1.08 c (1.1s) running MILP presolver
1.18/1.25 c (1.2s) MILP presolver found nothing
1.68/1.70 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 183040 upgd conss, 0 impls, 0 clqs
2.69/2.76 c (2.8s) probing: 51/2145 (2.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.69/2.76 c (2.8s) probing aborted: 50/50 successive totally useless probings
3.98/4.08 c (4.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.47/7.57 c (7.6s) symmetry computation finished: 64 generators found (max: 1500, log10 of symmetry group size: 40.0) (symcode time: 3.32)
7.47/7.58 c dynamic symmetry handling statistics:
7.47/7.58 c orbitopal reduction: no components
7.47/7.58 c orbital reduction: 1 components of sizes 64
7.47/7.58 c lexicographic reduction: 64 permutations with support sizes 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 1188, 128, 1188, 128, 1188, 128, 1188, 1188
7.47/7.58 c handled 1 out of 1 symmetry components
7.57/7.69 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
7.57/7.69 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.57/7.69 c 0 implications, 0 cliques
7.57/7.69 c presolved problem has 2145 variables (2145 bin, 0 int, 0 impl, 0 cont) and 183040 constraints
7.57/7.69 c 183040 constraints of type <logicor>
7.57/7.69 c transformed objective value is always integral (scale: 1)
7.57/7.69 c Presolving Time: 7.06
7.57/7.69 c - non default parameters ----------------------------------------------------------------------
7.57/7.69 c # SCIP version 10.0.0
7.57/7.69 c
7.57/7.69 c # maximal time in seconds to run
7.57/7.69 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.57/7.69 c limits/time = 3596.998025
7.57/7.69 c
7.57/7.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.57/7.69 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.57/7.69 c limits/memory = 27900
7.57/7.69 c
7.57/7.69 c # belongs reading time to solving time?
7.57/7.69 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.57/7.69 c timing/reading = TRUE
7.57/7.69 c
7.57/7.69 c -----------------------------------------------------------------------------------------------
7.57/7.69 c start solving
7.67/7.70 c transformed 1/1 original solutions to the transformed problem space
7.67/7.70 c
8.07/8.12 o -997
8.07/8.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.07/8.12 c p 8.1s| 1 | 0 | 0 | - | locks| 0 |2145 | 183k| 183k| 0 | 0 | 0 | 0 |-1.815000e+03 |-9.970000e+02 | 82.05%| unknown
1294.15/1298.87 c 1299s| 1 | 0 |279576 | - | 881M | 0 |2145 | 183k| 183k| 0 | 0 | 0 | 0 |-1.210000e+03 |-9.970000e+02 | 21.36%| unknown
1691.30/1697.22 c 1697s| 1 | 2 |343092 | - | 917M | 0 |2145 | 183k| 183k| 0 | 1 | 0 | 27 |-1.209870e+03 |-9.970000e+02 | 21.35%| unknown
3584.65/3597.01 c
3584.65/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3584.65/3597.01 c Solving Time (sec) : 3597.00
3584.65/3597.01 c Solving Nodes : 17
3584.65/3597.01 c Primal Bound : -9.97000000000000e+02 (2 solutions)
3584.65/3597.01 c Dual Bound : -1.15816716334207e+03
3584.65/3597.01 c Gap : 16.17 %
3584.65/3597.05 s SATISFIABLE
3584.65/3597.05 v -x2130 -x2123 x2115 -x2106 x2096 -x2085 -x2079 -x2073 -x2066 -x2060 -x2052 x2046 -x2037 -x2031 -x2021 x2015 -x2004 -x1998 -x1992
3584.65/3597.05 v -x1986 -x1980 -x1973 -x1967 -x1961 x1953 -x1947 x1941 -x1932 -x1926 -x1920 x1910 -x1904 x1898 -x1887 -x1881 -x1875 -x1869 -x1863
3584.65/3597.05 v -x1857 -x1851 -x1844 -x1838 -x1832 -x1826 x1818 -x1812 x1806 -x1800 -x1791 -x1785 -x1779 -x1773 -x1763 x1757 -x1751 x1745
3584.65/3597.05 v -x1734 -x1728 -x1722 -x1716 -x1710 -x1704 -x1698 -x1692 -x1686 x1679 x1673 x1667 x1661 x1655 x1647 -x1641 x1635 -x1629 -x1623
3584.65/3597.05 v -x1614 -x1608 -x1602 -x1596 -x1590 x1580 -x1574 x1568 -x1562 x1556 -x1545 -x1539 -x1533 -x1527 -x1521 -x1515 -x1509 -x1503
3584.65/3597.05 v -x1497 -x1491 -x1485 x1478 x1472 x1466 x1460 x1454 -x1448 x1440 -x1434 x1428 -x1422 -x1416 -x1410 -x1401 -x1395 -x1389 -x1383
3584.65/3597.05 v -x1377 -x1371 -x1361 x1355 -x1349 x1343 -x1337 x1331 -x1320 -x1314 -x1308 -x1302 -x1296 -x1290 -x1284 -x1278 -x1272 -x1266
3584.65/3597.05 v -x1260 -x1254 -x1248 -x1241 -x1235 -x1229 -x1223 -x1217 x1211 x1205 x1197 -x1191 x1185 -x1179 -x1173 -x1167 -x1161 -x1152 -x1146
3584.65/3597.05 v -x1140 -x1134 -x1128 -x1122 -x1116 x1106 -x1100 x1094 -x1088 x1082 -x1076 x1070 -x1059 -x1053 -x1047 -x1041 -x1035 -x1029
3584.65/3597.05 v -x1023 -x1017 -x1011 -x1005 -x999 -x993 -x987 -x981 -x975 -x968 -x962 -x956 -x950 -x944 x938 x932 -x926 x918 -x912 x906 -x900
3584.65/3597.05 v -x894 -x888 -x882 -x876 -x867 -x861 -x855 -x849 -x843 -x837 -x831 -x825 x815 -x809 x803 -x797 x791 -x785 x779 -x773 -x762
3584.65/3597.05 v -x756 -x750 -x744 -x738 -x732 -x726 -x720 -x714 -x708 -x702 -x696 -x690 -x684 -x678 -x672 -x666 x659 x653 x647 x641 x635 -x629
3584.65/3597.05 v -x623 x617 x611 x603 -x597 x591 -x585 -x579 -x573 -x567 -x561 -x555 x546 x540 x534 x528 x522 x516 x510 x504 x498 x488 -x482
3584.65/3597.05 v x476 -x470 x464 -x458 x452 -x446 -x440 -x429 -x423 -x417 -x411 -x405 -x399 -x393 -x387 -x381 -x375 -x369 -x363 -x357 -x351 -x345
3584.65/3597.05 v -x339 -x333 -x327 -x321 x314 x308 x302 x296 x290 -x284 -x278 x272 x266 -x260 x252 -x246 x240 -x234 -x228 -x222 -x216 -x210
3584.65/3597.05 v -x204 -x198 x189 x183 x177 x171 x165 x159 x153 x147 x141 -x135 x125 -x60 -x119 -x54 x113 -x48 -x107 -x42 x101 -x36 -x95 -x30
3584.65/3597.05 v x89 -x24 -x83 -x18 -x77 -x12 -x71 -x6 x2145 x2144 -x2143 x2142 -x2141 -x2140 x2139 -x2138 -x2137 -x2136 x2135 -x2134 -x2133
3584.65/3597.05 v -x2132 -x2131 x2129 x2128 x2127 x2126 x2125 x2124 x2118 -x2122 -x2121 -x2120 -x2119 -x2117 -x2111 x2116 x2110 x2114 x2113 x2112
3584.65/3597.05 v x2109 x2103 -x2108 -x2102 -x2107 x2101 -x2105 -x2104 -x2100 -x2094 x2099 x2093 x2098 -x2092 x2097 x2091 x2095 x2090 x2084
3584.65/3597.05 v -x2089 -x2083 -x2088 x2082 -x2087 -x2081 -x2086 x2080 x2078 x2072 x2077 -x2071 x2076 x2070 x2075 -x2069 x2074 x2068 x2067 x2061
3584.65/3597.05 v x2055 -x2065 x2059 -x2064 -x2058 -x2063 x2057 -x2062 -x2056 x2054 x2048 x2042 -x2053 -x2047 -x2041 -x2051 -x2045 -x2050
3584.65/3597.05 v x2044 -x2049 -x2043 x2040 x2034 x2028 -x2039 -x2033 -x2027 -x2038 x2032 -x2026 -x2036 x2030 -x2035 -x2029 x2025 x2019 x2013 -x2024
3584.65/3597.05 v -x2018 -x2012 -x2023 x2017 -x2011 -x2022 -x2016 -x2010 -x2020 -x2014 x2009 x2003 x1997 -x2008 -x2002 -x1996 -x2007 x2001
3584.65/3597.05 v -x1995 -x2006 -x2000 -x1994 -x2005 x1999 -x1993 x1991 x1985 x1979 x1990 -x1984 x1978 x1989 x1983 x1977 x1988 -x1982 x1976 x1987
3584.65/3597.05 v x1981 x1975 x1974 x1968 x1962 x1956 -x1972 x1966 -x1960 -x1971 -x1965 -x1959 -x1970 x1964 -x1958 -x1969 -x1963 -x1957 -x1955
3584.65/3597.05 v -x1949 -x1943 -x1937 x1954 x1948 x1942 x1936 x1952 x1946 x1940 x1951 -x1945 x1939 x1950 x1944 x1938 x1935 x1929 x1923 x1917
3584.65/3597.05 v -x1934 -x1928 -x1922 -x1916 -x1933 x1927 -x1921 x1915 -x1931 x1925 -x1919 -x1930 -x1924 -x1918 -x1914 -x1908 -x1902 -x1896
3584.65/3597.05 v x1913 x1907 x1901 x1895 x1912 -x1906 x1900 -x1894 x1911 x1905 x1899 x1893 x1909 x1903 x1897 x1892 x1886 x1880 x1874 -x1891
3584.65/3597.05 v -x1885 -x1879 -x1873 -x1890 x1884 -x1878 x1872 -x1889 -x1883 -x1877 -x1871 -x1888 x1882 -x1876 x1870 x1868 x1862 x1856 x1850
3584.65/3597.05 v x1867 -x1861 x1855 -x1849 x1866 x1860 x1854 x1848 x1865 -x1859 x1853 -x1847 x1864 x1858 x1852 x1846 x1845 x1839 x1833 x1827 x1821
3584.65/3597.05 v -x1843 x1837 -x1831 x1825 -x1842 -x1836 -x1830 -x1824 -x1841 x1835 -x1829 x1823 -x1840 -x1834 -x1828 -x1822 -x1820 -x1814
3584.65/3597.05 v -x1808 -x1802 -x1796 x1819 x1813 x1807 x1801 x1795 x1817 x1811 x1805 x1799 x1816 -x1810 x1804 -x1798 x1815 x1809 x1803 x1797
3584.65/3597.05 v x1794 x1788 x1782 x1776 x1770 -x1793 -x1787 -x1781 -x1775 -x1769 -x1792 x1786 -x1780 x1774 x1768 -x1790 x1784 -x1778 x1772
3584.65/3597.05 v -x1789 -x1783 -x1777 -x1771 x1767 x1761 x1755 x1749 x1743 -x1766 -x1760 -x1754 -x1748 -x1742 -x1765 x1759 -x1753 x1747 x1741
3584.65/3597.05 v -x1764 -x1758 -x1752 -x1746 -x1740 -x1762 -x1756 -x1750 -x1744 x1739 x1733 x1727 x1721 x1715 -x1738 -x1732 -x1726 -x1720 -x1714
3584.65/3597.05 v -x1737 x1731 -x1725 x1719 x1713 -x1736 -x1730 -x1724 -x1718 -x1712 -x1735 x1729 -x1723 x1717 -x1711 x1709 x1703 x1697 x1691
3584.65/3597.05 v x1685 x1708 -x1702 x1696 -x1690 -x1684 x1707 x1701 x1695 x1689 x1683 x1706 -x1700 x1694 -x1688 x1682 x1705 x1699 x1693 x1687
3584.65/3597.05 v x1681 -x1680 -x1674 -x1668 -x1662 -x1656 -x1650 x1678 -x1672 x1666 -x1660 -x1654 x1677 x1671 x1665 x1659 x1653 x1676 -x1670
3584.65/3597.05 v x1664 -x1658 x1652 x1675 x1669 x1663 x1657 x1651 -x1649 -x1643 -x1637 -x1631 -x1625 -x1619 x1648 x1642 x1636 x1630 x1624 -x1618
3584.65/3597.05 v x1646 x1640 x1634 x1628 x1622 x1645 -x1639 x1633 -x1627 x1621 x1644 x1638 x1632 x1626 x1620 x1617 x1611 x1605 x1599 x1593
3584.65/3597.05 v x1587 -x1616 -x1610 -x1604 -x1598 -x1592 x1586 -x1615 x1609 -x1603 x1597 x1591 x1585 -x1613 x1607 -x1601 x1595 -x1589 -x1612
3584.65/3597.05 v -x1606 -x1600 -x1594 -x1588 -x1584 -x1578 -x1572 -x1566 -x1560 -x1554 x1583 x1577 x1571 x1565 x1559 -x1553 x1582 -x1576 x1570
3584.65/3597.05 v -x1564 -x1558 -x1552 x1581 x1575 x1569 x1563 x1557 x1551 x1579 x1573 x1567 x1561 x1555 x1550 x1544 x1538 x1532 x1526 x1520
3584.65/3597.05 v -x1549 -x1543 -x1537 -x1531 -x1525 x1519 -x1548 x1542 -x1536 x1530 x1524 x1518 -x1547 -x1541 -x1535 -x1529 -x1523 -x1517 -x1546
3584.65/3597.05 v x1540 -x1534 x1528 -x1522 x1516 x1514 x1508 x1502 x1496 x1490 -x1484 x1513 -x1507 x1501 -x1495 -x1489 -x1483 x1512 x1506 x1500
3584.65/3597.05 v x1494 x1488 x1482 x1511 -x1505 x1499 -x1493 x1487 -x1481 x1510 x1504 x1498 x1492 x1486 x1480 -x1479 -x1473 -x1467 -x1461
3584.65/3597.05 v -x1455 -x1449 -x1443 x1477 -x1471 x1465 -x1459 -x1453 -x1447 x1476 x1470 x1464 x1458 x1452 x1446 x1475 -x1469 x1463 -x1457 x1451
3584.65/3597.05 v -x1445 x1474 x1468 x1462 x1456 x1450 x1444 -x1442 -x1436 -x1430 -x1424 -x1418 -x1412 -x1406 x1441 x1435 x1429 x1423 x1417
3584.65/3597.05 v -x1411 -x1405 x1439 x1433 x1427 x1421 x1415 x1409 x1438 -x1432 x1426 -x1420 x1414 -x1408 x1437 x1431 x1425 x1419 x1413 x1407
3584.65/3597.05 v x1404 x1398 x1392 x1386 x1380 x1374 x1368 -x1403 -x1397 -x1391 -x1385 -x1379 x1373 x1367 -x1402 x1396 -x1390 x1384 x1378 x1372
3584.65/3597.05 v x1366 -x1400 x1394 -x1388 x1382 -x1376 x1370 -x1399 -x1393 -x1387 -x1381 -x1375 -x1369 x1365 x1359 x1353 x1347 x1341 x1335
3584.65/3597.05 v x1329 -x1364 -x1358 -x1352 -x1346 -x1340 x1334 x1328 -x1363 x1357 -x1351 x1345 x1339 x1333 x1327 -x1362 -x1356 -x1350 -x1344
3584.65/3597.05 v -x1338 -x1332 -x1326 -x1360 -x1354 -x1348 -x1342 -x1336 -x1330 x1325 x1319 x1313 x1307 x1301 x1295 x1289 -x1324 -x1318 -x1312
3584.65/3597.05 v -x1306 -x1300 x1294 x1288 -x1323 x1317 -x1311 x1305 x1299 x1293 x1287 -x1322 -x1316 -x1310 -x1304 -x1298 -x1292 -x1286 -x1321
3584.65/3597.05 v x1315 -x1309 x1303 -x1297 x1291 -x1285 x1283 x1277 x1271 x1265 x1259 -x1253 -x1247 x1282 -x1276 x1270 -x1264 -x1258 -x1252
3584.65/3597.05 v -x1246 x1281 x1275 x1269 x1263 x1257 x1251 x1245 x1280 -x1274 x1268 -x1262 x1256 -x1250 x1244 x1279 x1273 x1267 x1261 x1255
3584.65/3597.05 v x1249 x1243 x1242 x1236 x1230 x1224 x1218 x1212 x1206 x1200 -x1240 x1234 -x1228 x1222 x1216 x1210 x1204 -x1239 -x1233 -x1227
3584.65/3597.05 v -x1221 -x1215 -x1209 -x1203 -x1238 x1232 -x1226 x1220 -x1214 x1208 -x1202 -x1237 -x1231 -x1225 -x1219 -x1213 -x1207 -x1201 -x1199
3584.65/3597.05 v -x1193 -x1187 -x1181 -x1175 -x1169 -x1163 -x1157 x1198 x1192 x1186 x1180 x1174 -x1168 -x1162 x1156 x1196 x1190 x1184 x1178
3584.65/3597.05 v x1172 x1166 x1160 x1195 -x1189 x1183 -x1177 x1171 -x1165 x1159 x1194 x1188 x1182 x1176 x1170 x1164 x1158 x1155 x1149 x1143
3584.65/3597.05 v x1137 x1131 x1125 x1119 x1113 -x1154 -x1148 -x1142 -x1136 -x1130 x1124 x1118 -x1112 -x1153 x1147 -x1141 x1135 x1129 x1123 x1117
3584.65/3597.05 v x1111 -x1151 x1145 -x1139 x1133 -x1127 x1121 -x1115 -x1150 -x1144 -x1138 -x1132 -x1126 -x1120 -x1114 -x1110 -x1104 -x1098
3584.65/3597.05 v -x1092 -x1086 -x1080 -x1074 -x1068 x1109 x1103 x1097 x1091 x1085 -x1079 -x1073 x1067 x1108 -x1102 x1096 -x1090 -x1084 -x1078
3584.65/3597.05 v -x1072 -x1066 x1107 x1101 x1095 x1089 x1083 x1077 x1071 x1065 x1105 x1099 x1093 x1087 x1081 x1075 x1069 x1064 x1058 x1052 x1046
3584.65/3597.05 v x1040 x1034 x1028 x1022 -x1063 -x1057 -x1051 -x1045 -x1039 x1033 x1027 -x1021 -x1062 x1056 -x1050 x1044 x1038 x1032 x1026
3584.65/3597.05 v x1020 -x1061 -x1055 -x1049 -x1043 -x1037 -x1031 -x1025 -x1019 -x1060 x1054 -x1048 x1042 -x1036 x1030 -x1024 x1018 x1016 x1010
3584.65/3597.05 v x1004 x998 x992 -x986 -x980 x974 x1015 -x1009 x1003 -x997 -x991 -x985 -x979 -x973 x1014 x1008 x1002 x996 x990 x984 x978 x972
3584.65/3597.05 v x1013 -x1007 x1001 -x995 x989 -x983 x977 -x971 x1012 x1006 x1000 x994 x988 x982 x976 x970 x969 x963 x957 x951 x945 x939 x933
3584.65/3597.05 v x927 x921 -x967 x961 -x955 x949 x943 x937 x931 x925 -x966 -x960 -x954 -x948 -x942 -x936 -x930 -x924 -x965 x959 -x953 x947
3584.65/3597.05 v -x941 x935 -x929 x923 -x964 -x958 -x952 -x946 -x940 -x934 -x928 -x922 -x920 -x914 -x908 -x902 -x896 -x890 -x884 -x878 -x872 x919
3584.65/3597.05 v x913 x907 x901 x895 -x889 -x883 x877 x871 x917 x911 x905 x899 x893 x887 x881 x875 x916 -x910 x904 -x898 x892 -x886 x880 -x874
3584.65/3597.05 v x915 x909 x903 x897 x891 x885 x879 x873 x870 x864 x858 x852 x846 x840 x834 x828 x822 -x869 -x863 -x857 -x851 -x845 x839
3584.65/3597.05 v x833 -x827 -x821 -x868 x862 -x856 x850 x844 x838 x832 x826 x820 -x866 x860 -x854 x848 -x842 x836 -x830 x824 -x865 -x859 -x853
3584.65/3597.05 v -x847 -x841 -x835 -x829 -x823 -x819 -x813 -x807 -x801 -x795 -x789 -x783 -x777 -x771 x818 x812 x806 x800 x794 -x788 -x782 x776
3584.65/3597.05 v x770 x817 -x811 x805 -x799 -x793 -x787 -x781 -x775 -x769 x816 x810 x804 x798 x792 x786 x780 x774 x768 x814 x808 x802 x796 x790
3584.65/3597.05 v x784 x778 x772 x767 x761 x755 x749 x743 x737 x731 x725 x719 -x766 -x760 -x754 -x748 -x742 x736 x730 -x724 -x718 -x765 x759
3584.65/3597.05 v -x753 x747 x741 x735 x729 x723 x717 -x764 -x758 -x752 -x746 -x740 -x734 -x728 -x722 -x716 -x763 x757 -x751 x745 -x739 x733
3584.65/3597.05 v -x727 x721 x715 x713 x707 x701 x695 x689 -x683 -x677 x671 x665 x712 -x706 x700 -x694 -x688 -x682 -x676 -x670 -x664 x711 x705
3584.65/3597.05 v x699 x693 x687 x681 x675 x669 x663 x710 -x704 x698 -x692 x686 -x680 x674 -x668 -x662 x709 x703 x697 x691 x685 x679 x673 x667
3584.65/3597.05 v x661 -x660 -x654 -x648 -x642 -x636 -x630 -x624 -x618 -x612 -x606 x658 -x652 x646 -x640 -x634 -x628 -x622 -x616 -x610 x657 x651
3584.65/3597.05 v x645 x639 x633 x627 x621 x615 x609 x656 -x650 x644 -x638 x632 -x626 x620 -x614 -x608 x655 x649 x643 x637 x631 x625 x619 x613
3584.65/3597.05 v x607 -x605 -x599 -x593 -x587 -x581 -x575 -x569 -x563 -x557 -x551 x604 x598 x592 x586 x580 -x574 -x568 x562 x556 -x550 x602
3584.65/3597.05 v x596 x590 x584 x578 x572 x566 x560 x554 x601 -x595 x589 -x583 x577 -x571 x565 -x559 -x553 x600 x594 x588 x582 x576 x570 x564
3584.65/3597.05 v x558 x552 -x549 -x543 -x537 -x531 -x525 -x519 -x513 -x507 -x501 -x495 x548 x542 x536 x530 x524 -x518 -x512 x506 x500 -x494 x547
3584.65/3597.05 v -x541 x535 -x529 -x523 -x517 -x511 -x505 -x499 -x493 x545 -x539 x533 -x527 x521 -x515 x509 -x503 -x497 x544 x538 x532 x526
3584.65/3597.05 v x520 x514 x508 x502 x496 -x492 -x486 -x480 -x474 -x468 -x462 -x456 -x450 -x444 -x438 x491 x485 x479 x473 x467 -x461 -x455 x449
3584.65/3597.05 v x443 -x437 x490 -x484 x478 -x472 -x466 -x460 -x454 -x448 -x442 -x436 x489 x483 x477 x471 x465 x459 x453 x447 x441 -x435 x487
3584.65/3597.05 v x481 x475 x469 x463 x457 x451 x445 x439 x434 x428 x422 x416 x410 x404 x398 x392 x386 x380 -x433 -x427 -x421 -x415 -x409 x403
3584.65/3597.05 v x397 -x391 -x385 x379 -x432 x426 -x420 x414 x408 x402 x396 x390 x384 x378 -x431 -x425 -x419 -x413 -x407 -x401 -x395 -x389
3584.65/3597.05 v -x383 x377 -x430 x424 -x418 x412 -x406 x400 -x394 x388 x382 x376 x374 x368 x362 x356 x350 -x344 -x338 x332 x326 -x320 x373 -x367
3584.65/3597.05 v x361 -x355 -x349 -x343 -x337 -x331 -x325 -x319 x372 x366 x360 x354 x348 x342 x336 x330 x324 -x318 x371 -x365 x359 -x353 x347
3584.65/3597.05 v -x341 x335 -x329 -x323 -x317 x370 x364 x358 x352 x346 x340 x334 x328 x322 x316 -x315 -x309 -x303 -x297 -x291 -x285 -x279
3584.65/3597.05 v -x273 -x267 -x261 -x255 x313 -x307 x301 -x295 -x289 -x283 -x277 -x271 -x265 -x259 x312 x306 x300 x294 x288 x282 x276 x270 x264
3584.65/3597.05 v -x258 x311 -x305 x299 -x293 x287 -x281 x275 -x269 -x263 -x257 x310 x304 x298 x292 x286 x280 x274 x268 x262 x256 -x254 -x248
3584.65/3597.05 v -x242 -x236 -x230 -x224 -x218 -x212 -x206 -x200 -x194 x253 x247 x241 x235 x229 -x223 -x217 x211 x205 -x199 -x193 x251 x245 x239
3584.65/3597.05 v x233 x227 x221 x215 x209 x203 -x197 x250 -x244 x238 -x232 x226 -x220 x214 -x208 -x202 -x196 x249 x243 x237 x231 x225 x219
3584.65/3597.05 v x213 x207 x201 x195 -x192 -x186 -x180 -x174 -x168 -x162 -x156 -x150 -x144 -x138 -x132 x191 x185 x179 x173 x167 -x161 -x155 x149
3584.65/3597.05 v x143 -x137 -x131 x190 -x184 x178 -x172 -x166 -x160 -x154 -x148 -x142 -x136 -x130 x188 -x182 x176 -x170 x164 -x158 x152 -x146
3584.65/3597.05 v -x140 -x134 x187 x181 x175 x169 x163 x157 x151 x145 x139 x133 -x129 -x123 -x117 -x111 -x105 -x99 -x93 -x87 -x81 -x75 -x69
3584.65/3597.05 v x128 x122 x116 x110 x104 -x98 -x92 x86 x80 -x74 -x68 x127 -x121 x115 -x109 -x103 -x97 -x91 -x85 -x79 -x73 -x67 x126 x120 x114
3584.65/3597.05 v x108 x102 x96 x90 x84 x78 -x72 -x66 x124 x118 x112 x106 x100 x94 x88 x82 x76 x70 x65 x59 x53 x47 x41 x35 x29 x23 x17 x11 x5
3584.65/3597.05 v -x64 -x58 -x52 -x46 -x40 x34 x28 -x22 -x16 x10 x4 -x63 x57 -x51 x45 x39 x33 x27 x21 x15 x9 x3 -x62 -x56 -x50 -x44 -x38 -x32
3584.65/3597.05 v -x26 -x20 -x14 x8 x2 -x61 x55 -x49 x43 -x37 x31 -x25 x19 x13 x7 x1
3584.65/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3584.65/3597.05 c Total Time : 3597.00
3584.65/3597.05 c solving : 3597.00
3584.65/3597.05 c presolving : 7.06 (included in solving)
3584.65/3597.05 c reading : 0.36 (included in solving)
3584.65/3597.05 c copying : 0.25 (1 #copies) (minimal 0.25, maximal 0.25, average 0.25)
3584.65/3597.05 c Original Problem :
3584.65/3597.05 c Problem name : HOME/instance-4458845-1721869288.opb
3584.65/3597.05 c Variables : 2145 (2145 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.65/3597.05 c Constraints : 183040 initial, 183040 maximal
3584.65/3597.05 c Objective : minimize, 1815 non-zeros (abs.min = 1, abs.max = 1)
3584.65/3597.05 c Presolved Problem :
3584.65/3597.05 c Problem name : t_HOME/instance-4458845-1721869288.opb
3584.65/3597.05 c Variables : 2145 (2145 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.65/3597.05 c Constraints : 183040 initial, 183040 maximal
3584.65/3597.05 c Objective : minimize, 1815 non-zeros (abs.min = 1, abs.max = 1)
3584.65/3597.05 c Nonzeros : 549120 constraint, 0 clique table
3584.65/3597.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.65/3597.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c domcol : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c dualsparsify : 1.33 0.00 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c milp : 0.43 0.00 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c sparsify : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c symmetry : 3.50 0.00 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c linear : 0.52 0.07 2 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c logicor : 0.79 0.06 3 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c components : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c root node : - - - 2 - - 2 - - - - -
3584.65/3597.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.65/3597.05 c benderslp : 0 0 0 0 15 0 0 11 0 0 0 0 0 0 0
3584.65/3597.05 c integral : 0 0 0 0 15 0 0 11 0 0 0 0 0 0 30
3584.65/3597.05 c logicor : 183040 183040 1 1667 0 0 0 5 0 0 860 0 0 0 0
3584.65/3597.05 c benders : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
3584.65/3597.05 c fixedvar : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
3584.65/3597.05 c countsols : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
3584.65/3597.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.65/3597.05 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c integral : 1007.64 0.00 0.00 0.00 1007.64 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c logicor : 0.63 0.06 0.14 0.26 0.00 0.00 0.00 0.01 0.00 0.15
3584.65/3597.05 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.65/3597.05 c dualfix : 2 0 0 0
3584.65/3597.05 c genvbounds : 0 0 0 0
3584.65/3597.05 c nlobbt : 0 0 0 0
3584.65/3597.05 c obbt : 0 0 0 0
3584.65/3597.05 c probing : 0 0 0 0
3584.65/3597.05 c pseudoobj : 51 0 1 0
3584.65/3597.05 c redcost : 2 0 0 0
3584.65/3597.05 c rootredcost : 0 0 0 0
3584.65/3597.05 c symmetry : 1436 0 0 2348
3584.65/3597.05 c vbounds : 0 0 0 0
3584.65/3597.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.65/3597.05 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3584.65/3597.05 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c symmetry : 3.56 0.00 3.50 0.03 0.00 0.03
3584.65/3597.05 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.65/3597.05 c Symmetry :
3584.65/3597.05 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.65/3597.05 c orbital reduction: 2348 reductions applied, 0 cutoffs
3584.65/3597.05 c lexicographic red: 1 reductions applied, 0 cutoffs
3584.65/3597.05 c shadow tree time : 0.00 s
3584.65/3597.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3584.65/3597.05 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.65/3597.05 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.65/3597.05 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.65/3597.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.65/3597.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.65/3597.05 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3584.65/3597.05 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.65/3597.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.65/3597.05 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
3584.65/3597.05 c aggregation : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.65/3597.05 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.65/3597.05 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.65/3597.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c gomory : 54.49 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3584.65/3597.05 c > strongcg : - - - - - - - 0 0 0 0 0 -
3584.65/3597.05 c impliedbounds : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c mcf : 0.07 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c multilinear : 0.00 0.00 4 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c rlt : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c zerohalf : 0.20 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.65/3597.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.65/3597.05 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c Pricers : ExecTime SetupTime Calls Vars
3584.65/3597.05 c problem variables: 0.00 - 0 0
3584.65/3597.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.65/3597.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c relpscost : 1007.64 0.00 15 0 0 0 0 0 0 30
3584.65/3597.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.65/3597.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.65/3597.05 c LP solutions : 0.00 - - 0 0
3584.65/3597.05 c relax solutions : 0.00 - - 0 0
3584.65/3597.05 c pseudo solutions : 0.00 - - 0 0
3584.65/3597.05 c strong branching : 0.00 - - 0 0
3584.65/3597.05 c actconsdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c adaptivediving : 0.00 0.00 0 0 0
3584.65/3597.05 c alns : 0.65 0.00 1 0 0
3584.65/3597.05 c bound : 0.00 0.00 0 0 0
3584.65/3597.05 c clique : 0.00 0.00 0 0 0
3584.65/3597.05 c coefdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c completesol : 0.00 0.00 0 0 0
3584.65/3597.05 c conflictdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c crossover : 0.00 0.00 0 0 0
3584.65/3597.05 c dins : 0.00 0.00 0 0 0
3584.65/3597.05 c distributiondivin: 0.01 0.00 0 0 0
3584.65/3597.05 c dps : 0.00 0.00 0 0 0
3584.65/3597.05 c dualval : 0.00 0.00 0 0 0
3584.65/3597.05 c farkasdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c feasjump : 0.00 0.00 0 0 0
3584.65/3597.05 c feaspump : 271.60 0.00 1 0 0
3584.65/3597.05 c fixandinfer : 0.00 0.00 0 0 0
3584.65/3597.05 c fracdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c gins : 0.00 0.00 0 0 0
3584.65/3597.05 c guideddiving : 0.00 0.00 0 0 0
3584.65/3597.05 c indcoefdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c indicator : 0.00 0.00 0 0 0
3584.65/3597.05 c indicatordiving : 0.00 0.00 0 0 0
3584.65/3597.05 c indoneopt : 0.00 0.00 0 0 0
3584.65/3597.05 c indrounding : 0.00 0.00 0 0 0
3584.65/3597.05 c indtwoopt : 0.00 0.00 0 0 0
3584.65/3597.05 c intdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c intshifting : 0.00 0.00 0 0 0
3584.65/3597.05 c linesearchdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c localbranching : 0.00 0.00 0 0 0
3584.65/3597.05 c locks : 0.44 0.00 1 1 1
3584.65/3597.05 c lpface : 0.00 0.00 0 0 0
3584.65/3597.05 c mpec : 0.00 0.00 0 0 0
3584.65/3597.05 c multistart : 0.00 0.00 0 0 0
3584.65/3597.05 c mutation : 0.00 0.00 0 0 0
3584.65/3597.05 c nlpdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c objpscostdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c octane : 0.00 0.00 0 0 0
3584.65/3597.05 c ofins : 0.00 0.00 0 0 0
3584.65/3597.05 c oneopt : 0.01 0.00 1 0 0
3584.65/3597.05 c padm : 0.00 0.00 0 0 0
3584.65/3597.05 c proximity : 0.00 0.00 0 0 0
3584.65/3597.05 c pscostdiving : 0.00 0.00 0 0 0
3584.65/3597.05 c randrounding : 0.11 0.00 1 0 0
3584.65/3597.05 c rens : 0.00 0.00 0 0 0
3584.65/3597.05 c reoptsols : 0.00 0.00 0 0 0
3584.65/3597.05 c repair : 0.00 0.00 0 0 0
3584.65/3597.05 c rins : 0.00 0.00 0 0 0
3584.65/3597.05 c rootsoldiving : 0.00 0.00 0 0 0
3584.65/3597.05 c rounding : 0.28 0.00 15 0 0
3584.65/3597.05 c scheduler : 0.00 0.00 0 0 0
3584.65/3597.05 c shiftandpropagate: 0.00 0.00 0 0 0
3584.65/3597.05 c shifting : 0.07 0.00 1 0 0
3584.65/3597.05 c simplerounding : 0.00 0.00 0 0 0
3584.65/3597.05 c smallcard : 0.00 0.00 0 0 0
3584.65/3597.05 c subnlp : 0.00 0.00 0 0 0
3584.65/3597.05 c trivial : 0.01 0.00 2 1 1
3584.65/3597.05 c trivialnegation : 0.00 0.00 0 0 0
3584.65/3597.05 c trustregion : 0.00 0.00 0 0 0
3584.65/3597.05 c trysol : 0.00 0.00 0 0 0
3584.65/3597.05 c twoopt : 0.00 0.00 0 0 0
3584.65/3597.05 c undercover : 0.00 0.00 0 0 0
3584.65/3597.05 c vbounds : 0.00 0.00 0 0 0
3584.65/3597.05 c veclendiving : 0.00 0.00 0 0 0
3584.65/3597.05 c zeroobj : 0.00 0.00 0 0 0
3584.65/3597.05 c zirounding : 0.24 0.00 14 0 0
3584.65/3597.05 c other solutions : - - - 0 -
3584.65/3597.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.65/3597.05 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.65/3597.05 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.65/3597.05 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.65/3597.05 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.65/3597.05 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.65/3597.05 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.65/3597.05 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.65/3597.05 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.65/3597.05 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3584.65/3597.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.65/3597.05 c primal LP : 0.00 0 0 0.00 - 0.00 0
3584.65/3597.05 c dual LP : 2252.94 18 577626 33978.00 256.39 0.01 1
3584.65/3597.05 c lex dual LP : 0.00 0 0 0.00 -
3584.65/3597.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.65/3597.05 c resolve instable : 0.00 0 0 0.00 -
3584.65/3597.05 c diving/probing LP: 275.81 15 63624 4241.60 230.68
3584.65/3597.05 c strong branching : 999.21 463 380270 821.32 380.57 - - 810
3584.65/3597.05 c (at root node) : - 27 27000 1000.00 -
3584.65/3597.05 c conflict analysis: 0.00 0 0 0.00 -
3584.65/3597.05 c B&B Tree :
3584.65/3597.05 c number of runs : 1
3584.65/3597.05 c nodes : 17 (15 internal, 2 leaves)
3584.65/3597.05 c feasible leaves : 0
3584.65/3597.05 c infeas. leaves : 1
3584.65/3597.05 c objective leaves : 1
3584.65/3597.05 c nodes (total) : 17 (15 internal, 2 leaves)
3584.65/3597.05 c nodes left : 14
3584.65/3597.05 c max depth : 9
3584.65/3597.05 c max depth (total): 9
3584.65/3597.05 c backtracks : 8 (47.1%)
3584.65/3597.05 c early backtracks : 0 (0.0%)
3584.65/3597.05 c nodes exc. ref. : 0 (0.0%)
3584.65/3597.05 c delayed cutoffs : 0
3584.65/3597.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3584.65/3597.05 c avg switch length: 2.35
3584.65/3597.05 c switching time : 0.04
3584.65/3597.05 c Root Node :
3584.65/3597.05 c First LP value : -1.21000000000000e+03
3584.65/3597.05 c First LP Iters : 279576 (216.61 Iter/sec)
3584.65/3597.05 c First LP Time : 1290.66
3584.65/3597.05 c Final Dual Bound : -1.20986983422258e+03
3584.65/3597.05 c Final Root Iters : 279576
3584.65/3597.05 c Root LP Estimate : -1.12250488880139e+03
3584.65/3597.05 c Solution :
3584.65/3597.05 c Solutions found : 2 (2 improvements)
3584.65/3597.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.63 seconds, depth 0, found by <trivial>)
3584.65/3597.05 c Gap First Sol. : infinite
3584.65/3597.05 c Gap Last Sol. : 82.05 %
3584.65/3597.05 c Primal Bound : -9.97000000000000e+02 (in run 1, after 1 nodes, 8.11 seconds, depth 66, found by <locks>)
3584.65/3597.05 c Dual Bound : -1.15816716334207e+03
3584.65/3597.05 c Gap : 16.17 %
3584.65/3597.05 c Integrals : Total Avg%
3584.65/3597.05 c primal-dual : 96711.65 26.89
3584.65/3597.05 c primal-ref : - - (not evaluated)
3584.65/3597.05 c dual-ref : - - (not evaluated)
3584.94/3597.35 c Time complete: 3585.01.
OK -997
runsolver version 3.4.2 (svn: 4680) 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: 63931 MiB (60426 MiB free)
memory of node 1: 64510 MiB (60866 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458845-1721869288/watcher-4458845-1721869288 -o /tmp/evaluation-result-4458845-1721869288/solver-4458845-1721869288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721865115-254129 --watchdog 3760 pbscip -f HOME/instance-4458845-1721869288.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=258180, runsolver pid=258177
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.05 4.17 4.19 5/261 258181
/proc/meminfo: memFree=124172800/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=86488 memory=45444 CPUtime=0.1 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 8477 0 0 0 9 1 0 0 20 0 1 0 23458365 88563712 11361 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 21622 11361 3217 3540 0 9879 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 86488 KiB
Current children cumulated memory: 45444 KiB
[startup+0.205852 s]*
/proc/loadavg: 4.05 4.17 4.19 5/261 258181
/proc/meminfo: memFree=124146432/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=112072 memory=70808 CPUtime=0.2 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 14773 0 0 0 18 2 0 0 20 0 1 0 23458365 114761728 17702 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 28018 17702 3217 3540 0 16275 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112072 KiB
Current children cumulated memory: 70808 KiB
[startup+0.305799 s]*
/proc/loadavg: 4.05 4.17 4.19 5/261 258181
/proc/meminfo: memFree=124121092/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=137396 memory=96024 CPUtime=0.29 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 21105 0 0 0 27 2 0 0 20 0 1 0 23458365 140693504 24006 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 34349 24006 3217 3540 0 22606 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137396 KiB
Current children cumulated memory: 96024 KiB
[startup+0.70024 s]
/proc/loadavg: 4.05 4.17 4.19 5/261 258183
/proc/meminfo: memFree=124034768/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=301792 memory=260420 CPUtime=0.69 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 62648 0 0 0 60 9 0 0 20 0 1 0 23458365 309035008 65105 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 75448 65105 3568 3540 0 63705 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 301792 KiB
Current children cumulated memory: 260420 KiB
[startup+1.50025 s]
/proc/loadavg: 4.05 4.17 4.19 5/261 258183
/proc/meminfo: memFree=123909004/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=396052 memory=351308 CPUtime=1.48 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 94901 0 0 0 132 16 0 0 20 0 1 0 23458365 405557248 87827 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 99013 87827 3711 3540 0 87270 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 396052 KiB
Current children cumulated memory: 351308 KiB
[startup+3.10581 s]
/proc/loadavg: 4.05 4.17 4.19 5/261 258183
/proc/meminfo: memFree=123655900/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=635348 memory=560856 CPUtime=3.08 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 109963 0 0 0 287 21 0 0 20 0 1 0 23458365 650596352 140214 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 158837 140214 3759 3540 0 147094 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 635348 KiB
Current children cumulated memory: 560856 KiB
[startup+6.30024 s]
/proc/loadavg: 4.13 4.19 4.19 5/261 258183
/proc/meminfo: memFree=123397608/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=931492 memory=817196 CPUtime=6.27 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 130215 0 0 0 598 29 0 0 20 0 1 0 23458365 953847808 204299 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 232873 204299 3775 3540 0 221130 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 931492 KiB
Current children cumulated memory: 817196 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.18 4.19 5/261 258184
/proc/meminfo: memFree=123281612/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1009972 memory=933596 CPUtime=12.65 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 161423 0 0 0 1229 36 0 0 20 0 1 0 23458365 1034211328 233399 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 252493 233399 3935 3540 0 240750 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1009972 KiB
Current children cumulated memory: 933596 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.17 4.19 5/261 258186
/proc/meminfo: memFree=123280500/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1009972 memory=933820 CPUtime=25.4 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 161460 0 0 0 2503 37 0 0 20 0 1 0 23458365 1034211328 233455 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 252493 233455 3935 3540 0 240750 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1009972 KiB
Current children cumulated memory: 933820 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.18 4.18 5/261 258192
/proc/meminfo: memFree=123276192/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1012616 memory=936848 CPUtime=50.92 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 162249 0 0 0 5054 38 0 0 20 0 1 0 23458365 1036918784 234212 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 253154 234212 3951 3540 0 241411 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1012616 KiB
Current children cumulated memory: 936848 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.18 5/261 258201
/proc/meminfo: memFree=123265380/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1016028 memory=939104 CPUtime=101.91 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 162878 0 0 0 10152 39 0 0 20 0 1 0 23458365 1040412672 234776 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 254007 234776 3951 3540 0 242264 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1016028 KiB
Current children cumulated memory: 939104 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/257 258211
/proc/meminfo: memFree=123253208/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1016028 memory=939324 CPUtime=161.69 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 162918 0 0 0 16128 41 0 0 20 0 1 0 23458365 1040412672 234831 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 254007 234831 3951 3540 0 242264 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 1016028 KiB
Current children cumulated memory: 939324 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/258 258222
/proc/meminfo: memFree=123248156/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1016028 memory=939324 CPUtime=221.46 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 162958 0 0 0 22103 43 0 0 20 0 1 0 23458365 1040412672 234831 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 254007 234831 3951 3540 0 242264 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 1016028 KiB
Current children cumulated memory: 939324 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/256 258233
/proc/meminfo: memFree=123248532/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1016028 memory=939324 CPUtime=281.24 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 162998 0 0 0 28080 44 0 0 20 0 1 0 23458365 1040412672 234831 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 254007 234831 3951 3540 0 242264 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 1016028 KiB
Current children cumulated memory: 939324 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/256 258243
/proc/meminfo: memFree=123246156/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1016028 memory=939324 CPUtime=341.01 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 163033 0 0 0 34056 45 0 0 20 0 1 0 23458365 1040412672 234831 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 254007 234831 3951 3540 0 242264 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 1016028 KiB
Current children cumulated memory: 939324 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/256 258253
/proc/meminfo: memFree=123244712/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1016028 memory=939324 CPUtime=400.79 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 163074 0 0 0 40032 47 0 0 20 0 1 0 23458365 1040412672 234831 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 254007 234831 3951 3540 0 242264 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 1016028 KiB
Current children cumulated memory: 939324 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/256 258265
/proc/meminfo: memFree=123243572/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1016028 memory=939324 CPUtime=460.56 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 163115 0 0 0 46007 49 0 0 20 0 1 0 23458365 1040412672 234831 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 254007 234831 3951 3540 0 242264 0
################
# More data... #
################
/proc/loadavg: 4.10 4.13 4.09 5/261 260073
/proc/meminfo: memFree=119823280/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1154532 CPUtime=3211.57 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 221375 0 0 0 321080 77 0 0 20 0 1 0 23458365 1268338688 288633 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 288633 3999 3540 0 297910 0
Current children cumulated CPU time: 3211.57 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1154532 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/259 260084
/proc/meminfo: memFree=119823092/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1154532 CPUtime=3271.31 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 221613 0 0 0 327053 78 0 0 20 0 1 0 23458365 1268338688 288633 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 288633 3999 3540 0 297910 0
Current children cumulated CPU time: 3271.31 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1154532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 260094
/proc/meminfo: memFree=119817592/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1154532 CPUtime=3331.06 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 221983 0 0 0 333028 78 0 0 20 0 1 0 23458365 1268338688 288633 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 288633 3999 3540 0 297910 0
Current children cumulated CPU time: 3331.06 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1154532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/258 260275
/proc/meminfo: memFree=119815880/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1154532 CPUtime=3390.79 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 222288 0 0 0 339001 78 0 0 20 0 1 0 23458365 1268338688 288633 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 288633 3999 3540 0 297910 0
Current children cumulated CPU time: 3390.79 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1154532 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.11 5/258 260285
/proc/meminfo: memFree=119809144/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1155380 CPUtime=3450.52 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 222556 0 0 0 344974 78 0 0 20 0 1 0 23458365 1268338688 288845 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 288845 3999 3540 0 297910 0
Current children cumulated CPU time: 3450.52 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1155380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/260 260301
/proc/meminfo: memFree=119803880/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1156952 CPUtime=3510.27 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 222951 0 0 0 350949 78 0 0 20 0 1 0 23458365 1268338688 289238 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 289238 3999 3540 0 297910 0
Current children cumulated CPU time: 3510.27 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1156952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 260323
/proc/meminfo: memFree=119794184/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1156952 CPUtime=3570.01 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 223309 0 0 0 356923 78 0 0 20 0 1 0 23458365 1268338688 289238 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 289238 3999 3540 0 297910 0
Current children cumulated CPU time: 3570.01 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1156952 KiB
[startup+3597.36 s]
# the end of solver process 258180 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.22 s, system=0.795386 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.16 4.11 5/258 260323
/proc/meminfo: memFree=119794184/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1156952 CPUtime=3571.7 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 223341 0 0 0 357092 78 0 0 20 0 1 0 23458365 1268338688 289238 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 289238 3999 3540 0 297910 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1156952 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.15 4.11 5/258 260323
/proc/meminfo: memFree=119790152/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1156952 CPUtime=3578.07 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 223359 0 0 0 357729 78 0 0 20 0 1 0 23458365 1268338688 289238 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 289238 3999 3540 0 297910 0
Current children cumulated CPU time: 3578.07 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1156952 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.15 4.11 5/258 260325
/proc/meminfo: memFree=119789760/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1156952 CPUtime=3581.26 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 223359 0 0 0 358048 78 0 0 20 0 1 0 23458365 1268338688 289238 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 289238 3999 3540 0 297910 0
Current children cumulated CPU time: 3581.26 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1156952 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.15 4.11 5/258 260325
/proc/meminfo: memFree=119789776/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1156952 CPUtime=3582.85 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 223359 0 0 0 358207 78 0 0 20 0 1 0 23458365 1268338688 289238 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 289238 3999 3540 0 297910 0
Current children cumulated CPU time: 3582.85 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1156952 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.15 4.11 5/258 260325
/proc/meminfo: memFree=119789776/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1156952 CPUtime=3583.65 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 223361 0 0 0 358287 78 0 0 20 0 1 0 23458365 1268338688 289238 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 289238 3999 3540 0 297910 0
Current children cumulated CPU time: 3583.65 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1156952 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.15 4.11 5/258 260325
/proc/meminfo: memFree=119789776/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1156952 CPUtime=3584.44 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 223376 0 0 0 358366 78 0 0 20 0 1 0 23458365 1268338688 289238 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 289238 3999 3540 0 297910 0
Current children cumulated CPU time: 3584.44 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1156952 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.15 4.11 5/258 260325
/proc/meminfo: memFree=119789796/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1238612 memory=1157012 CPUtime=3584.84 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 223482 0 0 0 358406 78 0 0 20 0 1 0 23458365 1268338688 289253 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 309653 289253 4014 3540 0 297910 0
Current children cumulated CPU time: 3584.84 s
Current children cumulated vsize: 1238612 KiB
Current children cumulated memory: 1157012 KiB
[startup+3597.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/258 260325
/proc/meminfo: memFree=119789796/131524600 swapFree=131058856/131071996
[pid=258180] ppid=258177 vsize=1222180 memory=1140672 CPUtime=3584.94 cores=1,3
/proc/258180/stat : 258180 (pbscip) R 258177 258180 254117 0 -1 4194304 223490 0 0 0 358416 78 0 0 20 0 1 0 23458365 1251512320 285168 134679101440 4194304 18693293 140722672870016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51298304 140722672878596 140722672878695 140722672878695 140722672885710 0
/proc/258180/statm: 305545 285168 4014 3540 0 293802 0
Current children cumulated CPU time: 3584.94 s
Current children cumulated vsize: 1222180 KiB
Current children cumulated memory: 1140672 KiB
Child status: 0
Real time (s): 3597.36
CPU time (s): 3585.01
CPU user time (s): 3584.22
CPU system time (s): 0.795386
CPU usage (%): 99.6568
Max. virtual memory (cumulated for all children) (KiB): 1238612
Max. memory (cumulated for all children) (KiB): 1157012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.22
system time used= 0.795386
maximum resident set size= 1157012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223518
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= 27
involuntary context switches= 1035
# summary of solver processes directly reported to runsolver:
# pid: 258180
# total CPU time (s): 3585.01
# total CPU user time (s): 3584.22
# total CPU system time (s): 0.795386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28937 second user time and 17.8933 second system time
The end
Begin job on nodeC031 at 2024-07-25 03:01:28 IDJOB=4458845 IDBENCH=178226 IDSOLVER=3059 FILE ID=nodeC031/4458845-1721869288 RUNJOBID= nodeC031-1721865115-254129 SLURM_JOB_ID= 8089188 Free space on /tmp= 890012 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_66.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458845-1721869288/watcher-4458845-1721869288 -o /tmp/evaluation-result-4458845-1721869288/solver-4458845-1721869288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721865115-254129 --watchdog 3760 pbscip -f HOME/instance-4458845-1721869288.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbab653d296f81eb095bf1f983193d8 RANDOM SEED=1053313976 nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.776 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.379 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.488 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.385 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.804 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.313 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.391 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.658 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124204208 kB MemAvailable: 127220480 kB Buffers: 283956 kB Cached: 3401836 kB SwapCached: 360 kB Active: 2154168 kB Inactive: 4246256 kB Active(anon): 1844 kB Inactive(anon): 2766092 kB Active(file): 2152324 kB Inactive(file): 1480164 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 24656 kB Writeback: 76 kB AnonPages: 2713040 kB Mapped: 135112 kB Shmem: 53296 kB KReclaimable: 445016 kB Slab: 566076 kB SReclaimable: 445016 kB SUnreclaim: 121060 kB KernelStack: 4192 kB PageTables: 15056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3457520 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 13280 kB HardwareCorrupted: 0 kB AnonHugePages: 1363968 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 367316 kB DirectMap2M: 37154816 kB DirectMap1G: 98566144 kB Free space on /tmp at the end= 889984 MiB End job on nodeC031 at 2024-07-25 04:01:26