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