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