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