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-18) | SAT (TO) | 6 | 18028.5 | 2520.1499 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml |
| MD5SUM | b40b46819fbd3a38fcaaee2fdd389509 |
| 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.0601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2209 |
| Number of constraints | 16215 |
| Number of domains | 1 |
| Minimum domain size | 1081 |
| Maximum domain size | 1081 |
| Distribution of domain sizes | [{"size":1081,"count":1081}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 46 |
| Distribution of variable degrees | [{"degree":0,"count":1128},{"degree":46,"count":1081}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":16215}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 16215 |
| Distribution of constraint types | [{"type":"intension","count":16215}] |
| 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-4281202-1503182441.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281202-1503182441.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 15.05/4.52 c solve instance... 29.34/6.46 o 45 30.02/6.58 o 44 32.24/6.89 o 43 43.29/8.23 o 42 202.97/28.60 o 41 1516.56/193.31 o 40 14462.62/1919.90 o 9 14472.63/1923.18 o 8 14658.12/1971.44 o 7 15473.74/2199.43 o 6 18027.63/2520.10 s SATISFIABLE 18027.63/2520.10 v <instantiation> 18027.63/2520.10 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[0][46] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46] </list> 18027.63/2520.10 v <values>4 5 0 4 6 4 3 3 6 4 4 4 0 5 0 0 1 5 5 0 1 4 1 2 3 0 4 0 2 4 0 3 3 5 0 2 6 1 6 6 3 0 3 2 5 2 2 4 3 3 1 2 6 2 1 0 2 5 3 1 1 0 6 3 2 2 6 1 0 3 2 3 2 3 5 6 4 6 4 3 2 4 4 3 1 0 1 2 0 1 3 2 6 2 3 4 2 0 4 5 4 3 0 2 4 5 6 4 5 1 2 1 3 0 3 0 6 3 6 4 5 6 3 1 0 0 0 2 1 6 1 1 4 6 6 6 3 0 0 6 5 0 2 4 3 3 6 2 3 5 6 3 3 1 2 0 1 3 2 1 4 5 1 2 2 1 1 3 1 1 0 0 6 4 0 2 2 4 4 3 4 3 6 3 6 3 0 0 0 3 6 4 5 0 3 6 3 4 4 0 0 3 5 0 1 2 5 0 1 3 6 2 6 6 5 0 6 1 4 5 3 0 5 4 5 4 1 4 5 5 6 0 3 0 0 0 6 4 5 1 2 1 2 4 0 2 1 3 3 1 2 3 6 4 4 1 0 0 1 1 2 2 2 3 2 0 2 5 3 3 0 3 5 5 3 1 2 4 4 3 2 3 0 0 0 2 2 0 5 1 2 0 3 1 3 5 3 2 0 3 2 5 0 1 2 0 3 6 0 2 4 2 2 5 1 0 1 3 2 3 2 4 4 5 0 5 4 2 5 4 6 6 6 1 0 1 1 3 2 0 3 6 0 4 2 3 4 6 5 0 3 6 4 5 1 0 4 0 2 6 5 1 5 0 2 4 0 4 5 0 3 3 5 1 6 6 0 6 3 1 3 5 4 6 6 2 0 5 6 1 2 6 0 2 1 2 4 3 6 6 5 1 4 0 3 2 4 2 1 5 1 1 0 0 1 3 1 3 3 0 0 0 1 3 0 5 1 4 3 4 3 1 1 2 0 0 5 4 0 0 5 1 0 2 4 2 0 3 2 6 4 3 0 0 0 1 2 5 5 3 2 2 1 4 0 2 0 1 2 3 3 4 4 0 1 3 4 1 2 2 5 0 0 3 1 4 2 4 5 5 4 4 3 4 1 3 2 0 0 4 2 4 0 6 6 4 1 1 6 5 2 0 4 0 4 1 3 6 3 3 4 2 3 2 3 4 5 1 2 3 4 3 2 4 5 5 2 1 3 3 2 1 5 0 0 2 3 1 4 1 2 0 3 4 3 2 3 0 5 1 2 1 6 4 6 6 5 2 6 3 0 2 6 0 4 4 1 2 4 6 1 1 2 0 2 3 1 1 2 5 1 1 0 0 5 4 4 1 0 4 2 1 0 5 4 2 0 5 6 2 3 4 6 0 4 3 3 0 5 5 1 2 0 0 4 3 6 4 4 5 1 0 4 4 2 2 4 2 6 4 6 4 1 3 3 4 3 5 2 4 0 0 3 4 0 6 5 0 5 6 2 3 3 1 1 3 2 3 1 6 1 1 4 0 0 3 5 2 2 4 2 1 1 3 5 3 0 0 5 4 4 3 5 5 4 6 5 0 1 5 1 3 5 3 1 1 4 0 5 4 5 0 2 2 0 1 3 3 1 3 0 2 2 4 4 1 6 5 6 2 5 4 1 3 4 6 2 1 3 1 2 3 5 6 4 4 0 6 6 1 0 5 3 2 0 4 3 0 0 1 0 0 5 1 5 2 0 0 2 0 0 5 3 6 5 3 3 3 1 3 2 1 0 6 4 5 6 6 6 3 6 4 3 0 0 0 4 1 1 2 2 0 6 4 5 1 1 1 4 0 1 4 0 4 1 0 3 1 1 0 0 0 0 2 0 1 3 1 3 2 3 1 4 3 3 1 6 2 1 3 2 4 2 1 3 0 4 4 3 0 2 4 0 5 0 4 2 2 3 0 2 6 4 0 1 0 5 1 2 5 0 3 1 4 3 3 1 3 5 1 5 4 2 0 3 3 2 0 6 1 5 3 2 1 0 5 4 4 2 1 4 2 4 1 0 1 1 3 0 4 1 4 5 2 1 5 3 0 3 2 2 6 5 1 1 1 4 1 1 0 2 3 0 0 0 2 3 0 6 3 0 0 5 1 6 4 3 4 1 1 5 4 1 6 2 4 3 3 1 0 1 3 0 4 2 5 3 5 2 1 2 1 4 0 1 1 5 5 3 4 6 1 0 4 2 0 1 3 3 0 6 3 5 6 6 6 2 2 0 2 3 0 0 5 1 0 3 1 5 4 2 1 5 3 0 3 6 6 6 2 3 6 6 2 2 2 2 4 6 3 5 5 3 0 0 3 2 0 3 3 1 3 6 4 2 1 4 2 4 2 3 2 0 5 1 1 2 1 0 6 1 2 4 1 0 0 0 6 3 4 1 4 2 6 3 2 0 0 4 0 4 </values> 18027.63/2520.10 v </instantiation> 18027.63/2520.10 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 (11449 MiB free)
memory of node 1: 16384 MiB (11426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281202-1503182441/watcher-4281202-1503182441 -o /tmp/evaluation-result-4281202-1503182441/solver-4281202-1503182441 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503176515-16689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1113602449 HOME/instance-4281202-1503182441.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
solver pid=17642, runsolver pid=17639
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100131 s]*
/proc/loadavg: 8.08 8.30 8.29 2/199 17663
/proc/meminfo: memFree=23410228/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151315593 9740288 346 33554432000 4194304 5098028 140733123064992 140733123063096 139961927959164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14311424 140733123073124 140733123073335 140733123073335 140733123076075 0
/proc/17642/statm: 2378 346 289 221 0 87 0
[pid=17644] ppid=17642 vsize=25999808 memory=26556 CPUtime=0.11 cores=0-7
/proc/17644/stat : 17644 (java) S 17642 17642 16662 0 -1 1077944320 5501 0 0 0 10 1 0 0 20 0 20 0 151315594 26623803392 6639 33554432000 4194304 4196468 140736380004624 140736379987168 140717329657591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
/proc/17644/statm: 6499952 6639 2867 1 0 6488269 0
[pid=17644/tid=17645] ppid=17642 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 16662 0 -1 4202560 3517 0 0 0 8 1 0 0 20 0 20 0 151315594 26623803392 6639 33554432000 4194304 4196468 140736380004624 140717333873744 140717329669526 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17646] ppid=17642 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26623803392 6639 33554432000 4194304 4196468 140736380004624 140717290617488 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17647] ppid=17642 vsize=25999808 memory=140288335484544 CPUtime=0 cores=0-7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716886374928 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17648] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716885322128 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17649] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716884269328 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17650] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716883217552 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17651] ppid=17642 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716882164752 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17652] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716881111952 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17653] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151315595 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716880059152 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17654] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315596 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716004039024 140717329668738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17655] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151315597 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716002984992 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17656] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17656/stat : 17656 (java) S 17642 17642 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151315597 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716001932144 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17657] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315599 26623803392 6639 33554432000 4194304 4196468 140736380004624 140716000880464 140717329676187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17658] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17658/stat : 17658 (java) R 17642 17642 16662 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 151315599 26623803392 6639 33554432000 4194304 4196468 140736380004624 140715999828848 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17659] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17659/stat : 17659 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151315599 26623803392 6639 33554432000 4194304 4196468 140736380004624 140715998776048 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17660] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17660/stat : 17660 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151315599 26623803392 6639 33554432000 4194304 4196468 140736380004624 140715997723248 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17661] ppid=17642 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17644/task/17661/stat : 17661 (java) R 17642 17642 16662 0 -1 4202560 242 0 0 0 1 0 0 0 20 0 20 0 151315599 26623803392 6639 33554432000 4194304 4196468 140736380004624 140715996670448 140717308342350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17662] ppid=17642 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17662/stat : 17662 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151315600 26623803392 6639 33554432000 4194304 4196468 140736380004624 140715995617888 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17663] ppid=17642 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17644/task/17663/stat : 17663 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315600 26623803392 6639 33554432000 4194304 4196468 140736380004624 140715994565168 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27940 KiB
[startup+0.21033 s]*
/proc/loadavg: 8.08 8.30 8.29 3/199 17663
/proc/meminfo: memFree=23398644/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151315593 9740288 346 33554432000 4194304 5098028 140733123064992 140733123063096 139961927959164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14311424 140733123073124 140733123073335 140733123073335 140733123076075 0
/proc/17642/statm: 2378 346 289 221 0 87 0
[pid=17644] ppid=17642 vsize=26004064 memory=38996 CPUtime=0.32 cores=0-7
/proc/17644/stat : 17644 (java) S 17642 17642 16662 0 -1 1077944320 8339 0 0 0 30 2 0 0 20 0 20 0 151315594 26628161536 9749 33554432000 4194304 4196468 140736380004624 140736379987168 140717329657591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
/proc/17644/statm: 6501016 9749 3047 1 0 6488269 0
[pid=17644/tid=17645] ppid=17642 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 16662 0 -1 4202560 5435 0 0 0 18 1 0 0 20 0 20 0 151315594 26628161536 9749 33554432000 4194304 4196468 140736380004624 140717333880496 140717313738078 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17646] ppid=17642 vsize=26004064 memory=339 CPUtime=0 cores=0-7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 9749 33554432000 4194304 4196468 140736380004624 140717290617488 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17647] ppid=17642 vsize=26004064 memory=140288336211539 CPUtime=0 cores=0-7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716886374928 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17648] ppid=17642 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716885322128 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17649] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716884269328 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17650] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716883217552 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17651] ppid=17642 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716882164752 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17652] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716881111952 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17653] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716880059152 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17654] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315596 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716004039024 140717329668738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17655] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151315597 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716002984992 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17656] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17656/stat : 17656 (java) S 17642 17642 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151315597 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716001932144 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17657] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315599 26628161536 9749 33554432000 4194304 4196468 140736380004624 140716000880464 140717329676187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17658] ppid=17642 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 16662 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 20 0 151315599 26628161536 9749 33554432000 4194304 4196468 140736380004624 140715999828848 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17659] ppid=17642 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17644/task/17659/stat : 17659 (java) S 17642 17642 16662 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 151315599 26628161536 9749 33554432000 4194304 4196468 140736380004624 140715998776048 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17660] ppid=17642 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/17644/task/17660/stat : 17660 (java) S 17642 17642 16662 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 151315599 26628161536 9749 33554432000 4194304 4196468 140736380004624 140715997723248 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17661] ppid=17642 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/17644/task/17661/stat : 17661 (java) R 17642 17642 16662 0 -1 4202560 770 0 0 0 7 0 0 0 20 0 20 0 151315599 26628161536 9749 33554432000 4194304 4196468 140736380004624 140715996670448 140717313738078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17662] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17662/stat : 17662 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151315600 26628161536 9749 33554432000 4194304 4196468 140736380004624 140715995617888 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17663] ppid=17642 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17644/task/17663/stat : 17663 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315600 26628161536 9749 33554432000 4194304 4196468 140736380004624 140715994565168 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40380 KiB
[startup+0.310259 s]*
/proc/loadavg: 8.08 8.30 8.29 3/199 17663
/proc/meminfo: memFree=23394116/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151315593 9740288 346 33554432000 4194304 5098028 140733123064992 140733123063096 139961927959164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14311424 140733123073124 140733123073335 140733123073335 140733123076075 0
/proc/17642/statm: 2378 346 289 221 0 87 0
[pid=17644] ppid=17642 vsize=26004064 memory=45668 CPUtime=0.49 cores=0-7
/proc/17644/stat : 17644 (java) S 17642 17642 16662 0 -1 1077944320 9143 0 0 0 46 3 0 0 20 0 20 0 151315594 26628161536 11417 33554432000 4194304 4196468 140736380004624 140736379987168 140717329657591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
/proc/17644/statm: 6501016 11417 3063 1 0 6488269 0
[pid=17644/tid=17645] ppid=17642 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 16662 0 -1 4202560 6100 0 0 0 27 2 0 0 20 0 20 0 151315594 26628161536 11417 33554432000 4194304 4196468 140736380004624 140717333895408 140717329669526 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17646] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 11417 33554432000 4194304 4196468 140736380004624 140717290617488 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17647] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716886374928 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17648] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716885322128 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17649] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716884269328 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17650] ppid=17642 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716883217552 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17651] ppid=17642 vsize=26004064 memory=140288194605999 CPUtime=0 cores=0-7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716882164752 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17652] ppid=17642 vsize=26004064 memory=140288194608304 CPUtime=0 cores=0-7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716881111952 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17653] ppid=17642 vsize=26004064 memory=140288194610608 CPUtime=0 cores=0-7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151315595 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716880059152 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17654] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315596 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716004039024 140717329668738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17655] ppid=17642 vsize=26004064 memory=280576389228176 CPUtime=0 cores=0-7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 16662 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151315597 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716002984992 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17656] ppid=17642 vsize=26004064 memory=280576389235088 CPUtime=0 cores=0-7
/proc/17644/task/17656/stat : 17656 (java) S 17642 17642 16662 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151315597 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716001932144 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17657] ppid=17642 vsize=26004064 memory=280576389176368 CPUtime=0 cores=0-7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315599 26628161536 11417 33554432000 4194304 4196468 140736380004624 140716000880464 140717329676187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17658] ppid=17642 vsize=26004064 memory=280576389248912 CPUtime=0.01 cores=0-7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 16662 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 20 0 151315599 26628161536 11417 33554432000 4194304 4196468 140736380004624 140715999828848 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17659] ppid=17642 vsize=26004064 memory=280576389255824 CPUtime=0.02 cores=0-7
/proc/17644/task/17659/stat : 17659 (java) R 17642 17642 16662 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 20 0 151315599 26628161536 11417 33554432000 4194304 4196468 140736380004624 140715998776048 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17660] ppid=17642 vsize=26004064 memory=280576389253520 CPUtime=0.01 cores=0-7
/proc/17644/task/17660/stat : 17660 (java) R 17642 17642 16662 0 -1 4202560 113 0 0 0 1 0 0 0 20 0 20 0 151315599 26628161536 11417 33554432000 4194304 4196468 140736380004624 140715997714896 140717310843782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17661] ppid=17642 vsize=26004064 memory=280576389269680 CPUtime=0.12 cores=0-7
/proc/17644/task/17661/stat : 17661 (java) R 17642 17642 16662 0 -1 4202560 863 0 0 0 12 0 0 0 20 0 20 0 151315599 26628161536 11417 33554432000 4194304 4196468 140736380004624 140715996666816 140717308964432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17662] ppid=17642 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17662/stat : 17662 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151315600 26628161536 11417 33554432000 4194304 4196468 140736380004624 140715995617888 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17663] ppid=17642 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17644/task/17663/stat : 17663 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315600 26628161536 11417 33554432000 4194304 4196468 140736380004624 140715994565168 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47052 KiB
[startup+0.701074 s]
/proc/loadavg: 8.08 8.30 8.29 5/199 17663
/proc/meminfo: memFree=23364960/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151315593 9740288 346 33554432000 4194304 5098028 140733123064992 140733123063096 139961927959164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14311424 140733123073124 140733123073335 140733123073335 140733123076075 0
/proc/17642/statm: 2378 346 289 221 0 87 0
[pid=17644] ppid=17642 vsize=26004140 memory=175176 CPUtime=2.03 cores=0-7
/proc/17644/stat : 17644 (java) S 17642 17642 16662 0 -1 1077944320 13834 0 0 0 196 7 0 0 20 0 20 0 151315594 26628239360 43794 33554432000 4194304 4196468 140736380004624 140736379987168 140717329657591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
/proc/17644/statm: 6501035 43794 3199 1 0 6488269 0
[pid=17644/tid=17645] ppid=17642 vsize=26004140 memory=280576389627568 CPUtime=0.67 cores=0-7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 16662 0 -1 4202560 6449 0 0 0 63 4 0 0 20 0 20 0 151315594 26628239360 43794 33554432000 4194304 4196468 140736380004624 140717333890096 140716969013903 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17646] ppid=17642 vsize=26004140 memory=140288194814832 CPUtime=0 cores=0-7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628239360 43794 33554432000 4194304 4196468 140736380004624 140717290617488 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17647] ppid=17642 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151315595 26628239360 43794 33554432000 4194304 4196468 140736380004624 140716886374928 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17648] ppid=17642 vsize=26004140 memory=1428 CPUtime=0 cores=0-7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 16662 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151315595 26628239360 43794 33554432000 4194304 4196468 140736380004624 140716885322128 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
################
# More data... #
################
/proc/meminfo: memFree=17841472/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151315593 9740288 346 33554432000 4194304 5098028 140733123064992 140733123063096 139961927959164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14311424 140733123073124 140733123073335 140733123073335 140733123076075 0
/proc/17642/statm: 2378 346 289 221 0 87 0
[pid=17644] ppid=17642 vsize=26538700 memory=5581276 CPUtime=17886.6 cores=0-7
/proc/17644/stat : 17644 (java) S 17642 17642 16662 0 -1 1077944320 689416 0 0 0 1786595 2062 0 0 20 0 28 0 151315594 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140736379987168 140717329657591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
/proc/17644/statm: 6634675 1395319 3303 1 0 6621909 0
[pid=17644/tid=17645] ppid=17642 vsize=26538700 memory=5648424 CPUtime=4 cores=0-7
/proc/17644/task/17645/stat : 17645 (java) S 17642 17642 16662 0 -1 1077944384 9371 0 0 0 383 17 0 0 20 0 28 0 151315594 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140717333898368 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17646] ppid=17642 vsize=26538700 memory=5643308 CPUtime=3.18 cores=0-7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 16662 0 -1 1077944384 16209 0 0 0 252 66 0 0 20 0 28 0 151315595 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140717290617488 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17647] ppid=17642 vsize=26538700 memory=5583840 CPUtime=3.25 cores=0-7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 16662 0 -1 1077944384 15284 0 0 0 266 59 0 0 20 0 28 0 151315595 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716886374928 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17648] ppid=17642 vsize=26538700 memory=5581276 CPUtime=3.26 cores=0-7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 16662 0 -1 1077944384 16277 0 0 0 262 64 0 0 20 0 28 0 151315595 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716885322128 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17649] ppid=17642 vsize=26538700 memory=5708428 CPUtime=3.23 cores=0-7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 16662 0 -1 1077944384 14059 0 0 0 259 64 0 0 20 0 28 0 151315595 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716884269328 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17650] ppid=17642 vsize=26538700 memory=1384 CPUtime=3.26 cores=0-7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 16662 0 -1 1077944384 14494 0 0 0 258 68 0 0 20 0 28 0 151315595 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716883217552 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17651] ppid=17642 vsize=26538700 memory=1384 CPUtime=3.28 cores=0-7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 16662 0 -1 1077944384 14482 0 0 0 265 63 0 0 20 0 28 0 151315595 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716882164752 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17652] ppid=17642 vsize=26538700 memory=6397300 CPUtime=3.25 cores=0-7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 16662 0 -1 1077944384 16185 0 0 0 258 67 0 0 20 0 28 0 151315595 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716881111952 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17653] ppid=17642 vsize=26538700 memory=1384 CPUtime=3.26 cores=0-7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 16662 0 -1 1077944384 12007 0 0 0 261 65 0 0 20 0 28 0 151315595 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716880059152 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17654] ppid=17642 vsize=26538700 memory=1384 CPUtime=1.12 cores=0-7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 16662 0 -1 1077944384 33474 0 0 0 74 38 0 0 20 0 28 0 151315596 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716004039024 140717329668738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17655] ppid=17642 vsize=26538700 memory=5598700 CPUtime=0 cores=0-7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 16662 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 151315597 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716002985056 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17656] ppid=17642 vsize=26538700 memory=5585892 CPUtime=0 cores=0-7
/proc/17644/task/17656/stat : 17656 (java) S 17642 17642 16662 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 151315597 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716001932160 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17657] ppid=17642 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151315599 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140716000880464 140717329676187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17658] ppid=17642 vsize=26538700 memory=1384 CPUtime=4.62 cores=0-7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 16662 0 -1 1077944384 33698 0 0 0 456 6 0 0 20 0 28 0 151315599 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715999828848 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17659] ppid=17642 vsize=26538700 memory=1384 CPUtime=4.69 cores=0-7
/proc/17644/task/17659/stat : 17659 (java) S 17642 17642 16662 0 -1 1077944384 32803 0 0 0 463 6 0 0 20 0 28 0 151315599 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715998776048 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17660] ppid=17642 vsize=26538700 memory=1384 CPUtime=5.16 cores=0-7
/proc/17644/task/17660/stat : 17660 (java) S 17642 17642 16662 0 -1 1077944384 37070 0 0 0 509 7 0 0 20 0 28 0 151315599 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715997723248 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17661] ppid=17642 vsize=26538700 memory=1384 CPUtime=1.14 cores=0-7
/proc/17644/task/17661/stat : 17661 (java) S 17642 17642 16662 0 -1 1077944384 29782 0 0 0 109 5 0 0 20 0 28 0 151315599 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715996670448 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17662] ppid=17642 vsize=26538700 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/17644/task/17662/stat : 17662 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151315600 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715995617888 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17663] ppid=17642 vsize=26538700 memory=4872558044660077418 CPUtime=0.99 cores=0-7
/proc/17644/task/17663/stat : 17663 (java) S 17642 17642 16662 0 -1 1077944384 6436 0 0 0 52 47 0 0 20 0 28 0 151315600 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715994565168 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17814] ppid=17642 vsize=26538700 memory=1384 CPUtime=301.81 cores=0-7
/proc/17644/task/17814/stat : 17814 (java) R 17642 17642 16662 0 -1 4202560 2455 0 0 0 30179 2 0 0 20 0 28 0 151535537 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715981785672 140716968590826 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17815] ppid=17642 vsize=26538700 memory=1384 CPUtime=300.51 cores=0-7
/proc/17644/task/17815/stat : 17815 (java) R 17642 17642 16662 0 -1 4202560 4247 0 0 0 30048 3 0 0 20 0 28 0 151535537 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715979681912 140717314867546 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17816] ppid=17642 vsize=26538700 memory=5605884 CPUtime=301.1 cores=0-7
/proc/17644/task/17816/stat : 17816 (java) R 17642 17642 16662 0 -1 4202560 1990 0 0 0 30107 3 0 0 20 0 28 0 151535537 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715985998400 140716974812712 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17817] ppid=17642 vsize=26538700 memory=1384 CPUtime=300.91 cores=0-7
/proc/17644/task/17817/stat : 17817 (java) R 17642 17642 16662 0 -1 4202560 22514 0 0 0 30022 69 0 0 20 0 28 0 151535537 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715983895312 140716975329120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17818] ppid=17642 vsize=26538700 memory=5605884 CPUtime=301.15 cores=0-7
/proc/17644/task/17818/stat : 17818 (java) R 17642 17642 16662 0 -1 4202560 5337 0 0 0 30111 4 0 0 20 0 28 0 151535537 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715982839672 140716971450197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17819] ppid=17642 vsize=26538700 memory=4012 CPUtime=301.12 cores=0-7
/proc/17644/task/17819/stat : 17819 (java) R 17642 17642 16662 0 -1 4202560 7239 0 0 0 30103 9 0 0 20 0 28 0 151535537 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715984945312 140716975084853 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17820] ppid=17642 vsize=26538700 memory=4012 CPUtime=299.3 cores=0-7
/proc/17644/task/17820/stat : 17820 (java) R 17642 17642 16662 0 -1 4202560 5240 0 0 0 29921 9 0 0 20 0 28 0 151535537 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715987050536 140716970634092 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17821] ppid=17642 vsize=26538700 memory=6791534058613427641 CPUtime=301.8 cores=0-7
/proc/17644/task/17821/stat : 17821 (java) R 17642 17642 16662 0 -1 4202560 3548 0 0 0 30177 3 0 0 20 0 28 0 151535537 27175628800 1395319 33554432000 4194304 4196468 140736380004624 140715980734376 140716968447976 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
Current children cumulated CPU time: 17886.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5582660 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.68 6.99 6.98 9/207 17821
/proc/meminfo: memFree=17873412/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 16662 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151315593 9740288 346 33554432000 4194304 5098028 140733123064992 140733123063096 139961927959164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14311424 140733123073124 140733123073335 140733123073335 140733123076075 0
/proc/17642/statm: 2378 346 289 221 0 87 0
[pid=17644] ppid=17642 vsize=26538700 memory=5548448 CPUtime=18027.6 cores=0-7
/proc/17644/stat : 17644 (java) S 17642 17642 16662 0 -1 1077944320 691661 0 0 0 1800697 2066 0 0 20 0 28 0 151315594 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140736379987168 140717329657591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
/proc/17644/statm: 6634675 1387112 3303 1 0 6621909 0
[pid=17644/tid=17645] ppid=17642 vsize=26538700 memory=1398720917958146503 CPUtime=4 cores=0-7
/proc/17644/task/17645/stat : 17645 (java) S 17642 17642 16662 0 -1 1077944384 9371 0 0 0 383 17 0 0 20 0 28 0 151315594 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140717333898368 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17646] ppid=17642 vsize=26538700 memory=4872558044660077418 CPUtime=3.23 cores=0-7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 16662 0 -1 1077944384 16228 0 0 0 257 66 0 0 20 0 28 0 151315595 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140717290617488 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17647] ppid=17642 vsize=26538700 memory=5552036 CPUtime=3.3 cores=0-7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 16662 0 -1 1077944384 15294 0 0 0 271 59 0 0 20 0 28 0 151315595 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716886374928 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17648] ppid=17642 vsize=26538700 memory=1012 CPUtime=3.3 cores=0-7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 16662 0 -1 1077944384 16634 0 0 0 266 64 0 0 20 0 28 0 151315595 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716885322128 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17649] ppid=17642 vsize=26538700 memory=796 CPUtime=3.27 cores=0-7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 16662 0 -1 1077944384 14064 0 0 0 263 64 0 0 20 0 28 0 151315595 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716884269328 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17650] ppid=17642 vsize=26538700 memory=1228 CPUtime=3.32 cores=0-7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 16662 0 -1 1077944384 14553 0 0 0 263 69 0 0 20 0 28 0 151315595 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716883217552 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17651] ppid=17642 vsize=26538700 memory=5784 CPUtime=3.33 cores=0-7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 16662 0 -1 1077944384 14489 0 0 0 270 63 0 0 20 0 28 0 151315595 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716882164752 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17652] ppid=17642 vsize=26538700 memory=4616 CPUtime=3.3 cores=0-7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 16662 0 -1 1077944384 16473 0 0 0 263 67 0 0 20 0 28 0 151315595 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716881111952 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17653] ppid=17642 vsize=26538700 memory=1928 CPUtime=3.3 cores=0-7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 16662 0 -1 1077944384 12018 0 0 0 265 65 0 0 20 0 28 0 151315595 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716880059152 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17654] ppid=17642 vsize=26538700 memory=6791534058613427641 CPUtime=1.14 cores=0-7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 16662 0 -1 1077944384 33729 0 0 0 75 39 0 0 20 0 28 0 151315596 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716004039024 140717329668738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17655] ppid=17642 vsize=26538700 memory=1232 CPUtime=0 cores=0-7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 16662 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 151315597 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716002985056 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17656] ppid=17642 vsize=26538700 memory=2428 CPUtime=0 cores=0-7
/proc/17644/task/17656/stat : 17656 (java) S 17642 17642 16662 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 151315597 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716001932160 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17657] ppid=17642 vsize=26538700 memory=1576 CPUtime=0 cores=0-7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 16662 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151315599 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140716000880464 140717329676187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17658] ppid=17642 vsize=26538700 memory=928 CPUtime=4.62 cores=0-7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 16662 0 -1 1077944384 33698 0 0 0 456 6 0 0 20 0 28 0 151315599 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715999828848 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17659] ppid=17642 vsize=26538700 memory=2240 CPUtime=4.69 cores=0-7
/proc/17644/task/17659/stat : 17659 (java) S 17642 17642 16662 0 -1 1077944384 32804 0 0 0 463 6 0 0 20 0 28 0 151315599 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715998776048 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17660] ppid=17642 vsize=26538700 memory=4128 CPUtime=5.16 cores=0-7
/proc/17644/task/17660/stat : 17660 (java) S 17642 17642 16662 0 -1 1077944384 37070 0 0 0 509 7 0 0 20 0 28 0 151315599 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715997723248 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17661] ppid=17642 vsize=26538700 memory=1384 CPUtime=1.14 cores=0-7
/proc/17644/task/17661/stat : 17661 (java) S 17642 17642 16662 0 -1 1077944384 29782 0 0 0 109 5 0 0 20 0 28 0 151315599 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715996670448 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17662] ppid=17642 vsize=26538700 memory=5560760 CPUtime=0 cores=0-7
/proc/17644/task/17662/stat : 17662 (java) S 17642 17642 16662 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151315600 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715995617888 140717329667797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17663] ppid=17642 vsize=26538700 memory=1384 CPUtime=0.99 cores=0-7
/proc/17644/task/17663/stat : 17663 (java) S 17642 17642 16662 0 -1 1077944384 6456 0 0 0 52 47 0 0 20 0 28 0 151315600 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715994565168 140717329668738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17814] ppid=17642 vsize=26538700 memory=6791534058613427641 CPUtime=319.31 cores=0-7
/proc/17644/task/17814/stat : 17814 (java) R 17642 17642 16662 0 -1 4202560 2538 0 0 0 31929 2 0 0 20 0 28 0 151535537 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715981786104 140716974380047 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17815] ppid=17642 vsize=26538700 memory=4616 CPUtime=317.98 cores=0-7
/proc/17644/task/17815/stat : 17815 (java) R 17642 17642 16662 0 -1 4202560 4351 0 0 0 31795 3 0 0 20 0 28 0 151535537 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715979681912 140716968465075 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17816] ppid=17642 vsize=26538700 memory=1928 CPUtime=318.62 cores=0-7
/proc/17644/task/17816/stat : 17816 (java) R 17642 17642 16662 0 -1 4202560 2067 0 0 0 31859 3 0 0 20 0 28 0 151535537 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715985998288 140716974812691 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17817] ppid=17642 vsize=26538700 memory=1428 CPUtime=318.54 cores=0-7
/proc/17644/task/17817/stat : 17817 (java) R 17642 17642 16662 0 -1 4202560 22935 0 0 0 31785 69 0 0 20 0 28 0 151535537 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715983892968 140716975329099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17818] ppid=17642 vsize=26538700 memory=1196 CPUtime=318.79 cores=0-7
/proc/17644/task/17818/stat : 17818 (java) R 17642 17642 16662 0 -1 4202560 5527 0 0 0 31874 5 0 0 20 0 28 0 151535537 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715982842864 140716970828857 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17819] ppid=17642 vsize=26538700 memory=10688 CPUtime=318.75 cores=0-7
/proc/17644/task/17819/stat : 17819 (java) R 17642 17642 16662 0 -1 4202560 7366 0 0 0 31866 9 0 0 20 0 28 0 151535537 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715984945448 140716971450197 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17820] ppid=17642 vsize=26538700 memory=6791534058613427641 CPUtime=316.93 cores=0-7
/proc/17644/task/17820/stat : 17820 (java) R 17642 17642 16662 0 -1 4202560 5368 0 0 0 31684 9 0 0 20 0 28 0 151535537 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715987050728 140716975703579 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
[pid=17644/tid=17821] ppid=17642 vsize=26538700 memory=5598700 CPUtime=319.43 cores=0-7
/proc/17644/task/17821/stat : 17821 (java) R 17642 17642 16662 0 -1 4202560 3625 0 0 0 31940 3 0 0 20 0 28 0 151535537 27175628800 1387112 33554432000 4194304 4196468 140736380004624 140715980734216 140716975703613 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39104512 140736380011666 140736380011843 140736380011843 140736380014543 0
Current children cumulated CPU time: 18027.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5549832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 17642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001025 s, system=0.001025 s
[startup+2520.15 s]
# the end of solver process 17644 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18007.8 s, system=20.6941 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
[startup+2520.13 s]*
/proc/loadavg: 8.68 6.99 6.98 2/180 17823
/proc/meminfo: memFree=20374588/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.00205 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.15
CPU time (s): 18028.5
CPU user time (s): 18007.8
CPU system time (s): 20.6941
CPU usage (%): 715.375
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 8023172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18007.8
system time used= 20.6941
maximum resident set size= 8034084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 693774
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76591
involuntary context switches= 183396
# summary of solver processes directly reported to runsolver:
# pid: 17642,17644
# total CPU time (s): 18028.5
# total CPU user time (s): 18007.8
# total CPU system time (s): 20.6941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5125 second user time and 30.4237 second system time
The end
Begin job on node105 at 2017-08-20 00:26:21 IDJOB=4281202 IDBENCH=140592 IDSOLVER=2675 FILE ID=node105/4281202-1503182441 RUNJOBID= node105-1503176515-16689 PBS_JOBID= 20630848 Free space on /tmp= 61848 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.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-4281202-1503182441/watcher-4281202-1503182441 -o /tmp/evaluation-result-4281202-1503182441/solver-4281202-1503182441 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503176515-16689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1113602449 HOME/instance-4281202-1503182441.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509 RANDOM SEED=1113602449 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23426144 kB MemAvailable: 31974532 kB Buffers: 236944 kB Cached: 8601884 kB SwapCached: 0 kB Active: 1043420 kB Inactive: 7848704 kB Active(anon): 3488 kB Inactive(anon): 85900 kB Active(file): 1039932 kB Inactive(file): 7762804 kB Unevictable: 7324 kB Mlocked: 7324 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8560 kB Writeback: 4 kB AnonPages: 52124 kB Mapped: 51428 kB Shmem: 33420 kB Slab: 149144 kB SReclaimable: 122976 kB SUnreclaim: 26168 kB KernelStack: 3248 kB PageTables: 4544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332436 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61840 MiB End job on node105 at 2017-08-20 01:08:22