Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Parallel with EPS 2017-08-22 | SAT (TO) | 1009 | 19800.9 | 2520.1799 |
| 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.29/0.25 c version: 2017-08-22 0.29/0.25 c seed: 1253111991 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 22000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 5.32/1.63 c Parsing done, starting search... 956.95/148.69 o 1034 1921.77/270.07 o 1033 2881.74/391.20 o 1032 3818.83/509.06 o 1031 4723.59/623.41 o 1030 5605.24/734.37 o 1029 6475.67/843.83 o 1028 7288.76/946.19 o 1027 8114.17/1050.08 o 1026 8931.30/1152.85 o 1025 9726.41/1252.81 o 1024 10457.97/1344.81 o 1023 11186.20/1436.45 o 1022 11885.95/1524.44 o 1021 12545.28/1607.45 o 1020 13214.66/1691.69 o 1019 13869.13/1773.93 o 1018 14507.42/1854.25 o 1017 15133.15/1932.99 o 1016 15761.05/2011.94 o 1015 16395.58/2091.86 o 1014 17022.69/2170.77 o 1013 17627.26/2246.79 o 1012 18243.39/2324.28 o 1011 18852.02/2400.74 o 1010 19450.97/2476.15 o 1009 19799.92/2520.11 s SATISFIABLE 19799.92/2520.11 v <instantiation> 19799.92/2520.11 v <list> 19799.92/2520.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[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] 19799.92/2520.11 v </list> 19799.92/2520.11 v <values> 19799.92/2520.11 v 1004 1009 1009 1001 1002 1004 1003 1004 1005 1006 1007 1004 1004 1004 1004 1004 1004 1004 1004 1004 1009 1004 1004 1004 1004 1009 1004 1004 1004 1004 1004 1004 1004 1004 1004 1004 1004 1004 1004 1003 1005 1006 1007 1008 1008 1009 1004 1004 1009 1002 1004 1009 1005 1006 1007 1003 1003 1003 1003 1003 1003 1003 1003 1003 1003 1003 1003 1003 1009 1003 1003 1003 1003 1003 1009 1003 1003 1003 1003 1003 1009 1003 1009 1004 1005 1006 1007 1008 1008 1000 1001 1002 1009 1003 1004 1005 1006 1007 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 1009 1009 1009 1008 1008 1009 1009 1009 1009 1008 1009 1009 1009 1009 1009 1008 1009 1008 1009 1009 1009 1009 1009 1008 1001 1002 1004 1003 1004 1005 1006 1007 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 1009 1009 1009 1009 1008 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 1002 1004 1003 1004 1005 1006 1007 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 1009 1003 1004 1005 1006 1007 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 1009 1009 1009 1009 1009 1008 1009 1009 1009 1009 1009 1008 1009 1008 1009 1009 1009 1009 1009 1008 1004 1009 1005 1006 1007 1003 1003 1003 1003 1003 1003 1003 1003 1003 1003 1003 1003 1003 1009 1003 1003 1003 1003 1003 1009 1003 1003 1003 1003 1003 1009 1003 1009 1004 1005 1006 1007 1008 1008 1004 1005 1006 1007 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 1005 1006 1007 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 1009 1009 1009 1009 1009 1008 1009 1009 1009 1009 1009 1008 1009 1008 1009 1009 1009 1009 1009 1008 1006 1007 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 1007 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1009 1008 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1001 1002 1003 1004 1005 1006 1007 1008 1009 1002 1003 1004 1005 1006 1007 1008 1009 1003 1004 1005 1006 1007 1008 1009 1004 1005 1006 1007 1008 1009 1005 1006 1007 1008 1009 1006 1007 1008 1009 1007 1008 1009 1008 1009 1009 19799.92/2520.11 v </values> 19799.92/2520.11 v </instantiation>
OK 1009
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11572 MiB free)
memory of node 1: 16384 MiB (11520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285611-1503467394/watcher-4285611-1503467394 -o /tmp/evaluation-result-4285611-1503467394/solver-4285611-1503467394 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503453215-12656 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1253111991 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285611-1503467394.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13804, runsolver pid=13801
Current StackSize limit: 8192 KiB
[startup+0.100147 s]*
/proc/loadavg: 8.62 8.69 8.45 2/198 13824
/proc/meminfo: memFree=23629884/32770624 swapFree=67108860/67108860
[pid=13804] ppid=13801 vsize=26000852 memory=32172 CPUtime=0.12 cores=0-7
/proc/13804/stat : 13804 (java) S 13801 13804 12629 0 -1 1077944320 8439 0 0 0 10 2 0 0 20 0 20 0 179827219 26624872448 8043 33554432000 4194304 4196468 140721787024816 140721787007360 140565069975287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
/proc/13804/statm: 6500213 8043 3411 1 0 6487932 0
[pid=13804/tid=13806] ppid=13801 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13804/task/13806/stat : 13806 (java) R 13801 13804 12629 0 -1 4202560 6391 0 0 0 8 1 0 0 20 0 20 0 179827220 26624872448 8043 33554432000 4194304 4196468 140721787024816 140565074172240 140565054055774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13807] ppid=13801 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13804/task/13807/stat : 13807 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 8043 33554432000 4194304 4196468 140721787024816 140565022595728 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13808] ppid=13801 vsize=26000852 memory=140409270335104 CPUtime=0 cores=0-7
/proc/13804/task/13808/stat : 13808 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 8043 33554432000 4194304 4196468 140721787024816 140565021542928 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13809] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13809/stat : 13809 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 8043 33554432000 4194304 4196468 140721787024816 140565020490128 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13810] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13810/stat : 13810 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564624701712 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13811] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13811/stat : 13811 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564623649936 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13812] ppid=13801 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/13804/task/13812/stat : 13812 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564622597136 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13813] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13813/stat : 13813 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564621544336 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13814] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13814/stat : 13814 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564620491536 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13815] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13815/stat : 13815 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827222 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564264581488 140565069986434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13816] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13816/stat : 13816 (java) S 13801 13804 12629 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179827222 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564263527456 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13817] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13817/stat : 13817 (java) S 13801 13804 12629 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179827222 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564262474608 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13818] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13818/stat : 13818 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564261422928 140565069993883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13819] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13819/stat : 13819 (java) S 13801 13804 12629 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564260371312 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13820] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13820/stat : 13820 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564259318512 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13821] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13821/stat : 13821 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564258265712 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13822] ppid=13801 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/13804/task/13822/stat : 13822 (java) R 13801 13804 12629 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 20 0 179827225 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564257208640 140565069987222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13823] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13823/stat : 13823 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564256160352 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13824] ppid=13801 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/13804/task/13824/stat : 13824 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 8043 33554432000 4194304 4196468 140721787024816 140564255107632 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32172 KiB
[startup+0.20976 s]*
/proc/loadavg: 8.62 8.69 8.45 3/198 13824
/proc/meminfo: memFree=23621756/32770624 swapFree=67108860/67108860
[pid=13804] ppid=13801 vsize=26000852 memory=41056 CPUtime=0.29 cores=0-7
/proc/13804/stat : 13804 (java) S 13801 13804 12629 0 -1 1077944320 9439 0 0 0 26 3 0 0 20 0 20 0 179827219 26624872448 10264 33554432000 4194304 4196468 140721787024816 140721787007360 140565069975287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
/proc/13804/statm: 6500213 10264 3592 1 0 6487932 0
[pid=13804/tid=13806] ppid=13801 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/13804/task/13806/stat : 13806 (java) R 13801 13804 12629 0 -1 4202560 7022 0 0 0 17 2 0 0 20 0 20 0 179827220 26624872448 10264 33554432000 4194304 4196468 140721787024816 140565074191712 140565069997213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13807] ppid=13801 vsize=26000852 memory=12768 CPUtime=0 cores=0-7
/proc/13804/task/13807/stat : 13807 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 10264 33554432000 4194304 4196468 140721787024816 140565022595728 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13808] ppid=13801 vsize=26000852 memory=4121556607466370720 CPUtime=0 cores=0-7
/proc/13804/task/13808/stat : 13808 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 10264 33554432000 4194304 4196468 140721787024816 140565021542928 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13809] ppid=13801 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/13804/task/13809/stat : 13809 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 10264 33554432000 4194304 4196468 140721787024816 140565020490128 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13810] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13810/stat : 13810 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564624701712 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13811] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13811/stat : 13811 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564623649936 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13812] ppid=13801 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/13804/task/13812/stat : 13812 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564622597136 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13813] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13813/stat : 13813 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564621544336 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13814] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13814/stat : 13814 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564620491536 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13815] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13815/stat : 13815 (java) S 13801 13804 12629 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179827222 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564264581488 140565069986434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13816] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13816/stat : 13816 (java) S 13801 13804 12629 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179827222 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564263527456 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13817] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13817/stat : 13817 (java) S 13801 13804 12629 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179827222 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564262474608 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13818] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13818/stat : 13818 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564261422928 140565069993883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13819] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13819/stat : 13819 (java) S 13801 13804 12629 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564260371312 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13820] ppid=13801 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/13804/task/13820/stat : 13820 (java) S 13801 13804 12629 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 179827225 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564259318512 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13821] ppid=13801 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/13804/task/13821/stat : 13821 (java) S 13801 13804 12629 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 20 0 179827225 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564258265712 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13822] ppid=13801 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/13804/task/13822/stat : 13822 (java) S 13801 13804 12629 0 -1 1077944384 388 0 0 0 5 0 0 0 20 0 20 0 179827225 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564257212912 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13823] ppid=13801 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13823/stat : 13823 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564256160352 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13824] ppid=13801 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/13804/task/13824/stat : 13824 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827225 26624872448 10264 33554432000 4194304 4196468 140721787024816 140564255107632 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41056 KiB
[startup+0.309476 s]*
/proc/loadavg: 8.62 8.69 8.45 2/198 13824
/proc/meminfo: memFree=23614172/32770624 swapFree=67108860/67108860
[pid=13804] ppid=13801 vsize=26000872 memory=49380 CPUtime=0.48 cores=0-7
/proc/13804/stat : 13804 (java) S 13801 13804 12629 0 -1 1077944320 10622 0 0 0 44 4 0 0 20 0 20 0 179827219 26624892928 12345 33554432000 4194304 4196468 140721787024816 140721787007360 140565069975287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
/proc/13804/statm: 6500218 12345 3688 1 0 6487932 0
[pid=13804/tid=13806] ppid=13801 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13804/task/13806/stat : 13806 (java) R 13801 13804 12629 0 -1 4202560 7727 0 0 0 27 2 0 0 20 0 20 0 179827220 26624892928 12345 33554432000 4194304 4196468 140721787024816 140565074204816 140565069987222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13807] ppid=13801 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13807/stat : 13807 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624892928 12345 33554432000 4194304 4196468 140721787024816 140565022595728 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13808] ppid=13801 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13808/stat : 13808 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624892928 12345 33554432000 4194304 4196468 140721787024816 140565021542928 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13809] ppid=13801 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13809/stat : 13809 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26624892928 12345 33554432000 4194304 4196468 140721787024816 140565020490128 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13810] ppid=13801 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13810/stat : 13810 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564624701712 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13811] ppid=13801 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/13804/task/13811/stat : 13811 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564623649936 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13812] ppid=13801 vsize=26000872 memory=140409124778927 CPUtime=0 cores=0-7
/proc/13804/task/13812/stat : 13812 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179827220 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564622597136 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13813] ppid=13801 vsize=26000872 memory=140409124781232 CPUtime=0 cores=0-7
/proc/13804/task/13813/stat : 13813 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564621544336 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13814] ppid=13801 vsize=26000872 memory=140409124783536 CPUtime=0 cores=0-7
/proc/13804/task/13814/stat : 13814 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564620491536 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13815] ppid=13801 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13815/stat : 13815 (java) S 13801 13804 12629 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179827222 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564264581488 140565069986434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13816] ppid=13801 vsize=26000872 memory=280818249574032 CPUtime=0 cores=0-7
/proc/13804/task/13816/stat : 13816 (java) S 13801 13804 12629 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179827222 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564263527456 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13817] ppid=13801 vsize=26000872 memory=280818249580944 CPUtime=0 cores=0-7
/proc/13804/task/13817/stat : 13817 (java) S 13801 13804 12629 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179827222 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564262474608 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13818] ppid=13801 vsize=26000872 memory=280818249522224 CPUtime=0 cores=0-7
/proc/13804/task/13818/stat : 13818 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827225 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564261422928 140565069993883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13819] ppid=13801 vsize=26000872 memory=280818249594768 CPUtime=0.03 cores=0-7
/proc/13804/task/13819/stat : 13819 (java) S 13801 13804 12629 0 -1 1077944384 602 0 0 0 3 0 0 0 20 0 20 0 179827225 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564260371312 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13820] ppid=13801 vsize=26000872 memory=280818249601680 CPUtime=0.04 cores=0-7
/proc/13804/task/13820/stat : 13820 (java) R 13801 13804 12629 0 -1 1077944384 336 0 0 0 4 0 0 0 20 0 20 0 179827225 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564259318512 140565069986434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13821] ppid=13801 vsize=26000872 memory=280818249599376 CPUtime=0.01 cores=0-7
/proc/13804/task/13821/stat : 13821 (java) S 13801 13804 12629 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 20 0 179827225 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564258265712 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13822] ppid=13801 vsize=26000872 memory=280818249615984 CPUtime=0.08 cores=0-7
/proc/13804/task/13822/stat : 13822 (java) R 13801 13804 12629 0 -1 4202560 444 0 0 0 8 0 0 0 20 0 20 0 179827225 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564257212912 140565069987222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13823] ppid=13801 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13823/stat : 13823 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179827225 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564256160352 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13824] ppid=13801 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/13804/task/13824/stat : 13824 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827225 26624892928 12345 33554432000 4194304 4196468 140721787024816 140564255107632 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49380 KiB
[startup+0.700887 s]
/proc/loadavg: 8.62 8.69 8.45 3/198 13824
/proc/meminfo: memFree=23583460/32770624 swapFree=67108860/67108860
[pid=13804] ppid=13801 vsize=26002920 memory=118016 CPUtime=1.68 cores=0-7
/proc/13804/stat : 13804 (java) S 13801 13804 12629 0 -1 1077944320 14483 0 0 0 161 7 0 0 20 0 20 0 179827219 26626990080 29504 33554432000 4194304 4196468 140721787024816 140721787007360 140565069975287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
/proc/13804/statm: 6500730 29504 3776 1 0 6488444 0
[pid=13804/tid=13806] ppid=13801 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/13804/task/13806/stat : 13806 (java) R 13801 13804 12629 0 -1 4202560 8473 0 0 0 64 3 0 0 20 0 20 0 179827220 26626990080 29504 33554432000 4194304 4196468 140721787024816 140565074209456 140564703524135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13807] ppid=13801 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13807/stat : 13807 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26626990080 29504 33554432000 4194304 4196468 140721787024816 140565022595728 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13808] ppid=13801 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13808/stat : 13808 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26626990080 29504 33554432000 4194304 4196468 140721787024816 140565021542928 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13809] ppid=13801 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/13804/task/13809/stat : 13809 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26626990080 29504 33554432000 4194304 4196468 140721787024816 140565020490128 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13810] ppid=13801 vsize=26002920 memory=1004 CPUtime=0 cores=0-7
/proc/13804/task/13810/stat : 13810 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26626990080 29504 33554432000 4194304 4196468 140721787024816 140564624701712 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13811] ppid=13801 vsize=26002920 memory=5788 CPUtime=0 cores=0-7
/proc/13804/task/13811/stat : 13811 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26626990080 29504 33554432000 4194304 4196468 140721787024816 140564623649936 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13812] ppid=13801 vsize=26002920 memory=1196 CPUtime=0 cores=0-7
/proc/13804/task/13812/stat : 13812 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179827220 26626990080 29504 33554432000 4194304 4196468 140721787024816 140564622597136 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13813] ppid=13801 vsize=26002920 memory=4612 CPUtime=0 cores=0-7
/proc/13804/task/13813/stat : 13813 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179827220 26626990080 29504 33554432000 4194304 4196468 140721787024816 140564621544336 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13814] ppid=13801 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/13804/task/13814/stat : 13814 (java) S 13801 13804 12629 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179827220 26626990080 29504 33554432000 4194304 4196468 140721787024816 140564620491536 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13815] ppid=13801 vsize=26002920 memory=18448 CPUtime=0 cores=0-7
/proc/13804/task/13815/stat : 13815 (java) S 13801 13804 12629 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179827222 26626990080 29504 33554432000 4194304 4196468 140721787024816 140564264581488 140565069986434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
################
# More data... #
################
/proc/13804/task/13815/stat : 13815 (java) S 13801 13804 12629 0 -1 1077944384 127455 0 0 0 371 37 0 0 20 0 40 0 179827222 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564264581488 140565069986434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13816] ppid=13801 vsize=27344476 memory=4044 CPUtime=0 cores=0-7
/proc/13804/task/13816/stat : 13816 (java) S 13801 13804 12629 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 40 0 179827222 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564263527520 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13817] ppid=13801 vsize=27344476 memory=1792 CPUtime=0 cores=0-7
/proc/13804/task/13817/stat : 13817 (java) S 13801 13804 12629 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 40 0 179827222 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564262474624 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13818] ppid=13801 vsize=27344476 memory=-4051592751533505334 CPUtime=0 cores=0-7
/proc/13804/task/13818/stat : 13818 (java) S 13801 13804 12629 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 179827225 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564261422928 140565069993883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13819] ppid=13801 vsize=27344476 memory=-7316765472996040608 CPUtime=2.92 cores=0-7
/proc/13804/task/13819/stat : 13819 (java) S 13801 13804 12629 0 -1 1077944384 16996 0 0 0 286 6 0 0 20 0 40 0 179827225 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564260371312 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13820] ppid=13801 vsize=27344476 memory=-7385037615309293161 CPUtime=2.64 cores=0-7
/proc/13804/task/13820/stat : 13820 (java) S 13801 13804 12629 0 -1 1077944384 15480 0 0 0 261 3 0 0 20 0 40 0 179827225 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564259318512 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13821] ppid=13801 vsize=27344476 memory=-8458152057954561420 CPUtime=2.54 cores=0-7
/proc/13804/task/13821/stat : 13821 (java) S 13801 13804 12629 0 -1 1077944384 20472 0 0 0 249 5 0 0 20 0 40 0 179827225 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564258265712 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13822] ppid=13801 vsize=27344476 memory=7967875449207223827 CPUtime=1.35 cores=0-7
/proc/13804/task/13822/stat : 13822 (java) S 13801 13804 12629 0 -1 1077944384 30740 0 0 0 129 6 0 0 20 0 40 0 179827225 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564257212912 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13823] ppid=13801 vsize=27344476 memory=3054156605268199031 CPUtime=0 cores=0-7
/proc/13804/task/13823/stat : 13823 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 179827225 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564256160352 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13824] ppid=13801 vsize=27344476 memory=-8023550165965901656 CPUtime=1.58 cores=0-7
/proc/13804/task/13824/stat : 13824 (java) S 13801 13804 12629 0 -1 1077944384 4609 0 0 0 68 90 0 0 20 0 40 0 179827225 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564255107632 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13825] ppid=13801 vsize=27344476 memory=6655300316396806240 CPUtime=0.01 cores=0-7
/proc/13804/task/13825/stat : 13825 (java) S 13801 13804 12629 0 -1 1077944384 2009 0 0 0 1 0 0 0 20 0 40 0 179830516 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564244816544 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13826] ppid=13801 vsize=27344476 memory=7020378828718433135 CPUtime=7.62 cores=0-7
/proc/13804/task/13826/stat : 13826 (java) S 13801 13804 12629 0 -1 1077944384 11766 0 0 0 318 444 0 0 20 0 40 0 179830527 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564241666848 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13827] ppid=13801 vsize=27344476 memory=7523107478184158290 CPUtime=2183.25 cores=0-7
/proc/13804/task/13827/stat : 13827 (java) R 13801 13804 12629 0 -1 4202560 214689 0 0 0 217477 848 0 0 20 0 40 0 179830537 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564238511944 140564705018708 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13828] ppid=13801 vsize=27344476 memory=212 CPUtime=2185.81 cores=0-7
/proc/13804/task/13828/stat : 13828 (java) R 13801 13804 12629 0 -1 4202560 198186 0 0 0 217875 706 0 0 20 0 40 0 179830538 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564237461840 140564709062816 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13829] ppid=13801 vsize=27344476 memory=8546500 CPUtime=105.35 cores=0-7
/proc/13804/task/13829/stat : 13829 (java) S 13801 13804 12629 0 -1 1077944384 23282 0 0 0 10453 82 0 0 20 0 40 0 179830538 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564236412432 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13830] ppid=13801 vsize=27344476 memory=11108 CPUtime=0 cores=0-7
/proc/13804/task/13830/stat : 13830 (java) S 13801 13804 12629 0 -1 1077944384 878 0 0 0 0 0 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564235359632 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13831] ppid=13801 vsize=27344476 memory=1712 CPUtime=1216.03 cores=0-7
/proc/13804/task/13831/stat : 13831 (java) R 13801 13804 12629 0 -1 4202560 136103 0 0 0 121080 523 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564234300744 140564707843660 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13832] ppid=13801 vsize=27344476 memory=1952 CPUtime=2182.58 cores=0-7
/proc/13804/task/13832/stat : 13832 (java) R 13801 13804 12629 0 -1 4202560 242615 0 0 0 217439 819 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564233247944 140564705018708 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13833] ppid=13801 vsize=27344476 memory=8628 CPUtime=2183.09 cores=0-7
/proc/13804/task/13833/stat : 13833 (java) R 13801 13804 12629 0 -1 4202560 214416 0 0 0 217627 682 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564232195144 140564705018672 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13834] ppid=13801 vsize=27344476 memory=1224 CPUtime=2183.68 cores=0-7
/proc/13804/task/13834/stat : 13834 (java) R 13801 13804 12629 0 -1 4202560 193629 0 0 0 217574 794 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564231142344 140564709062908 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13835] ppid=13801 vsize=27344476 memory=792 CPUtime=0.11 cores=0-7
/proc/13804/task/13835/stat : 13835 (java) S 13801 13804 12629 0 -1 1077944384 610 0 0 0 11 0 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564230096656 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13836] ppid=13801 vsize=27344476 memory=1004 CPUtime=0 cores=0-7
/proc/13804/task/13836/stat : 13836 (java) S 13801 13804 12629 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564229043856 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13837] ppid=13801 vsize=27344476 memory=5788 CPUtime=1075.33 cores=0-7
/proc/13804/task/13837/stat : 13837 (java) S 13801 13804 12629 0 -1 1077944384 169349 0 0 0 107084 449 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564227991056 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13838] ppid=13801 vsize=27344476 memory=1196 CPUtime=2078.35 cores=0-7
/proc/13804/task/13838/stat : 13838 (java) R 13801 13804 12629 0 -1 4202560 162117 0 0 0 207176 659 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564226932168 140564709062905 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13839] ppid=13801 vsize=27344476 memory=4612 CPUtime=0 cores=0-7
/proc/13804/task/13839/stat : 13839 (java) S 13801 13804 12629 0 -1 1077944384 740 0 0 0 0 0 0 0 20 0 40 0 179830541 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564225885456 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13840] ppid=13801 vsize=27344476 memory=15876 CPUtime=0 cores=0-7
/proc/13804/task/13840/stat : 13840 (java) S 13801 13804 12629 0 -1 1077944384 564 0 0 0 0 0 0 0 20 0 40 0 179842103 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564222698640 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13841] ppid=13801 vsize=27344476 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13804/task/13841/stat : 13841 (java) S 13801 13804 12629 0 -1 1077944384 740 0 0 0 0 0 0 0 20 0 40 0 179842105 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564221645840 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13842] ppid=13801 vsize=27344476 memory=920 CPUtime=0 cores=0-7
/proc/13804/task/13842/stat : 13842 (java) S 13801 13804 12629 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 40 0 179842105 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564220593040 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13843] ppid=13801 vsize=27344476 memory=4124 CPUtime=0 cores=0-7
/proc/13804/task/13843/stat : 13843 (java) S 13801 13804 12629 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 40 0 179842106 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564219541264 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13844] ppid=13801 vsize=27344476 memory=4100 CPUtime=2076.7 cores=0-7
/proc/13804/task/13844/stat : 13844 (java) R 13801 13804 12629 0 -1 4202560 188955 0 0 0 207056 614 0 0 20 0 40 0 179842108 28000743424 2136625 33554432000 4194304 4196468 140721787024816 140564218482376 140564705018672 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
Current children cumulated CPU time: 19799.9 s
Current children cumulated vsize: 27344476 KiB
Current children cumulated memory: 8546500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.18 s]
# the end of solver process 13804 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19731.3 s, system=69.624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.13 s]
/proc/loadavg: 8.57 8.67 8.68 9/218 13901
/proc/meminfo: memFree=15098188/32770624 swapFree=67108860/67108860
[pid=13804] ppid=13801 vsize=27477604 memory=8546700 CPUtime=19800.8 cores=0-7
/proc/13804/stat : 13804 (java) S 13801 13804 12629 0 -1 1077944320 3380134 0 0 0 1973125 6958 0 0 20 0 40 0 179827219 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140721787007360 140565069975287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
/proc/13804/statm: 6869401 2136675 3868 1 0 6856594 0
[pid=13804/tid=13806] ppid=13801 vsize=27477604 memory=8546312 CPUtime=32.85 cores=0-7
/proc/13804/task/13806/stat : 13806 (java) S 13801 13804 12629 0 -1 1077944384 21269 0 0 0 3172 113 0 0 20 0 40 0 179827220 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140565074212992 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13807] ppid=13801 vsize=27477604 memory=8546500 CPUtime=284.22 cores=0-7
/proc/13804/task/13807/stat : 13807 (java) S 13801 13804 12629 0 -1 1077944384 177983 0 0 0 28349 73 0 0 20 0 40 0 179827220 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140565022595728 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13808] ppid=13801 vsize=27477604 memory=8546500 CPUtime=284.29 cores=0-7
/proc/13804/task/13808/stat : 13808 (java) S 13801 13804 12629 0 -1 1077944384 176755 0 0 0 28358 71 0 0 20 0 40 0 179827220 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140565021542928 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13809] ppid=13801 vsize=27477604 memory=0 CPUtime=284.19 cores=0-7
/proc/13804/task/13809/stat : 13809 (java) S 13801 13804 12629 0 -1 1077944384 160970 0 0 0 28346 73 0 0 20 0 40 0 179827220 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140565020490128 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13810] ppid=13801 vsize=27477604 memory=6944656592455360604 CPUtime=284.21 cores=0-7
/proc/13804/task/13810/stat : 13810 (java) S 13801 13804 12629 0 -1 1077944384 166239 0 0 0 28342 79 0 0 20 0 40 0 179827220 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564624701712 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13811] ppid=13801 vsize=27477604 memory=1952 CPUtime=284.21 cores=0-7
/proc/13804/task/13811/stat : 13811 (java) S 13801 13804 12629 0 -1 1077944384 174301 0 0 0 28353 68 0 0 20 0 40 0 179827220 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564623649936 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13812] ppid=13801 vsize=27477604 memory=8628 CPUtime=283.98 cores=0-7
/proc/13804/task/13812/stat : 13812 (java) S 13801 13804 12629 0 -1 1077944384 178733 0 0 0 28326 72 0 0 20 0 40 0 179827220 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564622597136 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13813] ppid=13801 vsize=27477604 memory=4140 CPUtime=284.25 cores=0-7
/proc/13804/task/13813/stat : 13813 (java) S 13801 13804 12629 0 -1 1077944384 166981 0 0 0 28353 72 0 0 20 0 40 0 179827220 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564621544336 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13814] ppid=13801 vsize=27477604 memory=49672 CPUtime=284.37 cores=0-7
/proc/13804/task/13814/stat : 13814 (java) S 13801 13804 12629 0 -1 1077944384 176220 0 0 0 28362 75 0 0 20 0 40 0 179827220 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564620491536 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13815] ppid=13801 vsize=27477604 memory=1952 CPUtime=4.08 cores=0-7
/proc/13804/task/13815/stat : 13815 (java) S 13801 13804 12629 0 -1 1077944384 127455 0 0 0 371 37 0 0 20 0 40 0 179827222 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564264581488 140565069986434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13816] ppid=13801 vsize=27477604 memory=8628 CPUtime=0 cores=0-7
/proc/13804/task/13816/stat : 13816 (java) S 13801 13804 12629 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 40 0 179827222 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564263527520 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13817] ppid=13801 vsize=27477604 memory=7792 CPUtime=0 cores=0-7
/proc/13804/task/13817/stat : 13817 (java) S 13801 13804 12629 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 40 0 179827222 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564262474624 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13818] ppid=13801 vsize=27477604 memory=840 CPUtime=0 cores=0-7
/proc/13804/task/13818/stat : 13818 (java) S 13801 13804 12629 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 40 0 179827225 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564261422928 140565069993883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13819] ppid=13801 vsize=27477604 memory=1232 CPUtime=2.92 cores=0-7
/proc/13804/task/13819/stat : 13819 (java) S 13801 13804 12629 0 -1 1077944384 16996 0 0 0 286 6 0 0 20 0 40 0 179827225 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564260371312 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13820] ppid=13801 vsize=27477604 memory=2240 CPUtime=2.64 cores=0-7
/proc/13804/task/13820/stat : 13820 (java) S 13801 13804 12629 0 -1 1077944384 15480 0 0 0 261 3 0 0 20 0 40 0 179827225 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564259318512 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13821] ppid=13801 vsize=27477604 memory=8544396 CPUtime=2.55 cores=0-7
/proc/13804/task/13821/stat : 13821 (java) S 13801 13804 12629 0 -1 1077944384 20786 0 0 0 250 5 0 0 20 0 40 0 179827225 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564258265712 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13822] ppid=13801 vsize=27477604 memory=8544396 CPUtime=1.35 cores=0-7
/proc/13804/task/13822/stat : 13822 (java) S 13801 13804 12629 0 -1 1077944384 31573 0 0 0 129 6 0 0 20 0 40 0 179827225 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564257212912 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13823] ppid=13801 vsize=27477604 memory=8546312 CPUtime=0 cores=0-7
/proc/13804/task/13823/stat : 13823 (java) S 13801 13804 12629 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 179827225 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564256160352 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13825] ppid=13801 vsize=27477604 memory=8546500 CPUtime=0.01 cores=0-7
/proc/13804/task/13825/stat : 13825 (java) S 13801 13804 12629 0 -1 1077944384 2009 0 0 0 1 0 0 0 20 0 40 0 179830516 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564244816544 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13826] ppid=13801 vsize=27477604 memory=8546312 CPUtime=7.62 cores=0-7
/proc/13804/task/13826/stat : 13826 (java) S 13801 13804 12629 0 -1 1077944384 11766 0 0 0 318 444 0 0 20 0 40 0 179830527 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564241666848 140565069986434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13827] ppid=13801 vsize=27477604 memory=8546312 CPUtime=2183.36 cores=0-7
/proc/13804/task/13827/stat : 13827 (java) R 13801 13804 12629 0 -1 4202560 214712 0 0 0 217488 848 0 0 20 0 40 0 179830537 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564238511944 140564707843660 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13828] ppid=13801 vsize=27477604 memory=7681421203011431829 CPUtime=2185.92 cores=0-7
/proc/13804/task/13828/stat : 13828 (java) R 13801 13804 12629 0 -1 4202560 198197 0 0 0 217886 706 0 0 20 0 40 0 179830538 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564237461840 140564705018672 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13829] ppid=13801 vsize=27477604 memory=8546312 CPUtime=105.35 cores=0-7
/proc/13804/task/13829/stat : 13829 (java) S 13801 13804 12629 0 -1 1077944384 23282 0 0 0 10453 82 0 0 20 0 40 0 179830538 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564236412432 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13830] ppid=13801 vsize=27477604 memory=8546312 CPUtime=0 cores=0-7
/proc/13804/task/13830/stat : 13830 (java) S 13801 13804 12629 0 -1 1077944384 878 0 0 0 0 0 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564235359632 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13831] ppid=13801 vsize=27477604 memory=8628 CPUtime=1216.15 cores=0-7
/proc/13804/task/13831/stat : 13831 (java) R 13801 13804 12629 0 -1 4202560 136117 0 0 0 121092 523 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564234300744 140564707843680 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13832] ppid=13801 vsize=27477604 memory=8546312 CPUtime=2182.69 cores=0-7
/proc/13804/task/13832/stat : 13832 (java) R 13801 13804 12629 0 -1 4202560 242646 0 0 0 217450 819 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564233247944 140564705018672 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13833] ppid=13801 vsize=27477604 memory=0 CPUtime=2183.2 cores=0-7
/proc/13804/task/13833/stat : 13833 (java) R 13801 13804 12629 0 -1 4202560 214424 0 0 0 217638 682 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564232195144 140564709062908 0 4 0 16800975 0 0 0 -1 7 0 0 26 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13834] ppid=13801 vsize=27477604 memory=0 CPUtime=2183.78 cores=0-7
/proc/13804/task/13834/stat : 13834 (java) R 13801 13804 12629 0 -1 4202560 193644 0 0 0 217584 794 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564231142344 140564705018708 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13835] ppid=13801 vsize=27477604 memory=8546312 CPUtime=0.11 cores=0-7
/proc/13804/task/13835/stat : 13835 (java) S 13801 13804 12629 0 -1 1077944384 610 0 0 0 11 0 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564230096656 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13836] ppid=13801 vsize=27477604 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13804/task/13836/stat : 13836 (java) S 13801 13804 12629 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564229043856 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13837] ppid=13801 vsize=27477604 memory=0 CPUtime=1075.33 cores=0-7
/proc/13804/task/13837/stat : 13837 (java) S 13801 13804 12629 0 -1 1077944384 169349 0 0 0 107084 449 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564227991056 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13838] ppid=13801 vsize=27477604 memory=49672 CPUtime=2078.46 cores=0-7
/proc/13804/task/13838/stat : 13838 (java) R 13801 13804 12629 0 -1 4202560 162124 0 0 0 207186 660 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564226932168 140564705018721 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13839] ppid=13801 vsize=27477604 memory=8546312 CPUtime=0 cores=0-7
/proc/13804/task/13839/stat : 13839 (java) S 13801 13804 12629 0 -1 1077944384 740 0 0 0 0 0 0 0 20 0 40 0 179830541 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564225885456 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13840] ppid=13801 vsize=27477604 memory=8546312 CPUtime=0 cores=0-7
/proc/13804/task/13840/stat : 13840 (java) S 13801 13804 12629 0 -1 1077944384 564 0 0 0 0 0 0 0 20 0 40 0 179842103 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564222698640 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13841] ppid=13801 vsize=27477604 memory=8546500 CPUtime=0 cores=0-7
/proc/13804/task/13841/stat : 13841 (java) S 13801 13804 12629 0 -1 1077944384 740 0 0 0 0 0 0 0 20 0 40 0 179842105 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564221645840 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13842] ppid=13801 vsize=27477604 memory=8546312 CPUtime=0 cores=0-7
/proc/13804/task/13842/stat : 13842 (java) S 13801 13804 12629 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 40 0 179842105 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564220593040 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13843] ppid=13801 vsize=27477604 memory=8546312 CPUtime=0 cores=0-7
/proc/13804/task/13843/stat : 13843 (java) S 13801 13804 12629 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 40 0 179842106 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564219541264 140565069985493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
[pid=13804/tid=13844] ppid=13801 vsize=27477604 memory=4140 CPUtime=2076.81 cores=0-7
/proc/13804/task/13844/stat : 13844 (java) R 13801 13804 12629 0 -1 4202560 188970 0 0 0 207067 614 0 0 20 0 40 0 179842108 28137066496 2136675 33554432000 4194304 4196468 140721787024816 140564218482376 140564709062878 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 24616960 140721787028577 140721787028763 140721787028763 140721787031503 0
Current children cumulated CPU time: 19800.8 s
Current children cumulated vsize: 27477604 KiB
Current children cumulated memory: 8546700 KiB
Child status: 143
Real time (s): 2520.18
CPU time (s): 19800.9
CPU user time (s): 19731.3
CPU system time (s): 69.624
CPU usage (%): 785.696
Max. virtual memory (cumulated for all children) (KiB): 27477604
Max. memory (cumulated for all children) (KiB): 8547324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19731.3
system time used= 69.624
maximum resident set size= 8547324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3380173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 407387
involuntary context switches= 391487
# summary of solver processes directly reported to runsolver:
# pid: 13804
# total CPU time (s): 19800.9
# total CPU user time (s): 19731.3
# total CPU system time (s): 69.624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.6181 second user time and 41.8553 second system time
The end
Begin job on node107 at 2017-08-23 07:35:33 IDJOB=4285611 IDBENCH=140591 IDSOLVER=2681 FILE ID=node107/4285611-1503467394 RUNJOBID= node107-1503453215-12656 PBS_JOBID= 20632168 Free space on /tmp= 61252 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285611-1503467394/watcher-4285611-1503467394 -o /tmp/evaluation-result-4285611-1503467394/solver-4285611-1503467394 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503453215-12656 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1253111991 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285611-1503467394.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7 RANDOM SEED=1253111991 node107.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.84 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.84 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.84 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.84 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: 23648032 kB MemAvailable: 31952264 kB Buffers: 229976 kB Cached: 8361052 kB SwapCached: 0 kB Active: 1755256 kB Inactive: 6887924 kB Active(anon): 3276 kB Inactive(anon): 93500 kB Active(file): 1751980 kB Inactive(file): 6794424 kB Unevictable: 7612 kB Mlocked: 7612 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 43012 kB Writeback: 0 kB AnonPages: 60296 kB Mapped: 55592 kB Shmem: 41612 kB Slab: 173904 kB SReclaimable: 147328 kB SUnreclaim: 26576 kB KernelStack: 3168 kB PageTables: 4888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 340988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61212 MiB End job on node107 at 2017-08-23 08:17:33