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