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