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