Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| GG's minicp 2018-04-29 | SAT (TO) | 14190 | 2520.11 | 2513.33 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml |
| MD5SUM | 69d2b1c9cf4919b13dd8bc483772d8bf |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 13783 |
| Best CPU time to get the best result obtained on this benchmark | 2520.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2450 |
| Number of constraints | 1177 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 49 |
| Distribution of domain sizes | [{"size":8,"count":1176},{"size":49,"count":49}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 49 |
| Distribution of variable degrees | [{"degree":0,"count":1225},{"degree":2,"count":1176},{"degree":49,"count":49}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 49 |
| Distribution of constraint arities | [{"arity":3,"count":1176},{"arity":49,"count":1}] |
| Number of extensional constraints | 1176 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":1176},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.13/0.13 c version: 2018-04-11 0.13/0.13 c seed: 1811631 0.13/0.13 c timeout: -1 0.13/0.13 c memlimit: -1 0.13/0.13 c nbcore: -1 3.70/1.65 o 14356 5.02/2.27 o 14342 6.24/3.13 o 14294 6.73/3.54 o 14224 13.44/10.13 o 14216 15.14/11.81 o 14190 2520.07/2513.30 s SATISFIABLE 2520.07/2513.31 v <instantiation> 2520.07/2513.31 v <list> 2520.07/2513.31 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[44][45] d[44][46] d[44][47] d[44][48] d[45][46] d[45][47] d[45][48] d[46][47] d[46][48] d[47][48] 2520.07/2513.31 v </list> 2520.07/2513.31 v <values> 2520.07/2513.31 v 0 1 2 6 8 9 3 4 5 7 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 5 2 6 2 1 1 1 5 0 0 5 2 2 6 0 1 0 5 0 0 2 0 2 0 2 5 2 3 0 0 2 5 2 5 3 0 5 0 0 5 5 5 5 3 0 1 0 2 1 0 5 3 1 0 10 5 5 1 0 5 2 5 1 0 1 0 0 0 5 0 0 0 0 0 5 5 10 2 0 5 5 0 10 5 2 2 1 0 2 5 1 5 0 10 1 0 0 0 0 5 2 0 1 10 2 5 10 0 1 1 1 2 3 2 10 1 1 2 5 3 0 10 10 0 0 0 3 0 1 5 0 5 0 6 2 3 0 0 1 2 0 6 2 0 1 5 0 5 2 2 2 1 0 4 5 4 0 0 0 0 2 2 4 1 0 5 6 0 10 10 1 1 5 0 0 1 5 5 10 3 1 0 6 0 5 1 10 4 1 1 0 0 10 10 5 10 0 0 2 0 4 2 5 5 10 0 2 2 0 3 3 1 1 1 10 5 4 5 5 2 0 5 2 0 5 3 0 1 1 1 0 6 10 4 0 3 2 5 10 1 5 1 1 0 2 3 2 1 3 1 5 2 4 0 2 5 3 10 10 1 5 2 0 1 10 0 5 0 2 2 0 3 0 2 0 3 1 5 5 2 5 5 10 2 5 2 2 3 0 10 1 3 2 0 2 0 0 0 6 0 2 0 4 2 0 1 5 2 0 1 2 0 1 1 0 5 5 1 0 2 0 5 10 5 0 2 0 3 2 2 2 1 5 5 5 4 0 5 3 10 0 2 2 4 2 5 2 2 3 0 1 2 0 0 5 0 0 3 2 1 0 2 1 0 2 1 2 0 1 1 5 10 0 2 0 1 0 10 1 5 10 0 5 10 2 5 5 5 0 10 5 5 0 0 5 1 2 1 2 0 5 5 2 5 0 0 5 2 10 2 5 0 0 0 0 5 5 5 2 1 0 2 1 10 5 2 5 10 0 10 0 0 5 4 1 5 0 6 3 5 0 5 5 2 0 6 4 0 10 2 1 2 5 4 0 0 4 2 1 5 0 4 5 10 5 1 5 1 2 0 0 2 2 0 2 2 2 3 2 0 0 0 2 2 0 1 2 1 1 10 1 5 0 0 2 0 5 0 1 4 10 0 2 5 5 5 2 2 2 0 5 3 3 0 0 5 2 0 0 0 1 0 1 3 2 2 0 5 0 2 0 5 5 1 0 1 5 5 5 5 0 1 0 6 0 0 0 0 1 6 2 2 0 0 2 2 2 5 5 0 1 0 2 5 2 2 2 1 5 5 1 0 10 4 5 0 2 5 5 1 0 5 2 4 2 5 2 1 4 2 5 2 0 0 5 2 0 5 2 5 0 3 0 5 0 0 2 5 0 0 2 0 4 0 0 0 2 0 0 10 5 5 0 2 5 1 0 1 5 5 6 0 10 1 6 0 0 5 5 1 5 5 2 5 0 0 2 2 0 1 0 1 5 0 0 5 0 2 2 1 5 0 10 0 2 2 10 0 3 3 0 3 0 5 10 0 0 2 2 1 0 10 0 5 0 1 0 4 0 2 5 2 1 0 0 10 0 5 0 2 2 0 6 10 0 5 5 5 0 5 3 6 6 2 5 1 5 0 1 0 2 10 0 5 0 1 5 5 5 0 0 0 0 6 2 5 0 1 0 0 0 5 0 2 1 2 2 10 10 5 2 5 0 10 4 2 0 0 0 0 0 2 5 10 4 2 5 5 0 0 4 1 5 0 2 5 4 5 10 0 5 0 0 6 1 2 0 5 0 2 3 2 0 6 0 0 1 0 2 2 0 0 5 0 0 5 5 5 2 0 1 5 5 0 0 10 0 2 0 4 5 1 1 1 5 0 0 2 10 1 3 0 10 1 10 0 1 0 0 2 2 0 0 0 4 2 1 2 0 10 0 0 10 0 1 1 5 10 2 2 5 0 10 2 2 2 2 3 1 0 1 2 0 0 5 2 10 0 10 5 5 1 0 1 3 0 5 0 0 0 5 2 5 0 1 5 5 3 2 0 0 2 5 5 2 0 5 0 5 10 2 0 5 1 2 0 1 2 2 0 5 5 10 2 2 2 2 0 3 5 0 2 2 10 2 5 5 4 5 0 5 2 0 3 5 0 0 5 2 5 1 4 2 0 6 5 0 2 5 1 0 0 10 0 1 2 2 0 0 0 5 5 0 2 5 5 1 10 0 1 1 5 10 2 3 3 5 5 10 10 2 0 3 0 0 0 2 2 1 3 1 1 0 3 0 2 5 2 5 0 0 5 0 5 5 0 2 5 0 0 4 0 10 10 0 5 5 1 6 0 2 5 2 0 0 0 0 0 0 2 1 1 1 10 2 1 1 1 2 0 5 5 1 0 0 10 0 2 1 6 0 4 0 5 0 0 2 5 1 5 2 0 2 2 3 5 10 5 0 0 2 5 0 10 4 0 0 0 5 0 10 4 0 1 2 10 0 2 0 2 0 2 4 10 0 10 0 0 0 1 5 0 0 5 5 5 10 3 5 3 0 0 0 0 2 5 2 2 5 2 0 0 1 2 2 0 4 0 5 5 10 0 1 10 1 10 2 2 0 0 2 2 5 0 0 0 5 3 1 5 5 0 1 1 2 1 0 5 1 0 2 0 2 0 2 10 2520.07/2513.31 v </values> 2520.07/2513.31 v </instantiation>
OK 14190
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 (8281 MiB free)
memory of node 1: 16384 MiB (12537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298914-1532784221/watcher-4298914-1532784221 -o /tmp/evaluation-result-4298914-1532784221/solver-4298914-1532784221 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30332 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298914-1532784221.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31395, runsolver pid=31392
[startup+0.10084 s]*
/proc/loadavg: 1.88 1.70 1.69 4/216 31410
/proc/meminfo: memFree=21303924/32770624 swapFree=67108404/67108860
[pid=31395] ppid=31392 vsize=10661056 memory=27612 CPUtime=0.13 cores=0,2,4,6
/proc/31395/stat : 31395 (java) S 31392 31395 30301 0 -1 1077944320 5281 0 0 0 12 1 0 0 20 0 15 0 95985290 10916921344 6903 33554432000 4194304 4196468 140720864407840 140720864390384 140350409322231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
/proc/31395/statm: 2665264 6903 2848 1 0 2627263 0
[pid=31395/tid=31397] ppid=31392 vsize=10661056 memory=-8269626465541461117 CPUtime=0.09 cores=0,2,4,6
/proc/31395/task/31397/stat : 31397 (java) R 31392 31395 30301 0 -1 4202560 3140 0 0 0 9 0 0 0 20 0 15 0 95985290 10916921344 6903 33554432000 4194304 4196468 140720864407840 140350413551712 140350409334166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31398] ppid=31392 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31398/stat : 31398 (java) S 31392 31395 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95985291 10916921344 6903 33554432000 4194304 4196468 140720864407840 140350346013456 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31399] ppid=31392 vsize=10661056 memory=140562112894592 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31399/stat : 31399 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985291 10916921344 6903 33554432000 4194304 4196468 140720864407840 140350344960912 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31400] ppid=31392 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31400/stat : 31400 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985291 10916921344 6903 33554432000 4194304 4196468 140720864407840 140350343908368 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31401] ppid=31392 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31401/stat : 31401 (java) S 31392 31395 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95985291 10916921344 6903 33554432000 4194304 4196468 140720864407840 140350342855824 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31402] ppid=31392 vsize=10661056 memory=140562112894592 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31402/stat : 31402 (java) S 31392 31395 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95985292 10916921344 6903 33554432000 4194304 4196468 140720864407840 140349577926640 140350409333378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31403] ppid=31392 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31403/stat : 31403 (java) S 31392 31395 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95985293 10916921344 6903 33554432000 4194304 4196468 140720864407840 140349576872864 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31404] ppid=31392 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31404/stat : 31404 (java) S 31392 31395 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95985293 10916921344 6903 33554432000 4194304 4196468 140720864407840 140349575820272 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31405] ppid=31392 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31405/stat : 31405 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985295 10916921344 6903 33554432000 4194304 4196468 140720864407840 140349574768848 140350409340827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31406] ppid=31392 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31406/stat : 31406 (java) R 31392 31395 30301 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 95985295 10916921344 6903 33554432000 4194304 4196468 140720864407840 140349573716560 140350409332437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31407] ppid=31392 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31407/stat : 31407 (java) R 31392 31395 30301 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 95985295 10916921344 6903 33554432000 4194304 4196468 140720864407840 140349572655568 140350409343578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31408] ppid=31392 vsize=10661056 memory=140562112894592 CPUtime=0.01 cores=0,2,4,6
/proc/31395/task/31408/stat : 31408 (java) R 31392 31395 30301 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 95985296 10916921344 6903 33554432000 4194304 4196468 140720864407840 140349571611376 140350409334166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31409] ppid=31392 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31409/stat : 31409 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985296 10916921344 6903 33554432000 4194304 4196468 140720864407840 140349570559072 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31410] ppid=31392 vsize=10661056 memory=140562112894592 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31410/stat : 31410 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985296 10916921344 6903 33554432000 4194304 4196468 140720864407840 140349569505584 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27612 KiB
[startup+0.210673 s]*
/proc/loadavg: 1.88 1.70 1.69 4/216 31410
/proc/meminfo: memFree=21291624/32770624 swapFree=67108404/67108860
[pid=31395] ppid=31392 vsize=10661056 memory=40416 CPUtime=0.34 cores=0,2,4,6
/proc/31395/stat : 31395 (java) S 31392 31395 30301 0 -1 1077944320 8116 0 0 0 32 2 0 0 20 0 15 0 95985290 10916921344 10104 33554432000 4194304 4196468 140720864407840 140720864390384 140350409322231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
/proc/31395/statm: 2665264 10104 3004 1 0 2627263 0
[pid=31395/tid=31397] ppid=31392 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31395/task/31397/stat : 31397 (java) R 31392 31395 30301 0 -1 4202560 5112 0 0 0 19 1 0 0 20 0 15 0 95985290 10916921344 10104 33554432000 4194304 4196468 140720864407840 140350413560832 140350020272228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31398] ppid=31392 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31398/stat : 31398 (java) S 31392 31395 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95985291 10916921344 10104 33554432000 4194304 4196468 140720864407840 140350346013456 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31399] ppid=31392 vsize=10661056 memory=140562112925176 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31399/stat : 31399 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985291 10916921344 10104 33554432000 4194304 4196468 140720864407840 140350344960912 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31400] ppid=31392 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31400/stat : 31400 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985291 10916921344 10104 33554432000 4194304 4196468 140720864407840 140350343908368 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31401] ppid=31392 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31401/stat : 31401 (java) S 31392 31395 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95985291 10916921344 10104 33554432000 4194304 4196468 140720864407840 140350342855824 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31402] ppid=31392 vsize=10661056 memory=140562112894592 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31402/stat : 31402 (java) S 31392 31395 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95985292 10916921344 10104 33554432000 4194304 4196468 140720864407840 140349577926640 140350409333378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31403] ppid=31392 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31403/stat : 31403 (java) S 31392 31395 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95985293 10916921344 10104 33554432000 4194304 4196468 140720864407840 140349576872864 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31404] ppid=31392 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31404/stat : 31404 (java) S 31392 31395 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95985293 10916921344 10104 33554432000 4194304 4196468 140720864407840 140349575820272 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31405] ppid=31392 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31405/stat : 31405 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985295 10916921344 10104 33554432000 4194304 4196468 140720864407840 140349574768848 140350409340827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31406] ppid=31392 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31395/task/31406/stat : 31406 (java) R 31392 31395 30301 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 15 0 95985295 10916921344 10104 33554432000 4194304 4196468 140720864407840 140349573716464 140350409333378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31407] ppid=31392 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31395/task/31407/stat : 31407 (java) R 31392 31395 30301 0 -1 4202560 215 0 0 0 2 0 0 0 20 0 15 0 95985295 10916921344 10104 33554432000 4194304 4196468 140720864407840 140349572663920 140350394447616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31408] ppid=31392 vsize=10661056 memory=140562112894592 CPUtime=0.08 cores=0,2,4,6
/proc/31395/task/31408/stat : 31408 (java) R 31392 31395 30301 0 -1 4202560 875 0 0 0 8 0 0 0 20 0 15 0 95985296 10916921344 10104 33554432000 4194304 4196468 140720864407840 140349571607056 140350390907751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31409] ppid=31392 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31409/stat : 31409 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985296 10916921344 10104 33554432000 4194304 4196468 140720864407840 140349570559072 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31410] ppid=31392 vsize=10661056 memory=140562112894592 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31410/stat : 31410 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985296 10916921344 10104 33554432000 4194304 4196468 140720864407840 140349569505584 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40416 KiB
[startup+0.3106 s]*
/proc/loadavg: 1.88 1.70 1.69 5/216 31410
/proc/meminfo: memFree=21277544/32770624 swapFree=67108404/67108860
[pid=31395] ppid=31392 vsize=10661132 memory=54772 CPUtime=0.66 cores=0,2,4,6
/proc/31395/stat : 31395 (java) S 31392 31395 30301 0 -1 1077944320 10272 0 0 0 63 3 0 0 20 0 15 0 95985290 10916999168 13693 33554432000 4194304 4196468 140720864407840 140720864390384 140350409322231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
/proc/31395/statm: 2665283 13693 3078 1 0 2627263 0
[pid=31395/tid=31397] ppid=31392 vsize=10661132 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/31395/task/31397/stat : 31397 (java) R 31392 31395 30301 0 -1 4202560 5437 0 0 0 28 1 0 0 20 0 15 0 95985290 10916999168 13693 33554432000 4194304 4196468 140720864407840 140350413559088 140350018628736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31398] ppid=31392 vsize=10661132 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31398/stat : 31398 (java) S 31392 31395 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95985291 10916999168 13693 33554432000 4194304 4196468 140720864407840 140350346013456 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31399] ppid=31392 vsize=10661132 memory=140562112925068 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31399/stat : 31399 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985291 10916999168 13693 33554432000 4194304 4196468 140720864407840 140350344960912 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31400] ppid=31392 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31400/stat : 31400 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985291 10916999168 13693 33554432000 4194304 4196468 140720864407840 140350343908368 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31401] ppid=31392 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31401/stat : 31401 (java) S 31392 31395 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95985291 10916999168 13693 33554432000 4194304 4196468 140720864407840 140350342855824 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31402] ppid=31392 vsize=10661132 memory=140562112894592 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31402/stat : 31402 (java) S 31392 31395 30301 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95985292 10916999168 13693 33554432000 4194304 4196468 140720864407840 140349577926640 140350409333378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31403] ppid=31392 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31403/stat : 31403 (java) S 31392 31395 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 13693 33554432000 4194304 4196468 140720864407840 140349576872864 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31404] ppid=31392 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31404/stat : 31404 (java) S 31392 31395 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 13693 33554432000 4194304 4196468 140720864407840 140349575820272 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31405] ppid=31392 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31405/stat : 31405 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985295 10916999168 13693 33554432000 4194304 4196468 140720864407840 140349574768848 140350409340827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31406] ppid=31392 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31395/task/31406/stat : 31406 (java) S 31392 31395 30301 0 -1 1077944384 914 0 0 0 8 0 0 0 20 0 15 0 95985295 10916999168 13693 33554432000 4194304 4196468 140720864407840 140349573716464 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31407] ppid=31392 vsize=10661132 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/31395/task/31407/stat : 31407 (java) S 31392 31395 30301 0 -1 1077944384 1060 0 0 0 10 0 0 0 20 0 15 0 95985295 10916999168 13693 33554432000 4194304 4196468 140720864407840 140349572663920 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31408] ppid=31392 vsize=10661132 memory=140562112894592 CPUtime=0.16 cores=0,2,4,6
/proc/31395/task/31408/stat : 31408 (java) R 31392 31395 30301 0 -1 4202560 1492 0 0 0 16 0 0 0 20 0 15 0 95985296 10916999168 13693 33554432000 4194304 4196468 140720864407840 140349571609168 140350409343578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31409] ppid=31392 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31409/stat : 31409 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985296 10916999168 13693 33554432000 4194304 4196468 140720864407840 140349570559072 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31410] ppid=31392 vsize=10661132 memory=140562112894592 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31410/stat : 31410 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985296 10916999168 13693 33554432000 4194304 4196468 140720864407840 140349569505584 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 54772 KiB
[startup+0.708583 s]
/proc/loadavg: 1.88 1.70 1.69 6/216 31410
/proc/meminfo: memFree=21236076/32770624 swapFree=67108404/67108860
[pid=31395] ppid=31392 vsize=10661132 memory=330608 CPUtime=1.83 cores=0,2,4,6
/proc/31395/stat : 31395 (java) S 31392 31395 30301 0 -1 1077944320 11913 0 0 0 173 10 0 0 20 0 15 0 95985290 10916999168 82652 33554432000 4194304 4196468 140720864407840 140720864390384 140350409322231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
/proc/31395/statm: 2665283 82652 3127 1 0 2627263 0
[pid=31395/tid=31397] ppid=31392 vsize=10661132 memory=1840 CPUtime=0.66 cores=0,2,4,6
/proc/31395/task/31397/stat : 31397 (java) S 31392 31395 30301 0 -1 1077944384 5747 0 0 0 61 5 0 0 20 0 15 0 95985290 10916999168 82652 33554432000 4194304 4196468 140720864407840 140350413560848 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31398] ppid=31392 vsize=10661132 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31398/stat : 31398 (java) R 31392 31395 30301 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 15 0 95985291 10916999168 82652 33554432000 4194304 4196468 140720864407840 140350346013576 140350401950439 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31399] ppid=31392 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31399/stat : 31399 (java) R 31392 31395 30301 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 95985291 10916999168 82652 33554432000 4194304 4196468 140720864407840 140350344960912 140350401950439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31400] ppid=31392 vsize=10661132 memory=11008 CPUtime=0.02 cores=0,2,4,6
/proc/31395/task/31400/stat : 31400 (java) R 31392 31395 30301 0 -1 4202560 25 0 0 0 1 1 0 0 20 0 15 0 95985291 10916999168 82652 33554432000 4194304 4196468 140720864407840 140350343908256 140350402418932 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31401] ppid=31392 vsize=10661132 memory=1008 CPUtime=0.01 cores=0,2,4,6
/proc/31395/task/31401/stat : 31401 (java) R 31392 31395 30301 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 15 0 95985291 10916999168 82652 33554432000 4194304 4196468 140720864407840 140350342855824 140350401950439 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31402] ppid=31392 vsize=10661132 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31402/stat : 31402 (java) S 31392 31395 30301 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95985292 10916999168 82652 33554432000 4194304 4196468 140720864407840 140349577925152 140350409332437 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31403] ppid=31392 vsize=10661132 memory=8568 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31403/stat : 31403 (java) S 31392 31395 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 82652 33554432000 4194304 4196468 140720864407840 140349576872864 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31404] ppid=31392 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31404/stat : 31404 (java) S 31392 31395 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 82652 33554432000 4194304 4196468 140720864407840 140349575820272 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31405] ppid=31392 vsize=10661132 memory=5372 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31405/stat : 31405 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985295 10916999168 82652 33554432000 4194304 4196468 140720864407840 140349574768848 140350409340827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31406] ppid=31392 vsize=10661132 memory=7302135314614015848 CPUtime=0.37 cores=0,2,4,6
/proc/31395/task/31406/stat : 31406 (java) R 31392 31395 30301 0 -1 4202560 1406 0 0 0 37 0 0 0 20 0 15 0 95985295 10916999168 82652 33554432000 4194304 4196468 140720864407840 140349573716464 140350393282065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31407] ppid=31392 vsize=10661132 memory=7450453974481135974 CPUtime=0.36 cores=0,2,4,6
/proc/31395/task/31407/stat : 31407 (java) S 31392 31395 30301 0 -1 1077944384 1364 0 0 0 36 0 0 0 20 0 15 0 95985295 10916999168 82652 33554432000 4194304 4196468 140720864407840 140349572643472 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31408] ppid=31392 vsize=10661132 memory=7151830906713428048 CPUtime=0.33 cores=0,2,4,6
/proc/31395/task/31408/stat : 31408 (java) S 31392 31395 30301 0 -1 1077944384 1865 0 0 0 33 0 0 0 20 0 15 0 95985296 10916999168 82652 33554432000 4194304 4196468 140720864407840 140349571611376 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31409] ppid=31392 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31409/stat : 31409 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985296 10916999168 82652 33554432000 4194304 4196468 140720864407840 140349570559072 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31410] ppid=31392 vsize=10661132 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31410/stat : 31410 (java) S 31392 31395 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95985296 10916999168 82652 33554432000 4194304 4196468 140720864407840 140349569505584 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 330608 KiB
[startup+1.50081 s]
/proc/loadavg: 1.88 1.70 1.69 6/216 31410
/proc/meminfo: memFree=20701712/32770624 swapFree=67108404/67108860
[pid=31395] ppid=31392 vsize=10661132 memory=760248 CPUtime=3.59 cores=0,2,4,6
/proc/31395/stat : 31395 (java) S 31392 31395 30301 0 -1 1077944320 13210 0 0 0 333 26 0 0 20 0 15 0 95985290 10916999168 190062 33554432000 4194304 4196468 140720864407840 140720864390384 140350409322231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
/proc/31395/statm: 2665283 190062 3149 1 0 2627263 0
[pid=31395/tid=31397] ppid=31392 vsize=10661132 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/31395/task/31397/stat : 31397 (java) R 31392 31395 30301 0 -1 4202560 6111 0 0 0 128 12 0 0 20 0 15 0 95985290 10916999168 190062 33554432000 4194304 4196468 140720864407840 140350413558592 140350023531109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31398] ppid=31392 vsize=10661132 memory=-6951259422114956437 CPUtime=0.05 cores=0,2,4,6
/proc/31395/task/31398/stat : 31398 (java) S 31392 31395 30301 0 -1 1077944384 63 0 0 0 3 2 0 0 20 0 15 0 95985291 10916999168 190062 33554432000 4194304 4196468 140720864407840 140350346013456 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31399] ppid=31392 vsize=10661132 memory=-6509546260019855299 CPUtime=0.06 cores=0,2,4,6
/proc/31395/task/31399/stat : 31399 (java) S 31392 31395 30301 0 -1 1077944384 54 0 0 0 3 3 0 0 20 0 15 0 95985291 10916999168 190062 33554432000 4194304 4196468 140720864407840 140350344960912 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31400] ppid=31392 vsize=10661132 memory=-7390251449858225344 CPUtime=0.06 cores=0,2,4,6
/proc/31395/task/31400/stat : 31400 (java) S 31392 31395 30301 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 15 0 95985291 10916999168 190062 33554432000 4194304 4196468 140720864407840 140350343908368 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31401] ppid=31392 vsize=10661132 memory=4134692831991786133 CPUtime=0.05 cores=0,2,4,6
/proc/31395/task/31401/stat : 31401 (java) S 31392 31395 30301 0 -1 1077944384 53 0 0 0 3 2 0 0 20 0 15 0 95985291 10916999168 190062 33554432000 4194304 4196468 140720864407840 140350342855824 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31402] ppid=31392 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31402/stat : 31402 (java) S 31392 31395 30301 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 15 0 95985292 10916999168 190062 33554432000 4194304 4196468 140720864407840 140349577926640 140350409333378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
################
# More data... #
################
/proc/31395/task/31397/stat : 31397 (java) R 31392 31395 30301 0 -1 4202560 61738 0 0 0 244104 49 0 0 20 0 15 0 95985290 10916999168 598822 33554432000 4194304 4196468 140720864407840 140350413561840 140350023136005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31398] ppid=31392 vsize=10661132 memory=2395288 CPUtime=0.62 cores=0,2,4,6
/proc/31395/task/31398/stat : 31398 (java) S 31392 31395 30301 0 -1 1077944384 4968 0 0 0 55 7 0 0 20 0 15 0 95985291 10916999168 598822 33554432000 4194304 4196468 140720864407840 140350346013456 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31399] ppid=31392 vsize=10661132 memory=2396960 CPUtime=0.62 cores=0,2,4,6
/proc/31395/task/31399/stat : 31399 (java) S 31392 31395 30301 0 -1 1077944384 10910 0 0 0 55 7 0 0 20 0 15 0 95985291 10916999168 598822 33554432000 4194304 4196468 140720864407840 140350344960912 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31400] ppid=31392 vsize=10661132 memory=2396960 CPUtime=0.62 cores=0,2,4,6
/proc/31395/task/31400/stat : 31400 (java) S 31392 31395 30301 0 -1 1077944384 5666 0 0 0 55 7 0 0 20 0 15 0 95985291 10916999168 598822 33554432000 4194304 4196468 140720864407840 140350343908368 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31401] ppid=31392 vsize=10661132 memory=2396960 CPUtime=0.6 cores=0,2,4,6
/proc/31395/task/31401/stat : 31401 (java) S 31392 31395 30301 0 -1 1077944384 5103 0 0 0 54 6 0 0 20 0 15 0 95985291 10916999168 598822 33554432000 4194304 4196468 140720864407840 140350342855824 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31402] ppid=31392 vsize=10661132 memory=2395288 CPUtime=0.08 cores=0,2,4,6
/proc/31395/task/31402/stat : 31402 (java) S 31392 31395 30301 0 -1 1077944384 9374 0 0 0 5 3 0 0 20 0 15 0 95985292 10916999168 598822 33554432000 4194304 4196468 140720864407840 140349577926640 140350409333378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31403] ppid=31392 vsize=10661132 memory=2395288 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31403/stat : 31403 (java) S 31392 31395 30301 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 598822 33554432000 4194304 4196468 140720864407840 140349576872928 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31404] ppid=31392 vsize=10661132 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31404/stat : 31404 (java) S 31392 31395 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 598822 33554432000 4194304 4196468 140720864407840 140349575820272 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31405] ppid=31392 vsize=10661132 memory=2395288 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31405/stat : 31405 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985295 10916999168 598822 33554432000 4194304 4196468 140720864407840 140349574768848 140350409340827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31406] ppid=31392 vsize=10661132 memory=2395288 CPUtime=1.42 cores=0,2,4,6
/proc/31395/task/31406/stat : 31406 (java) S 31392 31395 30301 0 -1 1077944384 6337 0 0 0 141 1 0 0 20 0 15 0 95985295 10916999168 598822 33554432000 4194304 4196468 140720864407840 140349573716464 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31407] ppid=31392 vsize=10661132 memory=2395288 CPUtime=1.56 cores=0,2,4,6
/proc/31395/task/31407/stat : 31407 (java) S 31392 31395 30301 0 -1 1077944384 8411 0 0 0 155 1 0 0 20 0 15 0 95985295 10916999168 598822 33554432000 4194304 4196468 140720864407840 140349572663920 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31408] ppid=31392 vsize=10661132 memory=2395288 CPUtime=0.5 cores=0,2,4,6
/proc/31395/task/31408/stat : 31408 (java) S 31392 31395 30301 0 -1 1077944384 5015 0 0 0 49 1 0 0 20 0 15 0 95985296 10916999168 598822 33554432000 4194304 4196468 140720864407840 140349571611376 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31409] ppid=31392 vsize=10661132 memory=2395288 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31409/stat : 31409 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985296 10916999168 598822 33554432000 4194304 4196468 140720864407840 140349570559072 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31410] ppid=31392 vsize=10661132 memory=2395288 CPUtime=1.27 cores=0,2,4,6
/proc/31395/task/31410/stat : 31410 (java) S 31392 31395 30301 0 -1 1077944384 2051 0 0 0 68 59 0 0 20 0 15 0 95985296 10916999168 598822 33554432000 4194304 4196468 140720864407840 140349569505584 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
Current children cumulated CPU time: 2448.92 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2395288 KiB
[startup+2502.3 s]
/proc/loadavg: 1.88 1.98 1.98 5/216 31589
/proc/meminfo: memFree=21209800/32770624 swapFree=67108404/67108860
[pid=31395] ppid=31392 vsize=10661132 memory=2380996 CPUtime=2508.99 cores=0,2,4,6
/proc/31395/stat : 31395 (java) S 31392 31395 30301 0 -1 1077944320 124334 0 0 0 250772 127 0 0 20 0 15 0 95985290 10916999168 595249 33554432000 4194304 4196468 140720864407840 140720864390384 140350409322231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
/proc/31395/statm: 2665283 595249 3161 1 0 2627263 0
[pid=31395/tid=31397] ppid=31392 vsize=10661132 memory=2380996 CPUtime=2501.52 cores=0,2,4,6
/proc/31395/task/31397/stat : 31397 (java) R 31392 31395 30301 0 -1 4202560 63022 0 0 0 250102 50 0 0 20 0 15 0 95985290 10916999168 595249 33554432000 4194304 4196468 140720864407840 140350413559120 140350024808850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31398] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.63 cores=0,2,4,6
/proc/31395/task/31398/stat : 31398 (java) S 31392 31395 30301 0 -1 1077944384 5342 0 0 0 56 7 0 0 20 0 15 0 95985291 10916999168 595249 33554432000 4194304 4196468 140720864407840 140350346013456 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31399] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.63 cores=0,2,4,6
/proc/31395/task/31399/stat : 31399 (java) S 31392 31395 30301 0 -1 1077944384 11220 0 0 0 56 7 0 0 20 0 15 0 95985291 10916999168 595249 33554432000 4194304 4196468 140720864407840 140350344960912 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31400] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.64 cores=0,2,4,6
/proc/31395/task/31400/stat : 31400 (java) S 31392 31395 30301 0 -1 1077944384 5782 0 0 0 57 7 0 0 20 0 15 0 95985291 10916999168 595249 33554432000 4194304 4196468 140720864407840 140350343908368 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31401] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.62 cores=0,2,4,6
/proc/31395/task/31401/stat : 31401 (java) S 31392 31395 30301 0 -1 1077944384 5478 0 0 0 56 6 0 0 20 0 15 0 95985291 10916999168 595249 33554432000 4194304 4196468 140720864407840 140350342855824 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31402] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.09 cores=0,2,4,6
/proc/31395/task/31402/stat : 31402 (java) S 31392 31395 30301 0 -1 1077944384 9866 0 0 0 5 4 0 0 20 0 15 0 95985292 10916999168 595249 33554432000 4194304 4196468 140720864407840 140349577926640 140350409333378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31403] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31403/stat : 31403 (java) S 31392 31395 30301 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 595249 33554432000 4194304 4196468 140720864407840 140349576872928 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31404] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31404/stat : 31404 (java) S 31392 31395 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 595249 33554432000 4194304 4196468 140720864407840 140349575820272 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31405] ppid=31392 vsize=10661132 memory=2384072 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31405/stat : 31405 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985295 10916999168 595249 33554432000 4194304 4196468 140720864407840 140349574768848 140350409340827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31406] ppid=31392 vsize=10661132 memory=2384072 CPUtime=1.42 cores=0,2,4,6
/proc/31395/task/31406/stat : 31406 (java) S 31392 31395 30301 0 -1 1077944384 6683 0 0 0 141 1 0 0 20 0 15 0 95985295 10916999168 595249 33554432000 4194304 4196468 140720864407840 140349573716464 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31407] ppid=31392 vsize=10661132 memory=3232 CPUtime=1.56 cores=0,2,4,6
/proc/31395/task/31407/stat : 31407 (java) S 31392 31395 30301 0 -1 1077944384 8417 0 0 0 155 1 0 0 20 0 15 0 95985295 10916999168 595249 33554432000 4194304 4196468 140720864407840 140349572663920 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31408] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.5 cores=0,2,4,6
/proc/31395/task/31408/stat : 31408 (java) S 31392 31395 30301 0 -1 1077944384 5023 0 0 0 49 1 0 0 20 0 15 0 95985296 10916999168 595249 33554432000 4194304 4196468 140720864407840 140349571611376 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31409] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31409/stat : 31409 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985296 10916999168 595249 33554432000 4194304 4196468 140720864407840 140349570559072 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31410] ppid=31392 vsize=10661132 memory=2380996 CPUtime=1.31 cores=0,2,4,6
/proc/31395/task/31410/stat : 31410 (java) S 31392 31395 30301 0 -1 1077944384 2129 0 0 0 70 61 0 0 20 0 15 0 95985296 10916999168 595249 33554432000 4194304 4196468 140720864407840 140349569505584 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
Current children cumulated CPU time: 2508.99 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2380996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/216 31589
/proc/meminfo: memFree=21109932/32770624 swapFree=67108404/67108860
[pid=31395] ppid=31392 vsize=10661132 memory=2374328 CPUtime=2520.07 cores=0,2,4,6
/proc/31395/stat : 31395 (java) S 31392 31395 30301 0 -1 1077944320 125748 0 0 0 251879 128 0 0 20 0 15 0 95985290 10916999168 593582 33554432000 4194304 4196468 140720864407840 140720864390384 140350409322231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
/proc/31395/statm: 2665283 593582 3161 1 0 2627263 0
[pid=31395/tid=31397] ppid=31392 vsize=10661132 memory=2374328 CPUtime=2512.5 cores=0,2,4,6
/proc/31395/task/31397/stat : 31397 (java) R 31392 31395 30301 0 -1 4202560 63215 0 0 0 251200 50 0 0 20 0 15 0 95985290 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350413561760 140350023136002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31398] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0.65 cores=0,2,4,6
/proc/31395/task/31398/stat : 31398 (java) S 31392 31395 30301 0 -1 1077944384 5410 0 0 0 58 7 0 0 20 0 15 0 95985291 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350346013456 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31399] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0.65 cores=0,2,4,6
/proc/31395/task/31399/stat : 31399 (java) S 31392 31395 30301 0 -1 1077944384 11732 0 0 0 58 7 0 0 20 0 15 0 95985291 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350344960912 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31400] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.66 cores=0,2,4,6
/proc/31395/task/31400/stat : 31400 (java) S 31392 31395 30301 0 -1 1077944384 5814 0 0 0 59 7 0 0 20 0 15 0 95985291 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350343908368 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31401] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.64 cores=0,2,4,6
/proc/31395/task/31401/stat : 31401 (java) S 31392 31395 30301 0 -1 1077944384 5795 0 0 0 58 6 0 0 20 0 15 0 95985291 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350342855824 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31402] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0.09 cores=0,2,4,6
/proc/31395/task/31402/stat : 31402 (java) S 31392 31395 30301 0 -1 1077944384 10025 0 0 0 5 4 0 0 20 0 15 0 95985292 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349577926640 140350409333378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31403] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31403/stat : 31403 (java) S 31392 31395 30301 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349576872928 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31404] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31404/stat : 31404 (java) S 31392 31395 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349575820272 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31405] ppid=31392 vsize=10661132 memory=281123998157600 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31405/stat : 31405 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985295 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349574768848 140350409340827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31406] ppid=31392 vsize=10661132 memory=2380996 CPUtime=1.42 cores=0,2,4,6
/proc/31395/task/31406/stat : 31406 (java) S 31392 31395 30301 0 -1 1077944384 6683 0 0 0 141 1 0 0 20 0 15 0 95985295 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349573716464 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31407] ppid=31392 vsize=10661132 memory=281123998688376 CPUtime=1.56 cores=0,2,4,6
/proc/31395/task/31407/stat : 31407 (java) S 31392 31395 30301 0 -1 1077944384 8550 0 0 0 155 1 0 0 20 0 15 0 95985295 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349572663920 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31408] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.5 cores=0,2,4,6
/proc/31395/task/31408/stat : 31408 (java) S 31392 31395 30301 0 -1 1077944384 5023 0 0 0 49 1 0 0 20 0 15 0 95985296 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349571611376 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31409] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31409/stat : 31409 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985296 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349570559072 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31410] ppid=31392 vsize=10661132 memory=2374328 CPUtime=1.31 cores=0,2,4,6
/proc/31395/task/31410/stat : 31410 (java) S 31392 31395 30301 0 -1 1077944384 2129 0 0 0 70 61 0 0 20 0 15 0 95985296 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349569505584 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2374328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.33 s]
# the end of solver process 31395 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.81 s, system=1.29324 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/216 31589
/proc/meminfo: memFree=21109932/32770624 swapFree=67108404/67108860
[pid=31395] ppid=31392 vsize=10661132 memory=2374328 CPUtime=2520.07 cores=0,2,4,6
/proc/31395/stat : 31395 (java) S 31392 31395 30301 0 -1 1077944320 125748 0 0 0 251879 128 0 0 20 0 15 0 95985290 10916999168 593582 33554432000 4194304 4196468 140720864407840 140720864390384 140350409322231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
/proc/31395/statm: 2665283 593582 3161 1 0 2627263 0
[pid=31395/tid=31397] ppid=31392 vsize=10661132 memory=2374328 CPUtime=2512.5 cores=0,2,4,6
/proc/31395/task/31397/stat : 31397 (java) R 31392 31395 30301 0 -1 4202560 63215 0 0 0 251200 50 0 0 20 0 15 0 95985290 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350413561760 140350023136002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31398] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0.65 cores=0,2,4,6
/proc/31395/task/31398/stat : 31398 (java) S 31392 31395 30301 0 -1 1077944384 5410 0 0 0 58 7 0 0 20 0 15 0 95985291 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350346013456 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31399] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0.65 cores=0,2,4,6
/proc/31395/task/31399/stat : 31399 (java) S 31392 31395 30301 0 -1 1077944384 11732 0 0 0 58 7 0 0 20 0 15 0 95985291 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350344960912 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31400] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.66 cores=0,2,4,6
/proc/31395/task/31400/stat : 31400 (java) S 31392 31395 30301 0 -1 1077944384 5814 0 0 0 59 7 0 0 20 0 15 0 95985291 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350343908368 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31401] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.64 cores=0,2,4,6
/proc/31395/task/31401/stat : 31401 (java) S 31392 31395 30301 0 -1 1077944384 5795 0 0 0 58 6 0 0 20 0 15 0 95985291 10916999168 593582 33554432000 4194304 4196468 140720864407840 140350342855824 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31402] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0.09 cores=0,2,4,6
/proc/31395/task/31402/stat : 31402 (java) S 31392 31395 30301 0 -1 1077944384 10025 0 0 0 5 4 0 0 20 0 15 0 95985292 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349577926640 140350409333378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31403] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31403/stat : 31403 (java) S 31392 31395 30301 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349576872928 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31404] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31404/stat : 31404 (java) S 31392 31395 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95985293 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349575820272 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31405] ppid=31392 vsize=10661132 memory=281123998157600 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31405/stat : 31405 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985295 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349574768848 140350409340827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31406] ppid=31392 vsize=10661132 memory=2380996 CPUtime=1.42 cores=0,2,4,6
/proc/31395/task/31406/stat : 31406 (java) S 31392 31395 30301 0 -1 1077944384 6683 0 0 0 141 1 0 0 20 0 15 0 95985295 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349573716464 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31407] ppid=31392 vsize=10661132 memory=281123998688376 CPUtime=1.56 cores=0,2,4,6
/proc/31395/task/31407/stat : 31407 (java) S 31392 31395 30301 0 -1 1077944384 8550 0 0 0 155 1 0 0 20 0 15 0 95985295 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349572663920 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31408] ppid=31392 vsize=10661132 memory=2380996 CPUtime=0.5 cores=0,2,4,6
/proc/31395/task/31408/stat : 31408 (java) S 31392 31395 30301 0 -1 1077944384 5023 0 0 0 49 1 0 0 20 0 15 0 95985296 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349571611376 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31409] ppid=31392 vsize=10661132 memory=2374328 CPUtime=0 cores=0,2,4,6
/proc/31395/task/31409/stat : 31409 (java) S 31392 31395 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95985296 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349570559072 140350409332437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
[pid=31395/tid=31410] ppid=31392 vsize=10661132 memory=2374328 CPUtime=1.31 cores=0,2,4,6
/proc/31395/task/31410/stat : 31410 (java) S 31392 31395 30301 0 -1 1077944384 2129 0 0 0 70 61 0 0 20 0 15 0 95985296 10916999168 593582 33554432000 4194304 4196468 140720864407840 140349569505584 140350409333378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18763776 140720864412789 140720864412937 140720864412937 140720864415695 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2374328 KiB
Child status: 143
Real time (s): 2513.33
CPU time (s): 2520.11
CPU user time (s): 2518.81
CPU system time (s): 1.29324
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2693560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.81
system time used= 1.29324
maximum resident set size= 2696040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126452
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57270
involuntary context switches= 2756
# summary of solver processes directly reported to runsolver:
# pid: 31395
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.81
# total CPU system time (s): 1.29324
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4587 second user time and 23.983 second system time
The end
Begin job on node148 at 2018-07-28 15:23:41 IDJOB=4298914 IDBENCH=141251 IDSOLVER=2762 FILE ID=node148/4298914-1532784221 RUNJOBID= node148-1532774285-30332 PBS_JOBID= 21022458 Free space on /tmp= 43264 MiB SOLVER NAME= GG's minicp 2018-04-29 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko49_c18.xml COMMAND LINE= java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298914-1532784221/watcher-4298914-1532784221 -o /tmp/evaluation-result-4298914-1532784221/solver-4298914-1532784221 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30332 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298914-1532784221.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69d2b1c9cf4919b13dd8bc483772d8bf RANDOM SEED=947306295 node148.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.50 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.50 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.50 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.50 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: 21319032 kB MemAvailable: 29589764 kB Buffers: 225184 kB Cached: 8179672 kB SwapCached: 352 kB Active: 4330720 kB Inactive: 6466080 kB Active(anon): 2345300 kB Inactive(anon): 74228 kB Active(file): 1985420 kB Inactive(file): 6391852 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108404 kB Dirty: 1368 kB Writeback: 16 kB AnonPages: 2398576 kB Mapped: 54796 kB Shmem: 25016 kB Slab: 350000 kB SReclaimable: 321920 kB SUnreclaim: 28080 kB KernelStack: 3552 kB PageTables: 10032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3667188 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2304000 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 43260 MiB End job on node148 at 2018-07-28 16:05:35