Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-14 | SAT (TO) | 38323 | 252.127 | 234.742 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml |
| MD5SUM | 69672b68d8d3f9201b488571cf4784d4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 36340 |
| Best CPU time to get the best result obtained on this benchmark | 252.14 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5256 |
| Number of constraints | 2557 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 72 |
| Distribution of domain sizes | [{"size":8,"count":2556},{"size":72,"count":72}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 72 |
| Distribution of variable degrees | [{"degree":0,"count":2628},{"degree":2,"count":2556},{"degree":72,"count":72}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 72 |
| Distribution of constraint arities | [{"arity":3,"count":2556},{"arity":72,"count":1}] |
| Number of extensional constraints | 2556 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":2556},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.68/0.55 c version: 2018-08-14 0.68/0.55 c seed: 1979196481 0.68/0.55 c timeout: 252 0.68/0.55 c memlimit: 11000 0.68/0.55 c nbcore: 4 0.68/0.57 c Parsing instance... 14.97/7.66 c Parsing done, starting search... 23.22/10.34 o 39695 24.16/11.15 o 39639 24.16/11.16 o 39633 24.16/11.16 o 39604 24.16/11.17 o 39599 25.85/12.15 o 39540 25.85/12.18 o 39431 92.99/77.22 o 39422 92.99/77.23 o 39421 93.40/77.65 o 39411 95.42/79.65 o 39402 95.42/79.66 o 39362 96.07/80.29 o 39354 103.56/87.51 o 39348 103.56/87.51 o 39346 103.66/87.65 o 39344 103.66/87.66 o 39315 108.96/92.98 o 39280 108.96/92.98 o 39276 108.96/92.98 o 39248 108.96/92.99 o 39240 109.90/93.81 o 39221 109.90/93.82 o 39185 109.90/93.82 o 39159 109.90/93.82 o 39098 109.90/93.82 o 39015 109.90/93.82 o 38977 109.90/93.83 o 38929 109.90/93.83 o 38919 109.90/93.83 o 38871 109.90/93.86 o 38870 109.90/93.86 o 38707 110.20/94.02 o 38695 111.49/95.37 o 38673 111.49/95.37 o 38665 111.49/95.37 o 38661 112.59/96.49 o 38644 112.59/96.49 o 38636 112.69/96.53 o 38612 113.09/96.98 o 38608 113.20/97.05 o 38592 113.99/97.81 o 38430 113.99/97.82 o 38414 113.99/97.82 o 38395 113.99/97.82 o 38376 113.99/97.88 o 38365 114.09/97.90 o 38355 114.09/97.90 o 38351 114.09/97.94 o 38327 114.09/97.95 o 38323 252.08/234.70 s SATISFIABLE 252.08/234.71 v <instantiation> 252.08/234.71 v <list> 252.08/234.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] 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][55] 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[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[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[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[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][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] 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[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[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[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[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[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[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[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[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[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][57] 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[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[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[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[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[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[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[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[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[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[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[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][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] 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[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[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[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[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[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[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[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[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[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][53] 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[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[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][56] 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][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] 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][53] d[30][54] d[30][55] d[30][56] d[30][57] 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[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][54] 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[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][58] 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[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[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[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[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[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][69] d[36][70] d[36][71] 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[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][55] d[38][56] d[38][57] d[38][58] 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[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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][67] d[53][68] d[53][69] d[53][70] d[53][71] 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[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[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][71] 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[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[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[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[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[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[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[67][68] d[67][69] d[67][70] d[67][71] d[68][69] d[68][70] d[68][71] d[69][70] d[69][71] d[70][71] 252.08/234.71 v </list> 252.08/234.71 v <values> 252.08/234.71 v 56 5 45 62 8 58 32 49 27 48 44 12 47 57 66 39 43 29 61 70 55 9 1 51 25 30 64 63 24 54 21 28 33 31 20 53 65 37 11 4 36 23 16 22 13 59 60 41 67 50 69 46 15 40 18 10 17 6 38 71 3 0 35 14 34 42 2 7 19 68 52 26 5 2 0 0 5 0 0 0 1 10 10 0 0 0 0 10 10 5 10 2 2 3 5 5 0 0 5 0 10 0 5 0 2 4 1 0 4 0 5 0 2 5 2 0 5 1 10 5 5 0 2 5 1 5 1 0 1 5 0 10 1 10 1 0 0 0 2 0 2 2 0 10 4 4 0 5 2 0 2 1 5 0 5 5 1 2 4 0 10 1 5 0 2 2 2 2 0 5 3 5 5 0 1 5 5 5 0 1 2 0 2 2 2 2 2 2 0 1 4 2 1 10 3 10 2 5 6 5 5 3 4 10 5 0 10 0 0 5 5 10 5 4 1 10 10 5 5 5 5 10 0 1 10 2 0 5 10 4 1 5 0 0 2 2 10 2 3 2 10 5 0 2 5 5 3 10 1 5 6 1 0 5 3 2 2 5 0 1 0 0 0 2 5 0 5 10 0 0 5 1 5 4 4 0 6 0 1 10 0 2 5 5 10 10 10 0 0 6 5 10 0 3 3 0 10 5 6 1 1 6 0 2 5 1 1 2 10 2 1 5 1 1 0 0 1 2 10 1 2 0 0 0 0 5 0 1 0 2 0 2 0 1 2 5 10 3 1 2 0 5 2 10 2 3 0 3 2 0 5 3 10 5 5 1 0 2 0 10 10 1 2 5 5 5 1 0 0 4 1 2 1 5 10 2 5 10 2 0 0 2 5 1 1 0 0 2 1 2 2 5 4 5 5 4 0 4 1 6 0 0 0 10 5 0 0 1 1 1 2 0 2 4 0 0 0 2 5 5 10 1 10 0 1 0 2 0 5 5 5 1 0 3 3 1 1 5 1 5 5 2 0 1 5 0 1 2 5 2 2 5 0 6 5 5 0 5 2 0 0 2 0 2 2 2 5 0 2 1 0 2 10 2 0 1 1 1 5 5 0 2 1 2 3 5 0 1 5 5 5 10 5 0 1 2 3 2 2 2 3 0 5 0 5 5 10 3 1 0 1 5 0 0 0 5 2 2 5 5 0 2 0 2 4 0 5 4 2 1 0 2 0 4 5 2 5 10 2 2 5 1 1 1 1 2 0 1 0 5 1 2 5 2 10 0 2 0 2 0 5 5 1 2 0 5 0 0 6 1 5 2 0 0 5 0 5 5 0 2 10 0 5 5 0 0 2 3 0 1 0 0 3 5 5 0 0 2 0 3 0 0 5 2 2 5 2 4 0 10 10 2 5 0 3 5 0 2 10 2 5 3 0 4 5 5 5 10 0 1 1 5 2 5 5 0 0 2 5 1 0 1 0 2 5 5 5 5 0 5 0 3 2 10 0 0 2 0 0 1 0 5 0 0 4 1 0 5 2 5 2 5 1 0 5 0 2 10 0 0 2 4 0 5 5 0 5 5 1 0 0 0 1 2 2 2 10 0 0 5 0 5 10 0 2 5 0 0 5 4 5 5 3 10 0 0 5 5 2 3 0 0 10 10 0 0 4 2 5 6 10 5 0 5 4 5 2 0 1 0 1 10 1 2 2 5 1 5 2 0 1 0 2 0 5 1 0 1 1 2 2 5 5 2 5 10 2 2 0 0 2 6 0 0 5 0 0 2 1 0 2 10 0 0 0 0 0 5 1 5 5 5 5 1 6 10 0 0 6 2 1 2 1 5 5 0 1 10 4 5 0 0 1 0 10 1 1 5 1 4 1 0 5 2 0 5 10 3 0 0 10 6 0 1 0 1 3 5 4 5 3 0 2 5 5 5 0 0 1 1 0 5 1 2 3 2 2 2 4 0 10 0 4 2 0 0 5 0 0 2 2 0 10 5 2 0 1 1 5 1 10 0 5 0 0 5 0 0 10 4 0 1 10 4 1 0 1 0 0 10 5 5 2 5 5 0 0 5 6 0 0 0 5 0 2 0 0 0 10 5 0 3 4 2 0 1 0 0 0 3 1 0 0 1 0 1 2 5 0 10 6 2 5 5 0 2 2 1 3 0 4 4 3 3 0 0 10 10 1 2 4 0 0 0 2 0 5 2 0 0 0 10 10 0 0 3 10 2 2 5 1 1 2 0 2 5 5 10 0 1 5 0 0 0 5 5 2 0 5 5 3 5 5 3 2 5 4 0 4 0 5 5 10 0 0 3 5 0 5 2 1 4 0 0 5 2 1 2 1 2 1 1 10 1 0 10 0 1 5 2 2 0 0 0 1 5 2 5 2 2 5 2 5 6 0 2 1 1 0 0 1 0 2 10 2 2 1 4 0 5 0 2 2 0 0 0 2 6 0 10 1 0 1 2 0 0 0 1 2 5 10 0 2 2 0 10 1 5 4 0 10 1 10 3 0 1 2 5 5 5 5 0 0 2 5 5 0 0 5 2 10 0 5 0 5 4 0 0 2 5 1 0 0 5 0 2 0 1 5 5 0 0 3 5 1 5 2 0 4 1 2 5 0 5 2 3 0 2 5 5 2 0 5 0 0 5 1 5 1 0 0 2 5 1 0 10 1 2 0 2 0 0 10 5 3 0 2 0 0 0 1 0 5 5 1 0 10 0 1 0 0 3 2 5 0 10 2 5 2 1 2 0 2 5 5 1 0 2 1 1 0 0 0 0 10 2 0 0 2 1 1 0 1 10 10 0 1 10 10 0 0 0 2 2 0 1 5 5 0 4 1 2 1 0 0 0 5 1 5 1 5 5 5 2 2 2 0 5 5 0 5 0 5 0 4 2 2 2 2 0 3 5 5 2 10 5 0 10 2 0 2 3 2 2 0 0 2 2 2 2 0 0 10 0 1 10 0 2 2 1 0 1 4 5 1 0 5 2 3 2 0 0 2 0 0 5 1 5 6 5 2 0 0 4 0 0 0 10 0 5 5 0 1 1 5 2 0 10 0 1 1 1 5 5 4 3 2 5 2 0 10 0 0 2 0 2 1 0 2 6 5 0 0 5 5 5 5 2 6 2 0 10 5 2 0 2 0 2 5 0 4 0 2 2 0 5 1 2 10 1 0 1 0 10 5 5 1 0 3 0 5 2 10 10 10 1 0 10 5 0 10 4 5 0 0 1 1 5 5 2 3 2 0 1 0 2 2 2 0 5 0 0 6 0 5 0 1 5 0 5 2 4 6 5 2 2 2 2 0 1 2 5 6 1 0 2 4 5 0 5 1 5 0 2 0 10 5 5 3 10 3 2 0 2 0 0 5 0 0 10 5 1 1 0 5 0 10 5 6 0 1 0 5 1 1 5 2 5 1 10 2 0 0 0 2 2 4 2 2 5 5 10 2 2 0 0 10 5 5 2 5 2 0 0 5 5 10 5 5 2 2 0 4 0 0 0 0 4 2 5 2 2 5 0 1 5 0 5 1 5 3 1 0 6 5 5 10 5 5 2 2 1 6 2 0 1 2 5 2 1 3 0 2 0 0 0 0 0 5 2 2 5 0 0 1 1 10 5 2 0 1 2 5 5 0 2 2 0 2 3 10 5 10 0 0 2 0 10 0 5 2 0 0 3 5 0 2 0 10 5 1 1 5 0 5 5 10 5 0 0 5 2 0 0 2 0 0 0 5 1 5 2 5 2 0 10 5 2 4 0 5 2 1 10 0 5 2 5 2 0 0 2 2 5 2 1 0 0 4 1 0 4 2 0 2 3 1 2 0 10 5 5 5 5 3 0 2 2 0 0 0 1 0 10 1 0 0 5 10 0 0 0 0 10 1 5 2 0 0 6 1 1 10 0 3 10 0 2 6 5 3 5 10 1 1 5 5 3 5 2 5 2 2 2 2 0 0 5 5 5 2 0 4 1 0 10 2 5 5 5 0 5 0 5 1 0 1 0 2 10 5 2 0 2 3 6 1 0 5 5 10 10 0 5 2 0 5 5 1 0 0 0 0 0 0 6 0 10 0 5 10 2 5 2 0 2 6 0 5 0 5 2 5 0 6 2 0 0 1 2 3 1 0 0 0 0 0 1 0 5 0 10 5 4 0 0 1 10 0 2 0 3 0 5 4 1 5 5 0 0 0 4 6 2 3 1 10 2 2 0 4 0 0 1 0 2 0 5 0 5 4 0 10 2 1 2 0 10 0 1 4 5 2 1 0 0 0 2 2 5 0 2 0 4 0 1 1 1 0 0 1 5 1 5 10 3 10 1 3 0 5 10 0 0 10 5 2 0 5 1 5 5 2 1 0 0 0 0 0 5 5 1 5 0 10 2 0 2 3 5 5 2 0 0 2 5 10 5 0 1 0 2 5 3 5 2 5 2 1 1 2 0 5 1 0 5 0 10 2 0 0 1 0 0 2 5 0 0 5 2 3 0 2 0 5 5 0 0 2 0 0 0 2 10 2 5 0 10 2 0 3 5 2 1 2 1 2 10 10 10 1 10 0 5 0 5 0 1 3 2 5 10 5 2 5 2 5 1 0 5 4 0 5 1 0 0 5 1 2 2 10 4 0 1 10 3 0 0 2 0 0 5 5 0 0 0 6 0 2 10 5 2 2 5 3 1 10 0 10 5 0 5 0 3 1 2 2 0 1 0 2 1 0 0 2 2 0 0 3 0 3 1 5 5 0 0 0 2 5 0 0 2 2 0 0 1 0 5 1 0 0 0 0 5 5 2 3 0 2 5 5 2 2 5 0 3 1 0 3 1 3 0 0 5 2 0 0 5 3 2 10 4 5 0 0 5 6 5 1 1 10 5 1 10 5 5 2 5 0 2 3 4 4 1 5 2 0 4 5 5 0 1 5 0 5 5 5 0 3 5 1 2 2 2 2 2 10 4 0 10 0 1 0 2 0 0 4 0 3 1 2 1 4 0 5 4 5 0 10 5 10 5 6 2 5 0 1 10 2 3 0 2 10 4 5 0 0 2 4 2 10 2 1 3 5 10 1 0 10 0 0 5 2 4 0 2 0 1 0 1 1 0 0 1 5 2 5 5 0 2 0 1 0 0 0 4 2 2 1 4 5 0 2 4 2 0 2 2 6 5 0 2 3 5 0 0 0 6 5 2 2 0 0 0 0 5 2 0 1 3 3 2 10 0 5 4 4 0 5 4 2 5 2 5 5 5 1 3 10 5 1 0 3 0 2 0 1 6 3 10 2 3 2 10 0 2 0 0 1 5 0 0 0 1 10 5 0 0 1 2 0 1 5 1 2 5 1 10 0 5 0 5 0 2 5 5 2 0 1 0 3 2 5 1 0 5 10 3 2 2 1 0 2 0 5 0 1 5 10 0 5 0 5 2 0 1 0 6 2 0 1 0 10 0 3 0 5 0 0 2 0 6 0 0 0 0 2 6 1 5 1 0 0 2 1 4 0 6 0 0 5 5 5 2 4 0 0 10 10 0 0 2 5 10 0 1 10 4 0 0 5 2 2 10 5 0 5 0 2 2 0 0 3 0 3 10 4 0 1 5 0 10 5 0 5 4 2 2 5 5 0 10 0 10 0 5 0 2 5 2 2 5 1 0 0 5 5 0 1 1 4 4 2 1 5 0 1 5 0 10 0 2 0 0 5 5 2 0 4 1 0 6 5 0 5 1 10 0 1 0 0 0 2 0 3 1 3 2 1 0 5 0 2 5 2 0 5 5 5 1 10 0 0 10 2 1 5 1 2 10 2 0 10 10 2 0 10 0 5 10 0 1 1 2 0 5 1 2 0 2 1 2 5 10 0 0 5 3 0 5 0 1 0 1 2 5 5 5 0 0 5 0 5 4 0 5 2 10 5 1 6 5 2 0 5 5 5 1 2 0 2 2 5 5 0 0 3 1 252.08/234.71 v </values> 252.08/234.71 v </instantiation>
OK 38323
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12948 MiB free)
memory of node 1: 16384 MiB (13325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310042-1534330446/watcher-4310042-1534330446 -o /tmp/evaluation-result-4310042-1534330446/solver-4310042-1534330446 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534329949-28158 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1979196481 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310042-1534330446.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28522, runsolver pid=28519
[startup+0.100095 s]*
/proc/loadavg: 1.38 1.53 1.43 5/217 28537
/proc/meminfo: memFree=26878988/32770624 swapFree=67108804/67108860
[pid=28522] ppid=28519 vsize=14082736 memory=31976 CPUtime=0.12 cores=1,3,5,7
/proc/28522/stat : 28522 (java) S 28519 28522 28126 0 -1 1077944320 6421 0 0 0 11 1 0 0 20 0 15 0 250607738 14420721664 7994 33554432000 4194304 4196468 140730330152064 140730330134608 140546455531255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
/proc/28522/statm: 3520684 7994 3151 1 0 3482761 0
[pid=28522/tid=28524] ppid=28519 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/28522/task/28524/stat : 28524 (java) R 28519 28522 28126 0 -1 4202560 4460 0 0 0 9 0 0 0 20 0 15 0 250607739 14420721664 7994 33554432000 4194304 4196468 140730330152064 140546459726592 140546439611742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28525] ppid=28519 vsize=14082736 memory=5793855458928282041 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28525/stat : 28525 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 8059 33554432000 4194304 4196468 140730330152064 140546370599824 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28526] ppid=28519 vsize=14082736 memory=140207918388864 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28526/stat : 28526 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 8059 33554432000 4194304 4196468 140730330152064 140546369547024 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28527] ppid=28519 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28527/stat : 28527 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 8059 33554432000 4194304 4196468 140730330152064 140546368494736 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28528] ppid=28519 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28528/stat : 28528 (java) S 28519 28522 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 8059 33554432000 4194304 4196468 140730330152064 140546367441936 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28529] ppid=28519 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28529/stat : 28529 (java) S 28519 28522 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250607741 14420721664 8059 33554432000 4194304 4196468 140730330152064 140545928702064 140546455542402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28530] ppid=28519 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28530/stat : 28530 (java) S 28519 28522 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250607741 14420721664 8059 33554432000 4194304 4196468 140730330152064 140545927648032 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28531] ppid=28519 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28531/stat : 28531 (java) S 28519 28522 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250607742 14420721664 8059 33554432000 4194304 4196468 140730330152064 140545926595696 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28532] ppid=28519 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28532/stat : 28532 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 8059 33554432000 4194304 4196468 140730330152064 140545925544016 140546455549851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28533] ppid=28519 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28533/stat : 28533 (java) S 28519 28522 28126 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 8059 33554432000 4194304 4196468 140730330152064 140545924491888 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28534] ppid=28519 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28534/stat : 28534 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 8059 33554432000 4194304 4196468 140730330152064 140545923439088 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28535] ppid=28519 vsize=14082736 memory=140207918388864 CPUtime=0.01 cores=1,3,5,7
/proc/28522/task/28535/stat : 28535 (java) S 28519 28522 28126 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 250607744 14420721664 8059 33554432000 4194304 4196468 140730330152064 140545922386800 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28536] ppid=28519 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28536/stat : 28536 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 8059 33554432000 4194304 4196468 140730330152064 140545921334240 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28537] ppid=28519 vsize=14082736 memory=140207918388864 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28537/stat : 28537 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 8059 33554432000 4194304 4196468 140730330152064 140545920281008 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31976 KiB
[startup+0.21754 s]*
/proc/loadavg: 1.38 1.53 1.43 6/217 28537
/proc/meminfo: memFree=26857964/32770624 swapFree=67108804/67108860
[pid=28522] ppid=28519 vsize=14082736 memory=48176 CPUtime=0.33 cores=1,3,5,7
/proc/28522/stat : 28522 (java) S 28519 28522 28126 0 -1 1077944320 10101 0 0 0 31 2 0 0 20 0 15 0 250607738 14420721664 12044 33554432000 4194304 4196468 140730330152064 140730330134608 140546455531255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
/proc/28522/statm: 3520684 12044 3409 1 0 3482761 0
[pid=28522/tid=28524] ppid=28519 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/28522/task/28524/stat : 28524 (java) R 28519 28522 28126 0 -1 4202560 7791 0 0 0 19 1 0 0 20 0 15 0 250607739 14420721664 12044 33554432000 4194304 4196468 140730330152064 140546459761088 140546439611742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28525] ppid=28519 vsize=14082736 memory=4211973934123179402 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28525/stat : 28525 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 12044 33554432000 4194304 4196468 140730330152064 140546370599824 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28526] ppid=28519 vsize=14082736 memory=140207918388864 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28526/stat : 28526 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 12044 33554432000 4194304 4196468 140730330152064 140546369547024 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28527] ppid=28519 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28527/stat : 28527 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 12044 33554432000 4194304 4196468 140730330152064 140546368494736 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28528] ppid=28519 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28528/stat : 28528 (java) S 28519 28522 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 12044 33554432000 4194304 4196468 140730330152064 140546367441936 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28529] ppid=28519 vsize=14082736 memory=140207918388864 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28529/stat : 28529 (java) S 28519 28522 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250607741 14420721664 12044 33554432000 4194304 4196468 140730330152064 140545928702064 140546455542402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28530] ppid=28519 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28530/stat : 28530 (java) S 28519 28522 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250607741 14420721664 12044 33554432000 4194304 4196468 140730330152064 140545927648032 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28531] ppid=28519 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28531/stat : 28531 (java) S 28519 28522 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250607742 14420721664 12044 33554432000 4194304 4196468 140730330152064 140545926595696 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28532] ppid=28519 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28532/stat : 28532 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 12044 33554432000 4194304 4196468 140730330152064 140545925544016 140546455549851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28533] ppid=28519 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28522/task/28533/stat : 28533 (java) S 28519 28522 28126 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 250607744 14420721664 12044 33554432000 4194304 4196468 140730330152064 140545924491888 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28534] ppid=28519 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28522/task/28534/stat : 28534 (java) S 28519 28522 28126 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 250607744 14420721664 12044 33554432000 4194304 4196468 140730330152064 140545923439088 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28535] ppid=28519 vsize=14082736 memory=140207918388864 CPUtime=0.06 cores=1,3,5,7
/proc/28522/task/28535/stat : 28535 (java) S 28519 28522 28126 0 -1 1077944384 313 0 0 0 6 0 0 0 20 0 15 0 250607744 14420721664 12044 33554432000 4194304 4196468 140730330152064 140545922386800 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28536] ppid=28519 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28536/stat : 28536 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 12044 33554432000 4194304 4196468 140730330152064 140545921334240 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28537] ppid=28519 vsize=14082736 memory=140207918388864 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28537/stat : 28537 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 12044 33554432000 4194304 4196468 140730330152064 140545920281008 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 48176 KiB
[startup+0.310596 s]*
/proc/loadavg: 1.38 1.53 1.43 3/217 28537
/proc/meminfo: memFree=26841008/32770624 swapFree=67108804/67108860
[pid=28522] ppid=28519 vsize=14082736 memory=51356 CPUtime=0.44 cores=1,3,5,7
/proc/28522/stat : 28522 (java) S 28519 28522 28126 0 -1 1077944320 10431 0 0 0 42 2 0 0 20 0 15 0 250607738 14420721664 12839 33554432000 4194304 4196468 140730330152064 140730330134608 140546455531255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
/proc/28522/statm: 3520684 12839 3411 1 0 3482761 0
[pid=28522/tid=28524] ppid=28519 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/28522/task/28524/stat : 28524 (java) R 28519 28522 28126 0 -1 4202560 8094 0 0 0 29 1 0 0 20 0 15 0 250607739 14420721664 12839 33554432000 4194304 4196468 140730330152064 140546459717560 140546432755408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28525] ppid=28519 vsize=14082736 memory=4211973934123179402 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28525/stat : 28525 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 12839 33554432000 4194304 4196468 140730330152064 140546370599824 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28526] ppid=28519 vsize=14082736 memory=140207918391224 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28526/stat : 28526 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 12839 33554432000 4194304 4196468 140730330152064 140546369547024 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28527] ppid=28519 vsize=14082736 memory=140207798228760 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28527/stat : 28527 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 12839 33554432000 4194304 4196468 140730330152064 140546368494736 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28528] ppid=28519 vsize=14082736 memory=140207798209999 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28528/stat : 28528 (java) S 28519 28522 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250607740 14420721664 12839 33554432000 4194304 4196468 140730330152064 140546367441936 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28529] ppid=28519 vsize=14082736 memory=140207918417016 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28529/stat : 28529 (java) S 28519 28522 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250607741 14420721664 12839 33554432000 4194304 4196468 140730330152064 140545928702064 140546455542402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28530] ppid=28519 vsize=14082736 memory=140207798219183 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28530/stat : 28530 (java) S 28519 28522 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250607741 14420721664 12839 33554432000 4194304 4196468 140730330152064 140545927648032 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28531] ppid=28519 vsize=14082736 memory=280415596429200 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28531/stat : 28531 (java) S 28519 28522 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250607742 14420721664 12839 33554432000 4194304 4196468 140730330152064 140545926595696 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28532] ppid=28519 vsize=14082736 memory=280415596426896 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28532/stat : 28532 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 12839 33554432000 4194304 4196468 140730330152064 140545925544016 140546455549851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28533] ppid=28519 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28522/task/28533/stat : 28533 (java) S 28519 28522 28126 0 -1 1077944384 367 0 0 0 3 0 0 0 20 0 15 0 250607744 14420721664 12839 33554432000 4194304 4196468 140730330152064 140545924491888 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28534] ppid=28519 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28522/task/28534/stat : 28534 (java) S 28519 28522 28126 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 250607744 14420721664 12839 33554432000 4194304 4196468 140730330152064 140545923439088 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28535] ppid=28519 vsize=14082736 memory=140207918388864 CPUtime=0.08 cores=1,3,5,7
/proc/28522/task/28535/stat : 28535 (java) S 28519 28522 28126 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 250607744 14420721664 12839 33554432000 4194304 4196468 140730330152064 140545922386800 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28536] ppid=28519 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28536/stat : 28536 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 12839 33554432000 4194304 4196468 140730330152064 140545921334240 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28537] ppid=28519 vsize=14082736 memory=140207918388864 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28537/stat : 28537 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607744 14420721664 12839 33554432000 4194304 4196468 140730330152064 140545920281008 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51356 KiB
[startup+0.700791 s]
/proc/loadavg: 1.38 1.53 1.43 3/217 28537
/proc/meminfo: memFree=26797452/32770624 swapFree=67108804/67108860
[pid=28522] ppid=28519 vsize=14084804 memory=89016 CPUtime=1 cores=1,3,5,7
/proc/28522/stat : 28522 (java) S 28519 28522 28126 0 -1 1077944320 17142 0 0 0 95 5 0 0 20 0 15 0 250607738 14422839296 22254 33554432000 4194304 4196468 140730330152064 140730330134608 140546455531255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
/proc/28522/statm: 3521201 22254 3499 1 0 3483273 0
[pid=28522/tid=28524] ppid=28519 vsize=14084804 memory=1600 CPUtime=0.67 cores=1,3,5,7
/proc/28522/task/28524/stat : 28524 (java) R 28519 28522 28126 0 -1 4202560 14457 0 0 0 64 3 0 0 20 0 15 0 250607739 14422839296 22254 33554432000 4194304 4196468 140730330152064 140546459755360 140546439611742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28525] ppid=28519 vsize=14084804 memory=7952 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28525/stat : 28525 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14422839296 22254 33554432000 4194304 4196468 140730330152064 140546370599824 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28526] ppid=28519 vsize=14084804 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28526/stat : 28526 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14422839296 22254 33554432000 4194304 4196468 140730330152064 140546369547024 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28527] ppid=28519 vsize=14084804 memory=6296683642736693604 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28527/stat : 28527 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607740 14422839296 22254 33554432000 4194304 4196468 140730330152064 140546368494736 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28528] ppid=28519 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28528/stat : 28528 (java) S 28519 28522 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250607740 14422839296 22254 33554432000 4194304 4196468 140730330152064 140546367441936 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28529] ppid=28519 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28529/stat : 28529 (java) S 28519 28522 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250607741 14422839296 22254 33554432000 4194304 4196468 140730330152064 140545928702064 140546455542402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28530] ppid=28519 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28530/stat : 28530 (java) S 28519 28522 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250607741 14422839296 22254 33554432000 4194304 4196468 140730330152064 140545927648032 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28531] ppid=28519 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28531/stat : 28531 (java) S 28519 28522 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250607742 14422839296 22254 33554432000 4194304 4196468 140730330152064 140545926595696 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28532] ppid=28519 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28532/stat : 28532 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14422839296 22254 33554432000 4194304 4196468 140730330152064 140545925544016 140546455549851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28533] ppid=28519 vsize=14084804 memory=1260 CPUtime=0.07 cores=1,3,5,7
/proc/28522/task/28533/stat : 28533 (java) S 28519 28522 28126 0 -1 1077944384 515 0 0 0 7 0 0 0 20 0 15 0 250607744 14422839296 22254 33554432000 4194304 4196468 140730330152064 140545924491888 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28534] ppid=28519 vsize=14084804 memory=14872 CPUtime=0.08 cores=1,3,5,7
/proc/28522/task/28534/stat : 28534 (java) S 28519 28522 28126 0 -1 1077944384 416 0 0 0 8 0 0 0 20 0 15 0 250607744 14422839296 22254 33554432000 4194304 4196468 140730330152064 140545923439088 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28535] ppid=28519 vsize=14084804 memory=3296 CPUtime=0.14 cores=1,3,5,7
/proc/28522/task/28535/stat : 28535 (java) R 28519 28522 28126 0 -1 4202560 376 0 0 0 14 0 0 0 20 0 15 0 250607744 14422839296 22254 33554432000 4194304 4196468 140730330152064 140545922386800 140546455543190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28536] ppid=28519 vsize=14084804 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28536/stat : 28536 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14422839296 22254 33554432000 4194304 4196468 140730330152064 140545921334240 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28537] ppid=28519 vsize=14084804 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28537/stat : 28537 (java) S 28519 28522 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250607744 14422839296 22254 33554432000 4194304 4196468 140730330152064 140545920281008 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89016 KiB
[startup+1.50072 s]
/proc/loadavg: 1.38 1.53 1.43 8/217 28537
/proc/meminfo: memFree=26709348/32770624 swapFree=67108804/67108860
[pid=28522] ppid=28519 vsize=14086852 memory=219712 CPUtime=3.27 cores=1,3,5,7
/proc/28522/stat : 28522 (java) S 28519 28522 28126 0 -1 1077944320 24054 0 0 0 318 9 0 0 20 0 15 0 250607738 14424936448 54928 33554432000 4194304 4196468 140730330152064 140730330134608 140546455531255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
/proc/28522/statm: 3521713 54928 3564 1 0 3483785 0
[pid=28522/tid=28524] ppid=28519 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/28522/task/28524/stat : 28524 (java) R 28519 28522 28126 0 -1 4202560 16741 0 0 0 139 6 0 0 20 0 15 0 250607739 14424936448 54928 33554432000 4194304 4196468 140730330152064 140546459768304 140546049652379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28525] ppid=28519 vsize=14086852 memory=2452 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28525/stat : 28525 (java) S 28519 28522 28126 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 250607740 14424936448 54928 33554432000 4194304 4196468 140730330152064 140546370599824 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28526] ppid=28519 vsize=14086852 memory=280415596390688 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28526/stat : 28526 (java) S 28519 28522 28126 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 250607740 14424936448 54928 33554432000 4194304 4196468 140730330152064 140546369547024 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28527] ppid=28519 vsize=14086852 memory=4050477928470020128 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28527/stat : 28527 (java) S 28519 28522 28126 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 250607740 14424936448 54928 33554432000 4194304 4196468 140730330152064 140546368494736 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28528] ppid=28519 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28528/stat : 28528 (java) S 28519 28522 28126 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 250607740 14424936448 54928 33554432000 4194304 4196468 140730330152064 140546367441936 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28529] ppid=28519 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28529/stat : 28529 (java) S 28519 28522 28126 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 250607741 14424936448 54928 33554432000 4194304 4196468 140730330152064 140545928702064 140546455542402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
################
# More data... #
################
/proc/28522/task/28524/stat : 28524 (java) S 28519 28522 28126 0 -1 1077944384 37497 0 0 0 15799 22 0 0 20 0 15 0 250607739 14429130752 921045 33554432000 4194304 4196468 140730330152064 140546459769520 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28525] ppid=28519 vsize=14090948 memory=3673940 CPUtime=3.77 cores=1,3,5,7
/proc/28522/task/28525/stat : 28525 (java) R 28519 28522 28126 0 -1 4202560 2420 0 0 0 311 66 0 0 20 0 15 0 250607740 14429130752 921045 33554432000 4194304 4196468 140730330152064 140546370600024 140546448628091 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28526] ppid=28519 vsize=14090948 memory=3673940 CPUtime=3.78 cores=1,3,5,7
/proc/28522/task/28526/stat : 28526 (java) R 28519 28522 28126 0 -1 4202560 5378 0 0 0 310 68 0 0 20 0 15 0 250607740 14429130752 921045 33554432000 4194304 4196468 140730330152064 140546369547024 140546448628091 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28527] ppid=28519 vsize=14090948 memory=3600124 CPUtime=3.77 cores=1,3,5,7
/proc/28522/task/28527/stat : 28527 (java) R 28519 28522 28126 0 -1 4202560 2773 0 0 0 308 69 0 0 20 0 15 0 250607740 14429130752 921045 33554432000 4194304 4196468 140730330152064 140546368494736 140546448628091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28528] ppid=28519 vsize=14090948 memory=3673940 CPUtime=3.78 cores=1,3,5,7
/proc/28522/task/28528/stat : 28528 (java) R 28519 28522 28126 0 -1 4202560 2672 0 0 0 310 68 0 0 20 0 15 0 250607740 14429130752 921045 33554432000 4194304 4196468 140730330152064 140546367441936 140546448628091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28529] ppid=28519 vsize=14090948 memory=3673940 CPUtime=0.24 cores=1,3,5,7
/proc/28522/task/28529/stat : 28529 (java) S 28519 28522 28126 0 -1 1077944384 5655 0 0 0 23 1 0 0 20 0 15 0 250607741 14429130752 921045 33554432000 4194304 4196468 140730330152064 140545928700576 140546455541461 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28530] ppid=28519 vsize=14090948 memory=3673940 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28530/stat : 28530 (java) S 28519 28522 28126 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 250607741 14429130752 921045 33554432000 4194304 4196468 140730330152064 140545927648096 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28531] ppid=28519 vsize=14090948 memory=3673940 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28531/stat : 28531 (java) S 28519 28522 28126 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250607742 14429130752 921045 33554432000 4194304 4196468 140730330152064 140545926595712 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28532] ppid=28519 vsize=14090948 memory=3673940 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28532/stat : 28532 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14429130752 921045 33554432000 4194304 4196468 140730330152064 140545925544016 140546455549851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28533] ppid=28519 vsize=14090948 memory=3708 CPUtime=2.27 cores=1,3,5,7
/proc/28522/task/28533/stat : 28533 (java) S 28519 28522 28126 0 -1 1077944384 7892 0 0 0 227 0 0 0 20 0 15 0 250607744 14429130752 921045 33554432000 4194304 4196468 140730330152064 140545924491888 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28534] ppid=28519 vsize=14090948 memory=3673940 CPUtime=2.11 cores=1,3,5,7
/proc/28522/task/28534/stat : 28534 (java) S 28519 28522 28126 0 -1 1077944384 6012 0 0 0 210 1 0 0 20 0 15 0 250607744 14429130752 921045 33554432000 4194304 4196468 140730330152064 140545923439088 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28535] ppid=28519 vsize=14090948 memory=3673940 CPUtime=1.02 cores=1,3,5,7
/proc/28522/task/28535/stat : 28535 (java) S 28519 28522 28126 0 -1 1077944384 10104 0 0 0 100 2 0 0 20 0 15 0 250607744 14429130752 921045 33554432000 4194304 4196468 140730330152064 140545922386800 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28536] ppid=28519 vsize=14090948 memory=3673940 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28536/stat : 28536 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14429130752 921045 33554432000 4194304 4196468 140730330152064 140545921334240 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28537] ppid=28519 vsize=14090948 memory=3673940 CPUtime=0.08 cores=1,3,5,7
/proc/28522/task/28537/stat : 28537 (java) S 28519 28522 28126 0 -1 1077944384 476 0 0 0 3 5 0 0 20 0 15 0 250607744 14429130752 921045 33554432000 4194304 4196468 140730330152064 140545920281008 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
Current children cumulated CPU time: 179.14 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3684180 KiB
[startup+222.301 s]
/proc/loadavg: 1.61 1.58 1.47 3/216 28541
/proc/meminfo: memFree=23005240/32770624 swapFree=67108804/67108860
[pid=28522] ppid=28519 vsize=14090948 memory=3770648 CPUtime=239.56 cores=1,3,5,7
/proc/28522/stat : 28522 (java) S 28519 28522 28126 0 -1 1077944320 89880 0 0 0 23641 315 0 0 20 0 15 0 250607738 14429130752 942662 33554432000 4194304 4196468 140730330152064 140730330134608 140546455531255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
/proc/28522/statm: 3522737 942662 3623 1 0 3484809 0
[pid=28522/tid=28524] ppid=28519 vsize=14090948 memory=3727540 CPUtime=218.07 cores=1,3,5,7
/proc/28522/task/28524/stat : 28524 (java) R 28519 28522 28126 0 -1 4202560 42238 0 0 0 21785 22 0 0 20 0 15 0 250607739 14429130752 942662 33554432000 4194304 4196468 140730330152064 140546459769200 140546054982122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28525] ppid=28519 vsize=14090948 memory=3770648 CPUtime=3.9 cores=1,3,5,7
/proc/28522/task/28525/stat : 28525 (java) S 28519 28522 28126 0 -1 1077944384 2868 0 0 0 322 68 0 0 20 0 15 0 250607740 14429130752 942662 33554432000 4194304 4196468 140730330152064 140546370599824 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28526] ppid=28519 vsize=14090948 memory=3770648 CPUtime=3.92 cores=1,3,5,7
/proc/28522/task/28526/stat : 28526 (java) S 28519 28522 28126 0 -1 1077944384 6908 0 0 0 321 71 0 0 20 0 15 0 250607740 14429130752 942662 33554432000 4194304 4196468 140730330152064 140546369547024 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28527] ppid=28519 vsize=14090948 memory=3770648 CPUtime=3.91 cores=1,3,5,7
/proc/28522/task/28527/stat : 28527 (java) S 28519 28522 28126 0 -1 1077944384 2976 0 0 0 320 71 0 0 20 0 15 0 250607740 14429130752 942662 33554432000 4194304 4196468 140730330152064 140546368494736 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28528] ppid=28519 vsize=14090948 memory=3770648 CPUtime=3.92 cores=1,3,5,7
/proc/28522/task/28528/stat : 28528 (java) S 28519 28522 28126 0 -1 1077944384 2828 0 0 0 322 70 0 0 20 0 15 0 250607740 14429130752 942662 33554432000 4194304 4196468 140730330152064 140546367441936 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28529] ppid=28519 vsize=14090948 memory=3708 CPUtime=0.24 cores=1,3,5,7
/proc/28522/task/28529/stat : 28529 (java) S 28519 28522 28126 0 -1 1077944384 5921 0 0 0 23 1 0 0 20 0 15 0 250607741 14429130752 942662 33554432000 4194304 4196468 140730330152064 140545928702064 140546455542402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28530] ppid=28519 vsize=14090948 memory=68080 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28530/stat : 28530 (java) S 28519 28522 28126 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 250607741 14429130752 942662 33554432000 4194304 4196468 140730330152064 140545927648096 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28531] ppid=28519 vsize=14090948 memory=3770648 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28531/stat : 28531 (java) S 28519 28522 28126 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250607742 14429130752 942662 33554432000 4194304 4196468 140730330152064 140545926595712 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28532] ppid=28519 vsize=14090948 memory=3770648 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28532/stat : 28532 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14429130752 942662 33554432000 4194304 4196468 140730330152064 140545925544016 140546455549851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28533] ppid=28519 vsize=14090948 memory=3708 CPUtime=2.27 cores=1,3,5,7
/proc/28522/task/28533/stat : 28533 (java) S 28519 28522 28126 0 -1 1077944384 7900 0 0 0 227 0 0 0 20 0 15 0 250607744 14429130752 942662 33554432000 4194304 4196468 140730330152064 140545924491888 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28534] ppid=28519 vsize=14090948 memory=68080 CPUtime=2.11 cores=1,3,5,7
/proc/28522/task/28534/stat : 28534 (java) S 28519 28522 28126 0 -1 1077944384 6015 0 0 0 210 1 0 0 20 0 15 0 250607744 14429130752 942662 33554432000 4194304 4196468 140730330152064 140545923439088 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28535] ppid=28519 vsize=14090948 memory=2080 CPUtime=1.02 cores=1,3,5,7
/proc/28522/task/28535/stat : 28535 (java) S 28519 28522 28126 0 -1 1077944384 10280 0 0 0 100 2 0 0 20 0 15 0 250607744 14429130752 942662 33554432000 4194304 4196468 140730330152064 140545922386800 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28536] ppid=28519 vsize=14090948 memory=836 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28536/stat : 28536 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14429130752 942662 33554432000 4194304 4196468 140730330152064 140545921334240 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28537] ppid=28519 vsize=14090948 memory=1084 CPUtime=0.11 cores=1,3,5,7
/proc/28522/task/28537/stat : 28537 (java) S 28519 28522 28126 0 -1 1077944384 503 0 0 0 4 7 0 0 20 0 15 0 250607744 14429130752 942662 33554432000 4194304 4196468 140730330152064 140545920281008 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
Current children cumulated CPU time: 239.56 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3770648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+234.701 s]
/proc/loadavg: 1.62 1.58 1.47 3/216 28541
/proc/meminfo: memFree=23003304/32770624 swapFree=67108804/67108860
[pid=28522] ppid=28519 vsize=14090948 memory=3776856 CPUtime=252.08 cores=1,3,5,7
/proc/28522/stat : 28522 (java) S 28519 28522 28126 0 -1 1077944320 90779 0 0 0 24891 317 0 0 20 0 15 0 250607738 14429130752 944214 33554432000 4194304 4196468 140730330152064 140730330134608 140546455531255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
/proc/28522/statm: 3522737 944214 3623 1 0 3484809 0
[pid=28522/tid=28524] ppid=28519 vsize=14090948 memory=3770680 CPUtime=230.44 cores=1,3,5,7
/proc/28522/task/28524/stat : 28524 (java) R 28519 28522 28126 0 -1 4202560 42691 0 0 0 23021 23 0 0 20 0 15 0 250607739 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546459769120 140546044674631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28525] ppid=28519 vsize=14090948 memory=3770680 CPUtime=3.94 cores=1,3,5,7
/proc/28522/task/28525/stat : 28525 (java) S 28519 28522 28126 0 -1 1077944384 2878 0 0 0 325 69 0 0 20 0 15 0 250607740 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546370599824 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28526] ppid=28519 vsize=14090948 memory=3770680 CPUtime=3.95 cores=1,3,5,7
/proc/28522/task/28526/stat : 28526 (java) S 28519 28522 28126 0 -1 1077944384 6920 0 0 0 324 71 0 0 20 0 15 0 250607740 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546369547024 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28527] ppid=28519 vsize=14090948 memory=3770680 CPUtime=3.94 cores=1,3,5,7
/proc/28522/task/28527/stat : 28527 (java) S 28519 28522 28126 0 -1 1077944384 2986 0 0 0 323 71 0 0 20 0 15 0 250607740 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546368494736 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28528] ppid=28519 vsize=14090948 memory=3770680 CPUtime=3.95 cores=1,3,5,7
/proc/28522/task/28528/stat : 28528 (java) S 28519 28522 28126 0 -1 1077944384 2838 0 0 0 325 70 0 0 20 0 15 0 250607740 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546367441936 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28529] ppid=28519 vsize=14090948 memory=3776856 CPUtime=0.24 cores=1,3,5,7
/proc/28522/task/28529/stat : 28529 (java) S 28519 28522 28126 0 -1 1077944384 5925 0 0 0 23 1 0 0 20 0 15 0 250607741 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545928702064 140546455542402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28530] ppid=28519 vsize=14090948 memory=1260 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28530/stat : 28530 (java) S 28519 28522 28126 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 250607741 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545927648096 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28531] ppid=28519 vsize=14090948 memory=3776856 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28531/stat : 28531 (java) S 28519 28522 28126 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250607742 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545926595712 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28532] ppid=28519 vsize=14090948 memory=3770680 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28532/stat : 28532 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545925544016 140546455549851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28533] ppid=28519 vsize=14090948 memory=3770648 CPUtime=2.27 cores=1,3,5,7
/proc/28522/task/28533/stat : 28533 (java) S 28519 28522 28126 0 -1 1077944384 8299 0 0 0 227 0 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545924491888 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28534] ppid=28519 vsize=14090948 memory=68080 CPUtime=2.11 cores=1,3,5,7
/proc/28522/task/28534/stat : 28534 (java) S 28519 28522 28126 0 -1 1077944384 6015 0 0 0 210 1 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545923439088 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28535] ppid=28519 vsize=14090948 memory=2080 CPUtime=1.02 cores=1,3,5,7
/proc/28522/task/28535/stat : 28535 (java) S 28519 28522 28126 0 -1 1077944384 10280 0 0 0 100 2 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545922386800 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28536] ppid=28519 vsize=14090948 memory=3770680 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28536/stat : 28536 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545921334240 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28537] ppid=28519 vsize=14090948 memory=1984 CPUtime=0.12 cores=1,3,5,7
/proc/28522/task/28537/stat : 28537 (java) S 28519 28522 28126 0 -1 1077944384 504 0 0 0 5 7 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545920281008 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3776856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+234.742 s]
# the end of solver process 28522 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.936 s, system=3.19062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+234.701 s]
/proc/loadavg: 1.62 1.58 1.47 3/216 28541
/proc/meminfo: memFree=23003304/32770624 swapFree=67108804/67108860
[pid=28522] ppid=28519 vsize=14090948 memory=3776856 CPUtime=252.08 cores=1,3,5,7
/proc/28522/stat : 28522 (java) S 28519 28522 28126 0 -1 1077944320 90779 0 0 0 24891 317 0 0 20 0 15 0 250607738 14429130752 944214 33554432000 4194304 4196468 140730330152064 140730330134608 140546455531255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
/proc/28522/statm: 3522737 944214 3623 1 0 3484809 0
[pid=28522/tid=28524] ppid=28519 vsize=14090948 memory=3770680 CPUtime=230.44 cores=1,3,5,7
/proc/28522/task/28524/stat : 28524 (java) R 28519 28522 28126 0 -1 4202560 42691 0 0 0 23021 23 0 0 20 0 15 0 250607739 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546459769120 140546044674631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28525] ppid=28519 vsize=14090948 memory=3770680 CPUtime=3.94 cores=1,3,5,7
/proc/28522/task/28525/stat : 28525 (java) S 28519 28522 28126 0 -1 1077944384 2878 0 0 0 325 69 0 0 20 0 15 0 250607740 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546370599824 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28526] ppid=28519 vsize=14090948 memory=3770680 CPUtime=3.95 cores=1,3,5,7
/proc/28522/task/28526/stat : 28526 (java) S 28519 28522 28126 0 -1 1077944384 6920 0 0 0 324 71 0 0 20 0 15 0 250607740 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546369547024 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28527] ppid=28519 vsize=14090948 memory=3770680 CPUtime=3.94 cores=1,3,5,7
/proc/28522/task/28527/stat : 28527 (java) S 28519 28522 28126 0 -1 1077944384 2986 0 0 0 323 71 0 0 20 0 15 0 250607740 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546368494736 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28528] ppid=28519 vsize=14090948 memory=3770680 CPUtime=3.95 cores=1,3,5,7
/proc/28522/task/28528/stat : 28528 (java) S 28519 28522 28126 0 -1 1077944384 2838 0 0 0 325 70 0 0 20 0 15 0 250607740 14429130752 944214 33554432000 4194304 4196468 140730330152064 140546367441936 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28529] ppid=28519 vsize=14090948 memory=3776856 CPUtime=0.24 cores=1,3,5,7
/proc/28522/task/28529/stat : 28529 (java) S 28519 28522 28126 0 -1 1077944384 5925 0 0 0 23 1 0 0 20 0 15 0 250607741 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545928702064 140546455542402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28530] ppid=28519 vsize=14090948 memory=1260 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28530/stat : 28530 (java) S 28519 28522 28126 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 250607741 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545927648096 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28531] ppid=28519 vsize=14090948 memory=3776856 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28531/stat : 28531 (java) S 28519 28522 28126 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250607742 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545926595712 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28532] ppid=28519 vsize=14090948 memory=3770680 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28532/stat : 28532 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545925544016 140546455549851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28533] ppid=28519 vsize=14090948 memory=3770648 CPUtime=2.27 cores=1,3,5,7
/proc/28522/task/28533/stat : 28533 (java) S 28519 28522 28126 0 -1 1077944384 8299 0 0 0 227 0 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545924491888 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28534] ppid=28519 vsize=14090948 memory=68080 CPUtime=2.11 cores=1,3,5,7
/proc/28522/task/28534/stat : 28534 (java) S 28519 28522 28126 0 -1 1077944384 6015 0 0 0 210 1 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545923439088 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28535] ppid=28519 vsize=14090948 memory=2080 CPUtime=1.02 cores=1,3,5,7
/proc/28522/task/28535/stat : 28535 (java) S 28519 28522 28126 0 -1 1077944384 10280 0 0 0 100 2 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545922386800 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28536] ppid=28519 vsize=14090948 memory=3770680 CPUtime=0 cores=1,3,5,7
/proc/28522/task/28536/stat : 28536 (java) S 28519 28522 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545921334240 140546455541461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
[pid=28522/tid=28537] ppid=28519 vsize=14090948 memory=1984 CPUtime=0.12 cores=1,3,5,7
/proc/28522/task/28537/stat : 28537 (java) S 28519 28522 28126 0 -1 1077944384 504 0 0 0 5 7 0 0 20 0 15 0 250607744 14429130752 944214 33554432000 4194304 4196468 140730330152064 140545920281008 140546455542402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140730330158158 140730330158350 140730330158350 140730330161103 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3776856 KiB
Child status: 143
Real time (s): 234.742
CPU time (s): 252.127
CPU user time (s): 248.936
CPU system time (s): 3.19062
CPU usage (%): 107.406
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3776856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.936
system time used= 3.19062
maximum resident set size= 3777384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9342
involuntary context switches= 324
# summary of solver processes directly reported to runsolver:
# pid: 28522
# total CPU time (s): 252.127
# total CPU user time (s): 248.936
# total CPU system time (s): 3.19062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42237 second user time and 2.23164 second system time
The end
Begin job on node105 at 2018-08-15 12:54:06 IDJOB=4310042 IDBENCH=141244 IDSOLVER=2795 FILE ID=node105/4310042-1534330446 RUNJOBID= node105-1534329949-28158 PBS_JOBID= 21038166 Free space on /tmp= 44184 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko72_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310042-1534330446/watcher-4310042-1534330446 -o /tmp/evaluation-result-4310042-1534330446/solver-4310042-1534330446 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534329949-28158 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1979196481 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310042-1534330446.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4 RANDOM SEED=1979196481 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26904756 kB MemAvailable: 31869416 kB Buffers: 215896 kB Cached: 4990484 kB SwapCached: 16 kB Active: 2264476 kB Inactive: 3025292 kB Active(anon): 34936 kB Inactive(anon): 108668 kB Active(file): 2229540 kB Inactive(file): 2916624 kB Unevictable: 7356 kB Mlocked: 7356 kB SwapTotal: 67108860 kB SwapFree: 67108804 kB Dirty: 71588 kB Writeback: 0 kB AnonPages: 103008 kB Mapped: 66424 kB Shmem: 57940 kB Slab: 276052 kB SReclaimable: 246956 kB SUnreclaim: 29096 kB KernelStack: 3808 kB PageTables: 5732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1316476 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44148 MiB End job on node105 at 2018-08-15 12:58:01