Trace number 4525108

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.19 1985.95

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM485321322f8570ec0cc1d4f7566d27d9
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.263129
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 constraints71
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 3850
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3849
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.01	c #variable: 5100
0.00/0.01	c #constraint: 202
0.00/0.01	c #equal: 0
0.00/0.01	c intsize: 6
0.00/0.01	c sizeproduct: 0
0.00/0.01	c #soft: 71
0.00/0.01	c mincost: 1
0.00/0.01	c maxcost: 98
0.00/0.01	c sumcost: 3849
0.00/0.01	c iteration_max: -1
0.00/0.01	c time_max: -1
0.00/0.01	c number_of_threads(move update): 2
0.00/0.01	c number_of_threads(move evaluation): 2
0.00/0.01	c seed: 587222511
0.00/0.02	o 36
0.00/0.03	o 26
0.00/0.03	o 22
0.00/0.03	o 15
0.00/0.03	o 12
3600.11/1985.93	s SATISFIABLE
3600.11/1985.93	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	12

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525108-1751621674/watcher-4525108-1751621674 -o /tmp/evaluation-result-4525108-1751621674/solver-4525108-1751621674 -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 587222511 HOME/instance-4525108-1751621674.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=96892, runsolver pid=96876
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 1.41 3.10 3.78 9/270 96896
/proc/meminfo: memFree=129005692/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=85332 memory=11468 CPUtime=0.15 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 2542 0 0 0 15 0 0 0 20 0 2 0 77845260 87379968 2867 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 21333 2867 672 633 0 4334 0
[pid=96892/tid=96896] ppid=96876 vsize=85332 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 174 0 0 0 5 0 0 0 20 0 2 0 77845260 87379968 2867 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 85332 KiB
Current children cumulated memory: 11468 KiB

[startup+0.205596 s]*
/proc/loadavg: 1.41 3.10 3.78 10/270 96896
/proc/meminfo: memFree=129004936/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=86552 memory=12236 CPUtime=0.33 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 2729 0 0 0 33 0 0 0 20 0 2 0 77845260 88629248 3059 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 21638 3059 672 633 0 4639 0
[pid=96892/tid=96896] ppid=96876 vsize=86552 memory=5983648042466672924 CPUtime=0.13 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 174 0 0 0 13 0 0 0 20 0 2 0 77845260 88629248 3059 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 86552 KiB
Current children cumulated memory: 12236 KiB

[startup+0.30499 s]*
/proc/loadavg: 1.41 3.10 3.78 9/270 96896
/proc/meminfo: memFree=129004148/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=86552 memory=12492 CPUtime=0.48 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 2793 0 0 0 48 0 0 0 20 0 2 0 77845260 88629248 3123 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 21638 3123 672 633 0 4639 0
[pid=96892/tid=96896] ppid=96876 vsize=86552 memory=7971238884735140466 CPUtime=0.18 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) S 96876 96892 96823 0 -1 4194368 174 0 0 0 18 0 0 0 20 0 2 0 77845260 88629248 3123 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 86552 KiB
Current children cumulated memory: 12492 KiB

[startup+0.70013 s]
/proc/loadavg: 1.41 3.10 3.78 10/270 96896
/proc/meminfo: memFree=129002328/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=87504 memory=12996 CPUtime=1.2 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 3072 0 0 0 120 0 0 0 20 0 2 0 77845260 89604096 3249 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 21876 3249 672 633 0 4877 0
[pid=96892/tid=96896] ppid=96876 vsize=87504 memory=18816 CPUtime=0.52 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) S 96876 96892 96823 0 -1 4194368 174 0 0 0 52 0 0 0 20 0 2 0 77845260 89604096 3249 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 87504 KiB
Current children cumulated memory: 12996 KiB

[startup+1.50013 s]
/proc/loadavg: 1.41 3.10 3.78 10/270 96896
/proc/meminfo: memFree=129002328/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=87940 memory=14020 CPUtime=2.72 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 5493 0 0 0 270 2 0 0 20 0 2 0 77845260 90050560 3505 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 21985 3505 672 633 0 4986 0
[pid=96892/tid=96896] ppid=96876 vsize=87940 memory=18816 CPUtime=1.23 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 770 0 0 0 123 0 0 0 20 0 2 0 77845260 90050560 3505 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 14020 KiB

[startup+3.10517 s]
/proc/loadavg: 1.41 3.10 3.78 9/270 96897
/proc/meminfo: memFree=128997724/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=89996 memory=15072 CPUtime=5.47 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 8591 0 0 0 544 3 0 0 20 0 2 0 77845260 92155904 3768 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 22499 3768 672 633 0 5500 0
[pid=96892/tid=96896] ppid=96876 vsize=89996 memory=16360 CPUtime=2.38 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) S 96876 96892 96823 0 -1 4194368 770 0 0 0 238 0 0 0 20 0 2 0 77845260 92155904 3768 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 89996 KiB
Current children cumulated memory: 15072 KiB

[startup+6.30013 s]
/proc/loadavg: 1.86 3.16 3.79 10/270 96897
/proc/meminfo: memFree=128998124/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=90220 memory=15456 CPUtime=10.6 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 11501 0 0 0 1054 6 0 0 20 0 2 0 77845260 92385280 3864 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 22555 3864 672 633 0 5556 0
[pid=96892/tid=96896] ppid=96876 vsize=90220 memory=15200 CPUtime=4.34 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 1540 0 0 0 434 0 0 0 20 0 2 0 77845260 92385280 3864 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 10.6 s
Current children cumulated vsize: 90220 KiB
Current children cumulated memory: 15456 KiB

[startup+12.7001 s]
/proc/loadavg: 2.43 3.26 3.82 10/270 96897
/proc/meminfo: memFree=128996584/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=90480 memory=15968 CPUtime=22.47 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 17109 0 0 0 2235 12 0 0 20 0 2 0 77845260 92651520 3992 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 22620 3992 672 633 0 5621 0
[pid=96892/tid=96896] ppid=96876 vsize=90480 memory=15968 CPUtime=9.85 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 2649 0 0 0 984 1 0 0 20 0 2 0 77845260 92651520 3992 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 22.47 s
Current children cumulated vsize: 90480 KiB
Current children cumulated memory: 15968 KiB

[startup+25.5001 s]
/proc/loadavg: 3.52 3.46 3.88 10/270 96897
/proc/meminfo: memFree=128993900/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=91000 memory=16864 CPUtime=46.03 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 20115 0 0 0 4582 21 0 0 20 0 2 0 77845260 93184000 4216 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 22750 4216 672 633 0 5751 0
[pid=96892/tid=96896] ppid=96876 vsize=91000 memory=16480 CPUtime=20.66 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 3896 0 0 0 2064 2 0 0 20 0 2 0 77845260 93184000 4216 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 46.03 s
Current children cumulated vsize: 91000 KiB
Current children cumulated memory: 16864 KiB

[startup+51.1055 s]
/proc/loadavg: 4.99 3.81 3.99 10/270 96897
/proc/meminfo: memFree=128991192/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=94312 memory=18288 CPUtime=93.27 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 25052 0 0 0 9287 40 0 0 20 0 2 0 77845260 96575488 4572 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 23578 4572 672 633 0 6579 0
[pid=96892/tid=96896] ppid=96876 vsize=94312 memory=15072 CPUtime=42.45 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 4399 0 0 0 4241 4 0 0 20 0 2 0 77845260 96575488 4572 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 93.27 s
Current children cumulated vsize: 94312 KiB
Current children cumulated memory: 18288 KiB

[startup+102.3 s]
/proc/loadavg: 6.44 4.39 4.18 10/270 96901
/proc/meminfo: memFree=128981576/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=95188 memory=21332 CPUtime=187.17 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 25884 0 0 0 18645 72 0 0 20 0 2 0 77845260 97472512 5333 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 23797 5333 672 633 0 6798 0
[pid=96892/tid=96896] ppid=96876 vsize=95188 memory=21332 CPUtime=85.47 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 4465 0 0 0 8535 12 0 0 20 0 2 0 77845260 97472512 5333 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 187.17 s
Current children cumulated vsize: 95188 KiB
Current children cumulated memory: 21332 KiB

[startup+162.3 s]
/proc/loadavg: 7.06 4.95 4.38 10/268 96904
/proc/meminfo: memFree=128978916/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=96208 memory=22356 CPUtime=296.66 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 30406 0 0 0 29565 101 0 0 20 0 2 0 77845260 98516992 5589 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 24052 5589 672 633 0 7053 0
[pid=96892/tid=96896] ppid=96876 vsize=96208 memory=18816 CPUtime=135.36 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 4846 0 0 0 13516 20 0 0 20 0 2 0 77845260 98516992 5589 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 296.66 s
Current children cumulated vsize: 96208 KiB
Current children cumulated memory: 22356 KiB

[startup+222.3 s]
/proc/loadavg: 7.43 5.44 4.59 9/268 96906
/proc/meminfo: memFree=128988700/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=97000 memory=23124 CPUtime=405.66 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 33104 0 0 0 40436 130 0 0 20 0 2 0 77845260 99328000 5781 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 24250 5781 672 633 0 7251 0
[pid=96892/tid=96896] ppid=96876 vsize=97000 memory=22868 CPUtime=184.73 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 4982 0 0 0 18445 28 0 0 20 0 2 0 77845260 99328000 5781 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 405.66 s
Current children cumulated vsize: 97000 KiB
Current children cumulated memory: 23124 KiB

[startup+282.3 s]
/proc/loadavg: 7.57 5.85 4.79 10/268 96909
/proc/meminfo: memFree=128980552/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=97632 memory=23764 CPUtime=513.8 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 33255 0 0 0 51225 155 0 0 20 0 2 0 77845260 99975168 5941 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 24408 5941 672 633 0 7409 0
[pid=96892/tid=96896] ppid=96876 vsize=97632 memory=23508 CPUtime=233.3 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 4982 0 0 0 23293 37 0 0 20 0 2 0 77845260 99975168 5941 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 513.8 s
Current children cumulated vsize: 97632 KiB

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

/proc/meminfo: memFree=128951368/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=2579.19 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 48352 0 0 0 257479 440 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1168.14 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6116 0 0 0 116678 136 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 2579.19 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

[startup+1482.3 s]
/proc/loadavg: 7.49 7.46 6.81 10/267 96975
/proc/meminfo: memFree=128951676/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=2687.89 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 48353 0 0 0 268338 451 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1217.33 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6116 0 0 0 121594 139 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 2687.89 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

[startup+1542.3 s]
/proc/loadavg: 7.62 7.50 6.87 10/267 96977
/proc/meminfo: memFree=128948012/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=2796.55 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 49452 0 0 0 279191 464 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1266.5 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) S 96876 96892 96823 0 -1 4194368 6170 0 0 0 126506 144 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 2796.55 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

[startup+1602.3 s]
/proc/loadavg: 7.40 7.45 6.89 10/267 96990
/proc/meminfo: memFree=128949412/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=2905.18 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 49469 0 0 0 290041 477 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1315.63 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6171 0 0 0 131413 150 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 2905.18 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

[startup+1662.3 s]
/proc/loadavg: 7.64 7.49 6.94 8/268 96997
/proc/meminfo: memFree=128954948/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=3013.8 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 49470 0 0 0 300891 489 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1364.72 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6171 0 0 0 136317 155 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 3013.8 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

[startup+1722.3 s]
/proc/loadavg: 7.51 7.48 6.98 10/268 96999
/proc/meminfo: memFree=128955360/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=3122.41 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 50579 0 0 0 311738 503 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1413.82 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6226 0 0 0 141221 161 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 3122.41 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

[startup+1782.3 s]
/proc/loadavg: 7.48 7.47 7.01 10/268 97001
/proc/meminfo: memFree=128955828/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=3231.04 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 51696 0 0 0 322588 516 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1462.96 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6305 0 0 0 146130 166 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 3231.04 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

[startup+1842.3 s]
/proc/loadavg: 7.28 7.42 7.02 7/265 97003
/proc/meminfo: memFree=128955508/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=3339.6 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 52822 0 0 0 333431 529 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1512.03 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6400 0 0 0 151032 171 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 3339.6 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

[startup+1902.3 s]
/proc/loadavg: 7.10 7.34 7.01 9/268 97050
/proc/meminfo: memFree=128951172/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=3448.48 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 52822 0 0 0 344306 542 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1561.46 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6400 0 0 0 155971 175 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 3448.48 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

[startup+1962.3 s]
/proc/loadavg: 7.30 7.34 7.03 9/268 97055
/proc/meminfo: memFree=128977480/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=3557.29 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 53934 0 0 0 355173 556 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1610.79 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6526 0 0 0 160899 180 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 3557.29 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1985.9 s]
/proc/loadavg: 7.47 7.38 7.05 10/268 97103
/proc/meminfo: memFree=128960896/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=3600.11 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 53938 0 0 0 359451 560 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1630.24 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6526 0 0 0 162842 182 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.58 s, system=5.60953 s

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

[startup+1985.9 s]
/proc/loadavg: 7.47 7.38 7.05 10/268 97103
/proc/meminfo: memFree=128960896/131250000 swapFree=33010416/33010684
[pid=96892] ppid=96876 vsize=107264 memory=32352 CPUtime=3600.11 cores=1,3
/proc/96892/stat : 96892 (pb_competition_) R 96876 96892 96823 0 -1 4194304 53938 0 0 0 359451 560 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
/proc/96892/statm: 26816 8088 672 633 0 9817 0
[pid=96892/tid=96896] ppid=96876 vsize=107264 memory=32352 CPUtime=1630.24 cores=1,3
/proc/96892/task/96896/stat : 96896 (pb_competition_) R 96876 96892 96823 0 -1 4194368 6526 0 0 0 162842 182 0 0 20 0 2 0 77845260 109838336 8088 18446744073709551615 4198400 6788177 140722446867088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 26177536 140722446874968 140722446875094 140722446875094 140722446880698 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 107264 KiB
Current children cumulated memory: 32352 KiB

Child status: 0

Real time (s): 1985.95
CPU time (s): 3600.19
CPU user time (s): 3594.58
CPU system time (s): 5.60953
CPU usage (%): 181.283
Max. virtual memory (cumulated for all children) (KiB): 107264
Max. memory (cumulated for all children) (KiB): 32352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.58
system time used= 5.60953
maximum resident set size= 32352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54124
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= 27794
involuntary context switches= 59587


# summary of solver processes directly reported to runsolver:
#   pid: 96892
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3594.58
#   total CPU system time (s): 5.60953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.18101 second user time and 9.13319 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-04 11:34:34
IDJOB=4525108
IDBENCH=143456
IDSOLVER=3379
FILE ID=nodeC018/4525108-1751621674
RUNJOBID= nodeC018-1751621674-96835
SLURM_JOB_ID= 9598941
Free space on /tmp= 432576 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--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-4525108-1751621674/watcher-4525108-1751621674 -o /tmp/evaluation-result-4525108-1751621674/solver-4525108-1751621674 -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 587222511 HOME/instance-4525108-1751621674.wbo

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

MD5SUM BENCH= 485321322f8570ec0cc1d4f7566d27d9
RANDOM SEED=587222511

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		: 3600.372
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		: 3599.823
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		: 3599.850
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		: 3599.826
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		: 3606.213
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		: 3600.829
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		: 3600.068
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.507
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:        129014368 kB
MemAvailable:   129734572 kB
Buffers:            2128 kB
Cached:          1483716 kB
SwapCached:           32 kB
Active:           542492 kB
Inactive:        1008776 kB
Active(anon):      83180 kB
Inactive(anon):      288 kB
Active(file):     459312 kB
Inactive(file):  1008488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20736 kB
Writeback:             0 kB
AnonPages:         68500 kB
Mapped:           103636 kB
Shmem:             18044 kB
KReclaimable:     182884 kB
Slab:             273840 kB
SReclaimable:     182884 kB
SUnreclaim:        90956 kB
KernelStack:        4056 kB
PageTables:         2376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 432556 MiB
End job on nodeC018 at 2025-07-04 12:07:40