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