Trace number 4526701

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 3426.28

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
graphs/normalized-graph11reduc_wcsp.wbo
MD5SUM4f9f31b2d576e76fab744cedabc86032
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.9592
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5855
Total number of constraints283196
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)340
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.91/3.07	c #variable: 5855
3.91/3.07	c #constraint: 283196
3.91/3.07	c #equal: 340
3.91/3.07	c intsize: 6
3.91/3.07	c sizeproduct: 0
3.91/3.07	c #soft: 282856
3.91/3.07	c mincost: 1
3.91/3.07	c maxcost: 3080
3.91/3.07	c sumcost: 64455868
3.91/3.07	c iteration_max: -1
3.91/3.07	c time_max: -1
3.91/3.07	c number_of_threads(move update): 2
3.91/3.07	c number_of_threads(move evaluation): 2
3.91/3.07	c seed: 1504432086
103.26/87.53	o 2975
107.58/91.61	o 2695
117.07/98.99	o 2692
118.44/100.14	o 2681
121.60/102.50	o 2671
130.01/110.14	o 2660
207.94/164.27	o 2649
214.81/169.14	o 2648
255.33/198.97	o 2638
259.69/202.11	o 2637
336.07/256.07	o 2548
337.70/257.41	o 2547
452.19/337.31	o 1649
638.95/464.30	o 1560
670.55/488.20	o 1356
687.12/500.79	o 1319
688.96/502.43	o 1298
728.78/542.43	o 1201
729.98/543.69	o 1200
785.85/599.79	o 1150
943.32/757.80	o 1109
977.07/791.75	o 1041
1405.95/1222.50	o 996
1433.34/1250.10	o 961
1460.61/1277.41	o 719
1489.28/1306.24	o 688
1535.68/1352.81	o 685
1542.15/1359.38	o 676
2089.99/1909.59	o 655
2587.76/2409.49	o 629
2614.06/2435.86	o 571
2811.01/2633.66	o 568
2889.70/2712.66	o 525
3600.14/3425.68	s SATISFIABLE
3600.14/3425.68	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 -x5748 -x5749 -x575 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 x5757 -x5758 -x5759 x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x577 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 x5796 -x5797 -x5798 -x5799 -x58 -x580 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x583 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x585 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -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	525

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-4526701-1751636803/watcher-4526701-1751636803 -o /tmp/evaluation-result-4526701-1751636803/solver-4526701-1751636803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751636803-89759 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1504432086 HOME/instance-4526701-1751636803.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=89794, runsolver pid=89788

[startup+0.10007 s]*
/proc/loadavg: 1.35 1.18 1.81 6/245 89805
/proc/meminfo: memFree=129641812/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=55344 memory=30852 CPUtime=0.1 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 6206 0 0 0 6 4 0 0 20 0 1 0 79359402 56672256 7713 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 13836 7713 576 633 0 13052 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55344 KiB
Current children cumulated memory: 30852 KiB

[startup+0.214056 s]*
/proc/loadavg: 1.35 1.18 1.81 8/248 89808
/proc/meminfo: memFree=129603004/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=133828 memory=56196 CPUtime=0.29 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 8971 0 0 0 23 6 0 0 20 0 2 0 79359402 137039872 14049 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 33457 14049 576 633 0 17372 0
[pid=89794/tid=89806] ppid=89788 vsize=133828 memory=3472328300254212617 CPUtime=0.07 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) R 89788 89794 89746 0 -1 4194368 1085 0 0 0 7 0 0 0 20 0 2 0 79359415 137039872 14049 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 133828 KiB
Current children cumulated memory: 56196 KiB

[startup+0.312907 s]*
/proc/loadavg: 1.35 1.18 1.81 9/249 89814
/proc/meminfo: memFree=129525040/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=138580 memory=65028 CPUtime=0.48 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 11178 0 0 0 40 8 0 0 20 0 2 0 79359402 141905920 16257 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 34645 16257 576 633 0 19580 0
[pid=89794/tid=89806] ppid=89788 vsize=138580 memory=-7161680551476289659 CPUtime=0.16 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) R 89788 89794 89746 0 -1 4194368 2105 0 0 0 15 1 0 0 20 0 2 0 79359415 141905920 16257 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 138580 KiB
Current children cumulated memory: 65028 KiB

[startup+0.700276 s]
/proc/loadavg: 1.35 1.18 1.81 10/253 89818
/proc/meminfo: memFree=129393320/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=157984 memory=101636 CPUtime=1.19 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 20369 0 0 0 107 12 0 0 20 0 2 0 79359402 161775616 25409 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 39496 25409 576 633 0 28778 0
[pid=89794/tid=89806] ppid=89788 vsize=157984 memory=18432 CPUtime=0.51 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) R 89788 89794 89746 0 -1 4194368 6452 0 0 0 47 4 0 0 20 0 2 0 79359415 161775616 25409 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 157984 KiB
Current children cumulated memory: 101636 KiB

[startup+1.50038 s]
/proc/loadavg: 1.35 1.18 1.81 8/254 89819
/proc/meminfo: memFree=128952424/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=501004 memory=453016 CPUtime=2.02 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 70398 0 0 0 172 30 0 0 20 0 2 0 79359402 513028096 113254 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 125251 113254 608 633 0 115828 0
[pid=89794/tid=89806] ppid=89788 vsize=501004 memory=18432 CPUtime=0.58 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 7747 0 0 0 54 4 0 0 20 0 2 0 79359415 513028096 113286 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 0 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 501004 KiB
Current children cumulated memory: 453016 KiB

[startup+3.10937 s]
/proc/loadavg: 1.35 1.18 1.81 7/254 89819
/proc/meminfo: memFree=126900836/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=662420 memory=588612 CPUtime=4.01 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 151355 0 0 0 355 46 0 0 20 0 2 0 79359402 678318080 147153 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 165605 147153 608 633 0 148648 0
[pid=89794/tid=89806] ppid=89788 vsize=662420 memory=7971802929955619441 CPUtime=1.53 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 33760 0 0 0 141 12 0 0 20 0 2 0 79359415 678318080 147153 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 662420 KiB
Current children cumulated memory: 588612 KiB

[startup+6.30032 s]
/proc/loadavg: 1.65 1.24 1.83 7/254 89819
/proc/meminfo: memFree=125102896/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=850660 memory=773460 CPUtime=7.19 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 283152 0 0 0 658 61 0 0 20 0 2 0 79359402 871075840 193365 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 212665 193365 640 633 0 195708 0
[pid=89794/tid=89806] ppid=89788 vsize=850660 memory=0 CPUtime=1.53 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 33760 0 0 0 141 12 0 0 20 0 2 0 79359415 871075840 193365 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 7.19 s
Current children cumulated vsize: 850660 KiB
Current children cumulated memory: 773460 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=89794] ppid=89788 vsize=1502892 memory=1425604 CPUtime=13.8 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 472603 0 0 0 1293 87 0 0 20 0 2 0 79359402 1538961408 356401 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 375723 356401 640 633 0 358766 0
[pid=89794/tid=89806] ppid=89788 vsize=1502892 memory=1425604 CPUtime=1.78 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 36849 0 0 0 166 12 0 0 20 0 2 0 79359415 1538961408 356401 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 13.8 s
Current children cumulated vsize: 1502892 KiB
Current children cumulated memory: 1425604 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=89794] ppid=89788 vsize=1502892 memory=1425604 CPUtime=27.72 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 693822 0 0 0 2673 99 0 0 20 0 2 0 79359402 1538961408 356401 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 375723 356401 640 633 0 358766 0
[pid=89794/tid=89806] ppid=89788 vsize=1502892 memory=1425604 CPUtime=2.96 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 38764 0 0 0 283 13 0 0 20 0 2 0 79359415 1538961408 356401 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 27.72 s
Current children cumulated vsize: 1502892 KiB
Current children cumulated memory: 1425604 KiB

[startup+51.1125 s]
/proc/loadavg: 3.40 1.74 1.97 6/254 89819
/proc/meminfo: memFree=118607260/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1502892 memory=1425604 CPUtime=60.67 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 916379 0 0 0 5951 116 0 0 20 0 2 0 79359402 1538961408 356401 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 375723 356401 640 633 0 358766 0
[pid=89794/tid=89806] ppid=89788 vsize=1502892 memory=1425604 CPUtime=10.52 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) R 89788 89794 89746 0 -1 4194368 46607 0 0 0 1035 17 0 0 20 0 2 0 79359415 1538961408 356401 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 60.67 s
Current children cumulated vsize: 1502892 KiB
Current children cumulated memory: 1425604 KiB

[startup+102.3 s]
/proc/loadavg: 4.33 2.26 2.14 6/254 89824
/proc/meminfo: memFree=118424972/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570572 memory=1493232 CPUtime=121.33 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 1264544 0 0 0 11990 143 0 0 20 0 2 0 79359402 1608265728 373308 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392643 373308 640 633 0 375686 0
[pid=89794/tid=89806] ppid=89788 vsize=1570572 memory=1493232 CPUtime=20.41 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) R 89788 89794 89746 0 -1 4194368 50942 0 0 0 2021 20 0 0 20 0 2 0 79359415 1608265728 373308 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 121.33 s
Current children cumulated vsize: 1570572 KiB
Current children cumulated memory: 1493232 KiB

[startup+162.3 s]
/proc/loadavg: 5.11 2.87 2.36 7/255 89827
/proc/meminfo: memFree=118391736/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570572 memory=1493232 CPUtime=205.07 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 1399150 0 0 0 20341 166 0 0 20 0 2 0 79359402 1608265728 373308 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392643 373308 640 633 0 375686 0
[pid=89794/tid=89806] ppid=89788 vsize=1570572 memory=1493232 CPUtime=44.72 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) R 89788 89794 89746 0 -1 4194368 54377 0 0 0 4442 30 0 0 20 0 2 0 79359415 1608265728 373308 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 205.07 s
Current children cumulated vsize: 1570572 KiB
Current children cumulated memory: 1493232 KiB

[startup+222.3 s]
/proc/loadavg: 5.15 3.29 2.54 6/255 89829
/proc/meminfo: memFree=118401648/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570572 memory=1493232 CPUtime=286.88 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 1521288 0 0 0 28503 185 0 0 20 0 2 0 79359402 1608265728 373308 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392643 373308 640 633 0 375686 0
[pid=89794/tid=89806] ppid=89788 vsize=1570572 memory=1493232 CPUtime=67.1 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) R 89788 89794 89746 0 -1 4194368 57901 0 0 0 6671 39 0 0 20 0 2 0 79359415 1608265728 373308 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 286.88 s
Current children cumulated vsize: 1570572 KiB
Current children cumulated memory: 1493232 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=89794] ppid=89788 vsize=1570704 memory=1493360 CPUtime=373.03 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 1610043 0 0 0 37101 202 0 0 20 0 2 0 79359402 1608400896 373340 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392676 373340 640 633 0 375719 0
[pid=89794/tid=89806] ppid=89788 vsize=1570704 memory=1493360 CPUtime=93.85 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 61219 0 0 0 9336 49 0 0 20 0 2 0 79359415 1608400896 373340 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 373.03 s
Current children cumulated vsize: 1570704 KiB
Current children cumulated memory: 1493360 KiB


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

/proc/meminfo: memFree=119597848/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3158.45 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2316296 0 0 0 315505 340 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=16248 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3158.45 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB

[startup+3042.3 s]
/proc/loadavg: 3.58 3.79 4.19 4/246 89998
/proc/meminfo: memFree=119604292/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3218.25 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2320410 0 0 0 321483 342 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=1497200 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3218.25 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB

[startup+3102.3 s]
/proc/loadavg: 3.33 3.68 4.12 4/246 90000
/proc/meminfo: memFree=119607748/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3278.04 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2324975 0 0 0 327461 343 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=1497200 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3278.04 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB

[startup+3162.3 s]
/proc/loadavg: 3.20 3.58 4.06 4/247 90005
/proc/meminfo: memFree=119605056/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3337.83 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2329959 0 0 0 333439 344 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=1497200 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3337.83 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB

[startup+3222.3 s]
/proc/loadavg: 2.74 3.39 3.96 4/240 90038
/proc/meminfo: memFree=122473792/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3397.61 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2331386 0 0 0 339414 347 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=1497200 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3397.61 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB

[startup+3282.3 s]
/proc/loadavg: 2.35 3.16 3.85 3/240 90040
/proc/meminfo: memFree=122429556/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3457.4 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2334014 0 0 0 345391 349 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=16248 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3457.4 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB

[startup+3342.3 s]
/proc/loadavg: 2.43 3.03 3.76 3/242 90049
/proc/meminfo: memFree=122421164/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3517.19 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2337314 0 0 0 351368 351 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=3200 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3517.19 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB

[startup+3402.3 s]
/proc/loadavg: 1.68 2.71 3.60 2/235 90081
/proc/meminfo: memFree=128220424/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3576.93 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2341661 0 0 0 357340 353 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=1497200 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3576.93 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3425.5 s]
/proc/loadavg: 1.49 2.60 3.54 2/235 90082
/proc/meminfo: memFree=128220424/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3600.04 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2342559 0 0 0 359650 354 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=1497200 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.21 s, system=3.61568 s

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

[startup+3425.6 s]
/proc/loadavg: 1.49 2.60 3.54 2/235 90082
/proc/meminfo: memFree=128220424/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1570968 memory=1497200 CPUtime=3600.14 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2342559 0 0 0 359660 354 0 0 20 0 2 0 79359402 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 392742 374300 640 633 0 375785 0
[pid=89794/tid=89806] ppid=89788 vsize=1570968 memory=16248 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1608671232 374300 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 1570968 KiB
Current children cumulated memory: 1497200 KiB

[startup+3426 s]*
/proc/loadavg: 1.53 2.59 3.54 2/235 90082
/proc/meminfo: memFree=128374032/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1398600 memory=1324880 CPUtime=3600.55 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2391155 0 0 0 359699 356 0 0 20 0 2 0 79359402 1432166400 331220 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 349650 331220 640 633 0 332693 0
[pid=89794/tid=89806] ppid=89788 vsize=1398600 memory=7971802929955619441 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1432166400 331220 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 1398600 KiB
Current children cumulated memory: 1324880 KiB

[startup+3426.2 s]
/proc/loadavg: 1.53 2.59 3.54 2/235 90082
/proc/meminfo: memFree=128374032/131382120 swapFree=33010160/33010684
[pid=89794] ppid=89788 vsize=1380920 memory=1307200 CPUtime=3600.73 cores=5,7
/proc/89794/stat : 89794 (pb_competition_) R 89788 89794 89746 0 -1 4194304 2395764 0 0 0 359717 356 0 0 20 0 2 0 79359402 1414062080 326800 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
/proc/89794/statm: 345230 326800 640 633 0 328273 0
[pid=89794/tid=89806] ppid=89788 vsize=1380920 memory=4352 CPUtime=191.95 cores=5,7
/proc/89794/task/89806/stat : 89806 (pb_competition_) S 89788 89794 89746 0 -1 4194368 66933 0 0 0 19106 89 0 0 20 0 2 0 79359415 1414062080 326800 18446744073709551615 4198400 6788177 140726064067616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9654272 140726064073047 140726064073174 140726064073174 140726064078778 0
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 1380920 KiB
Current children cumulated memory: 1307200 KiB

Child status: 0

Real time (s): 3426.28
CPU time (s): 3600.82
CPU user time (s): 3597.21
CPU system time (s): 3.61568
CPU usage (%): 105.094
Max. virtual memory (cumulated for all children) (KiB): 1570968
Max. memory (cumulated for all children) (KiB): 1497200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.21
system time used= 3.61568
maximum resident set size= 1497200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2410987
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= 33609
involuntary context switches= 24845


# summary of solver processes directly reported to runsolver:
#   pid: 89794
#   total CPU time (s): 3600.82
#   total CPU user time (s): 3597.21
#   total CPU system time (s): 3.61568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7561 second user time and 31.8795 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-04 15:46:43
IDJOB=4526701
IDBENCH=144141
IDSOLVER=3379
FILE ID=nodeC008/4526701-1751636803
RUNJOBID= nodeC008-1751636803-89759
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-graph11reduc_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-4526701-1751636803/watcher-4526701-1751636803 -o /tmp/evaluation-result-4526701-1751636803/solver-4526701-1751636803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751636803-89759 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1504432086 HOME/instance-4526701-1751636803.wbo

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

MD5SUM BENCH= 4f9f31b2d576e76fab744cedabc86032
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= 432800 MiB
End job on nodeC008 at 2025-07-04 16:43:49