0.00/0.01 c solving HOME/instance-4527835-1752239179.opb (Picat 3.9b11, 7/10/2025)
26.82/26.90 s SATISFIABLE
26.82/26.90 v ~x2035 ~x963 ~x1386 ~x1628 ~x2457 ~x119 ~x542 ~x2036 ~x964 ~x1387
26.82/26.90 v ~x1629 ~x2458 ~x120 ~x543 ~x2037 ~x965 ~x1388 ~x1630 ~x2459 ~x121
26.82/26.90 v ~x544 ~x2038 ~x966 ~x1389 ~x1631 ~x2460 ~x122 ~x545 x2039 x967
26.82/26.90 v ~x1390 ~x1632 ~x2461 ~x123 ~x546 ~x2040 ~x968 ~x1391 ~x9 ~x2462
26.82/26.90 v ~x124 ~x547 ~x2041 ~x969 ~x1392 ~x1633 ~x2463 ~x125 ~x548 ~x2042
26.82/26.90 v ~x970 ~x1393 ~x1634 ~x2464 ~x126 ~x549 ~x2043 ~x971 ~x1394 ~x2465
26.82/26.90 v ~x127 ~x550 ~x2044 ~x972 ~x1395 ~x2466 ~x1635 ~x128 ~x551 ~x2045
26.82/26.90 v ~x973 ~x1396 ~x2467 ~x1636 ~x129 ~x552 ~x2046 ~x974 ~x1397 ~x2468
26.82/26.90 v ~x1637 ~x130 ~x553 ~x2047 ~x975 ~x1398 ~x2469 ~x17 ~x131 ~x554
26.82/26.90 v ~x2048 ~x976 ~x1399 ~x2470 ~x1638 ~x132 ~x555 ~x2049 ~x977 ~x1400
26.82/26.90 v ~x2471 ~x18 ~x133 ~x556 ~x2050 ~x978 ~x1401 x2472 ~x1639 ~x134
26.82/26.90 v ~x557 ~x2051 ~x979 ~x1402 ~x2473 ~x1640 ~x135 ~x558 ~x2052 ~x980
26.82/26.90 v ~x1403 ~x2474 ~x1641 ~x136 ~x559 ~x2053 ~x981 ~x1404 ~x2475 ~x1642
26.82/26.90 v ~x137 ~x560 ~x2054 ~x982 ~x1405 ~x2476 ~x1643 ~x138 ~x561 ~x2055
26.82/26.90 v ~x983 ~x1406 ~x2477 ~x1644 ~x139 ~x562 ~x2056 ~x984 ~x1407 ~x2478
26.82/26.90 v ~x28 ~x140 ~x563 ~x2057 ~x985 ~x1408 ~x2479 ~x1645 ~x141 ~x564
26.82/26.90 v ~x2058 ~x986 ~x1409 ~x2480 ~x29 ~x142 ~x565 ~x2059 ~x987 ~x1410
26.82/26.90 v ~x2481 ~x1646 x143 ~x566 ~x2060 ~x988 ~x1411 ~x2482 ~x30 ~x144
26.82/26.90 v ~x567 ~x2061 ~x989 ~x1412 ~x2483 ~x1647 ~x145 ~x568 ~x2062 ~x990
26.82/26.90 v ~x1413 ~x2484 ~x1648 ~x146 ~x569 ~x2063 ~x991 ~x1414 ~x2485 ~x32
26.82/26.90 v ~x147 ~x570 ~x2064 ~x992 ~x1415 ~x2486 ~x1649 ~x148 ~x571 ~x2065
26.82/26.90 v ~x993 ~x1416 x2487 ~x1650 ~x149 ~x572 ~x2066 ~x994 ~x1417 ~x2488
26.82/26.90 v ~x1651 ~x150 ~x573 ~x2067 ~x995 ~x1418 ~x2489 ~x1652 ~x151 ~x574
26.82/26.90 v ~x2068 ~x996 ~x1419 ~x2490 ~x1653 ~x152 ~x575 ~x2069 ~x997 ~x1420
26.82/26.90 v ~x2491 ~x37 ~x153 ~x576 ~x2070 ~x998 x1421 x2492 ~x1654 ~x154
26.82/26.90 v ~x577 ~x2071 ~x999 ~x1422 ~x2493 x38 ~x155 ~x578 ~x2072 ~x1000
26.82/26.90 v ~x1423 ~x2494 ~x1655 ~x156 ~x579 ~x2073 ~x1001 ~x1424 ~x2495 ~x1656
26.82/26.90 v ~x157 ~x580 ~x2074 ~x1002 ~x1425 ~x2496 ~x40 ~x158 ~x581 ~x2075
26.82/26.90 v ~x1003 ~x1426 ~x2497 ~x1657 ~x159 ~x582 ~x2076 ~x1004 ~x1427 ~x2498
26.82/26.90 v ~x1658 ~x160 ~x583 ~x2077 ~x1005 ~x1428 ~x2499 ~x1659 ~x161 ~x584
26.82/26.90 v ~x2078 ~x1006 ~x1429 ~x2500 ~x1660 ~x162 ~x585 ~x2079 ~x1007 ~x1430
26.82/26.90 v ~x2501 ~x1661 ~x163 ~x586 ~x2080 ~x1008 ~x1431 ~x2502 ~x1662 ~x164
26.82/26.90 v ~x587 ~x2081 ~x1009 ~x1432 ~x2503 ~x1663 ~x165 ~x588 ~x2082 ~x1010
26.82/26.90 v ~x1433 ~x2504 ~x1664 ~x166 ~x589 ~x2083 ~x1011 ~x1434 ~x2505 ~x1665
26.82/26.90 v ~x167 ~x590 ~x1012 ~x1435 ~x2506 ~x1666 ~x168 ~x591 ~x1013 ~x1436
26.82/26.90 v ~x2084 ~x2507 ~x1667 ~x169 x592 ~x1014 ~x1437 ~x2085 ~x2508 ~x1668
26.82/26.90 v ~x170 ~x593 ~x1015 ~x1438 ~x2086 ~x2509 ~x1669 ~x171 ~x594 ~x1016
26.82/26.90 v ~x1439 ~x2087 ~x2510 ~x1670 ~x172 ~x595 ~x1017 ~x1440 ~x2088 ~x2511
26.82/26.90 v ~x1671 ~x173 ~x596 ~x1018 ~x1441 ~x2089 ~x2512 ~x1672 ~x174 ~x597
26.82/26.90 v ~x1019 ~x1442 ~x2090 ~x2513 ~x1673 ~x175 ~x598 ~x1020 ~x1443 ~x2091
26.82/26.90 v ~x2514 ~x1674 ~x176 ~x599 ~x1021 ~x1444 ~x2092 ~x2515 ~x23 ~x177
26.82/26.90 v ~x600 ~x1022 ~x1445 ~x2093 ~x2516 ~x1675 ~x178 ~x601 ~x1023 ~x1446
26.82/26.90 v ~x2094 ~x2517 ~x1676 ~x179 ~x602 ~x1024 ~x1447 ~x2095 ~x2518 ~x1677
26.82/26.90 v ~x180 ~x603 ~x1025 ~x1448 ~x2096 ~x2519 ~x1678 ~x181 ~x604 ~x1026
26.82/26.90 v ~x1449 ~x2097 ~x2520 ~x27 ~x182 ~x605 ~x1027 ~x1450 ~x2098 ~x2521
26.82/26.90 v ~x1679 ~x183 ~x606 x1028 ~x1451 ~x2099 ~x2522 ~x1680 ~x184 ~x607
26.82/26.90 v ~x1029 x1452 ~x2100 ~x2523 ~x1681 ~x185 ~x608 ~x1030 ~x1453 ~x2101
26.82/26.90 v ~x2524 ~x1682 ~x186 ~x609 ~x1031 ~x1454 ~x2102 x2525 ~x1683 ~x187
26.82/26.90 v ~x610 ~x1032 ~x1455 ~x2103 ~x2526 ~x1684 ~x188 ~x611 ~x1033 ~x1456
26.82/26.90 v ~x2104 ~x2527 ~x1685 x189 ~x612 ~x1034 ~x1457 ~x2105 ~x2528 ~x1686
26.82/26.90 v ~x190 ~x613 ~x1035 ~x1458 ~x2106 ~x2529 ~x1687 ~x191 ~x614 ~x1036
26.82/26.90 v ~x1459 ~x2107 ~x2530 ~x1688 ~x192 ~x615 ~x1037 ~x1460 ~x2108 ~x2531
26.82/26.90 v ~x1689 ~x193 ~x616 ~x1038 ~x1461 ~x2109 ~x2532 ~x194 ~x617 ~x1039
26.82/26.90 v ~x1462 ~x2110 ~x2533 ~x195 ~x1690 ~x618 ~x1040 ~x1463 ~x2111 ~x2534
26.82/26.90 v ~x196 x1691 ~x619 ~x1041 ~x1464 ~x2112 ~x2535 ~x197 ~x1692 ~x620
26.82/26.90 v ~x1042 ~x1465 ~x2113 ~x2536 ~x198 ~x1693 ~x621 ~x1043 ~x1466 ~x2114
26.82/26.90 v ~x2537 ~x199 ~x1694 ~x622 ~x1044 ~x1467 ~x2115 ~x2538 ~x200 ~x1695
26.82/26.90 v ~x623 ~x1045 ~x1468 ~x2116 ~x2539 ~x201 ~x1696 ~x624 ~x1046 ~x1469
26.82/26.90 v ~x2117 ~x2540 ~x202 ~x1697 ~x625 ~x1047 ~x1470 ~x2118 ~x2541 ~x203
26.82/26.90 v ~x1698 ~x626 ~x1048 ~x1471 ~x2119 ~x2542 ~x204 ~x1699 ~x627 ~x1049
26.82/26.90 v ~x1472 ~x2120 ~x2543 ~x205 ~x1700 ~x628 ~x1050 ~x1473 ~x2121 ~x2544
26.82/26.90 v ~x206 ~x1701 ~x629 ~x1051 ~x1474 ~x2122 ~x2545 ~x207 ~x1702 ~x630
26.82/26.90 v ~x1052 ~x1475 ~x2123 ~x2546 ~x208 ~x1703 ~x631 ~x1053 ~x1476 ~x2124
26.82/26.90 v ~x2547 ~x209 ~x1704 ~x632 ~x1054 ~x1477 ~x2125 ~x2548 ~x210 ~x1705
26.82/26.90 v ~x633 ~x1055 ~x1478 ~x2126 ~x2549 x211 ~x1706 ~x634 ~x1056 ~x1479
26.82/26.90 v ~x2127 ~x2550 ~x212 ~x1707 x635 ~x1057 ~x1480 ~x2128 ~x2551 ~x213
26.82/26.90 v ~x1708 ~x636 ~x1058 ~x1481 ~x2129 ~x2552 ~x214 ~x1709 ~x637 ~x1059
26.82/26.90 v ~x1482 ~x2130 ~x2553 ~x215 ~x1710 ~x638 ~x1060 ~x1483 ~x2131 ~x2554
26.82/26.90 v ~x216 ~x1711 ~x639 ~x1061 ~x1484 ~x2132 ~x2555 ~x217 ~x1712 ~x640
26.82/26.90 v ~x1062 ~x1485 ~x2133 ~x2556 ~x218 ~x1713 ~x641 ~x1063 ~x1486 ~x2134
26.82/26.90 v ~x2557 ~x219 ~x1714 ~x642 ~x1064 ~x1487 ~x2135 ~x2558 ~x220 ~x1715
26.82/26.90 v ~x643 ~x1065 ~x1488 ~x2136 ~x2559 ~x221 ~x1716 ~x644 ~x1066 ~x1489
26.82/26.90 v ~x2137 ~x2560 ~x222 ~x1717 ~x645 ~x1067 ~x1490 ~x2138 ~x2561 ~x223
26.82/26.90 v ~x1718 ~x646 ~x1068 ~x1491 ~x2139 ~x2562 ~x224 ~x1719 ~x647 ~x1069
26.82/26.90 v ~x1492 ~x2140 ~x2563 ~x225 ~x1720 ~x648 ~x1070 ~x1493 ~x2141 ~x2564
26.82/26.90 v ~x226 ~x1721 ~x649 x1071 ~x1494 ~x2142 ~x2565 ~x227 ~x1722 ~x650
26.82/26.90 v ~x1072 ~x1495 ~x2143 x2566 ~x228 ~x1723 ~x651 ~x1073 ~x1496 ~x2144
26.82/26.90 v ~x2567 ~x229 ~x1724 ~x652 ~x1074 ~x1497 ~x2145 ~x2568 ~x230 ~x1725
26.82/26.90 v ~x653 ~x1075 x1498 ~x2146 ~x2569 ~x231 ~x1726 ~x654 ~x1076 ~x1499
26.82/26.90 v ~x2147 ~x2570 ~x232 ~x1727 ~x655 ~x1077 ~x1500 ~x2148 ~x2571 ~x233
26.82/26.90 v ~x1728 x656 ~x1078 ~x1501 ~x2149 ~x2572 ~x234 ~x1729 ~x657 ~x1079
26.82/26.90 v ~x1502 ~x2150 ~x2573 ~x235 ~x1730 ~x658 ~x1080 ~x1503 ~x2151 ~x2574
26.82/26.90 v ~x236 ~x1731 ~x659 ~x1081 ~x1504 ~x2152 ~x2575 ~x237 ~x1732 ~x660
26.82/26.90 v ~x1082 ~x1505 ~x2153 ~x2576 ~x238 ~x1733 ~x661 ~x1083 ~x1506 ~x2154
26.82/26.90 v ~x2577 ~x239 ~x1734 ~x662 x1084 ~x1507 ~x2155 ~x2578 ~x240 ~x1735
26.82/26.90 v ~x663 ~x1085 ~x1508 ~x2156 ~x2579 ~x241 ~x1736 ~x664 ~x1086 ~x1509
26.82/26.90 v ~x2157 ~x2580 ~x242 ~x1737 ~x665 ~x1087 ~x1510 ~x2158 ~x2581 ~x243
26.82/26.90 v ~x1738 ~x666 ~x1088 ~x1511 ~x2159 ~x2582 ~x244 ~x1739 ~x667 ~x1089
26.82/26.90 v ~x1512 ~x2160 ~x2583 ~x245 ~x1740 ~x668 ~x1090 ~x1513 ~x2161 ~x2584
26.82/26.90 v ~x246 ~x1741 ~x669 ~x1091 ~x1514 ~x2162 ~x2585 ~x247 ~x1742 ~x670
26.82/26.90 v ~x1092 ~x1515 ~x2163 ~x2586 ~x248 ~x1743 ~x671 ~x1093 ~x1516 ~x2164
26.82/26.90 v ~x2587 ~x249 ~x1744 ~x672 ~x1094 ~x1517 ~x2165 ~x2588 ~x250 ~x1745
26.82/26.90 v ~x673 ~x1095 ~x1518 ~x2166 ~x2589 ~x251 ~x1746 ~x674 ~x1096 ~x1519
26.82/26.90 v ~x2167 ~x2590 ~x252 ~x1747 ~x675 ~x1097 ~x1520 ~x2168 ~x2591 ~x253
26.82/26.90 v ~x1748 ~x676 ~x1098 ~x1521 ~x2169 ~x2592 ~x254 ~x1749 ~x677 ~x1099
26.82/26.90 v ~x1522 ~x2170 ~x2593 ~x255 ~x1750 ~x678 ~x1100 ~x1523 ~x2171 ~x2594
26.82/26.90 v ~x256 ~x1751 ~x679 ~x1101 ~x1524 ~x2172 ~x2595 ~x257 ~x1752 ~x680
26.82/26.90 v ~x1102 ~x1525 ~x2173 ~x2596 ~x258 ~x1753 ~x681 ~x1103 ~x1526 ~x2174
26.82/26.90 v ~x2597 ~x259 ~x1754 ~x682 ~x1104 ~x1527 ~x2175 ~x2598 ~x260 ~x1755
26.82/26.90 v ~x683 ~x1105 ~x1528 ~x2176 ~x2599 ~x261 ~x1756 ~x684 ~x1106 ~x1529
26.82/26.90 v ~x2177 ~x2600 ~x262 ~x1757 ~x685 ~x1107 ~x1530 ~x2178 ~x2601 ~x263
26.82/26.90 v ~x1758 x686 ~x1108 ~x1531 ~x2179 ~x2602 ~x264 ~x1759 ~x687 ~x1109
26.82/26.90 v ~x1532 ~x2180 ~x2603 ~x265 ~x1760 ~x688 ~x1110 ~x1533 ~x2181 ~x2604
26.82/26.90 v ~x266 ~x1761 ~x689 ~x1111 ~x1534 ~x2182 ~x2605 ~x267 ~x1762 ~x690
26.82/26.90 v ~x1112 ~x1535 ~x2183 ~x2606 ~x268 ~x1763 ~x691 ~x1113 ~x1536 ~x2184
26.82/26.90 v ~x2607 ~x269 ~x1764 ~x692 ~x1114 x1537 ~x2185 ~x2608 ~x270 ~x1765
26.82/26.90 v ~x693 ~x1115 ~x1538 ~x2186 ~x2609 ~x271 ~x1766 ~x694 ~x1116 ~x1539
26.82/26.90 v ~x2187 ~x2610 ~x272 ~x1767 ~x695 ~x1117 ~x1540 ~x2188 ~x2611 ~x273
26.82/26.90 v ~x1768 ~x696 ~x1118 ~x1541 ~x2189 ~x274 ~x1769 ~x697 ~x1119 ~x1542
26.82/26.90 v ~x2190 ~x2612 ~x275 ~x1770 ~x698 ~x1120 ~x1543 ~x2191 ~x2613 ~x276
26.82/26.90 v ~x1771 ~x699 ~x1121 ~x1544 ~x2192 ~x2614 ~x277 ~x1772 ~x700 ~x1122
26.82/26.90 v ~x1545 ~x2193 ~x2615 ~x278 ~x1773 ~x701 ~x1123 ~x1546 ~x2194 ~x2616
26.82/26.90 v ~x279 ~x1774 ~x702 ~x1124 ~x1547 ~x2195 ~x2617 x280 ~x1775 ~x703
26.82/26.90 v ~x1125 ~x1548 ~x2196 ~x2618 ~x281 ~x1776 ~x704 ~x1126 ~x1549 ~x2197
26.82/26.90 v ~x2619 ~x282 ~x1777 ~x705 ~x1127 ~x1550 ~x2198 ~x2620 ~x283 ~x1778
26.82/26.90 v ~x706 ~x1128 ~x1551 ~x2199 ~x2621 ~x284 ~x1779 ~x707 x1129 ~x1552
26.82/26.90 v ~x2200 ~x2622 ~x285 ~x1780 ~x708 ~x1130 ~x1553 ~x2201 ~x2623 ~x286
26.82/26.90 v ~x1781 ~x709 ~x1131 ~x1554 ~x2202 x2624 ~x287 ~x1782 ~x710 ~x1132
26.82/26.90 v ~x1555 ~x2203 ~x2625 x288 ~x1783 ~x711 ~x1133 ~x1556 ~x2204 ~x2626
26.82/26.90 v ~x289 ~x1784 ~x712 ~x1134 ~x1557 ~x2205 ~x2627 ~x290 ~x1785 ~x713
26.82/26.90 v ~x1135 ~x1558 ~x2206 ~x2628 ~x291 ~x1786 ~x714 ~x1136 ~x1559 ~x2207
26.82/26.90 v ~x2629 ~x292 ~x1787 ~x715 ~x1137 ~x1560 ~x2208 ~x2630 ~x293 ~x1788
26.82/26.90 v ~x716 ~x1138 ~x1561 ~x2209 ~x2631 ~x294 ~x1789 ~x717 ~x1139 ~x1562
26.82/26.90 v ~x2210 ~x2632 ~x295 ~x1790 ~x718 ~x1140 ~x1563 ~x2211 ~x2633 ~x296
26.82/26.90 v ~x1791 ~x719 ~x1141 ~x1564 ~x2212 ~x2634 ~x297 ~x1792 ~x720 ~x1142
26.82/26.90 v ~x1565 ~x2213 ~x2635 ~x298 ~x1793 ~x721 ~x1143 ~x1566 ~x2214 ~x2636
26.82/26.90 v ~x299 ~x1794 ~x722 ~x1144 ~x1567 ~x2215 ~x2637 ~x300 ~x1795 ~x723
26.82/26.90 v ~x1145 ~x1568 ~x2216 ~x2638 ~x301 ~x1796 ~x724 ~x1146 ~x1569 ~x2217
26.82/26.90 v ~x2639 ~x302 ~x1797 ~x725 ~x1147 ~x1570 ~x2218 ~x2640 ~x303 ~x1798
26.82/26.90 v ~x726 ~x1148 ~x1571 ~x2219 ~x2641 ~x304 ~x1799 ~x727 ~x1149 ~x1572
26.82/26.90 v ~x2220 ~x2642 ~x305 ~x1800 ~x728 ~x1150 ~x1573 ~x2221 ~x2643 ~x306
26.82/26.90 v ~x1801 ~x729 ~x1151 ~x1574 ~x2222 x2644 ~x307 ~x1802 x730 ~x1152
26.82/26.90 v ~x1575 ~x2223 x2645 ~x308 ~x1803 ~x731 ~x1153 ~x1576 ~x2224 ~x2646
26.82/26.90 v ~x309 ~x1804 ~x732 ~x1154 ~x1577 ~x2225 ~x2647 ~x310 ~x1805 ~x733
26.82/26.90 v ~x1155 ~x1578 x2226 ~x2648 ~x311 ~x1806 ~x734 ~x1156 ~x1579 ~x2227
26.82/26.90 v ~x2649 ~x312 ~x1807 ~x735 ~x1157 ~x1580 ~x2228 ~x2650 ~x313 ~x1808
26.82/26.90 v ~x736 ~x1158 ~x1581 ~x2229 ~x2651 ~x314 ~x1809 ~x737 ~x1159 ~x1582
26.82/26.90 v ~x2230 ~x2652 ~x315 ~x1810 ~x738 ~x1160 ~x1583 ~x2231 ~x2653 ~x316
26.82/26.90 v ~x1811 ~x739 ~x1161 ~x1584 ~x2232 ~x2654 ~x317 ~x1812 ~x740 ~x1162
26.82/26.90 v ~x1585 ~x2233 ~x2655 ~x318 x1813 ~x741 ~x1163 x1586 ~x2234 ~x2656
26.82/26.90 v ~x319 ~x1814 ~x742 ~x1164 ~x1587 ~x2235 ~x2657 ~x320 ~x1815 ~x743
26.82/26.90 v ~x1165 ~x1588 ~x2236 ~x2658 ~x321 ~x1816 ~x744 ~x1166 ~x1589 ~x2237
26.82/26.90 v ~x2659 ~x322 ~x1817 ~x745 ~x1167 ~x1590 ~x2238 ~x2660 ~x323 ~x1818
26.82/26.90 v ~x746 ~x1168 ~x1591 ~x2239 ~x2661 ~x324 ~x1819 ~x747 ~x1169 ~x1592
26.82/26.90 v ~x2240 ~x2662 ~x325 ~x748 ~x1170 ~x1593 ~x2241 ~x2663 ~x326 ~x749
26.82/26.90 v ~x1820 ~x1171 ~x1594 ~x2242 ~x2664 ~x327 ~x750 ~x1821 ~x1172 ~x1595
26.82/26.90 v ~x2243 x2665 ~x328 ~x751 ~x1822 ~x1173 ~x1596 ~x2244 ~x2666 ~x329
26.82/26.90 v ~x752 ~x1823 ~x1174 ~x1597 ~x2245 ~x2667 ~x330 ~x753 ~x1824 ~x1175
26.82/26.90 v ~x1598 ~x2246 ~x2668 ~x331 ~x754 ~x1825 ~x1176 ~x1599 ~x2247 ~x2669
26.82/26.90 v ~x332 ~x755 ~x1826 ~x1177 ~x1600 ~x2248 ~x2670 ~x333 ~x756 x1827
26.82/26.90 v ~x1178 ~x2249 ~x2671 x334 ~x757 x1828 ~x1179 ~x2250 ~x2672 ~x335
26.82/26.90 v ~x758 ~x1829 ~x1180 ~x2251 ~x2673 ~x336 ~x759 ~x1830 ~x1181 ~x2252
26.82/26.90 v ~x2674 ~x337 ~x760 ~x1831 ~x1182 ~x2253 ~x2675 ~x338 ~x761 ~x1832
26.82/26.90 v ~x1183 ~x2254 ~x2676 ~x339 ~x762 ~x1833 ~x1184 ~x2255 x2677 ~x340
26.82/26.90 v ~x763 ~x1834 ~x1185 ~x2256 ~x2678 ~x341 ~x764 ~x1835 ~x1186 ~x2257
26.82/26.90 v ~x2679 ~x342 ~x765 ~x1836 ~x1187 ~x2258 ~x2680 ~x343 ~x766 ~x1837
26.82/26.90 v ~x1188 ~x2259 ~x2681 ~x344 ~x767 ~x1838 ~x1189 ~x2260 ~x2682 ~x345
26.82/26.90 v ~x768 ~x1839 ~x1190 ~x2261 ~x2683 ~x346 ~x769 ~x1840 ~x1191 x2262
26.82/26.90 v ~x2684 ~x347 ~x770 ~x1841 ~x1192 ~x2263 ~x2685 ~x348 ~x771 ~x1842
26.82/26.90 v ~x1193 ~x2264 ~x2686 ~x349 ~x772 ~x1843 x1194 ~x2265 ~x2687 ~x350
26.82/26.90 v ~x773 ~x1844 ~x1195 ~x2266 ~x2688 ~x351 ~x774 ~x1845 ~x1196 ~x2267
26.82/26.90 v ~x2689 ~x352 ~x775 ~x1846 ~x1197 ~x2268 ~x2690 ~x353 ~x776 ~x1847
26.82/26.90 v ~x1198 ~x2269 ~x2691 ~x354 ~x777 ~x1848 ~x1199 ~x2270 ~x2692 ~x355
26.82/26.90 v ~x778 ~x1849 ~x1200 ~x2271 ~x2693 ~x356 ~x779 ~x1850 ~x1201 ~x2272
26.82/26.90 v ~x2694 ~x357 ~x780 ~x1851 ~x1202 ~x2273 ~x2695 ~x358 ~x781 ~x1852
26.82/26.90 v ~x1203 ~x2274 ~x2696 ~x359 ~x782 x1853 ~x1204 ~x2275 ~x2697 ~x360
26.82/26.90 v ~x783 ~x1854 ~x1205 ~x2276 ~x2698 ~x361 ~x784 ~x1855 ~x1206 ~x2277
26.82/26.90 v ~x2699 ~x362 x785 ~x1856 ~x1207 ~x2278 ~x2700 ~x363 ~x786 ~x1857
26.82/26.90 v ~x1208 ~x2279 ~x2701 ~x364 ~x787 ~x1858 ~x1209 ~x2280 ~x2702 ~x365
26.82/26.90 v ~x788 ~x1859 ~x1210 x2281 ~x2703 ~x366 ~x789 ~x1860 ~x1211 ~x2282
26.82/26.90 v ~x2704 ~x367 ~x790 ~x1861 ~x1212 ~x2283 ~x2705 ~x368 ~x791 ~x1862
26.82/26.90 v x1213 ~x2284 ~x2706 ~x369 ~x792 ~x1863 ~x1214 ~x2285 ~x2707 ~x370
26.82/26.90 v ~x793 ~x1864 ~x1215 ~x2286 ~x2708 ~x371 ~x794 ~x1865 ~x1216 ~x2287
26.82/26.90 v ~x2709 ~x372 ~x795 ~x1866 ~x1217 ~x2288 ~x2710 ~x373 ~x796 ~x1867
26.82/26.90 v ~x1218 ~x2289 ~x2711 ~x374 ~x797 ~x1868 ~x1219 ~x2290 ~x2712 ~x375
26.82/26.90 v ~x798 ~x1869 ~x1220 ~x2291 ~x2713 ~x376 ~x799 ~x1870 ~x1221 ~x2292
26.82/26.90 v ~x2714 ~x377 ~x800 ~x1871 ~x1222 ~x2293 x2715 ~x378 ~x801 ~x1872
26.82/26.90 v ~x1223 ~x2294 x2716 ~x379 ~x802 ~x1873 ~x1224 ~x2295 ~x2717 ~x380
26.82/26.90 v ~x803 ~x1874 ~x1225 ~x2296 ~x2718 ~x381 ~x804 ~x1875 ~x1226 ~x2297
26.82/26.90 v ~x2719 ~x382 ~x805 ~x1876 ~x1227 ~x2298 ~x2720 ~x383 ~x806 x1877
26.82/26.90 v ~x1228 ~x2299 ~x2721 ~x384 ~x807 ~x1878 ~x1229 ~x2300 ~x2722 ~x385
26.82/26.90 v ~x808 ~x1879 ~x1230 ~x2301 ~x2723 ~x386 ~x809 ~x1880 ~x1231 ~x2302
26.82/26.90 v ~x2724 x387 ~x810 ~x1881 ~x1232 ~x2303 ~x2725 ~x388 ~x811 x1882
26.82/26.90 v ~x1233 ~x2304 ~x2726 ~x389 ~x812 ~x1883 ~x1234 ~x2305 ~x2727 ~x390
26.82/26.90 v ~x813 ~x1884 ~x1235 ~x2306 ~x2728 ~x391 ~x814 ~x1885 ~x1236 ~x2307
26.82/26.90 v ~x2729 ~x392 ~x815 ~x1886 ~x1237 ~x2308 x2730 ~x393 ~x816 ~x1887
26.82/26.90 v ~x1238 ~x2309 ~x2731 ~x394 ~x817 ~x1888 ~x1239 ~x2310 ~x2732 ~x395
26.82/26.90 v ~x818 ~x1889 ~x1240 ~x2311 ~x2733 ~x396 x819 ~x1890 ~x1241 ~x2312
26.82/26.90 v ~x2734 ~x397 ~x820 ~x1891 ~x1242 ~x2313 x2735 ~x398 ~x821 ~x1892
26.82/26.90 v ~x1243 ~x2314 ~x2736 ~x399 ~x822 ~x1893 ~x1244 ~x2315 ~x2737 ~x400
26.82/26.90 v ~x823 ~x1894 x1245 ~x2316 ~x2738 ~x401 ~x824 ~x1895 ~x1246 ~x2317
26.82/26.90 v ~x2739 ~x402 ~x825 ~x1896 ~x1247 ~x2318 ~x2740 ~x403 ~x826 ~x1897
26.82/26.90 v ~x1248 ~x2319 ~x2741 ~x404 ~x827 ~x1898 ~x1249 ~x2320 ~x2742 ~x405
26.82/26.90 v ~x828 ~x1899 ~x1250 ~x2321 ~x2743 ~x406 ~x829 ~x1900 ~x1251 ~x2322
26.82/26.90 v ~x2744 ~x407 ~x830 ~x1901 ~x1252 ~x2323 ~x2745 ~x408 ~x831 ~x1902
26.82/26.90 v ~x1253 ~x2324 ~x2746 ~x409 ~x832 ~x1903 ~x1254 ~x2325 ~x2747 ~x410
26.82/26.90 v ~x833 x1904 ~x1255 ~x2326 ~x2748 ~x411 ~x834 ~x1905 ~x1256 ~x2327
26.82/26.90 v ~x2749 ~x412 ~x835 ~x1906 ~x1257 ~x2328 ~x2750 ~x413 ~x836 ~x1907
26.82/26.90 v ~x1258 ~x2329 ~x2751 ~x414 ~x837 ~x1908 ~x1259 ~x2330 ~x2752 ~x415
26.82/26.90 v ~x838 ~x1909 ~x1260 ~x2331 ~x2753 ~x416 ~x839 ~x1910 ~x1261 ~x2332
26.82/26.90 v ~x2754 ~x417 ~x840 ~x1911 ~x1262 ~x2333 ~x2755 ~x418 ~x841 ~x1912
26.82/26.90 v ~x1263 ~x2334 ~x2756 ~x419 ~x842 ~x1913 ~x1264 ~x2335 x2757 ~x420
26.82/26.90 v ~x843 ~x1914 ~x1265 ~x2336 ~x2758 ~x421 ~x844 ~x1915 ~x1266 ~x2337
26.82/26.90 v ~x2759 ~x422 ~x845 ~x1916 ~x1267 ~x2338 ~x2760 ~x423 ~x846 ~x1917
26.82/26.90 v ~x1268 ~x2339 ~x2761 ~x424 ~x847 ~x1918 ~x1269 ~x2340 ~x2762 ~x425
26.82/26.90 v ~x848 ~x1919 ~x1270 ~x2341 ~x2763 ~x426 ~x849 ~x1920 ~x1271 ~x2342
26.82/26.90 v ~x2764 ~x427 ~x850 ~x1921 ~x1272 ~x2343 ~x2765 ~x428 ~x851 ~x1922
26.82/26.90 v ~x1273 ~x2344 ~x2766 ~x429 ~x852 ~x1923 ~x1274 ~x2345 ~x2767 ~x430
26.82/26.90 v ~x853 ~x1924 ~x1275 ~x2346 ~x2768 ~x431 ~x854 ~x1925 ~x1276 ~x2347
26.82/26.90 v ~x2769 ~x432 ~x855 ~x1926 ~x1277 ~x2348 ~x2770 ~x433 ~x856 ~x1927
26.82/26.90 v ~x1278 ~x2349 ~x2771 ~x434 ~x857 ~x1928 ~x1279 ~x2350 ~x2772 ~x435
26.82/26.90 v ~x858 ~x1929 ~x1280 ~x2351 ~x2773 ~x436 ~x859 ~x1930 ~x1281 ~x2352
26.82/26.90 v ~x2774 ~x437 ~x860 ~x1931 ~x1282 ~x2353 ~x2775 ~x438 ~x861 ~x1932
26.82/26.90 v ~x1283 ~x2354 ~x2776 x439 ~x862 ~x1933 ~x1284 ~x2355 ~x2777 ~x440
26.82/26.90 v ~x863 ~x1934 ~x1285 ~x2356 ~x2778 ~x441 ~x864 ~x1935 ~x1286 ~x2357
26.82/26.90 v ~x2779 ~x442 ~x865 ~x1936 ~x1287 ~x2358 ~x2780 ~x443 ~x866 ~x1937
26.82/26.90 v ~x1288 ~x2359 ~x2781 ~x444 ~x867 ~x1938 ~x1289 ~x2360 ~x2782 ~x445
26.82/26.90 v ~x868 ~x1939 ~x1290 ~x2361 ~x2783 ~x446 ~x869 ~x1940 ~x1291 ~x2362
26.82/26.90 v x2784 ~x447 ~x870 ~x1941 ~x1292 ~x2363 ~x2785 ~x448 ~x871 ~x1942
26.82/26.90 v ~x1293 ~x2364 ~x2786 ~x449 ~x872 ~x1943 ~x1294 ~x2365 ~x2787 ~x450
26.82/26.90 v ~x873 ~x1944 ~x1295 ~x2366 ~x2788 ~x451 ~x874 ~x1945 ~x1296 ~x2367
26.82/26.90 v ~x2789 ~x452 ~x875 ~x1946 ~x1297 ~x2368 ~x2790 ~x453 x876 ~x1947
26.82/26.90 v ~x1298 ~x2369 ~x2791 ~x454 ~x877 ~x1948 ~x1299 ~x2370 ~x2792 ~x455
26.82/26.90 v ~x878 ~x1949 ~x1300 ~x2371 ~x2793 ~x456 ~x879 ~x1950 ~x1301 ~x2372
26.82/26.90 v ~x2794 ~x457 ~x880 ~x1951 ~x1302 ~x2373 x2795 ~x458 ~x881 ~x1952
26.82/26.90 v ~x1303 ~x2374 ~x2796 ~x459 ~x882 ~x1953 x1304 ~x2375 ~x2797 ~x460
26.82/26.90 v ~x883 ~x1954 ~x1305 ~x2376 ~x2798 ~x461 ~x884 ~x1955 ~x1306 ~x2377
26.82/26.90 v ~x2799 x462 ~x885 ~x1956 ~x1307 ~x2378 ~x2800 ~x463 ~x886 ~x1957
26.82/26.90 v ~x1308 ~x2379 ~x41 ~x464 ~x887 ~x1958 ~x1309 ~x2380 ~x42 ~x465
26.82/26.90 v ~x888 ~x1959 ~x1310 ~x2381 ~x43 ~x466 ~x889 ~x1960 ~x1311 ~x2382
26.82/26.90 v ~x44 ~x467 ~x890 ~x1961 ~x1312 ~x2383 ~x45 ~x468 ~x891 ~x1962
26.82/26.90 v ~x1313 ~x2384 ~x46 ~x469 ~x892 ~x1963 ~x1314 ~x2385 ~x47 ~x470
26.82/26.90 v ~x893 ~x1964 ~x1315 ~x2386 ~x48 ~x471 ~x894 ~x1965 ~x1316 ~x2387
26.82/26.90 v ~x49 ~x472 ~x895 ~x1966 ~x1317 ~x2388 ~x50 ~x473 ~x896 x1967
26.82/26.90 v ~x1318 ~x2389 ~x51 ~x474 ~x897 ~x1968 ~x1319 ~x2390 ~x52 ~x475
26.82/26.90 v ~x898 ~x1969 ~x1320 ~x2391 ~x53 ~x476 ~x899 ~x1970 ~x1321 ~x2392
26.82/26.90 v ~x54 ~x477 ~x900 ~x1971 x1322 ~x2393 ~x55 ~x478 ~x901 ~x1972
26.82/26.90 v ~x1323 ~x2394 ~x56 ~x479 ~x902 ~x1973 ~x1324 ~x2395 ~x57 ~x480
26.82/26.90 v ~x903 ~x1974 ~x1325 ~x2396 ~x58 ~x481 ~x904 ~x1975 ~x1326 ~x2397
26.82/26.90 v ~x59 ~x482 ~x905 ~x1976 ~x1327 ~x2398 ~x60 ~x2 ~x483 ~x906
26.82/26.90 v ~x1977 ~x1328 ~x2399 ~x61 ~x1601 ~x484 ~x907 ~x1978 ~x1329 ~x2400
26.82/26.90 v ~x62 ~x485 ~x908 ~x1979 ~x1330 ~x2401 ~x63 ~x486 ~x909 ~x3
26.82/26.90 v ~x1980 ~x1331 x2402 ~x64 ~x487 ~x910 ~x1602 ~x1981 ~x1332 ~x2403
26.82/26.90 v ~x65 ~x488 ~x911 ~x4 ~x1982 ~x1333 ~x2404 ~x66 ~x489 ~x912
26.82/26.90 v x1603 ~x1983 ~x1334 ~x2405 ~x67 ~x490 ~x913 ~x5 ~x1984 ~x1335
26.82/26.90 v ~x2406 ~x68 ~x491 x1604 ~x1985 ~x1336 ~x2407 ~x69 ~x492 ~x6
26.82/26.90 v ~x1986 ~x914 ~x1337 ~x2408 x70 ~x493 ~x1605 ~x1987 ~x915 ~x1338
26.82/26.90 v ~x2409 ~x71 ~x494 ~x7 ~x1988 ~x916 ~x1339 ~x2410 ~x72 ~x495
26.82/26.90 v ~x1606 ~x1989 x917 ~x1340 ~x2411 ~x73 ~x496 ~x8 ~x1990 ~x918
26.82/26.90 v ~x1341 ~x2412 ~x74 ~x497 ~x1607 ~x1991 ~x919 ~x1342 ~x2413 ~x75
26.82/26.90 v ~x498 ~x1992 ~x920 ~x1343 ~x2414 ~x76 ~x499 ~x1993 ~x921 ~x10
26.82/26.90 v ~x1344 ~x2415 ~x77 ~x500 ~x1994 ~x922 ~x1608 ~x1345 ~x2416 ~x78
26.82/26.90 v ~x501 ~x1995 x923 ~x11 ~x1346 ~x2417 ~x79 ~x502 ~x1996 ~x924
26.82/26.90 v ~x1609 ~x1347 ~x2418 ~x80 ~x503 ~x1997 ~x925 ~x12 ~x1348 ~x2419
26.82/26.90 v ~x81 ~x504 ~x1998 ~x926 ~x1610 ~x1349 ~x2420 ~x82 ~x505 ~x1999
26.82/26.90 v ~x927 ~x13 ~x1350 ~x2421 ~x83 ~x506 ~x2000 ~x928 ~x1611 ~x1351
26.82/26.90 v ~x2422 ~x84 ~x507 ~x2001 ~x929 ~x14 ~x1352 ~x2423 ~x85 ~x508
26.82/26.90 v ~x2002 ~x930 ~x1612 ~x1353 ~x2424 ~x86 ~x509 ~x2003 ~x931 ~x15
26.82/26.90 v ~x1354 ~x2425 ~x87 ~x510 ~x2004 ~x932 ~x1613 ~x1355 ~x2426 ~x88
26.82/26.90 v ~x511 ~x2005 ~x933 ~x16 ~x1356 ~x2427 ~x89 ~x512 ~x2006 ~x934
26.82/26.90 v ~x1614 ~x1357 ~x2428 ~x90 x513 ~x2007 ~x935 ~x19 ~x1358 ~x2429
26.82/26.90 v ~x91 ~x514 ~x2008 ~x936 x1615 ~x1359 ~x2430 ~x92 ~x515 ~x2009
26.82/26.90 v ~x937 ~x20 ~x1360 ~x2431 ~x93 ~x516 ~x2010 ~x938 ~x1616 ~x1361
26.82/26.90 v ~x2432 ~x94 ~x517 ~x2011 ~x939 ~x1362 ~x2433 x95 ~x518 x2012
26.82/26.90 v ~x940 ~x1363 ~x21 ~x2434 ~x96 ~x519 ~x2013 ~x941 ~x1364 ~x1617
26.82/26.90 v ~x2435 ~x97 ~x520 ~x2014 ~x942 ~x1365 ~x22 ~x2436 ~x98 x521
26.82/26.90 v ~x2015 ~x943 ~x1366 ~x1618 x2437 ~x99 ~x522 ~x2016 ~x944 ~x1367
26.82/26.90 v ~x24 x2438 ~x100 ~x523 ~x2017 ~x945 ~x1368 ~x1619 ~x2439 ~x101
26.82/26.90 v ~x524 ~x2018 ~x946 ~x1369 ~x25 ~x2440 ~x102 ~x525 ~x2019 ~x947
26.82/26.90 v ~x1370 ~x1620 ~x2441 ~x103 ~x526 ~x2020 ~x948 ~x1371 ~x26 ~x2442
26.82/26.90 v ~x104 ~x527 ~x2021 ~x949 ~x1372 ~x1621 ~x2443 ~x105 ~x528 ~x2022
26.82/26.90 v ~x950 ~x1373 ~x31 ~x2444 ~x106 ~x529 ~x2023 ~x951 ~x1374 ~x1622
26.82/26.90 v x2445 ~x107 ~x530 ~x2024 ~x952 ~x1375 ~x33 ~x2446 ~x108 ~x531
26.82/26.90 v ~x2025 ~x953 ~x1376 ~x1623 ~x2447 ~x109 ~x532 ~x2026 ~x954 ~x1377
26.82/26.90 v ~x34 ~x2448 ~x110 ~x533 ~x2027 ~x955 ~x1378 ~x1624 ~x2449 ~x111
26.82/26.90 v ~x534 ~x2028 ~x956 ~x1379 ~x35 ~x2450 ~x112 ~x535 ~x2029 ~x957
26.82/26.90 v x1380 ~x1625 ~x2451 ~x113 ~x536 ~x2030 ~x958 ~x1381 ~x36 ~x2452
26.82/26.90 v ~x114 ~x537 ~x2031 ~x959 ~x1382 ~x1626 ~x2453 ~x115 ~x538 ~x2032
26.82/26.90 v ~x960 ~x1383 ~x39 ~x2454 ~x116 ~x539 ~x2033 ~x961 ~x1384 ~x1627
26.82/26.90 v ~x2455 ~x117 ~x540 x2034 ~x962 ~x1385 ~x1 ~x2456 ~x118 ~x541
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62954 MiB free)
memory of node 1: 64465 MiB (61482 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527835-1752239179/watcher-4527835-1752239179 -o /tmp/evaluation-result-4527835-1752239179/solver-4527835-1752239179 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114857 --watchdog 3760 pb_picat HOME/instance-4527835-1752239179.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=115794, runsolver pid=115791
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.14 4.10 4.01 5/252 115795
/proc/meminfo: memFree=127410392/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=2027148 memory=25744 CPUtime=0.1 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 983 0 0 0 10 0 0 0 20 0 1 0 139596639 2075799552 6436 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 506787 6436 1536 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 25744 KiB
[startup+0.213405 s]*
/proc/loadavg: 4.14 4.10 4.01 5/252 115795
/proc/meminfo: memFree=127398104/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=2027148 memory=38036 CPUtime=0.21 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 990 0 0 0 21 0 0 0 20 0 1 0 139596639 2075799552 9509 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 506787 9509 1536 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38036 KiB
[startup+0.313325 s]*
/proc/loadavg: 4.14 4.10 4.01 5/252 115795
/proc/meminfo: memFree=127381720/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=2027148 memory=46228 CPUtime=0.31 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 994 0 0 0 31 0 0 0 20 0 1 0 139596639 2075799552 11557 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 506787 11557 1536 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 46228 KiB
[startup+0.70029 s]
/proc/loadavg: 4.14 4.10 4.01 5/252 115795
/proc/meminfo: memFree=127345224/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=2027148 memory=95380 CPUtime=0.69 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 1018 0 0 0 67 2 0 0 20 0 1 0 139596639 2075799552 23845 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 506787 23845 1536 343 0 503851 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 95380 KiB
[startup+1.50029 s]
/proc/loadavg: 4.14 4.10 4.01 5/252 115795
/proc/meminfo: memFree=127255112/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=2027148 memory=226456 CPUtime=1.48 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 1083 0 0 0 144 4 0 0 20 0 1 0 139596639 2075799552 56614 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 506787 56614 1536 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 226456 KiB
[startup+3.11303 s]
/proc/loadavg: 4.13 4.10 4.01 5/252 115795
/proc/meminfo: memFree=126288408/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=2027148 memory=519328 CPUtime=3.09 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 1265 0 0 0 299 10 0 0 20 0 1 0 139596639 2075799552 129832 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 506787 129832 1536 343 0 503851 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 519328 KiB
[startup+6.30031 s]
/proc/loadavg: 4.13 4.10 4.01 5/252 115795
/proc/meminfo: memFree=125709156/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=2027148 memory=1103016 CPUtime=6.27 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 1557 0 0 0 606 21 0 0 20 0 1 0 139596639 2075799552 275754 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 506787 275754 1536 343 0 503851 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 1103016 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.01 5/252 115795
/proc/meminfo: memFree=123287036/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=3740848 memory=2395520 CPUtime=12.66 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 7612 0 0 0 1216 50 0 0 20 0 1 0 139596639 3830628352 598880 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 935212 598880 1696 343 0 932276 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3740848 KiB
Current children cumulated memory: 2395520 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.00 5/252 115795
/proc/meminfo: memFree=122673964/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=4278364 memory=2715292 CPUtime=25.43 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 25746 0 0 0 2429 114 0 0 20 0 1 0 139596639 4381044736 678823 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 1069591 678823 1728 343 0 1066655 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 4278364 KiB
Current children cumulated memory: 2715292 KiB
[startup+26.9188 s]
# the end of solver process 115794 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=25.6874 s, system=1.16418 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.09 4.09 4.00 5/252 115795
/proc/meminfo: memFree=122673964/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=4278364 memory=2717340 CPUtime=25.53 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 25747 0 0 0 2439 114 0 0 20 0 1 0 139596639 4381044736 679335 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 1069591 679335 1728 343 0 1066655 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 4278364 KiB
Current children cumulated memory: 2717340 KiB
[startup+26.4003 s]
/proc/loadavg: 4.09 4.09 4.00 5/252 115795
/proc/meminfo: memFree=122590376/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=4278364 memory=2725532 CPUtime=26.32 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 25751 0 0 0 2518 114 0 0 20 0 1 0 139596639 4381044736 681383 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 1069591 681383 1728 343 0 1066655 0
Current children cumulated CPU time: 26.32 s
Current children cumulated vsize: 4278364 KiB
Current children cumulated memory: 2725532 KiB
[startup+26.8003 s]
/proc/loadavg: 4.09 4.09 4.00 5/252 115795
/proc/meminfo: memFree=122590376/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=4278364 memory=2727580 CPUtime=26.72 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 25752 0 0 0 2558 114 0 0 20 0 1 0 139596639 4381044736 681895 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 1069591 681895 1728 343 0 1066655 0
Current children cumulated CPU time: 26.72 s
Current children cumulated vsize: 4278364 KiB
Current children cumulated memory: 2727580 KiB
[startup+26.9003 s]
/proc/loadavg: 4.09 4.09 4.00 5/252 115795
/proc/meminfo: memFree=122590376/131382120 swapFree=33010416/33010684
[pid=115794] ppid=115791 vsize=4278364 memory=2727580 CPUtime=26.82 cores=4,6
/proc/115794/stat : 115794 (pb_picat) R 115791 115794 113044 0 -1 4194304 25752 0 0 0 2568 114 0 0 20 0 1 0 139596639 4381044736 681895 18446744073709551615 94355799687168 94355801088749 140733056089216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94355801360176 94355803234416 94355819413504 140733056092572 140733056092648 140733056092648 140733056098252 0
/proc/115794/statm: 1069591 681895 1728 343 0 1066655 0
Current children cumulated CPU time: 26.82 s
Current children cumulated vsize: 4278364 KiB
Current children cumulated memory: 2727580 KiB
Child status: 0
Real time (s): 26.9189
CPU time (s): 26.8516
CPU user time (s): 25.6874
CPU system time (s): 1.16418
CPU usage (%): 99.7501
Max. virtual memory (cumulated for all children) (KiB): 4278364
Max. memory (cumulated for all children) (KiB): 2762536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.6874
system time used= 1.16418
maximum resident set size= 2762536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25757
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= 67
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 115794
# total CPU time (s): 26.8516
# total CPU user time (s): 25.6874
# total CPU system time (s): 1.16418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.178163 second user time and 0.309179 second system time
The end
Begin job on nodeC003 at 2025-07-11 15:06:20
IDJOB=4527835
IDBENCH=147883
IDSOLVER=3385
FILE ID=nodeC003/4527835-1752239179
RUNJOBID= nodeC003-1752237840-114857
SLURM_JOB_ID= 9682514
Free space on /tmp= 431900 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527835-1752239179/watcher-4527835-1752239179 -o /tmp/evaluation-result-4527835-1752239179/solver-4527835-1752239179 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114857 --watchdog 3760 pb_picat HOME/instance-4527835-1752239179.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a13baf32d9ef8d04301e73a4b88257d0
RANDOM SEED=1682667239
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.745
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.250
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.550
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.985
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1895.511
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.252
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.332
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.618
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127426392 kB
MemAvailable: 127873560 kB
Buffers: 2736 kB
Cached: 1240316 kB
SwapCached: 36 kB
Active: 2625916 kB
Inactive: 744444 kB
Active(anon): 2137628 kB
Inactive(anon): 7604 kB
Active(file): 488288 kB
Inactive(file): 736840 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 130216 kB
Writeback: 0 kB
AnonPages: 2126720 kB
Mapped: 115756 kB
Shmem: 17924 kB
KReclaimable: 123332 kB
Slab: 211908 kB
SReclaimable: 123332 kB
SUnreclaim: 88576 kB
KernelStack: 4096 kB
PageTables: 7236 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 6622916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2009088 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431900 MiB
End job on nodeC003 at 2025-07-11 15:06:47