Trace number 4524595

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.23 2029.28

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM7739b4d9ca7025fb6750e4f7ea1afab1
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.763853
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints202
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 10037
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10036
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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.02	c #variable: 5100
0.00/0.02	c #constraint: 202
0.00/0.02	c #equal: 0
0.00/0.02	c intsize: 6
0.00/0.02	c sizeproduct: 0
0.00/0.02	c #soft: 202
0.00/0.02	c mincost: 1
0.00/0.02	c maxcost: 100
0.00/0.02	c sumcost: 10036
0.00/0.02	c iteration_max: -1
0.00/0.02	c time_max: -1
0.00/0.02	c number_of_threads(move update): 2
0.00/0.02	c number_of_threads(move evaluation): 2
0.00/0.02	c seed: 1780564274
0.00/0.06	o 119
0.00/0.07	o 85
0.00/0.08	o 21
0.00/0.10	o 14
0.15/0.12	o 7
0.15/0.13	o 4
0.51/0.33	o 3
3600.13/2029.25	s SATISFIABLE
3600.13/2029.25	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 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x51 -x510 -x5100 -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	3

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: 63837 MiB (60780 MiB free)
  memory of node 1: 64465 MiB (63568 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524595-1751616342/watcher-4524595-1751616342 -o /tmp/evaluation-result-4524595-1751616342/solver-4524595-1751616342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751613687-86964 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1780564274 HOME/instance-4524595-1751616342.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87206, runsolver pid=87203
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.29 4.40 4.51 6/253 87208
/proc/meminfo: memFree=127329220/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=85304 memory=11520 CPUtime=0.15 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 2541 0 0 0 15 0 0 0 20 0 2 0 77313373 87351296 2880 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 21326 2880 672 633 0 4329 0
[pid=87206/tid=87208] ppid=87203 vsize=85304 memory=4026531960 CPUtime=0.05 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 176 0 0 0 5 0 0 0 20 0 2 0 77313373 87351296 2880 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 85304 KiB
Current children cumulated memory: 11520 KiB

[startup+0.214244 s]*
/proc/loadavg: 4.29 4.40 4.51 6/253 87208
/proc/meminfo: memFree=127329220/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=86024 memory=12032 CPUtime=0.34 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) S 87203 87206 86557 0 -1 4194304 2666 0 0 0 33 1 0 0 20 0 2 0 77313373 88088576 3008 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 21506 3008 672 633 0 4509 0
[pid=87206/tid=87208] ppid=87203 vsize=86024 memory=664958721904869660 CPUtime=0.13 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 176 0 0 0 13 0 0 0 20 0 2 0 77313373 88088576 3008 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 86024 KiB
Current children cumulated memory: 12032 KiB

[startup+0.312959 s]*
/proc/loadavg: 4.29 4.40 4.51 6/253 87208
/proc/meminfo: memFree=127329220/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=86024 memory=12032 CPUtime=0.51 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) S 87203 87206 86557 0 -1 4194304 2666 0 0 0 50 1 0 0 20 0 2 0 77313373 88088576 3008 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 21506 3008 672 633 0 4509 0
[pid=87206/tid=87208] ppid=87203 vsize=86024 memory=-7169587389240087397 CPUtime=0.21 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 176 0 0 0 21 0 0 0 20 0 2 0 77313373 88088576 3008 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 86024 KiB
Current children cumulated memory: 12032 KiB

[startup+0.700302 s]
/proc/loadavg: 4.29 4.40 4.51 5/253 87208
/proc/meminfo: memFree=127329220/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=86160 memory=12160 CPUtime=1.14 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 2719 0 0 0 112 2 0 0 20 0 2 0 77313373 88227840 3040 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 21540 3040 672 633 0 4543 0
[pid=87206/tid=87208] ppid=87203 vsize=86160 memory=18432 CPUtime=0.47 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 176 0 0 0 47 0 0 0 20 0 2 0 77313373 88227840 3040 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 86160 KiB
Current children cumulated memory: 12160 KiB

[startup+1.50025 s]
/proc/loadavg: 4.26 4.39 4.50 5/253 87208
/proc/meminfo: memFree=127329220/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=87656 memory=13180 CPUtime=2.48 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 5356 0 0 0 244 4 0 0 20 0 2 0 77313373 89759744 3295 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 21914 3295 672 633 0 4917 0
[pid=87206/tid=87208] ppid=87203 vsize=87656 memory=18432 CPUtime=1.01 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 232 0 0 0 101 0 0 0 20 0 2 0 77313373 89759744 3295 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 87656 KiB
Current children cumulated memory: 13180 KiB

[startup+3.10583 s]
/proc/loadavg: 4.26 4.39 4.50 6/253 87208
/proc/meminfo: memFree=127328724/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=88340 memory=14204 CPUtime=5.53 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 5653 0 0 0 547 6 0 0 20 0 2 0 77313373 90460160 3551 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 22085 3551 672 633 0 5088 0
[pid=87206/tid=87208] ppid=87203 vsize=88340 memory=13436 CPUtime=2.47 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 233 0 0 0 246 1 0 0 20 0 2 0 77313373 90460160 3551 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 88340 KiB
Current children cumulated memory: 14204 KiB

[startup+6.30021 s]
/proc/loadavg: 4.32 4.40 4.51 6/253 87208
/proc/meminfo: memFree=127326708/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=89904 memory=14764 CPUtime=11.37 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 8450 0 0 0 1128 9 0 0 20 0 2 0 77313373 92061696 3691 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 22476 3691 672 633 0 5479 0
[pid=87206/tid=87208] ppid=87203 vsize=89904 memory=18432 CPUtime=5.15 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 998 0 0 0 513 2 0 0 20 0 2 0 77313373 92061696 3691 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 11.37 s
Current children cumulated vsize: 89904 KiB
Current children cumulated memory: 14764 KiB

[startup+12.7002 s]
/proc/loadavg: 4.38 4.41 4.51 7/253 87208
/proc/meminfo: memFree=127326960/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=90140 memory=15276 CPUtime=23.21 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 11082 0 0 0 2304 17 0 0 20 0 2 0 77313373 92303360 3819 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 22535 3819 672 633 0 5538 0
[pid=87206/tid=87208] ppid=87203 vsize=90140 memory=15276 CPUtime=10.65 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 1315 0 0 0 1060 5 0 0 20 0 2 0 77313373 92303360 3819 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 23.21 s
Current children cumulated vsize: 90140 KiB
Current children cumulated memory: 15276 KiB

[startup+25.5002 s]
/proc/loadavg: 4.47 4.43 4.52 5/253 87208
/proc/meminfo: memFree=127327212/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=90736 memory=16044 CPUtime=44.68 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 16078 0 0 0 4441 27 0 0 20 0 2 0 77313373 92913664 4011 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 22684 4011 672 633 0 5687 0
[pid=87206/tid=87208] ppid=87203 vsize=90736 memory=16044 CPUtime=19.43 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) S 87203 87206 86557 0 -1 4194368 2113 0 0 0 1935 8 0 0 20 0 2 0 77313373 92913664 4011 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 44.68 s
Current children cumulated vsize: 90736 KiB
Current children cumulated memory: 16044 KiB

[startup+51.1057 s]
/proc/loadavg: 5.07 4.58 4.56 6/253 87208
/proc/meminfo: memFree=127329236/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=91304 memory=17196 CPUtime=90.36 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 16998 0 0 0 8989 47 0 0 20 0 2 0 77313373 93495296 4299 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 22826 4299 672 633 0 5829 0
[pid=87206/tid=87208] ppid=87203 vsize=91304 memory=18432 CPUtime=39.7 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 2394 0 0 0 3958 12 0 0 20 0 2 0 77313373 93495296 4299 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 90.36 s
Current children cumulated vsize: 91304 KiB
Current children cumulated memory: 17196 KiB

[startup+102.3 s]
/proc/loadavg: 5.22 4.70 4.60 7/253 87210
/proc/meminfo: memFree=127307696/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=95144 memory=19240 CPUtime=183.13 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 29308 0 0 0 18229 84 0 0 20 0 2 0 77313373 97427456 4810 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 23786 4810 672 633 0 6789 0
[pid=87206/tid=87208] ppid=87203 vsize=95144 memory=18432 CPUtime=81.69 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 5057 0 0 0 8146 23 0 0 20 0 2 0 77313373 97427456 4810 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 183.13 s
Current children cumulated vsize: 95144 KiB
Current children cumulated memory: 19240 KiB

[startup+162.3 s]
/proc/loadavg: 5.41 4.86 4.67 6/253 87212
/proc/meminfo: memFree=127312500/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=95776 memory=21960 CPUtime=290.91 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 29681 0 0 0 28966 125 0 0 20 0 2 0 77313373 98074624 5490 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 23944 5490 672 633 0 6947 0
[pid=87206/tid=87208] ppid=87203 vsize=95776 memory=5504 CPUtime=129.93 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 5111 0 0 0 12958 35 0 0 20 0 2 0 77313373 98074624 5490 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 290.91 s
Current children cumulated vsize: 95776 KiB
Current children cumulated memory: 21960 KiB

[startup+222.3 s]
/proc/loadavg: 5.28 4.93 4.71 7/254 87217
/proc/meminfo: memFree=127317884/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=96680 memory=22856 CPUtime=398.16 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 36728 0 0 0 39653 163 0 0 20 0 2 0 77313373 99000320 5714 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 24170 5714 672 633 0 7173 0
[pid=87206/tid=87208] ppid=87203 vsize=96680 memory=18432 CPUtime=177.66 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) S 87203 87206 86557 0 -1 4194368 6239 0 0 0 17720 46 0 0 20 0 2 0 77313373 99000320 5714 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 398.16 s
Current children cumulated vsize: 96680 KiB
Current children cumulated memory: 22856 KiB

[startup+282.3 s]
/proc/loadavg: 5.09 4.93 4.72 6/254 87219
/proc/meminfo: memFree=127319608/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=97236 memory=23368 CPUtime=504.84 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 40471 0 0 0 50289 195 0 0 20 0 2 0 77313373 99569664 5842 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 24309 5842 672 633 0 7312 0
[pid=87206/tid=87208] ppid=87203 vsize=97236 memory=23368 CPUtime=224.92 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 6555 0 0 0 22435 57 0 0 20 0 2 0 77313373 99569664 5842 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 504.84 s
Current children cumulated vsize: 97236 KiB

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

/proc/meminfo: memFree=129733780/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=106924 memory=32176 CPUtime=2518.89 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 66096 0 0 0 251335 554 0 0 20 0 2 0 77313373 109490176 8044 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26731 8044 672 633 0 9734 0
[pid=87206/tid=87208] ppid=87203 vsize=106924 memory=32048 CPUtime=1108.41 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 10576 0 0 0 110673 168 0 0 20 0 2 0 77313373 109490176 8044 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 2518.89 s
Current children cumulated vsize: 106924 KiB
Current children cumulated memory: 32176 KiB

[startup+1482.3 s]
/proc/loadavg: 7.35 7.23 6.38 10/255 87413
/proc/meminfo: memFree=129732524/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107056 memory=32176 CPUtime=2625.99 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 66103 0 0 0 262030 569 0 0 20 0 2 0 77313373 109625344 8044 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26764 8044 672 633 0 9767 0
[pid=87206/tid=87208] ppid=87203 vsize=107056 memory=32048 CPUtime=1156.05 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 10576 0 0 0 115430 175 0 0 20 0 2 0 77313373 109625344 8044 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 2625.99 s
Current children cumulated vsize: 107056 KiB
Current children cumulated memory: 32176 KiB

[startup+1542.3 s]
/proc/loadavg: 7.52 7.29 6.46 10/255 87415
/proc/meminfo: memFree=129724220/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107056 memory=32176 CPUtime=2733.02 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 67175 0 0 0 272720 582 0 0 20 0 2 0 77313373 109625344 8044 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26764 8044 672 633 0 9767 0
[pid=87206/tid=87208] ppid=87203 vsize=107056 memory=32176 CPUtime=1203.61 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 10714 0 0 0 120180 181 0 0 20 0 2 0 77313373 109625344 8044 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 2733.02 s
Current children cumulated vsize: 107056 KiB
Current children cumulated memory: 32176 KiB

[startup+1602.3 s]
/proc/loadavg: 7.53 7.36 6.54 10/255 87417
/proc/meminfo: memFree=129724084/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107252 memory=32304 CPUtime=2839.95 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 67226 0 0 0 283399 596 0 0 20 0 2 0 77313373 109826048 8076 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26813 8076 672 633 0 9816 0
[pid=87206/tid=87208] ppid=87203 vsize=107252 memory=32176 CPUtime=1251.1 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 10714 0 0 0 124924 186 0 0 20 0 2 0 77313373 109826048 8076 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 2839.95 s
Current children cumulated vsize: 107252 KiB
Current children cumulated memory: 32304 KiB

[startup+1662.3 s]
/proc/loadavg: 7.43 7.36 6.59 10/255 87419
/proc/meminfo: memFree=129723624/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107252 memory=32432 CPUtime=2946.99 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 68352 0 0 0 294088 611 0 0 20 0 2 0 77313373 109826048 8108 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26813 8108 672 633 0 9816 0
[pid=87206/tid=87208] ppid=87203 vsize=107252 memory=16248 CPUtime=1298.69 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 10795 0 0 0 129677 192 0 0 20 0 2 0 77313373 109826048 8108 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 2946.99 s
Current children cumulated vsize: 107252 KiB
Current children cumulated memory: 32432 KiB

[startup+1722.3 s]
/proc/loadavg: 7.55 7.40 6.66 10/255 87425
/proc/meminfo: memFree=129738836/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107536 memory=32688 CPUtime=3053.79 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 68419 0 0 0 304755 624 0 0 20 0 2 0 77313373 110116864 8172 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26884 8172 672 633 0 9887 0
[pid=87206/tid=87208] ppid=87203 vsize=107536 memory=32432 CPUtime=1346.06 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 10795 0 0 0 134409 197 0 0 20 0 2 0 77313373 110116864 8172 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 3053.79 s
Current children cumulated vsize: 107536 KiB
Current children cumulated memory: 32688 KiB

[startup+1782.3 s]
/proc/loadavg: 7.22 7.34 6.68 9/254 87427
/proc/meminfo: memFree=129738584/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107536 memory=32688 CPUtime=3160.66 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 68427 0 0 0 315428 638 0 0 20 0 2 0 77313373 110116864 8172 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26884 8172 672 633 0 9887 0
[pid=87206/tid=87208] ppid=87203 vsize=107536 memory=16248 CPUtime=1393.48 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 10795 0 0 0 139147 201 0 0 20 0 2 0 77313373 110116864 8172 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 3160.66 s
Current children cumulated vsize: 107536 KiB
Current children cumulated memory: 32688 KiB

[startup+1842.3 s]
/proc/loadavg: 7.49 7.41 6.75 10/254 87429
/proc/meminfo: memFree=129738524/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107536 memory=32688 CPUtime=3267.45 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 69624 0 0 0 326094 651 0 0 20 0 2 0 77313373 110116864 8172 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26884 8172 672 633 0 9887 0
[pid=87206/tid=87208] ppid=87203 vsize=107536 memory=32688 CPUtime=1440.84 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 10902 0 0 0 143878 206 0 0 20 0 2 0 77313373 110116864 8172 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 3267.45 s
Current children cumulated vsize: 107536 KiB
Current children cumulated memory: 32688 KiB

[startup+1902.3 s]
/proc/loadavg: 7.39 7.40 6.79 9/254 87431
/proc/meminfo: memFree=129738448/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107536 memory=32688 CPUtime=3374.37 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 70829 0 0 0 336775 662 0 0 20 0 2 0 77313373 110116864 8172 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26884 8172 672 633 0 9887 0
[pid=87206/tid=87208] ppid=87203 vsize=107536 memory=32688 CPUtime=1488.3 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 10954 0 0 0 148620 210 0 0 20 0 2 0 77313373 110116864 8172 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 3374.37 s
Current children cumulated vsize: 107536 KiB
Current children cumulated memory: 32688 KiB

[startup+1962.3 s]
/proc/loadavg: 7.42 7.39 6.83 8/255 87434
/proc/meminfo: memFree=129738132/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107816 memory=32816 CPUtime=3481.09 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 70877 0 0 0 347434 675 0 0 20 0 2 0 77313373 110403584 8204 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26954 8204 672 633 0 9957 0
[pid=87206/tid=87208] ppid=87203 vsize=107816 memory=32816 CPUtime=1535.54 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) S 87203 87206 86557 0 -1 4194368 10954 0 0 0 153339 215 0 0 20 0 2 0 77313373 110403584 8204 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 3481.09 s
Current children cumulated vsize: 107816 KiB
Current children cumulated memory: 32816 KiB

[startup+2022.3 s]
/proc/loadavg: 7.15 7.33 6.84 9/255 87436
/proc/meminfo: memFree=129738120/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107816 memory=32816 CPUtime=3587.83 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 72127 0 0 0 358095 688 0 0 20 0 2 0 77313373 110403584 8204 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26954 8204 672 633 0 9957 0
[pid=87206/tid=87208] ppid=87203 vsize=107816 memory=16248 CPUtime=1582.82 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) S 87203 87206 86557 0 -1 4194368 11086 0 0 0 158062 220 0 0 20 0 2 0 77313373 110403584 8204 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 3587.83 s
Current children cumulated vsize: 107816 KiB
Current children cumulated memory: 32816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2029.2 s]
/proc/loadavg: 7.14 7.32 6.84 10/255 87436
/proc/meminfo: memFree=129737580/131382120 swapFree=33010160/33010684
[pid=87206] ppid=87203 vsize=107816 memory=32816 CPUtime=3600.13 cores=5,7
/proc/87206/stat : 87206 (pb_competition_) R 87203 87206 86557 0 -1 4194304 72127 0 0 0 359323 690 0 0 20 0 2 0 77313373 110403584 8204 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
/proc/87206/statm: 26954 8204 672 633 0 9957 0
[pid=87206/tid=87208] ppid=87203 vsize=107816 memory=6768 CPUtime=1588.27 cores=5,7
/proc/87206/task/87208/stat : 87208 (pb_competition_) R 87203 87206 86557 0 -1 4194368 11086 0 0 0 158607 220 0 0 20 0 2 0 77313373 110403584 8204 18446744073709551615 4198400 6788177 140736501730464 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36114432 140736501737815 140736501737942 140736501737942 140736501743546 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 107816 KiB
Current children cumulated memory: 32816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.32 s, system=6.90449 s

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

Child status: 0

Real time (s): 2029.28
CPU time (s): 3600.23
CPU user time (s): 3593.32
CPU system time (s): 6.90449
CPU usage (%): 177.414
Max. virtual memory (cumulated for all children) (KiB): 107816
Max. memory (cumulated for all children) (KiB): 32816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.32
system time used= 6.90449
maximum resident set size= 32816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72320
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= 25157
involuntary context switches= 72201


# summary of solver processes directly reported to runsolver:
#   pid: 87206
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3593.32
#   total CPU system time (s): 6.90449

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92677 second user time and 9.48628 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-04 10:05:43
IDJOB=4524595
IDBENCH=143138
IDSOLVER=3379
FILE ID=nodeC008/4524595-1751616342
RUNJOBID= nodeC008-1751613687-86964
SLURM_JOB_ID= 9598907
Free space on /tmp= 432784 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-0-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-4524595-1751616342/watcher-4524595-1751616342 -o /tmp/evaluation-result-4524595-1751616342/solver-4524595-1751616342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751613687-86964 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1780564274 HOME/instance-4524595-1751616342.wbo

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

MD5SUM BENCH= 7739b4d9ca7025fb6750e4f7ea1afab1
RANDOM SEED=1780564274

nodeC008 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	: 0xb00001f
cpu MHz		: 3492.028
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3663.115
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.209
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.452
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 3491.859
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.082
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.394
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127332984 kB
MemAvailable:   127495916 kB
Buffers:            2128 kB
Cached:           957160 kB
SwapCached:           16 kB
Active:          3015240 kB
Inactive:         436256 kB
Active(anon):    2475780 kB
Inactive(anon):    34348 kB
Active(file):     539460 kB
Inactive(file):   401908 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5292 kB
Writeback:            12 kB
AnonPages:       2494916 kB
Mapped:           111752 kB
Shmem:             17920 kB
KReclaimable:     122380 kB
Slab:             207504 kB
SReclaimable:     122380 kB
SUnreclaim:        85124 kB
KernelStack:        4064 kB
PageTables:         7792 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2843060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1835008 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432792 MiB
End job on nodeC008 at 2025-07-04 10:39:32