Trace number 4526674

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.82 2682.96

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph11reducmore_wcsp.wbo
MD5SUM4f5be5c84a0d76ec975a3a6b3be3f2ae
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark370
Best CPU time to get the best result obtained on this benchmark77.4065
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5747
Total number of constraints283088
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3080
Min constraint cost 1
Max constraint cost 3080
Sum of constraints costs 64455868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
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/)
3.94/3.04	c #variable: 5747
3.94/3.04	c #constraint: 283088
3.94/3.04	c #equal: 232
3.94/3.04	c intsize: 6
3.94/3.04	c sizeproduct: 0
3.94/3.04	c #soft: 282856
3.94/3.04	c mincost: 1
3.94/3.04	c maxcost: 3080
3.94/3.04	c sumcost: 64455868
3.94/3.04	c iteration_max: -1
3.94/3.04	c time_max: -1
3.94/3.04	c number_of_threads(move update): 2
3.94/3.04	c number_of_threads(move evaluation): 2
3.94/3.04	c seed: 1504432086
131.50/108.70	o 2999
139.61/116.56	o 2436
143.23/119.01	o 2336
151.21/124.95	o 2335
303.30/232.50	o 2234
308.19/236.04	o 2233
514.15/381.93	o 2202
704.66/514.90	o 2154
743.75/541.41	o 2134
751.23/546.73	o 2133
756.86/551.61	o 2114
759.43/554.18	o 1216
771.46/566.26	o 1119
887.19/682.50	o 1114
888.38/683.75	o 1112
893.77/689.16	o 1010
989.54/765.78	o 964
996.59/772.68	o 945
1010.89/785.23	o 820
1156.00/890.71	o 817
1233.24/947.31	o 812
1305.41/1003.31	o 681
1924.59/1453.34	o 586
1930.50/1458.68	o 562
2411.30/1804.50	o 561
2803.13/2098.25	o 546
3380.88/2521.45	o 537
3419.10/2548.44	o 517
3600.16/2682.32	s SATISFIABLE
3600.16/2682.32	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 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x527 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 -x5292 -x5293 -x5294 x5295 x5296 -x5297 -x5298 -x5299 -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 x536 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x538 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x539 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x54 -x540 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5429 -x543 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x546 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470 -x5471 -x5472 -x5473 -x5474 x5475 -x5476 -x5477 -x5478 -x5479 x548 -x5480 -x5481 -x5482 -x5483 -x5484 x5485 -x5486 -x5487 x5488 -x5489 -x549 -x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 x5509 -x551 -x5510 x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x553 -x5530 -x5531 -x5532 x5533 -x5534 x5535 -x5536 -x5537 -x5538 -x5539 -x554 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x556 -x5560 -x5561 x5562 x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x557 -x5570 x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x559 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x561 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 x5649 -x565 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x567 -x5670 -x5671 -x5672 -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 x5688 -x5689 -x569 -x5690 -x5691 x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x57 -x570 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 -x5706 -x5707 -x5708 -x5709 x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 x5716 -x5717 -x5718 -x5719 -x572 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -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	517

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526674-1751636803/watcher-4526674-1751636803 -o /tmp/evaluation-result-4526674-1751636803/solver-4526674-1751636803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751636803-89758 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1504432086 HOME/instance-4526674-1751636803.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=89795, runsolver pid=89787
Current StackSize limit: 8192 KiB


[startup+0.100077 s]*
/proc/loadavg: 1.35 1.18 1.81 6/245 89805
/proc/meminfo: memFree=129641812/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=35448 memory=26132 CPUtime=0.09 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 6051 0 0 0 6 3 0 0 20 0 1 0 79359402 36298752 6533 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 8862 6533 576 633 0 8078 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35448 KiB
Current children cumulated memory: 26132 KiB

[startup+0.214125 s]*
/proc/loadavg: 1.35 1.18 1.81 8/248 89808
/proc/meminfo: memFree=129603004/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=133824 memory=55756 CPUtime=0.29 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 8867 0 0 0 24 5 0 0 20 0 2 0 79359402 137035776 13939 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 33456 13939 576 633 0 17388 0
[pid=89795/tid=89807] ppid=89787 vsize=133824 memory=5983648042466672759 CPUtime=0.07 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) R 89787 89795 89746 0 -1 4194368 1102 0 0 0 7 0 0 0 20 0 2 0 79359415 137035776 13939 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 133824 KiB
Current children cumulated memory: 55756 KiB

[startup+0.311707 s]*
/proc/loadavg: 1.35 1.18 1.81 8/249 89814
/proc/meminfo: memFree=129525040/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=138708 memory=65740 CPUtime=0.47 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 11352 0 0 0 40 7 0 0 20 0 2 0 79359402 142036992 16435 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 34677 16435 576 633 0 19850 0
[pid=89795/tid=89807] ppid=89787 vsize=138708 memory=-6369043589991862625 CPUtime=0.16 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) R 89787 89795 89746 0 -1 4194368 2343 0 0 0 14 2 0 0 20 0 2 0 79359415 142036992 16435 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 138708 KiB
Current children cumulated memory: 65740 KiB

[startup+0.700333 s]
/proc/loadavg: 1.35 1.18 1.81 9/253 89818
/proc/meminfo: memFree=129393320/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=158112 memory=106316 CPUtime=1.19 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 21521 0 0 0 108 11 0 0 20 0 2 0 79359402 161906688 26579 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 39528 26579 576 633 0 30044 0
[pid=89795/tid=89807] ppid=89787 vsize=158112 memory=18432 CPUtime=0.5 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 7686 0 0 0 46 4 0 0 20 0 2 0 79359415 161906688 26611 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 158112 KiB
Current children cumulated memory: 106316 KiB

[startup+1.5004 s]
/proc/loadavg: 1.35 1.18 1.81 8/254 89819
/proc/meminfo: memFree=128952424/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=503152 memory=459352 CPUtime=1.99 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 70339 0 0 0 170 29 0 0 20 0 2 0 79359402 515227648 114838 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 125788 114838 608 633 0 116376 0
[pid=89795/tid=89807] ppid=89787 vsize=503152 memory=18432 CPUtime=0.51 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 7758 0 0 0 47 4 0 0 20 0 2 0 79359415 515227648 114838 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 503152 KiB
Current children cumulated memory: 459352 KiB

[startup+3.10945 s]
/proc/loadavg: 1.35 1.18 1.81 6/254 89819
/proc/meminfo: memFree=126900836/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=662192 memory=588556 CPUtime=4.03 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 152820 0 0 0 357 46 0 0 20 0 2 0 79359402 678084608 147139 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 165548 147139 640 633 0 148604 0
[pid=89795/tid=89807] ppid=89787 vsize=662192 memory=10496 CPUtime=1.24 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 32177 0 0 0 114 10 0 0 20 0 2 0 79359415 678084608 147139 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 662192 KiB
Current children cumulated memory: 588556 KiB

[startup+6.30037 s]
/proc/loadavg: 1.65 1.24 1.83 7/254 89819
/proc/meminfo: memFree=125102896/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=850388 memory=775428 CPUtime=7.21 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 283122 0 0 0 659 62 0 0 20 0 2 0 79359402 870797312 193857 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 212597 193857 640 633 0 195653 0
[pid=89795/tid=89807] ppid=89787 vsize=850388 memory=7970669337762544242 CPUtime=1.24 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 32177 0 0 0 114 10 0 0 20 0 2 0 79359415 870797312 193857 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 7.21 s
Current children cumulated vsize: 850388 KiB
Current children cumulated memory: 775428 KiB

[startup+12.7004 s]
/proc/loadavg: 1.83 1.29 1.84 7/254 89819
/proc/meminfo: memFree=122354996/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1502508 memory=1426668 CPUtime=13.8 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 487801 0 0 0 1291 89 0 0 20 0 2 0 79359402 1538568192 356667 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 375627 356667 640 633 0 358683 0
[pid=89795/tid=89807] ppid=89787 vsize=1502508 memory=1426668 CPUtime=1.47 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 32382 0 0 0 136 11 0 0 20 0 2 0 79359415 1538568192 356667 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 13.8 s
Current children cumulated vsize: 1502508 KiB
Current children cumulated memory: 1426668 KiB

[startup+25.5004 s]
/proc/loadavg: 2.39 1.44 1.88 6/254 89819
/proc/meminfo: memFree=119750988/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1502508 memory=1426668 CPUtime=28.8 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 651342 0 0 0 2780 100 0 0 20 0 2 0 79359402 1538568192 356667 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 375627 356667 640 633 0 358683 0
[pid=89795/tid=89807] ppid=89787 vsize=1502508 memory=1426668 CPUtime=3.75 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) R 89787 89795 89746 0 -1 4194368 38258 0 0 0 363 12 0 0 20 0 2 0 79359415 1538568192 356667 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 28.8 s
Current children cumulated vsize: 1502508 KiB
Current children cumulated memory: 1426668 KiB

[startup+51.1116 s]
/proc/loadavg: 3.40 1.74 1.97 6/254 89819
/proc/meminfo: memFree=118607260/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1502508 memory=1426668 CPUtime=60.9 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 862695 0 0 0 5969 121 0 0 20 0 2 0 79359402 1538568192 356667 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 375627 356667 640 633 0 358683 0
[pid=89795/tid=89807] ppid=89787 vsize=1502508 memory=16248 CPUtime=10.43 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 38762 0 0 0 1028 15 0 0 20 0 2 0 79359415 1538568192 356667 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 60.9 s
Current children cumulated vsize: 1502508 KiB
Current children cumulated memory: 1426668 KiB

[startup+102.3 s]
/proc/loadavg: 4.33 2.26 2.14 5/254 89824
/proc/meminfo: memFree=118424972/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1502508 memory=1426668 CPUtime=122.82 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 1160611 0 0 0 12136 146 0 0 20 0 2 0 79359402 1538568192 356667 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 375627 356667 640 633 0 358683 0
[pid=89795/tid=89807] ppid=89787 vsize=1502508 memory=16248 CPUtime=21.56 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 44417 0 0 0 2136 20 0 0 20 0 2 0 79359415 1538568192 356667 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 122.82 s
Current children cumulated vsize: 1502508 KiB
Current children cumulated memory: 1426668 KiB

[startup+162.3 s]
/proc/loadavg: 5.11 2.87 2.36 6/255 89827
/proc/meminfo: memFree=118391736/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1569968 memory=1494204 CPUtime=201.21 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 1422923 0 0 0 19942 179 0 0 20 0 2 0 79359402 1607647232 373551 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392492 373551 640 633 0 375548 0
[pid=89795/tid=89807] ppid=89787 vsize=1569968 memory=1494204 CPUtime=40.44 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 50958 0 0 0 4017 27 0 0 20 0 2 0 79359415 1607647232 373551 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 201.21 s
Current children cumulated vsize: 1569968 KiB
Current children cumulated memory: 1494204 KiB

[startup+222.3 s]
/proc/loadavg: 5.15 3.29 2.54 5/255 89829
/proc/meminfo: memFree=118401648/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1569968 memory=1494204 CPUtime=288.66 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 1546875 0 0 0 28666 200 0 0 20 0 2 0 79359402 1607647232 373551 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392492 373551 640 633 0 375548 0
[pid=89795/tid=89807] ppid=89787 vsize=1569968 memory=10496 CPUtime=68.47 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) R 89787 89795 89746 0 -1 4194368 54268 0 0 0 6807 40 0 0 20 0 2 0 79359415 1607647232 373551 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 288.66 s
Current children cumulated vsize: 1569968 KiB
Current children cumulated memory: 1494204 KiB

[startup+282.3 s]
/proc/loadavg: 5.31 3.68 2.72 7/256 89836
/proc/meminfo: memFree=118104796/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1569968 memory=1494204 CPUtime=372.06 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 1715703 0 0 0 36979 227 0 0 20 0 2 0 79359402 1607647232 373551 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392492 373551 640 633 0 375548 0
[pid=89795/tid=89807] ppid=89787 vsize=1569968 memory=1494204 CPUtime=92.42 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 58026 0 0 0 9190 52 0 0 20 0 2 0 79359415 1607647232 373551 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 372.06 s
Current children cumulated vsize: 1569968 KiB
Current children cumulated memory: 1494204 KiB


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

/proc/meminfo: memFree=118073512/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1570100 memory=1495228 CPUtime=3024.71 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4237428 0 0 0 301725 746 0 0 20 0 2 0 79359402 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392525 373807 640 633 0 375581 0
[pid=89795/tid=89807] ppid=89787 vsize=1570100 memory=1495228 CPUtime=781.2 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) R 89787 89795 89746 0 -1 4194368 117391 0 0 0 77796 324 0 0 20 0 2 0 79359415 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3024.71 s
Current children cumulated vsize: 1570100 KiB
Current children cumulated memory: 1495228 KiB

[startup+2322.3 s]
/proc/loadavg: 4.74 4.78 4.59 6/253 89937
/proc/meminfo: memFree=118082488/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1570100 memory=1495228 CPUtime=3108.08 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4240341 0 0 0 310051 757 0 0 20 0 2 0 79359402 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392525 373807 640 633 0 375581 0
[pid=89795/tid=89807] ppid=89787 vsize=1570100 memory=1495228 CPUtime=805.04 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 117594 0 0 0 80171 333 0 0 20 0 2 0 79359415 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3108.08 s
Current children cumulated vsize: 1570100 KiB
Current children cumulated memory: 1495228 KiB

[startup+2382.3 s]
/proc/loadavg: 4.51 4.70 4.57 6/253 89939
/proc/meminfo: memFree=118108264/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1570100 memory=1495228 CPUtime=3187 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4242919 0 0 0 317933 767 0 0 20 0 2 0 79359402 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392525 373807 640 633 0 375581 0
[pid=89795/tid=89807] ppid=89787 vsize=1570100 memory=1495228 CPUtime=824.43 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) R 89787 89795 89746 0 -1 4194368 117643 0 0 0 82103 340 0 0 20 0 2 0 79359415 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3187 s
Current children cumulated vsize: 1570100 KiB
Current children cumulated memory: 1495228 KiB

[startup+2442.3 s]
/proc/loadavg: 4.71 4.71 4.58 6/253 89941
/proc/meminfo: memFree=118102744/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1570100 memory=1495228 CPUtime=3270.2 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4245616 0 0 0 326241 779 0 0 20 0 2 0 79359402 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392525 373807 640 633 0 375581 0
[pid=89795/tid=89807] ppid=89787 vsize=1570100 memory=1495228 CPUtime=848.11 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 117908 0 0 0 84461 350 0 0 20 0 2 0 79359415 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3270.2 s
Current children cumulated vsize: 1570100 KiB
Current children cumulated memory: 1495228 KiB

[startup+2502.3 s]
/proc/loadavg: 4.65 4.69 4.58 6/254 89946
/proc/meminfo: memFree=118110676/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1570100 memory=1495228 CPUtime=3352.7 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4248027 0 0 0 334482 788 0 0 20 0 2 0 79359402 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392525 373807 640 633 0 375581 0
[pid=89795/tid=89807] ppid=89787 vsize=1570100 memory=16248 CPUtime=871.12 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 118161 0 0 0 86755 357 0 0 20 0 2 0 79359415 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3352.7 s
Current children cumulated vsize: 1570100 KiB
Current children cumulated memory: 1495228 KiB

[startup+2562.3 s]
/proc/loadavg: 4.64 4.68 4.58 6/254 89948
/proc/meminfo: memFree=118134876/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1570100 memory=1495228 CPUtime=3437.24 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4278657 0 0 0 342924 800 0 0 20 0 2 0 79359402 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392525 373807 640 633 0 375581 0
[pid=89795/tid=89807] ppid=89787 vsize=1570100 memory=16248 CPUtime=896.17 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) R 89787 89795 89746 0 -1 4194368 118365 0 0 0 89252 365 0 0 20 0 2 0 79359415 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3437.24 s
Current children cumulated vsize: 1570100 KiB
Current children cumulated memory: 1495228 KiB

[startup+2622.3 s]
/proc/loadavg: 4.51 4.65 4.58 6/254 89950
/proc/meminfo: memFree=118137388/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1570100 memory=1495228 CPUtime=3518.78 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4281194 0 0 0 351068 810 0 0 20 0 2 0 79359402 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392525 373807 640 633 0 375581 0
[pid=89795/tid=89807] ppid=89787 vsize=1570100 memory=1495228 CPUtime=918.2 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 118571 0 0 0 91447 373 0 0 20 0 2 0 79359415 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3518.78 s
Current children cumulated vsize: 1570100 KiB
Current children cumulated memory: 1495228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2682.2 s]
/proc/loadavg: 4.62 4.65 4.58 5/254 89956
/proc/meminfo: memFree=118139420/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1570100 memory=1495228 CPUtime=3600.05 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4282640 0 0 0 359186 819 0 0 20 0 2 0 79359402 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392525 373807 640 633 0 375581 0
[pid=89795/tid=89807] ppid=89787 vsize=1570100 memory=4764 CPUtime=939.99 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 118774 0 0 0 93620 379 0 0 20 0 2 0 79359415 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1570100 KiB
Current children cumulated memory: 1495228 KiB

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

[startup+2682.3 s]
/proc/loadavg: 4.62 4.65 4.58 5/254 89956
/proc/meminfo: memFree=118139420/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1570100 memory=1495228 CPUtime=3600.16 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4282972 0 0 0 359197 819 0 0 20 0 2 0 79359402 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 392525 373807 640 633 0 375581 0
[pid=89795/tid=89807] ppid=89787 vsize=1570100 memory=16248 CPUtime=939.99 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 118774 0 0 0 93620 379 0 0 20 0 2 0 79359415 1607782400 373807 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 1570100 KiB
Current children cumulated memory: 1495228 KiB

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

# cumulated CPU time of all completed processes:  user=3592.57 s, system=8.24856 s

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

[startup+2682.4 s]
/proc/loadavg: 4.62 4.65 4.58 5/254 89956
/proc/meminfo: memFree=118139420/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1521396 memory=1446764 CPUtime=3600.25 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4307360 0 0 0 359205 820 0 0 20 0 2 0 79359402 1557909504 361691 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 380349 361691 640 633 0 363405 0
[pid=89795/tid=89807] ppid=89787 vsize=1521396 memory=1495228 CPUtime=939.99 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 118774 0 0 0 93620 379 0 0 20 0 2 0 79359415 1557909504 361691 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 1521396 KiB
Current children cumulated memory: 1446764 KiB

[startup+2682.8 s]
/proc/loadavg: 4.62 4.65 4.58 5/254 89956
/proc/meminfo: memFree=118139420/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1349028 memory=1274396 CPUtime=3600.65 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4347506 0 0 0 359243 822 0 0 20 0 2 0 79359402 1381404672 318599 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 337257 318599 640 633 0 320313 0
[pid=89795/tid=89807] ppid=89787 vsize=1349028 memory=4764 CPUtime=939.99 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 118774 0 0 0 93620 379 0 0 20 0 2 0 79359415 1381404672 318599 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 1349028 KiB
Current children cumulated memory: 1274396 KiB

[startup+2682.9 s]
/proc/loadavg: 4.62 4.65 4.58 5/254 89956
/proc/meminfo: memFree=118139420/131382120 swapFree=33010160/33010684
[pid=89795] ppid=89787 vsize=1331348 memory=1256716 CPUtime=3600.75 cores=1,3
/proc/89795/stat : 89795 (pb_competition_) R 89787 89795 89746 0 -1 4194304 4347506 0 0 0 359253 822 0 0 20 0 2 0 79359402 1363300352 314179 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
/proc/89795/statm: 332837 314179 640 633 0 315893 0
[pid=89795/tid=89807] ppid=89787 vsize=1331348 memory=16248 CPUtime=939.99 cores=1,3
/proc/89795/task/89807/stat : 89807 (pb_competition_) S 89787 89795 89746 0 -1 4194368 118774 0 0 0 93620 379 0 0 20 0 2 0 79359415 1363300352 314179 18446744073709551615 4198400 6788177 140729520255088 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30175232 140729520257367 140729520257494 140729520257494 140729520263098 0
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 1331348 KiB
Current children cumulated memory: 1256716 KiB

Child status: 0

Real time (s): 2682.96
CPU time (s): 3600.82
CPU user time (s): 3592.57
CPU system time (s): 8.24856
CPU usage (%): 134.211
Max. virtual memory (cumulated for all children) (KiB): 1570100
Max. memory (cumulated for all children) (KiB): 1495228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.57
system time used= 8.24856
maximum resident set size= 1495228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4362217
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= 157951
involuntary context switches= 17781


# summary of solver processes directly reported to runsolver:
#   pid: 89795
#   total CPU time (s): 3600.82
#   total CPU user time (s): 3592.57
#   total CPU system time (s): 8.24856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5235 second user time and 23.971 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-04 15:46:43
IDJOB=4526674
IDBENCH=144138
IDSOLVER=3379
FILE ID=nodeC008/4526674-1751636803
RUNJOBID= nodeC008-1751636803-89758
SLURM_JOB_ID= 9598984
Free space on /tmp= 432764 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reducmore_wcsp.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-4526674-1751636803/watcher-4526674-1751636803 -o /tmp/evaluation-result-4526674-1751636803/solver-4526674-1751636803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751636803-89758 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1504432086 HOME/instance-4526674-1751636803.wbo

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

MD5SUM BENCH= 4f5be5c84a0d76ec975a3a6b3be3f2ae
RANDOM SEED=1504432086

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		: 1197.038
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.215
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.568
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.413
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		: 1197.211
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.209
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		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.316
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:        129718508 kB
MemAvailable:   129919052 kB
Buffers:            2128 kB
Cached:           994324 kB
SwapCached:           16 kB
Active:           601516 kB
Inactive:         473384 kB
Active(anon):      62072 kB
Inactive(anon):    34324 kB
Active(file):     539444 kB
Inactive(file):   439060 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             64480 kB
Writeback:             4 kB
AnonPages:         81576 kB
Mapped:           103924 kB
Shmem:             17920 kB
KReclaimable:     123336 kB
Slab:             208000 kB
SReclaimable:     123336 kB
SUnreclaim:        84664 kB
KernelStack:        3856 kB
PageTables:         2876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     338400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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= 432732 MiB
End job on nodeC008 at 2025-07-04 16:31:26