Trace number 4508916

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)-11166 3600.09 2777.84

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-15.lin.opb
MD5SUM911059c1e959a60a23dfd4299eb920f8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-11306
Best CPU time to get the best result obtained on this benchmark72001
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7294
Total number of constraints14468
Number of constraints which are clauses7234
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7234
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 7294
Biggest coefficient in the objective function 1722
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 756056
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1722
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 756056
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.05	c #variable: 7294
0.00/0.05	c #constraint: 14468
0.00/0.05	c #equal: 0
0.00/0.05	c intsize: 20
0.00/0.05	c sizeproduct: 0
0.00/0.05	c #soft: 0
0.00/0.05	c mincost: 0
0.00/0.05	c maxcost: 0
0.00/0.05	c sumcost: 0
0.00/0.05	c iteration_max: -1
0.00/0.05	c time_max: -1
0.00/0.05	c number_of_threads(move update): 2
0.00/0.05	c number_of_threads(move evaluation): 2
0.00/0.05	c seed: 1166960735
0.13/0.16	o -5257
0.13/0.19	o -6854
0.26/0.27	o -8165
2.46/1.43	o -8263
3.94/2.29	o -8388
4.12/2.36	o -8696
5.03/2.92	o -8833
5.03/2.99	o -8841
5.18/3.10	o -9117
5.76/3.49	o -9421
5.93/3.58	o -9559
6.08/3.65	o -9893
7.40/4.49	o -9928
7.55/4.59	o -10110
7.69/4.65	o -10116
8.59/5.37	o -10146
15.54/10.14	o -10322
16.87/11.48	o -10506
18.17/12.68	o -10590
20.90/14.65	o -10618
23.57/16.60	o -10700
23.70/16.70	o -10798
42.55/34.01	o -10802
53.00/42.43	o -10824
69.81/54.80	o -10866
69.93/54.92	o -10936
107.05/82.85	o -10939
199.08/151.46	o -11021
636.45/480.93	o -11027
733.80/554.68	o -11033
1183.73/895.29	o -11050
1591.86/1211.20	o -11106
1667.59/1268.41	o -11129
2333.79/1770.69	o -11135
2567.69/1952.12	o -11151
2905.61/2258.46	o -11162
3018.69/2343.25	o -11166
3600.03/2777.81	s SATISFIABLE
3600.03/2777.81	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 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x588 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x591 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x593 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x594 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 x5951 x5952 x5953 x5954 x5955 -x5956 -x5957 x5958 -x5959 -x596 x5960 x5961 x5962 x5963 x5964 x5965 x5966 -x5967 -x5968 x5969 -x597 -x5970 x5971 x5972 x5973 x5974 x5975 x5976 -x5977 -x5978 x5979 -x598 -x5980 x5981 x5982 x5983 x5984 x5985 -x5986 -x5987 -x5988 x5989 -x599 x5990 x5991 x5992 -x5993 -x5994 x5995 -x5996 x5997 x5998 -x5999 -x6 -x60 -x600 -x6000 x6001 -x6002 x6003 x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 x6017 x6018 x6019 -x602 -x6020 -x6021 -x6022 x6023 x6024 x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x604 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x607 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x61 -x610 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 x6114 x6115 x6116 x6117 -x6118 -x6119 -x612 x6120 -x6121 x6122 x6123 x6124 -x6125 -x6126 x6127 x6128 x6129 -x613 -x6130 -x6131 x6132 -x6133 x6134 x6135 x6136 -x6137 -x6138 x6139 -x614 x6140 -x6141 -x6142 x6143 -x6144 x6145 x6146 x6147 -x6148 -x6149 -x615 x6150 -x6151 -x6152 x6153 -x6154 x6155 x6156 x6157 -x6158 -x6159 -x616 -x6160 -x6161 x6162 -x6163 x6164 x6165 -x6166 -x6167 -x6168 -x6169 -x617 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x618 -x6180 -x6181 x6182 x6183 x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x619 -x6190 -x6191 x6192 x6193 -x6194 -x6195 x6196 -x6197 -x6198 -x6199 -x62 -x620 -x6200 -x6201 x6202 x6203 x6204 -x6205 -x6206 x6207 -x6208 x6209 -x621 x6210 x6211 -x6212 -x6213 x6214 x6215 -x6216 -x6217 x6218 -x6219 -x622 x6220 x6221 x6222 -x6223 -x6224 x6225 -x6226 -x6227 x6228 -x6229 -x623 x6230 x6231 x6232 -x6233 -x6234 -x6235 -x6236 x6237 -x6238 x6239 -x624 x6240 x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x625 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 x6258 x6259 -x626 x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 x6268 x6269 -x627 -x6270 -x6271 x6272 -x6273 -x6274 -x6275 -x6276 -x6277 x6278 x6279 -x628 -x6280 -x6281 x6282 -x6283 x6284 x6285 x6286 -x6287 -x6288 x6289 -x629 -x6290 -x6291 x6292 -x6293 x6294 x6295 x6296 -x6297 -x6298 -x6299 -x63 -x630 -x6300 x6301 -x6302 x6303 x6304 x6305 -x6306 -x6307 -x6308 -x6309 -x631 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x632 -x6320 -x6321 -x6322 x6323 x6324 x6325 -x6326 -x6327 -x6328 -x6329 -x633 -x6330 -x6331 x6332 x6333 -x6334 -x6335 x6336 -x6337 -x6338 -x6339 -x634 -x6340 -x6341 x6342 -x6343 -x6344 x6345 -x6346 x6347 x6348 x6349 -x635 -x6350 -x6351 -x6352 -x6353 x6354 -x6355 x6356 x6357 x6358 -x6359 -x636 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x637 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 x6378 x6379 -x638 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 x6386 x6387 -x6388 -x6389 -x639 x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 x6398 -x6399 -x64 -x640 x6400 x6401 x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x641 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 x642 -x6420 x6421 x6422 x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x643 x6430 x6431 -x6432 -x6433 x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x644 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x645 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 x6456 x6457 x6458 -x6459 -x646 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 x6466 x6467 -x6468 -x6469 -x647 x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x648 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x649 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x65 -x650 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x651 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x652 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x653 x6530 x6531 -x6532 -x6533 x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x654 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x655 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x656 x6560 x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 x6568 x6569 -x657 -x6570 -x6571 x6572 -x6573 x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x658 -x6580 x6581 x6582 -x6583 -x6584 x6585 -x6586 x6587 -x6588 -x6589 -x659 -x6590 -x6591 -x6592 -x6593 x6594 x6595 -x6596 -x6597 x6598 -x6599 -x66 -x660 x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x661 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x662 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x663 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x664 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x665 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x666 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x667 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x668 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 x6686 -x6687 -x6688 x6689 -x669 -x6690 x6691 -x6692 x6693 -x6694 -x6695 -x6696 -x6697 -x6698 x6699 -x67 -x670 -x6700 -x6701 x6702 -x6703 x6704 -x6705 x6706 -x6707 -x6708 -x6709 -x671 -x6710 -x6711 x6712 x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x672 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x673 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x674 -x6740 -x6741 -x6742 x6743 -x6744 x6745 -x6746 -x6747 -x6748 -x6749 -x675 -x6750 x6751 x6752 -x6753 -x6754 x6755 -x6756 -x6757 -x6758 -x6759 -x676 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x677 -x6770 x6771 -x6772 -x6773 -x6774 -x6775 -x6776 x6777 x6778 -x6779 -x678 -x6780 x6781 -x6782 x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x679 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 x68 -x680 -x6800 -x6801 -x6802 x6803 x6804 -x6805 -x6806 x6807 -x6808 x6809 -x681 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x682 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x683 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x684 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x685 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x686 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x687 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x688 -x6880 -x6881 x6882 -x6883 -x6884 x6885 -x6886 x6887 -x6888 -x6889 -x689 -x6890 -x6891 -x6892 -x6893 -x6894 x6895 -x6896 -x6897 x6898 -x6899 -x69 -x690 x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 x6908 x6909 -x691 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x692 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x693 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 x6939 -x694 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 x6947 x6948 -x6949 -x695 -x6950 x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x696 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x697 -x6970 -x6971 -x6972 x6973 x6974 -x6975 -x6976 x6977 -x6978 x6979 -x698 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x699 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7 -x70 -x700 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x701 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x702 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x703 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x704 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x705 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x706 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x707 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 x7078 -x7079 -x708 -x7080 x7081 -x7082 x7083 -x7084 x7085 x7086 x7087 x7088 x7089 -x709 x7090 -x7091 -x7092 -x7093 x7094 -x7095 x7096 -x7097 x7098 x7099 -x71 -x710 x7100 x7101 x7102 x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x711 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 x712 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x713 -x7130 -x7131 -x7132 -x7133 -x7134 x7135 -x7136 x7137 x7138 x7139 -x714 x7140 x7141 x7142 -x7143 -x7144 x7145 -x7146 x7147 -x7148 -x7149 -x715 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x716 -x7160 -x7161 -x7162 x7163 x7164 x7165 x7166 x7167 x7168 -x7169 -x717 -x7170 x7171 -x7172 x7173 x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x718 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x719 x7190 x7191 x7192 x7193 x7194 -x7195 -x7196 x7197 -x7198 x7199 -x72 -x720 x7200 x7201 -x7202 -x7203 x7204 x7205 x7206 x7207 -x7208 -x7209 -x721 x7210 -x7211 x7212 x7213 x7214 -x7215 -x7216 x7217 x7218 x7219 -x722 -x7220 -x7221 x7222 -x7223 x7224 x7225 x7226 -x7227 -x7228 x7229 -x723 x7230 -x7231 -x7232 x7233 -x7234 x7235 x7236 x7237 -x7238 -x7239 -x724 x7240 -x7241 -x7242 x7243 -x7244 x7245 x7246 x7247 -x7248 -x7249 -x725 -x7250 -x7251 x7252 -x7253 x7254 x7255 x7256 -x7257 -x7258 -x7259 -x726 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x727 -x7270 -x7271 -x7272 -x7273 -x7274 x7275 x7276 x7277 -x7278 -x7279 -x728 -x7280 -x7281 -x7282 -x7283 -x7284 x7285 x7286 -x7287 -x7288 x7289 -x729 -x7290 -x7291 -x7292 -x7293 -x7294 -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	-11166

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508916-1751508182/watcher-4508916-1751508182 -o /tmp/evaluation-result-4508916-1751508182/solver-4508916-1751508182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751508182-75885 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1166960735 HOME/instance-4508916-1751508182.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=75933, runsolver pid=75920

[startup+0.100061 s]*
/proc/loadavg: 0.59 1.36 2.53 7/263 75941
/proc/meminfo: memFree=126136692/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=110604 memory=41236 CPUtime=0.13 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 9155 0 0 0 12 1 0 0 20 0 2 0 66495932 113258496 10309 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 27651 10309 672 633 0 11761 0
[pid=75933/tid=75935] ppid=75920 vsize=110604 memory=4026531959 CPUtime=0.03 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 1282 0 0 0 3 0 0 0 20 0 2 0 66495932 113258496 10309 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 110604 KiB
Current children cumulated memory: 41236 KiB

[startup+0.211346 s]*
/proc/loadavg: 0.59 1.36 2.53 7/267 75945
/proc/meminfo: memFree=126055776/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134572 memory=65172 CPUtime=0.26 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) S 75920 75933 75873 0 -1 4194304 15151 0 0 0 24 2 0 0 20 0 2 0 66495932 137801728 16293 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33643 16293 672 633 0 17753 0
[pid=75933/tid=75935] ppid=75920 vsize=134572 memory=3472328300254200092 CPUtime=0.04 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 1282 0 0 0 4 0 0 0 20 0 2 0 66495932 137801728 16293 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 134572 KiB
Current children cumulated memory: 65172 KiB

[startup+0.30581 s]*
/proc/loadavg: 0.59 1.36 2.53 9/268 75946
/proc/meminfo: memFree=126022760/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134572 memory=65172 CPUtime=0.41 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) S 75920 75933 75873 0 -1 4194304 15151 0 0 0 39 2 0 0 20 0 2 0 66495932 137801728 16293 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33643 16293 672 633 0 17753 0
[pid=75933/tid=75935] ppid=75920 vsize=134572 memory=7969828215594892659 CPUtime=0.11 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 1282 0 0 0 11 0 0 0 20 0 2 0 66495932 137801728 16293 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 134572 KiB
Current children cumulated memory: 65172 KiB

[startup+0.700222 s]
/proc/loadavg: 0.59 1.36 2.53 9/268 75946
/proc/meminfo: memFree=125964740/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134572 memory=65172 CPUtime=1.14 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 15151 0 0 0 112 2 0 0 20 0 2 0 66495932 137801728 16293 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33643 16293 672 633 0 17753 0
[pid=75933/tid=75935] ppid=75920 vsize=134572 memory=18688 CPUtime=0.46 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 1282 0 0 0 46 0 0 0 20 0 2 0 66495932 137801728 16293 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 134572 KiB
Current children cumulated memory: 65172 KiB

[startup+1.5002 s]
/proc/loadavg: 0.59 1.36 2.53 8/268 75946
/proc/meminfo: memFree=125815232/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134064 memory=64752 CPUtime=2.63 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 24831 0 0 0 260 3 0 0 20 0 2 0 66495932 137281536 16188 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33516 16188 672 633 0 17626 0
[pid=75933/tid=75935] ppid=75920 vsize=134064 memory=18688 CPUtime=1.15 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 2151 0 0 0 115 0 0 0 20 0 2 0 66495932 137281536 16188 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 134064 KiB
Current children cumulated memory: 64752 KiB

[startup+3.10567 s]
/proc/loadavg: 0.59 1.36 2.53 7/268 75946
/proc/meminfo: memFree=125155392/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134912 memory=65520 CPUtime=5.29 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 33337 0 0 0 526 3 0 0 20 0 2 0 66495932 138149888 16380 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33728 16380 672 633 0 17838 0
[pid=75933/tid=75935] ppid=75920 vsize=134912 memory=65172 CPUtime=2.22 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 2315 0 0 0 222 0 0 0 20 0 2 0 66495932 138149888 16380 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 134912 KiB
Current children cumulated memory: 65520 KiB

[startup+6.30021 s]
/proc/loadavg: 1.03 1.44 2.55 6/268 75946
/proc/meminfo: memFree=124572772/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134648 memory=65276 CPUtime=9.96 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 59749 0 0 0 988 8 0 0 20 0 2 0 66495932 137879552 16319 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33662 16319 672 633 0 17772 0
[pid=75933/tid=75935] ppid=75920 vsize=134648 memory=65172 CPUtime=3.72 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 3245 0 0 0 371 1 0 0 20 0 2 0 66495932 137879552 16319 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 134648 KiB
Current children cumulated memory: 65276 KiB

[startup+12.7002 s]
/proc/loadavg: 1.34 1.50 2.56 6/267 75946
/proc/meminfo: memFree=124565272/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134724 memory=65404 CPUtime=18.31 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 161809 0 0 0 1804 27 0 0 20 0 2 0 66495932 137957376 16351 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33681 16351 672 633 0 17791 0
[pid=75933/tid=75935] ppid=75920 vsize=134724 memory=65172 CPUtime=5.7 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 3432 0 0 0 568 2 0 0 20 0 2 0 66495932 137957376 16351 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 18.31 s
Current children cumulated vsize: 134724 KiB
Current children cumulated memory: 65404 KiB

[startup+25.5002 s]
/proc/loadavg: 2.16 1.67 2.60 6/267 75947
/proc/meminfo: memFree=124566584/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135184 memory=65932 CPUtime=33.96 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 206136 0 0 0 3357 39 0 0 20 0 2 0 66495932 138428416 16483 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33796 16483 672 633 0 17906 0
[pid=75933/tid=75935] ppid=75920 vsize=135184 memory=65172 CPUtime=8.62 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 3433 0 0 0 858 4 0 0 20 0 2 0 66495932 138428416 16483 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 33.96 s
Current children cumulated vsize: 135184 KiB
Current children cumulated memory: 65932 KiB

[startup+51.1057 s]
/proc/loadavg: 3.41 2.00 2.69 8/267 75947
/proc/meminfo: memFree=124566620/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134468 memory=65164 CPUtime=64.74 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 370044 0 0 0 6399 75 0 0 20 0 2 0 66495932 137695232 16291 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33617 16291 672 633 0 17727 0
[pid=75933/tid=75935] ppid=75920 vsize=134468 memory=65548 CPUtime=13.94 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 3436 0 0 0 1387 7 0 0 20 0 2 0 66495932 137695232 16291 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 64.74 s
Current children cumulated vsize: 134468 KiB
Current children cumulated memory: 65164 KiB

[startup+102.3 s]
/proc/loadavg: 4.92 2.64 2.87 7/269 75955
/proc/meminfo: memFree=124553888/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134920 memory=65556 CPUtime=132.98 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 967899 0 0 0 13100 198 0 0 20 0 2 0 66495932 138158080 16389 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33730 16389 672 633 0 17840 0
[pid=75933/tid=75935] ppid=75920 vsize=134920 memory=14824 CPUtime=31.33 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 4759 0 0 0 3118 15 0 0 20 0 2 0 66495932 138158080 16389 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 132.98 s
Current children cumulated vsize: 134920 KiB
Current children cumulated memory: 65556 KiB

[startup+162.3 s]
/proc/loadavg: 5.62 3.26 3.08 7/269 75957
/proc/meminfo: memFree=124536320/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134600 memory=67208 CPUtime=213.56 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 1792166 0 0 0 20988 368 0 0 20 0 2 0 66495932 137830400 16802 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33650 16802 672 633 0 17760 0
[pid=75933/tid=75935] ppid=75920 vsize=134600 memory=67604 CPUtime=52.32 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 4947 0 0 0 5208 24 0 0 20 0 2 0 66495932 137830400 16802 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 213.56 s
Current children cumulated vsize: 134600 KiB
Current children cumulated memory: 67208 KiB

[startup+222.3 s]
/proc/loadavg: 5.99 3.81 3.28 7/269 75961
/proc/meminfo: memFree=124548380/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134788 memory=67248 CPUtime=292.98 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 2628587 0 0 0 28756 542 0 0 20 0 2 0 66495932 138022912 16812 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33697 16812 672 633 0 17807 0
[pid=75933/tid=75935] ppid=75920 vsize=134788 memory=67156 CPUtime=72.13 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 4947 0 0 0 7183 30 0 0 20 0 2 0 66495932 138022912 16812 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 292.98 s
Current children cumulated vsize: 134788 KiB
Current children cumulated memory: 67248 KiB

[startup+282.3 s]
/proc/loadavg: 5.92 4.21 3.45 7/269 75963
/proc/meminfo: memFree=124552468/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134788 memory=67248 CPUtime=371.86 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 3358182 0 0 0 36491 695 0 0 20 0 2 0 66495932 138022912 16812 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33697 16812 672 633 0 17807 0
[pid=75933/tid=75935] ppid=75920 vsize=134788 memory=67248 CPUtime=91.41 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 4947 0 0 0 9103 38 0 0 20 0 2 0 66495932 138022912 16812 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 371.86 s
Current children cumulated vsize: 134788 KiB

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

/proc/meminfo: memFree=124169588/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135052 memory=67620 CPUtime=2773.54 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 38187830 0 0 0 269600 7754 0 0 20 0 2 0 66495932 138293248 16905 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33763 16905 672 633 0 17873 0
[pid=75933/tid=75935] ppid=75920 vsize=135052 memory=67152 CPUtime=644.75 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 8459 0 0 0 64209 266 0 0 20 0 2 0 66495932 138293248 16905 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 2773.54 s
Current children cumulated vsize: 135052 KiB
Current children cumulated memory: 67620 KiB

[startup+2202.3 s]
/proc/loadavg: 4.53 5.02 5.05 6/267 76098
/proc/meminfo: memFree=124177144/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135000 memory=67568 CPUtime=2833.28 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 39466067 0 0 0 275328 8000 0 0 20 0 2 0 66495932 138240000 16892 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33750 16892 672 633 0 17860 0
[pid=75933/tid=75935] ppid=75920 vsize=135000 memory=67152 CPUtime=644.75 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 8459 0 0 0 64209 266 0 0 20 0 2 0 66495932 138240000 16892 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 2833.28 s
Current children cumulated vsize: 135000 KiB
Current children cumulated memory: 67568 KiB

[startup+2262.3 s]
/proc/loadavg: 4.53 4.93 5.01 6/268 76101
/proc/meminfo: memFree=124176384/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134448 memory=67220 CPUtime=2910.76 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 40750532 0 0 0 282828 8248 0 0 20 0 2 0 66495932 137674752 16805 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33612 16805 672 633 0 17722 0
[pid=75933/tid=75935] ppid=75920 vsize=134448 memory=67656 CPUtime=662.62 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 8487 0 0 0 65988 274 0 0 20 0 2 0 66495932 137674752 16805 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 2910.76 s
Current children cumulated vsize: 134448 KiB
Current children cumulated memory: 67220 KiB

[startup+2322.3 s]
/proc/loadavg: 4.51 4.85 4.98 5/268 76103
/proc/meminfo: memFree=124168180/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=134900 memory=67672 CPUtime=2990.65 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 41947766 0 0 0 290583 8482 0 0 20 0 2 0 66495932 138137600 16918 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33725 16918 672 633 0 17835 0
[pid=75933/tid=75935] ppid=75920 vsize=134900 memory=0 CPUtime=682.93 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 8487 0 0 0 68011 282 0 0 20 0 2 0 66495932 138137600 16918 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 2990.65 s
Current children cumulated vsize: 134900 KiB
Current children cumulated memory: 67672 KiB

[startup+2382.3 s]
/proc/loadavg: 4.70 4.83 4.97 5/268 76105
/proc/meminfo: memFree=124141472/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135164 memory=67800 CPUtime=3070.79 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 42956981 0 0 0 298394 8685 0 0 20 0 2 0 66495932 138407936 16950 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33791 16950 672 633 0 17901 0
[pid=75933/tid=75935] ppid=75920 vsize=135164 memory=67792 CPUtime=703.48 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 8933 0 0 0 70056 292 0 0 20 0 2 0 66495932 138407936 16950 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 3070.79 s
Current children cumulated vsize: 135164 KiB
Current children cumulated memory: 67800 KiB

[startup+2442.3 s]
/proc/loadavg: 4.47 4.74 4.93 5/268 76107
/proc/meminfo: memFree=124125676/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135052 memory=67748 CPUtime=3151.07 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 43933313 0 0 0 306216 8891 0 0 20 0 2 0 66495932 138293248 16937 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33763 16937 672 633 0 17873 0
[pid=75933/tid=75935] ppid=75920 vsize=135052 memory=68244 CPUtime=724.14 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 9412 0 0 0 72113 301 0 0 20 0 2 0 66495932 138293248 16937 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 3151.07 s
Current children cumulated vsize: 135052 KiB
Current children cumulated memory: 67748 KiB

[startup+2502.3 s]
/proc/loadavg: 4.73 4.76 4.92 6/267 76109
/proc/meminfo: memFree=124125352/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135164 memory=67800 CPUtime=3231.41 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 45061780 0 0 0 314022 9119 0 0 20 0 2 0 66495932 138407936 16950 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33791 16950 672 633 0 17901 0
[pid=75933/tid=75935] ppid=75920 vsize=135164 memory=68244 CPUtime=744.88 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 9435 0 0 0 74178 310 0 0 20 0 2 0 66495932 138407936 16950 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 3231.41 s
Current children cumulated vsize: 135164 KiB
Current children cumulated memory: 67800 KiB

[startup+2562.3 s]
/proc/loadavg: 4.58 4.71 4.89 5/268 76116
/proc/meminfo: memFree=124121008/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135592 memory=68132 CPUtime=3311.68 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 46155055 0 0 0 321824 9344 0 0 20 0 2 0 66495932 138846208 17033 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33898 17033 672 633 0 18008 0
[pid=75933/tid=75935] ppid=75920 vsize=135592 memory=67748 CPUtime=765.55 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 9528 0 0 0 76234 321 0 0 20 0 2 0 66495932 138846208 17033 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 3311.68 s
Current children cumulated vsize: 135592 KiB
Current children cumulated memory: 68132 KiB

[startup+2622.3 s]
/proc/loadavg: 4.66 4.71 4.88 6/267 76118
/proc/meminfo: memFree=124121008/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135164 memory=67684 CPUtime=3391.91 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 47207678 0 0 0 329624 9567 0 0 20 0 2 0 66495932 138407936 16921 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33791 16921 672 633 0 17901 0
[pid=75933/tid=75935] ppid=75920 vsize=135164 memory=14824 CPUtime=786.19 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) S 75920 75933 75873 0 -1 4194368 9612 0 0 0 78285 334 0 0 20 0 2 0 66495932 138407936 16921 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 135164 KiB
Current children cumulated memory: 67684 KiB

[startup+2682.3 s]
/proc/loadavg: 4.51 4.67 4.86 6/267 76122
/proc/meminfo: memFree=124128556/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135164 memory=67744 CPUtime=3472.19 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 48157053 0 0 0 337453 9766 0 0 20 0 2 0 66495932 138407936 16936 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33791 16936 672 633 0 17901 0
[pid=75933/tid=75935] ppid=75920 vsize=135164 memory=5760 CPUtime=806.89 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 9712 0 0 0 80345 344 0 0 20 0 2 0 66495932 138407936 16936 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 3472.19 s
Current children cumulated vsize: 135164 KiB
Current children cumulated memory: 67744 KiB

[startup+2742.3 s]
/proc/loadavg: 4.59 4.66 4.85 5/268 76125
/proc/meminfo: memFree=124127168/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135228 memory=67864 CPUtime=3552.45 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 49152271 0 0 0 345272 9973 0 0 20 0 2 0 66495932 138473472 16966 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33807 16966 672 633 0 17917 0
[pid=75933/tid=75935] ppid=75920 vsize=135228 memory=10752 CPUtime=827.54 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 9818 0 0 0 82401 353 0 0 20 0 2 0 66495932 138473472 16966 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 3552.45 s
Current children cumulated vsize: 135228 KiB
Current children cumulated memory: 67864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2777.8 s]
/proc/loadavg: 4.73 4.69 4.85 6/268 76126
/proc/meminfo: memFree=124128892/131249996 swapFree=33010672/33010684
[pid=75933] ppid=75920 vsize=135116 memory=67756 CPUtime=3600.03 cores=1,3
/proc/75933/stat : 75933 (pb_competition_) R 75920 75933 75873 0 -1 4194304 49751707 0 0 0 349906 10097 0 0 20 0 2 0 66495932 138358784 16939 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
/proc/75933/statm: 33779 16939 672 633 0 17889 0
[pid=75933/tid=75935] ppid=75920 vsize=135116 memory=68280 CPUtime=839.83 cores=1,3
/proc/75933/task/75935/stat : 75935 (pb_competition_) R 75920 75933 75873 0 -1 4194368 9818 0 0 0 83623 360 0 0 20 0 2 0 66495932 138358784 16939 18446744073709551615 4198400 6788177 140737029466448 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 39923712 140737029474649 140737029474776 140737029474776 140737029480378 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 135116 KiB
Current children cumulated memory: 67756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3499.11 s, system=100.982 s

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

Child status: 0

Real time (s): 2777.84
CPU time (s): 3600.09
CPU user time (s): 3499.11
CPU system time (s): 100.982
CPU usage (%): 129.6
Max. virtual memory (cumulated for all children) (KiB): 136068
Max. memory (cumulated for all children) (KiB): 68648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3499.11
system time used= 100.982
maximum resident set size= 68696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49754693
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= 436211
involuntary context switches= 43167


# summary of solver processes directly reported to runsolver:
#   pid: 75933
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3499.11
#   total CPU system time (s): 100.982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72444 second user time and 13.3626 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-03 04:03:02
IDJOB=4508916
IDBENCH=158525
IDSOLVER=3347
FILE ID=nodeC017/4508916-1751508182
RUNJOBID= nodeC017-1751508182-75885
SLURM_JOB_ID= 9598605
Free space on /tmp= 432524 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.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-4508916-1751508182/watcher-4508916-1751508182 -o /tmp/evaluation-result-4508916-1751508182/solver-4508916-1751508182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751508182-75885 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1166960735 HOME/instance-4508916-1751508182.opb

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

MD5SUM BENCH= 911059c1e959a60a23dfd4299eb920f8
RANDOM SEED=1166960735

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.308
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	: 7000.12
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		: 3601.764
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	: 7000.12
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.474
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	: 7000.12
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.860
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	: 7000.12
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		: 3600.336
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.040
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.146
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	: 7000.12
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		: 3601.260
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126185112 kB
MemAvailable:   129701528 kB
Buffers:            1688 kB
Cached:          4285672 kB
SwapCached:            8 kB
Active:           366364 kB
Inactive:        3998468 kB
Active(anon):      77252 kB
Inactive(anon):    18292 kB
Active(file):     289112 kB
Inactive(file):  3980176 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21064 kB
Writeback:             4 kB
AnonPages:         80792 kB
Mapped:           103820 kB
Shmem:             18072 kB
KReclaimable:     172332 kB
Slab:             262876 kB
SReclaimable:     172332 kB
SUnreclaim:        90544 kB
KernelStack:        4068 kB
PageTables:         2796 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432484 MiB
End job on nodeC017 at 2025-07-03 04:49:20