Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | MSAT (TO) | 3600.11 | 3609.43 |
| Name | PB24/WBO/SOFT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-0-100-0.wbo |
| MD5SUM | cb131e0ad38361b2d0eb2fa8f7531261 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 1.20804 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 3844 |
| Total number of constraints | 11854 |
| Number of soft constraints | 11854 |
| Number of constraints which are clauses | 11610 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 244 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Top cost | 596117 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 596116 |
| Biggest number in a constraint | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 99 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.13 o 143014 0.10/0.14 o 90285 0.10/0.15 o 90222 0.10/0.16 o 90215 0.10/0.16 o 90213 0.10/0.18 o 90200 0.10/0.19 o 90138 0.10/0.19 o 90120 0.10/0.22 o 90105 0.22/0.25 o 90072 0.22/0.31 o 90056 0.32/0.32 o 89984 0.32/0.34 o 89960 0.32/0.37 o 89946 0.32/0.38 o 89936 0.42/0.42 o 89922 0.42/0.48 o 89870 0.51/0.56 o 89863 0.60/0.65 o 89849 1.00/1.08 o 89848 1.09/1.16 o 89794 1.29/1.34 o 89736 1.49/1.58 o 89704 1.49/1.59 o 89548 1.69/1.73 o 89547 1.69/1.76 o 89533 1.88/1.90 o 89501 2.78/2.85 o 89492 3.18/3.21 o 89422 3.48/3.58 o 89407 3.87/3.93 o 89374 3.87/3.94 o 89286 4.78/4.82 o 89282 5.17/5.22 o 89249 6.37/6.40 o 89248 6.37/6.41 o 89202 6.37/6.42 o 89183 6.86/6.91 o 89182 8.17/8.20 o 89159 8.17/8.21 o 89156 8.17/8.23 o 89152 8.17/8.27 o 89142 8.86/8.93 o 89126 49.72/50.00 o 89069 49.84/50.11 o 89012 51.02/51.26 o 88875 54.82/55.01 o 88836 55.61/55.81 o 88815 56.21/56.47 o 88790 56.70/56.98 o 88778 57.60/57.82 o 88687 59.10/59.30 o 88655 59.70/59.92 o 88651 59.81/60.01 o 88570 60.00/60.29 o 88444 60.20/60.43 o 88363 60.39/60.60 o 88282 60.50/60.79 o 88244 60.81/61.07 o 88176 61.30/61.53 o 88165 61.50/61.72 o 88061 61.91/62.14 o 88011 62.10/62.38 o 87974 62.30/62.53 o 87916 62.50/62.70 o 87847 62.60/62.80 o 87788 62.70/62.97 o 87706 62.91/63.19 o 87629 63.39/63.64 o 87555 63.80/64.06 o 87525 64.49/64.76 o 87456 67.58/67.86 o 87411 67.79/68.02 o 87352 67.89/68.17 o 87279 68.08/68.31 o 87269 69.37/69.68 o 87266 71.07/71.30 o 87216 73.26/73.59 o 87175 75.26/75.51 o 87143 77.06/77.39 o 87064 83.24/83.52 o 86980 164.82/165.30 o 86979 164.92/165.40 o 86941 172.10/172.66 o 86875 188.47/189.07 o 86816 193.05/193.60 o 86754 195.14/195.71 o 86716 198.13/198.78 o 86670 204.62/205.21 o 86656 292.22/293.01 o 86630 292.22/293.02 o 86565 292.22/293.04 o 86479 292.22/293.06 o 86450 292.22/293.07 o 86412 292.22/293.10 o 86322 292.32/293.12 o 86240 301.99/302.83 o 86239 302.30/303.19 o 86238 312.36/313.21 o 86169 321.44/322.38 o 86163 330.42/331.32 o 86110 333.01/333.96 o 86047 353.36/354.34 o 86029 356.85/357.87 o 86017 358.06/359.02 o 85933 359.55/360.59 o 85907 359.65/360.60 o 85906 359.65/360.61 o 85902 375.21/376.29 o 85847 375.31/376.37 o 85838 375.31/376.39 o 85837 379.50/380.59 o 85836 379.60/380.61 o 85835 379.70/380.75 o 85820 379.70/380.76 o 85816 379.80/380.84 o 85791 381.50/382.51 o 85787 381.50/382.52 o 85786 381.50/382.53 o 85783 381.50/382.56 o 85772 400.35/401.47 o 85756 402.24/403.37 o 85755 402.34/403.45 o 85749 402.44/403.56 o 85744 404.74/405.89 o 85734 404.84/405.91 o 85733 404.84/405.93 o 85729 407.83/408.98 o 85728 407.83/408.99 o 85727 407.94/409.05 o 85720 407.94/409.07 o 85716 412.72/413.89 o 85701 412.82/413.90 o 85700 425.00/426.18 o 85653 425.09/426.20 o 85643 429.68/430.86 o 85633 430.78/432.01 o 85632 430.89/432.02 o 85631 431.47/432.69 o 85630 431.57/432.73 o 85615 431.57/432.75 o 85611 448.73/449.99 o 85595 451.62/452.88 o 85585 451.62/452.89 o 85584 451.83/453.02 o 85582 451.83/453.04 o 85578 458.11/459.35 o 85567 458.11/459.36 o 85566 458.11/459.38 o 85562 459.92/461.18 o 85559 459.92/461.19 o 85558 460.00/461.22 o 85547 473.67/474.94 o 85507 473.67/474.96 o 85497 473.67/474.97 o 85492 477.96/479.27 o 85020 477.96/479.27 o 84930 477.96/479.28 o 84891 477.96/479.29 o 84809 478.06/479.30 o 84764 478.06/479.31 o 84723 478.06/479.32 o 84696 478.06/479.33 o 84672 478.06/479.34 o 84588 478.06/479.35 o 84527 478.06/479.36 o 84502 478.06/479.36 o 84443 478.06/479.37 o 84377 478.06/479.38 o 84334 478.06/479.39 o 84333 478.16/479.40 o 84321 478.16/479.41 o 84245 478.16/479.42 o 84181 478.16/479.43 o 84140 478.16/479.44 o 84043 478.16/479.46 o 84033 478.16/479.46 o 83985 478.16/479.49 o 83950 478.26/479.51 o 83928 478.26/479.53 o 83927 478.26/479.54 o 83908 478.26/479.56 o 83850 478.26/479.57 o 83831 478.36/479.69 o 83826 478.36/479.69 o 83807 478.46/479.70 o 83804 478.46/479.73 o 83776 478.46/479.74 o 83773 478.46/479.79 o 83772 478.56/479.83 o 83765 478.56/479.84 o 83731 478.56/479.87 o 83717 478.56/479.88 o 83714 478.66/479.92 o 83700 478.66/479.93 o 83635 478.66/479.98 o 83585 478.77/480.01 o 83554 478.87/480.11 o 83476 478.87/480.14 o 83469 478.87/480.16 o 83454 478.87/480.19 o 83408 478.96/480.22 o 83403 478.96/480.24 o 83397 478.96/480.27 o 83383 479.06/480.31 o 83310 479.06/480.32 o 83296 479.06/480.37 o 83217 479.16/480.40 o 83190 479.16/480.41 o 83159 479.16/480.46 o 83157 479.16/480.47 o 83154 479.16/480.48 o 83140 479.26/480.51 o 83111 479.26/480.59 o 83108 479.36/480.60 o 83105 479.36/480.61 o 83089 479.36/480.63 o 83074 479.46/480.73 o 83065 479.46/480.75 o 83051 479.56/480.81 o 83050 479.56/480.90 o 83029 479.66/481.00 o 83017 479.66/481.01 o 83014 479.77/481.10 o 83007 479.87/481.14 o 82988 479.95/481.23 o 82986 480.15/481.43 o 82982 480.15/481.44 o 82980 480.15/481.48 o 82971 480.25/481.50 o 82952 480.25/481.56 o 82944 480.35/481.60 o 82921 480.35/481.67 o 82918 480.76/482.01 o 82911 480.76/482.10 o 82906 480.86/482.12 o 82903 480.86/482.16 o 82882 480.95/482.28 o 82873 481.05/482.36 o 82869 481.15/482.49 o 82830 481.25/482.54 o 82825 481.25/482.55 o 82821 482.05/483.30 o 82809 482.05/483.31 o 82806 482.05/483.32 o 82803 482.15/483.46 o 82801 482.15/483.49 o 82785 482.25/483.52 o 82781 482.25/483.58 o 82773 482.45/483.76 o 82770 482.45/483.78 o 82766 483.65/484.92 o 82761 483.65/484.94 o 82757 484.14/485.41 o 82756 484.14/485.44 o 82741 484.14/485.47 o 82719 484.14/485.49 o 82704 485.34/486.70 o 82703 485.44/486.73 o 82694 487.44/488.75 o 82685 487.44/488.77 o 82680 487.54/488.86 o 82676 491.84/493.11 o 82650 495.22/496.50 o 82648 503.30/504.63 o 82646 503.30/504.66 o 82633 503.30/504.67 o 82627 512.47/513.83 o 82623 512.68/514.02 o 82604 512.68/514.05 o 82601 512.78/514.15 o 82586 523.45/524.80 o 82549 528.65/530.08 o 82543 528.75/530.11 o 82540 529.14/530.56 o 82537 529.34/530.70 o 82522 532.13/533.58 o 82520 532.23/533.61 o 82515 532.23/533.64 o 82509 532.43/533.82 o 82500 532.43/533.86 o 82494 533.03/534.49 o 82488 533.13/534.53 o 82478 546.10/547.56 o 82424 550.38/551.88 o 82423 550.48/551.96 o 82415 550.59/552.08 o 82403 550.69/552.12 o 82400 550.69/552.13 o 82355 550.78/552.26 o 82354 550.78/552.27 o 82350 550.88/552.31 o 82339 550.88/552.31 o 82317 550.88/552.36 o 82289 550.88/552.37 o 82285 550.88/552.38 o 82277 550.88/552.39 o 82273 550.98/552.42 o 82271 550.98/552.43 o 82267 550.98/552.44 o 82264 551.08/552.50 o 82263 551.08/552.52 o 82258 551.08/552.53 o 82255 551.08/552.55 o 82230 551.08/552.56 o 82223 551.18/552.61 o 82220 551.28/552.74 o 82218 551.28/552.77 o 82217 551.28/552.79 o 82214 551.38/552.86 o 82211 551.59/553.05 o 82208 551.59/553.09 o 82202 551.59/553.10 o 82193 551.69/553.17 o 82190 551.88/553.38 o 82187 551.98/553.41 o 82183 551.98/553.42 o 82180 552.38/553.83 o 82166 552.38/553.89 o 82163 552.48/553.97 o 82132 552.48/553.98 o 82129 552.77/554.20 o 82099 552.87/554.31 o 82075 552.97/554.41 o 82074 552.97/554.45 o 82039 552.97/554.49 o 82007 553.17/554.61 o 81977 553.17/554.66 o 81878 553.17/554.67 o 81866 553.27/554.70 o 81865 553.27/554.71 o 81853 553.27/554.73 o 81823 553.27/554.76 o 81788 553.37/554.85 o 81780 553.37/554.86 o 81771 553.37/554.87 o 81759 553.47/554.90 o 81732 553.47/554.91 o 81720 553.47/554.97 o 81715 553.58/555.05 o 81695 553.68/555.14 o 81690 553.68/555.16 o 81667 553.68/555.17 o 81655 553.77/555.29 o 81648 553.87/555.30 o 81627 553.87/555.34 o 81626 553.87/555.36 o 81609 553.87/555.37 o 81597 553.97/555.46 o 81578 554.07/555.51 o 81528 554.07/555.52 o 81499 554.07/555.56 o 81469 554.17/555.67 o 81461 554.17/555.69 o 81444 554.27/555.72 o 81432 554.37/555.82 o 81424 554.37/555.86 o 81419 554.37/555.87 o 81407 554.47/556.00 o 81404 554.58/556.03 o 81381 554.58/556.04 o 81369 554.58/556.10 o 81348 554.68/556.14 o 81336 554.68/556.15 o 81319 554.77/556.24 o 81276 554.87/556.35 o 81266 555.07/556.56 o 81257 555.17/556.64 o 81251 555.47/556.97 o 81236 555.68/557.14 o 81230 555.68/557.15 o 81221 555.68/557.18 o 81220 555.77/557.21 o 81203 556.07/557.52 o 81196 556.07/557.55 o 81193 556.07/557.57 o 81176 556.37/557.80 o 81158 556.37/557.88 o 81131 556.37/557.89 o 81123 556.47/557.90 o 81102 556.47/557.98 o 81071 556.47/558.00 o 81063 556.58/558.01 o 81042 556.58/558.03 o 81025 556.58/558.10 o 81023 556.86/558.32 o 80971 557.06/558.54 o 80967 557.16/558.69 o 80960 558.46/559.90 o 80868 558.86/560.34 o 80864 561.45/562.95 o 80856 561.45/562.97 o 80855 561.56/563.05 o 80846 568.55/570.02 o 80844 569.33/570.87 o 80828 569.33/570.89 o 80827 569.83/571.35 o 80812 569.93/571.47 o 80810 577.71/579.26 o 80809 578.31/579.85 o 80787 608.24/609.89 o 80739 661.61/663.33 o 80725 673.68/675.49 o 80675 679.97/681.75 o 80663 679.97/681.77 o 80651 712.49/714.37 o 80546 718.87/720.76 o 80544 718.98/720.85 o 80543 781.43/783.49 o 80504 818.65/820.75 o 80435 835.02/837.14 o 80423 1032.93/1035.56 o 80396 1032.93/1035.57 o 80339 1033.03/1035.69 o 80230 1104.96/1107.73 o 80067 1160.24/1163.11 o 80037 1160.24/1163.12 o 79979 1493.45/1497.18 o 79959 1559.58/1563.41 o 79891 1566.37/1570.23 o 79884 1566.37/1570.24 o 79883 1566.57/1570.43 o 79868 1566.57/1570.44 o 79864 1566.77/1570.64 o 79862 1566.87/1570.72 o 79810 1576.15/1580.03 o 79764 1576.15/1580.04 o 79756 1580.83/1584.76 o 79752 1580.83/1584.78 o 79751 1610.56/1614.53 o 79724 1620.84/1624.83 o 79723 1623.63/1627.65 o 79722 1623.63/1627.68 o 79721 1627.82/1631.84 o 79718 1627.82/1631.87 o 79717 1627.82/1631.89 o 79713 1628.32/1632.39 o 79707 1628.42/1632.45 o 79698 1628.62/1632.66 o 79689 1628.72/1632.75 o 79684 1635.01/1639.04 o 79683 1635.01/1639.07 o 79682 1668.12/1672.26 o 79612 1674.81/1678.91 o 79610 1674.81/1678.93 o 79609 1675.02/1679.11 o 79607 1678.91/1683.03 o 79588 1678.91/1683.05 o 79587 1678.91/1683.09 o 79585 1679.01/1683.15 o 79554 1690.98/1695.13 o 79548 1690.98/1695.16 o 79547 1690.98/1695.18 o 79542 1691.07/1695.28 o 79528 1698.96/1703.13 o 79526 1703.44/1707.66 o 79520 1703.44/1707.68 o 79519 1703.64/1707.80 o 79488 1775.37/1779.79 o 79430 1785.44/1789.85 o 79428 1797.91/1802.34 o 79369 1818.58/1823.04 o 79265 1825.75/1830.27 o 79260 1825.75/1830.29 o 79259 1826.05/1830.56 o 79257 1829.65/1834.14 o 79253 1829.65/1834.16 o 79252 1829.74/1834.29 o 79235 1829.84/1834.37 o 79204 1894.98/1899.60 o 79133 1926.80/1931.54 o 79066 2016.47/2021.40 o 78986 2043.40/2048.42 o 78959 2066.73/2071.80 o 78928 2075.81/2080.93 o 78913 2076.51/2081.61 o 78911 2078.91/2084.08 o 78900 2079.01/2084.11 o 78899 2079.91/2085.08 o 78897 2085.00/2090.16 o 78885 2110.02/2115.24 o 78846 2116.40/2121.66 o 78844 2116.40/2121.69 o 78843 2117.69/2122.93 o 78842 2117.69/2122.95 o 78841 2118.69/2123.95 o 78834 2118.69/2123.97 o 78833 2118.69/2124.00 o 78828 2118.90/2124.11 o 78802 2121.98/2127.23 o 78796 2121.98/2127.25 o 78795 2127.07/2132.30 o 78788 2127.07/2132.32 o 78787 2127.17/2132.44 o 78785 2143.92/2149.21 o 78776 2145.12/2150.46 o 78775 2145.12/2150.48 o 78774 2145.22/2150.56 o 78772 2145.83/2151.16 o 78749 2145.83/2151.18 o 78748 2146.02/2151.39 o 78746 2146.73/2152.10 o 78744 2146.83/2152.13 o 78732 2147.01/2152.32 o 78731 2147.01/2152.34 o 78730 2147.51/2152.88 o 78722 2147.61/2152.91 o 78721 2151.81/2157.13 o 78719 2151.81/2157.15 o 78718 2152.00/2157.30 o 78716 2154.99/2160.33 o 78714 2154.99/2160.36 o 78713 2154.99/2160.38 o 78704 2155.09/2160.48 o 78702 2159.48/2164.80 o 78698 2159.48/2164.82 o 78697 2159.48/2164.86 o 78693 2159.48/2164.89 o 78688 2159.58/2165.00 o 78686 2177.64/2183.07 o 78614 2180.73/2186.15 o 78570 2180.73/2186.17 o 78569 2180.82/2186.27 o 78567 2183.72/2189.11 o 78549 2183.72/2189.13 o 78548 2183.72/2189.14 o 78543 2183.81/2189.25 o 78502 2183.91/2189.39 o 78471 2185.81/2191.24 o 78447 2187.30/2192.74 o 78445 2187.30/2192.75 o 78444 2187.40/2192.81 o 78442 2187.40/2192.87 o 78411 2188.10/2193.54 o 78369 2194.38/2199.85 o 78355 2198.97/2204.46 o 78351 2198.97/2204.47 o 78350 2198.97/2204.49 o 78346 2199.07/2204.57 o 78344 2207.66/2213.14 o 78342 2207.66/2213.15 o 78341 2207.66/2213.17 o 78337 2208.05/2213.55 o 78324 2209.04/2214.52 o 78290 2213.43/2218.98 o 78288 2313.27/2319.05 o 78268 2323.73/2329.57 o 78266 2363.72/2369.62 o 78188 2441.70/2447.87 o 78147 2493.66/2499.93 o 78041 2574.54/2581.04 o 77999 2696.69/2703.53 o 77976 2727.90/2734.88 o 77940 2927.04/2934.51 o 77844 2966.93/2974.59 o 77671 2979.99/2987.63 o 77663 2979.99/2987.65 o 77662 2980.09/2987.74 o 77628 3053.31/3061.15 o 77549 3066.36/3074.27 o 77510 3112.83/3120.84 o 77470 3433.43/3442.38 o 77450 3479.61/3488.63 o 77299 3557.09/3566.30 o 77264 3600.07/3609.40 c Program interrupted by user. 3600.07/3609.40 s SATISFIABLE 3600.07/3609.40 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
OK 77264
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: 64059 MiB (63243 MiB free)
memory of node 1: 64510 MiB (63765 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425640-1720880054/watcher-4425640-1720880054 -o /tmp/evaluation-result-4425640-1720880054/solver-4425640-1720880054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1720880066-700694 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1858752628 HOME/instance-4425640-1720880054.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=700731, runsolver pid=700725
[startup+0.100101 s]*
/proc/loadavg: 1.28 1.16 1.36 5/246 700757
/proc/meminfo: memFree=129979372/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=54432 memory=32692 CPUtime=0.1 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 8895 0 0 0 9 1 0 0 20 0 1 0 140165012 55738368 8173 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 13608 8173 787 746 0 12672 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54432 KiB
Current children cumulated memory: 32692 KiB
[startup+0.213561 s]*
/proc/loadavg: 1.66 1.24 1.39 5/246 700757
/proc/meminfo: memFree=129927944/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=58884 memory=39140 CPUtime=0.22 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 9974 0 0 0 20 2 0 0 20 0 1 0 140165012 60297216 9785 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 14721 9785 835 746 0 13785 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 58884 KiB
Current children cumulated memory: 39140 KiB
[startup+0.313201 s]*
/proc/loadavg: 1.66 1.24 1.39 5/246 700757
/proc/meminfo: memFree=129879604/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=59808 memory=42244 CPUtime=0.32 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 10218 0 0 0 30 2 0 0 20 0 1 0 140165012 61243392 10561 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 14952 10561 835 746 0 14016 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 59808 KiB
Current children cumulated memory: 42244 KiB
[startup+0.700314 s]
/proc/loadavg: 1.66 1.24 1.39 5/246 700757
/proc/meminfo: memFree=129813772/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=63372 memory=49764 CPUtime=0.69 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 11093 0 0 0 67 2 0 0 20 0 1 0 140165012 64892928 12441 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 15843 12441 835 746 0 14907 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63372 KiB
Current children cumulated memory: 49764 KiB
[startup+1.5003 s]
/proc/loadavg: 1.66 1.24 1.39 5/246 700757
/proc/meminfo: memFree=129730740/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=68256 memory=60912 CPUtime=1.49 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 12344 0 0 0 146 3 0 0 20 0 1 0 140165012 69894144 15228 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 17064 15228 835 746 0 16128 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68256 KiB
Current children cumulated memory: 60912 KiB
[startup+3.11283 s]
/proc/loadavg: 1.66 1.24 1.39 5/246 700759
/proc/meminfo: memFree=129612028/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=89912 memory=79136 CPUtime=3.1 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 15067 0 0 0 306 4 0 0 20 0 1 0 140165012 92069888 19784 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 22478 19784 835 746 0 21542 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 89912 KiB
Current children cumulated memory: 79136 KiB
[startup+6.30032 s]
/proc/loadavg: 1.85 1.28 1.40 5/246 700759
/proc/meminfo: memFree=129505924/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=128464 memory=115036 CPUtime=6.27 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 19860 0 0 0 622 5 0 0 20 0 1 0 140165012 131547136 28759 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 32116 28759 835 746 0 31180 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 128464 KiB
Current children cumulated memory: 115036 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 1.33 1.42 5/246 700760
/proc/meminfo: memFree=129330044/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=189676 memory=161872 CPUtime=12.64 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 25311 0 0 0 1257 7 0 0 20 0 1 0 140165012 194228224 40468 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 47419 40468 835 746 0 46483 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 189676 KiB
Current children cumulated memory: 161872 KiB
[startup+25.5004 s]
/proc/loadavg: 2.32 1.42 1.44 5/246 700762
/proc/meminfo: memFree=129010892/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=282844 memory=237028 CPUtime=25.41 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 31478 0 0 0 2529 12 0 0 20 0 1 0 140165012 289632256 59257 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 70711 59257 851 746 0 69775 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 282844 KiB
Current children cumulated memory: 237028 KiB
[startup+51.1128 s]
/proc/loadavg: 3.11 1.70 1.54 5/246 700765
/proc/meminfo: memFree=128283952/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=747716 memory=565900 CPUtime=50.93 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 59573 0 0 0 5064 29 0 0 20 0 1 0 140165012 765661184 141475 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 186929 141475 851 746 0 185993 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 747716 KiB
Current children cumulated memory: 565900 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 2.07 1.67 5/243 700776
/proc/meminfo: memFree=127545884/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=767704 memory=587776 CPUtime=101.98 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 63641 0 0 0 10167 31 0 0 20 0 1 0 140165012 786128896 146944 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 191926 146944 851 746 0 190990 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 767704 KiB
Current children cumulated memory: 587776 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.44 1.83 5/243 700786
/proc/meminfo: memFree=127039292/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=807940 memory=688464 CPUtime=161.82 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 71036 0 0 0 16148 34 0 0 20 0 1 0 140165012 827330560 172116 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 201985 172116 851 746 0 201049 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 807940 KiB
Current children cumulated memory: 688464 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.74 1.97 5/243 700796
/proc/meminfo: memFree=126523076/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=815224 memory=769664 CPUtime=221.68 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 72440 0 0 0 22132 36 0 0 20 0 1 0 140165012 834789376 192416 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 203806 192416 851 746 0 202870 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 815224 KiB
Current children cumulated memory: 769664 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.99 2.11 5/243 700807
/proc/meminfo: memFree=126185360/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=820820 memory=773528 CPUtime=281.54 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 73722 0 0 0 28118 36 0 0 20 0 1 0 140165012 840519680 193382 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 205205 193382 851 746 0 204269 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 820820 KiB
Current children cumulated memory: 773528 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.19 2.23 5/241 700817
/proc/meminfo: memFree=125745352/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=852104 memory=794512 CPUtime=341.39 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 79104 0 0 0 34102 37 0 0 20 0 1 0 140165012 872554496 198628 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 213026 198628 851 746 0 212090 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 852104 KiB
Current children cumulated memory: 794512 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.36 2.35 5/243 700831
/proc/meminfo: memFree=125431004/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=852104 memory=794576 CPUtime=401.25 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 79408 0 0 0 40088 37 0 0 20 0 1 0 140165012 872554496 198644 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 213026 198644 851 746 0 212090 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 852104 KiB
Current children cumulated memory: 794576 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.49 2.46 5/243 700841
/proc/meminfo: memFree=125260452/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=852360 memory=794832 CPUtime=461.1 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 79755 0 0 0 46073 37 0 0 20 0 1 0 140165012 872816640 198708 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 213090 198708 851 746 0 212154 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
Current children cumulated memory: 823124 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.14 4.04 5/246 702449
/proc/meminfo: memFree=123285704/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=884424 memory=823176 CPUtime=2855.04 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 98329 0 0 0 285463 41 0 0 20 0 1 0 140165012 905650176 205794 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221106 205794 851 746 0 220170 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 884424 KiB
Current children cumulated memory: 823176 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.05 5/246 702460
/proc/meminfo: memFree=123282360/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=884424 memory=823176 CPUtime=2914.87 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 98625 0 0 0 291446 41 0 0 20 0 1 0 140165012 905650176 205794 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221106 205794 851 746 0 220170 0
Current children cumulated CPU time: 2914.87 s
Current children cumulated vsize: 884424 KiB
Current children cumulated memory: 823176 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.05 5/244 702470
/proc/meminfo: memFree=123281388/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=884972 memory=823596 CPUtime=2974.71 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 99012 0 0 0 297430 41 0 0 20 0 1 0 140165012 906211328 205899 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221243 205899 851 746 0 220307 0
Current children cumulated CPU time: 2974.71 s
Current children cumulated vsize: 884972 KiB
Current children cumulated memory: 823596 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.15 4.06 6/244 702481
/proc/meminfo: memFree=123277156/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=884972 memory=823616 CPUtime=3034.55 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 99319 0 0 0 303413 42 0 0 20 0 1 0 140165012 906211328 205904 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221243 205904 851 746 0 220307 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 884972 KiB
Current children cumulated memory: 823616 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.17 4.07 5/242 702492
/proc/meminfo: memFree=123276632/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885116 memory=823752 CPUtime=3094.38 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 99640 0 0 0 309396 42 0 0 20 0 1 0 140165012 906358784 205938 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221279 205938 851 746 0 220343 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 885116 KiB
Current children cumulated memory: 823752 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.07 5/241 702502
/proc/meminfo: memFree=123276332/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885116 memory=823820 CPUtime=3154.21 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 99953 0 0 0 315379 42 0 0 20 0 1 0 140165012 906358784 205955 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221279 205955 851 746 0 220343 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 885116 KiB
Current children cumulated memory: 823820 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.08 5/241 702512
/proc/meminfo: memFree=123275688/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885344 memory=823984 CPUtime=3214.05 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 100275 0 0 0 321363 42 0 0 20 0 1 0 140165012 906592256 205996 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221336 205996 851 746 0 220400 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 885344 KiB
Current children cumulated memory: 823984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/241 702524
/proc/meminfo: memFree=123274600/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885344 memory=824032 CPUtime=3273.88 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 100591 0 0 0 327346 42 0 0 20 0 1 0 140165012 906592256 206008 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221336 206008 851 746 0 220400 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 885344 KiB
Current children cumulated memory: 824032 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.08 5/241 702534
/proc/meminfo: memFree=123274216/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885488 memory=824132 CPUtime=3333.71 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 100916 0 0 0 333329 42 0 0 20 0 1 0 140165012 906739712 206033 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221372 206033 851 746 0 220436 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 885488 KiB
Current children cumulated memory: 824132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.08 5/244 702549
/proc/meminfo: memFree=123253308/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885488 memory=824176 CPUtime=3393.55 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 101209 0 0 0 339313 42 0 0 20 0 1 0 140165012 906739712 206044 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221372 206044 851 746 0 220436 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 885488 KiB
Current children cumulated memory: 824176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/244 702559
/proc/meminfo: memFree=123237336/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885488 memory=824276 CPUtime=3453.38 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 101524 0 0 0 345296 42 0 0 20 0 1 0 140165012 906739712 206069 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221372 206069 851 746 0 220436 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 885488 KiB
Current children cumulated memory: 824276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.09 5/244 702570
/proc/meminfo: memFree=123228048/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885708 memory=824368 CPUtime=3513.21 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 101834 0 0 0 351279 42 0 0 20 0 1 0 140165012 906964992 206092 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221427 206092 851 746 0 220491 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 885708 KiB
Current children cumulated memory: 824368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/244 702580
/proc/meminfo: memFree=123227588/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885708 memory=824432 CPUtime=3573.05 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 102142 0 0 0 357263 42 0 0 20 0 1 0 140165012 906964992 206108 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221427 206108 851 746 0 220491 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 885708 KiB
Current children cumulated memory: 824432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.14 4.13 4.09 4/242 702585
/proc/meminfo: memFree=123825804/131655788 swapFree=131071996/131071996
[pid=700731] ppid=700725 vsize=885708 memory=824432 CPUtime=3600.07 cores=1,3
/proc/700731/stat : 700731 (Exact_nosoplex) R 700725 700731 697318 0 -1 4194304 102200 0 0 0 359965 42 0 0 20 0 1 0 140165012 906964992 206108 134679101440 4194304 7248369 140724351984080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 31105024 140724351992722 140724351992901 140724351992901 140724351999942 0
/proc/700731/statm: 221427 206108 851 746 0 220491 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 885708 KiB
Current children cumulated memory: 824432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.42 s]
# the end of solver process 700731 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.68 s, system=0.431822 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.43
CPU time (s): 3600.11
CPU user time (s): 3599.68
CPU system time (s): 0.431822
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 885708
Max. memory (cumulated for all children) (KiB): 824432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.68
system time used= 0.431822
maximum resident set size= 824432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102234
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= 49
involuntary context switches= 1547
# summary of solver processes directly reported to runsolver:
# pid: 700731
# total CPU time (s): 3600.11
# total CPU user time (s): 3599.68
# total CPU system time (s): 0.431822
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3844 second user time and 35.2671 second system time
The end
Begin job on nodeC009 at 2024-07-13 16:14:26 IDJOB=4425640 IDBENCH=143320 IDSOLVER=3039 FILE ID=nodeC009/4425640-1720880054 RUNJOBID= nodeC009-1720880066-700694 SLURM_JOB_ID= 7483757 Free space on /tmp= 723780 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/SOFT-LIN/PB10/oliveras/j30/normalized-j301_4-unsat--soft-0-100-0.wbo COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425640-1720880054/watcher-4425640-1720880054 -o /tmp/evaluation-result-4425640-1720880054/solver-4425640-1720880054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1720880066-700694 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1858752628 HOME/instance-4425640-1720880054.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cb131e0ad38361b2d0eb2fa8f7531261 RANDOM SEED=1858752628 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.321 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3362.126 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.333 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.327 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.318 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.330 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.333 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.329 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130069700 kB MemAvailable: 129965816 kB Buffers: 319764 kB Cached: 425816 kB SwapCached: 0 kB Active: 471408 kB Inactive: 620096 kB Active(anon): 1356 kB Inactive(anon): 382320 kB Active(file): 470052 kB Inactive(file): 237776 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 7816 kB Writeback: 12 kB AnonPages: 346072 kB Mapped: 101480 kB Shmem: 37700 kB KReclaimable: 56636 kB Slab: 145444 kB SReclaimable: 56636 kB SUnreclaim: 88808 kB KernelStack: 3712 kB PageTables: 9308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 721528 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45856 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 166728 kB DirectMap2M: 11272192 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723752 MiB End job on nodeC009 at 2024-07-13 17:14:36