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