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 | -84 | 3586.68 | 3597.33 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_1000_60_4.opb |
| MD5SUM | 4c2c369b1f167640d5c7bb93c6f68f6b |
| 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 | -94 |
| Best CPU time to get the best result obtained on this benchmark | 72000.5 |
| 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) | 150968 |
| Sum of products size (including duplicates) | 301936 |
| Number of different products | 75484 |
| Sum of products size | 150968 |
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-4498386-1751269590.opb>
0.19/0.26 c original problem has 77484 variables (2000 bin, 0 int, 75484 impl, 0 cont) and 80485 constraints
0.19/0.26 c problem read in 0.26
0.49/0.60 o 0
0.49/0.60 c feasible solution found by trivial heuristic after 0.6 seconds, objective value 0.000000e+00
0.49/0.60 c presolving:
1.08/1.14 c (round 1, medium) 0 del vars, 79484 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1000 clqs
1.18/1.22 c (round 2, fast) 75484 del vars, 79484 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1000 clqs
1.18/1.25 c (round 3, exhaustive) 75484 del vars, 79484 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 0 impls, 1000 clqs
1.38/1.41 c (1.4s) probing: 51/2000 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.38/1.41 c (1.4s) probing aborted: 50/50 successive totally useless probings
1.38/1.43 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.38/1.46 c (1.5s) no symmetry present (symcode time: 0.00)
1.38/1.48 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
1.38/1.48 c 75484 deleted vars, 79484 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.38/1.48 c 0 implications, 1000 cliques
1.38/1.48 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
1.38/1.48 c 2000 constraints of type <knapsack>
1.38/1.48 c 1000 constraints of type <setppc>
1.38/1.48 c 1 constraints of type <linear>
1.38/1.48 c transformed objective value is always integral (scale: 1)
1.38/1.48 c Presolving Time: 0.93
1.38/1.48 c - non default parameters ----------------------------------------------------------------------
1.38/1.48 c # SCIP version 10.0.0
1.38/1.48 c
1.38/1.48 c # maximal time in seconds to run
1.38/1.48 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.48 c limits/time = 3596.997013
1.38/1.48 c
1.38/1.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.48 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.48 c limits/memory = 27900
1.38/1.48 c
1.38/1.48 c # belongs reading time to solving time?
1.38/1.48 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.48 c timing/reading = TRUE
1.38/1.48 c
1.38/1.48 c -----------------------------------------------------------------------------------------------
1.38/1.48 c start solving
1.38/1.49 c transformed 1/1 original solutions to the transformed problem space
1.49/1.50 c
9.16/9.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.16/9.28 c 9.3s| 1 | 0 | 4516 | - | 331M | 0 |2000 |3001 |3001 | 0 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf | unknown
9.26/9.39 o -1
9.26/9.39 c r 9.4s| 1 | 0 | 4516 | - |rounding| 0 |2000 |3001 |3001 | 0 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
16.44/16.51 c 16.5s| 1 | 0 | 4820 | - | 380M | 0 |2000 |3001 |3260 | 259 | 1 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
23.42/23.54 c 23.5s| 1 | 0 | 5051 | - | 386M | 0 |2000 |3001 |3476 | 475 | 2 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
33.50/33.61 c 33.6s| 1 | 0 | 5330 | - | 390M | 0 |2000 |3001 |3738 | 737 | 3 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
33.50/33.64 o -55
33.50/33.64 c r33.6s| 1 | 0 | 5330 | - |randroun| 0 |2000 |3001 |3738 | 0 | 3 | 0 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
43.17/43.33 c 43.3s| 1 | 0 | 5563 | - | 392M | 0 |2000 |3001 |3964 | 963 | 4 | 0 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
49.36/49.59 c 49.6s| 1 | 0 | 5678 | - | 393M | 0 |2000 |3001 |4058 |1057 | 5 | 0 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
55.95/56.19 c 56.2s| 1 | 0 | 5713 | - | 397M | 0 |2000 |3001 |4090 |1089 | 6 | 0 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
56.04/56.21 o -56
56.04/56.21 c r56.2s| 1 | 0 | 5713 | - |randroun| 0 |2000 |3001 |4090 | 0 | 6 | 0 | 0 |-5.000000e+02 |-5.600000e+01 | 792.86%| unknown
296.04/296.84 c 297s| 1 | 2 | 15663 | - | 398M | 0 |2000 |3001 |4090 |1089 | 7 | 0 | 20 |-5.000000e+02 |-5.600000e+01 | 792.86%| unknown
1950.99/1956.32 o -62
1950.99/1956.32 c d1956s| 16 | 17 | 51889 |3078.4 |pscostdi| 15 |2000 |3001 |3676 | 0 | 1 | 0 | 313 |-5.000000e+02 |-6.200000e+01 | 706.45%| unknown
2168.15/2174.14 o -80
2168.15/2174.14 c d2174s| 41 | 42 | 92207 |2162.3 |fracdivi| 25 |2000 |3001 |3743 | 0 | 1 | 0 | 329 |-5.000000e+02 |-8.000000e+01 | 525.00%| unknown
2493.01/2500.04 o -84
2493.01/2500.04 c d2500s| 63 | 64 |173248 |2702.2 |linesear| 25 |2000 |3002 |3413 | 0 | 1 | 1 | 360 |-4.997601e+02 |-8.400000e+01 | 494.95%| unknown
3101.16/3110.25 c 3110s| 100 | 101 |376809 |3748.4 | 408M | 28 |2000 |3009 |3743 |3472 | 1 | 8 | 400 |-4.995204e+02 |-8.400000e+01 | 494.67%| unknown
3586.35/3597.09 c
3586.35/3597.09 c SCIP Status : solving was interrupted [time limit reached]
3586.35/3597.09 c Solving Time (sec) : 3597.08
3586.35/3597.09 c Solving Nodes : 165
3586.35/3597.09 c Primal Bound : -8.40000000000000e+01 (71 solutions)
3586.35/3597.09 c Dual Bound : -4.99039283951046e+02
3586.35/3597.09 c Gap : 494.09 %
3586.45/3597.17 s SATISFIABLE
3586.45/3597.18 v -x1887 x1655 -x1890 -x1709 -x1548 -x1367 x1815 -x1580 -x1652 -x1946 -x1727 -x1997 -x1659 -x1420 -x1438 -x1908 -x1830 -x1778 -x1666
3586.45/3597.18 v -x1301 -x1278 -x1667 -x1977 -x1158 -x1291 -x1848 -x1157 -x1852 -x1137 -x1774 x1636 -x1901 -x1653 -x1396 -x1691 -x1437 x1672
3586.45/3597.18 v -x1591 -x1958 x1807 -x1731 -x1173 -x1915 -x1951 -x1882 x1926 -x1780 -x1487 -x1070 -x1403 -x1990 x1619 -x1219 -x1113 -x1923
3586.45/3597.18 v -x1660 -x1972 -x1917 -x1714 -x1510 -x1498 -x1971 -x1144 -x1514 -x1071 x1963 -x1757 -x1191 -x1283 -x1949 -x1941 -x1930 -x1775
3586.45/3597.18 v -x1799 -x1699 -x1617 -x1558 -x1583 -x1393 -x1339 -x1743 -x1357 -x1064 -x1812 -x1671 -x1813 -x1423 -x1274 -x1690 -x1929 -x1840
3586.45/3597.18 v -x1764 -x1983 -x1793 -x1169 -x1818 -x1329 -x1217 -x1916 -x1766 -x1571 -x1471 -x1370 -x1314 x1914 -x1143 -x1726 -x1454 -x1698
3586.45/3597.18 v -x1413 -x1664 -x1354 x1227 -x1094 -x1490 -x1761 -x1911 -x1985 -x1621 x1831 -x1842 -x1108 -x1841 -x1499 -x1224 -x1961 -x1484
3586.45/3597.18 v -x1601 -x1598 -x1608 -x1334 -x1854 -x1760 -x1530 -x1349 x1297 -x1246 -x1741 -x1417 -x1041 -x1844 -x1937 x1771 -x1464 -x1446
3586.45/3597.18 v x1898 -x1748 -x1435 -x1394 -x1369 -x1318 -x1253 -x1214 -x1056 -x1055 -x1272 -x1516 -x1594 -x1976 x1316 -x1425 -x1500 -x1279 -x1662
3586.45/3597.18 v -x1570 -x1461 -x1359 -x1254 -x1189 -x1902 x1694 -x1737 -x1874 -x1288 -x1875 -x1785 -x1050 -x1061 -x1802 -x1184 -x1733 -x1978
3586.45/3597.18 v -x1801 -x1746 -x1739 -x1218 -x1524 -x1069 -x1670 -x1705 -x1566 x1828 -x1729 -x1996 -x1885 -x1520 x1817 -x1753 -x1744 -x1478
3586.45/3597.18 v -x1307 -x1226 -x1188 -x1142 -x1129 -x1104 -x1722 -x1707 -x1643 -x1921 -x1798 -x1648 -x1038 -x1654 -x1058 -x1332 -x1805 -x1893
3586.45/3597.18 v -x1326 -x1401 x1906 -x1884 -x1867 x1819 -x1808 -x1773 -x1706 -x1406 -x1342 -x1612 x1597 -x1468 -x1913 -x1168 -x1950 -x1465
3586.45/3597.18 v -x1776 -x1683 -x1614 -x1572 -x1713 -x1680 -x1014 -x1904 -x1692 -x1529 -x1466 -x1233 -x1208 -x1171 -x1031 -x1310 -x1223 -x1626
3586.45/3597.18 v -x1919 -x1045 -x1973 -x1846 -x1526 -x1262 -x1708 -x1765 -x1267 -x1119 -x1475 -x1543 -x1634 -x1889 -x1767 -x1710 -x1688 -x1649
3586.45/3597.18 v -x1646 -x1553 -x1512 -x1418 -x1356 -x1345 -x1127 -x1053 -x1336 -x1588 -x1086 -x1900 -x1293 -x1763 -x1628 -x1862 -x1299
3586.45/3597.18 v -x1405 -x1720 -x1551 -x1934 -x1938 -x1346 -x1546 -x1138 x1857 -x1895 -x1426 -x1012 -x1829 -x1682 x1618 -x1613 -x1567 -x1213 -x1201
3586.45/3597.18 v -x1103 -x1102 -x1784 -x1424 -x1980 -x1839 -x1469 -x1651 -x1097 -x1609 -x1328 -x1940 -x1881 -x1611 -x1899 -x1443 -x1308
3586.45/3597.18 v -x1995 -x1745 -x1507 -x1060 x1792 -x1366 -x1309 x1736 -x1011 -x1931 x1791 -x1695 -x1645 -x1564 -x1537 -x1368 -x1284 -x1228 -x1196
3586.45/3597.18 v -x1953 -x1216 -x1431 -x1728 -x1585 -x1562 x1581 -x1504 -x1013 -x1752 -x1441 -x1920 -x1410 -x1361 -x1167 x1452 -x1408 -x1148
3586.45/3597.18 v -x1541 -x1023 -x1034 -x1925 -x1311 x1656 -x1944 -x1870 -x1528 -x1335 -x1304 -x1263 -x1243 -x1195 -x1145 -x1117 -x1111 -x1077
3586.45/3597.18 v -x1024 -x1395 -x1451 -x1616 -x1740 -x1843 -x1482 -x1198 -x1126 -x1242 -x1565 -x1429 -x1457 -x1232 -x1289 -x1686 -x1658 -x1999
3586.45/3597.18 v -x1260 -x1838 -x1814 -x1200 -x1982 -x1797 -x1768 -x1557 -x1493 -x1460 -x1450 x1409 -x1330 -x1250 -x1221 -x1149 -x1147 -x1033
3586.45/3597.18 v -x1927 x1362 -x1373 -x1642 -x1644 -x1120 x1863 -x1422 -x1209 -x1952 -x1165 -x1377 -x1891 -x1082 -x1607 -x1177 -x1258 -x1647
3586.45/3597.18 v x1533 -x1259 x1522 -x1734 -x1382 -x1912 -x1008 -x2000 -x1861 -x1855 -x1772 -x1641 -x1576 -x1521 x1472 -x1398 -x1391 -x1375
3586.45/3597.18 v -x1298 -x1255 -x1222 -x1159 -x1123 -x1065 -x1017 -x1947 -x1130 -x1436 -x1474 -x1322 -x1296 -x1640 -x1762 -x1834 -x1178 -x1954
3586.45/3597.18 v x1358 -x1960 x1800 -x1584 -x1353 -x1411 -x1125 x1782 -x1118 x1121 -x1162 -x1179 x1991 -x1625 -x1455 -x1872 x1458 -x1047 -x1036
3586.45/3597.18 v -x1376 -x1909 -x1876 -x1788 x1542 -x1152 -x1989 -x1975 -x1894 -x1759 x1684 -x1665 -x1639 -x1623 -x1419 -x1350 -x1261 -x1174
3586.45/3597.18 v -x1166 -x1163 -x1154 -x1151 -x1131 -x1083 -x1052 -x1022 -x1019 -x1523 -x1320 -x1820 -x1851 -x1363 x1575 -x1511 -x1550 -x1561
3586.45/3597.18 v -x1079 -x1175 -x1116 -x1016 -x1569 x1858 -x1110 -x1193 -x1673 -x1215 x1924 -x1281 -x1877 -x1610 -x1786 -x1856 -x1749 x1467
3586.45/3597.18 v -x1428 -x1459 -x1266 -x1964 -x1936 x1859 -x1716 -x1689 -x1592 -x1517 -x1389 -x1381 -x1337 -x1331 -x1256 -x1251 -x1236 -x1204
3586.45/3597.18 v -x1180 -x1115 -x1098 -x1054 x1790 -x1918 -x1044 -x1544 -x1750 -x1935 -x1606 -x1048 -x1445 -x1092 -x1630 -x1400 -x1650 -x1676
3586.45/3597.18 v -x1081 -x1456 -x1534 -x1637 -x1286 -x1832 -x1747 -x1295 x1939 -x1351 x1957 -x1816 -x1809 -x1704 -x1968 -x1587 -x1220 -x1477
3586.45/3597.18 v -x1604 -x1803 -x1333 -x1018 -x1850 -x1835 -x1806 -x1804 -x1787 -x1735 x1687 -x1635 -x1633 -x1563 -x1540 -x1535 -x1392 -x1371
3586.45/3597.18 v -x1285 -x1282 -x1277 -x1269 -x1240 -x1237 -x1231 -x1210 -x1206 -x1197 -x1136 -x1128 -x1124 -x1095 -x1067 -x1046 -x1010 -x1294
3586.45/3597.18 v -x1600 -x1593 -x1225 -x1324 -x1836 -x1106 -x1042 -x1491 -x1632 -x1811 -x1387 -x1434 -x1693 -x1509 -x1399 -x1025 x1878 -x1449
3586.45/3597.18 v -x1892 -x1442 -x1622 -x1531 -x1059 -x1068 -x1085 -x1668 -x1341 -x1273 -x1073 -x1685 -x1966 -x1239 -x1602 -x1004 -x1992 -x1928
3586.45/3597.18 v -x1907 -x1865 x1824 x1779 -x1675 -x1629 -x1624 -x1599 -x1590 -x1582 -x1552 -x1518 -x1503 -x1492 x1489 -x1430 x1383 -x1372
3586.45/3597.18 v -x1360 -x1292 x1264 -x1245 -x1244 -x1234 -x1146 -x1132 -x1093 -x1089 -x1080 -x1078 -x1075 x1072 -x1049 -x1039 -x1015 -x1681 -x1579
3586.45/3597.18 v -x1549 -x1669 -x1959 -x1170 -x1390 -x1871 -x1888 -x1696 -x1476 -x1009 -x1032 -x1555 -x1238 -x1141 -x1066 -x1481 -x1596
3586.45/3597.18 v -x1956 -x1559 -x1769 x1702 -x1661 -x1268 -x1028 -x1315 -x1539 x1781 -x1485 -x1343 -x1043 -x1879 -x1922 -x1211 -x1794 -x1030 -x1758
3586.45/3597.18 v -x1486 -x1825 -x1114 -x1319 x1241 -x1866 -x1663 -x1547 -x1003 -x1993 -x1979 -x1837 -x1789 -x1754 x1751 -x1615 -x1586 x1525
3586.45/3597.18 v -x1515 -x1453 x1340 -x1338 -x1313 -x1312 -x1276 -x1230 -x1186 -x1181 -x1172 -x1156 -x1107 -x1100 -x1063 -x1062 -x1020 -x1502
3586.45/3597.18 v -x1674 -x1347 -x1730 -x1896 -x1479 -x1006 -x1090 -x1303 -x1679 -x1770 -x1519 -x1860 -x1182 -x1577 -x1560 -x1933 -x1139 -x1005
3586.45/3597.18 v -x1155 -x1756 -x1101 -x1578 -x1027 -x1638 x1849 -x1421 -x1869 -x1724 -x1037 -x1352 -x1321 -x1987 -x1160 -x1910 -x1135 -x1483
3586.45/3597.18 v -x1932 x1271 -x1105 -x1427 x1384 -x1463 -x1826 -x1164 -x1385 -x1589 -x1827 x1945 -x1212 -x1981 -x1002 -x1833 -x1783 x1712
3586.45/3597.18 v -x1554 -x1505 -x1488 -x1444 -x1397 -x1388 -x1380 -x1305 -x1290 -x1229 -x1205 -x1199 -x1185 -x1183 -x1109 -x1096 -x1088 -x1076
3586.45/3597.18 v -x1074 -x1051 x1035 -x1265 -x1480 -x1021 -x1717 -x1365 -x1897 -x1853 -x1678 -x1627 -x1379 x1494 -x1703 -x1742 -x1207 x1967
3586.45/3597.18 v -x1886 -x1986 -x1440 -x1378 -x1847 -x1249 -x1595 -x1501 x1325 -x1864 -x1412 -x1657 -x1506 -x1306 -x1161 -x1868 -x1433 -x1988
3586.45/3597.18 v -x1300 -x1134 x1447 x1701 -x1439 -x1974 -x1603 -x1497 -x1091 -x1407 -x1970 -x1962 -x1527 -x1508 -x1140 -x1192 -x1432 -x1994
3586.45/3597.18 v x1573 -x1732 -x1738 -x1001 -x1998 -x1810 -x1796 x1723 -x1711 -x1697 -x1677 -x1556 -x1536 x1513 -x1495 -x1470 -x1448 -x1416 -x1414
3586.45/3597.18 v -x1355 x1348 -x1270 -x1252 -x1247 -x1235 -x1203 -x1202 -x1194 -x1187 -x1153 -x1133 -x1122 -x1112 -x1087 -x1057 -x1040 -x1317
3586.45/3597.18 v -x1007 -x1755 -x1496 -x1287 x1873 -x1822 -x1568 -x1948 -x1190 -x1248 -x1344 -x1473 -x1099 x1943 -x1532 -x1845 -x1176 -x1777
3586.45/3597.18 v -x1880 -x1462 -x1823 -x1984 -x1725 -x1795 -x1620 -x1700 -x1257 -x1905 -x1374 -x1631 x1821 -x1721 -x1883 -x1323 -x1719 -x1574
3586.45/3597.18 v -x1280 -x1969 -x1605 -x1718 -x1150 -x1402 -x1942 -x1903 -x1415 -x1404 x1965 -x1715 -x1955 -x1545 -x1386 -x1029 -x1026 -x1538
3586.45/3597.18 v -x1364 -x1327 -x1275 -x1084 -x1302 -x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 x988 -x987 -x986
3586.45/3597.18 v -x985 -x984 -x983 -x982 -x981 -x980 x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965
3586.45/3597.18 v -x964 -x963 x962 -x961 -x960 -x959 x958 -x957 -x956 x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943
3586.45/3597.18 v -x942 -x941 -x940 -x939 x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922
3586.45/3597.18 v x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901
3586.45/3597.18 v -x900 -x899 -x898 x897 -x896 x895 x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879
3586.45/3597.18 v -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 x864 -x863 x862 -x861 -x860 -x859 -x858
3586.45/3597.18 v -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837
3586.45/3597.18 v -x836 x835 -x834 x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815
3586.45/3597.18 v -x814 x813 -x812 -x811 x810 -x809 -x808 -x807 x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 x796 -x795 -x794 -x793
3586.45/3597.18 v -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772
3586.45/3597.18 v -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 x756 -x755 -x754 -x753 x752 -x751
3586.45/3597.18 v -x750 -x749 -x748 -x747 x746 x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730
3586.45/3597.18 v -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708
3586.45/3597.18 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
3586.45/3597.18 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666
3586.45/3597.18 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 -x645
3586.45/3597.18 v -x644 -x643 x642 x641 x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
3586.45/3597.18 v -x623 -x622 -x621 -x620 -x619 -x618 x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 x603 -x602
3586.45/3597.18 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
3586.45/3597.18 v -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
3586.45/3597.18 v -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539
3586.45/3597.18 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518
3586.45/3597.18 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
3586.45/3597.18 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
3586.45/3597.18 v -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
3586.45/3597.18 v -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
3586.45/3597.18 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
3586.45/3597.18 v -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391
3586.45/3597.18 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
3586.45/3597.18 v -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
3586.45/3597.18 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
3586.45/3597.18 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
3586.45/3597.18 v -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286
3586.45/3597.18 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
3586.45/3597.18 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
3586.45/3597.18 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223
3586.45/3597.18 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202
3586.45/3597.18 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
3586.45/3597.18 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160
3586.45/3597.18 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
3586.45/3597.18 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
3586.45/3597.18 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
3586.45/3597.18 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
3586.45/3597.18 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
3586.45/3597.18 v -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22
3586.45/3597.18 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3586.45/3597.18 c SCIP Status : solving was interrupted [time limit reached]
3586.45/3597.18 c Total Time : 3597.08
3586.45/3597.18 c solving : 3597.08
3586.45/3597.18 c presolving : 0.93 (included in solving)
3586.45/3597.18 c reading : 0.26 (included in solving)
3586.45/3597.18 c copying : 0.07 (4 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3586.45/3597.18 c Original Problem :
3586.45/3597.18 c Problem name : HOME/instance-4498386-1751269590.opb
3586.45/3597.18 c Variables : 77484 (2000 binary, 0 integer, 75484 implicit integer, 0 continuous)
3586.45/3597.18 c Constraints : 80485 initial, 80485 maximal
3586.45/3597.18 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3586.45/3597.18 c Presolved Problem :
3586.45/3597.18 c Problem name : t_HOME/instance-4498386-1751269590.opb
3586.45/3597.18 c Variables : 2000 (2000 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.45/3597.18 c Constraints : 3001 initial, 3026 maximal
3586.45/3597.18 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3586.45/3597.18 c Nonzeros : 156968 constraint, 2000 clique table
3586.45/3597.18 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.45/3597.18 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c domcol : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c trivial : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c dualfix : 0.03 0.00 4 75484 0 0 0 0 0 0 0 0
3586.45/3597.18 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c knapsack : 0.05 0.00 3 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c setppc : 0.04 0.00 5 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c linear : 0.07 0.00 6 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c pseudoboolean : 0.32 0.01 1 0 0 0 0 0 79484 2000 0 0
3586.45/3597.18 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c root node : - - - 0 - - 0 - - - - -
3586.45/3597.18 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.45/3597.18 c benderslp : 0 0 0 0 165 0 0 120 0 0 0 0 0 0 0
3586.45/3597.18 c integral : 0 0 0 0 165 0 0 120 0 0 0 0 0 0 330
3586.45/3597.18 c knapsack : 2000 2000 7 17953 0 0 0 114 11017 12 3342 0 0 0 0
3586.45/3597.18 c setppc : 1000 1000 7 17349 0 0 0 74 253 0 109 0 0 0 0
3586.45/3597.18 c linear : 1 1 7 17952 0 0 0 73 24 72 0 0 0 0 0
3586.45/3597.18 c logicor : 0+ 25 0 143 0 0 0 0 0 1 0 0 0 0 0
3586.45/3597.18 c benders : 0 0 0 0 0 0 0 74 0 0 0 0 0 0 0
3586.45/3597.18 c fixedvar : 0 0 0 0 0 0 0 74 0 0 0 0 0 0 0
3586.45/3597.18 c countsols : 0 0 0 0 0 0 0 74 0 0 0 0 0 0 0
3586.45/3597.18 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.45/3597.18 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c integral : 2081.73 0.00 0.00 0.00 2081.73 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c knapsack : 1.29 0.00 0.31 0.60 0.00 0.00 0.00 0.22 0.01 0.15
3586.45/3597.18 c setppc : 0.04 0.00 0.00 0.01 0.00 0.00 0.00 0.02 0.00 0.00
3586.45/3597.18 c linear : 0.07 0.00 0.02 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c fixedvar : 0.31 0.00 0.00 0.00 0.00 0.00 0.00 0.31 0.00 0.00
3586.45/3597.18 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.45/3597.18 c dualfix : 1 0 0 0
3586.45/3597.18 c genvbounds : 0 0 0 0
3586.45/3597.18 c nlobbt : 0 0 0 0
3586.45/3597.18 c obbt : 0 0 0 0
3586.45/3597.18 c probing : 0 0 0 0
3586.45/3597.18 c pseudoobj : 465 0 0 0
3586.45/3597.18 c redcost : 8 0 0 0
3586.45/3597.18 c rootredcost : 0 0 0 0
3586.45/3597.18 c symmetry : 0 0 0 0
3586.45/3597.18 c vbounds : 4590 0 0 0
3586.45/3597.18 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.45/3597.18 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3586.45/3597.18 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3586.45/3597.18 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c symmetry : 0.04 0.00 0.03 0.00 0.00 0.00
3586.45/3597.18 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.45/3597.18 c Symmetry :
3586.45/3597.18 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.45/3597.18 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.45/3597.18 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.45/3597.18 c shadow tree time : 0.00 s
3586.45/3597.18 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.45/3597.18 c propagation : 0.07 13 13 - 914 711.4 0 0.0 - - -
3586.45/3597.18 c infeasible LP : 0.00 2 2 - 90 174.6 0 0.0 0 0.0 0
3586.45/3597.18 c bound exceed. LP : 0.19 64 0 - 0 0.0 0 0.0 0 0.0 540
3586.45/3597.18 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.45/3597.18 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.45/3597.18 c applied globally : 0.00 - - 0 25 134.0 - - 0 - -
3586.45/3597.18 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.45/3597.18 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.45/3597.18 c cut pool : 0.09 - 127 12 - - 5498 25974 - - - - - (maximal pool size: 5498)
3586.45/3597.18 c aggregation : 0.74 0.00 40 7 0 0 5495 25957 0 4136 4136 0 0
3586.45/3597.18 c > cmir : - - - - - - - 25957 0 4136 4136 0 -
3586.45/3597.18 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.45/3597.18 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.45/3597.18 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c clique : 0.13 0.00 7 7 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c gomory : 35.43 0.00 26 7 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3586.45/3597.18 c > strongcg : - - - - - - - 0 0 0 0 0 -
3586.45/3597.18 c impliedbounds : 0.00 0.00 40 7 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c multilinear : 0.00 0.00 25 7 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c rlt : 0.00 0.00 12 7 0 0 0 0 0 0 0 0 0
3586.45/3597.18 c zerohalf : 20.69 0.00 26 7 0 0 3 17 0 7 7 0 0
3586.45/3597.18 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.45/3597.18 c hybrid : 0.12 0.00 88 6 4143 0 21831 1089 0 1177
3586.45/3597.18 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c Pricers : ExecTime SetupTime Calls Vars
3586.45/3597.18 c problem variables: 0.00 - 0 0
3586.45/3597.18 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.45/3597.18 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c relpscost : 2081.73 0.00 165 0 0 0 0 0 0 330
3586.45/3597.18 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.45/3597.18 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.45/3597.18 c LP solutions : 0.00 - - 0 0
3586.45/3597.18 c relax solutions : 0.00 - - 0 0
3586.45/3597.18 c pseudo solutions : 0.00 - - 0 0
3586.45/3597.18 c strong branching : 0.00 - - 0 0
3586.45/3597.18 c actconsdiving : 0.00 0.00 0 0 0
3586.45/3597.18 c adaptivediving : 21.87 0.00 2 0 0
3586.45/3597.18 c alns : 0.23 0.00 4 0 0
3586.45/3597.18 c bound : 0.00 0.00 0 0 0
3586.45/3597.18 c clique : 0.06 0.00 1 0 0
3586.45/3597.18 c coefdiving : 0.00 0.00 0 0 0
3586.45/3597.18 c completesol : 0.00 0.00 0 0 0
3586.45/3597.18 c conflictdiving : 85.43 0.00 6 0 0
3586.45/3597.18 c crossover : 0.00 0.00 0 0 0
3586.45/3597.18 c dins : 0.00 0.00 0 0 0
3586.45/3597.18 c distributiondivin: 22.76 0.00 3 0 0
3586.45/3597.18 c dps : 0.00 0.00 0 0 0
3586.45/3597.18 c dualval : 0.00 0.00 0 0 0
3586.45/3597.18 c farkasdiving : 0.00 0.00 0 0 0
3586.45/3597.18 c feasjump : 0.00 0.00 0 0 0
3586.45/3597.18 c feaspump : 49.53 0.00 1 0 0
3586.45/3597.18 c fixandinfer : 0.00 0.00 0 0 0
3586.45/3597.18 c fracdiving : 41.17 0.00 5 1 1
3586.45/3597.18 c gins : 0.01 0.00 0 0 0
3586.45/3597.18 c guideddiving : 40.01 0.00 5 0 0
3586.45/3597.18 c indcoefdiving : 0.00 0.00 0 0 0
3586.45/3597.18 c indicator : 0.00 0.00 0 0 0
3586.45/3597.18 c indicatordiving : 0.00 0.00 0 0 0
3586.45/3597.18 c indoneopt : 0.00 0.00 0 0 0
3586.45/3597.18 c indrounding : 0.00 0.00 0 0 0
3586.45/3597.18 c indtwoopt : 0.00 0.00 0 0 0
3586.45/3597.18 c intdiving : 0.00 0.00 0 0 0
3586.45/3597.18 c intshifting : 0.00 0.00 0 0 0
3586.45/3597.18 c linesearchdiving : 82.35 0.00 5 1 1
3586.45/3597.18 c localbranching : 0.00 0.00 0 0 0
3586.45/3597.18 c locks : 0.05 0.00 1 0 0
3586.45/3597.18 c lpface : 0.00 0.00 0 0 0
3586.45/3597.18 c mpec : 0.00 0.00 0 0 0
3586.45/3597.18 c multistart : 0.00 0.00 0 0 0
3586.45/3597.18 c mutation : 0.00 0.00 0 0 0
3586.45/3597.18 c nlpdiving : 0.00 0.00 0 0 0
3586.45/3597.18 c objpscostdiving : 139.93 0.00 3 0 0
3586.45/3597.18 c octane : 0.00 0.00 0 0 0
3586.45/3597.18 c ofins : 0.00 0.00 0 0 0
3586.45/3597.18 c oneopt : 0.02 0.00 7 0 0
3586.45/3597.18 c padm : 0.00 0.00 0 0 0
3586.45/3597.18 c proximity : 0.00 0.00 0 0 0
3586.45/3597.18 c pscostdiving : 47.08 0.00 5 1 1
3586.45/3597.18 c randrounding : 5.30 0.00 46 3 2
3586.45/3597.18 c rens : 0.00 0.00 0 0 0
3586.45/3597.18 c reoptsols : 0.00 0.00 0 0 0
3586.45/3597.18 c repair : 0.00 0.00 0 0 0
3586.45/3597.18 c rins : 0.00 0.00 0 0 0
3586.45/3597.18 c rootsoldiving : 30.13 0.00 2 0 0
3586.45/3597.18 c rounding : 11.89 0.00 253 1 1
3586.45/3597.18 c scheduler : 0.00 0.00 0 0 0
3586.45/3597.18 c shiftandpropagate: 0.00 0.00 0 0 0
3586.45/3597.18 c shifting : 6.77 0.00 101 63 0
3586.45/3597.18 c simplerounding : 0.00 0.00 0 0 0
3586.45/3597.18 c smallcard : 0.00 0.00 0 0 0
3586.45/3597.18 c subnlp : 0.00 0.00 0 0 0
3586.45/3597.18 c trivial : 0.05 0.00 2 1 1
3586.45/3597.18 c trivialnegation : 0.00 0.00 0 0 0
3586.45/3597.18 c trustregion : 0.00 0.00 0 0 0
3586.45/3597.18 c trysol : 0.00 0.00 0 0 0
3586.45/3597.18 c twoopt : 0.00 0.00 0 0 0
3586.45/3597.18 c undercover : 0.00 0.00 0 0 0
3586.45/3597.18 c vbounds : 0.07 0.00 1 0 0
3586.45/3597.18 c veclendiving : 83.33 0.00 3 0 0
3586.45/3597.18 c zeroobj : 0.00 0.00 0 0 0
3586.45/3597.18 c zirounding : 0.09 0.00 164 0 0
3586.45/3597.18 c other solutions : - - - 0 -
3586.45/3597.18 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.45/3597.18 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
3586.45/3597.18 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
3586.45/3597.18 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
3586.45/3597.18 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
3586.45/3597.18 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
3586.45/3597.18 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
3586.45/3597.18 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
3586.45/3597.18 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
3586.45/3597.18 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
3586.45/3597.18 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.45/3597.18 c primal LP : 1.90 39 2 1.00 1.05 0.15 37
3586.45/3597.18 c dual LP : 785.83 253 223617 883.86 284.56 0.00 0
3586.45/3597.18 c lex dual LP : 0.00 0 0 0.00 -
3586.45/3597.18 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.45/3597.18 c resolve instable : 0.00 0 0 0.00 -
3586.45/3597.18 c diving/probing LP: 663.72 1371 380506 277.54 573.29
3586.45/3597.18 c strong branching : 2062.54 471 234965 498.86 113.92 - - 297
3586.45/3597.18 c (at root node) : - 20 20000 1000.00 -
3586.45/3597.18 c conflict analysis: 0.14 54 540 10.00 3768.16
3586.45/3597.18 c B&B Tree :
3586.45/3597.18 c number of runs : 1
3586.45/3597.18 c nodes : 165 (165 internal, 0 leaves)
3586.45/3597.18 c feasible leaves : 0
3586.45/3597.18 c infeas. leaves : 0
3586.45/3597.18 c objective leaves : 0
3586.45/3597.18 c nodes (total) : 165 (165 internal, 0 leaves)
3586.45/3597.18 c nodes left : 166
3586.45/3597.18 c max depth : 28
3586.45/3597.18 c max depth (total): 28
3586.45/3597.18 c backtracks : 41 (24.8%)
3586.45/3597.18 c early backtracks : 0 (0.0%)
3586.45/3597.18 c nodes exc. ref. : 0 (0.0%)
3586.45/3597.18 c delayed cutoffs : 0
3586.45/3597.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.45/3597.18 c avg switch length: 4.25
3586.45/3597.18 c switching time : 1.96
3586.45/3597.18 c Root Node :
3586.45/3597.18 c First LP value : -5.00000000000000e+02
3586.45/3597.18 c First LP Iters : 4516 (594.33 Iter/sec)
3586.45/3597.18 c First LP Time : 7.60
3586.45/3597.18 c Final Dual Bound : -5.00000000000000e+02
3586.45/3597.18 c Final Root Iters : 5713
3586.45/3597.18 c Root LP Estimate : +6.77979021247049e+02
3586.45/3597.18 c Solution :
3586.45/3597.18 c Solutions found : 71 (7 improvements)
3586.45/3597.18 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.55 seconds, depth 0, found by <trivial>)
3586.45/3597.18 c Gap First Sol. : infinite
3586.45/3597.18 c Gap Last Sol. : 494.95 %
3586.45/3597.18 c Primal Bound : -8.40000000000000e+01 (in run 1, after 63 nodes, 2500.03 seconds, depth 217, found by <linesearchdiving>)
3586.45/3597.18 c Dual Bound : -4.99039283951046e+02
3586.45/3597.18 c Gap : 494.09 %
3586.45/3597.18 c Integrals : Total Avg%
3586.45/3597.18 c primal-dual : 311810.19 86.68
3586.45/3597.18 c primal-ref : - - (not evaluated)
3586.45/3597.18 c dual-ref : - - (not evaluated)
3586.64/3597.32 c Time complete: 3586.68.
OK -84
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: 63665 MiB (62801 MiB free)
memory of node 1: 64507 MiB (63034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498386-1751269590/watcher-4498386-1751269590 -o /tmp/evaluation-result-4498386-1751269590/solver-4498386-1751269590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751268232-38743 --watchdog 3760 pbscip -f HOME/instance-4498386-1751269590.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39275, runsolver pid=39272
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.04 3.20 5/266 39276
/proc/meminfo: memFree=128815552/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=101840 memory=72832 CPUtime=0.09 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 15229 0 0 0 7 2 0 0 20 0 1 0 42636700 104284160 18208 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 25460 18208 3296 3530 0 16911 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 101840 KiB
Current children cumulated memory: 72832 KiB
[startup+0.205507 s]*
/proc/loadavg: 4.10 4.04 3.20 5/266 39276
/proc/meminfo: memFree=128767168/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=150840 memory=121728 CPUtime=0.19 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 27452 0 0 0 16 3 0 0 20 0 1 0 42636700 154460160 30432 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 37710 30432 3296 3530 0 29161 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 150840 KiB
Current children cumulated memory: 121728 KiB
[startup+0.305431 s]*
/proc/loadavg: 4.10 4.04 3.20 5/266 39276
/proc/meminfo: memFree=128719036/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=201184 memory=174368 CPUtime=0.29 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 41648 0 0 0 24 5 0 0 20 0 1 0 42636700 206012416 43592 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 50296 43592 3584 3530 0 41747 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 201184 KiB
Current children cumulated memory: 174368 KiB
[startup+0.700172 s]
/proc/loadavg: 4.10 4.04 3.20 5/266 39276
/proc/meminfo: memFree=128630332/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=331088 memory=302088 CPUtime=0.69 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 73114 0 0 0 58 11 0 0 20 0 1 0 42636700 339034112 75522 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 82772 75522 3584 3530 0 74223 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 331088 KiB
Current children cumulated memory: 302088 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.04 3.20 5/266 39276
/proc/meminfo: memFree=128565824/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=365528 memory=335372 CPUtime=1.49 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 82153 0 0 0 137 12 0 0 20 0 1 0 42636700 374300672 83843 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 91382 83843 3680 3530 0 82833 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 365528 KiB
Current children cumulated memory: 335372 KiB
[startup+3.10532 s]
/proc/loadavg: 4.10 4.04 3.20 5/266 39276
/proc/meminfo: memFree=128513724/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=409692 memory=374348 CPUtime=3.08 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 93145 0 0 0 294 14 0 0 20 0 1 0 42636700 419524608 93587 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 102423 93587 3872 3530 0 93874 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 409692 KiB
Current children cumulated memory: 374348 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.04 3.20 5/266 39276
/proc/meminfo: memFree=128480108/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=445568 memory=410460 CPUtime=6.27 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 97171 0 0 0 611 16 0 0 20 0 1 0 42636700 456261632 102615 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 111392 102615 3872 3530 0 102843 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 445568 KiB
Current children cumulated memory: 410460 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.04 3.21 5/266 39276
/proc/meminfo: memFree=128444080/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=496388 memory=462784 CPUtime=12.65 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 109089 0 0 0 1247 18 0 0 20 0 1 0 42636700 508301312 115696 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 124097 115696 3872 3530 0 115548 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 496388 KiB
Current children cumulated memory: 462784 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.04 3.22 5/266 39276
/proc/meminfo: memFree=128405832/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=517664 memory=477104 CPUtime=25.42 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 111190 0 0 0 2523 19 0 0 20 0 1 0 42636700 530087936 119276 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 129416 119276 3872 3530 0 120867 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 517664 KiB
Current children cumulated memory: 477104 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.05 3.25 5/266 39277
/proc/meminfo: memFree=128388656/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=543144 memory=503020 CPUtime=50.96 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 113566 0 0 0 5076 20 0 0 20 0 1 0 42636700 556179456 125755 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 135786 125755 3872 3530 0 127237 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 543144 KiB
Current children cumulated memory: 503020 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.06 3.29 5/266 39278
/proc/meminfo: memFree=128386432/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=544844 memory=504684 CPUtime=102.02 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 114025 0 0 0 10182 20 0 0 20 0 1 0 42636700 557920256 126171 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 136211 126171 3872 3530 0 127662 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 544844 KiB
Current children cumulated memory: 504684 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.06 3.35 5/266 39281
/proc/meminfo: memFree=128325884/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=544844 memory=505068 CPUtime=161.87 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 114066 0 0 0 16167 20 0 0 20 0 1 0 42636700 557920256 126267 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 136211 126267 3968 3530 0 127662 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 544844 KiB
Current children cumulated memory: 505068 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.06 3.40 5/263 39283
/proc/meminfo: memFree=128358784/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=544844 memory=505068 CPUtime=221.73 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 114091 0 0 0 22152 21 0 0 20 0 1 0 42636700 557920256 126267 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 136211 126267 3968 3530 0 127662 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 544844 KiB
Current children cumulated memory: 505068 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.06 3.44 5/263 39286
/proc/meminfo: memFree=128279608/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=544844 memory=505068 CPUtime=281.58 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 114093 0 0 0 28137 21 0 0 20 0 1 0 42636700 557920256 126267 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 136211 126267 3968 3530 0 127662 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 544844 KiB
Current children cumulated memory: 505068 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.08 3.49 5/263 39288
/proc/meminfo: memFree=128279352/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=544844 memory=505452 CPUtime=341.43 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 114139 0 0 0 34122 21 0 0 20 0 1 0 42636700 557920256 126363 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 136211 126363 3968 3530 0 127662 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 544844 KiB
Current children cumulated memory: 505452 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.08 3.53 5/263 39290
/proc/meminfo: memFree=128264156/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=544844 memory=507244 CPUtime=401.29 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 114140 0 0 0 40108 21 0 0 20 0 1 0 42636700 557920256 126811 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 136211 126811 3968 3530 0 127662 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 544844 KiB
Current children cumulated memory: 507244 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.09 3.57 5/262 39292
/proc/meminfo: memFree=128254352/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=544844 memory=507884 CPUtime=461.15 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 114143 0 0 0 46094 21 0 0 20 0 1 0 42636700 557920256 126971 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 136211 126971 3968 3530 0 127662 0
################
# More data... #
################
/proc/loadavg: 4.10 4.14 4.09 5/265 39623
/proc/meminfo: memFree=127823584/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551408 memory=521092 CPUtime=3212.92 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 119889 0 0 0 321266 26 0 0 20 0 1 0 42636700 564641792 130273 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137852 130273 3968 3530 0 129303 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 551408 KiB
Current children cumulated memory: 521092 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 39625
/proc/meminfo: memFree=127838600/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3272.7 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124322 0 0 0 327243 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3272.7 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 39628
/proc/meminfo: memFree=127825144/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3332.51 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124322 0 0 0 333224 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.34 4.17 4.11 5/264 39630
/proc/meminfo: memFree=127742732/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3392.32 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124322 0 0 0 339205 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.50 4.26 4.14 5/264 39677
/proc/meminfo: memFree=128342092/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3452.12 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124416 0 0 0 345185 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.24 4.14 5/264 39679
/proc/meminfo: memFree=128256840/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3511.9 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124495 0 0 0 351163 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.21 4.14 5/264 39681
/proc/meminfo: memFree=128239220/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3571.69 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124495 0 0 0 357142 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3597.33 s]
# the end of solver process 39275 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.4 s, system=0.283153 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.21 4.14 5/264 39681
/proc/meminfo: memFree=128223596/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3573.39 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124502 0 0 0 357312 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.20 4.14 5/264 39681
/proc/meminfo: memFree=128215532/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3579.77 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124502 0 0 0 357950 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3579.77 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.20 4.14 5/264 39681
/proc/meminfo: memFree=128215532/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3582.95 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124502 0 0 0 358268 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3582.95 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.20 4.13 5/264 39681
/proc/meminfo: memFree=128215532/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3584.55 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124502 0 0 0 358428 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3584.55 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.20 4.13 5/264 39681
/proc/meminfo: memFree=128194296/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3585.35 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124502 0 0 0 358508 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3585.35 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.20 4.13 5/264 39681
/proc/meminfo: memFree=128194296/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3586.14 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124502 0 0 0 358587 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3597.2 s]
/proc/loadavg: 4.13 4.20 4.13 5/264 39681
/proc/meminfo: memFree=128194296/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=551632 memory=521084 CPUtime=3586.54 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124533 0 0 0 358627 27 0 0 20 0 1 0 42636700 564871168 130271 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 137908 130271 3968 3530 0 129359 0
Current children cumulated CPU time: 3586.54 s
Current children cumulated vsize: 551632 KiB
Current children cumulated memory: 521084 KiB
[startup+3597.3 s]
/proc/loadavg: 4.13 4.20 4.13 5/264 39681
/proc/meminfo: memFree=128194296/131249996 swapFree=33010684/33010684
[pid=39275] ppid=39272 vsize=494584 memory=470028 CPUtime=3586.64 cores=4,6
/proc/39275/stat : 39275 (pbscip) R 39272 39275 38726 0 -1 4194304 124536 0 0 0 358637 27 0 0 20 0 1 0 42636700 506454016 117507 18446744073709551615 4235264 18693293 140723380255856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26955776 140723380263305 140723380263404 140723380263404 140723380269006 0
/proc/39275/statm: 123646 117507 3968 3530 0 115097 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 494584 KiB
Current children cumulated memory: 470028 KiB
Child status: 0
Real time (s): 3597.33
CPU time (s): 3586.68
CPU user time (s): 3586.4
CPU system time (s): 0.283153
CPU usage (%): 99.704
Max. virtual memory (cumulated for all children) (KiB): 554692
Max. memory (cumulated for all children) (KiB): 522756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.4
system time used= 0.283153
maximum resident set size= 522756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124548
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= 93
involuntary context switches= 1016
# summary of solver processes directly reported to runsolver:
# pid: 39275
# total CPU time (s): 3586.68
# total CPU user time (s): 3586.4
# total CPU system time (s): 0.283153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83784 second user time and 14.8538 second system time
The end
Begin job on nodeC021 at 2025-06-30 09:46:30 IDJOB=4498386 IDBENCH=148642 IDSOLVER=3365 FILE ID=nodeC021/4498386-1751269590 RUNJOBID= nodeC021-1751268232-38743 SLURM_JOB_ID= 9594188 Free space on /tmp= 433004 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_4.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498386-1751269590/watcher-4498386-1751269590 -o /tmp/evaluation-result-4498386-1751269590/solver-4498386-1751269590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751268232-38743 --watchdog 3760 pbscip -f HOME/instance-4498386-1751269590.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4c2c369b1f167640d5c7bb93c6f68f6b RANDOM SEED=497536264 nodeC021 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 : 0xb00002a cpu MHz : 3599.782 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3599.758 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 pti ibrs ibpb stibp 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 : 6999.56 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.881 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3700.000 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3599.760 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3599.777 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3599.314 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3599.629 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 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128855840 kB MemAvailable: 128954412 kB Buffers: 3280 kB Cached: 905984 kB SwapCached: 0 kB Active: 1152760 kB Inactive: 648628 kB Active(anon): 910184 kB Inactive(anon): 0 kB Active(file): 242576 kB Inactive(file): 648628 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20800 kB Writeback: 4 kB AnonPages: 895160 kB Mapped: 138512 kB Shmem: 18060 kB KReclaimable: 92812 kB Slab: 179172 kB SReclaimable: 92812 kB SUnreclaim: 86360 kB KernelStack: 4304 kB PageTables: 4916 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1259596 kB VmallocTotal: 34359738367 kB VmallocUsed: 150632 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 573440 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432988 MiB End job on nodeC021 at 2025-06-30 10:46:28