Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | MSAT | 3587.54 | 3597.71 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo |
| MD5SUM | 6f720b4722bfdee79227a462351755e1 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 829 |
| Best CPU time to get the best result obtained on this benchmark | 3587.62 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1800 |
| Total number of constraints | 23306 |
| Number of soft constraints | 22856 |
| Number of constraints which are clauses | 22856 |
| Number of constraints which are cardinality constraints (but not clauses) | 450 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4 |
| Top cost | 5715 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 22856 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4425191-1720893037.wbo>
0.10/0.14 c original problem has 24656 variables (24656 bin, 0 int, 0 impl, 0 cont) and 46163 constraints
0.10/0.14 c problem read in 0.14
0.51/0.55 c presolving:
0.60/0.64 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 22856 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 23306 clqs
0.68/0.71 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 22856 chg bounds, 0 chg sides, 0 chg coeffs, 451 upgd conss, 0 impls, 23306 clqs
1.49/1.50 c (1.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.58/1.69 c (1.7s) no symmetry present (symcode time: 0.11)
1.69/1.73 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
1.69/1.73 c 25 deleted vars, 0 deleted constraints, 0 added constraints, 22856 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.69/1.73 c 0 implications, 23281 cliques
1.69/1.73 c presolved problem has 47487 variables (24656 bin, 0 int, 22831 impl, 0 cont) and 46163 constraints
1.69/1.73 c 1 constraints of type <knapsack>
1.69/1.73 c 450 constraints of type <setppc>
1.69/1.73 c 22856 constraints of type <linear>
1.69/1.73 c 22856 constraints of type <indicator>
1.69/1.73 c transformed objective value is always integral (scale: 1)
1.69/1.73 c Presolving Time: 1.48
1.69/1.73 c - non default parameters ----------------------------------------------------------------------
1.69/1.73 c # SCIP version 10.0.0
1.69/1.73 c
1.69/1.73 c # maximal time in seconds to run
1.69/1.73 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.69/1.73 c limits/time = 3596.997053
1.69/1.73 c
1.69/1.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.73 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.69/1.73 c limits/memory = 27900
1.69/1.73 c
1.69/1.73 c # belongs reading time to solving time?
1.69/1.73 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.69/1.73 c timing/reading = TRUE
1.69/1.73 c
1.69/1.73 c -----------------------------------------------------------------------------------------------
1.69/1.73 c start solving
1.69/1.76 c
3.58/3.67 o 5714
3.58/3.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.58/3.67 c p 3.7s| 1 | 0 | 0 | - | clique| 0 | 47k| 46k| 46k| 0 | 0 | 0 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
81.22/81.64 c 81.6s| 1 | 0 | 6516 | - | 448M | 0 | 47k| 46k| 46k| 0 | 0 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
89.19/89.66 c 89.7s| 1 | 0 | 15080 | - | 470M | 0 | 47k| 46k| 46k| 101 | 1 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
95.97/96.42 c 96.4s| 1 | 0 | 21029 | - | 478M | 0 | 47k| 46k| 46k| 181 | 2 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
102.35/102.85 c 103s| 1 | 0 | 26790 | - | 492M | 0 | 47k| 46k| 46k| 273 | 3 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
110.71/111.29 c 111s| 1 | 0 | 34054 | - | 501M | 0 | 47k| 46k| 46k| 360 | 4 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
118.59/119.14 c 119s| 1 | 0 | 40379 | - | 516M | 0 | 47k| 46k| 46k| 450 | 5 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
126.05/126.62 c 127s| 1 | 0 | 46251 | - | 534M | 0 | 47k| 46k| 46k| 536 | 6 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
137.61/138.27 c 138s| 1 | 0 | 56168 | - | 545M | 0 | 47k| 46k| 46k| 615 | 7 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
145.39/146.10 c 146s| 1 | 0 | 61883 | - | 564M | 0 | 47k| 46k| 46k| 696 | 8 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
159.83/160.55 c 161s| 1 | 0 | 72404 | - | 577M | 0 | 47k| 46k| 46k| 791 | 9 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
174.58/175.37 c 175s| 1 | 0 | 82482 | - | 589M | 0 | 47k| 46k| 47k| 870 | 10 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
192.42/193.25 c 193s| 1 | 0 | 92788 | - | 594M | 0 | 47k| 46k| 47k| 948 | 11 | 40 | 0 | 0.000000e+00 | 5.714000e+03 | Inf | unknown
210.85/211.70 o 2492
210.85/211.71 c d 212s| 1 | 0 |126649 | - |conflict| 0 | 47k| 46k| 47k| 0 | 11 | 40 | 0 | 0.000000e+00 | 2.492000e+03 | Inf | unknown
215.14/216.07 c 216s| 1 | 0 |129600 | - | 599M | 0 | 47k| 46k| 47k| 948 | 11 | 40 | 0 | 0.000000e+00 | 2.492000e+03 | Inf | unknown
227.68/228.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
227.68/228.68 c 229s| 1 | 0 |138450 | - | 604M | 0 | 47k| 46k| 47k|1029 | 12 | 40 | 0 | 0.000000e+00 | 2.492000e+03 | Inf | unknown
228.88/229.82 c 230s| 1 | 0 |138861 | - | 604M | 0 | 47k| 46k| 47k|1031 | 13 | 40 | 0 | 0.000000e+00 | 2.492000e+03 | Inf | unknown
242.82/243.81 c 244s| 1 | 2 |139574 | - | 604M | 0 | 47k| 46k| 47k|1031 | 13 | 40 | 19 | 0.000000e+00 | 2.492000e+03 | Inf | unknown
454.89/456.70 o 1308
454.89/456.70 c d 457s| 57 | 58 |320073 |3920.9 |fracdivi| 15 | 47k| 46k| 46k| 0 | 1 | 40 | 539 | 0.000000e+00 | 1.308000e+03 | Inf | unknown
482.09/484.09 o 1174
482.09/484.09 c d 484s| 67 | 68 |401061 |4553.9 |linesear| 15 | 47k| 46k| 46k| 0 | 1 | 40 | 539 | 0.000000e+00 | 1.174000e+03 | Inf | unknown
612.98/615.45 c 615s| 100 | 101 |642644 |5476.2 | 734M | 15 | 47k| 46k| 46k|3515 | 2 | 60 | 639 | 0.000000e+00 | 1.174000e+03 | Inf | unknown
1104.31/1108.18 c 1108s| 200 | 201 | 1283k|5946.3 | 815M | 17 | 47k| 46k| 46k|8057 | 1 | 100 | 970 | 0.000000e+00 | 1.174000e+03 | Inf | unknown
1152.78/1156.72 o 1158
1152.78/1156.72 c L1157s| 208 | 209 | 1341k|5994.4 | alns| 20 | 47k| 46k| 46k|8840 | 5 | 100 |1010 | 0.000000e+00 | 1.158000e+03 | Inf | unknown
1481.22/1486.04 c 1486s| 300 | 301 | 1939k|6149.1 | 826M | 26 | 47k| 46k| 46k| 10k| 1 | 150 |1282 | 0.000000e+00 | 1.158000e+03 | Inf | unknown
2445.01/2452.20 c 2452s| 400 | 401 | 2838k|6861.3 | 969M | 43 | 47k| 46k| 46k| 13k| 1 | 200 |1881 | 0.000000e+00 | 1.158000e+03 | Inf | unknown
3586.72/3597.00 c
3586.72/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.72/3597.00 c Solving Time (sec) : 3597.00
3586.72/3597.00 c Solving Nodes : 428
3586.72/3597.00 c Primal Bound : +1.15800000000000e+03 (6 solutions)
3586.72/3597.00 c Dual Bound : +0.00000000000000e+00
3586.72/3597.00 c Gap : infinite
3586.83/3597.04 s SATISFIABLE
3586.83/3597.04 v x1800 -x1799 -x1798 -x1797 -x1796 x1795 -x1794 -x1793 -x1792 -x1791 -x1790 x1789 -x1788 -x1787 -x1786 x1785 -x1784 x1783 -x1782
3586.83/3597.04 v -x1781 x1780 -x1779 -x1778 -x1777 -x1776 -x1775 x1774 -x1773 -x1772 -x1771 -x1770 x1769 -x1768 -x1767 -x1766 x1765 -x1764 -x1763
3586.83/3597.04 v -x1762 x1761 x1760 -x1759 -x1758 -x1757 x1756 -x1755 -x1754 -x1753 -x1752 -x1751 x1750 -x1749 -x1748 x1747 -x1746 -x1745
3586.83/3597.04 v x1744 -x1743 -x1742 -x1741 -x1740 -x1739 x1738 -x1737 -x1736 x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726
3586.83/3597.04 v x1725 x1724 -x1723 -x1722 -x1721 -x1720 -x1719 x1718 -x1717 -x1716 x1715 -x1714 -x1713 -x1712 -x1711 x1710 -x1709 -x1708
3586.83/3597.04 v -x1707 x1706 -x1705 -x1704 -x1703 -x1702 x1701 -x1700 x1699 -x1698 -x1697 -x1696 -x1695 -x1694 x1693 -x1692 x1691 -x1690 -x1689
3586.83/3597.04 v -x1688 -x1687 x1686 -x1685 -x1684 -x1683 x1682 -x1681 -x1680 -x1679 x1678 -x1677 -x1676 -x1675 -x1674 x1673 x1672 -x1671
3586.83/3597.04 v -x1670 -x1669 -x1668 -x1667 -x1666 x1665 -x1664 -x1663 -x1662 x1661 -x1660 x1659 -x1658 -x1657 -x1656 -x1655 -x1654 x1653 x1652
3586.83/3597.04 v -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 x1645 -x1644 -x1643 x1642 -x1641 -x1640 x1639 -x1638 -x1637 -x1636 x1635 -x1634
3586.83/3597.04 v -x1633 x1632 -x1631 -x1630 -x1629 -x1628 x1627 -x1626 -x1625 -x1624 -x1623 -x1622 x1621 -x1620 x1619 -x1618 -x1617 -x1616 x1615
3586.83/3597.04 v -x1614 -x1613 -x1612 -x1611 x1610 -x1609 -x1608 x1607 -x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 x1597
3586.83/3597.04 v -x1596 -x1595 x1594 -x1593 -x1592 x1591 -x1590 -x1589 -x1588 x1587 -x1586 -x1585 x1584 -x1583 -x1582 -x1581 -x1580 -x1579 x1578
3586.83/3597.04 v -x1577 -x1576 x1575 -x1574 -x1573 x1572 -x1571 -x1570 -x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 x1562 -x1561 x1560 -x1559
3586.83/3597.04 v -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 x1551 -x1550 -x1549 x1548 -x1547 -x1546 -x1545 -x1544 -x1543 x1542 -x1541
3586.83/3597.04 v x1540 -x1539 -x1538 -x1537 -x1536 x1535 -x1534 -x1533 -x1532 -x1531 -x1530 x1529 -x1528 -x1527 -x1526 x1525 -x1524 -x1523
3586.83/3597.04 v -x1522 x1521 -x1520 x1519 -x1518 -x1517 -x1516 x1515 -x1514 -x1513 -x1512 -x1511 -x1510 x1509 -x1508 -x1507 -x1506 x1505 -x1504
3586.83/3597.04 v -x1503 x1502 -x1501 x1500 -x1499 -x1498 -x1497 -x1496 -x1495 x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 x1487 -x1486 -x1485
3586.83/3597.04 v -x1484 -x1483 x1482 -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 -x1474 x1473 x1472 -x1471 -x1470 -x1469 -x1468 -x1467
3586.83/3597.04 v x1466 -x1465 -x1464 -x1463 x1462 -x1461 x1460 -x1459 -x1458 -x1457 -x1456 x1455 -x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448
3586.83/3597.04 v -x1447 x1446 -x1445 -x1444 x1443 -x1442 -x1441 -x1440 -x1439 -x1438 x1437 x1436 -x1435 -x1434 -x1433 -x1432 x1431 -x1430
3586.83/3597.04 v -x1429 -x1428 -x1427 -x1426 x1425 x1424 -x1423 -x1422 -x1421 -x1420 x1419 -x1418 -x1417 x1416 -x1415 -x1414 -x1413 -x1412 x1411
3586.83/3597.04 v -x1410 -x1409 -x1408 x1407 -x1406 -x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 x1398 -x1397 -x1396 x1395 -x1394 -x1393
3586.83/3597.04 v -x1392 x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
3586.83/3597.04 v x1373 -x1372 -x1371 -x1370 x1369 x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 -x1360 -x1359 -x1358 x1357 x1356
3586.83/3597.04 v -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 x1345 -x1344 -x1343 x1342 -x1341 x1340 -x1339 -x1338 -x1337
3586.83/3597.04 v -x1336 -x1335 -x1334 x1333 x1332 -x1331 -x1330 -x1329 -x1328 -x1327 x1326 -x1325 x1324 -x1323 -x1322 -x1321 -x1320 -x1319
3586.83/3597.04 v x1318 -x1317 -x1316 -x1315 -x1314 x1313 -x1312 -x1311 x1310 -x1309 -x1308 -x1307 -x1306 x1305 x1304 -x1303 -x1302 -x1301 -x1300
3586.83/3597.04 v -x1299 -x1298 x1297 -x1296 -x1295 -x1294 x1293 -x1292 x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 x1284 -x1283 -x1282
3586.83/3597.04 v -x1281 -x1280 -x1279 -x1278 x1277 -x1276 -x1275 -x1274 x1273 -x1272 -x1271 -x1270 x1269 -x1268 -x1267 -x1266 x1265 x1264 -x1263
3586.83/3597.04 v -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 x1254 -x1253 -x1252 -x1251 x1250 -x1249 -x1248 x1247 -x1246 -x1245
3586.83/3597.04 v -x1244 -x1243 x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 x1228 -x1227 -x1226
3586.83/3597.04 v -x1225 -x1224 x1223 -x1222 -x1221 -x1220 -x1219 x1218 -x1217 -x1216 x1215 -x1214 -x1213 x1212 -x1211 -x1210 -x1209 x1208
3586.83/3597.04 v -x1207 -x1206 -x1205 x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 x1197 -x1196 x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189
3586.83/3597.04 v -x1188 x1187 -x1186 -x1185 -x1184 -x1183 -x1182 x1181 -x1180 -x1179 x1178 -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171
3586.83/3597.04 v -x1170 x1169 x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152
3586.83/3597.04 v -x1151 x1150 -x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 x1139 -x1138 -x1137 -x1136 x1135 -x1134
3586.83/3597.04 v -x1133 -x1132 x1131 -x1130 -x1129 -x1128 x1127 -x1126 -x1125 -x1124 -x1123 x1122 -x1121 x1120 -x1119 -x1118 -x1117 -x1116 -x1115
3586.83/3597.04 v x1114 -x1113 x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 x1101 -x1100 x1099 -x1098 -x1097
3586.83/3597.04 v x1096 -x1095 -x1094 -x1093 x1092 -x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 x1080 -x1079 -x1078
3586.83/3597.04 v -x1077 x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060
3586.83/3597.04 v x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 -x1042 x1041
3586.83/3597.04 v -x1040 x1039 -x1038 -x1037 -x1036 -x1035 x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 x1026 -x1025 -x1024 x1023 -x1022
3586.83/3597.04 v -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 x1005 x1004
3586.83/3597.04 v -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 x990 -x989 x988 -x987 -x986 -x985 x984 -x983
3586.83/3597.04 v -x982 -x981 x980 -x979 -x978 -x977 -x976 x975 -x974 -x973 x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 -x963 x962 -x961
3586.83/3597.04 v -x960 x959 -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951 x950 -x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 x941 -x940
3586.83/3597.04 v -x939 x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 x929 x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 x919 -x918
3586.83/3597.04 v -x917 -x916 x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 x901 x900 -x899 -x898 -x897 x896
3586.83/3597.04 v -x895 -x894 -x893 -x892 -x891 -x890 x889 -x888 x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 x879 -x878 -x877 x876 -x875 -x874
3586.83/3597.04 v -x873 -x872 -x871 -x870 x869 -x868 x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 x859 -x858 -x857 x856 -x855 -x854 -x853
3586.83/3597.04 v -x852 -x851 x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 x832 -x831
3586.83/3597.04 v -x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 x817 -x816 -x815 -x814 x813 -x812 -x811 x810 -x809
3586.83/3597.04 v -x808 -x807 x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 x794 -x793 -x792 -x791 -x790 x789 x788 -x787
3586.83/3597.04 v -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 x773 x772 -x771 -x770 -x769 -x768 -x767 -x766
3586.83/3597.04 v x765 -x764 -x763 -x762 x761 x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744
3586.83/3597.04 v -x743 -x742 x741 -x740 x739 -x738 -x737 -x736 x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 -x722
3586.83/3597.04 v x721 -x720 -x719 -x718 x717 x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 x705 -x704 -x703 x702 -x701 -x700
3586.83/3597.04 v -x699 x698 -x697 -x696 x695 -x694 -x693 -x692 x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 x679
3586.83/3597.04 v -x678 -x677 -x676 -x675 -x674 x673 -x672 x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 x660 -x659 -x658 -x657
3586.83/3597.04 v -x656 -x655 x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 x643 -x642 -x641 x640 -x639 -x638 -x637 -x636 x635
3586.83/3597.04 v -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 x617 -x616 -x615 x614 -x613
3586.83/3597.04 v x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 x602 -x601 -x600 x599 -x598 -x597 -x596 x595 -x594 -x593 -x592
3586.83/3597.04 v -x591 x590 -x589 -x588 -x587 -x586 x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 x573 -x572 -x571 x570
3586.83/3597.04 v -x569 -x568 x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 x551 -x550 -x549 -x548
3586.83/3597.04 v -x547 -x546 x545 -x544 x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 x531 -x530 -x529 -x528 -x527
3586.83/3597.04 v -x526 x525 -x524 x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 x514 -x513 x512 -x511 -x510 -x509 x508 -x507 -x506 -x505
3586.83/3597.04 v x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 x490 -x489 -x488 x487 -x486 -x485 -x484 -x483
3586.83/3597.04 v x482 -x481 -x480 -x479 -x478 x477 -x476 x475 -x474 -x473 x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 x462 -x461
3586.83/3597.04 v x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 x445 -x444 x443 -x442 -x441 -x440
3586.83/3597.04 v x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 x429 -x428 x427 -x426 -x425 x424 -x423 -x422 -x421 x420 -x419 -x418
3586.83/3597.04 v -x417 -x416 -x415 -x414 x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 x405 -x404 x403 -x402 -x401 -x400 -x399 x398 -x397 -x396
3586.83/3597.04 v -x395 x394 -x393 -x392 x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 x382 -x381 x380 -x379 -x378 -x377 -x376 x375 -x374
3586.83/3597.04 v -x373 x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 x354 -x353
3586.83/3597.04 v x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331
3586.83/3597.04 v x330 -x329 -x328 x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 x309
3586.83/3597.04 v -x308 -x307 -x306 x305 -x304 x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 x291 -x290 -x289 -x288 -x287
3586.83/3597.04 v x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 x278 -x277 -x276 x275 -x274 -x273 -x272 x271 -x270 -x269 x268 -x267 -x266
3586.83/3597.04 v -x265 -x264 -x263 -x262 x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244
3586.83/3597.04 v -x243 -x242 x241 -x240 -x239 -x238 x237 x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222
3586.83/3597.04 v x221 -x220 x219 -x218 -x217 -x216 x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 x201 -x200
3586.83/3597.04 v -x199 x198 -x197 -x196 -x195 -x194 x193 x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179
3586.83/3597.04 v x178 -x177 x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 x158 -x157
3586.83/3597.04 v -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 x140 -x139 -x138 -x137 -x136 x135
3586.83/3597.04 v -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117 x116 -x115 -x114 -x113
3586.83/3597.04 v x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 x95 -x94 -x93 x92 -x91 -x90
3586.83/3597.04 v -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 x66 -x65 -x64
3586.83/3597.04 v -x63 x62 -x61 -x60 x59 -x58 -x57 x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 x41 -x40 x39 -x38 -x37
3586.83/3597.04 v -x36 -x35 x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 x13 -x12 x11
3586.83/3597.04 v -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 x1
3586.83/3597.04 c SCIP Status : solving was interrupted [time limit reached]
3586.83/3597.04 c Total Time : 3597.00
3586.83/3597.04 c solving : 3597.00
3586.83/3597.04 c presolving : 1.48 (included in solving)
3586.83/3597.04 c reading : 0.14 (included in solving)
3586.83/3597.04 c copying : 1.39 (9 #copies) (minimal 0.15, maximal 0.19, average 0.15)
3586.83/3597.04 c Original Problem :
3586.83/3597.04 c Problem name : HOME/instance-4425191-1720893037.wbo
3586.83/3597.04 c Variables : 24656 (24656 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.83/3597.04 c Constraints : 46163 initial, 46163 maximal
3586.83/3597.04 c Objective : minimize, 22856 non-zeros (abs.min = 1, abs.max = 1)
3586.83/3597.04 c Presolved Problem :
3586.83/3597.04 c Problem name : t_HOME/instance-4425191-1720893037.wbo
3586.83/3597.04 c Variables : 47487 (24656 binary, 0 integer, 22831 implicit integer, 0 continuous)
3586.83/3597.04 c Constraints : 46163 initial, 46265 maximal
3586.83/3597.04 c Objective : minimize, 22856 non-zeros (abs.min = 1, abs.max = 1)
3586.83/3597.04 c Nonzeros : 207504 constraint, 47462 clique table
3586.83/3597.04 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.83/3597.04 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c trivial : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c dualfix : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c probing : 0.76 0.00 1 0 25 0 0 0 0 0 0 0
3586.83/3597.04 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c symmetry : 0.19 0.00 1 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c vbounds : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c knapsack : 0.02 0.00 3 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c linear : 0.11 0.01 5 0 0 0 22856 0 0 0 0 0
3586.83/3597.04 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c indicator : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c root node : - - - 0 - - 0 - - - - -
3586.83/3597.04 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.83/3597.04 c benderslp : 0 0 0 0 427 0 0 2398 0 0 0 0 0 0 0
3586.83/3597.04 c integral : 0 0 0 0 427 0 0 2398 0 0 0 0 0 0 854
3586.83/3597.04 c knapsack : 1 1 0 129062 0 0 0 2392 0 0 0 0 0 0 0
3586.83/3597.04 c setppc : 450 450 12 137588 0 0 0 2390 5209 0 926 0 0 0 0
3586.83/3597.04 c linear : 22856 22856 12 137588 0 0 0 20 35127 0 7 0 0 0 0
3586.83/3597.04 c logicor : 0+ 102 11 223 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c benders : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
3586.83/3597.04 c indicator : 22856 22856 162 140442 0 0 0 7 35057 0 8 0 0 0 0
3586.83/3597.04 c fixedvar : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
3586.83/3597.04 c countsols : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
3586.83/3597.04 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.83/3597.04 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.83/3597.04 c integral : 1081.14 0.00 0.00 0.00 1078.70 0.00 0.00 2.44 0.00 0.00
3586.83/3597.04 c knapsack : 5.38 0.00 0.00 4.44 0.00 0.00 0.00 0.90 0.00 0.04
3586.83/3597.04 c setppc : 0.80 0.00 0.00 0.68 0.00 0.00 0.00 0.07 0.00 0.05
3586.83/3597.04 c linear : 1.01 0.01 0.04 0.81 0.00 0.00 0.00 0.07 0.02 0.06
3586.83/3597.04 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.83/3597.04 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.83/3597.04 c indicator : 122.78 0.00 0.45 120.09 0.00 0.00 0.00 0.06 0.02 2.15
3586.83/3597.04 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.83/3597.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.83/3597.04 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.83/3597.04 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.83/3597.04 c dualfix : 3 0 0 0
3586.83/3597.04 c genvbounds : 0 0 0 0
3586.83/3597.04 c nlobbt : 0 0 0 0
3586.83/3597.04 c obbt : 0 0 0 0
3586.83/3597.04 c probing : 0 0 0 0
3586.83/3597.04 c pseudoobj : 1183 0 0 0
3586.83/3597.04 c redcost : 1070 0 0 0
3586.83/3597.04 c rootredcost : 4 0 0 0
3586.83/3597.04 c symmetry : 0 0 0 0
3586.83/3597.04 c vbounds : 78720 0 0 0
3586.83/3597.04 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.83/3597.04 c dualfix : 0.01 0.00 0.01 0.01 0.00 0.00
3586.83/3597.04 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3586.83/3597.04 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.83/3597.04 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.83/3597.04 c probing : 0.76 0.00 0.76 0.00 0.00 0.00
3586.83/3597.04 c pseudoobj : 0.32 0.00 0.00 0.32 0.00 0.00
3586.83/3597.04 c redcost : 1.07 0.00 0.00 1.07 0.00 0.00
3586.83/3597.04 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.83/3597.04 c symmetry : 0.25 0.00 0.19 0.05 0.00 0.00
3586.83/3597.04 c vbounds : 0.14 0.00 0.02 0.12 0.00 0.01
3586.83/3597.04 c Symmetry :
3586.83/3597.04 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.83/3597.04 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.83/3597.04 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.83/3597.04 c shadow tree time : 0.00 s
3586.83/3597.04 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.83/3597.04 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.83/3597.04 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.83/3597.04 c bound exceed. LP : 1.75 51 20 - 6545 1408.7 0 0.0 0 0.0 310
3586.83/3597.04 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.83/3597.04 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.83/3597.04 c applied globally : 0.01 - - 0 200 1378.4 - - 0 - -
3586.83/3597.04 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.83/3597.04 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.83/3597.04 c cut pool : 0.94 - 314 24 - - 8650 35790 - - - - - (maximal pool size: 5951)
3586.83/3597.04 c aggregation : 9.00 0.00 121 12 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.83/3597.04 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.83/3597.04 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.83/3597.04 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c clique : 22.13 0.00 12 12 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c gomory : 10.38 0.00 99 10 0 0 6326 10531 0 2195 2195 0 0
3586.83/3597.04 c > gomorymi : - - - - - - - 2661 0 36 36 0 -
3586.83/3597.04 c > strongcg : - - - - - - - 7870 0 2159 2159 0 -
3586.83/3597.04 c impliedbounds : 0.43 0.00 121 12 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c mixing : 0.00 0.00 121 12 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c multilinear : 0.00 0.00 30 12 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c rapidlearning : 0.09 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c rlt : 0.00 0.00 37 10 0 0 0 0 0 0 0 0 0
3586.83/3597.04 c zerohalf : 4.50 0.00 101 12 0 0 2324 25259 0 13685 13685 0 0
3586.83/3597.04 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.83/3597.04 c hybrid : 0.36 0.00 214 13 15880 0 19910 1031 0 1838
3586.83/3597.04 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c Pricers : ExecTime SetupTime Calls Vars
3586.83/3597.04 c problem variables: 0.00 - 0 0
3586.83/3597.04 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.83/3597.04 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c relpscost : 1078.70 0.00 427 0 0 0 0 0 0 854
3586.83/3597.04 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.83/3597.04 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.83/3597.04 c LP solutions : 0.00 - - 0 0
3586.83/3597.04 c relax solutions : 0.00 - - 0 0
3586.83/3597.04 c pseudo solutions : 0.00 - - 0 0
3586.83/3597.04 c strong branching : 0.01 - - 0 0
3586.83/3597.04 c actconsdiving : 0.00 0.00 0 0 0
3586.83/3597.04 c adaptivediving : 13.09 0.00 3 0 0
3586.83/3597.04 c alns : 12.14 0.00 4 1 1
3586.83/3597.04 c bound : 0.00 0.00 0 0 0
3586.83/3597.04 c clique : 1.62 0.00 1 1 1
3586.83/3597.04 c coefdiving : 0.00 0.00 0 0 0
3586.83/3597.04 c completesol : 0.00 0.00 0 0 0
3586.83/3597.04 c conflictdiving : 29.96 0.00 12 1 1
3586.83/3597.04 c crossover : 1.09 0.00 1 1 0
3586.83/3597.04 c dins : 0.00 0.00 0 0 0
3586.83/3597.04 c distributiondivin: 41.89 0.00 6 0 0
3586.83/3597.04 c dps : 0.00 0.00 0 0 0
3586.83/3597.04 c dualval : 0.00 0.00 0 0 0
3586.83/3597.04 c farkasdiving : 0.00 0.00 0 0 0
3586.83/3597.04 c feasjump : 0.00 0.00 0 0 0
3586.83/3597.04 c feaspump : 44.37 0.00 2 0 0
3586.83/3597.04 c fixandinfer : 0.00 0.00 0 0 0
3586.83/3597.04 c fracdiving : 36.71 0.00 12 1 1
3586.83/3597.04 c gins : 0.51 0.00 1 0 0
3586.83/3597.04 c guideddiving : 48.03 0.00 11 0 0
3586.83/3597.04 c indcoefdiving : 0.00 0.00 0 0 0
3586.83/3597.04 c indicator : 0.00 0.00 0 0 0
3586.83/3597.04 c indicatordiving : 0.00 0.00 0 0 0
3586.83/3597.04 c indoneopt : 8.66 0.01 5 0 0
3586.83/3597.04 c indrounding : 0.00 0.00 0 0 0
3586.83/3597.04 c indtwoopt : 0.00 0.01 0 0 0
3586.83/3597.04 c intdiving : 0.00 0.00 0 0 0
3586.83/3597.04 c intshifting : 0.00 0.00 0 0 0
3586.83/3597.04 c linesearchdiving : 39.69 0.00 15 1 1
3586.83/3597.04 c localbranching : 0.00 0.00 0 0 0
3586.83/3597.04 c locks : 5.80 0.00 1 0 0
3586.83/3597.04 c lpface : 9.32 0.00 1 0 0
3586.83/3597.04 c mpec : 0.00 0.00 0 0 0
3586.83/3597.04 c multistart : 0.00 0.00 0 0 0
3586.83/3597.04 c mutation : 0.00 0.00 0 0 0
3586.83/3597.04 c nlpdiving : 0.00 0.00 0 0 0
3586.83/3597.04 c objpscostdiving : 32.20 0.00 5 0 0
3586.83/3597.04 c octane : 0.00 0.00 0 0 0
3586.83/3597.04 c ofins : 0.00 0.00 0 0 0
3586.83/3597.04 c oneopt : 0.07 0.00 5 0 0
3586.83/3597.04 c padm : 0.00 0.00 0 0 0
3586.83/3597.04 c proximity : 0.00 0.00 0 0 0
3586.83/3597.04 c pscostdiving : 36.78 0.00 7 0 0
3586.83/3597.04 c randrounding : 10.56 0.00 134 0 0
3586.83/3597.04 c rens : 0.56 0.00 1 0 0
3586.83/3597.04 c reoptsols : 0.00 0.00 0 0 0
3586.83/3597.04 c repair : 0.00 0.00 0 0 0
3586.83/3597.04 c rins : 0.58 0.00 1 0 0
3586.83/3597.04 c rootsoldiving : 12.33 0.00 3 0 0
3586.83/3597.04 c rounding : 0.58 0.00 305 0 0
3586.83/3597.04 c scheduler : 0.00 0.00 0 0 0
3586.83/3597.04 c shiftandpropagate: 0.00 0.00 0 0 0
3586.83/3597.04 c shifting : 1.03 0.00 155 0 0
3586.83/3597.04 c simplerounding : 0.00 0.00 0 0 0
3586.83/3597.04 c smallcard : 0.00 0.00 0 0 0
3586.83/3597.04 c subnlp : 0.00 0.00 0 0 0
3586.83/3597.04 c trivial : 0.04 0.00 2 0 0
3586.83/3597.04 c trivialnegation : 0.00 0.00 0 0 0
3586.83/3597.04 c trustregion : 0.00 0.00 0 0 0
3586.83/3597.04 c trysol : 0.02 0.00 1 0 0
3586.83/3597.04 c twoopt : 0.00 0.00 0 0 0
3586.83/3597.04 c undercover : 0.00 0.00 0 0 0
3586.83/3597.04 c vbounds : 69.29 0.00 1 0 0
3586.83/3597.04 c veclendiving : 24.62 0.00 13 0 0
3586.83/3597.04 c zeroobj : 0.00 0.00 0 0 0
3586.83/3597.04 c zirounding : 0.43 0.00 426 0 0
3586.83/3597.04 c other solutions : - - - 0 -
3586.83/3597.04 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.83/3597.04 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.83/3597.04 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.83/3597.04 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.83/3597.04 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.83/3597.04 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.83/3597.04 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.83/3597.04 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.83/3597.04 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.83/3597.04 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.83/3597.04 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.83/3597.04 c primal LP : 1.33 87 0 0.00 0.00 1.33 87
3586.83/3597.04 c dual LP : 1976.47 642 2439657 3811.96 1234.35 5.78 2
3586.83/3597.04 c lex dual LP : 0.00 0 0 0.00 -
3586.83/3597.04 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.83/3597.04 c resolve instable : 0.00 0 0 0.00 -
3586.83/3597.04 c diving/probing LP: 305.18 704 1032526 1466.66 3383.35
3586.83/3597.04 c strong branching : 998.32 2256 1305148 578.52 1307.34 - - 2202
3586.83/3597.04 c (at root node) : - 19 12067 635.11 -
3586.83/3597.04 c conflict analysis: 0.36 31 310 10.00 849.82
3586.83/3597.04 c B&B Tree :
3586.83/3597.04 c number of runs : 1
3586.83/3597.04 c nodes : 428 (427 internal, 1 leaves)
3586.83/3597.04 c feasible leaves : 0
3586.83/3597.04 c infeas. leaves : 0
3586.83/3597.04 c objective leaves : 0
3586.83/3597.04 c nodes (total) : 428 (427 internal, 1 leaves)
3586.83/3597.04 c nodes left : 428
3586.83/3597.04 c max depth : 44
3586.83/3597.04 c max depth (total): 44
3586.83/3597.04 c backtracks : 134 (31.3%)
3586.83/3597.04 c early backtracks : 0 (0.0%)
3586.83/3597.04 c nodes exc. ref. : 0 (0.0%)
3586.83/3597.04 c delayed cutoffs : 0
3586.83/3597.04 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.83/3597.04 c avg switch length: 3.40
3586.83/3597.04 c switching time : 1.67
3586.83/3597.04 c Root Node :
3586.83/3597.04 c First LP value : +0.00000000000000e+00
3586.83/3597.04 c First LP Iters : 4971 (8714.30 Iter/sec)
3586.83/3597.04 c First LP Time : 0.57
3586.83/3597.04 c Final Dual Bound : +0.00000000000000e+00
3586.83/3597.04 c Final Root Iters : 100504
3586.83/3597.04 c Root LP Estimate : +7.71052608775432e+02
3586.83/3597.04 c Solution :
3586.83/3597.04 c Solutions found : 6 (5 improvements)
3586.83/3597.04 c First Solution : +5.71400000000000e+03 (in run 1, after 1 nodes, 3.64 seconds, depth 452, found by <clique>)
3586.83/3597.04 c Gap First Sol. : infinite
3586.83/3597.04 c Gap Last Sol. : infinite
3586.83/3597.04 c Primal Bound : +1.15800000000000e+03 (in run 1, after 208 nodes, 1156.70 seconds, depth 20, found by <alns>)
3586.83/3597.04 c Dual Bound : +0.00000000000000e+00
3586.83/3597.04 c Gap : infinite
3586.83/3597.04 c Integrals : Total Avg%
3586.83/3597.04 c primal-dual : 359699.94 100.00
3586.83/3597.04 c primal-ref : - - (not evaluated)
3586.83/3597.04 c dual-ref : - - (not evaluated)
3587.51/3597.71 c Time complete: 3587.53.
OK 1158
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: 64096 MiB (45827 MiB free)
memory of node 1: 64473 MiB (53733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425191-1720893037/watcher-4425191-1720893037 -o /tmp/evaluation-result-4425191-1720893037/solver-4425191-1720893037 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703902 --watchdog 3760 pbscip -f HOME/instance-4425191-1720893037.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=711942, runsolver pid=711939
[startup+0.100107 s]*
/proc/loadavg: 4.33 4.17 4.13 5/244 711943
/proc/meminfo: memFree=101918424/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=87520 memory=47096 CPUtime=0.1 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 8848 0 0 0 9 1 0 0 20 0 1 0 141460875 89620480 11774 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 21880 11774 3257 3540 0 10137 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87520 KiB
Current children cumulated memory: 47096 KiB
[startup+0.213159 s]*
/proc/loadavg: 4.33 4.17 4.13 5/244 711943
/proc/meminfo: memFree=101873204/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=134860 memory=95288 CPUtime=0.21 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 20793 0 0 0 18 3 0 0 20 0 1 0 141460875 138096640 23822 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 33715 23822 3576 3540 0 21972 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 134860 KiB
Current children cumulated memory: 95288 KiB
[startup+0.312947 s]*
/proc/loadavg: 4.33 4.17 4.13 5/244 711943
/proc/meminfo: memFree=101843832/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=163584 memory=122860 CPUtime=0.31 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 27646 0 0 0 27 4 0 0 20 0 1 0 141460875 167510016 30715 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 40896 30715 3608 3540 0 29153 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 163584 KiB
Current children cumulated memory: 122860 KiB
[startup+0.700343 s]
/proc/loadavg: 4.33 4.17 4.13 5/244 711943
/proc/meminfo: memFree=101788244/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=240908 memory=194596 CPUtime=0.68 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 45583 0 0 0 61 7 0 0 20 0 1 0 141460875 246689792 48649 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 60227 48649 3624 3540 0 48484 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 240908 KiB
Current children cumulated memory: 194596 KiB
[startup+1.50033 s]
/proc/loadavg: 4.33 4.17 4.13 5/244 711943
/proc/meminfo: memFree=101763044/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=248260 memory=200676 CPUtime=1.49 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 47087 0 0 0 141 8 0 0 20 0 1 0 141460875 254218240 50169 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 62065 50169 3672 3540 0 50322 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 248260 KiB
Current children cumulated memory: 200676 KiB
[startup+3.11313 s]
/proc/loadavg: 4.33 4.17 4.13 5/244 711943
/proc/meminfo: memFree=101662584/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=422080 memory=300956 CPUtime=3.1 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 78622 0 0 0 297 13 0 0 20 0 1 0 141460875 432209920 75239 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 105520 75239 3752 3540 0 93777 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 422080 KiB
Current children cumulated memory: 300956 KiB
[startup+6.30033 s]
/proc/loadavg: 4.30 4.17 4.13 7/244 711943
/proc/meminfo: memFree=101625596/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=462196 memory=338320 CPUtime=6.27 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 88040 0 0 0 613 14 0 0 20 0 1 0 141460875 473288704 84580 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 115549 84580 3848 3540 0 103806 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 462196 KiB
Current children cumulated memory: 338320 KiB
[startup+12.7003 s]
/proc/loadavg: 4.27 4.16 4.13 5/244 711944
/proc/meminfo: memFree=101570500/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=533840 memory=393772 CPUtime=12.64 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 101950 0 0 0 1247 17 0 0 20 0 1 0 141460875 546652160 98443 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 133460 98443 3848 3540 0 121717 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 533840 KiB
Current children cumulated memory: 393772 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.16 4.12 5/244 711946
/proc/meminfo: memFree=101564840/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=538348 memory=398516 CPUtime=25.39 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 103142 0 0 0 2521 18 0 0 20 0 1 0 141460875 551268352 99629 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 134587 99629 3848 3540 0 122844 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 538348 KiB
Current children cumulated memory: 398516 KiB
[startup+51.1131 s]
/proc/loadavg: 4.21 4.16 4.13 5/244 711950
/proc/meminfo: memFree=101560908/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=541996 memory=402200 CPUtime=50.88 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 104061 0 0 0 5070 18 0 0 20 0 1 0 141460875 555003904 100550 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 135499 100550 3848 3540 0 123756 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 541996 KiB
Current children cumulated memory: 402200 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.12 6/244 712006
/proc/meminfo: memFree=102451164/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=854072 memory=710764 CPUtime=101.85 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 163430 0 0 0 10156 29 0 0 20 0 1 0 141460875 874569728 177691 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 213518 177691 3911 3540 0 201775 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 854072 KiB
Current children cumulated memory: 710764 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/243 712016
/proc/meminfo: memFree=102536456/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=854072 memory=714568 CPUtime=161.62 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 164456 0 0 0 16132 30 0 0 20 0 1 0 141460875 874569728 178642 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 213518 178642 3911 3540 0 201775 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 854072 KiB
Current children cumulated memory: 714568 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.14 4.12 5/243 712026
/proc/meminfo: memFree=101055228/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=995116 memory=856892 CPUtime=221.41 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 199987 0 0 0 22107 34 0 0 20 0 1 0 141460875 1018998784 214223 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 248779 214223 4022 3540 0 237036 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 995116 KiB
Current children cumulated memory: 856892 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/243 712037
/proc/meminfo: memFree=100776284/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1038264 memory=890892 CPUtime=281.18 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 208788 0 0 0 28083 35 0 0 20 0 1 0 141460875 1063182336 222723 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 259566 222723 4038 3540 0 247823 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 1038264 KiB
Current children cumulated memory: 890892 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/245 712433
/proc/meminfo: memFree=100771664/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1026020 memory=881572 CPUtime=340.93 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 209357 0 0 0 34057 36 0 0 20 0 1 0 141460875 1050644480 220393 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 256505 220393 4038 3540 0 244762 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 1026020 KiB
Current children cumulated memory: 881572 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 4.15 4.11 5/245 712534
/proc/meminfo: memFree=111602732/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1026020 memory=881768 CPUtime=400.7 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 209441 0 0 0 40034 36 0 0 20 0 1 0 141460875 1050644480 220442 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 256505 220442 4038 3540 0 244762 0
Current children cumulated CPU time: 400.7 s
Current children cumulated vsize: 1026020 KiB
Current children cumulated memory: 881768 KiB
[startup+462.3 s]
/proc/loadavg: 4.76 4.32 4.17 6/245 712544
/proc/meminfo: memFree=111535692/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1026364 memory=883552 CPUtime=460.47 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 210035 0 0 0 46011 36 0 0 20 0 1 0 141460875 1050996736 220888 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 256591 220888 4038 3540 0 244848 0
Current children cumulated CPU time: 460.47 s
################
# More data... #
################
/proc/loadavg: 3.06 3.08 3.24 6/237 714094
/proc/meminfo: memFree=125917880/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1383252 memory=1279932 CPUtime=3213.21 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 327389 0 0 0 321265 56 0 0 20 0 1 0 141460875 1416450048 319983 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 345813 319983 4038 3540 0 334070 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 1383252 KiB
Current children cumulated memory: 1279932 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.09 3.23 4/237 714105
/proc/meminfo: memFree=125908032/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1383252 memory=1279932 CPUtime=3273.06 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 327748 0 0 0 327250 56 0 0 20 0 1 0 141460875 1416450048 319983 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 345813 319983 4038 3540 0 334070 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 1383252 KiB
Current children cumulated memory: 1279932 KiB
[startup+3342.3 s]
/proc/loadavg: 3.32 3.14 3.24 4/235 714116
/proc/meminfo: memFree=125886144/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1383252 memory=1279932 CPUtime=3332.92 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 328055 0 0 0 333236 56 0 0 20 0 1 0 141460875 1416450048 319983 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 345813 319983 4038 3540 0 334070 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 1383252 KiB
Current children cumulated memory: 1279932 KiB
[startup+3402.3 s]
/proc/loadavg: 3.73 3.30 3.29 4/235 714126
/proc/meminfo: memFree=125869212/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1383252 memory=1279932 CPUtime=3392.74 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 328474 0 0 0 339218 56 0 0 20 0 1 0 141460875 1416450048 319983 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 345813 319983 4038 3540 0 334070 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 1383252 KiB
Current children cumulated memory: 1279932 KiB
[startup+3462.3 s]
/proc/loadavg: 3.33 3.26 3.27 4/235 714136
/proc/meminfo: memFree=125843124/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1383252 memory=1279932 CPUtime=3452.55 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 328860 0 0 0 345199 56 0 0 20 0 1 0 141460875 1416450048 319983 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 345813 319983 4038 3540 0 334070 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 1383252 KiB
Current children cumulated memory: 1279932 KiB
[startup+3522.3 s]
/proc/loadavg: 3.16 3.22 3.26 4/235 714147
/proc/meminfo: memFree=125773280/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1383252 memory=1279932 CPUtime=3512.35 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329255 0 0 0 351179 56 0 0 20 0 1 0 141460875 1416450048 319983 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 345813 319983 4038 3540 0 334070 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 1383252 KiB
Current children cumulated memory: 1279932 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.19 3.25 6/235 714157
/proc/meminfo: memFree=125693576/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1383252 memory=1279932 CPUtime=3572.16 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329607 0 0 0 357160 56 0 0 20 0 1 0 141460875 1416450048 319983 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 345813 319983 4038 3540 0 334070 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 1383252 KiB
Current children cumulated memory: 1279932 KiB
[startup+3597.71 s]
# the end of solver process 711942 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.96 s, system=0.578057 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.09 3.19 3.25 4/235 714157
/proc/meminfo: memFree=125693576/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1383252 memory=1279932 CPUtime=3573.86 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329608 0 0 0 357330 56 0 0 20 0 1 0 141460875 1416450048 319983 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 345813 319983 4038 3540 0 334070 0
Current children cumulated CPU time: 3573.86 s
Current children cumulated vsize: 1383252 KiB
Current children cumulated memory: 1279932 KiB
[startup+3590.4 s]
/proc/loadavg: 3.08 3.19 3.25 4/235 714158
/proc/meminfo: memFree=125693520/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1383252 memory=1279932 CPUtime=3580.23 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329630 0 0 0 357967 56 0 0 20 0 1 0 141460875 1416450048 319983 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 345813 319983 4038 3540 0 334070 0
Current children cumulated CPU time: 3580.23 s
Current children cumulated vsize: 1383252 KiB
Current children cumulated memory: 1279932 KiB
[startup+3593.6 s]
/proc/loadavg: 3.08 3.19 3.25 4/235 714158
/proc/meminfo: memFree=125692768/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1391872 memory=1280332 CPUtime=3583.43 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329906 0 0 0 358286 57 0 0 20 0 1 0 141460875 1425276928 320083 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 347968 320083 4038 3540 0 336225 0
Current children cumulated CPU time: 3583.43 s
Current children cumulated vsize: 1391872 KiB
Current children cumulated memory: 1280332 KiB
[startup+3595.2 s]
/proc/loadavg: 3.07 3.18 3.24 4/235 714158
/proc/meminfo: memFree=125691796/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1391872 memory=1280332 CPUtime=3585.02 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329907 0 0 0 358445 57 0 0 20 0 1 0 141460875 1425276928 320083 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 347968 320083 4038 3540 0 336225 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 1391872 KiB
Current children cumulated memory: 1280332 KiB
[startup+3596.8 s]
/proc/loadavg: 3.07 3.18 3.24 4/235 714158
/proc/meminfo: memFree=125691600/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1391872 memory=1280332 CPUtime=3586.62 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329907 0 0 0 358605 57 0 0 20 0 1 0 141460875 1425276928 320083 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 347968 320083 4038 3540 0 336225 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 1391872 KiB
Current children cumulated memory: 1280332 KiB
[startup+3597.2 s]
/proc/loadavg: 3.07 3.18 3.24 4/237 714162
/proc/meminfo: memFree=125691556/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1317784 memory=1206464 CPUtime=3587.02 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329941 0 0 0 358645 57 0 0 20 0 1 0 141460875 1349410816 301616 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 329446 301616 4038 3540 0 317703 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 1317784 KiB
Current children cumulated memory: 1206464 KiB
[startup+3597.6 s]
/proc/loadavg: 3.07 3.18 3.24 4/237 714162
/proc/meminfo: memFree=125691556/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1312384 memory=1201064 CPUtime=3587.42 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329955 0 0 0 358685 57 0 0 20 0 1 0 141460875 1343881216 300266 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 328096 300266 4038 3540 0 316353 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 1312384 KiB
Current children cumulated memory: 1201064 KiB
[startup+3597.7 s]
/proc/loadavg: 3.07 3.18 3.24 4/237 714162
/proc/meminfo: memFree=125691556/131655788 swapFree=131071996/131071996
[pid=711942] ppid=711939 vsize=1260108 memory=1148788 CPUtime=3587.51 cores=1,3
/proc/711942/stat : 711942 (pbscip) R 711939 711942 703890 0 -1 4194304 329960 0 0 0 358694 57 0 0 20 0 1 0 141460875 1290350592 287197 134679101440 4194304 18693293 140721295839440 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45096960 140721295848440 140721295848539 140721295848539 140721295855566 0
/proc/711942/statm: 315027 287197 4038 3540 0 303284 0
Current children cumulated CPU time: 3587.51 s
Current children cumulated vsize: 1260108 KiB
Current children cumulated memory: 1148788 KiB
Child status: 0
Real time (s): 3597.71
CPU time (s): 3587.54
CPU user time (s): 3586.96
CPU system time (s): 0.578057
CPU usage (%): 99.7171
Max. virtual memory (cumulated for all children) (KiB): 1391872
Max. memory (cumulated for all children) (KiB): 1280552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.96
system time used= 0.578057
maximum resident set size= 1280552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330006
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= 69
involuntary context switches= 1392
# summary of solver processes directly reported to runsolver:
# pid: 711942
# total CPU time (s): 3587.54
# total CPU user time (s): 3586.96
# total CPU system time (s): 0.578057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2088 second user time and 32.9858 second system time
The end
Begin job on nodeC011 at 2024-07-13 19:50:50 IDJOB=4425191 IDBENCH=144113 IDSOLVER=3038 FILE ID=nodeC011/4425191-1720893037 RUNJOBID= nodeC011-1720885247-703902 SLURM_JOB_ID= 7485791 Free space on /tmp= 723616 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-le450-5a-4_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425191-1720893037/watcher-4425191-1720893037 -o /tmp/evaluation-result-4425191-1720893037/solver-4425191-1720893037 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703902 --watchdog 3760 pbscip -f HOME/instance-4425191-1720893037.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6f720b4722bfdee79227a462351755e1 RANDOM SEED=172911037 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3630.598 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 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 : 3491.620 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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.274 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 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.121 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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 : 3672.055 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 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 : 3621.562 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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 : 1197.127 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 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.295 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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 101950540 kB MemAvailable: 103292396 kB Buffers: 338540 kB Cached: 1832848 kB SwapCached: 0 kB Active: 631612 kB Inactive: 28480820 kB Active(anon): 1436 kB Inactive(anon): 26977024 kB Active(file): 630176 kB Inactive(file): 1503796 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19460 kB Writeback: 28 kB AnonPages: 26936628 kB Mapped: 134652 kB Shmem: 37704 kB KReclaimable: 96168 kB Slab: 190976 kB SReclaimable: 96168 kB SUnreclaim: 94808 kB KernelStack: 3936 kB PageTables: 62160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 31685720 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 46176 kB HardwareCorrupted: 0 kB AnonHugePages: 6119424 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 185160 kB DirectMap2M: 17545216 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723724 MiB End job on nodeC011 at 2024-07-13 20:50:48