7.46/7.56 c initialize IPBHS solver
7.46/7.56 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
7.46/7.56 c optimizer = "scip"
7.46/7.56 c pbsolver = "roundingsat"
7.46/7.56 c load symmetries from file ""
7.46/7.56 c set time limit for symmetry computation to 100 seconds.
7.46/7.56 c set interchangeable summation variable limit to 3
7.46/7.56 c set abs symmetric core budget per WCE-iteration to 100
7.46/7.56 c set rel symmetric core budget per WCE-iteration to 0
7.46/7.56 c set lit symmetric core budget per WCE-iteration to 0
7.46/7.56 c set sym generation to 's'
7.46/7.56 c set abstraction set creation to 10 iterations without LB change
7.46/7.56 c set abstraction set inputs to 0
7.46/7.56 c set abstraction set cluster min size to 2
7.46/7.56 c set abstraction set cluster max size to 100000000
7.46/7.56 c set abstraction set cluster activation limit to 2
7.46/7.56 c enable abstraction set require equal cost
7.46/7.56 c set abstraction set assumptions to 0
7.46/7.56 c set abstraction set constraint type to 0
7.46/7.56 c set abstract core extraction strategy to b
7.46/7.56 c set core extraction strategy to 2
7.46/7.56 c set core extraction shuffles 10
7.46/7.56 c set cores per iteration to 5
7.46/7.56 c set optimizer bound usage strategy to 2
7.46/7.56 c set optimizer max non-optimal iterations to 1000
7.46/7.56 c set small core cardinality limit to 2
7.46/7.56 c set max coef in cores to 1000000000
7.46/7.56 c set SIS iterations to 5
7.46/7.56 c set SIS budget abs to 1000
7.46/7.56 c set SIS budget rel to 0.05
7.46/7.56 c limit for coefficient in constraints and objective to 9223372036854775807
7.46/7.56 c will solve HOME/instance-4432067-1721142103.opb
7.46/7.56 c [0.02] solve iteration 1, LB=-15, UB=2758714959
7.46/7.56 c [1.54] solve iteration 2, LB=954480, UB=3245256
7.46/7.56 c [5.21] solve iteration 3, LB=1586138, UB=3245256
14.75/14.85 c [12.3] solve iteration 4, LB=2025578, UB=2760334
22.12/22.23 c [19.06] solve iteration 5, LB=2110188, UB=2732972
29.92/30.05 c [25.91] solve iteration 6, LB=2202496, UB=2732972
39.59/39.77 c [35.18] solve iteration 7, LB=2249136, UB=2732972
51.16/51.34 c [46.05] solve iteration 8, LB=2261626, UB=2732972
65.72/66.00 c [60.05] solve iteration 9, LB=2449838, UB=2732972
80.78/81.02 c [74.2] solve iteration 10, LB=2484696, UB=2732972
99.92/100.25 c [93.07] solve iteration 11, LB=2523664, UB=2732972
115.39/115.77 c [107.37] solve iteration 12, LB=2536020, UB=2732972
143.01/143.44 c [134.46] solve iteration 13, LB=2564250, UB=2732972
165.45/166.00 c [156.21] solve iteration 14, LB=2583714, UB=2732972
191.18/191.74 c [180.97] solve iteration 15, LB=2589898, UB=2732972
230.88/231.56 c [219.98] solve iteration 16, LB=2598680, UB=2732972
261.90/262.67 c [250.91] solve iteration 17, LB=2604576, UB=2624620
299.90/300.72 c [287.7] solve iteration 18, LB=2614886, UB=2624620
324.44/325.39 c LB=UB after computing candidate
324.44/325.39 c instance solved in 320.62s (IP-solver: 201.61s, core-extraction: 91.08s, SIS: 0s), 18 iterations, LB=2624620, UB=2624620,
324.44/325.39 d ITERATIONS 18
324.44/325.39 d SIS 0
324.44/325.39 d SIS_SAT 0
324.44/325.39 d SIS_UNSAT 0
324.44/325.39 d SIS_OUT_OF_BUDGET 0
324.44/325.39 d CORES_EXTRACTED 21046
324.44/325.39 d CORES_IN_OPTIMIZER 8815
324.44/325.39 d CLAUSAL_CORES_IN_OPTIMIZER 8557
324.44/325.39 d CARDINALITY_CORES_IN_OPTIMIZER 0
324.44/325.39 d PB_CORES_IN_OPTIMIZER 258
324.44/325.39 d TIME_EXTRACT_CORES 91.080000
324.44/325.39 d TIME_OPTIMIZE 201.610000
324.44/325.39 d TIME_SIS 0.000000
324.44/325.39 c solve_time: 320.620000
324.44/325.39 s OPTIMUM FOUND
324.44/325.39 o 2624620
324.44/325.39 v -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 x3208 -x3209 x3210 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x3061 -x3076 -x3091 -x3106 -x3121 -x3136 -x3151 -x3166 -x3181 -x2971 -x2986 x3001 -x3016 -x3031 -x3046 -x3062 -x3077 -x3092 x3107 -x3122 -x3137 -x3152 -x3167 -x3182 -x2972 -x2987 -x3002 -x3017 -x3032 -x3047 -x3063 -x3078 -x3093 -x3108 -x3123 -x3138 -x3153 -x3168 -x3183 -x2973 -x2988 -x3003 x3018 -x3033 -x3048 -x3064 x3079 -x3094 -x3109 -x3124 -x3139 -x3154 -x3169 -x3184 x2974 -x2989 -x3004 -x3019 -x3034 -x3049 -x3065 -x3080 -x3095 -x3110 -x3125 -x3140 -x3155 -x3170 -x3185 -x2975 -x2990 x3005 -x3020 -x3035 -x3050 -x3066 -x3081 -x3096 -x3111 -x3126 -x3141 -x3156 -x3171 -x3186 -x2976 -x2991 -x3006 -x3021 -x3036 x3051 -x3067 -x3082 -x3097 -x3112 -x3127 -x3142 -x3157 -x3172 -x3187 -x2977 -x2992 -x3007 x3022 -x3037 -x3052 -x3068 -x3083 -x3098 -x3113 -x3128 -x3143 -x3158 -x3173 -x3188 -x2978 -x2993 -x3008 -x3023 -x3038 x3053 -x3069 -x3084 -x3099 -x3114 -x3129 -x3144 -x3159 -x3174 -x3189 -x2979 -x2994 x3009 -x3024 -x3039 -x3054 -x3070 -x3085 -x3100 x3115 -x3130 -x3145 -x3160 -x3175 -x3190 -x2980 -x2995 -x3010 -x3025 -x3040 -x3055 -x3071 -x3086 -x3101 -x3116 -x3131 -x3146 -x3161 -x3176 -x3191 -x2981 -x2996 -x3011 -x3026 -x3041 x3056 x3072 -x3087 -x3102 -x3117 x3132 -x3147 -x3162 -x3177 x3192 -x2982 -x2997 -x3012 -x3027 -x3042 -x3057 -x3073 -x3088 x3103 -x3118 -x3133 -x3148 x3163 -x3178 -x3193 -x2983 -x2998 -x3013 -x3028 -x3043 -x3058 -x3074 -x3089 -x3104 -x3119 -x3134 -x3149 -x3164 -x3179 -x3194 -x2984 -x2999 -x3014 -x3029 -x3044 -x3059 -x3075 -x3090 -x3105 -x3120 -x3135 x3150 -x3165 x3180 -x3195 -x2985 x3000 -x3015 -x3030 -x3045 -x3060 -x3301 -x3316 -x3331 -x3346 -x3361 -x3376 -x3391 -x3406 -x3421 -x3211 -x3226 -x3241 -x3256 -x3271 -x3286 -x3302 -x3317 -x3332 -x3347 -x3362 -x3377 -x3392 -x3407 -x3422 -x3212 -x3227 -x3242 -x3257 -x3272 -x3287 -x3303 -x3318 -x3333 -x3348 -x3363 -x3378 -x3393 -x3408 -x3423 -x3213 -x3228 -x3243 -x3258 -x3273 -x3288 -x3304 -x3319 -x3334 -x3349 -x3364 -x3379 -x3394 -x3409 -x3424 -x3214 -x3229 -x3244 -x3259 x3274 x3289 -x3305 -x3320 -x3335 -x3350 -x3365 -x3380 -x3395 -x3410 -x3425 -x3215 -x3230 -x3245 -x3260 -x3275 -x3290 -x3306 -x3321 -x3336 -x3351 -x3366 -x3381 -x3396 -x3411 -x3426 -x3216 -x3231 -x3246 -x3261 -x3276 -x3291 -x3307 -x3322 -x3337 -x3352 -x3367 -x3382 -x3397 -x3412 -x3427 -x3217 -x3232 -x3247 -x3262 -x3277 -x3292 -x3308 -x3323 -x3338 -x3353 -x3368 -x3383 -x3398 -x3413 -x3428 -x3218 -x3233 -x3248 -x3263 -x3278 -x3293 -x3309 -x3324 -x3339 -x3354 -x3369 -x3384 -x3399 -x3414 -x3429 -x3219 -x3234 -x3249 -x3264 -x3279 -x3294 -x3310 -x3325 -x3340 -x3355 -x3370 -x3385 -x3400 -x3415 -x3430 -x3220 -x3235 -x3250 -x3265 -x3280 -x3295 -x3311 -x3326 -x3341 -x3356 -x3371 -x3386 -x3401 -x3416 -x3431 -x3221 -x3236 -x3251 -x3266 -x3281 -x3296 -x3312 -x3327 -x3342 -x3357 -x3372 -x3387 -x3402 -x3417 -x3432 -x3222 -x3237 -x3252 x3267 x3282 -x3297 -x3313 -x3328 -x3343 -x3358 -x3373 -x3388 -x3403 -x3418 -x3433 -x3223 -x3238 x3253 -x3268 x3283 x3298 -x3314 -x3329 -x3344 x3359 -x3374 -x3389 -x3404 -x3419 -x3434 -x3224 -x3239 x3254 x3269 -x3284 x3299 -x3315 -x3330 -x3345 x3360 -x3375 -x3390 -x3405 -x3420 -x3435 -x3225 -x3240 -x3255 x3270 x3285 -x3300 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2917 x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2949 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 x2960 -x2961 -x2962 -x2963 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2746 x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 x2768 -x2769 -x2770 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2836 -x2852 -x2868 -x2884 -x2900 -x2916 -x2932 -x2948 -x2964 -x2755 -x2771 -x2787 -x2803 -x2819 -x2835
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: 64059 MiB (62007 MiB free)
memory of node 1: 64510 MiB (57279 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432067-1721142103/watcher-4432067-1721142103 -o /tmp/evaluation-result-4432067-1721142103/solver-4432067-1721142103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721138506-847892 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432067-1721142103.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=849955, runsolver pid=849952
[startup+0.100266 s]*
/proc/loadavg: 4.20 4.13 4.14 5/241 849956
/proc/meminfo: memFree=122120232/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=43648 memory=27848 CPUtime=0.1 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 4154 0 0 0 7 3 0 0 20 0 1 0 166367329 44695552 6962 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 10912 6962 2575 2900 0 7426 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43648 KiB
Current children cumulated memory: 27848 KiB
[startup+0.212523 s]*
/proc/loadavg: 4.20 4.13 4.14 5/241 849956
/proc/meminfo: memFree=122095564/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=60896 memory=43668 CPUtime=0.21 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 7784 0 0 0 17 4 0 0 20 0 1 0 166367329 62357504 10917 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 15224 10917 2911 2900 0 11738 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60896 KiB
Current children cumulated memory: 43668 KiB
[startup+0.312571 s]*
/proc/loadavg: 4.20 4.13 4.14 5/241 849956
/proc/meminfo: memFree=122054456/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=61316 memory=44196 CPUtime=0.3 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 7915 0 0 0 25 5 0 0 20 0 1 0 166367329 62787584 11049 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 15329 11049 2911 2900 0 11843 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61316 KiB
Current children cumulated memory: 44196 KiB
[startup+0.700285 s]
/proc/loadavg: 4.20 4.13 4.14 5/241 849956
/proc/meminfo: memFree=122017640/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=61316 memory=44580 CPUtime=0.69 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 7970 0 0 0 55 14 0 0 20 0 1 0 166367329 62787584 11145 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 15329 11145 2943 2900 0 11843 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61316 KiB
Current children cumulated memory: 44580 KiB
[startup+1.50029 s]
/proc/loadavg: 4.20 4.13 4.14 5/241 849956
/proc/meminfo: memFree=121937764/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=62856 memory=48472 CPUtime=1.48 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 8457 0 0 0 120 28 0 0 20 0 1 0 166367329 64364544 12118 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 15714 12118 2943 2900 0 12228 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 48472 KiB
[startup+3.11432 s]
/proc/loadavg: 4.20 4.13 4.14 5/245 849967
/proc/meminfo: memFree=121636044/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=136400 memory=112804 CPUtime=3.09 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 26322 0 0 0 268 41 0 0 20 0 1 0 166367329 139673600 28201 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 34100 28201 2943 2900 0 30614 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 136400 KiB
Current children cumulated memory: 112804 KiB
[startup+6.30027 s]
/proc/loadavg: 4.26 4.14 4.14 5/245 849969
/proc/meminfo: memFree=121292468/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=166960 memory=140912 CPUtime=6.27 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 32342 0 0 0 570 57 0 0 20 0 1 0 166367329 170967040 35228 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 41740 35228 2943 2900 0 38254 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 166960 KiB
Current children cumulated memory: 140912 KiB
[startup+12.7003 s]
/proc/loadavg: 4.32 4.16 4.15 5/245 849969
/proc/meminfo: memFree=120365320/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=233904 memory=201480 CPUtime=12.65 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 47566 0 0 0 1189 76 0 0 20 0 1 0 166367329 239517696 50370 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 58476 50370 2943 2900 0 54990 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 233904 KiB
Current children cumulated memory: 201480 KiB
[startup+25.5003 s]
/proc/loadavg: 4.55 4.21 4.17 5/245 849972
/proc/meminfo: memFree=117769956/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=359660 memory=327680 CPUtime=25.42 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 82183 0 0 0 2426 116 0 0 20 0 1 0 166367329 368291840 81920 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 89915 81920 2943 2900 0 86429 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 359660 KiB
Current children cumulated memory: 327680 KiB
[startup+51.1143 s]
/proc/loadavg: 4.71 4.28 4.19 5/245 849975
/proc/meminfo: memFree=113218532/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=606644 memory=572148 CPUtime=50.97 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 149154 0 0 0 4925 172 0 0 20 0 1 0 166367329 621203456 143037 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 151661 143037 2943 2900 0 148175 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 606644 KiB
Current children cumulated memory: 572148 KiB
[startup+102.3 s]
/proc/loadavg: 4.49 4.29 4.20 5/245 849983
/proc/meminfo: memFree=109819684/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=796176 memory=759588 CPUtime=102.02 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 202172 0 0 0 9954 248 0 0 20 0 1 0 166367329 815284224 189897 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 199044 189897 2943 2900 0 195558 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 796176 KiB
Current children cumulated memory: 759588 KiB
[startup+162.3 s]
/proc/loadavg: 4.36 4.28 4.20 5/243 849994
/proc/meminfo: memFree=107063880/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=908656 memory=872856 CPUtime=161.86 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 237174 0 0 0 15874 312 0 0 20 0 1 0 166367329 930463744 218214 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 227164 218214 2943 2900 0 223678 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 908656 KiB
Current children cumulated memory: 872856 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.25 4.19 5/243 850005
/proc/meminfo: memFree=106221148/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=1000596 memory=965732 CPUtime=221.7 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 262555 0 0 0 21818 352 0 0 20 0 1 0 166367329 1024610304 241433 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 250149 241433 2943 2900 0 246663 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 1000596 KiB
Current children cumulated memory: 965732 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.21 4.18 5/241 850015
/proc/meminfo: memFree=106156292/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=1060408 memory=1029860 CPUtime=281.55 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 282087 0 0 0 27790 365 0 0 20 0 1 0 166367329 1085857792 257465 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 265102 257465 2943 2900 0 261616 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1060408 KiB
Current children cumulated memory: 1029860 KiB
[startup+325.454 s]
# the end of solver process 849955 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=320.7 s, system=3.89641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.07 4.20 4.17 5/241 850021
/proc/meminfo: memFree=106146360/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=1070244 memory=1039280 CPUtime=306.38 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 284505 0 0 0 30253 385 0 0 20 0 1 0 166367329 1095929856 259820 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 267561 259820 2943 2900 0 264075 0
Current children cumulated CPU time: 306.38 s
Current children cumulated vsize: 1070244 KiB
Current children cumulated memory: 1039280 KiB
[startup+313.6 s]
/proc/loadavg: 4.06 4.19 4.17 5/241 850021
/proc/meminfo: memFree=106128996/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=1070244 memory=1039280 CPUtime=312.77 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 284506 0 0 0 30891 386 0 0 20 0 1 0 166367329 1095929856 259820 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 267561 259820 2943 2900 0 264075 0
Current children cumulated CPU time: 312.77 s
Current children cumulated vsize: 1070244 KiB
Current children cumulated memory: 1039280 KiB
[startup+320 s]*
/proc/loadavg: 4.13 4.20 4.18 5/241 850022
/proc/meminfo: memFree=106128904/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=1070244 memory=1039280 CPUtime=319.16 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 284506 0 0 0 31530 386 0 0 20 0 1 0 166367329 1095929856 259820 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 267561 259820 2943 2900 0 264075 0
Current children cumulated CPU time: 319.16 s
Current children cumulated vsize: 1070244 KiB
Current children cumulated memory: 1039280 KiB
[startup+323.2 s]
/proc/loadavg: 4.13 4.20 4.18 5/241 850022
/proc/meminfo: memFree=106128956/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=1070244 memory=1039280 CPUtime=322.34 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 284506 0 0 0 31848 386 0 0 20 0 1 0 166367329 1095929856 259820 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 267561 259820 2943 2900 0 264075 0
Current children cumulated CPU time: 322.34 s
Current children cumulated vsize: 1070244 KiB
Current children cumulated memory: 1039280 KiB
[startup+324.8 s]
/proc/loadavg: 4.13 4.20 4.18 5/241 850022
/proc/meminfo: memFree=106129000/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=1070244 memory=1039280 CPUtime=323.94 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 284507 0 0 0 32008 386 0 0 20 0 1 0 166367329 1095929856 259820 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 267561 259820 2943 2900 0 264075 0
Current children cumulated CPU time: 323.94 s
Current children cumulated vsize: 1070244 KiB
Current children cumulated memory: 1039280 KiB
[startup+325.2 s]
/proc/loadavg: 4.12 4.20 4.17 5/241 850024
/proc/meminfo: memFree=106129000/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=1070244 memory=1039280 CPUtime=324.34 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 284507 0 0 0 32048 386 0 0 20 0 1 0 166367329 1095929856 259820 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 267561 259820 2943 2900 0 264075 0
Current children cumulated CPU time: 324.34 s
Current children cumulated vsize: 1070244 KiB
Current children cumulated memory: 1039280 KiB
[startup+325.4 s]
/proc/loadavg: 4.12 4.20 4.17 5/241 850024
/proc/meminfo: memFree=106129000/131655788 swapFree=131071996/131071996
[pid=849955] ppid=849952 vsize=1070244 memory=1039280 CPUtime=324.54 cores=1,3
/proc/849955/stat : 849955 (ipbhs_static_sc) R 849952 849955 847880 0 -1 4194304 284507 0 0 0 32068 386 0 0 20 0 1 0 166367329 1095929856 259820 134679101440 4194304 16068861 140733464225120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 25624576 140733464228902 140733464228989 140733464228989 140733464236004 0
/proc/849955/statm: 267561 259820 2943 2900 0 264075 0
Current children cumulated CPU time: 324.54 s
Current children cumulated vsize: 1070244 KiB
Current children cumulated memory: 1039280 KiB
Child status: 0
Real time (s): 325.454
CPU time (s): 324.597
CPU user time (s): 320.7
CPU system time (s): 3.89641
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 1070244
Max. memory (cumulated for all children) (KiB): 1039280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.7
system time used= 3.89641
maximum resident set size= 1039280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284508
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= 2
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 849955
# total CPU time (s): 324.597
# total CPU user time (s): 320.7
# total CPU system time (s): 3.89641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.74799 second user time and 3.1294 second system time
The end
Begin job on nodeC012 at 2024-07-16 17:01:56
IDJOB=4432067
IDBENCH=155734
IDSOLVER=3057
FILE ID=nodeC012/4432067-1721142103
RUNJOBID= nodeC012-1721138506-847892
SLURM_JOB_ID= 7505715
Free space on /tmp= 723556 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat15_5_3_5_ic.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432067-1721142103/watcher-4432067-1721142103 -o /tmp/evaluation-result-4432067-1721142103/solver-4432067-1721142103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721138506-847892 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432067-1721142103.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 790079d8dde4a901ca091da054907adb
RANDOM SEED=1024740944
nodeC012.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 : 3492.264
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 : 6984.37
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 : 3492.187
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.32
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.321
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 : 6984.37
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.477
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.32
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 : 3492.186
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 : 6984.37
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 : 3663.340
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.32
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.494
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 : 6984.37
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.387
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122155372 kB
MemAvailable: 125983368 kB
Buffers: 412860 kB
Cached: 4211876 kB
SwapCached: 0 kB
Active: 837992 kB
Inactive: 8029568 kB
Active(anon): 1424 kB
Inactive(anon): 4279080 kB
Active(file): 836568 kB
Inactive(file): 3750488 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58348 kB
Writeback: 128 kB
AnonPages: 4242816 kB
Mapped: 126692 kB
Shmem: 37704 kB
KReclaimable: 161944 kB
Slab: 266520 kB
SReclaimable: 161944 kB
SUnreclaim: 104576 kB
KernelStack: 3908 kB
PageTables: 17492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4920088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53312 kB
HardwareCorrupted: 0 kB
AnonHugePages: 823296 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: 303944 kB
DirectMap2M: 33155072 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723312 MiB
End job on nodeC012 at 2024-07-16 17:07:22