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