Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.4 | SAT (TO) | 454 | 2520.0801 | 2437.75 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml |
| MD5SUM | 6af071621bab6d4e45a1e2acc37440b7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.1101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2116 |
| Number of constraints | 15180 |
| Number of domains | 1 |
| Minimum domain size | 1035 |
| Maximum domain size | 1035 |
| Distribution of domain sizes | [{"size":1035,"count":1035}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 45 |
| Distribution of variable degrees | [{"degree":0,"count":1081},{"degree":45,"count":1035}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":15180}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 15180 |
| Distribution of constraint types | [{"type":"intension","count":15180}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
3.50/2.20 c Concrete v3.4 running 66.63/39.46 o 1034 73.88/44.41 o 1033 78.03/48.54 o 1032 82.27/52.75 o 1031 86.63/56.98 o 1030 91.00/61.05 o 1029 95.12/65.18 o 1028 99.51/69.30 o 1027 103.71/73.44 o 1026 107.87/77.54 o 1025 112.06/81.67 o 1024 116.20/85.68 o 1023 120.30/89.71 o 1022 124.60/93.81 o 1021 128.60/97.85 o 1020 132.60/101.88 o 1019 136.70/105.95 o 1018 140.87/110.04 o 1017 145.07/114.21 o 1016 149.19/118.31 o 1015 153.29/122.45 o 1014 157.50/126.67 o 1013 162.16/131.22 o 1012 166.27/135.30 o 1011 169.87/138.94 o 1010 173.88/142.97 o 1009 178.04/147.07 o 1008 182.14/151.16 o 1007 186.27/155.24 o 1006 190.37/159.31 o 1005 194.56/163.41 o 1004 198.66/167.51 o 1003 202.66/171.59 o 1002 207.27/176.12 o 1001 211.26/180.16 o 1000 215.42/184.27 o 999 219.52/188.33 o 998 223.62/192.42 o 997 227.74/196.55 o 996 231.90/200.60 o 995 235.91/204.69 o 994 240.00/208.78 o 993 244.21/212.90 o 992 248.46/217.14 o 991 252.66/221.35 o 990 257.16/225.89 o 989 261.27/229.99 o 988 265.87/234.53 o 987 269.93/238.57 o 986 274.04/242.70 o 985 278.14/246.80 o 984 282.24/250.86 o 983 286.40/254.93 o 982 290.51/259.03 o 981 294.61/263.11 o 980 298.73/267.20 o 979 302.90/271.34 o 978 306.99/275.40 o 977 311.00/279.49 o 976 315.10/283.56 o 975 319.20/287.65 o 974 323.26/291.68 o 973 327.35/295.72 o 972 331.36/299.77 o 971 335.46/303.85 o 970 339.52/307.82 o 969 343.52/311.86 o 968 347.53/315.87 o 967 351.69/319.93 o 966 355.79/324.01 o 965 359.80/328.06 o 964 363.80/332.08 o 963 367.95/336.15 o 962 372.06/340.25 o 961 376.16/344.31 o 960 380.26/348.42 o 959 384.32/352.49 o 958 388.43/356.58 o 957 392.52/360.68 o 956 396.66/364.79 o 955 400.76/368.86 o 954 404.88/372.93 o 953 409.02/377.01 o 952 413.02/381.04 o 951 417.04/385.09 o 950 421.19/389.13 o 949 425.19/393.14 o 948 429.29/397.22 o 947 433.44/401.34 o 946 438.05/405.98 o 945 442.14/410.09 o 944 446.29/414.18 o 943 450.41/418.26 o 942 454.56/422.38 o 941 458.76/426.55 o 940 462.86/430.63 o 939 467.02/434.71 o 938 471.12/438.82 o 937 475.28/442.91 o 936 479.28/446.99 o 935 483.39/451.10 o 934 488.05/455.60 o 933 492.56/460.13 o 932 496.73/464.21 o 931 500.73/468.27 o 930 504.89/472.39 o 929 509.10/476.50 o 928 513.26/480.61 o 927 517.27/484.62 o 926 521.74/489.06 o 925 526.33/493.52 o 924 530.43/497.62 o 923 534.61/501.71 o 922 539.11/506.22 o 921 543.30/510.35 o 920 547.48/514.46 o 919 551.58/518.53 o 918 555.80/522.63 o 917 559.90/526.76 o 916 564.10/530.84 o 915 568.40/535.03 o 914 572.62/539.15 o 913 576.73/543.22 o 912 580.91/547.31 o 911 585.11/551.41 o 910 589.30/555.51 o 909 593.39/559.59 o 908 597.64/563.72 o 907 601.80/567.81 o 906 605.90/571.88 o 905 610.18/576.00 o 904 614.37/580.13 o 903 618.57/584.28 o 902 622.85/588.46 o 901 627.04/592.51 o 900 631.24/596.63 o 899 635.82/601.19 o 898 640.10/605.31 o 897 644.27/609.42 o 896 648.43/613.53 o 895 652.64/617.63 o 894 656.84/621.72 o 893 660.90/625.79 o 892 665.06/629.87 o 891 669.22/633.99 o 890 673.43/638.08 o 889 677.58/642.18 o 888 681.88/646.36 o 887 686.03/650.46 o 886 690.24/654.53 o 885 694.44/658.62 o 884 698.64/662.75 o 883 702.79/666.82 o 882 706.89/670.85 o 881 711.09/674.94 o 880 715.30/679.06 o 879 719.45/683.15 o 878 723.64/687.22 o 877 727.84/691.30 o 876 732.04/695.41 o 875 736.13/699.47 o 874 740.69/703.99 o 873 744.90/708.04 o 872 749.13/712.14 o 871 753.29/716.23 o 870 757.45/720.32 o 869 761.70/724.44 o 868 765.88/728.52 o 867 770.10/732.63 o 866 774.29/736.76 o 865 778.59/740.91 o 864 782.81/745.02 o 863 787.03/749.14 o 862 791.25/753.24 o 861 795.35/757.40 o 860 799.50/761.40 o 859 803.72/765.48 o 858 807.95/769.54 o 857 812.52/774.03 o 856 816.67/778.14 o 855 820.92/782.26 o 854 825.02/786.33 o 853 829.26/790.43 o 852 834.60/794.88 o 851 838.70/798.96 o 850 842.97/803.11 o 849 847.18/807.24 o 848 851.29/811.37 o 847 855.57/815.51 o 846 859.58/819.56 o 845 863.76/823.63 o 844 867.86/827.69 o 843 871.97/831.77 o 842 876.28/835.91 o 841 880.29/839.99 o 840 884.62/844.15 o 839 888.73/848.22 o 838 892.99/852.37 o 837 897.09/856.44 o 836 901.21/860.51 o 835 905.31/864.60 o 834 909.81/869.10 o 833 914.12/873.22 o 832 918.22/877.32 o 831 922.45/881.47 o 830 926.56/885.56 o 829 930.66/889.65 o 828 934.98/893.77 o 827 939.08/897.88 o 826 943.47/902.07 o 825 947.66/906.20 o 824 951.66/910.29 o 823 956.25/914.57 o 822 960.36/918.65 o 821 964.53/922.80 o 820 968.91/926.91 o 819 973.01/931.00 o 818 977.80/935.57 o 817 981.90/939.67 o 816 986.00/943.77 o 815 990.47/947.92 o 814 994.48/951.96 o 813 998.48/955.99 o 812 1003.01/960.15 o 811 1007.11/964.27 o 810 1011.22/968.36 o 809 1015.74/972.51 o 808 1019.73/976.56 o 807 1023.83/980.62 o 806 1028.45/984.82 o 805 1032.56/988.92 o 804 1036.66/993.02 o 803 1041.22/997.20 o 802 1045.32/1001.30 o 801 1048.92/1004.99 o 800 1053.68/1009.22 o 799 1057.69/1013.26 o 798 1061.78/1017.32 o 797 1065.78/1021.37 o 796 1070.35/1025.50 o 795 1074.35/1029.58 o 794 1078.45/1033.68 o 793 1083.23/1037.93 o 792 1087.23/1041.99 o 791 1091.33/1046.09 o 790 1095.44/1050.15 o 789 1100.00/1054.36 o 788 1104.10/1058.45 o 787 1108.21/1062.57 o 786 1113.01/1066.85 o 785 1117.10/1070.91 o 784 1121.11/1075.00 o 783 1125.21/1079.07 o 782 1129.78/1083.28 o 781 1133.88/1087.39 o 780 1137.99/1091.45 o 779 1142.09/1095.53 o 778 1146.66/1099.78 o 777 1150.76/1103.88 o 776 1155.37/1108.42 o 775 1159.47/1112.50 o 774 1164.05/1116.72 o 773 1168.05/1120.78 o 772 1172.15/1124.88 o 771 1176.35/1129.00 o 770 1180.93/1133.27 o 769 1185.03/1137.38 o 768 1189.23/1141.50 o 767 1193.33/1145.66 o 766 1197.91/1149.89 o 765 1202.02/1153.96 o 764 1206.12/1158.05 o 763 1210.22/1162.16 o 762 1214.82/1166.35 o 761 1218.93/1170.44 o 760 1223.03/1174.51 o 759 1227.63/1178.72 o 758 1231.63/1182.78 o 757 1235.73/1186.83 o 756 1239.73/1190.90 o 755 1244.45/1195.10 o 754 1248.46/1199.18 o 753 1252.56/1203.24 o 752 1256.66/1207.31 o 751 1261.28/1211.50 o 750 1265.28/1215.55 o 749 1269.38/1219.62 o 748 1273.38/1223.68 o 747 1278.00/1227.88 o 746 1282.10/1231.94 o 745 1286.10/1235.99 o 744 1290.29/1240.10 o 743 1294.93/1244.33 o 742 1299.16/1248.50 o 741 1303.25/1252.64 o 740 1307.45/1256.82 o 739 1312.09/1261.00 o 738 1316.19/1265.11 o 737 1320.19/1269.17 o 736 1324.91/1273.43 o 735 1329.01/1277.52 o 734 1333.12/1281.64 o 733 1337.22/1285.70 o 732 1341.76/1289.90 o 731 1345.86/1293.91 o 730 1350.26/1298.39 o 729 1354.37/1302.43 o 728 1358.98/1306.64 o 727 1362.98/1310.69 o 726 1367.09/1314.76 o 725 1371.19/1318.80 o 724 1375.74/1322.91 o 723 1379.74/1326.97 o 722 1383.85/1331.00 o 721 1388.49/1335.26 o 720 1392.98/1339.75 o 719 1397.09/1343.89 o 718 1401.19/1347.93 o 717 1405.82/1352.18 o 716 1409.93/1356.26 o 715 1414.03/1360.35 o 714 1418.13/1364.44 o 713 1422.86/1368.71 o 712 1427.08/1372.93 o 711 1431.17/1377.07 o 710 1435.28/1381.16 o 709 1439.91/1385.35 o 708 1444.01/1389.43 o 707 1448.01/1393.48 o 706 1452.11/1397.59 o 705 1456.74/1401.75 o 704 1460.86/1405.83 o 703 1464.95/1409.91 o 702 1469.57/1414.15 o 701 1473.68/1418.21 o 700 1477.68/1422.29 o 699 1481.78/1426.34 o 698 1486.41/1430.55 o 697 1490.43/1434.56 o 696 1494.42/1438.57 o 695 1498.52/1442.62 o 694 1503.16/1446.84 o 693 1507.26/1450.91 o 692 1511.26/1454.98 o 691 1515.36/1459.07 o 690 1520.10/1463.30 o 689 1524.20/1467.41 o 688 1528.30/1471.52 o 687 1532.80/1476.02 o 686 1537.43/1480.21 o 685 1541.43/1484.26 o 684 1545.54/1488.35 o 683 1549.94/1492.57 o 682 1554.28/1496.61 o 681 1558.27/1500.68 o 680 1562.38/1504.76 o 679 1568.01/1509.27 o 678 1572.10/1513.38 o 677 1576.31/1517.52 o 676 1580.31/1521.58 o 675 1584.62/1525.76 o 674 1588.71/1529.83 o 673 1592.82/1533.92 o 672 1596.82/1537.99 o 671 1601.14/1542.10 o 670 1605.14/1546.16 o 669 1609.24/1550.27 o 668 1613.34/1554.34 o 667 1617.59/1558.44 o 666 1621.69/1562.53 o 665 1625.79/1566.62 o 664 1629.79/1570.70 o 663 1634.15/1574.81 o 662 1638.27/1578.91 o 661 1642.77/1583.46 o 660 1647.17/1587.65 o 659 1651.27/1591.77 o 658 1655.47/1595.92 o 657 1659.57/1600.02 o 656 1663.98/1604.26 o 655 1668.08/1608.30 o 654 1672.19/1612.41 o 653 1676.18/1616.49 o 652 1680.63/1620.66 o 651 1684.75/1624.71 o 650 1688.74/1628.77 o 649 1692.85/1632.82 o 648 1697.22/1636.96 o 647 1701.32/1641.02 o 646 1705.32/1645.08 o 645 1709.52/1649.20 o 644 1713.90/1653.36 o 643 1717.90/1657.40 o 642 1722.10/1661.51 o 641 1726.43/1665.64 o 640 1730.52/1669.69 o 639 1734.52/1673.68 o 638 1739.02/1678.14 o 637 1743.54/1682.31 o 636 1747.55/1686.37 o 635 1751.65/1690.43 o 634 1755.65/1694.49 o 633 1760.20/1698.67 o 632 1764.42/1702.81 o 631 1768.51/1706.91 o 630 1772.52/1710.97 o 629 1777.09/1715.11 o 628 1781.19/1719.23 o 627 1785.29/1723.33 o 626 1789.40/1727.41 o 625 1793.99/1731.61 o 624 1798.21/1735.73 o 623 1802.31/1739.80 o 622 1806.42/1743.90 o 621 1811.02/1748.09 o 620 1815.11/1752.18 o 619 1819.22/1756.29 o 618 1823.33/1760.34 o 617 1827.97/1764.52 o 616 1832.07/1768.62 o 615 1836.07/1772.69 o 614 1840.81/1776.92 o 613 1844.82/1780.96 o 612 1848.92/1785.02 o 611 1852.92/1789.09 o 610 1857.56/1793.27 o 609 1861.66/1797.30 o 608 1865.66/1801.37 o 607 1870.16/1805.86 o 606 1875.29/1810.50 o 605 1879.30/1814.59 o 604 1883.50/1818.75 o 603 1887.61/1822.81 o 602 1892.12/1826.98 o 601 1896.22/1831.02 o 600 1900.72/1835.52 o 599 1905.34/1839.76 o 598 1909.45/1843.85 o 597 1913.55/1847.92 o 596 1917.56/1851.97 o 595 1922.28/1856.20 o 594 1926.29/1860.28 o 593 1930.79/1864.80 o 592 1934.99/1868.90 o 591 1939.62/1873.12 o 590 1943.72/1877.24 o 589 1947.73/1881.27 o 588 1952.50/1885.89 o 587 1956.87/1889.92 o 586 1961.36/1894.41 o 585 1965.37/1898.44 o 584 1970.00/1902.63 o 583 1974.10/1906.73 o 582 1978.12/1910.77 o 581 1982.11/1914.79 o 580 1986.74/1919.00 o 579 1990.84/1923.03 o 578 1994.94/1927.12 o 577 1999.45/1931.65 o 576 2004.07/1935.86 o 575 2008.17/1939.92 o 574 2012.17/1943.94 o 573 2016.28/1948.01 o 572 2020.80/1952.16 o 571 2024.80/1956.18 o 570 2028.91/1960.21 o 569 2033.53/1964.45 o 568 2037.73/1968.60 o 567 2041.84/1972.72 o 566 2045.94/1976.82 o 565 2050.97/1981.48 o 564 2055.08/1985.59 o 563 2059.17/1989.68 o 562 2063.68/1994.18 o 561 2068.30/1998.39 o 560 2072.40/2002.47 o 559 2076.51/2006.53 o 558 2080.60/2010.64 o 557 2085.22/2014.83 o 556 2089.72/2019.31 o 555 2093.72/2023.36 o 554 2097.84/2027.40 o 553 2102.45/2031.65 o 552 2106.56/2035.74 o 551 2110.56/2039.76 o 550 2115.19/2043.98 o 549 2119.28/2048.06 o 548 2123.49/2052.27 o 547 2127.60/2056.37 o 546 2132.43/2060.71 o 545 2136.55/2064.80 o 544 2140.55/2068.89 o 543 2144.65/2072.96 o 542 2149.28/2077.14 o 541 2153.38/2081.20 o 540 2157.48/2085.31 o 539 2161.48/2089.33 o 538 2166.11/2093.54 o 537 2170.12/2097.57 o 536 2174.22/2101.66 o 535 2178.32/2105.71 o 534 2182.98/2109.91 o 533 2186.98/2113.97 o 532 2191.08/2118.02 o 531 2195.19/2122.10 o 530 2199.71/2126.27 o 529 2203.81/2130.32 o 528 2207.91/2134.40 o 527 2211.93/2138.46 o 526 2216.55/2142.62 o 525 2220.65/2146.71 o 524 2224.66/2150.77 o 523 2228.77/2154.82 o 522 2233.31/2158.99 o 521 2237.41/2163.05 o 520 2241.52/2167.12 o 519 2245.51/2171.16 o 518 2250.15/2175.32 o 517 2254.15/2179.38 o 516 2258.26/2183.44 o 515 2262.36/2187.51 o 514 2266.89/2191.67 o 513 2271.00/2195.71 o 512 2274.99/2199.77 o 511 2279.09/2203.85 o 510 2283.73/2208.03 o 509 2287.73/2212.05 o 508 2291.74/2216.09 o 507 2295.85/2220.15 o 506 2300.39/2224.22 o 505 2304.79/2228.68 o 504 2308.88/2232.75 o 503 2313.53/2236.98 o 502 2317.63/2241.05 o 501 2321.63/2245.06 o 500 2325.64/2249.09 o 499 2330.37/2253.30 o 498 2334.47/2257.40 o 497 2338.47/2261.40 o 496 2342.48/2265.48 o 495 2347.23/2269.70 o 494 2351.23/2273.78 o 493 2355.34/2277.84 o 492 2359.44/2281.90 o 491 2364.07/2286.12 o 490 2368.08/2290.14 o 489 2372.08/2294.18 o 488 2376.18/2298.21 o 487 2380.84/2302.40 o 486 2384.83/2306.47 o 485 2388.93/2310.56 o 484 2393.03/2314.60 o 483 2397.70/2318.82 o 482 2401.79/2322.90 o 481 2405.79/2326.97 o 480 2409.90/2331.03 o 479 2414.54/2335.27 o 478 2418.55/2339.25 o 477 2422.65/2343.30 o 476 2426.65/2347.34 o 475 2431.30/2351.56 o 474 2435.41/2355.61 o 473 2439.42/2359.65 o 472 2443.42/2363.67 o 471 2448.16/2367.90 o 470 2452.36/2371.95 o 469 2456.36/2375.97 o 468 2460.47/2380.00 o 467 2465.41/2384.57 o 466 2469.51/2388.63 o 465 2473.52/2392.68 o 464 2478.02/2397.15 o 463 2483.68/2401.63 o 462 2487.70/2405.66 o 461 2491.80/2409.72 o 460 2495.90/2413.81 o 459 2499.99/2417.90 o 458 2504.19/2422.03 o 457 2508.19/2426.06 o 456 2512.29/2430.15 o 455 2516.50/2434.26 o 454 2520.01/2437.71 java.util.concurrent.TimeoutException 2520.01/2437.71 at concrete.MAC.mac(MAC.scala:74) 2520.01/2437.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2520.01/2437.71 at scala.util.Try$.apply(Try.scala:209) 2520.01/2437.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.01/2437.71 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.01/2437.71 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.01/2437.71 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.01/2437.71 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2520.01/2437.71 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.01/2437.71 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.01/2437.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.01/2437.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.01/2437.71 at concrete.MAC.oneRun(MAC.scala:146) 2520.01/2437.71 at concrete.MAC.nextSolution(MAC.scala:166) 2520.01/2437.71 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2520.01/2437.71 at concrete.ProblemState.map(ProblemState.scala:203) 2520.01/2437.71 at concrete.ProblemState.map(ProblemState.scala:188) 2520.01/2437.71 at concrete.MAC.nextSolution(MAC.scala:195) 2520.01/2437.71 at concrete.Solver.hasNext(Solver.scala:202) 2520.01/2437.71 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2520.01/2437.71 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2520.01/2437.71 at concrete.Solver.toStream(Solver.scala:73) 2520.01/2437.71 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2520.01/2437.71 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2520.01/2437.71 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2520.01/2437.71 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2520.01/2437.71 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2520.01/2437.71 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.01/2437.71 at scala.util.Success.map(Try.scala:209) 2520.01/2437.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2520.01/2437.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2520.01/2437.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.01/2437.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2520.01/2437.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.01/2437.71 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.01/2437.71 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.01/2437.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.01/2437.71 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.01/2437.71 at scala.collection.immutable.List.foreach(List.scala:389) 2520.01/2437.71 at scala.App.main(App.scala:76) 2520.01/2437.71 at scala.App.main$(App.scala:74) 2520.01/2437.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.01/2437.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.01/2437.72 v <instantiation cost="454"> 2520.01/2437.72 v <list> 2520.01/2437.72 v x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][42] x[41][43] x[41][44] x[41][45] x[42][43] x[42][44] x[42][45] x[43][44] x[43][45] x[44][45] 2520.01/2437.72 v </list> 2520.01/2437.72 v <values> 2520.01/2437.72 v 450 451 452 451 454 453 454 452 451 451 452 452 451 450 454 448 449 453 453 452 452 449 453 454 454 453 454 454 450 451 453 452 453 453 453 453 453 454 449 454 452 450 452 454 451 454 452 451 453 453 453 450 453 454 451 453 454 449 450 450 451 454 453 452 452 450 453 454 452 453 452 451 451 450 454 453 453 454 451 452 451 453 450 454 452 452 452 454 449 453 452 452 453 454 453 453 452 452 449 453 452 452 450 454 453 454 450 451 450 453 453 454 451 452 454 454 452 453 452 454 451 454 450 453 450 453 452 451 451 452 453 450 452 453 454 453 451 450 454 450 451 451 452 453 452 454 452 453 450 451 454 454 451 451 454 450 453 454 452 451 450 453 450 453 453 454 453 452 454 451 453 453 449 454 453 453 454 452 453 454 454 452 453 454 451 454 452 453 453 451 454 451 453 453 450 452 454 450 450 450 453 453 454 452 452 451 452 454 454 451 452 451 453 449 454 454 452 453 451 451 451 452 454 450 449 452 451 454 450 454 452 453 450 450 453 452 453 451 454 453 454 454 451 449 451 451 451 452 453 453 454 451 454 453 453 450 451 454 450 449 452 452 453 453 454 450 452 454 451 454 453 451 451 453 451 452 454 453 452 452 452 452 451 450 450 452 454 454 450 453 454 451 454 451 453 454 452 453 454 451 452 451 451 452 452 452 452 453 453 452 451 453 454 450 450 452 451 453 452 451 450 452 451 454 450 453 451 451 454 450 452 453 454 452 451 454 454 449 451 453 453 452 451 454 454 452 452 454 452 453 452 454 453 449 452 453 451 454 453 453 451 453 454 452 454 452 453 450 450 454 452 451 452 452 453 453 454 449 452 451 452 454 454 451 454 450 449 453 453 454 451 452 454 453 453 453 450 451 451 452 452 450 452 450 450 450 452 452 451 454 452 453 451 453 451 451 453 450 451 450 452 453 450 450 450 449 454 452 452 454 454 452 450 451 453 452 454 453 453 453 451 454 450 453 451 452 453 453 451 451 451 453 454 454 453 453 453 453 451 452 454 452 454 450 452 454 449 451 451 453 452 453 454 452 450 453 453 454 454 454 454 450 450 452 452 453 454 451 450 453 453 450 453 451 451 451 454 452 450 450 452 452 453 452 453 454 451 453 454 454 452 451 450 452 449 453 452 452 453 451 454 453 453 453 450 451 454 453 454 453 449 454 452 450 450 454 451 451 452 454 453 453 454 454 454 453 452 451 454 454 452 453 454 454 451 451 453 452 452 453 452 451 451 450 451 454 452 454 450 453 452 454 452 450 452 451 454 454 449 452 452 450 450 451 453 451 453 452 454 451 450 454 450 452 453 452 452 450 453 453 452 451 453 453 450 454 452 454 453 454 452 450 454 454 452 454 453 451 451 452 453 451 449 453 450 453 451 453 451 453 451 450 452 451 453 451 453 450 454 452 450 453 453 451 453 453 449 454 453 454 454 452 454 454 452 451 451 451 453 454 453 454 452 451 450 454 452 451 451 451 449 454 452 450 454 451 454 454 453 451 450 452 450 453 451 450 452 454 452 452 452 452 449 450 453 454 449 452 454 451 452 454 451 453 454 449 452 451 450 454 449 454 453 453 451 454 454 453 453 454 453 453 454 452 453 454 452 454 450 452 451 454 453 451 454 450 453 453 454 450 451 453 454 453 454 454 452 452 454 451 452 451 452 454 449 453 454 453 452 453 453 451 451 450 454 451 452 454 453 453 451 454 449 452 453 454 450 452 453 452 454 452 454 451 452 451 451 451 452 449 454 452 452 454 451 452 449 450 453 452 454 450 451 453 453 453 453 451 452 452 452 452 454 450 451 454 452 452 449 453 450 451 450 450 454 450 450 452 452 452 450 453 451 452 453 454 452 453 454 451 450 454 453 450 454 451 452 452 453 452 452 450 454 451 451 451 451 454 452 454 453 452 453 453 452 452 451 454 454 453 454 452 453 453 453 451 451 451 453 454 452 452 449 454 451 454 452 451 450 454 453 451 453 453 452 452 451 450 453 449 450 451 453 454 450 452 453 454 454 453 452 454 451 453 451 454 451 450 451 453 452 454 453 454 450 454 451 454 452 450 451 451 452 452 454 450 454 452 453 452 453 450 451 451 450 452 451 452 453 454 453 451 453 452 450 450 454 454 452 449 454 452 453 454 454 450 454 452 453 454 454 451 452 453 453 449 450 453 453 453 452 454 450 453 452 453 452 452 453 454 452 452 453 454 453 450 454 453 453 454 449 450 450 452 453 451 451 453 453 452 452 454 453 453 454 450 453 452 452 451 453 450 451 452 452 453 451 452 454 454 452 451 449 454 454 2520.01/2437.72 v </values> 2520.01/2437.72 v </instantiation> 2520.01/2437.72 s SATISFIABLE
OK 454
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262770-1502491523/watcher-4262770-1502491523 -o /tmp/evaluation-result-4262770-1502491523/solver-4262770-1502491523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4959 --watchdog 2580 bin/concrete HOME/instance-4262770-1502491523.xml pid=26825 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.64 1.67 1.62 3/202 26828 /proc/meminfo: memFree=29412964/32770624 swapFree=0/459272 [pid=26828] ppid=26825 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/26828/stat : 26828 (runsolver) D 26825 26828 4896 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 148805151 24240128 106 18446744073709551615 4194304 4338465 140726340294944 140726340292584 140405860188887 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 36782080 140726340296913 140726340297289 140726340297289 140726340300746 0 /proc/26828/statm: 5918 106 53 36 0 2156 0 [startup+0.100156 s] /proc/loadavg: 1.64 1.67 1.62 3/202 26828 /proc/meminfo: memFree=29412964/32770624 swapFree=0/459272 [pid=26828] ppid=26825 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/26828/stat : 26828 (bash) S 26825 26828 4896 0 -1 4202496 891 6479 0 0 0 0 0 1 20 0 1 0 148805151 9867264 376 18446744073709551615 4194304 5098028 140737079663840 140737079657848 140672482356224 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 6 0 0 7196144 7232144 13946880 140737079669268 140737079669353 140737079669353 140737079672810 0 /proc/26828/statm: 2409 376 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.200276 s] /proc/loadavg: 1.64 1.67 1.62 3/202 26828 /proc/meminfo: memFree=29412964/32770624 swapFree=0/459272 [pid=26828] ppid=26825 vsize=13356508 CPUtime=0.08 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 3354 12358 0 0 0 0 5 3 20 0 6 0 148805151 13677064192 2667 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3339127 2667 1204 1 0 3329097 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13356508 [startup+0.303074 s] /proc/loadavg: 1.64 1.67 1.62 3/202 26828 /proc/meminfo: memFree=29412964/32770624 swapFree=0/459272 [pid=26828] ppid=26825 vsize=13973936 CPUtime=0.15 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 5839 12358 0 0 6 1 5 3 20 0 15 0 148805151 14309310464 6042 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3493484 6042 2714 1 0 3482965 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 13973936 [startup+0.701197 s] /proc/loadavg: 1.64 1.67 1.62 3/202 26828 /proc/meminfo: memFree=29412964/32770624 swapFree=0/459272 [pid=26828] ppid=26825 vsize=13974784 CPUtime=0.71 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 14006 12358 0 0 58 5 5 3 20 0 15 0 148805151 14310178816 14953 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3493696 14953 3123 1 0 3482965 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 13974784 [startup+1.50504 s] /proc/loadavg: 1.59 1.66 1.62 5/217 26891 /proc/meminfo: memFree=29316956/32770624 swapFree=0/459248 [pid=26828] ppid=26825 vsize=13985408 CPUtime=1.94 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 33557 12358 0 0 175 11 5 3 20 0 15 0 148805151 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3496352 42788 3372 1 0 3485525 0 [pid=26828/tid=26878] ppid=26825 vsize=13985408 CPUtime=1.3 cores=0,2,4,6 /proc/26828/task/26878/stat : 26878 (java) S 26825 26828 4896 0 -1 1077944384 26238 12358 0 0 116 6 5 3 20 0 15 0 148805170 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110641524240 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26879] ppid=26825 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26879/stat : 26879 (java) S 26825 26828 4896 0 -1 1077944384 68 12358 0 0 0 0 5 3 20 0 15 0 148805171 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110571739792 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26880] ppid=26825 vsize=13985408 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26880/stat : 26880 (java) R 26825 26828 4896 0 -1 4202560 52 12358 0 0 1 0 5 3 20 0 15 0 148805171 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110570687112 140110629933799 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26881] ppid=26825 vsize=13985408 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26881/stat : 26881 (java) S 26825 26828 4896 0 -1 1077944384 206 12358 0 0 1 0 5 3 20 0 15 0 148805171 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110569634208 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26882] ppid=26825 vsize=13985408 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26882/stat : 26882 (java) S 26825 26828 4896 0 -1 1077944384 45 12358 0 0 1 0 5 3 20 0 15 0 148805171 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110568581392 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26883] ppid=26825 vsize=13985408 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26883/stat : 26883 (java) S 26825 26828 4896 0 -1 1077944384 1656 12358 0 0 1 0 5 3 20 0 15 0 148805172 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110115485088 140110637315797 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26884] ppid=26825 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26884/stat : 26884 (java) S 26825 26828 4896 0 -1 1077944384 33 12358 0 0 0 0 5 3 20 0 15 0 148805172 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110114432544 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26885] ppid=26825 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26885/stat : 26885 (java) S 26825 26828 4896 0 -1 1077944384 21 12358 0 0 0 0 5 3 20 0 15 0 148805173 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110113379696 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26886] ppid=26825 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26886/stat : 26886 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805175 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110112328016 140110637324187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26887] ppid=26825 vsize=13985408 CPUtime=0.23 cores=0,2,4,6 /proc/26828/task/26887/stat : 26887 (java) S 26825 26828 4896 0 -1 1077944384 1005 12358 0 0 14 1 5 3 20 0 15 0 148805175 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110111275376 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26888] ppid=26825 vsize=13985408 CPUtime=0.23 cores=0,2,4,6 /proc/26828/task/26888/stat : 26888 (java) S 26825 26828 4896 0 -1 1077944384 658 12358 0 0 15 0 5 3 20 0 15 0 148805175 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110110222576 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26889] ppid=26825 vsize=13985408 CPUtime=0.3 cores=0,2,4,6 /proc/26828/task/26889/stat : 26889 (java) S 26825 26828 4896 0 -1 1077944384 1408 12358 0 0 22 0 5 3 20 0 15 0 148805175 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110109165152 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26890] ppid=26825 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26890/stat : 26890 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805176 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110108117216 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26891] ppid=26825 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26891/stat : 26891 (java) S 26825 26828 4896 0 -1 1077944384 10 12358 0 0 0 0 5 3 20 0 15 0 148805180 14321057792 42788 18446744073709551615 4194304 4196468 140728334902640 140110107065520 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 Current children cumulated CPU time (s) 1.94 Current children cumulated vsize (KiB) 13985408 [startup+3.10366 s] /proc/loadavg: 1.59 1.66 1.62 5/217 26891 /proc/meminfo: memFree=29227888/32770624 swapFree=0/459280 [pid=26828] ppid=26825 vsize=13995836 CPUtime=6.26 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 43773 12358 0 0 600 18 5 3 20 0 15 0 148805151 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3498959 71431 3454 1 0 3487573 0 [pid=26828/tid=26878] ppid=26825 vsize=13995836 CPUtime=2.88 cores=0,2,4,6 /proc/26828/task/26878/stat : 26878 (java) R 26825 26828 4896 0 -1 4202560 31147 12358 0 0 271 9 5 3 20 0 15 0 148805170 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110641537408 140110248373919 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26879] ppid=26825 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26879/stat : 26879 (java) S 26825 26828 4896 0 -1 1077944384 85 12358 0 0 1 0 5 3 20 0 15 0 148805171 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110571739792 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26880] ppid=26825 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26880/stat : 26880 (java) S 26825 26828 4896 0 -1 1077944384 74 12358 0 0 1 0 5 3 20 0 15 0 148805171 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110570686992 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26881] ppid=26825 vsize=13995836 CPUtime=0.1 cores=0,2,4,6 /proc/26828/task/26881/stat : 26881 (java) S 26825 26828 4896 0 -1 1077944384 225 12358 0 0 2 0 5 3 20 0 15 0 148805171 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110569634192 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26882] ppid=26825 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26882/stat : 26882 (java) S 26825 26828 4896 0 -1 1077944384 46 12358 0 0 1 0 5 3 20 0 15 0 148805171 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110568581392 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26883] ppid=26825 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26883/stat : 26883 (java) S 26825 26828 4896 0 -1 1077944384 1782 12358 0 0 1 0 5 3 20 0 15 0 148805172 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110115486576 140110637316738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26884] ppid=26825 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26884/stat : 26884 (java) S 26825 26828 4896 0 -1 1077944384 55 12358 0 0 0 0 5 3 20 0 15 0 148805172 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110114432608 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26885] ppid=26825 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26885/stat : 26885 (java) S 26825 26828 4896 0 -1 1077944384 45 12358 0 0 0 0 5 3 20 0 15 0 148805173 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110113379712 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26886] ppid=26825 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26886/stat : 26886 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805175 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110112328016 140110637324187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26887] ppid=26825 vsize=13995836 CPUtime=1.27 cores=0,2,4,6 /proc/26828/task/26887/stat : 26887 (java) R 26825 26828 4896 0 -1 1077944384 3146 12358 0 0 118 1 5 3 20 0 15 0 148805175 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110111266832 140110637315797 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26888] ppid=26825 vsize=13995836 CPUtime=1.11 cores=0,2,4,6 /proc/26828/task/26888/stat : 26888 (java) R 26825 26828 4896 0 -1 4202560 1691 12358 0 0 101 2 5 3 20 0 15 0 148805175 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110110207520 140110637326938 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26889] ppid=26825 vsize=13995836 CPUtime=1.08 cores=0,2,4,6 /proc/26828/task/26889/stat : 26889 (java) R 26825 26828 4896 0 -1 4202560 3310 12358 0 0 98 2 5 3 20 0 15 0 148805175 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110109165632 140110618715599 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26890] ppid=26825 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26890/stat : 26890 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805176 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110108117216 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26891] ppid=26825 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26891/stat : 26891 (java) S 26825 26828 4896 0 -1 1077944384 11 12358 0 0 0 0 5 3 20 0 15 0 148805180 14331736064 71431 18446744073709551615 4194304 4196468 140728334902640 140110107065520 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 13995836 [startup+6.30885 s] /proc/loadavg: 1.59 1.66 1.62 5/217 26891 /proc/meminfo: memFree=29010244/32770624 swapFree=0/459284 [pid=26828] ppid=26825 vsize=13997884 CPUtime=15.21 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 66869 12358 0 0 1471 42 5 3 20 0 15 0 148805151 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3499471 152997 3478 1 0 3488085 0 [pid=26828/tid=26878] ppid=26825 vsize=13997884 CPUtime=5.82 cores=0,2,4,6 /proc/26828/task/26878/stat : 26878 (java) S 26825 26828 4896 0 -1 1077944384 33388 12358 0 0 563 11 5 3 20 0 15 0 148805170 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110641540528 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26879] ppid=26825 vsize=13997884 CPUtime=0.33 cores=0,2,4,6 /proc/26828/task/26879/stat : 26879 (java) R 26825 26828 4896 0 -1 4202560 398 12358 0 0 19 6 5 3 20 0 15 0 148805171 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110571739680 140110629933799 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26880] ppid=26825 vsize=13997884 CPUtime=0.32 cores=0,2,4,6 /proc/26828/task/26880/stat : 26880 (java) R 26825 26828 4896 0 -1 4202560 559 12358 0 0 19 5 5 3 20 0 15 0 148805171 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110570687112 140110629933799 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26881] ppid=26825 vsize=13997884 CPUtime=0.33 cores=0,2,4,6 /proc/26828/task/26881/stat : 26881 (java) R 26825 26828 4896 0 -1 4202560 517 12358 0 0 20 5 5 3 20 0 15 0 148805171 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110569634392 140110629933799 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26882] ppid=26825 vsize=13997884 CPUtime=0.3 cores=0,2,4,6 /proc/26828/task/26882/stat : 26882 (java) R 26825 26828 4896 0 -1 4202560 1269 12358 0 0 17 5 5 3 20 0 15 0 148805171 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110568581592 140110618931536 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26883] ppid=26825 vsize=13997884 CPUtime=0.11 cores=0,2,4,6 /proc/26828/task/26883/stat : 26883 (java) S 26825 26828 4896 0 -1 1077944384 2861 12358 0 0 3 0 5 3 20 0 15 0 148805172 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110115485088 140110637315797 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26884] ppid=26825 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26884/stat : 26884 (java) S 26825 26828 4896 0 -1 1077944384 59 12358 0 0 0 0 5 3 20 0 15 0 148805172 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110114432608 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26885] ppid=26825 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26885/stat : 26885 (java) S 26825 26828 4896 0 -1 1077944384 54 12358 0 0 0 0 5 3 20 0 15 0 148805173 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110113379712 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26886] ppid=26825 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26886/stat : 26886 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805175 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110112328016 140110637324187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26887] ppid=26825 vsize=13997884 CPUtime=3.68 cores=0,2,4,6 /proc/26828/task/26887/stat : 26887 (java) S 26825 26828 4896 0 -1 1077944384 11680 12358 0 0 358 2 5 3 20 0 15 0 148805175 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110111275376 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26888] ppid=26825 vsize=13997884 CPUtime=3.43 cores=0,2,4,6 /proc/26828/task/26888/stat : 26888 (java) S 26825 26828 4896 0 -1 1077944384 8487 12358 0 0 332 3 5 3 20 0 15 0 148805175 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110110222576 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26889] ppid=26825 vsize=13997884 CPUtime=1.44 cores=0,2,4,6 /proc/26828/task/26889/stat : 26889 (java) S 26825 26828 4896 0 -1 1077944384 5051 12358 0 0 134 2 5 3 20 0 15 0 148805175 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110109169776 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26890] ppid=26825 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26890/stat : 26890 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805176 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110108117216 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26891] ppid=26825 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26891/stat : 26891 (java) S 26825 26828 4896 0 -1 1077944384 389 12358 0 0 0 0 5 3 20 0 15 0 148805180 14333833216 152997 18446744073709551615 4194304 4196468 140728334902640 140110107065520 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 Current children cumulated CPU time (s) 15.21 Current children cumulated vsize (KiB) 13997884 [startup+12.7008 s] /proc/loadavg: 1.50 1.64 1.61 3/217 26891 /proc/meminfo: memFree=27794780/32770624 swapFree=0/459284 [pid=26828] ppid=26825 vsize=13997884 CPUtime=25.31 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 74077 12358 0 0 2440 83 5 3 20 0 15 0 148805151 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3499471 406785 3478 1 0 3488085 0 [pid=26828/tid=26878] ppid=26825 vsize=13997884 CPUtime=11.88 cores=0,2,4,6 /proc/26828/task/26878/stat : 26878 (java) R 26825 26828 4896 0 -1 4202560 35824 12358 0 0 1159 21 5 3 20 0 15 0 148805170 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140110641538104 140110253042451 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26879] ppid=26825 vsize=13997884 CPUtime=0.64 cores=0,2,4,6 /proc/26828/task/26879/stat : 26879 (java) S 26825 26828 4896 0 -1 1077944384 678 12358 0 0 43 13 5 3 20 0 15 0 148805171 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140110571739792 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26880] ppid=26825 vsize=13997884 CPUtime=0.64 cores=0,2,4,6 /proc/26828/task/26880/stat : 26880 (java) S 26825 26828 4896 0 -1 1077944384 840 12358 0 0 44 12 5 3 20 0 15 0 148805171 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140110570686992 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26881] ppid=26825 vsize=13997884 CPUtime=0.64 cores=0,2,4,6 /proc/26828/task/26881/stat : 26881 (java) S 26825 26828 4896 0 -1 1077944384 769 12358 0 0 44 12 5 3 20 0 15 0 148805171 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140110569634192 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26882] ppid=26825 vsize=13997884 CPUtime=0.62 cores=0,2,4,6 /proc/26828/task/26882/stat : 26882 (java) S 26825 26828 4896 0 -1 1077944384 1545 12358 0 0 42 12 5 3 20 0 15 0 148805171 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140110568581392 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26883] ppid=26825 vsize=13997884 CPUtime=0.11 cores=0,2,4,6 /proc/26828/task/26883/stat : 26883 (java) S 26825 26828 4896 0 -1 1077944384 3535 12358 0 0 3 0 5 3 20 0 15 0 148805172 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140110115486576 140110637316738 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26884] ppid=26825 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26884/stat : 26884 (java) S 26825 26828 4896 0 -1 1077944384 59 12358 0 0 0 0 5 3 20 0 15 0 148805172 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140110114432608 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26885] ppid=26825 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26885/stat : 26885 (java) S 26825 26828 4896 0 -1 1077944384 55 12358 0 0 0 0 5 3 20 0 15 0 148805173 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140110113379712 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26886] ppid=26825 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26886/stat : 26886 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805175 14333833216 406785 18446744073709551615 4194304 4196468 140728334902640 140110112328016 140110637324187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 ################ # More data... # ################ /proc/26828/task/26890/stat : 26890 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805176 14407233536 1155091 18446744073709551615 4194304 4196468 140728334902640 140110108117216 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26891] ppid=26825 vsize=14069564 CPUtime=1.38 cores=0,2,4,6 /proc/26828/task/26891/stat : 26891 (java) S 26825 26828 4896 0 -1 1077944384 2163 12358 0 0 68 62 5 3 20 0 15 0 148805180 14407233536 1155091 18446744073709551615 4194304 4196468 140728334902640 140110107065520 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 Current children cumulated CPU time (s) 2339.37 Current children cumulated vsize (KiB) 14069564 [startup+2322.3 s] /proc/loadavg: 1.03 1.01 1.24 2/191 27100 /proc/meminfo: memFree=26435744/32770624 swapFree=0/459660 [pid=26828] ppid=26825 vsize=14069564 CPUtime=2401.19 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 594539 12358 0 0 239632 479 5 3 20 0 15 0 148805151 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3517391 1167892 3504 1 0 3506005 0 [pid=26828/tid=26878] ppid=26825 vsize=14069564 CPUtime=2302.73 cores=0,2,4,6 /proc/26828/task/26878/stat : 26878 (java) R 26825 26828 4896 0 -1 4202560 270849 12358 0 0 230177 88 5 3 20 0 15 0 148805170 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110641534960 140110258110329 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26879] ppid=26825 vsize=14069564 CPUtime=18.46 cores=0,2,4,6 /proc/26828/task/26879/stat : 26879 (java) S 26825 26828 4896 0 -1 1077944384 30858 12358 0 0 1759 79 5 3 20 0 15 0 148805171 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110571739792 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26880] ppid=26825 vsize=14069564 CPUtime=18.45 cores=0,2,4,6 /proc/26828/task/26880/stat : 26880 (java) S 26825 26828 4896 0 -1 1077944384 38575 12358 0 0 1759 78 5 3 20 0 15 0 148805171 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110570686992 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26881] ppid=26825 vsize=14069564 CPUtime=18.48 cores=0,2,4,6 /proc/26828/task/26881/stat : 26881 (java) S 26825 26828 4896 0 -1 1077944384 30470 12358 0 0 1762 78 5 3 20 0 15 0 148805171 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110569634192 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26882] ppid=26825 vsize=14069564 CPUtime=18.48 cores=0,2,4,6 /proc/26828/task/26882/stat : 26882 (java) S 26825 26828 4896 0 -1 1077944384 35169 12358 0 0 1763 77 5 3 20 0 15 0 148805171 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110568581392 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26883] ppid=26825 vsize=14069564 CPUtime=0.67 cores=0,2,4,6 /proc/26828/task/26883/stat : 26883 (java) S 26825 26828 4896 0 -1 1077944384 45614 12358 0 0 50 9 5 3 20 0 15 0 148805172 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110115486576 140110637316738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26884] ppid=26825 vsize=14069564 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26884/stat : 26884 (java) S 26825 26828 4896 0 -1 1077944384 144 12358 0 0 1 0 5 3 20 0 15 0 148805172 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110114432672 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26885] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26885/stat : 26885 (java) S 26825 26828 4896 0 -1 1077944384 69 12358 0 0 0 0 5 3 20 0 15 0 148805173 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110113379712 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26886] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26886/stat : 26886 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805175 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110112328016 140110637324187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26887] ppid=26825 vsize=14069564 CPUtime=10.33 cores=0,2,4,6 /proc/26828/task/26887/stat : 26887 (java) S 26825 26828 4896 0 -1 1077944384 45015 12358 0 0 1020 5 5 3 20 0 15 0 148805175 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110111275376 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26888] ppid=26825 vsize=14069564 CPUtime=9.85 cores=0,2,4,6 /proc/26828/task/26888/stat : 26888 (java) S 26825 26828 4896 0 -1 1077944384 44150 12358 0 0 971 6 5 3 20 0 15 0 148805175 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110110222576 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26889] ppid=26825 vsize=14069564 CPUtime=2.93 cores=0,2,4,6 /proc/26828/task/26889/stat : 26889 (java) S 26825 26828 4896 0 -1 1077944384 49263 12358 0 0 279 6 5 3 20 0 15 0 148805175 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110109169776 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26890] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26890/stat : 26890 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805176 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110108117216 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26891] ppid=26825 vsize=14069564 CPUtime=1.41 cores=0,2,4,6 /proc/26828/task/26891/stat : 26891 (java) S 26825 26828 4896 0 -1 1077944384 2206 12358 0 0 69 64 5 3 20 0 15 0 148805180 14407233536 1167892 18446744073709551615 4194304 4196468 140728334902640 140110107065520 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 Current children cumulated CPU time (s) 2401.19 Current children cumulated vsize (KiB) 14069564 [startup+2382.3 s] /proc/loadavg: 0.98 1.01 1.23 2/195 27117 /proc/meminfo: memFree=26387684/32770624 swapFree=0/459672 [pid=26828] ppid=26825 vsize=14069564 CPUtime=2462.77 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 611563 12358 0 0 245785 484 5 3 20 0 15 0 148805151 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3517391 1178646 3504 1 0 3506005 0 [pid=26828/tid=26878] ppid=26825 vsize=14069564 CPUtime=2362.28 cores=0,2,4,6 /proc/26828/task/26878/stat : 26878 (java) R 26825 26828 4896 0 -1 4202560 276684 12358 0 0 236131 89 5 3 20 0 15 0 148805170 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110641534960 140110258662599 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26879] ppid=26825 vsize=14069564 CPUtime=18.91 cores=0,2,4,6 /proc/26828/task/26879/stat : 26879 (java) S 26825 26828 4896 0 -1 1077944384 31520 12358 0 0 1804 79 5 3 20 0 15 0 148805171 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110571739792 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26880] ppid=26825 vsize=14069564 CPUtime=18.9 cores=0,2,4,6 /proc/26828/task/26880/stat : 26880 (java) S 26825 26828 4896 0 -1 1077944384 40949 12358 0 0 1803 79 5 3 20 0 15 0 148805171 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110570686992 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26881] ppid=26825 vsize=14069564 CPUtime=18.93 cores=0,2,4,6 /proc/26828/task/26881/stat : 26881 (java) S 26825 26828 4896 0 -1 1077944384 31180 12358 0 0 1806 79 5 3 20 0 15 0 148805171 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110569634192 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26882] ppid=26825 vsize=14069564 CPUtime=18.93 cores=0,2,4,6 /proc/26828/task/26882/stat : 26882 (java) S 26825 26828 4896 0 -1 1077944384 35910 12358 0 0 1807 78 5 3 20 0 15 0 148805171 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110568581392 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26883] ppid=26825 vsize=14069564 CPUtime=0.67 cores=0,2,4,6 /proc/26828/task/26883/stat : 26883 (java) S 26825 26828 4896 0 -1 1077944384 45923 12358 0 0 50 9 5 3 20 0 15 0 148805172 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110115486576 140110637316738 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26884] ppid=26825 vsize=14069564 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26884/stat : 26884 (java) S 26825 26828 4896 0 -1 1077944384 147 12358 0 0 1 0 5 3 20 0 15 0 148805172 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110114432672 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26885] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26885/stat : 26885 (java) S 26825 26828 4896 0 -1 1077944384 69 12358 0 0 0 0 5 3 20 0 15 0 148805173 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110113379712 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26886] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26886/stat : 26886 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805175 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110112328016 140110637324187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26887] ppid=26825 vsize=14069564 CPUtime=10.42 cores=0,2,4,6 /proc/26828/task/26887/stat : 26887 (java) S 26825 26828 4896 0 -1 1077944384 47748 12358 0 0 1029 5 5 3 20 0 15 0 148805175 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110111275376 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26888] ppid=26825 vsize=14069564 CPUtime=9.95 cores=0,2,4,6 /proc/26828/task/26888/stat : 26888 (java) S 26825 26828 4896 0 -1 1077944384 46936 12358 0 0 981 6 5 3 20 0 15 0 148805175 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110110222576 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26889] ppid=26825 vsize=14069564 CPUtime=2.93 cores=0,2,4,6 /proc/26828/task/26889/stat : 26889 (java) S 26825 26828 4896 0 -1 1077944384 50092 12358 0 0 279 6 5 3 20 0 15 0 148805175 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110109169776 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26890] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26890/stat : 26890 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805176 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110108117216 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26891] ppid=26825 vsize=14069564 CPUtime=1.45 cores=0,2,4,6 /proc/26828/task/26891/stat : 26891 (java) S 26825 26828 4896 0 -1 1077944384 2248 12358 0 0 71 66 5 3 20 0 15 0 148805180 14407233536 1178646 18446744073709551615 4194304 4196468 140728334902640 140110107065520 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 Current children cumulated CPU time (s) 2462.77 Current children cumulated vsize (KiB) 14069564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2437.71 s] /proc/loadavg: 0.99 1.01 1.22 2/194 27119 /proc/meminfo: memFree=26355224/32770624 swapFree=0/459676 [pid=26828] ppid=26825 vsize=14069564 CPUtime=2520.01 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 631019 12358 0 0 251506 487 5 3 20 0 15 0 148805151 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3517391 1187024 3504 1 0 3506005 0 [pid=26828/tid=26878] ppid=26825 vsize=14069564 CPUtime=2417.03 cores=0,2,4,6 /proc/26828/task/26878/stat : 26878 (java) R 26825 26828 4896 0 -1 4202560 281960 12358 0 0 241606 89 5 3 20 0 15 0 148805170 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110641534960 140110243047440 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26879] ppid=26825 vsize=14069564 CPUtime=19.51 cores=0,2,4,6 /proc/26828/task/26879/stat : 26879 (java) S 26825 26828 4896 0 -1 1077944384 32252 12358 0 0 1864 79 5 3 20 0 15 0 148805171 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110571739792 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26880] ppid=26825 vsize=14069564 CPUtime=19.5 cores=0,2,4,6 /proc/26828/task/26880/stat : 26880 (java) S 26825 26828 4896 0 -1 1077944384 41387 12358 0 0 1863 79 5 3 20 0 15 0 148805171 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110570686992 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26881] ppid=26825 vsize=14069564 CPUtime=19.54 cores=0,2,4,6 /proc/26828/task/26881/stat : 26881 (java) S 26825 26828 4896 0 -1 1077944384 32948 12358 0 0 1866 80 5 3 20 0 15 0 148805171 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110569634192 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26882] ppid=26825 vsize=14069564 CPUtime=19.52 cores=0,2,4,6 /proc/26828/task/26882/stat : 26882 (java) S 26825 26828 4896 0 -1 1077944384 36367 12358 0 0 1866 78 5 3 20 0 15 0 148805171 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110568581392 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26883] ppid=26825 vsize=14069564 CPUtime=0.7 cores=0,2,4,6 /proc/26828/task/26883/stat : 26883 (java) S 26825 26828 4896 0 -1 1077944384 56622 12358 0 0 53 9 5 3 20 0 15 0 148805172 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110115486576 140110637316738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26884] ppid=26825 vsize=14069564 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26884/stat : 26884 (java) S 26825 26828 4896 0 -1 1077944384 150 12358 0 0 1 0 5 3 20 0 15 0 148805172 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110114432672 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26885] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26885/stat : 26885 (java) S 26825 26828 4896 0 -1 1077944384 69 12358 0 0 0 0 5 3 20 0 15 0 148805173 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110113379712 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26886] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26886/stat : 26886 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805175 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110112328016 140110637324187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26887] ppid=26825 vsize=14069564 CPUtime=10.42 cores=0,2,4,6 /proc/26828/task/26887/stat : 26887 (java) S 26825 26828 4896 0 -1 1077944384 47752 12358 0 0 1029 5 5 3 20 0 15 0 148805175 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110111275376 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26888] ppid=26825 vsize=14069564 CPUtime=9.95 cores=0,2,4,6 /proc/26828/task/26888/stat : 26888 (java) S 26825 26828 4896 0 -1 1077944384 46939 12358 0 0 981 6 5 3 20 0 15 0 148805175 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110110222576 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26889] ppid=26825 vsize=14069564 CPUtime=2.93 cores=0,2,4,6 /proc/26828/task/26889/stat : 26889 (java) S 26825 26828 4896 0 -1 1077944384 50099 12358 0 0 279 6 5 3 20 0 15 0 148805175 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110109169776 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26890] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26890/stat : 26890 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805176 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110108117216 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26891] ppid=26825 vsize=14069564 CPUtime=1.48 cores=0,2,4,6 /proc/26828/task/26891/stat : 26891 (java) S 26825 26828 4896 0 -1 1077944384 2317 12358 0 0 73 67 5 3 20 0 15 0 148805180 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110107065520 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 Current children cumulated CPU time (s) 2520.01 Current children cumulated vsize (KiB) 14069564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 26828 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2437.71 s] /proc/loadavg: 0.99 1.01 1.22 2/194 27119 /proc/meminfo: memFree=26355224/32770624 swapFree=0/459676 [pid=26828] ppid=26825 vsize=14069564 CPUtime=2520.01 cores=0,2,4,6 /proc/26828/stat : 26828 (java) S 26825 26828 4896 0 -1 1077944320 631019 12358 0 0 251506 487 5 3 20 0 15 0 148805151 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140728334885184 140110637305591 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 /proc/26828/statm: 3517391 1187024 3504 1 0 3506005 0 [pid=26828/tid=26878] ppid=26825 vsize=14069564 CPUtime=2417.03 cores=0,2,4,6 /proc/26828/task/26878/stat : 26878 (java) R 26825 26828 4896 0 -1 4202560 281960 12358 0 0 241606 89 5 3 20 0 15 0 148805170 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110641534960 140110243047440 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26879] ppid=26825 vsize=14069564 CPUtime=19.51 cores=0,2,4,6 /proc/26828/task/26879/stat : 26879 (java) S 26825 26828 4896 0 -1 1077944384 32252 12358 0 0 1864 79 5 3 20 0 15 0 148805171 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110571739792 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26880] ppid=26825 vsize=14069564 CPUtime=19.5 cores=0,2,4,6 /proc/26828/task/26880/stat : 26880 (java) S 26825 26828 4896 0 -1 1077944384 41387 12358 0 0 1863 79 5 3 20 0 15 0 148805171 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110570686992 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26881] ppid=26825 vsize=14069564 CPUtime=19.54 cores=0,2,4,6 /proc/26828/task/26881/stat : 26881 (java) S 26825 26828 4896 0 -1 1077944384 32948 12358 0 0 1866 80 5 3 20 0 15 0 148805171 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110569634192 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26882] ppid=26825 vsize=14069564 CPUtime=19.52 cores=0,2,4,6 /proc/26828/task/26882/stat : 26882 (java) S 26825 26828 4896 0 -1 1077944384 36367 12358 0 0 1866 78 5 3 20 0 15 0 148805171 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110568581392 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26883] ppid=26825 vsize=14069564 CPUtime=0.7 cores=0,2,4,6 /proc/26828/task/26883/stat : 26883 (java) S 26825 26828 4896 0 -1 1077944384 56622 12358 0 0 53 9 5 3 20 0 15 0 148805172 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110115486576 140110637316738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26884] ppid=26825 vsize=14069564 CPUtime=0.09 cores=0,2,4,6 /proc/26828/task/26884/stat : 26884 (java) S 26825 26828 4896 0 -1 1077944384 150 12358 0 0 1 0 5 3 20 0 15 0 148805172 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110114432672 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26885] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26885/stat : 26885 (java) S 26825 26828 4896 0 -1 1077944384 69 12358 0 0 0 0 5 3 20 0 15 0 148805173 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110113379712 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26886] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26886/stat : 26886 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805175 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110112328016 140110637324187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26887] ppid=26825 vsize=14069564 CPUtime=10.42 cores=0,2,4,6 /proc/26828/task/26887/stat : 26887 (java) S 26825 26828 4896 0 -1 1077944384 47752 12358 0 0 1029 5 5 3 20 0 15 0 148805175 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110111275376 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26888] ppid=26825 vsize=14069564 CPUtime=9.95 cores=0,2,4,6 /proc/26828/task/26888/stat : 26888 (java) S 26825 26828 4896 0 -1 1077944384 46939 12358 0 0 981 6 5 3 20 0 15 0 148805175 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110110222576 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26889] ppid=26825 vsize=14069564 CPUtime=2.93 cores=0,2,4,6 /proc/26828/task/26889/stat : 26889 (java) S 26825 26828 4896 0 -1 1077944384 50099 12358 0 0 279 6 5 3 20 0 15 0 148805175 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110109169776 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26890] ppid=26825 vsize=14069564 CPUtime=0.08 cores=0,2,4,6 /proc/26828/task/26890/stat : 26890 (java) S 26825 26828 4896 0 -1 1077944384 3 12358 0 0 0 0 5 3 20 0 15 0 148805176 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110108117216 140110637315797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 [pid=26828/tid=26891] ppid=26825 vsize=14069564 CPUtime=1.48 cores=0,2,4,6 /proc/26828/task/26891/stat : 26891 (java) S 26825 26828 4896 0 -1 1077944384 2317 12358 0 0 73 67 5 3 20 0 15 0 148805180 14407233536 1187024 18446744073709551615 4194304 4196468 140728334902640 140110107065520 140110637316738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20578304 140728334907344 140728334910129 140728334910129 140728334913487 0 Current children cumulated CPU time (s) 2520.01 Current children cumulated vsize (KiB) 14069564 Child status: 143 Real time (s): 2437.75 CPU time (s): 2520.08 CPU user time (s): 2515.13 CPU system time (s): 4.94365 CPU usage (%): 103.377 Max. virtual memory (cumulated for all children) (KiB): 14069564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.13 system time used= 4.94365 maximum resident set size= 4748352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 646709 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68008 involuntary context switches= 4950 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.5252 second user time and 14.707 second system time The end
Begin job on node132 at 2017-08-12 00:30:59 IDJOB=4262770 IDBENCH=140591 IDSOLVER=2650 FILE ID=node132/4262770-1502491523 RUNJOBID= node132-1502411403-4959 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262770-1502491523/watcher-4262770-1502491523 -o /tmp/evaluation-result-4262770-1502491523/solver-4262770-1502491523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4959 --watchdog 2580 bin/concrete HOME/instance-4262770-1502491523.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7 RANDOM SEED=1020472204 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29413228 kB MemAvailable: 30301756 kB Buffers: 304020 kB Cached: 893892 kB SwapCached: 0 kB Active: 2408764 kB Inactive: 508284 kB Active(anon): 1719644 kB Inactive(anon): 49012 kB Active(file): 689120 kB Inactive(file): 459272 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 25020 kB Writeback: 4 kB AnonPages: 1719468 kB Mapped: 74920 kB Shmem: 49852 kB Slab: 138924 kB SReclaimable: 111940 kB SUnreclaim: 26984 kB KernelStack: 3568 kB PageTables: 10056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2331096 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1486848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62008 MiB End job on node132 at 2017-08-12 01:11:37