Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 889 | 2400.1201 | 2325.55 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml |
| MD5SUM | 6af071621bab6d4e45a1e2acc37440b7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.1101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2116 |
| Number of constraints | 15180 |
| Number of domains | 1 |
| Minimum domain size | 1035 |
| Maximum domain size | 1035 |
| Distribution of domain sizes | [{"size":1035,"count":1035}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 45 |
| Distribution of variable degrees | [{"degree":0,"count":1081},{"degree":45,"count":1035}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":15180}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 15180 |
| Distribution of constraint types | [{"type":"intension","count":15180}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.25/0.37 c version: 2017-06-30 0.25/0.37 c seed: 469128551 0.25/0.37 c timeout: 2400 0.25/0.37 c memlimit: 15500 0.25/0.37 c nbcore: 4 0.25/0.39 c Parsing instance... 6.48/2.32 c Parsing done, starting search... 24.57/18.78 o 1034 42.47/35.69 o 1033 60.25/52.75 o 1032 77.73/69.67 o 1031 95.15/86.50 o 1030 112.40/103.36 o 1029 129.82/120.26 o 1028 147.38/137.21 o 1027 164.65/154.09 o 1026 181.96/170.83 o 1025 199.32/187.74 o 1024 216.66/204.58 o 1023 233.91/221.37 o 1022 251.16/238.04 o 1021 268.40/254.89 o 1020 285.71/271.63 o 1019 302.93/288.38 o 1018 320.08/305.04 o 1017 337.89/321.82 o 1016 355.01/338.53 o 1015 372.30/355.31 o 1014 389.44/372.03 o 1013 406.47/388.62 o 1012 423.51/405.23 o 1011 440.49/421.77 o 1010 457.44/438.28 o 1009 474.57/454.92 o 1008 491.46/471.35 o 1007 508.48/487.93 o 1006 525.82/504.48 o 1005 542.85/521.08 o 1004 559.92/537.64 o 1003 576.84/554.12 o 1002 593.71/570.57 o 1001 610.73/587.10 o 1000 627.60/603.59 o 999 644.54/620.00 o 998 661.32/636.31 o 997 678.14/652.71 o 996 694.83/668.97 o 995 711.66/685.39 o 994 729.28/701.92 o 993 745.90/718.16 o 992 762.61/734.44 o 991 780.47/751.86 o 990 798.29/769.17 o 989 816.17/786.51 o 988 834.04/803.91 o 987 851.72/821.18 o 986 869.55/838.55 o 985 887.47/855.98 o 984 905.25/873.24 o 983 923.03/890.50 o 982 941.17/907.85 o 981 958.89/925.05 o 980 976.46/942.18 o 979 993.98/959.29 o 978 1011.68/976.45 o 977 1029.11/993.44 o 976 1046.57/1010.44 o 975 1064.06/1027.44 o 974 1081.53/1044.40 o 973 1098.74/1061.20 o 972 1116.03/1078.01 o 971 1133.40/1094.92 o 970 1150.73/1111.82 o 969 1167.86/1128.53 o 968 1185.60/1145.40 o 967 1202.67/1162.01 o 966 1219.68/1178.61 o 965 1236.67/1195.12 o 964 1253.52/1211.56 o 963 1270.34/1227.97 o 962 1287.21/1244.33 o 961 1303.95/1260.62 o 960 1320.67/1276.90 o 959 1337.24/1293.10 o 958 1353.85/1309.25 o 957 1370.48/1325.49 o 956 1387.27/1341.73 o 955 1403.70/1357.73 o 954 1420.63/1373.81 o 953 1436.95/1389.70 o 952 1453.06/1405.49 o 951 1469.37/1421.33 o 950 1485.64/1437.11 o 949 1501.84/1452.84 o 948 1517.93/1468.43 o 947 1533.86/1483.94 o 946 1549.78/1499.48 o 945 1565.70/1514.95 o 944 1581.62/1530.49 o 943 1597.65/1546.07 o 942 1613.57/1561.51 o 941 1629.41/1576.95 o 940 1645.34/1592.41 o 939 1661.75/1608.00 o 938 1677.47/1623.34 o 937 1693.18/1638.66 o 936 1708.90/1653.98 o 935 1724.52/1669.19 o 934 1740.23/1684.40 o 933 1755.84/1699.61 o 932 1771.46/1714.81 o 931 1786.88/1729.84 o 930 1802.59/1745.10 o 929 1818.01/1760.19 o 928 1833.61/1775.31 o 927 1848.98/1790.37 o 926 1864.42/1805.39 o 925 1879.85/1820.31 o 924 1895.17/1835.22 o 923 1910.99/1850.26 o 922 1926.26/1865.17 o 921 1941.47/1879.98 o 920 1956.58/1894.67 o 919 1971.54/1909.30 o 918 1986.75/1924.01 o 917 2001.77/1938.65 o 916 2016.77/1953.22 o 915 2031.64/1967.77 o 914 2046.56/1982.28 o 913 2061.43/1996.72 o 912 2076.15/2011.01 o 911 2090.82/2025.37 o 910 2105.54/2039.65 o 909 2120.22/2053.94 o 908 2134.80/2068.13 o 907 2149.37/2082.40 o 906 2164.48/2096.65 o 905 2178.95/2110.72 o 904 2193.16/2124.55 o 903 2207.44/2138.48 o 902 2221.71/2152.36 o 901 2235.96/2166.21 o 900 2250.05/2180.00 o 899 2264.33/2193.89 o 898 2278.62/2207.71 o 897 2292.67/2221.46 o 896 2306.63/2235.09 o 895 2320.75/2248.75 o 894 2334.93/2262.51 o 893 2349.00/2276.29 o 892 2363.06/2289.91 o 891 2376.94/2303.44 o 890 2390.80/2316.96 o 889 2400.06/2325.51 s SATISFIABLE 2400.06/2325.51 v <instantiation> 2400.06/2325.51 v <list> 2400.06/2325.51 v x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][42] x[41][43] x[41][44] x[41][45] x[42][43] x[42][44] x[42][45] x[43][44] x[43][45] x[44][45] 2400.06/2325.51 v </list> 2400.06/2325.51 v <values> 2400.06/2325.51 v 887 888 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 888 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 889 862 862 861 861 861 861 861 861 861 861 861 861 861 861 862 861 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 875 876 877 878 879 880 881 882 883 884 885 886 887 888 876 877 878 879 880 881 882 883 884 885 886 887 888 877 878 879 880 881 882 883 884 885 886 887 888 878 879 880 881 882 883 884 885 886 887 888 879 880 881 882 883 884 885 886 887 888 880 881 882 883 884 885 886 887 888 881 882 883 884 885 886 887 888 882 883 884 885 886 887 888 883 884 885 886 887 888 884 885 886 887 888 885 886 887 888 886 887 888 887 888 888 2400.06/2325.51 v </values> 2400.06/2325.51 v </instantiation>
OK 889
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-4248644-1502125050/watcher-4248644-1502125050 -o /tmp/evaluation-result-4248644-1502125050/solver-4248644-1502125050 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15256 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 469128551 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248644-1502125050.xml pid=25768 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.51 1.58 1.57 4/199 25771 /proc/meminfo: memFree=27682576/32770624 swapFree=0/352028 [pid=25771] ppid=25768 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/25771/stat : 25771 (runsolver) D 25768 25771 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 60320310 24240128 106 18446744073709551615 4194304 4338465 140727414249712 140727414247352 139789907739351 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 36732928 140727414255718 140727414256201 140727414256201 140727414259658 0 /proc/25771/statm: 5918 106 53 36 0 2156 0 [startup+0.104816 s] /proc/loadavg: 1.51 1.58 1.57 4/199 25771 /proc/meminfo: memFree=27682576/32770624 swapFree=0/352028 [pid=25771] ppid=25768 vsize=12313592 CPUtime=0.01 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 3674 0 0 0 1 0 0 0 20 0 7 0 60320310 12609118208 3862 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3094782 3862 1969 1 0 3084279 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12313592 [startup+0.202165 s] /proc/loadavg: 1.51 1.58 1.57 4/199 25771 /proc/meminfo: memFree=27682576/32770624 swapFree=0/352028 [pid=25771] ppid=25768 vsize=12914512 CPUtime=0.09 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 7000 0 0 0 8 1 0 0 20 0 15 0 60320310 13224460288 7184 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3228628 7184 3354 1 0 3217407 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12914512 [startup+0.300221 s] /proc/loadavg: 1.51 1.58 1.57 4/199 25771 /proc/meminfo: memFree=27682576/32770624 swapFree=0/352028 [pid=25771] ppid=25768 vsize=12914512 CPUtime=0.25 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 10359 0 0 0 22 3 0 0 20 0 15 0 60320310 13224460288 9608 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3228884 9608 3549 1 0 3217663 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 12914512 [startup+0.701621 s] /proc/loadavg: 1.51 1.58 1.57 4/199 25771 /proc/meminfo: memFree=27682576/32770624 swapFree=0/352028 [pid=25771] ppid=25768 vsize=12916580 CPUtime=1.22 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 15984 0 0 0 117 5 0 0 20 0 15 0 60320310 13226577920 22332 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3229145 22332 3732 1 0 3217919 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 12916580 [startup+1.50064 s] /proc/loadavg: 1.51 1.58 1.57 5/214 25786 /proc/meminfo: memFree=27485388/32770624 swapFree=0/352512 [pid=25771] ppid=25768 vsize=12916580 CPUtime=3.83 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 19949 0 0 0 373 10 0 0 20 0 15 0 60320310 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3229145 55811 3782 1 0 3217919 0 [pid=25771/tid=25773] ppid=25768 vsize=12916580 CPUtime=1.33 cores=0,2,4,6 /proc/25771/task/25773/stat : 25773 (java) R 25768 25771 25100 0 -1 4202560 10801 0 0 0 128 5 0 0 20 0 15 0 60320319 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309461477472 140309087774330 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25774] ppid=25768 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25774/stat : 25774 (java) S 25768 25771 25100 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 60320320 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309414210320 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25775] ppid=25768 vsize=12916580 CPUtime=0.01 cores=0,2,4,6 /proc/25771/task/25775/stat : 25775 (java) S 25768 25771 25100 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 60320320 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309413157776 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25776] ppid=25768 vsize=12916580 CPUtime=0.01 cores=0,2,4,6 /proc/25771/task/25776/stat : 25776 (java) S 25768 25771 25100 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 60320320 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309412105232 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25777] ppid=25768 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25777/stat : 25777 (java) S 25768 25771 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60320320 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309411052688 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25778] ppid=25768 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25778/stat : 25778 (java) S 25768 25771 25100 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 60320321 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309009307632 140309457255042 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25779] ppid=25768 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25779/stat : 25779 (java) S 25768 25771 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60320321 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309008253856 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25780] ppid=25768 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25780/stat : 25780 (java) S 25768 25771 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60320322 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309007201280 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25781] ppid=25768 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25781/stat : 25781 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309006149840 140309457262491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25782] ppid=25768 vsize=12916580 CPUtime=0.96 cores=0,2,4,6 /proc/25771/task/25782/stat : 25782 (java) R 25768 25771 25100 0 -1 4202560 2913 0 0 0 96 0 0 0 20 0 15 0 60320324 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309005082656 140309440628495 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25783] ppid=25768 vsize=12916580 CPUtime=0.91 cores=0,2,4,6 /proc/25771/task/25783/stat : 25783 (java) R 25768 25771 25100 0 -1 4202560 2275 0 0 0 91 0 0 0 20 0 15 0 60320324 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309004037936 140309436500512 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25784] ppid=25768 vsize=12916580 CPUtime=0.52 cores=0,2,4,6 /proc/25771/task/25784/stat : 25784 (java) S 25768 25771 25100 0 -1 1077944384 2423 0 0 0 51 1 0 0 20 0 15 0 60320324 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309002992368 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25785] ppid=25768 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25785/stat : 25785 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309001940064 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25786] ppid=25768 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25786/stat : 25786 (java) S 25768 25771 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60320328 13226577920 55811 18446744073709551615 4194304 4196468 140729063463600 140309000886576 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 12916580 [startup+3.10063 s] /proc/loadavg: 1.51 1.58 1.57 5/214 25786 /proc/meminfo: memFree=27343512/32770624 swapFree=0/352520 [pid=25771] ppid=25768 vsize=12920676 CPUtime=8.11 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 27374 0 0 0 774 37 0 0 20 0 15 0 60320310 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3230169 181770 3802 1 0 3218943 0 [pid=25771/tid=25773] ppid=25768 vsize=12920676 CPUtime=2.75 cores=0,2,4,6 /proc/25771/task/25773/stat : 25773 (java) R 25768 25771 25100 0 -1 4202560 13881 0 0 0 263 12 0 0 20 0 15 0 60320319 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309461482144 140309091864457 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25774] ppid=25768 vsize=12920676 CPUtime=0.15 cores=0,2,4,6 /proc/25771/task/25774/stat : 25774 (java) S 25768 25771 25100 0 -1 1077944384 166 0 0 0 11 4 0 0 20 0 15 0 60320320 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309414210320 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25775] ppid=25768 vsize=12920676 CPUtime=0.16 cores=0,2,4,6 /proc/25771/task/25775/stat : 25775 (java) S 25768 25771 25100 0 -1 1077944384 142 0 0 0 12 4 0 0 20 0 15 0 60320320 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309413157776 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25776] ppid=25768 vsize=12920676 CPUtime=0.18 cores=0,2,4,6 /proc/25771/task/25776/stat : 25776 (java) S 25768 25771 25100 0 -1 1077944384 127 0 0 0 13 5 0 0 20 0 15 0 60320320 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309412105232 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25777] ppid=25768 vsize=12920676 CPUtime=0.17 cores=0,2,4,6 /proc/25771/task/25777/stat : 25777 (java) S 25768 25771 25100 0 -1 1077944384 164 0 0 0 13 4 0 0 20 0 15 0 60320320 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309411052688 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25778] ppid=25768 vsize=12920676 CPUtime=0.01 cores=0,2,4,6 /proc/25771/task/25778/stat : 25778 (java) S 25768 25771 25100 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 60320321 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309009307632 140309457255042 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25779] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25779/stat : 25779 (java) S 25768 25771 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60320321 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309008253920 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25780] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25780/stat : 25780 (java) S 25768 25771 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60320322 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309007201280 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25781] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25781/stat : 25781 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309006149840 140309457262491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25782] ppid=25768 vsize=12920676 CPUtime=1.91 cores=0,2,4,6 /proc/25771/task/25782/stat : 25782 (java) S 25768 25771 25100 0 -1 1077944384 3476 0 0 0 191 0 0 0 20 0 15 0 60320324 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309005097456 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25783] ppid=25768 vsize=12920676 CPUtime=1.86 cores=0,2,4,6 /proc/25771/task/25783/stat : 25783 (java) S 25768 25771 25100 0 -1 1077944384 2928 0 0 0 185 1 0 0 20 0 15 0 60320324 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309004044912 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25784] ppid=25768 vsize=12920676 CPUtime=0.83 cores=0,2,4,6 /proc/25771/task/25784/stat : 25784 (java) S 25768 25771 25100 0 -1 1077944384 4610 0 0 0 81 2 0 0 20 0 15 0 60320324 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309002992368 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25785] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25785/stat : 25785 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309001940064 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25786] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25786/stat : 25786 (java) S 25768 25771 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60320328 13230772224 181770 18446744073709551615 4194304 4196468 140729063463600 140309000886576 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 Current children cumulated CPU time (s) 8.11 Current children cumulated vsize (KiB) 12920676 [startup+6.30065 s] /proc/loadavg: 1.55 1.59 1.57 3/214 25786 /proc/meminfo: memFree=26427036/32770624 swapFree=0/352524 [pid=25771] ppid=25768 vsize=12920676 CPUtime=11.69 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 29222 0 0 0 1106 63 0 0 20 0 15 0 60320310 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3230169 535225 3802 1 0 3218943 0 [pid=25771/tid=25773] ppid=25768 vsize=12920676 CPUtime=5.84 cores=0,2,4,6 /proc/25771/task/25773/stat : 25773 (java) R 25768 25771 25100 0 -1 4202560 14815 0 0 0 552 32 0 0 20 0 15 0 60320319 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309461482032 140309092291544 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25774] ppid=25768 vsize=12920676 CPUtime=0.26 cores=0,2,4,6 /proc/25771/task/25774/stat : 25774 (java) S 25768 25771 25100 0 -1 1077944384 197 0 0 0 20 6 0 0 20 0 15 0 60320320 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309414210320 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25775] ppid=25768 vsize=12920676 CPUtime=0.27 cores=0,2,4,6 /proc/25771/task/25775/stat : 25775 (java) S 25768 25771 25100 0 -1 1077944384 232 0 0 0 21 6 0 0 20 0 15 0 60320320 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309413157776 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25776] ppid=25768 vsize=12920676 CPUtime=0.29 cores=0,2,4,6 /proc/25771/task/25776/stat : 25776 (java) S 25768 25771 25100 0 -1 1077944384 190 0 0 0 22 7 0 0 20 0 15 0 60320320 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309412105232 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25777] ppid=25768 vsize=12920676 CPUtime=0.28 cores=0,2,4,6 /proc/25771/task/25777/stat : 25777 (java) S 25768 25771 25100 0 -1 1077944384 377 0 0 0 22 6 0 0 20 0 15 0 60320320 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309411052688 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25778] ppid=25768 vsize=12920676 CPUtime=0.02 cores=0,2,4,6 /proc/25771/task/25778/stat : 25778 (java) S 25768 25771 25100 0 -1 1077944384 1016 0 0 0 2 0 0 0 20 0 15 0 60320321 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309009307632 140309457255042 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25779] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25779/stat : 25779 (java) S 25768 25771 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60320321 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309008253920 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25780] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25780/stat : 25780 (java) S 25768 25771 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60320322 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309007201280 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25781] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25781/stat : 25781 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309006149840 140309457262491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25782] ppid=25768 vsize=12920676 CPUtime=1.94 cores=0,2,4,6 /proc/25771/task/25782/stat : 25782 (java) S 25768 25771 25100 0 -1 1077944384 3482 0 0 0 194 0 0 0 20 0 15 0 60320324 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309005097456 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25783] ppid=25768 vsize=12920676 CPUtime=1.89 cores=0,2,4,6 /proc/25771/task/25783/stat : 25783 (java) S 25768 25771 25100 0 -1 1077944384 2934 0 0 0 188 1 0 0 20 0 15 0 60320324 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309004044912 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25784] ppid=25768 vsize=12920676 CPUtime=0.83 cores=0,2,4,6 /proc/25771/task/25784/stat : 25784 (java) S 25768 25771 25100 0 -1 1077944384 4610 0 0 0 81 2 0 0 20 0 15 0 60320324 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309002992368 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25785] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25785/stat : 25785 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309001940064 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25786] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25786/stat : 25786 (java) S 25768 25771 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60320328 13230772224 535225 18446744073709551615 4194304 4196468 140729063463600 140309000886576 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 Current children cumulated CPU time (s) 11.69 Current children cumulated vsize (KiB) 12920676 [startup+12.7006 s] /proc/loadavg: 1.58 1.59 1.57 3/214 25787 /proc/meminfo: memFree=24188532/32770624 swapFree=0/352528 [pid=25771] ppid=25768 vsize=12920676 CPUtime=18.39 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 31419 0 0 0 1753 86 0 0 20 0 15 0 60320310 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3230169 878012 3803 1 0 3218943 0 [pid=25771/tid=25773] ppid=25768 vsize=12920676 CPUtime=12.17 cores=0,2,4,6 /proc/25771/task/25773/stat : 25773 (java) R 25768 25771 25100 0 -1 4202560 16020 0 0 0 1166 51 0 0 20 0 15 0 60320319 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140309461482384 140309092291296 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25774] ppid=25768 vsize=12920676 CPUtime=0.33 cores=0,2,4,6 /proc/25771/task/25774/stat : 25774 (java) S 25768 25771 25100 0 -1 1077944384 377 0 0 0 26 7 0 0 20 0 15 0 60320320 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140309414210320 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25775] ppid=25768 vsize=12920676 CPUtime=0.33 cores=0,2,4,6 /proc/25771/task/25775/stat : 25775 (java) S 25768 25771 25100 0 -1 1077944384 369 0 0 0 26 7 0 0 20 0 15 0 60320320 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140309413157776 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25776] ppid=25768 vsize=12920676 CPUtime=0.35 cores=0,2,4,6 /proc/25771/task/25776/stat : 25776 (java) S 25768 25771 25100 0 -1 1077944384 237 0 0 0 27 8 0 0 20 0 15 0 60320320 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140309412105232 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25777] ppid=25768 vsize=12920676 CPUtime=0.33 cores=0,2,4,6 /proc/25771/task/25777/stat : 25777 (java) S 25768 25771 25100 0 -1 1077944384 396 0 0 0 27 6 0 0 20 0 15 0 60320320 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140309411052688 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25778] ppid=25768 vsize=12920676 CPUtime=0.02 cores=0,2,4,6 /proc/25771/task/25778/stat : 25778 (java) S 25768 25771 25100 0 -1 1077944384 1610 0 0 0 2 0 0 0 20 0 15 0 60320321 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140309009307632 140309457255042 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25779] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25779/stat : 25779 (java) S 25768 25771 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60320321 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140309008253920 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25780] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25780/stat : 25780 (java) S 25768 25771 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60320322 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140309007201280 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25781] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25781/stat : 25781 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 878012 18446744073709551615 4194304 4196468 140729063463600 140309006149840 140309457262491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 ################ # More data... # ################ /proc/25771/task/25785/stat : 25785 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 956148 18446744073709551615 4194304 4196468 140729063463600 140309001940064 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25786] ppid=25768 vsize=12920676 CPUtime=1.34 cores=0,2,4,6 /proc/25771/task/25786/stat : 25786 (java) S 25768 25771 25100 0 -1 1077944384 1351 0 0 0 66 68 0 0 20 0 15 0 60320328 13230772224 956148 18446744073709551615 4194304 4196468 140729063463600 140309000886576 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 Current children cumulated CPU time (s) 2273.05 Current children cumulated vsize (KiB) 12920676 [startup+2262.3 s] /proc/loadavg: 1.32 1.36 1.48 3/217 26186 /proc/meminfo: memFree=27280940/32770624 swapFree=0/353396 [pid=25771] ppid=25768 vsize=12920676 CPUtime=2334.73 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 465188 0 0 0 233004 469 0 0 20 0 15 0 60320310 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3230169 954606 3820 1 0 3218943 0 [pid=25771/tid=25773] ppid=25768 vsize=12920676 CPUtime=2238.88 cores=0,2,4,6 /proc/25771/task/25773/stat : 25773 (java) R 25768 25771 25100 0 -1 4202560 226260 0 0 0 223799 89 0 0 20 0 15 0 60320319 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309461482560 140309086945200 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25774] ppid=25768 vsize=12920676 CPUtime=21.8 cores=0,2,4,6 /proc/25771/task/25774/stat : 25774 (java) S 25768 25771 25100 0 -1 1077944384 35184 0 0 0 2105 75 0 0 20 0 15 0 60320320 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309414210320 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25775] ppid=25768 vsize=12920676 CPUtime=21.81 cores=0,2,4,6 /proc/25771/task/25775/stat : 25775 (java) S 25768 25771 25100 0 -1 1077944384 33863 0 0 0 2107 74 0 0 20 0 15 0 60320320 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309413157776 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25776] ppid=25768 vsize=12920676 CPUtime=21.81 cores=0,2,4,6 /proc/25771/task/25776/stat : 25776 (java) S 25768 25771 25100 0 -1 1077944384 33591 0 0 0 2106 75 0 0 20 0 15 0 60320320 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309412105232 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25777] ppid=25768 vsize=12920676 CPUtime=21.8 cores=0,2,4,6 /proc/25771/task/25777/stat : 25777 (java) S 25768 25771 25100 0 -1 1077944384 33166 0 0 0 2103 77 0 0 20 0 15 0 60320320 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309411052688 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25778] ppid=25768 vsize=12920676 CPUtime=1.06 cores=0,2,4,6 /proc/25771/task/25778/stat : 25778 (java) S 25768 25771 25100 0 -1 1077944384 49166 0 0 0 86 20 0 0 20 0 15 0 60320321 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309009307632 140309457255042 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25779] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25779/stat : 25779 (java) S 25768 25771 25100 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 60320321 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309008253920 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25780] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25780/stat : 25780 (java) S 25768 25771 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 60320322 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309007201280 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25781] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25781/stat : 25781 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309006149840 140309457262491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25782] ppid=25768 vsize=12920676 CPUtime=2.62 cores=0,2,4,6 /proc/25771/task/25782/stat : 25782 (java) S 25768 25771 25100 0 -1 1077944384 14109 0 0 0 260 2 0 0 20 0 15 0 60320324 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309005097456 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25783] ppid=25768 vsize=12920676 CPUtime=2.52 cores=0,2,4,6 /proc/25771/task/25783/stat : 25783 (java) S 25768 25771 25100 0 -1 1077944384 16050 0 0 0 250 2 0 0 20 0 15 0 60320324 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309004044912 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25784] ppid=25768 vsize=12920676 CPUtime=0.95 cores=0,2,4,6 /proc/25771/task/25784/stat : 25784 (java) S 25768 25771 25100 0 -1 1077944384 21012 0 0 0 92 3 0 0 20 0 15 0 60320324 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309002992368 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25785] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25785/stat : 25785 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309001940064 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25786] ppid=25768 vsize=12920676 CPUtime=1.37 cores=0,2,4,6 /proc/25771/task/25786/stat : 25786 (java) S 25768 25771 25100 0 -1 1077944384 1382 0 0 0 68 69 0 0 20 0 15 0 60320328 13230772224 954606 18446744073709551615 4194304 4196468 140729063463600 140309000886576 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 Current children cumulated CPU time (s) 2334.73 Current children cumulated vsize (KiB) 12920676 [startup+2322.3 s] /proc/loadavg: 1.32 1.34 1.47 3/213 26188 /proc/meminfo: memFree=27289524/32770624 swapFree=0/353404 [pid=25771] ppid=25768 vsize=12920676 CPUtime=2396.75 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 477662 0 0 0 239199 476 0 0 20 0 15 0 60320310 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3230169 951159 3820 1 0 3218943 0 [pid=25771/tid=25773] ppid=25768 vsize=12920676 CPUtime=2298.18 cores=0,2,4,6 /proc/25771/task/25773/stat : 25773 (java) R 25768 25771 25100 0 -1 4202560 229841 0 0 0 229728 90 0 0 20 0 15 0 60320319 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309461482448 140309091931840 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25774] ppid=25768 vsize=12920676 CPUtime=22.47 cores=0,2,4,6 /proc/25771/task/25774/stat : 25774 (java) S 25768 25771 25100 0 -1 1077944384 35727 0 0 0 2171 76 0 0 20 0 15 0 60320320 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309414210320 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25775] ppid=25768 vsize=12920676 CPUtime=22.47 cores=0,2,4,6 /proc/25771/task/25775/stat : 25775 (java) S 25768 25771 25100 0 -1 1077944384 35051 0 0 0 2172 75 0 0 20 0 15 0 60320320 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309413157776 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25776] ppid=25768 vsize=12920676 CPUtime=22.48 cores=0,2,4,6 /proc/25771/task/25776/stat : 25776 (java) S 25768 25771 25100 0 -1 1077944384 34719 0 0 0 2171 77 0 0 20 0 15 0 60320320 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309412105232 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25777] ppid=25768 vsize=12920676 CPUtime=22.47 cores=0,2,4,6 /proc/25771/task/25777/stat : 25777 (java) S 25768 25771 25100 0 -1 1077944384 34278 0 0 0 2169 78 0 0 20 0 15 0 60320320 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309411052688 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25778] ppid=25768 vsize=12920676 CPUtime=1.09 cores=0,2,4,6 /proc/25771/task/25778/stat : 25778 (java) S 25768 25771 25100 0 -1 1077944384 54048 0 0 0 88 21 0 0 20 0 15 0 60320321 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309009307632 140309457255042 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25779] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25779/stat : 25779 (java) S 25768 25771 25100 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 60320321 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309008253920 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25780] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25780/stat : 25780 (java) S 25768 25771 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 60320322 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309007201280 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25781] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25781/stat : 25781 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309006149840 140309457262491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25782] ppid=25768 vsize=12920676 CPUtime=2.62 cores=0,2,4,6 /proc/25771/task/25782/stat : 25782 (java) S 25768 25771 25100 0 -1 1077944384 14112 0 0 0 260 2 0 0 20 0 15 0 60320324 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309005097456 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25783] ppid=25768 vsize=12920676 CPUtime=2.52 cores=0,2,4,6 /proc/25771/task/25783/stat : 25783 (java) S 25768 25771 25100 0 -1 1077944384 16058 0 0 0 250 2 0 0 20 0 15 0 60320324 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309004044912 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25784] ppid=25768 vsize=12920676 CPUtime=0.95 cores=0,2,4,6 /proc/25771/task/25784/stat : 25784 (java) S 25768 25771 25100 0 -1 1077944384 21015 0 0 0 92 3 0 0 20 0 15 0 60320324 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309002992368 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25785] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25785/stat : 25785 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309001940064 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25786] ppid=25768 vsize=12920676 CPUtime=1.41 cores=0,2,4,6 /proc/25771/task/25786/stat : 25786 (java) S 25768 25771 25100 0 -1 1077944384 1408 0 0 0 70 71 0 0 20 0 15 0 60320328 13230772224 951159 18446744073709551615 4194304 4196468 140729063463600 140309000886576 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 Current children cumulated CPU time (s) 2396.75 Current children cumulated vsize (KiB) 12920676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2325.51 s] /proc/loadavg: 1.37 1.35 1.47 3/214 26189 /proc/meminfo: memFree=27302024/32770624 swapFree=0/353404 [pid=25771] ppid=25768 vsize=12920676 CPUtime=2400.06 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 478933 0 0 0 239530 476 0 0 20 0 15 0 60320310 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3230169 947961 3820 1 0 3218943 0 [pid=25771/tid=25773] ppid=25768 vsize=12920676 CPUtime=2301.34 cores=0,2,4,6 /proc/25771/task/25773/stat : 25773 (java) R 25768 25771 25100 0 -1 4202560 230582 0 0 0 230044 90 0 0 20 0 15 0 60320319 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309461482448 140729063516360 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25774] ppid=25768 vsize=12920676 CPUtime=22.5 cores=0,2,4,6 /proc/25771/task/25774/stat : 25774 (java) S 25768 25771 25100 0 -1 1077944384 35982 0 0 0 2174 76 0 0 20 0 15 0 60320320 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309414210320 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25775] ppid=25768 vsize=12920676 CPUtime=22.51 cores=0,2,4,6 /proc/25771/task/25775/stat : 25775 (java) S 25768 25771 25100 0 -1 1077944384 35310 0 0 0 2176 75 0 0 20 0 15 0 60320320 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309413157776 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25776] ppid=25768 vsize=12920676 CPUtime=22.51 cores=0,2,4,6 /proc/25771/task/25776/stat : 25776 (java) S 25768 25771 25100 0 -1 1077944384 34727 0 0 0 2174 77 0 0 20 0 15 0 60320320 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309412105232 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25777] ppid=25768 vsize=12920676 CPUtime=22.5 cores=0,2,4,6 /proc/25771/task/25777/stat : 25777 (java) S 25768 25771 25100 0 -1 1077944384 34282 0 0 0 2172 78 0 0 20 0 15 0 60320320 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309411052688 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25778] ppid=25768 vsize=12920676 CPUtime=1.09 cores=0,2,4,6 /proc/25771/task/25778/stat : 25778 (java) S 25768 25771 25100 0 -1 1077944384 54049 0 0 0 88 21 0 0 20 0 15 0 60320321 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309009307632 140309457255042 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25779] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25779/stat : 25779 (java) S 25768 25771 25100 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 60320321 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309008253920 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25780] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25780/stat : 25780 (java) S 25768 25771 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 60320322 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309007201280 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25781] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25781/stat : 25781 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309006149840 140309457262491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25782] ppid=25768 vsize=12920676 CPUtime=2.62 cores=0,2,4,6 /proc/25771/task/25782/stat : 25782 (java) S 25768 25771 25100 0 -1 1077944384 14112 0 0 0 260 2 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309005097456 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25783] ppid=25768 vsize=12920676 CPUtime=2.52 cores=0,2,4,6 /proc/25771/task/25783/stat : 25783 (java) S 25768 25771 25100 0 -1 1077944384 16058 0 0 0 250 2 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309004044912 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25784] ppid=25768 vsize=12920676 CPUtime=0.95 cores=0,2,4,6 /proc/25771/task/25784/stat : 25784 (java) S 25768 25771 25100 0 -1 1077944384 21015 0 0 0 92 3 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309002992368 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25785] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25785/stat : 25785 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309001940064 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25786] ppid=25768 vsize=12920676 CPUtime=1.41 cores=0,2,4,6 /proc/25771/task/25786/stat : 25786 (java) S 25768 25771 25100 0 -1 1077944384 1411 0 0 0 70 71 0 0 20 0 15 0 60320328 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309000886576 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 12920676 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 25771 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2325.51 s] /proc/loadavg: 1.37 1.35 1.47 3/214 26189 /proc/meminfo: memFree=27302024/32770624 swapFree=0/353404 [pid=25771] ppid=25768 vsize=12920676 CPUtime=2400.06 cores=0,2,4,6 /proc/25771/stat : 25771 (java) S 25768 25771 25100 0 -1 1077944320 478933 0 0 0 239530 476 0 0 20 0 15 0 60320310 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140729063446144 140309457243895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 /proc/25771/statm: 3230169 947961 3820 1 0 3218943 0 [pid=25771/tid=25773] ppid=25768 vsize=12920676 CPUtime=2301.34 cores=0,2,4,6 /proc/25771/task/25773/stat : 25773 (java) R 25768 25771 25100 0 -1 4202560 230582 0 0 0 230044 90 0 0 20 0 15 0 60320319 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309461482448 140729063516360 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25774] ppid=25768 vsize=12920676 CPUtime=22.5 cores=0,2,4,6 /proc/25771/task/25774/stat : 25774 (java) S 25768 25771 25100 0 -1 1077944384 35982 0 0 0 2174 76 0 0 20 0 15 0 60320320 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309414210320 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25775] ppid=25768 vsize=12920676 CPUtime=22.51 cores=0,2,4,6 /proc/25771/task/25775/stat : 25775 (java) S 25768 25771 25100 0 -1 1077944384 35310 0 0 0 2176 75 0 0 20 0 15 0 60320320 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309413157776 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25776] ppid=25768 vsize=12920676 CPUtime=22.51 cores=0,2,4,6 /proc/25771/task/25776/stat : 25776 (java) S 25768 25771 25100 0 -1 1077944384 34727 0 0 0 2174 77 0 0 20 0 15 0 60320320 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309412105232 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25777] ppid=25768 vsize=12920676 CPUtime=22.5 cores=0,2,4,6 /proc/25771/task/25777/stat : 25777 (java) S 25768 25771 25100 0 -1 1077944384 34282 0 0 0 2172 78 0 0 20 0 15 0 60320320 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309411052688 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25778] ppid=25768 vsize=12920676 CPUtime=1.09 cores=0,2,4,6 /proc/25771/task/25778/stat : 25778 (java) S 25768 25771 25100 0 -1 1077944384 54049 0 0 0 88 21 0 0 20 0 15 0 60320321 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309009307632 140309457255042 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25779] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25779/stat : 25779 (java) S 25768 25771 25100 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 60320321 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309008253920 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25780] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25780/stat : 25780 (java) S 25768 25771 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 60320322 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309007201280 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25781] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25781/stat : 25781 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309006149840 140309457262491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25782] ppid=25768 vsize=12920676 CPUtime=2.62 cores=0,2,4,6 /proc/25771/task/25782/stat : 25782 (java) S 25768 25771 25100 0 -1 1077944384 14112 0 0 0 260 2 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309005097456 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25783] ppid=25768 vsize=12920676 CPUtime=2.52 cores=0,2,4,6 /proc/25771/task/25783/stat : 25783 (java) S 25768 25771 25100 0 -1 1077944384 16058 0 0 0 250 2 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309004044912 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25784] ppid=25768 vsize=12920676 CPUtime=0.95 cores=0,2,4,6 /proc/25771/task/25784/stat : 25784 (java) S 25768 25771 25100 0 -1 1077944384 21015 0 0 0 92 3 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309002992368 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25785] ppid=25768 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/25771/task/25785/stat : 25785 (java) S 25768 25771 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60320324 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309001940064 140309457254101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 [pid=25771/tid=25786] ppid=25768 vsize=12920676 CPUtime=1.41 cores=0,2,4,6 /proc/25771/task/25786/stat : 25786 (java) S 25768 25771 25100 0 -1 1077944384 1411 0 0 0 70 71 0 0 20 0 15 0 60320328 13230772224 947961 18446744073709551615 4194304 4196468 140729063463600 140309000886576 140309457255042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21098496 140729063469460 140729063469646 140729063469646 140729063473103 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 12920676 Child status: 143 Real time (s): 2325.55 CPU time (s): 2400.12 CPU user time (s): 2395.33 CPU system time (s): 4.78385 CPU usage (%): 103.207 Max. virtual memory (cumulated for all children) (KiB): 12920676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.33 system time used= 4.78385 maximum resident set size= 3853304 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 479534 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2896 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 69658 involuntary context switches= 5868 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.2658 second user time and 13.9484 second system time The end
Begin job on node133 at 2017-08-07 18:43:23 IDJOB=4248644 IDBENCH=140591 IDSOLVER=2628 FILE ID=node133/4248644-1502125050 RUNJOBID= node133-1502065585-15256 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248644-1502125050/watcher-4248644-1502125050 -o /tmp/evaluation-result-4248644-1502125050/solver-4248644-1502125050 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15256 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 469128551 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248644-1502125050.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7 RANDOM SEED=469128551 node133.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.17 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.17 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.17 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.17 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: 27683172 kB MemAvailable: 28300808 kB Buffers: 234084 kB Cached: 673608 kB SwapCached: 0 kB Active: 4275544 kB Inactive: 376948 kB Active(anon): 3745600 kB Inactive(anon): 24920 kB Active(file): 529944 kB Inactive(file): 352028 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42676 kB Writeback: 4 kB AnonPages: 3745048 kB Mapped: 56376 kB Shmem: 25276 kB Slab: 129980 kB SReclaimable: 103000 kB SUnreclaim: 26980 kB KernelStack: 3472 kB PageTables: 12124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4380472 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3608576 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61948 MiB End job on node133 at 2017-08-07 19:22:09