Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_proof 2025-06-02 | OPT | -7944 | 2029.46 | 2045.95 |
| Name | PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_007.opb |
| MD5SUM | 19358b71c175af654e98554c4f116d17 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -7944 |
| Best CPU time to get the best result obtained on this benchmark | 0.165829 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5475 |
| Total number of constraints | 181 |
| Number of constraints which are clauses | 9 |
| Number of constraints which are cardinality constraints (but not clauses) | 172 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1490 |
| Number of terms in the objective function | 5474 |
| Biggest coefficient in the objective function | 260 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 629333 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 260 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 629333 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
359.10/360.09 o -6126 394.00/395.07 o -6134 440.56/441.77 o -6146 440.97/442.15 o -6152 445.25/446.49 o -6154 446.15/447.32 o -6161 446.96/448.14 o -6162 461.40/462.61 o -6165 462.00/463.25 o -6167 462.91/464.15 o -6169 463.00/464.27 o -6171 463.30/464.56 o -6175 463.60/464.87 o -6181 463.80/465.08 o -6182 464.30/465.50 o -6184 464.60/465.82 o -6185 466.29/467.50 o -6187 466.89/468.13 o -6192 467.48/468.71 o -6193 467.99/469.26 o -6197 468.19/469.48 o -6200 473.37/474.66 o -6214 480.25/481.51 o -6223 482.25/483.59 o -6225 489.32/490.69 o -6226 530.21/531.65 o -6231 530.40/531.84 o -6233 530.71/532.18 o -6234 531.00/532.44 o -6239 531.41/532.85 o -6242 531.80/533.21 o -6243 532.31/533.70 o -6248 532.41/533.89 o -6250 532.80/534.29 o -6256 533.30/534.74 o -6259 536.09/537.59 o -6261 554.24/555.74 o -6270 554.44/555.95 o -6277 554.64/556.19 o -6280 555.14/556.65 o -6289 555.34/556.81 o -6290 555.65/557.11 o -6291 555.74/557.25 o -6292 560.72/562.24 o -6294 564.72/566.26 o -6300 565.21/566.71 o -6312 574.99/576.59 o -6317 580.07/581.64 o -6319 586.65/588.21 o -6325 587.05/588.65 o -6326 588.65/590.23 o -6329 604.21/605.88 o -6334 605.11/606.74 o -6348 605.41/607.00 o -6351 605.60/607.20 o -6357 605.70/607.34 o -6360 606.20/607.84 o -6368 609.99/611.68 o -6375 610.39/612.07 o -6378 612.79/614.47 o -6383 612.98/614.66 o -6387 613.78/615.46 o -6392 632.13/633.84 o -6397 632.83/634.56 o -6406 634.03/635.76 o -6410 634.43/636.10 o -6415 635.22/637.00 o -6417 636.72/638.48 o -6423 637.33/639.10 o -6424 639.91/641.67 o -6428 640.11/641.88 o -6429 641.50/643.27 o -6448 642.70/644.44 o -6449 643.90/645.68 o -6451 644.60/646.35 o -6457 647.19/648.90 o -6458 647.68/649.48 o -6459 648.49/650.23 o -6461 666.34/668.14 o -6468 666.43/668.24 o -6472 667.53/669.37 o -6473 667.83/669.60 o -6475 667.93/669.79 o -6476 668.13/670.00 o -6481 668.43/670.21 o -6483 668.93/670.73 o -6484 669.24/671.01 o -6487 669.34/671.19 o -6489 670.93/672.70 o -6490 671.42/673.27 o -6504 673.02/674.87 o -6505 673.62/675.41 o -6507 675.71/677.53 o -6508 677.71/679.55 o -6518 678.10/680.00 o -6521 694.27/696.15 o -6529 706.52/708.45 o -6530 708.13/710.04 o -6536 718.30/720.23 o -6539 732.86/734.84 o -6541 733.26/735.20 o -6548 733.65/735.63 o -6549 733.85/735.86 o -6551 734.15/736.18 o -6555 734.36/736.32 o -6564 734.56/736.58 o -6565 734.66/736.69 o -6568 735.06/737.07 o -6570 735.35/737.31 o -6571 735.75/737.71 o -6576 737.74/739.79 o -6581 750.91/753.00 o -6592 764.08/766.15 o -6593 801.77/803.95 o -6610 802.27/804.42 o -6611 802.98/805.13 o -6621 804.26/806.47 o -6622 804.56/806.72 o -6623 805.76/807.98 o -6627 806.06/808.28 o -6629 807.76/809.91 o -6634 809.29/815.61 o -6642 810.49/816.80 o -6645 811.09/817.40 o -6647 812.39/818.79 o -6649 812.98/819.36 o -6651 814.98/821.37 o -6656 815.87/822.29 o -6668 867.09/879.03 o -6673 868.09/880.03 o -6700 869.18/881.18 o -6706 869.37/881.37 o -6707 869.68/881.69 o -6709 869.88/881.88 o -6719 870.37/882.35 o -6728 870.87/882.82 o -6733 871.18/883.16 o -6744 877.75/889.72 o -6751 878.75/890.72 o -6756 925.53/937.60 o -6762 949.36/961.50 o -6764 949.56/961.74 o -6771 950.06/962.27 o -6777 950.76/963.00 o -6782 951.76/963.97 o -6785 959.34/971.50 o -6794 974.00/986.29 o -6797 974.90/987.18 o -6808 977.49/989.70 o -6813 979.69/992.00 o -6817 981.68/993.94 o -6818 982.78/995.10 o -6820 983.18/995.42 o -6823 983.38/995.69 o -6825 983.57/995.81 o -6835 984.57/996.83 o -6836 995.85/1008.11 o -6874 998.34/1010.62 o -6888 1050.89/1063.38 o -6890 1051.59/1064.01 o -6891 1052.09/1064.55 o -6892 1075.42/1087.90 o -6895 1075.63/1088.14 o -6901 1076.33/1088.84 o -6904 1076.42/1088.94 o -6925 1076.63/1089.10 o -6927 1077.42/1089.97 o -6933 1081.90/1094.41 o -6943 1082.41/1094.97 o -6957 1087.80/1100.33 o -6970 1104.84/1117.47 o -6979 1123.19/1135.86 o -6988 1159.78/1172.53 o -6991 1160.18/1172.95 o -6999 1160.38/1173.14 o -7005 1160.47/1173.24 o -7079 1161.08/1173.83 o -7081 1161.38/1174.16 o -7087 1162.87/1175.67 o -7088 1163.27/1176.10 o -7090 1163.66/1176.42 o -7091 1164.07/1176.89 o -7095 1164.66/1177.40 o -7097 1166.37/1179.12 o -7100 1166.86/1179.62 o -7101 1168.26/1181.07 o -7102 1168.56/1181.31 o -7105 1168.85/1181.61 o -7107 1169.16/1181.98 o -7109 1171.05/1183.87 o -7112 1173.94/1186.77 o -7118 1174.74/1187.55 o -7119 1175.04/1187.82 o -7120 1175.84/1188.63 o -7126 1184.32/1197.10 o -7128 1219.12/1232.02 o -7129 1220.41/1233.31 o -7133 1221.41/1234.34 o -7142 1221.61/1234.57 o -7144 1223.70/1236.67 o -7157 1224.41/1237.39 o -7160 1224.90/1237.89 o -7162 1228.79/1241.77 o -7164 1231.18/1244.13 o -7174 1234.68/1247.65 o -7178 1235.67/1248.68 o -7183 1236.27/1249.25 o -7189 1236.87/1249.84 o -7193 1237.96/1250.92 o -7194 1239.86/1252.86 o -7204 1241.85/1254.87 o -7223 1243.75/1256.71 o -7229 1244.34/1257.37 o -7230 1246.44/1259.48 o -7233 1247.54/1260.58 o -7236 1251.13/1264.12 o -7238 1252.92/1265.92 o -7246 1254.42/1267.40 o -7249 1255.71/1268.74 o -7257 1297.58/1310.76 o -7260 1297.99/1311.16 o -7261 1299.68/1312.84 o -7263 1355.23/1369.23 o -7265 1355.53/1369.58 o -7267 1355.93/1369.92 o -7269 1356.23/1370.21 o -7280 1356.62/1370.64 o -7284 1357.03/1371.05 o -7288 1357.42/1371.46 o -7292 1376.47/1390.50 o -7294 1376.67/1390.72 o -7296 1377.07/1391.18 o -7299 1379.16/1393.23 o -7301 1380.16/1394.25 o -7322 1381.66/1395.78 o -7327 1382.55/1396.66 o -7332 1383.75/1397.86 o -7333 1387.24/1401.35 o -7334 1393.22/1407.34 o -7336 1430.62/1444.80 o -7338 1480.67/1495.06 o -7341 1481.46/1495.84 o -7342 1481.86/1496.25 o -7346 1482.16/1496.54 o -7350 1482.26/1496.65 o -7353 1482.37/1496.79 o -7355 1483.36/1497.76 o -7362 1496.32/1510.72 o -7363 1576.75/1591.44 o -7366 1577.25/1591.92 o -7396 1581.93/1596.65 o -7401 1585.72/1600.49 o -7407 1593.79/1608.51 o -7413 1617.81/1632.60 o -7414 1618.61/1633.40 o -7415 1618.91/1633.78 o -7417 1619.11/1633.92 o -7425 1639.54/1654.41 o -7427 1689.97/1705.09 o -7430 1690.27/1705.31 o -7431 1690.46/1705.56 o -7437 1690.56/1705.67 o -7438 1690.96/1706.07 o -7441 1691.26/1706.30 o -7447 1691.76/1706.86 o -7448 1691.96/1707.08 o -7449 1692.06/1707.17 o -7456 1692.45/1707.56 o -7457 1692.55/1707.64 o -7460 1692.85/1707.92 o -7468 1692.95/1708.10 o -7470 1693.16/1708.25 o -7471 1703.03/1718.12 o -7478 1703.62/1718.71 o -7479 1704.22/1719.30 o -7481 1704.32/1719.40 o -7484 1705.02/1720.17 o -7487 1705.31/1720.40 o -7488 1705.41/1720.57 o -7496 1706.31/1721.40 o -7502 1715.47/1730.63 o -7503 1716.67/1731.88 o -7504 1720.26/1735.45 o -7506 1720.76/1735.95 o -7507 1721.16/1736.31 o -7508 1721.65/1736.83 o -7509 1722.56/1737.76 o -7513 1723.25/1738.40 o -7530 1723.55/1738.79 o -7533 1726.54/1741.77 o -7539 1736.01/1751.21 o -7540 1759.33/1774.67 o -7541 1760.23/1775.51 o -7543 1760.43/1775.71 o -7544 1760.63/1776.00 o -7545 1761.02/1776.33 o -7547 1761.42/1776.70 o -7555 1761.92/1777.20 o -7557 1762.02/1777.38 o -7559 1762.32/1777.66 o -7561 1765.11/1780.41 o -7563 1766.41/1781.72 o -7567 1768.50/1783.86 o -7581 1795.30/1810.78 o -7587 1796.01/1811.45 o -7588 1796.21/1811.64 o -7598 1796.40/1811.89 o -7600 1797.29/1812.71 o -7604 1797.50/1812.93 o -7619 1797.71/1813.15 o -7620 1798.30/1813.72 o -7629 1807.47/1822.90 o -7631 1807.97/1823.43 o -7634 1809.16/1824.69 o -7635 1810.45/1825.94 o -7637 1814.64/1830.14 o -7639 1828.99/1844.57 o -7640 1849.22/1864.86 o -7641 1849.82/1865.49 o -7645 1851.71/1867.33 o -7648 1852.91/1868.53 o -7654 1853.61/1869.22 o -7658 1854.70/1870.31 o -7659 1856.20/1871.81 o -7661 1883.20/1898.91 o -7663 1884.10/1899.81 o -7666 1884.59/1900.33 o -7667 1885.20/1900.93 o -7668 1885.40/1901.16 o -7675 1886.40/1902.18 o -7681 1887.58/1903.30 o -7682 1887.68/1903.49 o -7683 1887.89/1903.68 o -7686 1888.29/1904.05 o -7688 1888.99/1904.79 o -7689 1889.58/1905.34 o -7694 1889.98/1905.73 o -7697 1890.18/1905.98 o -7699 1890.39/1906.16 o -7701 1890.97/1906.72 o -7704 1891.07/1906.89 o -7705 1891.28/1907.01 o -7716 1896.56/1912.32 o -7718 1896.66/1912.49 o -7720 1897.36/1913.11 o -7729 1898.26/1914.05 o -7731 1899.45/1915.23 o -7733 1900.64/1916.45 o -7735 1901.94/1917.70 o -7737 1903.63/1919.49 o -7742 1908.71/1924.53 o -7750 1909.61/1925.46 o -7755 1909.91/1925.78 o -7763 1910.31/1926.12 o -7777 1910.80/1926.63 o -7782 1928.94/1944.89 o -7785 1967.81/1983.85 o -7789 1968.31/1984.36 o -7791 1968.60/1984.60 o -7794 1968.70/1984.72 o -7798 1969.01/1985.06 o -7799 1969.30/1985.39 o -7811 1970.40/1986.44 o -7812 1975.88/1991.90 o -7821 1979.57/1995.67 o -7822 1981.46/1997.55 o -7823 1982.65/1998.76 o -7828 1983.26/1999.38 o -7830 1983.85/1999.94 o -7832 1983.96/2000.04 o -7834 1984.55/2000.66 o -7838 1985.05/2001.14 o -7839 1986.14/2002.23 o -7840 1986.34/2002.41 o -7843 1988.23/2004.32 o -7845 1993.82/2009.97 o -7846 1998.10/2014.24 o -7847 1998.60/2014.78 o -7849 1999.10/2015.25 o -7853 2000.80/2016.98 o -7859 2011.86/2028.03 o -7860 2012.26/2028.42 o -7861 2012.26/2028.46 o -7869 2012.36/2028.56 o -7872 2016.54/2032.74 o -7874 2016.64/2032.80 o -7876 2016.74/2032.95 o -7878 2016.84/2033.02 o -7879 2016.84/2033.08 o -7882 2017.43/2033.65 o -7883 2017.63/2033.83 o -7887 2018.53/2034.70 o -7891 2019.63/2035.84 o -7902 2020.83/2037.06 o -7903 2021.72/2037.99 o -7905 2022.51/2038.72 o -7906 2023.41/2039.64 o -7907 2023.51/2039.73 o -7917 2023.71/2039.93 o -7919 2024.21/2040.45 o -7927 2024.81/2041.01 o -7929 2025.51/2041.74 o -7930 2027.50/2043.76 o -7935 2028.80/2045.02 o -7936 2028.90/2045.17 o -7937 2028.99/2045.27 o -7941 2029.09/2045.38 o -7942 2029.19/2045.46 o -7944 2029.29/2045.52 s OPTIMUM FOUND 2029.29/2045.52 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475
OK -7944
Wed Jul 16 16:43:16 CEST 2025 extraparms= -- time out --
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: 63708 MiB (46466 MiB free)
memory of node 1: 64465 MiB (62568 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523218-1751598123/watcher-4523218-1751598123 -o /tmp/evaluation-result-4523218-1751598123/solver-4523218-1751598123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751597423-88805 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4523218-1751598123 --seed=1215598201 HOME/instance-4523218-1751598123.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=89003, runsolver pid=89000
[startup+0.100059 s]*
/proc/loadavg: 4.21 3.90 3.54 6/269 89004
/proc/meminfo: memFree=111650660/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=0.07 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 7 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+0.205415 s]*
/proc/loadavg: 4.21 3.90 3.54 5/269 89004
/proc/meminfo: memFree=111642096/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=0.18 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 18 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+0.30467 s]*
/proc/loadavg: 4.21 3.90 3.54 5/269 89004
/proc/meminfo: memFree=111642096/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=0.27 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 27 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+0.700098 s]
/proc/loadavg: 4.21 3.90 3.54 5/269 89004
/proc/meminfo: memFree=111657936/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=0.66 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 66 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+1.5001 s]
/proc/loadavg: 4.21 3.90 3.54 5/269 89004
/proc/meminfo: memFree=111638056/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=1.46 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 146 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+3.10434 s]
/proc/loadavg: 4.21 3.90 3.54 5/269 89004
/proc/meminfo: memFree=111606000/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=3.06 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 306 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+6.30009 s]
/proc/loadavg: 4.27 3.92 3.54 5/269 89004
/proc/meminfo: memFree=111525728/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=6.25 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 625 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+12.7001 s]
/proc/loadavg: 4.25 3.92 3.55 5/269 89004
/proc/meminfo: memFree=111294804/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=12.64 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 1264 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+25.5001 s]
/proc/loadavg: 4.19 3.92 3.55 5/269 89005
/proc/meminfo: memFree=110900968/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=25.41 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 2541 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+51.1054 s]
/proc/loadavg: 4.19 3.95 3.57 5/270 89006
/proc/meminfo: memFree=109555872/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=50.95 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 5095 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.97 3.60 5/270 89008
/proc/meminfo: memFree=106836028/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=102.02 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 10202 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.98 3.63 5/269 89012
/proc/meminfo: memFree=103565848/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=161.87 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 16187 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.01 3.67 5/269 89014
/proc/meminfo: memFree=100346224/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=221.73 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 22173 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.03 3.69 5/269 89016
/proc/meminfo: memFree=97721464/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=281.58 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 28158 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.05 3.73 5/269 89023
/proc/meminfo: memFree=94882052/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=37524 memory=13788 CPUtime=341.43 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 2901 0 0 0 34143 0 0 0 20 0 1 0 75491748 38424576 3447 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 9381 3447 1024 1201 0 7859 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 37524 KiB
Current children cumulated memory: 13788 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.05 3.75 5/271 89028
/proc/meminfo: memFree=91222372/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=538320 memory=401912 CPUtime=401.27 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 55560 0 0 0 40071 56 0 0 20 0 1 0 75491748 551239680 100478 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 134580 100478 1280 1201 0 133058 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 538320 KiB
Current children cumulated memory: 401912 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.09 3.79 5/271 89032
/proc/meminfo: memFree=88571584/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=689504 memory=648924 CPUtime=461.11 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 89986 0 0 0 46011 100 0 0 20 0 1 0 75491748 706052096 162231 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 172376 162231 1280 1201 0 170854 0
################
# More data... #
################
/proc/loadavg: 4.16 4.15 4.05 5/269 89092
/proc/meminfo: memFree=33834956/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1233292 memory=1076836 CPUtime=1647.41 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 163778 0 0 0 163836 905 0 0 20 0 1 0 75491748 1262891008 269209 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 308323 269209 1280 1201 0 306801 0
Current children cumulated CPU time: 1647.41 s
Current children cumulated vsize: 1233292 KiB
Current children cumulated memory: 1076836 KiB
[startup+1722.3 s]
/proc/loadavg: 4.20 4.17 4.06 5/268 89094
/proc/meminfo: memFree=30863484/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1236504 memory=1078628 CPUtime=1707.21 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 164361 0 0 0 169769 952 0 0 20 0 1 0 75491748 1266180096 269657 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 309126 269657 1280 1201 0 307604 0
Current children cumulated CPU time: 1707.21 s
Current children cumulated vsize: 1236504 KiB
Current children cumulated memory: 1078628 KiB
[startup+1782.3 s]
/proc/loadavg: 4.28 4.18 4.07 5/269 89097
/proc/meminfo: memFree=28342116/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1236504 memory=1078884 CPUtime=1767 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 164643 0 0 0 175705 995 0 0 20 0 1 0 75491748 1266180096 269721 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 309126 269721 1280 1201 0 307604 0
Current children cumulated CPU time: 1767 s
Current children cumulated vsize: 1236504 KiB
Current children cumulated memory: 1078884 KiB
[startup+1842.3 s]
/proc/loadavg: 4.18 4.18 4.08 5/269 89100
/proc/meminfo: memFree=25703864/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1261616 memory=1104972 CPUtime=1826.8 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 166146 0 0 0 181632 1048 0 0 20 0 1 0 75491748 1291894784 276243 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 315404 276243 1280 1201 0 313882 0
Current children cumulated CPU time: 1826.8 s
Current children cumulated vsize: 1261616 KiB
Current children cumulated memory: 1104972 KiB
[startup+1902.3 s]
/proc/loadavg: 4.14 4.17 4.08 5/269 89102
/proc/meminfo: memFree=22257400/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1910692 memory=1450184 CPUtime=1886.59 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 215471 0 0 0 187552 1107 0 0 20 0 1 0 75491748 1956548608 362546 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 477673 362546 1280 1201 0 476151 0
Current children cumulated CPU time: 1886.59 s
Current children cumulated vsize: 1910692 KiB
Current children cumulated memory: 1450184 KiB
[startup+1962.3 s]
/proc/loadavg: 4.10 4.15 4.08 5/270 89107
/proc/meminfo: memFree=20020056/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1910692 memory=1450568 CPUtime=1946.38 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 215753 0 0 0 193478 1160 0 0 20 0 1 0 75491748 1956548608 362642 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 477673 362642 1280 1201 0 476151 0
Current children cumulated CPU time: 1946.38 s
Current children cumulated vsize: 1910692 KiB
Current children cumulated memory: 1450568 KiB
[startup+2022.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/270 89109
/proc/meminfo: memFree=16256344/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1934592 memory=1477304 CPUtime=2006.17 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 221033 0 0 0 199386 1231 0 0 20 0 1 0 75491748 1981022208 369326 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 483648 369326 1280 1201 0 482126 0
Current children cumulated CPU time: 2006.17 s
Current children cumulated vsize: 1934592 KiB
Current children cumulated memory: 1477304 KiB
[startup+2045.95 s]
# the end of solver process 89003 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2016.85 s, system=12.6101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2022.4 s]
/proc/loadavg: 4.15 4.15 4.09 5/270 89109
/proc/meminfo: memFree=16256344/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1934592 memory=1477304 CPUtime=2006.27 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 221033 0 0 0 199396 1231 0 0 20 0 1 0 75491748 1981022208 369326 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 483648 369326 1280 1201 0 482126 0
Current children cumulated CPU time: 2006.27 s
Current children cumulated vsize: 1934592 KiB
Current children cumulated memory: 1477304 KiB
[startup+2035.2 s]
/proc/loadavg: 4.12 4.15 4.09 6/269 89109
/proc/meminfo: memFree=16088816/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1935116 memory=1477560 CPUtime=2019.03 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 221107 0 0 0 200663 1240 0 0 20 0 1 0 75491748 1981558784 369390 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 483779 369390 1280 1201 0 482257 0
Current children cumulated CPU time: 2019.03 s
Current children cumulated vsize: 1935116 KiB
Current children cumulated memory: 1477560 KiB
[startup+2041.6 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 89110
/proc/meminfo: memFree=15723208/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1935116 memory=1477560 CPUtime=2025.4 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 221108 0 0 0 201295 1245 0 0 20 0 1 0 75491748 1981558784 369390 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 483779 369390 1280 1201 0 482257 0
Current children cumulated CPU time: 2025.4 s
Current children cumulated vsize: 1935116 KiB
Current children cumulated memory: 1477560 KiB
[startup+2043.2 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 89111
/proc/meminfo: memFree=15646380/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1935116 memory=1477560 CPUtime=2027 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 221109 0 0 0 201453 1247 0 0 20 0 1 0 75491748 1981558784 369390 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 483779 369390 1280 1201 0 482257 0
Current children cumulated CPU time: 2027 s
Current children cumulated vsize: 1935116 KiB
Current children cumulated memory: 1477560 KiB
[startup+2044.8 s]
/proc/loadavg: 4.10 4.14 4.09 5/269 89111
/proc/meminfo: memFree=15574368/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1935116 memory=1477560 CPUtime=2028.6 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) R 89000 89003 88792 0 -1 4194304 221111 0 0 0 201612 1248 0 0 20 0 1 0 75491748 1981558784 369390 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 483779 369390 1280 1201 0 482257 0
Current children cumulated CPU time: 2028.6 s
Current children cumulated vsize: 1935116 KiB
Current children cumulated memory: 1477560 KiB
[startup+2045.6 s]
/proc/loadavg: 4.10 4.14 4.09 5/269 89111
/proc/meminfo: memFree=15517168/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1064192 memory=959120 CPUtime=2029.36 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) D 89000 89003 88792 0 -1 4194304 221112 0 0 0 201684 1252 0 0 20 0 1 0 75491748 1089732608 239780 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 266048 239780 1280 1201 0 264526 0
Current children cumulated CPU time: 2029.36 s
Current children cumulated vsize: 1064192 KiB
Current children cumulated memory: 959120 KiB
[startup+2045.8 s]
/proc/loadavg: 4.10 4.14 4.09 5/269 89111
/proc/meminfo: memFree=15517168/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1064192 memory=959120 CPUtime=2029.38 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) D 89000 89003 88792 0 -1 4194304 221112 0 0 0 201685 1253 0 0 20 0 1 0 75491748 1089732608 239780 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 266048 239780 1280 1201 0 264526 0
Current children cumulated CPU time: 2029.38 s
Current children cumulated vsize: 1064192 KiB
Current children cumulated memory: 959120 KiB
[startup+2045.9 s]
/proc/loadavg: 4.10 4.14 4.09 5/269 89111
/proc/meminfo: memFree=15517168/131250000 swapFree=33009904/33010684
[pid=89003] ppid=89000 vsize=1064192 memory=959120 CPUtime=2029.42 cores=5,7
/proc/89003/stat : 89003 (Exact_proof) D 89000 89003 88792 0 -1 4194304 221112 0 0 0 201685 1257 0 0 20 0 1 0 75491748 1089732608 239780 18446744073709551615 4198400 9115581 140729441354672 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 10325008 10415428 28102656 140729441355976 140729441356263 140729441356263 140729441361865 0
/proc/89003/statm: 266048 239780 1280 1201 0 264526 0
Current children cumulated CPU time: 2029.42 s
Current children cumulated vsize: 1064192 KiB
Current children cumulated memory: 959120 KiB
Child status: 30
Real time (s): 2045.95
CPU time (s): 2029.46
CPU user time (s): 2016.85
CPU system time (s): 12.6101
CPU usage (%): 99.1941
Max. virtual memory (cumulated for all children) (KiB): 2355268
Max. memory (cumulated for all children) (KiB): 1783268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2016.85
system time used= 12.6101
maximum resident set size= 1885668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41669720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10301
involuntary context switches= 2607
# summary of solver processes directly reported to runsolver:
# pid: 89003
# total CPU time (s): 2029.46
# total CPU user time (s): 2016.85
# total CPU system time (s): 12.6101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.80905 second user time and 8.76337 second system time
The end
Begin job on nodeC033 at 2025-07-04 05:02:03 IDJOB=4523218 IDBENCH=179855 IDSOLVER=3325 FILE ID=nodeC033/4523218-1751598123 RUNJOBID= nodeC033-1751597423-88805 SLURM_JOB_ID= 9598866 Free space on /tmp= 429704 MiB SOLVER NAME= Exact_proof 2025-06-02 BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb COMMAND LINE= HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523218-1751598123/watcher-4523218-1751598123 -o /tmp/evaluation-result-4523218-1751598123/solver-4523218-1751598123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751597423-88805 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4523218-1751598123 --seed=1215598201 HOME/instance-4523218-1751598123.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 19358b71c175af654e98554c4f116d17 RANDOM SEED=1215598201 nodeC033 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.038 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.13 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 : 3600.055 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.13 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 : 3601.615 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.13 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 : 3600.054 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.13 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.072 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.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.258 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.13 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.13 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 : 3600.073 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.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 111652372 kB MemAvailable: 126776088 kB Buffers: 2128 kB Cached: 15875832 kB SwapCached: 68 kB Active: 3337396 kB Inactive: 15294900 kB Active(anon): 2766924 kB Inactive(anon): 5516 kB Active(file): 570472 kB Inactive(file): 15289384 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2681768 kB Writeback: 0 kB AnonPages: 2757460 kB Mapped: 119048 kB Shmem: 18028 kB KReclaimable: 206196 kB Slab: 382124 kB SReclaimable: 206196 kB SUnreclaim: 175928 kB KernelStack: 4368 kB PageTables: 8528 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 3616048 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 1978368 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: 221908 kB DirectMap2M: 11083776 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 429696 MiB End job on nodeC033 at 2025-07-04 05:36:09