Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Picat 2024-06-18 | OPT | 70998 | 39.4414 | 39.574 |
| Name | PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__8.opb |
| MD5SUM | 2d146ebdf2817567f5780fc8d24c5107 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 70998 |
| Best CPU time to get the best result obtained on this benchmark | 0.046385 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2498 |
| Total number of constraints | 400 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 302 |
| Number of constraints which are nor clauses,nor cardinality constraints | 98 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 137 |
| Number of terms in the objective function | 2400 |
| Biggest coefficient in the objective function | 94834 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 86615256 |
| Number of bits of the sum of numbers in the objective function | 27 |
| Biggest number in a constraint | 94834 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 86615256 |
| Number of bits of the biggest sum of numbers | 27 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c solving HOME/instance-4436384-1721110917.opb (Picat 3.6#12) 1.28/1.31 o 1331760 3.47/3.58 o 1048357 5.76/5.85 o 368128 9.45/9.52 o 243521 13.05/13.14 o 161780 15.84/15.94 o 100308 19.82/19.94 o 86903 21.92/22.01 o 79190 23.51/23.69 o 72735 27.40/27.57 o 71870 29.19/29.35 o 70998 39.36/39.56 s OPTIMUM FOUND 39.36/39.56 v ~x1243 ~x1666 ~x2089 ~x398 ~x821 ~x1244 ~x1667 ~x2090 ~x399 ~x822 39.36/39.56 v ~x1245 ~x1668 ~x2091 ~x400 ~x823 ~x1246 ~x1669 ~x2092 ~x401 ~x824 39.36/39.56 v ~x1247 ~x1670 ~x2093 ~x402 ~x825 ~x1248 ~x1671 ~x2094 ~x403 ~x826 39.36/39.56 v ~x1249 ~x1672 ~x2095 ~x404 ~x827 ~x1250 ~x1673 ~x2096 ~x405 ~x828 39.36/39.56 v ~x1251 ~x1674 ~x2097 ~x406 ~x829 ~x1252 ~x1675 ~x2098 ~x407 ~x830 39.36/39.56 v ~x1253 ~x1676 ~x2099 ~x408 ~x831 ~x1254 ~x1677 ~x2100 ~x409 ~x832 39.36/39.56 v ~x1255 ~x1678 ~x2101 ~x410 ~x833 ~x1256 ~x1679 ~x2102 ~x411 ~x834 39.36/39.56 v ~x1257 ~x1680 ~x2103 ~x412 ~x835 ~x1258 ~x1681 ~x2104 ~x413 ~x836 39.36/39.56 v ~x1259 ~x1682 ~x2105 ~x414 ~x837 ~x1260 ~x1683 ~x2106 ~x415 ~x838 39.36/39.56 v ~x1261 ~x1684 ~x2107 ~x416 ~x839 ~x1262 ~x1685 ~x2108 ~x417 ~x840 39.36/39.56 v ~x1263 ~x1686 ~x2109 ~x418 ~x841 ~x1264 ~x1687 ~x2110 ~x419 ~x842 39.36/39.56 v ~x1265 ~x1688 ~x2111 ~x420 ~x843 ~x1266 ~x1689 ~x2112 ~x421 ~x844 39.36/39.56 v ~x1267 ~x1690 ~x2113 ~x422 ~x845 ~x1268 ~x1691 ~x2114 ~x423 ~x846 39.36/39.56 v ~x1269 ~x1692 ~x2115 ~x1 ~x424 ~x847 ~x1270 ~x1693 ~x2116 ~x2 39.36/39.56 v ~x425 ~x848 ~x1271 ~x1694 ~x2117 ~x3 ~x426 ~x849 ~x1272 ~x1695 39.36/39.56 v ~x2118 ~x4 x427 ~x850 ~x1273 ~x1696 ~x2119 ~x5 ~x428 ~x851 39.36/39.56 v ~x1274 ~x1697 ~x2120 ~x6 ~x429 ~x852 ~x1275 ~x1698 ~x2121 ~x7 39.36/39.56 v ~x430 ~x853 ~x1276 ~x1699 ~x2122 ~x8 ~x431 ~x854 ~x1277 ~x1700 39.36/39.56 v ~x2123 ~x9 ~x432 ~x855 ~x1278 ~x1701 ~x2124 ~x10 ~x433 ~x856 39.36/39.56 v ~x1279 ~x1702 ~x2125 ~x11 ~x434 ~x857 ~x1280 ~x1703 ~x2126 ~x12 39.36/39.56 v ~x435 ~x858 ~x1281 ~x1704 ~x2127 ~x13 ~x436 ~x859 ~x1282 ~x1705 39.36/39.56 v ~x2128 ~x14 ~x437 ~x860 ~x1283 ~x1706 ~x2129 ~x15 ~x438 ~x861 39.36/39.56 v ~x1284 ~x1707 ~x2130 ~x16 ~x439 ~x862 ~x1285 ~x1708 ~x2131 ~x17 39.36/39.56 v ~x440 ~x863 ~x1286 ~x1709 ~x2132 ~x18 ~x441 ~x864 ~x1287 ~x1710 39.36/39.56 v x2133 ~x19 ~x442 ~x865 ~x1288 ~x1711 ~x2134 ~x20 ~x443 ~x866 39.36/39.56 v ~x1289 ~x1712 ~x2135 ~x21 ~x444 ~x867 ~x1290 ~x1713 ~x2136 ~x22 39.36/39.56 v ~x445 ~x868 ~x1291 ~x1714 ~x2137 ~x23 ~x446 ~x869 ~x1292 ~x1715 39.36/39.56 v ~x2138 ~x24 ~x447 ~x870 ~x1293 ~x1716 ~x2139 ~x25 ~x448 ~x871 39.36/39.56 v ~x1294 ~x1717 ~x2140 ~x26 ~x449 ~x872 ~x1295 ~x1718 ~x2141 ~x27 39.36/39.56 v ~x450 ~x873 ~x1296 ~x1719 ~x2142 ~x28 ~x451 ~x874 ~x1297 ~x1720 39.36/39.56 v ~x2143 ~x29 ~x452 ~x875 ~x1298 ~x1721 ~x2144 ~x30 ~x453 ~x876 39.36/39.56 v ~x1299 ~x1722 ~x2145 ~x31 ~x454 ~x877 ~x1300 ~x1723 ~x2146 ~x32 39.36/39.56 v ~x455 ~x878 ~x1301 ~x1724 ~x2147 ~x33 ~x456 ~x879 ~x1302 ~x1725 39.36/39.56 v ~x2148 ~x34 ~x457 ~x880 ~x1303 ~x1726 ~x2149 ~x35 ~x458 ~x881 39.36/39.56 v ~x1304 ~x1727 ~x2150 ~x36 ~x459 ~x882 ~x1305 ~x1728 ~x2151 ~x37 39.36/39.56 v ~x460 ~x883 ~x1306 ~x1729 ~x2152 ~x38 ~x461 ~x884 ~x1307 ~x1730 39.36/39.56 v ~x2153 ~x39 ~x462 ~x885 ~x1308 ~x1731 ~x2154 ~x40 ~x463 ~x886 39.36/39.56 v ~x1309 ~x1732 ~x2155 ~x41 ~x464 ~x887 ~x1310 ~x1733 ~x2156 ~x42 39.36/39.56 v ~x465 ~x888 ~x1311 ~x1734 ~x2157 ~x43 ~x466 ~x889 ~x1312 ~x1735 39.36/39.56 v ~x2158 ~x44 ~x467 ~x890 ~x1313 ~x1736 ~x2159 ~x45 ~x468 ~x891 39.36/39.56 v ~x1314 ~x1737 ~x2160 ~x46 ~x469 ~x892 ~x1315 ~x1738 ~x2161 ~x47 39.36/39.56 v ~x470 ~x893 ~x1316 ~x1739 ~x2162 ~x48 ~x471 ~x894 ~x1317 ~x1740 39.36/39.56 v ~x2163 ~x49 ~x472 ~x895 ~x1318 ~x1741 ~x2164 ~x50 ~x473 ~x896 39.36/39.56 v ~x1319 ~x1742 ~x2165 ~x51 ~x474 ~x897 ~x1320 ~x1743 ~x2166 ~x52 39.36/39.56 v ~x475 ~x898 ~x1321 ~x1744 ~x2167 ~x53 ~x476 ~x899 ~x1322 ~x1745 39.36/39.56 v ~x2168 ~x54 ~x477 ~x900 ~x1323 ~x1746 ~x2169 ~x55 ~x478 ~x901 39.36/39.56 v ~x1324 ~x1747 ~x2170 ~x56 ~x479 ~x902 ~x1325 ~x1748 ~x2171 ~x57 39.36/39.56 v ~x480 ~x903 ~x1326 ~x1749 ~x2172 ~x58 ~x481 ~x904 ~x1327 ~x1750 39.36/39.56 v ~x2173 ~x59 ~x482 ~x905 ~x1328 ~x1751 ~x2174 ~x60 ~x483 ~x906 39.36/39.56 v ~x1329 ~x1752 ~x2175 ~x61 ~x484 ~x907 ~x1330 ~x1753 ~x2176 ~x62 39.36/39.56 v ~x485 ~x908 ~x1331 ~x1754 ~x2177 ~x63 ~x486 ~x909 ~x1332 ~x1755 39.36/39.56 v ~x2178 ~x64 ~x487 ~x910 ~x1333 ~x1756 ~x2179 ~x65 ~x488 ~x911 39.36/39.56 v ~x1334 ~x1757 ~x2180 ~x66 ~x489 ~x912 ~x1335 ~x1758 ~x2181 ~x67 39.36/39.56 v ~x490 ~x913 ~x1336 ~x1759 ~x2182 ~x68 ~x491 ~x914 ~x1337 ~x1760 39.36/39.56 v ~x2183 ~x69 ~x492 ~x915 ~x1338 ~x1761 ~x2184 ~x70 ~x493 ~x916 39.36/39.56 v ~x1339 ~x1762 ~x2185 ~x71 ~x494 ~x917 ~x1340 ~x1763 ~x2186 ~x72 39.36/39.56 v ~x495 ~x918 ~x1341 ~x1764 ~x2187 ~x73 ~x496 ~x919 ~x1342 ~x1765 39.36/39.56 v ~x2188 ~x74 ~x497 ~x920 ~x1343 ~x1766 ~x2189 ~x75 ~x498 ~x921 39.36/39.56 v ~x1344 ~x1767 ~x2190 ~x76 ~x499 ~x922 ~x1345 ~x1768 ~x2191 ~x77 39.36/39.56 v ~x500 ~x923 ~x1346 ~x1769 ~x2192 ~x78 ~x501 ~x924 ~x1347 ~x1770 39.36/39.56 v ~x2193 ~x79 ~x502 ~x925 ~x1348 ~x1771 ~x2194 ~x80 ~x503 ~x926 39.36/39.56 v ~x1349 ~x1772 ~x2195 ~x81 ~x504 ~x927 ~x1350 ~x1773 ~x2196 ~x82 39.36/39.56 v ~x505 ~x928 ~x1351 ~x1774 ~x2197 ~x83 ~x506 ~x929 ~x1352 ~x1775 39.36/39.56 v ~x2198 ~x84 ~x507 ~x930 ~x1353 ~x1776 ~x2199 ~x85 ~x508 ~x931 39.36/39.56 v ~x1354 ~x1777 ~x2200 ~x86 ~x509 ~x932 ~x1355 ~x1778 ~x2201 ~x87 39.36/39.56 v ~x510 ~x933 ~x1356 ~x1779 ~x2202 ~x88 ~x511 ~x934 ~x1357 ~x1780 39.36/39.56 v ~x2203 ~x89 ~x512 ~x935 ~x1358 ~x1781 ~x2204 ~x90 ~x513 ~x936 39.36/39.56 v ~x1359 ~x1782 ~x2205 ~x91 ~x514 ~x937 ~x1360 ~x1783 ~x2206 ~x92 39.36/39.56 v ~x515 ~x938 ~x1361 ~x1784 ~x2207 ~x93 ~x516 ~x939 ~x1362 ~x1785 39.36/39.56 v ~x2208 ~x94 ~x517 ~x940 ~x1363 ~x1786 ~x2209 ~x95 ~x518 ~x941 39.36/39.56 v ~x1364 ~x1787 ~x2210 ~x96 ~x519 ~x942 ~x1365 ~x1788 ~x2211 ~x97 39.36/39.56 v ~x520 ~x943 ~x1366 ~x1789 ~x2212 ~x98 ~x521 ~x944 ~x1367 ~x1790 39.36/39.56 v ~x2213 ~x99 ~x522 ~x945 ~x1368 ~x1791 ~x2214 ~x100 ~x523 ~x946 39.36/39.56 v ~x1369 ~x1792 ~x2215 ~x101 ~x524 ~x947 ~x1370 ~x1793 ~x2216 ~x102 39.36/39.56 v ~x525 ~x948 ~x1371 ~x1794 ~x2217 ~x103 ~x526 ~x949 ~x1372 ~x1795 39.36/39.56 v ~x2218 ~x104 ~x527 ~x950 ~x1373 ~x1796 ~x2219 ~x105 ~x528 ~x951 39.36/39.56 v ~x1374 ~x1797 ~x2220 ~x106 ~x529 ~x952 ~x1375 ~x1798 ~x2221 ~x107 39.36/39.56 v ~x530 ~x953 ~x1376 ~x1799 ~x2222 ~x108 ~x531 ~x954 ~x1377 ~x1800 39.36/39.56 v ~x2223 ~x109 ~x532 ~x955 ~x1378 ~x1801 ~x2224 ~x110 ~x533 ~x956 39.36/39.56 v ~x1379 ~x1802 ~x2225 ~x111 ~x534 ~x957 ~x1380 ~x1803 ~x2226 ~x112 39.36/39.56 v ~x535 ~x958 ~x1381 ~x1804 ~x2227 ~x113 ~x536 ~x959 ~x1382 ~x1805 39.36/39.56 v ~x2228 ~x114 ~x537 ~x960 ~x1383 ~x1806 ~x2229 ~x115 ~x538 ~x961 39.36/39.56 v ~x1384 ~x1807 ~x2230 ~x116 ~x539 ~x962 ~x1385 ~x1808 ~x2231 ~x117 39.36/39.56 v ~x540 ~x963 ~x1386 ~x1809 ~x2232 ~x118 ~x541 ~x964 ~x1387 ~x1810 39.36/39.56 v ~x2233 ~x119 ~x542 ~x965 ~x1388 ~x1811 ~x2234 ~x120 ~x543 ~x966 39.36/39.56 v ~x1389 ~x1812 ~x2235 ~x121 ~x544 ~x967 ~x1390 ~x1813 ~x2236 ~x122 39.36/39.56 v ~x545 ~x968 ~x1391 ~x1814 ~x2237 ~x123 ~x546 ~x969 ~x1392 ~x1815 39.36/39.56 v ~x2238 ~x124 ~x547 ~x970 ~x1393 ~x1816 ~x2239 ~x125 ~x548 ~x971 39.36/39.56 v ~x1394 ~x1817 ~x2240 ~x126 ~x549 ~x972 ~x1395 ~x1818 ~x2241 ~x127 39.36/39.56 v ~x550 ~x973 ~x1396 ~x1819 ~x2242 ~x128 ~x551 ~x974 ~x1397 ~x1820 39.36/39.56 v ~x2243 ~x129 ~x552 ~x975 ~x1398 ~x1821 ~x2244 ~x130 ~x553 ~x976 39.36/39.56 v ~x1399 ~x1822 ~x2245 ~x131 ~x554 ~x977 ~x1400 ~x1823 ~x2246 ~x132 39.36/39.56 v ~x555 ~x978 ~x1401 ~x1824 ~x2247 ~x133 ~x556 ~x979 ~x1402 ~x1825 39.36/39.56 v ~x2248 ~x134 ~x557 ~x980 ~x1403 ~x1826 ~x2249 ~x135 ~x558 ~x981 39.36/39.56 v ~x1404 ~x1827 ~x2250 ~x136 ~x559 ~x982 ~x1405 ~x1828 ~x2251 ~x137 39.36/39.56 v ~x560 ~x983 ~x1406 ~x1829 ~x2252 ~x138 ~x561 ~x984 ~x1407 ~x1830 39.36/39.56 v ~x2253 ~x139 ~x562 ~x985 ~x1408 ~x1831 ~x2254 ~x140 ~x563 ~x986 39.36/39.56 v ~x1409 ~x1832 ~x2255 ~x141 ~x564 ~x987 ~x1410 ~x1833 ~x2256 ~x142 39.36/39.56 v ~x565 ~x988 ~x1411 ~x1834 ~x2257 ~x143 ~x566 ~x989 ~x1412 ~x1835 39.36/39.57 v ~x2258 ~x144 ~x567 ~x990 ~x1413 ~x1836 ~x2259 ~x145 ~x568 ~x991 39.36/39.57 v ~x1414 ~x1837 ~x2260 ~x146 ~x569 ~x992 ~x1415 ~x1838 ~x2261 ~x147 39.36/39.57 v ~x570 ~x993 ~x1416 ~x1839 ~x2262 ~x148 ~x571 ~x994 ~x1417 ~x1840 39.36/39.57 v ~x2263 ~x149 ~x572 ~x995 ~x1418 ~x1841 ~x2264 ~x150 ~x573 ~x996 39.36/39.57 v ~x1419 ~x1842 ~x2265 ~x151 ~x574 ~x997 ~x1420 ~x1843 ~x2266 ~x152 39.36/39.57 v ~x575 ~x998 ~x1421 ~x1844 ~x2267 ~x153 ~x576 ~x999 ~x1422 ~x1845 39.36/39.57 v ~x2268 ~x154 ~x577 ~x1000 ~x1423 ~x1846 ~x2269 ~x155 ~x578 ~x1001 39.36/39.57 v ~x1424 ~x1847 ~x2270 ~x156 ~x579 ~x1002 ~x1425 ~x1848 ~x2271 ~x157 39.36/39.57 v ~x580 ~x1003 ~x1426 ~x1849 ~x2272 ~x158 ~x581 ~x1004 ~x1427 ~x1850 39.36/39.57 v ~x2273 ~x159 ~x582 ~x1005 ~x1428 ~x1851 ~x2274 ~x160 ~x583 ~x1006 39.36/39.57 v ~x1429 ~x1852 ~x2275 ~x161 ~x584 ~x1007 ~x1430 ~x1853 ~x2276 ~x162 39.36/39.57 v ~x585 ~x1008 ~x1431 ~x1854 ~x2277 ~x163 ~x586 ~x1009 ~x1432 ~x1855 39.36/39.57 v ~x2278 ~x164 ~x587 ~x1010 ~x1433 ~x1856 ~x2279 ~x165 ~x588 ~x1011 39.36/39.57 v ~x1434 ~x1857 ~x2280 ~x166 ~x589 ~x1012 ~x1435 ~x1858 ~x2281 ~x167 39.36/39.57 v ~x590 ~x1013 ~x1436 ~x1859 ~x2282 ~x168 ~x591 ~x1014 ~x1437 ~x1860 39.36/39.57 v ~x2283 ~x169 ~x592 ~x1015 ~x1438 ~x1861 ~x2284 ~x170 ~x593 ~x1016 39.36/39.57 v ~x1439 ~x1862 ~x2285 ~x171 ~x594 ~x1017 ~x1440 ~x1863 ~x2286 ~x172 39.36/39.57 v ~x595 ~x1018 ~x1441 ~x1864 ~x2287 ~x173 ~x596 ~x1019 ~x1442 ~x1865 39.36/39.57 v ~x2288 ~x174 ~x597 ~x1020 ~x1443 ~x1866 ~x2289 ~x175 ~x598 ~x1021 39.36/39.57 v ~x1444 ~x1867 ~x2290 ~x176 ~x599 ~x1022 ~x1445 ~x1868 ~x2291 ~x177 39.36/39.57 v ~x600 ~x1023 ~x1446 ~x1869 ~x2292 ~x178 ~x601 ~x1024 ~x1447 ~x1870 39.36/39.57 v ~x2293 ~x179 ~x602 ~x1025 ~x1448 ~x1871 ~x2294 ~x180 ~x603 ~x1026 39.36/39.57 v ~x1449 ~x1872 ~x2295 ~x181 ~x604 ~x1027 ~x1450 ~x1873 ~x2296 ~x182 39.36/39.57 v ~x605 ~x1028 ~x1451 ~x1874 ~x2297 ~x183 ~x606 ~x1029 ~x1452 ~x1875 39.36/39.57 v ~x2298 ~x184 ~x607 ~x1030 ~x1453 ~x1876 ~x2299 ~x185 ~x608 ~x1031 39.36/39.57 v ~x1454 ~x1877 ~x2300 ~x186 ~x609 ~x1032 ~x1455 ~x1878 ~x2301 ~x187 39.36/39.57 v ~x610 ~x1033 ~x1456 ~x1879 ~x2302 ~x188 ~x611 ~x1034 ~x1457 ~x1880 39.36/39.57 v ~x2303 ~x189 ~x612 ~x1035 ~x1458 ~x1881 ~x2304 ~x190 ~x613 ~x1036 39.36/39.57 v ~x1459 ~x1882 ~x2305 ~x191 ~x614 ~x1037 ~x1460 ~x1883 ~x2306 ~x192 39.36/39.57 v ~x615 ~x1038 ~x1461 ~x1884 ~x2307 ~x193 ~x616 ~x1039 ~x1462 ~x1885 39.36/39.57 v ~x2308 ~x194 ~x617 ~x1040 ~x1463 ~x1886 ~x2309 ~x195 ~x618 ~x1041 39.36/39.57 v ~x1464 ~x1887 ~x2310 ~x196 ~x619 ~x1042 ~x1465 ~x1888 ~x2311 ~x197 39.36/39.57 v ~x620 ~x1043 ~x1466 ~x1889 ~x2312 ~x198 ~x621 ~x1044 ~x1467 ~x1890 39.36/39.57 v ~x2313 ~x199 ~x622 ~x1045 ~x1468 ~x1891 ~x2314 ~x200 ~x623 ~x1046 39.36/39.57 v ~x1469 ~x1892 ~x2315 ~x201 ~x624 ~x1047 ~x1470 ~x1893 ~x2316 ~x202 39.36/39.57 v ~x625 ~x1048 ~x1471 ~x1894 ~x2317 ~x203 ~x626 ~x1049 ~x1472 ~x1895 39.36/39.57 v ~x2318 ~x204 ~x627 ~x1050 ~x1473 ~x1896 ~x2319 ~x205 ~x628 ~x1051 39.36/39.57 v ~x1474 ~x1897 ~x2320 ~x206 ~x629 ~x1052 ~x1475 ~x1898 ~x2321 ~x207 39.36/39.57 v ~x630 ~x1053 ~x1476 ~x1899 ~x2322 ~x208 ~x631 ~x1054 ~x1477 ~x1900 39.36/39.57 v ~x2323 ~x209 ~x632 ~x1055 ~x1478 ~x1901 ~x2324 ~x210 ~x633 ~x1056 39.36/39.57 v ~x1479 ~x1902 ~x2325 ~x211 ~x634 ~x1057 ~x1480 ~x1903 ~x2326 ~x212 39.36/39.57 v ~x635 ~x1058 ~x1481 ~x1904 ~x2327 ~x213 ~x636 ~x1059 ~x1482 ~x1905 39.36/39.57 v ~x2328 ~x214 ~x637 ~x1060 ~x1483 ~x1906 ~x2329 ~x215 ~x638 ~x1061 39.36/39.57 v ~x1484 ~x1907 ~x2330 ~x216 x639 ~x1062 ~x1485 ~x1908 ~x2331 ~x217 39.36/39.57 v ~x640 ~x1063 ~x1486 ~x1909 ~x2332 ~x218 ~x641 ~x1064 ~x1487 ~x1910 39.36/39.57 v ~x2333 ~x219 ~x642 ~x1065 ~x1488 ~x1911 ~x2334 ~x220 ~x643 ~x1066 39.36/39.57 v ~x1489 ~x1912 ~x2335 ~x221 ~x644 ~x1067 ~x1490 ~x1913 ~x2336 ~x222 39.36/39.57 v ~x645 ~x1068 ~x1491 ~x1914 ~x2337 ~x223 x646 ~x1069 ~x1492 ~x1915 39.36/39.57 v ~x2338 ~x224 ~x647 ~x1070 ~x1493 ~x1916 ~x2339 ~x225 ~x648 ~x1071 39.36/39.57 v ~x1494 ~x1917 ~x2340 ~x226 ~x649 ~x1072 ~x1495 ~x1918 ~x2341 ~x227 39.36/39.57 v ~x650 ~x1073 ~x1496 ~x1919 ~x2342 ~x228 ~x651 ~x1074 ~x1497 ~x1920 39.36/39.57 v ~x2343 ~x229 ~x652 ~x1075 ~x1498 ~x1921 ~x2344 ~x230 ~x653 ~x1076 39.36/39.57 v ~x1499 ~x1922 ~x2345 ~x231 ~x654 ~x1077 ~x1500 ~x1923 ~x2346 ~x232 39.36/39.57 v ~x655 ~x1078 ~x1501 ~x1924 ~x2347 ~x233 ~x656 ~x1079 ~x1502 ~x1925 39.36/39.57 v ~x2348 ~x234 ~x657 ~x1080 ~x1503 ~x1926 ~x2349 ~x235 ~x658 ~x1081 39.36/39.57 v ~x1504 ~x1927 ~x2350 ~x236 ~x659 ~x1082 ~x1505 ~x1928 ~x2351 ~x237 39.36/39.57 v ~x660 ~x1083 ~x1506 ~x1929 ~x2352 ~x238 ~x661 ~x1084 ~x1507 ~x1930 39.36/39.57 v ~x2353 ~x239 ~x662 ~x1085 ~x1508 ~x1931 ~x2354 ~x240 ~x663 ~x1086 39.36/39.57 v ~x1509 ~x1932 ~x2355 ~x241 ~x664 ~x1087 ~x1510 ~x1933 ~x2356 ~x242 39.36/39.57 v ~x665 ~x1088 ~x1511 ~x1934 ~x2357 ~x243 ~x666 ~x1089 ~x1512 ~x1935 39.36/39.57 v ~x2358 ~x244 ~x667 ~x1090 ~x1513 ~x1936 ~x2359 ~x245 ~x668 ~x1091 39.36/39.57 v ~x1514 ~x1937 ~x2360 ~x246 ~x669 ~x1092 ~x1515 ~x1938 ~x2361 ~x247 39.36/39.57 v ~x670 ~x1093 ~x1516 ~x1939 ~x2362 ~x248 ~x671 ~x1094 ~x1517 ~x1940 39.36/39.57 v ~x2363 ~x249 ~x672 ~x1095 ~x1518 ~x1941 ~x2364 ~x250 ~x673 ~x1096 39.36/39.57 v ~x1519 ~x1942 ~x2365 ~x251 ~x674 ~x1097 ~x1520 ~x1943 ~x2366 ~x252 39.36/39.57 v ~x675 ~x1098 ~x1521 ~x1944 ~x2367 ~x253 ~x676 ~x1099 ~x1522 ~x1945 39.36/39.57 v ~x2368 ~x254 ~x677 ~x1100 ~x1523 ~x1946 ~x2369 ~x255 ~x678 ~x1101 39.36/39.57 v ~x1524 ~x1947 ~x2370 ~x256 ~x679 ~x1102 ~x1525 ~x1948 ~x2371 ~x257 39.36/39.57 v ~x680 ~x1103 ~x1526 ~x1949 ~x2372 ~x258 ~x681 ~x1104 ~x1527 ~x1950 39.36/39.57 v ~x2373 ~x259 ~x682 ~x1105 ~x1528 ~x1951 ~x2374 ~x260 ~x683 ~x1106 39.36/39.57 v ~x1529 ~x1952 ~x2375 ~x261 ~x684 ~x1107 ~x1530 ~x1953 ~x2376 ~x262 39.36/39.57 v ~x685 ~x1108 ~x1531 ~x1954 ~x2377 ~x263 ~x686 ~x1109 ~x1532 ~x1955 39.36/39.57 v ~x2378 ~x264 ~x687 ~x1110 ~x1533 ~x1956 ~x2379 ~x265 ~x688 ~x1111 39.36/39.57 v ~x1534 ~x1957 ~x2380 ~x266 ~x689 ~x1112 ~x1535 ~x1958 ~x2381 ~x267 39.36/39.57 v ~x690 ~x1113 ~x1536 ~x1959 ~x2382 ~x268 ~x691 ~x1114 ~x1537 ~x1960 39.36/39.57 v ~x2383 ~x269 ~x692 ~x1115 ~x1538 ~x1961 ~x2384 ~x270 ~x693 ~x1116 39.36/39.57 v ~x1539 ~x1962 ~x2385 ~x271 ~x694 ~x1117 ~x1540 ~x1963 ~x2386 ~x272 39.36/39.57 v ~x695 ~x1118 ~x1541 ~x1964 ~x2387 ~x273 ~x696 ~x1119 ~x1542 ~x1965 39.36/39.57 v ~x2388 ~x274 ~x697 ~x1120 ~x1543 ~x1966 ~x2389 ~x275 ~x698 ~x1121 39.36/39.57 v ~x1544 ~x1967 ~x2390 ~x276 ~x699 ~x1122 ~x1545 ~x1968 ~x2391 ~x277 39.36/39.57 v ~x700 ~x1123 ~x1546 ~x1969 ~x2392 ~x278 ~x701 ~x1124 ~x1547 ~x1970 39.36/39.57 v ~x2393 ~x279 ~x702 ~x1125 ~x1548 ~x1971 ~x2394 ~x280 ~x703 ~x1126 39.36/39.57 v ~x1549 ~x1972 ~x2395 ~x281 ~x704 ~x1127 ~x1550 ~x1973 ~x2396 ~x282 39.36/39.57 v ~x705 ~x1128 ~x1551 ~x1974 ~x2397 ~x283 ~x706 ~x1129 ~x1552 ~x1975 39.36/39.57 v ~x2398 ~x284 ~x707 ~x1130 ~x1553 ~x1976 ~x2399 ~x285 ~x708 ~x1131 39.36/39.57 v ~x1554 ~x1977 ~x2400 ~x286 ~x709 ~x1132 ~x1555 ~x1978 ~x287 ~x710 39.36/39.57 v ~x1133 ~x1556 ~x1979 ~x288 ~x711 ~x1134 ~x1557 ~x1980 ~x289 ~x712 39.36/39.57 v ~x1135 ~x1558 ~x1981 ~x290 ~x713 ~x1136 ~x1559 ~x1982 ~x291 ~x714 39.36/39.57 v ~x1137 ~x1560 ~x1983 ~x292 ~x715 ~x1138 ~x1561 ~x1984 ~x293 ~x716 39.36/39.57 v ~x1139 ~x1562 ~x1985 ~x294 ~x717 ~x1140 ~x1563 ~x1986 ~x295 ~x718 39.36/39.57 v ~x1141 ~x1564 ~x1987 ~x296 ~x719 ~x1142 ~x1565 ~x1988 ~x297 ~x720 39.36/39.57 v ~x1143 ~x1566 ~x2401 ~x1989 ~x298 ~x721 ~x1144 ~x1567 ~x2402 ~x1990 39.36/39.57 v ~x299 ~x722 ~x1145 ~x1568 ~x2403 ~x1991 ~x300 ~x723 ~x1146 ~x1569 39.36/39.57 v ~x2404 ~x1992 ~x301 ~x724 ~x1147 ~x1570 ~x2405 ~x1993 ~x302 ~x725 39.36/39.57 v ~x1148 ~x1571 ~x2406 ~x1994 ~x303 ~x726 ~x1149 ~x1572 ~x2407 ~x1995 39.36/39.57 v ~x304 ~x727 ~x1150 ~x1573 ~x2408 ~x1996 ~x305 ~x728 ~x1151 ~x1574 39.36/39.57 v ~x2409 ~x1997 ~x306 ~x729 ~x1152 ~x1575 ~x2410 ~x1998 ~x307 ~x730 39.36/39.57 v ~x1153 ~x1576 ~x2411 ~x1999 ~x308 ~x731 ~x1154 ~x1577 ~x2412 ~x2000 39.36/39.57 v ~x309 ~x732 ~x1155 ~x1578 ~x2413 ~x2001 ~x310 ~x733 ~x1156 ~x1579 39.36/39.57 v ~x2414 ~x2002 ~x311 ~x734 ~x1157 ~x1580 ~x2415 ~x2003 ~x312 ~x735 39.36/39.57 v ~x1158 ~x1581 ~x2416 ~x2004 ~x313 ~x736 ~x1159 ~x1582 ~x2417 ~x2005 39.36/39.57 v ~x314 ~x737 ~x1160 ~x1583 ~x2418 ~x2006 ~x315 ~x738 ~x1161 ~x1584 39.36/39.57 v x2419 ~x2007 ~x316 ~x739 ~x1162 ~x1585 x2420 ~x2008 ~x317 ~x740 39.36/39.57 v ~x1163 ~x1586 ~x2421 ~x2009 ~x318 ~x741 ~x1164 ~x1587 ~x2422 ~x2010 39.36/39.57 v ~x319 ~x742 ~x1165 ~x1588 ~x2423 ~x2011 ~x320 ~x743 ~x1166 ~x1589 39.36/39.57 v ~x2424 ~x2012 ~x321 ~x744 ~x1167 ~x1590 ~x2425 ~x2013 ~x322 ~x745 39.36/39.57 v ~x1168 ~x1591 ~x2426 ~x2014 ~x323 ~x746 ~x1169 ~x1592 ~x2427 ~x2015 39.36/39.57 v ~x324 ~x747 ~x1170 ~x1593 ~x2428 ~x2016 ~x325 ~x748 ~x1171 ~x1594 39.36/39.57 v x2429 ~x2017 ~x326 ~x749 ~x1172 ~x1595 ~x2430 ~x2018 ~x327 ~x750 39.36/39.57 v ~x1173 ~x1596 ~x2431 ~x2019 ~x328 ~x751 ~x1174 ~x1597 ~x2432 ~x2020 39.36/39.57 v ~x329 ~x752 ~x1175 ~x1598 ~x2433 ~x2021 ~x330 ~x753 ~x1176 ~x1599 39.36/39.57 v ~x2434 ~x2022 ~x331 ~x754 ~x1177 ~x1600 ~x2435 ~x2023 ~x332 ~x755 39.36/39.57 v ~x1178 ~x1601 ~x2436 ~x2024 ~x333 ~x756 ~x1179 ~x1602 ~x2437 ~x2025 39.36/39.57 v ~x334 ~x757 ~x1180 ~x1603 ~x2438 ~x2026 ~x335 ~x758 ~x1181 ~x1604 39.36/39.57 v ~x2439 ~x2027 ~x336 ~x759 ~x1182 ~x1605 ~x2440 ~x2028 ~x337 ~x760 39.36/39.57 v ~x1183 ~x1606 ~x2441 ~x2029 ~x338 ~x761 ~x1184 ~x1607 ~x2442 ~x2030 39.36/39.57 v ~x339 ~x762 ~x1185 ~x1608 ~x2443 ~x2031 ~x340 ~x763 ~x1186 ~x1609 39.36/39.57 v ~x2444 ~x2032 ~x341 ~x764 ~x1187 ~x1610 ~x2445 ~x2033 ~x342 ~x765 39.36/39.57 v ~x1188 ~x1611 ~x2446 ~x2034 ~x343 ~x766 ~x1189 ~x1612 ~x2447 ~x2035 39.36/39.57 v ~x344 ~x767 ~x1190 ~x1613 ~x2448 ~x2036 ~x345 ~x768 ~x1191 ~x1614 39.36/39.57 v ~x2449 ~x2037 ~x346 ~x769 ~x1192 ~x1615 ~x2450 ~x2038 ~x347 ~x770 39.36/39.57 v ~x1193 ~x1616 ~x2451 ~x2039 ~x348 ~x771 ~x1194 ~x1617 ~x2452 ~x2040 39.36/39.57 v ~x349 ~x772 ~x1195 ~x1618 ~x2453 ~x2041 ~x350 ~x773 ~x1196 ~x1619 39.36/39.57 v ~x2454 ~x2042 ~x351 ~x774 ~x1197 ~x1620 ~x2455 ~x2043 ~x352 ~x775 39.36/39.57 v ~x1198 ~x1621 ~x2456 ~x2044 ~x353 ~x776 ~x1199 ~x1622 ~x2457 ~x2045 39.36/39.57 v ~x354 ~x777 ~x1200 ~x1623 ~x2458 ~x2046 ~x355 ~x778 ~x1201 ~x1624 39.36/39.57 v ~x2459 ~x2047 ~x356 ~x779 ~x1202 ~x1625 ~x2460 ~x2048 ~x357 ~x780 39.36/39.57 v ~x1203 ~x1626 ~x2461 ~x2049 ~x358 ~x781 ~x1204 ~x1627 ~x2462 ~x2050 39.36/39.57 v ~x359 ~x782 ~x1205 ~x1628 ~x2463 ~x2051 ~x360 ~x783 ~x1206 ~x1629 39.36/39.57 v ~x2464 ~x2052 ~x361 ~x784 ~x1207 ~x1630 ~x2465 ~x2053 ~x362 ~x785 39.36/39.57 v ~x1208 ~x1631 ~x2466 ~x2054 ~x363 ~x786 ~x1209 ~x1632 ~x2467 ~x2055 39.36/39.57 v ~x364 ~x787 ~x1210 ~x1633 ~x2468 ~x2056 ~x365 ~x788 ~x1211 ~x1634 39.36/39.57 v ~x2469 ~x2057 ~x366 ~x789 ~x1212 ~x1635 ~x2470 ~x2058 ~x367 ~x790 39.36/39.57 v ~x1213 ~x1636 ~x2471 ~x2059 ~x368 ~x791 ~x1214 ~x1637 ~x2472 ~x2060 39.36/39.57 v ~x369 ~x792 ~x1215 ~x1638 ~x2473 ~x2061 ~x370 ~x793 ~x1216 ~x1639 39.36/39.57 v ~x2474 ~x2062 ~x371 ~x794 ~x1217 ~x1640 ~x2475 ~x2063 ~x372 ~x795 39.36/39.57 v ~x1218 ~x1641 ~x2476 ~x2064 ~x373 ~x796 ~x1219 ~x1642 ~x2477 ~x2065 39.36/39.57 v ~x374 ~x797 ~x1220 ~x1643 ~x2478 ~x2066 ~x375 ~x798 ~x1221 ~x1644 39.36/39.57 v ~x2479 ~x2067 ~x376 ~x799 ~x1222 ~x1645 ~x2480 ~x2068 ~x377 ~x800 39.36/39.57 v ~x1223 ~x1646 ~x2481 ~x2069 ~x378 ~x801 ~x1224 ~x1647 ~x2482 ~x2070 39.36/39.57 v ~x379 ~x802 ~x1225 ~x1648 ~x2483 ~x2071 ~x380 ~x803 ~x1226 ~x1649 39.36/39.57 v ~x2484 ~x2072 ~x381 ~x804 ~x1227 ~x1650 ~x2485 ~x2073 ~x382 ~x805 39.36/39.57 v ~x1228 ~x1651 ~x2486 ~x2074 ~x383 ~x806 ~x1229 ~x1652 ~x2487 ~x2075 39.36/39.57 v ~x384 ~x807 ~x1230 ~x1653 ~x2488 ~x2076 ~x385 ~x808 ~x1231 ~x1654 39.36/39.57 v ~x2489 ~x2077 ~x386 ~x809 ~x1232 ~x1655 ~x2490 ~x2078 ~x387 ~x810 39.36/39.57 v ~x1233 ~x1656 ~x2491 ~x2079 ~x388 ~x811 ~x1234 ~x1657 ~x2492 ~x2080 39.36/39.57 v ~x389 ~x812 ~x1235 ~x1658 ~x2493 ~x2081 ~x390 ~x813 ~x1236 ~x1659 39.36/39.57 v ~x2494 ~x2082 ~x391 ~x814 ~x1237 ~x1660 ~x2495 ~x2083 ~x392 ~x815 39.36/39.57 v ~x1238 ~x1661 ~x2496 ~x2084 ~x393 ~x816 ~x1239 ~x1662 ~x2497 ~x2085 39.36/39.57 v ~x394 ~x817 ~x1240 ~x1663 ~x2498 ~x2086 ~x395 ~x818 ~x1241 ~x1664 39.36/39.57 v ~x2087 ~x396 ~x819 ~x1242 ~x1665 ~x2088 ~x397 ~x820
OK 70998
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59835 MiB free)
memory of node 1: 64473 MiB (60090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436384-1721110917/watcher-4436384-1721110917 -o /tmp/evaluation-result-4436384-1721110917/solver-4436384-1721110917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721103131-840879 --watchdog 3760 pb_picat HOME/instance-4436384-1721110917.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=845704, runsolver pid=845701
[startup+0.100432 s]*
/proc/loadavg: 4.13 4.15 4.12 5/257 845705
/proc/meminfo: memFree=122764088/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2051128 memory=43472 CPUtime=0.1 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 2953 0 0 0 9 1 0 0 20 0 1 0 163262289 2100355072 10868 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 512782 10868 1680 439 0 508211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2051128 KiB
Current children cumulated memory: 43472 KiB
[startup+0.205945 s]*
/proc/loadavg: 4.13 4.15 4.12 5/257 845705
/proc/meminfo: memFree=122758612/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2060792 memory=48452 CPUtime=0.2 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 4415 0 0 0 19 1 0 0 20 0 1 0 163262289 2110251008 12113 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 515198 12113 1728 439 0 510627 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2060792 KiB
Current children cumulated memory: 48452 KiB
[startup+0.305846 s]*
/proc/loadavg: 4.13 4.15 4.12 5/257 845705
/proc/meminfo: memFree=122755892/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2060792 memory=50936 CPUtime=0.3 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 4568 0 0 0 28 2 0 0 20 0 1 0 163262289 2110251008 12734 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 515198 12734 1728 439 0 510627 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2060792 KiB
Current children cumulated memory: 50936 KiB
[startup+0.70024 s]
/proc/loadavg: 4.13 4.15 4.12 5/257 845705
/proc/meminfo: memFree=122751544/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2061488 memory=54624 CPUtime=0.69 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 6479 0 0 0 66 3 0 0 20 0 1 0 163262289 2110963712 13656 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 515372 13656 1728 439 0 510801 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2061488 KiB
Current children cumulated memory: 54624 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.15 4.12 5/257 845706
/proc/meminfo: memFree=122748996/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2073280 memory=65224 CPUtime=1.48 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 11614 0 0 0 144 4 0 0 20 0 1 0 163262289 2123038720 16306 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 518320 16306 1728 439 0 513749 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2073280 KiB
Current children cumulated memory: 65224 KiB
[startup+3.10584 s]
/proc/loadavg: 4.13 4.15 4.12 5/257 845706
/proc/meminfo: memFree=122720292/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2089664 memory=77268 CPUtime=3.08 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 12137 0 0 0 303 5 0 0 20 0 1 0 163262289 2139815936 19317 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 522416 19317 1728 439 0 517845 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2089664 KiB
Current children cumulated memory: 77268 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.15 4.11 5/257 845706
/proc/meminfo: memFree=122724336/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2068832 memory=60492 CPUtime=6.27 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 15644 0 0 0 616 11 0 0 20 0 1 0 163262289 2118483968 15123 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517208 15123 1728 439 0 512637 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2068832 KiB
Current children cumulated memory: 60492 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.11 5/257 845709
/proc/meminfo: memFree=122743284/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2086752 memory=64844 CPUtime=12.64 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 19568 0 0 0 1251 13 0 0 20 0 1 0 163262289 2136834048 16211 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 521688 16211 1728 439 0 517117 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2086752 KiB
Current children cumulated memory: 64844 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 845710
/proc/meminfo: memFree=122752188/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2071904 memory=64568 CPUtime=25.41 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 23012 0 0 0 2516 25 0 0 20 0 1 0 163262289 2121629696 16142 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517976 16142 1728 439 0 513405 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 64568 KiB
[startup+39.574 s]
# the end of solver process 845704 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=39.0457 s, system=0.39564 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 845710
/proc/meminfo: memFree=122752188/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2071904 memory=64568 CPUtime=25.51 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 23012 0 0 0 2526 25 0 0 20 0 1 0 163262289 2121629696 16142 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517976 16142 1728 439 0 513405 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 64568 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.16 4.15 4.12 5/257 845712
/proc/meminfo: memFree=122716704/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2071904 memory=64772 CPUtime=31.88 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 23027 0 0 0 3157 31 0 0 20 0 1 0 163262289 2121629696 16193 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517976 16193 1728 439 0 513405 0
Current children cumulated CPU time: 31.88 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 64772 KiB
[startup+35.2002 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 845712
/proc/meminfo: memFree=122726748/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2071904 memory=64772 CPUtime=35.07 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 23027 0 0 0 3473 34 0 0 20 0 1 0 163262289 2121629696 16193 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517976 16193 1728 439 0 513405 0
Current children cumulated CPU time: 35.07 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 64772 KiB
[startup+36.8002 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 845712
/proc/meminfo: memFree=122714432/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2071904 memory=64772 CPUtime=36.67 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 23027 0 0 0 3630 37 0 0 20 0 1 0 163262289 2121629696 16193 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517976 16193 1728 439 0 513405 0
Current children cumulated CPU time: 36.67 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 64772 KiB
[startup+38.4002 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 845712
/proc/meminfo: memFree=122693760/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2071904 memory=64772 CPUtime=38.26 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 23027 0 0 0 3787 39 0 0 20 0 1 0 163262289 2121629696 16193 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517976 16193 1728 439 0 513405 0
Current children cumulated CPU time: 38.26 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 64772 KiB
[startup+39.2002 s]
/proc/loadavg: 4.13 4.15 4.11 5/257 845712
/proc/meminfo: memFree=122678756/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2071904 memory=64772 CPUtime=39.06 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 23031 0 0 0 3867 39 0 0 20 0 1 0 163262289 2121629696 16193 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517976 16193 1728 439 0 513405 0
Current children cumulated CPU time: 39.06 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 64772 KiB
[startup+39.4002 s]
/proc/loadavg: 4.13 4.15 4.11 5/257 845712
/proc/meminfo: memFree=122678756/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2071904 memory=64772 CPUtime=39.26 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 23031 0 0 0 3887 39 0 0 20 0 1 0 163262289 2121629696 16193 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517976 16193 1728 439 0 513405 0
Current children cumulated CPU time: 39.26 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 64772 KiB
[startup+39.5002 s]
/proc/loadavg: 4.13 4.15 4.11 5/257 845712
/proc/meminfo: memFree=122678756/131524596 swapFree=131071996/131071996
[pid=845704] ppid=845701 vsize=2071904 memory=64772 CPUtime=39.36 cores=0,2
/proc/845704/stat : 845704 (pb_picat) R 845701 845704 840869 0 -1 4194304 23031 0 0 0 3897 39 0 0 20 0 1 0 163262289 2121629696 16193 134679101440 4194304 5989780 140736856777360 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 21655552 140736856781849 140736856781925 140736856781925 140736856788940 0
/proc/845704/statm: 517976 16193 1728 439 0 513405 0
Current children cumulated CPU time: 39.36 s
Current children cumulated vsize: 2071904 KiB
Current children cumulated memory: 64772 KiB
Child status: 0
Real time (s): 39.574
CPU time (s): 39.4414
CPU user time (s): 39.0457
CPU system time (s): 0.39564
CPU usage (%): 99.6647
Max. virtual memory (cumulated for all children) (KiB): 2090048
Max. memory (cumulated for all children) (KiB): 81052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.0457
system time used= 0.39564
maximum resident set size= 81052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23043
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= 278
# summary of solver processes directly reported to runsolver:
# pid: 845704
# total CPU time (s): 39.4414
# total CPU user time (s): 39.0457
# total CPU system time (s): 0.39564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.095064 second user time and 0.212269 second system time
The end
Begin job on nodeC034 at 2024-07-16 08:22:10 IDJOB=4436384 IDBENCH=148704 IDSOLVER=3068 FILE ID=nodeC034/4436384-1721110917 RUNJOBID= nodeC034-1721103131-840879 SLURM_JOB_ID= 7505618 Free space on /tmp= 890060 MiB SOLVER NAME= Picat 2024-06-18 BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__8.opb COMMAND LINE= pb_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436384-1721110917/watcher-4436384-1721110917 -o /tmp/evaluation-result-4436384-1721110917/solver-4436384-1721110917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721103131-840879 --watchdog 3760 pb_picat HOME/instance-4436384-1721110917.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2d146ebdf2817567f5780fc8d24c5107 RANDOM SEED=1531106725 nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3650.706 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3691.351 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3635.918 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.374 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3676.389 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3691.425 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3605.637 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.219 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524596 kB MemFree: 122805408 kB MemAvailable: 128550992 kB Buffers: 388088 kB Cached: 6124640 kB SwapCached: 0 kB Active: 715760 kB Inactive: 7251384 kB Active(anon): 1508 kB Inactive(anon): 1490620 kB Active(file): 714252 kB Inactive(file): 5760764 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 3800 kB Writeback: 0 kB AnonPages: 1448996 kB Mapped: 114128 kB Shmem: 37720 kB KReclaimable: 220784 kB Slab: 342428 kB SReclaimable: 220784 kB SUnreclaim: 121644 kB KernelStack: 4144 kB PageTables: 12272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 7201396 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63360 kB HardwareCorrupted: 0 kB AnonHugePages: 1226752 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 250580 kB DirectMap2M: 28882944 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890056 MiB End job on nodeC034 at 2024-07-16 08:22:50