Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 7684328 | 2400.09 | 2331.76 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml |
| MD5SUM | c9a66f606132a3c8760ec6756f0c4250 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 7129639 |
| Best CPU time to get the best result obtained on this benchmark | 2519.7 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6480 |
| Number of constraints | 3128 |
| Number of domains | 2 |
| Minimum domain size | 80 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":80,"count":80},{"size":100,"count":3127}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 80 |
| Distribution of variable degrees | [{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 80 |
| Distribution of constraint arities | [{"arity":3,"count":3127},{"arity":80,"count":1}] |
| Number of extensional constraints | 3127 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":3127},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.43/0.31 c version: 2017-06-30 0.43/0.31 c seed: 262181841 0.43/0.31 c timeout: 2400 0.43/0.31 c memlimit: 15500 0.43/0.31 c nbcore: 8 0.43/0.33 c Parsing instance... 50.82/11.96 c Parsing done, starting search... 54.52/13.85 o 7771339 54.52/13.86 o 7769798 54.52/13.88 o 7766064 54.52/13.89 o 7759961 55.22/14.01 o 7759558 55.22/14.03 o 7745793 55.61/14.13 o 7733139 55.98/14.24 o 7733003 56.12/14.39 o 7732285 56.12/14.40 o 7728197 56.37/14.52 o 7721011 56.91/15.04 o 7717247 56.91/15.06 o 7716392 59.75/17.62 o 7715088 61.24/19.19 o 7712587 62.24/20.13 o 7709160 62.36/20.23 o 7707274 62.46/20.30 o 7704813 64.85/22.65 o 7700443 69.73/23.79 o 7699179 137.20/75.07 o 7698350 141.10/78.92 o 7694744 164.39/102.19 o 7691872 169.49/107.26 o 7690011 169.79/107.58 o 7689140 371.69/308.82 o 7687954 435.17/372.14 o 7686559 1055.39/990.79 o 7684328 2400.03/2331.70 s SATISFIABLE 2400.03/2331.71 v <instantiation> 2400.03/2331.71 v <list> 2400.03/2331.71 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] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] 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[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] 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[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] 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][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[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] 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[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] 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[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] 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][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] 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[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] 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][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[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] 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][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[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] 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[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[10][11] d[10][12] d[10][13] d[10][14] 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[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] 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[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] 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[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] 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[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] 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[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] 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[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] 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][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[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] 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[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] 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[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] 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[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] 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[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] 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][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[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] 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[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] 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[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] 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[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] 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[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] 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[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] 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[27][49] d[27][50] d[27][51] d[27][52] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] 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[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] 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[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] 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[30][49] d[30][50] d[30][51] d[30][52] d[30][54] d[30][55] d[30][56] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] 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[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][78] d[31][79] 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[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] 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[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] 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[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] 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[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] 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[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] 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[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] 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[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][56] d[38][57] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] 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[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][76] d[47][77] d[47][78] d[47][79] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[68][69] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][78] d[69][79] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][76] d[75][77] d[75][78] d[75][79] d[76][77] d[76][78] d[76][79] d[77][78] d[77][79] d[78][79] 2400.03/2331.71 v </list> 2400.03/2331.71 v <values> 2400.03/2331.71 v 79 66 62 44 43 50 34 6 49 3 64 37 35 1 42 13 30 58 27 16 73 77 54 70 18 28 9 2 61 36 24 45 39 10 65 15 11 17 12 4 7 53 57 32 48 52 59 0 23 29 40 78 33 19 21 47 25 74 60 46 41 71 75 67 22 69 20 76 14 72 26 68 63 51 8 5 56 31 38 55 99 56 67 24 51 15 66 28 93 19 29 24 25 79 84 30 54 43 52 71 43 89 76 3 69 30 61 9 81 74 19 92 70 13 27 12 58 63 87 88 47 50 94 17 3 61 58 60 60 44 82 55 89 11 53 83 68 64 55 20 16 96 43 81 22 12 34 23 39 50 45 92 85 56 28 22 21 73 97 97 97 2 20 34 75 45 32 77 14 72 39 57 39 28 18 77 13 61 96 33 48 96 68 94 9 34 68 56 49 60 31 27 60 26 82 42 26 87 32 18 92 73 36 88 7 39 54 10 21 37 77 56 77 83 48 62 26 46 47 40 85 66 22 61 57 56 31 54 81 54 67 42 89 96 65 53 84 64 3 87 26 82 19 12 72 77 91 73 62 70 36 62 57 73 22 16 6 46 73 11 25 30 72 84 91 87 98 27 39 7 84 4 20 58 44 52 56 9 56 55 74 50 35 98 79 86 63 6 36 14 29 40 18 82 16 48 4 57 16 78 45 63 64 78 12 69 8 82 46 5 51 98 12 52 61 62 23 29 96 2 59 2 5 18 49 82 13 75 18 3 48 59 87 68 63 30 26 51 17 4 79 15 76 12 99 54 97 73 69 49 39 16 91 36 38 31 19 87 30 6 41 12 26 1 92 63 95 86 30 5 85 86 9 69 73 99 51 66 52 0 37 83 2 98 73 1 97 93 46 81 60 85 35 54 79 80 25 18 80 91 49 18 75 50 25 73 45 32 17 72 38 9 53 73 3 11 73 84 64 36 19 69 31 69 88 75 21 16 61 10 58 26 23 50 40 13 27 2 32 74 36 62 23 32 74 17 76 45 81 64 77 21 85 18 44 91 75 13 2 79 91 91 75 40 36 43 8 12 60 5 24 75 84 21 15 12 66 62 25 80 85 61 82 32 57 10 12 7 55 46 18 23 32 60 66 30 59 53 73 15 41 82 3 53 80 51 11 33 77 97 59 22 24 9 84 36 92 10 14 50 76 92 6 22 48 46 8 67 19 22 50 12 90 96 99 98 98 93 91 91 91 90 84 83 80 80 79 77 77 77 75 74 72 72 69 67 67 67 65 60 60 54 54 54 53 52 52 49 49 46 46 46 46 45 45 41 40 38 36 35 35 34 33 33 27 25 25 24 24 23 19 19 17 17 15 3 15 1 5 14 10 8 3 13 8 3 4 28 43 4 84 64 85 8 94 99 79 71 97 64 68 65 24 12 20 53 66 19 57 47 22 61 48 21 64 38 43 35 56 85 24 56 52 6 70 6 71 81 25 65 15 99 87 68 47 52 28 33 41 94 92 12 76 67 51 49 29 10 9 20 80 99 69 72 90 45 83 47 62 29 30 97 99 17 97 4 68 3 84 6 48 88 89 26 20 26 15 85 2 65 66 28 23 65 5 44 31 11 55 82 96 49 10 10 54 82 49 56 67 17 65 29 33 99 33 26 24 80 82 63 32 92 78 61 92 26 40 2 12 47 42 71 46 66 65 87 17 87 28 17 35 76 86 62 28 5 23 94 32 50 65 92 29 62 6 75 96 15 15 62 44 0 31 29 0 82 48 42 7 43 61 66 57 2 34 82 39 62 26 82 82 3 51 91 66 53 83 76 69 5 1 67 7 3 39 59 62 42 95 48 2 84 36 49 76 77 37 45 3 89 69 76 25 99 65 23 11 54 26 84 25 44 7 31 20 57 75 12 73 93 98 5 85 17 2 48 35 54 75 15 77 82 50 73 2 81 67 16 87 24 46 25 62 65 90 17 30 14 17 93 8 13 11 94 63 21 43 7 84 4 35 80 25 17 8 46 11 1 32 17 83 26 82 41 8 2 70 82 55 57 72 83 38 78 88 75 44 19 44 53 20 28 26 50 26 63 66 21 91 70 18 41 67 58 73 65 8 11 87 76 99 84 9 10 32 6 74 2 32 12 53 36 48 31 41 84 42 92 34 99 25 57 74 13 89 40 66 97 13 34 73 38 73 28 57 89 26 12 63 31 68 62 81 95 86 22 88 6 81 26 15 6 69 86 18 43 32 91 55 23 27 76 7 21 75 60 25 65 97 46 70 79 85 94 5 56 79 25 5 54 97 8 27 6 30 72 66 91 21 14 94 90 37 13 77 15 6 62 60 22 96 36 51 21 4 29 83 10 32 3 48 41 48 83 29 72 94 2 46 87 70 56 20 21 54 53 87 46 76 74 65 56 14 0 86 99 67 57 62 89 40 59 45 41 66 63 71 44 15 4 90 44 74 26 77 72 92 84 25 46 90 35 54 21 91 5 98 19 58 56 27 27 47 48 41 54 86 55 25 31 94 16 21 72 19 37 31 15 36 60 39 5 67 31 42 85 60 29 98 35 25 22 43 4 69 24 2 29 96 8 24 41 21 15 21 81 79 87 67 26 3 68 67 75 12 66 1 56 89 79 62 12 59 98 3 10 15 32 80 88 55 8 28 72 79 90 84 16 53 0 10 2 40 0 33 61 8 80 62 11 30 34 37 5 9 27 96 2 46 56 9 63 0 81 30 1 13 47 14 22 63 0 51 27 83 91 28 62 47 84 3 74 68 79 50 52 9 3 0 90 27 33 99 68 47 69 93 42 27 14 36 57 37 48 26 86 81 95 7 91 1 47 61 43 96 55 69 51 13 86 83 72 64 19 14 95 17 15 84 70 3 64 18 24 10 24 80 97 54 51 36 90 3 15 58 33 91 90 17 91 13 46 62 76 24 60 38 12 65 96 37 48 17 26 77 13 76 28 86 89 13 92 42 45 0 40 66 30 71 30 0 1 89 9 52 80 61 86 28 61 52 4 64 12 28 75 23 95 4 76 87 40 30 34 31 56 78 55 5 85 42 27 62 49 83 28 81 7 18 37 48 83 44 62 58 57 94 11 27 80 3 70 81 81 75 21 19 53 66 73 26 76 98 2 60 54 76 18 64 12 26 21 27 43 22 94 78 5 60 77 31 87 20 15 25 29 84 13 41 37 56 15 59 72 79 48 20 18 70 57 74 81 51 48 93 80 0 60 6 94 33 57 75 89 39 44 99 88 75 12 33 5 81 93 82 56 70 7 20 41 55 11 45 43 22 10 60 95 39 5 37 21 44 85 55 25 70 44 38 21 63 75 40 91 18 88 35 92 42 8 79 28 31 32 5 35 1 48 22 41 38 94 85 56 9 75 96 17 64 19 8 45 44 3 34 3 54 80 96 32 91 19 92 86 45 20 97 23 36 90 88 11 84 33 17 0 50 10 10 22 5 64 54 55 26 37 58 59 41 47 98 18 61 30 43 21 66 22 89 91 58 40 55 53 57 4 85 41 50 3 57 31 20 99 32 23 18 3 46 48 10 38 9 22 49 88 80 48 97 62 80 93 59 5 60 17 75 92 20 4 91 55 56 37 87 95 77 32 31 77 2 36 30 42 15 75 56 81 45 62 71 90 31 49 74 72 6 52 24 10 96 37 49 73 33 39 47 91 23 93 87 82 45 90 28 90 72 17 17 0 46 13 29 56 63 55 26 93 60 17 92 62 84 67 3 1 22 21 26 85 92 97 50 51 92 26 80 3 80 55 17 64 81 60 64 67 45 63 7 52 10 88 8 71 15 89 44 76 63 34 38 66 65 55 23 27 79 82 41 29 47 23 26 2 99 46 5 39 43 4 35 78 37 28 31 74 29 80 0 72 45 33 44 85 83 51 12 10 91 27 78 58 85 49 24 77 33 40 24 61 36 51 98 8 19 28 52 35 22 7 63 18 1 11 96 89 37 40 35 25 14 36 33 76 35 56 41 31 57 49 21 37 6 69 55 98 87 31 23 54 95 1 77 71 66 52 9 48 78 79 6 9 69 88 88 12 59 68 16 20 31 41 68 23 55 69 3 61 30 74 81 46 92 56 21 5 73 4 77 78 55 56 80 53 94 21 54 89 0 94 71 22 11 67 33 83 98 99 98 78 71 94 74 13 95 46 8 76 39 61 72 85 50 27 49 78 87 85 91 8 13 76 58 3 1 53 67 35 39 95 77 85 46 35 40 39 6 30 30 87 21 87 45 43 33 53 21 56 97 49 47 58 3 96 44 30 40 51 34 7 8 7 55 28 15 0 90 66 52 11 35 51 4 15 84 52 79 78 42 93 21 78 78 49 4 10 7 8 10 25 84 30 44 58 94 58 76 78 89 3 53 3 19 94 92 90 69 31 81 56 35 65 45 91 28 14 67 93 97 42 90 34 78 16 17 57 9 9 59 32 10 28 42 41 64 98 93 89 50 17 21 35 5 85 94 33 2 26 1 40 46 13 97 30 99 87 76 4 1 79 92 69 9 18 54 64 32 96 35 25 72 71 22 38 32 0 88 90 21 85 61 91 1 44 30 33 34 85 29 94 84 7 2 91 39 28 24 18 3 27 50 63 28 13 33 44 45 63 41 81 19 44 98 37 13 77 92 84 29 76 72 21 99 92 69 28 26 30 59 84 87 71 62 39 78 38 96 89 89 81 21 47 21 38 1 4 57 78 43 59 91 55 88 67 46 68 42 71 68 26 71 31 3 81 55 60 39 61 30 30 58 70 94 49 91 89 80 13 66 65 81 23 38 70 9 29 8 28 97 24 98 89 13 18 89 66 75 33 66 90 93 87 49 17 78 66 40 34 10 30 63 54 23 66 84 29 80 68 87 99 98 76 61 9 71 53 85 99 88 28 52 20 46 1 86 62 63 55 62 0 99 30 90 30 37 79 59 27 29 74 17 95 84 72 27 4 89 8 17 13 78 13 6 51 75 97 23 69 48 34 25 91 47 91 99 23 23 40 32 7 27 70 88 41 74 5 47 60 59 24 64 51 17 34 3 81 12 93 94 79 36 24 30 20 1 29 26 36 57 67 53 68 0 15 10 41 71 23 7 63 99 63 16 74 6 59 86 1 69 56 6 82 85 44 50 58 53 66 37 89 19 86 6 31 56 58 81 67 94 4 89 95 85 14 46 98 1 59 53 85 84 79 24 52 75 88 77 63 53 12 17 95 44 47 79 42 37 84 68 60 54 5 35 89 30 98 4 81 94 55 74 96 45 61 29 74 30 9 92 83 7 5 29 23 62 49 13 12 69 74 43 49 64 0 94 44 37 99 16 48 20 26 43 17 44 3 50 53 48 97 56 2 3 49 38 87 37 33 30 78 53 63 87 32 93 2 43 96 83 62 91 52 66 71 96 14 1 12 39 12 80 7 67 93 1 2 79 60 20 70 34 17 0 7 27 39 71 35 40 98 31 19 93 21 71 87 84 20 71 21 93 1 9 55 82 82 40 76 2 25 68 10 33 26 27 37 43 80 60 3 13 35 23 81 17 56 20 30 3 25 70 37 23 3 35 22 28 59 74 83 42 91 31 24 86 13 42 8 26 51 32 4 48 75 91 73 63 84 49 58 85 17 80 89 97 67 1 91 47 67 17 5 41 55 35 42 35 42 54 50 58 41 44 23 89 69 53 25 88 92 67 31 22 52 90 47 62 1 1 0 2 32 6 47 79 44 32 39 53 11 77 87 56 35 12 81 48 76 36 45 56 76 83 13 80 83 84 61 93 29 28 19 57 3 62 94 9 70 1 29 19 80 82 79 44 92 25 68 44 11 95 45 48 92 94 29 30 97 1 27 84 27 42 60 67 95 68 31 19 93 71 81 85 78 39 70 8 25 68 45 96 18 49 39 62 74 26 23 84 71 17 77 20 80 44 54 12 29 45 37 78 90 76 94 31 99 11 81 69 72 85 44 66 93 49 57 93 58 54 40 62 51 76 61 40 22 73 71 63 25 44 44 99 73 12 40 84 29 9 39 51 22 69 0 48 73 85 54 57 39 64 14 72 11 47 12 82 18 80 86 9 85 11 26 11 40 71 57 15 20 27 84 2 1 21 75 11 91 85 1 6 10 30 69 76 74 4 75 9 6 71 21 70 43 88 33 62 46 41 78 42 22 1 9 68 34 66 17 26 27 22 43 92 62 32 20 29 4 12 16 54 35 53 69 81 55 11 4 50 93 88 19 27 49 96 4 1 71 72 23 64 22 70 18 99 58 52 79 29 50 1 90 56 54 98 22 20 96 83 58 95 51 18 93 94 28 57 49 90 75 95 96 46 70 84 21 0 9 86 66 18 99 48 76 91 22 30 10 80 20 52 85 87 20 35 10 33 22 46 0 16 74 74 9 80 38 32 28 44 98 13 45 94 15 22 81 53 86 9 61 94 88 93 58 53 32 3 79 3 48 34 34 80 16 79 12 37 32 2 48 46 63 42 49 73 15 40 93 82 36 58 19 72 66 54 61 9 35 58 65 47 87 20 69 28 6 0 72 47 63 49 57 58 91 34 49 45 47 10 35 64 57 48 14 99 24 63 53 17 73 97 87 78 56 68 44 38 88 64 81 19 61 21 72 79 32 34 49 98 98 78 57 4 79 86 8 29 18 35 89 58 13 76 64 31 75 55 37 99 39 50 42 33 33 46 1 59 15 47 62 36 71 62 67 54 78 27 64 52 91 38 99 37 56 0 18 9 93 87 6 19 92 33 33 98 16 37 98 15 50 20 69 10 99 57 2 96 68 87 82 94 69 5 90 26 96 71 85 24 40 47 95 93 2 80 64 75 20 26 69 14 85 76 82 48 91 58 44 36 51 58 22 80 17 51 20 70 28 89 52 29 72 16 29 25 85 87 30 26 18 8 57 55 30 74 74 69 62 67 25 45 86 96 55 54 27 81 80 44 26 22 86 23 46 12 92 67 14 63 55 90 48 53 29 73 3 9 63 59 94 61 79 72 94 89 27 17 45 71 89 2 70 84 1 64 30 57 64 52 93 50 37 67 52 21 53 62 28 9 6 22 25 32 32 21 54 49 74 24 27 99 68 23 26 35 87 31 44 70 98 3 92 5 35 85 11 27 10 26 42 29 30 79 13 2 62 45 31 87 87 90 49 86 82 33 54 70 18 96 66 10 93 16 87 69 37 60 71 79 10 13 16 97 54 46 6 69 27 1 45 56 79 70 88 42 69 28 2400.03/2331.71 v </values> 2400.03/2331.71 v </instantiation>
OK 7684328
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245661-1500702544/watcher-4245661-1500702544 -o /tmp/evaluation-result-4245661-1500702544/solver-4245661-1500702544 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8691 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 262181841 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245661-1500702544.xml pid=13632 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.87 1.67 1.77 3/261 13635 /proc/meminfo: memFree=31638032/32770624 swapFree=5896/109828 [pid=13635] ppid=13632 vsize=10637620 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/stat : 13635 (java) S 13632 13635 8659 0 -1 1077944320 2238 0 0 0 0 0 0 0 20 0 5 0 5522762 10892922880 2498 33554432000 4194304 4196468 140730140668592 140730140651136 139666841198327 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 /proc/13635/statm: 2659662 2498 1199 1 0 2648573 0 [pid=13635/tid=13636] ppid=13632 vsize=10640704 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13636/stat : 13636 (java) S 13632 13635 8659 0 -1 1077944384 931 0 0 0 0 0 0 0 20 0 8 0 5522762 10896080896 2498 33554432000 4194304 4196468 140730140668592 139666845439696 139666841208533 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13637] ppid=13632 vsize=10641732 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13637/stat : 13637 (java) S 13632 13635 8659 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 5522763 10897133568 2498 33554432000 4194304 4196468 140730140668592 139666773335136 139666841208533 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13638] ppid=13632 vsize=10641732 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13638/stat : 13638 (java) S 13632 13635 8659 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 5522764 10897133568 2498 33554432000 4194304 4196468 140730140668592 139666772282592 139666841208533 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13639] ppid=13632 vsize=10642760 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13639/stat : 13639 (java) S 13632 13635 8659 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 5522764 10898186240 2498 33554432000 4194304 4196468 140730140668592 139666771230048 139666841208533 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13640] ppid=13632 vsize=10839368 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13640/stat : 13640 (java) R 13632 13635 8659 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 5522764 11099512832 2498 33554432000 4194304 4196468 140730140668592 139666770176648 139666833915290 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13641] ppid=13632 vsize=11101512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13641/stat : 13641 (java) D 13632 13635 8659 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 5522764 11367948288 2498 33554432000 4194304 4196468 140730140668592 139666769123128 139666833915431 0 4 0 16784584 18446744071582151463 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13642] ppid=13632 vsize=11101512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13642/stat : 13642 (java) D 13632 13635 8659 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 5522764 11367948288 2498 33554432000 4194304 4196468 140730140668592 139666768070584 139666833915479 0 4 0 16784584 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13643] ppid=13632 vsize=11167048 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13643/stat : 13643 (java) D 13632 13635 8659 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 5522764 11435057152 2498 33554432000 4194304 4196468 140730140668592 139666434000952 139666833426147 0 4 0 16784584 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13644] ppid=13632 vsize=11101512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13644/stat : 13644 (java) R 13632 13635 8659 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 5522764 11367948288 2498 33554432000 4194304 4196468 140730140668592 139666432949104 139666833992400 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [startup+0.100102 s] /proc/loadavg: 1.87 1.67 1.77 3/261 13635 /proc/meminfo: memFree=31638032/32770624 swapFree=5896/109828 [pid=13635] ppid=13632 vsize=13264380 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/13635/stat : 13635 (java) S 13632 13635 8659 0 -1 1077944320 5889 0 0 0 8 2 0 0 20 0 20 0 5522762 13582725120 6462 33554432000 4194304 4196468 140730140668592 140730140651136 139666841198327 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 /proc/13635/statm: 3316095 6462 3286 1 0 3303815 0 [pid=13635/tid=13636] ppid=13632 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13636/stat : 13636 (java) R 13632 13635 8659 0 -1 4202560 3973 0 0 0 7 1 0 0 20 0 20 0 5522762 13582725120 6462 33554432000 4194304 4196468 140730140668592 139666845437944 139666822037025 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13637] ppid=13632 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13637/stat : 13637 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522763 13582725120 6462 33554432000 4194304 4196468 140730140668592 139666773334800 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13638] ppid=13632 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13638/stat : 13638 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582725120 6462 33554432000 4194304 4196468 140730140668592 139666772282256 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13639] ppid=13632 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13639/stat : 13639 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582725120 6462 33554432000 4194304 4196468 140730140668592 139666771229712 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13640] ppid=13632 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13640/stat : 13640 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582725120 6462 33554432000 4194304 4196468 140730140668592 139666770177168 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13641] ppid=13632 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13641/stat : 13641 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522764 13582725120 6462 33554432000 4194304 4196468 140730140668592 139666769123600 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13642] ppid=13632 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13642/stat : 13642 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522764 13582725120 6462 33554432000 4194304 4196468 140730140668592 139666768071056 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13643] ppid=13632 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13643/stat : 13643 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582725120 6462 33554432000 4194304 4196468 140730140668592 139666434001424 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13644] ppid=13632 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13644/stat : 13644 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522764 13582725120 6462 33554432000 4194304 4196468 140730140668592 139666432948880 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13264380 [startup+0.201125 s] /proc/loadavg: 1.87 1.67 1.77 3/261 13635 /proc/meminfo: memFree=31638032/32770624 swapFree=5896/109828 [pid=13635] ppid=13632 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/13635/stat : 13635 (java) S 13632 13635 8659 0 -1 1077944320 9029 0 0 0 23 3 0 0 20 0 20 0 5522762 13582245888 9050 33554432000 4194304 4196468 140730140668592 140730140651136 139666841198327 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 /proc/13635/statm: 3315978 9050 3577 1 0 3303698 0 [pid=13635/tid=13636] ppid=13632 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13636/stat : 13636 (java) R 13632 13635 8659 0 -1 4202560 6729 0 0 0 16 2 0 0 20 0 20 0 5522762 13582245888 9050 33554432000 4194304 4196468 140730140668592 139666845403360 139666841220253 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13637] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13637/stat : 13637 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522763 13582245888 9050 33554432000 4194304 4196468 140730140668592 139666773334800 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13638] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13638/stat : 13638 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 9050 33554432000 4194304 4196468 140730140668592 139666772282256 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13639] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13639/stat : 13639 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 9050 33554432000 4194304 4196468 140730140668592 139666771229712 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13640] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13640/stat : 13640 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 9050 33554432000 4194304 4196468 140730140668592 139666770177168 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13641] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13641/stat : 13641 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 9050 33554432000 4194304 4196468 140730140668592 139666769123600 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13642] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13642/stat : 13642 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 9050 33554432000 4194304 4196468 140730140668592 139666768071056 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13643] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13643/stat : 13643 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 9050 33554432000 4194304 4196468 140730140668592 139666434001424 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13644] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13644/stat : 13644 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 9050 33554432000 4194304 4196468 140730140668592 139666432948880 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300941 s] /proc/loadavg: 1.87 1.67 1.77 3/261 13635 /proc/meminfo: memFree=31638032/32770624 swapFree=5896/109828 [pid=13635] ppid=13632 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15 /proc/13635/stat : 13635 (java) S 13632 13635 8659 0 -1 1077944320 10073 0 0 0 39 4 0 0 20 0 20 0 5522762 13582245888 10790 33554432000 4194304 4196468 140730140668592 140730140651136 139666841198327 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 /proc/13635/statm: 3315978 10790 3639 1 0 3303698 0 [pid=13635/tid=13636] ppid=13632 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13636/stat : 13636 (java) R 13632 13635 8659 0 -1 4202560 7441 0 0 0 24 3 0 0 20 0 20 0 5522762 13582245888 10790 33554432000 4194304 4196468 140730140668592 139666845420240 139666825278814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13637] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13637/stat : 13637 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522763 13582245888 10790 33554432000 4194304 4196468 140730140668592 139666773334800 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13638] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13638/stat : 13638 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 10790 33554432000 4194304 4196468 140730140668592 139666772282256 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13639] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13639/stat : 13639 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 10790 33554432000 4194304 4196468 140730140668592 139666771229712 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13640] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13640/stat : 13640 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 10790 33554432000 4194304 4196468 140730140668592 139666770177168 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13641] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13641/stat : 13641 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 10790 33554432000 4194304 4196468 140730140668592 139666769123600 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13642] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13642/stat : 13642 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 10790 33554432000 4194304 4196468 140730140668592 139666768071056 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13643] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13643/stat : 13643 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 10790 33554432000 4194304 4196468 140730140668592 139666434001424 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13644] ppid=13632 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13644/stat : 13644 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522764 13582245888 10790 33554432000 4194304 4196468 140730140668592 139666432948880 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 13263912 [startup+0.700724 s] /proc/loadavg: 1.87 1.67 1.77 3/261 13635 /proc/meminfo: memFree=31638032/32770624 swapFree=5896/109828 [pid=13635] ppid=13632 vsize=13265980 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/13635/stat : 13635 (java) S 13632 13635 8659 0 -1 1077944320 12839 0 0 0 144 5 0 0 20 0 20 0 5522762 13584363520 21191 33554432000 4194304 4196468 140730140668592 140730140651136 139666841198327 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 /proc/13635/statm: 3316495 21191 3771 1 0 3304210 0 [pid=13635/tid=13636] ppid=13632 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13636/stat : 13636 (java) R 13632 13635 8659 0 -1 4202560 8455 0 0 0 63 4 0 0 20 0 20 0 5522762 13584363520 21191 33554432000 4194304 4196468 140730140668592 139666845431512 139666841210262 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13637] ppid=13632 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13637/stat : 13637 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522763 13584363520 21191 33554432000 4194304 4196468 140730140668592 139666773334800 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13638] ppid=13632 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13638/stat : 13638 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13584363520 21191 33554432000 4194304 4196468 140730140668592 139666772282256 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13639] ppid=13632 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13639/stat : 13639 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13584363520 21191 33554432000 4194304 4196468 140730140668592 139666771229712 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13640] ppid=13632 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13640/stat : 13640 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13584363520 21191 33554432000 4194304 4196468 140730140668592 139666770177168 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13641] ppid=13632 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13641/stat : 13641 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522764 13584363520 21191 33554432000 4194304 4196468 140730140668592 139666769123600 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13642] ppid=13632 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13642/stat : 13642 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522764 13584363520 21191 33554432000 4194304 4196468 140730140668592 139666768071056 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13643] ppid=13632 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13643/stat : 13643 (java) S 13632 13635 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5522764 13584363520 21191 33554432000 4194304 4196468 140730140668592 139666434001424 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13644] ppid=13632 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13644/stat : 13644 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522764 13584363520 21191 33554432000 4194304 4196468 140730140668592 139666432948880 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13265980 [startup+1.50079 s] /proc/loadavg: 1.87 1.67 1.77 3/281 13655 /proc/meminfo: memFree=31514524/32770624 swapFree=5896/110208 [pid=13635] ppid=13632 vsize=13268028 CPUtime=4.43 cores=1,3,5,7,9,11,13,15 /proc/13635/stat : 13635 (java) S 13632 13635 8659 0 -1 1077944320 21905 0 0 0 403 40 0 0 20 0 20 0 5522762 13586460672 62624 33554432000 4194304 4196468 140730140668592 140730140651136 139666841198327 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 /proc/13635/statm: 3317007 63136 3816 1 0 3304722 0 [pid=13635/tid=13636] ppid=13632 vsize=13268028 CPUtime=1.39 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13636/stat : 13636 (java) S 13632 13635 8659 0 -1 1077944384 10673 0 0 0 133 6 0 0 20 0 20 0 5522762 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666845434432 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13637] ppid=13632 vsize=13268028 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13637/stat : 13637 (java) R 13632 13635 8659 0 -1 4202560 77 0 0 0 2 4 0 0 20 0 20 0 5522763 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666773335000 139666826226201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13638] ppid=13632 vsize=13268028 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13638/stat : 13638 (java) R 13632 13635 8659 0 -1 4202560 50 0 0 0 2 4 0 0 20 0 20 0 5522764 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666772282456 139666826226201 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13639] ppid=13632 vsize=13268028 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13639/stat : 13639 (java) R 13632 13635 8659 0 -1 4202560 43 0 0 0 2 3 0 0 20 0 20 0 5522764 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666771229912 139666826226201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13640] ppid=13632 vsize=13268028 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13640/stat : 13640 (java) R 13632 13635 8659 0 -1 4202560 34 0 0 0 2 4 0 0 20 0 20 0 5522764 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666770177368 139666826226201 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13641] ppid=13632 vsize=13268028 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13641/stat : 13641 (java) R 13632 13635 8659 0 -1 4202560 60 0 0 0 3 3 0 0 20 0 20 0 5522764 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666769123800 139666826226201 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13642] ppid=13632 vsize=13268028 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13642/stat : 13642 (java) R 13632 13635 8659 0 -1 4202560 58 0 0 0 3 3 0 0 20 0 20 0 5522764 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666768071256 139666826226201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13643] ppid=13632 vsize=13268028 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13643/stat : 13643 (java) R 13632 13635 8659 0 -1 4202560 269 0 0 0 3 4 0 0 20 0 20 0 5522764 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666434001624 139666826226201 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13644] ppid=13632 vsize=13268028 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13644/stat : 13644 (java) R 13632 13635 8659 0 -1 4202560 31 0 0 0 2 3 0 0 20 0 20 0 5522764 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666432948768 139666834298027 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13646] ppid=13632 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13646/stat : 13646 (java) S 13632 13635 8659 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 20 0 5522766 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666304541728 139666841208533 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13647] ppid=13632 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13647/stat : 13647 (java) S 13632 13635 8659 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5522766 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666303489504 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13648] ppid=13632 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13648/stat : 13648 (java) S 13632 13635 8659 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5522767 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666302436864 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13649] ppid=13632 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13649/stat : 13649 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522771 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666301385424 139666841216923 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13650] ppid=13632 vsize=13268028 CPUtime=0.61 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13650/stat : 13650 (java) S 13632 13635 8659 0 -1 1077944384 2418 0 0 0 61 0 0 0 20 0 20 0 5522771 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666300332016 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13651] ppid=13632 vsize=13268028 CPUtime=0.59 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13651/stat : 13651 (java) S 13632 13635 8659 0 -1 1077944384 1640 0 0 0 59 0 0 0 20 0 20 0 5522771 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666299279472 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13652] ppid=13632 vsize=13268028 CPUtime=0.59 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13652/stat : 13652 (java) S 13632 13635 8659 0 -1 1077944384 1872 0 0 0 59 0 0 0 20 0 20 0 5522771 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666298226928 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13653] ppid=13632 vsize=13268028 CPUtime=0.63 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13653/stat : 13653 (java) S 13632 13635 8659 0 -1 1077944384 3068 0 0 0 62 1 0 0 20 0 20 0 5522771 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666162444656 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13654] ppid=13632 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13654/stat : 13654 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522771 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666161392352 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13655] ppid=13632 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13655/stat : 13655 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522771 13586460672 63136 33554432000 4194304 4196468 140730140668592 139666160339888 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 Current children cumulated CPU time (s) 4.43 ################ # More data... # ################ [pid=13635/tid=13651] ppid=13632 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13651/stat : 13651 (java) S 13632 13635 8659 0 -1 1077944384 6431 0 0 0 206 2 0 0 20 0 20 0 5522771 13588557824 1093455 33554432000 4194304 4196468 140730140668592 139666299279472 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13652] ppid=13632 vsize=13270076 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13652/stat : 13652 (java) S 13632 13635 8659 0 -1 1077944384 7017 0 0 0 157 2 0 0 20 0 20 0 5522771 13588557824 1093455 33554432000 4194304 4196468 140730140668592 139666298226928 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13653] ppid=13632 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13653/stat : 13653 (java) S 13632 13635 8659 0 -1 1077944384 10096 0 0 0 92 3 0 0 20 0 20 0 5522771 13588557824 1093455 33554432000 4194304 4196468 140730140668592 139666162444656 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13654] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13654/stat : 13654 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522771 13588557824 1093455 33554432000 4194304 4196468 140730140668592 139666161392352 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13655] ppid=13632 vsize=13270076 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13655/stat : 13655 (java) S 13632 13635 8659 0 -1 1077944384 1376 0 0 0 51 60 0 0 20 0 20 0 5522771 13588557824 1093455 33554432000 4194304 4196468 140730140668592 139666160339888 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 Current children cumulated CPU time (s) 2330.43 Current children cumulated vsize (KiB) 13270076 [startup+2322.3 s] /proc/loadavg: 1.31 1.57 1.68 3/281 13837 /proc/meminfo: memFree=27227548/32770624 swapFree=5896/112632 [pid=13635] ppid=13632 vsize=13270076 CPUtime=2390.59 cores=1,3,5,7,9,11,13,15 /proc/13635/stat : 13635 (java) S 13632 13635 8659 0 -1 1077944320 671084 0 0 0 237334 1725 0 0 20 0 20 0 5522762 13588557824 1093383 33554432000 4194304 4196468 140730140668592 140730140651136 139666841198327 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 /proc/13635/statm: 3317519 1093383 3856 1 0 3305234 0 [pid=13635/tid=13636] ppid=13632 vsize=13270076 CPUtime=2311.49 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13636/stat : 13636 (java) R 13632 13635 8659 0 -1 4202560 250286 0 0 0 231100 49 0 0 20 0 20 0 5522762 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666845436704 139666457256048 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13637] ppid=13632 vsize=13270076 CPUtime=8.67 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13637/stat : 13637 (java) S 13632 13635 8659 0 -1 1077944384 48575 0 0 0 668 199 0 0 20 0 20 0 5522763 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666773334800 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13638] ppid=13632 vsize=13270076 CPUtime=8.87 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13638/stat : 13638 (java) S 13632 13635 8659 0 -1 1077944384 45841 0 0 0 689 198 0 0 20 0 20 0 5522764 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666772282256 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13639] ppid=13632 vsize=13270076 CPUtime=8.86 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13639/stat : 13639 (java) S 13632 13635 8659 0 -1 1077944384 43461 0 0 0 685 201 0 0 20 0 20 0 5522764 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666771229712 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13640] ppid=13632 vsize=13270076 CPUtime=8.87 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13640/stat : 13640 (java) S 13632 13635 8659 0 -1 1077944384 51192 0 0 0 685 202 0 0 20 0 20 0 5522764 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666770177168 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13641] ppid=13632 vsize=13270076 CPUtime=8.91 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13641/stat : 13641 (java) S 13632 13635 8659 0 -1 1077944384 45040 0 0 0 689 202 0 0 20 0 20 0 5522764 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666769123600 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13642] ppid=13632 vsize=13270076 CPUtime=8.84 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13642/stat : 13642 (java) S 13632 13635 8659 0 -1 1077944384 44822 0 0 0 681 203 0 0 20 0 20 0 5522764 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666768071056 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13643] ppid=13632 vsize=13270076 CPUtime=8.89 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13643/stat : 13643 (java) S 13632 13635 8659 0 -1 1077944384 43074 0 0 0 686 203 0 0 20 0 20 0 5522764 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666434001424 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13644] ppid=13632 vsize=13270076 CPUtime=8.88 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13644/stat : 13644 (java) S 13632 13635 8659 0 -1 1077944384 44297 0 0 0 686 202 0 0 20 0 20 0 5522764 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666432948880 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13646] ppid=13632 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13646/stat : 13646 (java) S 13632 13635 8659 0 -1 1077944384 21418 0 0 0 57 6 0 0 20 0 20 0 5522766 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666304543216 139666841209474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13647] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13647/stat : 13647 (java) S 13632 13635 8659 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5522766 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666303489504 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13648] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13648/stat : 13648 (java) S 13632 13635 8659 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 5522767 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666302436864 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13649] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13649/stat : 13649 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522771 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666301385424 139666841216923 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13650] ppid=13632 vsize=13270076 CPUtime=1.78 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13650/stat : 13650 (java) S 13632 13635 8659 0 -1 1077944384 6675 0 0 0 177 1 0 0 20 0 20 0 5522771 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666300332016 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13651] ppid=13632 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13651/stat : 13651 (java) S 13632 13635 8659 0 -1 1077944384 6440 0 0 0 206 2 0 0 20 0 20 0 5522771 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666299279472 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13652] ppid=13632 vsize=13270076 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13652/stat : 13652 (java) S 13632 13635 8659 0 -1 1077944384 7020 0 0 0 157 2 0 0 20 0 20 0 5522771 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666298226928 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13653] ppid=13632 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13653/stat : 13653 (java) S 13632 13635 8659 0 -1 1077944384 10101 0 0 0 92 3 0 0 20 0 20 0 5522771 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666162444656 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13654] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13654/stat : 13654 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522771 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666161392352 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13655] ppid=13632 vsize=13270076 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13655/stat : 13655 (java) S 13632 13635 8659 0 -1 1077944384 1402 0 0 0 53 61 0 0 20 0 20 0 5522771 13588557824 1093383 33554432000 4194304 4196468 140730140668592 139666160339888 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 Current children cumulated CPU time (s) 2390.59 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2331.7 s] /proc/loadavg: 1.34 1.57 1.68 3/281 13837 /proc/meminfo: memFree=27227556/32770624 swapFree=5896/112652 [pid=13635] ppid=13632 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/13635/stat : 13635 (java) S 13632 13635 8659 0 -1 1077944320 671645 0 0 0 238277 1726 0 0 20 0 20 0 5522762 13588557824 1093388 33554432000 4194304 4196468 140730140668592 140730140651136 139666841198327 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 /proc/13635/statm: 3317519 1093388 3856 1 0 3305234 0 [pid=13635/tid=13636] ppid=13632 vsize=13270076 CPUtime=2320.88 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13636/stat : 13636 (java) R 13632 13635 8659 0 -1 4202560 250717 0 0 0 232039 49 0 0 20 0 20 0 5522762 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666845436848 139666457010144 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13637] ppid=13632 vsize=13270076 CPUtime=8.67 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13637/stat : 13637 (java) S 13632 13635 8659 0 -1 1077944384 48575 0 0 0 668 199 0 0 20 0 20 0 5522763 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666773334800 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13638] ppid=13632 vsize=13270076 CPUtime=8.87 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13638/stat : 13638 (java) S 13632 13635 8659 0 -1 1077944384 45841 0 0 0 689 198 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666772282256 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13639] ppid=13632 vsize=13270076 CPUtime=8.86 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13639/stat : 13639 (java) S 13632 13635 8659 0 -1 1077944384 43461 0 0 0 685 201 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666771229712 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13640] ppid=13632 vsize=13270076 CPUtime=8.87 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13640/stat : 13640 (java) S 13632 13635 8659 0 -1 1077944384 51192 0 0 0 685 202 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666770177168 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13641] ppid=13632 vsize=13270076 CPUtime=8.92 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13641/stat : 13641 (java) S 13632 13635 8659 0 -1 1077944384 45040 0 0 0 690 202 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666769123600 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13642] ppid=13632 vsize=13270076 CPUtime=8.85 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13642/stat : 13642 (java) S 13632 13635 8659 0 -1 1077944384 44874 0 0 0 682 203 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666768071056 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13643] ppid=13632 vsize=13270076 CPUtime=8.9 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13643/stat : 13643 (java) S 13632 13635 8659 0 -1 1077944384 43114 0 0 0 687 203 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666434001424 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13644] ppid=13632 vsize=13270076 CPUtime=8.89 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13644/stat : 13644 (java) S 13632 13635 8659 0 -1 1077944384 44334 0 0 0 687 202 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666432948880 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13646] ppid=13632 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13646/stat : 13646 (java) S 13632 13635 8659 0 -1 1077944384 21419 0 0 0 57 6 0 0 20 0 20 0 5522766 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666304543216 139666841209474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13647] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13647/stat : 13647 (java) S 13632 13635 8659 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5522766 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666303489504 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13648] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13648/stat : 13648 (java) S 13632 13635 8659 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 5522767 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666302436864 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13649] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13649/stat : 13649 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666301385424 139666841216923 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13650] ppid=13632 vsize=13270076 CPUtime=1.78 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13650/stat : 13650 (java) S 13632 13635 8659 0 -1 1077944384 6675 0 0 0 177 1 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666300332016 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13651] ppid=13632 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13651/stat : 13651 (java) S 13632 13635 8659 0 -1 1077944384 6440 0 0 0 206 2 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666299279472 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13652] ppid=13632 vsize=13270076 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13652/stat : 13652 (java) S 13632 13635 8659 0 -1 1077944384 7020 0 0 0 157 2 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666298226928 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13653] ppid=13632 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13653/stat : 13653 (java) S 13632 13635 8659 0 -1 1077944384 10101 0 0 0 92 3 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666162444656 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13654] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13654/stat : 13654 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666161392352 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13655] ppid=13632 vsize=13270076 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13655/stat : 13655 (java) S 13632 13635 8659 0 -1 1077944384 1402 0 0 0 53 61 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666160339888 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13635 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2331.7 s] /proc/loadavg: 1.34 1.57 1.68 3/281 13837 /proc/meminfo: memFree=27227556/32770624 swapFree=5896/112652 [pid=13635] ppid=13632 vsize=13270076 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/13635/stat : 13635 (java) S 13632 13635 8659 0 -1 1077944320 671645 0 0 0 238277 1726 0 0 20 0 20 0 5522762 13588557824 1093388 33554432000 4194304 4196468 140730140668592 140730140651136 139666841198327 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 /proc/13635/statm: 3317519 1093388 3856 1 0 3305234 0 [pid=13635/tid=13636] ppid=13632 vsize=13270076 CPUtime=2320.88 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13636/stat : 13636 (java) R 13632 13635 8659 0 -1 4202560 250717 0 0 0 232039 49 0 0 20 0 20 0 5522762 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666845436848 139666457010144 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13637] ppid=13632 vsize=13270076 CPUtime=8.67 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13637/stat : 13637 (java) S 13632 13635 8659 0 -1 1077944384 48575 0 0 0 668 199 0 0 20 0 20 0 5522763 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666773334800 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13638] ppid=13632 vsize=13270076 CPUtime=8.87 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13638/stat : 13638 (java) S 13632 13635 8659 0 -1 1077944384 45841 0 0 0 689 198 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666772282256 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13639] ppid=13632 vsize=13270076 CPUtime=8.86 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13639/stat : 13639 (java) S 13632 13635 8659 0 -1 1077944384 43461 0 0 0 685 201 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666771229712 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13640] ppid=13632 vsize=13270076 CPUtime=8.87 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13640/stat : 13640 (java) S 13632 13635 8659 0 -1 1077944384 51192 0 0 0 685 202 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666770177168 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13641] ppid=13632 vsize=13270076 CPUtime=8.92 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13641/stat : 13641 (java) S 13632 13635 8659 0 -1 1077944384 45040 0 0 0 690 202 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666769123600 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13642] ppid=13632 vsize=13270076 CPUtime=8.85 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13642/stat : 13642 (java) S 13632 13635 8659 0 -1 1077944384 44874 0 0 0 682 203 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666768071056 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13643] ppid=13632 vsize=13270076 CPUtime=8.9 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13643/stat : 13643 (java) S 13632 13635 8659 0 -1 1077944384 43114 0 0 0 687 203 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666434001424 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13644] ppid=13632 vsize=13270076 CPUtime=8.89 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13644/stat : 13644 (java) S 13632 13635 8659 0 -1 1077944384 44334 0 0 0 687 202 0 0 20 0 20 0 5522764 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666432948880 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13646] ppid=13632 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13646/stat : 13646 (java) S 13632 13635 8659 0 -1 1077944384 21419 0 0 0 57 6 0 0 20 0 20 0 5522766 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666304543216 139666841209474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13647] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13647/stat : 13647 (java) S 13632 13635 8659 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5522766 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666303489504 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13648] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13648/stat : 13648 (java) S 13632 13635 8659 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 5522767 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666302436864 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13649] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13649/stat : 13649 (java) S 13632 13635 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666301385424 139666841216923 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13650] ppid=13632 vsize=13270076 CPUtime=1.78 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13650/stat : 13650 (java) S 13632 13635 8659 0 -1 1077944384 6675 0 0 0 177 1 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666300332016 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13651] ppid=13632 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13651/stat : 13651 (java) S 13632 13635 8659 0 -1 1077944384 6440 0 0 0 206 2 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666299279472 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13652] ppid=13632 vsize=13270076 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13652/stat : 13652 (java) S 13632 13635 8659 0 -1 1077944384 7020 0 0 0 157 2 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666298226928 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13653] ppid=13632 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13653/stat : 13653 (java) S 13632 13635 8659 0 -1 1077944384 10101 0 0 0 92 3 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666162444656 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13654] ppid=13632 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13654/stat : 13654 (java) S 13632 13635 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666161392352 139666841208533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 [pid=13635/tid=13655] ppid=13632 vsize=13270076 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/13635/task/13655/stat : 13655 (java) S 13632 13635 8659 0 -1 1077944384 1402 0 0 0 53 61 0 0 20 0 20 0 5522771 13588557824 1093388 33554432000 4194304 4196468 140730140668592 139666160339888 139666841209474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 37371904 140730140673162 140730140673348 140730140673348 140730140676047 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2331.76 CPU time (s): 2400.09 CPU user time (s): 2382.79 CPU system time (s): 17.2987 CPU usage (%): 102.93 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2382.79 system time used= 17.2987 maximum resident set size= 4677836 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 672941 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2600 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 63187 involuntary context switches= 123569 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.832 second user time and 18.6196 second system time The end
Begin job on node121 at 2017-07-22 07:49:04 IDJOB=4245661 IDBENCH=123023 IDSOLVER=2628 FILE ID=node121/4245661-1500702544 RUNJOBID= node121-1500683185-8691 PBS_JOBID= 20623335 Free space on /tmp= 61944 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245661-1500702544/watcher-4245661-1500702544 -o /tmp/evaluation-result-4245661-1500702544/solver-4245661-1500702544 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8691 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 262181841 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245661-1500702544.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250 RANDOM SEED=262181841 node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.00 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.00 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 : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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 : 5334.00 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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 : 5334.00 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31638516 kB MemAvailable: 31776000 kB Buffers: 132716 kB Cached: 279684 kB SwapCached: 0 kB Active: 516480 kB Inactive: 170324 kB Active(anon): 225752 kB Inactive(anon): 60496 kB Active(file): 290728 kB Inactive(file): 109828 kB Unevictable: 5896 kB Mlocked: 5896 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42508 kB Writeback: 0 kB AnonPages: 80252 kB Mapped: 44852 kB Shmem: 8840 kB Slab: 139452 kB SReclaimable: 105524 kB SUnreclaim: 33928 kB KernelStack: 4848 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1152284 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: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61904 MiB End job on node121 at 2017-07-22 08:27:56