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