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