Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Concrete 3.4 | SAT (TO) | 756 | 2400.0801 | 2315.1399 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml |
| MD5SUM | f189c1eeae9c695eff92bc09b1867153 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.1299 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2401 |
| Number of constraints | 18424 |
| Number of domains | 1 |
| Minimum domain size | 1176 |
| Maximum domain size | 1176 |
| Distribution of domain sizes | [{"size":1176,"count":1176}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 48 |
| Distribution of variable degrees | [{"degree":0,"count":1225},{"degree":48,"count":1176}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":18424}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 18424 |
| Distribution of constraint types | [{"type":"intension","count":18424}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
3.26/2.17 c Concrete v3.4 running 76.78/48.63 o 1175 85.16/54.16 o 1174 90.87/59.52 o 1173 96.35/64.93 o 1172 102.10/70.31 o 1171 107.50/75.64 o 1170 113.00/80.97 o 1169 118.54/86.42 o 1168 124.15/91.78 o 1167 129.77/97.30 o 1166 135.23/102.77 o 1165 140.64/108.16 o 1164 146.62/114.08 o 1163 152.02/119.41 o 1162 157.33/124.74 o 1161 162.80/130.10 o 1160 168.12/135.49 o 1159 173.61/140.85 o 1158 179.11/146.40 o 1157 184.69/151.87 o 1156 190.09/157.24 o 1155 195.50/162.63 o 1154 201.06/168.16 o 1153 206.42/173.48 o 1152 211.91/178.84 o 1151 217.31/184.22 o 1150 222.63/189.56 o 1149 228.01/194.87 o 1148 232.90/199.74 o 1147 238.29/205.07 o 1146 243.69/210.44 o 1145 249.18/215.86 o 1144 254.59/221.24 o 1143 259.99/226.63 o 1142 265.45/232.02 o 1141 270.88/237.43 o 1140 276.24/242.76 o 1139 281.15/247.62 o 1138 286.45/252.97 o 1137 291.92/258.35 o 1136 297.32/263.78 o 1135 302.90/269.20 o 1134 308.20/274.55 o 1133 313.70/280.01 o 1132 319.06/285.38 o 1131 324.77/291.02 o 1130 329.73/295.98 o 1129 335.03/301.28 o 1128 340.50/306.65 o 1127 345.81/311.99 o 1126 351.29/317.31 o 1125 356.59/322.63 o 1124 362.08/328.01 o 1123 367.38/333.31 o 1122 372.75/338.66 o 1121 378.16/344.00 o 1120 383.53/349.38 o 1119 388.93/354.70 o 1118 394.40/360.11 o 1117 399.71/365.47 o 1116 405.18/370.84 o 1115 410.55/376.20 o 1114 415.95/381.59 o 1113 421.42/386.95 o 1112 426.90/392.30 o 1111 432.21/397.60 o 1110 437.58/402.94 o 1109 442.95/408.24 o 1108 448.25/413.52 o 1107 453.51/418.74 o 1106 458.88/424.05 o 1105 464.25/429.39 o 1104 469.74/434.77 o 1103 475.23/440.18 o 1102 480.70/445.56 o 1101 486.18/450.91 o 1100 491.56/456.26 o 1099 497.56/462.19 o 1098 503.06/467.57 o 1097 508.55/472.97 o 1096 514.05/478.35 o 1095 519.55/483.78 o 1094 524.95/489.10 o 1093 530.65/494.51 o 1092 536.00/499.88 o 1091 541.47/505.20 o 1090 546.79/510.50 o 1089 552.41/515.96 o 1088 557.92/521.39 o 1087 563.54/526.88 o 1086 569.05/532.26 o 1085 574.67/537.78 o 1084 580.07/543.11 o 1083 585.69/548.62 o 1082 591.10/553.99 o 1081 596.61/559.36 o 1080 602.13/564.78 o 1079 607.63/570.17 o 1078 613.13/575.54 o 1077 618.59/580.81 o 1076 624.08/586.27 o 1075 629.57/591.63 o 1074 635.07/597.09 o 1073 640.64/602.50 o 1072 646.22/607.91 o 1071 651.81/613.41 o 1070 656.70/618.29 o 1069 662.24/623.64 o 1068 667.61/628.92 o 1067 673.03/634.28 o 1066 678.54/639.62 o 1065 684.09/645.00 o 1064 689.46/650.35 o 1063 694.98/655.74 o 1062 700.40/661.08 o 1061 705.85/666.46 o 1060 711.37/671.88 o 1059 716.89/677.25 o 1058 722.46/682.62 o 1057 727.93/688.02 o 1056 733.46/693.41 o 1055 738.98/698.81 o 1054 744.42/704.18 o 1053 749.97/709.57 o 1052 755.32/714.89 o 1051 760.89/720.29 o 1050 766.51/725.72 o 1049 772.10/731.19 o 1048 777.70/736.62 o 1047 784.73/742.44 o 1046 790.11/747.75 o 1045 795.59/753.11 o 1044 801.47/758.98 o 1043 807.07/764.41 o 1042 811.96/769.23 o 1041 817.40/774.59 o 1040 822.90/779.97 o 1039 829.08/785.98 o 1038 834.73/791.42 o 1037 840.36/796.84 o 1036 845.67/802.18 o 1035 851.25/807.54 o 1034 856.89/812.99 o 1033 861.98/817.88 o 1032 867.77/823.32 o 1031 873.07/828.60 o 1030 878.69/834.00 o 1029 884.40/839.42 o 1028 889.80/844.81 o 1027 895.51/850.33 o 1026 901.32/855.89 o 1025 906.71/861.26 o 1024 912.45/866.72 o 1023 918.24/872.26 o 1022 923.75/877.70 o 1021 929.48/883.21 o 1020 934.88/888.65 o 1019 940.71/894.11 o 1018 946.36/899.55 o 1017 951.66/904.89 o 1016 957.49/910.36 o 1015 962.79/915.64 o 1014 968.44/921.08 o 1013 973.84/926.44 o 1012 979.70/931.93 o 1011 985.00/937.29 o 1010 990.75/942.74 o 1009 996.15/948.12 o 1008 1002.03/953.64 o 1007 1007.34/958.98 o 1006 1012.74/964.39 o 1005 1018.55/969.83 o 1004 1023.95/975.21 o 1003 1029.52/980.59 o 1002 1034.83/985.89 o 1001 1040.51/991.27 o 1000 1045.96/996.61 o 999 1051.64/1002.04 o 998 1056.95/1007.37 o 997 1062.73/1012.80 o 996 1068.03/1018.15 o 995 1073.73/1023.56 o 994 1079.03/1028.89 o 993 1084.44/1034.26 o 992 1090.24/1039.72 o 991 1095.74/1045.28 o 990 1101.54/1050.74 o 989 1106.85/1056.07 o 988 1112.66/1061.51 o 987 1117.96/1066.86 o 986 1123.26/1071.81 o 985 1128.58/1077.14 o 984 1134.29/1082.58 o 983 1139.70/1087.96 o 982 1145.51/1093.41 o 981 1150.81/1098.73 o 980 1156.11/1104.03 o 979 1161.82/1109.46 o 978 1167.14/1114.76 o 977 1172.95/1120.26 o 976 1178.35/1125.61 o 975 1184.16/1131.12 o 974 1189.56/1136.50 o 973 1195.29/1141.98 o 972 1200.69/1147.36 o 971 1206.51/1152.86 o 970 1211.91/1158.25 o 969 1217.72/1163.76 o 968 1223.12/1169.13 o 967 1228.85/1174.59 o 966 1234.36/1180.00 o 965 1240.06/1185.47 o 964 1245.48/1190.83 o 963 1251.06/1196.25 o 962 1256.61/1201.66 o 961 1262.01/1207.03 o 960 1267.74/1212.49 o 959 1273.15/1217.81 o 958 1278.86/1223.26 o 957 1284.27/1228.61 o 956 1289.98/1234.10 o 955 1295.38/1239.49 o 954 1301.30/1245.01 o 953 1306.60/1250.38 o 952 1312.41/1255.80 o 951 1317.72/1261.14 o 950 1323.52/1266.61 o 949 1328.92/1272.06 o 948 1334.34/1277.45 o 947 1339.96/1282.79 o 946 1345.46/1288.23 o 945 1351.16/1293.70 o 944 1356.56/1299.05 o 943 1362.39/1304.55 o 942 1367.80/1309.96 o 941 1373.91/1315.50 o 940 1379.21/1320.89 o 939 1385.02/1326.34 o 938 1390.42/1331.72 o 937 1396.24/1337.24 o 936 1401.64/1342.63 o 935 1406.96/1347.99 o 934 1412.69/1353.39 o 933 1418.10/1358.75 o 932 1423.42/1363.71 o 931 1428.72/1369.00 o 930 1434.44/1374.45 o 929 1439.85/1379.83 o 928 1445.66/1385.34 o 927 1451.06/1390.73 o 926 1456.77/1396.15 o 925 1462.19/1401.51 o 924 1466.98/1406.38 o 923 1472.71/1411.79 o 922 1478.11/1417.16 o 921 1485.08/1422.95 o 920 1490.39/1428.29 o 919 1495.98/1433.72 o 918 1501.29/1439.04 o 917 1506.78/1444.40 o 916 1512.08/1449.73 o 915 1517.60/1455.12 o 914 1523.01/1460.53 o 913 1528.31/1465.85 o 912 1533.75/1471.19 o 911 1539.16/1476.59 o 910 1544.70/1481.98 o 909 1550.14/1487.36 o 908 1555.70/1492.74 o 907 1561.00/1498.05 o 906 1566.57/1503.47 o 905 1571.98/1508.83 o 904 1577.57/1514.25 o 903 1583.48/1520.15 o 902 1589.09/1525.58 o 901 1594.50/1530.92 o 900 1600.12/1536.33 o 899 1605.52/1541.75 o 898 1611.15/1547.17 o 897 1616.56/1552.58 o 896 1621.97/1557.98 o 895 1627.72/1563.40 o 894 1633.03/1568.78 o 893 1638.71/1574.19 o 892 1644.10/1579.53 o 891 1649.79/1584.95 o 890 1655.09/1590.26 o 889 1660.81/1595.70 o 888 1666.31/1601.11 o 887 1672.13/1606.60 o 886 1677.44/1611.96 o 885 1683.25/1617.44 o 884 1688.65/1622.81 o 883 1694.22/1628.28 o 882 1699.29/1633.11 o 881 1704.58/1638.40 o 880 1710.20/1643.78 o 879 1716.11/1649.69 o 878 1721.91/1655.14 o 877 1727.21/1660.48 o 876 1733.01/1665.98 o 875 1738.42/1671.35 o 874 1744.23/1676.84 o 873 1749.63/1682.23 o 872 1755.44/1687.70 o 871 1760.24/1692.54 o 870 1765.96/1697.99 o 869 1771.37/1703.32 o 868 1777.09/1708.76 o 867 1782.49/1714.15 o 866 1787.40/1719.05 o 865 1793.11/1724.48 o 864 1798.50/1729.87 o 863 1804.33/1735.34 o 862 1809.73/1740.75 o 861 1815.43/1746.18 o 860 1820.83/1751.52 o 859 1826.54/1756.96 o 858 1831.44/1761.80 o 857 1837.17/1767.24 o 856 1841.98/1772.09 o 855 1847.38/1777.42 o 854 1853.10/1782.85 o 853 1858.41/1788.19 o 852 1864.22/1793.61 o 851 1869.62/1799.03 o 850 1875.43/1804.55 o 849 1880.94/1810.01 o 848 1886.65/1815.45 o 847 1892.05/1820.81 o 846 1897.76/1826.27 o 845 1903.16/1831.65 o 844 1908.98/1837.14 o 843 1914.28/1842.48 o 842 1920.00/1847.96 o 841 1925.51/1853.31 o 840 1930.81/1858.67 o 839 1936.53/1864.07 o 838 1941.94/1869.41 o 837 1947.75/1874.93 o 836 1953.05/1880.29 o 835 1958.87/1885.70 o 834 1964.17/1891.02 o 833 1969.89/1896.49 o 832 1975.30/1901.88 o 831 1981.22/1907.43 o 830 1986.02/1912.26 o 829 1991.33/1917.59 o 828 1997.15/1923.06 o 827 2002.56/1928.42 o 826 2008.19/1933.80 o 825 2013.59/1939.16 o 824 2018.80/1944.09 o 823 2024.20/1949.47 o 822 2030.03/1954.95 o 821 2035.53/1960.41 o 820 2041.35/1965.91 o 819 2046.77/1971.32 o 818 2052.07/1976.70 o 817 2057.88/1982.12 o 816 2063.19/1987.48 o 815 2069.01/1992.91 o 814 2074.31/1998.26 o 813 2080.13/2003.72 o 812 2085.54/2009.11 o 811 2091.26/2014.56 o 810 2096.67/2019.90 o 809 2102.40/2025.36 o 808 2107.70/2030.66 o 807 2112.99/2035.98 o 806 2118.73/2041.39 o 805 2124.13/2046.70 o 804 2129.86/2052.13 o 803 2135.17/2057.48 o 802 2140.88/2062.86 o 801 2146.19/2068.18 o 800 2152.12/2073.71 o 799 2157.62/2079.21 o 798 2163.55/2084.82 o 797 2169.05/2090.35 o 796 2174.65/2095.93 o 795 2180.49/2101.40 o 794 2185.79/2106.72 o 793 2191.53/2112.12 o 792 2197.06/2117.52 o 791 2202.78/2123.00 o 790 2208.18/2128.34 o 789 2213.90/2133.79 o 788 2219.40/2139.21 o 787 2225.23/2144.73 o 786 2230.53/2150.07 o 785 2235.93/2155.41 o 784 2241.66/2160.81 o 783 2246.98/2166.11 o 782 2252.80/2171.64 o 781 2258.21/2177.00 o 780 2263.93/2182.46 o 779 2268.83/2187.33 o 778 2274.56/2192.72 o 777 2279.86/2198.05 o 776 2285.17/2203.40 o 775 2290.89/2208.71 o 774 2296.20/2214.06 o 773 2302.04/2219.50 o 772 2307.34/2224.85 o 771 2313.15/2230.32 o 770 2318.56/2235.71 o 769 2324.37/2241.29 o 768 2330.18/2247.09 o 767 2336.51/2253.02 o 766 2342.32/2258.84 o 765 2348.22/2264.70 o 764 2354.26/2270.48 o 763 2360.05/2276.25 o 762 2365.86/2281.60 o 761 2371.57/2287.37 o 760 2377.79/2293.24 o 759 2383.60/2299.07 o 758 2389.92/2305.06 o 757 2395.72/2310.90 o 756 2400.02/2315.10 java.util.concurrent.TimeoutException 2400.02/2315.10 at concrete.MAC.mac(MAC.scala:74) 2400.02/2315.10 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2400.02/2315.10 at scala.util.Try$.apply(Try.scala:209) 2400.02/2315.10 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2400.02/2315.10 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2400.02/2315.10 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2400.02/2315.10 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2400.02/2315.10 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2400.02/2315.10 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2400.02/2315.10 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2400.02/2315.10 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2400.02/2315.10 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2400.02/2315.10 at concrete.MAC.oneRun(MAC.scala:146) 2400.02/2315.10 at concrete.MAC.nextSolution(MAC.scala:166) 2400.02/2315.10 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2400.02/2315.10 at concrete.ProblemState.map(ProblemState.scala:203) 2400.02/2315.10 at concrete.ProblemState.map(ProblemState.scala:188) 2400.02/2315.10 at concrete.MAC.nextSolution(MAC.scala:195) 2400.02/2315.10 at concrete.Solver.hasNext(Solver.scala:202) 2400.02/2315.10 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2400.02/2315.10 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2400.02/2315.10 at concrete.Solver.toStream(Solver.scala:73) 2400.02/2315.10 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2400.02/2315.10 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2400.02/2315.10 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2400.02/2315.10 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2400.02/2315.10 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2400.02/2315.10 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2400.02/2315.10 at scala.util.Success.map(Try.scala:209) 2400.02/2315.10 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2400.02/2315.10 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2400.02/2315.10 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.02/2315.10 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2400.02/2315.10 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.02/2315.10 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2400.02/2315.10 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2400.02/2315.10 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2400.02/2315.10 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2400.02/2315.10 at scala.collection.immutable.List.foreach(List.scala:389) 2400.02/2315.10 at scala.App.main(App.scala:76) 2400.02/2315.10 at scala.App.main$(App.scala:74) 2400.02/2315.10 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.02/2315.10 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.02/2315.11 v <instantiation cost="756"> 2400.02/2315.11 v <list> 2400.02/2315.11 v x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[44][45] x[44][46] x[44][47] x[44][48] x[45][46] x[45][47] x[45][48] x[46][47] x[46][48] x[47][48] 2400.02/2315.11 v </list> 2400.02/2315.11 v <values> 2400.02/2315.11 v 756 756 755 754 752 752 755 756 755 752 755 756 753 755 753 755 755 754 752 756 751 752 753 754 751 754 754 756 755 756 756 754 756 750 751 753 754 753 756 753 754 753 753 755 755 754 756 753 751 752 755 755 753 756 754 754 752 754 753 752 754 751 753 755 756 755 753 755 756 755 756 754 751 752 754 756 754 755 755 754 753 753 754 754 755 754 756 753 756 754 755 752 755 753 756 753 756 756 753 756 751 752 755 752 755 752 756 756 756 756 755 755 754 755 753 755 755 753 753 756 754 754 753 753 754 752 754 752 756 754 752 755 754 755 753 755 755 754 752 755 754 756 756 755 753 754 756 755 753 753 753 754 755 753 756 754 755 752 756 752 755 752 754 755 755 754 756 754 754 752 754 755 752 754 754 753 754 755 755 752 755 756 756 754 755 754 754 756 752 754 751 756 754 753 755 755 754 751 753 752 754 756 752 753 756 753 755 756 752 756 752 755 751 756 754 755 753 755 753 751 752 755 753 755 754 753 752 756 754 752 751 755 753 754 753 752 755 753 751 752 755 752 755 756 754 753 756 752 756 755 753 754 756 754 752 754 753 755 756 755 753 752 754 754 756 754 756 756 751 754 753 756 754 755 756 755 751 753 756 753 754 753 755 756 752 754 751 752 755 752 755 754 754 753 755 754 756 756 753 756 752 755 754 754 753 756 754 756 756 753 755 752 755 756 754 755 752 756 754 752 755 754 755 754 751 753 756 755 756 753 755 752 753 755 753 754 751 756 755 753 753 756 756 754 755 755 756 755 754 752 756 754 756 754 754 753 752 755 753 754 754 753 756 752 754 756 756 754 755 756 754 756 753 756 755 755 754 753 751 752 753 755 754 755 756 754 751 756 755 755 755 755 756 752 751 752 752 753 753 756 753 756 754 754 755 756 756 755 754 754 753 753 752 755 753 752 753 755 754 755 756 756 755 753 755 756 755 753 755 752 752 752 756 752 751 752 753 756 756 753 755 756 754 751 755 752 753 753 754 755 754 756 753 756 753 753 754 755 751 752 752 754 755 754 756 754 756 753 756 754 755 754 753 752 755 752 756 752 756 754 751 754 756 753 753 755 752 754 754 755 754 751 754 755 755 756 755 755 756 751 756 755 755 753 752 752 756 756 753 754 755 756 756 754 752 756 756 752 753 755 752 756 751 754 755 751 753 752 755 754 753 756 756 755 755 755 754 756 754 754 751 754 755 754 754 755 753 752 755 753 755 755 753 752 753 756 753 756 754 751 756 755 756 753 754 756 753 753 756 754 751 755 754 754 754 755 755 754 755 756 754 753 753 754 752 752 754 756 755 756 755 756 755 755 756 752 756 755 754 755 752 755 753 752 754 756 753 756 754 756 753 752 755 751 753 752 755 754 753 754 755 755 756 755 753 754 751 755 756 756 756 756 753 753 753 755 754 752 754 754 756 752 752 754 754 753 756 755 753 754 751 754 755 753 756 756 753 753 754 756 754 755 754 755 754 756 756 755 755 754 752 755 755 755 753 756 754 756 752 756 756 756 751 753 756 750 756 756 756 755 754 753 754 754 753 755 755 755 754 754 756 754 755 755 752 755 754 754 754 754 754 754 756 750 755 754 753 752 755 756 755 753 756 753 756 752 751 754 756 755 753 753 753 751 754 754 756 751 752 752 755 754 754 755 753 754 752 753 752 753 756 755 754 752 756 754 755 756 755 754 754 752 751 753 753 756 755 752 752 756 756 755 751 755 754 753 755 755 756 754 752 753 753 752 755 755 753 756 752 756 755 756 756 755 756 754 755 751 751 753 756 755 754 754 752 755 753 753 754 756 751 755 756 754 753 753 753 754 754 753 754 755 754 756 756 756 754 755 754 754 752 755 756 754 751 756 755 756 753 754 753 756 753 756 755 751 754 754 756 754 752 751 753 754 756 755 752 755 754 753 753 753 755 755 754 756 754 756 754 755 752 754 756 754 754 754 754 753 753 754 754 756 756 753 753 755 751 754 752 755 756 754 756 755 752 752 752 753 753 754 755 755 755 753 752 756 754 751 756 754 753 756 754 753 753 755 754 755 756 754 756 754 756 752 754 755 754 756 755 754 756 752 752 751 754 755 753 753 756 754 755 755 752 756 756 753 755 755 756 755 756 754 754 754 753 752 756 754 756 753 752 752 751 756 756 751 755 752 755 752 753 752 754 751 756 756 755 753 752 754 752 752 755 753 753 751 754 752 752 755 756 756 755 756 755 756 755 755 753 754 754 753 754 754 753 755 754 755 753 753 753 756 756 755 756 754 754 755 755 752 755 752 752 754 753 755 754 756 753 756 750 754 755 754 756 752 756 753 755 752 756 755 756 754 756 752 756 753 753 756 755 753 756 751 755 755 754 754 753 755 756 753 754 752 753 753 752 755 751 755 755 752 756 755 756 755 753 754 754 754 754 753 755 754 753 756 754 756 755 753 754 753 753 754 753 754 756 755 753 754 756 756 756 756 752 752 752 755 753 752 754 753 753 756 752 756 755 753 752 756 753 755 754 752 751 755 756 753 756 755 756 755 753 755 752 756 751 753 753 756 752 752 754 752 755 756 754 755 753 753 756 753 755 752 756 751 753 755 756 755 755 753 755 756 753 756 753 753 756 755 755 753 756 755 755 753 2400.02/2315.11 v </values> 2400.02/2315.11 v </instantiation> 2400.02/2315.11 s SATISFIABLE
OK 756
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248597-1502139960/watcher-4248597-1502139960 -o /tmp/evaluation-result-4248597-1502139960/solver-4248597-1502139960 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502129723-30086 --watchdog 2560 bin/concrete HOME/instance-4248597-1502139960.xml pid=32071 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.73 1.81 1.77 3/195 32074 /proc/meminfo: memFree=28709992/32770624 swapFree=0/459480 [pid=32074] ppid=32071 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/32074/stat : 32074 (runsolver) D 32071 32074 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 16216992 24240128 108 18446744073709551615 4194304 4338465 140732132560464 140732132558104 140525355139799 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 37027840 140732132565201 140732132565578 140732132565578 140732132569034 0 /proc/32074/statm: 5918 108 54 36 0 2156 0 [startup+0.100115 s] /proc/loadavg: 1.73 1.81 1.77 3/195 32074 /proc/meminfo: memFree=28709992/32770624 swapFree=0/459480 [pid=32074] ppid=32071 vsize=9640 CPUtime=0.01 cores=0,2,4,6 /proc/32074/stat : 32074 (bash) S 32071 32074 9955 0 -1 4202496 888 6446 0 0 0 0 0 1 20 0 1 0 16216992 9871360 373 18446744073709551615 4194304 5098028 140732871030848 140732871024856 140437034892288 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 7 0 0 7196144 7232144 7835648 140732871037461 140732871037546 140732871037546 140732871041002 0 /proc/32074/statm: 2410 373 292 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.20035 s] /proc/loadavg: 1.73 1.81 1.77 3/195 32074 /proc/meminfo: memFree=28709992/32770624 swapFree=0/459480 [pid=32074] ppid=32071 vsize=9936724 CPUtime=0.08 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 4198 12326 0 0 0 1 4 3 20 0 6 0 16216992 10175205376 4558 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2484181 4558 1911 1 0 2473678 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9936724 [startup+0.300358 s] /proc/loadavg: 1.73 1.81 1.77 3/195 32074 /proc/meminfo: memFree=28709992/32770624 swapFree=0/459480 [pid=32074] ppid=32071 vsize=10552364 CPUtime=0.17 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 6267 12326 0 0 9 1 4 3 20 0 15 0 16216992 10805620736 7460 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2638091 7460 2893 1 0 2627467 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 10552364 [startup+0.700239 s] /proc/loadavg: 1.73 1.81 1.77 3/195 32074 /proc/meminfo: memFree=28709992/32770624 swapFree=0/459480 [pid=32074] ppid=32071 vsize=10552792 CPUtime=0.72 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 13514 12326 0 0 60 5 4 3 20 0 15 0 16216992 10806059008 15030 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2638198 15030 3151 1 0 2627467 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 10552792 [startup+1.50066 s] /proc/loadavg: 1.73 1.81 1.77 3/210 32137 /proc/meminfo: memFree=28686304/32770624 swapFree=0/459512 [pid=32074] ppid=32071 vsize=10563416 CPUtime=1.94 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 29352 12326 0 0 176 11 4 3 20 0 15 0 16216992 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2640854 43608 3387 1 0 2630027 0 [pid=32074/tid=32124] ppid=32071 vsize=10563416 CPUtime=1.31 cores=0,2,4,6 /proc/32074/task/32124/stat : 32124 (java) R 32071 32074 9955 0 -1 4202560 22747 12326 0 0 117 7 4 3 20 0 15 0 16217010 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576777907680 140576773692822 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32125] ppid=32071 vsize=10563416 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32125/stat : 32125 (java) S 32071 32074 9955 0 -1 1077944384 47 12326 0 0 0 0 4 3 20 0 15 0 16217011 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576704101264 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32126] ppid=32071 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32126/stat : 32126 (java) S 32071 32074 9955 0 -1 1077944384 38 12326 0 0 1 0 4 3 20 0 15 0 16217011 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576703048464 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32127] ppid=32071 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32127/stat : 32127 (java) S 32071 32074 9955 0 -1 1077944384 37 12326 0 0 1 0 4 3 20 0 15 0 16217011 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576701996176 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32128] ppid=32071 vsize=10563416 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32128/stat : 32128 (java) S 32071 32074 9955 0 -1 1077944384 195 12326 0 0 0 0 4 3 20 0 15 0 16217011 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576700943376 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32129] ppid=32071 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32129/stat : 32129 (java) S 32071 32074 9955 0 -1 1077944384 1392 12326 0 0 1 0 4 3 20 0 15 0 16217012 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576269731952 140576773692034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32130] ppid=32071 vsize=10563416 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32130/stat : 32130 (java) S 32071 32074 9955 0 -1 1077944384 56 12326 0 0 0 0 4 3 20 0 15 0 16217013 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576268677984 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32131] ppid=32071 vsize=10563416 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32131/stat : 32131 (java) S 32071 32074 9955 0 -1 1077944384 43 12326 0 0 0 0 4 3 20 0 15 0 16217013 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576267625600 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32132] ppid=32071 vsize=10563416 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32132/stat : 32132 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576266573904 140576773699483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32133] ppid=32071 vsize=10563416 CPUtime=0.2 cores=0,2,4,6 /proc/32074/task/32133/stat : 32133 (java) S 32071 32074 9955 0 -1 1077944384 836 12326 0 0 13 0 4 3 20 0 15 0 16217016 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576265521776 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32134] ppid=32071 vsize=10563416 CPUtime=0.23 cores=0,2,4,6 /proc/32074/task/32134/stat : 32134 (java) R 32071 32074 9955 0 -1 1077944384 794 12326 0 0 16 0 4 3 20 0 15 0 16217016 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576264468976 140576773692034 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32135] ppid=32071 vsize=10563416 CPUtime=0.3 cores=0,2,4,6 /proc/32074/task/32135/stat : 32135 (java) S 32071 32074 9955 0 -1 1077944384 1015 12326 0 0 23 0 4 3 20 0 15 0 16217016 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576263416688 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32136] ppid=32071 vsize=10563416 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32136/stat : 32136 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576262364128 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32137] ppid=32071 vsize=10563416 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32137/stat : 32137 (java) S 32071 32074 9955 0 -1 1077944384 10 12326 0 0 0 0 4 3 20 0 15 0 16217020 10816937984 43608 18446744073709551615 4194304 4196468 140720435284896 140576261310896 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 Current children cumulated CPU time (s) 1.94 Current children cumulated vsize (KiB) 10563416 [startup+3.10089 s] /proc/loadavg: 1.73 1.81 1.77 5/210 32137 /proc/meminfo: memFree=28594908/32770624 swapFree=0/459512 [pid=32074] ppid=32071 vsize=10573844 CPUtime=6.36 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 41919 12326 0 0 611 18 4 3 20 0 15 0 16216992 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2643461 72773 3469 1 0 2632075 0 [pid=32074/tid=32124] ppid=32071 vsize=10573844 CPUtime=2.87 cores=0,2,4,6 /proc/32074/task/32124/stat : 32124 (java) R 32071 32074 9955 0 -1 4202560 29669 12326 0 0 270 10 4 3 20 0 15 0 16217010 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576777910496 140576753492304 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32125] ppid=32071 vsize=10573844 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32125/stat : 32125 (java) S 32071 32074 9955 0 -1 1077944384 54 12326 0 0 1 0 4 3 20 0 15 0 16217011 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576704101264 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32126] ppid=32071 vsize=10573844 CPUtime=0.09 cores=0,2,4,6 /proc/32074/task/32126/stat : 32126 (java) S 32071 32074 9955 0 -1 1077944384 73 12326 0 0 2 0 4 3 20 0 15 0 16217011 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576703048464 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32127] ppid=32071 vsize=10573844 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32127/stat : 32127 (java) S 32071 32074 9955 0 -1 1077944384 51 12326 0 0 1 0 4 3 20 0 15 0 16217011 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576701996176 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32128] ppid=32071 vsize=10573844 CPUtime=0.09 cores=0,2,4,6 /proc/32074/task/32128/stat : 32128 (java) S 32071 32074 9955 0 -1 1077944384 312 12326 0 0 2 0 4 3 20 0 15 0 16217011 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576700943376 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32129] ppid=32071 vsize=10573844 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32129/stat : 32129 (java) S 32071 32074 9955 0 -1 1077944384 1474 12326 0 0 1 0 4 3 20 0 15 0 16217012 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576269731952 140576773692034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32130] ppid=32071 vsize=10573844 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32130/stat : 32130 (java) S 32071 32074 9955 0 -1 1077944384 56 12326 0 0 0 0 4 3 20 0 15 0 16217013 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576268677984 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32131] ppid=32071 vsize=10573844 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32131/stat : 32131 (java) S 32071 32074 9955 0 -1 1077944384 43 12326 0 0 0 0 4 3 20 0 15 0 16217013 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576267625600 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32132] ppid=32071 vsize=10573844 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32132/stat : 32132 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576266573904 140576773699483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32133] ppid=32071 vsize=10573844 CPUtime=1.17 cores=0,2,4,6 /proc/32074/task/32133/stat : 32133 (java) R 32071 32074 9955 0 -1 4202560 1891 12326 0 0 108 2 4 3 20 0 15 0 16217016 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576265511968 140576758560436 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32134] ppid=32071 vsize=10573844 CPUtime=1.32 cores=0,2,4,6 /proc/32074/task/32134/stat : 32134 (java) R 32071 32074 9955 0 -1 4202560 3297 12326 0 0 124 1 4 3 20 0 15 0 16217016 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576264456864 140576753395668 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32135] ppid=32071 vsize=10573844 CPUtime=1.03 cores=0,2,4,6 /proc/32074/task/32135/stat : 32135 (java) R 32071 32074 9955 0 -1 1077944384 2847 12326 0 0 95 1 4 3 20 0 15 0 16217016 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576263416688 140576773692034 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32136] ppid=32071 vsize=10573844 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32136/stat : 32136 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576262364128 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32137] ppid=32071 vsize=10573844 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32137/stat : 32137 (java) S 32071 32074 9955 0 -1 1077944384 12 12326 0 0 0 0 4 3 20 0 15 0 16217020 10827616256 72773 18446744073709551615 4194304 4196468 140720435284896 140576261310896 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 Current children cumulated CPU time (s) 6.36 Current children cumulated vsize (KiB) 10573844 [startup+6.3007 s] /proc/loadavg: 2.07 1.88 1.79 5/210 32137 /proc/meminfo: memFree=28363076/32770624 swapFree=0/459516 [pid=32074] ppid=32071 vsize=10575892 CPUtime=15.21 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 62262 12326 0 0 1467 47 4 3 20 0 15 0 16216992 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2643973 164339 3491 1 0 2632587 0 [pid=32074/tid=32124] ppid=32071 vsize=10575892 CPUtime=5.79 cores=0,2,4,6 /proc/32074/task/32124/stat : 32124 (java) R 32071 32074 9955 0 -1 4202560 31965 12326 0 0 560 12 4 3 20 0 15 0 16217010 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576777915232 140576387190984 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32125] ppid=32071 vsize=10575892 CPUtime=0.31 cores=0,2,4,6 /proc/32074/task/32125/stat : 32125 (java) S 32071 32074 9955 0 -1 1077944384 863 12326 0 0 18 6 4 3 20 0 15 0 16217011 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576704101264 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32126] ppid=32071 vsize=10575892 CPUtime=0.33 cores=0,2,4,6 /proc/32074/task/32126/stat : 32126 (java) S 32071 32074 9955 0 -1 1077944384 355 12326 0 0 19 7 4 3 20 0 15 0 16217011 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576703048464 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32127] ppid=32071 vsize=10575892 CPUtime=0.32 cores=0,2,4,6 /proc/32074/task/32127/stat : 32127 (java) S 32071 32074 9955 0 -1 1077944384 643 12326 0 0 19 6 4 3 20 0 15 0 16217011 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576701996176 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32128] ppid=32071 vsize=10575892 CPUtime=0.34 cores=0,2,4,6 /proc/32074/task/32128/stat : 32128 (java) S 32071 32074 9955 0 -1 1077944384 823 12326 0 0 20 7 4 3 20 0 15 0 16217011 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576700943376 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32129] ppid=32071 vsize=10575892 CPUtime=0.1 cores=0,2,4,6 /proc/32074/task/32129/stat : 32129 (java) S 32071 32074 9955 0 -1 1077944384 1942 12326 0 0 3 0 4 3 20 0 15 0 16217012 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576269731952 140576773692034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32130] ppid=32071 vsize=10575892 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32130/stat : 32130 (java) S 32071 32074 9955 0 -1 1077944384 59 12326 0 0 0 0 4 3 20 0 15 0 16217013 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576268677984 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32131] ppid=32071 vsize=10575892 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32131/stat : 32131 (java) S 32071 32074 9955 0 -1 1077944384 48 12326 0 0 0 0 4 3 20 0 15 0 16217013 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576267625600 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32132] ppid=32071 vsize=10575892 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32132/stat : 32132 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576266573904 140576773699483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32133] ppid=32071 vsize=10575892 CPUtime=3.43 cores=0,2,4,6 /proc/32074/task/32133/stat : 32133 (java) S 32071 32074 9955 0 -1 1077944384 7892 12326 0 0 334 2 4 3 20 0 15 0 16217016 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576265521776 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32134] ppid=32071 vsize=10575892 CPUtime=3.64 cores=0,2,4,6 /proc/32074/task/32134/stat : 32134 (java) S 32071 32074 9955 0 -1 1077944384 9385 12326 0 0 356 1 4 3 20 0 15 0 16217016 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576264468976 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32135] ppid=32071 vsize=10575892 CPUtime=1.42 cores=0,2,4,6 /proc/32074/task/32135/stat : 32135 (java) S 32071 32074 9955 0 -1 1077944384 5465 12326 0 0 134 1 4 3 20 0 15 0 16217016 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576263416688 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32136] ppid=32071 vsize=10575892 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32136/stat : 32136 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576262364128 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32137] ppid=32071 vsize=10575892 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32137/stat : 32137 (java) S 32071 32074 9955 0 -1 1077944384 680 12326 0 0 0 0 4 3 20 0 15 0 16217020 10829713408 164339 18446744073709551615 4194304 4196468 140720435284896 140576261310896 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 Current children cumulated CPU time (s) 15.21 Current children cumulated vsize (KiB) 10575892 [startup+12.7008 s] /proc/loadavg: 2.31 1.93 1.81 3/210 32137 /proc/meminfo: memFree=27191444/32770624 swapFree=0/459520 [pid=32074] ppid=32071 vsize=10575892 CPUtime=24.88 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 70298 12326 0 0 2389 92 4 3 20 0 15 0 16216992 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2643973 435493 3493 1 0 2632587 0 [pid=32074/tid=32124] ppid=32071 vsize=10575892 CPUtime=11.86 cores=0,2,4,6 /proc/32074/task/32124/stat : 32124 (java) R 32071 32074 9955 0 -1 4202560 34441 12326 0 0 1155 24 4 3 20 0 15 0 16217010 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140576777915696 140576385888937 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32125] ppid=32071 vsize=10575892 CPUtime=0.63 cores=0,2,4,6 /proc/32074/task/32125/stat : 32125 (java) S 32071 32074 9955 0 -1 1077944384 1081 12326 0 0 42 14 4 3 20 0 15 0 16217011 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140576704101264 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32126] ppid=32071 vsize=10575892 CPUtime=0.64 cores=0,2,4,6 /proc/32074/task/32126/stat : 32126 (java) S 32071 32074 9955 0 -1 1077944384 587 12326 0 0 43 14 4 3 20 0 15 0 16217011 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140576703048464 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32127] ppid=32071 vsize=10575892 CPUtime=0.64 cores=0,2,4,6 /proc/32074/task/32127/stat : 32127 (java) S 32071 32074 9955 0 -1 1077944384 945 12326 0 0 43 14 4 3 20 0 15 0 16217011 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140576701996176 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32128] ppid=32071 vsize=10575892 CPUtime=0.65 cores=0,2,4,6 /proc/32074/task/32128/stat : 32128 (java) S 32071 32074 9955 0 -1 1077944384 993 12326 0 0 43 15 4 3 20 0 15 0 16217011 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140576700943376 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32129] ppid=32071 vsize=10575892 CPUtime=0.1 cores=0,2,4,6 /proc/32074/task/32129/stat : 32129 (java) S 32071 32074 9955 0 -1 1077944384 2657 12326 0 0 3 0 4 3 20 0 15 0 16217012 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140576269731952 140576773692034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32130] ppid=32071 vsize=10575892 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32130/stat : 32130 (java) S 32071 32074 9955 0 -1 1077944384 59 12326 0 0 0 0 4 3 20 0 15 0 16217013 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140576268677984 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32131] ppid=32071 vsize=10575892 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32131/stat : 32131 (java) S 32071 32074 9955 0 -1 1077944384 48 12326 0 0 0 0 4 3 20 0 15 0 16217013 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140576267625600 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32132] ppid=32071 vsize=10575892 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32132/stat : 32132 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10829713408 435493 18446744073709551615 4194304 4196468 140720435284896 140576266573904 140576773699483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 ################ # More data... # ################ /proc/32074/task/32136/stat : 32136 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10836004864 891270 18446744073709551615 4194304 4196468 140720435284896 140576262364128 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32137] ppid=32071 vsize=10582036 CPUtime=1.28 cores=0,2,4,6 /proc/32074/task/32137/stat : 32137 (java) S 32071 32074 9955 0 -1 1077944384 2211 12326 0 0 60 61 4 3 20 0 15 0 16217020 10836004864 891270 18446744073709551615 4194304 4196468 140720435284896 140576261310896 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 Current children cumulated CPU time (s) 2222.5 Current children cumulated vsize (KiB) 10582036 [startup+2202.31 s] /proc/loadavg: 1.56 1.58 1.61 3/209 32405 /proc/meminfo: memFree=26553520/32770624 swapFree=0/460808 [pid=32074] ppid=32071 vsize=10582036 CPUtime=2284.17 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 480735 12326 0 0 227991 419 4 3 20 0 15 0 16216992 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2645509 902904 3516 1 0 2634123 0 [pid=32074/tid=32124] ppid=32071 vsize=10582036 CPUtime=2182.69 cores=0,2,4,6 /proc/32074/task/32124/stat : 32124 (java) R 32071 32074 9955 0 -1 4202560 196091 12326 0 0 218195 67 4 3 20 0 15 0 16217010 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576777910208 140576379085990 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32125] ppid=32071 vsize=10582036 CPUtime=18.82 cores=0,2,4,6 /proc/32074/task/32125/stat : 32125 (java) S 32071 32074 9955 0 -1 1077944384 28138 12326 0 0 1806 69 4 3 20 0 15 0 16217011 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576704101264 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32126] ppid=32071 vsize=10582036 CPUtime=18.79 cores=0,2,4,6 /proc/32074/task/32126/stat : 32126 (java) S 32071 32074 9955 0 -1 1077944384 26676 12326 0 0 1804 68 4 3 20 0 15 0 16217011 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576703048464 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32127] ppid=32071 vsize=10582036 CPUtime=18.81 cores=0,2,4,6 /proc/32074/task/32127/stat : 32127 (java) S 32071 32074 9955 0 -1 1077944384 26562 12326 0 0 1804 70 4 3 20 0 15 0 16217011 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576701996176 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32128] ppid=32071 vsize=10582036 CPUtime=18.84 cores=0,2,4,6 /proc/32074/task/32128/stat : 32128 (java) S 32071 32074 9955 0 -1 1077944384 27083 12326 0 0 1806 71 4 3 20 0 15 0 16217011 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576700943376 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32129] ppid=32071 vsize=10582036 CPUtime=0.7 cores=0,2,4,6 /proc/32074/task/32129/stat : 32129 (java) S 32071 32074 9955 0 -1 1077944384 43896 12326 0 0 57 6 4 3 20 0 15 0 16217012 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576269731952 140576773692034 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32130] ppid=32071 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32130/stat : 32130 (java) S 32071 32074 9955 0 -1 1077944384 190 12326 0 0 1 0 4 3 20 0 15 0 16217013 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576268677984 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32131] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32131/stat : 32131 (java) S 32071 32074 9955 0 -1 1077944384 51 12326 0 0 0 0 4 3 20 0 15 0 16217013 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576267625600 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32132] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32132/stat : 32132 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576266573904 140576773699483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32133] ppid=32071 vsize=10582036 CPUtime=10.27 cores=0,2,4,6 /proc/32074/task/32133/stat : 32133 (java) S 32071 32074 9955 0 -1 1077944384 40270 12326 0 0 1015 5 4 3 20 0 15 0 16217016 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576265521776 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32134] ppid=32071 vsize=10582036 CPUtime=11.53 cores=0,2,4,6 /proc/32074/task/32134/stat : 32134 (java) S 32071 32074 9955 0 -1 1077944384 33647 12326 0 0 1142 4 4 3 20 0 15 0 16217016 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576264468976 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32135] ppid=32071 vsize=10582036 CPUtime=2.94 cores=0,2,4,6 /proc/32074/task/32135/stat : 32135 (java) S 32071 32074 9955 0 -1 1077944384 53740 12326 0 0 280 7 4 3 20 0 15 0 16217016 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576263416688 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32136] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32136/stat : 32136 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576262364128 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32137] ppid=32071 vsize=10582036 CPUtime=1.32 cores=0,2,4,6 /proc/32074/task/32137/stat : 32137 (java) S 32071 32074 9955 0 -1 1077944384 2249 12326 0 0 62 63 4 3 20 0 15 0 16217020 10836004864 902904 18446744073709551615 4194304 4196468 140720435284896 140576261310896 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 Current children cumulated CPU time (s) 2284.17 Current children cumulated vsize (KiB) 10582036 [startup+2262.3 s] /proc/loadavg: 1.74 1.63 1.63 3/209 32407 /proc/meminfo: memFree=26497872/32770624 swapFree=0/460892 [pid=32074] ppid=32071 vsize=10582036 CPUtime=2345.82 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 487850 12326 0 0 234152 423 4 3 20 0 15 0 16216992 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2645509 916619 3516 1 0 2634123 0 [pid=32074/tid=32124] ppid=32071 vsize=10582036 CPUtime=2242.13 cores=0,2,4,6 /proc/32074/task/32124/stat : 32124 (java) R 32071 32074 9955 0 -1 4202560 199344 12326 0 0 224139 67 4 3 20 0 15 0 16217010 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576777910208 140576391243132 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32125] ppid=32071 vsize=10582036 CPUtime=19.36 cores=0,2,4,6 /proc/32074/task/32125/stat : 32125 (java) S 32071 32074 9955 0 -1 1077944384 28925 12326 0 0 1859 70 4 3 20 0 15 0 16217011 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576704101264 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32126] ppid=32071 vsize=10582036 CPUtime=19.33 cores=0,2,4,6 /proc/32074/task/32126/stat : 32126 (java) S 32071 32074 9955 0 -1 1077944384 28072 12326 0 0 1857 69 4 3 20 0 15 0 16217011 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576703048464 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32127] ppid=32071 vsize=10582036 CPUtime=19.35 cores=0,2,4,6 /proc/32074/task/32127/stat : 32127 (java) S 32071 32074 9955 0 -1 1077944384 27110 12326 0 0 1858 70 4 3 20 0 15 0 16217011 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576701996176 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32128] ppid=32071 vsize=10582036 CPUtime=19.37 cores=0,2,4,6 /proc/32074/task/32128/stat : 32128 (java) S 32071 32074 9955 0 -1 1077944384 27512 12326 0 0 1859 71 4 3 20 0 15 0 16217011 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576700943376 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32129] ppid=32071 vsize=10582036 CPUtime=0.7 cores=0,2,4,6 /proc/32074/task/32129/stat : 32129 (java) S 32071 32074 9955 0 -1 1077944384 44176 12326 0 0 57 6 4 3 20 0 15 0 16217012 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576269731952 140576773692034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32130] ppid=32071 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32130/stat : 32130 (java) S 32071 32074 9955 0 -1 1077944384 194 12326 0 0 1 0 4 3 20 0 15 0 16217013 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576268677984 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32131] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32131/stat : 32131 (java) S 32071 32074 9955 0 -1 1077944384 51 12326 0 0 0 0 4 3 20 0 15 0 16217013 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576267625600 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32132] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32132/stat : 32132 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576266573904 140576773699483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32133] ppid=32071 vsize=10582036 CPUtime=10.27 cores=0,2,4,6 /proc/32074/task/32133/stat : 32133 (java) S 32071 32074 9955 0 -1 1077944384 40275 12326 0 0 1015 5 4 3 20 0 15 0 16217016 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576265521776 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32134] ppid=32071 vsize=10582036 CPUtime=11.53 cores=0,2,4,6 /proc/32074/task/32134/stat : 32134 (java) S 32071 32074 9955 0 -1 1077944384 34004 12326 0 0 1142 4 4 3 20 0 15 0 16217016 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576264468976 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32135] ppid=32071 vsize=10582036 CPUtime=2.94 cores=0,2,4,6 /proc/32074/task/32135/stat : 32135 (java) S 32071 32074 9955 0 -1 1077944384 53746 12326 0 0 280 7 4 3 20 0 15 0 16217016 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576263416688 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32136] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32136/stat : 32136 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576262364128 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32137] ppid=32071 vsize=10582036 CPUtime=1.36 cores=0,2,4,6 /proc/32074/task/32137/stat : 32137 (java) S 32071 32074 9955 0 -1 1077944384 2299 12326 0 0 64 65 4 3 20 0 15 0 16217020 10836004864 916619 18446744073709551615 4194304 4196468 140720435284896 140576261310896 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 Current children cumulated CPU time (s) 2345.82 Current children cumulated vsize (KiB) 10582036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2315.1 s] /proc/loadavg: 1.81 1.67 1.64 3/213 32424 /proc/meminfo: memFree=26455444/32770624 swapFree=0/460996 [pid=32074] ppid=32071 vsize=10582036 CPUtime=2400.02 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 493854 12326 0 0 239569 426 4 3 20 0 15 0 16216992 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2645509 926347 3516 1 0 2634123 0 [pid=32074/tid=32124] ppid=32071 vsize=10582036 CPUtime=2294.51 cores=0,2,4,6 /proc/32074/task/32124/stat : 32124 (java) R 32071 32074 9955 0 -1 4202560 201745 12326 0 0 229376 68 4 3 20 0 15 0 16217010 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576777910208 140576392600852 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32125] ppid=32071 vsize=10582036 CPUtime=19.78 cores=0,2,4,6 /proc/32074/task/32125/stat : 32125 (java) S 32071 32074 9955 0 -1 1077944384 29739 12326 0 0 1901 70 4 3 20 0 15 0 16217011 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576704101264 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32126] ppid=32071 vsize=10582036 CPUtime=19.76 cores=0,2,4,6 /proc/32074/task/32126/stat : 32126 (java) S 32071 32074 9955 0 -1 1077944384 28836 12326 0 0 1900 69 4 3 20 0 15 0 16217011 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576703048464 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32127] ppid=32071 vsize=10582036 CPUtime=19.77 cores=0,2,4,6 /proc/32074/task/32127/stat : 32127 (java) S 32071 32074 9955 0 -1 1077944384 27695 12326 0 0 1900 70 4 3 20 0 15 0 16217011 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576701996176 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32128] ppid=32071 vsize=10582036 CPUtime=19.8 cores=0,2,4,6 /proc/32074/task/32128/stat : 32128 (java) S 32071 32074 9955 0 -1 1077944384 28095 12326 0 0 1901 72 4 3 20 0 15 0 16217011 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576700943376 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32129] ppid=32071 vsize=10582036 CPUtime=0.7 cores=0,2,4,6 /proc/32074/task/32129/stat : 32129 (java) S 32071 32074 9955 0 -1 1077944384 44328 12326 0 0 57 6 4 3 20 0 15 0 16217012 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576269731952 140576773692034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32130] ppid=32071 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32130/stat : 32130 (java) S 32071 32074 9955 0 -1 1077944384 198 12326 0 0 1 0 4 3 20 0 15 0 16217013 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576268677984 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32131] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32131/stat : 32131 (java) S 32071 32074 9955 0 -1 1077944384 51 12326 0 0 0 0 4 3 20 0 15 0 16217013 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576267625600 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32132] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32132/stat : 32132 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576266573904 140576773699483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32133] ppid=32071 vsize=10582036 CPUtime=10.35 cores=0,2,4,6 /proc/32074/task/32133/stat : 32133 (java) S 32071 32074 9955 0 -1 1077944384 40780 12326 0 0 1023 5 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576265521776 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32134] ppid=32071 vsize=10582036 CPUtime=11.53 cores=0,2,4,6 /proc/32074/task/32134/stat : 32134 (java) S 32071 32074 9955 0 -1 1077944384 34006 12326 0 0 1142 4 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576264468976 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32135] ppid=32071 vsize=10582036 CPUtime=2.94 cores=0,2,4,6 /proc/32074/task/32135/stat : 32135 (java) S 32071 32074 9955 0 -1 1077944384 53909 12326 0 0 280 7 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576263416688 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32136] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32136/stat : 32136 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576262364128 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32137] ppid=32071 vsize=10582036 CPUtime=1.39 cores=0,2,4,6 /proc/32074/task/32137/stat : 32137 (java) S 32071 32074 9955 0 -1 1077944384 2330 12326 0 0 66 66 4 3 20 0 15 0 16217020 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576261310896 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 10582036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 32074 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2315.1 s] /proc/loadavg: 1.81 1.67 1.64 3/213 32424 /proc/meminfo: memFree=26455444/32770624 swapFree=0/460996 [pid=32074] ppid=32071 vsize=10582036 CPUtime=2400.02 cores=0,2,4,6 /proc/32074/stat : 32074 (java) S 32071 32074 9955 0 -1 1077944320 493854 12326 0 0 239569 426 4 3 20 0 15 0 16216992 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140720435267440 140576773680887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 /proc/32074/statm: 2645509 926347 3516 1 0 2634123 0 [pid=32074/tid=32124] ppid=32071 vsize=10582036 CPUtime=2294.51 cores=0,2,4,6 /proc/32074/task/32124/stat : 32124 (java) R 32071 32074 9955 0 -1 4202560 201745 12326 0 0 229376 68 4 3 20 0 15 0 16217010 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576777910208 140576392600852 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32125] ppid=32071 vsize=10582036 CPUtime=19.78 cores=0,2,4,6 /proc/32074/task/32125/stat : 32125 (java) S 32071 32074 9955 0 -1 1077944384 29739 12326 0 0 1901 70 4 3 20 0 15 0 16217011 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576704101264 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32126] ppid=32071 vsize=10582036 CPUtime=19.76 cores=0,2,4,6 /proc/32074/task/32126/stat : 32126 (java) S 32071 32074 9955 0 -1 1077944384 28836 12326 0 0 1900 69 4 3 20 0 15 0 16217011 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576703048464 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32127] ppid=32071 vsize=10582036 CPUtime=19.77 cores=0,2,4,6 /proc/32074/task/32127/stat : 32127 (java) S 32071 32074 9955 0 -1 1077944384 27695 12326 0 0 1900 70 4 3 20 0 15 0 16217011 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576701996176 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32128] ppid=32071 vsize=10582036 CPUtime=19.8 cores=0,2,4,6 /proc/32074/task/32128/stat : 32128 (java) S 32071 32074 9955 0 -1 1077944384 28095 12326 0 0 1901 72 4 3 20 0 15 0 16217011 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576700943376 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32129] ppid=32071 vsize=10582036 CPUtime=0.7 cores=0,2,4,6 /proc/32074/task/32129/stat : 32129 (java) S 32071 32074 9955 0 -1 1077944384 44328 12326 0 0 57 6 4 3 20 0 15 0 16217012 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576269731952 140576773692034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32130] ppid=32071 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/32074/task/32130/stat : 32130 (java) S 32071 32074 9955 0 -1 1077944384 198 12326 0 0 1 0 4 3 20 0 15 0 16217013 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576268677984 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32131] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32131/stat : 32131 (java) S 32071 32074 9955 0 -1 1077944384 51 12326 0 0 0 0 4 3 20 0 15 0 16217013 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576267625600 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32132] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32132/stat : 32132 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576266573904 140576773699483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32133] ppid=32071 vsize=10582036 CPUtime=10.35 cores=0,2,4,6 /proc/32074/task/32133/stat : 32133 (java) S 32071 32074 9955 0 -1 1077944384 40780 12326 0 0 1023 5 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576265521776 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32134] ppid=32071 vsize=10582036 CPUtime=11.53 cores=0,2,4,6 /proc/32074/task/32134/stat : 32134 (java) S 32071 32074 9955 0 -1 1077944384 34006 12326 0 0 1142 4 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576264468976 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32135] ppid=32071 vsize=10582036 CPUtime=2.94 cores=0,2,4,6 /proc/32074/task/32135/stat : 32135 (java) S 32071 32074 9955 0 -1 1077944384 53909 12326 0 0 280 7 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576263416688 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32136] ppid=32071 vsize=10582036 CPUtime=0.07 cores=0,2,4,6 /proc/32074/task/32136/stat : 32136 (java) S 32071 32074 9955 0 -1 1077944384 3 12326 0 0 0 0 4 3 20 0 15 0 16217016 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576262364128 140576773691093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 [pid=32074/tid=32137] ppid=32071 vsize=10582036 CPUtime=1.39 cores=0,2,4,6 /proc/32074/task/32137/stat : 32137 (java) S 32071 32074 9955 0 -1 1077944384 2330 12326 0 0 66 66 4 3 20 0 15 0 16217020 10836004864 926347 18446744073709551615 4194304 4196468 140720435284896 140576261310896 140576773692034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140720435292124 140720435294898 140720435294898 140720435298255 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 10582036 Child status: 143 Real time (s): 2315.14 CPU time (s): 2400.08 CPU user time (s): 2395.76 CPU system time (s): 4.32351 CPU usage (%): 103.669 Max. virtual memory (cumulated for all children) (KiB): 10582036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.76 system time used= 4.32351 maximum resident set size= 3705480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 506721 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3048 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 65733 involuntary context switches= 3232 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2571 second user time and 14.2071 second system time The end
Begin job on node125 at 2017-08-07 22:51:57 IDJOB=4248597 IDBENCH=140594 IDSOLVER=2630 FILE ID=node125/4248597-1502139960 RUNJOBID= node125-1502129723-30086 PBS_JOBID= Free space on /tmp= 62004 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-49.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248597-1502139960/watcher-4248597-1502139960 -o /tmp/evaluation-result-4248597-1502139960/solver-4248597-1502139960 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502129723-30086 --watchdog 2560 bin/concrete HOME/instance-4248597-1502139960.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f189c1eeae9c695eff92bc09b1867153 RANDOM SEED=1257615956 node125.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.07 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.07 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.07 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.07 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: 28710380 kB MemAvailable: 29219532 kB Buffers: 168428 kB Cached: 628488 kB SwapCached: 0 kB Active: 3168152 kB Inactive: 476196 kB Active(anon): 2848084 kB Inactive(anon): 16716 kB Active(file): 320068 kB Inactive(file): 459480 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 25284 kB Writeback: 4 kB AnonPages: 2847756 kB Mapped: 45896 kB Shmem: 17060 kB Slab: 115576 kB SReclaimable: 90876 kB SUnreclaim: 24700 kB KernelStack: 3440 kB PageTables: 10092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3336044 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2600960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61980 MiB End job on node125 at 2017-08-07 23:30:32