Trace number 4524712

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.16 1994.65

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
MD5SUM9b60ab1c395a8a4ea9e1c58e7ae4b4ea
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.674917
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5250
Total number of constraints145
Number of soft constraints145
Number of constraints which are clauses75
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint75
Top cost 7458
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7457
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 76
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
0.00/0.03	c #variable: 5250
0.00/0.03	c #constraint: 145
0.00/0.03	c #equal: 0
0.00/0.03	c intsize: 7
0.00/0.03	c sizeproduct: 0
0.00/0.03	c #soft: 145
0.00/0.03	c mincost: 1
0.00/0.03	c maxcost: 100
0.00/0.03	c sumcost: 7457
0.00/0.03	c iteration_max: -1
0.00/0.03	c time_max: -1
0.00/0.03	c number_of_threads(move update): 2
0.00/0.03	c number_of_threads(move evaluation): 2
0.00/0.03	c seed: 1780564274
0.00/0.07	o 212
0.00/0.07	o 22
0.00/0.09	o 6
0.15/0.18	o 1
3600.08/1994.63	s SATISFIABLE
3600.08/1994.63	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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x523 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 x5248 -x5249 -x525 -x5250 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63029 MiB free)
  memory of node 1: 64465 MiB (63659 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=87385, runsolver pid=87382

[startup+0.100074 s]*
/proc/loadavg: 6.90 6.34 5.56 8/254 87387
/proc/meminfo: memFree=129721040/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=85676 memory=11960 CPUtime=0.15 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) S 87382 87385 86557 0 -1 4194304 2671 0 0 0 14 1 0 0 20 0 2 0 77408447 87732224 2990 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 21419 2990 672 633 0 4455 0
[pid=87385/tid=87387] ppid=87382 vsize=85676 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 209 0 0 0 5 0 0 0 20 0 2 0 77408447 87732224 2990 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 85676 KiB
Current children cumulated memory: 11960 KiB

[startup+0.213414 s]*
/proc/loadavg: 6.90 6.34 5.56 9/254 87387
/proc/meminfo: memFree=129721040/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=85676 memory=11960 CPUtime=0.33 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 2671 0 0 0 32 1 0 0 20 0 2 0 77408447 87732224 2990 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 21419 2990 672 633 0 4455 0
[pid=87385/tid=87387] ppid=87382 vsize=85676 memory=4208735117501333788 CPUtime=0.12 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) S 87382 87385 86557 0 -1 4194368 209 0 0 0 12 0 0 0 20 0 2 0 77408447 87732224 2990 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 85676 KiB
Current children cumulated memory: 11960 KiB

[startup+0.314475 s]*
/proc/loadavg: 6.90 6.34 5.56 9/254 87387
/proc/meminfo: memFree=129721040/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=86096 memory=12216 CPUtime=0.48 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 2725 0 0 0 47 1 0 0 20 0 2 0 77408447 88162304 3054 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 21524 3054 672 633 0 4560 0
[pid=87385/tid=87387] ppid=87382 vsize=86096 memory=7970114062881997165 CPUtime=0.16 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) S 87382 87385 86557 0 -1 4194368 209 0 0 0 16 0 0 0 20 0 2 0 77408447 88162304 3054 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 86096 KiB
Current children cumulated memory: 12216 KiB

[startup+0.700285 s]
/proc/loadavg: 6.91 6.35 5.57 9/254 87387
/proc/meminfo: memFree=129721348/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=86348 memory=12472 CPUtime=1.12 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 2787 0 0 0 110 2 0 0 20 0 2 0 77408447 88420352 3118 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 21587 3118 672 633 0 4623 0
[pid=87385/tid=87387] ppid=87382 vsize=86348 memory=18432 CPUtime=0.46 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 209 0 0 0 46 0 0 0 20 0 2 0 77408447 88420352 3118 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 86348 KiB
Current children cumulated memory: 12472 KiB

[startup+1.50025 s]
/proc/loadavg: 6.91 6.35 5.57 9/254 87387
/proc/meminfo: memFree=129721348/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=87260 memory=13240 CPUtime=2.64 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 4926 0 0 0 261 3 0 0 20 0 2 0 77408447 89354240 3310 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 21815 3310 672 633 0 4851 0
[pid=87385/tid=87387] ppid=87382 vsize=87260 memory=18432 CPUtime=1.19 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 389 0 0 0 119 0 0 0 20 0 2 0 77408447 89354240 3310 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 87260 KiB
Current children cumulated memory: 13240 KiB

[startup+3.10541 s]
/proc/loadavg: 6.91 6.35 5.57 8/254 87387
/proc/meminfo: memFree=129720368/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=87260 memory=13368 CPUtime=5.71 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 6887 0 0 0 566 5 0 0 20 0 2 0 77408447 89354240 3342 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 21815 3342 672 633 0 4851 0
[pid=87385/tid=87387] ppid=87382 vsize=87260 memory=13240 CPUtime=2.66 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) S 87382 87385 86557 0 -1 4194368 560 0 0 0 266 0 0 0 20 0 2 0 77408447 89354240 3342 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 87260 KiB
Current children cumulated memory: 13368 KiB

[startup+6.3002 s]
/proc/loadavg: 6.99 6.38 5.58 8/254 87387
/proc/meminfo: memFree=129719700/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=88176 memory=13780 CPUtime=11.8 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 9302 0 0 0 1172 8 0 0 20 0 2 0 77408447 90292224 3445 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 22044 3445 672 633 0 5080 0
[pid=87385/tid=87387] ppid=87382 vsize=88176 memory=18432 CPUtime=5.58 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 822 0 0 0 558 0 0 0 20 0 2 0 77408447 90292224 3445 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 11.8 s
Current children cumulated vsize: 88176 KiB
Current children cumulated memory: 13780 KiB

[startup+12.7002 s]
/proc/loadavg: 6.99 6.39 5.59 9/254 87387
/proc/meminfo: memFree=129720344/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=88512 memory=14676 CPUtime=23.92 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 13780 0 0 0 2380 12 0 0 20 0 2 0 77408447 90636288 3669 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 22128 3669 672 633 0 5164 0
[pid=87385/tid=87387] ppid=87382 vsize=88512 memory=14548 CPUtime=11.35 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 1318 0 0 0 1135 0 0 0 20 0 2 0 77408447 90636288 3669 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 23.92 s
Current children cumulated vsize: 88512 KiB
Current children cumulated memory: 14676 KiB

[startup+25.5002 s]
/proc/loadavg: 6.91 6.39 5.60 8/254 87388
/proc/meminfo: memFree=129718948/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=90372 memory=15524 CPUtime=43.74 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 14355 0 0 0 4355 19 0 0 20 0 2 0 77408447 92540928 3881 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 22593 3881 672 633 0 5629 0
[pid=87385/tid=87387] ppid=87382 vsize=90372 memory=15140 CPUtime=18.48 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 1320 0 0 0 1847 1 0 0 20 0 2 0 77408447 92540928 3881 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 43.74 s
Current children cumulated vsize: 90372 KiB
Current children cumulated memory: 15524 KiB

[startup+51.1056 s]
/proc/loadavg: 7.08 6.48 5.65 8/254 87388
/proc/meminfo: memFree=129721084/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=91336 memory=17316 CPUtime=90.95 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 17508 0 0 0 9053 42 0 0 20 0 2 0 77408447 93528064 4329 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 22834 4329 672 633 0 5870 0
[pid=87385/tid=87387] ppid=87382 vsize=91336 memory=18432 CPUtime=40.36 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 2041 0 0 0 4026 10 0 0 20 0 2 0 77408447 93528064 4329 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 90.95 s
Current children cumulated vsize: 91336 KiB
Current children cumulated memory: 17316 KiB

[startup+102.3 s]
/proc/loadavg: 7.38 6.66 5.76 8/254 87390
/proc/meminfo: memFree=129718868/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=95128 memory=21024 CPUtime=183.81 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 24039 0 0 0 18305 76 0 0 20 0 2 0 77408447 97411072 5256 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 23782 5256 672 633 0 6818 0
[pid=87385/tid=87387] ppid=87382 vsize=95128 memory=18432 CPUtime=82.52 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 3829 0 0 0 8230 22 0 0 20 0 2 0 77408447 97411072 5256 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 183.81 s
Current children cumulated vsize: 95128 KiB
Current children cumulated memory: 21024 KiB

[startup+162.3 s]
/proc/loadavg: 7.46 6.81 5.87 8/255 87397
/proc/meminfo: memFree=129742644/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=96164 memory=22048 CPUtime=290.67 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 27332 0 0 0 28961 106 0 0 20 0 2 0 77408447 98471936 5512 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 24041 5512 672 633 0 7077 0
[pid=87385/tid=87387] ppid=87382 vsize=96164 memory=21536 CPUtime=129.97 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) S 87382 87385 86557 0 -1 4194368 4244 0 0 0 12962 35 0 0 20 0 2 0 77408447 98471936 5512 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 290.67 s
Current children cumulated vsize: 96164 KiB
Current children cumulated memory: 22048 KiB

[startup+222.3 s]
/proc/loadavg: 7.50 6.93 5.97 7/255 87399
/proc/meminfo: memFree=129741780/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=96796 memory=22560 CPUtime=396.32 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 28562 0 0 0 39498 134 0 0 20 0 2 0 77408447 99119104 5640 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 24199 5640 672 633 0 7235 0
[pid=87385/tid=87387] ppid=87382 vsize=96796 memory=18432 CPUtime=176.21 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 4367 0 0 0 17576 45 0 0 20 0 2 0 77408447 99119104 5640 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 396.32 s
Current children cumulated vsize: 96796 KiB
Current children cumulated memory: 22560 KiB

[startup+282.3 s]
/proc/loadavg: 7.28 6.96 6.04 8/255 87401
/proc/meminfo: memFree=129737376/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=97192 memory=23072 CPUtime=501.98 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 30821 0 0 0 50038 160 0 0 20 0 2 0 77408447 99524608 5768 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 24298 5768 672 633 0 7334 0
[pid=87385/tid=87387] ppid=87382 vsize=97192 memory=22816 CPUtime=222.46 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 4612 0 0 0 22191 55 0 0 20 0 2 0 77408447 99524608 5768 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 501.98 s
Current children cumulated vsize: 97192 KiB
Current children cumulated memory: 23072 KiB

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

/proc/meminfo: memFree=129745024/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=105596 memory=29888 CPUtime=2443.72 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 37852 0 0 0 243895 477 0 0 20 0 2 0 77408447 108130304 7472 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26399 7472 672 633 0 9435 0
[pid=87385/tid=87387] ppid=87382 vsize=105596 memory=29888 CPUtime=1094.05 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5359 0 0 0 109212 193 0 0 20 0 2 0 77408447 108130304 7472 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 2443.72 s
Current children cumulated vsize: 105596 KiB
Current children cumulated memory: 29888 KiB

[startup+1422.3 s]
/proc/loadavg: 7.75 7.64 7.14 6/250 87508
/proc/meminfo: memFree=129741760/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=105884 memory=30144 CPUtime=2553.46 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 37893 0 0 0 254856 490 0 0 20 0 2 0 77408447 108425216 7536 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26471 7536 672 633 0 9507 0
[pid=87385/tid=87387] ppid=87382 vsize=105884 memory=30016 CPUtime=1144.3 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) S 87382 87385 86557 0 -1 4194368 5359 0 0 0 114232 198 0 0 20 0 2 0 77408447 108425216 7536 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 2553.46 s
Current children cumulated vsize: 105884 KiB
Current children cumulated memory: 30144 KiB

[startup+1482.3 s]
/proc/loadavg: 7.89 7.70 7.19 9/255 87593
/proc/meminfo: memFree=129749828/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=105884 memory=30144 CPUtime=2663.27 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 38836 0 0 0 265818 509 0 0 20 0 2 0 77408447 108425216 7536 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26471 7536 672 633 0 9507 0
[pid=87385/tid=87387] ppid=87382 vsize=105884 memory=30016 CPUtime=1194.61 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5493 0 0 0 119255 206 0 0 20 0 2 0 77408447 108425216 7536 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 2663.27 s
Current children cumulated vsize: 105884 KiB
Current children cumulated memory: 30144 KiB

[startup+1542.3 s]
/proc/loadavg: 7.88 7.74 7.24 9/255 87595
/proc/meminfo: memFree=129756268/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=106024 memory=30272 CPUtime=2773.2 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 38866 0 0 0 276798 522 0 0 20 0 2 0 77408447 108568576 7568 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26506 7568 672 633 0 9542 0
[pid=87385/tid=87387] ppid=87382 vsize=106024 memory=30272 CPUtime=1244.99 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5493 0 0 0 124287 212 0 0 20 0 2 0 77408447 108568576 7568 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 2773.2 s
Current children cumulated vsize: 106024 KiB
Current children cumulated memory: 30272 KiB

[startup+1602.3 s]
/proc/loadavg: 7.87 7.77 7.28 9/255 87597
/proc/meminfo: memFree=129758020/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=106024 memory=30272 CPUtime=2883.12 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 38885 0 0 0 287776 536 0 0 20 0 2 0 77408447 108568576 7568 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26506 7568 672 633 0 9542 0
[pid=87385/tid=87387] ppid=87382 vsize=106024 memory=30272 CPUtime=1295.33 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5493 0 0 0 129315 218 0 0 20 0 2 0 77408447 108568576 7568 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 2883.12 s
Current children cumulated vsize: 106024 KiB
Current children cumulated memory: 30272 KiB

[startup+1662.3 s]
/proc/loadavg: 8.00 7.83 7.34 9/253 87599
/proc/meminfo: memFree=129758144/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=106164 memory=30400 CPUtime=2992.82 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 39918 0 0 0 298733 549 0 0 20 0 2 0 77408447 108711936 7600 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26541 7600 672 633 0 9577 0
[pid=87385/tid=87387] ppid=87382 vsize=106164 memory=30272 CPUtime=1345.49 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5619 0 0 0 134326 223 0 0 20 0 2 0 77408447 108711936 7600 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 2992.82 s
Current children cumulated vsize: 106164 KiB
Current children cumulated memory: 30400 KiB

[startup+1722.3 s]
/proc/loadavg: 7.96 7.85 7.38 9/255 87605
/proc/meminfo: memFree=129758036/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=106304 memory=30528 CPUtime=3102.5 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 39952 0 0 0 309687 563 0 0 20 0 2 0 77408447 108855296 7632 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26576 7632 672 633 0 9612 0
[pid=87385/tid=87387] ppid=87382 vsize=106304 memory=30272 CPUtime=1395.63 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5619 0 0 0 139334 229 0 0 20 0 2 0 77408447 108855296 7632 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 3102.5 s
Current children cumulated vsize: 106304 KiB
Current children cumulated memory: 30528 KiB

[startup+1782.3 s]
/proc/loadavg: 7.86 7.85 7.40 9/255 87609
/proc/meminfo: memFree=129758424/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=106472 memory=30656 CPUtime=3212.16 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 41017 0 0 0 320638 578 0 0 20 0 2 0 77408447 109027328 7664 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26618 7664 672 633 0 9654 0
[pid=87385/tid=87387] ppid=87382 vsize=106472 memory=30656 CPUtime=1445.75 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5738 0 0 0 144341 234 0 0 20 0 2 0 77408447 109027328 7664 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 3212.16 s
Current children cumulated vsize: 106472 KiB
Current children cumulated memory: 30656 KiB

[startup+1842.3 s]
/proc/loadavg: 7.87 7.86 7.44 9/255 87611
/proc/meminfo: memFree=129758216/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=106472 memory=30784 CPUtime=3321.75 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 41046 0 0 0 331586 589 0 0 20 0 2 0 77408447 109027328 7696 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26618 7696 672 633 0 9654 0
[pid=87385/tid=87387] ppid=87382 vsize=106472 memory=30784 CPUtime=1495.79 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5738 0 0 0 149340 239 0 0 20 0 2 0 77408447 109027328 7696 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 3321.75 s
Current children cumulated vsize: 106472 KiB
Current children cumulated memory: 30784 KiB

[startup+1902.3 s]
/proc/loadavg: 7.91 7.88 7.48 9/255 87613
/proc/meminfo: memFree=129759344/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=106616 memory=30784 CPUtime=3431.38 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 41080 0 0 0 342536 602 0 0 20 0 2 0 77408447 109174784 7696 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26654 7696 672 633 0 9690 0
[pid=87385/tid=87387] ppid=87382 vsize=106616 memory=30784 CPUtime=1545.91 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5738 0 0 0 154346 245 0 0 20 0 2 0 77408447 109174784 7696 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 3431.38 s
Current children cumulated vsize: 106616 KiB
Current children cumulated memory: 30784 KiB

[startup+1962.3 s]
/proc/loadavg: 7.96 7.91 7.51 9/256 87620
/proc/meminfo: memFree=129758964/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=106764 memory=31040 CPUtime=3541.04 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 41729 0 0 0 353488 616 0 0 20 0 2 0 77408447 109326336 7760 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26691 7760 672 633 0 9727 0
[pid=87385/tid=87387] ppid=87382 vsize=106764 memory=18432 CPUtime=1596.02 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5872 0 0 0 159352 250 0 0 20 0 2 0 77408447 109326336 7760 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 3541.04 s
Current children cumulated vsize: 106764 KiB
Current children cumulated memory: 31040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1994.6 s]
/proc/loadavg: 7.90 7.90 7.52 9/256 87621
/proc/meminfo: memFree=129759188/131382120 swapFree=33010160/33010684
[pid=87385] ppid=87382 vsize=106764 memory=31040 CPUtime=3600.08 cores=1,3
/proc/87385/stat : 87385 (pb_competition_) R 87382 87385 86557 0 -1 4194304 41734 0 0 0 359384 624 0 0 20 0 2 0 77408447 109326336 7760 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
/proc/87385/statm: 26691 7760 672 633 0 9727 0
[pid=87385/tid=87387] ppid=87382 vsize=106764 memory=18432 CPUtime=1623.02 cores=1,3
/proc/87385/task/87387/stat : 87387 (pb_competition_) R 87382 87385 86557 0 -1 4194368 5872 0 0 0 162049 253 0 0 20 0 2 0 77408447 109326336 7760 18446744073709551615 4198400 6788177 140720369352624 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39993344 140720369355095 140720369355222 140720369355222 140720369360826 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 106764 KiB
Current children cumulated memory: 31040 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.91 s, system=6.24814 s

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

Child status: 0

Real time (s): 1994.65
CPU time (s): 3600.16
CPU user time (s): 3593.91
CPU system time (s): 6.24814
CPU usage (%): 180.49
Max. virtual memory (cumulated for all children) (KiB): 106764
Max. memory (cumulated for all children) (KiB): 31040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.91
system time used= 6.24814
maximum resident set size= 31040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42052
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= 21498
involuntary context switches= 173231


# summary of solver processes directly reported to runsolver:
#   pid: 87385
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3593.91
#   total CPU system time (s): 6.24814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94768 second user time and 9.33072 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-04 10:21:33
IDJOB=4524712
IDBENCH=143167
IDSOLVER=3379
FILE ID=nodeC008/4524712-1751617293
RUNJOBID= nodeC008-1751613687-86963
SLURM_JOB_ID= 9598907
Free space on /tmp= 432800 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--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-4524712-1751617293/watcher-4524712-1751617293 -o /tmp/evaluation-result-4524712-1751617293/solver-4524712-1751617293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751613687-86963 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1780564274 HOME/instance-4524712-1751617293.wbo

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

MD5SUM BENCH= 9b60ab1c395a8a4ea9e1c58e7ae4b4ea
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		: 3491.883
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		: 1197.743
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		: 3591.635
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.204
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.842
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		: 3491.849
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		: 3591.620
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		: 3491.955
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:        129729356 kB
MemAvailable:   129876644 kB
Buffers:            2128 kB
Cached:           941488 kB
SwapCached:           16 kB
Active:           646192 kB
Inactive:         420580 kB
Active(anon):     106732 kB
Inactive(anon):    34348 kB
Active(file):     539460 kB
Inactive(file):   386232 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5308 kB
Writeback:            16 kB
AnonPages:        126152 kB
Mapped:           111756 kB
Shmem:             17920 kB
KReclaimable:     122444 kB
Slab:             207664 kB
SReclaimable:     122444 kB
SUnreclaim:        85220 kB
KernelStack:        4064 kB
PageTables:         3172 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     481468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 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= 432796 MiB
End job on nodeC008 at 2025-07-04 10:54:48