Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | SAT (TO) | 353 | 19850.2 | 2520.41 |
Name | GraphColoring/ GraphColoring-5-fullins-4_c18.xml |
MD5SUM | 9a110b3288dcdd83da8fcc132ac433c6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 500.122 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1085 |
Number of constraints | 11395 |
Number of domains | 1 |
Minimum domain size | 1085 |
Maximum domain size | 1085 |
Distribution of domain sizes | [{"size":1085,"count":1085}] |
Minimum variable degree | 7 |
Maximum variable degree | 161 |
Distribution of variable degrees | [{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":11395}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 11395 |
Distribution of constraint types | [{"type":"intension","count":11395}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.67/0.55 c version: 2018-07-02 0.67/0.55 c seed: 846961635 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 4.81/1.71 c Parsing done, starting search... 139.36/38.54 o 1084 206.86/47.10 o 1083 271.86/55.26 o 1082 336.10/63.39 o 1081 403.50/71.81 o 1080 466.96/79.90 o 1079 530.57/87.82 o 1078 591.57/95.55 o 1077 654.28/103.43 o 1076 717.11/111.31 o 1075 779.85/119.29 o 1074 843.44/127.29 o 1073 906.21/135.18 o 1072 969.02/143.06 o 1071 1031.59/150.91 o 1070 1094.25/158.82 o 1069 1156.95/166.72 o 1068 1218.82/174.58 o 1067 1282.33/182.57 o 1066 1346.66/190.61 o 1065 1409.42/198.52 o 1064 1470.57/206.22 o 1063 1532.69/214.04 o 1062 1594.55/221.86 o 1061 1656.50/229.69 o 1060 1717.65/237.38 o 1059 1779.90/245.17 o 1058 1841.76/253.00 o 1057 1902.94/260.69 o 1056 1963.26/268.28 o 1055 2024.22/275.97 o 1054 2085.15/283.66 o 1053 2145.47/291.24 o 1052 2205.01/298.74 o 1051 2264.55/306.27 o 1050 2324.88/313.88 o 1049 2385.22/321.48 o 1048 2444.77/328.90 o 1047 2502.17/336.20 o 1046 2562.42/343.75 o 1045 2621.24/351.12 o 1044 2678.31/358.38 o 1043 2736.29/365.70 o 1042 2796.64/373.23 o 1041 2855.36/380.69 o 1040 2913.18/387.96 o 1039 2971.16/395.23 o 1038 3029.20/402.55 o 1037 3086.34/409.80 o 1036 3143.60/416.94 o 1035 3201.55/424.21 o 1034 3260.32/431.62 o 1033 3319.21/439.06 o 1032 3377.19/446.35 o 1031 3434.38/453.58 o 1030 3492.40/460.88 o 1029 3551.20/468.24 o 1028 3609.11/475.58 o 1027 3667.02/482.83 o 1026 3725.90/490.24 o 1025 3782.30/497.38 o 1024 3839.52/504.60 o 1023 3895.99/511.62 o 1022 3953.20/518.87 o 1021 4010.43/526.08 o 1020 4066.30/533.07 o 1019 4123.26/540.22 o 1018 4181.28/547.56 o 1017 4238.53/554.74 o 1016 4294.97/561.81 o 1015 4350.56/568.82 o 1014 4406.18/575.82 o 1013 4460.99/582.78 o 1012 4515.74/589.68 o 1011 4571.29/596.64 o 1010 4628.48/603.80 o 1009 4684.13/610.81 o 1008 4738.91/617.75 o 1007 4793.77/624.67 o 1006 4848.51/631.55 o 1005 4904.90/638.60 o 1004 4959.77/645.53 o 1003 5013.82/652.38 o 1002 5068.57/659.25 o 1001 5122.40/666.05 o 1000 5175.47/672.72 o 999 5228.71/679.40 o 998 5282.04/686.13 o 997 5334.00/692.76 o 996 5387.13/699.43 o 995 5441.12/706.23 o 994 5494.35/712.98 o 993 5547.61/719.67 o 992 5599.32/726.20 o 991 5652.49/732.90 o 990 5706.53/739.65 o 989 5759.73/746.30 o 988 5811.18/752.86 o 987 5864.43/759.56 o 986 5917.62/766.25 o 985 5970.10/772.81 o 984 6021.58/779.39 o 983 6073.68/785.95 o 982 6126.02/792.55 o 981 6177.75/799.02 o 980 6229.34/805.52 o 979 6280.02/812.07 o 978 6332.01/818.68 o 977 6383.83/825.16 o 976 6435.23/831.60 o 975 6486.24/838.08 o 974 6538.39/844.70 o 973 6591.64/851.36 o 972 6644.12/857.91 o 971 6696.40/864.58 o 970 6747.94/871.05 o 969 6798.44/877.50 o 968 6850.12/883.94 o 967 6899.48/890.18 o 966 6951.03/896.68 o 965 7001.10/902.96 o 964 7052.02/909.33 o 963 7102.11/915.62 o 962 7150.56/921.72 o 961 7198.20/927.71 o 960 7245.86/933.73 o 959 7293.52/939.76 o 958 7342.07/945.85 o 957 7391.45/952.05 o 956 7439.33/958.10 o 955 7487.77/964.18 o 954 7536.10/970.21 o 953 7582.28/976.08 o 952 7629.99/982.03 o 951 7677.69/988.05 o 950 7726.22/994.14 o 949 7774.50/1000.28 o 948 7821.60/1006.19 o 947 7868.31/1012.10 o 946 7915.10/1017.94 o 945 7961.23/1023.75 o 944 8007.29/1029.58 o 943 8053.42/1035.38 o 942 8101.16/1041.35 o 941 8149.60/1047.44 o 940 8197.28/1053.44 o 939 8243.36/1059.27 o 938 8289.72/1065.03 o 937 8333.97/1070.69 o 936 8379.95/1076.43 o 935 8425.25/1082.12 o 934 8471.22/1088.00 o 933 8519.74/1094.03 o 932 8565.77/1099.84 o 931 8610.92/1105.59 o 930 8656.16/1111.22 o 929 8700.67/1116.88 o 928 8745.99/1122.52 o 927 8789.84/1128.10 o 926 8835.89/1133.84 o 925 8881.92/1139.68 o 924 8928.06/1145.47 o 923 8974.17/1151.23 o 922 9018.74/1156.80 o 921 9062.45/1162.31 o 920 9105.94/1167.83 o 919 9148.82/1173.28 o 918 9193.31/1178.90 o 917 9238.55/1184.55 o 916 9283.28/1190.17 o 915 9327.58/1195.75 o 914 9372.12/1201.30 o 913 9415.03/1206.80 o 912 9458.68/1212.20 o 911 9501.61/1217.63 o 910 9546.83/1223.32 o 909 9589.69/1228.79 o 908 9633.41/1234.23 o 907 9676.35/1239.65 o 906 9719.37/1245.11 o 905 9762.91/1250.51 o 904 9805.85/1255.98 o 903 9848.02/1261.28 o 902 9892.55/1266.83 o 901 9937.89/1272.59 o 900 9979.82/1277.88 o 899 10022.10/1283.16 o 898 10064.06/1288.48 o 897 10106.19/1293.72 o 896 10148.44/1299.07 o 895 10190.50/1304.39 o 894 10233.31/1309.78 o 893 10279.25/1315.53 o 892 10321.41/1320.85 o 891 10362.95/1326.13 o 890 10405.61/1331.43 o 889 10446.15/1336.56 o 888 10486.59/1341.68 o 887 10527.93/1346.87 o 886 10570.89/1352.21 o 885 10613.80/1357.69 o 884 10656.97/1363.06 o 883 10698.81/1368.31 o 882 10739.43/1373.42 o 881 10779.93/1378.58 o 880 10820.43/1383.67 o 879 10860.97/1388.77 o 878 10902.28/1393.90 o 877 10943.76/1399.13 o 876 10984.16/1404.22 o 875 11023.92/1409.29 o 874 11063.44/1414.30 o 873 11102.39/1419.19 o 872 11141.30/1424.07 o 871 11181.06/1429.10 o 870 11222.95/1434.37 o 869 11264.32/1439.59 o 868 11302.52/1444.37 o 867 11342.29/1449.38 o 866 11381.60/1454.31 o 865 11418.98/1459.03 o 864 11457.88/1463.91 o 863 11495.28/1468.68 o 862 11535.03/1473.64 o 861 11575.55/1478.70 o 860 11614.52/1483.64 o 859 11652.75/1488.48 o 858 11690.79/1493.23 o 857 11728.05/1498.01 o 856 11766.16/1502.79 o 855 11805.05/1507.66 o 854 11844.02/1512.52 o 853 11883.77/1517.50 o 852 11919.63/1522.10 o 851 11956.80/1526.76 o 850 11994.11/1531.49 o 849 12031.36/1536.11 o 848 12067.05/1540.67 o 847 12104.42/1545.39 o 846 12142.70/1550.17 o 845 12179.18/1554.78 o 844 12214.78/1559.23 o 843 12250.53/1563.70 o 842 12285.67/1568.20 o 841 12322.10/1572.76 o 840 12357.77/1577.29 o 839 12394.31/1581.86 o 838 12430.88/1586.44 o 837 12468.31/1591.17 o 836 12503.20/1595.51 o 835 12537.41/1599.87 o 834 12573.16/1604.31 o 833 12608.95/1608.81 o 832 12643.34/1613.16 o 831 12677.34/1617.50 o 830 12712.28/1621.81 o 829 12746.54/1626.19 o 828 12778.98/1630.25 o 827 12812.23/1634.43 o 826 12844.06/1638.45 o 825 12875.74/1642.46 o 824 12908.33/1646.56 o 823 12940.83/1650.68 o 822 12974.26/1654.85 o 821 13008.65/1659.15 o 820 13039.46/1663.13 o 819 13071.25/1667.05 o 818 13102.14/1670.97 o 817 13132.37/1674.75 o 816 13163.38/1678.68 o 815 13195.11/1682.69 o 814 13227.65/1686.72 o 813 13259.48/1690.73 o 812 13289.68/1694.58 o 811 13321.49/1698.56 o 810 13351.66/1702.36 o 809 13382.64/1706.20 o 808 13413.05/1710.08 o 807 13443.75/1713.98 o 806 13475.56/1717.95 o 805 13507.39/1721.94 o 804 13538.39/1725.81 o 803 13567.82/1729.55 o 802 13598.05/1733.37 o 801 13628.35/1737.16 o 800 13658.48/1740.99 o 799 13688.64/1744.74 o 798 13720.44/1748.72 o 797 13750.68/1752.59 o 796 13780.16/1756.26 o 795 13809.48/1760.01 o 794 13838.90/1763.67 o 793 13867.46/1767.24 o 792 13896.86/1771.00 o 791 13926.21/1774.69 o 790 13955.63/1778.34 o 789 13985.91/1782.14 o 788 14014.40/1785.71 o 787 14042.94/1789.33 o 786 14069.97/1792.80 o 785 14098.52/1796.37 o 784 14127.14/1799.96 o 783 14154.95/1803.46 o 782 14183.80/1807.04 o 781 14212.99/1810.77 o 780 14240.85/1814.27 o 779 14269.48/1817.87 o 778 14297.22/1821.34 o 777 14324.27/1824.73 o 776 14351.32/1828.18 o 775 14379.01/1831.63 o 774 14406.17/1835.12 o 773 14434.64/1838.61 o 772 14460.78/1841.93 o 771 14488.60/1845.49 o 770 14514.74/1848.74 o 769 14540.16/1851.99 o 768 14567.94/1855.44 o 767 14594.22/1858.77 o 766 14621.56/1862.15 o 765 14649.05/1865.65 o 764 14674.45/1868.83 o 763 14700.00/1872.02 o 762 14724.66/1875.17 o 761 14749.87/1878.39 o 760 14776.07/1881.65 o 759 14801.55/1884.86 o 758 14828.04/1888.14 o 757 14854.88/1891.56 o 756 14880.22/1894.75 o 755 14905.68/1897.99 o 754 14931.32/1901.15 o 753 14955.77/1904.28 o 752 14981.23/1907.48 o 751 15006.68/1910.61 o 750 15031.33/1913.76 o 749 15057.62/1917.03 o 748 15082.38/1920.14 o 747 15105.41/1923.11 o 746 15130.06/1926.14 o 745 15154.45/1929.21 o 744 15179.11/1932.34 o 743 15202.97/1935.33 o 742 15228.41/1938.56 o 741 15251.49/1941.48 o 740 15275.35/1944.46 o 739 15298.39/1947.39 o 738 15322.16/1950.35 o 737 15345.16/1953.25 o 736 15368.87/1956.22 o 735 15392.71/1959.25 o 734 15417.90/1962.42 o 733 15440.15/1965.29 o 732 15463.31/1968.12 o 731 15486.26/1971.11 o 730 15509.24/1973.98 o 729 15532.31/1976.86 o 728 15553.80/1979.59 o 727 15576.86/1982.44 o 726 15599.11/1985.24 o 725 15621.55/1988.06 o 724 15643.62/1990.82 o 723 15665.11/1993.58 o 722 15686.39/1996.24 o 721 15707.84/1998.98 o 720 15730.11/2001.71 o 719 15752.38/2004.52 o 718 15773.83/2007.24 o 717 15794.53/2009.88 o 716 15815.12/2012.46 o 715 15837.40/2015.23 o 714 15858.73/2017.96 o 713 15880.19/2020.67 o 712 15901.65/2023.32 o 711 15923.19/2026.10 o 710 15944.54/2028.77 o 709 15966.73/2031.54 o 708 15987.50/2034.16 o 707 16008.08/2036.75 o 706 16027.93/2039.26 o 705 16048.63/2041.86 o 704 16069.92/2044.55 o 703 16090.76/2047.13 o 702 16111.26/2049.73 o 701 16131.13/2052.30 o 700 16151.03/2054.75 o 699 16172.52/2057.43 o 698 16192.38/2060.01 o 697 16213.01/2062.52 o 696 16233.07/2065.04 o 695 16253.48/2067.62 o 694 16272.67/2070.11 o 693 16293.27/2072.64 o 692 16312.56/2075.10 o 691 16333.05/2077.61 o 690 16353.72/2080.23 o 689 16373.55/2082.71 o 688 16393.28/2085.23 o 687 16413.19/2087.74 o 686 16433.82/2090.34 o 685 16452.92/2092.77 o 684 16472.25/2095.19 o 683 16491.84/2097.64 o 682 16511.01/2100.11 o 681 16530.80/2102.53 o 680 16549.87/2104.98 o 679 16568.97/2107.34 o 678 16588.88/2109.86 o 677 16607.94/2112.24 o 676 16626.22/2114.59 o 675 16645.32/2117.00 o 674 16665.15/2119.43 o 673 16683.44/2121.76 o 672 16702.73/2124.15 o 671 16721.63/2126.51 o 670 16739.88/2128.83 o 669 16757.48/2131.06 o 668 16774.88/2133.24 o 667 16792.38/2135.48 o 666 16812.04/2137.95 o 665 16829.60/2140.18 o 664 16847.05/2142.39 o 663 16864.55/2144.56 o 662 16882.10/2146.71 o 661 16898.75/2148.85 o 660 16915.45/2150.97 o 659 16932.23/2153.10 o 658 16949.15/2155.16 o 657 16965.51/2157.26 o 656 16982.93/2159.41 o 655 16999.62/2161.59 o 654 17017.93/2163.85 o 653 17035.51/2166.05 o 652 17052.31/2168.18 o 651 17069.56/2170.40 o 650 17086.90/2172.53 o 649 17103.67/2174.62 o 648 17120.33/2176.74 o 647 17137.05/2178.88 o 646 17153.72/2180.96 o 645 17170.50/2183.09 o 644 17187.90/2185.21 o 643 17203.83/2187.29 o 642 17220.55/2189.36 o 641 17237.24/2191.42 o 640 17253.86/2193.52 o 639 17268.97/2195.48 o 638 17284.06/2197.34 o 637 17300.71/2199.44 o 636 17316.53/2201.44 o 635 17332.43/2203.48 o 634 17349.13/2205.54 o 633 17364.23/2207.48 o 632 17380.14/2209.47 o 631 17395.12/2211.40 o 630 17411.03/2213.38 o 629 17426.94/2215.33 o 628 17442.03/2217.22 o 627 17456.47/2219.03 o 626 17471.48/2220.90 o 625 17486.54/2222.84 o 624 17501.59/2224.73 o 623 17516.69/2226.66 o 622 17531.81/2228.58 o 621 17547.71/2230.52 o 620 17562.83/2232.41 o 619 17577.92/2234.33 o 618 17592.53/2236.20 o 617 17607.41/2238.08 o 616 17624.58/2240.28 o 615 17638.91/2242.08 o 614 17653.91/2244.00 o 613 17669.01/2245.86 o 612 17684.11/2247.72 o 611 17698.40/2249.56 o 610 17712.72/2251.35 o 609 17727.24/2253.18 o 608 17741.36/2254.92 o 607 17755.68/2256.75 o 606 17769.99/2258.53 o 605 17784.30/2260.33 o 604 17798.66/2262.13 o 603 17812.13/2263.87 o 602 17826.36/2265.66 o 601 17840.64/2267.45 o 600 17854.97/2269.21 o 599 17867.70/2270.83 o 598 17881.21/2272.58 o 597 17894.73/2274.26 o 596 17907.46/2275.85 o 595 17920.98/2277.58 o 594 17934.50/2279.22 o 593 17947.24/2280.83 o 592 17959.89/2282.47 o 591 17973.38/2284.19 o 590 17986.84/2285.81 o 589 17999.49/2287.49 o 588 18012.99/2289.12 o 587 18024.75/2290.68 o 586 18037.46/2292.27 o 585 18050.21/2293.82 o 584 18062.93/2295.49 o 583 18076.48/2297.11 o 582 18088.35/2298.68 o 581 18101.88/2300.33 o 580 18113.83/2301.89 o 579 18127.34/2303.53 o 578 18139.35/2305.13 o 577 18151.98/2306.61 o 576 18164.71/2308.20 o 575 18175.86/2309.66 o 574 18188.56/2311.23 o 573 18200.50/2312.77 o 572 18213.22/2314.35 o 571 18224.37/2315.80 o 570 18237.09/2317.33 o 569 18248.16/2318.77 o 568 18260.03/2320.28 o 567 18271.97/2321.72 o 566 18283.86/2323.27 o 565 18295.77/2324.71 o 564 18307.07/2326.16 o 563 18318.77/2327.61 o 562 18329.07/2329.01 o 561 18341.70/2330.50 o 560 18352.04/2331.87 o 559 18363.20/2333.26 o 558 18374.32/2334.66 o 557 18385.54/2336.08 o 556 18396.56/2337.50 o 555 18407.70/2338.82 o 554 18418.20/2340.17 o 553 18429.95/2341.62 o 552 18440.29/2342.98 o 551 18452.21/2344.42 o 550 18463.32/2345.82 o 549 18473.77/2347.18 o 548 18485.61/2348.62 o 547 18495.16/2349.88 o 546 18506.29/2351.23 o 545 18516.65/2352.55 o 544 18527.70/2353.94 o 543 18538.04/2355.25 o 542 18548.39/2356.57 o 541 18559.50/2357.98 o 540 18569.84/2359.26 o 539 18580.21/2360.57 o 538 18591.40/2361.93 o 537 18601.07/2363.18 o 536 18611.20/2364.48 o 535 18621.55/2365.78 o 534 18634.80/2367.43 o 533 18644.36/2368.70 o 532 18654.72/2369.99 o 531 18665.06/2371.24 o 530 18675.40/2372.52 o 529 18684.94/2373.75 o 528 18694.48/2375.00 o 527 18704.72/2376.26 o 526 18715.07/2377.51 o 525 18724.60/2378.73 o 524 18734.13/2380.00 o 523 18743.75/2381.19 o 522 18754.02/2382.44 o 521 18763.56/2383.65 o 520 18773.11/2384.81 o 519 18781.86/2385.99 o 518 18792.21/2387.28 o 517 18801.74/2388.44 o 516 18810.36/2389.60 o 515 18819.83/2390.77 o 514 18829.40/2391.93 o 513 18838.22/2393.09 o 512 18847.69/2394.24 o 511 18856.44/2395.39 o 510 18866.75/2396.65 o 509 18876.28/2397.81 o 508 18885.05/2398.92 o 507 18893.89/2400.04 o 506 18902.66/2401.14 o 505 18911.32/2402.25 o 504 18920.04/2403.34 o 503 18928.79/2404.44 o 502 18937.51/2405.55 o 501 18946.29/2406.64 o 500 18954.96/2407.74 o 499 18962.90/2408.79 o 498 18971.65/2409.86 o 497 18980.40/2410.95 o 496 18988.35/2412.02 o 495 18997.17/2413.07 o 494 19006.12/2414.15 o 493 19014.59/2415.27 o 492 19023.33/2416.32 o 491 19031.29/2417.37 o 490 19039.24/2418.39 o 489 19048.00/2419.43 o 488 19055.92/2420.46 o 487 19064.67/2421.50 o 486 19072.61/2422.52 o 485 19080.55/2423.55 o 484 19088.51/2424.54 o 483 19096.47/2425.56 o 482 19104.43/2426.56 o 481 19111.60/2427.46 o 480 19119.50/2428.45 o 479 19126.60/2429.38 o 478 19134.55/2430.37 o 477 19142.50/2431.40 o 476 19150.43/2432.35 o 475 19158.38/2433.33 o 474 19166.33/2434.31 o 473 19173.50/2435.20 o 472 19180.91/2436.20 o 471 19188.82/2437.15 o 470 19195.91/2438.09 o 469 19203.80/2439.03 o 468 19210.86/2439.97 o 467 19218.81/2440.96 o 466 19225.19/2441.80 o 465 19233.14/2442.72 o 464 19240.30/2443.66 o 463 19247.47/2444.58 o 462 19255.41/2445.56 o 461 19263.37/2446.55 o 460 19269.74/2447.34 o 459 19276.90/2448.28 o 458 19284.87/2449.24 o 457 19292.07/2450.16 o 456 19298.38/2450.97 o 455 19305.55/2451.86 o 454 19312.72/2452.75 o 453 19319.81/2453.66 o 452 19326.96/2454.58 o 451 19333.34/2455.37 o 450 19340.49/2456.21 o 449 19346.95/2457.06 o 448 19353.98/2457.93 o 447 19359.56/2458.67 o 446 19366.70/2459.50 o 445 19373.82/2460.40 o 444 19379.52/2461.18 o 443 19385.81/2461.97 o 442 19392.93/2462.82 o 441 19399.37/2463.66 o 440 19404.85/2464.37 o 439 19411.46/2465.18 o 438 19418.40/2466.08 o 437 19423.86/2466.78 o 436 19431.03/2467.62 o 435 19437.35/2468.47 o 434 19443.21/2469.19 o 433 19449.30/2469.97 o 432 19455.67/2470.80 o 431 19461.21/2471.50 o 430 19467.56/2472.28 o 429 19475.51/2473.20 o 428 19480.31/2473.86 o 427 19487.47/2474.72 o 426 19493.04/2475.42 o 425 19498.88/2476.17 o 424 19504.96/2476.96 o 423 19510.55/2477.64 o 422 19516.11/2478.37 o 421 19523.26/2479.24 o 420 19528.03/2479.88 o 419 19534.39/2480.65 o 418 19539.97/2481.33 o 417 19545.60/2482.08 o 416 19551.89/2482.84 o 415 19556.65/2483.48 o 414 19562.88/2484.27 o 413 19568.45/2484.93 o 412 19574.76/2485.71 o 411 19581.13/2486.52 o 410 19585.20/2487.11 o 409 19591.51/2487.83 o 408 19596.24/2488.44 o 407 19602.00/2489.18 o 406 19606.60/2489.78 o 405 19612.96/2490.59 o 404 19617.83/2491.20 o 403 19623.23/2491.89 o 402 19629.58/2492.65 o 401 19634.36/2493.23 o 400 19639.92/2493.96 o 399 19644.71/2494.53 o 398 19651.05/2495.31 o 397 19655.85/2495.90 o 396 19661.34/2496.60 o 395 19665.60/2497.16 o 394 19670.90/2497.85 o 393 19675.67/2498.41 o 392 19681.33/2499.16 o 391 19686.03/2499.72 o 390 19690.79/2500.39 o 389 19695.56/2500.94 o 388 19700.33/2501.57 o 387 19704.52/2502.12 o 386 19709.84/2502.77 o 385 19714.62/2503.30 o 384 19719.41/2503.94 o 383 19723.37/2504.47 o 382 19729.18/2505.13 o 381 19732.93/2505.65 o 380 19737.13/2506.19 o 379 19742.48/2506.86 o 378 19746.45/2507.39 o 377 19751.20/2508.00 o 376 19755.19/2508.50 o 375 19760.04/2509.08 o 374 19763.95/2509.56 o 373 19768.01/2510.07 o 372 19773.48/2510.71 o 371 19777.47/2511.21 o 370 19782.23/2511.84 o 369 19785.42/2512.29 o 368 19790.98/2512.90 o 367 19794.16/2513.38 o 366 19798.16/2513.85 o 365 19802.91/2514.45 o 364 19806.92/2514.92 o 363 19810.89/2515.40 o 362 19814.87/2516.01 o 361 19818.85/2516.50 o 360 19823.68/2517.06 o 359 19826.79/2517.50 o 358 19830.76/2517.96 o 357 19835.52/2518.52 o 356 19838.72/2518.97 o 355 19842.71/2519.44 o 354 19847.51/2520.06 o 353 19847.51/2520.10 s SATISFIABLE 19847.51/2520.11 v <instantiation> 19847.51/2520.11 v <list> 19847.51/2520.11 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] 19847.51/2520.11 v </list> 19847.51/2520.11 v <values> 19847.51/2520.11 v 350 353 351 351 353 352 351 351 353 347 353 348 351 351 350 345 351 343 348 347 344 352 349 351 351 349 349 353 347 353 352 352 352 352 352 352 345 351 343 352 352 352 353 353 353 353 353 350 350 350 353 351 353 350 353 353 350 350 350 350 350 348 350 352 350 352 352 352 349 352 352 352 352 352 352 352 352 352 346 352 352 352 352 352 353 353 348 350 353 350 350 350 353 348 350 353 353 353 353 353 350 350 350 353 353 351 350 351 350 353 353 351 349 351 353 351 350 351 351 349 349 351 351 349 351 349 353 353 352 352 353 353 352 352 353 353 352 353 353 353 353 353 352 353 352 353 353 344 348 346 347 349 352 345 352 353 350 348 352 350 353 352 350 350 353 349 349 349 349 349 346 349 349 349 353 352 349 351 352 352 349 353 352 353 349 350 352 353 351 352 349 349 353 349 349 349 353 353 352 350 353 350 351 351 351 350 353 349 350 350 350 350 350 349 349 350 350 352 352 351 351 352 351 353 352 351 351 350 352 351 351 349 351 351 351 349 351 349 351 348 351 350 353 353 350 350 351 353 350 350 351 353 350 353 350 353 350 345 350 351 351 351 351 353 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 352 352 352 352 353 353 352 352 353 353 352 352 353 353 350 353 350 353 350 353 350 351 348 346 351 351 343 351 347 353 352 353 353 352 351 351 351 352 353 352 351 351 350 347 351 350 351 351 350 352 349 352 347 353 347 351 347 350 352 352 353 352 352 351 351 351 347 347 351 353 353 353 353 353 353 352 352 350 353 352 352 352 351 351 352 350 350 350 350 347 350 352 349 352 348 353 353 352 350 353 352 352 353 353 352 352 348 348 352 352 352 352 353 353 353 350 353 352 353 350 350 352 352 353 350 352 352 352 350 350 352 348 352 353 353 350 350 353 353 352 352 353 353 352 352 353 353 352 349 352 349 352 349 352 353 353 353 352 353 353 353 352 352 353 352 353 352 353 352 353 352 353 353 352 352 349 347 347 347 352 352 349 351 351 350 350 349 353 351 352 349 349 349 353 349 349 349 349 349 352 349 349 349 351 351 351 351 349 349 351 352 349 349 349 349 353 351 349 349 349 349 349 349 349 353 353 350 350 352 353 351 351 351 353 349 349 349 349 349 349 349 349 349 349 349 352 351 351 351 351 351 353 351 351 351 353 349 351 353 353 351 351 351 351 351 353 351 351 351 351 351 351 351 351 351 351 351 351 351 353 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 353 351 353 351 351 351 351 351 351 351 352 351 352 351 351 351 352 352 351 351 352 352 353 353 351 351 351 351 351 351 351 351 348 348 351 351 351 351 353 352 352 352 353 353 350 353 350 353 352 352 352 353 350 353 350 350 350 350 350 352 352 352 350 353 353 350 353 350 353 352 352 352 353 350 353 350 350 350 350 350 352 353 352 353 350 352 352 353 350 352 352 352 352 352 352 352 352 350 352 352 352 352 352 352 350 353 353 352 353 353 353 352 353 353 353 352 353 350 353 352 353 352 352 353 352 353 352 352 353 352 352 352 352 352 352 352 352 352 352 352 352 352 352 352 353 352 353 353 353 353 353 353 353 352 352 353 353 352 353 353 353 353 353 352 352 353 352 353 353 353 353 352 352 353 352 352 352 353 352 353 353 353 352 352 352 350 350 347 350 352 352 350 353 351 351 351 351 353 351 351 351 353 351 351 353 353 351 353 351 351 351 351 351 351 351 351 351 351 353 351 351 351 353 351 351 353 353 351 351 351 351 351 351 351 351 351 351 351 351 353 351 351 351 353 351 351 351 353 351 351 351 351 351 351 351 351 353 351 353 351 351 353 353 351 351 353 353 353 353 353 351 353 351 353 353 353 351 353 351 351 351 351 351 351 351 351 351 351 351 353 351 351 351 351 351 351 351 351 353 351 351 351 351 351 351 353 351 351 353 353 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 351 353 352 352 352 353 353 352 353 353 353 352 352 353 353 352 353 352 352 352 352 352 353 352 352 352 353 353 352 353 353 353 352 352 353 353 352 353 352 352 352 352 352 352 353 352 353 352 352 352 353 352 352 352 352 352 352 352 352 352 352 352 352 352 352 353 352 353 353 353 352 353 353 353 352 353 353 353 352 353 352 353 352 353 352 352 353 352 353 352 352 353 352 352 352 352 352 352 352 352 352 352 352 352 352 352 352 353 352 353 353 353 353 353 353 353 352 353 353 353 352 353 353 353 353 353 352 352 353 352 353 353 353 353 352 352 353 353 352 352 353 352 353 353 353 352 352 352 353 352 352 352 352 352 353 350 347 345 346 351 352 349 19847.51/2520.11 v </values> 19847.51/2520.11 v </instantiation>
OK 353
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (8478 MiB free) memory of node 1: 16384 MiB (11557 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290974-1532633934/watcher-4290974-1532633934 -o /tmp/evaluation-result-4290974-1532633934/solver-4290974-1532633934 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532633834-13177 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 846961635 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290974-1532633934.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=13296, runsolver pid=13293 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 6.70 3.60 2.52 3/200 13316 /proc/meminfo: memFree=20500816/32770624 swapFree=67108860/67108860 [pid=13296] ppid=13293 vsize=26103424 memory=30056 CPUtime=0.11 cores=0-7 /proc/13296/stat : 13296 (java) S 13293 13296 13150 0 -1 1077944320 6976 0 0 0 10 1 0 0 20 0 20 0 80956591 26729906176 7514 33554432000 4194304 4196468 140732714056736 140732714039280 139686556397303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 /proc/13296/statm: 6525856 7514 3143 1 0 6487932 0 [pid=13296/tid=13298] ppid=13293 vsize=26103424 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13296/task/13298/stat : 13298 (java) R 13293 13296 13150 0 -1 4202560 5128 0 0 0 8 1 0 0 20 0 20 0 80956592 26729906176 7580 33554432000 4194304 4196468 140732714056736 139686560600432 139686536673052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13299] ppid=13293 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/13296/task/13299/stat : 13299 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 7580 33554432000 4194304 4196468 140732714056736 139686509018256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13300] ppid=13293 vsize=26103424 memory=140165403715200 CPUtime=0 cores=0-7 /proc/13296/task/13300/stat : 13300 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 7646 33554432000 4194304 4196468 140732714056736 139686507965456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13301] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13301/stat : 13301 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 7646 33554432000 4194304 4196468 140732714056736 139686506912656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13302] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13302/stat : 13302 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 7646 33554432000 4194304 4196468 140732714056736 139686505859856 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13303] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13303/stat : 13303 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 7646 33554432000 4194304 4196468 140732714056736 139686504807056 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13304] ppid=13293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13296/task/13304/stat : 13304 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 7646 33554432000 4194304 4196468 140732714056736 139686503754256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13305] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13305/stat : 13305 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 7646 33554432000 4194304 4196468 140732714056736 139686502701456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13306] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13306/stat : 13306 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 7646 33554432000 4194304 4196468 140732714056736 139686501648656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13307] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13307/stat : 13307 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956594 26729906176 7646 33554432000 4194304 4196468 140732714056736 139685142674288 139686556408450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13308] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13308/stat : 13308 (java) S 13293 13296 13150 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80956594 26729906176 7646 33554432000 4194304 4196468 140732714056736 139685141620256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13309] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13309/stat : 13309 (java) S 13293 13296 13150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80956595 26729906176 7646 33554432000 4194304 4196468 140732714056736 139685140567408 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13310] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13310/stat : 13310 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 7646 33554432000 4194304 4196468 140732714056736 139685139515728 139686556415899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13311] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13311/stat : 13311 (java) S 13293 13296 13150 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 7712 33554432000 4194304 4196468 140732714056736 139685138463088 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13312] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13312/stat : 13312 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 7712 33554432000 4194304 4196468 140732714056736 139685137410288 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13313] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13313/stat : 13313 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 7712 33554432000 4194304 4196468 140732714056736 139685136357488 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13314] ppid=13293 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/13296/task/13314/stat : 13314 (java) S 13293 13296 13150 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 20 0 80956597 26729906176 7712 33554432000 4194304 4196468 140732714056736 139685135304688 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13315] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13315/stat : 13315 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 7712 33554432000 4194304 4196468 140732714056736 139685134253152 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13316] ppid=13293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13296/task/13316/stat : 13316 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956598 26729906176 7712 33554432000 4194304 4196468 140732714056736 139685133200432 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 30056 KiB [startup+0.210357 s]* /proc/loadavg: 6.70 3.60 2.52 3/200 13316 /proc/meminfo: memFree=20486980/32770624 swapFree=67108860/67108860 [pid=13296] ppid=13293 vsize=26103424 memory=42860 CPUtime=0.29 cores=0-7 /proc/13296/stat : 13296 (java) S 13293 13296 13150 0 -1 1077944320 10395 0 0 0 27 2 0 0 20 0 20 0 80956591 26729906176 10715 33554432000 4194304 4196468 140732714056736 140732714039280 139686556397303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 /proc/13296/statm: 6525856 10715 3287 1 0 6487932 0 [pid=13296/tid=13298] ppid=13293 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/13296/task/13298/stat : 13298 (java) R 13293 13296 13150 0 -1 4202560 8196 0 0 0 18 1 0 0 20 0 20 0 80956592 26729906176 10715 33554432000 4194304 4196468 140732714056736 139686560625120 139686540440933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13299] ppid=13293 vsize=26103424 memory=13939 CPUtime=0 cores=0-7 /proc/13296/task/13299/stat : 13299 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 10715 33554432000 4194304 4196468 140732714056736 139686509018256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13300] ppid=13293 vsize=26103424 memory=288370541555426944 CPUtime=0 cores=0-7 /proc/13296/task/13300/stat : 13300 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 10715 33554432000 4194304 4196468 140732714056736 139686507965456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13301] ppid=13293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13296/task/13301/stat : 13301 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 10715 33554432000 4194304 4196468 140732714056736 139686506912656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13302] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13302/stat : 13302 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 10715 33554432000 4194304 4196468 140732714056736 139686505859856 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13303] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13303/stat : 13303 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 10715 33554432000 4194304 4196468 140732714056736 139686504807056 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13304] ppid=13293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13296/task/13304/stat : 13304 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 10715 33554432000 4194304 4196468 140732714056736 139686503754256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13305] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13305/stat : 13305 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 10715 33554432000 4194304 4196468 140732714056736 139686502701456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13306] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13306/stat : 13306 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 10715 33554432000 4194304 4196468 140732714056736 139686501648656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13307] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13307/stat : 13307 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956594 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685142674288 139686556408450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13308] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13308/stat : 13308 (java) S 13293 13296 13150 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80956594 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685141620256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13309] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13309/stat : 13309 (java) S 13293 13296 13150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80956595 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685140567408 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13310] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13310/stat : 13310 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685139515728 139686556415899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13311] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13311/stat : 13311 (java) S 13293 13296 13150 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685138463088 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13312] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13312/stat : 13312 (java) S 13293 13296 13150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685137410288 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13313] ppid=13293 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/13296/task/13313/stat : 13313 (java) S 13293 13296 13150 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 80956597 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685136357488 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13314] ppid=13293 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/13296/task/13314/stat : 13314 (java) R 13293 13296 13150 0 -1 4202560 294 0 0 0 6 0 0 0 20 0 20 0 80956597 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685135304688 139686548351442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13315] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13315/stat : 13315 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685134253152 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13316] ppid=13293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13296/task/13316/stat : 13316 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956598 26729906176 10715 33554432000 4194304 4196468 140732714056736 139685133200432 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 42860 KiB [startup+0.310492 s]* /proc/loadavg: 6.70 3.60 2.52 3/200 13316 /proc/meminfo: memFree=20483692/32770624 swapFree=67108860/67108860 [pid=13296] ppid=13293 vsize=26103424 memory=46640 CPUtime=0.42 cores=0-7 /proc/13296/stat : 13296 (java) S 13293 13296 13150 0 -1 1077944320 10849 0 0 0 40 2 0 0 20 0 20 0 80956591 26729906176 11660 33554432000 4194304 4196468 140732714056736 140732714039280 139686556397303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 /proc/13296/statm: 6525856 11660 3385 1 0 6487932 0 [pid=13296/tid=13298] ppid=13293 vsize=26103424 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13296/task/13298/stat : 13298 (java) R 13293 13296 13150 0 -1 4202560 8541 0 0 0 28 1 0 0 20 0 20 0 80956592 26729906176 11660 33554432000 4194304 4196468 140732714056736 139686560559040 139686540477790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13299] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13299/stat : 13299 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 11660 33554432000 4194304 4196468 140732714056736 139686509018256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13300] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13300/stat : 13300 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 11660 33554432000 4194304 4196468 140732714056736 139686507965456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13301] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13301/stat : 13301 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 11660 33554432000 4194304 4196468 140732714056736 139686506912656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13302] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13302/stat : 13302 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 11660 33554432000 4194304 4196468 140732714056736 139686505859856 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13303] ppid=13293 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/13296/task/13303/stat : 13303 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 11660 33554432000 4194304 4196468 140732714056736 139686504807056 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13304] ppid=13293 vsize=26103424 memory=140165251167151 CPUtime=0 cores=0-7 /proc/13296/task/13304/stat : 13304 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 11660 33554432000 4194304 4196468 140732714056736 139686503754256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13305] ppid=13293 vsize=26103424 memory=140165251169456 CPUtime=0 cores=0-7 /proc/13296/task/13305/stat : 13305 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 11660 33554432000 4194304 4196468 140732714056736 139686502701456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13306] ppid=13293 vsize=26103424 memory=140165251171760 CPUtime=0 cores=0-7 /proc/13296/task/13306/stat : 13306 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26729906176 11660 33554432000 4194304 4196468 140732714056736 139686501648656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13307] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13307/stat : 13307 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956594 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685142674288 139686556408450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13308] ppid=13293 vsize=26103424 memory=280330502350480 CPUtime=0 cores=0-7 /proc/13296/task/13308/stat : 13308 (java) S 13293 13296 13150 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80956594 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685141620256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13309] ppid=13293 vsize=26103424 memory=280330502357392 CPUtime=0 cores=0-7 /proc/13296/task/13309/stat : 13309 (java) S 13293 13296 13150 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80956595 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685140567408 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13310] ppid=13293 vsize=26103424 memory=280330502298672 CPUtime=0 cores=0-7 /proc/13296/task/13310/stat : 13310 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685139515728 139686556415899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13311] ppid=13293 vsize=26103424 memory=280330502371216 CPUtime=0.01 cores=0-7 /proc/13296/task/13311/stat : 13311 (java) S 13293 13296 13150 0 -1 1077944384 539 0 0 0 1 0 0 0 20 0 20 0 80956597 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685138463088 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13312] ppid=13293 vsize=26103424 memory=280330502378128 CPUtime=0 cores=0-7 /proc/13296/task/13312/stat : 13312 (java) S 13293 13296 13150 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685137410288 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13313] ppid=13293 vsize=26103424 memory=280330502375824 CPUtime=0.01 cores=0-7 /proc/13296/task/13313/stat : 13313 (java) S 13293 13296 13150 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 80956597 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685136357488 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13314] ppid=13293 vsize=26103424 memory=280330502392432 CPUtime=0.08 cores=0-7 /proc/13296/task/13314/stat : 13314 (java) S 13293 13296 13150 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 20 0 80956597 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685135304688 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13315] ppid=13293 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13315/stat : 13315 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956597 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685134253152 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13316] ppid=13293 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/13296/task/13316/stat : 13316 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956598 26729906176 11660 33554432000 4194304 4196468 140732714056736 139685133200432 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46640 KiB [startup+0.700906 s] /proc/loadavg: 6.70 3.60 2.52 2/200 13316 /proc/meminfo: memFree=20459508/32770624 swapFree=67108860/67108860 [pid=13296] ppid=13293 vsize=26105492 memory=87560 CPUtime=0.98 cores=0-7 /proc/13296/stat : 13296 (java) S 13293 13296 13150 0 -1 1077944320 17815 0 0 0 93 5 0 0 20 0 20 0 80956591 26732023808 21890 33554432000 4194304 4196468 140732714056736 140732714039280 139686556397303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 /proc/13296/statm: 6526373 21890 3494 1 0 6488444 0 [pid=13296/tid=13298] ppid=13293 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7 /proc/13296/task/13298/stat : 13298 (java) R 13293 13296 13150 0 -1 4202560 15042 0 0 0 64 3 0 0 20 0 20 0 80956592 26732023808 21890 33554432000 4194304 4196468 140732714056736 139686560612416 139686556419229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13299] ppid=13293 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13299/stat : 13299 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26732023808 21890 33554432000 4194304 4196468 140732714056736 139686509018256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13300] ppid=13293 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13300/stat : 13300 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956593 26732023808 21890 33554432000 4194304 4196468 140732714056736 139686507965456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13301] ppid=13293 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/13296/task/13301/stat : 13301 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956593 26732023808 21890 33554432000 4194304 4196468 140732714056736 139686506912656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13302] ppid=13293 vsize=26105492 memory=1196 CPUtime=0 cores=0-7 /proc/13296/task/13302/stat : 13302 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26732023808 21890 33554432000 4194304 4196468 140732714056736 139686505859856 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13303] ppid=13293 vsize=26105492 memory=8532 CPUtime=0 cores=0-7 /proc/13296/task/13303/stat : 13303 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26732023808 21890 33554432000 4194304 4196468 140732714056736 139686504807056 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13304] ppid=13293 vsize=26105492 memory=4616 CPUtime=0 cores=0-7 /proc/13296/task/13304/stat : 13304 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956593 26732023808 21890 33554432000 4194304 4196468 140732714056736 139686503754256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13305] ppid=13293 vsize=26105492 memory=1424 CPUtime=0 cores=0-7 /proc/13296/task/13305/stat : 13305 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26732023808 21890 33554432000 4194304 4196468 140732714056736 139686502701456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13306] ppid=13293 vsize=26105492 memory=15868 CPUtime=0 cores=0-7 /proc/13296/task/13306/stat : 13306 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956593 26732023808 21890 33554432000 4194304 4196468 140732714056736 139686501648656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13307] ppid=13293 vsize=26105492 memory=4052 CPUtime=0 cores=0-7 /proc/13296/task/13307/stat : 13307 (java) S 13293 13296 13150 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956594 26732023808 21890 33554432000 4194304 4196468 140732714056736 139685142674288 139686556408450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 ################ # More data... # ################ [pid=13296/tid=13316] ppid=13293 vsize=27517708 memory=0 CPUtime=1.82 cores=0-7 /proc/13296/task/13316/stat : 13316 (java) S 13293 13296 13150 0 -1 1077944384 5374 0 0 0 81 101 0 0 20 0 41 0 80956598 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685133200432 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13317] ppid=13293 vsize=27517708 memory=2344 CPUtime=0.21 cores=0-7 /proc/13296/task/13317/stat : 13317 (java) S 13293 13296 13150 0 -1 1077944384 14773 0 0 0 13 8 0 0 20 0 41 0 80959043 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685119755344 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13318] ppid=13293 vsize=27517708 memory=928 CPUtime=9.11 cores=0-7 /proc/13296/task/13318/stat : 13318 (java) R 13293 13296 13150 0 -1 1077944384 12345 0 0 0 332 579 0 0 20 0 41 0 80959071 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685118702880 139686556408450 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13319] ppid=13293 vsize=27517708 memory=1580 CPUtime=907.9 cores=0-7 /proc/13296/task/13319/stat : 13319 (java) S 13293 13296 13150 0 -1 1077944384 405318 0 0 0 90143 647 0 0 20 0 41 0 80959087 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685115553040 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13320] ppid=13293 vsize=27517708 memory=10529828 CPUtime=783.73 cores=0-7 /proc/13296/task/13320/stat : 13320 (java) R 13293 13296 13150 0 -1 4202560 171179 0 0 0 77973 400 0 0 20 0 41 0 80959088 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685114497888 139686182107843 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13321] ppid=13293 vsize=27517708 memory=1936 CPUtime=786.59 cores=0-7 /proc/13296/task/13321/stat : 13321 (java) S 13293 13296 13150 0 -1 1077944384 116655 0 0 0 78317 342 0 0 20 0 41 0 80959088 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685113447440 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13322] ppid=13293 vsize=27517708 memory=1196 CPUtime=1065.74 cores=0-7 /proc/13296/task/13322/stat : 13322 (java) S 13293 13296 13150 0 -1 1077944384 305427 0 0 0 106010 564 0 0 20 0 41 0 80959095 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685110297488 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13323] ppid=13293 vsize=27517708 memory=10529700 CPUtime=459.15 cores=0-7 /proc/13296/task/13323/stat : 13323 (java) R 13293 13296 13150 0 -1 4202560 147189 0 0 0 45656 259 0 0 20 0 41 0 80959095 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685109240808 139686188173430 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13324] ppid=13293 vsize=27517708 memory=10529668 CPUtime=1300 cores=0-7 /proc/13296/task/13324/stat : 13324 (java) R 13293 13296 13150 0 -1 4202560 127808 0 0 0 129395 605 0 0 20 0 41 0 80959095 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685108185336 139686188173430 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13325] ppid=13293 vsize=27517708 memory=10529828 CPUtime=853.89 cores=0-7 /proc/13296/task/13325/stat : 13325 (java) S 13293 13296 13150 0 -1 1077944384 104162 0 0 0 85011 378 0 0 20 0 41 0 80959095 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685107140112 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13326] ppid=13293 vsize=27517708 memory=2443 CPUtime=670.08 cores=0-7 /proc/13296/task/13326/stat : 13326 (java) S 13293 13296 13150 0 -1 1077944384 171067 0 0 0 66590 418 0 0 20 0 41 0 80959095 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685106087312 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13327] ppid=13293 vsize=27517708 memory=19394 CPUtime=1531.39 cores=0-7 /proc/13296/task/13327/stat : 13327 (java) S 13293 13296 13150 0 -1 1077944384 412239 0 0 0 152318 821 0 0 20 0 41 0 80959096 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685105034512 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13328] ppid=13293 vsize=27517708 memory=19411 CPUtime=273.25 cores=0-7 /proc/13296/task/13328/stat : 13328 (java) R 13293 13296 13150 0 -1 4202560 33726 0 0 0 27248 77 0 0 20 0 41 0 80959096 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685103973888 139686188173458 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13329] ppid=13293 vsize=27517708 memory=10529892 CPUtime=525.23 cores=0-7 /proc/13296/task/13329/stat : 13329 (java) S 13293 13296 13150 0 -1 1077944384 87178 0 0 0 52230 293 0 0 20 0 41 0 80959096 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685102928912 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13330] ppid=13293 vsize=27517708 memory=288230574492221466 CPUtime=1419.81 cores=0-7 /proc/13296/task/13330/stat : 13330 (java) R 13293 13296 13150 0 -1 4202560 256479 0 0 0 141342 639 0 0 20 0 41 0 80959096 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685101868536 139686188173430 0 4 0 16800975 0 0 0 -1 3 0 0 37 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13331] ppid=13293 vsize=27517708 memory=288230583166042425 CPUtime=1307.36 cores=0-7 /proc/13296/task/13331/stat : 13331 (java) R 13293 13296 13150 0 -1 4202560 136215 0 0 0 130248 488 0 0 20 0 41 0 80959500 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685100821984 139686188173452 0 4 0 16800975 0 0 0 -1 6 0 0 35 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13332] ppid=13293 vsize=27517708 memory=15824378344507954 CPUtime=1734.93 cores=0-7 /proc/13296/task/13332/stat : 13332 (java) S 13293 13296 13150 0 -1 1077944384 166991 0 0 0 172804 689 0 0 20 0 41 0 80959500 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685099771536 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13333] ppid=13293 vsize=27517708 memory=1728 CPUtime=741.48 cores=0-7 /proc/13296/task/13333/stat : 13333 (java) R 13293 13296 13150 0 -1 4202560 137373 0 0 0 73811 337 0 0 20 0 41 0 80959500 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685098711240 139686188173430 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13334] ppid=13293 vsize=27517708 memory=0 CPUtime=1025.28 cores=0-7 /proc/13296/task/13334/stat : 13334 (java) S 13293 13296 13150 0 -1 1077944384 98782 0 0 0 102067 461 0 0 20 0 41 0 80959500 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685097665936 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13335] ppid=13293 vsize=27517708 memory=0 CPUtime=1070.9 cores=0-7 /proc/13296/task/13335/stat : 13335 (java) R 13293 13296 13150 0 -1 4202560 402476 0 0 0 106523 567 0 0 20 0 41 0 80960448 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685094473664 139686188173412 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13336] ppid=13293 vsize=27517708 memory=0 CPUtime=810.15 cores=0-7 /proc/13296/task/13336/stat : 13336 (java) S 13293 13296 13150 0 -1 1077944384 73115 0 0 0 80710 305 0 0 20 0 41 0 80960450 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685093426320 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13345] ppid=13293 vsize=27517708 memory=0 CPUtime=817.25 cores=0-7 /proc/13296/task/13345/stat : 13345 (java) S 13293 13296 13150 0 -1 1077944384 103135 0 0 0 81379 346 0 0 20 0 41 0 80965373 28178132992 2632476 33554432000 4194304 4196468 140732714056736 139685092373520 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 Current children cumulated CPU time: 19706.7 s Current children cumulated vsize: 27517708 KiB Current children cumulated memory: 10529904 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.50 8.73 8.34 10/220 13400 /proc/meminfo: memFree=9970016/32770624 swapFree=67108860/67108860 [pid=13296] ppid=13293 vsize=27517708 memory=10538136 CPUtime=19847.5 cores=0-7 /proc/13296/stat : 13296 (java) S 13293 13296 13150 0 -1 1077944320 6072581 0 0 0 1974591 10160 0 0 20 0 41 0 80956591 28178132992 2634534 33554432000 4194304 4196468 140732714056736 140732714039280 139686556397303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 /proc/13296/statm: 6879427 2634534 3626 1 0 6840977 0 [pid=13296/tid=13298] ppid=13293 vsize=27517708 memory=1398720917958146503 CPUtime=24.43 cores=0-7 /proc/13296/task/13298/stat : 13298 (java) S 13293 13296 13150 0 -1 1077944384 31233 0 0 0 2333 110 0 0 20 0 41 0 80956592 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139686560634768 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13299] ppid=13293 vsize=27517708 memory=9996 CPUtime=197.96 cores=0-7 /proc/13296/task/13299/stat : 13299 (java) S 13293 13296 13150 0 -1 1077944384 279894 0 0 0 19643 153 0 0 20 0 41 0 80956593 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139686509018256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13300] ppid=13293 vsize=27517708 memory=5792 CPUtime=198.15 cores=0-7 /proc/13296/task/13300/stat : 13300 (java) S 13293 13296 13150 0 -1 1077944384 273190 0 0 0 19657 158 0 0 20 0 41 0 80956593 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139686507965456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13301] ppid=13293 vsize=27517708 memory=1936 CPUtime=198.33 cores=0-7 /proc/13296/task/13301/stat : 13301 (java) S 13293 13296 13150 0 -1 1077944384 279623 0 0 0 19682 151 0 0 20 0 41 0 80956593 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139686506912656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13302] ppid=13293 vsize=27517708 memory=4126316290023845779 CPUtime=198.63 cores=0-7 /proc/13296/task/13302/stat : 13302 (java) S 13293 13296 13150 0 -1 1077944384 278126 0 0 0 19698 165 0 0 20 0 41 0 80956593 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139686505859856 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13303] ppid=13293 vsize=27517708 memory=2344 CPUtime=198.15 cores=0-7 /proc/13296/task/13303/stat : 13303 (java) S 13293 13296 13150 0 -1 1077944384 287566 0 0 0 19656 159 0 0 20 0 41 0 80956593 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139686504807056 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13304] ppid=13293 vsize=27517708 memory=928 CPUtime=198.53 cores=0-7 /proc/13296/task/13304/stat : 13304 (java) S 13293 13296 13150 0 -1 1077944384 275683 0 0 0 19702 151 0 0 20 0 41 0 80956593 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139686503754256 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13305] ppid=13293 vsize=27517708 memory=1580 CPUtime=198.24 cores=0-7 /proc/13296/task/13305/stat : 13305 (java) S 13293 13296 13150 0 -1 1077944384 275621 0 0 0 19665 159 0 0 20 0 41 0 80956593 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139686502701456 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13306] ppid=13293 vsize=27517708 memory=2240 CPUtime=198.2 cores=0-7 /proc/13296/task/13306/stat : 13306 (java) S 13293 13296 13150 0 -1 1077944384 273369 0 0 0 19667 153 0 0 20 0 41 0 80956593 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139686501648656 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13307] ppid=13293 vsize=27517708 memory=4128 CPUtime=3.37 cores=0-7 /proc/13296/task/13307/stat : 13307 (java) S 13293 13296 13150 0 -1 1077944384 120071 0 0 0 294 43 0 0 20 0 41 0 80956594 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685142674288 139686556408450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13308] ppid=13293 vsize=27517708 memory=2200 CPUtime=0 cores=0-7 /proc/13296/task/13308/stat : 13308 (java) S 13293 13296 13150 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 41 0 80956594 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685141620320 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13309] ppid=13293 vsize=27517708 memory=7528 CPUtime=0 cores=0-7 /proc/13296/task/13309/stat : 13309 (java) S 13293 13296 13150 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 41 0 80956595 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685140567424 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13310] ppid=13293 vsize=27517708 memory=844 CPUtime=0 cores=0-7 /proc/13296/task/13310/stat : 13310 (java) S 13293 13296 13150 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 80956597 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685139515728 139686556415899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13311] ppid=13293 vsize=27517708 memory=10529932 CPUtime=3.21 cores=0-7 /proc/13296/task/13311/stat : 13311 (java) S 13293 13296 13150 0 -1 1077944384 26900 0 0 0 312 9 0 0 20 0 41 0 80956597 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685138463088 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13312] ppid=13293 vsize=27517708 memory=928 CPUtime=3.13 cores=0-7 /proc/13296/task/13312/stat : 13312 (java) S 13293 13296 13150 0 -1 1077944384 25329 0 0 0 308 5 0 0 20 0 41 0 80956597 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685137410288 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13313] ppid=13293 vsize=27517708 memory=1580 CPUtime=3.52 cores=0-7 /proc/13296/task/13313/stat : 13313 (java) S 13293 13296 13150 0 -1 1077944384 27007 0 0 0 344 8 0 0 20 0 41 0 80956597 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685136357488 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13314] ppid=13293 vsize=27517708 memory=2240 CPUtime=2.06 cores=0-7 /proc/13296/task/13314/stat : 13314 (java) S 13293 13296 13150 0 -1 1077944384 107048 0 0 0 187 19 0 0 20 0 41 0 80956597 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685135304688 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13315] ppid=13293 vsize=27517708 memory=4128 CPUtime=0 cores=0-7 /proc/13296/task/13315/stat : 13315 (java) S 13293 13296 13150 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 80956597 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685134253152 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13316] ppid=13293 vsize=27517708 memory=1196 CPUtime=1.83 cores=0-7 /proc/13296/task/13316/stat : 13316 (java) S 13293 13296 13150 0 -1 1077944384 5413 0 0 0 81 102 0 0 20 0 41 0 80956598 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685133200432 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13317] ppid=13293 vsize=27517708 memory=8532 CPUtime=0.23 cores=0-7 /proc/13296/task/13317/stat : 13317 (java) S 13293 13296 13150 0 -1 1077944384 14917 0 0 0 14 9 0 0 20 0 41 0 80959043 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685119755344 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13318] ppid=13293 vsize=27517708 memory=4616 CPUtime=9.18 cores=0-7 /proc/13296/task/13318/stat : 13318 (java) S 13293 13296 13150 0 -1 1077944384 12419 0 0 0 339 579 0 0 20 0 41 0 80959071 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685118702880 139686556408450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13319] ppid=13293 vsize=27517708 memory=1424 CPUtime=922.03 cores=0-7 /proc/13296/task/13319/stat : 13319 (java) R 13293 13296 13150 0 -1 4202560 408576 0 0 0 91553 650 0 0 20 0 41 0 80959087 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685115545464 139686188173458 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13320] ppid=13293 vsize=27517708 memory=15868 CPUtime=799.53 cores=0-7 /proc/13296/task/13320/stat : 13320 (java) R 13293 13296 13150 0 -1 4202560 174194 0 0 0 79546 407 0 0 20 0 41 0 80959088 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685114497888 139686188173388 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13321] ppid=13293 vsize=27517708 memory=4052 CPUtime=786.59 cores=0-7 /proc/13296/task/13321/stat : 13321 (java) S 13293 13296 13150 0 -1 1077944384 116669 0 0 0 78317 342 0 0 20 0 41 0 80959088 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685113447440 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13322] ppid=13293 vsize=27517708 memory=18252 CPUtime=1065.74 cores=0-7 /proc/13296/task/13322/stat : 13322 (java) S 13293 13296 13150 0 -1 1077944384 305445 0 0 0 106010 564 0 0 20 0 41 0 80959095 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685110297488 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13323] ppid=13293 vsize=27517708 memory=13968 CPUtime=459.55 cores=0-7 /proc/13296/task/13323/stat : 13323 (java) S 13293 13296 13150 0 -1 1077944384 147297 0 0 0 45696 259 0 0 20 0 41 0 80959095 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685109245712 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13324] ppid=13293 vsize=27517708 memory=644 CPUtime=1301.6 cores=0-7 /proc/13296/task/13324/stat : 13324 (java) S 13293 13296 13150 0 -1 1077944384 127851 0 0 0 129555 605 0 0 20 0 41 0 80959095 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685108192912 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13325] ppid=13293 vsize=27517708 memory=1792 CPUtime=853.89 cores=0-7 /proc/13296/task/13325/stat : 13325 (java) S 13293 13296 13150 0 -1 1077944384 104223 0 0 0 85011 378 0 0 20 0 41 0 80959095 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685107140112 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13326] ppid=13293 vsize=27517708 memory=960 CPUtime=670.08 cores=0-7 /proc/13296/task/13326/stat : 13326 (java) S 13293 13296 13150 0 -1 1077944384 171080 0 0 0 66590 418 0 0 20 0 41 0 80959095 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685106087312 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13327] ppid=13293 vsize=27517708 memory=1232 CPUtime=1531.39 cores=0-7 /proc/13296/task/13327/stat : 13327 (java) S 13293 13296 13150 0 -1 1077944384 412252 0 0 0 152318 821 0 0 20 0 41 0 80959096 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685105034512 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13328] ppid=13293 vsize=27517708 memory=2344 CPUtime=288.87 cores=0-7 /proc/13296/task/13328/stat : 13328 (java) R 13293 13296 13150 0 -1 4202560 36608 0 0 0 28802 85 0 0 20 0 41 0 80959096 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685103977144 139686188173440 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13329] ppid=13293 vsize=27517708 memory=928 CPUtime=525.23 cores=0-7 /proc/13296/task/13329/stat : 13329 (java) S 13293 13296 13150 0 -1 1077944384 87190 0 0 0 52230 293 0 0 20 0 41 0 80959096 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685102928912 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13330] ppid=13293 vsize=27517708 memory=290763849282617370 CPUtime=1435.61 cores=0-7 /proc/13296/task/13330/stat : 13330 (java) R 13293 13296 13150 0 -1 4202560 258741 0 0 0 142914 647 0 0 20 0 41 0 80959096 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685101868536 139686188173440 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13331] ppid=13293 vsize=27517708 memory=288230583166042425 CPUtime=1323.16 cores=0-7 /proc/13296/task/13331/stat : 13331 (java) R 13293 13296 13150 0 -1 4202560 138064 0 0 0 131821 495 0 0 20 0 41 0 80959500 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685100816760 139686188173388 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13332] ppid=13293 vsize=27517708 memory=15824378344507954 CPUtime=1734.93 cores=0-7 /proc/13296/task/13332/stat : 13332 (java) S 13293 13296 13150 0 -1 1077944384 167007 0 0 0 172804 689 0 0 20 0 41 0 80959500 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685099771536 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13333] ppid=13293 vsize=27517708 memory=644 CPUtime=757.15 cores=0-7 /proc/13296/task/13333/stat : 13333 (java) R 13293 13296 13150 0 -1 4202560 139583 0 0 0 75374 341 0 0 20 0 41 0 80959500 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685098711240 139686188173458 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13334] ppid=13293 vsize=27517708 memory=1792 CPUtime=1025.28 cores=0-7 /proc/13296/task/13334/stat : 13334 (java) S 13293 13296 13150 0 -1 1077944384 98782 0 0 0 102067 461 0 0 20 0 41 0 80959500 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685097665936 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13335] ppid=13293 vsize=27517708 memory=960 CPUtime=1086.63 cores=0-7 /proc/13296/task/13335/stat : 13335 (java) R 13293 13296 13150 0 -1 4202560 405775 0 0 0 108093 570 0 0 20 0 41 0 80960448 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685094475016 139686188173458 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13336] ppid=13293 vsize=27517708 memory=1232 CPUtime=825.53 cores=0-7 /proc/13296/task/13336/stat : 13336 (java) R 13293 13296 13150 0 -1 4202560 75249 0 0 0 82246 307 0 0 20 0 41 0 80960450 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685093420016 139686188173440 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 [pid=13296/tid=13345] ppid=13293 vsize=27517708 memory=2344 CPUtime=817.25 cores=0-7 /proc/13296/task/13345/stat : 13345 (java) S 13293 13296 13150 0 -1 1077944384 103150 0 0 0 81379 346 0 0 20 0 41 0 80965373 28178132992 2634534 33554432000 4194304 4196468 140732714056736 139685092373520 139686556407509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 26927104 140732714058830 140732714059013 140732714059013 140732714061775 0 Current children cumulated CPU time: 19847.5 s Current children cumulated vsize: 27517708 KiB Current children cumulated memory: 10538136 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.41 s] # the end of solver process 13296 was just reported to runsolver # cumulated CPU time of all completed processes: user=19748.6 s, system=101.676 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.4 s]* /proc/loadavg: 8.50 8.73 8.34 2/181 13405 /proc/meminfo: memFree=20423516/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.41 CPU time (s): 19850.2 CPU user time (s): 19748.6 CPU system time (s): 101.676 CPU usage (%): 787.579 Max. virtual memory (cumulated for all children) (KiB): 27786012 Max. memory (cumulated for all children) (KiB): 10539348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19748.6 system time used= 101.676 maximum resident set size= 10539912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6079244 page faults= 0 swaps= 0 block input operations= 2560 block output operations= 4152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 458326 involuntary context switches= 417123 # summary of solver processes directly reported to runsolver: # pid: 13296 # total CPU time (s): 19850.2 # total CPU user time (s): 19748.6 # total CPU system time (s): 101.676 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 31.4852 second user time and 48.123 second system time The end
Begin job on node105 at 2018-07-26 21:38:54 IDJOB=4290974 IDBENCH=141142 IDSOLVER=2745 FILE ID=node105/4290974-1532633934 RUNJOBID= node105-1532633834-13177 PBS_JOBID= 21022174 Free space on /tmp= 44624 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/GraphColoring/GraphColoring-5-fullins-4_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290974-1532633934/watcher-4290974-1532633934 -o /tmp/evaluation-result-4290974-1532633934/solver-4290974-1532633934 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532633834-13177 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 846961635 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290974-1532633934.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6 RANDOM SEED=846961635 node105.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.32 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.32 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.32 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.32 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: 20517824 kB MemAvailable: 31930300 kB Buffers: 249328 kB Cached: 11304668 kB SwapCached: 0 kB Active: 2312204 kB Inactive: 9293000 kB Active(anon): 6036 kB Inactive(anon): 73460 kB Active(file): 2306168 kB Inactive(file): 9219540 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36008 kB Writeback: 0 kB AnonPages: 52380 kB Mapped: 40896 kB Shmem: 25228 kB Slab: 342920 kB SReclaimable: 315228 kB SUnreclaim: 27692 kB KernelStack: 2960 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44588 MiB End job on node105 at 2018-07-26 22:20:55