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 | -86 | 3585.84 | 3597.29 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb |
| MD5SUM | a48c66dfa619fe9822eb3addabc6673c |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -93 |
| Best CPU time to get the best result obtained on this benchmark | 72001.6 |
| 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 | 2000 |
| Total number of constraints | 3001 |
| Number of constraints which are clauses | 1000 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2000 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2000 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 150572 |
| Sum of products size (including duplicates) | 301144 |
| Number of different products | 75286 |
| Sum of products size | 150572 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4498425-1751270763.opb>
0.53/0.64 c original problem has 77286 variables (2000 bin, 0 int, 75286 impl, 0 cont) and 80287 constraints
0.53/0.64 c problem read in 0.62
1.02/1.12 o 0
1.02/1.12 c feasible solution found by trivial heuristic after 1.1 seconds, objective value 0.000000e+00
1.02/1.12 c presolving:
1.60/1.77 c (round 1, medium) 0 del vars, 79286 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1000 clqs
1.70/1.85 c (round 2, fast) 75286 del vars, 79286 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1000 clqs
1.70/1.89 c (round 3, exhaustive) 75286 del vars, 79286 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 0 impls, 1000 clqs
1.91/2.07 c (2.1s) probing: 51/2000 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.91/2.07 c (2.1s) probing aborted: 50/50 successive totally useless probings
1.91/2.09 c (2.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.01/2.12 c (2.1s) no symmetry present (symcode time: 0.00)
2.01/2.14 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
2.01/2.14 c 75286 deleted vars, 79286 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.01/2.14 c 0 implications, 1000 cliques
2.01/2.14 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
2.01/2.14 c 2000 constraints of type <knapsack>
2.01/2.14 c 1000 constraints of type <setppc>
2.01/2.14 c 1 constraints of type <linear>
2.01/2.14 c transformed objective value is always integral (scale: 1)
2.01/2.14 c Presolving Time: 1.09
2.01/2.14 c - non default parameters ----------------------------------------------------------------------
2.01/2.14 c # SCIP version 10.0.0
2.01/2.14 c
2.01/2.14 c # maximal time in seconds to run
2.01/2.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.01/2.14 c limits/time = 3596.99302
2.01/2.14 c
2.01/2.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.01/2.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.01/2.14 c limits/memory = 27900
2.01/2.14 c
2.01/2.14 c # belongs reading time to solving time?
2.01/2.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.01/2.14 c timing/reading = TRUE
2.01/2.14 c
2.01/2.14 c -----------------------------------------------------------------------------------------------
2.01/2.14 c start solving
2.01/2.16 c transformed 1/1 original solutions to the transformed problem space
2.01/2.16 c
10.42/10.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.42/10.68 c 10.7s| 1 | 0 | 5491 | - | 333M | 0 |2000 |3003 |3001 | 0 | 0 | 2 | 0 |-5.000000e+02 | 0.000000e+00 | Inf | unknown
10.62/10.80 o -1
10.62/10.80 c r10.8s| 1 | 0 | 5491 | - |rounding| 0 |2000 |3003 |3001 | 0 | 0 | 2 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
18.59/18.83 c 18.8s| 1 | 0 | 5793 | - | 379M | 0 |2000 |3003 |3260 | 259 | 1 | 2 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
25.98/26.20 c 26.2s| 1 | 0 | 6026 | - | 388M | 0 |2000 |3003 |3467 | 466 | 2 | 2 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
33.65/33.95 c 33.9s| 1 | 0 | 6320 | - | 392M | 0 |2000 |3003 |3727 | 726 | 3 | 2 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
33.65/33.97 o -55
33.65/33.97 c r34.0s| 1 | 0 | 6320 | - |randroun| 0 |2000 |3003 |3727 | 0 | 3 | 2 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
44.52/44.83 c 44.8s| 1 | 0 | 6562 | - | 392M | 0 |2000 |3003 |3968 | 967 | 4 | 2 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
51.10/51.46 c 51.4s| 1 | 0 | 6586 | - | 394M | 0 |2000 |3003 |3992 | 991 | 5 | 2 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
57.98/58.33 c 58.3s| 1 | 0 | 6587 | - | 398M | 0 |2000 |3003 |3993 | 992 | 6 | 2 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
124.51/125.05 o -60
124.51/125.05 c o 125s| 1 | 0 | 14425 | - |feaspump| 0 |2000 |3003 |3993 | 992 | 7 | 2 | 0 |-5.000000e+02 |-6.000000e+01 | 733.33%| unknown
141.65/142.27 c 142s| 1 | 0 | 27759 | - | 399M | 0 |2000 |3003 |3993 | 992 | 7 | 2 | 0 |-5.000000e+02 |-6.000000e+01 | 733.33%| unknown
404.61/405.96 c 406s| 1 | 2 | 27759 | - | 399M | 0 |2000 |3003 |3993 | 992 | 8 | 2 | 44 |-5.000000e+02 |-6.000000e+01 | 733.33%| unknown
1779.76/1785.13 o -63
1779.76/1785.13 c d1785s| 15 | 16 | 58905 |3737.0 |pscostdi| 14 |2000 |3003 |3625 | 0 | 1 | 2 | 282 |-5.000000e+02 |-6.300000e+01 | 693.65%| unknown
2123.27/2129.76 o -80
2123.27/2129.76 c d2130s| 39 | 40 |120196 |2989.7 |fracdivi| 14 |2000 |3016 |3660 | 0 | 1 | 15 | 299 |-5.000000e+02 |-8.000000e+01 | 525.00%| unknown
2990.19/2999.61 o -85
2990.19/2999.61 c d3000s| 72 | 73 |242711 |3325.7 |linesear| 16 |2000 |3016 |3430 | 0 | 1 | 15 | 330 |-4.997604e+02 |-8.500000e+01 | 487.95%| unknown
3498.74/3509.94 o -86
3498.74/3509.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3498.74/3509.94 c d3510s| 92 | 93 |397751 |4298.5 |linesear| 16 |2000 |3047 |3430 | 0 | 1 | 46 | 359 |-4.992793e+02 |-8.600000e+01 | 480.56%| unknown
3585.55/3597.01 c
3585.55/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.55/3597.01 c Solving Time (sec) : 3596.99
3585.55/3597.01 c Solving Nodes : 99
3585.55/3597.01 c Primal Bound : -8.60000000000000e+01 (30 solutions)
3585.55/3597.01 c Dual Bound : -4.99279250813720e+02
3585.55/3597.01 c Gap : 480.56 %
3585.65/3597.11 s SATISFIABLE
3585.65/3597.11 v -x1957 -x1427 -x1361 -x1881 x1988 x1807 -x1395 -x1326 -x1733 -x1632 -x1888 -x1805 -x1868 -x1167 -x1976 -x1687 x1512 -x1987 -x1656
3585.65/3597.11 v -x1292 -x1890 x1459 -x1822 -x1790 -x1067 x1582 x1639 -x1195 x1757 -x1953 -x1360 -x1847 -x1386 -x1207 -x1103 -x1745 -x1912
3585.65/3597.11 v -x1090 -x1615 -x1294 -x1040 x1407 -x1364 -x1359 x1703 -x1864 -x1681 -x1374 -x1208 -x1814 -x1504 -x1801 -x1871 x1827 -x1685 x1977
3585.65/3597.11 v -x1412 x1862 -x1832 -x1174 -x1620 -x1055 -x1073 -x1178 -x1701 -x1532 -x1514 -x1253 -x1839 -x1700 -x1894 -x1572 -x1825 -x1026
3585.65/3597.11 v -x1908 -x1775 -x1541 -x1052 -x1537 -x1955 -x1641 -x1809 -x1880 -x1542 x1366 -x1811 -x1476 -x1450 -x1833 x1897 -x1795 -x1843
3585.65/3597.11 v -x1610 -x1070 -x1044 -x1075 -x1481 -x1895 -x1417 -x1393 -x1251 -x1320 x1588 -x1421 -x1083 -x1257 -x1920 -x1138 -x1493 -x1716
3585.65/3597.11 v -x1944 -x1229 -x1850 -x1885 -x1657 -x1515 -x1466 -x1325 -x1574 -x1625 -x1406 -x1837 -x1780 -x1583 -x1061 -x1918 -x1813 -x1872
3585.65/3597.11 v -x1538 -x1479 x1740 -x1486 -x1928 -x1771 -x1022 -x1039 x1667 -x1380 x1560 -x1969 -x1855 -x1699 x1336 x1585 -x1778 -x1591
3585.65/3597.11 v -x1555 -x1308 -x1246 -x1204 -x1154 -x1114 -x1635 -x1916 -x1751 -x1933 -x1693 -x1951 -x1899 -x1884 -x1161 -x1849 -x1213 -x1694
3585.65/3597.11 v x1834 -x1672 -x1663 -x1577 -x1391 -x1286 -x1118 -x1129 -x1724 -x1586 -x1273 -x1553 x1569 -x1123 x1898 -x1853 -x1684 -x1671 -x1468
3585.65/3597.11 v -x1410 -x1298 -x1264 -x1245 -x1024 -x1760 -x1282 -x1831 -x1137 -x1420 -x1236 x1838 -x1995 x1903 -x1842 x1755 -x1654 -x1497
3585.65/3597.11 v -x1491 -x1371 -x1214 -x1164 -x1033 -x1934 -x1477 -x1121 -x1133 -x1906 -x1502 -x1329 -x1784 -x1561 -x1321 -x1887 -x1840 x1469
3585.65/3597.11 v -x1306 -x1130 -x1045 x1734 -x1016 -x1266 -x1219 -x1603 -x1873 -x1413 -x1113 x1820 -x1696 -x1462 -x1400 -x1394 -x1313 -x1281
3585.65/3597.11 v -x1147 -x2000 x1535 -x1435 -x1071 -x1069 -x1419 -x1285 -x1511 -x1240 -x1149 -x1782 -x1425 x1495 -x1454 -x1828 -x1883 -x1342
3585.65/3597.11 v -x1764 -x1674 -x1661 -x1658 -x1563 x1525 -x1377 -x1220 -x1182 -x1857 -x1876 -x1365 x1978 -x1806 -x1254 -x1383 -x1489 x1531
3585.65/3597.11 v x1422 x1984 -x1607 -x1084 -x1185 -x1448 -x1979 -x1081 -x1534 -x1852 x1669 x1640 x1464 -x1429 -x1317 -x1290 -x1036 -x1196 -x1965
3585.65/3597.11 v -x1442 -x1710 x1500 -x1284 -x1445 x1698 -x1879 -x1548 -x1332 x1262 -x1896 -x1859 -x1935 -x1243 -x1408 -x1960 x1612 -x1972
3585.65/3597.11 v x1648 -x1889 -x1821 -x1819 -x1798 -x1728 -x1471 -x1444 -x1415 -x1388 -x1354 -x1188 -x1172 -x1110 -x1028 -x1212 -x1562 -x1986
3585.65/3597.11 v -x1980 -x1970 -x1717 -x1148 -x1735 -x1322 -x1982 -x1930 -x1665 -x1682 -x1470 -x1141 -x1304 -x1432 -x1076 -x1124 -x1216 -x1993
3585.65/3597.11 v -x1946 -x1937 -x1830 -x1629 -x1592 -x1539 -x1536 -x1492 -x1457 -x1436 -x1428 -x1389 -x1255 -x1181 -x1139 -x1112 -x1065 -x1048
3585.65/3597.11 v -x1433 -x1330 -x1339 x1815 -x1337 -x1584 -x1737 -x1756 -x1845 -x1860 x1526 -x1375 -x1913 -x1762 -x1552 -x1975 -x1265 -x1465
3585.65/3597.11 v -x1630 -x1739 -x1900 -x1194 -x1943 -x1886 -x1836 -x1730 -x1678 -x1662 -x1549 -x1528 -x1443 -x1439 -x1430 -x1409 -x1250 -x1226
3585.65/3597.11 v -x1221 -x1203 -x1159 -x1136 -x1523 -x1046 -x1614 -x1788 -x1794 -x1636 -x1260 -x1166 -x1109 -x1882 -x1279 -x1686 -x1753 -x1901
3585.65/3597.11 v -x1998 -x1723 -x1475 -x1659 -x1108 -x1695 -x1874 -x1008 -x1926 -x1744 -x1714 -x1633 -x1547 -x1498 x1441 x1293 -x1270 -x1217
3585.65/3597.11 v -x1160 -x1145 -x1140 -x1126 -x1059 -x1027 -x1023 -x1009 -x1051 -x1355 -x1453 -x1608 -x1074 -x1936 -x1134 -x1463 -x1287 -x1335
3585.65/3597.11 v -x1931 -x1858 -x1634 -x1501 -x1676 -x1235 -x1295 -x1954 -x1688 -x1683 -x1314 -x1689 -x1496 -x1958 -x1721 -x1315 -x1047 -x1742
3585.65/3597.11 v -x1007 -x1962 -x1866 -x1725 x1644 -x1623 -x1611 -x1595 -x1508 -x1458 -x1451 -x1396 -x1384 -x1379 -x1372 -x1328 -x1247 -x1228
3585.65/3597.11 v -x1201 -x1135 -x1127 -x1089 -x1077 -x1030 x1015 -x1018 x1797 -x1848 -x1602 -x1170 -x1593 -x1280 -x1626 x1956 -x1994 -x1637
3585.65/3597.11 v -x1187 -x1107 -x1609 -x1218 -x1599 x1043 -x1072 -x1870 -x1627 -x1256 -x1973 -x1713 -x1169 -x1923 x1568 -x1098 x1905 -x1675
3585.65/3597.11 v -x1810 -x1381 -x1151 -x1991 x1983 -x1968 -x1964 x1854 -x1818 -x1791 -x1770 -x1726 -x1715 -x1680 -x1643 -x1546 -x1543 -x1487 -x1467
3585.65/3597.11 v -x1426 -x1319 -x1312 -x1301 -x1296 -x1263 -x1222 -x1189 -x1183 -x1101 -x1093 -x1087 -x1066 -x1056 -x1041 -x1917 -x1403
3585.65/3597.11 v -x1244 -x1519 -x1347 -x1125 -x1647 -x1878 -x1352 -x1793 x1624 -x1350 -x1692 -x1590 -x1510 -x1095 -x1932 -x1209 -x1206 -x1981
3585.65/3597.11 v -x1556 -x1399 -x1231 -x1349 -x1248 -x1034 -x1844 -x1175 -x1111 -x1434 -x1490 -x1318 -x1581 -x1597 -x1777 -x1618 x1651 x1856 -x1179
3585.65/3597.11 v -x1437 -x1922 -x1877 -x1779 -x1738 -x1554 -x1503 -x1485 -x1401 -x1369 -x1338 -x1289 -x1271 -x1267 x1184 -x1176 -x1097 -x1053
3585.65/3597.11 v -x1037 -x1029 -x1013 -x1816 -x1521 -x1198 -x1722 -x1058 -x1447 -x1622 -x1765 -x1796 -x1128 -x1478 -x1452 -x1530 x1947 -x1177
3585.65/3597.11 v -x1060 -x1411 -x1494 -x1786 -x1390 -x1990 -x1363 -x1565 -x1096 -x1950 -x1942 -x1288 -x1533 x1823 -x1924 -x1119 -x1594 -x1767
3585.65/3597.11 v -x1509 -x1274 -x1799 -x1152 -x1423 x1826 -x1020 -x1513 -x1004 -x1997 -x1996 -x1919 -x1869 -x1863 -x1829 -x1808 -x1772 -x1750
3585.65/3597.11 v -x1743 -x1690 -x1566 -x1529 -x1416 -x1346 -x1311 -x1259 -x1232 -x1192 -x1171 -x1085 -x1078 -x1021 -x1344 -x1404 -x1173
3585.65/3597.11 v -x1327 -x1272 -x1455 -x1302 -x1841 -x1702 -x1927 -x1249 -x1258 -x1705 -x1649 -x1158 -x1600 -x1086 -x1357 -x1851 -x1974 -x1781
3585.65/3597.11 v -x1911 -x1708 -x1677 -x1758 -x1242 -x1666 -x1902 -x1520 -x1736 -x1601 -x1120 -x1709 -x1670 -x1545 -x1642 -x1748 -x1754 -x1564
3585.65/3597.11 v -x1230 -x1729 -x1939 -x1225 x1941 -x1914 -x1752 -x1012 -x1157 -x1904 -x1846 -x1707 -x1679 -x1668 -x1660 -x1613 -x1580 -x1527
3585.65/3597.11 v -x1456 -x1440 -x1345 -x1341 -x1305 -x1303 -x1277 x1275 -x1268 -x1237 x1233 -x1215 -x1143 -x1105 -x1104 -x1099 -x1092 -x1088
3585.65/3597.11 v -x1063 -x1011 -x1340 -x1146 x1100 -x1472 -x1785 -x1550 -x1165 -x1540 -x1893 -x1068 x1571 -x1792 -x1079 -x1732 -x1835 x1727 -x1482
3585.65/3597.11 v -x1153 -x1999 -x1132 -x1122 -x1741 x1646 x1776 -x1867 -x1706 -x1517 -x1199 -x1307 -x1817 -x1010 -x1921 -x1473 -x1323 -x1638
3585.65/3597.11 v -x1488 -x1269 -x1892 -x1006 -x1691 -x1331 -x1376 -x1351 -x1032 -x1861 -x1333 -x1382 -x1142 -x1673 -x1875 -x1589 -x1002 x1945
3585.65/3597.11 v -x1938 -x1925 -x1907 -x1891 -x1773 -x1759 -x1749 -x1616 -x1605 -x1575 x1524 -x1505 -x1480 -x1460 -x1431 -x1405 -x1402 -x1373
3585.65/3597.11 v -x1367 -x1353 -x1334 -x1283 -x1239 -x1116 -x1106 -x1102 -x1025 -x1017 -x1005 -x1506 -x1155 -x1193 -x1190 -x1035 -x1424 -x1598
3585.65/3597.11 v -x1484 -x1812 -x1747 -x1483 -x1578 -x1210 -x1989 -x1300 -x1516 -x1019 -x1299 -x1719 -x1309 -x1156 -x1202 x1766 -x1370 -x1082
3585.65/3597.11 v -x1697 -x1961 -x1824 x1418 -x1652 -x1438 -x1461 x1704 -x1800 -x1385 -x1234 -x1186 -x1205 -x1238 -x1558 -x1763 -x1971 -x1650
3585.65/3597.11 v -x1711 -x1144 -x1518 -x1787 -x1769 -x1718 -x1057 -x1117 -x1522 -x1544 -x1963 x1387 -x1001 -x1992 -x1985 x1959 -x1952 -x1948
3585.65/3597.11 v -x1940 -x1910 -x1909 -x1804 -x1802 -x1712 -x1664 -x1621 -x1619 -x1617 -x1604 x1596 -x1579 -x1559 -x1551 x1449 -x1414 -x1397
3585.65/3597.11 v -x1362 -x1356 -x1348 -x1252 -x1241 -x1227 -x1224 -x1223 -x1191 -x1163 -x1131 -x1115 -x1080 -x1054 -x1049 -x1042 -x1031 -x1606
3585.65/3597.11 v -x1949 -x1324 -x1310 -x1967 -x1761 -x1567 -x1200 -x1446 -x1645 -x1276 x1091 -x1915 -x1557 -x1966 -x1261 x1507 -x1929 -x1168
3585.65/3597.11 v -x1358 -x1398 -x1474 -x1378 -x1653 -x1197 -x1162 -x1803 -x1783 x1587 -x1014 -x1064 -x1297 -x1631 -x1211 -x1392 -x1768 -x1316
3585.65/3597.11 v -x1570 -x1573 -x1003 -x1731 -x1368 x1774 -x1655 -x1050 -x1038 -x1094 -x1150 -x1180 -x1343 x1628 -x1746 -x1278 -x1865 -x1499
3585.65/3597.11 v -x1062 -x1576 -x1789 -x1720 -x1291 x1000 x999 -x998 -x997 x996 x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985
3585.65/3597.11 v -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 x975 x974 x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 -x964
3585.65/3597.11 v x963 -x962 -x961 -x960 -x959 -x958 x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942
3585.65/3597.11 v -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 x925 x924 -x923 -x922 x921
3585.65/3597.11 v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900
3585.65/3597.11 v -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 -x880 -x879
3585.65/3597.11 v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 x861 -x860 -x859 -x858 x857
3585.65/3597.11 v -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836
3585.65/3597.11 v -x835 -x834 -x833 -x832 x831 -x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 x817 x816 -x815
3585.65/3597.11 v x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 x795 x794 -x793
3585.65/3597.11 v -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772
3585.65/3597.11 v -x771 -x770 x769 -x768 x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750
3585.65/3597.11 v x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 -x730 -x729
3585.65/3597.11 v -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721 x720 x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
3585.65/3597.11 v -x707 x706 x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
3585.65/3597.11 v -x686 x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
3585.65/3597.11 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
3585.65/3597.11 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
3585.65/3597.11 v -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 x605 -x604 -x603 -x602
3585.65/3597.11 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
3585.65/3597.11 v -x580 -x579 -x578 -x577 x576 x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
3585.65/3597.11 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
3585.65/3597.11 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518
3585.65/3597.11 v x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
3585.65/3597.11 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476
3585.65/3597.12 v x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455
3585.65/3597.12 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
3585.65/3597.12 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
3585.65/3597.12 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 x394 -x393 x392 -x391
3585.65/3597.12 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
3585.65/3597.12 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
3585.65/3597.12 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
3585.65/3597.12 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308
3585.65/3597.12 v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
3585.65/3597.12 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266
3585.65/3597.12 v x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 x244
3585.65/3597.12 v -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223
3585.65/3597.12 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
3585.65/3597.12 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181
3585.65/3597.12 v -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160
3585.65/3597.12 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
3585.65/3597.12 v -x138 -x137 -x136 -x135 x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118
3585.65/3597.12 v -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
3585.65/3597.12 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72
3585.65/3597.12 v -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
3585.65/3597.12 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21
3585.65/3597.12 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3585.65/3597.12 c SCIP Status : solving was interrupted [time limit reached]
3585.65/3597.12 c Total Time : 3596.99
3585.65/3597.12 c solving : 3596.99
3585.65/3597.12 c presolving : 1.09 (included in solving)
3585.65/3597.12 c reading : 0.62 (included in solving)
3585.65/3597.12 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3585.65/3597.12 c Original Problem :
3585.65/3597.12 c Problem name : HOME/instance-4498425-1751270763.opb
3585.65/3597.12 c Variables : 77286 (2000 binary, 0 integer, 75286 implicit integer, 0 continuous)
3585.65/3597.12 c Constraints : 80287 initial, 80287 maximal
3585.65/3597.12 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3585.65/3597.12 c Presolved Problem :
3585.65/3597.12 c Problem name : t_HOME/instance-4498425-1751270763.opb
3585.65/3597.12 c Variables : 2000 (2000 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.65/3597.12 c Constraints : 3001 initial, 3047 maximal
3585.65/3597.12 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3585.65/3597.12 c Nonzeros : 156572 constraint, 2000 clique table
3585.65/3597.12 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.65/3597.12 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c domcol : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c trivial : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c dualfix : 0.03 0.00 4 75286 0 0 0 0 0 0 0 0
3585.65/3597.12 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c knapsack : 0.06 0.00 3 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c setppc : 0.05 0.00 5 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c linear : 0.08 0.00 6 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c pseudoboolean : 0.38 0.02 1 0 0 0 0 0 79286 2000 0 0
3585.65/3597.12 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c root node : - - - 0 - - 0 - - - - -
3585.65/3597.12 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.65/3597.12 c benderslp : 0 0 0 0 98 0 0 39 0 0 0 0 0 0 0
3585.65/3597.12 c integral : 0 0 0 0 98 0 0 39 0 0 0 0 0 0 196
3585.65/3597.12 c knapsack : 2000 2000 8 14121 0 0 0 33 37824 43 1615 0 0 0 0
3585.65/3597.12 c setppc : 1000 1000 8 13677 0 0 0 33 806 0 71 0 0 0 0
3585.65/3597.12 c linear : 1 1 8 14080 0 0 0 32 84 148 0 0 0 0 0
3585.65/3597.12 c logicor : 0+ 46 8 204 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c benders : 0 0 0 0 0 0 0 33 0 0 0 0 0 0 0
3585.65/3597.12 c fixedvar : 0 0 0 0 0 0 0 33 0 0 0 0 0 0 0
3585.65/3597.12 c countsols : 0 0 0 0 0 0 0 33 0 0 0 0 0 0 0
3585.65/3597.12 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.65/3597.12 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c integral : 1877.12 0.00 0.00 0.00 1877.12 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c knapsack : 1.23 0.00 0.35 0.65 0.00 0.00 0.00 0.07 0.03 0.13
3585.65/3597.12 c setppc : 0.03 0.00 0.00 0.01 0.00 0.00 0.00 0.02 0.00 0.01
3585.65/3597.12 c linear : 0.14 0.00 0.02 0.10 0.00 0.00 0.00 0.00 0.01 0.00
3585.65/3597.12 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c fixedvar : 0.14 0.00 0.00 0.00 0.00 0.00 0.00 0.14 0.00 0.00
3585.65/3597.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.65/3597.12 c dualfix : 2 0 0 0
3585.65/3597.12 c genvbounds : 0 0 0 0
3585.65/3597.12 c nlobbt : 0 0 0 0
3585.65/3597.12 c obbt : 0 0 0 0
3585.65/3597.12 c probing : 0 0 0 0
3585.65/3597.12 c pseudoobj : 286 0 0 0
3585.65/3597.12 c redcost : 10 0 0 0
3585.65/3597.12 c rootredcost : 0 0 0 0
3585.65/3597.12 c symmetry : 0 0 0 0
3585.65/3597.12 c vbounds : 3376 0 0 0
3585.65/3597.12 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.65/3597.12 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3585.65/3597.12 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3585.65/3597.12 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c symmetry : 0.04 0.00 0.04 0.00 0.00 0.00
3585.65/3597.12 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.12 c Symmetry :
3585.65/3597.12 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.65/3597.12 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.65/3597.12 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.65/3597.12 c shadow tree time : 0.00 s
3585.65/3597.12 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.65/3597.12 c propagation : 0.21 42 42 - 2961 714.3 0 0.0 - - -
3585.65/3597.12 c infeasible LP : 0.00 1 1 - 64 336.9 0 0.0 0 0.0 0
3585.65/3597.12 c bound exceed. LP : 0.09 38 0 - 0 0.0 0 0.0 0 0.0 280
3585.65/3597.12 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.65/3597.12 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.65/3597.12 c applied globally : 0.00 - - 0 46 104.1 - - 0 - -
3585.65/3597.12 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.65/3597.12 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.65/3597.12 c cut pool : 0.11 - 175 13 - - 9263 26277 - - - - - (maximal pool size: 8190)
3585.65/3597.12 c aggregation : 0.95 0.00 82 8 0 0 9260 26272 0 5341 5341 0 0
3585.65/3597.12 c > cmir : - - - - - - - 26272 0 5341 5341 0 -
3585.65/3597.12 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.65/3597.12 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.65/3597.12 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c clique : 0.14 0.00 8 8 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c gomory : 69.82 0.00 48 8 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3585.65/3597.12 c > strongcg : - - - - - - - 0 0 0 0 0 -
3585.65/3597.12 c impliedbounds : 0.01 0.00 82 8 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c multilinear : 0.00 0.00 19 8 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c rlt : 0.00 0.00 16 8 0 0 0 0 0 0 0 0 0
3585.65/3597.12 c zerohalf : 36.72 0.00 48 8 0 0 3 5 0 2 2 0 0
3585.65/3597.12 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.65/3597.12 c hybrid : 0.13 0.00 94 6 5343 0 20934 992 0 1114
3585.65/3597.12 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c Pricers : ExecTime SetupTime Calls Vars
3585.65/3597.12 c problem variables: 0.00 - 0 0
3585.65/3597.12 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.65/3597.12 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c relpscost : 1877.12 0.00 98 0 0 0 0 0 0 196
3585.65/3597.12 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.12 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.65/3597.12 c LP solutions : 0.00 - - 0 0
3585.65/3597.12 c relax solutions : 0.00 - - 0 0
3585.65/3597.12 c pseudo solutions : 0.00 - - 0 0
3585.65/3597.12 c strong branching : 0.00 - - 0 0
3585.65/3597.12 c actconsdiving : 0.00 0.00 0 0 0
3585.65/3597.12 c adaptivediving : 14.85 0.00 1 0 0
3585.65/3597.12 c alns : 0.20 0.00 1 0 0
3585.65/3597.12 c bound : 0.00 0.00 0 0 0
3585.65/3597.12 c clique : 0.07 0.00 1 0 0
3585.65/3597.12 c coefdiving : 0.00 0.00 0 0 0
3585.65/3597.12 c completesol : 0.00 0.00 0 0 0
3585.65/3597.12 c conflictdiving : 74.18 0.00 3 0 0
3585.65/3597.12 c crossover : 0.00 0.00 0 0 0
3585.65/3597.12 c dins : 0.00 0.00 0 0 0
3585.65/3597.12 c distributiondivin: 70.27 0.00 3 0 0
3585.65/3597.12 c dps : 0.00 0.00 0 0 0
3585.65/3597.12 c dualval : 0.00 0.00 0 0 0
3585.65/3597.12 c farkasdiving : 0.00 0.00 0 0 0
3585.65/3597.12 c feasjump : 0.00 0.00 0 0 0
3585.65/3597.12 c feaspump : 63.10 0.00 1 1 1
3585.65/3597.12 c fixandinfer : 0.00 0.00 0 0 0
3585.65/3597.12 c fracdiving : 50.03 0.00 3 1 1
3585.65/3597.12 c gins : 0.00 0.00 0 0 0
3585.65/3597.12 c guideddiving : 24.51 0.00 2 0 0
3585.65/3597.12 c indcoefdiving : 0.00 0.00 0 0 0
3585.65/3597.12 c indicator : 0.00 0.00 0 0 0
3585.65/3597.12 c indicatordiving : 0.00 0.00 0 0 0
3585.65/3597.12 c indoneopt : 0.00 0.00 0 0 0
3585.65/3597.12 c indrounding : 0.00 0.00 0 0 0
3585.65/3597.12 c indtwoopt : 0.00 0.00 0 0 0
3585.65/3597.12 c intdiving : 0.00 0.00 0 0 0
3585.65/3597.12 c intshifting : 0.00 0.00 0 0 0
3585.65/3597.12 c linesearchdiving : 87.88 0.00 3 2 2
3585.65/3597.12 c localbranching : 0.00 0.00 0 0 0
3585.65/3597.12 c locks : 0.05 0.00 1 0 0
3585.65/3597.12 c lpface : 0.00 0.00 0 0 0
3585.65/3597.12 c mpec : 0.00 0.00 0 0 0
3585.65/3597.12 c multistart : 0.00 0.00 0 0 0
3585.65/3597.12 c mutation : 0.00 0.00 0 0 0
3585.65/3597.12 c nlpdiving : 0.00 0.00 0 0 0
3585.65/3597.12 c objpscostdiving : 416.94 0.00 1 1 0
3585.65/3597.12 c octane : 0.00 0.00 0 0 0
3585.65/3597.12 c ofins : 0.00 0.00 0 0 0
3585.65/3597.12 c oneopt : 0.03 0.00 8 0 0
3585.65/3597.12 c padm : 0.00 0.00 0 0 0
3585.65/3597.12 c proximity : 0.00 0.00 0 0 0
3585.65/3597.12 c pscostdiving : 32.28 0.00 3 1 1
3585.65/3597.12 c randrounding : 2.61 0.00 8 2 1
3585.65/3597.12 c rens : 0.00 0.00 0 0 0
3585.65/3597.12 c reoptsols : 0.00 0.00 0 0 0
3585.65/3597.12 c repair : 0.00 0.00 0 0 0
3585.65/3597.12 c rins : 0.00 0.00 0 0 0
3585.65/3597.12 c rootsoldiving : 14.83 0.00 1 0 0
3585.65/3597.12 c rounding : 12.02 0.00 193 1 1
3585.65/3597.12 c scheduler : 0.00 0.00 0 0 0
3585.65/3597.12 c shiftandpropagate: 0.00 0.00 0 0 0
3585.65/3597.12 c shifting : 8.15 0.00 104 20 0
3585.65/3597.12 c simplerounding : 0.00 0.00 0 0 0
3585.65/3597.12 c smallcard : 0.00 0.00 0 0 0
3585.65/3597.12 c subnlp : 0.00 0.00 0 0 0
3585.65/3597.12 c trivial : 0.06 0.00 2 1 1
3585.65/3597.12 c trivialnegation : 0.00 0.00 0 0 0
3585.65/3597.12 c trustregion : 0.00 0.00 0 0 0
3585.65/3597.12 c trysol : 0.00 0.00 0 0 0
3585.65/3597.12 c twoopt : 0.00 0.00 0 0 0
3585.65/3597.12 c undercover : 0.00 0.00 0 0 0
3585.65/3597.12 c vbounds : 0.09 0.00 1 0 0
3585.65/3597.12 c veclendiving : 23.79 0.00 2 0 0
3585.65/3597.12 c zeroobj : 0.00 0.00 0 0 0
3585.65/3597.12 c zirounding : 0.07 0.00 98 0 0
3585.65/3597.12 c other solutions : - - - 0 -
3585.65/3597.12 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.65/3597.12 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
3585.65/3597.12 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
3585.65/3597.12 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
3585.65/3597.12 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
3585.65/3597.12 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
3585.65/3597.12 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
3585.65/3597.12 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
3585.65/3597.12 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
3585.65/3597.12 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
3585.65/3597.12 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.65/3597.12 c primal LP : 4.48 22 3 1.00 0.67 0.86 19
3585.65/3597.12 c dual LP : 708.64 193 148980 771.92 210.23 0.00 0
3585.65/3597.12 c lex dual LP : 0.00 0 0 0.00 -
3585.65/3597.12 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.65/3597.12 c resolve instable : 0.00 0 0 0.00 -
3585.65/3597.12 c diving/probing LP: 887.53 2064 292225 141.58 329.26
3585.65/3597.12 c strong branching : 1859.68 372 225370 605.83 121.19 - - 347
3585.65/3597.12 c (at root node) : - 44 44000 1000.00 -
3585.65/3597.12 c conflict analysis: 0.07 28 280 10.00 3986.45
3585.65/3597.12 c B&B Tree :
3585.65/3597.12 c number of runs : 1
3585.65/3597.12 c nodes : 99 (98 internal, 1 leaves)
3585.65/3597.12 c feasible leaves : 0
3585.65/3597.12 c infeas. leaves : 0
3585.65/3597.12 c objective leaves : 0
3585.65/3597.12 c nodes (total) : 99 (98 internal, 1 leaves)
3585.65/3597.12 c nodes left : 99
3585.65/3597.12 c max depth : 18
3585.65/3597.12 c max depth (total): 18
3585.65/3597.12 c backtracks : 21 (21.2%)
3585.65/3597.12 c early backtracks : 0 (0.0%)
3585.65/3597.12 c nodes exc. ref. : 0 (0.0%)
3585.65/3597.12 c delayed cutoffs : 0
3585.65/3597.12 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3585.65/3597.12 c avg switch length: 3.03
3585.65/3597.12 c switching time : 4.51
3585.65/3597.12 c Root Node :
3585.65/3597.12 c First LP value : -5.00000000000000e+02
3585.65/3597.12 c First LP Iters : 5491 (660.59 Iter/sec)
3585.65/3597.12 c First LP Time : 8.31
3585.65/3597.12 c Final Dual Bound : -5.00000000000000e+02
3585.65/3597.12 c Final Root Iters : 6587
3585.65/3597.12 c Root LP Estimate : +3.72136712088287e+02
3585.65/3597.12 c Solution :
3585.65/3597.12 c Solutions found : 30 (8 improvements)
3585.65/3597.12 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 1.05 seconds, depth 0, found by <trivial>)
3585.65/3597.12 c Gap First Sol. : infinite
3585.65/3597.12 c Gap Last Sol. : 480.56 %
3585.65/3597.12 c Primal Bound : -8.60000000000000e+01 (in run 1, after 92 nodes, 3509.92 seconds, depth 230, found by <linesearchdiving>)
3585.65/3597.12 c Dual Bound : -4.99279250813720e+02
3585.65/3597.12 c Gap : 480.56 %
3585.65/3597.12 c Integrals : Total Avg%
3585.65/3597.12 c primal-dual : 310330.17 86.27
3585.65/3597.12 c primal-ref : - - (not evaluated)
3585.65/3597.12 c dual-ref : - - (not evaluated)
3585.74/3597.29 c Time complete: 3585.83.
OK -86
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: 63837 MiB (61383 MiB free)
memory of node 1: 64465 MiB (62770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498425-1751270763/watcher-4498425-1751270763 -o /tmp/evaluation-result-4498425-1751270763/solver-4498425-1751270763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751268232-33087 --watchdog 3760 pbscip -f HOME/instance-4498425-1751270763.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33541, runsolver pid=33538
[startup+0.100069 s]*
/proc/loadavg: 4.10 4.11 3.94 5/252 33542
/proc/meminfo: memFree=127105928/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=65272 memory=37504 CPUtime=0.08 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 6377 0 0 0 6 2 0 0 20 0 1 0 42755042 66838528 9376 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 16318 9376 3296 3530 0 7769 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65272 KiB
Current children cumulated memory: 37504 KiB
[startup+0.214489 s]*
/proc/loadavg: 4.10 4.11 3.94 5/252 33542
/proc/meminfo: memFree=127081736/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=90132 memory=61184 CPUtime=0.18 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 12308 0 0 0 14 4 0 0 20 0 1 0 42755042 92295168 15296 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 22533 15296 3296 3530 0 13984 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 90132 KiB
Current children cumulated memory: 61184 KiB
[startup+0.314318 s]*
/proc/loadavg: 4.10 4.11 3.94 5/252 33542
/proc/meminfo: memFree=127065608/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=109764 memory=79872 CPUtime=0.27 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 16994 0 0 0 21 6 0 0 20 0 1 0 42755042 112398336 19968 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 27441 19968 3296 3530 0 18892 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 109764 KiB
Current children cumulated memory: 79872 KiB
[startup+0.700211 s]
/proc/loadavg: 4.10 4.11 3.94 5/252 33542
/proc/meminfo: memFree=127033856/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=194736 memory=167556 CPUtime=0.62 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 39936 0 0 0 50 12 0 0 20 0 1 0 42755042 199409664 41889 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 48684 41889 3616 3530 0 40135 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 194736 KiB
Current children cumulated memory: 167556 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.11 3.94 6/252 33542
/proc/meminfo: memFree=126872828/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=351236 memory=322704 CPUtime=1.4 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 78391 0 0 0 119 21 0 0 20 0 1 0 42755042 359665664 80676 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 87809 80676 3616 3530 0 79260 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 351236 KiB
Current children cumulated memory: 322704 KiB
[startup+3.10585 s]
/proc/loadavg: 4.10 4.11 3.94 6/252 33542
/proc/meminfo: memFree=126769188/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=400860 memory=368820 CPUtime=2.99 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 91333 0 0 0 276 23 0 0 20 0 1 0 42755042 410480640 92205 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 100215 92205 3904 3530 0 91666 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 400860 KiB
Current children cumulated memory: 368820 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.11 3.94 6/252 33542
/proc/meminfo: memFree=126722100/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=445216 memory=407344 CPUtime=6.16 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 95812 0 0 0 591 25 0 0 20 0 1 0 42755042 455901184 101836 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 111304 101836 3904 3530 0 102755 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 445216 KiB
Current children cumulated memory: 407344 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 3.94 6/252 33542
/proc/meminfo: memFree=126713576/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=451600 memory=415832 CPUtime=12.51 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 96408 0 0 0 1225 26 0 0 20 0 1 0 42755042 462438400 103958 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 112900 103958 3904 3530 0 104351 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 451600 KiB
Current children cumulated memory: 415832 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 3.95 6/252 33542
/proc/meminfo: memFree=126682184/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=504064 memory=467436 CPUtime=25.27 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 110417 0 0 0 2499 28 0 0 20 0 1 0 42755042 516161536 116859 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 127223 116859 3904 3530 0 118674 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 504064 KiB
Current children cumulated memory: 467436 KiB
[startup+51.1132 s]
/proc/loadavg: 4.09 4.11 3.95 6/251 33543
/proc/meminfo: memFree=126648628/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=523528 memory=487668 CPUtime=50.81 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 123714 0 0 0 5050 31 0 0 20 0 1 0 42755042 536092672 121917 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 130882 121917 3904 3530 0 122333 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 523528 KiB
Current children cumulated memory: 487668 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 3.96 6/252 33546
/proc/meminfo: memFree=126631560/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=539436 memory=501588 CPUtime=101.85 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 129293 0 0 0 10152 33 0 0 20 0 1 0 42755042 552382464 125397 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 134859 125397 3904 3530 0 126310 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 539436 KiB
Current children cumulated memory: 501588 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 3.97 6/252 33548
/proc/meminfo: memFree=126569208/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=539104 memory=500000 CPUtime=161.69 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 132375 0 0 0 16135 34 0 0 20 0 1 0 42755042 552042496 125000 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 134776 125000 4000 3530 0 126227 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 539104 KiB
Current children cumulated memory: 500000 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 3.98 6/250 33550
/proc/meminfo: memFree=126548152/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=539104 memory=500000 CPUtime=221.52 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 132393 0 0 0 22118 34 0 0 20 0 1 0 42755042 552042496 125000 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 134776 125000 4000 3530 0 126227 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 539104 KiB
Current children cumulated memory: 500000 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 3.99 6/250 33552
/proc/meminfo: memFree=126503416/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=539104 memory=500000 CPUtime=281.35 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 132398 0 0 0 28101 34 0 0 20 0 1 0 42755042 552042496 125000 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 134776 125000 4000 3530 0 126227 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 539104 KiB
Current children cumulated memory: 500000 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.00 6/250 33554
/proc/meminfo: memFree=126492884/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=539104 memory=500000 CPUtime=341.18 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 132398 0 0 0 34084 34 0 0 20 0 1 0 42755042 552042496 125000 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 134776 125000 4000 3530 0 126227 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 539104 KiB
Current children cumulated memory: 500000 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.01 6/250 33556
/proc/meminfo: memFree=126459356/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=539104 memory=500000 CPUtime=401.02 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 132421 0 0 0 40067 35 0 0 20 0 1 0 42755042 552042496 125000 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 134776 125000 4000 3530 0 126227 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 539104 KiB
Current children cumulated memory: 500000 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.01 6/249 33557
/proc/meminfo: memFree=126407972/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=539104 memory=503896 CPUtime=460.86 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 132899 0 0 0 46051 35 0 0 20 0 1 0 42755042 552042496 125974 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 134776 125974 4000 3530 0 126227 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
/proc/loadavg: 3.30 3.81 4.01 4/244 33802
/proc/meminfo: memFree=127317124/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=561940 memory=531280 CPUtime=3152.32 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 136355 0 0 0 315194 38 0 0 20 0 1 0 42755042 575426560 132820 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 140485 132820 4000 3530 0 131936 0
Current children cumulated CPU time: 3152.32 s
Current children cumulated vsize: 561940 KiB
Current children cumulated memory: 531280 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.67 3.95 4/243 33804
/proc/meminfo: memFree=127301272/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=561940 memory=531280 CPUtime=3212.11 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 136355 0 0 0 321173 38 0 0 20 0 1 0 42755042 575426560 132820 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 140485 132820 4000 3530 0 131936 0
Current children cumulated CPU time: 3212.11 s
Current children cumulated vsize: 561940 KiB
Current children cumulated memory: 531280 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.56 3.89 4/244 33807
/proc/meminfo: memFree=127249564/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=561940 memory=531280 CPUtime=3271.91 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 136355 0 0 0 327153 38 0 0 20 0 1 0 42755042 575426560 132820 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 140485 132820 4000 3530 0 131936 0
Current children cumulated CPU time: 3271.91 s
Current children cumulated vsize: 561940 KiB
Current children cumulated memory: 531280 KiB
[startup+3342.3 s]
/proc/loadavg: 3.07 3.47 3.84 4/244 33820
/proc/meminfo: memFree=127236952/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=562940 memory=532432 CPUtime=3331.7 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 136640 0 0 0 333132 38 0 0 20 0 1 0 42755042 576450560 133108 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 140735 133108 4000 3530 0 132186 0
Current children cumulated CPU time: 3331.7 s
Current children cumulated vsize: 562940 KiB
Current children cumulated memory: 532432 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.40 3.79 4/244 33822
/proc/meminfo: memFree=127209812/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=562940 memory=532432 CPUtime=3391.5 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 136640 0 0 0 339112 38 0 0 20 0 1 0 42755042 576450560 133108 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 140735 133108 4000 3530 0 132186 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 562940 KiB
Current children cumulated memory: 532432 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.36 3.75 4/245 33825
/proc/meminfo: memFree=127186376/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=564088 memory=533456 CPUtime=3451.29 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137064 0 0 0 345091 38 0 0 20 0 1 0 42755042 577626112 133364 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 141022 133364 4000 3530 0 132473 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 564088 KiB
Current children cumulated memory: 533456 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.31 3.71 4/245 33827
/proc/meminfo: memFree=127155948/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=572884 memory=542412 CPUtime=3511.09 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137262 0 0 0 351070 39 0 0 20 0 1 0 42755042 586633216 135603 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 143221 135603 4000 3530 0 134672 0
Current children cumulated CPU time: 3511.09 s
Current children cumulated vsize: 572884 KiB
Current children cumulated memory: 542412 KiB
[startup+3582.3 s]
/proc/loadavg: 3.04 3.25 3.66 4/244 33829
/proc/meminfo: memFree=127137740/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=572884 memory=542412 CPUtime=3570.89 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137263 0 0 0 357050 39 0 0 20 0 1 0 42755042 586633216 135603 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 143221 135603 4000 3530 0 134672 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 572884 KiB
Current children cumulated memory: 542412 KiB
[startup+3597.29 s]
# the end of solver process 33541 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.44 s, system=0.399178 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.04 3.25 3.66 4/244 33829
/proc/meminfo: memFree=127129676/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=572884 memory=542412 CPUtime=3572.6 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137263 0 0 0 357221 39 0 0 20 0 1 0 42755042 586633216 135603 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 143221 135603 4000 3530 0 134672 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 572884 KiB
Current children cumulated memory: 542412 KiB
[startup+3590.4 s]
/proc/loadavg: 3.20 3.28 3.67 4/244 33829
/proc/meminfo: memFree=127129928/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=572884 memory=542412 CPUtime=3578.96 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137263 0 0 0 357857 39 0 0 20 0 1 0 42755042 586633216 135603 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 143221 135603 4000 3530 0 134672 0
Current children cumulated CPU time: 3578.96 s
Current children cumulated vsize: 572884 KiB
Current children cumulated memory: 542412 KiB
[startup+3593.6 s]
/proc/loadavg: 3.18 3.27 3.66 4/244 33829
/proc/meminfo: memFree=127129928/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=572884 memory=542412 CPUtime=3582.15 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137263 0 0 0 358176 39 0 0 20 0 1 0 42755042 586633216 135603 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 143221 135603 4000 3530 0 134672 0
Current children cumulated CPU time: 3582.15 s
Current children cumulated vsize: 572884 KiB
Current children cumulated memory: 542412 KiB
[startup+3595.2 s]
/proc/loadavg: 3.18 3.27 3.66 4/244 33829
/proc/meminfo: memFree=127130180/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=572884 memory=542412 CPUtime=3583.75 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137264 0 0 0 358336 39 0 0 20 0 1 0 42755042 586633216 135603 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 143221 135603 4000 3530 0 134672 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 572884 KiB
Current children cumulated memory: 542412 KiB
[startup+3596 s]*
/proc/loadavg: 3.17 3.27 3.66 4/245 33831
/proc/meminfo: memFree=127130180/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=572884 memory=542412 CPUtime=3584.56 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137264 0 0 0 358417 39 0 0 20 0 1 0 42755042 586633216 135603 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 143221 135603 4000 3530 0 134672 0
Current children cumulated CPU time: 3584.56 s
Current children cumulated vsize: 572884 KiB
Current children cumulated memory: 542412 KiB
[startup+3596.8 s]
/proc/loadavg: 3.17 3.27 3.66 4/245 33831
/proc/meminfo: memFree=127130180/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=572884 memory=542412 CPUtime=3585.34 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137264 0 0 0 358495 39 0 0 20 0 1 0 42755042 586633216 135603 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 143221 135603 4000 3530 0 134672 0
Current children cumulated CPU time: 3585.34 s
Current children cumulated vsize: 572884 KiB
Current children cumulated memory: 542412 KiB
[startup+3597.2 s]
/proc/loadavg: 3.17 3.27 3.66 4/245 33831
/proc/meminfo: memFree=127130180/131382120 swapFree=33010684/33010684
[pid=33541] ppid=33538 vsize=572884 memory=542412 CPUtime=3585.74 cores=5,7
/proc/33541/stat : 33541 (pbscip) R 33538 33541 33067 0 -1 4194304 137306 0 0 0 358535 39 0 0 20 0 1 0 42755042 586633216 135603 18446744073709551615 4235264 18693293 140721068521632 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36249600 140721068525961 140721068526060 140721068526060 140721068531662 0
/proc/33541/statm: 143221 135603 4000 3530 0 134672 0
Current children cumulated CPU time: 3585.74 s
Current children cumulated vsize: 572884 KiB
Current children cumulated memory: 542412 KiB
Child status: 0
Real time (s): 3597.29
CPU time (s): 3585.84
CPU user time (s): 3585.44
CPU system time (s): 0.399178
CPU usage (%): 99.6815
Max. virtual memory (cumulated for all children) (KiB): 572884
Max. memory (cumulated for all children) (KiB): 542412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.44
system time used= 0.399178
maximum resident set size= 542412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137318
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= 103
involuntary context switches= 1209
# summary of solver processes directly reported to runsolver:
# pid: 33541
# total CPU time (s): 3585.84
# total CPU user time (s): 3585.44
# total CPU system time (s): 0.399178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0892 second user time and 33.6856 second system time
The end
Begin job on nodeC003 at 2025-06-30 10:06:04 IDJOB=4498425 IDBENCH=148671 IDSOLVER=3365 FILE ID=nodeC003/4498425-1751270763 RUNJOBID= nodeC003-1751268232-33087 SLURM_JOB_ID= 9594170 Free space on /tmp= 432696 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498425-1751270763/watcher-4498425-1751270763 -o /tmp/evaluation-result-4498425-1751270763/solver-4498425-1751270763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751268232-33087 --watchdog 3760 pbscip -f HOME/instance-4498425-1751270763.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a48c66dfa619fe9822eb3addabc6673c RANDOM SEED=27383631 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00001f cpu MHz : 3662.247 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 3691.249 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 1197.407 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.300 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 3662.220 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.156 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.959 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 127134212 kB MemAvailable: 127597164 kB Buffers: 3280 kB Cached: 1268644 kB SwapCached: 0 kB Active: 2616356 kB Inactive: 1019412 kB Active(anon): 2381804 kB Inactive(anon): 0 kB Active(file): 234552 kB Inactive(file): 1019412 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20816 kB Writeback: 4 kB AnonPages: 2365580 kB Mapped: 138268 kB Shmem: 17960 kB KReclaimable: 97228 kB Slab: 179896 kB SReclaimable: 97228 kB SUnreclaim: 82668 kB KernelStack: 4080 kB PageTables: 8332 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 3285252 kB VmallocTotal: 34359738367 kB VmallocUsed: 149432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1748992 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432696 MiB End job on nodeC003 at 2025-06-30 11:06:01