Trace number 4523238

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 NameAnswerobjective functionCPU timeWall clock time
PRINTEMPS 2025-05-28SAT (TO)-7944 3600.11 1830.91

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
MD5SUM19358b71c175af654e98554c4f116d17
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7944
Best CPU time to get the best result obtained on this benchmark0.165829
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5475
Total number of constraints181
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)172
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1490
Number of terms in the objective function 5474
Biggest coefficient in the objective function 260
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 629333
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 629333
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
0.00/0.01	c #variable: 5475
0.00/0.01	c #constraint: 181
0.00/0.01	c #equal: 0
0.00/0.01	c intsize: 20
0.00/0.01	c sizeproduct: 0
0.00/0.01	c #soft: 0
0.00/0.01	c mincost: 0
0.00/0.01	c maxcost: 0
0.00/0.01	c sumcost: 0
0.00/0.01	c iteration_max: -1
0.00/0.01	c time_max: -1
0.00/0.01	c number_of_threads(move update): 2
0.00/0.01	c number_of_threads(move evaluation): 2
0.00/0.01	c seed: 752679826
0.00/0.03	o -6404
0.00/0.04	o -6945
0.00/0.09	o -7077
0.16/0.13	o -7097
0.36/0.23	o -7180
1.08/0.68	o -7486
1.27/0.73	o -7494
1.27/0.74	o -7495
2.67/1.43	o -7560
2.67/1.47	o -7568
3.06/1.69	o -7641
5.04/2.63	o -7660
5.04/2.68	o -7735
5.24/2.70	o -7783
5.84/3.06	o -7848
6.22/3.23	o -7862
8.41/4.34	o -7865
10.40/5.32	o -7874
10.79/5.56	o -7880
12.97/6.66	o -7885
12.97/6.66	o -7899
13.78/7.04	o -7901
13.78/7.07	o -7903
14.36/7.38	o -7923
16.93/8.63	o -7940
19.32/9.89	o -7944
3600.08/1830.90	s SATISFIABLE
3600.08/1830.90	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 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data 

OK	-7944

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (59896 MiB free)
  memory of node 1: 64507 MiB (53133 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523238-1751650453/watcher-4523238-1751650453 -o /tmp/evaluation-result-4523238-1751650453/solver-4523238-1751650453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751647262-102958 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 752679826 HOME/instance-4523238-1751650453.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=103375, runsolver pid=103372

[startup+0.100062 s]*
/proc/loadavg: 6.23 6.09 6.02 9/269 103377
/proc/meminfo: memFree=115742376/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=89288 memory=16152 CPUtime=0.16 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 3696 0 0 0 16 0 0 0 20 0 2 0 80723228 91430912 4038 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22322 4038 672 633 0 5558 0
[pid=103375/tid=103377] ppid=103372 vsize=89288 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 402 0 0 0 7 0 0 0 20 0 2 0 80723229 91430912 4038 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 16152 KiB

[startup+0.205566 s]*
/proc/loadavg: 6.23 6.09 6.02 9/269 103377
/proc/meminfo: memFree=115742376/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=89628 memory=16312 CPUtime=0.36 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 3941 0 0 0 36 0 0 0 20 0 2 0 80723228 91779072 4078 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22407 4078 672 633 0 5643 0
[pid=103375/tid=103377] ppid=103372 vsize=89628 memory=4830728736883343644 CPUtime=0.17 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 402 0 0 0 17 0 0 0 20 0 2 0 80723229 91779072 4078 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 89628 KiB
Current children cumulated memory: 16312 KiB

[startup+0.305465 s]*
/proc/loadavg: 6.23 6.09 6.02 9/269 103377
/proc/meminfo: memFree=115742376/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=89288 memory=16200 CPUtime=0.51 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 4004 0 0 0 51 0 0 0 20 0 2 0 80723228 91430912 4050 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22322 4050 672 633 0 5558 0
[pid=103375/tid=103377] ppid=103372 vsize=89288 memory=-8970261821949896807 CPUtime=0.22 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 402 0 0 0 22 0 0 0 20 0 2 0 80723229 91430912 4050 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 16200 KiB

[startup+0.70021 s]
/proc/loadavg: 6.23 6.09 6.02 9/269 103377
/proc/meminfo: memFree=115742376/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=89800 memory=16328 CPUtime=1.27 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 4134 0 0 0 127 0 0 0 20 0 2 0 80723228 91955200 4082 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22450 4082 672 633 0 5686 0
[pid=103375/tid=103377] ppid=103372 vsize=89800 memory=19200 CPUtime=0.6 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 402 0 0 0 60 0 0 0 20 0 2 0 80723229 91955200 4082 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 89800 KiB
Current children cumulated memory: 16328 KiB

[startup+1.50022 s]
/proc/loadavg: 6.23 6.09 6.02 9/269 103377
/proc/meminfo: memFree=115746232/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=89800 memory=16840 CPUtime=2.86 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 6426 0 0 0 285 1 0 0 20 0 2 0 80723228 91955200 4210 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22450 4210 672 633 0 5686 0
[pid=103375/tid=103377] ppid=103372 vsize=89800 memory=19200 CPUtime=1.38 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 511 0 0 0 138 0 0 0 20 0 2 0 80723229 91955200 4210 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 89800 KiB
Current children cumulated memory: 16840 KiB

[startup+3.10539 s]
/proc/loadavg: 6.23 6.09 6.02 9/269 103377
/proc/meminfo: memFree=115746316/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=89836 memory=16840 CPUtime=6.03 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 9092 0 0 0 601 2 0 0 20 0 2 0 80723228 91992064 4210 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22459 4210 672 633 0 5695 0
[pid=103375/tid=103377] ppid=103372 vsize=89836 memory=16840 CPUtime=2.96 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 967 0 0 0 296 0 0 0 20 0 2 0 80723229 91992064 4210 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 89836 KiB
Current children cumulated memory: 16840 KiB

[startup+6.3002 s]
/proc/loadavg: 6.37 6.12 6.03 9/269 103377
/proc/meminfo: memFree=115742220/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=89836 memory=16840 CPUtime=12.37 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 11469 0 0 0 1234 3 0 0 20 0 2 0 80723228 91992064 4210 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22459 4210 672 633 0 5695 0
[pid=103375/tid=103377] ppid=103372 vsize=89836 memory=19200 CPUtime=6.13 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 1019 0 0 0 613 0 0 0 20 0 2 0 80723229 91992064 4210 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 12.37 s
Current children cumulated vsize: 89836 KiB
Current children cumulated memory: 16840 KiB

[startup+12.7002 s]
/proc/loadavg: 6.50 6.15 6.04 9/269 103377
/proc/meminfo: memFree=115742236/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=89968 memory=16840 CPUtime=25.08 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 13897 0 0 0 2501 7 0 0 20 0 2 0 80723228 92127232 4210 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22492 4210 672 633 0 5728 0
[pid=103375/tid=103377] ppid=103372 vsize=89968 memory=16840 CPUtime=12.47 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) S 103372 103375 102386 0 -1 4194368 1614 0 0 0 1246 1 0 0 20 0 2 0 80723229 92127232 4210 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 25.08 s
Current children cumulated vsize: 89968 KiB
Current children cumulated memory: 16840 KiB

[startup+25.5002 s]
/proc/loadavg: 6.69 6.21 6.06 9/270 103378
/proc/meminfo: memFree=115730200/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=90184 memory=16756 CPUtime=48.91 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 17048 0 0 0 4879 12 0 0 20 0 2 0 80723228 92348416 4189 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22546 4189 672 633 0 5782 0
[pid=103375/tid=103377] ppid=103372 vsize=90184 memory=16704 CPUtime=23.58 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 2448 0 0 0 2355 3 0 0 20 0 2 0 80723229 92348416 4189 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 48.91 s
Current children cumulated vsize: 90184 KiB
Current children cumulated memory: 16756 KiB

[startup+51.1057 s]
/proc/loadavg: 7.06 6.34 6.11 8/270 103379
/proc/meminfo: memFree=115715140/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=90148 memory=16640 CPUtime=95.49 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 26011 0 0 0 9525 24 0 0 20 0 2 0 80723228 92311552 4160 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22537 4160 672 633 0 5773 0
[pid=103375/tid=103377] ppid=103372 vsize=90148 memory=19200 CPUtime=44.72 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) S 103372 103375 102386 0 -1 4194368 3346 0 0 0 4467 5 0 0 20 0 2 0 80723229 92311552 4160 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 95.49 s
Current children cumulated vsize: 90148 KiB
Current children cumulated memory: 16640 KiB

[startup+102.3 s]
/proc/loadavg: 7.42 6.57 6.20 9/270 103380
/proc/meminfo: memFree=115730744/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=90132 memory=17076 CPUtime=196.32 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 38837 0 0 0 19579 53 0 0 20 0 2 0 80723228 92295168 4269 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22533 4269 672 633 0 5769 0
[pid=103375/tid=103377] ppid=103372 vsize=90132 memory=19200 CPUtime=94.74 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 4887 0 0 0 9465 9 0 0 20 0 2 0 80723229 92295168 4269 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 196.32 s
Current children cumulated vsize: 90132 KiB
Current children cumulated memory: 17076 KiB

[startup+162.3 s]
/proc/loadavg: 7.55 6.75 6.29 8/270 103382
/proc/meminfo: memFree=115729852/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91180 memory=17660 CPUtime=315.25 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 66899 0 0 0 31433 92 0 0 20 0 2 0 80723228 93368320 4415 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22795 4415 672 633 0 6031 0
[pid=103375/tid=103377] ppid=103372 vsize=91180 memory=5632 CPUtime=154.1 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 6107 0 0 0 15396 14 0 0 20 0 2 0 80723229 93368320 4415 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 315.25 s
Current children cumulated vsize: 91180 KiB
Current children cumulated memory: 17660 KiB

[startup+222.3 s]
/proc/loadavg: 7.43 6.88 6.36 9/270 103385
/proc/meminfo: memFree=115719236/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91180 memory=17660 CPUtime=434.18 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 69501 0 0 0 43294 124 0 0 20 0 2 0 80723228 93368320 4415 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22795 4415 672 633 0 6031 0
[pid=103375/tid=103377] ppid=103372 vsize=91180 memory=19200 CPUtime=213.43 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 6930 0 0 0 21323 20 0 0 20 0 2 0 80723229 93368320 4415 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 434.18 s
Current children cumulated vsize: 91180 KiB
Current children cumulated memory: 17660 KiB

[startup+282.3 s]
/proc/loadavg: 7.73 7.07 6.46 7/269 103387
/proc/meminfo: memFree=115723708/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91180 memory=17660 CPUtime=553.03 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 72067 0 0 0 55147 156 0 0 20 0 2 0 80723228 93368320 4415 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22795 4415 672 633 0 6031 0
[pid=103375/tid=103377] ppid=103372 vsize=91180 memory=17660 CPUtime=272.7 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 7681 0 0 0 27245 25 0 0 20 0 2 0 80723229 93368320 4415 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 553.03 s
Current children cumulated vsize: 91180 KiB
Current children cumulated memory: 17660 KiB

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

/proc/meminfo: memFree=116331204/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91416 memory=18160 CPUtime=2435.95 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 124661 0 0 0 242970 625 0 0 20 0 2 0 80723228 93609984 4540 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22854 4540 672 633 0 6090 0
[pid=103375/tid=103377] ppid=103372 vsize=91416 memory=18160 CPUtime=1201.87 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10119 0 0 0 120083 104 0 0 20 0 2 0 80723229 93609984 4540 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 2435.95 s
Current children cumulated vsize: 91416 KiB
Current children cumulated memory: 18160 KiB

[startup+1302.3 s]
/proc/loadavg: 3.87 4.28 5.28 5/254 103502
/proc/meminfo: memFree=116339860/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91456 memory=18288 CPUtime=2554.69 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 128499 0 0 0 254813 656 0 0 20 0 2 0 80723228 93650944 4572 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22864 4572 672 633 0 6100 0
[pid=103375/tid=103377] ppid=103372 vsize=91456 memory=18296 CPUtime=1260.98 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10119 0 0 0 125991 107 0 0 20 0 2 0 80723229 93650944 4572 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 2554.69 s
Current children cumulated vsize: 91456 KiB
Current children cumulated memory: 18288 KiB

[startup+1362.3 s]
/proc/loadavg: 4.03 4.24 5.20 5/254 103504
/proc/meminfo: memFree=116341412/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91552 memory=18228 CPUtime=2673.47 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 132246 0 0 0 266661 686 0 0 20 0 2 0 80723228 93749248 4557 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22888 4557 672 633 0 6124 0
[pid=103375/tid=103377] ppid=103372 vsize=91552 memory=18296 CPUtime=1320.1 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10201 0 0 0 131899 111 0 0 20 0 2 0 80723229 93749248 4557 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 2673.47 s
Current children cumulated vsize: 91552 KiB
Current children cumulated memory: 18228 KiB

[startup+1422.3 s]
/proc/loadavg: 4.06 4.21 5.13 5/254 103506
/proc/meminfo: memFree=116341544/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91468 memory=18328 CPUtime=2792.21 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 137374 0 0 0 278507 714 0 0 20 0 2 0 80723228 93663232 4582 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22867 4582 672 633 0 6103 0
[pid=103375/tid=103377] ppid=103372 vsize=91468 memory=18296 CPUtime=1379.18 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10201 0 0 0 137804 114 0 0 20 0 2 0 80723229 93663232 4582 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 2792.21 s
Current children cumulated vsize: 91468 KiB
Current children cumulated memory: 18328 KiB

[startup+1482.3 s]
/proc/loadavg: 4.03 4.17 5.06 4/255 103509
/proc/meminfo: memFree=116341656/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91292 memory=18292 CPUtime=2910.87 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 141471 0 0 0 290346 741 0 0 20 0 2 0 80723228 93483008 4573 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22823 4573 672 633 0 6059 0
[pid=103375/tid=103377] ppid=103372 vsize=91292 memory=18392 CPUtime=1438.21 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10213 0 0 0 143703 118 0 0 20 0 2 0 80723229 93483008 4573 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 2910.87 s
Current children cumulated vsize: 91292 KiB
Current children cumulated memory: 18292 KiB

[startup+1542.3 s]
/proc/loadavg: 3.90 4.09 4.97 4/254 103512
/proc/meminfo: memFree=116342024/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91368 memory=17968 CPUtime=3029.52 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 145150 0 0 0 302182 770 0 0 20 0 2 0 80723228 93560832 4492 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22842 4492 672 633 0 6078 0
[pid=103375/tid=103377] ppid=103372 vsize=91368 memory=18348 CPUtime=1497.23 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10213 0 0 0 149600 123 0 0 20 0 2 0 80723229 93560832 4492 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 3029.52 s
Current children cumulated vsize: 91368 KiB
Current children cumulated memory: 17968 KiB

[startup+1602.3 s]
/proc/loadavg: 3.76 4.03 4.89 5/254 103514
/proc/meminfo: memFree=116342412/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91368 memory=18292 CPUtime=3148.15 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 151323 0 0 0 314017 798 0 0 20 0 2 0 80723228 93560832 4573 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22842 4573 672 633 0 6078 0
[pid=103375/tid=103377] ppid=103372 vsize=91368 memory=18292 CPUtime=1556.24 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10298 0 0 0 155498 126 0 0 20 0 2 0 80723229 93560832 4573 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 3148.15 s
Current children cumulated vsize: 91368 KiB
Current children cumulated memory: 18292 KiB

[startup+1662.3 s]
/proc/loadavg: 3.94 4.02 4.83 5/254 103527
/proc/meminfo: memFree=116342228/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91444 memory=18372 CPUtime=3266.79 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 155541 0 0 0 325849 830 0 0 20 0 2 0 80723228 93638656 4593 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22861 4593 672 633 0 6097 0
[pid=103375/tid=103377] ppid=103372 vsize=91444 memory=18372 CPUtime=1615.24 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10298 0 0 0 161393 131 0 0 20 0 2 0 80723229 93638656 4593 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 3266.79 s
Current children cumulated vsize: 91444 KiB
Current children cumulated memory: 18372 KiB

[startup+1722.3 s]
/proc/loadavg: 3.86 3.97 4.76 5/255 103531
/proc/meminfo: memFree=116318864/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91368 memory=18328 CPUtime=3385.41 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 159972 0 0 0 337684 857 0 0 20 0 2 0 80723228 93560832 4582 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22842 4582 672 633 0 6078 0
[pid=103375/tid=103377] ppid=103372 vsize=91368 memory=18372 CPUtime=1674.23 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10298 0 0 0 167289 134 0 0 20 0 2 0 80723229 93560832 4582 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 3385.41 s
Current children cumulated vsize: 91368 KiB
Current children cumulated memory: 18328 KiB

[startup+1782.3 s]
/proc/loadavg: 3.81 3.93 4.70 5/255 103533
/proc/meminfo: memFree=116319468/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91560 memory=18352 CPUtime=3504.01 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 166081 0 0 0 349521 880 0 0 20 0 2 0 80723228 93757440 4588 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22890 4588 672 633 0 6126 0
[pid=103375/tid=103377] ppid=103372 vsize=91560 memory=15020 CPUtime=1733.21 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10355 0 0 0 173183 138 0 0 20 0 2 0 80723229 93757440 4588 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 3504.01 s
Current children cumulated vsize: 91560 KiB
Current children cumulated memory: 18352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1830.9 s]
/proc/loadavg: 3.86 3.93 4.65 5/255 103538
/proc/meminfo: memFree=116320612/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91556 memory=18332 CPUtime=3600.08 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 172132 0 0 0 359103 905 0 0 20 0 2 0 80723228 93753344 4583 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22889 4583 672 633 0 6125 0
[pid=103375/tid=103377] ppid=103372 vsize=91556 memory=18336 CPUtime=1780.95 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10355 0 0 0 177955 140 0 0 20 0 2 0 80723229 93753344 4583 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 91556 KiB
Current children cumulated memory: 18332 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.05 s, system=9.05717 s

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

[startup+1830.9 s]
/proc/loadavg: 3.86 3.93 4.65 5/255 103538
/proc/meminfo: memFree=116320612/131249996 swapFree=33010684/33010684
[pid=103375] ppid=103372 vsize=91556 memory=18332 CPUtime=3600.08 cores=4,6
/proc/103375/stat : 103375 (pb_competition_) R 103372 103375 102386 0 -1 4194304 172132 0 0 0 359103 905 0 0 20 0 2 0 80723228 93753344 4583 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
/proc/103375/statm: 22889 4583 672 633 0 6125 0
[pid=103375/tid=103377] ppid=103372 vsize=91556 memory=18336 CPUtime=1780.95 cores=4,6
/proc/103375/task/103377/stat : 103377 (pb_competition_) R 103372 103375 102386 0 -1 4194368 10355 0 0 0 177955 140 0 0 20 0 2 0 80723229 93753344 4583 18446744073709551615 4198400 6788177 140732445588816 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24678400 140732445595992 140732445596118 140732445596118 140732445601722 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 91556 KiB
Current children cumulated memory: 18332 KiB

Child status: 0

Real time (s): 1830.91
CPU time (s): 3600.11
CPU user time (s): 3591.05
CPU system time (s): 9.05717
CPU usage (%): 196.629
Max. virtual memory (cumulated for all children) (KiB): 92160
Max. memory (cumulated for all children) (KiB): 18732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.05
system time used= 9.05717
maximum resident set size= 18748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172384
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= 36347
involuntary context switches= 40111


# summary of solver processes directly reported to runsolver:
#   pid: 103375
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3591.05
#   total CPU system time (s): 9.05717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.46312 second user time and 7.00594 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-04 19:34:13
IDJOB=4523238
IDBENCH=179855
IDSOLVER=3347
FILE ID=nodeC024/4523238-1751650453
RUNJOBID= nodeC024-1751647262-102958
SLURM_JOB_ID= 9672329
Free space on /tmp= 432328 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb
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-4523238-1751650453/watcher-4523238-1751650453 -o /tmp/evaluation-result-4523238-1751650453/solver-4523238-1751650453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751647262-102958 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 752679826 HOME/instance-4523238-1751650453.opb

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

MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=752679826

nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        115742628 kB
MemAvailable:   128672504 kB
Buffers:            2144 kB
Cached:         13694408 kB
SwapCached:            0 kB
Active:          1699016 kB
Inactive:       13117856 kB
Active(anon):    1138348 kB
Inactive(anon):       36 kB
Active(file):     560668 kB
Inactive(file): 13117820 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5196 kB
Writeback:             0 kB
AnonPages:       1120472 kB
Mapped:           112868 kB
Shmem:             18064 kB
KReclaimable:     180852 kB
Slab:             273948 kB
SReclaimable:     180852 kB
SUnreclaim:        93096 kB
KernelStack:        4336 kB
PageTables:         5144 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1505812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    651264 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432344 MiB
End job on nodeC024 at 2025-07-04 20:04:44