Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 6 | 16559.4 | 2520.1299 |
| 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.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271391-1502868316.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271391-1502868316.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 13.70/4.21 c solve instance... 29.52/6.34 o 44 30.23/6.41 o 43 32.57/6.72 o 42 49.73/13.30 o 41 363.96/193.99 o 40 1789.47/450.23 o 39 13680.00/2019.75 o 8 13741.55/2051.42 o 7 14161.88/2219.53 o 6 16558.63/2520.08 s SATISFIABLE 16558.63/2520.08 v <instantiation> 16558.63/2520.08 v <list>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] </list> 16558.63/2520.08 v <values>0 1 2 0 3 0 2 4 1 2 0 6 0 1 4 0 1 0 0 0 3 4 1 1 1 1 1 0 0 0 2 3 0 3 1 0 2 0 2 1 3 1 2 2 0 4 4 3 4 6 4 2 0 4 2 0 3 2 3 3 0 4 1 4 1 4 0 5 0 1 1 2 2 4 5 0 1 0 5 3 0 3 0 1 1 5 2 6 4 0 0 2 5 2 1 3 2 3 0 1 4 0 2 5 5 1 1 0 3 4 4 6 0 3 0 5 1 1 2 1 2 5 4 1 0 4 0 2 2 2 0 2 3 3 3 1 2 5 3 1 1 2 5 5 5 2 2 0 0 5 1 4 3 6 3 3 3 6 0 3 0 0 3 1 2 1 2 6 4 3 4 3 3 6 0 1 0 0 0 0 3 1 2 4 6 4 1 5 5 1 2 4 6 2 6 6 5 5 3 6 6 3 1 5 5 1 2 5 0 4 0 1 2 4 1 1 1 1 6 1 2 1 3 4 6 1 1 6 4 0 2 3 2 6 6 2 1 2 5 0 5 1 4 0 1 0 3 3 5 3 6 3 4 4 0 4 2 0 5 2 3 6 1 4 3 0 4 4 5 5 6 3 6 0 0 2 5 1 1 0 3 5 0 2 5 6 3 0 5 5 0 1 1 4 2 4 5 2 0 1 1 2 3 4 2 2 2 4 2 1 1 0 6 4 0 5 5 4 0 1 0 2 4 0 1 3 0 4 4 4 1 0 2 5 4 4 4 4 6 3 4 5 0 3 1 5 2 0 0 2 5 1 5 2 2 3 4 1 4 0 2 3 2 1 6 2 1 2 2 1 1 1 0 4 1 2 5 0 0 2 2 4 6 2 4 6 5 3 5 0 6 3 4 3 3 0 1 6 3 5 3 6 1 0 4 2 2 6 2 3 6 5 0 2 6 4 2 6 1 1 0 2 0 3 1 4 0 0 0 0 4 6 3 3 0 4 5 5 1 0 0 3 3 0 4 1 1 3 1 3 0 4 0 3 6 1 1 4 1 5 6 1 2 6 1 3 6 4 1 5 4 0 2 1 1 0 3 2 2 6 3 6 1 3 2 1 4 3 6 1 4 6 4 4 0 1 2 0 6 6 3 3 0 3 3 3 3 2 6 2 0 3 6 3 6 1 4 3 0 6 5 2 3 4 0 0 5 0 0 4 4 6 3 2 1 0 1 5 3 4 3 0 5 1 2 4 6 2 2 6 2 5 0 4 6 4 4 3 5 0 1 4 6 1 3 5 4 5 5 1 2 5 1 0 0 2 6 2 4 0 2 2 3 0 1 3 3 0 6 4 0 5 1 2 5 2 0 6 4 6 5 3 2 1 3 0 1 0 4 6 5 3 5 2 0 6 1 3 3 1 5 1 1 1 3 0 4 2 3 0 1 5 5 0 4 0 4 2 0 2 0 0 2 3 2 4 3 0 1 1 3 4 1 2 1 1 4 1 5 2 1 5 2 0 2 3 4 6 2 4 1 2 4 6 4 1 3 5 3 1 5 1 1 6 3 4 4 1 1 1 2 6 3 2 5 2 2 3 3 0 2 0 2 0 0 2 1 5 5 2 4 1 0 5 5 3 2 4 6 2 0 5 2 1 5 3 0 4 2 0 3 3 1 2 2 3 4 3 0 3 5 6 2 1 2 2 0 0 4 1 5 1 5 3 6 3 3 5 4 6 4 0 1 4 5 2 3 4 4 0 2 0 1 0 4 0 0 5 4 4 2 2 5 2 4 5 4 0 1 4 6 0 6 0 2 5 2 6 2 5 3 5 5 3 2 6 2 4 2 3 1 0 0 2 2 1 1 2 1 0 0 2 1 0 2 3 3 1 1 0 5 1 1 1 4 1 6 0 1 6 0 4 5 4 1 6 1 6 1 5 3 3 1 5 0 0 1 6 2 0 4 6 4 1 2 3 5 5 2 3 0 0 3 2 0 1 2 6 5 2 6 4 5 3 0 5 4 2 2 6 3 3 0 3 1 4 5 4 2 2 6 6 4 0 4 5 1 1 0 0 4 6 4 5 4 0 3 4 2 2 5 0 5 3 5 3 1 3 6 5 5 4 1 1 6 6 3 4 4 0 1 6 1 6 4 5 2 3 5 1 2 4 5 3 6 3 3 2 1 4 2 3 3 6 2 5 0 3 5 4 2 4 6 5 2 1 4 0 0 5 3 2 4 1 2 2 3 2 5 1 2 6 2 0 1 2 2 1 4 5 3 1 6 0 3 0 3 6 6 5 1 5 2 6 2 1 6 5 0 0 4 0 0 1 2 0 0 2 0 1 5 6 6 1 5 </values> 16558.63/2520.08 v </instantiation> 16558.63/2520.08 c Unexpected resolution interruption!
OK 6
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 (14005 MiB free)
memory of node 1: 16384 MiB (12224 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271391-1502868316/watcher-4271391-1502868316 -o /tmp/evaluation-result-4271391-1502868316/solver-4271391-1502868316 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502864934-26739 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1850120783 HOME/instance-4271391-1502868316.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=27037, runsolver pid=27034
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 8.87 8.54 7.99 2/201 27058
/proc/meminfo: memFree=26843668/32770624 swapFree=67108860/67108860
[pid=27037] ppid=27034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27037/stat : 27037 (xcsp3-exec) S 27034 27037 26712 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119919349 9740288 346 33554432000 4194304 5098028 140736342620864 140736342618968 139800571658876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25796608 140736342623332 140736342623543 140736342623543 140736342626283 0
/proc/27037/statm: 2378 346 289 221 0 87 0
[pid=27039] ppid=27037 vsize=25999808 memory=26356 CPUtime=0.12 cores=0-7
/proc/27039/stat : 27039 (java) S 27037 27037 26712 0 -1 1077944320 5528 0 0 0 11 1 0 0 20 0 20 0 119919350 26623803392 6589 33554432000 4194304 4196468 140729452806544 140729452789088 139756329332471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
/proc/27039/statm: 6499952 6589 2841 1 0 6488269 0
[pid=27039/tid=27040] ppid=27037 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/27039/task/27040/stat : 27040 (java) R 27037 27037 26712 0 -1 4202560 3521 0 0 0 8 0 0 0 20 0 20 0 119919350 26623803392 6589 33554432000 4194304 4196468 140729452806544 139756333565744 139756307335313 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27041] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27041/stat : 27041 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755887442192 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27042] ppid=27037 vsize=25999808 memory=140564191372928 CPUtime=0 cores=0-7
/proc/27039/task/27042/stat : 27042 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755886389648 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27043] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27043/stat : 27043 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755885337104 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27044] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27044/stat : 27044 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919351 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755884284560 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27045] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27045/stat : 27045 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755883232016 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27046] ppid=27037 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27039/task/27046/stat : 27046 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919351 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755882179472 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27047] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27047/stat : 27047 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919351 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755881126928 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27048] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27048/stat : 27048 (java) S 27037 27037 26712 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119919351 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755880074384 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27049] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27049/stat : 27049 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919352 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755456702448 139756329343618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27050] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27050/stat : 27050 (java) S 27037 27037 26712 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119919353 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755455648672 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27051] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27051/stat : 27051 (java) S 27037 27037 26712 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119919353 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755454596080 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27052] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27052/stat : 27052 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919355 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755453544656 139756329351067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27053] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27053/stat : 27053 (java) S 27037 27037 26712 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 119919355 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755452492272 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27054] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27054/stat : 27054 (java) S 27037 27037 26712 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 119919355 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755451439728 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27055] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27055/stat : 27055 (java) S 27037 27037 26712 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119919355 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755450387184 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27056] ppid=27037 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/27039/task/27056/stat : 27056 (java) R 27037 27037 26712 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 119919355 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755449334640 139756329353818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27057] ppid=27037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27057/stat : 27057 (java) S 27037 27037 26712 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119919355 26623803392 6589 33554432000 4194304 4196468 140729452806544 139755448281312 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27058] ppid=27037 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27039/task/27058/stat : 27058 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919356 26623803392 6653 33554432000 4194304 4196468 140729452806544 139755447228848 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27740 KiB
[startup+0.210368 s]*
/proc/loadavg: 8.87 8.54 7.99 4/201 27058
/proc/meminfo: memFree=26832340/32770624 swapFree=67108860/67108860
[pid=27037] ppid=27034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27037/stat : 27037 (xcsp3-exec) S 27034 27037 26712 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119919349 9740288 346 33554432000 4194304 5098028 140736342620864 140736342618968 139800571658876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25796608 140736342623332 140736342623543 140736342623543 140736342626283 0
/proc/27037/statm: 2378 346 289 221 0 87 0
[pid=27039] ppid=27037 vsize=26004064 memory=39312 CPUtime=0.33 cores=0-7
/proc/27039/stat : 27039 (java) S 27037 27037 26712 0 -1 1077944320 8403 0 0 0 31 2 0 0 20 0 20 0 119919350 26628161536 9828 33554432000 4194304 4196468 140729452806544 140729452789088 139756329332471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
/proc/27039/statm: 6501016 9828 3069 1 0 6488269 0
[pid=27039/tid=27040] ppid=27037 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27039/task/27040/stat : 27040 (java) D 27037 27037 26712 0 -1 1077944384 5457 0 0 0 18 1 0 0 20 0 20 0 119919350 26628161536 9828 33554432000 4194304 4196468 140729452806544 139756333534160 139756322011693 0 4 0 16800975 18446744072101760548 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27041] ppid=27037 vsize=26004064 memory=339 CPUtime=0 cores=0-7
/proc/27039/task/27041/stat : 27041 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755887442192 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27042] ppid=27037 vsize=26004064 memory=288370940343084672 CPUtime=0 cores=0-7
/proc/27039/task/27042/stat : 27042 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755886389648 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27043] ppid=27037 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/27039/task/27043/stat : 27043 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26628194304 9828 33554432000 4194304 4196468 140729452806544 139755885337104 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27044] ppid=27037 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27044/stat : 27044 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919351 26628194304 9828 33554432000 4194304 4196468 140729452806544 139755884284560 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27045] ppid=27037 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27045/stat : 27045 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26628194304 9828 33554432000 4194304 4196468 140729452806544 139755883232016 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27046] ppid=27037 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/27039/task/27046/stat : 27046 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919351 26628194304 9828 33554432000 4194304 4196468 140729452806544 139755882179472 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27047] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27047/stat : 27047 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755881126928 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27048] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27048/stat : 27048 (java) S 27037 27037 26712 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755880074384 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27049] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27049/stat : 27049 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919352 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755456702448 139756329343618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27050] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27050/stat : 27050 (java) S 27037 27037 26712 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119919353 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755455648672 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27051] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27051/stat : 27051 (java) S 27037 27037 26712 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119919353 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755454596080 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27052] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27052/stat : 27052 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919355 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755453544656 139756329351067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27053] ppid=27037 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27039/task/27053/stat : 27053 (java) S 27037 27037 26712 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 119919355 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755452492272 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27054] ppid=27037 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/27039/task/27054/stat : 27054 (java) S 27037 27037 26712 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 20 0 119919355 26628194304 9828 33554432000 4194304 4196468 140729452806544 139755451439728 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27055] ppid=27037 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/27039/task/27055/stat : 27055 (java) S 27037 27037 26712 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 119919355 26628194304 9828 33554432000 4194304 4196468 140729452806544 139755450387184 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27056] ppid=27037 vsize=26004096 memory=-1 CPUtime=0.08 cores=0-7
/proc/27039/task/27056/stat : 27056 (java) S 27037 27037 26712 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 20 0 119919355 26628194304 9828 33554432000 4194304 4196468 140729452806544 139755449334640 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27057] ppid=27037 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27057/stat : 27057 (java) S 27037 27037 26712 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119919355 26628194304 9828 33554432000 4194304 4196468 140729452806544 139755448281312 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27058] ppid=27037 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27039/task/27058/stat : 27058 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919356 26628161536 9828 33554432000 4194304 4196468 140729452806544 139755447228848 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40696 KiB
[startup+0.310228 s]*
/proc/loadavg: 8.87 8.54 7.99 4/201 27058
/proc/meminfo: memFree=26827836/32770624 swapFree=67108860/67108860
[pid=27037] ppid=27034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27037/stat : 27037 (xcsp3-exec) S 27034 27037 26712 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119919349 9740288 346 33554432000 4194304 5098028 140736342620864 140736342618968 139800571658876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25796608 140736342623332 140736342623543 140736342623543 140736342626283 0
/proc/27037/statm: 2378 346 289 221 0 87 0
[pid=27039] ppid=27037 vsize=26004064 memory=46168 CPUtime=0.51 cores=0-7
/proc/27039/stat : 27039 (java) S 27037 27037 26712 0 -1 1077944320 9243 0 0 0 48 3 0 0 20 0 20 0 119919350 26628161536 11542 33554432000 4194304 4196468 140729452806544 140729452789088 139756329332471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
/proc/27039/statm: 6501016 11542 3095 1 0 6488269 0
[pid=27039/tid=27040] ppid=27037 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27039/task/27040/stat : 27040 (java) R 27037 27037 26712 0 -1 4202560 6105 0 0 0 27 2 0 0 20 0 20 0 119919350 26628161536 11542 33554432000 4194304 4196468 140729452806544 139756333568592 139755966580199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27041] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27041/stat : 27041 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755887442192 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27042] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27042/stat : 27042 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755886389648 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27043] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27043/stat : 27043 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755885337104 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27044] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27044/stat : 27044 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755884284560 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27045] ppid=27037 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/27039/task/27045/stat : 27045 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755883232016 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27046] ppid=27037 vsize=26004064 memory=140564079145903 CPUtime=0 cores=0-7
/proc/27039/task/27046/stat : 27046 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755882179472 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27047] ppid=27037 vsize=26004064 memory=140564079148208 CPUtime=0 cores=0-7
/proc/27039/task/27047/stat : 27047 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755881126928 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27048] ppid=27037 vsize=26004064 memory=140564079150512 CPUtime=0 cores=0-7
/proc/27039/task/27048/stat : 27048 (java) S 27037 27037 26712 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119919351 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755880074384 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27049] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27049/stat : 27049 (java) S 27037 27037 26712 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119919352 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755456702448 139756329343618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27050] ppid=27037 vsize=26004064 memory=281128158307984 CPUtime=0 cores=0-7
/proc/27039/task/27050/stat : 27050 (java) S 27037 27037 26712 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119919353 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755455648672 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27051] ppid=27037 vsize=26004064 memory=281128158314896 CPUtime=0 cores=0-7
/proc/27039/task/27051/stat : 27051 (java) S 27037 27037 26712 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119919353 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755454596080 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27052] ppid=27037 vsize=26004064 memory=281128158256176 CPUtime=0 cores=0-7
/proc/27039/task/27052/stat : 27052 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919355 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755453544656 139756329351067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27053] ppid=27037 vsize=26004064 memory=281128158328720 CPUtime=0.01 cores=0-7
/proc/27039/task/27053/stat : 27053 (java) S 27037 27037 26712 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 119919355 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755452492272 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27054] ppid=27037 vsize=26004064 memory=281128158335632 CPUtime=0.02 cores=0-7
/proc/27039/task/27054/stat : 27054 (java) R 27037 27037 26712 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 20 0 119919355 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755451439728 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27055] ppid=27037 vsize=26004064 memory=281128158333328 CPUtime=0.02 cores=0-7
/proc/27039/task/27055/stat : 27055 (java) R 27037 27037 26712 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 20 0 119919355 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755450379136 139756309176016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27056] ppid=27037 vsize=26004064 memory=281128158349488 CPUtime=0.13 cores=0-7
/proc/27039/task/27056/stat : 27056 (java) R 27037 27037 26712 0 -1 4202560 873 0 0 0 13 0 0 0 20 0 20 0 119919355 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755449334640 139756310896031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27057] ppid=27037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27057/stat : 27057 (java) S 27037 27037 26712 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119919355 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755448281312 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27058] ppid=27037 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27039/task/27058/stat : 27058 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119919356 26628161536 11542 33554432000 4194304 4196468 140729452806544 139755447228848 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47552 KiB
[startup+0.703705 s]
/proc/loadavg: 8.87 8.54 7.99 5/201 27058
/proc/meminfo: memFree=26800540/32770624 swapFree=67108860/67108860
[pid=27037] ppid=27034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27037/stat : 27037 (xcsp3-exec) S 27034 27037 26712 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119919349 9740288 346 33554432000 4194304 5098028 140736342620864 140736342618968 139800571658876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25796608 140736342623332 140736342623543 140736342623543 140736342626283 0
/proc/27037/statm: 2378 346 289 221 0 87 0
[pid=27039] ppid=27037 vsize=26004140 memory=191384 CPUtime=2.11 cores=0-7
/proc/27039/stat : 27039 (java) S 27037 27037 26712 0 -1 1077944320 13420 0 0 0 205 6 0 0 20 0 20 0 119919350 26628239360 47846 33554432000 4194304 4196468 140729452806544 140729452789088 139756329332471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
/proc/27039/statm: 6501035 47846 3199 1 0 6488269 0
[pid=27039/tid=27040] ppid=27037 vsize=26004140 memory=281128158707376 CPUtime=0.66 cores=0-7
/proc/27039/task/27040/stat : 27040 (java) S 27037 27037 26712 0 -1 1077944384 6453 0 0 0 63 3 0 0 20 0 20 0 119919350 26628239360 47846 33554432000 4194304 4196468 140729452806544 139756333569824 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27041] ppid=27037 vsize=26004140 memory=140564079354736 CPUtime=0 cores=0-7
/proc/27039/task/27041/stat : 27041 (java) S 27037 27037 26712 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 119919351 26628239360 47846 33554432000 4194304 4196468 140729452806544 139755887442192 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27042] ppid=27037 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/27039/task/27042/stat : 27042 (java) R 27037 27037 26712 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 119919351 26628239360 47846 33554432000 4194304 4196468 140729452806544 139755886389664 139756329342677 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27043] ppid=27037 vsize=26004140 memory=1008 CPUtime=0 cores=0-7
/proc/27039/task/27043/stat : 27043 (java) S 27037 27037 26712 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 119919351 26628239360 47846 33554432000 4194304 4196468 140729452806544 139755885337104 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
################
# More data... #
################
[pid=27039/tid=27164] ppid=27037 vsize=26538700 memory=1384 CPUtime=222.58 cores=0-7
/proc/27039/task/27164/stat : 27164 (java) R 27037 27037 26712 0 -1 4202560 5960 0 0 0 22251 7 0 0 20 0 28 0 120141303 27175628800 1365172 33554432000 4194304 4196468 140729452806544 139755438165864 139755975689469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
Current children cumulated CPU time: 15939 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5462072 KiB
[startup+2502.3 s]
/proc/loadavg: 7.95 6.60 6.76 9/209 27173
/proc/meminfo: memFree=21665000/32770624 swapFree=67108860/67108860
[pid=27037] ppid=27034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27037/stat : 27037 (xcsp3-exec) S 27034 27037 26712 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119919349 9740288 346 33554432000 4194304 5098028 140736342620864 140736342618968 139800571658876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25796608 140736342623332 140736342623543 140736342623543 140736342626283 0
/proc/27037/statm: 2378 346 289 221 0 87 0
[pid=27039] ppid=27037 vsize=26538700 memory=5194440 CPUtime=16417.4 cores=0-7
/proc/27039/stat : 27039 (java) S 27037 27037 26712 0 -1 1077944320 498719 0 0 0 1640494 1250 0 0 20 0 28 0 119919350 27175628800 1298610 33554432000 4194304 4196468 140729452806544 140729452789088 139756329332471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
/proc/27039/statm: 6634675 1298610 3295 1 0 6621909 0
[pid=27039/tid=27040] ppid=27037 vsize=26538700 memory=5284216 CPUtime=3.8 cores=0-7
/proc/27039/task/27040/stat : 27040 (java) S 27037 27037 26712 0 -1 1077944384 9789 0 0 0 362 18 0 0 20 0 28 0 119919350 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139756333573248 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27041] ppid=27037 vsize=26538700 memory=5234456 CPUtime=2.36 cores=0-7
/proc/27039/task/27041/stat : 27041 (java) S 27037 27037 26712 0 -1 1077944384 9699 0 0 0 170 66 0 0 20 0 28 0 119919351 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755887442192 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27042] ppid=27037 vsize=26538700 memory=5234456 CPUtime=2.35 cores=0-7
/proc/27039/task/27042/stat : 27042 (java) S 27037 27037 26712 0 -1 1077944384 9820 0 0 0 170 65 0 0 20 0 28 0 119919351 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755886389648 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27043] ppid=27037 vsize=26538700 memory=5194440 CPUtime=2.34 cores=0-7
/proc/27039/task/27043/stat : 27043 (java) S 27037 27037 26712 0 -1 1077944384 12413 0 0 0 171 63 0 0 20 0 28 0 119919351 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755885337104 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27044] ppid=27037 vsize=26538700 memory=1384 CPUtime=2.34 cores=0-7
/proc/27039/task/27044/stat : 27044 (java) S 27037 27037 26712 0 -1 1077944384 11346 0 0 0 169 65 0 0 20 0 28 0 119919351 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755884284560 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27045] ppid=27037 vsize=26538700 memory=0 CPUtime=2.34 cores=0-7
/proc/27039/task/27045/stat : 27045 (java) S 27037 27037 26712 0 -1 1077944384 6890 0 0 0 164 70 0 0 20 0 28 0 119919351 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755883232016 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27046] ppid=27037 vsize=26538700 memory=1384 CPUtime=2.38 cores=0-7
/proc/27039/task/27046/stat : 27046 (java) S 27037 27037 26712 0 -1 1077944384 10292 0 0 0 174 64 0 0 20 0 28 0 119919351 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755882179472 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27047] ppid=27037 vsize=26538700 memory=1384 CPUtime=2.36 cores=0-7
/proc/27039/task/27047/stat : 27047 (java) S 27037 27037 26712 0 -1 1077944384 11928 0 0 0 172 64 0 0 20 0 28 0 119919351 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755881126928 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27048] ppid=27037 vsize=26538700 memory=0 CPUtime=2.36 cores=0-7
/proc/27039/task/27048/stat : 27048 (java) S 27037 27037 26712 0 -1 1077944384 9466 0 0 0 172 64 0 0 20 0 28 0 119919351 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755880074384 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27049] ppid=27037 vsize=26538700 memory=1384 CPUtime=0.82 cores=0-7
/proc/27039/task/27049/stat : 27049 (java) S 27037 27037 26712 0 -1 1077944384 23748 0 0 0 55 27 0 0 20 0 28 0 119919352 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755456702448 139756329343618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27050] ppid=27037 vsize=26538700 memory=1944 CPUtime=0 cores=0-7
/proc/27039/task/27050/stat : 27050 (java) S 27037 27037 26712 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 119919353 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755455648736 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27051] ppid=27037 vsize=26538700 memory=1700 CPUtime=0 cores=0-7
/proc/27039/task/27051/stat : 27051 (java) S 27037 27037 26712 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 119919353 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755454596096 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27052] ppid=27037 vsize=26538700 memory=1292 CPUtime=0 cores=0-7
/proc/27039/task/27052/stat : 27052 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 119919355 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755453544656 139756329351067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27053] ppid=27037 vsize=26538700 memory=2428 CPUtime=4.17 cores=0-7
/proc/27039/task/27053/stat : 27053 (java) S 27037 27037 26712 0 -1 1077944384 37826 0 0 0 412 5 0 0 20 0 28 0 119919355 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755452492272 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27054] ppid=27037 vsize=26538700 memory=4140 CPUtime=4.27 cores=0-7
/proc/27039/task/27054/stat : 27054 (java) S 27037 27037 26712 0 -1 1077944384 32765 0 0 0 420 7 0 0 20 0 28 0 119919355 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755451439728 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27055] ppid=27037 vsize=26538700 memory=33420 CPUtime=4.54 cores=0-7
/proc/27039/task/27055/stat : 27055 (java) S 27037 27037 26712 0 -1 1077944384 31665 0 0 0 450 4 0 0 20 0 28 0 119919355 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755450387184 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27056] ppid=27037 vsize=26538700 memory=164 CPUtime=1.1 cores=0-7
/proc/27039/task/27056/stat : 27056 (java) S 27037 27037 26712 0 -1 1077944384 31544 0 0 0 105 5 0 0 20 0 28 0 119919355 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755449334640 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27057] ppid=27037 vsize=26538700 memory=6944656425123485561 CPUtime=0 cores=0-7
/proc/27039/task/27057/stat : 27057 (java) S 27037 27037 26712 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 119919355 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755448281312 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27058] ppid=27037 vsize=26538700 memory=640 CPUtime=1.02 cores=0-7
/proc/27039/task/27058/stat : 27058 (java) S 27037 27037 26712 0 -1 1077944384 6513 0 0 0 51 51 0 0 20 0 28 0 119919356 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755447228848 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27157] ppid=27037 vsize=26538700 memory=956 CPUtime=282.01 cores=0-7
/proc/27039/task/27157/stat : 27157 (java) R 27037 27037 26712 0 -1 4202560 2134 0 0 0 28196 5 0 0 20 0 28 0 120141303 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755436059456 139755975624420 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27158] ppid=27037 vsize=26538700 memory=1384 CPUtime=281.37 cores=0-7
/proc/27039/task/27158/stat : 27158 (java) R 27037 27037 26712 0 -1 4202560 4097 0 0 0 28134 3 0 0 20 0 28 0 120141303 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755435008632 139755969259595 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27159] ppid=27037 vsize=26538700 memory=1384 CPUtime=282.44 cores=0-7
/proc/27039/task/27159/stat : 27159 (java) R 27037 27037 26712 0 -1 4202560 1895 0 0 0 28242 2 0 0 20 0 28 0 120141303 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755439219048 139755967615628 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27160] ppid=27037 vsize=26538700 memory=5194440 CPUtime=281.05 cores=0-7
/proc/27039/task/27160/stat : 27160 (java) R 27037 27037 26712 0 -1 4202560 17019 0 0 0 28015 90 0 0 20 0 28 0 120141303 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755433955864 139755976111301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27161] ppid=27037 vsize=26538700 memory=1384 CPUtime=280.17 cores=0-7
/proc/27039/task/27161/stat : 27161 (java) R 27037 27037 26712 0 -1 4202560 5515 0 0 0 28009 8 0 0 20 0 28 0 120141303 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755432903672 139755971329236 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27162] ppid=27037 vsize=26538700 memory=1384 CPUtime=282.17 cores=0-7
/proc/27039/task/27162/stat : 27162 (java) R 27037 27037 26712 0 -1 4202560 3102 0 0 0 28213 4 0 0 20 0 28 0 120141303 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755437114488 139755975624200 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27163] ppid=27037 vsize=26538700 memory=5234456 CPUtime=282.46 cores=0-7
/proc/27039/task/27163/stat : 27163 (java) R 27037 27037 26712 0 -1 4202560 3984 0 0 0 28240 6 0 0 20 0 28 0 120141303 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755431849672 139755969479909 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27164] ppid=27037 vsize=26538700 memory=281128160656640 CPUtime=282.51 cores=0-7
/proc/27039/task/27164/stat : 27164 (java) R 27037 27037 26712 0 -1 4202560 8972 0 0 0 28241 10 0 0 20 0 28 0 120141303 27175628800 1298610 33554432000 4194304 4196468 140729452806544 139755438168256 139755969491150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
Current children cumulated CPU time: 16417.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5195824 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 7.96 6.66 6.78 9/209 27173
/proc/meminfo: memFree=21734152/32770624 swapFree=67108860/67108860
[pid=27037] ppid=27034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27037/stat : 27037 (xcsp3-exec) S 27034 27037 26712 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 119919349 9740288 346 33554432000 4194304 5098028 140736342620864 140736342618968 139800571658876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25796608 140736342623332 140736342623543 140736342623543 140736342626283 0
/proc/27037/statm: 2378 346 289 221 0 87 0
[pid=27039] ppid=27037 vsize=26538700 memory=5125188 CPUtime=16558.6 cores=0-7
/proc/27039/stat : 27039 (java) S 27037 27037 26712 0 -1 1077944320 505346 0 0 0 1654601 1262 0 0 20 0 28 0 119919350 27175628800 1281297 33554432000 4194304 4196468 140729452806544 140729452789088 139756329332471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
/proc/27039/statm: 6634675 1281297 3295 1 0 6621909 0
[pid=27039/tid=27040] ppid=27037 vsize=26538700 memory=1398720917958146503 CPUtime=3.8 cores=0-7
/proc/27039/task/27040/stat : 27040 (java) S 27037 27037 26712 0 -1 1077944384 9789 0 0 0 362 18 0 0 20 0 28 0 119919350 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139756333573248 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27041] ppid=27037 vsize=26538700 memory=4126316290023845779 CPUtime=2.37 cores=0-7
/proc/27039/task/27041/stat : 27041 (java) S 27037 27037 26712 0 -1 1077944384 10037 0 0 0 171 66 0 0 20 0 28 0 119919351 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755887442192 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27042] ppid=27037 vsize=26538700 memory=1008 CPUtime=2.36 cores=0-7
/proc/27039/task/27042/stat : 27042 (java) S 27037 27037 26712 0 -1 1077944384 10000 0 0 0 171 65 0 0 20 0 28 0 119919351 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755886389648 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27043] ppid=27037 vsize=26538700 memory=18936 CPUtime=2.36 cores=0-7
/proc/27039/task/27043/stat : 27043 (java) S 27037 27037 26712 0 -1 1077944384 12455 0 0 0 173 63 0 0 20 0 28 0 119919351 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755885337104 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27044] ppid=27037 vsize=26538700 memory=1236 CPUtime=2.37 cores=0-7
/proc/27039/task/27044/stat : 27044 (java) S 27037 27037 26712 0 -1 1077944384 11739 0 0 0 171 66 0 0 20 0 28 0 119919351 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755884284560 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27045] ppid=27037 vsize=26538700 memory=1792 CPUtime=2.35 cores=0-7
/proc/27039/task/27045/stat : 27045 (java) S 27037 27037 26712 0 -1 1077944384 7570 0 0 0 165 70 0 0 20 0 28 0 119919351 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755883232016 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27046] ppid=27037 vsize=26538700 memory=640 CPUtime=2.4 cores=0-7
/proc/27039/task/27046/stat : 27046 (java) S 27037 27037 26712 0 -1 1077944384 10488 0 0 0 176 64 0 0 20 0 28 0 119919351 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755882179472 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27047] ppid=27037 vsize=26538700 memory=956 CPUtime=2.37 cores=0-7
/proc/27039/task/27047/stat : 27047 (java) S 27037 27037 26712 0 -1 1077944384 12032 0 0 0 173 64 0 0 20 0 28 0 119919351 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755881126928 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27048] ppid=27037 vsize=26538700 memory=2428 CPUtime=2.38 cores=0-7
/proc/27039/task/27048/stat : 27048 (java) S 27037 27037 26712 0 -1 1077944384 9708 0 0 0 174 64 0 0 20 0 28 0 119919351 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755880074384 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27049] ppid=27037 vsize=26538700 memory=1576 CPUtime=0.83 cores=0-7
/proc/27039/task/27049/stat : 27049 (java) S 27037 27037 26712 0 -1 1077944384 24330 0 0 0 56 27 0 0 20 0 28 0 119919352 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755456702448 139756329343618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27050] ppid=27037 vsize=26538700 memory=932 CPUtime=0 cores=0-7
/proc/27039/task/27050/stat : 27050 (java) S 27037 27037 26712 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 119919353 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755455648736 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27051] ppid=27037 vsize=26538700 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/27039/task/27051/stat : 27051 (java) S 27037 27037 26712 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 119919353 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755454596096 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27052] ppid=27037 vsize=26538700 memory=956 CPUtime=0 cores=0-7
/proc/27039/task/27052/stat : 27052 (java) S 27037 27037 26712 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 119919355 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755453544656 139756329351067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27053] ppid=27037 vsize=26538700 memory=1384 CPUtime=4.17 cores=0-7
/proc/27039/task/27053/stat : 27053 (java) S 27037 27037 26712 0 -1 1077944384 37834 0 0 0 412 5 0 0 20 0 28 0 119919355 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755452492272 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27054] ppid=27037 vsize=26538700 memory=1384 CPUtime=4.27 cores=0-7
/proc/27039/task/27054/stat : 27054 (java) S 27037 27037 26712 0 -1 1077944384 32768 0 0 0 420 7 0 0 20 0 28 0 119919355 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755451439728 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27055] ppid=27037 vsize=26538700 memory=5125188 CPUtime=4.54 cores=0-7
/proc/27039/task/27055/stat : 27055 (java) S 27037 27037 26712 0 -1 1077944384 31668 0 0 0 450 4 0 0 20 0 28 0 119919355 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755450387184 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27056] ppid=27037 vsize=26538700 memory=1152 CPUtime=1.1 cores=0-7
/proc/27039/task/27056/stat : 27056 (java) S 27037 27037 26712 0 -1 1077944384 31548 0 0 0 105 5 0 0 20 0 28 0 119919355 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755449334640 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27057] ppid=27037 vsize=26538700 memory=3844 CPUtime=0 cores=0-7
/proc/27039/task/27057/stat : 27057 (java) S 27037 27037 26712 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 119919355 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755448281312 139756329342677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27058] ppid=27037 vsize=26538700 memory=1384 CPUtime=1.02 cores=0-7
/proc/27039/task/27058/stat : 27058 (java) S 27037 27037 26712 0 -1 1077944384 6580 0 0 0 51 51 0 0 20 0 28 0 119919356 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755447228848 139756329343618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27157] ppid=27037 vsize=26538700 memory=5194440 CPUtime=299.7 cores=0-7
/proc/27039/task/27157/stat : 27157 (java) R 27037 27037 26712 0 -1 4202560 2320 0 0 0 29964 6 0 0 20 0 28 0 120141303 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755436059704 139755975624420 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27158] ppid=27037 vsize=26538700 memory=4108 CPUtime=298.81 cores=0-7
/proc/27039/task/27158/stat : 27158 (java) R 27037 27037 26712 0 -1 4202560 4427 0 0 0 29877 4 0 0 20 0 28 0 120141303 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755435008632 139755969259711 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27159] ppid=27037 vsize=26538700 memory=1398720917958146503 CPUtime=300.11 cores=0-7
/proc/27039/task/27159/stat : 27159 (java) R 27037 27037 26712 0 -1 4202560 2060 0 0 0 30008 3 0 0 20 0 28 0 120141303 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755439218688 139755975207714 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27160] ppid=27037 vsize=26538700 memory=4126316290023845779 CPUtime=298.73 cores=0-7
/proc/27039/task/27160/stat : 27160 (java) R 27037 27037 26712 0 -1 4202560 18295 0 0 0 29781 92 0 0 20 0 28 0 120141303 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755433958432 139755976110056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27161] ppid=27037 vsize=26538700 memory=1384 CPUtime=297.73 cores=0-7
/proc/27039/task/27161/stat : 27161 (java) R 27037 27037 26712 0 -1 4202560 5878 0 0 0 29761 12 0 0 20 0 28 0 120141303 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755432903272 139755971329236 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27162] ppid=27037 vsize=26538700 memory=5234456 CPUtime=299.85 cores=0-7
/proc/27039/task/27162/stat : 27162 (java) R 27037 27037 26712 0 -1 4202560 3331 0 0 0 29980 5 0 0 20 0 28 0 120141303 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755437113784 139755975613418 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27163] ppid=27037 vsize=26538700 memory=4108 CPUtime=300.13 cores=0-7
/proc/27039/task/27163/stat : 27163 (java) R 27037 27037 26712 0 -1 4202560 4485 0 0 0 30005 8 0 0 20 0 28 0 120141303 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755431849672 139755972536085 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
[pid=27039/tid=27164] ppid=27037 vsize=26538700 memory=1228 CPUtime=300.19 cores=0-7
/proc/27039/task/27164/stat : 27164 (java) R 27037 27037 26712 0 -1 4202560 9707 0 0 0 30008 11 0 0 20 0 28 0 120141303 27175628800 1281297 33554432000 4194304 4196468 140729452806544 139755438165864 139755975624200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27955200 140729452811410 140729452811587 140729452811587 140729452814287 0
Current children cumulated CPU time: 16558.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5126572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 27037 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00098 s, system=0.00098 s
[startup+2520.13 s]
# the end of solver process 27039 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16546.7 s, system=12.6542 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.13
CPU time (s): 16559.4
CPU user time (s): 16546.7
CPU system time (s): 12.6542
CPU usage (%): 657.084
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 6833132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16546.7
system time used= 12.6542
maximum resident set size= 6852228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68781
involuntary context switches= 162501
# summary of solver processes directly reported to runsolver:
# pid: 27037,27039
# total CPU time (s): 16559.4
# total CPU user time (s): 16546.7
# total CPU system time (s): 12.6542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5743 second user time and 29.6464 second system time
The end
Begin job on node114 at 2017-08-16 09:10:57 IDJOB=4271391 IDBENCH=140591 IDSOLVER=2662 FILE ID=node114/4271391-1502868316 RUNJOBID= node114-1502864934-26739 PBS_JOBID= 20629867 Free space on /tmp= 61708 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271391-1502868316/watcher-4271391-1502868316 -o /tmp/evaluation-result-4271391-1502868316/solver-4271391-1502868316 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502864934-26739 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1850120783 HOME/instance-4271391-1502868316.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7 RANDOM SEED=1850120783 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 26860340 kB MemAvailable: 31988248 kB Buffers: 236120 kB Cached: 5178396 kB SwapCached: 0 kB Active: 541460 kB Inactive: 4925840 kB Active(anon): 55836 kB Inactive(anon): 25124 kB Active(file): 485624 kB Inactive(file): 4900716 kB Unevictable: 6432 kB Mlocked: 6432 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8396 kB Writeback: 24 kB AnonPages: 59100 kB Mapped: 46900 kB Shmem: 25224 kB Slab: 140812 kB SReclaimable: 114804 kB SUnreclaim: 26008 kB KernelStack: 3232 kB PageTables: 5404 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323380 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: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61700 MiB End job on node114 at 2017-08-16 09:52:57