Trace number 4525234

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PRINTEMPS 2025-05-28MSAT (TO) 3600.25 1996.17

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MD5SUMfaaafc1d2d1dba01ec3e252f861d3fdd
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.428346
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints43
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Top cost 2285
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2284
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
0.00/0.00	c #variable: 4970
0.00/0.00	c #constraint: 141
0.00/0.00	c #equal: 0
0.00/0.00	c intsize: 7
0.00/0.00	c sizeproduct: 0
0.00/0.00	c #soft: 43
0.00/0.00	c mincost: 1
0.00/0.00	c maxcost: 97
0.00/0.00	c sumcost: 2284
0.00/0.00	c iteration_max: -1
0.00/0.00	c time_max: -1
0.00/0.00	c number_of_threads(move update): 2
0.00/0.00	c number_of_threads(move evaluation): 2
0.00/0.00	c seed: 143905086
0.00/0.02	o 37
0.00/0.02	o 19
0.00/0.03	o 4
0.00/0.03	o 3
0.00/0.05	o 1
3600.17/1996.14	s SATISFIABLE
3600.17/1996.14	v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x195 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x413 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x438 -x4380 -x4381 -x4382 -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x44 -x440 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x448 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 -x4582 -x4583 -x4584 x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670 -x4671 x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x48 -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 x4828 -x4829 -x483 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x491 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data 

OK	1

Watcher Data 

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: 63665 MiB (62300 MiB free)
  memory of node 1: 64507 MiB (63643 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525234-1751623661/watcher-4525234-1751623661 -o /tmp/evaluation-result-4525234-1751623661/solver-4525234-1751623661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751621674-96835 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 143905086 HOME/instance-4525234-1751623661.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=97147, runsolver pid=97144

[startup+0.100061 s]*
/proc/loadavg: 7.47 7.38 7.05 9/268 97149
/proc/meminfo: memFree=128962656/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=85424 memory=11808 CPUtime=0.17 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 2551 0 0 0 17 0 0 0 20 0 2 0 78043913 87474176 2952 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 21356 2952 672 633 0 4380 0
[pid=97147/tid=97149] ppid=97144 vsize=85424 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 197 0 0 0 8 0 0 0 20 0 2 0 78043913 87474176 2952 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 85424 KiB
Current children cumulated memory: 11808 KiB

[startup+0.204958 s]*
/proc/loadavg: 7.47 7.38 7.05 9/268 97149
/proc/meminfo: memFree=128961900/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=86204 memory=12160 CPUtime=0.34 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 2730 0 0 0 33 1 0 0 20 0 2 0 78043913 88272896 3040 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 21551 3040 672 633 0 4575 0
[pid=97147/tid=97149] ppid=97144 vsize=86204 memory=664958721904869660 CPUtime=0.14 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 197 0 0 0 14 0 0 0 20 0 2 0 78043913 88272896 3040 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 86204 KiB
Current children cumulated memory: 12160 KiB

[startup+0.304993 s]*
/proc/loadavg: 7.47 7.38 7.05 8/268 97149
/proc/meminfo: memFree=128961900/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=86348 memory=12416 CPUtime=0.51 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 2818 0 0 0 50 1 0 0 20 0 2 0 78043913 88420352 3104 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 21587 3104 672 633 0 4611 0
[pid=97147/tid=97149] ppid=97144 vsize=86348 memory=7970672606199168363 CPUtime=0.21 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 197 0 0 0 21 0 0 0 20 0 2 0 78043913 88420352 3104 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 86348 KiB
Current children cumulated memory: 12416 KiB

[startup+0.700138 s]
/proc/loadavg: 7.47 7.38 7.05 7/268 97149
/proc/meminfo: memFree=128961400/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=87796 memory=13532 CPUtime=1.16 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 3225 0 0 0 115 1 0 0 20 0 2 0 78043913 89903104 3383 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 21949 3383 672 633 0 4973 0
[pid=97147/tid=97149] ppid=97144 vsize=87796 memory=18816 CPUtime=0.48 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 197 0 0 0 48 0 0 0 20 0 2 0 78043913 89903104 3383 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 87796 KiB
Current children cumulated memory: 13532 KiB

[startup+1.50014 s]
/proc/loadavg: 7.47 7.38 7.05 8/268 97149
/proc/meminfo: memFree=128960896/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=88076 memory=14300 CPUtime=2.66 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 5601 0 0 0 263 3 0 0 20 0 2 0 78043913 90189824 3575 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 22019 3575 672 633 0 5043 0
[pid=97147/tid=97149] ppid=97144 vsize=88076 memory=18816 CPUtime=1.18 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 817 0 0 0 118 0 0 0 20 0 2 0 78043913 90189824 3575 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 88076 KiB
Current children cumulated memory: 14300 KiB

[startup+3.10518 s]
/proc/loadavg: 7.43 7.37 7.05 9/268 97149
/proc/meminfo: memFree=128957904/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=89972 memory=15116 CPUtime=5.64 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 8568 0 0 0 560 4 0 0 20 0 2 0 78043913 92131328 3779 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 22493 3779 672 633 0 5517 0
[pid=97147/tid=97149] ppid=97144 vsize=89972 memory=14428 CPUtime=2.56 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) S 97144 97147 96823 0 -1 4194368 1141 0 0 0 256 0 0 0 20 0 2 0 78043913 92131328 3779 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 89972 KiB
Current children cumulated memory: 15116 KiB

[startup+6.30015 s]
/proc/loadavg: 7.43 7.37 7.05 9/268 97149
/proc/meminfo: memFree=128958056/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=90196 memory=15628 CPUtime=11.41 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 11276 0 0 0 1135 6 0 0 20 0 2 0 78043913 92360704 3907 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 22549 3907 672 633 0 5573 0
[pid=97147/tid=97149] ppid=97144 vsize=90196 memory=18816 CPUtime=5.16 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 1651 0 0 0 515 1 0 0 20 0 2 0 78043913 92360704 3907 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 11.41 s
Current children cumulated vsize: 90196 KiB
Current children cumulated memory: 15628 KiB

[startup+12.7002 s]
/proc/loadavg: 7.47 7.38 7.06 8/268 97149
/proc/meminfo: memFree=128958456/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=90444 memory=16140 CPUtime=23.32 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 14094 0 0 0 2320 12 0 0 20 0 2 0 78043913 92614656 4035 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 22611 4035 672 633 0 5635 0
[pid=97147/tid=97149] ppid=97144 vsize=90444 memory=16140 CPUtime=10.7 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 1915 0 0 0 1068 2 0 0 20 0 2 0 78043913 92614656 4035 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 23.32 s
Current children cumulated vsize: 90444 KiB
Current children cumulated memory: 16140 KiB

[startup+25.5002 s]
/proc/loadavg: 7.38 7.36 7.06 8/268 97195
/proc/meminfo: memFree=128966456/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=91128 memory=17292 CPUtime=46.63 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 17389 0 0 0 4640 23 0 0 20 0 2 0 78043913 93315072 4323 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 22782 4323 672 633 0 5806 0
[pid=97147/tid=97149] ppid=97144 vsize=91128 memory=16780 CPUtime=21.28 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 2535 0 0 0 2123 5 0 0 20 0 2 0 78043913 93315072 4323 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 46.63 s
Current children cumulated vsize: 91128 KiB
Current children cumulated memory: 17292 KiB

[startup+51.1054 s]
/proc/loadavg: 7.76 7.45 7.09 9/268 97196
/proc/meminfo: memFree=128954184/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=94648 memory=19900 CPUtime=92.61 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 20221 0 0 0 9221 40 0 0 20 0 2 0 78043913 96919552 4975 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 23662 4975 672 633 0 6686 0
[pid=97147/tid=97149] ppid=97144 vsize=94648 memory=19900 CPUtime=41.79 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 3244 0 0 0 4172 7 0 0 20 0 2 0 78043913 96919552 4975 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 92.61 s
Current children cumulated vsize: 94648 KiB
Current children cumulated memory: 19900 KiB

[startup+102.3 s]
/proc/loadavg: 7.86 7.53 7.14 9/268 97198
/proc/meminfo: memFree=128953248/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=95748 memory=21052 CPUtime=186.18 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 24691 0 0 0 18550 68 0 0 20 0 2 0 78043913 98045952 5263 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 23937 5263 672 633 0 6961 0
[pid=97147/tid=97149] ppid=97144 vsize=95748 memory=20796 CPUtime=84.49 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) S 97144 97147 96823 0 -1 4194368 4057 0 0 0 8436 13 0 0 20 0 2 0 78043913 98045952 5263 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 186.18 s
Current children cumulated vsize: 95748 KiB
Current children cumulated memory: 21052 KiB

[startup+162.3 s]
/proc/loadavg: 7.76 7.57 7.18 9/268 97200
/proc/meminfo: memFree=128955168/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=96876 memory=22332 CPUtime=294.62 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 26496 0 0 0 29362 100 0 0 20 0 2 0 78043913 99201024 5583 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 24219 5583 672 633 0 7243 0
[pid=97147/tid=97149] ppid=97144 vsize=96876 memory=21564 CPUtime=133.32 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) S 97144 97147 96823 0 -1 4194368 4104 0 0 0 13309 23 0 0 20 0 2 0 78043913 99201024 5583 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 294.62 s
Current children cumulated vsize: 96876 KiB
Current children cumulated memory: 22332 KiB

[startup+222.3 s]
/proc/loadavg: 7.83 7.62 7.22 8/268 97203
/proc/meminfo: memFree=128950736/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=97560 memory=23484 CPUtime=402.03 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 26970 0 0 0 40076 127 0 0 20 0 2 0 78043913 99901440 5871 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 24390 5871 672 633 0 7414 0
[pid=97147/tid=97149] ppid=97144 vsize=97560 memory=23100 CPUtime=181.17 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) S 97144 97147 96823 0 -1 4194368 4156 0 0 0 18085 32 0 0 20 0 2 0 78043913 99901440 5871 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 402.03 s
Current children cumulated vsize: 97560 KiB
Current children cumulated memory: 23484 KiB

[startup+282.3 s]
/proc/loadavg: 7.78 7.65 7.26 8/268 97210
/proc/meminfo: memFree=128946064/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=103624 memory=25892 CPUtime=509.33 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 27626 0 0 0 50784 149 0 0 20 0 2 0 78043913 106110976 6473 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 25906 6473 672 633 0 8930 0
[pid=97147/tid=97149] ppid=97144 vsize=103624 memory=25892 CPUtime=228.96 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4222 0 0 0 22857 39 0 0 20 0 2 0 78043913 106110976 6473 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 509.33 s
Current children cumulated vsize: 103624 KiB
Current children cumulated memory: 25892 KiB

################
# More data... #
################

/proc/meminfo: memFree=128941524/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=2568.88 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 32792 0 0 0 256465 423 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1159.69 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4665 0 0 0 115818 151 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 2568.88 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

[startup+1482.3 s]
/proc/loadavg: 7.71 7.62 7.54 9/268 97268
/proc/meminfo: memFree=128941532/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=2677.56 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 32795 0 0 0 267321 435 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1208.97 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4667 0 0 0 120741 156 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 2677.56 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

[startup+1542.3 s]
/proc/loadavg: 7.59 7.62 7.54 8/267 97270
/proc/meminfo: memFree=128941168/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=2786.06 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 32805 0 0 0 278158 448 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1258.07 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) S 97144 97147 96823 0 -1 4194368 4668 0 0 0 125646 161 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 2786.06 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

[startup+1602.3 s]
/proc/loadavg: 7.54 7.58 7.53 9/267 97272
/proc/meminfo: memFree=128941520/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=2894.77 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 32806 0 0 0 289016 461 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1307.38 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4668 0 0 0 130571 167 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 2894.77 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

[startup+1662.3 s]
/proc/loadavg: 7.77 7.65 7.56 9/267 97274
/proc/meminfo: memFree=128941240/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=3003.47 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 33128 0 0 0 299874 473 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1356.65 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4734 0 0 0 135493 172 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 3003.47 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

[startup+1722.3 s]
/proc/loadavg: 7.58 7.63 7.56 9/267 97276
/proc/meminfo: memFree=128942200/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=3112.04 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 33129 0 0 0 310718 486 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1405.83 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4734 0 0 0 140406 177 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 3112.04 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

[startup+1782.3 s]
/proc/loadavg: 7.50 7.61 7.56 8/269 97329
/proc/meminfo: memFree=128865748/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=3220.83 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 33441 0 0 0 321585 498 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1455.19 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4804 0 0 0 145336 183 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 3220.83 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

[startup+1842.3 s]
/proc/loadavg: 6.68 7.36 7.47 6/269 97331
/proc/meminfo: memFree=128725640/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=3325.74 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 33444 0 0 0 332059 515 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1500.57 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4806 0 0 0 149869 188 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 3325.74 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

[startup+1902.3 s]
/proc/loadavg: 6.88 7.28 7.43 7/269 97333
/proc/meminfo: memFree=128689496/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=3432.74 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 33452 0 0 0 342746 528 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1548.07 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) S 97144 97147 96823 0 -1 4194368 4806 0 0 0 154614 193 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 3432.74 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

[startup+1962.3 s]
/proc/loadavg: 6.24 7.03 7.34 6/270 97381
/proc/meminfo: memFree=128446744/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=3539.78 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 33453 0 0 0 353435 543 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=16360 CPUtime=1595.66 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4806 0 0 0 159369 197 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 3539.78 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1996.11 s]
/proc/loadavg: 6.40 6.97 7.31 6/270 97428
/proc/meminfo: memFree=128240728/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=3600.17 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 33773 0 0 0 359467 550 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1622.53 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4871 0 0 0 162054 199 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1996.17 s]
# the end of solver process 97147 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3594.75 s, system=5.50845 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1996.11 s]
/proc/loadavg: 6.40 6.97 7.31 6/270 97428
/proc/meminfo: memFree=128240728/131250000 swapFree=33010416/33010684
[pid=97147] ppid=97144 vsize=107548 memory=31732 CPUtime=3600.17 cores=1,3
/proc/97147/stat : 97147 (pb_competition_) R 97144 97147 96823 0 -1 4194304 33773 0 0 0 359467 550 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
/proc/97147/statm: 26887 7933 672 633 0 9911 0
[pid=97147/tid=97149] ppid=97144 vsize=107548 memory=31732 CPUtime=1622.53 cores=1,3
/proc/97147/task/97149/stat : 97149 (pb_competition_) R 97144 97147 96823 0 -1 4194368 4871 0 0 0 162054 199 0 0 20 0 2 0 78043913 110129152 7933 18446744073709551615 4198400 6788177 140734077566816 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7639040 140734077573464 140734077573590 140734077573590 140734077579194 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 31732 KiB

Child status: 0

Real time (s): 1996.17
CPU time (s): 3600.25
CPU user time (s): 3594.75
CPU system time (s): 5.50845
CPU usage (%): 180.358
Max. virtual memory (cumulated for all children) (KiB): 107548
Max. memory (cumulated for all children) (KiB): 31732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.75
system time used= 5.50845
maximum resident set size= 31732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34070
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= 25086
involuntary context switches= 94801


# summary of solver processes directly reported to runsolver:
#   pid: 97147
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3594.75
#   total CPU system time (s): 5.50845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25237 second user time and 9.33713 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-04 12:07:41
IDJOB=4525234
IDBENCH=143520
IDSOLVER=3379
FILE ID=nodeC018/4525234-1751623661
RUNJOBID= nodeC018-1751621674-96835
SLURM_JOB_ID= 9598941
Free space on /tmp= 432560 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525234-1751623661/watcher-4525234-1751623661 -o /tmp/evaluation-result-4525234-1751623661/solver-4525234-1751623661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751621674-96835 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 143905086 HOME/instance-4525234-1751623661.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= faaafc1d2d1dba01ec3e252f861d3fdd
RANDOM SEED=143905086

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.954
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3602.054
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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.118
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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.003
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3600.108
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.827
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.837
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.820
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128966116 kB
MemAvailable:   129687536 kB
Buffers:            2128 kB
Cached:          1484920 kB
SwapCached:           32 kB
Active:           593844 kB
Inactive:        1009960 kB
Active(anon):     134512 kB
Inactive(anon):      288 kB
Active(file):     459332 kB
Inactive(file):  1009672 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10636 kB
Writeback:             0 kB
AnonPages:        119872 kB
Mapped:           112360 kB
Shmem:             18044 kB
KReclaimable:     182912 kB
Slab:             273400 kB
SReclaimable:     182912 kB
SUnreclaim:        90488 kB
KernelStack:        4320 kB
PageTables:         3156 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     479640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432552 MiB
End job on nodeC018 at 2025-07-04 12:40:57